*k/m. Is 2/5 less than b?
False
Suppose -6*l = -2*l - 8. Suppose 2*w = -0*w + 4. Suppose 4*j = -2*t + t - 17, -w*j - 22 = -4*t. Is l greater than t?
False
Let r = 5 - 3.1. Let p = r - -0.1. Which is smaller: p or -3?
-3
Suppose -5*b + 3*i - 6 = 0, 0 = -2*b - 2*i - 0 + 4. Is 11/10 equal to b?
False
Let n be 6/(-21)*1 + 0. Is n less than -2?
False
Let b = 28 + -32. Which is greater: -9 or b?
b
Let l = -88 + 99. Is 12 at least as big as l?
True
Let m = 44 + -44.1. Which is bigger: 2.9 or m?
2.9
Let q = 18 + -15. Which is bigger: q or 11?
11
Let h be (6/28)/(-1 + 4). Is h >= 0?
True
Suppose f = -f - m, 0 = -f - m. Do 2 and f have the same value?
False
Let g(m) = 2*m + 23. Let c be g(-10). Are c and 4 equal?
False
Let a be 21/(-35)*10/21. Let f = -5.86 + -0.14. Is f at most a?
True
Let i(m) = m**2 - 5*m + 3. Let j be i(5). Suppose 2*f + 3*z = -3, 4 = -3*f - j*z + 1. Which is greater: f or -1/22?
f
Suppose 4*s - d - 18 = -0*s, -s = -d - 6. Suppose -8 = 2*c + c + k, -5 = 3*c + s*k. Which is bigger: -7/2 or c?
c
Let v(p) = p - 1. Let y be v(4). Suppose 3*c - 20 = -2*c. Is c equal to y?
False
Let j be (-2)/(-24)*(-48)/18. Let m = 4 - 5. Let t be ((-1)/3)/(m/3). Is j bigger than t?
False
Let t = -16.03 + 16. Which is bigger: t or 1?
1
Let q = -20 + 20.32. Let c = -0.02 + q. Let o = c + -1.3. Which is smaller: 1 or o?
o
Suppose -5*k - 18 = -8*k. Suppose 0 = 2*b + 2 - k. Let c(h) = h**3 - 6*h**2 + 2*h - 9. Let y be c(6). Which is bigger: b or y?
y
Let l = -512/99 - -40/9. Is -2/3 greater than or equal to l?
True
Suppose 9*a - 36 = 405. Are 50 and a equal?
False
Let w be 1/(2 - 4 - -3). Let q be w*-1*(-28)/12. Which is smaller: 1/3 or q?
1/3
Suppose -4 = 5*u - 9. Let i = 0 - -4. Suppose 0*x + i = 2*x. Which is smaller: u or x?
u
Let c be (-2)/3 - (-29)/3. Let i be (-2 - (-24)/c)*-3. Suppose 0 = -4*u - 7*b + 4*b - 17, -12 = 4*b. Are u and i unequal?
False
Let d(r) = 2*r**3 - 29*r**2 - 14*r - 1. Let c be d(15). Is 12 <= c?
True
Let p = -6 - -11. Suppose -27 = p*m + 3. Let a be 5/30 - (-1)/m. Is 3/2 greater than or equal to a?
True
Let u = -9/10 + 61/90. Suppose 5*k + 6*f - f - 15 = 0, -3*k = -f + 11. Let w be (k/6*1)/1. Is u != w?
True
Suppose 7*x + 11*x - 36 = 0. Let c = 456 + -3184/7. Which is smaller: c or x?
c
Let c be 3 - 5 - 2/4*4. Let a be 2*(-22)/12 + 1. Which is greater: c or a?
a
Let k = 161 + -168. Which is smaller: -4 or k?
k
Suppose -2*z + 42 = -0*z. Let a = -23 + z. Is a less than or equal to -3/4?
True
Let l(x) = -5*x. Let w be l(-7). Let y be (8/(-5))/((-14)/w). Suppose -g - 5 = -y*r, -5*r + 2 = -3. Which is greater: 3/8 or g?
3/8
Suppose 7*d - 15 = 2*d. Suppose c - 3*b + 1 = 2*b, -b = 3*c + d. Which is smaller: -6 or c?
-6
Suppose 5*x = f + 27, 5*f - 9 = -x + 2*x. Let z be 4/x + 56/(-12). Suppose 5*d = -5 - 15. Are z and d unequal?
False
Let y be 3/((-270)/159)*3. Let h be ((-102)/20)/((-6)/(-8)). Let f = y - h. Which is greater: 0.2 or f?
f
Let f = -20 + 23. Is 3 less than f?
False
Suppose 5*g + 78 = 198. Let y be 80/g - (-1)/(-3). Is 2 at most y?
True
Let j = 57.7 - 55. Let p = -2.8 + j. Which is bigger: 2/3 or p?
2/3
Let d = -1011/7 - -144. Which is smaller: -1 or d?
-1
Let t = -1 - -3. Suppose 2*o - 5*s - 17 = 0, -2*o + t*s - 7 = 5*s. Is -2/5 less than o?
True
Suppose -5*v - 24 = -3*n, -3*n - 2*n = -v - 18. Let m be v/2*(-8)/6. Let x = m - 4. Which is bigger: 0 or x?
0
Let w = 0.3 + 0. Let g = 6 + -5.9. Which is smaller: g or w?
g
Let y = 1.94 - 1.9. Which is greater: -1/4 or y?
y
Suppose 12 = 4*w - 4*j, 3*w + 2*j - 30 = -6. Suppose -3*n = w, h - 2*n = 2*n + 7. Let s(b) = -b**3 + 7*b**2 + 1. Let g be s(7). Does h = g?
False
Let g be -2 + (-21 - (4 - 7)). Is g at most -21?
False
Suppose -5*m - 71 = 3*o, -4*m = 5*o - 5*m + 109. Let l be 8/(-6)*165/o. Which is smaller: l or 9?
9
Let y(o) = -o**3 - 7*o**2 - 5*o + 8. Let p be y(-6). Suppose -2*b - 3*v + 1 = -1, 0 = -2*b + 3*v + p. Let f be 2/3*12/(-56). Do b and f have the same value?
False
Let r be 0 + 0 - (-14)/(-1). Is r greater than or equal to -15?
True
Suppose 0 = 2*p - 5*p. Which is greater: 10 or p?
10
Let b = -10.16 + 0.16. Let d = b + 11. Does -1/3 = d?
False
Let k = 44 - 11. Is k not equal to 33?
False
Let w = 3819 - 171847/45. Let y = w - -5053/180. Let b = y + -28. Which is bigger: b or 1?
1
Let n(i) = -2*i**3 - 3*i**2 + i. Let z be n(3). Let y = -232/3 - z. Is y < -2?
False
Let i(v) = -v**2 - 14*v - 23. Let l be i(-12). Which is smaller: l or 2/41?
2/41
Let j be -3 + 1 + 2 + 3. Suppose 0 = d + 4*k - 8, j*k = -3*d - 0*d - 21. Which is smaller: d or -1?
d
Let f = -4 - -2. Let m be (1*-1)/((-4)/36). Let w = -10 + m. Which is greater: w or f?
w
Suppose 13*h - 19 = -6. Which is smaller: h or -4/5?
-4/5
Let g = -3 - -5. Suppose 2*h - 4 = 3*k, 3*h = -4*k - g*h + 33. Let q be -3 + 253/55 + 2/5. Is q <= k?
True
Let l = 1 + 0. Let o = -1 + l. Let a = 1 + o. Which is smaller: a or -2?
-2
Let z(i) = 3*i**2 - 3 - 4*i**2 - 7*i + 10 - 1. Let m be z(-8). Let s be ((-2)/(-8)*-2)/m. Which is greater: s or -0.1?
s
Let j = 7 - 11. Let u be (-1)/(-22)*j/6. Let m = u - 31/66. Which is smaller: m or -2?
-2
Let q be -1 + -1 + 9 + -12. Which is greater: -4 or q?
-4
Let g be (-1)/(-2)*1*-46. Let u be g/7 + 2/7. Let o be (-1)/1 + 2 - (-5 + 10). Are o and u non-equal?
True
Let a = 167/511 - 3/73. Is -3 < a?
True
Suppose -1 = -3*f + 6*f - 4*p, 0 = 2*f - 3*p. Which is greater: -17 or f?
f
Let f(d) be the third derivative of d**5/60 + 5*d**4/24 - d**3/2 + 3*d**2. Let a be f(-6). Suppose a = -x - 2*x. Which is smaller: 2/11 or x?
x
Let k = 3 + 6. Let d be (-4)/6 + 6/k. Suppose i + d = 1. Which is smaller: -2/5 or i?
-2/5
Let h = 0.6 + -1.3. Let o = 1.9 + h. Let u = -1 + o. Which is greater: u or 1?
1
Let b be 0/(-5) + 0 + 3. Suppose -n - b*n = -36. Is n at most as big as 8?
False
Let s be (4 + -2)*(-9)/45. Let i = 5/9 - 11/36. Are s and i unequal?
True
Let k = -15 + 18. Are k and 7/2 nonequal?
True
Let q be (12/6)/((-2)/264015). Let x = q + 53594927/203. Let h = x - 8/29. Is h less than -1?
False
Let w = -1.1 + 1. Let m = -22 + 28.9. Let r = w - m. Which is bigger: r or 1?
1
Let c(k) be the second derivative of k**5/120 - k**4/4 - k**3/3 + k. Let s(y) be the second derivative of c(y). Let t be s(7). Which is smaller: -2/9 or t?
-2/9
Let t = -0.5 + 0.48. Let d = t - 2.98. Which is smaller: 1/2 or d?
d
Let a = -7/88 + -1/22. Let g(p) = -3*p. Let d be g(0). Is d > a?
True
Let n = -14/72631 + 292599/581048. Let r = n - 5/111. Let w = r + -1/8. Does w = 1?
False
Suppose 3*h - 2*h + 9 = -2*s, -5*h = -5. Which is greater: s or -3?
-3
Let h = -22 - -21. Which is bigger: -4/11 or h?
-4/11
Let s = 1.06 + -0.06. Let j = 0.01 + 5.99. Which is smaller: j or s?
s
Let l = 80/3 + -27. Does l = -0.1?
False
Suppose 4*b - 3*b + 2*a + 1 = 0, -5*b - 53 = -2*a. Which is smaller: -8 or b?
b
Suppose 6*j - 2*j = 4*k + 56, j + 20 = -k. Is k at least as big as -17?
True
Let n = 3 - 2.8. Let l = 25.1232 - 0.0232. Let c = -25 + l. Is n <= c?
False
Let f be (-2)/(-7) + 2/(-7). Let s = 32/11 + -3. Which is greater: f or s?
f
Let u = 124/5 - 25. Suppose -2*b = -9*b. Is b < u?
False
Let t(b) = -b**3 - 6*b**2 + 7*b. Let l be t(-7). Let r be 10/(-12) + (-2 - -3). Which is bigger: r or l?
r
Suppose 2*w - 54 = -6. Is w at most as big as 24?
True
Let l = -559 + 43049/77. Is l < -1?
False
Let s = -19 - -21. Suppose s*p = p. Which is smaller: -1/6 or p?
-1/6
Let p = -28/15 + 463/240. Is p less than or equal to 1?
True
Suppose 5*j + 5*z + 70 = 0, 0*z - 5*z = j + 22. Suppose 18 = -q + 7. Which is smaller: q or j?
j
Suppose -3*i + 16 = y + 3, 2*i = 8. Let f(s) = -s - 5. Let j be f(-4). Is y equal to j?
False
Let a(j) = -j**2 - 4*j - 8. Let d be a(-6). Let z(b) = b**3 + b - 19. Let c be z(0). Is c at most as big as d?
False
Let c = 0.5 + 0.7. Let z = -4.2 + c. Let f = 4 + -6. Which is smaller: z or f?
z
Let p = 14 - 12. Is 2 greater than p?
False
Suppose -3*u + 56 = u. Which is smaller: 27/2 or u?
27/2
Let z(v) = -3*v**3 - v**2 + v. Let h be z(-1). Is h at least 0?
True
Let j(u) = -u**2 + 8*u + 7. Let d be j(8). Let t = 1 - -3. Let h = t - d. Which is greater: -4 or h?
h
Suppose 21 = -3*b - v, 1 = v - 2. Which is smaller: b or -11?
-11
Suppose -4*j + 23 = 5*s + 2, -4*j = 2*s - 6. Suppose -2*r + 5*q - 11 = -s*r, -4*r + 3 = -5*q. Is r less than or eq