ppose -l*z + q = -5, z - 2*q - 13 = 2*q. Which is smaller: -5 or z?
-5
Suppose -2*a + 16 - 20 = 0. Is -36/17 != a?
True
Let u = 9 - 7. Let f(h) = 4*h**3 - 5*h**2 + 5*h - 4. Let y(v) = -3*v**3 + 6*v**2 - 6*v + 5. Let a(z) = u*f(z) + 3*y(z). Let l be a(7). Which is bigger: -1 or l?
l
Suppose 3*b - 5*u - 6 = -b, -b = 4*u + 9. Let m(i) = i**3 + 6*i**2 - 1. Let f be m(-6). Let g = b - f. Is g less than or equal to -2/7?
False
Suppose -f = 2*b - 0*f - 5, -2*f = 5*b - 10. Suppose -8*r - 6 = -6*r. Is r equal to b?
False
Let k = 1 + 9. Suppose o + k = 4. Suppose 3 = -2*s - 7. Is s greater than o?
True
Let q = 2 + -2. Suppose 7*w - 2*w = q. Suppose 0 = -w*s - 2*s + 6. Is s at most as big as 3/2?
False
Let m(a) = a - 5. Let f = 36 - 18. Let i = -12 + f. Let y be m(i). Is 1/2 > y?
False
Suppose -4*o + 96 = -0*o. Suppose -2*s - 4*u + o = 0, -2*u + 8 = 5*s - 12. Suppose 4*l + 4 = 0, -7 = -5*f - s*l + 4*l. Is 2 at least as big as f?
True
Suppose b + 5*l = -0*b + 15, -4*b - 15 = -5*l. Suppose -3*m + 2*z - 27 = b, -2*z = 2*m - 3*z + 19. Which is smaller: m or -10?
m
Let r(z) = z**3 + 8*z**2 - 1. Let p be r(-8). Let b = p - -1. Is 3/5 bigger than b?
True
Let j = -4.87 - -5. Which is smaller: j or 4?
j
Let y(q) = q**3 + 3*q**2 - 4*q - 1. Let j be y(-4). Let u be 5 + -1 - (-1)/j. Suppose u = 4*f - 3*f. Is 3 < f?
False
Let k = -16 + -2. Let h be (3/4)/(k/12). Are -2/7 and h non-equal?
True
Let n = -2 + 2.02. Let a = -29.02 - -29. Let l = a + n. Which is greater: -0.1 or l?
l
Let g = 1 + -1.1. Let a = -4.7 - -0.7. Which is smaller: g or a?
a
Let b(c) = 52*c + 12. Let q be b(-9). Let s = 2262/5 + q. Is -5 <= s?
True
Let s(m) = -m - 4. Let l be s(-3). Suppose -3*a - 3 = -7*z + 4*z, a - 3 = 5*z. Let j be (-3 + 3)/(a*1). Is l bigger than j?
False
Suppose 0 = -5*z - 0*z + o - 23, -3*z - 23 = 4*o. Suppose 3*h - h - 8 = 0. Let u = z + h. Is u at most as big as 2/15?
True
Let x = 0.1 + -0.05. Let n = -0.55 - -0.3. Let m = x + n. Is m bigger than -1?
True
Suppose -4*f = -5*f + 5*o - 15, -o + 3 = 0. Let h be 4 + 1 + -3 - -10. Suppose 5*x = 5*a - 35, 3*x + h = -3. Is a smaller than f?
False
Suppose -4*w = -8*w - 48. Is w smaller than -43/4?
True
Let m be (-1 + 0)*(3 + -7). Suppose -m*z + 0 = -8. Is 2 less than z?
False
Let g = -0.05 + -0.95. Let q = g - 0. Which is smaller: q or -2?
-2
Suppose -5*h - 6 = -1. Is h equal to 1/13?
False
Let o be 2/(-6)*3/(-19). Which is smaller: o or -1?
-1
Let d = -682 - -19780/29. Is 0 less than or equal to d?
True
Let a = 2 + -1. Let f = -1032/11 - -94. Which is smaller: a or f?
f
Let l = 4 - 2. Let j be (-1 - 2)*l/10. Let h = -4 - -4. Which is greater: h or j?
h
Let d = 0 + 1. Let s = 0.8 - -0.2. Let z = 1.1 - s. Which is bigger: z or d?
d
Suppose k + 5 = -4*k. Let i be k/3*(-9)/(-12). Is -0.1 at most as big as i?
False
Suppose c - 57 = -2*c - 3*l, 0 = 3*c - 2*l - 47. Let r = c + -45. Let m be (-8)/r - (-18)/(-14). Is m not equal to -2/13?
True
Let q(p) = -14*p - 2. Let j be q(-2). Suppose -5*b - 4*r = -j, 4*r - 8 - 8 = 0. Let s be (-14)/(-21) - b/3. Is s > 1/2?
False
Suppose 0 = -w - n - 3 + 2, -5*n = 0. Let x be (w*2)/1 + 2. Is x at least -1?
True
Let m = 5 + -3.8. Let o = 0.6 - m. Which is greater: 1 or o?
1
Let r(w) = w**2 - 3*w - 7. Let u be r(5). Let m be 4 + (-1)/(2/(-4)). Suppose 0 = q + 3*p - 6, 4*q = p - m*p + 17. Is q <= u?
True
Let c = 0.21 + 0. Let o = 0.15 - c. Which is smaller: -1/3 or o?
-1/3
Let d = -89/12 - -23/3. Which is greater: d or 5?
5
Let u = 31.5 + -32. Which is smaller: 0.1 or u?
u
Suppose -5*c = -20, c - 154 = 3*i - 8*i. Let m = -61/2 + i. Let y = -0.4 - -2.4. Which is bigger: m or y?
y
Let i(n) = -3*n + 38. Let g be i(11). Which is smaller: 11/2 or g?
g
Let d = 2.9 - -1.1. Let k = 1 + -6. Let p = d + k. Is p at most as big as -0.05?
True
Let u be (-6)/1 - 24/(-6). Is -8/5 >= u?
True
Let p(f) = -6*f - 2. Suppose -4*x + x = -3. Let j be p(x). Does -7 = j?
False
Let u = 6.4 + -6. Let q = 0.3 - u. Let f = -41/3 + 13. Which is smaller: f or q?
f
Suppose 0 = -7*h + 3*h + 20. Suppose -h*x + 5 = -0*x. Is x at least as big as 3?
False
Let f(a) = -a. Let t be f(6). Let m be ((-4)/(-6))/(6/(-54)). Is t less than m?
False
Let h(x) = x. Let a(w) = w**2 - 3*w + 1. Let g be a(4). Let m be h(g). Suppose m*i = -0*i. Which is greater: i or -1/4?
i
Let z = 2 - 2. Suppose 7*u = 22 + 20. Which is greater: z or u?
u
Let x be (-8)/(-2) + (-8 - -4). Is 4/9 bigger than x?
True
Let b be 3/(21/12 - 1). Suppose 2 = b*m + 10. Let n be m + -1 + 6/3. Is n at least as big as -3/2?
True
Let b = -15/2 - -7. Is b greater than or equal to 0.3?
False
Let p(x) = -x**3 + 4*x**2 + 6*x - 6. Let z be p(4). Which is greater: z or -1?
z
Suppose 4*w = -w - 40. Let k = w + 5. Which is smaller: k or -4?
-4
Suppose 5*o - 4*r = -15 - 10, 3*o + 2*r = 7. Let m be 2/(-6)*(0 - -2). Which is smaller: m or o?
o
Suppose -b = -g + 4, -7 = -2*g + 4*b - 1. Suppose g*p - 10 = 3*p. Let y = p - 5. Which is smaller: 1 or y?
y
Let g = -2 - -5. Let m = g - 8. Is m <= -4?
True
Let l = 0.087 + 0.013. Is 0.3 less than or equal to l?
False
Let q(j) = -j**2 - 11*j + 13. Let r be q(-12). Let i = -71 + 495/7. Are r and i non-equal?
True
Let h be (3/(-2))/(6/16). Let k = h - -7. Let o = k - 3. Which is greater: -0.1 or o?
o
Let u = -154 - -94. Is u bigger than 2/5?
False
Let z be (-4)/24*4/(-4). Which is smaller: z or -1?
-1
Suppose b - 3*s + 0*s = 40, -5*s - 240 = -5*b. Which is bigger: b or 51?
b
Let f be (-2)/(-3) - 57604/(-138). Suppose -2*x + h = -314 - 526, -5*h = 20. Let o = f - x. Which is smaller: -1 or o?
-1
Let v be (-6)/(-7)*1396/12. Let z = -100 + v. Do 1 and z have the same value?
False
Suppose 199 = -5*h + d, -3*h - 4*d - 164 = h. Which is smaller: h or -41?
-41
Let z(g) = g**3 - 8*g**2 + 7*g. Let b be z(7). Is 6/11 bigger than b?
True
Suppose 5*u - 5*f = 45, 2 = 3*u - 4*f - 27. Is u < 8?
True
Let c = -69 - -63. Which is bigger: -4 or c?
-4
Suppose -2*z + 0 = 16. Is -9 > z?
False
Suppose -4*k + 6*k = -2. Suppose 0 = v + 3*b - 4, b - 2*b - 12 = -3*v. Let p be -2*(-2)/(-8)*v. Which is smaller: p or k?
p
Let r(l) = 2*l**2 - 5*l + 5. Let f be r(5). Is f at least as big as 27?
True
Let o = 2.98 - -0.02. Let d = o - 4. Let v = -2 - -2. Which is smaller: d or v?
d
Let v = -24 - -23.62. Which is smaller: -1 or v?
-1
Let c(f) = -f**3 - 8*f**2 + f + 2. Let r be c(-8). Which is smaller: r or 1/3?
r
Suppose 0 + 4 = 2*w. Let d(b) = -b**3 + 2*b**2 - 2. Let r be d(w). Is 0.04 < r?
False
Let m = -20.9 - -21. Which is smaller: 2 or m?
m
Let i = 5 + -5. Suppose 0 = -u + 3*q + 11, 0 = -i*u + u - q - 3. Is u bigger than 0?
False
Let b(d) = -d**3 - 15*d**2 - 4*d + 14. Let f be b(-14). Which is smaller: -125 or f?
f
Let b be 6/15 - (-56)/(-90). Let v = 7 + -6. Is v > b?
True
Suppose 0 = 2*q - 0*f + 2*f + 10, -3*f + 3 = 0. Which is smaller: q or -25/4?
-25/4
Let x(v) = -2*v**2 + 7*v + 17. Let h be x(8). Which is smaller: h or -54?
h
Let i = 0.6 - 0.8. Let h = -5/9 - -43/45. Which is smaller: h or i?
i
Let c = -29 + 31.6. Let f = c - 0.6. Is f equal to 1?
False
Suppose 0 = -2*j + j. Suppose j = 3*p + p - 44. Which is greater: 2/7 or p?
p
Let p be 6*((-203)/(-490) + (-1)/5). Which is smaller: 0 or p?
0
Let q = 41233/3484 + 3/268. Let s(k) = -k**3 + k**2 + k + 12. Let i be s(0). Let x = i - q. Which is smaller: x or 0?
0
Let z = -1.2 + 1.1. Let o = -1.9 + z. Let n = -7/4 + 9/4. Which is greater: o or n?
n
Let f be 4*(-5 - 17/(-4)). Is f not equal to -10?
True
Let l = -48 + 184. Is l smaller than 137?
True
Let y(l) = l**3 - 25*l**2 - l + 20. Let s be y(25). Are -11/2 and s equal?
False
Let c be 2 - (2 - (-2)/17). Let u(x) = x**3 + 7*x**2 + 4*x - 3. Let a be u(-6). Suppose 6 = -4*r + 5*f, 3*r - a + 2 = -2*f. Is r >= c?
True
Let v = -9 + 9. Suppose -q = -v*q. Which is greater: q or -2/25?
q
Let p = -23 - -22. Which is smaller: -11 or p?
-11
Let c = 45.1 - 45. Is c smaller than -1?
False
Let v be (36/(-448) - 2/(-14))*-18. Is -2 less than or equal to v?
True
Suppose 2*p - 30 = -3*p. Let t be 21/35*28/p. Let y = t - 116/45. Is y at least as big as 1?
False
Let r be (-1)/(-3) + (4/(-12) - -2). Let b(p) = -2*p - 9. Let h be b(-6). Which is bigger: r or h?
h
Let n(m) = 2*m**2 + m - 1. Let f be n(1). Suppose 0 = -3*r - 3*z - 3, 0*r - r + 2 = -f*z. Is 1 >= r?
True
Suppose n = 4*v + 1, 0 = 3*v - n - 0