55 - 16. Let u = h - 39. Which is greater: u or 1.4?
1.4
Let x = 29 - 28. Let y = 1.4 - 1.46. Do y and x have different values?
True
Let n be (-3 + 9)*(-5)/30. Which is bigger: n or -17/11?
n
Let w be (-9)/18 - (-66)/4. Let f = w + -21. Is -15/4 bigger than f?
True
Suppose -4*f + 3*f + 5*c = 1318, 4*f + 4*c + 5344 = 0. Let p = -9351/7 - f. Which is bigger: -4 or p?
p
Let l = 2 - -5. Let t be 4 - (-7)/(l/(-2)). Suppose 3*f - 4*f - t = 0. Is f smaller than -2?
False
Let r(u) = -3*u + 5. Let s be r(6). Let v(l) = 14*l**3 - 3*l**2 + 2. Let k be v(-1). Which is greater: k or s?
s
Let b(j) = j + 7. Let k be b(6). Suppose 0 = -0*t - 2*t - v - k, -3 = -3*v. Which is bigger: t or -6?
-6
Let p = 26/205 + 3/41. Which is smaller: -11 or p?
-11
Let n = 3/664 + 6613/5976. Does 0.1 = n?
False
Let x = 12.21 + -13.21. Let g = 6 - 9. Let w = 8 + g. Which is smaller: x or w?
x
Suppose 2 = 5*u + 7. Let t be (-4)/18 - 78/378. Let m = t - 1/14. Do u and m have the same value?
False
Suppose 5*z + 12 = -8, -4*p = -5*z - 24. Suppose 0 = r, 4*r + r - p = -d. Is d at least as big as -1/46?
True
Let a = -232 + 231. Does a = -2/311?
False
Suppose 4 = 3*u + 25. Let d(i) = i**2 + 13*i + 34. Let k be d(u). Which is smaller: k or -3?
k
Let c be -2 - (15/3 - -88). Is c at most as big as -95?
True
Let x be ((-4)/6)/((-268)/(-123) - 1). Let n = -42 - -1217/29. Let i = n + x. Is i bigger than 2/9?
False
Suppose g - 47 = 3*r, 5*r + 3*g + 11 = -58. Let l = 13 + r. Suppose 0 = 7*z - 8*z - 4. Are z and l unequal?
True
Let i = 3 + 10. Let u(t) = -t**3 - 8*t**2 + 12. Let b be u(-8). Is i at most b?
False
Let w = 0 + 0. Let q = 0 + w. Suppose -3*r = -0*r - 12, 3*o - 1 = -4*r. Is o not equal to q?
True
Let j = -560 - -559.7. Which is greater: 2.8 or j?
2.8
Let k be 2/4 + (6 - 264185/(-530)). Let g = k + -505. Is 0 at most g?
False
Let i = 82 - 84. Let c(q) = 2*q**3 + 3*q**2 - 2*q. Let o be c(i). Is 1 < o?
False
Suppose 0 = -x - 13 + 14. Let y be 2 - (-6 - -1 - (-3550)/510). Is y >= x?
False
Let o = -10.23 - -1.23. Let n = 0.18 + -7.18. Let b = n - o. Is b != -0.1?
True
Suppose -5*g = 15, -l - 1 = g - 89. Let v = l + -92. Are -6/55 and v equal?
False
Let m be (-3*(0 - 1))/(30/40). Is 34/7 at least m?
True
Let g = 4589363/679 + -6759. Let c = 2015/7469 + g. Are 0 and c unequal?
True
Let n = 116 - 115.59. Are n and 1 unequal?
True
Let g be (-8)/(-6) + (3 - 1). Suppose 0 = -5*s - 2*j + 18, 10 = 2*s - 7*s + 5*j. Is g at most s?
False
Let c = 31.2 + -31.3. Which is bigger: c or -66/7?
c
Let j(r) = 25*r + 951. Let k be j(-38). Let h = 2/3 + -1. Is h at least as big as k?
False
Let u be (-97109)/38792 - 2/13. Let s = u - -12/373. Is 0 < s?
False
Let h(u) = -2*u**2 + 3*u + 2. Let o be h(2). Suppose -2*g - 7 = 5*s, 5*g - 35 = 8*s - 3*s. Let l be s - (o - 0)/(-2). Which is greater: -1 or l?
-1
Let r(j) = j**2 + 44*j + 223. Let b be r(-6). Suppose 0*h - 4*h - 24 = 4*x, 8 = -h + x. Which is smaller: h or b?
h
Let w(x) = -203*x - 33. Let z be w(-7). Let h = z - 137414/99. Do h and -1 have the same value?
False
Let o be (1/3)/((-407)/(-2804472)). Let z = 2297 - o. Which is smaller: z or 1?
z
Let i = -3 + 5. Let x be 106/9 + (-4)/(-18). Suppose i*r - 2*y = 10 + 2, -5*y = -2*r + x. Which is bigger: r or -0.2?
r
Let u = -292 - -170. Which is bigger: -1 or u?
-1
Let u be 35/(30/(-26) - (-50)/325). Which is greater: u or 3/5?
3/5
Let i = 141 - 145.044. Let s = i - -0.044. Which is smaller: s or 0?
s
Let v(z) = -z**2 - z + 9. Let d = -17 + 13. Let i be v(d). Is i greater than or equal to -14?
True
Let b(o) = -o**3 - 9*o**2 - 10*o - 8. Let m be b(-8). Let y be m/(-3) + 2/3. Let j be (128/30)/y + 2. Are j and -1/4 equal?
False
Let c(w) = w**3 - 14*w**2 - 16*w + 20. Let g be c(15). Suppose 2*l - 5*q - 36 = 0, 0*q - g*q = 0. Let o be 4/l + (-954)/648. Which is smaller: o or 0.1?
o
Let y = 4739 - 658716/139. Which is smaller: 1 or y?
y
Let r = 8529/145 - -359/29. Is r greater than 71?
True
Suppose 0 = 16*g - 6 + 38. Let m be ((10 + -1)*-1)/4. Which is greater: g or m?
g
Let w = -39.5 - -44. Let z = w - 16.5. Which is greater: 0 or z?
0
Let z = 138 + -205. Let h = -79 - z. Suppose -m + 3*m = -4*y - 42, -3*y - 5*m = 21. Is y less than or equal to h?
True
Suppose -d - 8 = 2*l, -3*d = 2*l + 2*l + 30. Let u = d - -14. Let g = u - 2. Which is bigger: g or 0?
0
Let a = -46/75 + 11/15. Suppose 0 = 25*l + 88*l. Which is smaller: l or a?
l
Suppose -3*k + 0*k + 30 = 0. Suppose 17 = 28*y - 235. Which is bigger: k or y?
k
Let f = -2134291/1469454 - -2/34987. Let d = f + 7/6. Is d at least 0.06?
False
Let o(n) be the first derivative of -n**3/3 + 5*n + 25. Let p(d) = d - 1. Let a be p(5). Let l be o(a). Is l at most as big as -11?
True
Suppose -2*z - 6*z = -9*z + 7*z. Suppose -5*k + 2*u + 2 = 0, -3*u - u + 22 = 3*k. Let b be (k/(-6))/(1 + 0). Which is smaller: z or b?
b
Let j be (27 - 28)*(-20)/6*24/(-20). Suppose -2*u - 35 = 49. Let n be (-1)/5 - u/(-15). Is j at most as big as n?
True
Suppose 20 = 2*s + 5*d, 1 = s + d - 6. Suppose -23 - 2 = 5*u - 5*q, 0 = s*u + 5*q - 25. Suppose -w + 3*n = w - 2, u = -n. Is w != -1/26?
True
Let f(x) = 4*x**2 + x - 2. Let p be f(2). Let w = p - 29. Let n be -7 - (5 + 2 + -1). Is w smaller than n?
False
Let h = -48.2 - -49. Let x = -5.85 + 6. Let y = -0.25 + x. Which is smaller: h or y?
y
Let z = 3.4 + 9.6. Let h = z + -4. Let o = 6 + -5.9. Is o < h?
True
Let o be (-88)/(-210) - (-44)/(-330). Is o greater than 125?
False
Let q = 135 + 235. Which is smaller: 1 or q?
1
Let k = 239 - 91. Let u = -3553/24 + k. Which is smaller: 1 or u?
u
Suppose -6*i = 2*i. Suppose -r + 5*a - a = -26, -2*r + 2*a + 46 = i. Is 22 at most r?
True
Suppose -18*m - 760 + 724 = 0. Is m at least -52/21?
True
Let s = -0.56 - -0.535. Which is smaller: 3/7 or s?
s
Let v(p) be the second derivative of -1/6*p**3 + 0*p**2 + 8*p + 0. Let t be v(3). Which is smaller: -3/2 or t?
t
Suppose 0 = 5*h - 12*h + 1596. Is h smaller than 227?
False
Suppose -8*g = -11*g. Which is smaller: g or -4/21?
-4/21
Let k(h) = -h - 3. Let v be k(-6). Let n be ((-9)/12)/((12/(-32))/1). Suppose n = -0*c - 5*c + 3*l, -v*c + 2*l - 2 = 0. Which is smaller: 0.3 or c?
0.3
Let r = -1 - 0. Let y be (6/9)/r*-3. Let x be (9 - 4)*y/135. Which is bigger: 0 or x?
x
Let r(n) = -2*n**2 + 14*n + 6. Let k be r(7). Let p be k/(-2) - (-182)/56. Which is greater: p or -2/17?
p
Let d = 8.18 + -0.18. Let i = d + -6.8. Let b be (-6)/(-28) - (54/(-12) + 5). Is i < b?
False
Let a(h) = -35*h - 7. Let w be a(5). Let r be 28/w - (-28)/13. Let k(t) = -t + 3. Let j be k(r). Does 0 = j?
False
Let t be 148/28 + 14 + -19. Is 1 not equal to t?
True
Let l = -4137 + 1249375/302. Is -1 smaller than l?
True
Let i = 546 - 551. Is i bigger than -6?
True
Suppose 2*t + 1 = 9. Let k be (-2 + 1)/(t/(-36)). Let w(f) = -10*f**3 + f**2 - 8*f - 10. Let a be w(-1). Is k smaller than a?
False
Let i = -1034 + 1000. Which is greater: i or 0?
0
Let c(u) = u**2 - u + 1. Let r be c(5). Let n be -2*12/(-8) + (-69)/r. Is -0.4 bigger than n?
False
Let i be (2*3)/(-4 - -3). Let o be -1*6 - ((-216)/(-30))/(-9). Which is smaller: i or o?
i
Let k = -7.688 + 7.49. Is k at most 2/9?
True
Let s(y) = y - 6. Let w be s(5). Let t = -96 + 54. Let q be (-39)/t + 1/(-2). Which is smaller: q or w?
w
Let x be (-2)/(-6) - (-51)/9. Let g be 28/70 - (-163)/5. Let f = g + -28. Which is greater: x or f?
x
Let r = 62 - 36. Let l = r + -16. Let c = -9.9 + l. Are 11 and c nonequal?
True
Let j = 2168/5 + -436. Suppose -106 = -7*h - 120. Which is greater: j or h?
h
Suppose -28*l - 299 = 37. Which is smaller: l or -3?
l
Suppose -3*j - 4*b = 12, -j - 84 = 4*b - 72. Is 195 <= j?
False
Let l = -20 - -29. Let y(i) = -13*i**3 - 2*i**2 - 6*i - 6. Let v be y(-1). Are l and v equal?
False
Suppose 0 = -5*n + 25, 19*r = 22*r - 3*n + 18. Which is greater: 7/37 or r?
7/37
Let b be 18*(6/(-9) + (-7)/(-6)). Let v = -1.9 + 2. Is v greater than b?
False
Suppose -2*z + 2*c = -5*z + 14, -5*z = -5*c - 15. Suppose -g - z*g = -2*f + 3, 1 = 2*g - 3*f. Is 0 > g?
True
Let a = 3190 + -3215. Suppose n + 2*n = -78. Is a >= n?
True
Suppose 0*y - 28 = 2*y. Let z = 15 + y. Suppose f = -1 - z. Is f greater than 3?
False
Let k = 738 + -21404/29. Let v be 1/1*(-8 - -4). Let c be (v/28)/((-1)/7). Is k > c?
False
Suppose d = 3 + 13. Suppose n + 4*n = 4*s + d, -2*