r: 31 or m?
m
Let g(b) = -72*b - 7. Let m be g(2). Is -151 at least as big as m?
True
Let r = 329 - 330.22. Is r equal to 2/7?
False
Suppose -2*f + 10 = -0, 2*f - 30 = 5*j. Let u = j - 1. Let l(c) = -c**3 + 10*c**2 - 9*c - 4. Let z be l(9). Which is smaller: u or z?
u
Let q = 262 - 335. Which is smaller: q or -2?
q
Let r = 8.85 + 3.15. Which is smaller: r or -0.2?
-0.2
Let b(p) = p**3 - 4*p + 82. Let k be b(0). Is 88 less than k?
False
Let t = 10 - 15.9. Let y = -5.851 - t. Is -0.1 greater than y?
False
Let v be ((-16101)/(-3375))/(132/15). Let y = 975601/300 + -3252. Let o = y + v. Which is smaller: 0 or o?
0
Let n be (21/28)/(1/12). Let l(a) = a - 6. Let u be l(n). Suppose -s + 20 = 4*s - 5*d, d = -u*s - 8. Is -2/23 at most s?
False
Suppose 4*m + 0 + 0 = 0. Which is smaller: m or -1/1428?
-1/1428
Suppose 4*h = 10 - 2. Let k = 3 - h. Let m be ((-6)/(-21))/(48/28). Which is smaller: m or k?
m
Let k(y) = y**2 + 5*y - 1. Let d be k(-6). Suppose -5*n + 8 = -17. Suppose -n*b - 4 = -29. Do b and d have different values?
False
Let y = 172 + -174. Let s = -1.99 + -0.01. Let l = y - s. Do 4 and l have the same value?
False
Suppose 41*m - 18*m - 18*m = 0. Which is bigger: m or -3/49?
m
Let b = 0.427 - -15.573. Which is smaller: 1 or b?
1
Let a be ((-12)/10)/(18/(-40)). Let k = -35 - -29. Let y be (-2 + 8)*((-3)/k + 0). Is y at most as big as a?
False
Let w = -316 - -334. Suppose 4*m + 2*c - 88 = 0, m - 2*c + 3 - 15 = 0. Is m less than w?
False
Let f be -6*3*4/(-6). Let z be 3/(84/30 + -2 + -1). Let v be -3 + 4 + z/f. Is v smaller than 1?
True
Let s = -12 - -22. Suppose -21*h = -23*h - 6. Let o(u) = -u**3 - 4*u**2 + 8. Let r be o(h). Which is bigger: s or r?
s
Suppose -5*k + 5 = 0, 0 = 2*z + k + 4*k - 33. Let h be ((z/12)/(-7))/(-7 - 0). Does h = 1?
False
Let k = 1195 - 9561/8. Which is bigger: -1.97 or k?
k
Let y = -2.1 + 3.1. Let b = 28 + y. Let x = b - 28. Is x less than -0.05?
False
Let g = -0.472 - -2.072. Is g != 4/9?
True
Let v = -0.055 - -0.325. Let h = -33.27 + v. Which is smaller: 2/5 or h?
h
Let n = -11 - -13. Let w(s) = 12*s + 6. Let d be w(n). Let b be (-6)/d*5/(-48). Which is greater: b or -1?
b
Suppose 3 = g - 10. Let a = g + -10. Let d(i) = -i + 4. Let c be d(0). Is c bigger than a?
True
Let w be ((-248)/(-14))/(10/35). Which is bigger: 63 or w?
63
Let s(y) = 5*y**2 - 17*y + 6. Let d = 88 + -85. Let u be s(d). Is u equal to -10/13?
False
Let g(q) = -4*q + 67. Let m be g(16). Let o(i) be the second derivative of i**5/20 - i**4/4 + i**3/6 - 2*i**2 - 2*i. Let w be o(m). Which is smaller: w or -1/4?
w
Suppose 5*q = -4*m + 26, 0 = 5*m + 2*q - 28 + 4. Suppose 19*x - 15*x = -m. Let v = -939/35 + 188/7. Is v <= x?
False
Let r = -415 - -159. Which is greater: -257 or r?
r
Let t be ((-2)/76)/((-1)/2). Let o(m) = -8*m - 50 + m - 7*m + 4*m. Let d be o(-5). Is d at most t?
True
Let p = -79 + 41. Let w = -21 - p. Which is greater: w or -2?
w
Let w = -0.003 + 17.603. Let a = -2.6 + w. Let y = 20 - a. Which is greater: y or 3/5?
y
Suppose -3*j + 2*k = -0*k + 21, 2*k + 21 = -3*j. Suppose -3*g = -g. Is j != g?
True
Suppose 0 = -3*m - 4*j - 2, 0*j + 20 = 5*j. Let d = m - -20. Let k(v) = -v**3 + 14*v**2 + 3. Let u be k(d). Is u != 13/3?
True
Let t = 220 + -220.0555. Let l = 2.9655 + t. Let f = l - 3. Is -0.1 bigger than f?
False
Let o = -112 - 8. Let i be ((-28)/10)/(16/o). Is i at least as big as 0?
True
Let w be 3/12 + 218/(-8). Let f be (-18)/(-3)*36/(-8). Let y = w - f. Which is smaller: 1/2 or y?
y
Suppose 3*h + 2*h = 2*c - 21, 0 = 5*c - 5*h - 60. Suppose -c*s = -6*s - 7. Do s and -1/52 have the same value?
False
Suppose -3*z - k = -3*k - 585, -2*z + 2*k + 388 = 0. Is z equal to 198?
False
Let x = -6 - -64/11. Suppose 0 = -3*k + 6, 3*k = -2*m + 7 - 1. Which is smaller: x or m?
x
Let y be 591/((-2)/(-6)*-3). Let w = 17137/29 + y. Which is greater: w or 1?
1
Let o = 230 + -256.8. Let v = o + 27. Is v less than -10?
False
Let s be (3458/338)/19*(-8)/(-30). Is s at most as big as -1?
False
Let o = -800 - -797. Which is smaller: -1 or o?
o
Let q(i) = 2*i**2 + 4*i + 12. Let y be q(-6). Suppose -14*x = -10*x + y. Is -2 > x?
True
Let d = 6999/68 + -103. Are d and -1 nonequal?
True
Let i = -15.82 + 15.85. Which is smaller: -1/11 or i?
-1/11
Let b be (-64)/((-4)/(-1)) + 4. Let w be (b/(-21))/((-4)/(-6)*3). Which is greater: 31 or w?
31
Let g(x) = -18*x**3 + 2*x**2 + 2*x + 1. Let c be g(-1). Let l = c - 10. Which is smaller: l or 11?
l
Let b = 301 - 1203/4. Do -233 and b have different values?
True
Let z = -921613/53748 + 12/1493. Let x = z + 215/9. Let s = 359/52 - x. Is s less than -1?
False
Let g(i) be the first derivative of i**2 - 4*i + 9. Let z be g(1). Does z = -2?
True
Let a = -0.6 + 0.7. Suppose 5*p + 1 = 6. Let m be 4 + -3 + p + 0. Which is smaller: a or m?
a
Let z be 12/132 + (-48)/44. Is 8 greater than or equal to z?
True
Let b(g) = -g**3 - 7*g**2 - 8*g - 3. Suppose 4*q = 4, 0 = -w + 3*q - 2*q - 6. Let j be b(w). Is j at most as big as -14?
False
Let f be 923 - (8/(-5) + (-60)/(-100)). Is f smaller than 924?
False
Let j = 0.0597 - -0.0073. Is 0 at least as big as j?
False
Suppose -v + 15 + 13 = 5*q, v - 4*q = -17. Suppose -10 = -v*j + j. Let d(m) = m**3 - 4*m**2 - 6*m + 7. Let b be d(j). Is b greater than or equal to 0?
True
Let t = 823.2 - 824. Which is greater: t or -73?
t
Suppose p = 2*p - 5. Suppose -5*s - p*b + 35 = 0, -4*s - 2*b = -7*b - 46. Do s and 10 have the same value?
False
Let f = 2.18 + 0.12. Let a = 15.435 + -0.135. Let x = a - f. Is x at most -2/7?
False
Let a = 37/29 + 434/319. Is a > 3?
False
Suppose -764*x + 760*x = -1056. Is x greater than 263?
True
Let l be (0 + 1)/(8 - (-2079)/(-259)). Let n = -97 - l. Is n < -61?
False
Suppose -1 = -2*u + p + 2, p + 1 = 0. Let m be (-2)/4*(2 - 4). Suppose -m = 2*o + u. Which is smaller: 2/27 or o?
o
Let h(a) = 6*a**2 - 26*a - 8. Let o be h(7). Which is greater: o or 205/2?
o
Let l(c) = -c**3 + 6*c**2 + 8*c - 8. Let d be l(5). Let x = 59 - d. Which is greater: x or 8?
8
Suppose 5*p + 537 = 2*z, z - 302 = -4*p - 66. Let a be (z/270)/2 + 14/(-35). Is a greater than or equal to -1?
True
Let r = 1.2 - 7.2. Let o be (2 - 4) + 3 - (-1 - -3). Let i(g) = 3*g**3 + 2*g + 3. Let n be i(o). Is n > r?
True
Let c = -2152 - -2140. Which is greater: 40 or c?
40
Let c be ((-180)/(-80))/(1 + 47/(-8)). Is c greater than -1/3?
False
Let n = 29 - 27. Let f(w) = -2*w**2 + 1. Let t be f(n). Are t and -7 unequal?
False
Let o(j) = -j**3 - 11*j**2 + 5. Let t be o(-11). Suppose -t*b + 73 = -3*r + 12, 93 = -5*r + 4*b. Which is smaller: r or -16?
r
Let d(p) = -3*p - 3. Let l be d(1). Let s be -4 + l*(-15)/25. Do -6/5 and s have the same value?
False
Let x = 26 + -11. Suppose x = 2*j - 27. Is 20 at least as big as j?
False
Suppose 0 = 3*c - 2404 + 262. Let l = 13 - 9. Let r be l/(-14) - (-120)/c. Does r = -1?
False
Let p be (-1 - -2)/(1/5). Let w(b) be the second derivative of -5*b**3/6 + 11*b**2/2 - 19*b. Let u be w(p). Is u > -15?
True
Suppose 0 = -q - 4*v + 287, -120 = -3*q + 3*v + 786. Let h be -3 - 4/(-396)*(0 + q). Is -0.1 less than or equal to h?
True
Let s = 94.3 + 11.7. Let v = s - 107. Is v >= -5/9?
False
Let t be (-14)/(-693)*-327*(-2)/740. Let m = t - 1/370. Which is greater: -1 or m?
m
Suppose -7*y = -5*y + 60. Let d = -27 - y. Is d equal to 0.2?
False
Let y = -15.7 - -15. Let l = y + 0. Let i = 2 + -2.1. Which is bigger: i or l?
i
Let i = 22.765 - -0.035. Which is bigger: 2/3 or i?
i
Suppose -4*f + 0 + 12 = 0. Suppose 60 = -f*h - s, 0*h - s = -h - 24. Let t = 22 + h. Which is smaller: -2 or t?
-2
Let r be (1*2)/(12/(-1278)*-3). Let m = 64 - r. Is m at least -6?
False
Let v be 7/((-28)/16) - -10. Suppose 0 = 7*z - v*z. Is -2 <= z?
True
Suppose -2*r + 5*c = -70 + 270, 240 = -2*r - 5*c. Is r at most -109?
True
Let g be (-294)/(-15) - 12/(-30). Suppose 5*j = -5*f - g, -5*j + 0 + 4 = -3*f. Which is bigger: 18 or f?
18
Suppose 91*m - 85*m = 144. Which is smaller: 25 or m?
m
Let g(p) = -p + 2. Let w be g(1). Let y be 33/44 - w/4. Let k = 632/15 - 42. Are y and k unequal?
True
Let n = -323 - -183. Let q = n - -139. Is 1/47 greater than q?
True
Let s = 761 + -761.726. Is -1 greater than s?
False
Suppose 0 = -5*b - 2*c - 271 + 75, 0 = -5*b + c - 202. Let l be ((-2)/(-5))/(64/b). Which is smaller: l or -1?
-1
Suppose 