)/(-10) + 0). Let g = -398/623 + y. Let u = -3 - -2. Is u != g?
True
Suppose 3*n = 12, 1 = -d - n - 2. Let u = -12 + 8. Let l be u + (-1)/((-3)/(-9)). Is l less than or equal to d?
True
Let s = 1/456 - 115/456. Is -130/7 greater than s?
False
Let l(d) = 10*d**2 + 17*d + 45. Let h be l(-4). Is h less than 136?
False
Let l(s) = -6*s - 7*s**2 + s**3 + 7*s + 0*s - 5. Let a be l(7). Let t be (8/8)/(a/2). Which is greater: t or 1/3?
t
Let d(j) = 3*j**2 - 5*j - 4. Let h be d(4). Suppose 4*p - 22 = 2*z, 5*p - z = -4 + h. Suppose 0 = -x - 3*x - 2*u, x + 5 = -p*u. Is 2/41 at most x?
True
Let t(s) = -2*s + s - 1 + 4*s - 3. Let h be t(3). Is 5 smaller than h?
False
Suppose c - 4 = -i, -2*c - 3*i = 2*i - 20. Let g = -13/3 - 13/6. Do g and c have different values?
True
Let k = 231 + -241. Which is smaller: k or -11?
-11
Suppose 4*y = -6 + 2. Let t be 90/(-26)*(-5)/(-15) - y. Is t equal to 4/13?
False
Let s = 108 - 138. Which is smaller: -0.7 or s?
s
Let y = 65 + -56. Let m = 362826 + -90343837/249. Let x = m + -1/83. Which is bigger: x or y?
y
Let o be 1*7*(-525)/45. Let n = o - -81. Which is smaller: 0.1 or n?
n
Let y(j) = 10*j + 1. Let n(s) = -s + 1. Let h(x) = 6*n(x) + y(x). Let o be h(5). Let f be o/42*(-7)/(-6). Is 0 bigger than f?
False
Let q = -14 - -16. Suppose 3*y = -q*y + 15. Suppose -a + 4*c - 16 = 0, -25 = 3*a - 2*c + y. Does -7 = a?
False
Let t(r) = -29*r - 567. Let u be t(-19). Do u and 7 have different values?
True
Let n = -129 + 90. Let k be n/(-1*141/(-3232)). Let z = 894 + k. Which is smaller: z or -1?
-1
Suppose -227 = 8*u - 19. Let z be (2/(-6) - -1)*-39. Is z greater than or equal to u?
True
Suppose -t - 248 = t - 2*k, -3*t - 340 = 5*k. Which is smaller: -121 or t?
-121
Let s = -15.75 - 0.25. Let k = -14 - s. Is k equal to -11?
False
Let j = 2568 + -2564. Let q = 0.2 + -0.2. Is j greater than or equal to q?
True
Let b = -1 + 10. Let z be (-218)/(-22) - (-5)/55. Which is greater: z or b?
z
Let z = -131 + 30. Is 2/5 bigger than z?
True
Let c(p) = p**3 + 11*p**2 - 2*p - 23. Let t be c(-11). Which is smaller: t or -1/5?
t
Suppose -4*u + 3*u + 311 = -5*w, w = -3*u + 965. Suppose 0 = -4*b - 2*q + 236, 4*q = 4*b - u + 97. Let o be 1/b*(-3 + 5). Which is bigger: o or -1?
o
Suppose -5*s - 30 = -5*a, -a + 5*a = s + 15. Suppose -2*c + 3*c = -3*u + 24, a*c - 8 = -u. Are 7 and u equal?
False
Let v be 119/(-38) + 50/20. Let n = 4 - 6. Which is smaller: v or n?
n
Let f(q) = -2*q + q - 7*q**3 + 3 - 2 + 11*q**3. Suppose 0 = z - 3*c - 3 - 10, -13 = 3*z + 4*c. Let g be f(z). Which is greater: g or 2/7?
g
Suppose 0 = 4*p - 5*c + 23, 0*p + 3*p - c = -20. Let z be (-12)/(-6)*-1 + (-2 - p). Is z equal to 3?
True
Let a(z) = z**3 + 3. Let r be a(0). Suppose -2*h + r = h. Let d = -649/3774 + -1/222. Is h bigger than d?
True
Suppose 0 = 2*z + 9 - 51. Let o = -23 + z. Which is greater: o or -3/2?
-3/2
Let g be ((-16)/(-60))/(16/24). Is g greater than -662?
True
Let s be -2 + (-478)/(-207) - 250/2875. Do 44 and s have the same value?
False
Let p(w) = 2*w + 20. Let d be p(-10). Suppose -36 = 4*q - d*q. Is q >= -10?
True
Let r = -2413 + 2412. Which is bigger: r or 0.267?
0.267
Let f = 28124.014 + -28147. Let a = f + -0.014. Let r = -3.5 + 3.4. Is a equal to r?
False
Let x be -6 + 4 - (-80)/38. Let h be (-12)/(0 - -3) + 4. Suppose h*t = -2*t - 2. Which is smaller: x or t?
t
Let u = 36.19 + -36. Let l = -0.09 + u. Is l less than or equal to 2/13?
True
Let g = 16 + -17. Let c = -42 + 209/5. Let y = c - g. Which is smaller: y or 1?
y
Let j = -92 - -87.3. Let v = j - -4.8. Let o = 0.32 - -1.38. Do o and v have the same value?
False
Suppose 0 = 7*h - 425 - 142. Suppose 0 = 4*g - 7*g - h. Is -27 less than g?
False
Let r = -125 - 51. Does r = -0.1?
False
Let w be 3/(((-2)/4)/1). Let x be 2/(-3)*(-27)/w. Which is greater: -19/5 or x?
x
Let o = 200925856/233783 - -6/233783. Let r = o - 860. Which is greater: -2 or r?
r
Suppose -4*y = -5*q + 75, -y + 29*q - 27 = 25*q. Is y <= -16?
False
Let x be (-9)/(-5) - (0 + 1). Suppose 0 = -3*u - 11 - 4, -2*u - 38 = -4*w. Suppose 0*j = w*j - 14. Is x at most j?
True
Let o be 20/(-35)*21/6. Which is smaller: o or 44?
o
Suppose 1250 = 6*i + 236. Is i at least 167?
True
Let o = 3517/273 + -90/7. Suppose -5 + 3 = 2*w. Is w at least o?
False
Let u = 10418 - 93761/9. Suppose -6*t + 4*t + 6 = 0. Let r be ((-3)/(t/(-2)))/2. Is r at most as big as u?
False
Suppose s - 58 = -2*d, 4*d + 181 = 3*s + 3*d. Let w be s/16*8/(-3). Let m be ((-2)/(-22))/(w/(-20)). Is m at least as big as 0?
True
Let a(o) = o**2 + 17*o - 7. Let y be a(-14). Suppose -5*b + 2*b = l + 45, 43 = -l - 5*b. Is l bigger than y?
True
Let l(j) = -542*j + 1. Let s be l(1). Let h = s - -3775/7. Is h at most -3?
False
Let f(u) = u + 6 + u**3 - 2*u**2 - 2*u + 0 - 4. Let y be f(2). Let n be 3 - (-1 + (-168)/(-44)). Which is smaller: n or y?
y
Let h = 1.02 + -0.02. Which is bigger: h or 126?
126
Suppose 1456*v - 1455*v = -42. Which is smaller: -49 or v?
-49
Let f be (1 + -1)*(-6 - -7). Let u(w) be the second derivative of w**3/3 + 2*w. Let i be u(-1). Which is smaller: i or f?
i
Let a(j) = -15*j + 4. Let n be a(-2). Let x be (-4)/n - (-83)/(-17). Which is greater: x or -4?
-4
Suppose -5*y = 3*m - 126, 0 = 2*m + 5*y - 70 - 9. Which is greater: m or 50?
50
Let o = 34 - 30. Suppose 0*d = 2*d + 4*k - 20, 3*k - 1 = 2*d. Suppose 3*r - d = 5. Is r at most o?
True
Let s = 44.9 - 45. Let k = 9 + -34. Which is smaller: k or s?
k
Let v(b) = -b**2 - 9*b - 9. Let z be v(-7). Suppose 5*c + z*j = 2*j - 36, -10 = 3*c - 4*j. Let s be (4/c)/(2/3). Is -1 equal to s?
True
Suppose 0 = -16*q + 830 - 222. Which is smaller: q or 37?
37
Let n = 2.219 - -0.081. Is 2/3 equal to n?
False
Let q(b) = -8*b - 57. Let r be q(-7). Suppose 4*g + 116 = 4*l + l, -5*g = 3*l - 40. Let t be (-19)/l + 1 + 0. Is r equal to t?
False
Suppose 1114 = 2*a - 2*n, 6*n - 2228 = -4*a + 11*n. Is a smaller than 556?
False
Suppose 3*v - v = 2*l - 162, 0 = v + l + 81. Let k = v - -80. Which is greater: -7/5 or k?
k
Let m = 7 + 29. Let n be (-3)/(m/(-32)) + -2. Is n >= -0.009?
True
Let l(k) = 6*k**2 - 2. Let g be l(-3). Suppose -r - 65 = -4*m, -m + 4*m - 4*r - g = 0. Let s be (-50)/(-3) + (-22)/33. Is s smaller than m?
False
Let j(l) = 21*l**2 - 4*l - 8. Let r be j(-2). Is 85 < r?
False
Suppose 0 = -17*m + 24*m + 1015. Do -143 and m have the same value?
False
Let k be 110/(-6) - 32/48. Which is smaller: k or -20?
-20
Let l(v) = 6*v**2 + 54*v - 7. Let b be l(-9). Is b at least -29/4?
True
Let t be 3*33 + 7/(-14) + 0. Which is smaller: 99 or t?
t
Let s = 300 + -184.1. Which is bigger: s or 0?
s
Let q(u) = 7 - 6*u - 9 + u - 2. Let a be q(-1). Which is greater: a or 3/5?
a
Suppose 2*u = -2 - 0. Let k = 19 + -14. Let h be ((5/6)/k)/((-120)/20). Which is smaller: h or u?
u
Let b = -279.2 - -224.9. Is 0 equal to b?
False
Let o(b) = b + 51. Let f be o(-23). Which is greater: f or 1?
f
Let x = -956 + 958. Let k be (-9)/6*(-16)/6. Suppose u = 2*n - 0*u - 4, -5*n - k*u + 23 = 0. Which is bigger: n or x?
n
Suppose 2*l - l = h + 31, -115 = -5*l - 5*h. Let o be 9/(-45)*(0 + l). Is o equal to -6?
False
Let j be 0/(-1 - (-2 - 4)). Let k be (32/(-20))/(2/(-15)). Let u be (-16)/k - (-4)/(-6). Which is smaller: u or j?
u
Let h(i) = -15*i - 31. Let s(v) = -7*v - 15. Let f(x) = -3*h(x) + 5*s(x). Let l be f(-3). Which is smaller: l or -4?
l
Let t be -2*5/3*3. Let v = -47 + 37. Let c = v - t. Is 4/5 equal to c?
False
Let r = -107251/23 + 4664. Is 2 at most r?
False
Let q(p) = 3*p + 6. Let c be q(-6). Let n(s) = -8*s**2 + 5*s + 3. Let o be n(-1). Are c and o non-equal?
True
Let z = 0.0507 - 27.0507. Let a = -26 + 26. Which is greater: a or z?
a
Let y = -11/5 + 204/95. Let d = -6/349 - 331/1047. Which is bigger: y or d?
y
Let h = -17 + 22. Suppose 4*q - 19 = -3*i - 6, -h*i + 80 = -5*q. Let n = i + -12. Does 0.09 = n?
False
Let j = -91.6 + 91.7. Which is smaller: 880 or j?
j
Let h = 1121.1 + -1121. Which is bigger: h or 210?
210
Suppose 0 = c + 106*u - 102*u - 473, 4*c + 3*u - 1827 = 0. Is 453 equal to c?
True
Suppose -6*u + 135 = 9*u. Which is smaller: 8 or u?
8
Suppose 9 = -6*x + 15*x. Let d = 10007/70 - 143. Is x < d?
False
Let d be (34 - 1) + 1*(-2 - -5). Does 37 = d?
False
Let h(l) = -21*l - 2. Let s be h(4). Let x be s/154 - (-4)/14. Let d be ((-6)/9)/2*-3. Is