 3*x**2 - 4*x. Let a(p) = 2*p. Let f be a(2). Let y be c(f). Is 0 equal to y?
True
Suppose p = -2 - 1. Suppose 19*n = 27 - 103. Is p > n?
True
Suppose 3*f + 1 = -5*h, -4*h - 6 = 14. Let j = 40/261 - -12067/1305. Which is greater: j or f?
j
Let j = 1/803 + 1437/135707. Which is bigger: -1 or j?
j
Let g(l) = -l + 5. Let c be g(5). Suppose -2*y - 4 = 2*t + 8, -2*y + 3*t - 17 = c. Is 2 at least as big as y?
True
Suppose -1 = -3*v - 10. Let d be (42/364)/(v/4). Do -1 and d have the same value?
False
Let l be (-9)/((-54)/4)*15. Suppose 11*s - l*s = -143. Let c = s + 3005/21. Is c greater than or equal to 0?
True
Suppose -3*x + 5 = 4*g, -x = -0*x + 5. Let m be -1 - ((-1)/g - 0). Suppose 6417*y - 6423*y - 6 = 0. Which is bigger: m or y?
m
Suppose -5*i + 19 = -16. Let r = -7 - i. Let n = 46 - 61. Which is smaller: n or r?
n
Suppose 4*x + 8 = -0*x. Let s be (x/(-32)*4)/(-7). Let h = -53/84 + s. Which is smaller: -12 or h?
-12
Suppose 2*z + 64 = 6*z. Let v = z + -18. Let a be (1/(-6))/(3 + v). Which is smaller: a or 1?
a
Suppose 0*o + 3*o = 3. Let j(q) = -q**3 + 12*q**2 - 13*q + 23. Let m be j(11). Let a be m - 0 - (-5)/(-4). Is a less than o?
True
Let i = 32792 + -491878/15. Suppose 0 = -3*q - q + 8. Suppose q*b + 2 = -4*h - 8, -14 = -2*b + 4*h. Which is smaller: b or i?
i
Suppose 18*s + 14*s = -9*s. Let j be ((-17)/(-21) + -1)/(-1). Which is greater: s or j?
j
Suppose 99*a = 98*a - 18. Let n = a - -18. Does n = -3/37?
False
Let s = -51621119/2407387375 - -498/23225. Let f = -414618521/3832643625 + s. Let v = f + 2/51. Are v and -1 equal?
False
Suppose 12 = -4*d + 44. Suppose -9*a = -5*a - d. Suppose -7*z + 5*z = a. Is 0.7 greater than or equal to z?
True
Let a = -22 - -11. Let l be 2*1/(a - 2). Let u be 91/39*(-10)/(-35). Is u equal to l?
False
Suppose -w + 6*w + 35 = 0. Let j = w + 9. Which is smaller: 5/3 or j?
5/3
Suppose -4*h + 102 = 118. Which is smaller: -12 or h?
-12
Let y = 36139/7 + -5149. Which is smaller: -1 or y?
-1
Suppose 4*v + 0 = -16. Let q = -2 - v. Is q bigger than 0?
True
Suppose -6*x = 7*x. Which is smaller: 1/37 or x?
x
Let z(x) = 5*x + 24. Let i be z(-5). Let r be 1*-1*3/51. Which is bigger: i or r?
r
Let z be -4 + (2 - -5) + 2. Let h be ((-24)/(-70))/(2/z). Which is smaller: 1 or h?
h
Let m be 3 - 1*(-1 + 6) - -3. Are m and -1/61 unequal?
True
Let v = 32.22948 - 0.01948. Let f = -0.21 + v. Let m = -26.9 + 26.8. Does m = f?
False
Suppose -5*i = -3*x + 2*x + 20, -4*x + 8 = -2*i. Is x at most 4/101?
True
Let k = -16703/25 - -668. Let l = -1255931/50 - -25116. Let r = l - k. Which is smaller: -2 or r?
r
Suppose 3*p + 3*p - 18 = 0. Suppose -p*n + 87 = b, -2*n + 75 = n + 5*b. Is n at least 30?
True
Let t = 15 + -24. Let n = t - -9.17. Let r = n + 0.03. Which is bigger: r or 0.4?
0.4
Let d be (1468/312 - 6) + 4/12. Is -1 not equal to d?
True
Let i = -13 - -17.05. Let w = i - 0.05. Let j be (4/(-50))/((-1)/(-5)). Which is bigger: j or w?
w
Let u = -38.9 - -37.2. Let b = -0.88 - 0.12. Is b at least as big as u?
True
Suppose -5*u - 19 = -5*d + 2*d, d + 5*u - 13 = 0. Suppose 10*h = 11*h - d. Suppose -3*p + 10 = -17. Is h less than p?
True
Let g(z) = z + 1. Let m be (5 + -11)*(-4)/3. Let s be g(m). Let b be (3 + s/6)*2. Is b not equal to 8?
True
Suppose 40*f - 22 = 38*f. Suppose 3*w - 15 = -2*w. Suppose 5*g + 3*n - 50 = 0, -w*n - 2*n = 4*g - 40. Is g at least as big as f?
False
Let v(t) = -t**2 - t - 1. Let i(s) = -4*s**2 + 3*s - 4. Suppose 7*y - 2*y - 16 = m, 0 = -y - 3*m. Let j(w) = y*v(w) - i(w). Let r be j(6). Is r bigger than 2?
False
Let q = 56.7 - 39.7. Which is greater: 0.1 or q?
q
Let s = 82 + -77. Suppose -10 + 48 = 2*n. Suppose 3*z + 2*q + n = 0, -2*q = -s*z - q - 36. Which is greater: -6 or z?
-6
Let x = -62.954 - 0.046. Let j = x + 65.1. Is -1/5 at most as big as j?
True
Suppose -5*b + 2*o = -30, -2*b = -2*o - 20 + 2. Let u = -1.1 - -0.1. Is u <= b?
True
Let s = -297 + 2641/9. Let y = -457/126 - s. Which is bigger: 0 or y?
0
Suppose 3*p = 2*l + 1037, 4*l = -5 + 13. Are p and 347 nonequal?
False
Let f = 1 + -4. Let l be 28/(-126) + -1*(-88)/(-252). Do l and f have the same value?
False
Let m = 65.914 - -0.086. Let r = -65 + m. Is -31 equal to r?
False
Let r(k) be the first derivative of -k**3/3 - k**2/2 - 9*k - 2. Let w be r(0). Let u(b) = -3*b + 20. Let y be u(9). Which is smaller: w or y?
w
Let q(x) = -6*x**3 - 2*x + 16. Let w be q(3). Is w <= -0.3?
True
Suppose 6*y = -14 - 16. Let h be y*-1*(3 + -4). Let x = h - -324/65. Is x less than or equal to 1?
True
Suppose 58 = -11*a + 432. Let p be a/(-119) + 4/14. Is p <= 5/4?
True
Let k(q) = q**3 - 6*q - 3. Let x be k(4). Which is greater: x or 149/4?
149/4
Let g be 1/3 + 7/(-3). Let s be (-24)/72 + (-1 - 22/(-3)). Suppose -2*p = -s*p - 8. Is p at least g?
True
Suppose 0 = x - 4*x + 6. Suppose 28 = 2*w + 2*z, 0*w - 3*z + 6 = -w. Let i(n) = 4*n - 33. Let v be i(w). Is x not equal to v?
True
Let q be 6 + (-2)/(2 + -1). Let y = q - 7. Let n be -2 + 0/(6/(-3)). Which is bigger: y or n?
n
Let w = -154.978 + 155. Let j = -3.022 + w. Which is smaller: j or -0.8?
j
Let h be (31419/(-15))/((-8)/(-5)). Let m = h - -1302. Let t = 7 + m. Which is greater: t or -1?
t
Let t = -20426 - -103113/5. Let u = 196 - t. Is 0 greater than u?
True
Suppose 5*d = -3 - 2. Let i = -3444 + 513158/149. Which is bigger: i or d?
i
Let v(k) = -k**3 + 6*k**2 + 8*k + 5. Let h be v(7). Let x be (6/9)/((-28)/h). Is 4 less than x?
False
Let j be -6 + (-1)/(-2)*12. Which is smaller: j or 2/269?
j
Let h = 38/27 - 577/621. Let s = 573/1150 - h. Which is smaller: 0 or s?
0
Let r be (42/15)/(2/(-10)). Let n be r/49 - (-23)/7. Let x be 94/14 - (-8)/28. Which is bigger: x or n?
x
Suppose -10*b - 7 = -11*b. Suppose -3*g + 11 = -4*r, b*g = 3*g + 5*r + 15. Suppose 2*k - 3 = -4*a - 13, 0 = 2*k - 3*a - 25. Is g <= k?
True
Let m = -68687/5802 + 5/967. Are -12 and m unequal?
True
Let s = -462 - -463. Which is greater: 351 or s?
351
Let i = 2691039/440 + -6116. Which is smaller: i or 1?
i
Let u be (-12)/7 + (-5 - (-264)/56). Which is smaller: -4 or u?
-4
Let y = 66 - 62.9. Let t = 1.7 - y. Let w = -1.5 - t. Is 1 != w?
True
Let w be (3/(-4))/(-4*(-2)/288). Let t = w - -27. Let j = -22/7 + 16/7. Is t less than j?
False
Let z = 299 - 335. Which is smaller: -30 or z?
z
Let z(g) = 1 + g - 5 - 1. Let j be z(5). Let l = 3015/8 + -377. Which is greater: j or l?
j
Let t = -927 - -925. Which is bigger: t or 2/123?
2/123
Let y(g) be the first derivative of -4*g**3/3 + 9*g**2/2 - 9*g - 3. Let r be y(5). Let z be r/40 - 4/10. Are z and -18/7 unequal?
True
Suppose 0 = -4*t + 8*t + 336. Let w be t/26 - (6 + -9). Which is greater: w or 1?
1
Let k be (16/40)/((-2)/(-60)). Let n = k - 13. Let h be 0 + 9/21*n. Which is bigger: h or 1?
1
Let m(c) = 3*c**2 - 31*c + 186. Let w be m(7). Is 116 > w?
False
Let p = -32.99 + -0.01. Let u = p - -32.9. Which is bigger: u or 0.11?
0.11
Suppose -4*q + 8 = -0*q. Suppose q*y + 32 = 2*g, -2*y + 104 = -7*y - g. Is y at least -19?
False
Let n = 169.06 - 169. Is n smaller than -0.01?
False
Let a(r) = -6*r + 80. Let l be a(14). Which is smaller: 0 or l?
l
Suppose 4*n + 70 = 4*m + 242, 0 = 4*m - 5*n + 175. Let r be (-4)/m*9/(36/16). Is 1 less than or equal to r?
False
Suppose 6*x - 20 = x. Suppose 2*r + x*t = 16, r - t - 31 = -2*r. Suppose 3*o = -2*o + r. Which is bigger: o or 8?
8
Let w = 5.44 - 5.638. Is w > 1/3?
False
Let s be (6/(-4))/(10/(-20)). Do 0.04 and s have the same value?
False
Let v(m) = m**3 - 10*m**2 - 4*m - 8. Let s(l) = -l**2 + l. Let w(y) = 3*s(y) - v(y). Let a be w(8). Which is smaller: a or -5?
-5
Suppose 5*t = 4*v - 14 - 1, 9 = v - 3*t. Suppose -12*n = -16*n. Are n and v equal?
True
Let j = -1061 - -40315/38. Let f(l) = -l**3 - 4*l**2 - 4*l - 2. Let x be f(-3). Which is smaller: x or j?
j
Suppose -24*k - 743 = 817. Which is greater: k or -1/11?
-1/11
Suppose 4*j - 260 = 2*d, -5*j - 139 + 462 = -3*d. Is j at least 65?
True
Let v be (38/(-57))/((-2 - 0)/12). Let i(c) be the second derivative of c**5/20 - 5*c**4/12 + c**3/3 + 5*c**2/2 - c. Let u be i(v). Is -0.1 <= u?
False
Let d = -5.3 - 89.7. Let w = d + 90. Does w = -4?
False
Let s(t) = t**3 + 7*t**2 + 14*t + 7. Let y be s(-9). Which is bigger: -280 or y?
-280
Suppose -5*o + 140 = -o. Suppose 0 = -y + 28 + 7. Is o less than or equal to y?
True
Let