8*s/3. Is -5 less than b?
False
Let b be 184/(-4) + 0 + 1. Which is bigger: b or -44?
-44
Let r be (1/4)/((-51)/(-24)). Let u be (-10)/(-45) - (-4)/(-18). Is u greater than or equal to r?
False
Let r = 66 - 124. Which is smaller: r or 1/2?
r
Let w = -5 - -6. Let i be (-2)/7 - (-345)/(-42). Let f = i + 115/14. Are f and w unequal?
True
Let b = -17.3 - -17. Is -0.1 not equal to b?
True
Let f(q) = -q**3 + 4*q + 3. Let i be f(-2). Let z = 13 - 8. Let r(a) = -a + 5. Let h be r(z). Which is greater: h or i?
i
Let p = 39 - 25. Let c be (6/p)/(30/(-21)). Is c greater than or equal to -0.2?
False
Let u = 4.5 - 4.4. Which is bigger: u or 2/3?
2/3
Let t = -15 - -14. Is t less than 2/15?
True
Suppose 41*b - 39*b - 34 = 0. Is b < 17?
False
Let l be ((-12)/8)/3*36. Which is bigger: l or -19?
l
Let s = -34.61 - -35. Let r = -0.4 + s. Which is bigger: 1 or r?
1
Let m(n) = n**2 + 6*n + 7. Let s be m(-5). Suppose 5*h - o + 25 = 0, -4*h + 3*h - 16 = s*o. Let g = -6 - h. Which is bigger: -0.1 or g?
g
Let w(x) = 4*x**3 - x**2 + 2*x + 5. Let z(i) = -2*i**3 - i - 2. Let d(l) = 2*w(l) + 5*z(l). Let n be d(-1). Which is smaller: 2 or n?
n
Let n = 5 - 6. Let g = 7/125 - 593/6125. Is g at least n?
True
Let j = 1/194 + -1651/388. Is j less than or equal to -5?
False
Let z be (-2)/(-4)*(-4)/(-6). Which is greater: z or 0.2?
z
Suppose -5*s + 5 = -2*p, -p - p = 3*s + 13. Is s != -2/43?
True
Suppose -3*h + 3 = -0*h + v, -2*v + 6 = -4*h. Suppose -y + 2*d = -3 - 13, -5*y - d + 80 = h. Suppose 0 = -s - 3*s + y, 2*l + s = 8. Is 2 < l?
False
Let t = 5/2 - 49/18. Which is bigger: 0 or t?
0
Let j = 50 + -148/3. Is j equal to -1/10?
False
Let l = -1.98 + 2. Let u = 4.02 - l. Let k = 4.38 - 6.38. Is u at least as big as k?
True
Suppose 2*k - k + 2 = 0. Let i = 4 + k. Let q be i/4 + 6/(-4). Is -5/3 bigger than q?
False
Let u = 11 + -10.9. Which is smaller: u or -0.5?
-0.5
Let k be (32/(-3))/((-14)/(-6)). Let n = -430/91 - k. Which is smaller: n or 0?
n
Let b be -6 + 148/24 + 1/(-2). Which is smaller: b or 1?
b
Let r = 1.7 + -1.6. Is 8 < r?
False
Let v = -4 - -6. Suppose -z = -0*z. Suppose 5*g = d - 6*d, z = 3*g + 4*d + 3. Is v at most as big as g?
True
Let s = 3 - 20. Let b = -12 - s. Let o = 3 - b. Which is greater: -1 or o?
-1
Let x = 435 + -2163/5. Is x > 2?
True
Let j(v) = -v**3 + 28*v**2 - 26*v - 26. Let h be j(27). Is 1 at most h?
True
Let q(n) = -2*n - 17. Let m(p) = 3*p + 18. Let h(f) = 3*m(f) + 4*q(f). Let s be h(13). Do 1/3 and s have the same value?
False
Suppose -6*q = -q - 10. Let h be (-6)/10 + q/(-5). Which is smaller: h or -1/11?
h
Let c be 0 + -1 + 3/21. Let q = 0.05 + 0.05. Are q and c unequal?
True
Let r(a) = a**3 - 5*a**2 + a + 1. Let q be r(5). Let x be 1/((-11)/q - -2). Let v = -2 + x. Is v > 4?
False
Let d(y) = 15*y - 14. Let i be d(1). Is i less than or equal to 1.4?
True
Let z = 1.1 + -2.1. Is z != 1.5?
True
Let u be 54/2772*-2*1. Do 1 and u have the same value?
False
Let d be -1 + 0 - 7/(-84)*14. Let p be (2 - 4)/(-1 - 1). Let z = p + -2. Is d greater than z?
True
Let s = -9 - -6. Let y = s - -2.7. Let x = -0.1 - y. Is x at least as big as 1?
False
Let m = -15 - -5. Let c be 4/(-10)*35/m. Let i = -1 - -1. Is i > c?
False
Suppose -6*b + 24 = 6. Let m be (b - 1) + -3 + 2. Are m and 5/7 unequal?
True
Let u = -5.2 + -1.8. Which is smaller: 4 or u?
u
Let t = -1 + 12. Let k(c) be the first derivative of -c**4/4 + 10*c**3/3 + 5*c**2 + 9*c - 11. Let y be k(t). Is y at most as big as -4?
False
Let l = -25 - -37. Is 9 greater than l?
False
Let r = -23 - -14. Let n = -11.95 - 0.05. Let x = r - n. Which is smaller: x or -0.1?
-0.1
Let t = -2 - -2.6. Let o = t - 0.2. Let q = 27.9 - 28. Is q < o?
True
Let f = -10 - -14. Let l(q) = -q**3 + 5*q**2 - 2*q - 5. Let u be l(f). Suppose u*w = -2*w. Does w = -1/2?
False
Let d(q) = -q**2 - 6*q + 17. Let x(v) = -v**2 + 2*v - 8. Let p be x(0). Let c be d(p). Let o be ((-21)/8)/(-3) - 1. Which is smaller: c or o?
o
Let n = -202339/84 - -9633/4. Let j = 1/21 + n. Which is bigger: j or -2?
j
Let g = 17 - 17.14. Let n = 0.06 - g. Which is smaller: 1 or n?
n
Let m = -7 - -7. Suppose m = o + 4*o - 30. Which is bigger: 7 or o?
7
Let a be (-2)/((-4)/4) + -10. Let p = -14 - a. Is -24/5 less than p?
False
Let a be (49/(-2))/(-7)*-2. Let f = 7 + a. Which is smaller: -4/11 or f?
-4/11
Let h(g) = g**3 + 13*g**2 + 3*g + 19. Let r be h(-13). Which is greater: -19 or r?
-19
Let v(c) = -5*c**2 + 46*c - 21. Let w(p) = p**2 - 9*p + 4. Let o(h) = -2*v(h) - 11*w(h). Let z be o(7). Let b be z + -1 + 2/(-2). Which is bigger: -3 or b?
-3
Let i = -4 + 7. Suppose -8 = a - i*a. Suppose -a*q - 3*r + 0 = 2, 4*q - 3*r - 10 = 0. Which is smaller: q or -2/19?
-2/19
Let y be 1/3*3/(-4). Suppose -2*d - 2 = 5*z, -3*d - 4*z + 0 + 4 = 0. Suppose -2*o - 4*l + 24 = 0, 0*l = d*o - 4*l + 12. Are o and y unequal?
True
Let p = -14 + 27. Let k = p - 14. Is 12 at least k?
True
Let j = 123.6 + -123. Is j less than -0.03?
False
Let s be (-18)/(-12) - 134056/(-294). Let r = s + -2743/6. Let m = r + -1/49. Is 0.1 greater than or equal to m?
False
Let j(t) = 9*t + 3. Let i be j(-2). Let c = i + 11. Which is bigger: -5 or c?
c
Suppose 4*g + 2*h - 48 = 0, 48 = 4*g - 2*h - 0*h. Let w = 15 - g. Is 5/3 < w?
True
Let u(y) be the third derivative of -y**6/120 + y**5/12 - y**4/12 + 7*y**3/6 - 8*y**2. Let p be u(5). Is 0.1 bigger than p?
True
Let n = 11 - 21. Let f = -2 - n. Let m = -8 + f. Which is smaller: m or 1/4?
m
Suppose 3*m = 5*s + 2, -1 = -m + 4*s - 5. Let l be (-993)/(-6) - (-3)/(-6). Let a be ((-20)/l)/(m/6). Which is smaller: 0 or a?
a
Suppose 1 = 2*z + 5. Which is greater: -3 or z?
z
Let m(q) = q**3 + 4*q**2 + 4*q + 1. Let b be m(-3). Which is smaller: 1 or b?
b
Suppose 5*d - 2*k = 11 - 39, 3*k = 3*d + 24. Is -5 at most d?
True
Let d = -7 - -12. Suppose -d = -3*h + n, 2*h = h + 4*n + 9. Let k = -1246/9 - -138. Which is greater: k or h?
h
Let y(d) = d - 4. Let z be y(0). Let i be -3 + 2 - 6/z. Which is bigger: 2 or i?
2
Let q = 37/132 + -1/33. Which is bigger: 0 or q?
q
Suppose 0 = -t - 3*q + 65, 0 = 2*t - q + 2*q - 115. Which is smaller: t or 1?
1
Suppose 12*c + 5 = -223. Is c >= -13?
False
Let m be ((-4)/(264/2))/2. Which is bigger: 1 or m?
1
Suppose 2*g - 4*c + 2 = -2, 5*g - 2*c = -2. Is g at least 2/33?
False
Let u(z) = 4*z - 5. Let f be u(4). Suppose c + 3*c = 3*o + f, 10 = -2*o. Which is greater: c or -2/25?
-2/25
Let h = 1073/8 - 134. Is 0 at most h?
True
Let d = -2/31 + 84/341. Are 1 and d equal?
False
Let b be 16/(-6) - (-8)/12. Let u(g) = -g + 1. Let f(a) = a - 5. Let s be f(8). Let c be u(s). Is c greater than b?
False
Let x = 37 + -46. Which is bigger: x or 0.07?
0.07
Let m = 115 - 577/5. Which is greater: 0 or m?
0
Let v = -7.023 - -0.023. Which is greater: v or -2/5?
-2/5
Let o(w) = w + 9. Let x be o(-10). Which is bigger: x or 1/48?
1/48
Let u(s) = 4*s**2 - 3*s + 2. Let k(q) = 3*q**2 - 3*q + 1. Let p(x) = 5*k(x) - 4*u(x). Let f be p(-3). Is -2 > f?
True
Suppose 4*k = -j + 2*j - 96, -72 = 3*k + 3*j. Is -23 greater than k?
True
Let b = -250 - -1753/7. Which is smaller: b or -0.2?
-0.2
Let s be 202/580 + 8/(-20). Let x = s - -125/174. Are 0 and x unequal?
True
Suppose -11 = -5*d + 4. Suppose d*j + 10 = -2*j + 2*y, -20 = 2*j - 4*y. Let x(a) = -a**2 + 4*a - 3. Let g be x(3). Is j greater than or equal to g?
True
Let n(o) = o**2 + 2*o + 3. Let u be n(-2). Let c be ((-1)/2)/(-1) + 1. Are c and u equal?
False
Let d(h) be the third derivative of -h**4/24 - h**3/6 + h**2. Let l be d(-5). Let f(k) = -k**3 + 9*k**2 + 10*k + 3. Let j be f(10). Which is greater: j or l?
l
Let c = -5771521/24 + 240287. Let h = c - -193. Which is smaller: 1 or h?
h
Let o = -0.5 - -0.4. Is o >= -19?
True
Suppose -276 = 18*w - 24. Is -14 < w?
False
Suppose -z = 3*c - 31, -26 + 11 = 5*c. Let s be 2477/(-20) - (-10)/z. Let b = -124 - s. Which is smaller: 0 or b?
b
Let q = -10/7 + 8/7. Let s = 0.46 + -0.06. Which is greater: s or q?
s
Suppose -3*h - 9 = -39. Let v = -351 + 721/2. Let l = h - v. Which is smaller: 1 or l?
l
Suppose 4*o - 5*o = 0. Let m = 67/5 + -13. Is m < o?
False
Let d = -20 + 15.8. Let n = 4 + d. Let f = n + 1.2. Which is greater: 0 or f?
f
Let w = -0.76 + 0.46. Is -1/4 less than or equal to w?
False
Let s = 1291 - 24523/19. Which is smaller: s or 1?
s
Let s(a) = -2*a - 3. Let t b