t d be -3 + 366/21 - 44/(-77). Is 76/5 smaller than d?
False
Let c = 80.9 - 71. Let b = c + -9. Let j = b + 0.1. Is j smaller than -0.05?
False
Let g = 4.2 - 5.9. Let c = g - 8.3. Let i = -9 - c. Which is bigger: i or 2/7?
i
Suppose -5*p + 6*p + l = 0, 4*p = 4*l. Which is smaller: -1/352 or p?
-1/352
Let r = 1093 + -1169. Is r at least as big as -75?
False
Suppose -5*h = -x + 6*x + 10, -2*h = -5*x - 31. Suppose h - 4 = b. Let g be (-1 + b)*1*-1. Which is bigger: g or 1?
g
Let m(h) = -h**2 - 3*h + 11. Let l be m(-5). Let d(s) = -4*s**2 + s. Let o be d(l). Is -5/2 >= o?
True
Let d be 188*(-2)/8*2. Let a = -263 - -170. Is d less than or equal to a?
True
Let n(j) = -27*j - 378. Let u be n(-20). Is 161 greater than or equal to u?
False
Let f = 295 + -298. Suppose -2*a + 0*a + 2 = 0. Which is smaller: f or a?
f
Let i be (2/(-6))/(21/(-18)). Let u = -0.07 + -0.53. Let w = -0.5 - u. Which is bigger: w or i?
i
Let z(w) be the second derivative of -w**3/6 - w**2 + 7*w. Let i be z(-8). Let b be 3/(i/(-1))*2. Is b at most 1/25?
True
Let x = 110 - 52. Let t = x - 58.1. Which is greater: t or 1/2?
1/2
Let b = 32 + -28. Let l be (0 + (b - 4))/2. Which is bigger: l or 1/4?
1/4
Let i = -93361037 - -37811240164/405. Let v = i + -249/5. Is 0 greater than v?
False
Let i(z) = 68 - 124 - z**3 - 9*z + 71 + 8*z**2 + 0*z**3. Let x be i(7). Which is greater: x or 7/23?
x
Let g = 1 + -1.1. Let h be 40/15*177/(-1026). Let x = -22/57 - h. Are g and x non-equal?
True
Let c be 4/(-22) + 8/(-77). Let v be 21/6*624/(-56). Which is smaller: v or c?
v
Let t = 65.1 + -69. Let h = -5.1 + t. Which is smaller: 1 or h?
h
Let g be (-2)/(-11) + -2*12/132. Is 3/253 at least as big as g?
True
Let i = -6 - -5.95. Let t = 0.55 - i. Let n = t + -0.8. Is n at least as big as -1/5?
True
Let w = -3.51 + 0.01. Let c = -4.5 - w. Let z = 0 - c. Which is smaller: 2.2 or z?
z
Let z = 1027/77 + -76/11. Is z < 7?
True
Suppose -3*g = -6 - 3. Let j be (-27)/(-12) - g - 106/8. Suppose 2*y = -0*y - 28. Is y less than j?
False
Let l = -237 - -336. Let v = l + -58. Do v and 41 have the same value?
True
Let s be 27/(-171)*(8/12 - 1). Let k = -2 + 2. Which is smaller: s or k?
k
Let h = 16 + -14. Suppose -3*m = 2*w + 2, -3*m + h*m = 2*w - 2. Suppose w*r = r. Is r smaller than 0?
False
Let f = -77 - -86. Suppose 5*p = -8*k + 4*k - 3, 2*k - 5*p + f = 0. Which is greater: k or -14/11?
-14/11
Let f be (-4 - 1) + -131 + 4. Let v = f + 127. Suppose -2*n = -0*n + 8. Which is bigger: n or v?
n
Let g = 231 + -475. Are g and -241 unequal?
True
Let t(m) = -m**3 - 6*m**2 + 4*m + 52. Let f be t(-6). Do 231/8 and f have the same value?
False
Let z = 2 + -2.2. Let x = -0.01 - -27.01. Let n = -26.9 + x. Which is greater: n or z?
n
Let i = 2058.6 + -2042. Which is smaller: i or 0?
0
Let a(v) = -v + 5. Let c be a(6). Let i be (-5)/(c + -2 - -6). Let z = -17.1 - -17. Is i greater than or equal to z?
False
Let o be 3*2*(-2)/12. Let d(k) = -13*k - 136. Let i be d(-10). Is o > i?
True
Suppose 7*u - 8*u + 71 = j, -u = 2*j - 144. Is 71 smaller than j?
True
Let t = -298 + 333. Which is smaller: t or 33?
33
Let c = 8.6 + 8.6. Let p = c - 17. Which is greater: 0 or p?
p
Let h = 8501/3 - 2830. Suppose -3*b + b + 26 = 4*a, b - 23 = -4*a. Is h < a?
True
Let t be (-8 + 30)/11 + -1. Which is greater: t or 52/27?
52/27
Let r(i) = -i**2 + 29*i - 190. Let t be r(12). Let v = 0 + 3. Suppose v*w - 20 = 5*x, -w - 2*w + 10 = 5*x. Which is bigger: t or x?
t
Let s be 2/(-12) - (-3)/(-36)*1054. Is s <= -87?
True
Suppose 0 = -19*g + 3052 + 7. Is 159 less than or equal to g?
True
Suppose 4*s + 3*w - w = -38, -s + 3*w + 8 = 0. Let z = 17 + s. Is -2/5 >= z?
False
Suppose 0*z = j - 2*z - 51, 0 = -j - z + 57. Let p = j + -56. Is -3/61 greater than p?
True
Let y = 106 - 111.9. Which is bigger: y or -0.1?
-0.1
Let d be (-642)/(-9)*15/10. Is d greater than 109?
False
Suppose -2*n - 299 = -253. Let z be 69/6*(0 - 2). Is z at most as big as n?
True
Let w be (-8)/(-26) - 137882/286130. Is 0 <= w?
False
Suppose -6*p - 21 = -13*p. Suppose -p*s - d = 107, 0 = 3*s - 0*s - 5*d + 95. Which is smaller: -34 or s?
s
Let z = -0.7 - 8.4. Let c = -9 - z. Do c and -92 have the same value?
False
Let g = 1647 - 1648. Which is greater: g or 0?
0
Let q = -0.132 + 0.132. Which is greater: -13/3 or q?
q
Suppose -13 - 5 = 2*b - 3*o, 27 = -3*b + o. Is -3 at most as big as b?
False
Suppose 0 = -q - 4*c + 100, 3*q + 14*c - 345 = 17*c. Which is smaller: q or 114?
q
Suppose 0 = -21*y - 46 + 67. Is y not equal to 20/17?
True
Let j(a) = -a**2 - 31*a - 26. Let q be j(-30). Which is smaller: q or -2?
-2
Let w(g) = 2*g - 5. Let v be w(5). Suppose 0 = v*y - 2 + 7. Suppose 1 = -2*u - 5. Is y at most as big as u?
False
Let f be (-3354)/(-429) - 8/(-2). Is 12 at most f?
False
Suppose 27*q - 3327 = 345. Which is bigger: 132 or q?
q
Let q(u) = -u + 11. Let n(k) = 3*k - 44. Let l(h) = -6*n(h) - 22*q(h). Let t be l(-10). Let c be ((-4)/6)/((-4)/t). Is c smaller than 2/9?
True
Let m be 1*3/((-522)/(-6)). Which is greater: 0 or m?
m
Let s(y) = -1. Let m(q) = -2*q - 6. Let b(f) = -m(f) + 3*s(f). Let r be b(4). Suppose 15 = -5*w + 5*u, -2 + r = -2*w - u. Does w = -3?
False
Let v be (-2 + 2)/((-10 + 6)/(-4)). Is v smaller than -2/71?
False
Let i be (-708)/(-78) - (-6)/39. Is i at most as big as 1?
False
Suppose -6*i = -2*i. Let w be (-1)/(-4) - 9148/(-80). Let b = w - 115. Which is bigger: i or b?
i
Suppose g + 0*d - 2*d + 128 = 0, 0 = -3*g + d - 364. Let m be (-1)/(-2) + 92/g. Is -3 at most as big as m?
True
Let d = 284 + -563. Is d equal to -279?
True
Suppose m = 3*l + 111, 31 = -l + 3*m - 14. Is -34 smaller than l?
False
Suppose -i - 3*p - 10 = -2, -i + 5*p = -24. Suppose -3*j + 2*c = -14 - 143, 2*c = i*j - 206. Is j not equal to 49?
False
Let m = 7 + -2. Let a = 5.2 - m. Let d be (3 - 1)/(-3 + -7). Is a != d?
True
Let w = -0.1 + 1.1. Let f = 10.32 + -5.32. Which is smaller: w or f?
w
Let v = -1008 - -63502/63. Let s = -92/1071 + v. Is s < 4/9?
True
Suppose 3*w - 2 = 10. Suppose 10 = 2*s + w*q - 0, s - 4*q = -7. Let l be (-2)/5*1/2. Is s at least as big as l?
True
Let w be (-6)/8*(-4)/(-6). Let h = 0.67 + -1.76. Let o = -0.91 + h. Which is bigger: w or o?
w
Let s = 30.2 + -29.2. Let i be (0 + -5 + -1)/1. Let x be 2/(2*2/i). Which is greater: x or s?
s
Let i = -4.9 + 5.52. Let s = 0.38 + i. Let c = -3 - -9. Is s equal to c?
False
Let c = 25 + -22. Let u(t) = -5*t**2 - 4 + 9 + 2*t**c - 3*t**3 + t. Let b be u(-5). Is 4/21 <= b?
False
Suppose -2*i = q - 319, 3*q + 3*i - 1190 = -218. Which is smaller: q or 328?
328
Let r = -25 + 25. Suppose 5*h - x + 3*x + 70 = r, 20 = 4*x. Is h less than or equal to -15?
True
Let w = 1.2002 + -0.2002. Is -72.7 equal to w?
False
Let j(x) = -x**3 - x**2 - 3*x - 5. Let r be j(-2). Suppose 0 = r*w - 12 - 3, 2*w = -3*l - 30. Is l greater than or equal to -13?
True
Suppose -5*k = 3*u - 7, u - 70 = -71. Let a(h) = -2*h - 2. Let j be a(-2). Suppose -2 = 2*y + 4*r, -j*y + 5*r + 1 = -6. Are y and k unequal?
True
Let r = -1154 + 1174. Is r equal to 14?
False
Let i = 1870/21 - 89/105. Is i at most 88?
False
Let t = 333 - 340. Is 2 >= t?
True
Let w = -102 - 90. Is -192 equal to w?
True
Let s be 0 - -2 - 225/(-3). Let h be (-3)/20 - (2 - s/28). Let d = 2 + -2. Which is greater: d or h?
h
Let l = 0.05 + -10.05. Let j = l - -8. Which is smaller: j or -2/25?
j
Let c = -96.747 - -96.7. Are c and -1/7 unequal?
True
Let k(l) = 2*l**3 + 2*l**2 - l. Let v be k(1). Let t(y) = 5*y**3 - 3*y**v - y**3. Let q be t(1). Which is smaller: q or -1?
-1
Suppose 0 = -15*m + 10*m - 5*s + 5, -3*s = m - 7. Which is smaller: 393 or m?
m
Suppose -16*u + 21*u = -5. Let c be -8 - u - (1 - -3). Let y = 383 - 785/2. Is y equal to c?
False
Let x(a) = -979*a - 5875. Let c be x(-6). Let l = -613/12 + 51. Is l >= c?
True
Let k = -28 - -37. Let f = k - 11. Suppose 0 = -2*m - 3*m. Are m and f equal?
False
Let g = 180.3 + -179.387. Let i = 0.087 + g. Let y = -2003/6 + 333. Is i > y?
True
Let q = -588 + 570. Which is smaller: q or -3?
q
Let n = 106 + -105.7. Which is smaller: -17 or n?
-17
Let z(j) = -6*j - 8 + 7*j - j**2 - 8*j + 0*j**2. Let i be z(-4). Is i greater than or equal to 6?
False
Let x = 5.6 + -20.4. Let f = 15 + x. Which is greater: f or -7?
f
Let r = -9 + 7. Is 80 <= r?
False
Let w = -11.28 - 8.1. Let 