4 - (-1 - -2). Is u at least q?
True
Let m be (-2)/(-7)*(-42)/(-3). Let s = 12 - 8. Is m != s?
False
Let r(y) = -y**2. Let v be r(1). Suppose -d - n = d - 8, -3*n + 12 = 3*d. Let t = d + v. Is t < 3?
False
Suppose 7*s = 2*s - 80. Let y be 68/s + (-3)/(-12). Is y >= -4?
True
Let u(b) = -b**3 + 6*b**2 + 4*b + 5. Let m be u(7). Is m smaller than -0.1?
True
Suppose 3*p = 7 - 1. Let z = 2 + -2. Suppose -5*b + 5*v + 5 = z, 3*b + 0*v = 5*v - 1. Which is bigger: p or b?
b
Let l = -2/11 - -19/44. Which is smaller: l or 0?
0
Let l(y) = y**2 - 10*y - 9. Let f be l(11). Suppose 4*d - f = 6. Is d at most as big as 0?
False
Let y be 26/12 - ((-125)/30)/(-25). Let q be (-5)/(-3 + (-1 - -2)). Is y not equal to q?
True
Let u(i) = i**2 - 9*i + 8. Let y be u(8). Let f = -2/5 + y. Which is smaller: f or 4?
f
Let b(m) = -m**2 - m + 12. Let y be b(3). Which is greater: y or -3/7?
y
Let u = -598/1191 + 946520/2779. Let o = -340 + u. Is o less than or equal to -1?
False
Suppose 10 + 3 = 4*q - r, 4*q - 1 = 5*r. Let g(w) = -w. Let y be g(q). Let v = y + 5. Is v equal to 1?
True
Let x(c) = 2*c**2 - 36. Let m be x(0). Which is greater: -37 or m?
m
Suppose -2*v + 6 = v. Let c be v + (-26)/40 + -2. Let s = -2/5 - c. Which is smaller: 0 or s?
0
Suppose -3*d - 2*d = 0. Suppose -2*t = -d*t + 8. Let j be t/(-10) - 51/15. Which is greater: -2 or j?
-2
Let m = 32 - 34. Is m > 0.7?
False
Let u(s) = -5*s. Let h be u(1). Suppose 0*v = 4*z + 2*v + 22, 0 = -5*z + v - 17. Let o = z - h. Is o < -2/7?
False
Suppose -3*y = i + 2*i - 36, -i = -5*y - 18. Let u = i + -14. Does u = -1/10?
False
Suppose 5*n - 90 = -5*p, 4*p - 4*n - 62 + 6 = 0. Which is smaller: 15 or p?
15
Let d be (-3)/(-3) + (-56)/(-88). Is 2 bigger than d?
True
Let v(k) = -6*k**3 - 5*k**2 - 5*k - 3. Let b(o) = 7*o**3 + 5*o**2 + 5*o + 4. Let y(j) = -5*b(j) - 6*v(j). Let d be y(-4). Which is smaller: -2/5 or d?
d
Let y be -4*1/(-1 - 3). Which is smaller: y or 12/7?
y
Let l = -13.9 - -14. Is l at most 26?
True
Let p(v) be the first derivative of v**3/3 + 3*v**2 + 4*v - 3. Let s be p(-4). Let z be s*(1 + -2)*-1. Is z > -5?
True
Let z be ((-49)/21)/((-2)/6). Suppose 16 = w + z. Suppose -w - 3 = 3*k - 3*x, -3 = -3*x. Which is bigger: -1 or k?
-1
Let i be -3 + 3 - 10 - 3. Let v = i - -19. Let b = v + -3. Are 2 and b equal?
False
Let q = -0.285 + -1.205. Let p = q - 0.41. Let z = -2 - p. Is 2/7 smaller than z?
False
Suppose 0 = -2*j + j + 10. Does 11 = j?
False
Let q be 82/(-24) + 2/(-8). Let f = -118/33 - q. Is -1 equal to f?
False
Suppose 5*a - d + 1 = 0, 5*a + d - 5 + 4 = 0. Which is smaller: -1 or a?
-1
Let a = 0.23 - 4.28. Let r = 3.05 - 3. Let u = a + r. Is u <= 2/5?
True
Let f = 4356 + -56580/13. Let p = f + -153/52. Let t = 1 - 0. Is p greater than or equal to t?
False
Suppose -7 - 13 = -5*s. Let m be 52/(-3) - s/6. Is m <= -17?
True
Let y = -77 - -25. Is -53 smaller than y?
True
Let x = -0.105 + -19.895. Which is greater: -0.1 or x?
-0.1
Let v = 1.7 - 1.7. Which is bigger: 3/4 or v?
3/4
Let p = 9 - 7. Let i be (-2 + -3)*p/4. Which is smaller: i or 1/4?
i
Let h(x) = -x**2 + 14*x + 14. Let g be h(13). Which is greater: g or 26?
g
Let n(v) = v - 1. Let m be n(1). Suppose -2*s - 14 = 4*q, -q + s + 1 + 0 = m. Let u be 2/10 - (q - -3). Is -1 bigger than u?
False
Suppose -o - 38 = o. Let w = o - -20. Does 2 = w?
False
Suppose 3*l - 2*f = -28, -f = -3*l - 3*f - 20. Is -8 <= l?
True
Let f = 0.16 - 0.06. Let k = f - 1.1. Which is greater: k or -0.8?
-0.8
Let m be (-5)/(-10) + (-11)/2. Let f = -3 - m. Let q = -2 + 5. Which is smaller: f or q?
f
Let b(f) = f - 4. Let o be b(5). Let y be 2/8 + 76/16. Let q be 2/y + (-8)/(-5). Which is smaller: o or q?
o
Suppose 3*h - 8 = 4. Let c(g) = -1 - 1 - g + h. Let m be c(0). Which is bigger: m or 5/4?
m
Let f = -9 + 10.6. Let k = f - 1.7. Is -2/31 at most k?
False
Suppose 2*j + 3*c = -0*j + 15, -2*j + c - 5 = 0. Suppose 14 = 5*o + 2*m, -2*o + 16 = 2*o + 4*m. Do o and j have the same value?
False
Let j be (-848)/(-422) - (4 + -2). Let m = j - -742/10761. Let k = 145/102 + m. Which is greater: 0.1 or k?
k
Let z be 6/(-14) - 178/630. Let i = -2/7 + 31/35. Let q = i + z. Which is smaller: q or 0?
q
Let a = 77 + -45. Suppose -5*d = 3*q - 12 - 1, 4*d = 3*q + a. Which is smaller: q or -2?
q
Let r = -0.5 + 2.5. Let j = -4 + r. Let m = -19 - -16. Is m at most j?
True
Let w(u) = -u. Suppose 2*z = 4*z. Let a be w(z). Suppose 0 = -4*s - 4*r - 24, 6 = -s - 2*r - 3. Are a and s nonequal?
True
Suppose -l + 1 = 0, -6*h + 4*l + 44 = -3*h. Which is greater: h or 17?
17
Let v be -2 - -2 - (0 + 0). Let h = v - 2. Is -1 bigger than h?
True
Let y(t) = t**3 - 7*t**2 + 7*t + 5. Let o be y(6). Let i = o + -7. Suppose 5*z = -7*g + i*g + 3, -1 = z - g. Which is smaller: -1 or z?
-1
Suppose 2*v + 2*n + 0 + 2 = 0, -5*n = -v + 5. Is v <= -1/42?
False
Let x = 20 - 18. Which is smaller: x or 0.12?
0.12
Let k = 11 + -9. Is k <= 2.2?
True
Let l = 9 + -6. Which is greater: l or 4?
4
Suppose g + 12 = 5*g, -d - 4*g + 9 = 0. Is -10/3 >= d?
False
Let s = 15 + -15. Which is smaller: 10 or s?
s
Let t(s) = s**2 + 3*s - 3. Let x be t(-4). Let f = -0.1 - -1.1. Are x and f nonequal?
False
Suppose -3*f - 5*k + 2*k = 132, 5*f + 3*k + 230 = 0. Let o be (2/(-7))/((-21)/f). Which is smaller: 1 or o?
o
Let k = -1.2 - -1. Which is smaller: k or -3?
-3
Let x = -3 + 6. Let d = -12 - -12. Let m = x - d. Which is smaller: 0 or m?
0
Let w = 1 + 5. Suppose -2*u = w + 10. Let z be 5/(-3) + u/(-12). Which is smaller: -3/11 or z?
z
Let q = -0.14 + 0.04. Let f = -0.35 + -0.05. Let w = 4.4 + f. Is w greater than or equal to q?
True
Let d = 11.26 - 0.26. Let c be -1 + (1 - (-2 + 2)). Is d equal to c?
False
Suppose 0*g = 3*g - 5*s + 5, -5 = -5*s. Is 0 equal to g?
True
Suppose 3*s = s + 3*z + 15, -5*z = -3*s + 25. Do 1/10 and s have different values?
True
Suppose -3*d - 3*w - 11 = -w, 16 = 4*d - 5*w. Let m be 413/5 + 4/(-2). Let k = -81 + m. Are d and k nonequal?
True
Let t be 2/(-7) + (-300)/(-21). Is t > 3/2?
True
Suppose 3*p - 3*m - 12 = 0, -3*p + 5*p - 3*m = 8. Suppose -p*j + 12 = 5*y, -5*y = -5*j - 0 + 15. Suppose -a = -y*a. Which is smaller: a or -1/8?
-1/8
Suppose -5*f - 8*r = -4*r + 26, 3*r + 12 = 0. Let a(i) = -i**3 + 2*i**2 + 5*i + 3. Let v be a(4). Let p be (-2)/3*v/(-3). Is p <= f?
True
Let z be (-6)/(-9) + (-16)/42. Suppose 3*v + 0*v + 3 = 0. Let o be (0/(-2 - -1))/v. Which is smaller: z or o?
o
Let s = 0 - -16. Let a be 50/(-28) - (-24)/s. Which is smaller: -1 or a?
-1
Let h = -190/1017 - 4/113. Suppose 2*p - 6*p + 12 = 0. Let k = p - 2. Is h < k?
True
Suppose -3*y = -9*y + 30. Do 4 and y have the same value?
False
Let g(h) = -h**3 + 3*h**2 - h + 3. Suppose 0 = 5*o - 16 - 9. Let f = o + -2. Let s be g(f). Which is greater: s or 2/3?
2/3
Let l be (-5)/(-12) - (-9)/(-54). Is -1/9 greater than or equal to l?
False
Suppose -5*d - 9 = 11. Let x be (-2)/(-2) + (d - -3). Let k be (x + 0)*2/4. Is 0 at least as big as k?
True
Let u be (2/3)/(4/24). Suppose -z + 5 + 0 = 2*w, u*z - 20 = 5*w. Suppose t - z*t + 20 = -3*g, -4*g = 5*t - 25. Are g and -1 non-equal?
True
Let v(n) = 2*n - 13. Let t(d) = d - 6. Let l(p) = 13*t(p) - 6*v(p). Let m be l(-1). Let q be (1/2*4)/m. Is q > -2?
False
Let f = -2 - -4. Suppose -3*c - 8*m - 3 = -4*m, 5*c - 6 = -3*m. Suppose -c*y - 15 = 3*d, d = -f*d - 12. Is -2/13 less than y?
False
Let p = -2/957 - -123/7975. Let n = p - 17/25. Let i = 5 + -3. Is n at least i?
False
Let y = 6 + -7. Let q = y - 0. Suppose -4*w = w. Which is bigger: w or q?
w
Let o = 0.075 + 52.925. Which is smaller: o or 0.1?
0.1
Let w = 579/460 - 1/115. Which is bigger: 2 or w?
2
Let n = -42.04 - -42. Which is smaller: n or 4?
n
Suppose 0 = -4*r - 3*n - 6 - 10, -4*r = -4*n + 44. Let v = r + 9. Is 5 less than v?
False
Let n = -1 + -1. Does -0.03 = n?
False
Suppose 5*w - 48 = 12. Are w and 13 equal?
False
Let z = 94 - 76.04. Let t = z + -19. Let q = t - -0.04. Is -3 greater than or equal to q?
False
Let f = 0.071 + 0.429. Is f greater than or equal to 2?
False
Let i be (-3)/(-2)*8/6. Let y(c) = c**2 + 7*c - 10. Let k be y(-9). Suppose i*r - k = 4*r. Which is smaller: -5 or r?
-5
Let p(g) = g + 6. Let i be (-70)/12 - 3/18. Let j be p(i). Which is smaller: j or 4/9?
j
Suppose 5*k + 0 = 20. Let y be (-1 - -6)*k/10. Let g be 1 + (1 - 1) + -1. Is y greater tha