1
Let m = 77 + 29. Which is greater: m or 107?
107
Suppose 3*i - i = 6. Suppose 0 = 6*t - i*t. Does -1/2 = t?
False
Let n = 0.2 - 0. Suppose 2*f - 6*o = -o - 6, 2*o - 2 = f. Do n and f have the same value?
False
Suppose -3*n - 5*z + 29 = 0, -6*n = -n + 5*z - 35. Let y be 1 - 1*-2*1. Suppose 0 = -2*o + o + n*u + y, 0 = 3*u + 3. Which is greater: o or -0.1?
o
Let a = 0.21 - 6.71. Let z = 7 + a. Let b = z + -0.4. Is b <= 3?
True
Let m = 5 - -3. Let s(h) = h**3 - 8*h**2 + h - 9. Let u be s(m). Is 3 at least as big as u?
True
Let h be -2 - -1 - (-1 - -1). Does -3/31 = h?
False
Let h = 52 + -158/3. Suppose l = 2*c, 0 = -0*c - 2*c - 4. Let x(w) = w + 4. Let s be x(l). Which is bigger: h or s?
s
Let j be (0 + 15)*6/(-15). Let h be ((-1)/(-1) + -7)*1. Is h less than j?
False
Let j = 54 - 30. Let q = -22 + j. Which is bigger: 0 or q?
q
Suppose -3*r = 2*x, -2*r - 3*x - 2*x = 11. Suppose -5*j = r + 3. Which is greater: -6/7 or j?
-6/7
Let o = 2/13 + -32/39. Which is bigger: o or 15?
15
Let f = 128.1 + -122. Let l = 10 + -4. Let s = f - l. Is s <= -1/2?
False
Let d = 53/2 + -26. Is 0 > d?
False
Suppose 5*k + 3*j = 0, 2*j - 6*j = 2*k. Let o = 298 + -164. Let c = o + -1875/14. Is c greater than k?
True
Let h = -2 + -1. Let k = 1 + h. Is 0 < k?
False
Let h be (8/66)/(2/(-6)*2). Which is greater: -4 or h?
h
Let c = 7 - 4. Suppose 0*i = -3*i + c. Let p = 3 - i. Is p > 3?
False
Let p be ((-21)/(-70))/(6/5). Which is smaller: 1 or p?
p
Let m be 3 + (-3)/((-9)/3). Suppose m*u - 50 = 4*y - 202, -2*u - 10 = 0. Let g = 100/3 - y. Is g at least 1?
False
Let p = -2617924/105 - -24933. Let k = 2/35 - p. Which is greater: k or 4?
4
Let t(q) = -q**3 - 3*q + 2. Let l be t(0). Let i(d) = -d**3 - 2*d**2 + 2*d - 1. Let s be i(-3). Is l greater than s?
False
Let l = -2 + 0. Let b = -4 + 4. Let o be l - (2 + b)*-1. Is o >= 2/13?
False
Let c = -13 - -3. Let f be (2*(-1 + 0))/c. Is f less than 0?
False
Let f = 5 - 9. Let v = f + 4. Let d be (-1 + v)/((-1)/2). Is d not equal to 2?
False
Suppose 0*p = -3*p + 3*t + 9, -2*p + 30 = 4*t. Let w be (-2)/p + 9/7. Let o(r) = -5*r - 1. Let i be o(w). Is i bigger than -6?
False
Let n be 0 + -2 + (4 - 5). Let p(i) = -3*i - 4. Let b be p(n). Which is smaller: 6 or b?
b
Let j(o) = o**3 - 3*o**2 - o. Suppose -r - 17 = -4*t, 3*r - 7*r - 8 = -4*t. Let c be j(r). Is -1 <= c?
False
Let a = 21.683 + 0.417. Let i = a - 22. Let o be 9/(-6) + (-1)/(-1). Which is smaller: i or o?
o
Let c = -6/91 + 32/91. Which is smaller: -1 or c?
-1
Let t = -0.4 - -0.1. Suppose -4 = q, 3*m = 2*m - 2*q - 7. Which is smaller: t or m?
t
Suppose -3*o = 15, 4*t - 3*t + 4*o + 55 = 0. Which is smaller: -33 or t?
t
Let m(n) = -6*n - 2. Let j be m(-1). Let b be 1/(-5)*(j - 2). Is b greater than 7/2?
False
Let o(j) = -j**3 - j**2 - 2. Let k be o(-2). Which is smaller: k or 7?
k
Let x be 1/((1/1)/(-7)). Which is smaller: x or -4?
x
Let m = 18.8 + -19. Are 12 and m equal?
False
Let v be 1 + 2 - 3*1. Let c = v + 3. Suppose -c*p = 2*p - 3*b - 8, 2*p = 4*b + 6. Which is smaller: 2 or p?
p
Let y(m) be the second derivative of -m**4/12 - m**3/2 + 5*m**2/2 + m. Let r be y(-4). Let v be 1 - (-2)/((-24)/4). Which is greater: v or r?
r
Suppose 0 = 4*z - z - x - 9, 5*z - 3*x - 11 = 0. Suppose 5 = z*s - 7. Which is bigger: s or 4?
4
Suppose -a + 11 = -4*r, -4*r + 6*r = -a - 1. Which is bigger: -4 or r?
r
Let t(k) = 3*k**3 + 2*k**2 + k. Let s be t(-1). Let i be 26/(-10) + 4/(-10). Let f = i - s. Is f less than or equal to -1?
True
Let j = 0.078 - 0.278. Let f = -0.25 - -0.2. Let c = 1.95 - f. Which is smaller: c or j?
j
Suppose -3*p - 2*x - 2*x = 20, 4 = 4*x. Let i be (5/(-5))/((-10)/p). Let w = 2 - 4. Is w >= i?
False
Suppose 3*x + 5 = -n, n + 0*n + 4*x + 9 = 0. Let j = -38 - -44. Which is smaller: n or j?
j
Let h = -26 - 79. Let v be (-6)/3 + h + 2. Let k be 5/v + (-2)/(-6). Which is greater: k or 2/11?
k
Let h = 2 + -4. Let m = -2 - h. Is -1 greater than or equal to m?
False
Let w = -245/4 - -61. Is w bigger than 1?
False
Let m(f) = -f - 9. Let h be m(-9). Let l be -3*(h - (-15)/(-9)). Suppose -4*s = -p + 25, -3*p = -p + 4*s + 10. Is l smaller than p?
False
Let g = -1 - -1.1. Let z = 4.05 - 0.05. Which is smaller: g or z?
g
Let d = -13 + 11. Which is bigger: d or 0?
0
Let i(s) = s**3 + 10*s**2 + s + 4. Let p = 6 + -16. Let b be i(p). Which is smaller: 1 or b?
b
Let g = -86/99 + 14/33. Let z(s) = -s**3 - 2*s**2 + 4*s + 2. Let u be z(-3). Which is bigger: g or u?
g
Suppose 2*m = 10*m + 48. Which is smaller: m or -4?
m
Suppose 3*o + 63 = -39. Is -34 at most as big as o?
True
Let n be 4/18 + (-16)/(-9). Suppose q - n*q = 1. Is 4 equal to q?
False
Let a = 2 + -4. Let p = -2 - a. Let z = -0.16 + 2.16. Do p and z have the same value?
False
Let q be (-4)/12*(-12)/22. Which is smaller: 1 or q?
q
Suppose d = z - 5*z + 17, 5*d - 25 = -5*z. Which is bigger: 2.9 or d?
2.9
Let q(h) = -h**2 - 8*h + 11. Let d(r) = 19*r - 1. Let o be d(-1). Let i be (-1)/(-2)*(o + 2). Let k be q(i). Is k <= 0.1?
False
Let c = 87 + -88. Which is bigger: -67/3 or c?
c
Let z(x) = 2*x - 19. Let a be z(8). Is -2 smaller than a?
False
Let j = 947/5 - 190. Let x(w) = -w**3 + 6*w**2 + 3*w - 7. Let f be x(6). Suppose f*a = 13*a + 2. Which is smaller: a or j?
a
Let z(y) = 2*y - 5 + 4 - y. Let t be z(1). Let j = -13 + 25/2. Is j > t?
False
Let q = -50.29 - -50. Let t = q + -0.01. Which is bigger: t or -1/2?
t
Let i be ((-6)/2)/((-225)/6). Which is greater: 1 or i?
1
Let n be (-16)/5 - (-1)/5. Does n = -3?
True
Let a be 29/(-6) + (-3)/18. Let m be 24/6 + 19/a. Is -3/5 smaller than m?
True
Let t(w) = -w**2 - 13*w - 13. Let k be t(-12). Are -2/11 and k unequal?
True
Let s = -0.22 + 0.32. Which is smaller: s or -1.6?
-1.6
Let b(g) = g**3 - 3*g**2 - 4*g + 4. Let n be b(4). Suppose 6*x + 2 = x - 2*f, -14 = -x - n*f. Is x less than or equal to -2?
True
Let o(z) = 2*z + 28. Let k be o(9). Which is smaller: 45 or k?
45
Let o(r) = -r + 3. Let z be o(9). Is -36/5 smaller than z?
True
Let g = 3 + -2.9. Let p be 1/3 + (-4)/84. Which is greater: p or g?
p
Suppose 0 = -18*t + 5*t + 13. Is t > -1/55?
True
Let r = -7 + 4. Suppose -2*i + 4*i - 7 = -3*b, -3*b = 5*i - 13. Suppose i*h = h + 1. Is r equal to h?
False
Let k = 13 - 13. Which is greater: -1/3 or k?
k
Let h = -406/425 + 18/25. Which is smaller: h or 1?
h
Let d be (-4)/14 - (-2 + 2). Let u = -3 + 3. Let b = 0 - u. Which is smaller: d or b?
d
Suppose 34 = -3*b + 52. Let z = -1.9 + 2. Let w = z - 0. Which is bigger: b or w?
b
Let i = -14 - -13.9. Is -1/7 bigger than i?
False
Suppose g + 4*h - 1 = 2*g, 2*g + 2 = -h. Suppose 0 = -3*m - 4*b + 22, 0 = -6*m + m - b + 65. Let n be 2/9 + m/(-63). Which is bigger: g or n?
n
Suppose 5*v - 70 = -0*v. Let u = -13 + v. Which is smaller: 0 or u?
0
Suppose -5*q = 5*a + 5, -2*a - a - 3 = 5*q. Let r be (2 - 3)*0/a. Which is smaller: r or 5/7?
r
Let i(a) = a**3 + 6*a**2 - a - 7. Let y be i(-6). Which is smaller: -3 or y?
-3
Suppose -5*p + 10*p = 60. Suppose p*w = 17*w. Is 1/6 >= w?
True
Suppose 4*b = l - 11 - 19, 2 = b - 5*l. Which is greater: b or -5?
-5
Let p = 1 - -2. Let j = -7 + p. Let l = -4.2 - j. Is l <= 1?
True
Let p = -27 + 25. Which is smaller: p or 2?
p
Let w = -53 - -52. Are 1/66 and w unequal?
True
Let c = 18 + -109/6. Let y be 2/(-9) - (-8)/36. Which is smaller: c or y?
c
Let a = 7.4 + -1.4. Let v = -14 + 8. Let c = v + a. Is 0 greater than c?
False
Suppose -3*v - 2*v + 21 = -3*u, 0 = -4*v - 5*u + 2. Let k = 0.24 - 0.17. Let n = k - 0.27. Which is bigger: n or v?
v
Suppose 0 = 3*x - 2*x. Let r be (2/10)/(20/75). Which is bigger: r or x?
r
Let c = -199 + 2983/15. Suppose 2*p - 2 = 4*p. Which is smaller: c or p?
p
Let n = -5 + 1. Let w(i) = i**2 + 2*i - 5. Let v be w(n). Which is bigger: v or -0.1?
v
Let z be ((-2)/6)/((-20)/(-30)). Which is smaller: z or 5?
z
Suppose -3*q - 3 = -3*n, 7*q = -4*n + 4*q - 31. Suppose 4*u = 4*f - 2 - 10, 2*f + 4*u + 18 = 0. Let a be (-3 - -6)/(-1) - f. Which is smaller: a or n?
n
Suppose -3 = -5*w + 7. Which is smaller: 3/5 or w?
3/5
Let d be (((-36)/(-15))/2)/((-21)/70). Is d at most -0.07?
True
Suppose 5*t = -4*u + 61, -2*u - t + 26 = -3*t. Let a = -14 + u. Is a greater than or equal to 0?
True
Let z = 3414/5 + -687. Which is greater: z or -3?
-3
Let u = -0.04 - -0.11. Let m = -1.73 - u. Let a = -0.2 + m. Is -1 a