 -3*s**3 - s**2. Let w be p(u). Which is smaller: w or -1?
-1
Let q = 493 + -10851/22. Which is smaller: -1/3 or q?
-1/3
Let l = -3263/11 + 297. Are l and 1 nonequal?
True
Let q be 1 + 1 + 0/(-3). Let r be q - (-2 + (-26)/(-7)). Which is smaller: r or 0?
0
Let g = -11 - -9. Let v = -1 - g. Let l = 133/3 + -44. Which is greater: v or l?
v
Let j be (-2)/6 - 22/6. Suppose -2*h + 4*h - 4 = 0. Let p = h + j. Is -3 equal to p?
False
Let p = 4.4 + -4. Let x(d) = -d**2 + 2*d - 1. Let k be x(1). Suppose 4 = 3*w + 2*r, -2*r + 4 = -4*w - k. Are p and w nonequal?
True
Let p = -1.1 - -0.1. Suppose 27 = j - 5*q, -4*q = -6*j + 5*j + 22. Suppose 0 = 11*f - 9*f + j. Is p at least as big as f?
True
Let z = 131 - 133. Which is greater: 0 or z?
0
Suppose 0 = 4*q - q - 12. Let w = 0.2 - 4.2. Let z = 3 + w. Which is smaller: z or q?
z
Let n = -0.23 - 5.77. Let x = 9 + n. Which is bigger: -0.2 or x?
x
Let n = 10 + -19. Let f be n/(-12) - 2/8. Suppose 5*k = 0, -2*i - 5*k = -5*i. Which is smaller: i or f?
i
Let d = -31049/50 - -621. Let v = 353/150 - d. Let s = 6 - 3. Which is smaller: s or v?
v
Let y = 8 - 5. Let t = 3 - y. Let q be (-1 - -1) + t - 4. Which is smaller: q or -3?
q
Let n(v) = -3*v**3 + 3*v + 2. Let i be n(-2). Suppose -5*h = -5*j - 0*j + 35, i = -4*h. Is j equal to 2?
True
Let l(z) = z**3 + 5*z**2 - 12. Let q be l(-5). Which is smaller: -13 or q?
-13
Let q be -3*(-5 - 8/(-4)). Is 62/7 >= q?
False
Suppose -11 = 4*v + 5. Is v > -1/5?
False
Let g be ((2 - 0) + -1)*29. Is g at least 30?
False
Let z(s) = -s**2 + 10*s - 10. Let g be z(9). Let h be g/(-2) - 39/(-26). Which is smaller: -1 or h?
-1
Let c be 40 + 0*(-2)/(-2). Let q be c/42 + 4/(-6). Let g = 11 + -11. Which is smaller: q or g?
g
Let c be 4 + (10/(-4) - -2). Which is bigger: c or 5?
5
Suppose -31 = 2*t - 29. Is t at most as big as -17/8?
False
Let k = 13 + 0. Which is smaller: 12 or k?
12
Let i(t) = 4*t**2. Let m be i(1). Suppose -4*q + 3*z + 2 = 11, -m*q - 5*z + 15 = 0. Suppose 4*k + 5*r - 8 - 8 = q, 5*k - 2*r - 20 = 0. Is k smaller than 5?
True
Let f(g) = -93*g**2 - 3*g - 4. Let a be f(-1). Is a smaller than -95?
False
Let s be (-56)/(-10) + (-4)/(-10). Suppose 8*v + 65 = -5*v. Let f = v + s. Which is bigger: f or -1?
f
Let c = -0.02 + -1.98. Let v = 5.4 + -4.35. Let u = -0.05 + v. Which is smaller: c or u?
c
Suppose -2*y + 5 + 5 = 0. Let b be 2 - y - (-1 + -5). Is 1 != b?
True
Let c be (-48)/(-15) + (-1)/5. Let k = -0.113 - -1.043. Let o = k - -0.07. Is c at most as big as o?
False
Let s = -5.7 + 5.4. Which is smaller: -0.15 or s?
s
Let a = 0.03 + -0.03. Let l = 46 + -232/5. Which is smaller: a or l?
l
Let l be (-8)/(-36) - 212/(-18). Let d be (-32)/l*1/(-4). Is 1 bigger than d?
True
Let y be 2 - (-161)/(-56) - (-1)/(-8). Which is greater: -4/15 or y?
-4/15
Let x = 2 - -2. Let v = 3.5 - x. Let m = v + 0.3. Which is greater: -1 or m?
m
Let a be -38*((-9)/(-6) - 2). Let c = a + -4. Let b be (-2)/(-8) - c/(-20). Is b bigger than 1?
False
Let t be 10/(-75)*(-6)/16. Let b = -2 - -11/5. Let y = t + b. Which is greater: -2 or y?
y
Suppose 1897 = -3*h - 5*a, -2*h + 0*a + a = 1256. Let b = 1193/2 + h. Let k = b + 34. Which is bigger: 1 or k?
k
Let b be (-12)/(-9)*(1 + 2). Suppose b*f = 3*f - 6. Let a = f + 5. Is a bigger than 1/4?
False
Suppose -5*m + 10 = 40. Is m greater than or equal to -5?
False
Suppose -2*z = -v - 6 + 11, -z = 3*v - 8. Let y(j) = -j**2 + 8*j - 2. Let n be y(5). Suppose -3*r = 4 - n. Is r smaller than v?
False
Let k(b) = -3*b + 1. Let w be k(-1). Let t = 37 - 7. Let n be t/w*(-2)/(-10). Is 2 greater than n?
True
Let c be 3/(-9) - (-1)/3. Let i(n) = -n**2 - 8*n - 1. Let y = -13 + 5. Let q be i(y). Which is bigger: q or c?
c
Suppose -3*p = -6*p. Let o = 1 - -17. Let c be (4/o)/(-1)*3. Is c bigger than p?
False
Let b = -142 - -152. Which is greater: -2 or b?
b
Let k = -1.4 + 1.55. Let p = k + -0.55. Is -1 greater than or equal to p?
False
Let l = -19 + 21. Which is smaller: 0 or l?
0
Suppose 3*l = 5*l + v - 9, -4*l = -3*v - 23. Let s = -7 + l. Are -8/5 and s unequal?
True
Let v be (-1 + (-2)/6)*-3. Suppose 2*d + 0 = 20. Let c be d/12 - v/6. Is -1 greater than c?
False
Let j = 17/95 - -160/19. Is j < 8?
False
Let g(b) = b**3 + 3*b**2 - 2*b + 1. Let f be g(-3). Let y = f + -4. Suppose q - h + 3*h - y = 0, -5*q + h - 7 = 0. Which is bigger: q or 3/8?
3/8
Suppose 4*t + 3*q = -16, 15 = -3*t - 3*q - 0. Let p be (0 + (-15)/9)/t. Are p and 3 non-equal?
True
Let l(s) = -4*s + 3. Let b be l(2). Is b > -21/4?
True
Suppose -4*h - h = -3*p - 28, -h + 6 = -p. Let b(r) = 3*r + 5. Let o be b(5). Let m be 4/o - (-38)/(-90). Which is smaller: m or p?
p
Let w(r) = 2*r + 17. Let n be w(-8). Which is smaller: n or -16?
-16
Suppose -5*w = -w + 8. Which is greater: w or 0?
0
Let s be 0 + 0 + -1 + -1. Let h(g) be the second derivative of -g**3/6 + g**2/2 + 3*g. Let q be h(s). Is 1 greater than q?
False
Suppose -7*a = -16*a - 1215. Is a at most -136?
False
Let a be 5 - (-2)/((-6)/9). Which is bigger: a or 3?
3
Let k be (0 + -2)/((-9)/(-1)). Suppose 9 = 3*r, 0*s - 5*r + 25 = 2*s. Suppose -4*a = a + s. Which is smaller: a or k?
a
Let y be 3/(-7107)*-8*2. Let o = y - 114143/414575. Let g = o + -3/175. Is 0 at most g?
False
Let y be (-5)/((-20)/4)*1. Which is smaller: -1/3 or y?
-1/3
Let k be 4 - (10 + 0 + -4). Which is smaller: k or 8?
k
Let v(k) = -k**3 + 2*k**2 + 2. Let f = 5 - 2. Let b be v(f). Is -6 <= b?
False
Suppose 3 = -b, -2 = 4*l - 2*b + 28. Let i be (-8)/(-16) + l/(-2). Is 6 greater than i?
True
Let g = -199 - -1589/8. Suppose 2*z = -5*n - 4, 5*z + 3 + 7 = -2*n. Are n and g nonequal?
True
Let r(i) = -2*i**2 - 2*i + 1. Let h be r(-2). Let t be (-52)/(-6) - (-2)/h. Which is bigger: t or 9?
9
Let k = -1/2 + 1/4. Is -5 <= k?
True
Let g(w) = 3*w - 13. Let h be g(6). Does h = 1?
False
Let t(o) = -o. Let i(x) = 7*x - 11. Let y(k) = -i(k) - 6*t(k). Suppose 0 = -5*d + 3*j + 60, -3*j + 20 = 5*d + 2*j. Let v be y(d). Which is greater: 3 or v?
3
Suppose 0 = 2*n + 3*n. Suppose 5*s - 26 = -a, 4*a = -4*s - n*s + 40. Is 5 >= a?
False
Let d = 329 - 2956/9. Is d less than 1?
True
Suppose -3*v = -2 + 8. Let c be (7 + -7)*(-1)/v. Which is smaller: 4/7 or c?
c
Let d(f) = -4*f**2 - 2*f - 1. Let q be d(-1). Let p be q/1 + 2 - 0. Let a be 2/(-5) - (-192)/780. Is a at least p?
True
Let u = 0.07 - 0.17. Which is bigger: 0.2 or u?
0.2
Let d = -0.1 - 0.1. Let y = -0.169 - 0.331. Are y and d non-equal?
True
Let p be ((-2)/12)/((-2)/(-15)). Let g be 72/(-9)*(-2)/(-4). Let t(d) = d**3 + 5*d**2 + 4*d - 1. Let n be t(g). Which is bigger: n or p?
n
Let l be -2*2/(-32) - (-825)/(-6216). Does 1 = l?
False
Suppose -w + 74 = -47. Which is smaller: 120 or w?
120
Let j = 0 + -2. Let z = j - -1. Suppose 4*y + 2*l - 4*l = -16, -21 = 5*y - 3*l. Is z less than y?
False
Let t = -13/121 + 5281/726. Let y = t + -20/3. Suppose 2*n + 1 = -5*u - 9, 0 = -n - 3*u - 6. Which is smaller: y or n?
n
Suppose 5*o + 2*j = -11, 0*j - 12 = 4*j. Let p be (-2)/((-4)/(-10)) - o. Is p at most -5?
False
Suppose 0 = -q + 5*k - 131, -3*q + 288 = -5*q - 3*k. Let f = -696/5 - q. Is f smaller than 3?
True
Let k be (-808)/30 + 2/(-5). Let z = -27 - k. Let n = 5.7 + -6. Is z greater than n?
True
Suppose 0 = 3*t - 4*t + 5. Is 3 at least t?
False
Let t(s) = -s**3 + 8*s**2 - 6*s - 3. Let u be t(7). Let h be (-6)/8 + (-1)/u. Let i be ((-2)/(-6))/(5 - 32/6). Is h < i?
False
Let y = -3 + 4. Let q(k) = k**3 + 3*k**2 + 3*k. Let v be q(-2). Let m be (2 + 0 + v)/y. Which is greater: m or -0.2?
m
Suppose 4*d - 136 = -0*d. Let y be 3/(-12) - d/(-40). Is y > 1?
False
Let m = 58 - 57.9. Let c = -4 + 9. Which is smaller: c or m?
m
Suppose 0 = -0*w - 4*w + 72. Is 17 >= w?
False
Let d = 13.7 + -13. Which is greater: -2 or d?
d
Let u(w) = w + 1. Let h be u(0). Suppose 0 = 3*j - d - 1, 0*j = -5*j + d - h. Is j at least as big as -0.7?
False
Suppose 0 = -7*k + 3*k. Suppose 4*d + 12 = -5*x + x, k = -2*x + d + 9. Suppose -x*t - 2 = 2. Is t equal to -2?
True
Let f(g) = g + 9. Let z be f(-7). Suppose 0 = 5*r + 5, 0 = s - 5*r - 1 - z. Which is smaller: s or -5/6?
s
Let c(t) = -4*t + 3. Let z be c(5). Let u = -16 - z. Which is smaller: -1 or u?
-1
Let n be (4/10)/((-1)/(-5)). Suppose n*t + 6 - 4 = 0. Is 1/6 greater than or equal to t?
True
Suppose 5 = 5*l + 25. Let t be (-2)/l + (-14)/12. Let f