, -7 = 5*s - b. Are -43 and s equal?
False
Let n(c) = -c**2 - 7*c - 2. Let r(o) = o. Let k(t) = n(t) + 4*r(t). Let b be k(-2). Suppose b = 4*w + w - 10. Is w > 1?
True
Suppose 5*h = 11*h - 12. Suppose -5*u + 0*o - h*o = -25, 13 = 4*u + 3*o. Which is bigger: u or -2/7?
u
Suppose -19*r + 4 = -15*r. Which is smaller: r or -2/181?
-2/181
Let v = -1 - 0. Suppose -5*s - 4 = 26. Let b be (-21)/27 - s/(-27). Are b and v non-equal?
False
Suppose -2*c - 4*o - 4 = -0, 0 = 4*c + 3*o - 2. Suppose -4*q = -3*q - c. Let s = -31 - -31. Which is greater: s or q?
q
Let o be 6/8 + 55/(-40). Which is smaller: o or -1?
-1
Let l = 142/5 - 28. Is 19 greater than or equal to l?
True
Let w = -597 + 11340/19. Is w greater than 0?
False
Let i = -0.16 + -3.84. Let u = i + 4.1. Which is smaller: u or 14?
u
Suppose -5*q - 16 = -2*q - 5*h, -2*q - 2*h = 0. Let f be 1*(0 - 10) + q. Let a be (-14)/(-6) + 4/f. Is 1 less than or equal to a?
True
Let f be 1/4 - (-55)/(-20). Let b(i) = -i - 4. Let a be b(-4). Suppose 4*l - 2*g + a + 24 = 0, 2*g = 5*l + 28. Is l <= f?
True
Let s be (1/3)/(1/(-15)). Let p(y) = -y**2 - 6*y + 1. Let c be p(-7). Which is bigger: s or c?
s
Suppose -4*b + 20 = -4*s, -s + 4*b = 4*s + 20. Let t be ((-8)/3)/((-4)/6). Suppose 20 - 8 = t*n + 3*z, -3*n = -5*z + 20. Is n at least s?
True
Suppose -7*q + 82 = -163. Are q and 35 nonequal?
False
Let a = -0.3 - -0.3. Let x = -8.9 - -8. Which is smaller: x or a?
x
Let l(d) = -d**2 - 15*d - 17. Let k be l(-14). Let q = -6 + 9. Let z be (6 + 0)*(-2)/q. Which is smaller: k or z?
z
Let q(h) = -h**2 + 6*h - 2. Let x = -6 - -12. Let s be q(x). Is s at most as big as -1?
True
Let j be (1*-1)/((-3)/(-9)). Let i = 4 + -10. Let n be 4/3*i/4. Which is bigger: n or j?
n
Let v(w) = -w**2 - 2*w + 1. Let m be v(1). Let r(s) = s - 8. Let k(q) = q - 9. Let h(z) = -4*k(z) + 5*r(z). Let t be h(2). Is t != m?
False
Let c(r) = r**2 + 8*r + 9. Let s be c(-7). Let l(w) = w - 1. Let j be l(s). Which is bigger: 3 or j?
3
Suppose -5*q + 4 = 3*b, 2*b + 0*q = 4*q + 10. Suppose -5*d + 2*d = -b. Let f = 4 - 4. Is d at least f?
True
Let x be 0/2 - (-2)/(-2). Are 1 and x unequal?
True
Suppose -y - 11 - 33 = -4*i, i = -3*y - 171. Is y at least -109/2?
False
Suppose -3*x = -5*x - 6. Let z be x/3 + (-31)/4. Let a = z - -253/28. Which is smaller: 1 or a?
a
Let v(i) = -i**2 + 2*i - 1. Let l be v(2). Let a be 36/(-10) + l - -4. Suppose 0 = -h + 4*h. Is h at least as big as a?
True
Let f be 3/6 + (-34)/(-4). Let r be f/(-7) - (-4)/14. Let h = -3 - -3. Is h smaller than r?
False
Suppose 0 = 2*k + 2*k - 28. Let l = 74 + -66. Is k at least l?
False
Let f = -0.54 + 0.34. Is f > 1/3?
False
Suppose 13*m = 9*m - 4. Suppose -29 = 5*q - 4. Let y = q + 34/7. Is m bigger than y?
False
Let t be ((-1240)/308 - -4)*-7. Let d(o) = o**3 - 3*o**2 + 3. Let v be d(3). Suppose 5*u - 5*h + v = -2, 0 = 3*u + h + 3. Is u > t?
False
Suppose 0*p - p = -4*r - 15, 4*r = 5*p - 27. Suppose 0 = -3*w - 0*w + 9. Do p and w have the same value?
True
Let r be ((-2)/2 - 2)*1. Suppose 4*w + 5 = -3. Let p be (1/w)/(1/2). Which is greater: p or r?
p
Let c(m) = m**2 + 3*m + 2. Let a be c(-3). Let l = 5 - a. Are l and 3 non-equal?
False
Let v = 34 - 34. Is -1/10 less than v?
True
Let u be ((-1)/(-6))/(6/4). Which is bigger: -1 or u?
u
Let v = 7 + -11. Let n be (-2*(-6)/8)/3. Is v at most as big as n?
True
Let n = 229/28 - 17/7. Is n at most as big as 6?
True
Suppose d + 4*d + 5 = 0. Which is bigger: -5 or d?
d
Let i(u) = -u - 4. Let l be i(-8). Suppose 0 = l*j - 0*j. Let v = 1.2 + -0.2. Does j = v?
False
Suppose -3 + 35 = 4*z + 3*h, 4*z - 4*h - 4 = 0. Let x(u) = u**2 - u - 1. Let w be x(3). Let q = z - w. Is q bigger than 2?
False
Let k be -2 + 3 + 40/(-36). Which is bigger: k or 0?
0
Let s = -0.32 - -1.32. Is 7 equal to s?
False
Let t(d) = -d**2 + 11*d - 11. Let g be t(9). Suppose -g*n + 2*n = -30. Suppose 3*i = -n, i + 10 + 2 = 5*j. Which is smaller: j or 1?
1
Let m(c) be the first derivative of -c**4/4 - 1. Let i be m(0). Let d = -1.1 - -1.2. Which is smaller: i or d?
i
Let v be 21/9 + (-2)/(-3). Is v greater than 4?
False
Suppose 0 = 26*f - 23*f - 3. Is f at least as big as 1/66?
True
Let t = 15 - 31. Is -0.1 equal to t?
False
Suppose 3*p - 4*p - 2*x = -10, -5*p = -3*x + 15. Let n be 4 + -3 + (-15)/21. Which is greater: p or n?
n
Suppose 3*o = c + 21, -2*o - 7 = 2*c - 21. Suppose 2*a + o - 1 = 0. Which is smaller: a or -6?
-6
Let a be -1 + ((-150)/145 - -2). Which is bigger: -1 or a?
a
Let v = -49 - -48. Is -3/7 less than or equal to v?
False
Let s(n) be the second derivative of -n**3/3 + n**2/2 - n. Let a be s(2). Suppose 4*j + 2 = -6. Which is smaller: a or j?
a
Let q be (-2)/(-8) + 40/(-32). Is q greater than -15/8?
True
Let k(m) = -3*m - 5. Let g be k(-2). Is -2/9 equal to g?
False
Suppose 2*a = 8 + 2. Is 5 >= a?
True
Let g(n) = -n**3 + 6*n**2 + 1. Let k be g(6). Suppose 0 = 4*v + v - 4*i + k, -v + 5*i = -4. Let a = 40 - 41. Does v = a?
True
Suppose 0 = t - 2 + 3, 3*c + t - 11 = 0. Suppose 0 = -r - r - c. Which is greater: -5/8 or r?
-5/8
Let c = -287/6 + 47. Is 0 greater than or equal to c?
True
Suppose -5*a = 5*g + 10, 3*a + 4 = 2*g - 4*g. Is g less than -3?
False
Suppose 0*y = 4*y + 3*s - 84, -4*s - 40 = -y. Is 23 equal to y?
False
Let w = -71 + 71. Are w and 14 equal?
False
Let n be -2 + 0 + 16/9. Let r = 17 - 17. Is n less than r?
True
Let h(t) = -t**2 - 3*t + 2. Let p(u) = -5*u**2 - 13*u + 7. Let n(r) = -9*h(r) + 2*p(r). Let q be n(3). Is q smaller than -8?
True
Let i = -2761/2 + 1421. Is 41 < i?
False
Let g(a) = -3*a + 11. Let f be g(8). Let w(x) = -x**3 - 14*x**2 - 13*x - 4. Let j be w(f). Suppose -5*m - 16 = -3*k, -3*m - 37 = 4*k + 2*m. Is j smaller than k?
True
Let g(t) = -2*t**3 - 9*t**2 + t - 3. Let w be g(-5). Which is bigger: 16 or w?
w
Let j be (-12)/9*(-36)/56. Suppose 0 = 3*s - 6 - 0. Which is smaller: s or j?
j
Let w(y) = y**3 + 5*y**2 - 42*y + 11. Let f be w(-10). Which is greater: -70 or f?
f
Let y = -33 - -34. Which is greater: y or -1/5?
y
Suppose -5*u = 2*y - 5*y + 1, 0 = -y - 3*u - 9. Let g(d) = d + 6. Let o be g(y). Suppose -2*z = -4*v + z + 6, 3*v = -2*z + 13. Is o less than v?
False
Let i = -38 - -43. Let o be 4/(-5)*5/(-1). Is o greater than i?
False
Let b(h) = -h**2 + 5*h - 2. Let k(s) = s - 5. Let f be k(8). Let d be b(f). Are d and 4 nonequal?
False
Let n = -2/5 - -36/65. Suppose 0 = 5*s - p - 1, 2*p + 0 = -3*s - 2. Let g be 0/(s - (1 - 2)). Which is bigger: g or n?
n
Suppose z = -3*i - 2*z - 6, 2 = i + 5*z. Suppose 6 = 2*p - p. Suppose -p = 2*q - 0. Is q equal to i?
True
Let i(b) = 2*b + 4. Let s be i(-4). Let v = s + 4. Which is greater: v or -5/4?
v
Let g be 0 + (-3)/(11799/(-8356587)). Let i = -93118/57 + g. Let w = i + -491. Is 1 > w?
True
Let v(w) = -2 + 10 + 6*w + 0*w**2 - w**2. Let h be v(7). Suppose 0 = 2*p + 2*f - 6, 4*p - 20 + 8 = 4*f. Is h equal to p?
False
Suppose 0 = -3*z - 0*z. Suppose -5*s - 4*o = o - 35, -4*s + 4*o - 4 = 0. Let i be s - ((-12)/(-1))/3. Which is smaller: z or i?
i
Let q be -3190 + (0 - (0 - 0)). Let o be (-4)/(-10) + q/(-25). Let x = o - 636/5. Is x less than 1?
True
Let h be 2/9 - (-10085)/(-225). Let k = -44 - h. Which is smaller: 2 or k?
k
Suppose 0 = -4*l + p + 2, -3*l - 4 = 5*p + 6. Let k = -15 + 31. Let x be k/(-42)*6/(-8). Which is smaller: x or l?
l
Let w = 245 - 3183/13. Which is greater: -2 or w?
w
Suppose 4 = 3*l + l. Let z be l/(0 + -1) - -3. Suppose -y + 2*y = 1. Which is bigger: z or y?
z
Let d = 4 - 1. Suppose -4*v + 3*v = -4. Let u be ((-6)/v)/((-5)/10). Is u <= d?
True
Let i(n) = 0*n**2 - 7 + 2*n**2 - n**2 + 7*n + 0*n**2. Let a be i(-8). Is 2 smaller than a?
False
Suppose -16 = -4*y - 4. Suppose -3*c = -0 - y. Which is smaller: 8/9 or c?
8/9
Let s(k) be the third derivative of -k**5/60 - k**4/4 - k**3/2 - 3*k**2. Let y be s(-6). Are -5/2 and y equal?
False
Suppose -2*t - 1 = 5. Which is smaller: 0 or t?
t
Let l = 38 + -38. Let c be 1 + (-10)/(-6) - 2. Which is smaller: c or l?
l
Let h = 2 - 2. Suppose -5*f - 4 = 2*b, 3 = -2*f + b - 4. Let j be 1/(-2 - (-5)/f). Are h and j unequal?
True
Suppose -s - 16 = 5*u - 38, 4*s - 4 = u. Let t be (2 - (s + 0))/(-1). Let o(k) = -k**3 + k + 2. Let d be o(t). Is 2 smaller than d?
False
Suppose 5*z + h - 5 = 35, -h = -4*z + 32. Let o be (6/z)/(15/40). Which is smaller: