maller than -3?
False
Suppose 4*b + 5*a + 24 = 0, 0*a + 15 = 5*b - 5*a. Which is smaller: -14 or b?
-14
Suppose -y - 266 = 5*n, -274 = 5*n - 0*n - y. Are -53 and n equal?
False
Let h = 2/115 - 264/1955. Which is smaller: 0 or h?
h
Let n = -4.8 + 4.8. Is -31 at most as big as n?
True
Suppose -2*x - 12 = -3*m - 1, 0 = 3*x + m + 11. Let l be (-33)/(-6)*x/(-6). Do l and 4 have the same value?
False
Let z(v) = v. Let h be z(8). Suppose 23 = -5*r + h. Is r less than or equal to -3?
True
Suppose -5 = h + 1. Is -4 less than or equal to h?
False
Let f = -1 - 3. Let v be (2 - 21)/(4 - -1). Do f and v have different values?
True
Suppose 5*x = -5*v + 5, x - 8 = -x + 4*v. Suppose 0 = -3*u + 5*a + 3 + 7, a = u - x. Suppose -4*b + 5 = 3*m - 4, 12 = 3*m + 5*b. Which is bigger: m or u?
u
Let a = -0.087 + 0.087. Is a smaller than 9?
True
Let l(m) = m**2 - m - 2. Let q(x) = 5*x**2 - 5*x - 11. Let f(o) = -11*l(o) + 2*q(o). Let y be f(0). Is -1 less than y?
True
Let n = -0.1 - -0.2. Suppose 2*x + 3*x - 18 = -2*q, -2*x = -3*q - 11. Let t(c) = c**2. Let p be t(q). Is n at most as big as p?
True
Let b = 2 - 0. Let t(n) = n + 8. Let h be t(0). Let c be (-2)/(h/(-6)) + -1. Which is smaller: c or b?
c
Let w(f) = 3*f. Let h(j) = 2*j. Let a(t) = 5*h(t) - 3*w(t). Let y be a(1). Is 0 bigger than y?
False
Suppose 4*s - 3*d = -0*d + 271, -s = -5*d - 55. Suppose -s = j + 137. Let h = -2275/11 - j. Is 1 at least h?
True
Let m(a) = -6*a - 1. Let l be m(-2). Suppose -v + 3*f - l = f, -5*v - 27 = -3*f. Let h(d) = -2*d + 9. Let o be h(6). Is o less than v?
False
Let z = 13 + -3. Which is smaller: z or 8?
8
Let j be 2/(-6) + 100/30. Is 2 <= j?
True
Let k = 33 + -32. Which is greater: -2/5 or k?
k
Suppose 4*d - 10 = -2*m + 6, 3*m - 24 = -4*d. Let n = 7 - m. Suppose 3*z - 10 = 8*z. Is n not equal to z?
True
Let n be (-34)/9 + (-4)/18. Which is smaller: -3 or n?
n
Let y = 2820/7 + -404. Suppose -2*f = -66 + 6. Let m = 29 - f. Which is bigger: m or y?
m
Let v = 26 - 25.9. Which is smaller: -54 or v?
-54
Let t be 5/2*96/15. Which is bigger: t or 5?
t
Suppose -s - s = -2. Is 1 <= s?
True
Suppose -5*g + 2*g + 378 = 0. Let w be (g/66)/((-6)/(-4)). Let c = w + -216/187. Which is smaller: c or 0?
0
Suppose 0 = -5*c + 20, 3*m - 4*m = -5*c + 19. Which is smaller: -12 or m?
-12
Suppose -6 + 0 = 2*b. Let n = -451 - -2699/6. Let a = n + -1/2. Which is bigger: b or a?
a
Let r(w) = -w**3 + 17*w**2 - w + 23. Let j be r(17). Suppose -2*b = -b + j. Which is smaller: -5 or b?
b
Suppose 5*n - 9 = 6. Let x(m) = -2*m - 6. Suppose 5*i - 6 = 4*t, 2*i + 9 + 11 = -4*t. Let l be x(t). Which is bigger: l or n?
n
Let l = 17/41 - 407/1476. Which is bigger: 1 or l?
1
Let l(w) = -w**2 - 9*w - 13. Let g be l(-7). Let c = g + -3. Is -2 < c?
False
Let h(s) = -s**3 + 6*s**2 + s - 2. Let f be h(6). Let y be 2/(-8) + 18/8. Suppose 0 = -2*z + f*z + y. Are z and -1 unequal?
False
Let n = 1.056 - 0.056. Which is smaller: n or -24?
-24
Let u be (2 + -3)/((-2)/6). Let j = -62 + 66. Which is smaller: u or j?
u
Suppose -x - 14 = -2*x + 4*v, -2*x - v = 8. Let a be x/(-3)*3/(-11). Suppose -3*o + l = -o, o + 5*l = 22. Which is smaller: a or o?
a
Suppose -2 + 10 = -4*j. Is -2/3 bigger than j?
True
Let j(m) = 5*m**2 + 11*m + 1. Let b(v) = -v**2 - v + 1. Let d(l) = 4*b(l) + j(l). Let p be d(-5). Let k = p - -6. Is k <= 1?
True
Let j = 18 - 21. Let m be 2 + j*(-16)/(-12). Is -4 at most as big as m?
True
Let r = 18 - 13. Suppose 70 + 19 = 2*d - r*m, 0 = -4*d + 5*m + 173. Let f be (-12)/d - 40/(-91). Does 1 = f?
False
Let o(j) = 19*j**3 + j. Let p be o(-1). Let w be ((-24)/p)/(3/(-10)). Which is bigger: -3 or w?
-3
Suppose 2*t + 37 = -3*t - 4*n, -2*t - 3*n - 12 = 0. Let o(s) be the second derivative of -s**3/6 - 3*s**2 + s. Let v be o(t). Does v = 2?
False
Let t(z) = -5*z**2 + 6*z**2 + 8*z - 5 + 5*z**2 - z**3. Let s be t(7). Which is smaller: s or 0?
0
Let y = 12 + -12. Let u = 102/5 - 20. Which is smaller: y or u?
y
Let y = 2 - 5. Let r(b) = -3*b**2 + 7*b - 7. Let s(q) = 8*q**2 - 20*q + 21. Let i(g) = 11*r(g) + 4*s(g). Let f be i(-5). Is f greater than or equal to y?
True
Let j(y) = -2*y - 16. Let w be j(-7). Does 3 = w?
False
Suppose -2*b + 9*b = 35. Which is smaller: b or 7/2?
7/2
Let s = -1672 - -76909/46. Which is bigger: s or 1?
1
Let x(n) = -2*n - 8. Let o be x(-6). Suppose o = -2*d - 2*d. Is -2/11 bigger than d?
True
Let l be (-2)/5*700/16. Let t = 18 + l. Is t less than 5?
True
Suppose 6*f - 3 = 3. Let c be ((-10)/8 - 0) + 1. Which is greater: f or c?
f
Let s be -2 - (-10)/4*2. Suppose s*g - g = 108. Let q = g - 215/4. Which is smaller: -1 or q?
-1
Let g = 22 - 34. Which is smaller: g or -13?
-13
Let i = -25 + 25. Which is smaller: i or 1/4?
i
Let d(j) = -j**2 - 7*j + 7. Let s be d(-7). Let a = s - 8. Suppose f + 1 + 1 = 0. Do f and a have the same value?
False
Let p = 10 - 10. Let y be 0/(p/4 + 2). Is y != -2/5?
True
Let l = -10.05 + 0.21. Let s = l + -0.16. Let i = s - -10. Is i at least 4?
False
Let m be (16/(-12))/((-318)/9). Which is smaller: m or 1?
m
Let x(f) = -f - 6*f - 2*f. Let w be x(3). Let j be -2 + (-114)/w - 2. Which is bigger: 2 or j?
2
Let y be ((-4)/6)/(6/45). Is y < -4?
True
Suppose 0 = -t - 5, 4*t + 89 = 4*d - 75. Suppose -d*f + 35*f = 0. Which is smaller: 3/14 or f?
f
Let s = 8 - 4. Suppose -2*d - 18 = -5*g, -2*g + 2 = s*d - 10. Which is bigger: 0 or d?
d
Let d = -33 + 65/2. Let p = 0 + 2. Which is smaller: d or p?
d
Let r = 0 - 0. Which is bigger: r or 2?
2
Let v be (-1)/1*1 + 16. Let m = 4 - 1. Suppose -4*a - v = q, -4*q - 13 = 5*a + m. Which is greater: q or 3/7?
q
Let k(w) = w**2 + 2*w + 1. Let a be k(-1). Let i = -134/3 + 45. Which is smaller: a or i?
a
Let o = 3.959 + 0.041. Is o at least -0.8?
True
Suppose 4*k - 8 = -5*l, -3*l - l + 3*k + 25 = 0. Suppose -l*h + 2 = 2*d, -6 = 4*h - 4*d - 26. Let y = -8 - -9. Is y at least h?
False
Let i = 1.89 - -0.11. Is -4 at least i?
False
Let s be (3/6)/((-1)/(-10)). Suppose 3*r - 4*g - 10 = -s*g, -r + 3*g = -10. Suppose 2 = h + i, -i + 2 = r*h - 5*h. Does 1/2 = h?
False
Let h = 0.4 - -0.6. Let n = -0.3 + -1.7. Let c = -1.9 - n. Which is smaller: h or c?
c
Let v = 11 - 8. Suppose v = -2*m - m. Which is greater: m or -1/7?
-1/7
Let b = 2.067 + 0.033. Let t = 0.6 - 0.7. Let s = b + t. Which is smaller: s or 0.3?
0.3
Suppose 5*h + 16 - 1 = 0. Let r be h/(-4)*8/15. Which is greater: 0 or r?
r
Let o = 6 - 5.95. Let n = o + 0.25. Is n at most 0?
False
Let k be 2/3 + (-2)/4. Which is greater: k or 0?
k
Suppose 0 = 22*w + 395 + 23. Which is greater: -81/4 or w?
w
Let b = -7.16 + 0.16. Let x = 7.2 + b. Are -1/2 and x unequal?
True
Let z = -31.3 + 30. Is 1 bigger than z?
True
Let l be (-1)/(2*(-2)/(-24)). Let o be (-1 - 2)/(l/8). Suppose -o*x = -6*x. Which is bigger: 2 or x?
2
Let n = -6.9 - -7. Let t = -1.3 - -18.3. Let j = t - 10. Which is smaller: j or n?
n
Let x be (-2)/(-12)*(4 - 6). Which is greater: -2/13 or x?
-2/13
Let h be (-9)/2 + (-2)/4. Let d = -14 + 9. Is d > h?
False
Let j = 8/8821523 - -11679649436/51844090671. Let u = j + -2/653. Which is smaller: 0.2 or u?
0.2
Let r(c) = -c**3 - 5*c**2 - 5*c - 4. Suppose 4*n - 6*n = 8. Let q be r(n). Is q >= -4?
True
Let z = 0.2 - 0.2. Let a(u) = -u**2 - 3*u - 1. Suppose -2*i + 0*i = 6. Let k be a(i). Which is greater: k or z?
z
Let g = -0.258 - -0.158. Let q = 12 - 23. Is g equal to q?
False
Let w be (2 - 0)/((-11)/(-11)). Let p be (2 - w) + (-1 - 0). Which is smaller: -7/3 or p?
-7/3
Suppose -h = -5*h. Let w(q) = -q**2 + 1 - 4*q + 4*q**2 + q**3 + 0*q. Let m be w(-4). Are h and m unequal?
True
Let i be (-3)/(-10)*25/30 + -1. Which is greater: i or -1.5?
i
Let f = 8 + -3. Suppose 2*s + 3*s = f. Let j be 4/(-5)*1/(-1). Which is greater: s or j?
s
Let i(y) be the first derivative of y**5/60 - y**4/4 - y**2/2 + 2. Let b(x) be the second derivative of i(x). Let z be b(6). Which is greater: 1 or z?
1
Let t = 5 + -8. Let q(i) = -i**3 + 7*i**2 + i - 5. Let c(s) = -2*s**3 + 6*s**2 + 2*s - 4. Let o(y) = t*q(y) + 2*c(y). Let d be o(-9). Is d <= -1?
True
Let l = -29 - -21. Which is smaller: l or -2?
l
Let c(h) = h + 6*h**2 - h - h**3. Let n be c(6). Which is bigger: 2/9 or n?
2/9
Let a = 92 + -92. Which is bigger: -1/10 or a?
a
Let w(g) = g**3 + 7*g**2 + 5*g - 5. Let q(r) = r**2 - 7*r. Let l be q(10). Suppose 0*f + 5*f + l = 0. L