= -2*p**2 + 3 + p**3 + 7*p + 0 + 6*p**2 - 11*p. Let f(s) = 6*s**3 + 2*s**2 + 2*s + 1. Let z be f(-1). Let y be d(z). Which is greater: 0 or y?
0
Let s(i) = i**3 - 4*i**2 + 1. Let g be s(4). Suppose -5*b + g = 6. Let l be 28/(-35) - (-22)/40. Which is smaller: b or l?
b
Let c be (1 + -3)*(-1)/2. Let a be (0 - 29)/c + 1. Let l = a - -29. Is -1/9 equal to l?
False
Let v = 2 + -4. Let x be (2 - 1)*1*v. Let f be 28/42 + x/(-6). Is -2/25 smaller than f?
True
Let j(r) = r**3 + 7. Let x be j(0). Let y be x/2 + -1 + 0. Let f = 9074 - 9072. Is f greater than or equal to y?
False
Let p = -138 - -161. Is p equal to -0.5?
False
Let k be (-18)/(-14) - (1 + 0). Let g = 428 - 427.7. Do g and k have different values?
True
Let d = -1.24 + 1.16. Which is bigger: d or 1?
1
Suppose 7*u - 966 + 287 = 0. Is 97 greater than or equal to u?
True
Let u = 195012935/4248 + -45907. Is 0 greater than u?
True
Suppose -3*a = -5*a + 30. Let m be -5 + (-3056)/(-152) + 6/(-57). Is m bigger than a?
False
Let c = -0.03 + 0.13. Let r = c - -1.9. Let k = -20 - -20. Is r < k?
False
Suppose 4*w - m - 1 = 0, -4 = 13*w - 8*w - 3*m. Which is smaller: w or 2/657?
2/657
Let v = -85 - -94. Let g be (-2)/v + 2848/(-144). Which is smaller: -21 or g?
-21
Suppose 33 + 93 = -63*l. Which is smaller: l or -254?
-254
Let o = -361 + 349. Are o and -12 nonequal?
False
Let z be (-3)/6*4 + 3. Suppose 2*c - 3 = z. Let v be (c - -7)/(1 + -2). Is v at least as big as -9?
True
Suppose 3*c = 7*c - 16. Suppose 36*x + c = 40*x. Which is smaller: x or -2/27?
-2/27
Let c be 1/((-2)/2)*1. Which is smaller: c or -5/243?
c
Let w be ((-5)/(-2))/(26/24). Suppose 5*c - j + 15 = -6*j, -j - 18 = -4*c. Is w less than or equal to c?
True
Let t be (-233)/7 + 8/28. Let i = t - -29. Which is greater: -5 or i?
i
Let v = 48 + -97/2. Is -2 > v?
False
Let z be (204/28 - -7) + -6. Which is smaller: 9 or z?
z
Let v = 1295.1 - 1296. Is -2/5 <= v?
False
Let g = 7.26 + -0.06. Let x = g - -29.8. Let a = x + -36.7. Do a and 2 have different values?
True
Let i = 0.7 + 24.3. Let m = 132 - 926/7. Is i <= m?
False
Suppose 4 = 4*j + 2*a, -12*j - 4*a + 8 = -11*j. Is 2/383 < j?
False
Let y be ((-50)/3)/((-12)/18). Let a = y + -53. Let m = -14 - a. Is 13 < m?
True
Let x = 36.9 - 35.9. Is x less than or equal to 0.9?
False
Let g(f) = 5*f**3 - f**2 - f + 1. Let t be g(1). Let x be (6/(-1))/((-15)/10). Do t and x have the same value?
True
Suppose 5*l = -5*z - 10, -9*z + 4*z - 10 = -l. Let m(g) = -g**2 + 2*g - 2. Let v be m(3). Which is smaller: z or v?
v
Let d = 0.08 - -0.02. Let w = -46656 - -6765082/145. Let h = -4/29 + w. Which is smaller: d or h?
h
Suppose 2*h - 4 = -3*x, -6*h + 3*h = -2*x + 20. Let a be (h - 0)*(-12)/72. Let o be (12/14)/((-2)/1). Is a not equal to o?
True
Suppose -88 = -31*n + 36. Which is smaller: n or 64/17?
64/17
Let t be (-4)/(64/(-20)) - 30/24. Is 9/151 bigger than t?
True
Let o = -32 - -59. Let p = o + -28. Are -1 and p equal?
True
Let s = 135.2 + -135. Is 145 at least as big as s?
True
Let n be 720/135 - 5/(-3). Let f = 4 + 1. Is f at most n?
True
Let j = 105 + -106. Which is smaller: j or 5/48?
j
Let y = 126 - 126.3. Which is smaller: y or -6.5?
-6.5
Let f(k) = -3*k**2 + 22*k - 10. Let r be f(7). Which is smaller: r or -4?
-4
Let c = -77 + 72. Is c at least -3.54?
False
Let l be (1 + 8 + -8)*-24. Which is smaller: -163/7 or l?
l
Let y be (-8 - (0 - 3))*(5 - 8). Suppose 14*i - 10 = y*i. Is 4 less than i?
False
Let d(m) = -m**3 - 10*m**2 + 14*m + 32. Let w be d(-11). Which is bigger: -6/11 or w?
-6/11
Suppose 3*h = h + 32. Let k be (-7)/(-28) - 11*(-25)/20. Suppose 3*n - k - h = 0. Which is greater: 0 or n?
n
Let k(w) = 4*w**2 + 12*w - 7. Let j(i) = -7*i**2 - 23*i + 13. Let l(n) = -3*j(n) - 5*k(n). Let q be ((-18)/(-4))/(6/(-12)). Let g be l(q). Is -5 at most g?
True
Let y = 1 + -5. Let z be y/(-6) + (-34)/42. Suppose -10*d + 11 = 1. Which is bigger: d or z?
d
Suppose 2*p + 5 = 3*p. Let m be (-5)/(p/3) + 0. Let t be (1*(m + 7))/38. Which is bigger: 1 or t?
1
Let y be -2 - (-2 - -6) - -8. Does -2/15 = y?
False
Let b(g) = -g**3 + 6*g**2 - 3*g + 7. Let o be b(5). Let l be (-3)/o*(-2)/3. Let s = 562 - 561. Which is greater: l or s?
s
Let m = -1263 - -1263. Which is smaller: m or 1/1610?
m
Let z = -14.18 - -0.18. Let t(f) = f**2 - 41*f + 148. Let a be t(37). Do a and z have the same value?
False
Let h(y) = y**3 + 3*y**2 - 4*y - 24. Let g be h(-3). Is g smaller than -14?
False
Let r = -1115 - -1115.982. Let s = -0.018 - r. Which is greater: -97 or s?
s
Let b be (11/((-55)/10))/2. Is b at most -9/37?
True
Suppose -220 - 160 = 19*f. Is -38 > f?
False
Suppose -2*r = -r + 12. Let s be (r/10)/((-8)/(-40)). Let w be (2/s)/((-2)/6). Is w smaller than 1/4?
False
Suppose -23*g = -25*g + 100. Suppose -3*c + g = -2*o, 3*o = -7 + 4. Are c and 17 unequal?
True
Let u = -98/85 + 23/17. Are -10 and u equal?
False
Let z = 76 - 73. Suppose -2*h - 7 = 5*k, 6 = -z*k - h - 2*h. Is k bigger than -3/50?
False
Suppose 9*r = 37*r + 616. Is r greater than or equal to -4?
False
Let k be (-120)/(-16)*(-4)/(-10). Let v be k/(-6)*-12*-4. Which is greater: v or -25?
v
Let w = 1182 - 1135. Which is smaller: w or 0.02?
0.02
Let n = -35.829 - -3.889. Let o = -32 - n. Which is smaller: -0.1 or o?
-0.1
Let p = -19 - -14. Let h be (869/(-33) - 3)/6. Is h greater than p?
True
Let b = -1749 + 1750. Suppose -4*x + 3*x = 1. Let y be (4/42)/(x/(-3)). Is y greater than or equal to b?
False
Let x = 2559/5 + -547. Is x greater than -35?
False
Suppose 0*t + 5*t = 0. Let p = 0.08 - -0.09. Is t less than or equal to p?
True
Let r = 2436 + -1674. Let p = r + -6866/9. Which is greater: -1 or p?
p
Let o be 17*(-1 - (-6 + 2)). Suppose -4*w - 3*h = -o, -2*w + 3*h = w - 33. Suppose 0*i = 7*i - 98. Are w and i nonequal?
True
Suppose 3*o = 2*d, 3*o - 2*o = -d - 5. Suppose -5*p + 9 = -4*z, 14*p - 17*p = -z - 4. Is z < o?
False
Suppose 3*y - 113 = -5*w, 0 = -3*w - 0*w - 4*y + 59. Let r be (3/w)/(1/5). Let t = -2.11 - -0.11. Which is bigger: t or r?
r
Let i = 24 - 31. Let q be i/(14/(-8)) - -49. Suppose 23 = 2*n - j, 3*n + j - q = -6. Are 14 and n non-equal?
False
Let v(g) = -g**2 - 3*g + 4. Let i be v(-4). Let h be (16/(-6))/((-1826)/249). Which is smaller: h or i?
i
Suppose 352 = -7*k + 345. Which is smaller: k or -2/1217?
k
Let a(h) = h**2 + 5*h. Let n be a(-5). Suppose 0 = -5*t - 4*c - n*c + 26, -t + c = 2. Suppose -t*x - 7 = m - 4*m, 0 = x - 4*m + 11. Which is smaller: x or 2?
x
Suppose 2*d - 799 = -p - 2*d, 2*p = d + 1634. Which is bigger: 816 or p?
816
Let q(d) be the third derivative of -d**4/24 - d**3/3 - 2*d**2. Let r be q(-7). Let l = 9/2 - r. Which is greater: -1 or l?
l
Suppose -13 = 5*m + 4*y, -3*m - 2*y - 5 = -y. Let w be 6/(-3)*(-4 - -5). Let v be w + 2 + 1/(-1). Is m smaller than v?
False
Let i = 1 - 24. Let v = i + 19. Is -0.03 greater than v?
True
Let p = -4.657 + 0.057. Let r = -4 - p. Let f = r - 0.2. Is f greater than or equal to -2?
True
Suppose 122*n = 88*n + 54060. Which is greater: 1589 or n?
n
Suppose -6*p = -2*p + 4. Let y = -2 + 9. Let s = -9 + y. Are s and p non-equal?
True
Let k be (-19 - -11 - -8)/1. Suppose 0 = 3*l + 2*v - 12, -5*l + 17 = 2*v - 3. Which is smaller: k or l?
k
Let q = 121 - 139. Let i = 1 + -18. Which is smaller: i or q?
q
Let y = -41.1948 - -0.1948. Is y <= -22?
True
Let j = 13.6 + -13.7. Is j < -8?
False
Let q(w) = -2*w**2 - 4*w. Let n be q(-3). Let j = -3804 + 3797. Is j != n?
True
Let j = 0.2 + -40.2. Let b = j - -39.1. Which is smaller: 0 or b?
b
Let a = -8 + 15. Suppose 2 = -5*o - 3*b + 5, -4*b - a = 3*o. Suppose t + r + 1 = -3, o*t - 4*r = -5. Which is greater: 0 or t?
0
Let s(o) = -o + 3. Let d be s(3). Let r(p) = 4*p + 20. Let b be r(-15). Let t be ((-10)/(-35))/(b/(-14)). Which is greater: t or d?
t
Let b = 649 + -297. Are 352 and b non-equal?
False
Let i = 0.2 - 0.3. Let n = -384.37 - -381. Let s = n + 3.3. Is s > i?
True
Let a be ((-4)/(-10) - (-36)/(-90)) + 32. Let z = a - 28. Is z at least 6?
False
Suppose -4*w - 63 = -f, 5*w - 3*f + 84 = -0*w. Let u = 58/3 + w. Let j be 2/(-1)*(-4 - -2). Are j and u non-equal?
True
Suppose 2*z + 15 = 25. Let c(s) = -s**2 + 5*s - 1. Let y be c(z). Let t be (1 - 3) + 11/5. Is y less than t?
True
Suppose 3*o = 5*o - 2. Which is greater: o or 2?
2
Let x = -70.5 + 99. Let u = -31 + x. 