?
-3
Let n = -13.5 + 13.4. Which is bigger: -67 or n?
n
Let k = -10 - 3. Is -12 less than k?
False
Suppose 4*w + 10 = -p, 4*p - 36 = 4*w - w. Which is greater: 0 or p?
p
Let a = -6 + 8. Let o = a + -5. Let r = -4 - o. Is 0.4 smaller than r?
False
Let a = -78 - -69. Which is smaller: a or 0.07?
a
Let w(v) = -5*v - 24. Let j be w(-5). Which is smaller: 4/9 or j?
4/9
Let v be (-4)/18 - (-1 + (-100)/(-36)). Which is greater: -1/2 or v?
-1/2
Suppose 0 = 5*u + 40 - 0. Let z = u - -7. Let b be (z + 0)*-3 - 2. Which is smaller: b or 0?
0
Let y be (-2)/1 - -93*(-56)/(-2625). Is 1 <= y?
False
Let d be 85/15 + (-20)/12. Let r be 10/(-3)*(-3)/2. Are r and d equal?
False
Suppose 9 = 3*h - 0. Let y = 13 + -8. Which is greater: h or y?
y
Suppose 0 = h + 14 - 5. Is -9 at least h?
True
Let m(p) = p**2 + p + 1. Let j(u) = -7*u**2 + 10*u + 8. Let z(d) = -j(d) - 6*m(d). Let o be z(17). Let y = 14 - 10. Do y and o have the same value?
False
Let m(v) = -v**3 + 6*v**2 + 5*v + 7. Let x be m(7). Let c be (-12)/x - (-16)/56. Let g = -13 + 16. Do c and g have different values?
True
Let r be (1 - 4) + -1 + 2. Let x be (3 - 0)/((-6)/(-4)). Suppose -x*z + 3 = -5*z. Which is smaller: r or z?
r
Let o = 0.32 - -1.58. Let w = -0.1 - o. Which is smaller: w or 0?
w
Let a = 4 - 4. Suppose a = -c - 3*c. Which is smaller: c or 1/2?
c
Suppose 0 = 2*b + r - 1 - 5, 2*b - 18 = 5*r. Suppose b*f - 1 = 11. Let n = f + -3. Is n >= 1?
False
Suppose 0 = -0*x - 2*x + 6. Suppose -2*n - x*o + 19 = 0, -5*n + 0*o = 2*o - 20. Is n <= 4/7?
False
Let y(b) = -3*b + 41. Let l(j) = -j + 14. Let a(q) = -17*l(q) + 6*y(q). Let m be a(8). Let x be (-1)/2 + 3/6. Is m less than x?
False
Let u(w) = -w**3 + 2*w**2 + 2*w + 1. Let z be u(2). Let r(p) = p**2 - 5*p + 3. Let d be r(z). Which is smaller: 2 or d?
2
Suppose 0 = -5*c + k + 2, 2*c + 2*k = -0*k - 4. Let r(f) = f**3 + 6*f**2 - 8*f - 4. Suppose -2*s = 3*j + 10 - 5, -4*s - 3*j - 19 = 0. Let w be r(s). Is w >= c?
True
Let j = -2.5 - -1. Let k = j - -1.2. Which is smaller: -2/7 or k?
k
Let u(a) = a**2 - 2*a - 8. Let x be u(0). Is -6 bigger than x?
True
Let m(o) = -o**2 + 11*o - 31. Let w be m(13). Is w < -57?
False
Let a = -0.1 + 8.1. Let i = a - 7. Let g = -15 - -13. Which is bigger: g or i?
i
Let m be 35/14 - (2 + 2/(-4)). Is m greater than 2/33?
True
Suppose -4 = -4*w + 4. Which is smaller: w or 3?
w
Suppose -2*a + 7 = 3*s, s + 3*a - 9 = 5. Which is bigger: 6 or s?
6
Let f = -0.8 - -0.8. Which is smaller: f or 0.12?
f
Let o be ((-8)/(-2))/((-40)/12). Is -2 <= o?
True
Let a = -0.1 - 3.9. Let n = a + 1. Which is bigger: -0.1 or n?
-0.1
Let u be 4*(13/(-3) + 4). Let q(p) = 7*p - 2. Let w(l) = -13*l + 5. Let c(f) = 11*q(f) + 6*w(f). Let a be c(8). Is u > a?
False
Let v = -0.14 + 6.14. Let x = -5 + v. Are x and 1 nonequal?
False
Let j = -9 - -9. Let d be (-2 - j - -3) + -2. Is d >= 1/14?
False
Suppose -3*l = 6, -x + 4*l + 6 = l. Is 3 greater than x?
True
Suppose -2*y + 3*b + 33 = -9, 3*y = -5*b + 44. Let m be y/20*1/(-3). Let q be -4 + -1 + 3 + 3. Which is smaller: m or q?
m
Suppose -4*b + 28 = 3*i, 3*i - 4*b + 3*b = 8. Suppose 4 = 3*r - 2*g - 1, -3*g = -i*r + 7. Which is bigger: 2/21 or r?
r
Let p(q) = 17*q**2. Let l be p(-1). Is l smaller than 16?
False
Let j = -7 - 4. Let s = j + 25. Let q = s + -9. Are 0 and q equal?
False
Let v = -0.018 + 0.078. Is -0.1 >= v?
False
Let s be 1 - -14 - (-1)/5*0. Which is smaller: s or 16?
s
Suppose 2*d - 2*p - 30 = 2*p, 0 = -3*d + 2*p + 25. Let f(u) = -u**2 + 3*u + 7. Let a be f(d). Let n be (-1 + a)/(-2 - 0). Which is smaller: 1 or n?
1
Let k = 31903336 + -113416354513/3555. Let w = k - -2/711. Let i = w + -8/5. Is -1/3 >= i?
False
Let s be (-6)/15 + 116/(-10). Let j be s/(-9)*(-3)/(-2). Suppose -4*f + 16 = -j*z, z - f = -0 - 4. Is -1/4 at most z?
True
Let x = 7.7 + -1.7. Let o = 83 + -89.1. Let q = o + x. Which is smaller: 2 or q?
q
Suppose -5*s - 4*m + 14 = -0*m, m - 5 = -2*s. Let d = -4 + 0. Let p be (d/15)/((-6)/30). Which is smaller: p or s?
p
Let r = -23 + 28. Suppose r = -2*f + 3. Let g be -1 - 1*-1 - 0. Is g less than f?
False
Let i be (-18)/(-4) - 3/2. Suppose 4*o = 3*x - 10, 2*o + 2*x + 1 = i. Which is smaller: 0 or o?
o
Let c(s) = -s**2 - 5 + 2 - 4*s + 1. Let i be c(-4). Suppose 0 = -4*v - 2 - 6. Is v >= i?
True
Let l be 1 + (-3 - -2) + -1. Which is smaller: 6 or l?
l
Let a(h) be the first derivative of -h**4/4 - 5*h**3/3 - 2*h**2 - h + 1. Suppose -2*w - 20 = 3*w. Let n be a(w). Which is smaller: 0 or n?
n
Let s be 2/(-6) - (-10)/(-6). Let q(p) = -p + 1. Let u(l) = -4*l + 6. Let c(k) = -5*q(k) + u(k). Let m be c(-2). Are s and m nonequal?
True
Suppose -2*k + 2*x = -0*k + 4, 17 = 5*k + 4*x. Let t be 1/((-1)/k) - -4. Suppose 8 = m - t*m. Which is greater: m or -1?
-1
Let v = 0.1 - 0. Let f = -31 + 30.9. Let t = f + v. Which is bigger: -2 or t?
t
Suppose -3*g + x = -7, 0 = 3*g - g + 4*x - 28. Suppose -a = 13 - g. Let w be 3 - a/(-3) - 2. Is -2 at most as big as w?
True
Suppose -15*p + 20*p = 55. Which is smaller: 14 or p?
p
Let z be (6/(-9))/((-1)/3). Is 2 at least as big as z?
True
Let p(c) = -c**3 - 6*c**2 + 6*c - 5. Let b be p(-7). Suppose 0 = 2*v + b. Let f = 182/5 + -37. Which is smaller: f or v?
v
Let l = 8585/27 - 318. Is 1 at least as big as l?
True
Let z(d) = d**2 + 3*d + 6. Let i be z(-4). Suppose 3*u - 6 = 4*j, 5*u + 3*j + i + 9 = 0. Let p be (-4)/(-14) - (-8)/(-7). Is u > p?
False
Let t(n) = 8*n - 4. Let g be t(2). Is 13 at least as big as g?
True
Let k(i) = -i**3 + 3*i**2 + 14*i - 19. Let o be k(5). Is -3/76 < o?
True
Let l = -11 + 0. Do l and -11 have different values?
False
Let z(m) be the second derivative of m**4/12 + 5*m**3/6 - 7*m**2/2 - 3*m. Let c be z(-6). Is -1 at least c?
True
Let r = -41 - -285/7. Which is smaller: -12 or r?
-12
Let c = 75 + -74. Is -1/43 at least c?
False
Suppose 0 = 2*l + 1 - 9. Let u = l - 4. Are u and 2 nonequal?
True
Let m = -13 + 3. Let b(j) = -10*j**2 - 2*j + 1. Let q be b(1). Let l = q - m. Is -1.1 equal to l?
False
Suppose -3*w - w = 0. Let k(t) = t**2 + 6*t + 7. Let v be k(-5). Let b be 1/v - 6/28. Which is bigger: b or w?
b
Suppose 5*w + 4 + 21 = 0. Which is bigger: -7 or w?
w
Let d(r) = 2*r + 5. Let i(c) = -c - 2. Let o(t) = 6*d(t) + 13*i(t). Let b be o(4). Is 7/6 at least b?
True
Let h(r) = r**2 + r - 2. Let m be h(-2). Let b = -26/3 + 9. Is b < m?
False
Let j = 16 - 8. Let f = 7 - j. Is f less than -1/10?
True
Let x(a) = a**3 + 5*a**2 + 5*a + 5. Let b be x(-4). Let r = 19 + -19.1. Which is greater: b or r?
b
Let d = 5.9 - 0.9. Let u = 6 - d. Is u < -2/11?
False
Suppose -h + 5 = 1. Let z be ((-3)/92)/(h/16). Is z at least -1?
True
Suppose -2*u - 25 = -u - 5*l, -25 = 4*u - 5*l. Which is smaller: u or 3/181?
u
Let m be (9 - 6)/(1 + -2). Which is bigger: -1 or m?
-1
Let d be (2 + -5 - -3)/2. Let g be (-190914)/248 + (-1)/4. Let m = 770 + g. Which is bigger: m or d?
d
Let q(m) = -m**3 + 3*m**2 - 4. Let l be q(4). Let u be 4/(-15) - (-8)/l. Which is greater: 1 or u?
1
Let w = -26 + 27.3. Is w < 1?
False
Let r(g) = -g**3 - g**2 + g - 10. Let f be r(0). Let c be ((-1047)/6)/(f/4). Let q = -70 + c. Which is greater: 1 or q?
1
Let s = -4 - -29/8. Suppose 5*a - 6 = -2*v + 6, 5*a - 5*v = 5. Suppose -3*b = -0*k + 2*k + 2, a*k + 2 = 5*b. Which is greater: k or s?
s
Let b be ((-4)/10)/((-22)/10). Let j = -4 - -4. Suppose j = -6*y + y. Which is smaller: y or b?
y
Let n = 65 - 65.41. Which is smaller: n or 1/4?
n
Suppose -i - 65 = 3*u, -u = -3*i + 4 + 11. Which is greater: -20 or u?
-20
Let p(a) = -a**3 + 18*a**2 - 17*a + 1. Let n be p(17). Which is smaller: n or -0.24?
-0.24
Let b(s) = s**3 - 2*s**2 - s - 3. Let x be b(3). Suppose x*i = -i. Which is greater: i or 1/3?
1/3
Let x(s) = s**3 + 4*s**2 - 3*s + 6. Let f be x(-5). Let r be 2/(-5) + f/(-10). Is r at least -1/10?
True
Let l = 2 - 4. Suppose 0 = 2*a - 4*a - 2. Which is greater: l or a?
a
Let n = 13.4 + -16.4. Which is bigger: n or 2/17?
2/17
Let r(f) = f**2 - 7*f - 3. Let t be r(6). Which is smaller: -10 or t?
-10
Let i = -18 + 18.3. Which is smaller: -4 or i?
-4
Suppose -v + 5 = 5*i + v, -16 = 3*i + 5*v. Let f(o) = -3*o + 3. Let m be f(0). Suppose 0 = m*b + 2*t - 5, 0 = -3*b + i*t - 2*t + 2. Are b and 2 non-equal?
True
Let w(j) = -j**2 - 5*j - 1. Let t(x) = x**2 - 8*x + 2. Let y be t(7). Let q be w(y). Is q not equa