5668)/(-42) - m/35. Let l = 133 - i. Is l at least -1?
False
Let o = 0 - -0.1. Let u = 0 - -6. Let g = 6.2 - u. Is o less than or equal to g?
True
Let b(c) = c**3 - 4*c**2 - 5*c + 5. Let z be b(5). Suppose 0*q = z*q + 10. Are q and -3 non-equal?
True
Suppose 2*x + q - 4 = 5, -x + 2*q = -2. Suppose 1 = -n, 4*n + 7 + 9 = x*v. Suppose -v*z = 3*d, -4*z + z + 5*d + 16 = 0. Is 2 <= z?
True
Let p be 2348/(-36) + (-4)/(-18). Let y = p - -257/4. Let b = -1 + 1. Which is bigger: y or b?
b
Suppose -4*d + 3*d + 2 = 0. Let r = d + -3. Which is greater: r or 0?
0
Suppose -4*u - 24 = 5*g - 6, -u = -g. Let i be u/(12/4*1). Is 0 less than i?
False
Let h(a) = -5*a + 52. Let r be h(10). Is -14 bigger than r?
False
Let n = -0.2 + 0.1. Let w be 3 + 1/(-2)*2. Let s be 2/(-4)*w*-5. Is n less than or equal to s?
True
Let b = 9.081 - 0.081. Which is bigger: b or -2/9?
b
Let i be (-3 + 2)*(-4)/5. Suppose -h - 3 = -2*n, 2 = 3*h + n + 4*n. Let l(z) = z**2. Let p be l(h). Which is greater: p or i?
p
Let j = 0.4 + -0.2. Let u = 0.8 + j. Is u >= -4/3?
True
Let d be (6 + (-6 - -20))/(2/(-6)). Is d greater than -60?
False
Let b = -6 - -4. Let y = b - -3. Let u(s) = s**2 - 4*s - 3. Let c be u(5). Is c at most as big as y?
False
Let l be -29*(-1)/1 + -2. Suppose -5*o - 4*a + l = -a, -14 = -2*o - 2*a. Is 3 < o?
False
Suppose 4*r - 4 + 18 = -2*q, 5*q + 5 = 0. Let p = 10 - 16. Let y be 8/p*(-6)/(-4). Which is bigger: r or y?
y
Let h = -0.43 + 0.03. Suppose -2*p + 3 = -p. Suppose 3*l - 5*s + p - 6 = 0, -l = 3*s - 1. Which is smaller: l or h?
h
Let r = 0 + -2. Let g be 6/(((-15)/2)/5). Which is bigger: r or g?
r
Let h = 14291/12 + -1193. Let j = h + 7/4. Are 0 and j unequal?
True
Let c(b) = b**3 - 19*b**2 - 20*b - 2. Let m be c(20). Let u be (2/6)/((-6)/10). Which is greater: m or u?
u
Suppose -18 = -r + 4*r + 2*k, -2*k = -3*r - 18. Which is bigger: r or -4?
-4
Let x be -14 + 3/(3/4). Is -11 >= x?
False
Let n be (-3)/(-18) - (-138)/36. Which is smaller: -1/42 or n?
-1/42
Suppose 0 = 2*q - 6 + 22. Let m be 1 + 0 + 10/q. Which is bigger: m or 2/7?
2/7
Let q = -53 + 55. Let c = 28 + -86/3. Are c and q equal?
False
Let u = -25 + 27. Let c(m) = -2*m**2 - 4*m - 1. Let d be c(-2). Is u at least d?
True
Let n be (-2)/(-6) - 38/42. Is n at most as big as 0?
True
Let k = -109/3 + 36. Which is greater: k or 1/2?
1/2
Let o = 8887/16 - 555. Let v = -3/16 + o. Let i = -2.05 - -2.05. Is i at least as big as v?
False
Let q be 4 + (-2 + 0)*1. Suppose 2*t + 2 = -4. Let w = q + t. Which is smaller: w or -3/7?
w
Let u(w) = 3*w**2 - 4*w - 4 + 6 - 2*w**2. Let l be u(4). Suppose 0 = 5*y + 5*z + 30, -3*y - 3*z - 20 = l*y. Is y at least -3/2?
True
Suppose 3*q + 0*m + 2*m - 9 = 0, 4*q - 12 = -2*m. Let n(r) = 2*r**3 - 8*r**2 - r + 7. Let x be n(4). Is x greater than or equal to q?
True
Let a = -32 - -31. Let j = -137/35 + 21/5. Which is greater: j or a?
j
Let u = 14 - 5. Let x = 9.05 - u. Which is smaller: 0 or x?
0
Let g(f) = -1 - 3*f + 0*f + 6*f. Let k be g(-1). Let v(p) = -p**2 - 5*p - 5. Let m be v(k). Which is greater: m or -1/6?
-1/6
Let f = 1 + 4. Let m = f + 0. Let r = 8 - 2. Which is smaller: r or m?
m
Let x = -5 - -7. Let d = x + 5. Is d at least as big as 6?
True
Let z(p) = -3*p - 32. Let i be z(-11). Is i >= 3/5?
True
Let a = -1/28 + -3/14. Is 2/11 smaller than a?
False
Let t be 95/15 - 1/3. Let q be (-10)/t - (-8)/12. Which is bigger: -2/33 or q?
-2/33
Suppose 4*h - 2*o + 94 = 0, -4*o - 3 = h + 43. Let u(a) = -a**3 + 3*a**2 - 3*a + 10. Let p be u(4). Let r = p - h. Is 7 != r?
True
Let v = 2.6 + -21.6. Is -2/7 bigger than v?
True
Let n = 5 + -5. Suppose 2*l = 2 - n. Which is greater: 1/4 or l?
l
Let i = 3.04 + -0.04. Let r = -9 + i. Let q = r - -7. Is q greater than or equal to -0.1?
True
Suppose -4*m + 0*m + 16 = 0. Let w = 8 + -4. Is m equal to w?
True
Let r = -12 + 17. Suppose -r*n - 4 = -3*n. Let h = n - -3. Is h > -1/3?
True
Let s be (2/4)/((-3)/24). Let k be 1/s + (-13)/(-4). Let l be -2*(-5)/(-15) - 2/(-3). Which is greater: k or l?
k
Suppose 2*n - n = 0. Let v = 13 - 13. Is n smaller than v?
False
Let x be (-2)/7*1/1. Let v = 9.103 - 0.103. Which is smaller: x or v?
x
Suppose -1 = 2*t - 3. Which is smaller: t or 3?
t
Let s be (-115)/(-20) - 3/4. Is 4 at least as big as s?
False
Let o be ((-4)/24)/(22/(-626)). Let h = -29/6 + o. Which is greater: h or 0?
0
Let j(v) = v**3 - 7*v**2 - v + 7. Let s be j(7). Let w(m) = m**2 + m + 19. Let c be w(s). Let r = c + -13. Which is smaller: 7 or r?
r
Suppose -q + 6 = 2*q. Let b be (-3 - 1/q) + 1. Suppose 0 = -5*f + 5*g - 10, -f + 2*g - 4 + 2 = 0. Is b smaller than f?
True
Let x(z) = -10*z + 71. Let s be x(6). Is 10 <= s?
True
Let w be -7 - -3 - (-583)/146. Which is smaller: 0 or w?
w
Let b be 1 + (36/(-6) - 0). Is -1 < b?
False
Let b be 8/(-6)*15/10. Suppose 0 = -3*u - 9. Let m be u/4*2/3. Do b and m have the same value?
False
Let f = 12 + -10. Suppose f = c + 3. Which is smaller: c or 1?
c
Let g be 6/4*(-5 + (-78)/(-18)). Let j = 89 - 437/5. Let p = -46/35 + j. Is p at least g?
True
Let r = 1 - -9. Let d = r + -11. Is d at least as big as 2?
False
Let x = 2 + -1. Let o(z) = z**2 - 6*z + 2. Let w be o(3). Is w greater than x?
False
Let b = -20 - -22. Suppose 0 = -4*w - 3*f + 30, 0 = -0*w + w - 2*f - 13. Is b bigger than w?
False
Let t be 6*-3*(-2)/126. Is 4 < t?
False
Let h be (-8)/(-6)*(1 - 4). Suppose -82 + 86 = -a. Is a greater than h?
False
Let a = -4 + 2. Let k = -0.24 + 0.14. Which is smaller: a or k?
a
Let s = -6 - -4. Does s = -3/2?
False
Suppose 0*i = 4*i + 36. Let v = -7 - i. Let r = 0 + 1. Is v >= r?
True
Let j be 280/2 + 0/(-8). Let b be 876/j*-10*3. Let t = b + 188. Which is bigger: t or 0?
t
Let w = 6 - 3. Which is smaller: 0.4 or w?
0.4
Suppose -3*h = -0*h. Is -1/37 smaller than h?
True
Suppose 57*o - 85 = 56*o. Which is bigger: 84 or o?
o
Let p be 1 + -3 + 1 - -1. Suppose p = -4*w + 1 + 7. Suppose 0 = t - 2*x + 2, 2*t + 3*x - 14 = -4. Is w less than or equal to t?
True
Let q = 0.8 - 1.6. Let z = 0.07 - 0.67. Let w = q - z. Is w > -0.1?
False
Let p = -2701/27 + 100. Which is smaller: 1 or p?
p
Let l be (-2)/13 + 2847/(-169). Which is smaller: -16 or l?
l
Suppose -3*g - 5 = 2*g. Let l = 350 + -3844/11. Let z = l - 29/33. Is g <= z?
True
Let j = -1/44 + 23/44. Which is smaller: -2 or j?
-2
Let q(u) = u**2 - u**3 + 2*u**3 + 2*u**2 + 2*u + 0*u. Let v be 3/((-3)/2 + 0). Let z be q(v). Which is bigger: z or -3/5?
z
Suppose -f + 1 = -0. Let o be 1 + (4/2)/f. Suppose o*h - 5*h - 4 = 0. Which is greater: 2/7 or h?
2/7
Let j = -36 + 16. Let d be 38/154 + j/(-110). Which is bigger: d or -2/5?
d
Let y(j) = j**2 + j - 1. Let d be y(1). Suppose 2*l = -3*l + 10. Does d = l?
False
Let s(b) be the first derivative of b**2/2 - 4*b + 3. Let a be s(6). Is 6/11 at most as big as a?
True
Let z = -4 - -2. Let r = 32.4 - 32. Which is smaller: r or z?
z
Let k be ((-6)/140)/((-21)/7). Let p = 5178071/2730 + -24662/13. Let w = k + p. Which is greater: 0.1 or w?
0.1
Suppose -11*y + 4*l = -8*y + 87, 3*y - 2*l + 81 = 0. Which is greater: -23 or y?
-23
Let u be 4/14 + 36/(-42). Which is bigger: 0 or u?
0
Let b be (-1)/(-3) - (-16)/(-12). Is -1/68 greater than b?
True
Let c(k) = -k + 11. Let s be c(9). Let g = s - 5. Suppose -w + 5 = 8. Is g smaller than w?
False
Suppose 3*t + t + 64 = 0. Let y(n) = -4*n + 27. Let i be y(9). Let h = t - i. Is -6 < h?
False
Let q = 14/115 + -12/23. Is 2 at least as big as q?
True
Suppose 0 = 2*r - 3*r - 1, 5*g - 24 = -r. Is g <= 0?
False
Let x(k) = k**3 - 2*k**2 + 1. Let v = 4 + -2. Let j be x(v). Let d be ((-2)/(-28))/((-1)/(-6)). Is d at most as big as j?
True
Suppose -4 = -5*o + 6. Let c(t) = -t**3 + 6*t**2 - 3*t**2 - 2*t + 0*t + 0*t**2 - 1. Let g be c(o). Which is greater: -2 or g?
g
Let w(k) be the first derivative of -k**2 - k - 3. Let q be w(-1). Which is smaller: q or -2/29?
-2/29
Suppose 5*j + 106 + 309 = 0. Let d = 497/6 + j. Is d greater than or equal to 1?
False
Let y = -65 + 3. Which is greater: y or 1?
1
Suppose 7*z + 4 = 11. Is -13 bigger than z?
False
Let l be (-12)/(-21)*24/160. Which is bigger: 0 or l?
l
Let v be 4 - 4 - (-6)/4. Let r be (-22)/(-8) - (-7)/28. Is r >= v?
True
Let d be 4*-1 - (-2)/2. Let u(g) = -7*g**2 - 11*g + 7. Let h(p) = 3*p**2 + 5*p - 3. Let m(z) = 5*h(z) + 2*u(z). Let y be m(d). Which is small