 >= a?
True
Suppose 0*z - 4*l - 2 = -2*z, -z - 3 = -4*l. Suppose z*a + 17 + 63 = 0. Does a = -14?
False
Let k be -2*(-1)/(-4)*22/33. Let d be (-5)/(-10) - (-27)/2. Suppose 4*l - d = 2*f, 0*l + 4*l + 7 = -5*f. Is k less than f?
False
Let a be (-5)/40 - (-7)/(4200/99). Which is greater: -1 or a?
a
Let i(o) = o**3 + 13*o**2 - 5*o + 125. Let z be i(-14). Which is smaller: 1/58 or z?
z
Let d(y) = -8*y**3 - 2*y + 1. Let j be d(1). Let f = -78 + 78. Suppose f = 4*i - 13 + 49. Is i less than or equal to j?
True
Let z be 3*(1/(-3) + -1). Let n be ((-3)/14)/(2/z). Suppose 346*u = 335*u + 11. Which is smaller: n or u?
n
Let q be 18/(-90) - (-309)/(-330). Which is bigger: -1 or q?
-1
Let f = -231.4 + 231.3. Is 1.5 > f?
True
Let f be 3/4*-3*(-204)/27. Which is smaller: -5/8 or f?
-5/8
Let b = 24 + -24. Which is bigger: 1/128 or b?
1/128
Let d = 1015 - 4840. Let b = 9 - 13. Let s be 10/b*(-36)/d. Are 1 and s unequal?
True
Suppose -2*w - 1 = 5*m + w, 3*w + 6 = 0. Suppose -m = 3*k - 7. Let g(u) = -2*u**3 + 4*u**2 - 3*u + 2. Let t be g(k). Which is smaller: -3 or t?
t
Suppose 2*h - 5*b = 9, 1 = -2*h + b + 6. Let a be 10/h + (6 - 7). Let g be a/(-16) + (-6)/8. Which is smaller: g or -5/3?
-5/3
Let n be -1*2*(-1)/6. Let s = -80 + 37. Let a = 37 + s. Is a less than n?
True
Let p(w) = -2*w - 2. Let d be p(-4). Suppose -10 - d = q. Let j = q - -76/5. Is 0 greater than or equal to j?
True
Suppose 40 = -3*t + 8*t. Let u = 12 + t. Let i = -35 + u. Is i at least -15?
True
Let j(d) = 2 - 8*d - 5 + 2*d**2 - d**2 + 13. Let w be j(5). Which is bigger: 0.1 or w?
0.1
Let b = 0.43 + -8.43. Let h = 0.2 - 8.2. Let v = b + h. Which is smaller: 2 or v?
v
Let f be -3*3/(-9)*1. Suppose -6*m + m = -20. Suppose -m*j = -12 + 44. Are f and j non-equal?
True
Suppose 3*w + 5*t + 6 = 13, 50 = -5*w + 4*t. Suppose 5*a - 26 = -0*a + 2*n, -14 = -2*a + 2*n. Suppose a*d - 8*d - 32 = 0. Which is smaller: d or w?
d
Let u(c) = -c - 105. Let r be u(-3). Which is greater: r or -513/5?
r
Suppose 12*o - 6*o - 24 = 0. Let j be 1/o*-1 - 81/(-36). Which is smaller: -13/3 or j?
-13/3
Let f = -0.43 + 10.43. Which is smaller: -0.05 or f?
-0.05
Let h be (-4)/(0 - 4) - -86. Let m = h - 89. Which is smaller: 2 or m?
m
Suppose 5*j = -14 + 19. Suppose 10*x + 39 + j = 0. Do -36/13 and x have the same value?
False
Suppose -163 = h - 158. Is h at most as big as -6?
False
Let v(r) = -r**2 + 16*r + 16. Let o be v(15). Suppose -3*t + 5*t + k = 62, -150 = -5*t - 5*k. Which is bigger: t or o?
t
Let g(w) = w**3 + 14*w**2 + 16*w - 1. Let f be g(-13). Let s be (f/(-2))/(-5) + 6. Is 27 less than s?
False
Suppose b = 3*y - 404, -3*b - b - 1564 = y. Let m be (-4)/14 + (-7)/(b/996). Which is bigger: 19 or m?
19
Let i(g) be the first derivative of g**4/2 - 2*g**3 + g**2/2 + 4*g + 88. Let z be i(2). Suppose 10 = 4*v - 5*x - 0*x, -5*v + 2*x = -21. Is z greater than v?
False
Let c = 759 + -767. Which is bigger: 1 or c?
1
Let j = -407.99 + 409. Which is bigger: j or -1/4?
j
Let c = 0.067 + 0.033. Is -2 greater than or equal to c?
False
Let j(b) = -b + 70. Let z be j(0). Let f be (-1)/z + (-3)/15. Let n(u) = -u**3 + 3*u**2 - 1. Let a be n(3). Does a = f?
False
Suppose 0 = 85*y - 22*y + 630. Let p be -1*(-3)/(-9) + 1. Does y = p?
False
Suppose 5*v = v + 6*v. Let b = -3 + 5. Let x = 2.25 - b. Are v and x nonequal?
True
Suppose 19 = -4*d + k, 4*d + 15 = -k + 6*k. Let r be (d/(-10))/(0 + 2). Let u = 150 + -153. Which is bigger: u or r?
r
Let z be 3 - (2/(-16) + 575/184). Let h be 1/(-4) + 20/(-112). Which is bigger: z or h?
z
Let q = -75 + 130. Let n = 54.9 - q. Is n at least 6?
False
Let a = 1037 - 7257/7. Which is smaller: 13 or a?
a
Suppose 0*m = 2*b + m - 38, 0 = -3*b + 5*m + 70. Suppose -c + 5*x + b = -3*c, -20 = 4*c + 5*x. Is 0.093 greater than c?
True
Suppose -3*u + 3*j - 15 + 48 = 0, 5*u = 3*j + 47. Suppose 2*c - 7 + u = 0. Which is bigger: 73 or c?
73
Let j = 181746/163 + -1115. Let n = 311/2445 + j. Does -1 = n?
False
Suppose 0 = 2*x - 4 + 12. Suppose k - 17 = -2*j, -k = -6*k + 25. Let v be j/(-2) - (2 - 1). Is v less than x?
False
Let o be -5 + 654/78 + -3. Suppose 4*u - 5*g + 28 = u, -5*u + g - 10 = 0. Which is bigger: u or o?
o
Let u be (0 - 2)/(-2)*(-3)/12. Is u less than -2/139?
True
Let s = 181 - 181.02. Are s and -1.6 equal?
False
Let v be (5/35)/(6/(-1866)). Which is greater: v or -43?
-43
Let p(t) = -3*t + 29. Suppose 28*z = 23*z + 50. Let o be p(z). Let r = 20 - 9. Which is greater: o or r?
r
Suppose g = 5*a - 6*a - 2, 0 = -g + 3*a + 6. Which is bigger: g or -1/739?
g
Suppose -5*d - 5*j = -105, -d + 0 + 9 = -3*j. Let q be d/(-3)*1/3. Let c be (-25)/2*2/40. Which is smaller: c or q?
q
Let d be 5 + -8 - (-153)/3. Let h be 4/(-14) - d/(-1050). Which is smaller: h or -1?
-1
Let y be (81/12)/((-21)/(-56)). Is 23 smaller than y?
False
Let i = -85 - -33. Which is greater: -50 or i?
-50
Let l = -56607987 - -621446171/11. Let j = -112795 - l. Let q = j - 85. Which is smaller: 0 or q?
0
Let p(d) = d**2 + 8*d + 7. Let c be p(-8). Suppose -2*m = -c*m + t + 161, 173 = 5*m + 2*t. Let y be 9/(-4)*(-88)/m. Are y and 11/2 non-equal?
True
Let v = -0.29 + 0.34. Let l = -0.05 - v. Is 2 smaller than l?
False
Let t = -462 - -487. Let h(a) = -3*a**2 + 2 - 5 - 8*a**3 + 6*a**3. Let n be h(-3). Is t > n?
True
Let s = -1033 - -1036. Let w = 0 + 1. Which is greater: w or s?
s
Suppose -5*u = -16*u + 55. Suppose 4*g + 3*p - 2 = 4, -3*g - 1 = u*p. Is g <= 34/9?
True
Let x be (-6)/4 + 162/108. Let p be 1 - (-2 - 2/(-6)). Let w = p - 19/6. Is x less than w?
False
Let o(m) = -18*m - 1. Let s(l) = l**3 + 7*l**2 - 1. Let y be s(-7). Let b be o(y). Let n = -18 + b. Which is smaller: -9/5 or n?
-9/5
Suppose 0*a - 2*k + 94 = 2*a, -5*a + 255 = -5*k. Let h = a + -61. Are -15 and h equal?
False
Let l = -553 + 900. Let j = 242 - l. Is 1 less than j?
False
Let y = -122 + 125. Which is smaller: 1 or y?
1
Let r be (63/(15/5))/(2/4). Suppose 4*z - 217 = -b + 3, -5*b = -20. Suppose h - r + z = 0. Is h at most -12?
True
Let u(c) = 21*c**2 - 3*c + 10. Let x be u(3). Let l be (2/615)/((-19)/x). Which is bigger: l or -1?
l
Let r = 19 + -30. Let d(g) = 5*g - 7*g**3 + 6*g**3 - 10*g**2 + 10 + 7*g. Let m be d(r). Which is smaller: m or -2?
-2
Let s = 56 + 39. Let l = s + -473/5. Which is greater: l or -10?
l
Let c be (1 - 3) + 100/3. Let m = c + -32. Is m less than or equal to 0.3?
True
Let v be (15/(-9) + 1)*147. Let q = -3060/107 - 66941/963. Let z = v - q. Which is smaller: z or -1?
-1
Let d = 0.59 - -0.01. Let a(l) = 0*l - l + 16 + 2*l. Let c be a(-16). Which is bigger: d or c?
d
Suppose -3*q - 107 = 154. Let b be (-2)/q + 0/23. Is 1 at most as big as b?
False
Let c be -9 + (3 - 0/(-9)). Which is smaller: c or -94?
-94
Let u be 24/(-16) - (-4)/(8/3). Let r = 164/7 + -3137/133. Which is smaller: u or r?
r
Suppose 5*h = 3*v + 11, 0*v + 4*h - 13 = 3*v. Let x be (7/(-4))/(v/(-28)). Is -8 at least as big as x?
False
Suppose 0 = -2*d + l + 3, -d + 3*l = 2*l - 1. Let a be ((-2)/(4/(-9)))/((-15)/(-30)). Let h = a + -4. Is d < h?
True
Let m = -1168 + 1119. Which is greater: -53 or m?
m
Let r = 30.24 - 0.24. Let a = 30.16 - r. Which is smaller: 1/2 or a?
a
Suppose 320 = -5*i + 60. Let x = i - -55. Which is greater: 28/11 or x?
x
Suppose -69 + 13 = 4*u - 5*z, 2*z = 2*u + 26. Let s be (-2)/u + (-25)/(-9). Suppose 27*b = 24*b - s. Which is smaller: b or 1/5?
b
Let k be 7/(-14) + 460/8. Which is bigger: k or 61?
61
Let r(w) = -w**3 + 17*w**2 - 18. Let q be r(17). Let g = q - -17. Is -2.5 greater than or equal to g?
False
Let w be (8 - 10)/(-4 + 2). Is 2/265 at least w?
False
Let m = -1174/9 + 181988/1395. Which is bigger: 0 or m?
m
Let z = -16 + -8. Let t be 1*-14 - (15 - 4). Which is smaller: t or z?
t
Let w be 45/(3/9*3). Let y be 3/(-6) - w/6. Let v be (y/10)/(6/(-15)). Is 0 smaller than v?
True
Let b = -324 - -318. Is b at most as big as -11?
False
Let l = -521 - -523. Let s(k) = k + 5. Let n be s(-6). Is n smaller than l?
True
Suppose 0 = -2*b - 8 + 626. Let q = 4022/13 - b. Which is greater: q or 0?
q
Let r = 203/40 - 79/8. Let t be (-2)/(-4) - 7/2. Let o(u) = u - 1. Let w be o(t). Which is bigger: w or r?
w
Suppose 0 = -4*s + 3*s. Let m be ((-4 - s) + -5)/(-1). Let v = m - 32. Is v less than or equal to -23?
True
Let m be 2*((-2 - 0) + 4). Suppose -m*w - 2*s = -0 + 2, -