ater: i or -1?
i
Let c = -3/142 - 1121/710. Is c > -2?
True
Let r(u) = -6*u - 45. Let y be r(-6). Are y and -8 nonequal?
True
Let w = 26.021 + -0.021. Let k = w - 22.9. Let l = 3 - k. Is 0.3 >= l?
True
Suppose 6*f - 2 + 26 = 0. Let c be 0*(-1 - 2*-1). Let h = c + -3. Which is bigger: f or h?
h
Suppose 3*v + 0*v + 5*z - 171 = 0, 3*z - 115 = -2*v. Is 64 greater than or equal to v?
True
Let x = 0.02 + -0.52. Let l = x - -0.3. Which is smaller: l or 0.1?
l
Let n be (-21)/(-9)*3 - -3. Suppose 10 = -5*r - n. Let z be 6/3 - (-1 + 7). Is z equal to r?
True
Let j = -0.3 + 1.3. Suppose 0 = 4*b - 0*b. Suppose b = l - 3*l - 4. Is j less than l?
False
Let g = 4 + -3.6. Which is bigger: g or 1?
1
Let w = -0.4 + 0.4. Let u = w - -0.2. Let f = 0 - u. Does f = 0?
False
Let k = 0.1 - -0.3. Which is bigger: k or 0.2?
k
Let g = -5 - -2.6. Let u = g - -2.1. Is 2/5 at most as big as u?
False
Let p = -71 - -354/5. Do p and 1 have the same value?
False
Let s(o) = -18*o**2 + 12*o**2 + 5*o**2 - 17 - 9*o. Let a be s(-7). Let x be (-2)/(-12)*4*-3. Is x greater than a?
True
Let l(z) be the third derivative of z**4/24 + 4*z**3/3 + 2*z**2. Let p be l(-9). Which is smaller: p or 0?
p
Suppose 0 = -i - i. Which is smaller: 1/8 or i?
i
Suppose 4*m = -2*m - 24. Is -11/3 less than or equal to m?
False
Suppose s + s - 60 = 0. Suppose 5*t + 5*o - s = 0, 1 = t + 5*o - 1. Is 3 bigger than t?
False
Let n = 4 + -3. Let j be -4 + n + (3 - 1). Let v = -0.4 + 0.3. Which is smaller: v or j?
j
Let p(g) = -g**2 - 5*g + 1. Let w be p(-5). Suppose -2*s = 4*i - 0*s - 10, -4*i - 5*s = -25. Is i <= w?
True
Suppose -168 = -r + 4*r. Let w be (-770)/r - (-1)/4. Is 14 bigger than w?
False
Let t be 67/(-5) - (-2)/5. Let r be (-1)/(-8) - (5 - (-171)/24). Which is smaller: r or t?
t
Let a(s) = -s - 1. Let l be a(4). Let g = 7 + l. Let m be (-1)/2 + 3/g. Which is smaller: m or 2/9?
2/9
Let a be 2/6 - (-4)/6. Let m = 91 + -89. Does m = a?
False
Let r(u) = u**2 + 5*u - 8. Let h be r(-6). Suppose 0 = -d - 4*d. Let w be 2*(0 - 1) + d. Is h at most as big as w?
True
Let l be 1/(-3) - 78/765. Let t = -3/85 - l. Which is greater: t or -1?
t
Suppose -97 = -4*i - x - 2*x, 3*x = -3*i + 69. Let b = 137/5 - i. Which is bigger: b or -1?
b
Let z = -0.109 - 4.491. Which is greater: z or -1?
-1
Let t = -51.9 + 52. Which is smaller: t or -0.9?
-0.9
Let j(m) = m + 12. Suppose 3*h = 3*y + 30, 6*h = -4*y + h - 31. Let i be j(y). Is i at most 3/2?
False
Let d = 2.7 + 0.3. Is -2 > d?
False
Let r = 8.04 - -2.06. Let w = r + -10. Let t = -0.6 + 1. Is w >= t?
False
Let g = 2509229347/82080 + -2934445/96. Let z = -225/76 + g. Let m = 1/27 - z. Which is bigger: m or 0?
0
Let i = 20 + -11. Suppose 2*s + i = 5*s. Is 3 < s?
False
Let n = 7 - -8. Suppose 3*o + 4*w = 3 - n, -2*w = -4*o + 6. Suppose -4 = v - o. Does v = -3?
False
Let r(b) = -b**3 + 5*b**2 - 5*b + 5. Suppose -4*c - n = -2*n - 17, 5*c - 4*n - 13 = 0. Suppose c*u - 23 + 3 = 0. Let m be r(u). Is -1/17 bigger than m?
False
Suppose 17 = -p - n, 5*n + 1 = 2*p - 0. Which is smaller: p or -11?
p
Let s(v) = -2*v - 4. Let i be s(-3). Suppose 0*d = -3*g + d - 3, 0 = i*g + 5*d + 2. Which is smaller: 1/11 or g?
g
Let x(y) = y**3 + 6*y**2 + 2*y + 8. Let c be x(-6). Let z be c/(-2 - 303/(-150)). Let s be (-2)/3 - z/255. Which is smaller: 2/5 or s?
s
Let d = 1.92 - -0.08. Which is greater: -1 or d?
d
Let b = -44 - -43.6. Which is smaller: b or 1/6?
b
Let y = 7 - -2. Which is greater: y or 132/13?
132/13
Let x(c) = -2*c**2 - 9*c**3 + 7 + 4*c**3 + 4*c**3 + 3*c. Let z be x(-3). Let o = -0.1 + 0.1. Which is bigger: o or z?
z
Suppose -b - 4*j - 1 = 0, -4*j - 2 + 4 = -2*b. Let w be 1/5 + 368/35. Let u = 11 - w. Which is smaller: b or u?
b
Let z = -4 + -2. Let s(d) = -d + 4. Let c be s(0). Suppose c*p + 29 = -3*i, -i = -3*p - 3*i - 21. Which is smaller: z or p?
z
Let o = -114381/140 + 817. Is o <= 1?
True
Let w(h) = 2*h**2 - 3*h. Let r(i) = 3*i**2 - 7*i - 1. Let m(z) = 3*r(z) - 5*w(z). Let c be m(-5). Let d be 3 - ((-12)/(-9) + c). Is 0 at least as big as d?
True
Let a be 19*-3 + 8/(-32)*4. Which is smaller: -60 or a?
-60
Suppose -2*k - 4*n = n + 15, 0 = k + n + 3. Let x be k + 0 + (-4 - -5). Let y(d) = 2*d**3 - d**2 + d - 1. Let q be y(x). Which is bigger: q or 1/5?
q
Let u = 197 + -1377/7. Let y be ((-5)/(2/(-2)))/1. Suppose 0 = -3*a + 3*p - 15, 6*p - p - 15 = -y*a. Are u and a equal?
False
Let h = 0.2 + -0.8. Let r = 2.6 + h. Is r less than or equal to -2?
False
Suppose -f = 3 - 2. Suppose -4*u + 2*x + x - 9 = 0, 5*u = 3*x - 15. Let g = u + 4. Is f > g?
True
Let j be (1*13/(-2))/((-4)/(-8)). Are j and -11 non-equal?
True
Let p = 289 - 3756/13. Let n be 6/15 + (-4)/10. Which is bigger: p or n?
p
Let x = 2/913 - -1728/44737. Is 1 != x?
True
Let w = -14.04 + 0.04. Let z = w + 11. Are 1 and z non-equal?
True
Let h = 107 + -108. Which is bigger: h or -11/16?
-11/16
Let p = 0.45 - -1.05. Let k = -3 - -3. Which is greater: k or p?
p
Let m(q) be the third derivative of q**5/60 + q**4/24 + 2*q**2. Let a be m(-1). Suppose w + 4*w - 30 = a. Is 6 greater than or equal to w?
True
Let s = 12 - 9. Suppose -1 = -s*n + 11. Are n and 2 equal?
False
Let m = -0.8 - -0.1. Let r = -0.7 - m. Which is smaller: r or -1/3?
-1/3
Let w = -10 + 9. Let o be (w - -3) + (-688)/12. Let t = o + 56. Is t smaller than -0.1?
False
Let p(k) = k**3 - 14*k**2 + 14*k - 19. Let l be p(13). Let v be 4 - l/8*-4. Which is smaller: 5/3 or v?
v
Let a be (-3 - -1) + 1*3. Let y be (-23)/51 + (-14)/(-119). Is y at least as big as a?
False
Suppose -3*s + 5*s + 26 = 0. Let u = s + 18. Which is smaller: u or 4?
4
Let v be 109/3 - (-2)/(-6). Let x be ((-2)/(-6))/((-21)/v). Is -1 smaller than x?
True
Let i be 2/(-6) + 10/3. Suppose -2*g = -3*g + 6. Let r be (g/15)/(1/10). Is i less than r?
True
Let q = 22/585 + 12/65. Is q greater than or equal to 10?
False
Let c(a) = -a**3 + 4*a**2 + 25*a - 7. Let h be c(7). Is h smaller than 20?
False
Let w = 0.07 + -0.12. Let z = w + 0.35. Which is bigger: z or 1?
1
Let l(z) = -3*z**3 + z**2. Let u be l(-2). Suppose -4*b - u = -0*b. Are b and -8 equal?
False
Suppose 4*j + i + 0*i = 81, -j + 3*i + 17 = 0. Is j >= 85/4?
False
Let u = 0.61 + -5.51. Let h = -5 - u. Is -3 <= h?
True
Suppose -p = 4*z - 622, 0 = -5*z - 4*p + p + 781. Suppose k - z = -4*k. Let i be 2/(-4)*4/k. Is 0 > i?
True
Let n be (-24)/(-15) - (-4)/(-4). Let y be 36/5 + (-4)/20. Let i = 8 - y. Is n at most as big as i?
True
Let z(o) = o**2 + o - 6. Let s be z(-6). Which is smaller: s or 0.1?
0.1
Let s be ((-6)/7 + 1)/(3/21). Which is smaller: s or -1?
-1
Let m = -70.1 - -73. Let l = m - 3. Are 0.2 and l nonequal?
True
Let p = 217/20 - 73/5. Are -4 and p unequal?
True
Suppose 4*w - 7 + 43 = 3*m, 0 = 5*m - 5*w - 55. Let a = m - 5. Are a and 2 nonequal?
True
Let t be (-6)/8 + (-281)/(-12). Let w = t + -23. Which is smaller: w or 2?
w
Suppose 4*f + 2*j = 6*f - 10, -j + 1 = f. Let v = 4 - f. Are v and -2 non-equal?
True
Suppose 0 = 3*r + 2*r. Suppose 2*o + b = 18, o - 19 = -r*o - 3*b. Let i = -5 + o. Is 2 equal to i?
True
Let o be ((-2)/4)/(4/(-8)). Let f be ((-1)/(-3))/((-15)/(-36)). Which is greater: f or o?
o
Let z = 52/3 - 18. Which is bigger: -2 or z?
z
Let p = -3.95 + -0.05. Let x(d) = -d**2 + 2. Let z be x(2). Let q be (z - -6)/(15 + -1). Which is smaller: p or q?
p
Let g(w) = -w + 11. Let o be g(9). Suppose -26 = -2*q + 5*l, -5*l = -4*q - 0 + 32. Suppose -o*x = -q*x. Which is smaller: x or -1?
-1
Let d = 7 - 7.3. Let f = -0.2 - d. Let g = -0.1 - f. Is 2 less than g?
False
Let a(j) = -j + 6. Let z be a(2). Let n(q) = -q**2 - q + 4. Let o be n(0). Is z equal to o?
True
Suppose 5*c - 25 = 0, 3*t - 5*c + 340 = -2*t. Are t and -63 non-equal?
False
Let p be (-2*(-3)/4)/(-6). Let o = -10.796 - -0.096. Let f = o + 11. Is f equal to p?
False
Let u = -10 + 9. Let w = u + 1. Which is bigger: 1/3 or w?
1/3
Let c(n) = -n**2 - 8*n - 8. Let h be c(-7). Let z be (-1)/(7/(-2))*h. Is z at most as big as -2/3?
False
Let l(i) = i**2 - 6*i + 4. Let b be l(6). Suppose -8 = -3*f + q, 2*f = -2*f - b*q - 16. Is f not equal to -2/11?
True
Let t(m) = m - 4. Let s be t(6). Suppose -2 = 4*y + s. Let j(z) = -2*z**2 + z + 1. Let k be j(y). Are k and -3 unequal?
True
Let b be (29/24*3)/(-1). Let y = b + 219/56. Do y and 1 have the same value?
False
Let n = 20 - 59/3. L