. Which is smaller: m or 3?
m
Let s = -2 - -2.8. Let d = s - -4.2. Let i = 3 - d. Which is greater: -1/7 or i?
-1/7
Let w = -0.11 - -0.01. Suppose 10 = -3*d - 2. Is w smaller than d?
False
Let t be (-3)/(-12) - (-82)/(-8). Is t at most -9?
True
Let t = 2.73 - -3.27. Let z be 2/(-24) + (-3)/12. Are z and t non-equal?
True
Let p = -2.33 - -2.4. Let n = 8 - 7.97. Let x = p + n. Which is smaller: x or 0?
0
Let g = -10 - -6. Let b be 2 - (g - (-2)/2). Let n = 51 - 46. Is b less than n?
False
Suppose 2*k - 4*s = -12, 5*k - 4*s + 53 - 17 = 0. Which is bigger: k or -6?
-6
Suppose -4*t + t = 21. Is -25/4 not equal to t?
True
Let j = -3 - -5. Let s be ((-24)/30)/(j/10). Which is smaller: s or -5?
-5
Let c = -185695/952 - -3292/17. Let a = -9/8 - c. Which is smaller: a or -1?
-1
Suppose 2*t + 4*y = 6*t, 8 = 3*t + y. Which is smaller: 4/7 or t?
4/7
Let o(g) = 11*g - 1. Let h be o(-4). Let y be 5/(-4)*54/h. Is 1 at least as big as y?
False
Let k be (2/6)/(2/(-2)). Let c = 0 - 0.1. Let g = c - -0.3. Is g != k?
True
Let c = 18.4 + -35.1. Let p = -0.3 + c. Which is smaller: p or 0?
p
Suppose 0 = 4*h - 5*y + 18, -3*h + 2*y = -4*h - 11. Let t = h - -4. Let m be ((-1)/3)/(t/3). Is 0 at least m?
False
Let r(o) = 3*o + 43. Let b be r(0). Is 42 at least b?
False
Let s = 118 + -114. Which is bigger: 20 or s?
20
Let r be (0 + -1)*(-1)/1. Let g = -175/13 - -8601/637. Which is smaller: r or g?
g
Let j(x) = 13 + x - 10*x**2 - 1 - 3*x. Let p(m) = 3*m**2 + m - 4. Let r(t) = -2*j(t) - 7*p(t). Let a be r(-4). Which is smaller: a or 2/11?
a
Let d = 70 + -71. Is 7/2 > d?
True
Let u(r) = -3*r**2 + r + 1. Let k be u(2). Let p be 4/10 + k/60. Which is greater: p or -1?
p
Suppose -3*f + 4*f = 2*g + 3, -5*g + f = 0. Suppose -4*r = -4*i, 4*r - 2*i - g + 3 = 0. Is 2/15 >= r?
True
Let d = -19 - -18. Which is smaller: 0.9 or d?
d
Let k be (0 + -1)/2*2. Let v = 127928/39 - 3280. Let s = v - 22/65. Are k and s unequal?
True
Suppose 5*b - 2*b = 0. Suppose b*y - 4*y + s + 22 = 0, 2*y + 4*s = 2. Let d(w) = -w + 5. Let a be d(y). Is 2/11 bigger than a?
True
Suppose 5*s - 5 = 5*q, -4*s + 2*s = -4*q - 4. Let b(v) = -v**3 - 5*v**2 + 7*v + 8. Let w be b(-6). Are q and w equal?
False
Let m(w) = -w**3 + 5*w**2 - 3*w - 4. Let v be m(4). Suppose 5*a + 3*x = 6, -a - 3 = 2*x - v. Suppose -a*y = -y. Which is bigger: 1/3 or y?
1/3
Suppose 0 = -2*b - 1 + 3. Suppose 2*r + b - 3 = 0. Let v = 1.02 - 0.82. Which is smaller: r or v?
v
Let c = 1/11 - -5/66. Suppose -5*f = -3*f - 2. Which is smaller: f or c?
c
Suppose -25 = -3*z + 20. Let g be ((-3)/(-2))/((-12)/(-122)). Let d = z - g. Is 0 bigger than d?
True
Let f = -26 - -109/4. Which is smaller: 2 or f?
f
Suppose 0*y - 2*y + 10 = 0. Let a = -3 + y. Which is bigger: 1 or a?
a
Let h be ((-2)/(-6))/((-4)/21). Let s = 11 - 13. Which is bigger: h or s?
h
Let k be (0*1/(-2))/2. Let f be (k - 1) + -2 + 7. Suppose -3 + 48 = 5*w + 3*s, -f*w = -4*s - 4. Which is bigger: 5 or w?
w
Let b = -10/17 - -47/51. Let i be (2/(-3))/((-2)/(-33)). Let y = i + 10. Are b and y non-equal?
True
Let g(v) = -v**2 - 8*v - 9. Suppose 6*w = -5*i + w + 45, 4*i - 32 = -3*w. Suppose 1 = -t - i. Let h be g(t). Which is greater: h or 2?
h
Let v be 0 + 2 + (-2 - -1). Let j = -0.4 + 0.2. Let m = 0.1 + j. Do m and v have different values?
True
Let g = -23 - -18. Let a = -4 - g. Which is greater: 3/14 or a?
a
Suppose 4*r = -2*l - 3*l - 3, 0 = 3*l - 4*r - 11. Let v be (-3)/(-2) + -2 + l. Which is bigger: v or 0.1?
v
Suppose n + 1 = -18. Is n at most as big as -16?
True
Let r = -4.1 - 0.9. Does r = -12?
False
Let i = 2 + -2. Suppose -u - 8 - 3 = -5*g, i = 5*u - g + 7. Is 1/3 > u?
True
Let q(j) = j**3 + 5*j**2 + j + 5. Suppose -x = 2*n + 13, 0 = -n + 2*x + 2 - 1. Let o be q(n). Which is smaller: o or 2/3?
o
Suppose -z + 0*p + 2*p = 3, -z = -4*p + 7. Is z bigger than -0.3?
True
Let o = -43 + 42. Is 4 at most o?
False
Suppose -2*a - 25 = 3*r, -5*a - 4*r - 62 = -17. Let g = -3 - a. Suppose -4*v = -g*v. Are v and -1/6 non-equal?
True
Let f = 823/3 - 278. Suppose 4*p + 4 = -3*s, p + 3*s = 5*s - 12. Which is greater: f or p?
f
Let i = 18 + -21. Let l = -1 - i. Is l less than or equal to -3?
False
Let u = 84 - 48. Let q = -143/4 + u. Is q >= -0.7?
True
Let x be 14/(-30) + 1/3. Suppose 2*i - 2*d - 8 = 0, 0 = -0*i + i - 2*d - 7. Which is smaller: x or i?
x
Let i = 4 + 3. Suppose 2 = -5*s + i. Is s equal to 4/5?
False
Let f = 0.36 + -0.22. Which is smaller: f or 0?
0
Suppose 4*n - n - 6 = 0. Suppose -j - 1 + n = 0. Which is smaller: -2/5 or j?
-2/5
Let b be 0/1*(-2)/(-2). Suppose 7*j - 5*j - 10 = b. Which is bigger: j or 4?
j
Let f = 63 + -253/4. Let v(o) be the first derivative of -o**2/2 - 1. Let l be v(-1). Which is greater: l or f?
l
Let x = -181/4 + 45. Let q = -0.065 + -25.935. Let v = -26 - q. Does v = x?
False
Let g = 12 - 15. Let m be g/((-4)/((-12)/3)). Is m bigger than -4?
True
Let v(d) = d**2 - d - 3. Let h be v(-3). Let y be (4/6)/(6/(-63)). Let x = y + h. Is 0 > x?
False
Let z = 5 + 2. Suppose 16 = -z*h + 3*h. Suppose 0*w - 2*w = 2. Is h less than or equal to w?
True
Let f(k) = -k + 2. Let w be f(12). Suppose -17 = 3*c + t + 4*t, 4*c = -5*t - 21. Let n be 10/c*(-8)/w. Is -2 equal to n?
True
Let g = -10 - -16. Suppose 2*w + 17 = s + g*w, 4*w = s + 7. Suppose y = s*y. Which is greater: 2/7 or y?
2/7
Let f(y) = y + 14. Let l be f(-11). Let q be l*(0 - 2)/2. Do q and -1 have different values?
True
Let w = -14 + 15. Let n = -4/49 + -54/539. Which is bigger: n or w?
w
Let k = -65 - -586/9. Is k <= -1/2?
False
Let p = 0.2 - 0.1. Let r(l) = 0*l**3 + 0*l**2 + l**3 - 3*l**2 + 2. Let j be r(3). Which is bigger: j or p?
j
Let i(f) = f**3 - 9*f**2 + 10*f - 4. Let y be i(8). Let h be 4*(-2 + 39/y). Suppose 0 = -0*t + h*t. Is 0 less than t?
False
Let n = 41 - 37. Does -1 = n?
False
Let d = 65/66 - -2/11. Which is smaller: d or 2?
d
Suppose 0 = 4*p + 12 + 20. Let u(i) = i**3 + 7*i**2 - i - 14. Let h be u(-7). Is h less than or equal to p?
False
Let g = -9 - -9.3. Let m = g - 16.3. Which is greater: -1 or m?
-1
Suppose h - 3*c = -16, -3*c = -0*c. Is 0 < h?
False
Let y be (-3)/4*(-21)/9. Suppose 18 = 19*l - 1. Is y >= l?
True
Let t be (-48)/4 + (-9)/(18/8). Which is greater: t or -12?
-12
Let y be ((-16)/4 + 3)*-1. Does y = 1?
True
Let x = -0.2 - -1.5. Which is smaller: -0.2 or x?
-0.2
Let b = -6 - -2. Let k = b - -3. Which is smaller: k or 3?
k
Let m be (6/(-10))/(2/(-10)). Suppose -d + m*s + 10 = 0, -5*d - s - 8 = 6. Let f(y) = y**2 - 6*y + 4. Let n be f(5). Which is smaller: n or d?
d
Let z be (-3)/9*-3*1. Is 4/3 > z?
True
Let t = -29.11 - -29. Are t and 0 nonequal?
True
Let a be (-4)/6*4527/54. Let k = 56 + a. Which is greater: -0.2 or k?
k
Let a(j) = 3*j - 8. Let g be a(6). Is 12 >= g?
True
Let d(r) = r - 5. Let p be d(6). Let w be 1/(2 + 9/(-5)). Let f = 5 - w. Is f equal to p?
False
Let o be (556/(-20))/((-8)/(-10)). Let k = 35 + o. Let t = 1 - 4. Is t >= k?
False
Let i = 5/7 + -3/14. Suppose 0 = o - 2*o. Which is greater: i or o?
i
Let a(y) = y - 4. Let p be a(7). Is p not equal to 4?
True
Let l = 1.8 + -1.94. Let v = -0.04 - l. Let n = -0.1 + 0.1. Is n at most as big as v?
True
Let k = 7.22 - 1.32. Let r = 15 + -9. Let b = k - r. Is 0 not equal to b?
True
Let n = -5 + 43. Let s be 2/3*(-57)/n. Is -10 > s?
False
Let w(t) = t**3 - t**2 + t + 2. Let x be w(0). Suppose x*g + 6 = -0*g, -4*b + 3*g + 13 = 0. Is b < 0.2?
False
Let l be (-6)/(-4) - 6/3. Is l < 1/3?
True
Let l = -6 - -5. Let b = l - -4. Let o = 3 - b. Is -4 less than o?
True
Let l = 3/2 - 19/10. Is l bigger than -2/11?
False
Let m = 1.5 + 0.5. Let o = -6.98 + -0.02. Let p = o - -7.1. Which is greater: p or m?
m
Suppose 0 = -4*x - 21 + 5. Is -3 at least x?
True
Let t = 8 - -7. Let w be 4/(12/t)*-1. Is -0.1 greater than w?
True
Let q(l) = -l**3 - 8*l**2 - 7*l + 6. Let b be q(-6). Do b and -26 have the same value?
False
Suppose -5*a = n + 312, 60 = -a + 3*n - 12. Is -64 at least as big as a?
False
Suppose 2*x - 20 = -2*x. Suppose 0 = x*o + 48 - 13. Let k be ((-3)/(-4))/(o/4). Which is bigger: 0 or k?
0
Let g(z) = z**3 - 4*z**2 - 4*z - 2. Let k be g(5). Let m be 2/k + 20/6. Let o be (-9)/(-2) + 2/(-4). Are m and o non-equal?
False
Let g = 471/5 + -94. Let n = 0 - 0. Suppose 2*i + 0*i = n. Is g >= i?
True
Suppose p + 3*p + 96 = -3*t, -2*p + 3*t =