14/77). Is 40 at least as big as o?
True
Suppose -14*c = -11*c - 15. Suppose -c*j - 21 = 2*l, 4*j - 4*l - 6 = 2*j. Which is bigger: j or -4?
j
Suppose -3*y = -2*i - 27, i - 3*y + 15 = -0. Let z = 25 - 11. Let k = i + z. Which is bigger: k or 1?
k
Let b(j) = 4*j**3 + 3*j**2 + j - 1. Let x be b(-1). Let r be 4/4*x - 1. Let l be -15 - (r + (-1)/(-1)). Is l greater than -12?
False
Let u = 11/7 + -85/63. Let j = 34 - 36. Is j at least as big as u?
False
Let q(d) = -d**2 + 11*d + 180. Let v be q(-9). Let l be (-11)/13*66/14. Let w = -29/7 - l. Which is smaller: w or v?
w
Suppose -19*u + 2 = -17*u. Which is bigger: -7/31 or u?
u
Let h = -191 - -189. Let q(j) = -2*j + 7. Let v be q(5). Let m be 4/(-2)*v/(-6). Is m bigger than h?
True
Let l = -72631/59 - -1231. Which is smaller: l or 1?
l
Let g(u) = -8*u + 79. Let h be g(10). Which is smaller: 1/88 or h?
h
Let p = -1436 + 1445. Do 44 and p have different values?
True
Let f be ((-7)/(-4) + -2)/(5/(-180)). Let g = 57 + -51. Are f and g unequal?
True
Suppose 140 = -5*w - 90. Is w < -46?
False
Let y be -2 - -2 - 3*-1. Suppose -2*c = y*c. Suppose c = -2*o - u - 22, 3*o + 2*u + 11 = 2*o. Which is smaller: o or -12?
-12
Let v be (13 - 11)*132/(-8). Which is greater: -36 or v?
v
Suppose -9*k - 464 = -k. Let x = k - -61. Is 3 not equal to x?
False
Let c = 28 - 19. Let i be 6/c + (-23)/12. Is i greater than or equal to -2/3?
False
Suppose 4*h + 12 = 0, 7 = -b + 2*h + 13. Let q be 4/(-6) - 344/(-300). Do b and q have the same value?
False
Suppose 41 = -4*n + 3*g, -2*n - 6 - 13 = -g. Let r be (-46)/1*12/n. Is r at least as big as 68?
True
Let d = 43 - 179/4. Let w = -0.26 - -0.26. Is d >= w?
False
Let r be 7 - (-7 - 1221/(-44)). Let y(t) = -3*t**2 + 2*t + 2. Let z be y(-2). Let q = z - r. Is -6 less than q?
True
Let q be (-6 - (-94)/15)/((-5)/(-3)). Which is greater: q or 0?
q
Let h = 2 + 5. Let d = h - 5. Let s = 2 - d. Is -4/21 smaller than s?
True
Suppose -14 = 2*o - 4. Let b(j) = 3*j + 21. Let l be b(o). Which is smaller: l or 5?
5
Let z = -1.2 - 6.8. Let d = -4.83 - -12.93. Let b = d + z. Is 0 >= b?
False
Suppose 6*d + 3*s + 2622 = 2*d, 3*s = 5*d + 3264. Is -654 at least d?
True
Suppose -74 + 98 = 8*b. Let q = -21 + 13. Let y = -5 - q. Is b < y?
False
Let f = 17.581 + -0.581. Let d = 0.1845 + -17.2445. Let v = f + d. Which is bigger: -3 or v?
v
Suppose 5*i = 3*i + 2. Let u(s) = 2*s + 520. Let t be u(0). Let a be (-1)/5 - 91/t. Is i <= a?
False
Suppose -4*h - 20 = 2*r, -4*h - r - 4 = -3*h. Which is greater: h or -9?
h
Let v = -4.61 - 0.06. Which is smaller: v or 0.1?
v
Suppose 87 = 5*x - j, -4*j - 12 = -8*j. Let a be -35*56/(-70) + -10. Do a and x have the same value?
True
Let p be (168 - 0)*(-21)/42. Do -85 and p have the same value?
False
Let r be (8 - 10) + (-2)/(-1). Suppose r = 4*u + y - 3, -3*y = -2*u - 0*u - 9. Is u > -2?
True
Suppose 0 = 2*d - 2*o - 3*o + 135, 2*d = -2*o - 170. Which is greater: d or -564/7?
d
Let o(u) = -u**2 + 12*u + 18. Let w be o(14). Suppose 3*i + 5*f = 6, 2*f = 5*i - 3*f - 10. Let k = -11 + i. Is k < w?
False
Let i(w) = -w**3 - 6*w**2 - 12*w - 3. Let d be i(-3). Is d >= -3?
True
Suppose 2*z = -1 + 7. Suppose -9*m = -10*m + 17. Suppose -z*g = -5 + m. Is g at least as big as -5?
True
Suppose -16*i - 48 = -8*i. Let u be (-9)/i*2 - -7. Is u smaller than 10?
False
Suppose 2*t + 2 = -2. Let a be (-104)/(-12)*(-3)/18. Let g = -7/9 + a. Is t at least as big as g?
True
Let a be 1/((-3)/2) + 189/(-81). Let y = -3 - a. Which is smaller: -2/233 or y?
-2/233
Let g = -1.576 - -3.476. Which is smaller: 0 or g?
0
Suppose 4*i - 66 = 5*m, 2*m = -4*i + 33 + 19. Which is smaller: 10 or i?
10
Suppose -5*d - u - 500 = -2*u, 0 = d + 3*u + 116. Let i = 68 + d. Which is greater: i or -32?
-32
Let u = -2/51445 + -462517/12552580. Which is smaller: -1 or u?
-1
Let w be 4/(-4) + 5 - 2. Suppose w*x + 3 = 3*c - 4, -c - 11 = 2*x. Let j be (c - 0) + 0/1. Are -1/5 and j unequal?
True
Let m be (-4 + -3)*(-6)/7. Suppose u - l + m = -u, 5*u = -l - 22. Let o = 22/5 + u. Is o bigger than -0.2?
True
Let r = 9463 + -86015/9. Let q = -238 + 144. Let b = q - r. Which is greater: 1 or b?
1
Suppose 0 = 39*q - 120*q + 61803. Is 761 greater than q?
False
Let v = -1589/76 + 402/19. Which is greater: v or 0.399?
0.399
Suppose -3*o + 9 = g - 8, 4 = -g + 4*o. Let a = -471 - -477. Which is bigger: g or a?
g
Suppose -k - 20 = -2*k. Suppose 5*b - 3*b + k = -3*z, 0 = 5*z + 3*b + 33. Let u be 2*(z/2)/(-6). Which is smaller: u or 3/5?
3/5
Suppose 0 = 7*g - 0*g. Let i be (-2)/3 - (-6)/4. Which is smaller: i or g?
g
Suppose 3*x + 5*i = -15, 0*x - 4*i - 12 = -4*x. Suppose -2*t - 3*t = -5*u - 10, x = -2*u. Let s be t + 2/(-8) - 2. Which is smaller: 0 or s?
s
Let c(h) be the first derivative of -h**3 - 2*h**2 + 5*h + 19. Let i be c(-4). Is i greater than or equal to -29?
True
Suppose 0 = -4*y + 57 + 39. Suppose 0 = 4*i + y. Suppose 0 = 2*z + 10, 4*z - 12 = 4*c - 0*z. Which is bigger: c or i?
i
Let v be (20/30)/(1/6). Let d(f) = 3*f + 7. Let a(x) = 2*x + 6. Let b(p) = 4*a(p) - 3*d(p). Let i be b(v). Which is bigger: 2/19 or i?
2/19
Suppose -b = -4 - 4. Let s be (b/(-36))/(6/9). Which is smaller: -1/14 or s?
s
Let i = 3/22 + -1307/66. Let n = -20 - i. Let p be (-6)/(-2) - 24/7. Which is greater: p or n?
n
Let a = 58 + -57.8. Which is smaller: -3/79 or a?
-3/79
Let u(h) = -5*h**2 - h + 6. Let z be u(0). Let w(c) = 6*c - 7*c**2 + c**3 + 0*c**3 + c**2 + 2. Let n be w(5). Which is greater: n or z?
n
Let d = -20 - -20. Let s = -0.1 + d. Which is smaller: -3/8 or s?
-3/8
Let q = -350 + -267. Let x be -4*(3 - q/(-206)). Which is greater: 0 or x?
0
Suppose 0 = 5*p - 15*p - 10. Let a be 2 + 1/1 + -2. Is p equal to a?
False
Let n be 1952/(-2904) - (-6)/9. Which is smaller: 1 or n?
n
Let q(h) = 1. Let r(c) = -5*c + 33. Let g(f) = -6*q(f) - r(f). Let l be g(8). Let y = -245 + 4899/20. Which is greater: y or l?
l
Let h = -2/1035 - -743/63135. Is 0 at most h?
True
Suppose 0 = -7*h - 114 + 2130. Is 288 greater than or equal to h?
True
Let c = 19 + 59. Let x = c + -83. Which is smaller: x or 7?
x
Suppose 11*i = 70 + 183. Does i = 23?
True
Suppose 0 = -2*d + 11 - 5. Let r be (d/9)/((-2)/6). Which is greater: 1/8 or r?
1/8
Suppose -3*m - l + 1204 = -0*l, 5*m = -5*l + 2010. Which is bigger: 400 or m?
m
Let k = 9 + -5. Suppose -s = 6 + k. Let p = 13 + s. Which is smaller: p or 5/2?
5/2
Let a be (162/(-10))/(4/(-20)). Let j = a - 82. Is j less than or equal to 14?
True
Let q = -28 - -18. Let d = -4 - q. Suppose 2*p = d, 3*y - 85 = -2*p - 13. Is y less than 22?
False
Let k = -0.8 - -4.8. Let j = 2815 + -11261/4. Which is bigger: j or k?
k
Let c = -343 - -232. Let k = c - -110.9. Is k bigger than 0.83?
False
Suppose 5*p - 17 = 3. Let c be (3872/(-140))/p*30. Let h = -208 - c. Is h greater than -2?
True
Suppose -2*d + 48 = -6*d - 4*u, 4*d - 5*u = -66. Let g be (4 - 3)/(d/22). Which is bigger: g or -3?
g
Suppose -5 + 4 + 1 = -231*x. Let v(q) = q**3 - 2*q**2 - 2*q + 3. Let d be v(2). Let p be (2/(-6))/(d - 2). Which is greater: x or p?
p
Suppose -5*o + 10 = -0*o. Let b be -4*(-1)/(-4)*-5. Let f = b + -3. Is o <= f?
True
Let a = 226 + -258. Is -31 at most a?
False
Let g(w) = -2*w**3 - 13*w**2 + 6*w - 2. Let h be g(-7). Is h >= 3?
True
Suppose -122 = -8*y - 50. Is y <= 100/13?
False
Let s = -0.031 - 19.969. Are -3 and s equal?
False
Let x = 1286 + -1283. Let y be (-1)/((-14)/(-4)*-2). Which is greater: y or x?
x
Let s = -530 + 40. Which is smaller: -491 or s?
-491
Let k be 0/(-3)*1/5. Suppose -5*g + 3*n = 80, g + 2*g + n + 48 = k. Which is smaller: -13 or g?
g
Let i be 120/(-60) - (-76)/9. Does 6 = i?
False
Let l(o) = o**3 + 3*o**2 + o - 1. Suppose -3*b + 7 = j, -2*j + 2*b + 35 = b. Suppose -5*w = 4*n + 26, w - 5*n - j = -w. Let r be l(w). Is r <= -4/9?
False
Suppose 7*y = 3*y + 100. Suppose 0 = 8*g - 9*g - y. Which is smaller: g or 2/3?
g
Let n(k) = -13*k + 114. Let g be n(9). Does g = -17/8?
False
Suppose 4*l = 3*r - 7*r + 180, l = 3*r - 127. Which is smaller: 42 or r?
42
Let n(g) = 9*g - 17. Let t be n(11). Is t equal to 82?
True
Let r = 0.743 + 8.257. Which is smaller: -5 or r?
-5
Let a = 33 - 19. Let n be (a - 0) + -2 + 0. Suppose 2 + 8 = 5*q + 5*v, -5*q = 3*v - n. Is 3 smaller than q?
False
Let a(x) = -2*x - 13. Let v be a(-6). Suppose 0 = 5*c + 46 + 69. Is 