y(c) = 7*c**3 + 4*c**2 - 2*c + 5. Let r(b) = -6*b**3 - 3*b**2 + 2*b - 4. Let h(w) = -6*r(w) - 5*y(w). Let m be h(-1). Which is smaller: -1 or m?
m
Let r be (-150)/(-4)*2/(-3). Let j be (-6)/r*(-60)/(-8). Which is smaller: 1 or j?
1
Let y be ((-3)/(-6))/(4/8). Let z be (9 - 10) + y + -1. Which is smaller: z or -2/7?
z
Suppose u - 5 = 5*q - 4*u, -q + 2*u - 2 = 0. Suppose q*v - 1 = -v. Let n be 2/(1*3 - 1). Is n > v?
False
Suppose 0 = -5*w - 0*k + 3*k - 8, -2*w - 20 = 3*k. Suppose -30*v = -28*v + 10. Which is greater: v or w?
w
Let v be 4/3*(-456)/752. Let g = -128/423 + v. Are g and -2 equal?
False
Let a be (-2)/(-3)*(-12)/(-28). Is 51 equal to a?
False
Let m be 3 + -2*(-4)/(-4). Do m and 1 have the same value?
True
Suppose 4*w = 2*u - w - 8, -5*u + 2*w + 20 = 0. Suppose 0 = -q - u - 3. Is -7 less than q?
False
Let z(j) = -j**3 - j**2 + j + 2. Let m(q) = q - 11. Let a be m(9). Let d be z(a). Suppose 7*r = 2*r - d*p + 44, -r + 5*p = -3. Which is bigger: 9 or r?
9
Let b = 0.3 + -0.1. Let c = b - 0. Let r = c - 0. Which is greater: 0.1 or r?
r
Let p(z) = 4*z**2 + 2*z + 1. Let a be p(-1). Suppose -a*q = q. Suppose q*g = -4*g + 8. Is 1/2 < g?
True
Let o = -1 - 7. Let g = -7 - o. Is g bigger than -2/11?
True
Let t = 17.77 - -0.23. Let r = t - 25. Let k = r - -5. Which is smaller: 1 or k?
k
Suppose -7*k + 11*k = -3*t + 6, k = 4*t - 8. Let y(h) = h**2 - 3*h - 2. Let q be y(4). Is t < q?
False
Let y = 0.18 - 20.18. Let z = y - -20.1. Let v(t) = t**3 + 2*t**2 + 2*t + 3. Let n be v(-2). Which is greater: z or n?
z
Let q be (-10 + 9)/((-2)/(-6)). Let m be (q/(-2))/(9/(-12)). Let o be 3*(0 - 2/8). Is o at most as big as m?
False
Let w = 39 - 19. Let t be (-1)/(-5) + (-64)/w. Which is smaller: t or -1/4?
t
Let j(q) = q - 15. Let z be j(6). Which is greater: -17/2 or z?
-17/2
Suppose 4*r - 80 = -0*r. Suppose 4*f + 20 = 5*n, 3*n - r = 5*f + 5. Are n and -2/7 equal?
False
Let d be 2/(-3 + (-5 - 3)). Which is smaller: 0 or d?
d
Let h(c) = 2*c**2 - 3*c + 1. Let n be h(2). Suppose j - 1 = 0, -n*y + 4 = -0*y + 4*j. Which is bigger: y or 2/5?
2/5
Let r(p) be the first derivative of -3*p + 2 + 1/2*p**2. Let f be r(3). Is 1/7 < f?
False
Let o = 226/165 + -2/55. Let m(k) = -k**2 + 4*k - 1. Let n be ((-3)/(-2))/(10/20). Let q be m(n). Is q greater than or equal to o?
True
Let g(z) = 2*z**3 - z**2 + 4*z + 3. Let p be g(2). Is p < 22?
False
Let m = -884730 - -15020985/17. Let z = m - -1143. Is 1 greater than or equal to z?
True
Let j = -73/6 + 38/3. Which is smaller: j or -1.4?
-1.4
Suppose 11*a - 8*a + 24 = 0. Let j = -8 + -1. Which is bigger: j or a?
a
Let v = 1 + -1. Let o = -1 + -1. Let p = 0 - o. Which is smaller: v or p?
v
Let q = 86/3 - 29. Is -1/3 at least q?
True
Suppose -7*x = -3*x - 5*b + 2, -2 = -b. Let g(u) = -4*u - 5 + u - 2*u**x - 3*u + 3*u**2. Let p be g(7). Which is smaller: 1 or p?
1
Suppose 2*t - 70 = -2*n, 17 = 2*t - t - 5*n. Which is greater: 164/5 or t?
164/5
Let j(q) = -3*q - 11. Let g be j(-5). Suppose 4*u + d + g = -3*d, u = 2*d - 7. Suppose 1 = 2*z + 7. Is z at least u?
True
Suppose -5*a + 13 - 3 = 0. Let k be (-1)/((-3)/6 + 1). Let p(v) = -v**2 - 4*v - 2. Let h be p(k). Is a <= h?
True
Suppose -g - 66 = -213. Let j be (-133)/g - (-1)/1. Let k(a) = a + 5. Let u be k(-5). Are j and u unequal?
True
Suppose 4 = 7*b - 10. Suppose 14 = -p - 5*u, 4*p - 5*u = 3*p + 16. Let s be -1*b + p/1. Does s = -1?
True
Suppose -2*v = 2*z - 5*v - 72, 0 = 5*z - 3*v - 180. Which is bigger: z or 37?
37
Let f(t) = -t + 1. Let n(j) = -j**2 + 2*j - 4. Let r(s) = -f(s) - n(s). Let p be r(0). Which is greater: 2 or p?
p
Let q = 3 - 3. Let r be 1*((-13)/5 + 3). Is r at least as big as q?
True
Let a = 1 - 0. Let z = -1.2 + a. Which is bigger: z or 1/3?
1/3
Let w = -23/55 - -9/11. Are w and -1 non-equal?
True
Let m(r) = r - 8. Let j be m(6). Let g = 1 + j. Are g and 0 nonequal?
True
Suppose 0 + 3 = -f - 2*o, 2 = -2*o. Let d = -2.6 - 0.4. Is d less than or equal to f?
True
Let b = 46.8 + -47. Which is greater: b or -1?
b
Suppose -7 = -3*v + 4*v. Let g(x) = -8*x + 1. Suppose -10 = 5*j + 5*k, 5*j - 3*k = 13 + 1. Let f be g(j). Is v bigger than f?
False
Let u = -309631/45 + 6881. Let s = 88/45 + u. Let q = s + -164/75. Is q equal to 0?
False
Let s(q) = q + 10. Let t be s(8). Let b be (5/((-40)/t))/3. Which is smaller: -2 or b?
-2
Let u = -8 - -7. Let z be 1 - (-1 + 3 + -3). Let t be z/2 - (2 - 1). Are t and u unequal?
True
Let x be 5/(-10)*(-10)/(-5). Let y be -2*(-4)/(-1) + 2. Let i be (-4)/(-10) - y/10. Is x at least i?
False
Suppose -5*y = -10*y + 25. Suppose -5*u = -y - 0. Let l be (-2 - u)*2/3. Is l less than -4?
False
Let t = -4 + 7. Suppose -8*n + 3*n = t*x + 9, 5*x = 2*n - 15. Which is greater: n or 4/3?
4/3
Let q = 4 + -21. Is -17 bigger than q?
False
Let f = -7.4 - -8.2. Which is smaller: f or -1?
-1
Suppose p + 5 = 7. Which is smaller: 3/4 or p?
3/4
Let v be (5/10)/((-1)/6). Let f = -1 + v. Is f at most as big as -3?
True
Let f be 36/3*6/(-300). Is 0 <= f?
False
Let o = 0.14 + -2.14. Let j be -12*(-2 - 10/(-4)). Let i be 10/6 - (7 + j). Which is bigger: o or i?
i
Let w be ((-1)/(-6))/((-1)/4). Let u(a) = -a + 5. Let x be u(5). Suppose x*q = 3*q. Which is smaller: q or w?
w
Let u = -120 - -1082/9. Let z be -1*(3 + 0 + -3). Is u at most z?
False
Let o be 0/(-2) - 52/(-1690). Which is bigger: -1 or o?
o
Let g = -5 + 11. Let r be (g/(-4))/((-1)/(-8)). Is r > -12?
False
Let t = 13 + -14. Which is smaller: 0.38 or t?
t
Let f be 0 + (-18)/(-2)*1. Let w be (-48)/27 + (-2)/f. Let t be ((-3)/w)/((-21)/8). Which is bigger: t or -1?
t
Let a be ((-4)/(-4))/(34/3838). Let o = -113 + a. Let v be (1 - 3)/(2*1). Are v and o unequal?
True
Suppose 0 = 4*w - 7*w. Let v be (-2)/3*(-18)/(-24). Is v at least as big as w?
False
Let r(j) = j**2 + 13*j + 40. Let m be r(-8). Which is smaller: -3/7 or m?
-3/7
Suppose 0*t + n + 7 = -4*t, 3*t + 2*n = -9. Which is bigger: 7 or t?
7
Let g = -5 + 5. Let d = -4 + g. Which is smaller: d or 1?
d
Let g be 3*-5*4/(-120). Which is smaller: g or -9?
-9
Let p = -15 + 21. Suppose 5*q = 0, m = -0*q - 2*q + p. Let l = m - 7. Does l = 1?
False
Let h = 7 - 9. Which is smaller: 0 or h?
h
Let o(d) = 2*d - 7. Let n be o(12). Suppose -2*c + n = -1. Suppose 9*k - 12*k + c = 0. Is k > 1?
True
Let k = -4.3 - -2.3. Which is smaller: k or 3?
k
Let g be -1 - (-7)/(21/16). Which is greater: g or 3?
g
Let n(q) = -q**3 - 24*q**2 - 43*q + 19. Let x be n(-22). Let o be 1 + -1 + (-2)/(-8). Is o at least x?
True
Let v = -1.15 + 1. Let z = v + -0.55. Let g = -0.2 - z. Is 1 >= g?
True
Suppose 13 = 4*c + 5. Suppose f - 32 = 6*f + c*h, 2*f = -h - 13. Let x(a) = -a**3 - a**2 + 3*a + 1. Let l be x(-2). Is l at least f?
True
Let z be (4/6)/((-4)/(-18)). Suppose 0 = l + z*m - 10, 5*m = 2*l + m. Let x = -5 - -8. Which is smaller: x or l?
x
Let z(v) = v**2 + 4*v + 4. Let a be z(-3). Let b be 4 - a/((-3)/(-6)). Let k be ((-15)/7 + b)/1. Which is smaller: 1 or k?
k
Let f = 1 + -2. Let j = f + 2. Let h = j - 1. Is 0 at least h?
True
Suppose r + 2*r + c = 617, 203 = r + c. Let f = -611/3 + r. Is 4 less than f?
False
Let a = -10 - -25. Let c = 7 - a. Let z be (1/c)/(6/12). Are z and -0.2 equal?
False
Let x = -0.23 + -5.77. Let u = 8 + x. Is -0.1 at least as big as u?
False
Let h = 559481/1868175 - -1/27075. Let v = h + -12/23. Is -0.1 at most as big as v?
False
Let p = 53 - 32. Is 21 at least as big as p?
True
Suppose -4*m = -2*z + 46, -3*m = 2*m + 5*z + 20. Suppose -3*u + 9 = -g, 14 = -5*g - 3*u + 5. Let p be g/m + (-26)/42. Is -1 greater than p?
False
Let t = 16.26 + -16. Let k = -0.26 + t. Is k at least 2/3?
False
Let k = -58 + 53. Is k < 6?
True
Suppose r + 0*r - 2 = 0. Let h be (-1)/2 - (-5)/r. Let l be 6/(-5)*(-5)/2. Which is bigger: l or h?
l
Let w = 12 - 11. Are w and 0.04 equal?
False
Suppose 3*z - 2*o - 20 = -o, 4*z + 4*o - 32 = 0. Which is bigger: 10 or z?
10
Suppose 4 = -0*r - 2*r. Is r less than or equal to 1/2?
True
Let i(j) = -5*j - 5. Let v be i(-4). Which is bigger: v or 16?
16
Suppose 3*h + h = 8. Let x be h*((-21)/24 + 1). Let w be ((-8)/42)/((-4)/(-6)). Which is greater: w or x?
x
Let j = -224.87 + 225. Let i = -1 + 1. Is j greater than i?
True
Let v = 33 - 29. Suppose -v*b + b = 0. Is 0 greater than or equal to b?
True
Let s = -75/56 + 12/7. Which is smaller: s or -1?
-1
