**3 + p**2 + 8*p - 25. Let a be h(4). Which is bigger: a or 91?
91
Let a = -6.08 + 0.08. Let d = 972 - 973. Is d at least a?
True
Let k = -1241/20 + 309/5. Let i = 2 - 1. Is k less than or equal to i?
True
Let r be -35*8/(-20) + 1*-1. Which is bigger: -0.3 or r?
r
Let w = -86 - -6. Let f(c) = -c - 88. Let b be f(-9). Do b and w have the same value?
False
Let i = 7273/5356746 - 2/5221. Is i at most -1?
False
Let y be (-26)/(-40) - 10/25. Suppose -3*p + p - 164 = -2*c, 4*c - 336 = 2*p. Let h = c - 428/5. Which is smaller: y or h?
y
Let h = 50.9857 + 0.0143. Is -0.1 < h?
True
Let z = 0.12 - 8.12. Let n be 2/((-4)/2)*(-35)/70. Is z equal to n?
False
Suppose 0 = 4*l - 2*z - 3*z + 238, -5*l + 4*z - 302 = 0. Let i be (3/l)/((-5)/(-10)). Do i and 1 have the same value?
False
Suppose -106 = 11*j - 7. Let i be (0 - 0) + 72/j. Which is bigger: -9 or i?
i
Let i = 6 - 3. Suppose -i*p = p - 4. Let d be ((-7)/(-7))/(13/(-3)). Is p greater than d?
True
Suppose 13*l - 9*l - 16 = 0. Let u be l - (-1 - 0 - -3). Let w be 74/(-84) + u/12. Which is smaller: -1 or w?
-1
Let d be (-3131)/(-620) + (-2 - (2 - -1)). Suppose 2*w = -0*w + 2. Are d and w equal?
False
Let n(v) = -v**2 - 5*v + 5. Let l be n(-5). Suppose -l*j - 32 = -3*j. Let c = -14 - j. Is c <= 2?
True
Let a be (64 - 64) + -9*2/(-3). Is -7.3 < a?
True
Let r be -3*(-3 + 1 - -28). Let t = r - -73. Which is smaller: t or -27/5?
-27/5
Let y = -264 + 257. Which is bigger: 2 or y?
2
Suppose -2*p - 31 = 4*j + 17, -5*p - 5*j = 120. Which is smaller: -22 or p?
p
Suppose -95 = 17*p + 41. Are -4 and p nonequal?
True
Suppose -7*n - 12 = -11*n. Suppose 2*m - m = -n*q + 11, -m - 2*q = -7. Is 4/69 bigger than m?
True
Let u = -13658 - -163895/12. Let i be (-1)/3 + (-5)/(-9). Is u less than i?
True
Let d be (-153)/(-30)*8/(-1). Let f = -41 - d. Let z(h) = h**2 - 36*h + 34. Let u be z(35). Is f smaller than u?
False
Let f be ((-7)/(-14))/(1/232). Let u = f - 124. Is u at most 4?
True
Let b(g) = -37*g - 169. Let c be b(-6). Which is greater: c or 54?
54
Let y = -457711 - -10095915/22. Let o = 1194 - y. Which is greater: 1 or o?
1
Let b(l) = -l**3 + 5*l**2 + 2*l + 3. Let p be b(5). Suppose 0 = -17*g + p*g - 8. Let q be 3/(-9) - g/18. Which is smaller: q or 0.2?
q
Let c = 83 + -82.5. Is c greater than 1?
False
Let g = 583 - 833. Let i = -6001/24 - g. Which is bigger: i or -1/4?
i
Let p(i) = -3*i - 6. Let g be p(-4). Let a(f) = f**3 - 5*f**2 - 6*f + 6. Let s be a(g). Suppose s*t = 2*t. Is t less than -1?
False
Let p be (-3 - -1) + (-2 - -10). Let c = -773.2 - -773. Is c not equal to p?
True
Let n be 9/(-138)*(-4 + -6 - 2). Which is greater: n or 0?
n
Suppose -5*l + 5 = 15. Suppose -4*f + 8*f + 2*g = -18, 0 = -f - g - 5. Which is bigger: l or f?
l
Let d be 7 - 5 - 13/(-1). Let x be 9/d - 4/15. Let z = 193 - 194. Is z smaller than x?
True
Let l(u) = u**3 + 2*u**2 - 3*u + 2. Let z be l(2). Suppose 3*j + 0 = 33. Let n = z - j. Is n < 12/7?
True
Let l = -130 + 147. Which is greater: l or 0.4?
l
Let n(y) = y**3 + 9*y**2 - 9*y - 3. Let x be n(-10). Let f(t) = -t - 13. Let i be f(x). Let j = -47/102 + -2/51. Which is smaller: i or j?
j
Let r = 0.036 + 41.964. Let o = -42 + r. Which is smaller: -3 or o?
-3
Suppose 2*t - 2*n + 20 = 2*n, -10 = 2*t - 2*n. Does -3/7 = t?
False
Let s = 534.9 + -535. Which is bigger: s or -8/335?
-8/335
Suppose 0 = 9*m + 1479 - 1488. Which is bigger: 304 or m?
304
Let v = -699.01 + 699. Which is greater: v or 19?
19
Let p(k) = -10*k**3 + 11*k**3 - 14 + 6*k**2 + 3*k + 3. Let l be p(-5). Is -5/6 bigger than l?
True
Suppose 0*n - 2*n = -5*k - 2, 3*n = k + 3. Suppose k = -4*p - p + 5. Suppose 3*c - 5*w = 2 - p, -5*c - w = -11. Which is bigger: c or 7/5?
c
Let l be (-2)/8 + 82/136. Suppose -s + 13 = -5*i - 97, -2*s = i - 176. Let u = s - 90. Are l and u unequal?
True
Let n(v) = v - 2. Let h = -32 - -37. Let o be n(h). Let u be (6/9)/((-4)/6). Is u equal to o?
False
Let w be (-3388)/60 + (-3)/9. Suppose 4*o - 2*o = 114. Let j = o + w. Which is greater: 0.3 or j?
0.3
Let t = 224 + -1795/8. Let g = -22 - -21.96. Let z = g - 0.16. Which is greater: z or t?
z
Let a be 1*(-1)/(-1)*-79. Which is smaller: -81 or a?
-81
Suppose 0 = -k - z + 3*z - 9, 4*k + 2*z = 4. Does k = 12/281?
False
Let s = 167.4 + -161.4. Let h = -9 + 5. Is s < h?
False
Let g be (-2)/(4/(-2))*1. Suppose -3*j - 2*x + 58 = 0, -2*j + 3*x + 0 + 30 = 0. Let f be 1*(3 + (-57)/j). Is g > f?
True
Let a be (-11 + 12)*1*-3 + -36. Let p be 2/6 - 260/a. Which is greater: 11 or p?
11
Let r(j) = -j**2 + 2*j + 10 + 2*j + j. Let b be r(5). Suppose -a + 3*f = 0, 4*f = 3*a - 0 - b. Does 4 = a?
False
Let v(y) = -56*y + 215. Let t be v(3). Is 0.3 != t?
True
Let w(h) = h**3 + h**2 + 5. Let s be w(-2). Suppose s = -c - 4, 0 = -3*x + 2*c + 16. Is x equal to 0?
False
Let s(h) = -3*h + 49. Let m be s(16). Is m greater than -3/146?
True
Let i(c) = -29 + 12*c - 3*c**2 + 7*c**2 - 3*c**2. Let m be i(-14). Which is bigger: m or -1/6?
-1/6
Suppose -2*z = a - 10, -3*z + 24 - 3 = 3*a. Suppose 4*q - 16 = -3*j, 2*j = -q - 0*j + a. Which is smaller: 9/2 or q?
q
Let b = 92 - 192. Let q = b + 110. Which is bigger: q or -0.6?
q
Let t(n) be the second derivative of n**4/6 - 11*n**3/6 + n**2 + 6*n. Let x be t(6). Let w = x + -8. Is 2 smaller than w?
False
Let m(q) = 57*q**2 - 1. Let v be m(-1). Let o = 54 - v. Let y = 0.06 + -0.1. Which is smaller: y or o?
o
Let b = -60.9 - -58. Let o = b - 0.1. Let y = o - 4. Which is smaller: y or 2?
y
Suppose 2*h + 5 = d, 0 = -5*h + 4*d + 22 - 39. Let o(i) = 3*i**2 - 2*i - 1. Let t be o(-1). Suppose -x - t*x - 10 = 0. Which is smaller: x or h?
x
Let m = 481 - 481. Is -10/131 greater than m?
False
Let j = -8/119 + -76/119. Is j < 0?
True
Suppose -3*k = z + 2*k + 27, 45 = -5*z + 5*k. Let y = 5 + z. Which is greater: y or -9?
y
Let t = -1.8 - -1.62. Let k = -0.02 + t. Let u = 10.9 - 9.9. Which is smaller: k or u?
k
Suppose 249*i - 20 = 251*i + 2*q, -4*i = -3*q - 9. Let s = -4143/13 + 317. Is s greater than or equal to i?
True
Suppose 5*i - 20 = -4*s + 7*i, 14 = 2*s - 3*i. Suppose 4*d + 8 = -0*d - s*f, -d - 2 = 4*f. Which is smaller: d or -8/3?
-8/3
Let m be 0*(-2)/4*(-5)/15. Is m bigger than -7/20?
True
Suppose 12 = -0*l - 3*l. Let m be 9/21 - (-146)/(-14). Let b be -5 + 2 + m/6. Is b smaller than l?
True
Let g = -1533 + 1595. Is 9 smaller than g?
True
Let p be (-1)/(-1)*1*-1. Let t(u) = -u**2 + 9*u + 8. Let v be t(10). Which is bigger: p or v?
p
Suppose 0 = 3*v + 3*h - 24, -h + 4 = -2*v + h. Let f be (248/24)/(1/v). Suppose -f - 14 = 5*i. Which is smaller: -2/5 or i?
i
Let c(f) = 115*f + 108. Let g be c(-1). Which is smaller: g or 25/7?
g
Let y = -3.22 + 3. Let s = y - 4.78. Are s and -1 non-equal?
True
Suppose 3*d + 6 = -3*l - 6, -l = -4*d - 11. Which is smaller: l or 2/5?
l
Let f(n) = n**3 - 7*n**2 - 2*n + 4. Let h be f(7). Let t = h - -51/5. Are t and 1 equal?
False
Let c be 13/(-72) - 2/(-9). Suppose -2*q + 0*z + 4*z = -26, -3*q + 5*z + 36 = 0. Let n(s) = s - 8. Let d be n(q). Which is bigger: d or c?
c
Let z(g) = 31*g + 169. Let y be z(-9). Is y > -110?
False
Let z = -107/18 - -40/9. Let n = 3.7 - 0.7. Let i = 3.2 - n. Is i smaller than z?
False
Let d be -3 - 10/(-22) - -2. Suppose -4*z + 2*z = -40. Suppose 0*o = -3*o - 4*v - z, -o = -3*v - 15. Does o = d?
False
Let r be (9/(-8))/1 + 2. Let w(d) = -d**2 - 3*d + 2. Let a(q) = -q**2 - 2*q + 3. Let t(y) = 4*a(y) - 3*w(y). Let n be t(3). Which is smaller: r or n?
n
Let o(s) = -6*s + 23. Let m(d) = d - 4. Let p(u) = -34*m(u) - 6*o(u). Let g(q) = -q. Let r(y) = 6*g(y) + p(y). Let j be r(-2). Is 7 bigger than j?
True
Suppose -4*t = -q - 153, 76 + 119 = 5*t - 2*q. Suppose t*b = 40*b - 12. Which is greater: 0.4 or b?
b
Let l = -1069 - -1066. Which is smaller: -191 or l?
-191
Let x be (-2)/(-14) + (-68)/(-14). Suppose -x*p = -4*j + 15, -2*j + 0*j - 15 = 5*p. Which is smaller: 2/89 or j?
j
Let n = -103 - -103. Is 7/37 less than n?
False
Suppose 4*t + 64 = -4*k, t + t = -4*k - 24. Let s be (-4)/t - (-3)/10. Which is greater: 0 or s?
s
Let q be (-6)/(-1 + (6 - 3)). Let d = 0 - -3. Suppose -5*k + 0*h = -d*h + 15, -5*k + h = 15. Is k at most as big as q?
True
Let u(o) = 202*o - 15. Let n be u(-5). Is -1026 greater than or equal to n?
False
Let k = 42.73 - 42.4. Is k greater than or equal to 0.2?
True
Let u = 3264