Let l = 7 + -12. Let m = -11 - -7. Is m at most as big as l?
False
Let t = 10 - 7. Suppose -2*v - 5*x + 10 = -t*x, 2*x - 2 = 0. Is v less than 4?
False
Let x = 3 - 3. Suppose 6 = -x*r + 2*r. Let i be ((-2)/4*-3)/r. Which is smaller: i or 1?
i
Let o be (10 - 16)*2/3. Let t(q) = -q - 5. Let u be t(-7). Is u bigger than o?
True
Suppose -3*b + 2*c + 468 = -c, -3*c = -b + 164. Suppose 0 = -2*d + b - 46. Let m = 373/7 - d. Is m at least -1?
True
Let o be 40/17*4/50. Let y be (3/((-6)/20))/(-17). Let w = y - o. Which is bigger: 3 or w?
3
Let c be (-84)/96*(-230)/(-3). Let d = c - -67. Which is smaller: d or 1?
d
Suppose 2*t + 4 = 2. Let g = t - 0. Which is smaller: g or -1/11?
g
Let h = -6 + 4. Is h not equal to -7/4?
True
Let k be (-19)/4 + 1/(-4). Let h(q) = -2*q - 3. Let m(a) = -3*a - 5. Let v(b) = -7*h(b) + 5*m(b). Let n be v(k). Is 0 < n?
True
Let c(g) = -3*g - 6. Let x = -10 - -3. Let n be c(x). Suppose 4*l + 5 = -n. Is -5 >= l?
True
Let x = 68 + -67. Which is smaller: x or 1.9?
x
Suppose 155 = 3*j - 4*n, -315 = -4*j + n - 130. Let o be j/(-108) - (-2)/3. Are 1 and o equal?
False
Let c be (-1)/(-4) + (-26)/72. Suppose 4 = 2*m - q + 1, 5*q + 29 = -4*m. Is m >= c?
False
Let i(d) = -d**2 - 5*d - 2. Let u be i(-4). Suppose 4*f + 15 = -3*k, -4*k - 6 - 14 = -u*f. Suppose 0 = -f*y - 5*y. Is -2 greater than or equal to y?
False
Let r = 979 + -2978/3. Is r equal to -14?
False
Suppose 0 = -3*s + 5*s + 4. Let f = 9 + -11. Is s bigger than f?
False
Suppose 7 + 8 = 3*f. Suppose 14 = -4*j - f*w - 6, -20 = 5*w. Let s(c) = -c**3 + 2*c**2 - c. Let m be s(1). Does m = j?
True
Let u = 130 - 125. Which is smaller: u or 6?
u
Suppose i + 0*i - 14 = -5*t, 2*i - 2*t = 64. Is i > 28?
True
Let f = 1.2 - 5.2. Let g = 0 + 3. Let w be -1 + g + (-3 - -2). Is w smaller than f?
False
Suppose -29 = -w - 2*o + 23, 0 = w - 2*o - 36. Is -1/2 at least w?
False
Suppose 5*p + 5*b + 5 = 0, -p + b = -0*p - 5. Let f be 0/21 + 2 + -1. Is p at most f?
False
Suppose 4*s - 12 = -4*j + s, 0 = 5*j - 3*s - 42. Let m be j*(-3)/(18/4). Let a be 2/(-8) - 180/48. Are a and m nonequal?
False
Suppose 3*y + 6 = -4*d, -3*y - 3 = -d + 3. Suppose z + d = -1. Is z >= -1/3?
False
Let n be 24/26*-2 - -2. Let z = 55 + -273/5. Is z bigger than n?
True
Suppose f + 0*g + 2*g - 5 = 0, -3*f - 3*g = -9. Let z = 0.05 + -0.1. Are f and z equal?
False
Suppose w + 2*w = -h - 5, 2*h - 2*w = 6. Suppose -2*j + 4 = 2*g, 9*j + 14 = 4*j + 3*g. Is j <= h?
True
Let g(z) = 2*z**2 + 4*z - 1. Let y be g(-3). Suppose 0 = -y*u + 3 - 8. Is u greater than -1?
False
Let d be ((24/(-9))/2)/(1/3). Is -7 bigger than d?
False
Let b = -0.13 - -1.13. Which is smaller: b or -8?
-8
Let d be (-9)/114*(5 + -4). Let r = d - -29/608. Is 0 less than r?
False
Let q(t) = -t. Let d be q(1). Let s be (-44)/(-10) + (-88)/22. Which is smaller: d or s?
d
Let u be -2 + (5 + -2 - 2). Is 6/13 less than u?
False
Let f(w) = 11 - 5 - w**3 - w**2 + w - 8. Let k be f(0). Let m be 0 + 1 + 0/k. Which is greater: 2 or m?
2
Let l(b) = -28*b + 7. Let o be l(8). Let h = -3253/15 - o. Which is bigger: 0 or h?
h
Let l = -0.04 + -0.51. Let x = 0.6 + l. Let v = -0.05 - x. Is 0.2 at least v?
True
Let b = -1 + 1. Suppose -5*h + 16 = -2*p, b*p + 8 = -2*p + h. Let d be (-3)/6*4/2. Is d less than p?
False
Suppose -535 = 7*s - 101. Is -2/5 >= s?
True
Let b be (3/4*-1)/(-3). Let s = 0.5 + 0.7. Let l = 0.2 - s. Are l and b equal?
False
Let q = -17/16 - -387/304. Which is smaller: -1 or q?
-1
Let a be -3*(-4)/(-5) - -2. Suppose 0 = -3*g - 0*g. Let c = -1 + g. Does c = a?
False
Let y = 1.96 - -0.04. Let u = -13/15 + 1/5. Which is bigger: u or y?
y
Let n(t) = t**3 - 2*t**2 - 4*t + 10. Let u(x) = x**3 - x**2 - 5*x + 11. Let c(v) = -4*n(v) + 3*u(v). Let k be c(5). Is -4 bigger than k?
False
Suppose -2*d = 2, 36 = -3*f + 5*d - 10. Are f and -16 nonequal?
True
Let r(b) = -2*b**2 - 8*b - 7. Let x be r(-2). Let a be 2/184 - 2/(-7). Let u = -1/92 + a. Which is smaller: x or u?
u
Let r(m) = 2*m - 8. Let f be r(7). Suppose 3*l - 4*s = -2*l - 3, 24 = -3*l - 5*s. Let h be -2*l/(3 - f). Do h and 1/3 have the same value?
False
Let g be 0/(-2*1/2). Let p = g + 2. Which is bigger: 7/4 or p?
p
Let m(h) = h**3 - 6*h**2 + 6*h - 2. Let w be m(5). Suppose 4*s + 2*d = w*d + 2, -10 = -2*s - 4*d. Is -3/7 at least as big as s?
False
Let j = 204 + -204.1. Which is smaller: j or 9/2?
j
Suppose -3*p + 62 + 4 = 0. Which is smaller: 21 or p?
21
Suppose 4*x - w - 3 + 9 = 0, -2*x = -w + 4. Let d = 3 + x. Suppose 2*v = d*f - 4, 2*v + 6 = 2*f - v. Is f less than -2?
False
Let a(h) = -h**3 + h**2 + h + 4. Let j be a(0). Suppose -q - q = j*m - 18, m = 4*q - 9. Let t = 2 + 2. Are t and q non-equal?
True
Suppose -4*t = -8*t + 20. Is t bigger than 3?
True
Let u(y) = y**3 - 5*y**2 + y - 3. Let h be u(5). Suppose 11 - 3 = -h*s. Is -2 at least as big as s?
True
Let a = 0.9 - -3.1. Let f = a + -3.9. Is -0.13 smaller than f?
True
Let m = 0.2 + -0.3. Let d(b) = 2*b**2 + 2*b - 4. Let s(t) = 5*t**2 + 5*t - 11. Let v(r) = -8*d(r) + 3*s(r). Let h be v(0). Which is bigger: h or m?
m
Let v(f) = -f + 9. Let p be v(5). Suppose -p*j + j = -78. Let k be j/(-12) + 2/12. Is k >= -2?
True
Let s(g) = g**3 + 14*g**2 + 14*g + 16. Let y be s(-13). Is 1/10 <= y?
True
Suppose -5*p = 3*l - 226 - 21, 4*l + 254 = 5*p. Suppose 5*a = 25, i - 2*a - p = -4*i. Suppose -q - i = 2*q. Which is bigger: -3 or q?
-3
Suppose q + 32 = 27. Suppose 0 = -v + 6*v. Suppose v = 3*l + 9 + 6. Is q less than or equal to l?
True
Let d = -2.2 + 2. Let r = d + 0.2. Which is smaller: -0.5 or r?
-0.5
Let s(t) be the first derivative of -t**4/4 - 5*t**3/3 - 3*t**2/2 + 5*t + 3. Let p be s(-4). Let j be (-12)/(-5) - (-6)/(-15). Is j less than p?
False
Let h be 3/9 + 50/(-6). Let d = -2 - h. Suppose -3*v + d - 3 = 0. Are 2/3 and v nonequal?
True
Suppose 2*c - 2 = -30. Which is smaller: c or -12?
c
Let v = 1 + -1. Let p be ((-4)/(-2))/((-8)/(-16)). Suppose -4*x - 8 + p = 0. Is v <= x?
False
Let f = 140.66 - 141. Is 1 bigger than f?
True
Suppose -5*v + 73 = 3. Is v smaller than 13?
False
Let x = -5.6 - -6. Let c = 0.16 + -0.06. Let f = x - c. Is -0.1 >= f?
False
Let y(r) be the third derivative of -r**4/24 + r**3/6 - 6*r**2. Suppose 5*i = 3*i + 8. Let w be y(i). Do w and -3 have the same value?
True
Let l = -22 + 21.4. Let o = -1.57 + -0.03. Let v = l - o. Is v <= 0.1?
False
Suppose 2*p - 4 = 3*p. Let r(n) = -n - 3. Let q be r(p). Suppose 0 = -2*z + q - 3. Is z smaller than -2/3?
True
Let g(q) = 2*q - 3 - 3*q + 0*q. Let z be g(-3). Let v be 0/(-2)*(6 + -5). Is v at most z?
True
Let w be 0/(-3) + 1 + 0. Let o be ((-1)/(-2))/(3/(-18)). Let m be 1/o*(-9)/(-7). Which is smaller: w or m?
m
Suppose -2*q + 17 = -37. Does q = 2/7?
False
Let f(s) be the first derivative of -s**4/4 - 5*s**3/3 - 5*s**2/2 - 6*s - 2. Let t be -6 - (3 + 1 + -6). Let h be f(t). Is h != -2?
False
Suppose -55 + 21 = 2*w. Let r = w - -25. Let x = r - 5. Are 1 and x equal?
False
Let u = 0.2 - 0.3. Let d = 0 - u. Let l be 3/4 - (-1)/(-2). Which is bigger: d or l?
l
Let g(r) be the second derivative of r**4/12 - 5*r**3/6 - 7*r**2/2 + 4*r. Let o be g(6). Which is smaller: 2/23 or o?
o
Let b = -0.12 + 0.36. Let q = b + 0. Let s = q - 0.04. Is 0.1 equal to s?
False
Suppose 2*x + 3*x = -3*m - 10, -5*m - x = 2. Let k(w) = w**3 + w + 2. Let b be k(m). Suppose -2*q - 3 = n, 2*n + 3 - 24 = 5*q. Is b > n?
False
Let p(i) = -2*i + 16. Let l(f) = f - 15. Let j(a) = -3*l(a) - 2*p(a). Let x be 2 - 1 - 10*1. Let t be j(x). Does 4 = t?
True
Let l = 29/2 + -199/14. Is l at least as big as 2/31?
True
Let m = -71 + 357/5. Which is bigger: m or -0.06?
m
Let f = -16 - -13. Is f greater than -0.1?
False
Let y(u) = -u**2 + 10*u - 12. Let t be y(9). Let q = -1 + t. Which is bigger: q or -2?
-2
Let d be 57*(7/(-42))/((-2)/4). Is d at least 18?
True
Let f be ((-162)/48)/(-3)*4/(-3). Which is smaller: f or -7?
-7
Suppose 0 = q + 3*q + 24. Do -6 and q have the same value?
True
Suppose -x + 4 = -5*x. Which is greater: x or 1/16?
1/16
Let q(a) = a**3 + 7*a**2 + a + 5. Let m be q(-7). Is -17 > m?
False
Let p = 32715029 - 161481384979/4936. Let v = 2/617 - p. Which is greater: v or 0?
v
Let f = -13 - -13. Which is greater: f or -3/52?
f
Suppose -5*z = 0, -5*z - 4 - 4 = 2*s. Are -1 and s unequal?
True
Suppose 6*h = -2*h + 336. Which is small