5/20 + g**4/4 + g**3 - 5*g**2. Let p be s(-4). Is p at least as big as -2?
True
Let h be 5/(-2)*(-8)/10. Let m be h/(-3) - 8/15. Let q = 2 - 3. Which is smaller: q or m?
m
Let m(w) = -w**3 - 3*w**2 - 3*w - 4. Let l be m(-3). Let g = l - 8. Let i be (-14)/20 + g/(-15). Is 1/5 < i?
False
Let y = -26 + 27. Which is smaller: -3 or y?
-3
Let c = 16 - 12. Is c not equal to 5?
True
Let o be 6/15*(105/(-36))/(-7). Suppose -2*v + 0 = 3*b - 10, -4*b = -16. Which is smaller: o or v?
v
Let m(s) = -s**3 + 2*s + 1 - 2 - 2 + 3*s**2. Let g be m(3). Which is greater: 4 or g?
4
Let i(k) = -k**3 + 1. Let b be i(-1). Let w be (1 - (-1)/(-2))*3. Which is bigger: w or b?
b
Let o = 21 - 25. Is o >= -0.2?
False
Suppose 5*y - 7 + 2 = 0. Do y and 1/82 have the same value?
False
Let h = 11 - 9. Suppose 2 = -2*g - u, 6*u + 2 = h*g + 5*u. Suppose g*o + 2 = -o - j, -2*o - 4*j = 6. Which is smaller: -9 or o?
-9
Let n be 9/(-18)*(-1 - -2). Is -1 at most n?
True
Let l = -366 - -16471/45. Is l equal to 0?
False
Let a = 10 + -9.6. Which is smaller: a or -1?
-1
Let s be (3 - 3/1) + 4. Suppose s*v = -260 - 40. Let f = v + 379/5. Which is smaller: f or -2?
-2
Let l = -2 - -3. Let y = l - 1.1. Let z = 0.3 + y. Is z <= 1?
True
Let k be 2/(-3 - (-7 + 3)). Suppose -3*v + 2 = 2*s, -7*v - s = -k*v - 1. Is v > -3/8?
True
Let f = 42 - 38.9. Let a = -2.47 - 0.53. Let d = a + f. Which is smaller: d or -0.1?
-0.1
Let y = 6576 - 2740. Let w = y + -19241/5. Let c = w - -417/35. Which is smaller: 0 or c?
c
Let d(q) = q**2 - 6*q + 3. Let o be d(6). Suppose 5*z + 10 = 3*i, -3*i + 6 = o*z + 36. Is z at least -6?
True
Let f = 5.07 - 0.07. Let n = -5.4 + f. Which is smaller: n or 0.1?
n
Suppose m + 1 + 1 = 0. Let p be (0 - -1)/(m/(-18)). Which is greater: p or 8?
p
Let x = 11 - 5. Suppose 3*p = 0, r = 2*r + 2*p + 7. Let j = r + x. Does 1/11 = j?
False
Let j be (-7474)/56 - (-1)/(-4). Let i = j - -134. Is 0.07 smaller than i?
True
Suppose -1 = -4*f + 7. Let p = f - -3. Suppose 3*t = 3*n - 24, p*t - 7*t - n - 1 = 0. Which is smaller: t or -2?
t
Let p = 24 - 24. Suppose 0 = -3*n - 11 - 4. Which is smaller: n or p?
n
Let i(r) be the second derivative of -r**5/20 + 11*r**4/12 - 11*r**3/6 + 2*r**2 + 3*r. Let p be i(10). Which is bigger: -5 or p?
-5
Suppose 0 = -f + 3*f + 12. Let i = 8 + f. Suppose i*s + 3*r = 4, -5*r = 4*s - 3*s - 9. Is 1/10 smaller than s?
False
Let l = 18 - 51. Is l > -32?
False
Let o = -125 - -124.6. Which is smaller: -2 or o?
-2
Let m = -3.1 + 3. Let r = 178 - 1600/9. Which is smaller: r or m?
m
Suppose 11 = 4*y - 5. Suppose 0 = 4*r + f - 0*f - 12, -2*r + f = -6. Which is greater: r or y?
y
Let y(n) = 7*n + 19. Let u be y(-8). Is -38 at most u?
True
Let i(t) = -t - 37. Let s be i(-14). Which is smaller: -20 or s?
s
Let a(d) = -d**3 - 5*d**2 + 6*d. Let b be a(-6). Are b and -24 unequal?
True
Let f = -7 - -8. Let w = -0.7 + f. Is 2/5 equal to w?
False
Let p be (-1)/(-1) - (-20612)/(-46). Let b = 447 + p. Is 2/7 equal to b?
False
Let z = -6 - -6. Suppose g + 1 = -z*g. Is g != -1?
False
Let u(v) = 2*v**2 + v - 4. Let n be u(-3). Suppose 3*c + 11 = -4*w, 2*w - n = 7*w + c. Let z = -18 - -17. Which is smaller: z or w?
w
Let v = 27853/50 + -214/25. Let b = v - 570. Let z = b + 21. Which is smaller: z or 0?
z
Let q = -15 - -14. Is q greater than 3?
False
Let y = -5 + 10. Suppose 4*z + y - 25 = 0. Suppose 8 = -j - j, -j = -z*h - 6. Is -2 less than or equal to h?
True
Suppose 31*t = 27*t - 8. Is -1 at least as big as t?
True
Let a = 30 - 48. Let n = a - -17. Is 2/25 at most n?
False
Let d(o) = -o - 5. Let v be d(-3). Which is smaller: v or -5/2?
-5/2
Let k be (-2)/((-352)/178 + -5 + 7). Is -88 smaller than k?
False
Let c be (-1 - (-4)/6)*-9. Let v = 95 - 99. Does c = v?
False
Let o be (3/(-5))/(2/(-30)). Let i(k) = -k**2 - 8*k + 10. Let d be i(-8). Let v be o/d*20/48. Are 1 and v nonequal?
True
Let w(q) = q**2 - 3*q + 1. Let v = -14 + 19. Let j be w(v). Is j > 9?
True
Suppose 4*d + d = 15. Let i = 4591/248 + -3/248. Let l = i + -18. Is l not equal to d?
True
Let d(k) = -3*k**3 + 5*k**2 + k + 4. Let q(v) = 4*v**3 - 6*v**2 - 4. Let i(u) = -3*d(u) - 2*q(u). Let a be i(4). Which is smaller: a or -4?
-4
Let z be 801/252 - (-4)/7. Which is greater: z or 5?
5
Let o be (-2 + 3)*(-2)/(-10). Which is smaller: o or -1?
-1
Let b = -0.38 + -0.34. Let h = b - 0.25. Let q = h - 0.03. Which is smaller: 1/3 or q?
q
Let a = 0.81 - 0.71. Which is smaller: 3 or a?
a
Suppose 21 = -11*o - 23. Is o equal to 2?
False
Let i(h) = -h + 1. Let g be i(-3). Let q = 3 - g. Is -3 at most as big as q?
True
Let y(i) = -i**2 - 5*i + 7. Let z be y(-6). Which is bigger: 11/5 or z?
11/5
Let t = -17 - -16. Let i = -2.3 + -0.7. Which is smaller: t or i?
i
Let t = -25 - -21. Which is smaller: t or -7/2?
t
Let o(x) = x**3 - 4*x**2 - 4*x - 5. Let t(m) = -m**2 + 8*m - 2. Let b be t(7). Let q be o(b). Let n = -187 + 939/5. Which is smaller: n or q?
q
Let h be (10/(-4))/1*2. Let v(z) = z**2 + 4*z - 7. Let k be v(4). Let s be 32/(-5) + 10/k. Is s at most h?
True
Let b = -27.29 - -27. Let u = 2.19 + b. Let t = u + -2. Is t not equal to 2/7?
True
Let j(u) = -u**3 + u**2 + 4. Let y be j(2). Which is bigger: -1/5 or y?
y
Let q = -176.37 - -164.6. Let z = 0.23 - q. Which is smaller: z or -1/4?
-1/4
Let z be -3*4/(-12) - 0. Suppose d - z = 2. Let u = 8 - 6. Is u >= d?
False
Let f(z) = -2*z + 1. Let p be f(1). Let b be 3/p - 51/(-15). Which is bigger: -1 or b?
b
Suppose 0 = i + x + 6, -i - i = -3*x - 3. Is i at least -18/11?
False
Let i be (-4)/(-6) - 70/15. Let v = -2.1 - 9.9. Let o = v - -12. Which is greater: i or o?
o
Suppose d - 1 = -3. Let i be (d/(-6))/((-3)/(-45)). Which is smaller: 7 or i?
i
Let b = 2 - 0. Suppose z + b*z = 0. Is z greater than -2/7?
True
Let u(r) be the third derivative of -r**6/12 - r**5/30 + r**3/6 + 4*r**2. Let w be u(-1). Let z be -3*((-25)/w - -2). Which is smaller: 2 or z?
2
Let o = -3 + 2. Let w = 9 - 10. Are w and o equal?
True
Let l = -0.06 + 0.86. Let z = l + -2.8. Is -0.5 not equal to z?
True
Let q(s) = -4*s**3 - 2*s**2 + 5*s + 12. Let l be q(-2). Which is smaller: l or 24?
24
Suppose 0 = -4*s + 3*y - 115, 2*y = -2*s - y - 53. Let p = s + 138/5. Which is bigger: p or 6?
6
Let d = -0.1 + 0.2. Let z = -113 - -108.1. Let w = z - -5. Is d bigger than w?
False
Let d(w) = -3*w - 6. Let c be d(-3). Let h = 3 - c. Let u be -1*1 - 0/(-2). Is h less than or equal to u?
False
Let x(r) = -r**3 + 4*r**2 - r - 4. Let k be x(3). Which is smaller: k or 5/7?
5/7
Suppose -8 - 17 = -5*o, -o = -2*v - 1. Suppose v*m - 15 = -3*l, -3*l + m = -2*l. Which is smaller: l or 4?
l
Let a = -11 + 8. Let f = 3 - 6. Do a and f have the same value?
True
Let c(x) = -2*x + 3. Let h be c(3). Let s be 2 + 2 + (-4)/2. Let g be (-5)/s - (-15)/(-10). Is g >= h?
False
Suppose -a - 87 + 87 = 0. Is a greater than or equal to -64?
True
Suppose 0 = 2*z + 3*z + 3*h + 161, 4*z + 4*h + 124 = 0. Is -34 greater than z?
False
Let m(n) = n**2 + 6*n + 5. Let h be m(-6). Let u be (-1)/h - 49/5. Let w be (4/u)/(21/(-15)). Is w <= -0.2?
False
Let m be (-8)/(-4) + -1 - 2. Let p = -2 - -3. Let b be (p + -3 - -3)*m. Which is smaller: b or -2?
-2
Let c(n) = -n**2 + 6*n - 6. Let r be c(5). Let h = 3 - 0. Suppose g = 2*x + 3 + 2, -h*g + 5 = 4*x. Is r at most x?
True
Suppose -8*g + 12*g = 12. Suppose -18 = 5*c + r + r, 2*c - 2*r - 4 = 0. Let w be (g/c)/(15/(-4)). Do w and -1 have the same value?
False
Suppose -3*y = -2*j - 16, 2*y + j = -2*j + 2. Let r(k) = -k**3 + 5*k**2 - 3*k. Let c be r(y). Let d be (2/c)/((-1)/(-2)). Is d <= 1/5?
False
Let r be 8/(-44) + 96/407. Is -1 greater than or equal to r?
False
Let w = 223 - 156. Let j = -467/7 + w. Which is greater: 9 or j?
9
Let g = -4 + 6. Let c = -13 - -13. Suppose u - 2*o = 13, -2*o = -c*u - 5*u + 25. Is u < g?
False
Let b = 5/17 + 26/85. Let m = b + -21/10. Suppose -k - f - 6 = 0, -f = -4*k + 2*f + 4. Which is smaller: k or m?
k
Let i = -5563/20 - -278. Which is bigger: 0 or i?
0
Let x = 11.8 + -25.7. Let a = x - -14. Is a <= -7?
False
Let y = -81/340 + -1/85. Let r be ((-3)/(-36))/((-12)/(-54)). Is y at most r?
True
Let x = -18 - -19. Suppose -3*w = 2 - 8. Which is bigger: x or w?
w
Let f = 3 + -4. Let j be (-2 + f + 2)*-1. Is 2/9 at most as big as j?
True
Let q = 269/635 - 3/127. Suppose 0*h = -3*h - 3. Let f be 1/(