= t - -8/11. Is 1 less than or equal to p?
False
Suppose -3*b + 8*b - 5 = 0. Which is smaller: b or 3/16?
3/16
Let g = -44 + 43. Is -1/3 > g?
True
Suppose -5*d - 3*w = 66, 0 = -3*d - 4*w + 3*w - 38. Let q = d - -13. Do q and 2 have the same value?
False
Let g(i) = 7*i**2 + i + 3. Let f be g(4). Let m be ((-51)/f)/(4/14). Let w = -1.9 - 0.1. Is w bigger than m?
False
Let t(z) = z + 4. Suppose -2 = -4*m - 22. Let x be t(m). Let k be 1/(3 - 2 - 7). Which is smaller: k or x?
x
Let r = -11 - -17. Let g be (-4)/r + 8/3. Let w = -9/2 + 5. Is g <= w?
False
Suppose -5*y + 3*u = -30, -3*y + 12 = -y + 5*u. Let t be ((-10)/(-8) - 2)/y. Which is bigger: t or 0?
0
Suppose 2*p + 5*m - 2*m = 20, -20 = -4*p - m. Suppose b = -p*b. Suppose b = 5*x - 6*x - 5*q - 14, 4*x - 5*q - 44 = 0. Is x greater than 5?
True
Let w = 6 - 6. Let s = -6 - w. Is -1 at most as big as s?
False
Let v = -31 + 31. Which is bigger: v or 2/13?
2/13
Suppose -5*p + 37 = 4*q, 5*q - 3*p = p - 5. Let y(v) = 2*v + 5. Let b be y(0). Is q at most as big as b?
True
Let h = 1.17 + -1.2. Which is bigger: -2 or h?
h
Let b = 1 + 1. Suppose -4*n = -2*n + b. Is 2/9 bigger than n?
True
Suppose 4*a + 0*g - g = -557, -2*g = 6. Let y be 12/a + 4/14. Is y not equal to 1?
True
Let n be 3/(-6) - 1/(-2). Which is bigger: 2/31 or n?
2/31
Let g = -284/15 - -58/3. Suppose 4*h = -0*h + 12. Suppose -2*a = h*v - 1 - 2, 2*a + 1 = v. Which is smaller: a or g?
a
Let t = -3 - -7. Suppose u = -t*v + 13, -5*u - 2*v = 9 - 2. Let k = 3 + u. Which is smaller: -2/5 or k?
-2/5
Let p(d) = d**2 - d - 2. Let f be p(2). Suppose 3*r + 4*z = 4, 4 = 3*r + 5*z - 1. Suppose 4*m - 5*m - 1 = r. Are m and f nonequal?
True
Let j = 8 - 15. Let r(o) = -o**2 - 8*o - 9. Let x be r(j). Let n be (-12 + x)/(-1 - -3). Which is greater: n or -1?
-1
Suppose -3*u - w - 5 = 0, -2*w + 5 - 15 = -5*u. Suppose 3*l = l - 4*g + 12, -4*l + 4*g = u. Let r be (-12)/18*6/(-8). Is l less than r?
False
Let u(i) = i**2 - 4*i + 3. Suppose -4*o = -f - 7, 0 = -4*f + 4. Let x be u(o). Let q = 2 - 2. Is q at least as big as x?
True
Suppose 12*m = 8*m + 8. Are m and -4 equal?
False
Let a = -1 + 0.7. Is a >= 8?
False
Let g = 0.1 + 0.48. Let u = -0.28 + g. Let a = 6 - 8. Does u = a?
False
Let w be -3*(-3)/(-18)*0. Is w < -1/6?
False
Let o(u) = u**2 + 4*u + 2. Let m be o(-3). Let x(a) = -a**2 - 8*a + 4. Let p be x(-9). Which is greater: p or m?
m
Let o = 40.1 - 40. Is o greater than 17?
False
Let r = -0.1 + 0.3. Let s = -2.66 - -2.26. Is r at least s?
True
Let u = -27 + 39. Which is greater: u or 11?
u
Let h be 60/3*2/55. Which is smaller: h or 2?
h
Suppose -x + 2*i = -5*x - 22, -4*i = 4. Suppose -2*l = -5*v + 25, -5*l - v - 9 = 13. Is l smaller than x?
False
Let x = 5.7 - 4. Let d = 1.8 - x. Let p = -3 + 2. Which is greater: d or p?
d
Suppose z + z = 8. Suppose 5*r = z*i + 6, -3*i + 5 = -4*i + 3*r. Is 1/4 greater than i?
False
Suppose 4 = -4*c, a - 3*c - 3 = 3*a. Which is smaller: 10/9 or a?
a
Let q be 20/6*(-12)/(-10). Suppose -3*j = -2*u - 11, u + q*j = 4*u + 14. Suppose 3 = u*l - 3. Is 3 greater than l?
False
Let i(s) = 6 + 14 - 3 + 1 - s. Let t be i(17). Is -2/35 greater than or equal to t?
False
Let k(i) = i**3 - 4*i**2 + 4*i - 4. Let v be k(4). Let g be -2 + -3*20/v. Which is smaller: g or -5?
g
Let c = 10 + 0. Let h = -18 + c. Is -1 bigger than h?
True
Let v = 5 + -3. Suppose -v = -5*j - 7. Let y be (1/(-4))/(j/4). Which is smaller: y or 0?
0
Let p = 16 + -5. Suppose -a = -4*a + 36. Which is smaller: a or p?
p
Let z(k) = -8*k - 21. Let d be z(-2). Let t = -2 + 4. Is d equal to t?
False
Let o = -10 + 15. Suppose -o*m = -2*m + 9. Let i = m + 2. Is -1 greater than or equal to i?
True
Let r = 23476/39 - 602. Suppose -b = 3*b. Which is greater: r or b?
b
Let k = 16 - 11. Let y = k + -10. Let w = y - -7. Is w >= 2?
True
Suppose 5*i - 51 = 9. Suppose -h + 5*h + i = 0. Which is smaller: h or -4?
-4
Let r = 0 + 1. Let g = 0.08 - -4.92. Which is greater: r or g?
g
Let h = 69 - 46. Let n = h + -23. Which is smaller: n or -9/8?
-9/8
Let n(f) = -f**2 + 6*f - 7. Let v be n(5). Let x be 2/v - (-2 - -1). Is x less than 2?
True
Suppose 2*v + 6 = -0*v. Let h(m) = m + 9. Let r be h(-4). Suppose -r*b + 4*q - 19 = 0, -2*b + 5*q = -3*b + 2. Is b >= v?
True
Let m be -3*(-1 - 2/3). Suppose 5*o = 3*h + 5, -2*h + 7*h + m = 5*o. Let p be (1 - (o - 0))/(-1). Which is smaller: 1/6 or p?
p
Suppose 6 = 3*k - 9, 3*s = -4*k + 56. Let f = s - 9. Is 2 greater than f?
False
Let a be (1 - (-1 + 4))*-1. Suppose 13 = 3*h - 5*s, 0*h + 8 = -a*h - 5*s. Let w be (0 - (-1)/h)*-1. Is -2 greater than or equal to w?
False
Suppose 5*y = -o + 30 - 6, -o - 4*y = -19. Which is bigger: o or 2/11?
2/11
Let x = -832/3 + 281. Which is greater: x or 3?
x
Let z(g) = g + 5. Let w be z(-10). Let p = w - -4. Is p bigger than -10/7?
True
Suppose 6*s = 2*s + 20. Suppose 4*y + n - 18 = -y, -s*y + n + 12 = 0. Suppose y*g = g. Is g at most as big as 1?
True
Let l = -0.4 - -0.5. Let m = 0.36 - 0.06. Let c = l - m. Which is smaller: 0 or c?
c
Suppose 5*i - 3*i = v + 2, -3*v - 2*i - 6 = 0. Let m be 44/16 + v/(-8). Which is smaller: m or 5/3?
5/3
Let j = 3435 - 3294.9. Let s = -146 + j. Let o = s + 6. Are o and -3 nonequal?
True
Let q(i) be the first derivative of i**2/2 - 1. Let y(f) = f + 10. Let h be y(-13). Let l be q(h). Which is bigger: -4 or l?
l
Let n(a) = 4*a + 6. Let w be n(-3). Let d = -3.9 + 4. Is w bigger than d?
False
Let v = 1 + -1. Let o be ((-1)/1)/1*v. Let a be o/(4/(-6)*-3). Which is smaller: -1 or a?
-1
Let g = -5.182 - 0.018. Let s = g + 6. Let l = s - 1.1. Which is smaller: l or 0.2?
l
Let f = 6 + -6.1. Is f not equal to -1?
True
Let h = 58 + -112. Let w be (-68)/(-18) - 12/h. Is 5 > w?
True
Let x = 21999/7 + -188023/63. Let y = x + -158. Which is smaller: 0 or y?
0
Suppose q = -5*l - 3*q + 9, -l - 4*q = -5. Let n be (l/8)/(1/(-2)). Is n bigger than 0?
False
Let q be (-1684)/(-21) + (-1)/3. Let s(n) = -3*n**3 + 1. Let z be s(3). Let x = q + z. Is x at most 0?
True
Let w be (-4230)/1422 + 3/1. Is w not equal to 0?
True
Let i(o) be the second derivative of o**3/6 + 8*o**2 - 3*o. Let u be i(0). Suppose -5*y + f = 6 - u, -4*f - 20 = 0. Which is bigger: -1/5 or y?
y
Let b be (-96)/(-1656)*(-13 - -1)/2. Is b greater than 1?
False
Let w(x) = 3*x + 13. Let u be w(-9). Is u at least -14?
True
Suppose 0*i = -2*r - i - 79, -r + 4*i - 26 = 0. Is r smaller than -75/2?
True
Suppose -n = -2*w - 8, n = w - 3*n + 11. Which is greater: w or -4?
w
Let a be 36/(-27) - 5/(-3). Is a < -3/8?
False
Let q(w) = -w**2 - 10*w - 16. Let n be q(-8). Which is smaller: 8/11 or n?
n
Let f be (1 + 0)/(33/(-6738)). Let g = 204 + f. Which is greater: 0 or g?
0
Let g = -10 - -39/4. Which is smaller: g or -1?
-1
Suppose 0 = -2*u - 0*u + 6. Suppose -41 - 43 = 3*n + u*i, 3*i = 4*n + 84. Let v be ((-2)/4)/((-6)/n). Is -2/3 <= v?
False
Let k(y) = y**2 - 2*y - 6. Let h be k(-4). Let s = -18 + h. Which is smaller: s or 3?
s
Let l = 0.02 - -10.98. Is l not equal to 0.1?
True
Suppose -5*g = 5*g + 10. Let o be 0/(-1 - 1/1). Do g and o have the same value?
False
Suppose 0*k = -3*k - 3*a + 15, -3*k = 2*a - 19. Let g = 10 - k. Is 0 less than g?
True
Let i = 1/30 + -1/3. Are i and 2 equal?
False
Suppose 4*g - 1 = -j, 4*g + 7 = 2*j - 7. Which is bigger: j or 4?
j
Let m = -1 + 1. Suppose -c - v = 2, -4*c - v + 2 = 1. Suppose m = -5*j - c + 6. Are -1/6 and j nonequal?
True
Let l(o) = -o + 2. Let c be l(-3). Which is smaller: 6 or c?
c
Let i = -0.2 - 1.7. Let g = i + -0.1. Is -0.2 less than or equal to g?
False
Suppose -3 = 3*w - 12. Let x be ((-2)/w)/((-2)/3). Suppose -3*y - 15 = 0, -3*f - 11 = -0*y + 4*y. Which is greater: f or x?
f
Let g = 10 + -1. Let j(n) = n**2 - 8*n - 12. Let y be j(g). Let s = -3 - 0. Is y at most as big as s?
True
Let m = -8 - -11. Suppose 4*b - 20 = -5*l, -b + 20 = 3*b - 5*l. Suppose -2*t + r = -6, -5 = b*t - 4*r - 17. Which is smaller: t or m?
m
Let d = 1.41 + 68.79. Let o = d - 77. Let z = o + 7. Is z >= 0?
True
Suppose 0*f + 5*f = 0. Let z be (f/(-2))/2 - -1. Let n = -8/15 + 1/5. Is n smaller than z?
True
Suppose 95 = 15*r - 10*r. Which is smaller: r or 18?
18
Let w(h) = 2*h**3 + 7*h**2 - 5*h + 8. Let k(y) = -3*y**3 - 13*y**2 + 9*y - 15. Let j(d) = -3*k(d) - 5*w(d). Let z be j(4). Which is greater: z or -2?
-2
Let v = 6 + -8. Is -