r: n or 0?
0
Let l(a) = 2*a**3 - 3*a**2 + 2*a + 4. Let b be l(2). Let m be (-13)/(2 - 0 - 3). Is m at least as big as b?
True
Let o be (-3 - -1) + (-102946)/142. Let r = 727 + o. Let w = 2 + -3. Which is smaller: w or r?
w
Suppose -35*u + 46*u + 11 = 0. Is -4/71 greater than or equal to u?
True
Let p = 32 - 28. Suppose -4*v + 5*g - 15 = 0, p*g - 7*g + 9 = 0. Suppose 5*c + 35 = 5*b, b + 5*c - 6 = 19. Which is smaller: b or v?
v
Let x(q) = q**2 + 9*q - 9. Let o be x(2). Suppose -o*h = -7*h - 744. Is 124 >= h?
True
Let v = 1228561/7 + -175898. Let w = 388 + v. Is w less than -1?
True
Let z = -187 - -2408/13. Is -1 at most as big as z?
False
Let v(l) = -l + 6. Let k be v(3). Suppose 5*s - 2*s = -k. Which is greater: 1/5 or s?
1/5
Let k be (2 - 3)*(-6 + (-6)/(-2)). Suppose -5*m = -k*n - 56, 54 = 5*m - n - n. Do m and 11 have the same value?
False
Let g = -792 + 668. Which is smaller: g or -121?
g
Let t = -110 - -245. Let o = 1219/9 - t. Suppose -18*d = -13*d + 5. Which is greater: d or o?
o
Let a = 103/423 + -1/47. Suppose 8 = -0*n + 2*n. Suppose -4*q + 0*l = 3*l - 16, -q + 17 = n*l. Which is smaller: a or q?
a
Let i(q) = -q**2 + 14*q - 8. Let y be i(13). Suppose y = -5*n, -3*h - 6*n + 2*n = -2. Is h smaller than 2?
False
Let y be 111/(-27)*-6*(-1 + -2). Is y bigger than -75?
True
Suppose -2*r = z + 11, -2*r - 6 = -4*z - 0*r. Let x be z + (-10 - -3) - -1. Let h = 8 + x. Which is smaller: 3/10 or h?
3/10
Let f = -0.4 + -8.6. Let m = 44 + -44. Let s = m + 1. Which is smaller: f or s?
f
Let d(l) = l**3 - 11*l**2 - l - 8. Let g = -20 - -31. Let y be d(g). Let j = y + 18. Is j at most -3?
False
Suppose -13 = 3*g + 23. Let o = 35 - 46. Is o at most as big as g?
False
Suppose -23 = -5*a - c, -4*a - 20 = -6*a + 5*c. Suppose 0 = 4*z - f - 1, -4*f + f = -a*z - 4. Let q(d) = d - 5. Let k be q(6). Is z < k?
False
Suppose 68 = 4*g + 5*u, 7*u - 2*u + 68 = 4*g. Suppose -3*y + 6 = t + g, -3*y = 5*t + 7. Which is smaller: t or -1/27?
-1/27
Let i = 164 - 158. Is 27/4 not equal to i?
True
Suppose -7*g + 890 = -1287. Is 310 less than g?
True
Let l be (-2)/(8/(-12)) + 2. Suppose 0 = 3*d + l*u + 25, 4*u = -d - 4*d - 20. Is d > 3/10?
False
Let z(v) = v**2 + v - 1. Let h be z(-2). Let r be 160/25 - 0/(6/3). Let b = 86/15 - r. Is b smaller than h?
True
Let z be 3 - (-6 + (-824)/(-56)). Which is smaller: z or -7?
-7
Let k = -10.4 - -1.4. Let b = 8.3 - -29.7. Let a = b - 37. Is k < a?
True
Let h be 72/(-40)*(-10)/3. Suppose -d = -h*d. Suppose 7 = x - d*x. Is 7 > x?
False
Suppose -5*f + 30 + 90 = -4*s, -24 = -f - 2*s. Suppose -2*n = -k + 24 - 7, 4*k - 108 = -2*n. Which is greater: k or f?
k
Let v = -3 - -2. Let a = -42061/34 + 1237. Is a less than v?
False
Let z = -58 + 73. Suppose -32 - 122 = -11*j. Is j at least z?
False
Let o = -18 + 12. Let m be ((-7)/7791)/(2/o). Let q = 725/6307 + m. Does 0 = q?
False
Let z(u) = 3*u**3 + u**2 + u + 1. Let y be z(-1). Let q(a) = -3*a + 10. Let v(p) = p - 1. Let t(x) = y*v(x) - q(x). Let n be t(9). Which is bigger: 2/21 or n?
n
Let f be (32/(-6))/(24/(-36)). Let x be 63/(-6) + -4 + 36/f. Are -11 and x unequal?
True
Let h(k) = -27*k + 344. Let f be h(14). Which is bigger: f or -50?
f
Suppose -d = -2 - 6. Let i = -10 - -20. Suppose d*g = i*g. Is 2/19 bigger than g?
True
Let o be (3/4)/((-1)/(-16)). Let g be (45/o)/(1/4). Let h(n) = -2*n + 34. Let b be h(g). Which is bigger: 8 or b?
8
Suppose 3*i + 4*s + 221 = 0, 301 + 60 = -5*i - 3*s. Let l = -69 - i. Is l less than or equal to -5/13?
False
Let g = -0.235 + -4.765. Which is smaller: 1/18 or g?
g
Suppose r + 31 = -p, 34*r - 33*r + 25 = 5*p. Is -7 equal to r?
False
Let m(a) be the second derivative of -a**5/10 + a**4/12 - a**3/6 + a**2 + 33*a. Let q be m(2). Suppose 0 = -3*r - z - 39 - 0, -4*z + 48 = -5*r. Does r = q?
True
Let s = 207 - 208. Which is greater: s or 39/4?
39/4
Let a = 3 + -2.98. Let o = -149.02 - -150. Let c = a + o. Which is smaller: c or -1?
-1
Let w(l) = -l**3 - 14*l**2 - 13*l. Let d be w(-13). Suppose d*x = 3*x + 12. Which is bigger: -0.1 or x?
-0.1
Suppose 5*h - h - 10 = 5*q, -5*q = 2*h + 10. Let u(s) = -3*s**3 + 5*s**2 + 5*s + 6. Let x be u(q). Which is smaller: 42 or x?
x
Suppose 20*y - 1584 = 68*y. Is -30 != y?
True
Let d(z) = -3*z**2 - 8*z - 3. Let v(j) = 10*j + 5. Let i be v(-1). Let u be d(i). Is u > -37?
False
Suppose -3*t = 1 - 4. Suppose -13 = -c + b, 2*b - 7*b = 20. Which is greater: c or t?
c
Let o be -2*-2*(-1)/(-1). Suppose -o + 8 = -4*n. Let m = 15 - 33/2. Which is smaller: m or n?
m
Suppose 0*l = 5*x + 2*l - 3, 0 = -4*l + 16. Let u be 24/8 - (0 + x). Let r be (-1 - 2 - -4)*u. Is r <= 4?
True
Let o be 50 + -42 - 30/4. Which is bigger: 138 or o?
138
Let o = 0.11 + 0.05. Let a = -77 - -78.16. Let n = o - a. Is 3 greater than n?
True
Suppose 3*s = 4*s - 205. Let f = 1021/5 - s. Let x = -13/15 - f. Which is smaller: x or -1?
-1
Let o = -132.8653 + -0.1347. Which is smaller: o or -7?
o
Let p be 0 - 4 - (16 - 14). Let d be ((-4)/p)/((-4)/10). Let k be (4*3/6)/(-2). Which is bigger: d or k?
k
Suppose 34*j - 36 = 37*j. Let t be (2 - 8)*(-3 + 1). Let a = j + t. Which is bigger: 4/3 or a?
4/3
Let m(h) = 3*h**2 - 2*h + 1. Let j(n) = -10*n**2 + 7*n - 4. Let l(x) = 2*j(x) + 7*m(x). Let t be l(-1). Is -2/53 <= t?
True
Let y(g) = 13*g + 194. Let v be y(-15). Which is bigger: 4/195 or v?
4/195
Let g = 3 + -10. Let c(p) = -p - 9. Let l be c(g). Let o be -1*(4 + (0 - -2)*87/(-58)). Is o at least l?
True
Let o = 36177/262 + -76/131. Which is smaller: o or 137?
137
Let i = 8 - 1. Let k = i + -8. Let g = 20 + -14. Which is smaller: g or k?
k
Suppose 0 = 3*z + 654 - 54. Let h = z - -300. Let c = 502/5 - h. Do 1 and c have different values?
True
Let v(c) = 8 + 12*c + 0 - 2 - c**2. Let g be v(12). Let y be 18/(-9) - (-11)/g. Is 0 equal to y?
False
Let t be (-7)/49 + (-479077)/6783. Let l be -1 - 206/3 - 1. Let w = t - l. Is -0.1 less than or equal to w?
False
Let d(m) be the third derivative of 0 - 1/4*m**4 - m**3 - 1/60*m**5 - 6*m**2 + 0*m. Let k be d(-5). Which is greater: -2/11 or k?
-2/11
Let b be (8*(-2)/(-12))/(4/60). Which is smaller: 64/3 or b?
b
Let q = 13 - -9. Suppose -5*o = -0*o - 4*n - 66, 0 = 5*o - 5*n - 65. Let d = 35 - o. Is d equal to q?
False
Let u(s) = s**3 - 28*s**2 - 30*s - 82. Let h be u(29). Is h at most as big as -114?
False
Let s = 42 - 22. Let z be 1/(8/s) - 4. Which is greater: z or -2?
z
Let k be 80/(-144) - (1 - 2). Is 1 at most k?
False
Let b be 4/55 + (-24)/(-120). Suppose 0 = i + 3*i - 4. Is i bigger than b?
True
Let d = 369 - 368. Is 1/3256 > d?
False
Let q(k) = -18*k + 476. Let r be q(27). Is -78 equal to r?
False
Let l = -401/6528 - -1/384. Which is smaller: 0 or l?
l
Suppose -3*l + 0*s + 17 = 2*s, 4*s = -4*l + 28. Let x be 12/4 + -1*l. Suppose -2 - 2 = 4*v. Is v at most x?
True
Let m(p) = p**3 - 6*p**2 - p + 7. Let j be m(6). Suppose 2*o - 5 - j = 0. Suppose -o*a = 5*v + 41, -15 - 23 = 5*v + 4*a. Does v = -10?
True
Let g be ((-9)/(-15))/((-54)/4932). Are g and -55 equal?
False
Let x = 75/2 + -521/14. Which is greater: x or 78?
78
Suppose -63 = 16*u - 15. Let m = 1628/44115 - -2/865. Let s = m - 361/102. Do u and s have the same value?
False
Let t be 1976/(-57)*(5/(-4) - -1). Let g = t - 9. Which is smaller: g or -0.06?
g
Let x = 3295 + -102133/31. Is -1 bigger than x?
False
Let w be 28/(2 + 2) - (-5019)/7. Is w greater than or equal to 724?
True
Let u = 1497/268 + 11/67. Which is smaller: 6 or u?
u
Let b be (4743/4689 - 1)*2/(-30). Which is bigger: b or 0?
0
Let r be (3/1 - -7)/(2 - 0). Suppose 90 = -5*w - r*j, 30 = -0*w - w + 5*j. Is -20 at least as big as w?
True
Let l(m) = 2*m - 3. Let r(o) = -o - 3 + 2*o + 14 - 10. Let i(n) = l(n) + 2*r(n). Let j be i(1). Which is bigger: 4 or j?
4
Let p(m) = -3*m. Let w be p(-5). Suppose 15 = -3*n - w. Let b be 1/(-3) + n/(-15). Does 1 = b?
False
Let h = 9/130 + 3/13. Let i be (-88)/(-20)*3/36. Let y = i + h. Which is smaller: y or 2?
y
Let n = 2917 - 1951471/669. Do n and 1 have the same value?
False
Suppose 1668 + 1882 = 25*k. Which is smaller: k or -2?
-2
Suppose 4*r + h + 95 = 0, -r = -4*r - 4*h - 68. Let o be (r/(-18))/((-4)/(-9)). Which is smaller: o or 20/11?
20/11
Let w = -2 - -3. Suppose 8*i + 25 = -67*i + 475. Which is smaller: i or w?
w
Let v = -76991/9 - -8525. Suppose 104 = 4*a - 2*l - 12, 0