r: -1 or d?
-1
Suppose 0 = 2*s + 4*c + 2 - 18, c - 1 = -2*s. Let j be 0*s*(-2)/8. Suppose -m - 4*m = j. Which is smaller: -1 or m?
-1
Let c = -0.6 + 1. Let i = c + -0.4. Which is smaller: i or -1?
-1
Let x = -246/5 - -49. Let c = -11 + 11. Let i be 0 + -3 + c + 4. Which is greater: i or x?
i
Let a = -122 + 205. Let g be 2/6 - a/(-3). Let i be 1/g - 2/7. Do i and -1/4 have the same value?
True
Let u = -25 + 22. Which is greater: u or 2?
2
Let j = 415/84 + -34/7. Is j equal to 0?
False
Suppose 0 = -3*r + 6*r + 9. Suppose 4*n = -0*n + 44. Suppose -3*k - 6 = -3*q, k + 2*q = -0*k - n. Is r > k?
True
Let x be (-2)/(-4) - 4/(-8). Let j = x + -5. Let d = 4 + j. Is d greater than or equal to 1/6?
False
Suppose -46 + 16 = 3*b. Let g be 2/6 - b/15. Is 0 <= g?
True
Suppose 5*o + c = -5, c + 0 = -o - 1. Let g be o/((-1)/(-1)) - -3. Suppose -y + 3*y = -5*j + 2, j + 2*y - g = 0. Which is greater: j or -2/33?
j
Let m(c) = c + 13. Let j be m(0). Does j = 13?
True
Let r = 3 + -4. Let j(d) = -d**3 - d - 1. Suppose -5*s - 20 = 5*v, 0*s = 5*s - 3*v - 4. Let h be j(s). Which is greater: h or r?
h
Let i = -15 + 9. Let p = i + 4. Let l(x) = -x - 1. Let r be l(p). Does 1 = r?
True
Let s = 0 - -1. Let r be (-14)/20*3/7. Is s less than or equal to r?
False
Let h(c) = -c**3 - 3*c**2 + 4*c - 3. Let v = 1 + -5. Let w be h(v). Which is bigger: -2 or w?
-2
Let p(y) = -y**2 + 6*y. Let t be p(6). Let k = 67/236 - 2/59. Which is smaller: k or t?
t
Let z be 4/(-3)*(-9)/6. Which is bigger: z or 9/4?
9/4
Suppose 2 = 2*s + 18. Let f be 1*2*(-4)/s. Let g = -11/10 + 73/30. Which is bigger: g or f?
g
Let w be 4/(-10) + 84/10. Suppose -a - 2 = -3*d, -4*a - 3*d = -30 + w. Suppose -5*b + 1 = p + 3, -2*p + 4*b = -10. Which is smaller: a or p?
p
Let t be 2/(-8) + (-19)/(-44). Let u = 34 + -54. Let q = -21 - u. Which is smaller: t or q?
q
Let c(m) = -m**3 + 7*m**2 - 5*m - 5. Let f be c(6). Which is greater: -1/87 or f?
f
Let u(y) be the first derivative of y**2 + 3*y - 4. Let f be u(-2). Do -3/10 and f have different values?
True
Suppose -7*y + 6 + 15 = 0. Which is greater: y or 2?
y
Let q = 6.4 + -4.4. Which is smaller: q or -3?
-3
Let a = 13.1 - 13.2. Which is greater: -5 or a?
a
Suppose 76 + 84 = 5*x. Let f be (-2)/(-8) + (-20)/x. Which is smaller: 0 or f?
f
Let m be (-100)/(-16) - (-3)/(-12). Let k be (16/m)/((-2)/(-6)). Which is bigger: k or 7?
k
Let j = 0 + -1. Let i = -541.03 - -538. Let w = i - -0.03. Is w bigger than j?
False
Suppose -6*r = -r - 10. Let h(j) = -2*j**2 - 3*j - j + 2 - j**r + 2*j**2. Let n be h(-4). Is n smaller than 2?
False
Let p = -46 - -52. Do 12 and p have the same value?
False
Let c = -20 + 29. Is c at most as big as 9?
True
Let q = -6627/5 - -1325. Let z(u) = -3*u**3 - u**2. Let m be z(1). Which is greater: q or m?
q
Let a = 670 - 669. Let z = -206/5 - -41. Does a = z?
False
Let u be 26/(-56) - 2/7. Suppose -15 = 5*d, -2*z = 3*z - 5*d - 35. Let c = z - 4. Does c = u?
False
Suppose -5 = -5*o - 0. Let t be (o + -1)/(-1 - 1). Let f = -4 - -5. Which is bigger: f or t?
f
Let r = -4.8 + 5. Let x be (-5)/(-2)*(-18)/(-15). Is r != x?
True
Let p = 13 - 11. Suppose 4*i - p*i = 0. Are 4/11 and i non-equal?
True
Let s(x) = 2*x**2 + 12*x - 4. Let b be s(-6). Let l be b + 0 + 174/48. Is l less than -0.2?
True
Let z = 2 + -6. Do z and -4 have the same value?
True
Let b = -12.851 + -0.149. Which is smaller: 3 or b?
b
Let b = 1336/13 - 103. Let m be 2/5 + (-15)/(-25). Which is greater: b or m?
m
Let v(j) = -2*j + 4. Let u be v(3). Is -4 > u?
False
Let u(y) = y**3 + y + 6. Let k be u(0). Which is smaller: k or 4?
4
Suppose -n - 10 = 3*y, -y = -n + 2 - 4. Let k be 0*y/4*-2. Which is greater: k or 1/9?
1/9
Let s(n) = 3*n + 19. Let a be s(7). Do 39 and a have the same value?
False
Let w = 141 + -141. Which is greater: w or -91?
w
Let k = 0.4 - 0.4. Let g = -95/3 + 32. Which is greater: g or k?
g
Suppose 0*x + 13 = -x. Are -10 and x equal?
False
Let z = -13184 - -672424/51. Let u = -2/17 + z. Which is smaller: 0 or u?
0
Let d = 30/11 + -281/99. Which is greater: d or -1?
d
Let s(h) = 3*h + 2*h + 6*h**2 - 2*h**2 - h**3. Let d be s(5). Let u = 1221/10 + -122. Do u and d have different values?
True
Suppose 37 + 15 = 4*v. Suppose v = -3*r + 1. Let a = r - -9/2. Which is smaller: a or 0.2?
0.2
Let h be ((-6)/(-9))/((-2)/(-27)). Let p = -9 + h. Let s = 9 - 12. Which is greater: s or p?
p
Suppose 0 = -8*r + 3*r - 350. Let y be 1/(-5) - r/(-25). Is -3 equal to y?
True
Let j = 35 - 31. Is 4 <= j?
True
Let t = -123 - -122. Let f = 0.7 + 0.2. Are t and f non-equal?
True
Suppose -40 = -4*h + 4. Suppose 5*d + b - 5*b + h = 0, 0 = -3*d + b - 8. Let n = -7 - d. Which is smaller: -2 or n?
n
Let p be 2 + -3 + (-5 + 2 - 0). Which is greater: 0.02 or p?
0.02
Let j = -317/330 - -27/22. Is -0.1 bigger than j?
False
Let j = -97/140 - 2/35. Let q = 52 - 52. Does q = j?
False
Let s = 18033 + -2795136/155. Let d = s + -2/31. Which is bigger: d or -1?
d
Let i = 0.4 - 6.4. Let r = -5 - i. Which is greater: r or -1?
r
Let r = 37/55 + -2/5. Which is smaller: r or -1?
-1
Suppose 0 = 3*i - 7*i. Let a be i/(3 + -2 - 3). Is a at most -4/9?
False
Let y = 17 + -20.5. Is y less than or equal to 1?
True
Let a be 2*(3 + -5)*-2. Which is smaller: a or 4?
4
Suppose 0*j = 4*j + 8. Let f be 76/2*1 + -3. Suppose b + 5*z = -3*b - 33, -5*b - 5*z = f. Is b < j?
False
Let o = -0.024 + -10.076. Let g = -2.1 - o. Let v = g - 9. Is 0.06 less than v?
False
Let f be (-2)/6 - (-38)/118. Let r = -364/885 - f. Which is greater: r or 1?
1
Let c = 0 - 0. Let r = 5.05 - 1.05. Which is smaller: c or r?
c
Suppose -2*d + 4*a - 16 = 0, -3 = d + 2*d + a. Let o be d/(-8) + (-57)/(-12). Let p be (0 - o)*2/(-15). Which is smaller: -1 or p?
-1
Let y = 5 + -7. Let l be (2 + -1)*(-24)/4. Let o be (l/4)/(4/8). Is y bigger than o?
True
Let v be (1/2)/(6 - 4). Let d be 1/1 + 985/(-750). Let j = -1/50 + d. Which is greater: v or j?
v
Let h be (-4)/(-20)*-3*5. Let g = h - -3. Which is smaller: g or 6/13?
g
Let h = -31 - -17. Let x be h - 0/(3 - 5). Which is greater: x or -15?
x
Suppose -j - j - 5 = -5*q, 0 = -2*j + 4*q. Suppose -j = 3*s - 8*s. Is s smaller than 2?
False
Let h = -22 + 37. Suppose h = -q + 6*q. Let o = 1 - q. Is o at least -2?
True
Let z = -2 + 10. Is z equal to 7?
False
Let l(v) = -2*v + 13. Let i be l(-10). Is 0.1 greater than i?
False
Let y = -40.44 + -2768.56. Let z = -2824.07 - y. Let x = z + 15. Is x at least 2/7?
False
Let r = 16 + -4. Is 13 at most r?
False
Let j be (-4 + 4)*(0 - -1). Suppose -7*q + 4*q - g = -14, q = -g + 8. Which is smaller: q or j?
j
Let i = -2.02 + 0.02. Let z = -1 - 2. Is z > i?
False
Let v(j) = 4*j + 11. Let k(m) = 5*m + 12. Let l(g) = 3*k(g) - 4*v(g). Let p be l(-9). Let t = 108/77 + -6/7. Is p at most t?
False
Let r(f) = -12*f**3 + f**2 + f + 8*f**3 - f**2. Let m be r(-1). Which is smaller: m or 0?
0
Let n = 1.9 - -0.1. Which is smaller: 0.6 or n?
0.6
Let w(y) = y**2 - 3*y + 4. Let p be w(3). Let d be p - 1 - (-124)/(-44). Is 1 less than d?
False
Let r = 292 - 3209/11. Is r equal to 0?
False
Let m be (-1 - 1/(-1))/2. Is m equal to 2/13?
False
Let j be -1*(12/9 - 1). Which is greater: 0.3 or j?
0.3
Let m = 64 + -73. Which is greater: m or -6?
-6
Let z be (6/20)/(36/(-105)). Is 0 >= z?
True
Let g be 1/(-3) + 4/12. Let r = g + 3. Suppose -c + 2 = -r*c. Are 0 and c nonequal?
True
Let b = 11 - 12. Is b bigger than 1?
False
Let g = -0.1 - -0.14. Let a = -0.06 + g. Let h = 1.02 + a. Which is smaller: h or -1?
-1
Suppose -4*n = -z + 9, -n - n + 13 = 3*z. Suppose -5*h = -5 - 5. Let y be n/h*(-6)/(-4). Which is smaller: -1 or y?
-1
Let q = -68/3 - -22. Is -0.2 less than or equal to q?
False
Suppose -3*t + 5*q = -25, -20 = -9*t + 8*t + 4*q. Which is greater: 17 or t?
17
Let g = -20 + 21. Is g greater than 1?
False
Suppose -15 = 5*z - 5*w, 4*z - 3*w + 6 + 4 = 0. Let y be (8/30 + 0)*270/756. Which is smaller: y or z?
z
Let i(j) = -j**2 - 5*j + 0*j**3 + 3*j**3 + 4 - 2*j**3 + 0*j**3. Let a be i(3). Do 3 and a have different values?
True
Suppose -w = 5*z, 3*z + 5 = -2*w - 2. Let g be (32/(-90))/(6/10). Let b = 22/27 + g. Is z at most as big as b?
False
Suppose 5*u = 9*u - 4. Let o(t) = -t**2 + t - 2. Let s be o(u). Which is smaller: s or -1?
s
Let g = -5.89 + -0.11. Let u = -6 - g. Let t = 0.3 - u. Is -0.1 greater tha