n t?
True
Let f = 5 + -6. Let y = f - -1.4. Which is smaller: 1 or y?
y
Let n(d) = d**3 - 8*d**2 + 6*d - 5. Let r = -13 - -20. Let i be n(r). Which is greater: i or -10?
-10
Let r be 16/(-8) - (0 + -2). Let n = 9/65 + -7/13. Which is bigger: n or r?
r
Suppose -5*d - c - 39 = -0*d, -4*d + c = 24. Which is smaller: d or 1?
d
Suppose 4*y - 43 = -3*l, 3*l - l = y + 14. Suppose -4*z + l = 3*u, -5*z = -z - 2*u + 6. Let v be 5/(-20) - 2/(-8). Are v and z unequal?
False
Let z be ((-1)/(-3))/(7/(-105)). Suppose -5*h + l + 34 = -h, -32 = -5*h - 4*l. Let i = h + z. Is 3 > i?
False
Suppose 0 = 5*z - 3*z - 48. Suppose -2*f = 3*j + j + 12, -4*f + 4*j = -z. Is f less than 4/3?
False
Let r = 5 - -3. Let n = 10 - r. Which is smaller: n or 0.3?
0.3
Let h = -6.2 - -11.9. Let q = h - -1.3. Which is smaller: q or -1?
-1
Let z(d) be the second derivative of d**5/20 - d**4/2 + 5*d**3/6 + d**2/2 + 2*d. Let p be z(5). Do p and 3 have different values?
True
Let y(f) = -f**2 - 5*f + 4. Let x be y(-5). Suppose x*h - 5 = -1. Which is bigger: h or 1/2?
h
Let o be 6 - (-2)/(6/(-9)). Suppose o*r = -0*r. Which is smaller: 1 or r?
r
Let p be (4/(-14))/((-9)/7). Suppose -3*x - 6 = -0. Let a(g) = -g**3 - g**2 + g - 1. Let m be a(x). Which is smaller: p or m?
p
Suppose 5*p + 18 = 4*f + 6*p, 0 = -f + 2*p. Suppose -3*h + 11 + 11 = f*t, 0 = h - t + 2. Is h less than 2?
False
Let u(g) = 2*g - 10. Let t be u(2). Let s = 5/2 + -2. Is t >= s?
False
Let t(v) be the second derivative of -v**5/60 + 7*v**4/24 + 4*v**3/3 - v**2/2 - v. Let z(f) be the first derivative of t(f). Let i be z(8). Is i at least 1/5?
False
Suppose -4*v - 9 = 5*s, -10 = 5*v - 4*s - 50. Let o be -2*(-2)/(v/5). Let n be o/15*(0 + 3). Which is bigger: n or 2/21?
n
Let y = 69/244 + -2/61. Let m = y - 0. Does 8 = m?
False
Let c = 10 - 17. Let t = -76 + 70. Which is smaller: c or t?
c
Let g be 8/20 + 9/15. Let r = 2 - 2. Which is smaller: g or r?
r
Let g = 13 + -23. Let o = -18 - g. Let v = -8.3 - o. Which is bigger: 2 or v?
2
Let s = -73 + 73.1. Let r = 18/7 - 68/21. Are r and s equal?
False
Let q(m) = 3*m**3 + m**2 - m + 1. Let n be q(-2). Let r = -12 - n. Which is greater: r or 6?
6
Let c = 9.2 + -9.32. Which is greater: c or -2?
c
Let u = 209 + -210. Suppose -3*j + 3*k = -5*j + 23, 0 = -2*j + 5*k + 47. Suppose 3*w - j = 3*b - 1, 5*w - b = 5. Which is bigger: w or u?
w
Let v = 1 - 1. Let j = -20 - -18. Which is greater: v or j?
v
Suppose 2*j - 5*n = -36, -58 = 4*j - n - 2*n. Let a = -9 - j. Which is smaller: a or 5?
a
Suppose 4*v + 3 + 5 = 0. Are v and 0 nonequal?
True
Let u be ((-12)/(-2))/(-3)*(-6)/12. Is -6/13 at most u?
True
Let n = 7 + -8. Is 38 > n?
True
Let x = -0.5 + 0.3. Let g = -2 + 1.6. Which is greater: x or g?
x
Let n = 0.1 - 0.1. Let o = -7 - n. Which is smaller: o or 1?
o
Let d = 5 + -2. Let t = 3 - d. Let b = -2 + t. Which is greater: -0.2 or b?
-0.2
Suppose 1 = -u - 2*q, -3*u + 3*q = -0*q - 15. Is 10/3 greater than u?
True
Let b = -5 - -6. Let l = b - 5. Do l and 0.1 have different values?
True
Suppose -3*a = 3*f - 54, 5*a - 2*f - 2*f - 108 = 0. Suppose 0 = 6*r - r - a. Suppose 2*s = 4*i + 3*s + 9, -5*s = -r*i - 27. Which is greater: i or -0.1?
-0.1
Let i(z) = z**3 - 14*z**2 - 15*z - 2. Let r be i(15). Let s be ((-9)/r - 0)/6. Do s and 0 have different values?
True
Let u = 10 - 14. Let g be 9/u - (-3)/12. Let l = 4 - 6. Are l and g nonequal?
False
Suppose 8 = -w + 1. Which is smaller: w or -27/4?
w
Suppose 3*i = -0*i + 39. Let p = i + -13. Which is smaller: -2/3 or p?
-2/3
Let l be 1 - 5 - -1*(-7 + 10). Which is smaller: 33 or l?
l
Let w = -9 - -6. Is -1 > w?
True
Let h = -5/2 + 2. Which is smaller: 53 or h?
h
Let y = 86 + -256/3. Is 1 less than or equal to y?
False
Let z be 0 + -4 + 6 - 5. Is z smaller than -3?
False
Suppose -4 = 6*u - 2*u. Is u >= -1/2?
False
Let r be 16/(2 + 0) + -3. Suppose -2*y - r = 3*q, -q + 3*y + 9 = y. Is q > -1/4?
True
Let a = -797008 - -128318803/161. Let l = a - 23/7. Which is greater: l or 0?
0
Let g = -2.26 + 1.9. Let t = g + 0.06. Let w = -3.3 - t. Is 0 greater than or equal to w?
True
Let j = -256/221 + 21/17. Which is smaller: 0 or j?
0
Suppose 3*g - 5 = -2*g, -4*y - g - 35 = 0. Suppose 3*f - 3 = 0, -5*u + 5*f - 5 = 55. Is u not equal to y?
True
Let x be (-4 - 1)*(-1 - 0). Let z be (x/(75/(-6)))/2. Which is smaller: 1 or z?
z
Suppose 2*k - g + 1 = 3*k, 2*k + 23 = 3*g. Let r = -12 + 3. Let s be r/(-6)*k/6. Which is smaller: s or -5?
-5
Let r = -522 - -33928/65. Is -1 smaller than r?
True
Let g be (-1)/(-21) - 3/9. Is g < -1?
False
Let h = 0.08 + 0.32. Is h not equal to 0.2?
True
Suppose -j = a + 1 - 2, j = -2*a + 2. Which is bigger: j or 17?
17
Let f(c) = -2*c**2 - 14*c + 13. Let i be f(-7). Which is greater: 12 or i?
i
Let m(g) = -g**2 + 10*g - 2. Let b be m(10). Let p be (b/(-4))/((-1)/2). Is p bigger than -3?
True
Let o(a) = a**2. Let i be o(2). Which is smaller: 6 or i?
i
Let d = -69 - -62. Is -22/3 less than or equal to d?
True
Suppose -12 = -x - 3*x. Suppose -x*p + 0*p - 6 = 0. Which is smaller: -7/3 or p?
-7/3
Let t = -13/33 - 3/11. Let z = 2 + -2. Let g = z - 0.1. Which is greater: g or t?
g
Suppose 4*n = 5*n. Is 2/5 > n?
True
Let l = 26 - 25. Which is smaller: l or -2?
-2
Suppose -3*o = -k - 23, 3*o + 5*k + 6 = 53. Suppose -3*z + 3 + o = 0. Suppose -7 = z*y + 9. Is -4 equal to y?
True
Let r(s) = -s + 4. Let f be r(0). Suppose 0 = -n - f*t, -5*n + 4*t - 3*t = 0. Let x = n - 4. Is -4 smaller than x?
False
Let q = 24.1 + -24. Let w = 8 + -15. Let a be (-1)/w*-11 + 1. Is q >= a?
True
Let i be (6 - 7)/(1 + 0). Let l be (i - (-16)/6)*-3. Let a = l - -3. Is a greater than or equal to -5/3?
False
Let i = 43.083 + -0.083. Let y = i - 38.4. Let c = 0.4 + y. Which is smaller: -1 or c?
-1
Let x be 62/22 - (-10)/55. Let w be 1 + 1/((-4)/x). Which is smaller: 3 or w?
w
Let o = -16.66 - 0.34. Let g = -16.93 - o. Let k = -0.27 + g. Which is smaller: k or -1/2?
-1/2
Suppose -4*i - 2*m + 24 = 0, 0*i - i - 12 = 5*m. Let f = i + -12. Let s be 6/12 + 2/f. Which is smaller: -1/2 or s?
-1/2
Let t = -86 + -178. Let i be 92/t - (-2)/12. Which is smaller: 0.1 or i?
i
Let g = -12 + 13. Suppose 0 = n - 0 + g. Let h be 8/(-2)*3/(-90). Is h != n?
True
Let r = 521/4 - 130. Let o = -3.1 + 3. Which is greater: r or o?
r
Let x = 2929/508 - 2/127. Which is greater: x or 5?
x
Let f = 126/851 - 50707/72335. Let j = 10/141 - 1016/2397. Let m = f - j. Is m > -1?
True
Suppose -20 = 4*a - 9*a. Let r be ((-12)/(-25))/(a/10). Which is bigger: -2 or r?
r
Suppose -4*o = 5*p - 46, o - 5 = 5*p - 56. Let y = p + -10. Suppose y*v = 5*v. Is v less than 1/4?
True
Let n = -0.3 - 0.2. Let a = -0.01 - 1.49. Let o = a - n. Which is smaller: o or -1/3?
o
Suppose 9 + 3 = -2*n - 2*b, -5*b - 20 = -5*n. Which is smaller: n or 1?
n
Let f = 356 + -251. Let p = -423/4 + f. Is p at most as big as -2?
False
Let x = -4 - -9/2. Let z be (6/(-4))/(2/(-4)). Suppose j = 3*t - 1, -j + 6 = z*t + t. Is x <= j?
True
Suppose 8 = -5*c - 3*x, 2*c - x = 3*c + 2. Let b be (-9)/4 + c + 3. Which is bigger: -5 or b?
b
Let p be (-1)/(-2)*-5 + -2. Suppose 9 = 3*i + 27. Which is smaller: i or p?
i
Let x = 4 - 2. Suppose s - x = -m + 6, 0 = m - 3. Which is smaller: s or 6?
s
Let y(j) = j + 120. Let q be y(0). Suppose 0 = -5*t + t + q. Let k be (-1 + t/27)*-2. Which is smaller: k or -0.1?
k
Suppose 6*j - 26 - 4 = 0. Is -1 greater than j?
False
Let h = 3.1 + -1.8. Which is smaller: h or -2?
-2
Let u be -103 + 1 + -1 + -3. Let b = u + 1167/11. Is b less than -0.1?
False
Let k = 7 + -6. Let l = k + 2. Which is smaller: 1 or l?
1
Let w = 1.006 + -0.006. Is -46 > w?
False
Let k be -4*(3/(-6) - 0). Suppose -4*b = -k*b - 2. Let h be (-2)/4 - b/4. Which is bigger: -2 or h?
h
Let y be (30/5)/6 + -1 + 1. Is y smaller than 6/29?
False
Let r = -6 + 7. Let z = r + 2. Is z equal to -0.1?
False
Let a(g) = g - 1. Suppose -20 = -4*n, 5*n + 0*n - 29 = -4*h. Let r be a(h). Which is smaller: r or 2/17?
r
Let j = -77/360 + 1/72. Let k(v) = -v**3 + 10*v**2 - 10*v + 8. Let z be k(9). Which is smaller: j or z?
z
Let s(k) = -k**3 - 4*k**2 - 3*k - 1. Let n be s(-3). Suppose p + c - 2 = 0, 4*c + 9 = -p + 23. Are n and p unequal?
True
Let i be -9 + 10 - (-13)/(-1). Let y = -7 - i. Suppose 0 = y*p - 3*p. Is -7/6 less than or equal to p?
True
Let z = -0.7 - -0.4. Let x = 