(15 + 0 + -3). Suppose 3 = -h - 2. Which is greater: h or w?
w
Suppose 0 = -6*w + 2*w - 2*s - 10, 5*w - 3*s = -18. Suppose 5*t - t - 32 = 0. Let r be 7/(-4) + 2/t. Which is smaller: w or r?
w
Suppose -6*d - 70 = -11*d. Suppose -10*x = -d*x + 4. Let g be (-2)/(-7) + 12/(-91). Which is bigger: g or x?
x
Suppose a = 3*h + 6*a - 20, 20 = 2*h + 5*a. Which is smaller: 85 or h?
h
Suppose 3*h = -2*h + 490. Suppose -5*z + 2*c - 22 = -4*z, 5*z + 2*c = -h. Is z at least as big as -19?
False
Let l = -6 - -10. Suppose -l*k - k + 2 = -4*w, 4*w - 16 = -4*k. Suppose -y + 5*b - 9 = -4*y, 0 = -2*y + 4*b + 6. Is y bigger than k?
True
Let j = 7 + -7.3. Let k = -32 - -30.3. Let d = k + j. Which is smaller: 1/2 or d?
d
Let p = 11 + -10.7. Do 1 and p have the same value?
False
Let c be (-2)/(-9) - 2/9. Suppose t + c = 2. Which is smaller: 0 or t?
0
Suppose -4*m - 19 = -3*i + 5, -2*i + 5*m + 23 = 0. Suppose u + i*u = 0. Is u <= 0?
True
Let k = -33 - 9. Let b = -464/11 - k. Which is bigger: b or -2/7?
b
Let i be (-1)/(4/(16/(-1))). Suppose 0 = i*v + 9 - 41. Does 9 = v?
False
Let i be -4 + 4/((-4)/(-5)). Which is greater: 2 or i?
2
Suppose 1 + 1 = -m. Let q = -136/12383 + -6/2135. Let w = -17/29 + q. Which is bigger: m or w?
w
Let s(q) = q**3 + 5*q**2 - 4*q + 1. Let x be s(-5). Let d be (-2 + x/12)*-1. Is d at least -0.1?
True
Let y = 165 + -170. Let o = -0.2 - -1.2. Which is smaller: y or o?
y
Let l be (15/2)/5 - (-24)/(-16). Let b = 182 + -2000/11. Which is smaller: b or l?
l
Let o(h) = -h**2 - h - 2. Let b be o(0). Let p be ((-20)/(-15))/(b/(-3)). Which is smaller: p or 4?
p
Let l be 8868/15 + -4 + 2. Let h = 587 - l. Which is bigger: h or -3?
h
Suppose -2*h + 3*c + 1 = 6, c - 25 = -4*h. Let n = 2 - h. Which is bigger: -2/3 or n?
-2/3
Suppose 0*c = -3*c + 3. Let y be (-5 - -3) + 0/(-1). Let x be -2*y/22*-1. Which is greater: c or x?
c
Let t be (2 - (-3)/3)*(-10)/6. Which is smaller: -9 or t?
-9
Let a = 19 + -34. Suppose 2*v = i - 29, -i - 69 = -0*v + 5*v. Which is smaller: a or v?
a
Let b(m) = -m - 10. Let k be b(-11). Let a be (-1 + 1)*(-15)/(-30). Which is greater: a or k?
k
Suppose -6*n = -3*n + 9. Do n and -2 have the same value?
False
Suppose -5*a + l + 4*l + 15 = 0, 8 = -2*l. Which is greater: -37/2 or a?
a
Let b = -89/42 + 16/7. Let i be 3*1/((-9)/(-6)). Suppose c = 3*v - 1 - 3, -4*v = -i*c - 8. Which is smaller: v or b?
v
Let q = -49 + 345/7. Let y = -128/3 - -43. Are y and q non-equal?
True
Let h = 103 + -122. Suppose -2*d = 2*v + 34, -5*d + 0*v + v - 103 = 0. Is d at least as big as h?
False
Let k = 0.037 + -2.885. Let f = -0.052 + k. Let o = -3 - f. Which is smaller: o or 3?
o
Let a = -15.04 - -15. Suppose -p = n - 2*n - 5, -2*p - n = -1. Is p less than a?
False
Let j = 0.48 + 0.02. Let f = 1131/11 - 103. Are f and j unequal?
True
Suppose 5*z + 11 = 1. Let g be z/(-3)*(-4 + 7). Which is bigger: 3 or g?
3
Let v = -688/5 - -138. Do 0.8 and v have different values?
True
Let j(x) = x**2 - 10*x + 12. Let r be j(9). Suppose -r = -i + 4*i. Let t(a) = a**3 - 5*a**2 - 5*a - 4. Let l be t(6). Which is greater: i or l?
l
Let p be (0 - -2)*18/4. Let s be (-2 + p)*8/28. Let u = 4 - s. Which is greater: 1/2 or u?
u
Let n = 8.9 + -8.7. Which is greater: 2 or n?
2
Let p(h) = 2*h - 12. Let o be p(6). Let f(s) = -s**2 - 1. Let n(t) = 2*t**2 + 9*t + 2. Let m(x) = f(x) + n(x). Let k be m(-9). Which is smaller: o or k?
o
Let b(u) = -u**3 - 6*u**2 - 3*u + 7. Let f be b(-5). Let v be 3/6 - f/(-2). Is v < -3/14?
True
Let g be (-18)/(-4) + (-4)/8. Let q be (g/3)/2*12. Let u(x) = -x**2 + 8*x + 2. Let y be u(q). Which is greater: y or 2/3?
y
Suppose -20 - 2 = -c - 5*n, -5*n = 5. Which is greater: c or 26?
c
Let f be (-2)/(-9) - (43/(-9) + 5). Let r be (-101)/(-14) - 2/(-7). Let p = 7 - r. Which is smaller: p or f?
p
Suppose 2*q = 3*q. Suppose -2*s - s - 12 = q. Let i(h) = -4*h**3 - h**2. Let d be i(1). Which is greater: s or d?
s
Let s be (3 - -1)*3/3. Let q = 1 - -1. Which is greater: s or q?
s
Suppose -c - 10 = -6*c. Suppose c*d = d. Let s = -557/5 - -111. Is d less than or equal to s?
False
Let f(u) be the first derivative of -u**4/4 + 2*u**3/3 + 2*u**2 - 2*u + 3. Let p be f(3). Which is smaller: -2/11 or p?
-2/11
Let t(z) = z**3 + 4*z**2 + 2*z - 4. Let c be t(-3). Let r = c + 4. Which is smaller: 4 or r?
r
Suppose 0 = 4*k - 12, 5*u - 2*k = 23 - 4. Suppose 14 = u*s - 6. Is 5 < s?
False
Let d = -5 + 9. Let x = d - 3. Let q = 1 - x. Is 0 greater than or equal to q?
True
Let d = 1.5 + 0.5. Which is smaller: d or 1?
1
Let j = -30 + 47. Which is smaller: j or 16?
16
Let g(q) = q**2 - q. Let h(z) = -z**3 + 4*z**2 + 6. Let s(b) = -g(b) - h(b). Let o be s(5). Is -3/10 smaller than o?
False
Let j = 14 - 18. Let v be -1 - -1 - 6/(-6). Let o be v/(j/9*3). Which is bigger: o or 0?
0
Let a be -2*(27/(-14) - 27/(-63)). Which is bigger: -14 or a?
a
Let k = -557/5 - -111. Suppose -3*t - 2*t = 0. Which is smaller: k or t?
k
Let v = 8 + -5. Let r(p) = -3*p + 2. Let h be r(-2). Suppose -l + h = -v*l. Which is greater: l or -5?
l
Let k = 0 - 6. Let n be (-25)/3*k*1. Suppose 2*a + n = -5*r, 3*r + 4 = 9*a - 5*a. Which is smaller: r or -7?
r
Suppose 5*q = 3*q - 2. Let g be q/2*1*-10. Suppose 0 = -3*h + g*h + 8. Is h greater than or equal to -2?
False
Let b = -2 - -2. Let s(k) = k. Suppose -2*c + 3*x = 10, 0 = -4*x - 2 + 10. Let g be s(c). Which is smaller: g or b?
g
Let n(y) = y**3 - 12*y**2 + 19*y - 1. Let i be n(10). Is i greater than or equal to 1?
False
Let f = 18 - 19. Which is bigger: 0.2 or f?
0.2
Suppose 2*i - 12 = -3*s, i + 3*s - 10 = 2. Let p(l) = l + 3. Let w be p(-5). Which is smaller: i or w?
w
Let h = -9 - -6. Let j = -18 - -15. Is j smaller than h?
False
Let u = 12.7 - 5. Let v = -8 + u. Let g = -0.2 - v. Which is bigger: g or 3?
3
Let i be -3 + (1 - -6) + (-3 - 5). Which is bigger: i or -23/6?
-23/6
Suppose x + p = 2*p - 5, 0 = 5*x + 5*p - 25. Suppose -o = -x*o - 13. Suppose 4*s + 5*r - 23 = 0, 3*r = -4*s + o + 4. Is 3 <= s?
False
Suppose -4*n = 0, 5*w + 2*n + 3*n = -25. Let v be (2/2 - 2)*w. Suppose -23 = 3*p + 5*z, p + 5*z = v*p - 16. Is -3/7 not equal to p?
True
Let z be ((-5)/15)/(1/3). Let x be 130/(-570) - 1/(-3). Which is greater: x or z?
x
Suppose -172 = 3*w - 2*f, -5*w - 205 = 3*f + 50. Let s = 325/6 + w. Do 1/3 and s have the same value?
False
Let c(x) = -x**2 - 7*x + 6. Let a be c(-7). Let z be (1 - -2) + 2/1. Which is smaller: a or z?
z
Let a = 55.2 - 55. Does 0.17 = a?
False
Let c = -24 + 55. Is c bigger than 30?
True
Let i be (-306)/(-10) + 18/45. Let j be (-4)/8 - i/(-54). Is j greater than 1?
False
Let v = 835/7 - 119. Which is bigger: v or 1?
1
Let q be (-4)/((462/36)/(-7)). Is q bigger than 2?
True
Let n be 1/2 + -1 - 0. Let j(y) = 2*y + 7. Let s be j(-4). Which is bigger: s or n?
n
Suppose -182 = 5*j + 3*z - 67, -3*z - 55 = 2*j. Let i be (-30)/j*(-2)/(-3). Is i at least -3?
True
Suppose 0*y - 2*y + 32 = 0. Suppose 0*d + 4*d + y = 0. Let s be d*-2*(-2)/(-8). Which is bigger: 3/4 or s?
s
Let i = 4 - 3. Let x be (i - 3)/2*0. Is -3 smaller than x?
True
Suppose w = -18 + 17. Which is greater: -2 or w?
w
Let h(c) = -4*c + 11. Let v be h(11). Let d be ((-111)/40)/(v/2). Let q = d - 3/44. Which is smaller: q or -1?
-1
Let j = -17 + 13. Is -0.1 < j?
False
Suppose -3*a + 0*d = -5*d - 18, -2*a - 7 = 3*d. Let t be (10 - a)*(-19)/57. Is t less than -3/2?
True
Let o(t) = t**3 + 3*t**2 + 2*t + 1. Let r be o(-2). Let x(g) = 2*g**2 - g + 1. Let u be x(r). Suppose -4*q = -2*q - u. Do 1 and q have different values?
False
Let f = 12 + -12. Let z = 42 + -36.4. Let i = -6 + z. Which is smaller: f or i?
i
Let u be (-40)/168 + (-4)/(-14). Do 1 and u have the same value?
False
Suppose -5*g + 298 + 132 = 0. Which is bigger: g or 87?
87
Let z be (4/(-56)*8)/(-2). Suppose 5*n = -0 + 5. Is n greater than or equal to z?
True
Let m(p) be the second derivative of -p**4/12 + p**3 - 2*p**2 - p. Suppose 2 - 26 = -4*u. Let j be m(u). Which is greater: j or -5?
j
Suppose 0 = -n + 3. Let s be (-12)/(-10) - n/5. Suppose 4*g = u - 0*u + 4, 4*u - 4*g = -4. Is s < u?
False
Let f be ((-6)/(-5))/(3/15). Suppose 2*d = f - 4. Let z be (-6)/3 - d - 1. Which is bigger: z or -3?
-3
Let w = 1019/5 + -205. Which is smaller: -2 or w?
-2
Let z(o) = -o + 7. Let x be z(5). Let j(a) = -4*a + 32. Let p be j(8). Is x g