4*p = -5*u - 107 - 115. Let r = p - -24. Let m be -2 + 5 + r/12. Is m not equal to -1?
True
Let l be (6/(-2)*-6)/2. Suppose -s - j = -1, 3*s - 6 = 3*j + l. Which is smaller: 7/2 or s?
s
Suppose 4*w = 5*t + 10, 2*t - 4*w = -2 - 2. Let d(p) = -13*p**2 - 2*p - 2. Let l be d(t). Which is smaller: -51 or l?
-51
Let r(l) = -2*l**2 - 18*l + 55. Let f be r(8). Which is bigger: f or -1/5?
-1/5
Let l(c) = 6*c + 34. Let j be l(-6). Which is bigger: -1/2 or j?
-1/2
Let y = 13 - 28. Let q = y - -15.08. Which is bigger: q or -2?
q
Let u be ((-2)/(-4))/((-486)/(-432)). Is -3 smaller than u?
True
Suppose -5*f + 22 = 7. Let h = 41 + -38. Is f at most as big as h?
True
Suppose 2*o + 2*n - 16 = 0, -20 = -2*o - 4*n - 4. Let g = 10 - o. Let d(r) = r**2 + 3. Let y be d(0). Which is greater: g or y?
y
Let l(x) = x**2 + x - 2. Let t be l(-4). Suppose t*f - 6*f + 108 = 0. Which is bigger: f or 1?
1
Suppose 2*q + 0*i = 4*i - 58, -5*q + 2*i = 153. Which is bigger: -43 or q?
q
Let r be 62/6 - 10 - 26/42. Is 5/6 not equal to r?
True
Let d(k) = k**3 - 4*k**2 - k - 2. Let f be d(4). Let a = -7 - f. Let w be 240/(-2052) + 2/9. Is w less than or equal to a?
False
Suppose -3 = k - 14. Let a = -4 + k. Let g be (-1)/4 - 1/28. Which is smaller: g or a?
g
Let h be 0*((-32)/40 - -1). Is 158 bigger than h?
True
Let o be (-1024)/(-96) - 21/(-9). Is o > 5?
True
Suppose 0 = q - 3*s + 12 + 1, 0 = -5*q + 4*s - 21. Let z(x) = x**3 + 23*x**2 - 78*x + 8. Let u be z(-26). Which is smaller: q or u?
q
Let y = 27 - 25. Let o = -2.7 + y. Let p = o + 1.7. Which is smaller: 2/31 or p?
2/31
Suppose 1350 = -4*v - 5*v. Let y be ((-2)/v)/(1/6). Which is bigger: -0.2 or y?
y
Let d = -232 - -230. Is d bigger than -237?
True
Let a = 171 + -1195/7. Let v = -20 + 98/5. Let f = -4/15 + v. Which is smaller: a or f?
f
Suppose 151*q + 5070 = 281*q. Let m be (38/(-4))/(2/(-8)). Which is bigger: q or m?
q
Let f = 1096 + -1097. Are 88 and f nonequal?
True
Let j be 6/10 - (0 + 2). Let o = 8 + 24. Let f = o - 34. Is f greater than or equal to j?
False
Let g(t) = t**3 + 30*t**2 + 86*t + 133. Let x be g(-27). Let b be (-2)/(-2) + (-41 - -7). Which is smaller: b or x?
b
Let m(p) = p**2 + 4*p - 2. Let g be m(-5). Let w be (-15 - -2)*1 - -3. Let o be 3 + 4/w + -1. Is o greater than or equal to g?
False
Suppose -w + 2*c + c + 36 = 0, -w = 2*c - 26. Suppose 0 + w = -3*a. Does a = -10?
True
Let r(v) = v**2 + v - 3. Let g be r(-3). Suppose 138*k + 18 - 134 - 160 = 0. Is g bigger than k?
True
Let k(r) = -6*r - 6. Let f be k(-1). Suppose -4*y + 3*i - 301 = f, -2*i - 2*i - 134 = 2*y. Which is bigger: -72 or y?
-72
Suppose -f - 3*f = 2*u, 26 = 5*u - 3*f. Let b = -9 - -13. Suppose -3*a + 7 = -8, u*a - 16 = b*k. Which is greater: -3 or k?
k
Let q(k) be the third derivative of -2*k**2 + 0*k + 3/2*k**3 - 1/12*k**4 + 0. Let y be q(4). Is -1/26 at least as big as y?
False
Suppose j = -0*h - 3*h + 2, -5*h = 5*j. Let d = 56 - 51. Which is greater: h or d?
d
Let k = -151 - -109. Which is greater: -41 or k?
-41
Suppose -5*z - 4*w + 3 - 2 = 0, -2*z - 2*w = 0. Suppose -3*s = 5*x + 43, -2*s - 88 = 2*s - x. Let k be (-6)/s - 32/63. Is k less than or equal to z?
True
Let f = 0.35 + -2.45. Let u = f - -1.8. Is u greater than or equal to -0.3?
True
Suppose -o - 6 + 2 = 0. Let v(r) = -r + 32. Let a be v(36). Is o >= a?
True
Let c be (4 - 1)/(-1) + -22. Which is smaller: -26 or c?
-26
Let r be 86/(-10) + 2 + 7. Which is smaller: r or 222?
r
Let b(p) = -p**2 - 10. Let f be b(0). Let c be (-1 - 0)/(f/4). Let l = -0.021 - -2.021. Which is smaller: c or l?
c
Let q = 5/53 + 38/159. Which is bigger: -45 or q?
q
Suppose -146 + 174 = -7*x. Suppose -v = 8 - 4. Is x at most v?
True
Suppose f = p, -4*p + 4 - 3 = -5*f. Let c = 32 - 20. Let g = 12.03 - c. Is p at least as big as g?
False
Suppose -165*q + 12606 = -143*q. Which is bigger: q or 574?
574
Suppose -k + 13 = 7*s - 3*s, 2*k + 4*s - 14 = 0. Let r be k/(-4) + 3/3. Let y = -7 + 9. Which is bigger: r or y?
y
Suppose -7*i + 21 = -5*z - 3*i, -3*z - 5*i = 20. Let k(v) = v**2 + 3*v - 10. Let x be k(z). Is x > -4/15?
True
Let z be 60/12 + (2 - 8). Let w be (15/(-6) - -3)*-2. Do w and z have the same value?
True
Suppose 5*f - 6 + 41 = 0. Let c(q) = 5*q - 73. Let o be c(13). Which is smaller: o or f?
o
Let l = 1/741 - 9/247. Which is bigger: l or -1/2?
l
Let u be (-1)/(-3)*(-4 + 4). Suppose -x + 3 = -2*m, u*m = -m - 2. Let y = -4 - x. Are y and 0 non-equal?
True
Let d = -20697/28 - -2931/4. Let v = -48/7 - d. Suppose -5*g = p, -3*p = -4*g + p. Which is bigger: g or v?
g
Suppose -3*c - 6 = -12. Suppose -c*z - 11 = -15. Which is smaller: -1 or z?
-1
Suppose -5 - 7 = -4*h, -232 = -2*k - 2*h. Which is bigger: k or 0?
k
Let l be 1 - (-3)/(-3) - (-4096)/(-510). Let f = l + 124/15. Which is greater: f or 1?
1
Let j = -0.233 + -0.077. Let x = j + -3.69. Is x equal to 2/7?
False
Let i = -39818/35 - -7398/7. Let r = -81 - i. Which is greater: r or 4?
4
Let n = 1024 + -1047. Which is smaller: n or -45/2?
n
Let t = 906 - 1813/2. Is t equal to 2/561?
False
Let i be (-5 + (-9)/(-2))*148/16. Is -5 < i?
True
Let k = -17 + 9. Let s(i) be the third derivative of -i**5/60 + i**4/3 + 13*i**3/2 + 40*i**2. Let c be s(12). Which is bigger: k or c?
k
Let d = 9 + -6. Let w = -4.39 - -8.39. Which is greater: w or d?
w
Suppose -2*x + 18 = t, 2*t - 3 = t + 3*x. Which is smaller: 4 or t?
4
Let n = 26/43 - 165/344. Which is bigger: -2/237 or n?
n
Let b be ((-24)/(-208))/(1/(-4)). Let v = b - -41/117. Let c be ((-6)/9)/(4/6). Is c greater than or equal to v?
False
Let z be -3*((-333)/27 + 13). Do -47 and z have different values?
True
Let i be 8/3940*10/(-18). Which is bigger: i or 1?
1
Let r(t) = t**2 - 11*t + 11. Let d be r(11). Let g = -6 + d. Suppose g*v = -2 + 12. Is v less than 8/3?
True
Let v = -33 - -14. Let a(d) = -d**2 - 18*d + 24. Let z be a(v). Let n be (-3)/(-3*(-2)/(-8)). Is n at most z?
True
Let v = 2019 + -2213. Does v = -194?
True
Let v(g) = 8*g - 60. Let m be v(8). Suppose 38 = m*q - 2. Which is smaller: q or 12?
q
Let z be ((-2)/(-3))/(20/(-12)). Let p(x) = x**3 + 8*x**2 + 16*x + 7. Let n be p(-7). Let c = -46 - n. Is z at least as big as c?
False
Suppose 9*a + 16*a = -50. Which is greater: 4 or a?
4
Let j be (-1)/3 - (-110)/6. Let n = j - 6. Suppose 0 = -2*k + 4, -2*p - n = -3*p - 3*k. Which is greater: p or 4?
p
Let a = 6 - 5. Let m = -69 + 94. Let n be 11 - m - (a - 0). Which is smaller: -14 or n?
n
Suppose -23 = -3*z - 122. Let g = z - 66. Let o = -1484/15 - g. Is 1 equal to o?
False
Let x be 3/((-15)/2) - (-1484)/2835. Which is smaller: -1 or x?
-1
Let s = 1548 + -7808/5. Which is smaller: s or -14?
-14
Let q = -3903 + 2595497/665. Which is smaller: 1 or q?
q
Let d = -0.1 - -3.1. Which is smaller: d or 1?
1
Suppose 4 = -3*k + k. Let m be 3/k - (-47)/2. Let u = m + -30. Which is smaller: u or -9?
-9
Suppose 3*q - 14268 + 14118 = 0. Is q greater than 51?
False
Let o(n) be the second derivative of n**4/24 - n**3/6 + n**2/2 - 4*n. Let p(m) be the first derivative of o(m). Let r be p(1). Which is smaller: r or -3/8?
-3/8
Suppose -2*t + 3 = -3. Let y be (-1554)/(-35) - t/(-5). Suppose -5*i = d + y, -d = 5*i - 2*d + 35. Which is bigger: i or -9?
i
Let y = 32/39277 - 302198102/1060479. Let g = y + 285. Is g <= -1?
False
Let s = 448 + -447. Is -161 smaller than s?
True
Suppose 0*f = -4*f - 12. Let w be (-153)/(-21) + ((-16)/7 - -2). Let p be 2*6/(-4) - (w - 8). Is p at most f?
False
Let d = -229 - -229.5. Is -3 at least d?
False
Let w(k) = -8*k + 4*k**3 - 2 - 4*k + 0*k**3 - 3*k**3 + 3*k**2. Let b be w(-6). Which is smaller: -39 or b?
-39
Let k = -14 + 71/5. Suppose -4*c - 3 = -7. Let w(t) = 4*t - 3. Let b be w(c). Which is smaller: b or k?
k
Let g = -44 + -14. Is -58 at least as big as g?
True
Let t = -0.091 + 0.1. Which is smaller: t or -0.2?
-0.2
Let y = -23 + 14. Let g be (4/6)/(y + 3). Let h = 13 - 13. Is h less than or equal to g?
False
Let n(b) = b**3 - 6*b**2 + 2*b - 16. Let f(x) be the third derivative of x**5/60 + 5*x**2. Let y(h) = -f(h) + n(h). Let l be y(7). Is l at least as big as -3?
True
Let m(i) = 4*i + 51. Let f be m(-9). Which is smaller: f or 16?
f
Suppose 0 = -p + 2*p - 3. Suppose 12 - p = -v. Suppose 2*z - 40 = 5*s, -5*s - 2*z - 20 = 20. Is s >= v?
True
Let x be 9/45 - (-198)/10. Suppose 5*p = -4*m - 4