?
o
Suppose -2*g + 85 = -7*g. Which is smaller: -9 or g?
g
Let v = -0.23 - -0.14. Let r = v + 0.59. Let m = r - -0.5. Which is smaller: m or -1?
-1
Let a = 8 + -5. Is a <= 6?
True
Let m(f) = -f**3 + 4*f**2 - 4*f + 4. Let c be m(3). Do c and 12 have the same value?
False
Suppose -5*b - 50 = 5*s, 0 = b + 4*s - 2*s + 14. Let y be 0 - b/(6/3). Is y at least 1?
True
Let w = 38 - 46. Is -11 at most as big as w?
True
Let b(g) = -8*g - 3 - 8*g**2 + g**3 - 2 + 0*g**3. Let k be b(9). Suppose 0 = -k*l + l - 3. Which is smaller: 1/8 or l?
l
Suppose 5*q - n - 11 = 4, 26 = 3*q - 4*n. Suppose -q*r - 26 = -4*m, -22 = -4*m + 2*m + 4*r. Let d = -9 + m. Is d != -3?
True
Let i be 4/14 + (-576)/2310. Is 1 smaller than i?
False
Let o = -25 + 16. Let t(r) = 4*r. Let b be t(-2). Which is smaller: b or o?
o
Suppose -15 = 3*g, 0 = x + 3*x - 4*g - 32. Let l = 0 + -1. Let q = x - l. Is q >= 3?
True
Let p be (-2)/(-4) - 46/(-4). Let q be 1/((-9)/p - -1). Let k be 4/(-8)*q/6. Are -1 and k unequal?
True
Suppose 3*a + 19 = 2*l, -l + 5*l + 3*a = -7. Let v(m) = -m**3 + m**2 + m - 1. Let j be v(0). Let x = l - j. Is x bigger than 3?
False
Let z be (-15)/(-20) - (-374)/(-8). Is z at least -46?
True
Suppose -2*k = -5*k - 12. Let b be (-24)/2*k/8. Is b < 6?
False
Let o = -2 + 7. Suppose o = -j - 2*m + 15, -2*j + 18 = 3*m. Which is bigger: j or 5?
j
Suppose -5*v - 1 = -11. Suppose y = v*y - 1. Do y and -1/3 have the same value?
False
Let q(n) = -n**3 - n**2 + n - 2. Let w(c) = c - 6. Let p be w(4). Let s be q(p). Is s > -1?
True
Let s = 48 + -47.9. Let h be 6/(-4)*12/9. Let a(y) = -y**2 + y + 2. Let p be a(h). Which is smaller: p or s?
p
Let c(h) = -h**3 + 5*h**2 + 6*h + 3. Let z be c(6). Suppose -v - 20 = 5*k + 4*v, z*k = 4*v + 16. Which is greater: -0.1 or k?
k
Let l = 8 - 7.7. Let v = -0.2 + l. Is 0 equal to v?
False
Let i = 0.95 + -1. Let r = i - 0.05. Let l = -33 + 67/2. Which is smaller: l or r?
r
Let s = 1 - -3. Let y be (2/(-14))/((-2)/s). Let k = -0.2 + 0.1. Which is smaller: y or k?
k
Let h be 3 + (-21)/(-27) + -1. Let m = 22/9 - h. Is -1 > m?
False
Let x be ((-4)/2)/(8/28). Let p be (x/21)/((-4)/(-18)). Which is smaller: p or -1?
p
Let s = 18 + -19. Let p = -14 - -10. Is s bigger than p?
True
Let c be (-8)/(-36) - (-836)/18. Let w = c + -47. Let t be -1 + 0*2/(-2). Is t < w?
True
Let r = 78 + -161/2. Do r and -3 have different values?
True
Let f = 1 + -1. Suppose -j + 2*j + 3 = f. Which is bigger: -3/2 or j?
-3/2
Let r be (-3)/(-5)*(-15)/(-21). Is -1 <= r?
True
Let t(s) = -s**2 - 4*s - 3. Let f be (1 - 2 - 0) + 3. Let u be (2 - f) + 8/(-2). Let a be t(u). Which is greater: -4 or a?
a
Let q = -1.8 + 7. Let b = q + -5. Let n = 0.3 - b. Is n > -3?
True
Let l = 2 + -1. Let q = -39.88 - -41. Let i = -0.12 + q. Does l = i?
True
Suppose -3*q = -5 + 2. Let n = 7 + -5. Suppose -n*x - 1 = m + 4, -x - 3*m = 15. Which is greater: q or x?
q
Let g = -61 - -61.2. Let m = 0.1 + -0.1. Let a = g + m. Is a at most 2?
True
Suppose -o = 4, 5*b - 5*o = -0*o + 25. Let g be (4/(-12))/((-16)/(-6)). Does g = b?
False
Let y(n) = n**3 + 15*n**2 + 23*n - 16. Let h be y(-13). Is 0 equal to h?
False
Let c = 11 + -5. Which is smaller: c or 7?
c
Let s(h) = 3*h - 1. Let o be s(1). Let m be (-4)/8 - o/4. Which is smaller: 1/12 or m?
m
Let o = 3 - 7. Which is greater: o or -2?
-2
Let o = 85 - 86. Which is smaller: 0.17 or o?
o
Let z = -19 - -46. Let u = 27.04 - z. Are u and 0.1 non-equal?
True
Let z = -0.5 - -0.4. Let s = -0.9 + z. Which is greater: -4 or s?
s
Let t = -0.0181 - 0.0819. Let v = -0.1 + 0.1. Is v > t?
True
Let v(l) = -3*l**2 + 3*l + 3. Let j(m) = m**2. Let n(p) = 2*j(p) + v(p). Let o be n(4). Is o < 0?
True
Let i = 46 + -43. Let m(l) = l**3 + 1. Let h(s) = s**2 + s. Let q(u) = -2*h(u) - m(u). Let j be q(-2). Is j bigger than i?
False
Let k(r) = -8*r - 33. Let j be k(-4). Suppose -x = -2*x - 2. Which is smaller: j or x?
x
Let u be (2 - (2 - -1)) + 0. Is u greater than 2/15?
False
Let r be 3/4 - (-4)/16. Let y be 1 - r - 6/(-10). Is y equal to 2?
False
Let l = -2 - -6. Suppose -l*j - 5 + 25 = 0. Which is smaller: 4 or j?
4
Let o = 15 - 16. Are -2/3 and o unequal?
True
Let f = -3/728 - 42215/2184. Let k = -56/3 - f. Let m = -1 - -2. Which is bigger: m or k?
m
Let i be 3 + (6/(-1))/(-3). Let y = i + -14. Which is smaller: -10 or y?
-10
Suppose -4*t - 3 = -t. Let b be 2/6 + 17/(-33). Is t greater than or equal to b?
False
Suppose -15 - 1 = -16*i. Is i > 2/305?
True
Let m = -35 + 35. Which is smaller: m or 1.1?
m
Let p = 12 - 11. Suppose o - 17 = h + 1, -o = 2*h - 9. Let f = o + -47/3. Is f bigger than p?
False
Let o = 17 + -19. Let n be (0/(-1))/(1*-1). Let m = o + n. Are m and -2 unequal?
False
Let n = -8.82 + 9. Let c = -0.08 + n. Let j = 0.1 - 0.2. Which is greater: c or j?
c
Let n = -2 - -7. Suppose -5*v - n*w = 25, 4*v - 3*w = -2*w - 15. Let i = -7 - v. Which is smaller: i or -2?
i
Let m be (2/(-2))/(9/36). Let x = -1.9 + 2. Let w = 0.2 - x. Which is greater: m or w?
w
Let f(z) = z**2 + 4*z + 3. Let r be f(-4). Is 3 at most as big as r?
True
Let o be (-14)/(-63) + (-25)/(-9). Are 2 and o nonequal?
True
Let u be (-2)/(-9) - 160/(-9). Is 19 less than u?
False
Let g(v) = -4*v - 14. Let j(f) = 2*f + 7. Let o(k) = -2*g(k) - 5*j(k). Suppose -9*s + 3*s = 30. Let h be o(s). Which is smaller: 1 or h?
1
Let q = -12/7 + 17/14. Which is smaller: 8 or q?
q
Let z = 1.1 + -1. Let l = 3.03 - 2.53. Is l < z?
False
Suppose -4 = w - 5. Which is greater: 2 or w?
2
Let d = 52 - 29. Let j be 6/(-10) + d/5. Let g(a) = -2*a - 3. Let m be g(-3). Is m <= j?
True
Let y(u) = -3*u**2 - u**3 - 7*u + 14 + 10*u**2 + 2*u**3 - 3. Let o be y(-8). Is 3 at most as big as o?
True
Let u = -45 - -317/7. Is u greater than -2/11?
True
Suppose -2*a + a - 2 = 0. Which is smaller: a or -6/11?
a
Suppose -m - 2*m = 3*m. Is m smaller than -1?
False
Let o = -0.02 + -0.07. Let a = 1.9 + -2. Which is bigger: o or a?
o
Let a = -62 - -43. Is a smaller than -18?
True
Let v be (1 - 0)/(-1) + -2. Let s be -12 + (v - -1) - -1. Which is greater: -14 or s?
s
Let f = 7 + -7.1. Let n = 0 - f. Which is bigger: n or -2?
n
Let o = -6 + 9. Suppose o*t - 17 = 4*h - 5*h, h = -4*t + 24. Is t < 7?
False
Let p = -3.06 - -0.06. Let h = p - -3. Let c = h - -0.3. Is -1 at least as big as c?
False
Let y be 2650/(-20)*(-2)/(-1). Let z = y + 1329/5. Does z = 0?
False
Suppose 10*y - 36 = y. Suppose -4*s + 0 + 4 = 0. Suppose -s = -i - y. Do -2 and i have the same value?
False
Suppose -4*s - s + 83 = 4*x, 0 = -3*x + 6. Suppose 5*r - 8*r + 48 = 0. Which is smaller: s or r?
s
Suppose 3*z + 3*i = -12, 3*i + 1 = 2*z + 2*i. Suppose -5*d + 22 = 5*t - 3, -4*t - d = -5. Suppose -c + 2*c = t. Is z equal to c?
False
Let x be (6/(-9))/((-14)/(-6)). Is 1 < x?
False
Let h(x) = -x**3 + 8*x**2 - 9*x + 7. Let w(u) = 6*u**2 + u. Let j be w(1). Let q be h(j). Are -5 and q non-equal?
True
Let a be (-3)/9*(-3 + 6). Let t be 8/(-12) - (-1 - a). Which is bigger: 0.3 or t?
0.3
Suppose -7*a + 2*a = -10. Suppose -4 = -a*p + 4, 4*p = -5*m + 26. Let k = 4 - m. Is 3 > k?
True
Let v = 1/30 + 23/210. Suppose -j + 4 = 3. Which is smaller: v or j?
v
Let s = 2 + -12. Let x be (-1)/(4/s + -1). Is 2 at least x?
True
Suppose 2*h + 2*h = 12. Let f(y) = -y - 5. Let a be f(-7). Suppose -a*w + h*w = 0. Which is greater: -2/7 or w?
w
Let g(z) = 2*z + 6. Let v be g(-4). Let t be 10/(-18) + v/(-6). Let k = -42 - -42. Which is smaller: k or t?
t
Let b be -2*3/(-2) - 95/38. Is b < -9?
False
Let p = -1.15 - -12.15. Which is bigger: p or 2?
p
Let i(d) = -d**3 + 7*d**2 + d - 5. Let v be i(7). Let w be (-4)/(-3)*v/(-16). Let n = 2 - 1. Which is bigger: n or w?
n
Let r be 3/2*(-392)/(-21). Let s be (-9)/r*2/(-3). Which is greater: s or -1?
s
Let i(j) be the third derivative of -j**5/20 - j**3/6 - 5*j**2. Let t be i(1). Are -5 and t equal?
False
Let p = -13 - -22. Suppose -3*h = p, -h + 4*h = 4*a - 17. Suppose -2*l = 3*z + 9, -z + 2 = a*l + 5. Are 1 and l non-equal?
True
Suppose -2*o + 4 = -l + 2, -2*o = 3*l + 14. Suppose 6 = i - 5*i + 2*x, 0 = -2*i - 4*x + 12. Which is smaller: l or i?
l
Let x = 21 + -21.06. Which is smaller: -0.1 or x?
-0.1
Let x be ((-2)/(-85))/((-2)/10). Let c be (-3)/(-7) - (-6)/(-14). Suppose -h - h + 2 = c. Is h at least as big as x?
True
Let i = 7 - 4. Suppose 3*u = -s - u - 14, -4*u - 24 =