= -w**3 - 3*w**2 - 2*w + 1. Suppose 6 = -0*q - 3*q. Let d be p(q). Let i be (d + (-5)/3)*3. Do -2 and i have the same value?
True
Suppose -2*l - 14 + 62 = 0. Suppose -2 = 4*v + 5*d + 10, 0 = 4*v + 2*d + l. Is v > -7?
False
Let q = 24 - 24. Which is smaller: q or -1/13?
-1/13
Suppose 2*x = 2*b - 6, -4 = b - 3*x - 17. Let t be 0*2/(b - 0). Is t <= -2/17?
False
Suppose 0*k = -k + 13. Let d = 40/3 - k. Is 1 > d?
True
Let i = 110 - 989/9. Which is smaller: i or 0?
0
Let j = 2/163 + 316/815. Let u(b) = -2*b + 11. Let c be u(5). Which is smaller: j or c?
j
Let t = 141/2 - 2111/30. Let u(l) = l**3 + 4*l**2 - l + 8. Let m(r) = r**3 - r**2 + 1. Let y(q) = 2*m(q) - u(q). Let v be y(6). Is t < v?
False
Let r be 0/(-1*3/3). Is r at least -9/7?
True
Let t be (5/15)/((-3)/(-9)). Is t != -2/19?
True
Let u(q) = q. Let f be u(4). Let c be f/(-6) - 634/(-693). Let v = c - 2/77. Which is smaller: v or 1?
v
Let s = -7 + 7. Suppose s = p + 4*p. Suppose p = -2*n - 4*t - 22, -10 - 2 = -3*n + 3*t. Is n at most 2/15?
True
Let a = 20 + -20. Let b be 0 + 1 + 34/(-30). Which is smaller: b or a?
b
Let m(s) = -184*s + 6. Let f be m(4). Let b be (-6)/(-15) + 418/f. Let g = 2/73 - b. Is g bigger than 1?
False
Let n(p) = p + 2. Let l be n(-2). Is l at least as big as -1.1?
True
Let f = -10 - -12. Suppose -f*t + 3 = t. Which is smaller: -2 or t?
-2
Suppose r = -0*r. Let w be (4/(-46))/(-1 - r). Which is smaller: 0 or w?
0
Let t = 0.3 - 0.4. Let z = -1.1 - -9.1. Let p = z - 6. Which is smaller: t or p?
t
Let i = 3.1 - 3.1. Which is bigger: i or -0.17?
i
Suppose -6 = 4*q - m - 22, 4*q + 4 = -4*m. Suppose 9 = 2*o - q*o. Which is bigger: o or -10?
o
Let d(s) = -s + 3. Let o be d(4). Suppose 5*y + 5 = 5*a + 10, 0 = 3*y - 5*a - 7. Let b be (3 + 5/(-3))*y. Which is greater: b or o?
o
Let b = -11 - -18. Let a be 21/1 - (b - 4). Suppose s = -2*s - a. Which is greater: -7 or s?
s
Suppose 59*r = 62*r - 165. Do 55 and r have the same value?
True
Let n(u) = -u**2 + 5 - u - 7*u + 2*u**2. Let a be n(8). Let k(c) = -c**3 + 6*c**2 - 4*c - 3. Let m be k(a). Is m less than 1?
False
Let m = 20 + -22. Is m less than or equal to -2?
True
Let o = -0.1 + -0.9. Let i = 1 + o. Let m = -0.41 - -0.31. Is i at least as big as m?
True
Suppose -5*k - 12 = -3*t - 54, 0 = -4*k. Let p = t + 14. Is -2/45 > p?
False
Let a be 4 - (3 + -1) - 2. Suppose 5*g = 5*q + 5, q + 2*q - 4*g - 2 = a. Let t be -1 - 4/q*3. Which is greater: t or 0?
t
Let u = -47.2 + 47. Is 4 greater than u?
True
Let h = 16/7 - 103/42. Which is bigger: -0.1 or h?
-0.1
Let t = 78801/11 + -77568/11. Let s = 112 - t. Which is smaller: 0 or s?
s
Let y = 42 - 167/4. Which is greater: 3 or y?
3
Let j(f) = 6*f**2. Let x be j(1). Suppose 0 = -x*s + s - 35. Suppose 0 = 4*i - i - 4*g - 2, -4*i = 5*g + 49. Is i > s?
True
Let u(f) = f**3 - 12*f**2 - f + 13. Let t be u(12). Let s be (t/12)/(9/24). Which is bigger: s or 2?
2
Let y be 0 + 0 + -5 - 0. Let s be -9 + (-10)/(-6)*3. Which is bigger: y or s?
s
Suppose 13 = 3*y + 10. Let z be (-2)/(-6) - (-2)/(-15). Is y smaller than z?
False
Let w be (-3 - -6)*-1 + 2. Let f = 17 - 12. Let v = -8 + f. Is v at least as big as w?
False
Suppose -5*m - 10 = -y - y, 3*m - y = -7. Let c be 2 - -1 - (9 - 1). Is c greater than or equal to m?
False
Let o = -4.7 - -2.72. Let f = -2 - o. Let z = -0.22 - f. Which is smaller: 0 or z?
z
Let v = -11/21 - -8/21. Let f = -4 + 5. Is f at least as big as v?
True
Let g = 16 - 7. Suppose -4*r = 5*o + 13, -3*r - g = -r + 3*o. Let p = 22 + -22.1. Does r = p?
False
Let t(o) = -o**3 + 2*o**2 - 2*o + 1. Let z be t(1). Let r = -4/83 - -202/747. Is r less than z?
False
Let y be (0 - 1)*12/4. Let s be -6*2*y/(-9). Let o be (-3)/s*(-4)/(-6). Is o >= 1?
False
Suppose -4*s + 1 = -3. Which is greater: s or 2?
2
Let a = 1.17 - 0.97. Let i be 1/(-3) - -2 - 2. Is a less than or equal to i?
False
Suppose 0 = -3*c - 0*c. Suppose c*z = -4*z + 2*d + 50, -3*z + 5*d = -48. Let a(r) = r - 12. Let k be a(z). Which is smaller: 2/5 or k?
k
Let o be (-3)/5 + (-4652)/(-70). Let b be 12*2*(-11)/4. Let r = o + b. Which is bigger: 0 or r?
0
Let y = -15 - -12. Let c be 129/(-63) - (-2)/(-7). Which is smaller: y or c?
y
Let y(c) = -c**3 + 5*c**2 + 2*c - 7. Let x be y(5). Suppose x*i = b + 2 - 16, -14 = -5*b + i. Let t = -0.037 + 0.237. Is b >= t?
True
Let t be 78/13*2/18. Which is greater: t or 1?
1
Let l(z) = -z**2 + 1. Let n be l(1). Suppose n = -0*s - 2*s. Which is greater: 1/7 or s?
1/7
Let b = 28 - 27. Is 4/3 at most b?
False
Let o = 2.2 - 2.1. Let m = 0.3 - o. Let y be (6/20)/((-3)/(-8)). Which is bigger: m or y?
y
Let a = 0.09 - -0.61. Let o = a + 0.3. Let k = -2 - -5. Which is smaller: o or k?
o
Let a be 1/3*126/(-6). Let t = -9 - a. Let l be t/9 - (-31)/18. Which is smaller: 3 or l?
l
Suppose -4*y = 16, -7 = -2*x + 2*y + 9. Suppose 0 = x*k + 2 + 2. Is k less than -1?
False
Suppose 13 = 3*c - 2*d, 9 = -c + d - 3*d. Suppose -2*x + 3*f = -7, x - 3*x - 5*f - c = 0. Suppose x*y = 0, 3*n - n = -2*y. Which is smaller: 1/5 or n?
n
Suppose -5*r + 20 - 15 = 0. Is -1/9 greater than r?
False
Let n(i) = 23*i**2 - i. Let r be n(1). Do 22 and r have the same value?
True
Let m be 2 - (1 + (-26433)/(-26436)). Let l = m + -414249/749020. Let j = -6/17 - l. Which is smaller: -1 or j?
-1
Let t = 1 - -2. Let h = 4 + -3.8. Is h at least as big as t?
False
Let t = 1.1 - 11.1. Let m = t - -9. Which is smaller: 1/7 or m?
m
Suppose -r + 1655 = -6*r. Let z = -127 - r. Let t = 1017/5 - z. Is t at least 0?
False
Suppose -4*p = -s - 8, 0 = -2*s + 6 - 14. Which is bigger: p or -1/16?
p
Let i = -15 - -7. Let n be ((-7)/14)/((-10)/i). Is n greater than 1?
False
Let r(p) = p + 7. Let z be r(-5). Suppose -32 = 2*f + 2*o, 0 = -z*f + o - 17. Is f < -11?
False
Let q = 494/9 + -55. Is q != -1?
True
Let v = -31/12 - -9/4. Suppose -2*x + 0 - 2 = 0. Which is bigger: v or x?
v
Suppose -2*h = -0*h + 4. Is h smaller than -0.2?
True
Suppose -p = 2 + 2. Let f = p + 6. Suppose t = -q - 3, 5*t + 13 + 2 = 3*q. Which is greater: f or q?
f
Suppose -6*p = -7*p. Which is greater: p or -10/9?
p
Let f(u) = -5*u**3 - 1. Let j be f(1). Let c be 50/(-15) + 4/j. Is c < -5?
False
Let s(v) = -v**3 - 4*v**2 + v - 3. Let q be s(3). Let a be -1 + (-7)/(q/12). Let k = -1.2 - -1. Which is smaller: k or a?
k
Suppose 9*q = 5*q. Suppose 0 = -q*m - m + h - 12, -9 = 2*m - 5*h. Which is bigger: m or -16?
-16
Let h = 0.68 - -0.32. Is h at most -8?
False
Let d be ((-8)/(-10))/(1/5). Let v(f) be the first derivative of 4*f**3/3 + f**2/2 + 2. Let h be v(-1). Do h and d have the same value?
False
Suppose 4*v = 13*v + 6*v. Which is greater: v or 1/10?
1/10
Let a be (-10)/8*(-78)/1365. Suppose 0 = z + 2 - 1. Which is smaller: z or a?
z
Let n = -0.06 + 0.1. Let f = n + -0.24. Let k = f - -2.2. Which is smaller: k or 2/9?
2/9
Suppose 0 = -f + 3 + 1. Which is smaller: 6 or f?
f
Suppose -q + 11 = 5. Let l = q - -4. Suppose 0*y - 5*y - l = 0. Which is smaller: y or -0.1?
y
Let n be 492/3 + -6 + 8. Is n < 167?
True
Suppose -6*q = -4*u - 3*q + 982, -4*u - 2*q + 972 = 0. Let g = -2686/11 + u. Suppose -2*o + 10 = 4*f, 5*o + 0*o + 11 = 2*f. Which is greater: o or g?
g
Let k be ((-12)/10)/((-43)/(-5)). Let y = -19/172 + k. Suppose 0*f = -4*f - 4. Is y at least as big as f?
True
Suppose -5*q = -4*p - 374, -3*q + 5*p = -89 - 138. Let l be (-18)/(-9) + (-150)/q. Is l bigger than 0?
False
Suppose p - 33 = 4*g - 3, 2*p + 44 = -5*g. Which is greater: -13 or g?
g
Let b = 522/13 + -40. Suppose 0 = -o - 2*o + 15. Suppose -o*z = -5*u - 3*z + 6, 0 = -5*u - 4*z - 12. Which is greater: b or u?
b
Let b = 0.197 + 0.003. Which is bigger: b or 1.6?
1.6
Let a = 60 - 38. Is 22 < a?
False
Let h = -2 + 1. Let x = 3 - 4. Is x at least h?
True
Suppose 0*f = -5*f + 5. Let m(z) = -z - 5. Let o be m(-5). Suppose -4*b + 9 = -3*u, o = -5*b + 3*b + 3*u + 9. Is f > b?
True
Suppose 0*a = -5*a. Suppose -3*b + m + 17 = 0, -5*b - 2*m + 7 = -14. Suppose -2*t + t = 4, -b*t - 20 = -2*r. Is a less than or equal to r?
True
Let w be (-4)/14 - 132/(-413). Let g = -24 - -25. Which is smaller: w or g?
w
Let c be (-324)/(-9)*(-4)/6. Let i = c - -8. Let s be (-4)/i*8/6. Which is bigger: s or 1?
1
Suppose -3*b + 8 = 5*c + 24, -4*c - 18 = 5*b. Are b and -1 nonequal?
True
Let k be -26 + 4 + 3 + (-1 - -3). Which is smaller: k or -16?
k
Suppos