Let f be 0*2/(-8)*z. Let o be 0 + (-4)/10 + 0. Which is greater: f or o?
f
Let u be 2/(24/(-9))*-4. Suppose 6*m - 6 = u*m. Let d be (-6)/(-9)*m/2. Are 2 and d equal?
False
Let u = 1 + -2. Is u at most -2/7?
True
Let s = 14 - 14. Suppose -j = -s*j + 1. Which is smaller: j or -2?
-2
Let f = -339/4 - -86. Let h = f + -3/4. Are -1/3 and h non-equal?
True
Suppose -3*z + 5*z - 6 = 0. Which is bigger: -2 or z?
z
Let r = -39 + 48. Which is greater: r or 2/7?
r
Let l(x) = -x**3 + 5*x**2 + 2. Let n be l(5). Let o = n - 3. Let u = -48 - -48.2. Which is greater: u or o?
u
Let f(b) = -b**3 - 3*b**2 - b + 1. Let i be f(-3). Suppose -9*p = -i*p - 5. Let c be (-13)/(-12) + 1/(-3). Which is smaller: c or p?
c
Let u = 5/9 - 61/45. Which is bigger: u or 0.1?
0.1
Let z be (1 - 2)/((-4)/(-12)). Let f = z - 1. Is f equal to -3?
False
Let v = -0.058 - -15.058. Is v at least as big as -2/3?
True
Suppose -4*c + 0 = 448. Let y = 68 + c. Let u be (-19)/y + 4/(-22). Is -1 bigger than u?
False
Let r be 2714/(-18) - -1 - -2. Let d = r - -148. Which is bigger: d or 2/11?
d
Let q = 24 - 24.1. Which is smaller: -2/25 or q?
q
Let v = 2 - -1. Let o(h) = h**3 + 5*h**2 + 6*h + 4. Let x be o(-4). Let u = x + v. Which is bigger: -2 or u?
u
Let t = 35 + -34. Let v be (-2)/8 - (-6)/16. Which is greater: t or v?
t
Let b be -2 - (12/(-5) + 1). Suppose 5*k = -11 - 24. Let h be 9/k - (-4)/14. Is h at most b?
True
Let b = -1 - -2. Suppose -b = d - 2. Which is bigger: d or 2?
2
Suppose 36 = 16*a + 20. Let q = 17064/35 - 2392/5. Let j = q + -9. Is a at most as big as j?
False
Let c be (5/(-4))/((-45)/20). Which is smaller: c or 1?
c
Let v be (3 - 216/5)*6. Let m = v - -240. Which is smaller: 0 or m?
m
Let n = 594 + -16040/27. Which is smaller: n or -1?
-1
Let d be 21/(-14) - 63/6. Is -6 >= d?
True
Let r = 0.06 - 0.46. Let z = r - 8.6. Are 1 and z unequal?
True
Suppose -r - 3 - 3 = 0. Let m = 129 + -134. Is r bigger than m?
False
Let z(x) = 2*x**3 + 4*x**2 - 4*x + 3. Let q be z(-3). Let o(p) = -p**3 + 6*p**2 - 2*p + 9. Let l be o(6). Is l > q?
False
Let c = 144882214/18691295 + -121824/12305. Let g = c - -117/49. Let t = g + 5/31. Is t <= 1?
True
Suppose -q = -4*j - 2*q + 7, 5*q - 13 = 2*j. Suppose -t - j = -2. Is t greater than or equal to -1/3?
True
Let q = -16 + 13. Let s be (-1)/(-1)*15/(-9). Is s > q?
True
Let r(x) = 2 - 5 + 0*x**2 + x**2. Let w be r(0). Is 0 greater than w?
True
Let w(g) = g**3 - 10*g**2 - 10*g - 12. Let c be w(11). Which is smaller: 4/5 or c?
c
Let x be 2 + 0 + -2 + -18. Let l be (-15)/x*(-4)/(-10). Let z = 11 + -9. Which is smaller: l or z?
l
Let t = -0.26 - -0.16. Let q = -4 + 9. Is q at most t?
False
Let m be -1*(3 + (1 - 6)). Suppose m = -j - 0. Which is smaller: j or -1?
j
Let x = -1.2 + 1.3. Let u(c) = -2*c + 7. Let y be u(5). Are y and x unequal?
True
Let d be -1 - -1 - 15/(-70). Let b = 1/14 + d. Which is bigger: -1 or b?
b
Let l = 0 + 2. Suppose -f + 2*f + l*s = 11, -4*s + 23 = 3*f. Which is greater: f or 0?
f
Let c(d) = d**2 - 9*d - 1. Let t be c(9). Is t smaller than -0.3?
True
Let l(r) = -r**3 - 6*r**2 + 7*r - 3. Let j be l(-7). Let v be j - (4*-1 + 2). Do 1/11 and v have the same value?
False
Let k = 0 - -4. Do k and 4 have the same value?
True
Let f be (9/(-3) + 4)/1 + 83. Which is greater: f or 83?
f
Let w be (-15)/(-18)*12/(-40). Which is smaller: w or 0.03?
w
Let a(q) = -3*q**2 - 9*q - 17. Let u be a(-5). Is u at most -47?
True
Let b(g) = g**2 - 5*g + 2. Let u be b(7). Suppose -3*j - 3*p = -6 - 6, -3*p - u = -4*j. Let v = -2 + j. Is 1 at least v?
False
Let w = 0.43 - 0.03. Let p be (-4)/26 - (-32)/39. Which is smaller: w or p?
w
Let b = 0.03 - 18.03. Let a = -18.05 - b. Is a <= -1?
False
Let k = -2/29 - 25/58. Let s = 9 + -14. Let u = s + 5. Are k and u unequal?
True
Suppose -2*s + 4*s - 3*v = 2, -3*v + 3 = 3*s. Let q be (-158)/(-248) + (-1)/4. Let y = q - -33/155. Which is smaller: s or y?
y
Suppose 2*b = -4, 0 = -2*k + b - 0*b + 10. Suppose k*r = z - 2*z + 15, 5*r = 2*z + 22. Which is smaller: z or 3/8?
z
Let i = -0.5 - -0.2. Let t = i - 2.3. Let o = 0.6 + t. Which is smaller: 0.1 or o?
o
Suppose 3*z + 13 = -c, -c = 4*z - 3*z + 13. Which is smaller: c or -0.05?
c
Suppose -6 + 2 = 2*g. Let o = -65/2 + 32. Do o and g have different values?
True
Let k = -1070 + 7478/7. Is -2 smaller than k?
True
Suppose 3*n - 6 = 36. Is 15 >= n?
True
Let j = -243/5 + 1751/35. Is j at most as big as 1?
False
Let w = 11/14 + -2/7. Let b = 3/10 - w. Which is smaller: b or 1?
b
Let f = 21 + -64/3. Do 0 and f have the same value?
False
Let h = -11 + 8. Let z = -21 + 13. Let b = z - -9. Which is smaller: h or b?
h
Let h = -0.5 - -0.3. Let a = -6.4 - 0.6. Let r = a - -5. Do h and r have different values?
True
Let s be ((0/(-2))/1)/1. Let b be (3/(-9))/(2/3). Which is greater: s or b?
s
Suppose 2*k = 3*f - 12, 5*k - 4 = -4*f + 12. Suppose 5*a + f*g = 7 + 3, -3*a + g = -6. Is 3 at most a?
False
Suppose t - o = -3*t - 2, 0 = -3*t - o + 2. Is 1/30 > t?
True
Suppose -2 + 8 = 2*w. Suppose 8*k = w*k. Which is smaller: -1 or k?
-1
Let a = 5 - 10. Which is bigger: -1/4 or a?
-1/4
Suppose 0 = -4*f + 4 + 16. Suppose -g = -4*g + 2*o + 11, 3*g + f*o - 4 = 0. Let k be 0 - (g/1 + -4). Which is greater: 2/11 or k?
k
Let q be (60/(-32)*-3)/(-3). Is -2 != q?
True
Let p = 66 - 70. Which is smaller: p or 5?
p
Suppose -t + 4*b = -12, -2*b - 2 = -4. Which is smaller: 19 or t?
t
Suppose q + 10 = -p, 0 = -5*q + 2*q - 5*p - 26. Let s be (((-2)/q)/(-1))/(-2). Let v be (2/6)/(2/6). Which is bigger: s or v?
v
Let w = -7 + 8.5. Let k = w + -0.5. Which is greater: k or 0.2?
k
Let k = 485/7 + -69. Is 3/5 smaller than k?
False
Let h = -0.14 + -1.06. Let v = h + 1.29. Let y = -0.91 - v. Is y < -0.4?
True
Suppose -5*l - 33 = 57. Let t be l/4 - 2/(-4). Is -1 greater than t?
True
Let r(q) = -q + 1. Let f be r(-5). Suppose f*z - 2*z = -4, -5*j + 5*z = -25. Which is smaller: j or 0?
0
Let i = -0.7 - -0.2. Let p = -3.6 - i. Let c = p - -3. Is -4 at least as big as c?
False
Suppose -4*m + 3*m = 4*q + 5, 0 = 2*m - q + 1. Is 3/7 at most m?
False
Let g be 3 - 1 - (-7)/(-8). Let n = -37/40 + g. Let y = 5 - 3. Which is smaller: y or n?
n
Let w be (-16)/6*21/14. Let a be w/(-6) - 8/10. Which is smaller: a or 1?
a
Let m(c) = -29*c - 5. Let z be m(1). Is z less than or equal to -35?
False
Suppose -l = -2*l + 3. Suppose -4*s = -l*i - 7 + 3, -4*s + 32 = 4*i. Suppose a + s*a - 15 = 0. Which is smaller: a or 2?
2
Let n = -19 - -18. Which is smaller: n or -6?
-6
Let h be 5*(-2 - 6/(-4)). Are h and 0.1 unequal?
True
Suppose 0 = -4*w + 3*h + 1, 4*w - h = -0*w - 5. Let x = 85/3 - 29. Is w greater than x?
False
Suppose -s = 4*v - 46, -v - 3*s + 17 = -0*s. Let y = v + -11. Which is smaller: -2 or y?
-2
Let t(m) be the second derivative of m**5/20 + 5*m**4/12 - m**2/2 - 2*m. Suppose -2*v = -2*w - w - 17, -5*v = w. Let z be t(w). Which is bigger: 2/15 or z?
2/15
Let w(h) = h**3 - 9*h**2 + 9*h - 1. Let k be w(8). Suppose -x = 5*z + k, -2*z = 4*x + 2 - 10. Which is greater: z or 2?
2
Let q be 8/1*(-2)/(-4). Suppose q*x + 2 = 6. Is 1/11 != x?
True
Let z = 27 + -30. Let a = 3/73 - 520/219. Which is smaller: a or z?
z
Suppose a + 10 = -3*i, -2*a + 2 = -5*i - 0*i. Let r be 9/i*(-2 + 4). Let q = r - -7. Is 1 smaller than q?
False
Let a be ((-39)/(-15) - 2)*5. Suppose 4*g = -3*y + 23, a*g = 4*y + 5 + 6. Is -4/9 < y?
True
Let w(x) = -x**2 + 9*x + 12. Let z be w(10). Which is bigger: 0.1 or z?
z
Let f be 4*((-81)/(-12) + 2). Which is greater: f or 34?
f
Let p be 2*(-1)/(-568)*-6. Let r = -25/497 + p. Is r > -1?
True
Let m be ((-2)/(-6))/((-12)/(-18)) + 10. Are 11 and m non-equal?
True
Let k(d) be the second derivative of 7*d**3/6 - d**2 + 10*d. Let u be k(1). Is u at most as big as 5?
True
Let w(t) = -2*t - 4. Let m be w(-5). Let x = -3 + m. Let q be (-30)/25*(2 + x). Which is smaller: -4 or q?
q
Let p = -2.96 + 0.06. Let o = p - -3. Let r = -3.8 + 4. Do o and r have the same value?
False
Suppose -3*k = -4*i - 7, -3*k - 1 = -7*k - 3*i. Let u be 7/(-7) + k*3. Is 2 smaller than u?
False
Let y be (-2)/(-8) - (-1)/(-4). Let z = -13 - 53. Let n be z/(-90) + (-2)/6. Is n greater than or equal to y?
True
Suppose 6 = -6*q + 8*q. Let w(i) = -i**3 + 4*i**2 - 3*i - 4. Let s be w(q). Is -5 at least s?
False
Let y = 25 - 28. Do -4 and y have the same v