 = i + -3.08. Which is smaller: 0 or f?
f
Let t = 2/33 - -3/11. Let p(i) = i**2. Let y(n) = n**2 - 1. Let c(w) = -3*p(w) + 4*y(w). Let g be c(2). Which is greater: g or t?
t
Let a(o) = -o**3 + o**2 + o + 1. Let s(w) = -3*w**3 + w**2 + 7*w + 4. Let h(u) = 4*a(u) - s(u). Let g be h(2). Which is greater: -0.3 or g?
-0.3
Let r be (5 - 1 - (-27)/(-6))*0. Is r greater than -1/23?
True
Let n(y) = y**3 - 7*y**2 + 9*y - 9. Let u be n(6). Does 12 = u?
False
Let w = -29 + 10. Let c be -3 + ((-36)/w - -1). Which is bigger: c or 0?
0
Let s(a) = a + 2. Let i be s(-3). Let l be (-3)/i + (-38)/16. Is l equal to 2?
False
Suppose 4*t + j + 5 = 0, 11*t - 3*j + 7 = 12*t. Which is smaller: -1 or t?
t
Let q = -3.9 - -2.6. Let s = -6 + 6.3. Let b = s + q. Is b less than -2?
False
Let t = -6 + 16. Let p = 11 - t. Is -2 != p?
True
Suppose 2*z - 4 = -0*z. Suppose -z*r - 9 = r. Let w = r + -2. Is -5 less than w?
False
Suppose 5*l - 3*l + 14 = 0. Which is smaller: -6 or l?
l
Suppose 5*x + 7 - 2 = 0. Let m be 1 + 1 + -3 + x. Is -1 at least as big as m?
True
Let s = 0 + 1. Let a be (-96)/(-54) + ((-8)/(-18))/2. Let k be a/(-6)*(s - 3). Is k < -2/5?
False
Let f = -14 + 13. Are -2/27 and f non-equal?
True
Let k = 12.9 - 1.9. Let c = k - 7. Let v = 1 + -1.1. Is v less than c?
True
Suppose 0 = -5*v + 3*l + 11, 5*v + l = 1 + 2. Which is smaller: 2/15 or v?
2/15
Let h = -2 + 5. Suppose -2*x + 5*u = -0*u + 22, 12 = h*u. Is x smaller than 1/4?
True
Let h = -2.6 - -4. Let s be 4/6 - (-3)/(-18)*2. Which is smaller: h or s?
s
Let v(o) = -o**2 + 7*o - 1. Let z be v(5). Let k be (-1)/(-3) + (-3)/z. Let t be -2 - 1/(-2) - k. Which is smaller: -3 or t?
-3
Let i = -8 + 3. Let u = 11 + i. Let j(q) = q - 7. Let h be j(u). Which is smaller: -2 or h?
-2
Suppose r = 8*r + 3*r. Let k = -264 + 1851/7. Let z = 19/28 - k. Which is smaller: z or r?
r
Let j be 4 - 2 - (-1)/(-1). Is j > -1/47?
True
Let n be (8/130)/(14/35). Let b = n - 36/65. Which is bigger: b or -4?
b
Let l be ((-36)/(-24))/(2/8). Suppose -5*i + 42 = 4*r + l, 4*i + 4 = 5*r. Let u = 1 - -3. Do u and i have the same value?
True
Let g = 5.8 + -5.57. Let d = -0.2 + 0.17. Let o = g + d. Which is greater: 2/5 or o?
2/5
Let f = -2.29 - -20.49. Let h = f + -18. Let r = 0.1 + -0.1. Which is bigger: h or r?
h
Let n = 0.7 - -0.3. Which is smaller: n or -1/3?
-1/3
Let u = -4 + 6. Let d be (20/(-8))/(u/4). Which is greater: -4 or d?
-4
Let h be 5/(-3)*2/15. Suppose 20 = 2*u - 7*u. Let j = u + 5. Is j < h?
False
Suppose -u + 19 = 3*c, u + c = 3*c - 6. Which is greater: u or 1?
u
Let p = -0.26 - 7.74. Which is smaller: -0.1 or p?
p
Let w(u) = u**2 - u + 1. Let q(z) = -4*z**3 + 6*z**2 - 6*z + 6. Let a(n) = -q(n) + 6*w(n). Let m be a(1). Is m greater than or equal to 5?
False
Suppose -w = -5*w - 2*b + 16, 5*b + 50 = 5*w. Suppose -w*g + 3*g = -39. Which is greater: 12 or g?
g
Let s(b) be the third derivative of -1/120*b**6 + 1/12*b**4 - 1/2*b**3 - 2*b**2 + 0 + 0*b + 1/30*b**5. Let d be s(2). Is d at most as big as -0.1?
False
Let v be (35/(-21))/(1/(-3)). Let h(t) = -t**2 - 10*t - 12. Let u be h(-8). Is u less than or equal to v?
True
Let m = 0.3 - 0.5. Let k = -4 + -2. Let v = -5.9 - k. Are m and v unequal?
True
Suppose 0 = -c + 4 - 5. Let a be (-80)/44 - 2/11. Is a != c?
True
Let v be -5*(5 - 1) - -3. Is -16 equal to v?
False
Let k be (18/21)/(7/((-28)/6)). Suppose -2*a - 3 = a. Which is smaller: k or a?
a
Let x(u) = -u**3 + 5*u**2 + 2*u - 6. Let o be x(5). Suppose -5*d + 5*b + 40 = 0, 4*b + o = -4*d + 12. Suppose 1 = 2*l + m - 2, 0 = -d*m + 15. Is 1 > l?
True
Let n = 14 + -12. Which is smaller: n or -2?
-2
Let v(k) = 6*k. Let o be v(-1). Let a be 0 + 3*(-8)/o. Suppose -4*b + a*t - 12 = -b, 3*b - 2*t = -6. Is b smaller than -1?
False
Suppose 0 = -3*g - 4 - 2. Which is greater: g or -2/5?
-2/5
Let b = -7 - -7.09. Let p = b - -0.07. Let v = p - 0.1. Is v bigger than 1/3?
False
Let s = 1.7 + -1.6. Which is greater: s or -4?
s
Let r be (-3424)/(-37716) + (1 - 1). Let j = 2/449 + r. Are j and 0 equal?
False
Let c = 12 + -7. Suppose -c*t + 10 = -x, 2*t - 4*x + 11 = -3. Which is bigger: 1 or t?
t
Let h(a) = a**3 - 7*a**2 + 3*a + 14. Let y be h(6). Which is smaller: 2/5 or y?
y
Suppose -5*m = -0*m. Let b = 198 - 2573/13. Which is smaller: b or m?
m
Let d = -7 - -7. Suppose -n = -5*a - 4 - d, -3 = 3*a. Is 6 at most n?
False
Let m be (-2 + -2)/(40/(-12)). Which is bigger: 0 or m?
m
Let i = -2 + 1. Let r be -1 + i*(-3 - -1). Suppose -3*a = 5*u + 4, a - 3*u - 4 = 2*a. Which is greater: r or a?
a
Let v = 2.9 + -3. Let c be (0 + 0)/(-5 + 3). Suppose h = -c + 3. Is v >= h?
False
Let c be ((-189)/14)/((-9)/(-12)). Let a = -3 + 4. Is c at most as big as a?
True
Let o = 4 - 4. Let k = o - 0.1. Let i = k - -0.1. Are 1 and i unequal?
True
Let l = 2.8 - -0.2. Which is smaller: l or 1?
1
Let l = 1442677439/23105539 - 2/3648243. Let x = 187/3 - l. Which is bigger: -1 or x?
x
Let y(g) = -g**2 + 20*g + 7. Let j be y(23). Is -63 bigger than j?
False
Let y = 4 - -1. Does 0.2 = y?
False
Let p = 3 + -2.93. Let y = p - -0.73. Let g = -0.8 + y. Is 0 greater than g?
False
Suppose 35 = 4*p + d + 2*d, 4*p = 4*d. Suppose -t + 9 = p*g, 6*g - g - 13 = -2*t. Suppose -2*u - c + 7 = 0, -3*c = -4*u - 7*c + 24. Is g less than u?
False
Let k be (4/21)/((-11)/(-66)). Which is smaller: k or 1/2?
1/2
Let q = 39 + -40. Let n be (-1 - -8) + 3 + -5. Does n = q?
False
Let m be ((-6)/(-90))/(4/10). Is 4/17 at most m?
False
Let m = 1 - -4. Let g = -4 + m. Let q = g - 1. Which is smaller: 2 or q?
q
Let c = -9 + 5. Let l = 4 + c. Is -0.1 at least as big as l?
False
Let z be ((-2)/16)/((-2)/3). Suppose -r = o + 3, -2*r = -o - 4*o - 22. Which is bigger: z or r?
r
Let d be 158/(-1)*1/2. Let y = -111 - d. Let r be y/(-14) + 6/(-21). Which is greater: r or 3?
3
Suppose -10 = 5*l - 0. Suppose h - 5*h = 5*c - 9, 0 = 2*h - 3*c + 1. Suppose 2*n - h = 3*n. Which is smaller: n or l?
l
Suppose 0 = -3*x + o + 1 - 3, -4*x = -2*o + 4. Suppose 0 = -s - x + 5. Suppose -5*k - 9 = 4*m, s*k + 3*m + 5 = -3. Which is smaller: k or 0.1?
k
Let t = 34 + -135/4. Which is smaller: t or 1/2?
t
Let r be (6 + 6/(-2))/(-1). Let s = -0.2 + 0.4. Let d = s - 0.1. Is r greater than d?
False
Let a be -4 - (2 + -2 - 3). Is a less than -2/11?
True
Let i = -0.8 - 0.2. Let w be (1 - -27)*(-2)/(-8). Suppose -2*g - w + 5 = 0. Is g less than i?
False
Let u = 118 + -100. Which is smaller: u or 0?
0
Let c = 7.9 - 8. Suppose 2*h = -h + 3. Do h and c have the same value?
False
Let j(w) = -5*w - 34. Let l be j(-7). Which is smaller: 15/7 or l?
l
Suppose 15 = 5*g - 2*z, 4*g - 2 = 3*z + 3. Is -1 greater than or equal to g?
False
Suppose s + 3*s - 44 = 0. Suppose -13*v = -7*v - 60. Which is smaller: v or s?
v
Let j be (-160)/(-72) + 4/(-18). Which is greater: 6/7 or j?
j
Let r = 3.1 - 2.1. Suppose -4*w - 2*d - 26 = 0, 7*w - 2*w - d = -29. Let o(u) = u**3 + 7*u**2 + 6*u - 3. Let q be o(w). Which is smaller: q or r?
q
Let x be 0 + -1*(-4)/(-8). Are 1.3 and x equal?
False
Let l = -3074/7 - -438. Suppose 2*j + 6 = 4*d, -2*j - 3*j - 4*d - 1 = 0. Which is greater: l or j?
j
Let y = -75315/8 - -3392479/360. Let o = y - 47/5. Is 2/9 >= o?
True
Suppose 0 = -z - v - 2, 30 = 3*z + 2*z - 3*v. Which is smaller: 5/3 or z?
5/3
Let b = -66 + 99. Let g = -23 + b. Let z = -20.1 - -20. Is g <= z?
False
Let w = -1.9 - -2. Let y = 0 + -6. Let n = 10 + y. Which is greater: w or n?
n
Let a be (-1)/(-46)*(-8)/6. Let d = -65/138 + a. Let g be (2 - (-2)/(-1))/(-2). Which is smaller: d or g?
d
Suppose -4*l = -4, -4*l = 3*t - 3*l - 4. Let m(d) = -d - 5. Suppose 5*o = 4*i - 42 + 4, -26 = 4*o - i. Let g be m(o). Is g bigger than t?
False
Let d(o) = o**3 - 7*o**2 - 7*o - 8. Let x be d(8). Suppose -3*y + y + l + 22 = x, 3*y - 31 = l. Is y < 10?
True
Suppose -t + 5*w - 5 = 0, 4*w = 2*t + 6 - 2. Which is greater: 2/77 or t?
2/77
Let x be 18/(-24)*2/3. Which is smaller: x or -6?
-6
Let m = -0.033 - -6.233. Let g = m - 6. Which is bigger: g or 2?
2
Let n be (-2)/8 - (-4)/8. Which is greater: n or -1/2?
n
Let m be (10/(-12))/((-1)/(-33)). Let n = m + 26. Which is greater: n or -2?
n
Suppose 3*t = 4*a + 28, 5*t - a + 8 = 32. Let f be (-5 + t)*(0 - 3). Which is bigger: f or 2?
f
Let w = -1 - -3. Let a = -10.2 - 0.8. Let u = -10.7 - a. Is u < w?
True
Let c be (-54)/(-182) + 7/(-49). I