v) = v**3 - 12*v**2 + 11*v - 8. Let h be r(11). Which is smaller: -12 or h?
-12
Suppose -3*v + 5*r = -v + 56, v = -3*r - 6. Suppose 3*j - 52 = -349. Let m be v/j + (-70)/22. Is -4 > m?
False
Let w = 24 + -28. Which is smaller: -3 or w?
w
Let c = 3.92 - 3.8. Which is smaller: c or 1?
c
Let z be 3/(-45)*(-10)/(-8). Let n = -5/12 - z. Let r = 3.9 - 4. Is r at least n?
True
Let r(z) = 6*z + 4. Let l(c) = -5*c - 5. Let q(y) = -7*l(y) - 6*r(y). Let x be q(6). Are x and 5 equal?
True
Let o(u) = u**2 - 4*u + 2. Let c be o(3). Let w = -1 - 1. Let r be 14/4 + 1/w. Is r less than c?
False
Let n(d) = d**2 + 2*d + 3. Suppose v - 4*l + 18 = 0, 3*v - v + 24 = 5*l. Let a be n(v). Suppose -a*r = 6, -2*h + r - 1 = h. Is 2/11 bigger than h?
True
Let g(v) be the second derivative of -v**5/20 - 7*v**4/12 + v**3/6 + 7*v**2/2 + v. Let j be g(-7). Let p be (-1)/(-1) - (j + 2). Does p = -3?
False
Suppose -g - 66 = 3*m + 2*g, 5*m - g = -80. Is m > -15?
False
Let w be (-24)/(-100)*10/(-3). Let a be (-7)/(-3) + (-3)/9. Suppose -a*v - 2 = -0*v. Is w > v?
True
Let t be (3/15)/((-2)/6). Let l be 1*1/(0 + -1). Is t at least l?
True
Let z = -0.18 - -3.98. Let q = -3 + z. Is 0 at most as big as q?
True
Suppose -6 = 5*s + 9. Let x be (-2)/6 - (-2)/s. Suppose -4*r + 9*r + 5 = 5*j, -4*r + j - 1 = 0. Is r < x?
False
Let w be (-1 + 4/1)/1. Suppose 4*v + y + 6 = 0, 0 = 4*v - 5*v + w*y + 5. Which is smaller: 0 or v?
v
Let m be (-12)/3 + (-6)/(-10). Is m <= -2?
True
Suppose 4*j - 3 = 9. Is j at least 3?
True
Suppose -21 = -7*q + 4*q. Is 9 at most q?
False
Let t = -23/44 - -5/4. Is t at least as big as 0?
True
Let y(r) = -2*r - 15. Let j be y(-10). Let g = 27/5 - j. Is g at most 0.1?
False
Suppose -2 = d - o, 0*d - 2*d - 3*o = -21. Let v be 5/d - 1/(-3). Suppose 3*j = 5*l + 13, v*l + 6 = -2*l - 2*j. Is -1 greater than or equal to l?
True
Let j = 3 + 0. Suppose j = -3*s - 3. Let p be 14/12*3 + s. Which is greater: 1 or p?
p
Let d be 16 + (-2)/2*-1. Suppose y - 8 = -a, 4*y + 3 = a + 2*a. Suppose 0 = -a*h - 13 - d. Is h greater than -6?
False
Let h = 2.11 + -2.2. Let g = 0.2 + -0.11. Let t = h + g. Which is greater: t or 2?
2
Let q be 9/(-6)*-18 - -3. Let l be (-6)/(-22)*(-20)/q. Let p = 2 + -1.9. Which is smaller: l or p?
l
Let x = -1/541 - 1071/5951. Is x != 0.07?
True
Let n(w) = w**2 - 10*w + 26. Let y be n(5). Which is greater: y or 1/279?
y
Suppose -4*j = -32 - 32. Let b = 15 - j. Is -1 at least b?
True
Let p = -0.48 + 0.3. Let j = -7.82 + p. Which is greater: -1 or j?
-1
Let u(c) = -c**3 - 7*c**2 + 2*c + 14. Let x be u(-7). Which is smaller: x or 3/20?
x
Suppose 5*q + 3*m = 24, 5*q - 2*m - 18 = -3*m. Suppose -v + q*v = 2. Which is smaller: -1 or v?
-1
Let w be (-4)/8 + (-1)/(-2). Suppose 2*z + 2*z - 20 = w. Suppose z*n = -14 + 4. Which is smaller: -1 or n?
n
Let u(z) = z**2 - z. Let g(m) = m. Let q(h) = 3*g(h) + u(h). Let i be q(-2). Let a = 0.2 - 0. Which is bigger: a or i?
a
Suppose 2 - 11 = -b. Let i be (b/12)/((-6)/4). Let f(h) = -h**2 + 8*h - 2. Let z be f(8). Which is bigger: z or i?
i
Let m be ((-4)/5)/(26/10). Let x = m - 6/65. Which is bigger: x or 2?
2
Suppose 2*t - 28 = 28. Let a = -1967/3 - -628. Let k = a + t. Which is bigger: -1 or k?
k
Suppose 3*v + 7 = -4*b - 0*v, -2*b = -5*v - 29. Let m(s) = -s + 2. Let o be m(b). Is o greater than or equal to -3?
True
Let c = -3195/2 + 1560. Which is bigger: -37 or c?
-37
Let h be (-3)/2*2/(-3). Suppose -2*t + 12 = 2*t. Suppose t*m = -m. Is h <= m?
False
Let f(z) = -7*z - 1. Let x(j) = -15*j - 1. Let t(q) = 13*f(q) - 6*x(q). Let o be t(-6). Let l = -1/4 - -1/2. Which is smaller: o or l?
o
Let k be (-2)/(-6) + 2/(-6). Let z(f) = -f**2 + 1. Let j be z(k). Is 2/17 > j?
False
Let y be (-6)/(-4) + 10/(-12). Do -21 and y have the same value?
False
Let c = 719/21217 - -3/433. Is -1 at most as big as c?
True
Suppose 16 = -4*k, -2*j - k - 4 + 0 = 0. Let f be -2*((-3)/2 - 0). Let y = -2 + f. Which is smaller: j or y?
j
Let u be (8/12)/((-38)/(-6)). Is u less than or equal to -1?
False
Let q be 1/(-2)*0 + 2. Let h = -61806/5 + 12318. Let y = 44 + h. Is q not equal to y?
True
Let m = -4 + 3.6. Let w = -0.3 - m. Let h = 0.3 + -0.2. Is w at most h?
True
Let h be ((-3 - -7) + -4)/(-3). Which is bigger: h or 3/14?
3/14
Let p = 13 - 13.1. Is -0.07 not equal to p?
True
Let a = -18.9 + 19. Is 1 greater than or equal to a?
True
Suppose 3*c = -c. Suppose c = -5*f + f + 60. Let w be 13/(-20) + 6/f. Which is smaller: 1 or w?
w
Let z = 21 + -11. Let h = z + -5. Let c = h - 6. Which is smaller: c or 1?
c
Suppose -h = -0*v - 3*v - 36, 4*v + 4*h + 32 = 0. Is v less than -43/4?
True
Suppose 15*q - t = 11*q + 41, 0 = 4*q - 4*t - 56. Which is smaller: q or 2?
2
Let b be (-108)/(-4 + 4/2). Is 55 smaller than b?
False
Let g(y) = 37*y - 1. Let k be g(-1). Let l be 4/18 + k/90. Suppose 9*u = 3*u. Is u <= l?
False
Let n(s) = -s**3 + 2*s**2 + 5*s. Let f be n(4). Is -11 at least f?
True
Let n(r) be the third derivative of r**5/60 - 7*r**4/24 + r**3 + 2*r**2. Let o be n(6). Suppose 2 + o = -x. Which is bigger: -4 or x?
x
Let x be ((-4)/10)/((-6)/15). Suppose 2*t + 2 = -k - 8, 4*k = 2*t - 10. Let o = t + x. Is o < -1?
True
Let v = 12 + -14. Which is bigger: -5/2 or v?
v
Let d be 315/(-1164) + 1/4. Let c = d - -103/291. Is c greater than 0?
True
Let c be 4 + (0 - 3/3). Let p = c + -2. Are p and -1/5 nonequal?
True
Suppose 2*h = 8 - 0, -2*n = -5*h + 64. Is -23 <= n?
True
Let x = -7 + 7.8. Let b = -0.1 - x. Let g = b - -1. Is g bigger than -5?
True
Let x be ((-55)/33)/(1/(-18)). Let g be 130/x - (1 - 1). Is g > 3?
True
Let r(o) = -o**3 - o**2 - o. Let x be r(0). Suppose -n - 4*a = -5*n + 52, -5*n + 3*a + 55 = x. Do n and 6 have the same value?
False
Suppose -4*y - 5*o = 117, -6*o = 2*y - 3*o + 59. Which is bigger: y or -26?
-26
Suppose -h - 16 = -5*h. Suppose b + h*i - 16 = 3*b, 2*b = i - 7. Let u be ((-1)/2)/(5/b). Is 0 <= u?
True
Let k = -3 - -3. Which is smaller: k or 3/5?
k
Suppose 3*x = 5*x - 4. Let t be 1*(x + 0)/34. Let f = t - -15/34. Which is smaller: f or 2?
f
Let i be 9/(-12)*(-4)/18. Let u = -97 - -677/7. Which is smaller: i or u?
u
Let v = -5.11 - -0.11. Let m = -4.09 - -0.09. Let b = v - m. Is -0.2 not equal to b?
True
Let f = 18 - 8. Suppose -2*x = -7*x + f. Let i = -1 + 3. Is x <= i?
True
Let y be 2/(-7) - (-107)/7. Let m be (y/(-20))/(3/(-8)). Let u(b) = -b + 8. Let g be u(7). Which is greater: m or g?
m
Let y be 4/(-11)*(-8)/32. Is y less than 1?
True
Let p be ((-86)/(-22) + -4)*1. Which is smaller: -1 or p?
-1
Suppose -3*m - 9 = -6*m, 0 = 4*s + m - 11. Suppose -s*y - 5 - 1 = 0. Suppose -5 = x - 4. Is y smaller than x?
True
Suppose -14*g = -3*g - 572. Which is bigger: 53 or g?
53
Suppose -2*z - 1 = 9. Let j = 8 - 4. Let v = z + j. Is v less than -1/2?
True
Let y = 0.16 - 0.06. Which is smaller: y or 25?
y
Let p = 0.009 + -0.109. Are p and 66 nonequal?
True
Let y = -36 + 35.94. Which is greater: y or -2?
y
Let i be (-3)/(6/(-28))*2. Suppose 0 = 4*n + i + 24. Which is smaller: -14 or n?
-14
Let o be 2/(-8) + 35/28. Let h(w) = 84*w**2 + 1. Let n be h(1). Let v be 4/(-6) - n/(-60). Which is bigger: o or v?
o
Let g = 1 - 1. Let z be 16/20*(3 + 2). Does z = g?
False
Let t = -1 + 0. Let m = 0 - 0.01. Let o = m - 0.99. Is o equal to t?
True
Let f(n) = 4*n + 1. Let g be f(-1). Let h be (-6)/(-15) - 96/(-10). Suppose 0 = -4*w - h - 10. Which is smaller: g or w?
w
Let g be (-23)/(-2)*28/14. Which is bigger: g or 1/2?
g
Let p be (-11)/(-3) - (4 - 1). Which is smaller: 0 or p?
0
Let k be 10*(3*5/(-30))/1. Let z be 1/(-4) + 15/(-4). Which is greater: z or k?
z
Let r = -9 + 23. Let v = 55/4 - r. Let l = -5/9 - -19/18. Which is greater: v or l?
l
Let a = -25 + 26. Which is greater: 3/7 or a?
a
Let d = 0.4 + 1.6. Let z = 61/2 + -31. Which is smaller: z or d?
z
Let b = 1 - 0.9. Let q = b + 0. Let i = 49 - 49.3. Is i <= q?
True
Let p = 4 + -2. Let i(x) = -x + 2. Let j be i(p). Is j greater than 2/15?
False
Let a(q) = -q**3 - 6*q**2 + 1. Let j be a(-6). Let t = 8 - j. Are t and 7 non-equal?
False
Suppose -19*s + 5 = -14*s. Which is smaller: -2/5 or s?
-2/5
Let c be (-55)/(-10)*(-2)/3. Which is bigger: c or -4?
c
Let y = 125 - 873/7. Let b = -11 - -11.8. Let k = -0.4 + b. Is y at least as big as k?
False
Suppose -9*f + 5*f + l = 4, 0 = 5*f + l + 5. Let o be (31/3)/((-10)