) = -u**2 + 3*u - 1. Let q be i(2). Let o be (1 + 1 + -2)/q. Let d be (-2)/(-2) + (-28)/21. Is o greater than d?
True
Let x(s) = -s**2 - 6*s + 7. Suppose 3*v = 5*v - 3*f + 5, -9 = 3*f. Let g be x(v). Let m = -103/3 - -35. Which is smaller: m or g?
g
Let y = 11 + 1. Let s be 3/12 - 27/y. Let f(r) = r**3 + 2*r**2. Let g be f(s). Which is smaller: g or 1?
g
Let v = 116 + -223/2. Suppose 5 = 5*y + 3*l, -2*y + 23 = -5*l + 2*l. Is v at most as big as y?
False
Let c(x) = 2*x + 1. Let b be c(-1). Is b != -2/195?
True
Let u be 2 + 4 + -4 + (13 - 1). Which is smaller: 16 or u?
u
Suppose 5*f = -3*u - 0*u + 4, 5*f = -5*u. Let x(i) = -2*i - 1. Let h be x(u). Which is bigger: 4 or h?
4
Let l = 1.4 - 1. Are -1 and l unequal?
True
Suppose -4*j - 15 = -9*j. Let l(n) = n**3 + 9*n**2 + 9*n + 4. Let z be l(-8). Let u = 0 - z. Is u smaller than j?
False
Suppose 0*q = 2*q. Let k = 3 + -4. Let y = 0 + k. Does q = y?
False
Let n = -43 - -42.83. Let z = -0.1 - n. Let a = 1.01 + -0.01. Is z equal to a?
False
Let d = 121/210 + 1/42. Is d >= -2/5?
True
Suppose 0 = 3*x + 3*s - 3, 4*x + 3 = -3*s + 6. Suppose -o = 2 - x. Let i be (-2 - o) + -2 + 2. Which is greater: -2 or i?
i
Let u = 36 - 110/3. Let j = -17/45 - -2/45. Which is smaller: j or u?
u
Suppose -5*q = 1 + 14. Let w = 4 + -1. Suppose -4*j = -w + 15. Is j < q?
False
Let b = 17.69 - 18.6. Let i = 0.49 - 0.4. Let z = i - b. Is z at most as big as -8?
False
Suppose 0 = -2*c + c - 1. Suppose -19 = -5*k - t + 11, 2*t = 5*k - 15. Let v(x) = x**2 - 4*x - 4. Let a be v(k). Which is bigger: a or c?
a
Let p = 22 - 14. Let c = p - 4. Suppose c*v = -v - 10. Is v greater than -1?
False
Suppose -4*x = -7*x - q - 1, x + q = -3. Suppose 2*c - 4*c = 0. Suppose 0 = k - c*k. Which is bigger: x or k?
x
Let n(u) = u - 9. Let i be n(5). Let b(o) = -o**3 + 5*o**2 + o - 7. Let c be b(5). Let l = c - i. Is 2 <= l?
True
Let d = -75/2 + 211/6. Which is smaller: 1/4 or d?
d
Let u be (-11 - -5)/((-2)/2). Let m(h) = h**3 - 5*h**2 + 6*h - 3. Let a be m(4). Is a < u?
True
Let v = -11 + 8. Let q be ((-6)/(-1 - v))/(-3). Is q not equal to 1/3?
True
Suppose 0 = 4*o + 2 + 2. Let d = -3 - o. Let x(n) = -n**2 - 3*n - 3. Let m be x(-3). Which is smaller: m or d?
m
Let y be -1 - (-140)/69 - 1. Which is smaller: -1 or y?
-1
Let u(x) = x**3 + 7*x**2 + 9. Let g be u(-7). Let h = 11 - g. Do h and 1 have the same value?
False
Suppose u - 15 = 2*a, -3*a = 4*u + a. Let k = 51 + -36. Let s = -9 + k. Is s smaller than u?
False
Suppose -3*b - i = -4 - 25, -51 = -5*b + i. Let v be (-12)/(-6) - b/8. Does v = 0?
False
Let k = 13 + -13. Which is bigger: k or 2/13?
2/13
Let x(m) = 9*m - 171. Let u be x(19). Suppose j = 3*o + 11, -2*o - 2 - 2 = -4*j. Do j and u have the same value?
False
Let c(w) = -4*w - 21. Let d be c(-6). Suppose o + i + i = -1, 25 = 2*o - 5*i. Which is smaller: d or o?
d
Let f = 296/5 + -222/5. Let v = f + -15. Let w(y) = y**2 - 10*y + 8. Let h be w(9). Is h < v?
True
Suppose 0 = -4*m - 5*c + 22, 3*m + 2*c = 21 - 1. Suppose -4*g + 2*g = -m. Which is greater: g or 5?
5
Let w(q) = q - 10. Let n be w(0). Which is greater: -13 or n?
n
Let b(r) = -2*r - 1 - 6 + 4*r. Let z be b(6). Suppose -z*n - 21 = -6. Which is bigger: -2 or n?
-2
Suppose -g = -3*m - 58, 38 = -m + 6*g - g. Let r = m + 18. Which is bigger: r or -2?
r
Let i = -6 - -4. Let c be 96/(-9) - i/3. Let v be c/15 + 10/6. Is -1/6 at least v?
False
Let t = -0.4 + 1. Let z = t - 0.52. Which is greater: z or -0.1?
z
Suppose -2*v = l - v + 16, -v + 49 = -4*l. Let d = 1 - l. Let o be 6/21 + (-4)/d. Which is smaller: -1 or o?
-1
Let r = 14 - 6. Is 8 equal to r?
True
Let w be (-1)/4 - 30/8. Let c = -6 - w. Is c greater than -2?
False
Suppose 4*x = 4*i + 18 + 10, 3*i = 4*x - 21. Which is smaller: i or -1?
i
Let f = 8.4 + -2.4. Is f < 2/5?
False
Suppose -4*g = -2*k + 18, -2*g + g = -2*k + 3. Let i(b) = -b**3 + 5*b**2 + b + 4. Let h be i(5). Let f be 4*(0 - 3/h). Which is smaller: k or f?
f
Suppose 43 = -2*s - 2*m + m, 5*s + 109 = -4*m. Are -22 and s non-equal?
True
Let n be (1 - -1) + -1 + -1. Let z = 1 - 9/7. Which is smaller: n or z?
z
Let c be -2 - (0 - 428/10). Let s = c + -41. Suppose 5*b + a = -a - 8, -3*a - 12 = -2*b. Are s and b non-equal?
True
Let f be 19/(-3) + 1/3. Let k be (5/f + 1)/(-1). Is -2/3 less than k?
True
Let y be (-4)/(-6) + (-10)/18. Let p be 104/(-28) + 4 + (-4)/14. Do y and p have different values?
True
Let z(u) be the third derivative of u**7/2520 + u**6/80 + 3*u**5/40 - u**4/24 + u**2. Let a(n) be the second derivative of z(n). Let q be a(-8). Is -2/13 != q?
True
Let s(h) = 2*h**3 + 14*h**2 - 9*h - 19. Let p be s(-7). Which is bigger: p or 43?
p
Let o(f) = f - 1. Let x(d) = 3*d + 5. Let a(v) = 4*o(v) - x(v). Let q be a(8). Which is bigger: -1/8 or q?
-1/8
Let o = -207/22 + 19/2. Let n = -4 - -4. Which is smaller: o or n?
n
Let y(j) = 5*j - 163. Let u be y(33). Suppose 6 = -0*h - 3*h. Let z be 20/6 + h/6. Which is smaller: u or z?
u
Suppose 4*g + 3 = 11. Suppose -f = -g*f + 15. Let r be (-1 + 2)/((-6)/f). Which is bigger: r or -4?
r
Let b be 0/(-3*1 + 2). Suppose b*n + 4 = 2*n - 3*x, 0 = -4*n + x + 8. Suppose 0 = -2*o - n*o - 8. Is -1/2 <= o?
False
Let j(c) = -c**3 - 6*c**2 - c - 5. Let d be j(-6). Let x = d - -4. Is x less than 5?
False
Suppose 3*b - 6 = 3. Let r be -6*(-2 - (-9)/6). Is b smaller than r?
False
Let c be 220/231 - 2/7. Which is bigger: c or 1/6?
c
Suppose -5*f + 2 = -3. Which is greater: f or 2/51?
f
Let h = 61/2 + -423/14. Let o = -0.4 + 2.4. Does o = h?
False
Let m = -191 - -121. Let s be (-12)/20 - (-18)/m. Which is greater: s or -1?
s
Let s = -1.6 - 3.4. Which is greater: s or 4?
4
Let t(j) be the second derivative of -j**3/6 + 5*j**2/2 - j. Let a be t(6). Which is smaller: a or 0?
a
Let f = -3.006 + -0.024. Let l = f + 0.03. Which is bigger: 0.4 or l?
0.4
Suppose -3*t + 3*n = -4*t - 9, 4*t + 3*n + 27 = 0. Is t at most as big as -6?
True
Let v be (-4)/26 - 28/(-182). Let t = 7/15 + -2/3. Which is bigger: v or t?
v
Suppose 0 = -3*h - j + 2, -4*h + 4 = -j + 13. Let x(v) = -2*v + 10. Let o be x(6). Which is greater: o or h?
h
Suppose -5*v = -6 + 1. Let y be 3 + 10/(-4) + v. Is -1/5 > y?
False
Let n be (-4)/18 - (-14)/63. Suppose n = -3*a - 3*v + 9, -15 = 2*a - 4*v - v. Which is smaller: a or -1/4?
-1/4
Let j = -7 + -3. Let n be (-1 - 0)/(2/j). Suppose -4*p = -5*x + 10, -3*x + 1 + n = -5*p. Which is smaller: 4/7 or x?
4/7
Let z = 13.2 - 12. Let f = 0.2 - z. Which is bigger: f or -4?
f
Let u(o) = o + 12. Let t be u(-8). Suppose -6 - 2 = t*a. Is -2 equal to a?
True
Let z = 1 - 1. Let h = 6 + -6.2. Let i = h + z. Is i at most as big as 2/5?
True
Let a be (-1 + (2 - 3))/2. Let g be a/(-3) - (-14)/(-6). Let w be 5/(-5)*g/2. Are w and 1 nonequal?
False
Let n = 5 + 3. Suppose n = -5*c - o, c - 5*c + 2*o = -2. Let b be -3*c/3 - 0. Is -2/11 > b?
False
Let k be (-242)/55*1/2. Let n = 2 + k. Suppose p = c + 2, 0*c = -c - 2*p + 7. Are n and c nonequal?
True
Let b = -17076/35 + 488. Which is smaller: b or 1?
b
Let y be (1 - -1) + 13/(-8). Let q(d) = -2 - 2*d + 3*d - 3. Let v be q(4). Which is greater: v or y?
y
Let b be 1/(-7) + 3/3. Let g be (9/168 - 0)*-30. Let s = b + g. Which is smaller: 0 or s?
s
Suppose 3*d + 3 = 2*d. Let t = 0.18 + -0.08. Is t greater than d?
True
Suppose 0 = s - 4*s - 3. Suppose 0 = -5*l + d + 28 + 4, 5*l = -d + 38. Which is greater: s or l?
l
Let w(v) = -1. Let i(g) = -g**2 + g - 3. Let l(c) = -i(c) + 2*w(c). Let r be l(1). Which is smaller: r or -1?
-1
Let c(g) = -3*g - 4. Let a be c(-7). Is 17 at least a?
True
Let o be -1*(-18)/(-2) + -1. Let k = o - -50. Let f be (2/(-4))/((-4)/k). Are f and 5 unequal?
False
Let n(g) = -g**2 + 3*g + 3. Let b be n(-2). Let i be (2/b)/((-1)/7). Which is greater: i or 1?
i
Suppose 2*s - 183 = 5*s. Which is bigger: -60 or s?
-60
Suppose 0*a = -2*a - 22. Let o = -18 - a. Is o at least -6?
False
Let a be (10/6)/((-1)/3). Let m = -35 - -34. Is m smaller than a?
False
Suppose 0*x - 44 = -x. Let z be (6/x)/((-9)/12). Suppose 0 = 4*i - j - 2, -5*i - 3 = 2*j - 6*j. Is i less than z?
False
Let l = -137 + 137. Let u = 733/15 - 49. Which is greater: u or l?
l
Let x be (-4)/18 + (-820)/(-45). Which is smaller: x or -1?
-1
Suppose -4*q + 5*q = -23. Let l = -2 - -8. Let u be l/15 - q/5. Do u and 4 have the same value?
False
Su