 -j - 5*h + 24 - 6. Is -1 greater than j?
True
Let q = 649 + -597. Which is greater: 5 or q?
q
Suppose -5*z = -3*f - 198, 4*z = -f + 96 + 59. Which is greater: z or 40?
40
Let k(d) = -2*d**2 - 2*d - 3. Let z be k(-1). Is z less than or equal to 52?
True
Let p = 0.86 + 0.04. Let k = p + -1.04. Let i = 0.19 + k. Which is greater: -1/3 or i?
i
Let z = 33 + -27. Let a = 29 - 61. Let d be (-6)/15 + a/(-5). Is z at most d?
True
Let u = -1449 + 1454. Is -0.298 <= u?
True
Let q = 0.1727 - 0.1727. Which is smaller: q or 5?
q
Let u be 9/3 + 14/(-8). Let x = -134.9 - -135. Is u bigger than x?
True
Let l = 1052 - 1019. Is l less than -1/5?
False
Let h(x) = 10*x**2 + 79*x + 1. Let m be h(-8). Which is bigger: -13 or m?
m
Let v be (-6)/(-21)*(-28)/(-2). Suppose 3*n + 15 = 4*n + 3*o, n - 20 = -v*o. Let j be (4/(-6))/(7/6). Which is smaller: n or j?
j
Let o = 446.1 + -446. Are 0 and o non-equal?
True
Suppose -47*a + 51*a = -20. Which is smaller: a or -15/4?
a
Let g = 124 + -124. Let s = -4.991 + -0.109. Let h = s + 0.1. Which is smaller: g or h?
h
Let q = 70 - -43. Does q = -0.1?
False
Suppose 0 = 9*q + 135*q + 288. Which is smaller: q or -22/15?
q
Let r = 62 - 88. Suppose 3*b + d - 23 = -94, -4*b - 108 = -2*d. Which is smaller: b or r?
r
Let q be ((-109)/117)/(16/24). Let t = q - 4/39. Which is smaller: -2 or t?
-2
Let a = 45/11 - 203/55. Suppose 86 = -14*w + 100. Which is greater: w or a?
w
Let o(r) = -7*r**3 - 29*r**2 - 6*r - 1. Let j be o(-4). Which is bigger: j or -18?
j
Let u = -15 - -1.2. Let q = 15 + u. Let m = 0.8 + q. Which is smaller: m or 1?
1
Let t(r) = 1 - 16*r + 7*r - r - 2*r**2. Let o be t(-5). Which is bigger: o or -2/233?
o
Suppose 3 + 7 = 2*x, 5*c - 105 = -2*x. Which is smaller: -1 or c?
-1
Let q(s) = s - 2. Let m be q(-6). Let v be (12/m)/(-1) + (-1 - 1). Let y = 72 - 214/3. Which is smaller: v or y?
v
Let w be -11 + -185*1/(-15). Is 79 smaller than w?
False
Let u be 1 + -3 + (-12)/(-188)*34. Is u greater than or equal to -1?
True
Suppose 10*f = 7*f. Let c be (-1 - f)/(8/(-168)). Let p be c/116 - 4/16. Which is smaller: 0 or p?
p
Let q(g) = -19*g - 182. Let b be q(-5). Does -89 = b?
False
Let i = -6312/96875 + 2/3125. Suppose 0 = -3*x + 6*x + 6, -3*o - x = -1. Is o at most i?
False
Suppose 15 = 57*d - 52*d. Suppose -21 = -3*b - d*g - 6, -4*b = 3*g - 15. Do b and 1/3 have the same value?
False
Let t = -749 - -275. Is -472 equal to t?
False
Let q(s) = -s + 4. Let j be q(6). Let x = -5 + j. Let b = x + 5. Which is bigger: -3/2 or b?
-3/2
Let i be -61 - 1 - (-1)/((-1)/2). Let g = i + 63. Which is greater: g or -2/21?
-2/21
Let s(q) = q**2 - 8*q + 12. Let z be s(8). Suppose -c + z = -3*c. Let m(n) = n**2 + 5*n - 8. Let i be m(c). Do -1 and i have different values?
True
Suppose 5470536 = 2*n - 5445658. Let s = n - 6173107289/1131. Let o = s - -8/87. Is o at most as big as 0?
False
Let n = -2.66 - -0.4. Let y = -1.74 + n. Let b be ((-6)/(-14) + 0)/(-1). Which is smaller: y or b?
y
Let k = 0.52 + -0.32. Let t = -0.28 + k. Is -0.1 at most t?
True
Suppose 0 = 13*l - 15*l - 10, 2*d = -4*l - 26. Is d less than 5?
True
Suppose 5*l - 3*k - k = 611, -k + 616 = 5*l. Suppose 0 = -4*h + 5*z + 517, 6*h - 4*z - 635 = h. Is h at most as big as l?
True
Suppose 5*z + 109 = 14. Let d = 21 + z. Which is smaller: d or 30/11?
d
Let q be (((-24)/28)/(-1) - (-18)/(-21))/(-1). Let k = -0.99 + 11.19. Let h = -11 + k. Is h at most as big as q?
True
Let z be 11 - (3 + (-4)/2). Suppose -7*k + 4*o = -2*k - z, -5*k + 10 = 2*o. Suppose -2*d - w - 1 = 0, 2*d - w = -0*d + 9. Is k <= d?
True
Let v(q) = -11*q**3 - 2*q**2 + q. Let j be v(1). Let i = j - -38. Let h = -26 + i. Which is smaller: h or -1/16?
-1/16
Suppose 10 = 4*f - 5*d - 16, 12 = f - 4*d. Let c = -10.06 + 0.06. Let s = c + 10. Is s less than or equal to f?
True
Let d = 229/6 + -797/21. Let h(x) = 3*x**2 - 3*x + x**3 - 4*x**2 - x**2 - 1. Let t be h(3). Which is greater: t or d?
d
Let k = 314.0077 - 0.0077. Is k <= 0.2?
False
Let n be 7 - (-32)/(-4) - 14/(-10). Which is smaller: n or -2.4?
-2.4
Suppose -6*g = -11*g + 25. Suppose g*r = -14 - 1. Let f = r + 2. Which is greater: f or 3/13?
3/13
Let w = 50 + -55. Let s(t) = -2*t - 11. Let r be s(w). Is 1/39 < r?
False
Let g be ((-4)/(-2))/(2/(-4)). Suppose -198*y = -199*y. Let a be (0 + g)/(-2 + y). Which is smaller: 3 or a?
a
Suppose -4*a = 4*y - 88, -4*a + 76 = -3*y + 4*y. Let n be 0 + 1 + a/6. Suppose -n*s - 1 = -3*s. Does 2 = s?
False
Let h(w) = w + 8*w**3 + 2 - 1 + 0 - 2*w**2 - 9*w**3. Let u be h(-2). Let r be 3/14 - (-2)/(-4). Which is smaller: u or r?
u
Let g be (0 - 59/(-55)) + 21/105. Let h = -12/11 + g. Suppose -3*v + 4 - 3 = 2*y, -y = 5*v + 10. Which is smaller: h or v?
v
Let v = -1700101245453/15203 + 111826695. Let l = 2/661 + v. Is 0 smaller than l?
False
Let j be 33/18*3 + 1/(-2). Suppose -4*t = -5*p + 15, 2*t = p + 4*p - j. Is p equal to -0.3?
False
Let w = 4.28 + 0.72. Which is smaller: w or -1/5?
-1/5
Suppose -s = 3, x + 0*s - 5 = s. Suppose 5 = 4*r - 7. Suppose 4*w - 1 = 3*o - 13, o - 9 = r*w. Is o != x?
True
Let g(h) be the second derivative of -h**5/20 - h**4/3 - h**3/2 - h**2/2 - 4*h. Let p(k) = k**2 - 3*k - 3. Let i be p(3). Let a be g(i). Is a equal to -4?
False
Let c = -75 - -53. Is -22 > c?
False
Let o be (-2 + (2 - 1))*-3. Suppose -2*l - 2*l - 329 = o*p, 2*l = p + 123. Let w = -1726/15 - p. Is 0.1 < w?
False
Suppose 0 = l - 2*l + 56. Let q = l + -9. Suppose -4*n = -o - o + 28, -n = 4*o - q. Which is greater: 23/2 or o?
o
Let x = 28.1583 - 2.1873. Let c = x + 0.029. Which is greater: 1 or c?
c
Let f = 5/13 - 2/39. Suppose -3*t - 2*t - 358 = 2*d, d = 3*t + 206. Let m be (-2)/5 + 62/t - -1. Is m less than f?
True
Let b(c) = -c**3 + 14*c**2 - 9*c - 30. Let z be b(13). Suppose -z*o + 39 - 127 = 0. Which is greater: o or -6?
o
Let y = -23 + 23.07. Let i = 0.37 - 0.24. Let b = i + y. Which is greater: b or -2?
b
Let g = 330 - 329.9. Are g and -9 unequal?
True
Let q = 8 + -6. Suppose 4*b + 25 = -q*i + b, -4*i - 54 = 2*b. Suppose 456 - 755 = 23*h. Is i not equal to h?
True
Let f be (75/(-10) - -9)/((-30)/(-1472)). Which is smaller: f or 73?
73
Let r be (-120)/(-12)*(-3)/2. Let z = -14 - r. Let n be (1 + 68/(-72))*10. Which is greater: n or z?
z
Suppose -2*p + 486 = -4*p. Let v be ((-15)/45)/(7/5115). Let g = v - p. Which is smaller: 0 or g?
g
Let f be ((-1)/(-3))/((-5)/3). Let t = 40.9 + 3.1. Let z = -45 + t. Is f smaller than z?
False
Let h(c) = 7*c - 21. Let r be (0 - 21/(-28))/(1/16). Let y be h(r). Which is smaller: y or 64?
y
Let a be (45/4)/(4*18/(-384)). Do -61 and a have the same value?
False
Let q be (-23 + 22)/(10/(-62)). Let s(h) = 2*h**2 - 20*h + 7. Let m be s(10). Is q at most as big as m?
True
Let z(j) = -62*j + 10. Let h be z(-12). Let x be (h/(-151))/1 - -5. Which is smaller: 0 or x?
0
Let i = 14 + -38. Let f be 62/i + 21/7. Is 0 less than or equal to f?
True
Let g be (-63)/(-226569)*4/6. Let l = g - 183483/377615. Let m = -2/7 - l. Is -2 at least as big as m?
False
Let t = 6/5 - 17/10. Is 0.15 less than t?
False
Let w = -1 - -1. Let t = 32.3 + -14.2. Let y = t - 18. Are w and y unequal?
True
Suppose -2*t = -3 + 1. Suppose -4 = -46*n - 96. Which is smaller: n or t?
n
Let i be (-87)/15 + 2/(-10). Let m = -2 - i. Is m greater than 22/7?
True
Let n(y) be the second derivative of y**4/12 + 7*y**3/6 - 2*y**2 + 3*y. Let u be n(-9). Suppose -u = 2*v + 8. Which is bigger: v or -2/7?
-2/7
Let j = 46995/2 - 23995. Is -498 at most as big as j?
True
Let r = -162994/11363 + -20/1033. Which is smaller: -13 or r?
r
Let m = -2223 - -2224. Is m at least as big as -2/181?
True
Let s = -174 - -170. Let z = -0.9 - -1. Let t = 0.1 - z. Is s > t?
False
Let f = -1.3 - -0.3. Let w be (66/(-9) + 4)/(33/9). Which is greater: f or w?
w
Suppose -38 + 8 = -2*g. Suppose 0 = n + b - 3 - 2, 0 = 5*n + 3*b - g. Let v be ((-8)/22)/(1*2). Is v greater than n?
False
Let h = -11 - -13. Let p(y) = 3*y**2 + 0*y - h*y + 0*y - y**3 + y. Let f be p(2). Which is smaller: 3 or f?
f
Let r(j) = -3*j**3 + 3*j**2 + 8*j - 8. Let m be r(2). Let s(u) = 4*u + 1. Let v be s(-1). Let f be 16/(-6) - v/(-9). Which is smaller: f or m?
m
Let o(z) = -z**3 - 50*z**2 + 116*z + 624. Let l be o(-52). Suppose -b = -5*q + 1066, 1068 = 5*q - 0*b - 3*b. Let h = 7028/33 - q. Which is smaller: l or h?
h