 -2.2 or p?
-2.2
Let r = 15 + -16. Are -2/61 and r nonequal?
True
Suppose -3*y = 5*q + 32, -2*y - 7 = 4*q + 17. Let v be 39/33 - y/(-22). Which is bigger: v or 12/5?
12/5
Let w(c) = 0 - 1 + 1 + 1 - c. Let q be w(-1). Is 2 at least as big as q?
True
Let o = 0.23 + -0.03. Is 2/3 bigger than o?
True
Let w = -4 + 6. Let q = -2 + w. Suppose -u - 4*u = q. Which is bigger: -1/7 or u?
u
Let i be -2*1/6*-9. Suppose 0 = 2*f + 5*q + 27, -2*f - 2*q + i*q = -3. Does f = -1?
True
Let y = -112/3 - -778/21. Which is smaller: y or -1?
-1
Let j be (1*-10 + -2)*-1. Let m be 1 + (0 - 3) + 7. Suppose 0 = -4*f + 2*n + j, m + 4 = f - 2*n. Which is bigger: 2 or f?
2
Let b = -245/33 - -22/3. Which is smaller: 0 or b?
b
Suppose 0*d - d = 3*k + 6, 3*d + 9 = 0. Let r(f) = f**2 - f + 1. Let w(l) = l**2 + 9*l - 8. Let g(m) = 2*r(m) - w(m). Let c be g(10). Is c smaller than k?
False
Let d(z) = -z - 3. Let c be d(-4). Let p(b) = 1 + c - 1 - b. Let j be p(3). Which is greater: j or -3/2?
-3/2
Let o = -4441/23 - -193. Which is smaller: o or 0?
o
Let n = 17 + -17. Which is greater: -2/27 or n?
n
Let h be -1 + (3 - 0) - 4. Let z be (-3)/2 + (-2)/(-4). Let s = z - h. Is s <= 2/5?
False
Let v = 0.7 - 1. Let h = -35/51 + 6/17. Which is smaller: v or h?
h
Let h(l) = l**3 - 8*l**2 + 7*l - 5. Let b be h(7). Let t(k) = k**3 + 5*k**2 + k + 5. Let f be t(b). Is f less than -1?
False
Let s = 3.5 - -1.5. Is s < -2?
False
Let i be (-1*(1 + 0))/((-2)/86). Are i and 42 nonequal?
True
Let r = -1 - -10/7. Let b = -9 - -8. Do b and r have the same value?
False
Let f be (12/(-15))/(18/165)*3. Do -21 and f have different values?
True
Let m be 0/(-6) - (-1 + -1). Suppose m*p = -11 + 1. Do p and -5 have the same value?
True
Let r = 2 - 6. Let h be (0 - (3 + r)) + -3. Let g be 1/(-4) + 15/(-36). Is g less than or equal to h?
False
Let h = 38/65 + -5/13. Let j(v) be the third derivative of v**5/60 - v**4/12 + v**2. Let r be j(2). Which is smaller: r or h?
r
Let z = -2.1 + 2. Is z >= -0.2?
True
Let c(l) = l**2 + 6*l + 4. Let y be c(-6). Let t = y + -4. Let n = 1 + -1. Is t >= n?
True
Let w(g) = 2*g - 6. Suppose 5*a - 5 = -4*y, -3*y - 8 = a + 2. Let m be w(a). Let t be m/22 + (-20)/55. Is t bigger than 0?
False
Let h = 2.2 - 2. Let z = h + -0.2. Is 1/2 less than or equal to z?
False
Suppose -4*h - 2*o - 4 = 0, h + 5 = 2*h - o. Is -1 at most h?
True
Let m(t) = t**3 - t**2 + t. Let f(y) = 4*y**3 + 2*y**2 + 7*y - 2. Let a(b) = f(b) - 3*m(b). Let d be a(-4). Let j = -0.06 + -1.94. Is j equal to d?
True
Let k = 68 - 78.7. Let j = -10 - k. Let f = -0.5 + j. Which is bigger: 0 or f?
f
Let t = 8/21 + -1/21. Suppose f = 4*i + 8, -10 = -2*f + 10*i - 5*i. Which is greater: f or t?
t
Let p be (-3)/(-10)*-2*(-3)/(-9). Is p greater than or equal to 0?
False
Suppose 2 = -39*a + 37*a. Are a and 2/21 nonequal?
True
Suppose -q + 9 = -4*q. Let a = 7 + -11. Which is smaller: a or q?
a
Let p = -55 + 56. Is 2/15 at most as big as p?
True
Let k = -16 + 16. Is k < 2/57?
True
Let y be (-26)/(-10) - 4/(-10). Suppose 2 = 3*h + h + 2*z, 6 = -y*h - 4*z. Do -4 and h have the same value?
False
Let b = -9 + 3. Let f = -274.8 + 275. Which is greater: f or b?
f
Suppose 7 = 3*w + 55. Let f be (w/10)/4 + 0. Does 8/3 = f?
False
Let d = 32 - 20. Suppose -d + 4 = -4*i + b, 3*i = -4*b + 6. Let a = -3 + i. Is -1 at least a?
True
Let u(p) be the second derivative of p**5/20 - 5*p**4/12 - 7*p**3/6 + 7*p**2/2 + 4*p. Let w be u(6). Let r be 1/(-2) - 1/(-2). Is r <= w?
True
Let l be ((-4)/(-50))/((-8)/70). Let h be 4/5 - (0 + 0). Let w = l - h. Which is smaller: -3 or w?
-3
Suppose -3*f = -2 - 7. Suppose 2*z - z + 6 = 3*w, f = w. Suppose 3*v - 3*r + 4 = 2*v, v - z = -4*r. Is v greater than -0.3?
False
Let k(z) = -z**2 - 6*z + 11. Let o be k(-6). Is 8 less than o?
True
Let u = 3 - 13. Let j(n) = -n**3 - 11*n**2 - 11*n - 10. Let r be j(u). Do r and -3 have the same value?
False
Let m = 24 - -34. Is 58 at most m?
True
Let g(d) = d**2 - 8*d + 20. Let v be g(5). Is -0.1 not equal to v?
True
Let l = 94392 - 12742856/135. Let o = -2/27 + l. Let c be 1 + 7/14*-2. Is c smaller than o?
True
Suppose 11*o - 6*o = 5. Which is bigger: o or -3/8?
o
Suppose -5*u + 82 = 47. Is 3 less than u?
True
Let o be 3 - 1 - (-1906)/(-1026). Let x = 1/27 - o. Which is greater: -1 or x?
x
Suppose -3*w + 23 = -13. Suppose 0*a = 5*a + 4*q + w, -3*a = q + 3. Suppose a*m - 2*m - 16 = 0. Is -9 equal to m?
False
Suppose -3 = -3*x - 2*s - 22, -15 = 3*s. Let m be -3 + (6/4 - 0). Which is bigger: m or x?
m
Suppose 16 = 2*j - 24. Suppose -4*c - 4 = -j. Is c bigger than 5?
False
Let d = -2 - -5. Is -5 bigger than d?
False
Let g = -1 - 0. Let k = 9 - 8.6. Let v = -0.5 + k. Which is greater: g or v?
v
Let z be 3/(-4) - (-1396)/336. Let s = 1/14 - z. Which is bigger: -4 or s?
s
Suppose 4*k + 2*z = 8, 8*z - 3*z = 3*k + 20. Suppose m + 0*m - 1 = k. Let u be (-2 - -5)/(m - 2). Is u != -3?
False
Suppose 3*u - 14 = 7*x - 2*x, -13 = -3*u + 4*x. Let f(s) = s**3 - 7*s**2 - s + 8. Let y be f(7). Suppose u*b - 4 = -y. Which is greater: 3 or b?
3
Suppose -5*d = 0, d + 6 - 4 = 2*w. Is 2/59 < w?
True
Let f = -165/4 - -41. Is f not equal to 2?
True
Let h = 31 - 30. Let u(m) = -m**2 - 3*m - 1. Let d be u(-3). Which is bigger: d or h?
h
Let l = 12.1 - 11. Let n = l + -1. Is n greater than 3?
False
Let m = 69 + -67. Is 2 at most m?
True
Let f = -1384/7 + 198. Which is bigger: -6 or f?
f
Let a be (-44)/(-14) - 0 - 3. Suppose 3 = -n + 4*n. Which is greater: a or n?
n
Suppose -4*s = -8, 3*k = -8*s + 3*s + 10. Suppose 4*u - 5*y = 12, 0*u + 3*u - 9 = 4*y. Which is smaller: k or u?
k
Let c be 1 + (1 - (-1 + 2)). Is 1 greater than c?
False
Suppose 3 = -x - 2*x. Let k be (x/(-6))/((-2)/(-4)). Let q(j) = -j**3 + 5*j**2 - 4*j + 1. Let y be q(4). Which is smaller: k or y?
k
Let b be 8/(-8) + 4 + -2. Is b bigger than -1/72?
True
Suppose d = -2*a + 3*d - 10, -2*d = a - 7. Is -2/11 less than a?
False
Suppose -17*j + 23*j - 270 = 0. Is 44 > j?
False
Let c be 5 + 0*(-5)/(-20). Let q = -35 + 65. Suppose 5*w + q = -c*m - 0*m, -3*m = -3*w. Are w and -4 nonequal?
True
Let m = -536/63 - -74/9. Which is smaller: m or 0?
m
Let d = 1.72 + -2.59. Let p = 0.13 - d. Which is bigger: p or 0.3?
p
Let u(q) be the second derivative of q**5/20 - q**4/2 - q**3/6 + 3*q**2/2 - 4*q. Let n be u(6). Which is smaller: n or -2?
n
Let f = -3.6 - -3. Let t = 11 - 11. Does t = f?
False
Let j = 679 - 695.07. Let m = -16 - j. Is m at least as big as 0?
True
Let u = 123 + -107. Do u and 9 have different values?
True
Let h be 2/(-3) + (-5)/(-3). Let i be 5/4 - 2/h. Does i = 0?
False
Suppose -2*m + 11 = -m. Let x = m - 12. Is x equal to -1/14?
False
Let p = 0.06 - 0.16. Let o = p + 0. Which is bigger: o or -3?
o
Let w be (-1 + 9)/(-2) + 102/24. Is 5 != w?
True
Let q(s) = -s + 4. Let r be q(4). Suppose 4*x = -r*x. Which is smaller: x or -1?
-1
Let m(c) = c**2 + 5*c - 3. Let s be m(-5). Let i = 4 + s. Let r be i/2 + (-15)/24. Which is greater: r or -1?
r
Let p(k) be the first derivative of k**4/4 - k**2/2 - 3*k + 3. Let m be p(0). Is -4 greater than m?
False
Let j be (-16)/(-72) + (-2)/9. Which is greater: 10/11 or j?
10/11
Suppose -v - 3 = -17. Is v != 13?
True
Let w be (-331)/83 - 12/(-3). Is w less than -1?
False
Let c = 16.1 + -15. Let m = -0.6 + c. Which is smaller: 1 or m?
m
Let g = -12 - -7. Let q be 1 - g*(-1)/2. Suppose -4*d - 5*v = 7, 2*d = -d + 5*v - 14. Which is smaller: d or q?
d
Let u = 24/19 - 158/95. Let b(w) = -19*w + 95. Let g be b(5). Do u and g have different values?
True
Suppose 0 = 3*i - 6 - 0. Is 0 < i?
True
Let w be -1 - (-6)/2 - -1. Is w less than 3?
False
Let f = 17 + -17. Is 3 less than f?
False
Let u = 41 + -43. Suppose 0 = -2*t + 2*s - 4, 5*t + 0*s + s + 4 = 0. Are t and u equal?
False
Let i = 15 + -3. Which is greater: 0 or i?
i
Let i be (-6)/(1 - (-2)/4). Let o(d) = d**3 - 12*d**2 + 11*d - 3. Let x be o(11). Let c be (-27)/(-6)*2/x. Is i > c?
False
Let l = 3 - 10. Let u = l + 7.1. Which is smaller: -1 or u?
-1
Let o(j) = -j**2 + 6*j - 3. Suppose 0 = 5*t + 5 - 25. Let z be o(t). Suppose 2*l + 10 = 3*d, 5*d - z*l = 2*d + 25. Is 1 != d?
True
Let p(g) = -g**2 - 9*g - 9. Let q be p(-6). Let i be 3 - 28*1/q. Which is smaller: i or 1?
i
Let r = -0.3 + 0.2. Let j = 17 - 16.6. Which is bigger: j or r?
j
Let u(c) = -c**2 + 7*c. Let