b. Is -2 greater than r?
False
Suppose -9*h + 6*h = -2*x + 11, 2*x = -2*h - 14. Let r be 1/2*(3 + 3). Is r > x?
True
Suppose 59 + 11 = 2*k. Let z = k + -22. Are z and 12 non-equal?
True
Let a = -2.1 - 0.9. Which is bigger: 1/2 or a?
1/2
Let x be 4 + -1 + 387/(-135). Is -1 bigger than x?
False
Let g be (-6)/(-12)*8/(-2). Which is smaller: -3/4 or g?
g
Suppose -5*z - 17 = d, -4*d + 4 = -7*z + 3*z. Which is greater: z or 4?
4
Let v = 1 + 0. Let s be (v - 4)/3*0. Suppose 0 = k - s - 2. Which is greater: k or 3?
3
Let q = 133 + -1198/9. Which is greater: 1 or q?
1
Suppose 0 = 2*j - 1 - 3. Let w(k) = k**3 + j*k + 7 + 10*k**2 + 5*k + 3*k. Let r be w(-9). Which is greater: r or -4/5?
-4/5
Let v be -1 + -1*(1 - (-135)/(-66)). Which is smaller: v or 0?
0
Let k(v) = v**2 + 6*v + 6. Let i(l) = 2 - 1 + 3 + 3*l. Let n be i(-3). Let t be k(n). Which is bigger: -2/13 or t?
t
Let l = 11 + -10. Which is greater: -3/7 or l?
l
Let c be -25*(-3)/((-15)/(-2)). Suppose c*x - 5*x = 0. Suppose 3*z + 15 = x, -4*f - 4*z - 22 + 2 = 0. Is -1/4 > f?
False
Let t = 13 - 12. Let h = t + -0.9. Which is smaller: 0.6 or h?
h
Let v be (-2)/3 - (-4)/(-12). Let u be 4*-2 + 4 - v. Is -3 < u?
False
Let l = -21 - -20.5. Do -2/7 and l have the same value?
False
Let b(z) = -5*z - 46. Let h be b(-8). Is h > 13?
False
Let f = -922/7 - -4743/35. Is -2 greater than f?
False
Suppose 5*j = 3 + 7. Suppose t = -j*t - 3. Which is smaller: t or -1/5?
t
Suppose 3*q + 36 = -0*q. Let u be 6/(3/q*3). Let i be 6/u*(-8)/(-84). Which is bigger: -1 or i?
i
Let n = -19 - 0. Let y = 59/3 + n. Which is bigger: 2 or y?
2
Suppose -1 = -0*n - n. Let s be ((-3)/(-6))/(5/2). Which is bigger: s or n?
n
Let o = -40.54 + 41. Let t = -0.06 + o. Let r = -169/3 + 57. Is t > r?
False
Let x = 52 + -52. Is 1/11 less than x?
False
Suppose 0 = -5*f + 2*f + 6. Let s(n) be the third derivative of -n**6/120 - n**5/20 + n**4/6 + n**3/6 - n**2. Let p be s(-4). Are f and p non-equal?
True
Let u be 6/(-57) - 37/551. Which is smaller: u or -1?
-1
Let d(k) = 2*k. Let b be d(3). Let m be (-3)/(-2)*(-2)/b. Let v = 0.2 + -0.1. Which is smaller: v or m?
m
Let x = -53944/7 - -269063/35. Let m = -91/5 - x. Let u(r) = r + 6. Let a be u(-5). Which is greater: m or a?
a
Let h be 1*5/(-35)*-11. Which is smaller: -1 or h?
-1
Let w be 0*(2 + (-6)/4). Suppose 4 = -4*u + 12. Let k be u/(-1) - 36/(-14). Which is greater: w or k?
k
Let t be (-1 + 9)*(-5)/(-10). Suppose -2*l + 5*l + 5*v + 23 = 0, -t*l = 2*v + 40. Is l != -10?
True
Let h = -1 - -17. Let i = h - 16.2. Which is smaller: -2 or i?
-2
Suppose 18 = 3*q - 0*q + 4*j, -4*j = -q - 10. Suppose r + h - 4 = 0, 3*h = -4*r + q*r + 9. Let m be (-4)/r*(-3)/2. Which is smaller: m or 3?
m
Suppose -t + 4*t - 27 = 0. Let y = 3 - t. Which is greater: -7 or y?
y
Suppose -2*v + 7 + 1 = 0. Suppose v*x = x. Which is smaller: 1/6 or x?
x
Let q = 5 + -8. Let r = -4 - q. Suppose -18*k + 13*k = 25. Which is smaller: r or k?
k
Let u(m) = -m**2 + 6*m + 17. Let r be u(8). Is r greater than or equal to 10?
False
Let w be (-414)/(-40) + (-1)/(-16)*4. Which is smaller: 12 or w?
w
Let p = 23 + -164/7. Let a = p - -2/21. Is a less than 2/7?
True
Let n(y) = -y + 4. Let j be n(5). Let r = j + 11/9. Let c = -0.1 - -0.1. Which is smaller: r or c?
c
Let l be (-1 + -5)/((-3)/(-2)). Let m(t) = t**3 + 4*t**2 - t - 3. Let p be m(l). Which is greater: p or 2?
2
Suppose 0 = -4*x + x + 6. Suppose -x*v + v = 7. Let b = -6 - v. Which is smaller: b or -1/6?
-1/6
Let n(q) = 3*q - 5. Let y be n(2). Is y > -2?
True
Let g = 5 + -5. Suppose -28 = 3*h + 2*f, g*h - h = -f + 16. Let x be ((-1)/(-8))/(2/h). Is x smaller than -1?
False
Let o = 8 - 9. Which is greater: -33 or o?
o
Let w(m) = -m**3 - 9*m**2 - 8*m - 1. Let c be w(-8). Let p be 2*c/(-4)*-4. Let v be ((-2)/(-2))/(p/(-4)). Which is smaller: 1 or v?
1
Suppose -5 = -3*c + 4. Let w be (-2)/(-6) + (-19)/c. Let i be 2 + 3/w - 0. Which is smaller: 1 or i?
1
Let j(g) = -40*g + 7. Let p be j(2). Is -72 equal to p?
False
Let c(o) = o**2 + 5*o + 5. Let b be c(-3). Let n(v) = 2*v. Let m be n(-1). Which is smaller: b or m?
m
Let x = -2/1047 + -3133/4188. Let j = -527/5 + 105. Which is greater: x or j?
j
Suppose -4*u + 12 = -5*s, 0*u - 2*u = 5*s - 6. Suppose s*h + h = c - 9, 2*c - 25 = -5*h. Let g be c/(-6) - 2/(-3). Which is smaller: 1 or g?
g
Let s = 90 - 174. Is s less than 0?
True
Let c(n) = -n - 5. Let f be c(-6). Suppose 6*y = y. Are y and f unequal?
True
Let i be (1 - 1/1) + 0. Let j(o) = -2 - o - 4*o + 2*o + 4*o. Let g be j(i). Is -3 at least as big as g?
False
Suppose 4*m + 11 = -9. Let g = -7 - m. Let v be g/3 - (-10)/(-12). Which is greater: -1 or v?
-1
Let y be 1/((2/2)/(-1)). Suppose 161*s = 157*s - 12. Is s >= y?
False
Let i = -110 + 116.8. Which is bigger: 2/5 or i?
i
Let q(i) = i**3 - 3*i**2 + 2*i - 3. Let d be q(3). Suppose -4*s - x - 9 - 31 = 0, d*x + 39 = -3*s. Which is smaller: s or -8?
s
Let q be (-4)/10*((-15)/(-24))/5. Is 1 smaller than q?
False
Suppose x + 5 = -w, 5*x + 4*w + 8 + 12 = 0. Which is greater: -20/9 or x?
x
Let q = 2 - 1.9. Let n = 13 + -19. Let f be 8/12 + 2/n. Is q less than f?
True
Let j(u) = -u**3 - 3*u**2 + 2*u + 4. Let k be j(-3). Is 6/7 at least as big as k?
True
Let q(l) = -l**3 + 2*l**2 - l. Let b be q(2). Suppose 0 = -d + 5, -4*v - 6 = d + d. Which is smaller: v or b?
v
Let q be (-3)/(21/(-16)) + -2. Let p(o) = 2*o. Let f be p(-2). Which is smaller: q or f?
f
Suppose -p + 5*p = 3*f - 1, 0 = -4*p + 2*f + 2. Is 3 greater than p?
True
Let v be (20/(-6) - -2)*(-12)/(-40). Is v > -0.6?
True
Let g = 66.3 + -66. Which is smaller: g or -3/14?
-3/14
Suppose -2*v = 3*v. Suppose 5*m = -5, -3*i - m + 4*m = v. Which is smaller: i or 3/10?
i
Suppose 0 = -2*a - r - 2, -7*r + 10 = -2*r. Let c be 2*1*a/(-16). Does c = 0.02?
False
Let q(i) = i**3 + 4*i**2 - 5*i + 6. Let n be q(-5). Let f be 20/42 - 2/n. Let t(l) = -l - 4. Let v be t(-5). Which is greater: f or v?
v
Suppose -4*g = -2*g + 6. Let r be (5/(-2))/1 - g. Let c = 2 - 1.9. Is r at most as big as c?
False
Let x be 183/(-21) + 4/(-14). Let r be (6/x)/(4/6). Is r at least 2/9?
False
Let h be -9*((-24)/(-9) - 2). Let s(a) = -a - 2. Let z be s(h). Are z and 3 non-equal?
True
Let u(h) = h - 5. Let r be u(8). Suppose r = j - 1. Which is smaller: j or 3?
3
Let k(a) = -a**2 + 4*a - 1. Let g(w) = w**3 + 5*w**2 - 8*w - 9. Let x be g(-6). Let c be k(x). Suppose -c*q + 6 = -2. Are 3 and q nonequal?
True
Let j(i) = -2 - i + 2*i + i**2 + 3 + 2*i. Suppose 0*p + 6 = -2*p. Let c be j(p). Is c >= -2?
True
Let r be (-50)/(-18) + (-4)/(-18). Suppose r*v - 3 = -0*v. Which is smaller: -2/19 or v?
-2/19
Suppose 5*x - 3*g = -6 - 6, 20 = 4*x + 5*g. Let q = 13 - 12. Let i be 0*2/(-3 + q). Is i less than x?
False
Let m = 3 - 2. Let v = m + -1. Let x be (0/(-2))/(-8 - (-4 - 5)). Is v <= x?
True
Let f be (0 + (-4)/(-1))*(-15)/20. Is f >= -13/6?
False
Let p = -1 + 1.4. Let o = p + -3.4. Do 0 and o have different values?
True
Suppose -2*z - 3*z + 15 = 0. Suppose 0 = -z*k - 15 + 3. Suppose 2*w = -1 - 5. Is w at least k?
True
Let o(k) be the second derivative of -1/6*k**3 - 5/2*k**2 + 0 - k. Let n be o(-5). Is -2 >= n?
False
Let k = 5 + -3. Suppose -24 = -k*u - 2*u. Let c be ((-8)/u)/(6/(-9)). Which is greater: 1/2 or c?
c
Suppose -2*z - 15 = 5. Let u = 6 + z. Is -5 at most u?
True
Let c = -153/7 - -22. Is -1 at most c?
True
Let f = 9 - 9. Let d be 3/(9/15) + f. Suppose r - d*w + 21 = 3*r, 0 = -4*r - 2*w + 18. Are 4 and r non-equal?
True
Let a be (-381)/9 - 6/(-18). Let z be (-16)/a - (-2)/7. Is z greater than or equal to 1?
False
Let a be (-12)/(-14) - 4/14. Let j be 0*(15/(-6) - -2). Do j and a have the same value?
False
Let d be -2 + 3/(-5) + 3. Let n = 8 + -5. Suppose -1 + 0 = -s - n*a, -2*a + 2 = 2*s. Which is smaller: d or s?
d
Let d be ((6/(-15))/(-2))/1. Suppose 2 = -2*v - 6. Let p be (2/3)/(v/(-6)). Do p and d have different values?
True
Let j be (-15)/4 - (-1)/(-4). Let n = j - -4. Which is bigger: n or 1?
1
Let k = 1.4 - 11.4. Let w = 9 + k. Let y = -7 - -6.7. Is w smaller than y?
True
Let o(m) = m**3 - 5*m**2 - 1. Let h be o(5). Let c be (1 - -39) + 8/4. Let j be 4/15*(-35)/c. Which is smaller: j or h?
h
Suppose -2*t = -4*b - 0*t - 10, -4*b - t - 25 = 0. Let s be (-10 + 0)/(3 + b). Is 5 > s?
False
Let k be (90/325)/((-3)/(-10))