
False
Let d be (52/6 + -8)*(-3)/(-4). Let x = -0.4 - 0.4. Which is bigger: x or d?
d
Suppose -4*l - 8 = 3*o, 4*l = o - 15 + 7. Let h = 11.77 - -0.23. Let x = 11.4 - h. Do x and o have the same value?
False
Let c(w) = -4*w**2 + 26*w - 54. Let o be c(4). Which is bigger: o or 0?
0
Let q(b) = b**3 - 3*b**2 + 2*b - 1. Let g be q(3). Suppose -4*t = p - 3*p, -t - 2*p - g = 0. Which is smaller: t or -3/5?
t
Let t(u) = -u**2 + 24*u - 25. Let z(q) = -q**3 + 13*q**2 - 20*q + 1. Let i be z(11). Let f be t(i). Is f bigger than -7?
True
Let o = 26 - -14. Suppose 2*x = 7*x - o. Let y = 2899/3 - 957. Which is smaller: x or y?
x
Suppose 4*r = 2*m, -3*m + 10 = 4*r - 0. Suppose -m*k - 4*p + 124 = 0, -2*k + 0*p = p - 130. Let q be ((-8)/k)/(4/18). Which is greater: q or 0?
0
Let r = -15 - -16. Let y = 0 - r. Is 2 < y?
False
Let j(b) = 2*b**3 - 4*b**2 - 7*b + 2. Let a be j(3). Let q = -0.8 - 0.2. Let u = q - -1.1. Is a greater than or equal to u?
False
Let d be (3/12)/(5/295). Let r = d - 15. Do r and 0.4 have different values?
True
Suppose -5*b - 2*w = 13, -4*w = 4*b - 2*w + 10. Let g be 40/45 - 0/b*-1. Which is smaller: 2 or g?
g
Let u be (-503)/7 + 3 - 4/(-2). Let l = -73 + 140. Let n = u + l. Is 0 bigger than n?
False
Suppose 5*o + 5*t = 140, 4*o = 6*o + 5*t - 50. Is 20 smaller than o?
True
Let a = -59.7 + 54.7. Is a >= 16/3?
False
Let x = 0.29 - 0.39. Which is smaller: x or -17.9?
-17.9
Let i = -359 + 201. Is i greater than -160?
True
Let k = 1294 + -1308. Do k and -16 have the same value?
False
Let d = -1554.2 + 1529. Which is smaller: 1 or d?
d
Let k be -10*(36/(-12) + (-57)/(-15)). Is k < -84?
False
Let w = -171 - -166. Is -0.8 not equal to w?
True
Let c(g) = -g**2 + 7*g - 4. Let p be c(6). Let a be ((-22)/(-4) - 2)*p. Let t be 10/(2/1)*1. Which is smaller: t or a?
t
Let q = 3 - 3. Let z be (-16 - -2)*(-6)/4. Which is smaller: q or z?
q
Let i(p) = -p**3 + 26*p**2 + 23*p + 109. Let y be i(27). Is -1/1042 less than or equal to y?
True
Let l(q) = q**3 + 6*q**2 + 5*q. Let z be l(-5). Let k be (87 - 19)/(2/(-8)). Let s be 4/(-10)*80/k. Is s >= z?
True
Let k be 2/(-2) - (2 - (-110)/(-30)). Which is smaller: -0.079 or k?
-0.079
Let l = -708 + 672. Which is bigger: l or -38?
l
Let h be (-12)/9*(-12)/(-8). Let u be 558/30 - (1 + -2 - h). Which is smaller: u or 17?
17
Let n = -170 + 180.9. Let a = 455 - 466. Let x = n + a. Is x at most as big as -1/3?
False
Let g = 16.7 - 16.6. Let z = 0.7 + 3.3. Let k = 3.8 - z. Is g > k?
True
Let d be -2 + (2 - 2) + (11 - 5). Suppose -d*m + 26 = -22. Is m not equal to 11?
True
Let c be 4/20 - (-207)/15. Let q be 0/c - -2*-1*1. Which is smaller: q or -4?
-4
Suppose 0 = 2*t + 4*u + 1 + 1, 4*u = -3*t - 1. Let i be (1/4)/((-18)/16). Does t = i?
False
Let m(c) = -c**3 - 4*c**2 - c + 4. Let k be m(-3). Let l(p) = -6*p - 2. Let q be l(k). Let s be 8/(-40)*q/8. Is 0.1 smaller than s?
False
Suppose 5 = 4*q - 3*u, q + 5*u - 22 - 8 = 0. Suppose q*d = 5, -2*o - 2*o + 2*d - 6 = 0. Let w be 22/30 + o/3. Which is smaller: w or -1?
-1
Suppose -19*x = -17*x - 120. Suppose 20*q - x = 16*q. Which is greater: 13 or q?
q
Suppose s + 3*i = -28, -157 = -6*s + 10*s + 3*i. Is -43 < s?
False
Let s(j) = -2*j**3 + 5*j**2 + j - 7. Let p be s(5). Let c = 125 + p. Let d be 0 - (1*-1)/(-1). Which is greater: d or c?
d
Let i be 6/(-26)*(-54)/81. Is i bigger than 1?
False
Let g(x) = x**2 - 40*x - 301. Let s be g(-10). Let d be (17/10)/(-1)*118. Let j = d + s. Which is bigger: j or -1?
-1
Let q = 1167 + -1234. Which is bigger: -59 or q?
-59
Let s = -4 - -5. Suppose -4*r + r + 3 = 0. Let v be s/r - 2 - -23. Does 22 = v?
True
Let k(s) = s - 23. Let d be ((-30)/(-4) + 0)*(-2 + 4). Let g be k(d). Is g less than -11?
False
Let o = -7/394 + 4403/14972. Is -1 equal to o?
False
Let j = 19.99 - 20.27. Does j = 11?
False
Let b be (58/4)/((-3)/2). Let l be 154/(-17) - 198/(-3366). Is l != b?
True
Let v = -57 + 65. Let o = v - 9. Are -9/11 and o equal?
False
Let y = -4 + 3.6. Let q = 0.5 + y. Is q at most 1?
True
Let b be (-105)/90*((-1)/(-6))/((-14)/(-54)). Let g = -0.68 + 0.08. Which is smaller: g or b?
b
Let u be -5*(-1)/(-2)*(-40)/450. Let n = -34 - -34. Which is smaller: n or u?
n
Let f = -226 + 145. Which is greater: -82 or f?
f
Suppose -3*u + 2*j - 14 = -0*j, 4*u + 47 = -3*j. Let k = -7 - u. Let a be 3*5 + k + -5. Which is smaller: 10 or a?
10
Suppose -5*o - 175 = -285. Which is smaller: 87/4 or o?
87/4
Let q = 498 - 498.2. Let h be 0 - 0 - 116/(-22). Let i = -384/77 + h. Is i smaller than q?
False
Let l = -0.0116 - -5.0116. Which is bigger: l or -1?
l
Let y = -9.437 - -0.037. Let m = y + -3.6. Which is greater: 1 or m?
1
Suppose -3*g + 15 = 9. Let f = g - -2. Is 10/3 at least f?
False
Let z = -424 + 423. Let y be 1*16*2/(-60). Is z less than or equal to y?
True
Suppose 41*y = 40*y + 4. Suppose -2*n + 0 = -y. Do 1 and n have different values?
True
Let o = 22 + -17. Suppose o = 2*r - 5. Suppose 5*f + 5 = -r*x, -2*f + 3*x = -2 - 6. Is f less than -1?
False
Let o(i) = 3*i**2 + 5*i + 27. Let f be o(-5). Which is smaller: f or 78?
f
Suppose 3*j + 2*q - 46 - 7 = 0, 0 = -4*j - 3*q + 72. Suppose 0 = -j*i + 7*i - 440. Is i != -55?
False
Suppose -3*t = c + 4*c - 17, 2*c - 3*t = -10. Let o be (-3)/6*c/2. Let q(s) = -s**3 - 6*s**2 - 5*s. Let g be q(-5). Do g and o have the same value?
False
Let p be (87 - 52)*(-3)/21*2. Let g = -3 - -4. Which is smaller: p or g?
p
Let p = 7.016 - 7. Let c = p - 12.016. Which is greater: c or 0?
0
Suppose 14 - 32 = g. Let h(q) = -2*q**2 - 14*q - 6. Let r be h(-7). Let x = r + -12. Is g greater than or equal to x?
True
Let j be 8/3 - 7/(-21). Suppose 10 = 2*c + j*c. Suppose 0 = -b + 2*z - 8, 6 = -4*b - c*z + 14. Which is greater: b or 3?
3
Let x be ((-5)/30)/(1/(-6)). Let b be (-41)/13 - ((-2)/(-2) + -4). Is x greater than or equal to b?
True
Let p = 5 - 8. Let j = p - -4. Let t be ((-1)/3)/(j/6). Which is smaller: t or -7?
-7
Let m = -0.248 + 0.448. Which is bigger: 87 or m?
87
Let b = -294 + 252. Is 0 equal to b?
False
Suppose 2*z - 1 = -3, -n - z = 7. Let i be (34/n)/(1/3). Let a be (-3)/(-4)*17/(85/(-120)). Are i and a equal?
False
Let u = -6 + 3. Let g(i) = -i. Let o be g(3). Let x be (-12)/5 - (o - -1). Is u at most as big as x?
True
Suppose 5*b - y = -2, b + 4 = -y + 3*y. Let c be (1 + 4/(-6))*435/(-1160). Is b > c?
True
Let p be (-4 - -2) + (-21077)/(-7021) - 1. Which is bigger: p or 0?
p
Let k(s) = -5*s - 42. Let i be k(-7). Is i >= -16?
True
Let r = -11 + 36. Let g = r - 35. Is -2 smaller than g?
False
Suppose 0*d = 2*d - 2. Let g be ((-54)/6 + -1)*4/(-10). Suppose 10 = 4*f - 3*x, x = -g*f + 1 + d. Which is smaller: f or -1/13?
-1/13
Let x = -19.9345 + -0.0655. Is x < -0.1?
True
Let w = -21 - -21. Suppose -2*n + w*h = -h + 4, 2*n + h = 4. Let d be (-1)/(-2) + 1/10. Is n <= d?
True
Suppose -2*q - 2*j + 4 = 0, 6 = -4*q - 2*j + 10. Suppose 5*b = b - 4*o - 40, 0 = 4*o + 8. Let t be 24/(-182) - b/28. Is q less than or equal to t?
True
Let z = -256 + 417. Let p be 115/z - 4/(-14). Does -2/9 = p?
False
Let u be -5 - ((-10)/15*15 + 3). Is 16/11 smaller than u?
True
Let l be -2 - (5097/2550 - 4). Let u = -257/1700 + l. Which is smaller: u or -1?
-1
Let l(q) = q**2 + q - 5. Let u be l(-5). Let n = -11 + u. Let y(r) = 3*r**2 + 3*r - 2. Let s be y(1). Is n smaller than s?
False
Let k(a) = 2*a**2 - 8*a + 5. Let v be k(3). Is v != -6/215?
True
Let f = -23 + 42. Let g = f + -12. Suppose 3*y - 72 = -9*y. Which is smaller: g or y?
y
Suppose -44 = 2*l - 5*l + 2*o, 0 = 4*l + 4*o - 52. Suppose 2*u = -l + 4. Let d be -8*(-2 + 24/9). Which is greater: u or d?
u
Let n = -110 - -115. Suppose 1 = -n*c + 2*c + 5*h, -2*c + h = -4. Are c and -0.01 nonequal?
True
Suppose 6 = 3*t, -4*c - t - t = 128. Let d = c - -51. Let y(m) = -m**3 + 19*m**2 - 21*m + 22. Let p be y(d). Which is bigger: p or -33?
p
Suppose 2*k + 61 = 3*a, k - 102 = -5*a + 4*k. Is a greater than or equal to -5/2?
True
Let x = -1049426/223 - -4706. Which is smaller: x or -1?
-1
Let l(p) = -3*p + 70. Let y be l(19). Is y <= 81/7?
False
Suppose 26*u = 45*u + 133. Is u < -58/7?
False
Suppose -3*k - 141 = 2*m, -4*k - 4*m = -3*k + 37. Which is bigger: 0 or k?
0
Let y = 0.0152 + -9.0352. Let s = -0.02 - y. Let q = 29312 + -29312.1. Is q > s?
False
Let r be ((-19)/(-76))/(43/44). Does r = 0?
False
Suppos