 + z. Do b and 0 have the same value?
False
Let a be (2/(-3))/((-16)/2664). Let r be (-1)/(-2)*(a + -1). Suppose -o + 6*o = r. Is o < 11?
False
Let g be 10/16*42/(-20). Let d = -702 - -700. Which is bigger: d or g?
g
Suppose -231*a + 222*a - 216 = 0. Suppose -16 = -0*g - 4*g. Let o be a/4 + 3 + g. Which is smaller: -2 or o?
-2
Let t = 45 - 44.9. Is -19.1 > t?
False
Let z(j) = j**2 + 14*j - 5. Let v be z(-14). Let y be (-15)/6*(-8)/v. Which is bigger: -25/6 or y?
y
Let r(b) = -17*b + 11. Let h(q) = -84*q + 56. Let t(k) = 3*h(k) - 14*r(k). Let a be t(-3). Is 57 < a?
False
Let c = -1411/7 + 202. Let h(z) = -z**2 + 5*z - 6. Let q be h(3). Suppose -b - 8*x - 10 = -3*x, q = b + 2*x + 4. Which is bigger: b or c?
c
Let u be (-1776)/(-88) + (-4)/22. Let a be (3/10)/(24/u). Do -1 and a have different values?
True
Let y be (-1)/(4 + (0 - 0)). Let m be 98/(-24)*4/(-14). Let z = 1/2 - m. Which is smaller: z or y?
z
Let v be (-5150)/(-30)*72/30. Is 413 <= v?
False
Suppose -95*j + 99*j = 356. Let b(u) = u**3 - 3*u**2 - 2*u - 6. Let a be b(6). Do j and a have different values?
True
Suppose -j - 7*o + 5*o = -5, 4*j + 2*o = 32. Which is bigger: 53/7 or j?
j
Suppose -11*m + 155 = -65. Let h be -6*((-20)/(-280))/((-6)/m). Which is bigger: h or 2?
2
Let u be (520/(-100))/((-6)/1440). Is u less than or equal to 1248?
True
Let r = 0.051 + 0.349. Let q = 0.1 - r. Which is smaller: -0.1 or q?
q
Let w(y) = -y - 6*y + 6 + 0*y. Let l be w(4). Let d = -24 - l. Which is greater: d or 1?
1
Suppose 0 = 2*w + 1 - 47. Suppose 20*k = w*k - 15. Let x be -2 - k/((-15)/57). Is x < 16?
False
Let w(f) = f**2 + f + 1. Let j be w(1). Is 18/5 at least j?
True
Let l(i) = 2*i**2 - 14*i + 13. Let s be l(9). Suppose -52 + s = -3*f. Let x = 88/5 - 938/55. Which is bigger: f or x?
f
Let i be 5/3 - (-2)/6. Suppose 22 = 2*c - 4*c. Let j = c - -14. Is i bigger than j?
False
Let f = -79.1 - -79.14. Is f equal to 72?
False
Let x be 7514/(-3315) + (-16)/(-10). Do x and 239 have the same value?
False
Let m = 1266 + -3934/3. Let v = m - -44. Which is smaller: v or -3?
-3
Let s = 1/25 - 99/3725. Is s bigger than 1?
False
Suppose -205 = -8*v + 435. Let r = -81 + v. Which is smaller: r or 3/17?
r
Let w be ((-54)/12)/(-9) - 2/4. Is w bigger than -12/19?
True
Let n be ((-76)/(-8) + -5)*-4. Let g be (6/96)/((-1)/n). Which is greater: g or 0?
g
Suppose -48 = 7*l - 48. Is 1/106 != l?
True
Suppose -312 = 2*t - 8*t. Is t >= 49?
True
Suppose -5*m + 2*h - 408 = 0, -252 = 3*m - 7*h + 4*h. Is -80 less than m?
False
Suppose 1665 = -73*r + 64*r. Which is greater: -183 or r?
-183
Suppose -64 = -4*v + 3*n, 3*v = 3*n - n + 48. Suppose -2*k = -0*k - v. Let i be -1*(-2)/k*-1. Which is smaller: 1 or i?
i
Let l be (-1 + 4/8)*2. Let v = 14 - 24. Let s = v - -8. Is l >= s?
True
Let q = -3828.99 + 3794. Let b = 35 + q. Is 0 equal to b?
False
Let p(y) = 2*y - 1. Let f be p(0). Let r be (5 - -2)*(f - 1). Which is bigger: -13 or r?
-13
Let t be (-31)/48 + (-6)/(-9). Let v be (10/(-75) - 3521/(-420)) + 32/(-4). Which is smaller: v or t?
t
Let l(s) = -s - 1. Let o be l(-1). Suppose o = -4*z - 2*v + 3*v + 3, -3*z = 2*v - 5. Let t = 3/1240 + 741/1240. Is z smaller than t?
False
Let q be (2 + 2)/(2 + 1). Let g = 1.9 - 5.5. Let z = 4.6 + g. Is z less than or equal to q?
True
Suppose 54 = -2*h - 5*d, -4*d - 5 = h + 28. Let a = -16 - h. Which is greater: a or 1/10?
a
Let g be 86/5*5*(2 + -1). Let t = g + -93. Is -31/5 >= t?
True
Let k(a) = -a**3 + 5*a**2 + 6*a. Let u be k(6). Let n = 12 + u. Let v be 2/(-5) - n/20. Which is bigger: v or -2/3?
-2/3
Let b = -8/197 - -333/3349. Is 2/33 >= b?
True
Let f = -344 + 127. Is f bigger than -217?
False
Suppose 10 = x - 3*x, 2*x = -a + 38. Which is smaller: a or 2?
2
Let l = 5 + -3. Let s = 1267/6 + -212. Which is bigger: l or s?
l
Let q(n) = -n**3 + 9*n**2 - 2. Let t be q(9). Let s be (4 + t)*(-2)/(-10). Is s > 16?
False
Suppose 4*n - 2*q + 0*q = 0, 10 = -5*q. Let m = -7276.96 - -7277. Is m smaller than n?
False
Suppose 293 = p + 292. Which is bigger: p or 4/559?
p
Let r = -10959 + 7002805/639. Let z = r - -22357/1278. Which is bigger: z or 19?
19
Suppose 3*w + 0*w + 9 = 0. Let p = 13 - 5. Suppose 3*x + 4 + p = 0. Do w and x have the same value?
False
Let q = -1809.3 - -1726. Let s = q - -85. Let m = 2 - 3. Is m less than or equal to s?
True
Let j = 1761 - 96864/55. Is j greater than 0?
False
Let l = 9.962 - -0.038. Which is smaller: l or 2/7?
2/7
Let j be 5022/420 + -10 + 1/7. Is 3 at most j?
False
Let x = 4 - 3.7. Let r = -12/527 - 15163/5270. Let h = 12/5 + r. Which is smaller: h or x?
h
Suppose 11528 = -5*r + 2*l, -5*r + 2*r + 5*l = 6932. Let n = r - -218878/95. Is -1 greater than n?
False
Let y = -42 + 47. Suppose 1 = -y*n + 4*n. Let g = 0.02 + 2.98. Does g = n?
False
Let j be (-3 - 3) + 0 + 3. Let a be 1 + j + (6 - -4). Suppose -5*d - 6*v - a = -2*v, 2*d + v = -2. Is -2/33 > d?
False
Let v be 14/63 - (-25)/9. Suppose -3*k + 4*w = 20, 2*k - v*k - 14 = -5*w. Let b be k/12 - 1/(-21). Which is bigger: -2 or b?
b
Let a be (9 + (-987)/14)/(-3). Suppose f - 2*f = 5*d - 31, -5*f = d - 107. Which is smaller: f or a?
a
Let f = 55 - 34. Let g = f + -16. Which is greater: 7 or g?
7
Let d = 51.8 - -137.2. Which is greater: d or -2?
d
Suppose -12*a + 3*l + 44 = -8*a, -l = -4*a + 52. Which is bigger: -36 or a?
a
Let x be (-2)/8 - 2/(-8). Let l(d) = -d - 23. Let r be l(x). Which is bigger: r or -22?
-22
Let a = 217.14 + -217. Which is smaller: a or 2/11?
a
Let w be (-2 - -2)/(0 - 1). Suppose w*c = -c - 11. Let u = -11 - c. Do u and 6 have different values?
True
Suppose -h + 2*l = 230, 0 = 5*h - 4*l - 348 + 1516. Is h less than -239?
False
Let o = 100.5 - 66.5. Is -9 at least o?
False
Let c(g) = -g**2 + 5*g - 6. Let n = 1 - -1. Suppose 0 = 2*o - 5*v - 0 - 13, -n*o = 2*v - 6. Let k be c(o). Which is bigger: k or -1?
-1
Let f(a) = a**3 + 3*a**2 - 12*a - 6. Let o = -19 + 19. Suppose -5*t - 5 = -4*u + 24, o = -2*t + 2*u - 12. Let d be f(t). Is d < 3?
False
Suppose 1 = 16*s - 15*s. Let c be (3 - (-3 - -7))*s/2. Is 24 smaller than c?
False
Let n = -22 + 24. Suppose -4*x + 10 = 5*h - 9, -10 = -3*h - x. Is h != n?
True
Let h(g) = 18*g - 9. Let w be h(1). Let x be 6/w - 225/216. Which is bigger: x or -2/31?
-2/31
Let h = -194.25 - -194. Is -5 less than h?
True
Let p = -2093/4 - -524. Is p < 0?
False
Let h = -233 - -231. Is -3/4 less than h?
False
Let p = -43 - -50. Suppose 5*b + 4*f + 17 = 0, -3 = 4*b + f + 15. Let u be (80/p)/b - -2. Which is greater: 2 or u?
2
Let s = -452.1 + 451. Which is bigger: s or 48?
48
Suppose 0*s - 222 = 3*s. Let y = s + 70. Which is smaller: y or -3?
y
Let g(k) = 2*k**2 - 3*k - 35. Let d(w) = w**2 - w - 18. Let m(o) = 13*d(o) - 6*g(o). Let x be m(-7). Which is smaller: x or 2/19?
x
Suppose 0 = 3*x + 48 - 39. Which is smaller: x or -39/14?
x
Let g be 66/(-140) + 4/10. Let p = 10 + 8. Let r = 17 - p. Which is smaller: g or r?
r
Let v = 6 - 5.1. Let k = v - 0.1. Let q = 1.2 + k. Which is greater: q or 2/9?
q
Let j = 2.1 + -2. Let a = 24.25 + -34.7. Let z = a - 0.55. Which is greater: j or z?
j
Let g = 60 - 93. Let q = -37 - g. Which is smaller: -2 or q?
q
Let t = 2 - 2.4. Let c = -12.8 - -14. Let p = c + -1.3. Which is smaller: p or t?
t
Let o be (-24)/(-10)*(-100)/60. Which is greater: o or -38/15?
-38/15
Let n(b) = 23*b**3 - b**2 + 3*b - 2. Suppose 4*s - 5 = -s. Let d be n(s). Which is smaller: d or 1?
1
Suppose 2*a + 169 = 3*d, 4*d - 224 = -11*a + 13*a. Let z = 1915/2 + -902. Is d at most as big as z?
True
Suppose -2*z + g - 55 = -z, z - 3*g = -61. Let j = 34 + z. Suppose 1526*v - 2*l + 61 = 1523*v, 2*v + 2*l + 34 = 0. Is v at most j?
True
Suppose 4*s + 103 = -5*j, -4*j - 72 = -2*s + 26. Let r(p) = 9*p + 4. Let w be r(-3). Is w not equal to j?
False
Suppose 0 = 5*f - 2*x - 37, 0 = -2*x - 2 - 0. Suppose -f*o = -3*o. Suppose 3*z + 15 = b - z, -3*b - 3*z + 15 = o. Is 1 at most as big as b?
True
Let i = -1.5 - -1.6. Is i greater than or equal to 8/5?
False
Let z be (-3792)/610 + 6 + (-1)/(-5). Let j = z - 32/1769. Suppose -5*c + 4*c = -4, -2*v - c = -4. Which is smaller: j or v?
j
Suppose -5*b + 4*c = 840, -1176 = -b + 8*b + c. Do b and -669/4 have the same value?
False
Let m(p) = p**3 + p**2 - 2*p - 3. Let f be m(0). Is -11/5 less than f?
False
Let f = 13 - -6. Suppose 34 + 50 = 4*b. W