er: -0.1 or s?
s
Let k be (-2)/(-7) + ((-20)/(-28) - -2). Suppose 32 = -4*y - 0*w - k*w, -3*w = -3*y - 3. Is y >= -10?
True
Let t = 2001.85 - 2002. Which is smaller: 2/13 or t?
t
Let m(h) = h**3 - 5*h**2 + 3*h + 3. Let s be m(3). Let w be 5/2*1404/(-585). Do s and w have the same value?
True
Suppose -2*y + 34 = -4*g, -2*y + 30 = 2*g + 2. Is y at most as big as 1?
False
Suppose 4*r = 9*r + 290. Let n = r + 58. Is -4/41 smaller than n?
True
Let c = -21 - -25. Suppose c*u + 2*t = 3*u - 1, 5*t = 2*u + 11. Is u > -3?
False
Let u = 18.416 - 18.5. Is 0.1 bigger than u?
True
Suppose 2*z + 8 = -0*z. Let l be (z + 5)/(2/(-4)). Let o(t) = t**2 + 2*t - 1. Let x be o(l). Is x less than -4/5?
True
Let q = 1/352 - 35/32. Let w = 15 - 25. Let m = w - -9. Is q > m?
False
Let v be 50/(-48)*-1 - 1. Let o = 35 - 34. Suppose -g = o - 2. Which is smaller: v or g?
v
Suppose -133 = 2*t + b - 137, 2*t + 6 = 4*b. Which is greater: -1/731 or t?
t
Let m = 22 - 22. Suppose -3*y + 8*y + 5 = m. Which is smaller: y or -1/8?
y
Let c = -434 + 418. Which is bigger: 0.6 or c?
0.6
Let b(m) = -3 + 2*m + 0*m - 2*m**2 - 1 + 3*m**2. Let n be b(-3). Let j(x) = -x**2 + 4*x + 8. Let s be j(4). Do n and s have different values?
True
Let l = -148 + 119. Let z be -2*1/(4/58). Does z = l?
True
Let g = 0.247 - 2.247. Which is smaller: g or 24?
g
Let v = -4.1 + 3.33. Let n = v - -0.77. Which is greater: n or -2/3?
n
Let d = 5141/11 + -467. Let q(t) = -t**2 + 12*t - 12. Let f be q(11). Is f bigger than d?
False
Let m = -721 - -5027/7. Which is bigger: -2 or m?
-2
Let d be 4/(-8)*(1/1 - -185). Let i = 94 + d. Is -42 less than or equal to i?
True
Suppose -11*o + 13*o = 6. Let h = 4 - o. Which is smaller: h or 1/2?
1/2
Let b = -934 - -887. Which is smaller: b or -49?
-49
Let t = 4 - -5. Suppose -11*q - 2*q + t*q = 0. Which is bigger: q or 5/18?
5/18
Let t = 22 - 22. Which is greater: 9/10 or t?
9/10
Suppose -y - 4*i + 16 = i, -2*y - 4 = -2*i. Let r = -1174 - -255. Let j = -21140/23 - r. Is y >= j?
True
Suppose 0*g - 3*g = 6. Let l be g/(-8) + (-17)/(-28). Let c = 476 - 476. Does c = l?
False
Let j(s) = -s**2 - s + 3. Let k be j(-4). Let a be (k - -17)/(1 + 0). Let c = a + -5. Which is bigger: 4 or c?
4
Let t = -2 - -3. Let f = 851/91 - 66/7. Which is greater: t or f?
t
Suppose -16*s + 6 = -14*s. Suppose -2*q - a = -30 - s, -3 = a. Is -2 less than q?
True
Let n(b) = -b**2 - 9*b + 24. Let w be n(-11). Suppose w*q + 154 = 5*f, -12*q - 32 = -f - 11*q. Is f >= 28?
True
Suppose -16 = -5*w + w. Let j be (3/(-171))/(w/(-18)). Let f = -37/228 + j. Which is greater: 1 or f?
1
Let k(m) be the third derivative of m**5/60 - 7*m**4/24 + 23*m**3/6 - 8*m**2 + 3. Let g be k(10). Which is greater: g or 54?
54
Suppose -2*i - 25 = p, -32 = 3*i + p - 5*p. Let k be 6/(-14) + 68/28. Suppose 0 = k*n + 8, 21 = -3*b - 5*n - 38. Is b bigger than i?
False
Let s be (8 - (-16)/(-24))*-6*1. Suppose 40 + 140 = -4*z. Do s and z have the same value?
False
Let c = -5 - -10. Let w(r) = r**3 + r - 70. Let l be w(0). Let k be (4/l)/(c/(-25)). Which is smaller: k or -2?
-2
Let w = -730/189 - -112/27. Which is smaller: w or 0.17?
0.17
Suppose 3*k - 163 = 4*c, 3*k = 3*c - 59 + 221. Is k less than or equal to 160/3?
True
Suppose 27 = -2*l + 7. Let g(f) = -f**3 - 11*f**2 - 8*f + 15. Let s be g(l). Is s smaller than 0?
True
Suppose l - 5*h - 4 + 14 = 0, 8 = -l + 4*h. Let s = -43659/149 + 293. Which is smaller: l or s?
s
Let y(q) = -q**3 + q**2 + q + 4. Let z be y(0). Let b(c) = -c. Let n(m) = 1. Let i(v) = b(v) + 4*n(v). Let g be i(3). Is z equal to g?
False
Let w = -1748 + 1066. Is -683 != w?
True
Let m = -10.4 + 10.288. Let r = m + -0.188. Is r smaller than 1?
True
Let h = 323.9982 + 0.0018. Which is bigger: h or 1?
h
Let j = -996 - -974. Is j <= 0?
True
Let v = 3477 + -3486. Let h be 10/6*(-2)/(-10). Is h less than or equal to v?
False
Suppose 3*a = -4*i + a, -5*a = i - 9. Let m be (2 - -1) + -13 + 2. Let x be 22/m + (-1)/4. Which is greater: x or i?
i
Let a be (32/(-10))/(1*8/(-780)). Let w = a - 4060/13. Let r = 0 - -1. Which is bigger: w or r?
r
Suppose 0 = 11*z - 9*z + 7*z. Is z bigger than -1/36?
True
Let x(l) = -l - 1. Let y be x(-1). Let k = -1/1288 + 3889/32200. Is k less than or equal to y?
False
Suppose 0 = 4*u + a - 331, a + 416 = u + 4*u. Is 84 greater than or equal to u?
True
Let g = 13/3 + -49/12. Let l = 0 - g. Let h = -225.6 - -225.72. Which is bigger: h or l?
h
Let j be (-1)/7*22/(-11). Suppose 0 = -5*w + 2*i + 2*i + 65, -2*w - 3*i = -26. Suppose -5 = -w*y + 8*y. Which is smaller: y or j?
j
Suppose 4*d = -g + 8, 5*d - g = -10 + 20. Are -5 and d equal?
False
Let q = -6549/5390 - -2/2695. Which is bigger: q or -1?
-1
Let s = 112 - 556/5. Which is bigger: s or 2?
2
Let f be (105/70)/(0 - (-1)/2). Let y(i) = -i + 3. Let l(u) = u**3 + 4*u**2 - u - 4. Let j be l(-4). Let h be y(j). Is f greater than h?
False
Suppose 57*x - 53*x + 16 = -4*c, -4*x - c - 4 = 0. Which is greater: 28/45 or x?
28/45
Let t(m) = -m**2 + 7*m + 8. Let d = -24 + 32. Let a be t(d). Which is smaller: 2/9 or a?
a
Suppose -5*m = -4020 - 555. Which is greater: m or 914?
m
Let q = 0.37 + -0.81. Let t = 36.56 - q. Is 1 at least as big as t?
False
Let l = 20 - -2. Let h be 1 + l/(-18) + (-10)/(-18). Is 1 less than h?
False
Let j(m) = -7*m + 68. Let t be j(10). Which is bigger: -11/18 or t?
-11/18
Suppose -2*x + 13 = -c, 0 = -3*c + c + 3*x - 27. Let r(l) = -53*l + 36. Let m be r(1). Which is bigger: m or c?
c
Let d be 12/(-60) - 637/(-3235). Which is bigger: 0 or d?
0
Let y = -175.1 + 175. Let o be 26 + -21 + 21/(-4). Is y at least o?
True
Let s(n) = n + 60. Let k be s(10). Is k <= 70?
True
Let v = 250 + -235. Which is greater: 0.01 or v?
v
Let p = -11.9 - -13. Let f = p + 9.9. Let k = f - 9. Is -3/2 < k?
True
Let v = -7 - -11. Suppose -w = v*w - 2*w. Is -11 < w?
True
Let z = -1173 - -1172.067. Let s = 0.067 - z. Let l be 7/(-4)*(0 + -4). Is s bigger than l?
False
Let x(u) = 2*u**2 - 6*u - 3. Let l(w) = 3*w**2 - 7*w - 3. Let i(d) = -3*l(d) + 4*x(d). Let v be i(-2). Let t be (-4)/1 + 2 - (-182)/117. Is v bigger than t?
False
Let x = -3.76 + -15.14. Which is greater: -1/3 or x?
-1/3
Let s(g) = -g**3 - 8*g**2 - 7*g + 13. Let y be s(-7). Suppose p - l + y = 0, 3*l = p + l + 10. Is 0 at least as big as p?
True
Suppose -6*f = -0*f + 198. Which is bigger: f or 1/18?
1/18
Let v(l) = -l**3 + 2*l**2 - 2*l. Let y be v(1). Let k be -1*(21/(-30))/(-7). Which is smaller: y or k?
y
Let d = -80 + 50. Let r be (-4)/d - 3/360*-14. Which is smaller: -3 or r?
-3
Suppose g - 2*l - 2*l = 10, -2*g - l = 7. Let a be (g - -3)*-1 + 2. Is 5/3 not equal to a?
True
Let x = -29 - -18. Let y = 13 + x. Which is greater: y or -4?
y
Let a(s) = -s**3 + 19*s**2 - 45*s + 45. Let g be a(16). Which is bigger: g or 652/7?
652/7
Let k(c) = c**2 - 2*c + 6. Let o be k(4). Let m be 31/o - 4 - -2. Is m >= 2/5?
False
Suppose 7*r - 5*r - 12 = 0. Let n(f) = f**3 - 5*f**2 - 5*f - 12. Let q be n(r). Let s be -1*(6 + 1/1). Is s > q?
False
Let s = 13900649/90 - 154450. Let t = s - 14/9. Suppose -i = -3*i + 4*j + 14, 3*i - 9 = 3*j. Which is greater: t or i?
t
Let p = -2896 + 211405/73. Which is smaller: p or 1?
p
Let i be (6/4)/(-3)*26. Let z = -13 - i. Suppose z*x = -x + 1. Is x < -2/17?
False
Suppose -3*q - 15 = 2*q, 4*x + 5*q = -11. Let u be 6 + 0 + x - 0. Suppose -s + 6 = -u*s. Which is smaller: -4/13 or s?
s
Let n be (0 + -2 + 2)*(-2)/(-2). Suppose 239 = -5*r - 4*g, n = 2*r - 0*g + 4*g + 86. Is -52 < r?
True
Let n = -86/267 + -1/89. Is 3/68 equal to n?
False
Let r be 44/(-8) - (-6)/4. Let i be 0 - r/12*0. Is 2/33 bigger than i?
True
Let y be 0*(-3 + 2)/1. Suppose 3*z + y = -3. Let h = -193/3 + 64. Which is bigger: z or h?
h
Suppose -i + 1 = -2. Let t be 1312/160 + (-4)/1. Is t <= i?
False
Let b = 453 - 1357/3. Which is smaller: b or -164.9?
-164.9
Let m(u) = 7*u + 4. Let o(n) = -15*n - 8. Let l(x) = 11*m(x) + 6*o(x). Let g be l(5). Let w be (-8)/12 + (-52)/g. Are w and -1 non-equal?
True
Let p = -219/4 - -53. Suppose 10 = v + 3*y, -9 = 4*v - y + 3. Is p < v?
False
Let v be (-18)/72 + (-29)/(-4). Let h be (-2)/(-6)*(-8 + v). Is h < 21?
True
Let z = 6 + -4. Let p be z/6 - 104/(-12). Suppose 3*l - 2*w - 14 = 0, -2*l + 3*w = 1 - 2. Is p != l?
True
Let x be (3/4)/((-9)/(-72)). Let y = 8 - 7. Is x equal to y?
