+ 88 = 0. Let f be ((-5)/12)/(39/r). Let x = -1/39 + f. Which is bigger: -1 or x?
x
Let b = -0.3 - 0.7. Let x(l) = -l. Let o be x(2). Which is smaller: o or b?
o
Let y be (-6)/(-2)*(-6)/99. Suppose -4*m - 3*w - 16 = 2*w, 5 = -3*m - 2*w. Is m at least as big as y?
True
Suppose -96*x = -102*x + 114. Let t(m) = -19*m**3 + 2*m + 1. Let l be t(-1). Is x not equal to l?
True
Let z(l) = -l**3 + 11*l**2 - 7*l + 5. Let k be z(10). Let f = -59 + k. Let n be (-10)/f - (-2)/(-3). Which is bigger: 0 or n?
0
Suppose -28 = 3*u + 2. Is u <= -9?
True
Let x = 85 - 94. Which is bigger: -7 or x?
-7
Suppose -3*d + 0*d + 3*g = 18, g = 3*d + 16. Is d greater than or equal to -5?
True
Suppose -3 = c - 0. Let a = c + 2. Let k(d) = d - 3. Let h be k(2). Is a not equal to h?
False
Let o(x) = -x**3 - 20*x**2 + 24*x + 22. Let m be o(-21). Is m less than -41?
False
Let m(q) = 2*q**3 - q**2 + q. Let u be m(1). Which is greater: u or 9/4?
9/4
Let q be (-1319)/(-18) - (-4)/18. Let z be -75*(-3 - -6 - 2). Let c = q + z. Is -3 > c?
False
Suppose -5*i = 4*d + 15, -2*i + 5*i = -d - 2. Let c be 2*(i - (-47)/(-48)). Which is smaller: 1 or c?
c
Let n be ((-34)/16)/((-24)/(-32)). Is -4 at least n?
False
Suppose -2*j + 7 = -9. Let z = -8 + j. Is -1 at least z?
False
Let z = -4213/54 - -78. Which is greater: z or -1?
z
Let p be 6/24 + 1 + -1. Let y = -4 - -4. Which is bigger: y or p?
p
Let z be -2 + 1 + 129/128. Let j = z + 379/640. Which is smaller: j or 1?
j
Let p = 2 - 3. Let b = 1 + p. Suppose b = -5*a + 3*a. Are 2/11 and a equal?
False
Let q = 31.9 + -32. Which is smaller: q or -8?
-8
Let t = -7 - -11. Suppose -t*r = -2 + 6. Let u = -317/7 + 45. Is u < r?
False
Let z = -13 + 5. Let k = z - -15. Let x = 4 - k. Which is bigger: x or 0.1?
0.1
Suppose -h + 6*h = -5*j - 50, 0 = -4*j - 20. Is -9 greater than h?
False
Suppose 0 = -4*m + 5*q + 111, -3*m - 4*q = q - 57. Suppose 4*g - 8 = -0*g. Let c be ((-5)/(-10))/(g/m). Is 6 at least c?
True
Let n = 0.8 - 2.8. Which is smaller: -7 or n?
-7
Let o = 1.3 - 1. Suppose -c - 5 = -2*j, c + 6*j - 2*j - 13 = 0. Let t be (1 + c/(-2))*-2. Is o greater than or equal to t?
True
Let h = -11.59 - 0.31. Let a = h + 12. Is 3 greater than or equal to a?
True
Let n = -11 - -13. Is -1 at least as big as n?
False
Let k = 39 + -5. Which is greater: 35 or k?
35
Let k = 7 + -3. Do 4 and k have different values?
False
Let j be (-2 - (-1 - 2))*0. Suppose 0 = 3*t - 3 - 12. Suppose -t*p - 3 = 2. Which is smaller: p or j?
p
Let d(n) = 2*n**2 - 5. Let g be d(2). Which is smaller: g or 5/3?
5/3
Let f = 6.8 + 29.2. Is -2/7 > f?
False
Let j = 1 + 0. Is 2/19 < j?
True
Suppose -2*s + 4 = -0. Suppose 0 = -s*q + q + 4*h, 17 = -5*q + 3*h. Let a = q + 4. Which is smaller: a or 1/2?
a
Let x(n) = -n - 4. Let d be x(-4). Suppose d = -4*v - 0 - 40. Let h = v - -7. Is -3 less than h?
False
Suppose -2*d - 3*d = 0. Is -3/11 != d?
True
Let t(m) be the second derivative of m**5/20 - m**4/3 + m**3/2 - m**2 + 3*m. Let z be t(3). Which is smaller: -4 or z?
-4
Let p = 13 + -8. Suppose 4*j - p*f + 1 = 0, j = 6*j - 2*f - 3. Is 1/8 less than or equal to j?
True
Let k = -5/7 + 13/28. Let z(l) = -l - 2. Let o be z(-4). Let s be -5*(-2)/10*o. Which is smaller: s or k?
k
Let v = -21 + 17. Is -5 smaller than v?
True
Suppose 0 = -7*b + 2*b - 20. Which is bigger: b or -10/3?
-10/3
Let l be (-3)/45*63/14. Let a(o) = -o**3 - 5*o**2 + 7*o + 7. Let v be a(-6). Is l greater than v?
False
Suppose -3*h = t + 10, -3*h = -4*t - 0 - 10. Is 1 not equal to h?
True
Let k = 270 + -468. Let b be -3*1*(-12)/k. Is b smaller than -1?
False
Let a = 11 - 8. Suppose a = -2*c - 3. Is -2 < c?
False
Suppose 3*w - 3 = -4*h + 2, -2*h + 3 = w. Which is smaller: h or -1?
-1
Let w be ((-8)/(-4) + -2)/(-1). Is -13 at least w?
False
Suppose -4*z + 7*z - 204 = 0. Let o = 342/5 - z. Let d(n) = -n**2 - 5*n. Let h be d(-5). Is o >= h?
True
Suppose c + 8 = -9. Is -1/4 >= c?
True
Let m = -14 + 4. Let a = -9 - m. Suppose 13 - a = 4*p. Is p <= 7/2?
True
Suppose 2*w - 4*s = 0, -s + 0*s = 3. Let n(x) = x**2 + 13*x + 12. Let u(q) = q**2 + 12*q + 12. Let i(p) = -3*n(p) + 4*u(p). Let y be i(-6). Does y = w?
True
Let z = 0.3 + -7.3. Let a = -5 - z. Which is smaller: 0.2 or a?
0.2
Suppose 5*w = -0*w + 3*s - 64, -2*w + s = 26. Suppose -5*j - 95 = -20. Is w at most as big as j?
False
Let q = -1.9 - -1.8. Which is smaller: q or -2?
-2
Let c(w) = 5*w + 3. Let k be c(-2). Let x be 23/k + 14/49. Which is smaller: 4 or x?
x
Let h = 2 + -1.96. Let t = -0.36 - h. Let v = t - -1.4. Is 0.1 <= v?
True
Let v be (-10)/15 - 10/(-6). Do v and -1/47 have different values?
True
Let o = 3.06 + -0.06. Let g = -4.4 - -4.6. Which is greater: o or g?
o
Suppose -x + 9 = 2*x. Let b be -1 + 0 - -1*x. Suppose b*w = 2*h - 2, 19 = 4*h + w + 5. Is h equal to -1/6?
False
Let b = 320 - 2248/7. Is b <= -1?
True
Let s = 3 - -4. Which is smaller: 8 or s?
s
Let g = 0.04 - -0.96. Let d = 4 - 3. Is g < d?
False
Let w(i) = 20*i - 2. Let h be 325/(-35) - 4/(-14). Let a be w(h). Let d be (-4)/(-14) + 24/a. Which is smaller: 1 or d?
d
Let u = -0.4 - -0.8. Let h = 0.7 - u. Let v = 1 + 0. Which is bigger: v or h?
v
Suppose -2*v = 5*r - 0 + 30, 20 = -5*r. Suppose 7 = -3*w - 4*d, 4*w + d + 4 + 14 = 0. Is w greater than or equal to v?
True
Let d be 142/(-8) - (-5)/(-20). Let y be 2/(-6) + 21/d. Suppose j + 0 = 2*w + 6, 3*j - 16 = 5*w. Which is smaller: y or w?
w
Let n = -2 - -8. Which is bigger: n or 3?
n
Suppose 2 = 3*x - 10. Let f = 1 - x. Let k be (2 - (5 + 0)) + f. Is k != -6?
False
Let f be -1*(-1)/20*-5. Which is smaller: f or 33?
f
Let y = 2 + 0. Let c be (y + -7)*(-6)/(-45). Which is smaller: 14 or c?
c
Let g(i) = -i**3 - 4*i**2 - 4*i - 2. Suppose -c - 5*u = 18, 0*u - 5*u = 15. Let d be g(c). Which is smaller: d or -2/9?
-2/9
Suppose 0 = o + 5 - 2. Let x be (o/(-6))/(3/(-9)). Let k be 1 - (0/2 - -2). Which is greater: k or x?
k
Let y = 2 - 0. Let t be (1 - 1)/(-2) + y. Is 3 at least t?
True
Let r be -41*(-1)/(1 - -1). Let d = r + -20. Which is smaller: -1 or d?
-1
Suppose -5*c - p = -1, 2*c - 1 = -5*p - 19. Let j be 9/(-12) + (1 - 0). Which is smaller: j or c?
j
Let y = -3.7 + 3.7. Is y >= -3.7?
True
Let p = 137/258 + -30/43. Let z = 2 - 3. Which is greater: p or z?
p
Let a = -167.1 + 167. Is a at most -31?
False
Let g be 3/(-2)*(-8)/48. Let r = 12 - 7. Let d = -4 + r. Do g and d have different values?
True
Suppose 5*u - 3*u = -12. Let f be u/(-15) - 8/10. Which is smaller: -4 or f?
-4
Let o = -28 + 36. Suppose 5*r = -5 + 25. Let w = r - 4. Is w < o?
True
Let z = -21/25 + 718/825. Let c = -4/11 + z. Suppose 0 = -3*v - v. Which is bigger: v or c?
v
Let k = -42 + 43.1. Which is bigger: -2/3 or k?
k
Suppose 9 = -0*x + 3*x. Let t be 1*x*(-2 - -1). Which is smaller: t or -4?
-4
Suppose -4*u - g = 3*g - 36, -5*u = -g - 15. Let v(k) = k**2 - 3*k - 5. Let z be v(u). Which is greater: -4/3 or z?
z
Suppose c + 9 = 2*r, -r + 2 = -3*c - 0. Which is smaller: c or -1/42?
-1/42
Let n(b) = -3 - b - 4 + 2*b. Let k be n(-8). Let t be (-7)/k - (-2)/10. Is t greater than or equal to 0?
True
Let j = -10 + 10.2. Let m = -0.4 - -0.2. Let d = m - -0.2. Is d smaller than j?
True
Let f = -0.32 - 1.68. Which is smaller: f or -0.14?
f
Suppose -3*b - 3*r = -r - 18, 5*r = 5*b - 30. Suppose 5*j + b = 1. Are -2 and j unequal?
True
Let g be 2/(-8) + 35/(-20). Suppose -2*k - 15 = 3*x, 0 + 6 = 2*k - 4*x. Are g and k non-equal?
True
Let v = 2/3 + -1/6. Let t(q) = 5*q - 4. Let p be t(1). Is p smaller than v?
False
Suppose 0 = -6*i - 0*i + 12. Which is greater: 5/2 or i?
5/2
Let h be 1 + 1 - (0 + 5). Let m be 2/(-44)*h*-2. Which is bigger: m or 0?
0
Let z be (14/4 + 2)*-2. Let d(s) = s**3 + 11*s**2 - s - 12. Let y be d(z). Is y != -0.3?
True
Let u = -9 - -25. Let y = u - 10. Let h = 3 - y. Is -3 < h?
False
Let x(s) = 7*s**3 - 10*s**2 + 8*s + 5. Let m(h) = -13*h**3 + 20*h**2 - 16*h - 10. Let n(w) = -6*m(w) - 11*x(w). Let o be n(9). Is -4 at least as big as o?
True
Suppose -4*m = -0*m. Let o = -9599/27149 - -1/1597. Which is smaller: o or m?
o
Let k(r) = -r + 6. Let h be k(3). Let m = -34 + 35. Which is smaller: m or h?
m
Let r = -3 - -6. Let l = -1 + r. Let q = 2.3 - l. Is q >= 0?
True
Suppose -3*v = -v - 18. Let f(w) = -w**2 + 8*w + 8. Let p be f(v). Is -2/5 < p?
False
Let w = 3/29515 - -81453/82642. Let k = 7/10 