(-1598). Is b greater than or equal to 0?
True
Let n = 2 + -1. Let x = 27 - 25. Which is smaller: n or x?
n
Let l(f) = -f**3 + f**2. Let i be l(1). Suppose w = 2*w - 18. Let a = w - 71/4. Which is greater: a or i?
a
Let c(v) = -4*v**2 + v - 2. Let y(g) = g**2. Let z(n) = -c(n) - 3*y(n). Let p be z(0). Let x = 6 - 3. Which is smaller: x or p?
p
Let x = -25 + 20. Let f be ((-1)/3)/(x/(-45)). Which is bigger: -4 or f?
f
Let r(l) = 7*l**2 - l**3 - 5*l + 1 - 7 - 1. Suppose 0 = 3*x - 0*x - 4*u - 2, 4*x - 8 = 4*u. Let v be r(x). Is v greater than or equal to -1/3?
False
Suppose s + s + 8 = 0. Let p be -3 - (-3)/((-6)/s). Let x = 0.03 - -0.27. Is x less than p?
False
Let u(h) = -h**2 - 6*h + 6. Let c be u(-7). Let r = 1 + c. Is 0 at most r?
True
Let v be 10*7/(70/4). Suppose -u = v*u - 20. Is u greater than or equal to 2?
True
Let p be 8/(-20) + (-24)/(-10). Suppose p*o = 7*o - 15. Let f be (o/(-6))/((-10)/4). Which is smaller: f or 0?
0
Suppose -63 = 3*t - 3*x, 0*t - 51 = 3*t + x. Is t at least as big as -18?
True
Let w = -660 - -356. Let n = -3043/10 - w. Let u be 10/4*16/(-40). Is n less than or equal to u?
False
Suppose b = -4*p - 3, 5*b + 5 = p + 11. Suppose -5*c = -0*c. Are c and p nonequal?
True
Suppose 3*d - 4*q = 6, d - 1 = -2*q + 1. Suppose -3*g - 5 = d*g. Is g > 2?
False
Suppose 0*z = -2*z + 92. Which is smaller: z or 45?
45
Let g = -6 + 8. Let i(x) = x**3 - 4*x**2 + 4*x - 4. Let r be i(3). Let f be (2/4)/(r/(-4)). Do f and g have different values?
False
Let a(u) = u**2 - 2*u + 1. Let c be a(2). Let v be (-12)/(-9) - c - 1. Is -3 smaller than v?
True
Let p = -19 + 18. Is p at most -1/9?
True
Suppose 3*c - 6 - 3 = 0. Suppose 0 = -0*n + 2*n + 4*i - 22, -c*i + 3 = 0. Are 10 and n equal?
False
Suppose k + 265 = -4*k. Let q = k - -211/4. Which is greater: q or 0.4?
0.4
Let s = -23 - -24. Is s > 0?
True
Let z = 126 + -507/4. Let h = -1 - 1. Is h less than or equal to z?
True
Suppose 2*w - 6 = -y, -y + 9 + 3 = 4*w. Let t(o) = 5*o + 2 - 3*o + 0*o - o**2. Let u be t(3). Which is smaller: y or u?
u
Suppose 4*h = 3*s + s - 20, h - 25 = -5*s. Suppose 2*w + w - 15 = 0. Suppose 5*p = -w*m + 30, -16 = p - 4*m + 3. Which is greater: p or h?
p
Let h(b) = b + 7. Let o be h(-3). Let n be -2 + -2 + o - -5. Do 4 and n have different values?
True
Let s(c) = 2*c + 23. Suppose -3*w - w - 40 = 0. Let g be s(w). Let k(h) = -h. Let v be k(-2). Which is smaller: g or v?
v
Suppose 0 = -2*b + 12*b. Let r(q) = -q + 5. Suppose 4*x - 12 = 2*x. Let d be r(x). Which is greater: d or b?
b
Let l(t) = t**2 - 2*t - 4. Suppose 5*n + 14 = -2*d, 5*d - 2*n = -4*n + 7. Let k be l(d). Let i be (-4)/(-4)*1/k. Is 1 greater than i?
True
Let n = 125/3 - 42. Suppose 0 = 2*q + 8, 2*u - 14 = 2*q + 4. Which is bigger: n or u?
u
Let b = -51 + 98. Is 0.2 <= b?
True
Let x(w) = w**3 - 2*w**2 + w - 1. Let k be x(2). Is -3/50 equal to k?
False
Let f(l) = -7*l + 13. Let s be f(2). Is -2 at least s?
False
Let i = -1.12 + 0.12. Which is bigger: i or 6?
6
Let x(t) = t**2 - 34*t - 73. Let y be x(36). Suppose -4*v + 4 = -4*d, 0*v = -3*v + 5*d + 9. Do v and y have different values?
True
Suppose -7*h = -18 - 3. Suppose 4*j + b + 38 = 0, -4*j + 0*j + h*b = 46. Is -10 > j?
False
Suppose -3*q + 6 = -5*q. Is -5/4 at most as big as q?
False
Let q be 135/25 - (4 - 3). Which is bigger: q or 3?
q
Let b(j) = -j**2 - 3*j. Suppose m + 14 = 2*g, 3*g - 10 = -0*g - 4*m. Let h = g - 10. Let o be b(h). Do -2 and o have the same value?
False
Let k = 2/77 - 85/308. Let v(t) = -t - t**3 - 6*t - t - 1 + 9*t**2. Let h be v(8). Is h at most k?
True
Let i = 1 - -13. Let j = i + -9. Is -1 greater than or equal to j?
False
Let o be 7/(-5) + (-2)/(-5). Let l(r) = r**2 - 12*r + 5. Let h be l(12). Suppose 29 - 3 = 2*d - h*z, -3*d = -z - 13. Does d = o?
False
Let l = 4 + -8. Which is bigger: l or -9/2?
l
Let o = -10 + 19. Let d(u) = u**2 - 10*u + 11. Let r be d(o). Let j be (3/(9/24))/r. Is j smaller than 4?
False
Let s = -1.924 - 0.036. Let k = s + -0.04. Let r = k + 2. Are r and -1/2 nonequal?
True
Suppose 5*h - h - 1 = 5*w, -h = 2*w + 3. Which is bigger: h or -3/46?
-3/46
Let j = 7 + -3. Suppose -o - j = -3*z, o - z - 3*z + 2 = 0. Which is smaller: o or -9?
o
Let m be 3 - (0 + -36 + (-6)/2). Do 42 and m have the same value?
True
Let t = 1/401 - 6423/2807. Is t != -3?
True
Let q(v) = 2*v**2 + 3*v + 1. Let u(p) = p**3 - 4*p**2 + 2*p + 1. Let r be u(3). Let y be q(r). Let c be y/(3/(-1))*-2. Which is bigger: c or -2/3?
c
Suppose -4*u + 9 = 1. Suppose -4*w + 3*m - 22 = -u, w = -4*m - 5. Which is bigger: -6 or w?
w
Let t be -12*(14/(-4) - -3). Suppose x = 2*s + 22, 3*s + 11 = 2*x - t*x. Which is smaller: 0 or s?
s
Suppose 0 = 2*i + 2 + 2. Which is smaller: 0 or i?
i
Let m be (-8)/(-12)*(-3)/(-2). Do m and -5 have the same value?
False
Let s be -1*1*(-1)/4. Let b be -4 + (2 + -3)*-8. Let m be b/(-6)*(-15)/4. Is s < m?
True
Let b = -3.97 - -4. Let a = 0.13 - b. Which is smaller: 1 or a?
a
Let m = 7/11 + -45/88. Is 0.03 > m?
False
Let p(c) = -c**2 - 6*c - 6. Let s be p(-4). Let o(z) = -2*z - 4. Let t be o(-3). Are s and t non-equal?
False
Let t(h) = -h**3 - 9*h**2 + 10*h - 3. Let u be t(-10). Let i(z) = 2*z + 4. Let p be i(u). Let d = -22/185 - 3/37. Is p less than d?
True
Let v = 4.5 - 1.5. Let s = 4.4 + -0.4. Let b = v - s. Which is smaller: -0.4 or b?
b
Let t be (1/10)/((-14)/(-35)). Suppose -3*a = -2*a. Which is smaller: t or a?
a
Let a = -10 + 5. Let f = a + 5.01. Let k = f - -0.09. Which is bigger: k or -1/3?
k
Suppose -198 = 52*f - 43*f. Is f at most 0?
True
Let l = 2 - 0. Suppose -l*u = -0*u - 2. Let r(j) = j**3 - 3*j**2 - j + 2. Let a be r(3). Is a less than u?
True
Let z = 2.4 - -0.6. Which is smaller: z or -0.1?
-0.1
Let r = 439/5175 - 1/207. Let h = 19/75 + r. Do 1 and h have the same value?
False
Suppose -7*r - 9 - 33 = 0. Which is smaller: r or -5?
r
Let j = -279/4 + 69. Let x(i) = -7*i - 2. Let q be x(0). Is q != j?
True
Let c(q) = -q + 9. Let u be c(5). Suppose -x - u = 3*x. Are x and -2 equal?
False
Let c = -316/269 + 96006/24479. Let n = c + -16/7. Which is smaller: -1 or n?
-1
Let k(p) be the third derivative of p**5/60 + 13*p**4/24 + 3*p**3 - 2*p**2. Let f be k(-13). Do f and 19 have the same value?
False
Let g = -2264/11 - -206. Let a = -16 - -16. Let y = a - 0. Which is bigger: y or g?
g
Suppose -2*a + 5*a - 6 = 0. Suppose 4*f + g - 16 = -2*g, 5*g = -f + 21. Let n = f + 1. Does a = n?
True
Let x = 3230/159 - 61/3. Is x bigger than 0?
False
Let w = 167 + -117. Let u = w + -35. Suppose s + s - j = -u, 0 = -j + 5. Which is smaller: s or -4?
s
Let q = 0.66 + -0.94. Which is greater: 2 or q?
2
Let h = -8 - -10. Let t be h + -3 - (0 + -1). Is t at most -2/19?
False
Let g(r) be the first derivative of -5*r**2/2 + r + 4. Let u be g(1). Is u at least as big as -4?
True
Let c = -7 + 5. Let d = 0.1 - 0.3. Is c not equal to d?
True
Let o(i) = 2*i**2 - 6*i + 5. Let w be o(3). Which is greater: 18/5 or w?
w
Let q be ((-1)/(-2)*1)/(-2). Let g(u) = u**3 + 8*u**2 - 10*u - 9. Let w = 22 + -31. Let y be g(w). Which is smaller: q or y?
q
Suppose 5*l + 3*y - 18 = 0, -y + 3*y - 8 = -2*l. Is 4 at most l?
False
Let p(j) = j**3 - j**2 - 5*j + 5. Let c be p(2). Let t = 53 + -211/4. Which is smaller: t or c?
c
Let w = 2 - -3. Suppose w*q + 0 = -5. Is q smaller than 6?
True
Let d = -647/5 + 132. Let w = 44/15 - d. Which is bigger: w or -1?
w
Let v = -197 - -1774/9. Which is smaller: 0.3 or v?
v
Let p be 4/12*-3 - (1 - 8). Is p != 7?
True
Let k be (27/(-90))/(4/(-30)). Let g = k - 7/4. Is g < 2?
True
Let g = -20 + 13. Let l = g - -7.01. Is l greater than or equal to 0?
True
Let h = -2 + 9. Let l = 6 - h. Is l not equal to -2?
True
Suppose 4*b + 3 + 5 = 0, -8 = 4*i + 4*b. Let j(v) = -v + 10. Let p be j(9). Which is bigger: p or i?
p
Let s = 0.45 + -4.15. Let o = -6 + 10. Let k = s + o. Which is smaller: k or 0?
0
Let i(f) = -f + 9. Let q be i(6). Suppose -5 = -2*k + 3. Suppose r - k + 3 = 0. Are q and r nonequal?
True
Let x be (-3)/6*(1 - 1). Let u be (-4)/(32/(-3)) + x. Let f = 1.2 + -0.2. Is f != u?
True
Let d(x) = -11 + 2*x + 0 + x**3 - 10*x**2 + 0*x**3 - x. Let j be d(10). Suppose -2*u + 0*u = -5*k + 2, 1 = -k - u. Is j at most k?
True
Let r = 13 - 13. Let z(h) = h**3 - 7*h**2 + 7*h - 7. Suppose 5*l = -3*i + 36, 5*l = 4*i + 26 - 4. Let p 