n 310/9?
False
Let o = -122 + 101. Which is bigger: o or 3?
3
Let k = 14300 + -14300.4. Let d = -0.1 - -0.2. Let j = d + -0.1. Which is smaller: k or j?
k
Let q(o) = -o**2 - 13*o + 28. Let s be q(6). Are s and -87 equal?
False
Suppose -2666 + 2566 = -100*z. Let w = 184246/67 + -2750. Which is greater: w or z?
z
Suppose -2*h - 3*h - 25 = 0, 2*h = -2*y + 816. Let f = 5375/13 - y. Which is greater: f or -1?
f
Let b = -290 + 290. Is 2/573 smaller than b?
False
Let i be (-8)/(-7) + 125/(-175). Suppose -3 = -3*z - 9. Let t = -3 - z. Is i greater than t?
True
Let o be (-30)/(-8) - (-1)/4. Suppose 4 = o*c - 0*c. Is c at least as big as 0.23?
True
Let h = -27 + 30. Let v(r) = -4*r + r**3 - 11*r**2 - 10*r + 4 + 2*r. Let q be v(12). Which is smaller: q or h?
h
Suppose 0*g - 4*g = -12. Suppose -d + 4*d + 3*l = -54, 4*l = -g*d - 59. Let r be 8/28 - -4*(-86)/28. Which is smaller: d or r?
d
Suppose 0*i - 11 = -4*o + i, 5*i = -4*o + 41. Suppose 9 + 7 = -5*y + t, -o = 2*y + 2*t. Are y and -4 unequal?
True
Let g = -1 - -1. Let b = 53 - 42. Let j be ((-42)/b)/1 - -4. Is g at most as big as j?
True
Let g = 0.19 + 1.11. Let v = -1673 - -1672. Is g smaller than v?
False
Let l = -18120 + 7483564/413. Which is smaller: l or -1?
-1
Let z = -142/13 - -109456/10023. Which is smaller: z or 1?
z
Let m be ((-12)/21)/(8/(-28)). Suppose -5*h + h + 40 = m*g, -5*g = 20. Which is smaller: 1 or h?
1
Let c = -41/2 - -81/4. Let l = -28.04343 + 0.04343. Is c != l?
True
Suppose 0 = 3*d + 2*p - 11, 0 + 3 = 3*p. Let m be (4/(-38))/((-10)/d). Let k = m - 137/1330. Is 1 less than k?
False
Suppose -3*r + 8*r - 15 = 0. Suppose -r*l + 15 = 4*b + 3, 5*b = -4*l + 14. Which is bigger: 4 or b?
b
Let c be (-12)/(-20) - (-32)/80. Is c less than -1/13?
False
Let u be 306/(-12)*(-32)/(-12). Which is smaller: u or -69?
-69
Let k = 221 - 180. Let z = k - 40. Let s = -2 + 2. Do s and z have the same value?
False
Let i = -1031 + 41237/40. Is i > -1?
True
Suppose 0 = -3*p + 3, -5*x - 25 = -p + 26. Let j be 0/(-3*x/(-15)). Does j = -2?
False
Let y be 9/(-72) + (-482)/(-16). Suppose 12*p + y = 2*p. Is -4 less than or equal to p?
True
Let w = 987 + -996. Which is smaller: w or 61?
w
Suppose 0 = -31*k + 33*k - 8. Let d be (0*(-1)/3 - -1)/k. Is 29 < d?
False
Let g be (-8 - 10630/(-1340))*4. Is 1 equal to g?
False
Suppose 0 = 4*u - 5*l + 6 + 6, -l + 4 = 0. Suppose u*w = w - h, 2*h = -w - 3. Which is smaller: w or 38/9?
w
Let f = -0.05 + 0.13. Let d = f - 5.08. Is d less than -4?
True
Let s(f) = -f + 7. Let d be s(-13). Suppose -4*u = -0*u - d. Is u at most as big as 3?
False
Let j be ((-8)/(-21))/((-3)/(-9)). Suppose -q + 4*q + a - 5 = 0, -7 = q - 4*a. Which is greater: q or j?
j
Let t(p) = -p**3 - 10*p**2 + 38*p + 37. Let l be t(-13). Is l at most as big as 55?
True
Suppose 0*l - 4*l + 24 = 0. Let i be -3*(-3)/3*22/l. Is i less than 1?
False
Suppose 261 = -5*s + 4*x, 2*s + 24 = 5*x - 77. Let y be (-36)/9 - (s - 0). Is 49 greater than y?
False
Let a(p) = 8*p - 96. Let i be a(15). Is i smaller than 19?
False
Let s(j) = 2*j - 3. Let y be s(4). Let z(r) = -2*r**2 - r - 1. Let i be z(-1). Let m be (-1 - 22/i)*(-8)/(-16). Are m and y non-equal?
False
Let w = -0.03 + 17.03. Let k = 21.2 - w. Is 0.1 != k?
True
Suppose 725 = -5*y - 5*d, -8*y + 6*y - 295 = d. Is y at most as big as -151?
False
Let d = 63473113/65 - 976528. Let m = 94/5 + d. Is 0 at least m?
False
Suppose -13*i + 92 = 27. Let g be (-8)/14 - i*(-10)/(-525). Which is greater: g or -3?
g
Let l(b) = 2*b**3 + b**2 - 3*b - 7. Let t be l(-2). Does t = -93/8?
False
Suppose -21*c = 941 + 1033. Is c at most as big as -2?
True
Let d = 8.1 - 8. Let q = -15.6 + 15.52. Which is smaller: d or q?
q
Suppose -3 = 7*o - 10*o. Let v be (0 - o)/(3/(-15)). Suppose -6 = v*f - 11. Is 18 equal to f?
False
Suppose -17*l = -12*l. Let y = 8 - 5. Suppose l = -z - y + 2. Is z != -4/11?
True
Suppose 3*p - 6 = -9. Let d = 18 + 0. Let q be 3*1*(-2)/d. Are p and q unequal?
True
Let z = -4.44 - -3.8. Let g = 0.26 - 0.3. Let w = g - z. Do w and 0.1 have the same value?
False
Let r = 10223/18 + -568. Let v = -23 + 22. Is v equal to r?
False
Let g be 6/(-6) + -4 + 4 + -1055. Is -1056 at least as big as g?
True
Let v be (-1)/2 + (-3)/6. Let j be 5 + (-9 - v) + 410/136. Which is smaller: -1 or j?
-1
Let c = -24 - -31. Suppose -15 - 6 = -c*t. Which is bigger: t or 1/7?
t
Let l = 46 + -58. Let v = 38 - l. Is v greater than 49?
True
Let w(n) = 2*n**3 - 19*n**2 + 7*n - 19. Let p be w(9). Is -36 < p?
False
Let l = 2156 + -2107. Which is smaller: l or -0.2?
-0.2
Suppose -372 = 17*z - 29*z. Do -1/4 and z have the same value?
False
Let i(j) = j**2 + 7*j + 4. Let g = -81 - -75. Let s be i(g). Which is smaller: -0.35 or s?
s
Suppose -486 = 243*k - 246*k. Is k at least 160?
True
Let z(l) = 19*l - 18. Let q be z(2). Let w be (-11)/q - (-5)/20. Which is greater: -1/3 or w?
w
Suppose -3*a = 3*w, 1 + 1 = -2*a - 3*w. Suppose -a*v = v. Is v greater than 3?
False
Let r = 1 - -12. Suppose 3*n - 125 = r. Which is greater: 45 or n?
n
Let l = -9 + 13. Suppose n + 3*j - 12 = 0, l*n + 2*j + 3 = 11. Is n equal to -10/11?
False
Let d be -20 - (30/9)/(30/(-45)). Which is greater: d or -252/17?
-252/17
Let r be 0/3*4/16. Let t be 3*((-1 - -1) + 1). Suppose -2*p - t*p = r. Which is greater: -3 or p?
p
Let j = 1/3 + -5/9. Is -0.044 at least as big as j?
True
Let w be (2/11)/(114/2831). Let u = -31/11 - w. Which is greater: -7 or u?
-7
Suppose 3*z + p - 4 = 0, 4*p = -z + 1 - 7. Suppose 32 = 4*x + 2*v + 94, x = z*v - 13. Is -15 greater than x?
False
Let r = -0.388 + -0.612. Which is smaller: 0.02 or r?
r
Suppose -4*i - i + 5*j = -525, 5*i + j = 525. Is i greater than 105?
False
Suppose 960 = -42*b + 72*b. Let d(p) = -9*p - 5. Let j be d(-4). Is j > b?
False
Let n = -7.71 + -0.29. Let d = 8 + -6. Let x = 2.1 - d. Do x and n have the same value?
False
Let n be (-2)/(-2) - (1 + -8). Let s(c) = c**2 + 9*c + 11. Let v be s(-8). Is v bigger than n?
False
Let h be 2/(-8) + (-12)/16. Is h not equal to -2/77?
True
Let v = -6 + 4. Suppose 8*t = 6*t - 4. Is v at most as big as t?
True
Let x = -20061/20240 + -56/253. Let d = x - -9/10. Is 0 greater than d?
True
Suppose 7 = 4*k - 5. Suppose 4*i + 7 = -k*f, -2*f - 5 = -3. Is 20 != i?
True
Let t(f) = f**2 - 3*f + 6. Let p be t(6). Suppose 1 = -g - 8*c + 5*c, -2*g = -5*c + p. Let h = g + 8. Which is bigger: 4/9 or h?
h
Suppose -3*c - 4*c = -651. Suppose -6*w - c = 27. Is w at most as big as -20?
True
Suppose -228 = 120*s - 116*s. Which is bigger: -64 or s?
s
Suppose -m + 3*l = 142 - 35, 3 = l. Are 2/3 and m equal?
False
Let m be 1/5 - 0 - 714/(-5). Let r be (-70)/m - 8/(-44). Which is greater: 0 or r?
0
Let c = 165187860 + -393973096982/2385. Let w = c - -2/2385. Which is greater: -20 or w?
-20
Let o(h) = 24 - 2*h - 50 + 4*h. Let y be o(13). Is y at least -26?
True
Let o(a) = a**2 + 8*a + 2. Let d be (10/3)/((-8)/36*3). Let w be o(d). Is -15 at least w?
False
Let c be (-56)/24 + (0 - 1/(-3)). Let j(k) = k + 7. Let t be j(0). Let u = t - 10. Which is smaller: u or c?
u
Suppose -2 = 5*j - s, 12*s + 2 = 13*s. Is j equal to 2/627?
False
Let n = -0.6 + 0.18. Let h = 13 - 13.1. Which is greater: n or h?
h
Let f(i) = -i**3 + 64*i + 9. Let j be f(8). Which is smaller: j or 2/39?
2/39
Let x = -3 + 1. Let n be (22 - 21)*(0 - -21). Suppose -3*u = 30 - n. Are u and x equal?
False
Suppose -2*d + d - 25 = -3*w, -5*d = -w + 83. Let k = d + 24. Suppose k*g - 13 = -213. Is g not equal to -25?
False
Suppose 5*k = -4*k + 468. Suppose z + 36 = 5*p, -5*z - k = -4*p - 10*z. Do p and 5 have different values?
True
Let x = 2462 + -128021/52. Let c(r) = -r**3 + 6*r**2 + 1. Let i be c(6). Is i equal to x?
False
Let h be 1 + 1 + (-387)/(-174) + -4. Let p = -8/29 - h. Which is greater: p or -11?
p
Suppose -a - y + 238 = 0, -3*y + 2 = -4*y. Which is smaller: 239 or a?
239
Let n be (-30)/(-135) + (-268)/(-9). Let k = -36 + n. Let y = -0.1 - -0.1. Which is smaller: y or k?
k
Suppose -6*y = -y. Let t be 0 - (-18 + y) - 0. Let u be (-15 - -3)*(-8)/t. Which is bigger: 6 or u?
6
Let y(a) = 2*a - 11. Let z be y(9). Suppose -2*s - 1 = z. Let q = 6 + s. Which is greater: q or 1?
q
Let a = 0.0765 - -12.9235. Which is bigger: 1/12 or a?
a
Suppose 3*m - 211 = 59. Let f be (56/m)/(4/(-10)). Suppose -4*k + 6 = -7*k. Which is 