 bigger: -0.1 or o?
-0.1
Let j = 272 - 75. Let c = j + -187.82. Let z = -0.18 + c. Which is bigger: z or -1?
z
Let l = 0.0112 - -27.9888. Which is smaller: l or -2?
-2
Let s = 518 + -519. Which is smaller: -11/37 or s?
s
Let b(z) = z**3 - 3*z**2 + z - 2. Let j be b(3). Which is smaller: 28/15 or j?
j
Let h = 24 - 18. Let n be (3/(-4))/(h/48). Let b be (-2)/n - (-102)/(-9). Is b > -10?
False
Suppose 16*y - 11*y = -50. Let k(l) = -l - 11. Let j be k(0). Which is smaller: y or j?
j
Suppose -a - 3*j = 4, -3*j = -8*j + 5. Is -15/2 smaller than a?
True
Let q(x) = -x**2 - 3*x + 10. Let o be q(-8). Let f = o - -13. Is f greater than -18?
True
Let x be 160/(-1200)*(-49 + (-2 - -1)). Does -0.05 = x?
False
Let x be 6 + -2*(-189)/(-56). Suppose -14 = -5*g + 26. Let r be 1/(-4) - (-2)/g. Are r and x equal?
False
Let y be (-62)/(-3) - (-20)/(-30). Do y and 20 have the same value?
True
Let o be 28/(11 - 18) + (-482)/(-121). Which is smaller: 0 or o?
o
Suppose 5*p + 115 = 5*v, 0 = 2*p - v + 39 + 3. Let a = -43 - p. Are -23 and a equal?
False
Let i = 5 - 7. Suppose 378 = 2*n + 382. Let f be (-1)/n - i/4. Which is smaller: -2/25 or f?
-2/25
Let n be (-5368)/88 + 0 + 1. Is n not equal to -61?
True
Suppose -p + 9 = 3*b, 4*p - b - 111 = 2*b. Is p equal to 95/4?
False
Suppose 5*i - 30 = x, 0*i + 2*x + 24 = 4*i. Let v = -2 + i. Let r be 6/v*30/45. Is r > 8/11?
True
Suppose -29*r = 5*v - 28*r + 60, -r = 5. Which is bigger: -12 or v?
v
Let y(s) = 6*s**2 + 8*s + 7. Let n(r) = -r**2 + 1. Let l(x) = 5*n(x) + y(x). Let w be l(-7). Suppose w*m - 4*m - 7 = 0. Is m smaller than 9?
True
Let v be (-1 - 2 - -1) + 21. Let y be ((-4)/(-3))/((-4)/174). Let c = -38 - y. Is v greater than c?
False
Suppose 0 = -4*s - 20 - 8. Let a be -2*(-1)/2 + (1 - 3). Let x be a/((-5)/140*-4). Do s and x have the same value?
True
Let w be (-70)/(-42) - 1730/1065. Which is bigger: w or 2/3?
2/3
Let k = -34 - -34.17. Let c = k - 0.13. Let p = 9.2 + -9.1. Which is bigger: p or c?
p
Let u = -2307 + 2363. Which is bigger: 73 or u?
73
Let q = -7 + 7. Let n(v) = -8*v**2 - v - 1. Let w be n(-3). Let i = -141/2 - w. Is i not equal to q?
True
Let c = -102533/33 - -3107. Let u be -3 + 1 + -1 + 3. Is c at least as big as u?
False
Let r be 48*(-9 + 26/4). Does r = 4?
False
Let f = -20 - -24. Suppose -2*i - 25 = 3*i, -5*i - 105 = -f*g. Is g at least as big as 18?
True
Suppose -j - 8 = 3*d, 0 = 3*j - j + 4*d + 10. Let f be 4/16 - (1 - (-11)/(-4)). Which is smaller: f or j?
j
Let t = -32 - -40. Suppose 4*b - 5*b = t. Suppose -2*l - 2*j = 14, 4*j - 5 = -j. Is b at least as big as l?
True
Suppose -3*t + 86*p - 89*p + 3 = 0, 5 = -2*t + 5*p. Is 1/404 equal to t?
False
Let c be 6/(-15) + 76/(-10). Let p(t) = t + 6. Let y be p(c). Let b be 2 + 2 + 1 + y. Is 2 >= b?
False
Let z = 109.9 - 110. Which is smaller: z or 101?
z
Let f = 15.3 + -15. Let b = f - -7.7. Is b greater than -2/3?
True
Let y be (8/(-28))/(2/(-14)). Suppose 0 = 2*b - 2*t + 18, -3*t - 2*t - 18 = y*b. Which is greater: -6 or b?
-6
Let j = -695/9 - -77. Is j bigger than -0.4?
True
Let j = 232 + -233. Which is smaller: j or -24/25?
j
Let a = -0.7 + -17.3. Let g = a - -16. Is g not equal to -1?
True
Let p be (8/2)/(1 - -28). Let r = 9300 - 9301. Which is smaller: r or p?
r
Let t be 21*1/((-33)/(-10)). Let b = -908 - -913. Which is bigger: b or t?
t
Let s = -2.36 - 3.04. Which is smaller: -1/2 or s?
s
Let z = -14 + 18. Suppose z*b + 2*f = 4, 0*b - 4*f - 7 = 3*b. Suppose -5*k + b*k + 6 = 0. Is 2 at least k?
False
Suppose -3*q - 9 = -4*l, 3*q - 39 = -2*l - 2*l. Let c be (-11 - -8) + 23/l. Let a = -0.4 + 0.5. Which is smaller: c or a?
a
Let h = -133/66 + 11/6. Suppose -20 = 5*d - 3*r, -45*r + 20 = -41*r. Which is smaller: h or d?
d
Let v = 113883 - 572179/5. Let r = v - -551. Which is smaller: r or -1?
r
Let c be 4 + (2817/(-532) - 8/(-14)). Let i = 28/19 + c. Is 2 less than i?
False
Let a = 8111/39 + -208. Which is smaller: -4 or a?
-4
Suppose -2*o - c = -3*c + 8, 0 = -2*o - 4*c + 22. Let l be 3 + o + (49 - -6). Let m = -36 + l. Is m less than 22?
False
Let o be 19 + -22 - 1/16*-41. Which is greater: o or -1?
o
Let v(r) = r**2 - 7*r - 17. Let i be v(10). Which is smaller: 10 or i?
10
Suppose 24*m = 27*m - 75. Is m at most 27?
True
Let j(l) = 3*l + 16. Let b be j(-3). Suppose -b*s - 540 = 3*s. Do s and -1 have the same value?
False
Let r = 0.2 - 0.2. Let o = -5.4 + 26.4. Let h = o - 19. Which is greater: r or h?
h
Let i(b) = -b**2 + 9*b - 8. Let h be i(7). Let n be (8/h)/(-4)*5. Which is bigger: -1/5 or n?
-1/5
Let b = -157 + 157.2. Which is bigger: 18 or b?
18
Let x = 27 + -24. Suppose -1 = f - o, 4*f = o + 2 - x. Is f < 4/17?
True
Let l be (-1 + -1 - -5) + 273 + 0. Let m be (2/(-4))/(18/l). Which is bigger: m or -8?
m
Let t = 27.322 + 0.078. Let p = -4 - -32. Let z = p - t. Which is smaller: 3 or z?
z
Let c = -3.095 - -2.995. Let a = -3 + 5. Let p = 1 + a. Is p greater than c?
True
Let x(h) = -3*h - 2. Let w be (6/15)/(51/15 - 3). Let f be x(w). Which is bigger: -6 or f?
f
Suppose 0 = 3*g - 5*c + 43, 0 = g - c + 4 + 7. Let w be 2*(0 - g/4). Is 21/8 > w?
False
Let l = -105.1 - -127.4. Is l at most 0.1?
False
Let z = 1008 + -1024. Which is bigger: -4 or z?
-4
Let h(n) = -20 - 9*n + n**2 + 12 + 13. Let s be h(7). Let z = 11 - 21. Which is smaller: z or s?
z
Let f be ((-4)/8)/((-22)/204). Let d = f + -361/66. Is d greater than or equal to 3/2?
False
Let k be (-224)/(-10) + (-12)/(-20). Suppose 3*h + 4*t - 63 = 0, 5*h = t + 141 - 36. Is h at most as big as k?
True
Suppose 8 - 10 = -q. Suppose f + 32 = -f - q*p, -2*p - 58 = 4*f. Which is greater: -14 or f?
f
Let i be (-183)/21 + (-12)/42. Which is bigger: i or 1?
1
Suppose 0*o + 3*o - 21 = 0. Suppose 0 = 5*k - 3*y - 1953, -4*y + o*y = 2*k - 783. Let i be k/13*3/5. Which is bigger: i or 17?
i
Let b = -68.1 - -68.12. Is b at most 150?
True
Let i(t) = 22*t**3 - t**2 + t. Let n be i(1). Let s(z) = 0 + 3 - 5*z**2 - n*z**3 + 23*z**3. Let u be s(5). Is 4 greater than u?
True
Let d be 15/90*(-4)/(-5). Is d at most as big as 3?
True
Let s be 2/(-13) + (-10297)/(-91). Which is greater: s or 114?
114
Let y(n) = -2*n**2 - 16*n + 16. Let j be y(-8). Suppose -j*t = -21*t - 20. Let o(c) = c**2 + 5*c - 7. Let d be o(-6). Which is greater: d or t?
d
Let i = -0.243 + -0.757. Which is greater: i or -2/35?
-2/35
Let i = -47 - -101. Let b = i - 54. Which is greater: b or -7/5?
b
Let l = 1 + 7. Suppose 0 = b + 2 - l. Let q be 80/(-168)*b/4. Which is smaller: 0 or q?
q
Let g = -91 + 90.68. Let k = g - 0.08. Which is greater: 0 or k?
0
Let p = -491 + 491.74. Is p not equal to -9?
True
Let c = 992 + -1294. Which is smaller: c or -303?
-303
Let n(x) = -2*x - 2. Let w(h) = -h**2. Let q be w(-2). Let v be n(q). Let d be 2/3*v/(-4). Which is smaller: d or 0?
d
Let r be -120*15/30*(-7)/14. Suppose 30 = -2*f + 3*f. Is r not equal to f?
False
Let a(n) = n**2 + n + 11. Let u be 2 + (-5)/((-10)/(-4)). Let h be a(u). Suppose 0*z = z - 10. Which is bigger: h or z?
h
Let l be (-6 - (-1 + -5))/4. Which is smaller: l or 21/16?
l
Let w(z) = -z**3 + 6*z**2 - 8*z + 13. Let o be w(5). Let i be o/(-5) - 1/(-40)*-21. Is i at most -1?
False
Let l be 161/14 + 1*4/8. Let m(u) = 4*u - 2. Let o be m(2). Let q(d) = d**3 - 6*d**2 + 2*d + 2. Let p be q(o). Is p <= l?
False
Let p(m) = -4*m + 24. Let l be p(5). Suppose s = l*s - 3. Let x = 3/230 - -1023/920. Is x at least s?
True
Suppose 3*u - 689 = o, 0 = -21*o + 20*o + 1. Is u at least as big as 230?
True
Suppose 0*u - l + 4 = 2*u, -8 = -3*u - l. Suppose -2*i + 22 = u*v, 0 = -3*i + 2*v + 3*v + 22. Let c be (4/(-30))/(6/i). Which is smaller: 0.1 or c?
c
Let m be (-5 - -3)*2/(-24). Let g(o) = o**3 - o**2 - 3*o - 2. Let x be g(3). Suppose 0*a - 7*a + x = 0. Which is bigger: a or m?
a
Suppose -v + 10 = -0. Let p be (196/v)/((-10)/(-150)). Let x = -10876/37 + p. Do 1 and x have different values?
True
Let w be 62*8/(-176) + 3/1. Which is smaller: 2/5 or w?
w
Let t(z) be the first derivative of -z**2/2 + 4*z + 4. Let n be t(4). Let c be (27/108)/(23/(-4)). Is n less than c?
False
Suppose -502*y + 511*y - 2034 = 0. Which is smaller: 221 or y?
221
Let z = -41 + 40.5. Let h = -0.1 - z. Which is greater: h or -7/4?
h
Let q be (1771/147 - 12)/(((-18)/(-21))/3). Suppose d = -2*d. Let a be 1 + (-2 - (-1 + d)). Which is greate