-s**3 - 2*s**2 + 5*s + 4. Let r be b(-3). Let u be r/9 + 8/(-45). Let w be (-2)/(-3) - (-2)/(-3). Is w greater than or equal to u?
True
Let d = 19 - 16. Which is greater: 2 or d?
d
Let a be (-22)/8*-1*-1. Which is bigger: a or -2?
-2
Suppose 0 = -2*o - 7 - 1. Let r be (-4)/10 + 6/(-10). Let u = -2 + r. Which is bigger: o or u?
u
Let q(a) = a**2 + 6*a + 3. Let z be q(-6). Let k be (-19)/z - (-22)/(-33). Which is greater: -6 or k?
-6
Let d = 94 - 97.9. Let f = -7 - -3. Let h = d - f. Are h and -1 unequal?
True
Let n be 22/(-1)*1/(-2). Suppose n*q - 12*q - 1 = 0. Which is bigger: q or -3/10?
-3/10
Let z = -8 - 2. Let s be (-1)/(2 + z/6). Let b be 2/6 + 56/(-96). Are b and s equal?
False
Let j be 1/(-2)*(-1 - -15). Is -6 <= j?
False
Suppose -4*m - 12 = 4*r - 5*r, 4*m = 4*r - 12. Let b be ((-3)/1)/(30/(-4)). Which is smaller: r or b?
r
Let o = 0 + 2. Suppose 3*h - o*i = 1, -2*i - 1 = 2*h + 5. Which is greater: -1/3 or h?
-1/3
Let x(c) = -c**2 - c - c + 6 - 3*c. Let i be x(-6). Let p be (-2)/(-1) + -2 + i. Is -1 <= p?
True
Let j = -23 - -59. Suppose 2*a + j = 4*a. Let p = a - 13. Which is bigger: p or 4?
p
Let c(w) = w + 3. Let l be c(3). Let h(t) = 5*t**2 + 1. Let v be h(1). Is v smaller than l?
False
Suppose 0*d + d - 25 = 5*a, -d - 5 = 0. Let r = -39 - -38. Which is bigger: r or a?
r
Let y be 0/((1 - 3)/2). Suppose -2*m - 3 = 2*n - n, y = 3*n + 2*m + 21. Let l = 6 + n. Is l smaller than -0.1?
True
Let w = 0.01 + -0.02. Let q = 0 + w. Is q at least 1?
False
Let w be 2 - (-1)/((-1)/4). Is w <= -1?
True
Let s = 25 + -21. Let f be -2*22/16 + s. Which is bigger: f or 0?
f
Let t = 0.22 - 0.1. Let q = 0.02 - t. Let c = 0 + 0.1. Is c at least as big as q?
True
Let d = 25 - 36. Is -1 equal to d?
False
Let b = 3/2 + -1. Which is smaller: b or 7?
b
Let s = -0.029 + -6.171. Let q = s - -6. Is q >= -2?
True
Let z be (-32)/(-18) - (-3 - -5). Suppose 4*h + 36 = 5*k, -3*k + h - 6 = -22. Suppose k = 4*q, -g - 4*q = -2 - 2. Which is bigger: z or g?
g
Suppose -11*t - 48 = -180. Which is greater: 21/2 or t?
t
Suppose -5*d = -24 - 76. Let b be 0 - 3/(12/79). Let m = b + d. Are -0.3 and m equal?
False
Let a = -2783/26 + 107. Is -1 at least as big as a?
False
Let i = 5.9 - 6. Is i != -7?
True
Let o = -120 - -119.9. Is o less than or equal to 31?
True
Suppose 27 + 3 = 5*g. Suppose f = -2*p + 2*f - 6, -p - 8 = 2*f. Let j = p + g. Which is bigger: 3 or j?
3
Let t(p) = 2*p**2 + p**2 - 1 - p - 2*p**2. Let g be t(-1). Does -3 = g?
False
Suppose -4 = 3*a + 4*i, 16 = -7*i + 3*i. Let v be 1 + 4/a + 2. Which is smaller: v or 0.1?
0.1
Let l = -4 + 9. Let b = 0 + 0. Suppose 4*j - 9 - 15 = b. Is l >= j?
False
Let f = -19 - -18.02. Let a = f - 0.02. Is a bigger than 2?
False
Let i(x) = -6*x**3 - 2*x**2 - x. Let f be i(-1). Is f equal to 6?
False
Let m(c) = 2*c - 2. Let q be m(6). Let v = q - 8. Suppose z - 5*s + 28 = 0, -v*z + 3*s = -s + 26. Is z greater than -4?
True
Let k = -57 + 27. Does k = -29?
False
Let h(b) = -b**3 + 10*b**2 - 8*b - 13. Let v be h(9). Which is greater: -6 or v?
v
Let q be ((-3)/(2 - -1))/31. Which is greater: -1 or q?
q
Let f be (-12)/(-20)*(-1129)/3. Let t = 225 + f. Which is smaller: t or 0?
t
Let d be 18/(-135)*2/4. Which is smaller: 1 or d?
d
Let h be 376/(-64) + 2/(-16). Let c be h/10 - (-10)/(-25). Which is smaller: c or -1/10?
c
Let a = 128 - 643/5. Which is greater: -2 or a?
a
Suppose 0*l - 2*l - 5*y = 18, 4 = -y. Let d be ((-18)/4)/((-24)/(-32)). Let g be (d/(-8))/(135/(-72)). Are g and l nonequal?
True
Let k = 6 - 4. Suppose 0 = 4*u - k*u - 4, -5*q + 113 = -u. Suppose 0 = -4*t + 5*v + q, 0 = 2*t - 3*v + 5*v + 2. Is 2/3 less than t?
True
Suppose 0*j - 4*k - 2 = -2*j, 5*k = 10. Let z be (2/5)/(4/35). Which is bigger: j or z?
j
Suppose 0 = -5*r - 1 + 6. Let n be 14/35*r/(-2). Which is smaller: 0 or n?
n
Let v be (-32)/6 - 6/9. Let j be ((-6)/2)/3 + -3. Is v >= j?
False
Let r = -8 - 4. Is r > -1/4?
False
Let p be (-6 - (-112)/20) + 86/190. Which is smaller: p or 1?
p
Let r = 2 - 0. Suppose -7 = -5*g - 2. Let y be g/(-3)*(2 + -3). Is r at most as big as y?
False
Let s = -279 - -293. Let c be 3/(3/14) - -1. Is c at least s?
True
Let w = -52 - -50. Is 0.01 less than w?
False
Let t = -29 - -35. Suppose -2*q - 3 = -19. Which is smaller: t or q?
t
Let z be ((-4)/(-5))/(18/315). Let m(r) = -r**2 + 13*r + 7. Let c be m(z). Is c smaller than -6?
True
Let s = -0.65 - -0.85. Which is smaller: s or -3?
-3
Let f(v) = -v - 1. Let y be f(-2). Let r be ((-18)/(-40))/(60/(-50)). Is r smaller than y?
True
Let q(f) = f**3 + 4*f**2 - 2*f + 6. Let i be q(-5). Let d be (4 - 3) + 7/i. Let s be (-2)/(-1)*4/8. Is s <= d?
False
Let l be ((-9)/(-12))/((-81)/2). Is l not equal to 1?
True
Suppose 7*c = 3*c + 5*w - 8, -c - 1 = -w. Let t = 2 - 1. Let i = t - -2. Is c not equal to i?
False
Let b(k) = k**2 - 3*k + 2. Let z(m) = -m**2 - 7*m - 4. Let v be z(-6). Let t be b(v). Is -1/14 <= t?
True
Let u = 30 - 28.3. Is -1 > u?
False
Let c(s) = s**3 + 3*s**2 + s. Let z be c(-1). Suppose -3*x = 5*y - 3 + z, -2*y + x - 8 = 0. Is -2 at least as big as y?
True
Let p = 16 - 13. Let d = -3 + p. Which is smaller: 4/3 or d?
d
Suppose 2*k + 20*h - 41 = 19*h, -k + 38 = 4*h. Which is greater: k or 0?
k
Let s(p) = -p - 2. Let q be s(-5). Is -0.1 at most as big as q?
True
Let c be ((-4)/(-3) + -2)*9. Let o = -4 - c. Let a be 0 - (1 + 0)*-1. Is o bigger than a?
True
Let k = 2.9 + -3.7. Which is bigger: k or -1/4?
-1/4
Let n be (-3)/2*(-112)/12. Suppose -3*v + 15 = 0, 4*r - 5*v + 35 = -n. Is -1/2 greater than or equal to r?
True
Let g(q) = -q - 7. Let z be g(-7). Suppose 4*s = 3*o, z = s - 2*o - o. Which is smaller: s or -2/7?
-2/7
Suppose 2*o - o - 10 = 0. Is o greater than -1?
True
Let r be 9/4 + (-2)/8. Let g be 186/31 + -1*3. Which is bigger: g or r?
g
Let i(x) = -2*x**3 + x**2. Let z = -10 - -11. Let w be i(z). Which is greater: w or -2/35?
-2/35
Let w = 267541 + -2419268/9. Let l = 1265 + w. Is l equal to -2?
False
Let i be 10 - 9/(0 - -3). Let y = i + -16. Which is greater: y or -6?
-6
Let r = -7 - -10. Let w = r - 2.9. Let t = 2.8 + -3. Which is bigger: t or w?
w
Suppose 4*d - 2*x = -2826, -2*d + 505 = -4*x + 1921. Let h = d - -31772/45. Which is smaller: 0 or h?
0
Let g = -7 - -12. Suppose 2*r = -3*h - 28, -3*h - 1 = -3*r + 2. Let t = h + g. Which is bigger: t or -0.02?
-0.02
Suppose -4*m - 3 - 5 = 0. Let d be m/4*(4 + 0). Let y = d - -4. Is y not equal to 2?
False
Suppose 0 = -2*q + 3*p - 5*p + 18, 3*q - 3*p = 33. Let w be (3 + q/(-3))*15. Suppose 5*j - 1 = 4*m + 13, 4*j + 20 = -2*m. Is m smaller than w?
True
Let v(s) = -s**2 - 5*s - 15. Let m be v(-9). Which is greater: m or -151/3?
-151/3
Let y = -4.7 - -7.7. Suppose -2*b - 3 = -1. Which is smaller: y or b?
b
Let h = -2173/37415 + 1/1069. Which is smaller: h or -2/5?
-2/5
Let b be (-2)/3 - (-137)/3. Let p be 10/b + (-22)/(-63). Is p equal to 2?
False
Let q(v) = -2*v - 11. Let u be q(-9). Suppose 0 = 3*s + 2*z - u*z + 8, -s + z - 2 = 0. Let f be s + 3*3/15. Is 1 less than or equal to f?
False
Suppose -14 = 4*t + 2*b, 0*b = -4*b + 20. Let f = -16 - -10. Is t bigger than f?
False
Let z = -3 - -0.5. Is z greater than -0.1?
False
Let r be 1250/(-30) - 2/3. Let c = 41 + r. Let q = 0 - 0. Is c at most as big as q?
True
Let v be (-2 - -4) + (-44)/21. Let h = 0.06 - -0.04. Which is bigger: v or h?
h
Let u = -156 - -192. Is u > 2?
True
Suppose 5*i + 32 = -0*c + 3*c, 4*c - i - 20 = 0. Suppose 4*b = -c - 12. Is -4 less than b?
False
Suppose 3*k = 7*k + 12. Does -6 = k?
False
Let o be -2 + 1 + (-8)/(-12). Is o < 1?
True
Let h = 0 + 3. Let u = -3 + h. Let s = -16 - -47/3. Is u bigger than s?
True
Suppose 2*b + 7 = -4*w - 31, -3*w - b = 31. Let c be (-9)/w - 21/24. Are c and -1 nonequal?
True
Let r(h) = -h**2 - h - 1. Let g(j) = 5*j**2 + 4*j + 5. Let t(x) = -g(x) - 6*r(x). Let i be t(-1). Let p = 8 + -7. Is i smaller than p?
True
Let c = -6 - -3. Is c smaller than -3?
False
Suppose 3*y - 4 = -16. Let s be (2/6)/(y/(-12)). Which is bigger: -2/7 or s?
s
Let t = 21997 - 131501/6. Let h = 197 - 117. Let m = t - h. Which is smaller: m or -1?
-1
Let t be 2 + (-1 - (2 - 4)). Let h = t - 1. Suppose -10 = 4*y + h. Is -3 < y?
False
Let m be 1*(-2 + 2)*-1. Let f be (-6)/(-8) - (-5)/20. Let t(j) = j**2 - j + 1. Let o be t(f). Is o not equal to m?
True
Let b = -13 