 12*m - 20. Is 2 less than m?
True
Let b(r) = -r**3 + 4*r**2 + 5*r - 6. Let o be b(4). Let m = o - 21. Which is smaller: m or -6?
m
Let v be (-1)/(-2) + (-76)/184. Suppose -2*x - 20 = 3*x + 3*c, -x = -4*c - 19. Which is smaller: v or x?
x
Let j = 2 - 0. Let r(g) = g**2 + 5*g + 7. Let p be r(-3). Which is smaller: j or p?
p
Suppose -36 = -9*m - 90. Which is greater: m or -5?
-5
Let o = -127/4 + 32. Is 4 greater than o?
True
Let l be (0/2)/(-3 + -1 - -2). Are l and -2/79 non-equal?
True
Let t = -13.1 + 13. Is t >= -20?
True
Let b = 1596/11 + -145. Do b and 0 have different values?
True
Let z = -56 + 55. Let j = 15 + -61/4. Which is smaller: z or j?
z
Let k = 0.87 + -0.97. Which is bigger: 73 or k?
73
Suppose 0 = 3*n + 3. Let b(m) = 4*m**3 + 2*m**2 - 1. Let l be b(n). Is -2 <= l?
False
Let u = -4 + 4.2. Let c = 11/3 - 3. Is c bigger than u?
True
Let m be (-87)/(-84) + (-4)/14. Suppose 14 = 2*x + 10. Which is greater: m or x?
x
Let h = 25 - 24. Let f(j) = j**3 + 2*j**2 + j + 2. Suppose 0 = -y + 3*b - 14, y = -2*b - 0*b + 6. Let o be f(y). Is h >= o?
True
Let k = 16 - 14. Suppose k*x + q = -9, -4*x + q = 1 + 2. Let d = 0 + -2. Do x and d have different values?
False
Suppose 2 = -4*o - 14. Which is bigger: o or -8?
o
Suppose 2 = -0*d - 2*d, -3*b + d = 14. Let a be b + 2 + (-26)/(-8). Which is smaller: 1 or a?
a
Let o = -204556 + 37229077/182. Let u = o - -9/26. Does 1 = u?
False
Suppose 0 = -z - 0 + 1. Let c = -32/15 - -9/5. Is z > c?
True
Let k = 112 - 108.96. Let a = 3 - k. Let c = 1.96 - a. Is c less than or equal to 2?
True
Suppose 3*j = 3*a - 3, -a - 3*j + 18 = 3*a. Which is smaller: a or 17/10?
17/10
Let k(d) = d**3 + 6*d**2 + d - 3. Let y(p) = p**2 - 1. Let l(x) = k(x) - 5*y(x). Let a be l(0). Suppose -a*w + 1 = -1. Is w equal to 2?
False
Let s = 34 + -19. Suppose 4*g = -3*p + 44, -5*p - 3*g = -88 + 11. Is s greater than p?
False
Suppose 0*i = 5*i. Suppose i = 2*x - 2. Which is smaller: -1/3 or x?
-1/3
Let s be (6/4)/((-12)/(-32)). Suppose 3*r = -m + s, 5*r - 4*m = 16 + 19. Let x be r*(-3)/((-6)/2). Is 4 < x?
False
Let z(h) be the first derivative of h**3/3 + 7*h**2/2 + h - 2. Let y be z(-7). Which is greater: y or 0?
y
Let t(x) = -x**2 + 11*x - 19. Let m be t(9). Is m greater than 1/4?
False
Suppose -5*l + 8 = 4*z - 11, -2*z - 10 = -4*l. Suppose l*i - 83 = s - 20, -4*s = 3*i - 63. Which is bigger: 22 or i?
22
Let y be 6*8 + 1 + -5. Does 44 = y?
True
Suppose 2*t = 7*t - 25. Let f be t/(120/93) + -4. Is -1 smaller than f?
True
Let z be 9*((-35)/33 + 7 + -6). Is z less than 0?
True
Suppose -2*y + 6*y + 8 = 0. Let x be (3 - -3)/(3/y). Do x and -4 have different values?
False
Suppose 0 = 3*q - 2*h - 108, 3*h - 36 = -q + 4*h. Are 36 and q unequal?
False
Let t = 25 + -4. Let y = t - 21.1. Is y less than 0?
True
Suppose 7 + 14 = 2*a - 3*h, 0 = -3*a + 2*h + 19. Suppose -2*p + 2*z = 6, -5*z - 3 = -p - 2*z. Let v be p/((-9)/2 - -3). Which is smaller: v or a?
a
Suppose 4*w - 3*w = 21. Is w greater than 1?
True
Suppose -15 = -0*u + 3*u. Let y be ((-20)/(-50))/(1/(-15)). Which is bigger: u or y?
u
Let u = 1.3 + -0.3. Let y = -21.1 - -22. Let c = u - y. Is 0.2 less than or equal to c?
False
Let g(b) = b**2 + 2*b. Let z = 5 - 1. Suppose a = z*a + 6. Let v be g(a). Which is smaller: 4/7 or v?
v
Suppose 3*t - 6 + 2 = f, -2*t + 6 = 0. Is 3 at least as big as f?
False
Let c = -5.3 - -6. Which is bigger: c or 13?
13
Let r be ((-4)/6)/((-1)/6). Suppose 2*y = 2*q + 2, 2*y + r = 2*q - 3*q. Suppose z + 2 = -3*x, -5*z = -7*x + 4*x + 10. Is y less than or equal to x?
True
Let k be 1*(1 - 556/(-6)). Let p(b) = -95*b**2. Let o be p(1). Let d = o + k. Is d != -1?
True
Let d = 2 + 0. Let p = -1 - -3. Is d equal to p?
True
Let g be 3*(-1)/((-12)/(-32)). Do g and -10 have the same value?
False
Let o = -5.04 + 0.04. Let t = o - -2. Is -0.1 > t?
True
Let x be (-1)/(-23)*91/(-63). Let g = x + 4/23. Which is smaller: 0 or g?
0
Suppose -5*f = -0 - 25. Let g be 26/8 - 2/8. Is g greater than f?
False
Let r be -1 - (-2)/8*-3. Let c(m) = m + 9. Let h be c(-10). Does h = r?
False
Let c = 35 + -139/4. Let f be 10 + -1 - 1 - 0. Suppose -2*x = 2*k - 6*k - 10, -3*k - f = -2*x. Which is bigger: c or x?
x
Let s(y) = -y**2 + 7*y + 21. Let a be s(10). Let x = a + 11. Does x = -2?
False
Let r be (-105)/516 + (-2)/(-8). Is 0 at most as big as r?
True
Let b = 15 + -27. Which is greater: b or -13?
b
Let s = -22 + 23. Let r = -4 + 6. Which is greater: r or s?
r
Suppose -p = -c + 5*c + 87, -10 = -2*p. Let i = -314 + 291. Is c at most as big as i?
True
Suppose 0*b = 5*y + 3*b - 24, 5*y + 2*b = 21. Suppose -4 = -17*d + 16*d. Is d not equal to y?
True
Let c = 2.39 - 0.29. Let y = c - 2. Let x = -0.003 + 0.303. Is y < x?
True
Let x = 8 + -5. Suppose -2*f + 20 = x*f, c = -3*f + 7. Let t = 6 + c. Is 3/2 equal to t?
False
Let r = 0.17 - -1.23. Which is bigger: -1 or r?
r
Suppose -5*q + b + 17 - 1 = 0, 4*b = 2*q + 8. Let y(r) = r + 5. Let i be y(-4). Let p be (3/(-9))/(i/(-6)). Is q less than p?
False
Let z = -18 - -18.09. Let c = z - 0.39. Which is smaller: c or -0.2?
c
Suppose 0 = -0*k + 4*k - 8. Let h be (13/k)/((-2)/(-8)). Suppose 12 = -g + 5*x - 10, h = -3*g + 5*x. Which is bigger: g or 0?
0
Suppose 0 = -3*t - t + 12. Suppose k - t = -11. Let j be (k/(-84))/((-2)/(-3)). Is j at most as big as 1?
True
Let c = -1.8 + 2.8. Which is greater: -1/7 or c?
c
Let c(a) = a**3 + 6*a**2 - 8*a - 5. Let r be c(-7). Let j be 16/(-184) - 0/r. Suppose 3*u + 13 = 6*u + 5*o, 5*u - 3*o = -1. Which is smaller: j or u?
j
Let j(f) = -f**3 - 4*f**2 + 2*f - 14. Let d be j(-5). Is d not equal to 11/6?
True
Let q be 9/4*160/30. Suppose -3*o = -0*o + q. Is 0 equal to o?
False
Suppose -2*q = -q. Let v = 133/27 - 5. Which is greater: q or v?
q
Let u be 46/(-60) - (-3)/18. Let v be 3/((-33)/6 + 1). Is v != u?
True
Let b(n) = -n - 8. Let c be b(-10). Suppose 0 = -9*r + 5*r. Are c and r equal?
False
Let j = -0.03 - -0.16. Let s = -5.03 - -5. Let q = s + j. Is q less than -2/9?
False
Let w be (4 + -7)/(6/(-8)). Let m be 2/(-8) - (-2)/8. Which is greater: m or w?
w
Suppose 3*t - 51 = 4*c, 3*t = 5*c + 64 - 4. Is c >= -9?
True
Let d = 22 + -20. Suppose 0 = -2*x + d*y - 2, 2*x + y - 1 = 3. Which is smaller: x or 2/5?
2/5
Let i = -0.3 + 2.8. Let s = 0.5 - i. Is 0 less than s?
False
Let k = -7 + 9. Let x be (-2 + (-6)/(-3))/k. Which is smaller: x or -3/4?
-3/4
Let r be (-8)/((-24)/(-6))*1/(-2). Suppose 1 = -3*h - 2. Which is smaller: r or h?
h
Let l be 1*(-16018)/(-102)*-3. Let m = -471 - l. Which is bigger: -1 or m?
m
Let u = -139 + 143.95. Let c = -2.9 + u. Let o = -0.05 + c. Which is greater: 0.1 or o?
o
Let a = 20 + -18. Which is smaller: 0.03 or a?
0.03
Let j be (-35)/(-14)*(-8)/(-5). Suppose 11 - 35 = -j*g. Suppose 0 = c, g*c - c = 4*z. Which is smaller: z or -1/4?
-1/4
Suppose 8 = -5*l - 2*o, -o = 5*l - 6*o + 15. Let g = 3 - l. Which is smaller: g or 7?
g
Suppose -5*r = s + 7, 4*r = -5*s - 0*r + 7. Let l be -5*((-3)/(-3) - 2). Which is smaller: l or s?
s
Let q(t) = -t - 3. Let c be q(-6). Which is smaller: c or 4?
c
Suppose -4*y + 42 = -14. Is 14 bigger than y?
False
Suppose -k - 3*k + 8 = 0. Suppose 0 = 5*o + k*t + 1, 5*t = 5*o + 13 + 2. Let g be (5/3 - 1)/(-2). Which is bigger: o or g?
g
Suppose -3*f = 2*f - 20. Suppose p + f*p = 0. Let a = -1.9 - -2. Which is greater: p or a?
a
Let k be -2*(6/4 - 2). Let w = 0.21 - 0.11. Is k at least w?
True
Let d be (-576)/99 - (-4)/(-22). Which is greater: -28/5 or d?
-28/5
Let c be 14/35 + 18/5. Let w = -6 + c. Which is smaller: 0.1 or w?
w
Let y(g) = g + 3. Let d be y(7). Let n be (2/(-3))/((-6)/54). Suppose -i + d = -n*i. Which is greater: -1 or i?
-1
Let m be 336/(-414) + 3/9. Let r = 1/46 - m. Is r >= 0?
True
Let y be (14/(-6))/(10/30). Which is bigger: -2 or y?
-2
Let g be (-5)/10 - 5/(-2). Which is smaller: 8/5 or g?
8/5
Let u = -30 + -39. Let o be -6*(u/33 - -2). Is o >= 2?
False
Let s be (-8)/(-36) + (-1)/(-36). Suppose 2 = -o + 5. Suppose o*j = -j. Is s >= j?
True
Suppose -10 = 2*h + 3*u, -3*h = -4*h + 2*u + 2. Which is smaller: -11/6 or h?
h
Let p(k) = -2*k + 14. Let v be p(7). Let a = 20 - 104/5. Which is smaller: v or a?
a
Let j(s) = s**3 - 5*s**2 - 6*s - 6. Let h be -2*1 + (-2 - -10). Let d be j(h). Let u be (-4)/d + (-1)/1. Which is smaller: 1 or u?
u
Suppose s + 27 = 4*s. 