 -92 less than m?
True
Let m be 12/9 - (-4)/6. Suppose -m*w = -6*w + 32. Let i be w/(-2)*(-2)/(-28). Is -1 greater than or equal to i?
False
Let v = -0.9 + 1.2. Is -27/5 bigger than v?
False
Suppose -5*q = -4*q - 2. Suppose -4*d = -q*j - 10, -d + 4*j = 2*j + 5. Suppose c = -3*c - 4*h, 0 = c - d*h - 30. Which is smaller: c or 4?
4
Suppose 50 = 3*y - 2*g, -2*y - 4*g + 9*g = -15. Let b be (15/(-25))/((-6)/y). Which is bigger: 22/15 or b?
b
Let s = -819 - -820. Which is greater: 7 or s?
7
Suppose -4*t + 1420 = 2*a, -8*a - t = -3*a - 3568. Are 713 and a equal?
False
Let x(r) = 45*r - 18. Let w be x(-3). Is 0.1 > w?
True
Let a(z) = 19 + 21*z - 5 + 12 - 20*z. Let j be a(-9). Is j > 18?
False
Let y = -0.36 + -1.64. Let f be 1 + (1 + -3)/2. Suppose d - 5*d + 5*n + 7 = f, -2*d - 2*n = 10. Is y > d?
False
Let p(k) = k + 340. Let b be p(0). Let s be (-2)/(-5) + 0 + (-76)/b. Which is smaller: 0 or s?
0
Let m = -80 - 116. Let t be (4*(-7)/m)/(2/12). Which is bigger: t or -1?
t
Let a = -2/451 - -2792/19393. Is 0 bigger than a?
False
Let d(n) = n**2 - 3*n + 1. Let l be d(6). Let a = -15 - -34. Is a != l?
False
Let q(a) = 2*a**2 - 1. Let o be q(-1). Let v be (-3 + o + 2)/(-2). Let y = v + -8. Which is smaller: y or -9?
-9
Suppose -38*w = -60*w + 3410. Which is smaller: 153 or w?
153
Let r(m) = 30*m + 745. Let v be r(-18). Which is smaller: 209 or v?
v
Let g = -115 + 112. Let x be 0*g/6*(-8)/4. Let i(l) = l**2 + 4*l + 4. Let w be i(-3). Is x > w?
False
Suppose 4*i - 30 = -t, 3*i = t - 2*t + 25. Suppose 0 = 3*z - 5*z + t. Let c be (-93)/165 + 1/z. Which is greater: 0 or c?
0
Let j be 6/(-4) + (-2)/4. Let d = 881 - 887. Are d and j equal?
False
Let y be (1 + (-15)/10 + 0)*0. Is y bigger than -48?
True
Let y = -80 + 80.11. Is -1 bigger than y?
False
Let n be ((-18)/12)/(5 + 1). Let i = -1.48 - -0.18. Let w = -6.3 - i. Is n equal to w?
False
Suppose 3*o - 7*o - 64 = 0. Let c be 8/o - (-1 + 17/(-6)). Which is smaller: 4 or c?
c
Let f = 0.39 - 0.39. Let o = 1.95 - 2. Let s = o - -3.05. Are s and f nonequal?
True
Let l be 4/(-4*2/(-4)). Let k(o) = o - 9. Let z be k(6). Let h be (z - -3)/(3/(-3)). Is h < l?
True
Let y be ((-3)/(-12))/(15/4920). Which is smaller: 84 or y?
y
Let q = 26.9 + -17.9. Which is smaller: -0.5 or q?
-0.5
Let b be (2/(-1))/((-472 - 5)/(-1)). Is 1 at least b?
True
Let i(l) = 11*l**3 + 3*l - 2. Let p be i(1). Let n be 3/45 - p/(-20). Suppose -2*r + 6 = o, 7*o - 10 = 4*o - 2*r. Is n at least o?
False
Let d = 1190 + -1191. Is 3/277 less than d?
False
Let x be ((-12)/9*3)/(0 + 2). Let p be (43/(-68))/(1/2). Let c = 1/68 + p. Which is smaller: c or x?
x
Suppose -807*q + 4310 = -817*q. Which is smaller: q or -430?
q
Let w be 30/(-4)*10/(-15). Suppose 6 = -4*s - w*q, 5*s - 2 = q - 24. Let d be 2/(-9) - 4/(-54)*-51. Is d != s?
False
Let y(i) = -i**2 + 9*i - 10. Let g(h) = 2*h**2 - 19*h + 20. Let w(f) = -4*g(f) - 7*y(f). Let q be w(12). Is -8 less than q?
True
Let t = 16.4 + 12.3. Let a = -29 + t. Which is greater: 4 or a?
4
Suppose 2*s - 12 = -0. Let t = s - 7. Which is greater: t or -1/16?
-1/16
Suppose 2*c + 115 = -3*c. Let g be c/184 - (-482)/16. Let r be (-5)/(-15) - 37/g. Which is bigger: r or 0?
0
Let d = 809/741 + -11/13. Which is smaller: d or 0?
0
Suppose -2*w - 2*w = -52. Let j(u) = u**2 - 14*u - 4. Let a be j(w). Is a less than -17?
False
Let d = -0.051 - 47.949. Is d greater than or equal to 0.3?
False
Let g = -23 - -21. Let r(x) = -26*x + 8. Let j be r(8). Let n = j + 2602/13. Which is bigger: n or g?
n
Let g = -367 + 365. Let o(i) = 3*i**3 - 2*i**2 - i. Let s be o(-1). Let k be ((-27)/12)/((-6)/s). Which is smaller: g or k?
g
Let z = -17 + 23. Suppose 1 = -7*a + z*a. Let d = 0 + a. Is d equal to 1?
False
Let b = -3.6 - -0.6. Let h be 6/(-1)*4/76. Let f = h + 5/76. Is f at most b?
False
Suppose 0 = -4*j + 50 + 14. Suppose -2*r + 3*f + f = 16, 3*r - 2*f = -j. Suppose 4*z - 3*z = 0, -5*z + 16 = -4*y. Is r at most y?
True
Let b = 49.34 + -50. Let r = b + 0.8. Let g = 0.1 - r. Does -1 = g?
False
Let b = -21 - -21.2. Let m = -0.22 - -0.29. Is m greater than or equal to b?
False
Let d = 29 + -17. Let z(q) = -q**2 + 8*q + 40. Let g be z(d). Is g greater than -7?
False
Let l(h) = -h**2 - 7*h - 4. Let r be l(-6). Let g = 16.73 - 17. Are r and g unequal?
True
Let z = 857 + -21424/25. Let f be 0 - (-1 + -1 - 2). Let s be 6/f + -1 + 0. Is z at least s?
False
Let a(v) = -v**2 + 6*v + 3. Let p be a(7). Let d be 12/(-16) + 1/p. Let j be 1 - (-5 + 3)/d. Is 0 at most j?
False
Let i = -2 + 1. Let t = -113 - -173. Suppose 4*b + b = -t. Which is smaller: i or b?
b
Let t be (-1)/((-12)/(-8)*(-1)/15). Suppose 0 = 2*c - 3*d + 8, t*c - 5*c + 2*d = -1. Let j = -4/3 - -13/12. Which is smaller: c or j?
c
Let y = -0.5 + 0.2. Let z = 0.2 - y. Let f = -191 + 190.9. Is z equal to f?
False
Let x be 3 - (5 - 3/5). Which is smaller: -1/6 or x?
x
Let n = -1458 - -18888/13. Let l = n + 250/39. Let w = -7 - -9. Are l and w equal?
False
Let t = 15 + 6. Suppose 2*d + 2*i = 16, -2*d + 25 = 6*i - i. Suppose 3*c + d*a = -7 - 21, -2*c = -4*a - 18. Which is bigger: c or t?
t
Suppose -18*p + 26*p = -128. Is -1 greater than p?
True
Let u(q) = -1 + 6*q - 5*q + 16*q - 4. Let o be u(-5). Let b be 8/36 - (-146)/o. Do b and -1 have different values?
True
Suppose -27 = -24*x + 45. Let d = -1 - 0. Let j be (d - 0) + 11/3. Which is greater: x or j?
x
Let g(x) = 2*x**2 - 16*x - 17. Let m be g(9). Let f be (3/(-9))/(m/(-3)). Let o(l) = -l**2 + 2*l. Let r be o(2). Which is greater: r or f?
f
Let g be (-3558)/(-34)*3/9. Let d be ((-18)/(-4) + -4)*70*1. Let r = d - g. Which is smaller: r or -1?
-1
Suppose -17 - 13 = -3*z. Let g(n) = -n**2 - 21*n + 8. Let t be g(-21). Which is smaller: z or t?
t
Let g be ((-20)/(-6))/(3/(-9)). Let n = g + 21/2. Let x = -96 - -95.6. Which is smaller: x or n?
x
Let j = 43.54 - -19.46. Which is greater: j or 14?
j
Suppose -2*o = -9 - 1. Let z = 5 - o. Let l be (4/(-1))/(10 - 24). Is l equal to z?
False
Suppose -5*m = -m - 16. Suppose -m*v - v = 30. Let x(y) = -3*y - 61. Let g be x(-21). Is g smaller than v?
False
Let q be (-158)/(-6)*(-111 + 54). Is q less than or equal to -1500?
True
Suppose i = -i - 14. Let a = -8 - i. Let t = 4 - 8. Are t and a equal?
False
Let m be (-4)/2 - (4 + -3 + 0). Which is smaller: -16/9 or m?
m
Let c be 57 - 62 - 1*-175. Which is smaller: c or 167?
167
Let b(o) = 8*o**2 + 22*o - 7. Let z be b(-4). Is 432/13 < z?
False
Let d be 4/(-5) + (-316)/(-395). Is d less than 1/71?
True
Let d be (18/(-15))/((-4)/10). Let f = d + 1. Let a be (-418)/99 - f/(-18). Which is greater: a or -5?
a
Let h = -82 - -139. Suppose 0 = 2*b, 0*u + h = 3*u + 5*b. Let x = 10 - -9. Is u <= x?
True
Let c(l) = l**3 + l**2 + 3*l + 6. Let u(s) = -s**3 - 6*s**2 + 2*s + 9. Let r be u(-6). Let a be c(r). Which is bigger: a or -19?
-19
Let h be (10/(-15))/(5/3). Let z(v) = v**2 + 7*v + 15. Let p(j) = -1. Let w(x) = -2*p(x) - z(x). Let b be w(-3). Is h < b?
False
Let a(c) = 4*c - 7. Let h be a(-5). Let q be 82/20 + h/45. Let k = q + -3. Which is bigger: 2/5 or k?
k
Let k be (-1)/(-1)*6/((-42)/(-161)). Is k smaller than 4?
False
Suppose 5*x = -0*x - s + 5, 3*s = -3*x + 15. Let z = -61555/51 + 1207. Which is greater: x or z?
z
Suppose -4*h + 4*x - 46 = -x, 5*x = -5*h - 80. Let k(q) = q**3 + 14*q**2 - 3*q - 29. Let b be k(h). Which is smaller: 11 or b?
11
Let s = -43825/228 - -769/4. Is s greater than 1?
False
Let v be (-5 - -6)*0 - 1. Is v >= -5/44?
False
Let j = -44 - 42. Which is smaller: j or -75?
j
Let u be (-14*26/84175)/((-2)/15). Is 1 at least as big as u?
True
Let p = 28.6 + -25.6. Which is smaller: 0.5 or p?
0.5
Let h = -74.988 + 75. Let f = h - -2.488. Which is smaller: -1 or f?
-1
Let u be 1 + 531*2*(-4)/24. Which is smaller: -175 or u?
u
Suppose -3*c + 5*o - 73 - 81 = 0, 0 = -3*c + 2*o - 166. Let d = c - -92. Let v be (-10)/(-45) - d/18. Is v at least as big as -3?
True
Let u be (1/(-5))/(((-32)/40)/(-4)). Which is greater: u or -12/13?
-12/13
Suppose 3*w - 2*o = 92, -5*o + 4 = 9. Which is smaller: w or 32?
w
Let w = -73.18 + 92. Let v = -1.88 - w. Let s = v + -2.3. Is 0.1 equal to s?
False
Let z = 0.177 + 109.823. Let f = z + -143. Which is smaller: -2 or f?
f
Let j = 76 + -69. Suppose 2*d - 5*f + 5 = j*d, 4*f - 24 = d. Which is bigger: d or -9?
d
Let o = -498 - -4