 3*b - l + 4. Is f <= 0?
True
Let d be ((-372)/(-53) - 7)/((-2)/(-2)). Is -1 less than d?
True
Let j be ((2 + -70)/(-2))/14. Is j < 3?
True
Suppose 2*d = 3*f - 23, 77 = -5*d + 4*f - 3*f. Let x = d + 11. Which is bigger: x or -3?
-3
Let k(g) = g - 10. Let i be k(11). Is 1 less than or equal to i?
True
Suppose -9*b - 42 = -10*b. Is b at most as big as 41?
False
Let z = 6.5 + -12. Let o = z - -6. Let j = o - 0.51. Which is smaller: -1/3 or j?
-1/3
Let f = 7228 - 72401/10. Let r = -23/2 - f. Let d = 3 + -1. Is r greater than or equal to d?
False
Let p(s) = 11*s + 7. Let y be p(-1). Do -7 and y have the same value?
False
Let w(m) = 2*m**2 + 9*m. Let d be w(-6). Which is greater: 0 or d?
d
Let o = 0 + 0. Let i = 1 - o. Which is smaller: 0.1 or i?
0.1
Let h = 46/9 + -247/36. Suppose 5*d + 1 + 4 = 0. Which is greater: d or h?
d
Suppose 2*j + 4 = -4*l - 10, 4*j - 24 = 5*l. Let c = j + -2. Let y be 1*(-4 - -3)*1. Is c less than y?
False
Let w be 84/(-6)*3/6. Suppose 28 = -2*c - 0*c + 5*z, 2*z = 5*c + 49. Is w equal to c?
False
Let g = 8 + -2. Let u = -7 + g. Is -2 at most as big as u?
True
Suppose 0 = -3*m - 13 - 11. Which is smaller: m or -10?
-10
Let k = 2.35 - 0.35. Which is smaller: -4/5 or k?
-4/5
Let v(d) = -d**2 + 9*d - 7. Let c be v(8). Which is smaller: c or -2/25?
-2/25
Let z(v) = -v**3 - 6*v**2 - 5*v + 3. Let u be z(-5). Let t = u + 2. Suppose 0*b = b - 5. Is t at least as big as b?
True
Let g(v) = -v**3 - 2*v**2 + 2*v - 1. Let r be g(1). Let y(p) = -p**3 - p**2 + p - 2. Let l be y(r). Suppose -3*h + 6*h = l. Which is greater: h or 1/13?
1/13
Let y = 6 + -5. Let j be (759/18)/11 - 4. Which is smaller: y or j?
j
Let q = -90 - -90. Let x = -0.3 - 0.2. Let o = 0.1 + x. Are o and q unequal?
True
Let j = 13/99 - 2/9. Which is greater: 0 or j?
0
Suppose 0 = -5*v - 7*s + 2*s + 275, 4*v - s = 195. Is v > 48?
True
Let p = 731/35 + -103/5. Let g(o) = o + 2. Let c be g(-2). Which is greater: c or p?
p
Let d be (-2 - -5) + 30/18. Is d greater than or equal to 4?
True
Let m be (-2 - 20/(-8))*(0 + -2). Which is bigger: m or 19?
19
Let h = -9/14 - 1/2. Suppose 0 = 4*p - 9*p. Which is bigger: h or p?
p
Suppose 3*q = -q + 280. Let l = q + -212/3. Is 1/4 greater than l?
True
Let h be -2 + -3 + 16 + (-3 - 1). Which is greater: 6 or h?
h
Let k = -40 - -39.58. Let y = 0.5 + k. Is y < -1?
False
Let i be 2/(1 - (-1431)/(-1437)). Suppose 6*x = 4*x - 3*n + i, 3*x - 4*n - 744 = 0. Let o = 3170/13 - x. Are 0 and o nonequal?
True
Let y be 2/6*0/(-3). Let x = 2178/17 - 128. Which is greater: x or y?
x
Let t = -1032 - -26835/26. Let v = t + -8/13. Let n be ((-3)/(-4))/(-1) + 18/56. Is v equal to n?
False
Let v = -1036651517482147/18028626100404 + -2/5516715453. Let t = v - -1/3268. Let d = -56 - t. Which is smaller: 2 or d?
d
Let p = -33 + 18. Let y = -12 - p. Suppose 3 = 2*x - 4*s - 5, 5*x - 3*s - 6 = 0. Which is smaller: y or x?
x
Suppose -4*j + 14 = -9*v + 7*v, 0 = -5*v + j - 8. Suppose 0 = -3*s - 2*n + 5, -4*n - 4 - 31 = -3*s. Let r = s + -8. Which is greater: v or r?
v
Let j(d) = d**3 - 2*d**2 - 3*d - 1. Let i be j(3). Suppose -5*q - 485 = -t + 6*t, -4*t + 4*q = 356. Let w = t - -274/3. Is w less than or equal to i?
True
Let w be -4 - -8*(-3)/(-6). Which is greater: w or -4/19?
w
Let o = -204 - -821/4. Is o != 2?
True
Suppose -5*l = -4*r + 4, 6*l = 4*r + 2*l. Let b = r - -5. Which is bigger: -1 or b?
b
Let s = -56.3 - -56. Let c = -0.8 - -3.8. Is s not equal to c?
True
Suppose 5*k - 4 = 16. Suppose k*d - 6*d + 10 = 0. Is d less than 5?
False
Let k(f) = -f**2 - 6*f - 4. Let g be k(-3). Suppose 3 + 3 = -2*h, -4*c - g*h = 15. Let r be -1 + (-1 - -1) + 3. Which is smaller: c or r?
c
Suppose -4*x - 59 = 9. Let g = -11 - x. Let v be (-1 - (-21)/24)*g. Is -1 less than v?
True
Let m = 25 - 29. Let u = -7 + 3. Let t be (m/20)/(u/(-10)). Which is bigger: -1 or t?
t
Suppose -5*u - 23 = 3*s, -5*s + u + 1 = 2. Let d = 6 + -4. Let h = d + 0. Which is bigger: h or s?
h
Suppose 5*r = -4*l - l + 310, -l + 62 = -5*r. Is 62 greater than or equal to l?
True
Let d(v) = 3*v + 22. Let n be d(-7). Which is bigger: n or -6/7?
n
Let i be 88/594*((-110)/52 - -2). Does 1 = i?
False
Let x = -3.03 - -0.03. Let s be (-2)/(-12)*31/(-1). Let w = 9/2 + s. Which is greater: x or w?
w
Let c = -129 - -129. Is -1/60 less than c?
True
Let o = -12 + -11. Let g = o + 27.2. Let y = g - 4. Are y and -0.1 unequal?
True
Suppose 3 + 5 = 4*w. Suppose -j = -5*s - 11 + w, 2 = -s. Suppose g + 4*o + o + 22 = 0, 5*g = -3*o - 22. Which is bigger: g or j?
j
Let o = 232/685 + -1143784/11645. Let m be (-8)/10*(2072/(-16) + 7). Let x = o + m. Which is smaller: 1 or x?
x
Let u(p) = p - 6. Let o be u(5). Which is bigger: -1/38 or o?
-1/38
Let z = -31 + 49. Suppose f + 5*i - 3 - 3 = 0, -z = -3*f - 5*i. Which is smaller: f or 7?
f
Let o(x) = -x**3 + 8*x**2 + 2*x - 9. Let r be o(8). Suppose -4*z - 128 = -r*n + 3*n, 4*n - 101 = -5*z. Suppose 4*u - 5 = -n. Is u at most as big as -7?
False
Suppose -2*w - w + 156 = 0. Is 53 <= w?
False
Suppose -2*t + 4 = -4*t. Let p be (-1 - -3)*t/22. Do -1 and p have different values?
True
Let a be 517/173 + 0 - 3. Which is bigger: a or 0?
0
Suppose -4*f = -7*f - 3. Is f > 1/22?
False
Let g(h) = h - 15. Let v be g(13). Let p = 4 - 3. Which is bigger: v or p?
p
Let u = 72 + 18. Is 89 bigger than u?
False
Let g = 6 + 9. Which is bigger: 16 or g?
16
Let n(i) = i**2 - 10*i - 2. Suppose h + 0*h = 3, -4*d = -3*h - 31. Let r be n(d). Which is greater: r or -1?
-1
Let v = 69/34 + -9/17. Let r be 1*(4/5)/2. Which is greater: r or v?
v
Suppose k = -1 - 3. Let c be ((-12)/(-8))/(2/k). Let d = c - -2. Which is smaller: d or -2?
-2
Let f = -26 - -38. Let t be -3*(-2)/f*2. Let z be (-16)/(-7) - (t + 1). Is 1/2 < z?
False
Suppose 4*b = 2*r - 0*r + 38, r = 5*b - 25. Does -2/3 = r?
False
Let o be 2/4 + (-13)/2. Let l be 4/o - (-2)/(-6). Which is greater: l or -3/10?
-3/10
Let t = 7/37 - 61/518. Is 0 <= t?
True
Let y = -2.2 + 3.9. Which is bigger: 1 or y?
y
Let b = 3 - 0. Let q(p) = -p + 10. Let d be q(8). Which is smaller: d or b?
d
Let a = 3.2 + -4. Let r = a - -0.4. Let p = 5 + -6. Which is greater: p or r?
r
Suppose 4*j = 7 + 5. Suppose j*f - 32 = 4*u, 0*f - 2*u = -2*f + 18. Let p = f - 6. Which is greater: -1/2 or p?
-1/2
Let r(a) = a**3 - 2*a**2 + a. Let x be 0 + -1 - (0 - 2). Let d be r(x). Let n(k) = -k**3 - 7*k**2 - 7*k - 6. Let s be n(-6). Is d at most s?
True
Let c = 49 + -48. Let i be (-1 + 0)/(1/3). Let n be i/((1 - 0) + 0). Is n bigger than c?
False
Suppose 0 = 6*u - 39 + 9. Suppose -u*d = -10*d + 30. Does d = 6?
True
Let k be ((-86)/(-69))/(24/9). Let q = k + -5/23. Let y = q + 1/28. Which is smaller: 2 or y?
y
Let x = 0.04 + 0.16. Let d = x - 0.2. Which is bigger: d or 2?
2
Let g = -0.47 - 0.13. Let m = g + -5.4. Which is smaller: 1 or m?
m
Let d be 2/(9/((-81)/30)). Let n be (2 - 2)*(-2)/4. Is n bigger than d?
True
Let t = -34 + 30. Do 1 and t have the same value?
False
Let c = -57 - -82. Which is smaller: c or 26?
c
Let u = -4 + 3. Let h = 0.7 + u. Are h and 1 nonequal?
True
Suppose 0*m - 2*m = -62. Let f = -94/3 + m. Which is smaller: 0 or f?
f
Let t = -4 - -4. Let q(d) = -d**2 - d - 1. Let k be q(0). Let a = k + t. Which is smaller: -1/5 or a?
a
Let d = -2.99 - 0.01. Let p = -1 - d. Let h = p + -2.2. Does h = 1?
False
Suppose -k - 2*k = -g - 25, 5 = 3*k - 5*g. Is 12 at most k?
False
Suppose 0 = -f - 0 - 3. Let c be (-6)/10*(-20)/(-8)*2. Is c less than f?
False
Let h = 7 - 8. Let q(l) = -l**2 - l - 2. Let n be q(h). Are n and -1 nonequal?
True
Suppose -4*t - 2*a + 3*a + 65 = 0, 4*a = -20. Suppose 2*n - 7*n = t. Which is smaller: n or -4?
-4
Let n be (-14)/6 - (-4)/6. Are -1/2 and n non-equal?
True
Let v = 5 - 5.2. Are -2/3 and v unequal?
True
Let o = -36.1 + 36. Let a = -0.35 + 0.05. Let w = 0.2 + a. Is w bigger than o?
False
Let q be 3/5 - 18/(-45). Is q bigger than 7/3?
False
Let j = 17 + -21. Let x be 48/(-95) - j/10. Which is bigger: 0 or x?
0
Let d(y) = -y**3 - y**2 + 2*y - 1. Let w be d(1). Let j be 15/(-3)*(-12)/(-130). Let u = 11/52 + j. Are w and u equal?
False
Suppose -4 = 2*s - 8. Suppose -o + t + 5 = 4, -s = -2*t. Let n be (-63)/(-30) - (o + 0). Are n and -1 non-equal?
True
Let j = 2 - 3. Let m = -8 + 6. Let k be (0 + 3/m)/(-3). Does j = k?
False
Suppose w - 50 = 6*w. Do w and -1