 big as -3?
False
Let b(n) = n**3 + 5*n**2 + 4*n + 6. Let f be b(-4). Let i(o) = o**3 - 11*o**2 + 25*o + 1. Let y be i(8). Which is smaller: y or f?
f
Suppose a + 0 = -3. Let d = -2 + 4. Let t = d - 1. Is t smaller than a?
False
Suppose -3*v - 489 = -207. Is -93 >= v?
True
Let u(p) = -p**2 - 19*p + 119. Let x be u(5). Is x less than or equal to -7/22?
True
Let t = 20.7 - 31.6. Let b = -11 - t. Which is smaller: 7 or b?
b
Let v = 1.6 - 1.6. Let m = -0.9 - v. Let k = -1.3 + m. Does -0.1 = k?
False
Suppose -9*m - 1533 = -1542. Which is bigger: 7/145 or m?
m
Suppose -3 = -3*y + 6. Let c be y*1 + (-6 - -12). Suppose g + 3*j = 6*j - 1, -3*g + c = 3*j. Which is smaller: g or 14/9?
14/9
Let v be 182/105 + (-5)/15. Is -0.2 less than or equal to v?
True
Let x = 573 - 2847/5. Which is greater: 0 or x?
x
Let w be 2/12 + 0 + 36/(-56). Which is smaller: w or -1?
-1
Let y(s) = -s**2 + 2*s + 98. Let k be y(11). Let u be (2/18)/(2/(-4)). Which is bigger: k or u?
u
Let n(g) = 5*g - 2. Let l be n(2). Let q be (2/18)/(l/13264). Let x = 184 - q. Is x greater than 0?
False
Let x(y) = -y**2 + 13*y - 3. Let m be x(11). Suppose -74 - 16 = -5*a. Is a not equal to m?
True
Let z = -124.8 + 142. Let g = -16 + z. Which is bigger: g or -2?
g
Suppose -w - 103 = -3*x, -5*x + 10*x - 169 = w. Suppose 4*n + 2*l = 146, 86*n + 92 = 89*n - 2*l. Is n at most x?
False
Let a = 2550 + -2383. Which is smaller: 163 or a?
163
Let o(m) = -m + 1. Suppose -2*w - c = -3*c - 4, 5*w = 4*c + 13. Suppose 12 = w*b - 8*b. Let x be o(b). Which is smaller: -1 or x?
-1
Suppose -4 = 2*s + 2*c, 3*c - 2 = 4*s + c. Which is smaller: s or 32?
s
Let i be (-65)/26*-1*(-3)/(-15). Which is smaller: i or -2/37?
-2/37
Suppose 5*m + m = 36. Suppose m*r + 9 - 15 = 0. Which is bigger: r or 0.073?
r
Let m be 516/228 + 11/(22/(-4)). Which is greater: 0 or m?
m
Let n = 4749 - 9497/2. Let q(j) = -j**2 - j + 3. Let t = -3 + 6. Let y be q(t). Which is smaller: y or n?
y
Let q be 2 + -1*(-22)/2. Let p = q - 11. Suppose -5*h + 28 = -p. Which is bigger: h or 7?
7
Suppose 6*n - n - v + 387 = 0, -146 = 2*n + 4*v. Let i = 3059 + -32800/11. Let b = n + i. Which is greater: -1 or b?
b
Let m(w) = 130*w**2 + 6*w + 5. Let o be m(-1). Are o and 129 unequal?
False
Suppose 11*h - 3 = 19. Let a(m) = 3*m**3 + m**2 + 1. Let l be a(4). Let w be (h/6)/(l/99). Are w and -1 unequal?
True
Let k = 410.46 + -404. Let m = -0.46 + k. Let p(d) = -2*d - 9. Let v be p(-6). Does m = v?
False
Suppose 19 - 3 = 8*i. Let c be i - ((-1)/1 + (-900)/(-105)). Which is greater: c or 0.1?
0.1
Let s be (5 + -3)*1/(-9 - -2). Let n = s + -17/14. Is -2 equal to n?
False
Let p = -232.27 - -231. Let w = 0.47 + p. Is w at least -4?
True
Let h be (3/(-12))/(2/12). Let v be 132/8*8/12. Let n = v + -14. Does h = n?
False
Suppose -10 + 1 = 2*z + 3*g, -4*g - 11 = 3*z. Suppose 3*c + 56 = 5*y + 7*c, z*y + 4*c - 40 = 0. Do y and 8 have the same value?
True
Let c(v) = -3*v - 38. Suppose -76 + 96 = -2*n. Let d be c(n). Suppose -20 = 2*h - 2. Is h > d?
False
Suppose -q = i - 15, -5*i + 4*i - 4*q + 18 = 0. Let m(r) = -r + 12. Let p be m(i). Which is greater: -7/8 or p?
-7/8
Let g = 51209/11 + -4659. Are g and 2 non-equal?
True
Let o = 11.84 + -18.84. Which is smaller: o or 4.9?
o
Let o(m) = -2*m + 6. Let r be o(-5). Let i be (-3)/(-18)*r/(-12). Let p = -16 - -13. Is p bigger than i?
False
Let g = 3 - -16. Let t = 60 + -14. Suppose -3*b + 0 = -z + 11, -2*z - 2*b = -t. Are z and g equal?
False
Let y = 3558 - 3553. Suppose -4 = 2*l - 16. Is l bigger than y?
True
Suppose -18*b = -96 - 2172. Which is smaller: b or 125?
125
Let n be 4*(0 + 1/4). Let l be (6 - n)/(-1 - -2). Suppose 0 = -3*d + 3*c - l - 7, 0 = -3*d - c - 24. Is d equal to -8?
False
Let o = -140 - -97. Let i = o + 43.2. Let k = 3 - 5. Which is bigger: i or k?
i
Suppose 26*r - 1365 = 5*r. Are r and 63 equal?
False
Let a be ((-16)/(-112))/(-1 - 2). Let v be (-1 - 1) + (0 - -1). Which is smaller: v or a?
v
Suppose 0 = -9*c + 403 + 227. Let u = 69 - c. Which is greater: -3/8 or u?
-3/8
Let g = 0.47 - 2.42. Let s = 2.1 + g. Which is bigger: -1 or s?
s
Let j = 184 + -181. Which is bigger: 200 or j?
200
Let k be (-1 + 21/6)*2. Suppose -8 = -k*p + 2*d - 4*d, -4*p - 3*d = -5. Suppose p*g + 11 = 1. Is -5 at least as big as g?
True
Suppose -2*f = f + 3. Let n be (52/(-60))/1 - f. Which is greater: 1 or n?
1
Let m = -138 - -211. Let w = m + -72.9. Which is bigger: 17 or w?
17
Let u be ((-2)/4)/((-13)/1248). Which is bigger: 0.1 or u?
u
Suppose 3*v - 4*v = -4. Suppose -2*u + v*u - 272 = 0. Let o = -1492/11 + u. Which is smaller: o or 0?
0
Let g = -44 - -75. Suppose 2*r - r + g = -3*f, 0 = -3*r + f - 143. Which is bigger: -48 or r?
r
Let c = 0.06 - 16.06. Let i = 155 - 167. Let d = i - c. Are d and -1 equal?
False
Let q be 1 - ((-1)/(-5) + 18876/(-30)). Let z be 2/9 - (-112)/q. Is z greater than or equal to 0?
True
Let d = -46 + 44. Let n be (0 - d/(-3))/((-36)/(-54)). Is n >= -18/17?
True
Let g = -12 + 15. Let a = g + -32. Let h = a + 19. Which is smaller: -0.1 or h?
h
Let k = 365/872 + -6/763. Is 0 at least k?
False
Suppose 93 = -7*f + 4*f. Let n = -28 - f. Which is smaller: n or 6?
n
Let l = -651 + 658. Which is greater: l or 0.01?
l
Let r = -5161 - -5160. Let o be (-1 - -2) + (-9)/6. Is o at least r?
True
Let s = 5 + 41. Let j = -38 + s. Which is smaller: j or -0.2?
-0.2
Let n = -0.14 - 0.06. Let l = 0.1 + n. Let f = -24 + 7. Which is greater: l or f?
l
Let d(a) = -a**3 - 2*a**2 - a - 4. Let m be d(-2). Let i be (4/(-20))/(-1)*m. Which is smaller: -79 or i?
-79
Let a = -613465/121 - -5070. Do -1 and a have different values?
True
Let d(h) = -17*h**2 + h + 1. Let a be d(-1). Suppose -w - 4 - 7 = 4*r, -5*w - r - 55 = 0. Let g = a - w. Is g greater than -6?
False
Let x = 20.99 + -20.98. Which is greater: 63 or x?
63
Let h(u) = -u**2 + 14*u - 20. Let q be h(12). Suppose 3*j - 5*g = -67, 7*j + 2*g = q*j - 53. Is -19 greater than j?
False
Let z = 91 - 82. Is 17 != z?
True
Let z = 459/3115 - 2/445. Let m = 4 - 0. Suppose 1 = 3*c + m. Is z bigger than c?
True
Let v(j) = 21*j + 380. Let t be v(-35). Is t < -352?
True
Suppose -n = -k - 4, 3*k + n + 13 - 1 = 0. Suppose 44*z + 6 = 46*z. Is k bigger than z?
False
Let l be (13/12)/(2/(-4)). Let z(m) = -m + 13. Let y be z(11). Let c = -5 + y. Which is smaller: c or l?
c
Let b = 14 + -14. Suppose 3*k - 3*a - 54 = b, 5*k - 26 - 52 = -a. Suppose 10 - k = 2*x. Which is greater: x or -7?
x
Let s(b) = -b + 4*b - 22 - 2*b + 25. Let f be s(-6). Which is smaller: f or -2?
f
Let c = 71.8 - 72. Is c equal to -19?
False
Suppose 2*n - 8 = u - 72, 0 = -3*n - 5*u - 122. Which is greater: n or -0.09?
-0.09
Let p = 8 - 12. Let v = -5 - p. Let k = 8/61 + -199/122. Which is greater: v or k?
v
Let h = -41 + 34. Is h bigger than -4?
False
Let t(m) be the third derivative of -m**6/40 + m**4/24 + 10*m**2. Let b be t(-2). Let h be 66/10 + b/55. Are h and 7 unequal?
False
Let p = 48/167 + -2986/16199. Is p less than -1?
False
Let o be -12*6/6516*2. Which is smaller: o or 0?
o
Let g = -336963/1064 - -2535/8. Is -1 less than g?
True
Let t be ((-45)/10)/(3*3/54). Is t at least as big as -25?
False
Suppose -10 = -5*u - c + 10, c + 1 = 2*u. Let m(r) be the first derivative of -r**3/3 + 3. Let q be m(u). Is -9 equal to q?
True
Suppose 4*s - k - 3 = 0, 5*s + 2 = -3*k - 7. Let a be ((-4)/51)/((-8)/72). Which is bigger: a or s?
a
Let w = -5.569 - -0.089. Let t = -6 - w. Which is bigger: t or 2/3?
2/3
Let d be 1/(6/4)*3/(-1137). Let m = d - 1087/28425. Do -1 and m have the same value?
False
Suppose -2*w - 29 = w + 5*p, 2 = -2*w + p. Let h be (-1057)/(-22) + (-9)/(-18) - 0. Let a = h + -2769/55. Which is bigger: a or w?
a
Let t = -16.69 + 13.69. Which is smaller: t or -0.286?
t
Let m = -2 + 2. Let o be ((-11)/(-6))/(6/336) + -4. Let w = o + -98. Which is bigger: m or w?
w
Let o = 26507/399 - 155/57. Suppose -p - 198 = 2*p. Let t = p + o. Which is smaller: -2 or t?
t
Let d be (2/(-3))/(-1 + 87/81). Let p = -20 + 10. Let z = p - d. Which is greater: z or 1/3?
1/3
Let l = -725 - -696. Which is greater: l or -9?
-9
Let h = 0 + -2. Let c = -2 + -6. Let k = c + 8. Is h != k?
True
Let o = -9.1 + 9.065. Let g = 0.035 - o. Let p = 5 - 19/4. Is p > g?
True
Let v = -221.3 - -225. Which is smaller: 2 or v?
2
Let s(x) = x**2 - 6*x + 5. Let