2.88 + -0.12. Is g at most as big as -3?
True
Let y = -13 - -3. Let d be ((-10)/15)/(y/4). Let i = d + 1/15. Is i at most 1?
True
Let h be 0 - 0/(-1) - -1. Let t = -2/59 - -152/1003. Is h at most t?
False
Let r(q) = q**3 - 7*q**2 + 4*q. Suppose -3*b + b = 2*l - 6, b = -2*l. Let t be r(b). Let w be t/18 + (-7)/3. Which is bigger: -2/3 or w?
-2/3
Suppose -3*w + w - 2*q + 50 = 0, 5*w = 3*q + 117. Let x be ((-16)/w)/(2/3). Which is smaller: 0 or x?
x
Let u = 1.4 - 2. Let k = u - -1. Let w = -0.5 + k. Is w greater than or equal to 2/3?
False
Let o be (0/(-1) + -1)/9. Suppose -4*z = -2 + 6. Let h = 0 - z. Which is greater: h or o?
h
Let n = 28 + -25. Which is smaller: -3 or n?
-3
Let m be -17 - -1 - (1 - -1). Is m at most as big as -17?
True
Let u = 2/39253 + -1374003/2904722. Let f = 1/37 - u. Is 0.5 less than f?
False
Suppose 2*p - 23 + 75 = 0. Let r = p - -38. Suppose 4*f - 18 = y, 3*f + f = -2*y + r. Does f = 5?
False
Let k be (5/(-8))/5*2. Which is bigger: k or -1?
k
Let f = -2706.31 - -2694. Let s = 0.31 + f. Do -1 and s have the same value?
False
Suppose 3*h = -4*v - 11, -25 = -5*v - 0*h + 4*h. Let w be 1 - (0 + 1154/810). Let s = -2/81 - w. Which is greater: v or s?
v
Let n = 5 - 5. Suppose l + n + 2 = 0. Let v be l/30 + 8/12. Which is greater: 2 or v?
2
Suppose 0 = 2*j - 4 - 2. Suppose 5*l = -2*d + 2, 0 = 5*d + 4 + 16. Which is smaller: l or j?
l
Let n = 7 - 9. Let r be (-11)/6 - n*1. Are r and 0 non-equal?
True
Let a = -28.2 - -28. Which is smaller: -4 or a?
-4
Let g = -2/809 - -3246/4045. Which is greater: 1 or g?
1
Let v = 12 + -5. Let u = 11 - v. Let z be 1/(-3)*(-54)/36. Is z >= u?
False
Let i = -7 - -8. Let k(u) = u**2 + 2*u. Let b be k(-2). Which is greater: b or i?
i
Let z be (-1 + 2)*(4 + -6). Let j be 6/10*z/3. Let m = -6 + 6.1. Is j bigger than m?
False
Let n = 8.6 + -4.6. Which is greater: -11 or n?
n
Let v be (1/(-2))/((-9)/(-72)). Let h = -4 - v. Which is smaller: h or 6/11?
h
Let y(n) = n**2 + 2*n. Let v be y(-3). Suppose -5*u = -v*k + 3 + 25, -5*k + 3*u + 20 = 0. Let w = 156 - 155.8. Which is smaller: k or w?
w
Let l = -0.1 - -0.24. Let c = 0 - l. Is c < -0.1?
True
Let y be (-3)/(-4) + 2/6. Let j = y + -1/3. Is j != 2?
True
Suppose 0 = 3*p + 3*y - 4*y - 207, 343 = 5*p - y. Is 68 greater than or equal to p?
True
Suppose -4 = -3*p - 2*j, 5*p + 4*j - 6 - 2 = 0. Is 4/7 not equal to p?
True
Let n(b) = b**2 - 3*b - 10. Let s be n(3). Is -9 bigger than s?
True
Suppose 52 = -4*m + 4*g, -2*m - 28 = -g - 2. Which is bigger: m or 1?
1
Let h(i) = -3*i + 28. Let p be h(5). Which is bigger: 40/3 or p?
40/3
Let y = 1 - 1. Let f = y + -6. Let c be ((-3)/(-6))/(f/(-28)). Which is greater: 1 or c?
c
Let p = -11 - -10.1. Let q = p + 2.9. Suppose -y - 2 = i + 5, -2*y = -4*i - 4. Which is smaller: i or q?
i
Suppose -4*o + 5*i + 14 = 0, 0*o - i = 3*o - 20. Is 6 at most o?
True
Let a = 2.6 + -3. Let t = a + 0.2. Let y = t - 0. Is y >= -2?
True
Let m be (0 + 68/(-8))*2. Which is smaller: m or 0?
m
Let w(v) = -v**3 + 4*v**2 - v - 3. Let z be w(3). Suppose 1 = -h + 3. Are z and h unequal?
True
Suppose 3*y = 3*l + 2*l - 12, -5*y - 20 = 0. Which is bigger: l or -10/9?
l
Let i = 451 - 4055/9. Let h be 0/(1*(2 + -1)). Let w = -1 - h. Which is greater: w or i?
i
Let x be (-2)/8 - 9/60. Is 0.9 at most as big as x?
False
Let i = -8 + 11. Suppose 5*s - 2*s + 6 = -3*z, 0 = -2*z + i*s - 24. Which is smaller: z or -7?
-7
Let r be 4887/12*(-4)/42. Let t = r + 77/2. Which is smaller: t or 0?
t
Suppose -5*d + 2*w = -10, 2*d + 4*w + 20 = d. Let u be (d - -2)/(8/(-20)). Is u smaller than -7?
False
Suppose -2*u = 2 + 2. Let d = 138.5 - 138. Which is bigger: d or u?
d
Let b = 8 - 5. Is b <= 30/17?
False
Let s = -19 + 18.6. Which is bigger: s or 2/3?
2/3
Let r = 7 - 2. Suppose -2*b - 9 = 3*b - h, -2*b + r*h = 22. Is 1/7 smaller than b?
False
Let y(f) = f**3 - 7*f**2 + 6*f - 1. Let z be y(6). Let w be (1 + (z - -1))/1. Let b be (-4)/10 + 12/55. Which is bigger: b or w?
w
Suppose 2*s = -s + 5*d + 13, -4*s = d + 21. Is s < -5?
False
Let d be 42/(-5) + 2/5. Let v = 10 + d. Which is greater: v or 4?
4
Let t be (7/2 - 3)*0. Let v be (-8)/(-2)*1/6. Are t and v equal?
False
Let f be -2*(-2 + 0) - (-8)/(-2). Let u = -737/5 - -148. Which is smaller: u or f?
f
Let l = -3889 + 3620675/931. Let u be ((-9)/(-196))/(3/8). Let s = l - u. Is 1 bigger than s?
True
Let q = 158/187 - 2/17. Which is smaller: 2 or q?
q
Suppose -3*h = 9 - 21. Let w = 0 + -1. Do w and h have different values?
True
Suppose 7*t + 6*t = 8*t. Which is smaller: t or -1/4?
-1/4
Suppose 0 = -0*o + o + 2*u - 6, 0 = 3*o + u - 23. Suppose o = -2*g + 3*w, -2*w + 2 = -g - 2. Let h be (-4)/(-15)*g/8. Is h at most as big as 1?
True
Let b be (-3 - -2) + 2 + 0. Which is bigger: 1/7 or b?
b
Let n = -0.63 - -1.33. Is 1/4 greater than or equal to n?
False
Let p(z) be the first derivative of z**3/3 - z - 3. Let g be p(1). Let j = -9 + 6. Is j bigger than g?
False
Suppose -17*j = -15*j. Which is greater: j or -3/7?
j
Let l(m) = -m**2 - 4*m + 3. Let x be l(-5). Let v be 5 + (-5 - 35/14). Which is smaller: x or v?
v
Let m = 0.074 - 16.974. Let q = m + 17. Is -1.6 > q?
False
Let s be (-10)/(-8)*2*-2. Let w = 23 - 48. Let f be 6/70 + s/w. Which is bigger: f or -4?
f
Let p = 8 - -14. Let a = -23 + p. Which is bigger: a or -3?
a
Suppose -5 + 29 = 12*l. Let z = 5/86 + 291/172. Are z and l unequal?
True
Let s = 7 + -5. Let r = s - -6. Let q = -7.9 + r. Is 1 at most q?
False
Suppose -12 = 4*r + 4*h, 0 = -2*r - 5*h - 11 - 1. Which is smaller: r or 1/12?
r
Let n(l) = -6*l + 9. Let w be n(-9). Let y = w + -319/5. Let t be -3 + 4/2 - -1. Is t less than y?
False
Suppose 12 = -4*s - 0. Let m = 2 + s. Which is bigger: m or -1/2?
-1/2
Let o be (212/(-10))/(4/(-10)). Suppose -5*t - 62 + 21 = -3*n, 0 = 5*t + n + o. Is -10 < t?
False
Let w be 2/42 - 6/(-21). Let j = -101 + 100. Which is smaller: j or w?
j
Let b be (-3 - -1)/(1 + 1 + -3). Let s(a) = -a**3 + 4*a**2 + 5*a + 1. Let z be s(5). Are z and b nonequal?
True
Let w be 260/25 + (-2)/5. Let i be 2/(-6) - w/(-3). Let s be (-1)/i*(1 - -1). Which is greater: s or -2?
s
Let r be 1*(1 + -1) - -4. Suppose 2 + 12 = 2*l + 2*s, -4*l - 4 = -r*s. Suppose 0 = -l*k - k. Is k != 0?
False
Suppose -5*b - h - 7 = 0, 2 = -3*b + 2*h + 3. Let y = -25 + 41. Let f be y/(-26)*(-2)/8. Which is greater: f or b?
f
Suppose 2*w = -9*k + 4*k - 10, 5*k + 20 = 0. Suppose d - 6 = c, 0*d + w*c = -d. Suppose -2*a = -d*a + 3. Which is greater: a or -2/7?
a
Let n be (-5)/40 + 39/440. Which is smaller: 1 or n?
n
Suppose -4*r - 24 = 20. Let g = r - -20. Which is smaller: 10 or g?
g
Let c(k) = 2*k - 4. Let i be c(6). Let f be 4 - 0 - i/(-2). Is 8 < f?
False
Let a = -13 - -1. Let j be (-2)/a*9/2. Let o = 28 - 28. Is j less than o?
False
Let q = 7 - 7. Let f be (1 - -5)*(-2)/(-10). Which is bigger: f or q?
f
Let i be (1 - (-84)/(-32)) + 2. Which is smaller: -1 or i?
-1
Let d = 218 + -212. Which is smaller: 5 or d?
5
Let d(q) = -q**2 - 2*q - 6. Suppose -3*v = -2*h + 6 - 0, 5*v + 3*h = -29. Let w be d(v). Let y be (-16)/(-42) - 4/w. Is y greater than 2?
False
Let m = -59 - -175/3. Suppose 4*f = 5*x, 5 = -3*x - 3*f + 32. Let y(z) = z**3 - 3*z**2 - 5*z + 4. Let v be y(x). Which is bigger: m or v?
v
Let q be 2/(-12) - (-2)/(-4). Let n(l) = l - 1. Let t be n(3). Let z be 7/28*4/t. Which is smaller: q or z?
q
Let d = -122.7 + 122. Is -2/11 greater than d?
True
Let s = 5 + -5. Suppose s = o + 2 + 2. Which is smaller: 1/3 or o?
o
Let p = -96 + 100. Let b = 8 - 3. Which is smaller: p or b?
p
Suppose 3*g + g = -44. Let t = g - -11. Which is smaller: t or -1/24?
-1/24
Let m(g) = g**3 - 3*g**2 - 3*g - 2. Let t be m(4). Suppose t*i = -2*i + 12. Let r be ((-1)/(-1))/((-3)/(-6)). Is i > r?
True
Let l = 116/3 + -39. Let n be -2 + 0*(-1)/1. Let w be n/(-8) - 1/36. Which is greater: w or l?
w
Let q be (-105)/(-2)*(-24)/(-18). Let n = q - 25. Let s be 2/(-6) - 3/n. Is s at least 2/13?
False
Suppose 4*c = -y + 12, -5*y = -5*c + 11 + 4. Suppose 2*r + c = 1. Is -1 <= r?
True
Let f = 1 + 0. Let x = 2 - f. Let j = -37 - -39. Which is greater: x or j?
j
Suppose 0*z - 414 = -23*z. Which is smaller: 21 or z?
z
Let p = -285/26 - -32/13. Is p < 1/3?
True
Let q be (-4)/(-8) - 3/2. Let u be 382/4*q/6. Let z = 47/3 + u. Which is smaller: z or -2?
-2
Let f be 7/(-