 (8 + -8). Let j = s + 5. Is j >= 0?
True
Suppose -h = -5*h + 8. Suppose -h*n - n = -6, t - 4*n = -9. Suppose 0 = -3*b - 0*b - 6. Which is smaller: b or t?
b
Let m(k) = -6*k**3 + 4*k**2. Let n(j) = 5*j**2 - j**3 - 6*j**3 + 0*j + 0*j. Let v(p) = -6*m(p) + 5*n(p). Let a be v(-1). Is a < -2/11?
False
Suppose 3 = -f + d, 0*f + 5*f = 2*d. Let h be (f + -1)*(0 + -1). Let q = -7 - -6. Is q at least as big as h?
True
Let h be 2/(-3) - 2/(-3). Suppose 19 = 5*z - q, -2*z + z - 5*q + 9 = 0. Suppose c + 22 = -c - z*f, 3*f + 10 = 5*c. Is h at most as big as c?
False
Let i = -11 - -20. Let a = 375 + -365. Which is smaller: i or a?
i
Suppose 2*u + 2*h + 29 = -1, 4*h + 42 = -3*u. Which is greater: -17 or u?
-17
Suppose 0 = -b + 4*l + 19 - 216, b + 179 = -2*l. Which is greater: b or 1?
1
Let k = 6 - 4. Suppose 0 = 4*v + h + 28, -3*h + 1 = v - 3. Let i(r) = -r**2 - 7*r + 8. Let q be i(v). Which is smaller: q or k?
q
Let a = 0.233 + -0.033. Which is smaller: 9 or a?
a
Let v be 1/(-32)*62 + 2. Which is greater: 1 or v?
1
Let t be (10/4)/((-2)/(-12)). Suppose 2*p + g - t = -0*g, -3*p + 21 = 3*g. Suppose -u + 8 = 4*j, 3*u - 1 - p = 3*j. Are j and 1 non-equal?
False
Suppose 0 = -a - 3 - 2. Let d = a + 5. Suppose 8*f - 4*f = 0. Is d at most f?
True
Let x = 272 + -9793/36. Which is smaller: x or 0?
x
Suppose -3*x = 2 - 5. Is -6/17 at most x?
True
Suppose 3*p - 98 = -50. Is p <= 52/3?
True
Let a(p) = p**2 - 4*p - 5. Let h be a(5). Suppose b + 1 + 2 = h. Let x = b + 5. Which is greater: x or 1?
x
Let x = 3.851 + 0.149. Are 4 and x unequal?
False
Let k = 32 + 6. Let h be (2/6)/(k/(-12)). Suppose -5*y = -4 - 1. Is h greater than y?
False
Let n(x) = -2*x - 6. Let f(t) = -3*t - 1. Let c be f(1). Let z be n(c). Which is greater: z or 3/2?
z
Let v = 16 + -13. Which is bigger: 18/5 or v?
18/5
Let d = 776 + -24835/32. Which is smaller: d or 1?
d
Suppose 14*u = 32 + 24. Is u <= 4?
True
Let d = -46 - -51. Which is greater: 6 or d?
6
Let r = 18.8 - 27. Let h = r + 8. Which is smaller: 0 or h?
h
Let w be (-2)/12*(3 - 0). Let g = -0.8 - -4.8. Let k = -6 + g. Is w equal to k?
False
Let s be ((-6)/5)/(4/(-10)). Suppose 0 = -5*n - s*q - 20 - 22, 3*n - 5*q - 2 = 0. Let t be (-12)/9*(-1)/n. Is t at least -0.1?
False
Let l(a) be the second derivative of -a**3/6 - 5*a**2 - 3*a. Let b be l(-10). Are -1 and b non-equal?
True
Let r(p) = 3*p - 6. Let j be r(2). Which is smaller: -0.06 or j?
-0.06
Suppose -b = 4*c - 2*c + 11, 2*b + 3*c = -17. Are b and -1 equal?
True
Let b be (100/(-30))/(1/3). Which is bigger: -17/2 or b?
-17/2
Let q = -3.2 + 0.2. Let x = 11 + -11. Is q at most as big as x?
True
Let f(u) = u**3 + 6*u**2 - 7*u. Let g be f(-7). Suppose g = -0*y - 3*y. Which is greater: -2 or y?
y
Let y = 0.1 + 0.5. Let p = 1 - y. Let c = p - 0.4. Which is smaller: c or 2?
c
Let k = 1292/9 - 144. Let w be 3/((-3 - -1) + 3). Suppose -t + w = 2*t. Are k and t equal?
False
Suppose r + 3*r - 56 = 0. Let x be -1 + 1 - r*-1. Let g be 18/x + -1 + 0. Is -1/2 bigger than g?
False
Suppose -2*u + x + 5 = -3, 2*x + 1 = -u. Let m(y) = y**2 + 5*y + 7. Let j be m(-3). Which is bigger: j or u?
u
Let x be (-3)/(((-3)/(-6))/(3/(-2))). Which is smaller: x or 8?
8
Let q = 0.149 + -6.049. Let h = q + 6. Which is smaller: h or -4?
-4
Let t be (4/5)/((-1)/(-5)). Suppose 0 = 5*r - 6 + 26. Let u = 7 + r. Is t not equal to u?
True
Let r = 21 + 30. Suppose 5*a + r - 21 = 0. Let o be 4/a*-3 - 4. Which is bigger: -3/5 or o?
-3/5
Let c = -22 + 4. Let o be 2/c - (-1)/3. Let d = -0.29 + -0.71. Which is greater: o or d?
o
Let q be (0 - 1)/(1/(-6)). Suppose -o - 28 = -5*o. Which is smaller: o or q?
q
Suppose 0 = -2*o - 3 + 9. Let n = -30 - -31.9. Let y = 1.8 - n. Which is smaller: o or y?
y
Let v = 0 + 5. Suppose -3 - v = i. Let o be (-1)/4*i/(-3). Which is smaller: o or 0.1?
o
Let b be 35/(-42)*-1*(-9)/(-10). Is 0.3 greater than b?
False
Let i be (-6)/3 - (2 + 1). Is -3 smaller than i?
False
Suppose 10 + 8 = -3*a - 3*w, w = -1. Let n = a - 5. Let x be (4/n)/(3/5). Is -1 != x?
True
Let v be (-4)/(-14) - (-2 - 10/(-7)). Is 2 > v?
True
Suppose 5*d + 102 = -53. Do -29 and d have the same value?
False
Suppose b + b + 4 = 0. Let i(o) = -o**3 - 4*o**2 + 2*o + 2. Let v be i(b). Let n be ((-6)/(-15))/((-2)/v). Which is smaller: n or 3?
n
Suppose -5*d - 292 = 443. Let s = d + 1031/7. Do s and 0.2 have the same value?
False
Suppose 18 = -0*p + 3*p. Let r = 22 - 16. Is p bigger than r?
False
Suppose 4*b = -2*f + 5*f - 54, -3*f - b + 69 = 0. Let y be f/(-144) - 4/18. Let c = -5 - -4. Is y greater than c?
True
Suppose -5*c = 2*b + 13, 0*c + 2*b = 2*c + 8. Let d be (3 - 3) + 1 + c. Let r = -6 + 3. Which is smaller: d or r?
r
Let q = -7 - -7. Let c be (-29)/30 - (-4)/5. Which is smaller: q or c?
c
Let f = 2 - 3. Let o be (3 + -2)/(1 - 0). Let k be (o - (0 + 2))*1. Is f >= k?
True
Let c(a) = 4*a**2 + 1. Let n(f) = f**3 + 3*f**2 - f - 2. Let b be n(-3). Let k be c(b). Suppose 8*j = k*j. Is -1/2 at most j?
True
Let c = 5040/9131 - 12/397. Let i = c + -129/115. Which is bigger: -1 or i?
i
Let d be (6/(-742))/(9/2). Let w = d - 14092/3339. Let f = w + 40/9. Is f less than -1/4?
False
Suppose -4*c = -11*c - 161. Is -22 at least as big as c?
True
Let f = -35/6 - -16/3. Let d be ((-8)/6 + 1)*-12. Suppose -m = -d*m - 6. Is m > f?
False
Let v(t) = t**3 + 5*t**2 + 3. Let b be v(-5). Suppose 0*y = -y + 3*p - 10, b*p - 4 = -5*y. Is y smaller than -3?
False
Let o = -109 + 106.98. Let w = -0.32 + 0.3. Let k = o - w. Which is greater: 1 or k?
1
Let b = -14.8 - -21.8. Let s be 2/8 + (-1)/(-28). Is b bigger than s?
True
Suppose 0 = -3*i + c + 5, 0*i - 4*i = 5*c + 25. Is 3/4 at most as big as i?
False
Let h be -2*((-15)/6 + 3). Is h <= -2/167?
True
Let q(g) = g**3 + g**2 + 1. Let x be q(-2). Let n(t) = t + 3. Let l(w) = -1. Let b(o) = l(o) - n(o). Let j be b(-2). Are j and x nonequal?
True
Let l = 2/9 - 44/117. Let d = -9/5 - -22/15. Which is smaller: d or l?
d
Let v = 17 - 12. Let b = -3 + v. Suppose 2*h - 3*y + 3 + 5 = 0, h + 6 = 2*y. Is h greater than or equal to b?
True
Let l(n) = -2*n**3 + 8*n**2 + 5*n + 2. Let g be l(5). Is -23 >= g?
True
Suppose 3*o = -4*o + 21. Is 6 less than or equal to o?
False
Suppose -3*w = 0, -2*w + 100 = 2*d - 7*d. Let s = d + 19. Which is bigger: s or 2/5?
2/5
Let f(w) = w**2 + 2*w - 1. Let r be f(1). Suppose -20 = 5*b - a, -3*a - r*a - 10 = -3*b. Let h(o) = -o**2 + 8*o + 14. Let l be h(-2). Is b at least as big as l?
True
Suppose 0 = -29*z + 32*z + 285. Is z less than or equal to -95?
True
Let j be (-14)/6 + (-4)/6. Let g be j + (-6)/(-3) + -1. Let p = g - -2. Is 2 smaller than p?
False
Let l = -4 - -106. Is l greater than or equal to 102?
True
Let h be (-20)/4*((-184)/60 + 2). Which is smaller: h or 4?
4
Let p be (-6)/4 + (-10)/(-4). Let l be (-2)/6 - 5/(-42). Let q = l - -1/2. Are q and p nonequal?
True
Suppose 18 = -d + 10*d. Do d and 1/7 have different values?
True
Let d(z) = z**3 + z + 2. Let u be d(0). Suppose -5*y = -3*j + 11 + 5, u*j + 3*y + 2 = 0. Which is greater: j or 3/4?
j
Suppose 20 = 2*r + 2*r. Suppose 4*j - r*j = 0. Is j at least -2/21?
True
Suppose 5*n = 5*w - 5, 6*n - 2*w = 2*n + 2. Suppose 4 - 6 = -n*k. Is k less than -2/9?
False
Suppose 5*y - 33 = -8. Suppose -y*z + 113 - 23 = 0. Suppose 5*s = -4*c + 51, -c = -5*s + z + 13. Which is smaller: 1/4 or s?
1/4
Let y(t) = -t**3 + 14*t**2 - 13*t - 1. Let q be y(13). Let x = q + 8. Let s = x + -5. Which is bigger: s or 1?
s
Suppose -4*k = -5*d - 407, 0*d + 5*d - 520 = -5*k. Which is bigger: k or 104?
104
Let u be (-17)/36 - 2/(-8). Suppose 9 = 2*b - 3. Suppose b*c - 5*c + 1 = 0. Which is smaller: u or c?
c
Suppose 7*y - 44 = -2*a + 3*y, -a + 2*y + 2 = 0. Suppose q - 2*o = -a, 17 = q + 3*q + 5*o. Let k be q/3 + (-20)/6. Is -5 less than k?
True
Let v be (-18)/(-8) + 7/(-112)*4. Is -2 less than or equal to v?
True
Let p = 15 + -16. Is 2/23 >= p?
True
Let l = -101/2641 + -2/139. Let w(x) = -x**3 + 4*x**2 + 5*x - 1. Let m be w(5). Is m less than or equal to l?
True
Let u(o) = -2*o**2 - o + 2. Let g be u(1). Is g > -2?
True
Let d = -1 - -4. Suppose 3*h + 7 = q, -q + h = d*h + 3. Is q >= 1?
True
Let z = 1 - 1. Let o = 23 - 24.9. Let p = -0.1 + o. Which is smaller: z or p?
p
Let o(g) = g. Let z(f) = f**2 - 2*f - 1. Let j(d) = -3*o(d) - z(d). Let h be j(-2). Let r = -72/7 