). Is m > -2?
False
Let w(t) = -t**3 + 5*t**2 - t + 4. Let h be w(5). Let y be ((-16)/(-216))/(h/(-6)). Is y not equal to 0?
True
Let c be 13/1 - (5 - 7). Suppose -c = 3*f - 8*f. Let p = 2 + -3. Which is smaller: f or p?
p
Suppose -10 = 3*q - 7*q + 5*n, -10 = -q + 5*n. Let l be (4/(-69))/((-4)/6). Do l and q have the same value?
False
Suppose -2*v - 8 = 4*f - 2, 0 = f - v + 3. Is f > -8/7?
False
Let p = 6.2 - 6. Let n = p + -0.22. Is n smaller than 1?
True
Suppose 3 = -2*i + 4*p - 7, p = -2*i - 10. Suppose 5*n - 38 = -2*r, 4*r + 42 = 5*n + 2*r. Let f = n - 12. Is i bigger than f?
False
Suppose 1 = -3*s - 2. Let v be -2 - (-6)/(-3) - s. Let i = v - -7. Is 2 less than or equal to i?
True
Suppose 2*h + 348 = -2*t, 1 = 3*t - 2. Let v = h - -1223/7. Which is bigger: v or 0?
0
Let j = -1 - -6. Let g = -6 + j. Let b be (2*g - -2)/1. Which is smaller: b or 1?
b
Let c be 14*((-1)/(-4))/(3/(-18)). Is c less than -21?
False
Suppose -3*f = -2*o + 17, 3*f = -5*o - 14 + 4. Which is greater: -1 or o?
o
Suppose 5*x - 17 = 2*v + 1, -2*v = -3*x + 10. Let r = 34 - 67/2. Is x not equal to r?
True
Let i(k) = -k**2. Let d be i(0). Suppose 94 = -7*w + 3. Does d = w?
False
Let i(p) = -3*p + 4. Let x be i(3). Is -5 at least x?
True
Let q be (-364)/(-576) + (-6)/(-27). Let v = q - 3/16. Is -0.1 greater than or equal to v?
False
Suppose 4*s + 64 = -24. Which is smaller: s or -24?
-24
Let a = -15 - -6. Is a at least -1?
False
Let k = -2 + 3. Let p = k + -1. Which is bigger: 2/29 or p?
2/29
Let j be (-2)/(-6) - (-1)/(-3). Let q(s) = -s**2 - 7*s - 5. Let k be q(-5). Suppose j = -k*n - 2 - 3. Is n not equal to -2?
True
Let g be 2*-13*3/(-6). Are 14 and g non-equal?
True
Let x be 7/(-39) - 3/(-9). Let t = 18 + -18. Which is greater: t or x?
x
Let d(a) = -5*a + 17. Let n(u) = 6*u - 18. Let g(s) = -5*d(s) - 4*n(s). Let m be g(12). Which is smaller: m or 0?
m
Let v be (-21)/30*(-4)/(-7). Which is bigger: v or 4?
4
Let y be (-5)/2*12/10. Let x(d) = -d**2 - 3*d + 4. Let r be x(y). Is 5 at least as big as r?
True
Let j(z) = -z**3 + 14*z**2 + 14*z + 9. Let a be j(15). Which is smaller: a or -7?
-7
Let c = -1 + 0. Let t = c - 2. Let q = t + 3.1. Which is smaller: q or 1?
q
Suppose -25 = 5*z + 5*n, -4*n = -2*z + n + 25. Which is greater: z or -7/5?
z
Let p = 0.36 + 0.64. Is p at least as big as 0?
True
Let g = -9 + 8.8. Which is bigger: 13 or g?
13
Let j = -7 - -7. Does j = 14/5?
False
Let t = -0.49 + 0.89. Let z = 947/13 + -73. Which is smaller: z or t?
z
Suppose -5 = -6*f + f. Let d(s) = s**2 + 6*s. Let n be d(-6). Suppose n = q - 0*q. Which is smaller: f or q?
q
Suppose s = 2*d + 1, -5*d + 24 - 4 = 2*s. Let f(o) = 1 + 2*o**2 + 6*o + 4*o**3 - 3*o**3 - d*o + 2*o**2. Let h be f(-3). Which is greater: -7/3 or h?
h
Suppose -5*t = -4 + 9. Let s be -4*1/(-2)*1. Suppose 4*w + s = -6. Which is bigger: w or t?
t
Suppose -20 - 1 = 3*w. Which is smaller: w or -4?
w
Suppose 7*s + 2 = 4*s - 5*o, 0 = -s - 5*o - 4. Let p be s - (-4 + 3 + 3). Suppose 0*h + 4*h = 5*f + 30, 0 = 2*f + 4*h - 16. Which is bigger: f or p?
p
Let u(q) = 5*q**2 + 16*q + 3. Let w be u(-3). Is 6/23 <= w?
False
Let p(m) = -m**3 + 5*m**2 + 6*m + 5. Let j be p(6). Let h be -1 + 2/((-4)/(-6)). Let o = 4 + h. Which is smaller: o or j?
j
Suppose 0 = 5*p - 0*p - 5*x, -5*p + x - 8 = 0. Do -1/2 and p have the same value?
False
Let s = 12 - 12. Which is smaller: s or 1/15?
s
Let p = 1.7 + -2. Suppose 3*h + 1 = -d - 1, -d - 1 = 2*h. Is d smaller than p?
False
Let q = 18.5 + 0.5. Let z = q - 19. Which is smaller: z or -1?
-1
Let u(x) = -x**2 - 14*x - 32. Let y be u(-10). Is y > 7?
True
Let s be (1/3)/(5/(-3)). Let z = 38 - 38. Which is smaller: s or z?
s
Suppose 2*p = 5*p + 9, -3*o - 3*p = 0. Suppose -c - c = y, -o*y - 4*c = 0. Is 1/2 <= y?
False
Let v = 28 + -31. Which is bigger: v or -2?
-2
Let h = 0 - 2. Let j = 171 - 1537/9. Which is bigger: j or h?
j
Suppose 2*k = -3*k + 10. Let z be (3 - k)*(2 - -1). Let g = z + -4. Is 0 <= g?
False
Suppose -v + d = -6, -2*d = -0*v + 3*v - 8. Let y be (-13)/4 - (-4)/16. Let o = y - -6. Which is greater: o or v?
v
Let k = 133247/5 - 26751. Let c = -102 - k. Is -1 less than c?
True
Let h = 0.62 - 0.02. Let g = 252.97 + -254. Let d = 0.03 + g. Is h greater than or equal to d?
True
Suppose 0 = 2*m - 0*m - 3*p - 6, 4*m = 3*p + 24. Let f = 18 + -9. Is m < f?
False
Let o = 0.6 - 0.8. Suppose 0 = -5*g + v, -6*g + 10 = -g + v. Are g and o equal?
False
Let y = -8 + 4. Let p = 4.06 + y. Let i = -0.94 - p. Are i and -2 unequal?
True
Let g be 3/18 + (-2)/12. Suppose g = 5*t - 7 - 3. Suppose 0 = -t*c + 10, -19 + 6 = h - 3*c. Which is smaller: h or 2/3?
2/3
Suppose -2 - 2 = -i. Suppose -i*m + w = -9*m, 0 = -4*m + 5*w + 29. Which is greater: m or 2?
2
Suppose 4*s = 9*s + 5. Which is smaller: s or -1/4?
s
Let y(q) = -q**2 + 4*q + 3. Let w be 224/36 + (-4)/18. Let f be y(w). Let h be 3/f - 2/6. Is h at least as big as 0?
False
Let a be 24/170*2/8*10. Which is smaller: a or -1?
-1
Let m = -0.19 + -0.11. Let c = 0.5 - 1. Let a = m - c. Do a and -0.1 have the same value?
False
Let y = -1241 - -13660/11. Let b = 5/33 - y. Let j = 4 + -13/3. Are b and j non-equal?
True
Suppose 2*g = g. Let d be (1 - (g - 1)) + -9. Let s(m) = -m**2 - 10*m - 30. Let y be s(-6). Which is greater: d or y?
y
Let l = 298/15 - 59/3. Let s(h) = -5*h + 9. Let x be s(2). Which is bigger: l or x?
l
Suppose -3*y + 3 + 3 = 0. Suppose -y*d = 7*i - 2*i - 8, d + 11 = 5*i. Let w = -396 - -399. Are i and w unequal?
True
Let y be 0/(-2) + (6 - 6). Suppose -u + 3*u = 10. Let p = u + -5. Is p < y?
False
Let r be ((-1)/(-6))/(11/(-9)). Let q = 53/66 + r. Let u(z) = -z**3 + z + 1. Let h be u(0). Is q > h?
False
Let a be 4/(1 - (-2 - -1)). Suppose 3*u = -3*f - 6, 3*f = 4*f - 5*u + a. Let g = -52 - -207/4. Is f at least g?
False
Suppose d - 25 = -3*g, d + 26 = 2*g - 3*d. Is g < 4?
False
Let k(a) = -a + 16. Let s be k(15). Suppose -w = -2*w + 2. Which is smaller: s or w?
s
Let q = -44/823 + 303863/3292. Let p = q - 93. Is p at most 0?
True
Suppose 3*x - 2*w + 20 + 50 = 0, 10 = -x - 2*w. Is 2 at least x?
True
Let z = -6 + 4. Let p be (-1)/z*(-2)/4. Is p >= 1?
False
Let f = 7 - 4. Let y be 6*(16/f)/4. Let u be ((15/y)/5)/(-3). Which is smaller: 0 or u?
u
Suppose -1 + 16 = -5*g. Let s be (1/(-2 - g))/1. Which is bigger: 4/3 or s?
4/3
Suppose -3*v = -4*v + 1. Suppose 3*r - 32 = 5*w, -2 = -2*r - w + 2. Suppose -3*z + r = 1. Does v = z?
True
Let i(r) = -r**2 + 10*r + 3. Let m be i(9). Let t be (-1)/3 - (-4)/m. Which is greater: t or -2/15?
t
Let o be -3 + 8 + (540/(-25))/4. Suppose -5*q = 4*b + 12, 3*q - 9 = 4*q + 3*b. Which is smaller: o or q?
o
Let x(i) = i + 3. Let z be x(0). Suppose -z*w + 28 = w. Is 6 smaller than w?
True
Suppose -4*f = 28 + 16. Suppose -33 = 3*n + 3*j, 16 = -3*n - 4*j - 16. Is n at most f?
True
Let f be (3 - -16) + 3/(-1)*1. Which is smaller: f or 15?
15
Let h be 1 - -1 - (-48)/(-23). Let o(c) = 6*c**3 + c**2 + 2*c + 1. Let t be o(-1). Let m be ((-2)/(-3))/((-4)/t). Is m > h?
True
Let p = 12 - 16. Which is bigger: p or -5?
p
Let f = -248 - -754/3. Suppose h = 2*o, 0 = 3*h - 2*h - 3*o + 2. Which is smaller: h or f?
f
Let c = -33 + 47. Let x = -13 + c. Let w = -159 - -1433/9. Is w smaller than x?
True
Let r be (24/18)/(-4 - (-128)/30). Let b(y) = 2*y - 3. Let i be b(4). Is r at least i?
True
Let w(g) = -g**3 - 4*g**2 + 4*g - 1. Let i be w(-5). Let c be (-3)/i*(-12)/3. Is 1 at most c?
True
Suppose -2*i - 5*c = 28, -i - 2*c - 34 = i. Let x be 1/8*i + 2. Which is smaller: x or 1?
x
Suppose 5*g - g + 3*j + 12 = 0, j = g - 4. Is g less than -0.3?
False
Suppose 2*y + 0 = 2. Suppose -o + 9 = -2*z + 6*z, 5*z = -4*o + 25. Let b be (-12)/(-18) + z + 0. Is y equal to b?
False
Suppose 2*q + 3*d = -5, -4 = -0*q + q + 3*d. Let b = -22 + 21. Is q bigger than b?
False
Let x(d) = d**3 + 7*d**2 + 5. Let y be x(-7). Suppose y*r = -12 - 8. Let p be ((-15)/10)/((-3)/r). Is -2 <= p?
True
Let k be (-2 + -9)/(3/3). Let f be (-6)/(-33) + (-20)/k. Let y be (-2)/f + 1/1. Which is smaller: 2 or y?
y
Suppose 3*s + 2 = 14. Suppose -5*t + 5*u = 0, -s*t - u = 3*u - 32. Suppose -3*d = h - 16, -5*h = t*d - 3*d - 10. Is d less than 5?
False
Suppose -8*t - 2 = -50. Suppose 3*a = -a + 24. Is t smaller than a?
False
Let m(d) = 39*d. Let a be m(-1). Is a > -38?
False
Let d(v) = -2