 big as 0?
True
Suppose 59 + 145 = 12*a. Does a = 14?
False
Let a = -10165/26 + 391. Let h(w) = w - 18. Let i be h(22). Suppose r - 4*f - 7 = 0, -i*f = -0*r - 2*r + 6. Which is bigger: r or a?
a
Suppose 0 = -5*s - 2*a - 5, -a = 5*s - 0*s. Suppose s = -d + 2. Is -2 at least d?
False
Let v(r) = 2*r**2 + 19*r - 37. Let k(y) = y**2 + 10*y - 19. Let w(p) = 5*k(p) - 3*v(p). Let b be w(-9). Which is smaller: b or 0.4?
b
Let m = -19/2 + 10. Let r = -11/97780 + -168865059/8897980. Let b = -135/7 - r. Is m at most b?
False
Let s be 2*((-85)/(-35) + 8/14). Let t be 2 + s/(-2) - 6. Suppose -2*q = -3*q - 8. Which is greater: t or q?
t
Let i be 1200/66 - 3/((-33)/(-2)). Suppose 2 = a, -d - 3*a - i = 2*d. Is d bigger than -8?
False
Let v be 3/(-7)*(2 - (-824)/12). Let d = 30 + v. Let z be 2/12*2*2. Which is bigger: d or z?
z
Suppose -6 = -3*t - 0, 0 = 3*u + 4*t - 761. Let v = 239 - u. Let f = 0.2 - -0.8. Which is smaller: v or f?
v
Let a = -33.05 - -33. Let h = a - -0.05. Which is smaller: h or 0.1?
h
Let w = 34 + -32. Let s = w + -7. Is -31/5 less than s?
True
Let x be (-2 - (-198716)/(-4)) + 1. Let l = x - -6607360/133. Let g = l - -6/19. Which is smaller: 0.5 or g?
g
Suppose -z + 26 = -2*p + z, -3*p + 4*z = 34. Which is greater: p or -19?
p
Let z be (1 + 0)/(2/4). Let h(a) = -a**3 - 11*a**2 + 12*a + 3. Let m = -36 - -24. Let y be h(m). Are z and y nonequal?
True
Suppose -72*x + 280 = -16*x. Does x = -3/17?
False
Let i(l) = 234*l + 5. Let r be i(-1). Which is smaller: r or -228?
r
Let k = 3 - 4. Suppose -c + 66 + 11 = 0. Let h be 6/5*(-5 - c/(-15)). Which is bigger: h or k?
h
Suppose 3*t - 6 - 15 = 3*a, a + 1 = -2*t. Let h be (-4 + (-57)/(-6))/((-1)/t). Which is bigger: h or -8?
-8
Let a = 27 - 22.9. Let x = 3.9 + a. Are 5 and x equal?
False
Let y be 2 + (3 - 1) - -8. Suppose 0 = 3*q + c - 31, 5*q - 5*c = 56 + 29. Is q less than y?
False
Let g = 21 - 4. Let k = -54 + g. Which is smaller: -36 or k?
k
Let b = -0.0663 - -24.0663. Which is greater: 17 or b?
b
Let j(g) = -g**3 + 11*g**2 + 13*g - 32. Let t be j(12). Is t <= -26?
False
Let p be (5/3)/(4/(-48)). Suppose 2*y - 2*g = -48, g - 28 = 2*y + 4*g. Is y >= p?
True
Let r = -57.017 + 0.017. Which is smaller: r or 0.04?
r
Suppose 24*o + 158 = -154. Which is greater: -3/2 or o?
-3/2
Let v(h) = -12*h**3 - 145*h**2 + 14*h + 6. Let x be v(-12). Is x >= -304?
False
Let j(d) = -d + 4. Let v be j(6). Let c be 1/v - (-6)/12. Suppose -2*s + 4 + 0 = c. Which is bigger: s or 3?
3
Suppose -58 = -5*g + 67. Let i = g + -9. Let n be i/114*(-45)/(-60). Is n smaller than 1?
True
Suppose 1742 = 11*d - 37*d. Which is bigger: d or 0?
0
Let t = -52/7 - -8. Let x = -5 + 19. Let z = -14 + x. Is z bigger than t?
False
Suppose 2*h + 4*o + 14 = 0, -4*o - 5 - 3 = -4*h. Let g(u) = u - 20. Let r be g(11). Let f be (6/164)/(r/(-12)). Do f and h have the same value?
False
Suppose 2 + 0 = 2*q. Suppose 4*d + 28 = -4*r, d + 0*r + 22 = -4*r. Let y = d + q. Is -21 < y?
True
Let u = -22.061 + 0.061. Let j = u - -21. Which is greater: j or -3/14?
-3/14
Let f be (-1 - 0)/(1/2). Let p be 1/f*(10 - 6). Let w be (6 - 8)*p/(-4). Which is smaller: w or -3?
-3
Suppose 16*h - 20 = 11*h. Let a be -2*(h - 21/6). Is -3/7 != a?
True
Let u(y) = 5*y**3 - 2*y**2 + 1. Let d be u(-1). Suppose 0 = 7*m - 21*m - 84. Are d and m equal?
True
Let j = -52 - -56. Let a(p) = p**3 - 2*p**2 - 9*p + 3. Let u be a(j). Which is smaller: u or -12/5?
-12/5
Suppose k - 1 = -4*y, 2*y = -2*k + 3 - 1. Let w be 24/9 - (4 - k). Let t = -0.5 + 0.3. Which is bigger: t or w?
t
Let k = -72 + 68. Let i be -4 + 1970/245 + k. Is 0 less than or equal to i?
True
Let m be ((-10)/6)/(32/168). Suppose -y - 4*g + 5 = -2*y, -3*y = 4*g + 31. Let i = m - y. Is i less than 0?
False
Suppose -688 = 3*q + 87*s - 86*s, -680 = 3*q + 5*s. Is -229 bigger than q?
True
Let s be (-135)/((21 - 0)/(-3)). Is s <= 20?
True
Let n be 0/(-4 + 2 + 1). Let w be 6/27 - 170/(-45). Let o = -4 + w. Is n != o?
False
Let x = -22 + 26. Let d be (-10)/x*(-5 + 54/15). Which is greater: d or 4?
4
Let r = 2680990/321 - 8352. Which is greater: r or -1?
r
Suppose -283 + 687 = -4*t. Let y = -94 - t. Suppose -6*h + 11*h = 10. Which is smaller: y or h?
h
Let q(j) = j**3 + j**2 - j + 2. Let k be q(-2). Let v(l) = -13*l**2 + 131*l - 13. Let d be v(10). Let c be (1 + -2 - d) + k. Is 1 equal to c?
False
Let f = 0.24 + 0.06. Let c = -0.7 - f. Suppose 3*j - 148*j - 25*j + 340 = 0. Is j >= c?
True
Let o = -694/3 + 1255/6. Which is bigger: o or -21?
-21
Let x = 0.735 - 0.535. Which is greater: -17.1 or x?
x
Let d be (5 + -3)/(11/53). Which is greater: d or 10?
10
Let w = -2 + 2. Let o(b) = -b**3 - 5*b**2 + 5*b + 8. Let u be o(-6). Let l be 2*(0 - u/(-20)). Are l and w equal?
False
Suppose -z - 1 = -2*m + 8, -5*m - 2*z = -27. Let q = 1285 - 1273. Which is bigger: m or q?
q
Let x = 2 + 9. Suppose 0 = -9*g + x*g - 66. Which is bigger: 32 or g?
g
Let y be 3 - (1 - (-279)/42). Which is smaller: -6 or y?
-6
Let d = -13772/4247685 + 2/6201. Is 1 not equal to d?
True
Let x(d) = -d**3 - 12*d**2 + d + 133. Let z be x(-11). Which is smaller: z or -2/2691?
-2/2691
Let i = 2.1 - 2. Let u = 5.93 + 0.07. Let a = 4 - u. Which is greater: i or a?
i
Suppose -4*f + 5*f - 50 = 0. Let y = f - 50. Let o be (-3)/(-279)*(4 + -1). Is o < y?
False
Let i = -1593 + 1566. Which is greater: -38 or i?
i
Let q be (-12 - -2) + 2 + 2 + 6. Is -1/30 > q?
False
Let p = -54.8 + 54.9. Suppose -b - 2 + 5 = 0. Suppose 3*v + 4*x = 16, -v - b*x = -4*v + 9. Which is smaller: p or v?
p
Suppose -30*q + 26*q = 0. Let n = -1 + 0. Let b be (1 - 1)/(n + 0). Is q less than b?
False
Let x = 3.84 + -3.93. Are x and 3 nonequal?
True
Let v(a) = 26*a - 163. Let p be v(12). Are p and 149 unequal?
False
Let y = -25 - -14. Let t = -10.07 - -0.07. Let h = t - y. Which is smaller: h or -5?
-5
Let n = -30 + 54. Let w = 33 - n. Let u be (-1*1)/(-8 + w). Is u greater than or equal to 6/17?
False
Let t(y) = -17*y - 16. Let x be t(-12). Suppose -4*n - x = 84. Let b be 8/n + 37/170. Which is smaller: 2 or b?
b
Let o(u) = -17 - 3*u - 7 - 1. Let t be o(-10). Are 5 and t nonequal?
False
Let s be 456/(-2) + (-14)/7. Let i = s + 215. Let x = -21 - -7. Which is smaller: i or x?
i
Suppose -z + 1 = 4. Let n = 1/2 + z. Which is bigger: 0.1 or n?
0.1
Let h = -48 - -38. Let a be (-4)/h - (-204)/15. Which is smaller: a or 15?
a
Let w(z) = -8*z**2 + 5*z - 18. Let p be w(-6). Which is smaller: -338 or p?
-338
Let n = 279 + -279.1. Is n at most -91?
False
Let k = -8.8096 - 0.1904. Is -3/2 greater than k?
True
Let n be 0 - (4/132*-1670 - -2). Let i = 146/3 - n. Which is greater: 0.2 or i?
0.2
Suppose -f - 4*f + 5*a = -5, -11 = f + 5*a. Suppose -46*w - 1 = -1. Which is bigger: f or w?
w
Let c(m) = -m**2 - 11*m - 31. Let t be c(-10). Let d = t - -19. Which is smaller: -5 or d?
-5
Let g = -150 + 149.7. Let x = 81 + -252. Let q = -1883/11 - x. Which is smaller: g or q?
g
Let s = -67 - -40. Let n = s + 33. Let u = n + -6. Is 10 at least u?
True
Let q(u) = -u**2 - 10*u - 10. Let j be q(-10). Let n be (2/4)/((-5)/j). Let y = 109/2 - 211/4. Which is greater: y or n?
y
Suppose -2 = c - 9. Let q(o) = -o**2 - 9*o - 1. Let x be q(-8). Suppose x*h - 10 = 5*h. Which is smaller: h or c?
h
Let q be 150 - 1 - 2*(-4 - -3). Is 151 greater than q?
False
Let g = -43 + 56. Let o be 158/(-8) + g/(-52). Do o and -20 have different values?
False
Let y be 3/5 + 3/45. Let q = -12.253 + -0.147. Let a = q - -12. Is y greater than a?
True
Let d be -22*1/(-2) - 2. Suppose -m - d = -4*m. Suppose -3*q - 8 = -v, -m*v + 5 - 2 = -2*q. Which is bigger: v or 2/13?
2/13
Let s(f) = f**3 + 7. Let o be s(0). Let q(k) = k**2 - 7*k. Let j be q(o). Which is smaller: 1/2 or j?
j
Let z = 206.67 - 208. Which is smaller: z or -3?
-3
Let u = -887/540 - -33/20. Do u and -1 have the same value?
False
Let y(t) = -t**2 + 12. Let x be y(0). Let l be (3/(-9))/((-1)/x). Let o be 161/420 + (-1)/l. Are -1 and o nonequal?
True
Suppose d + 4*h - 91 = 0, 4*d - 4*h = 97 + 207. Which is smaller: d or 72?
72
Let f be (18811/(-2353) - (-8)/2) + 4. Which is bigger: 0 or f?
f
Let u = 7 + -12. Let p(x) = -5*x**3 + 5*x + 4. Let t(h) = h**3 + h**2 - 1. Let d(a) = p(a) + 6*t(a). Let s be d(u). Which is greater: s or -3?
s
Let s(b) = 15*b - 7691. Let f(r) = -7*r + 3846. Let l(q) = -9*f(q) - 