/228. Is -1 greater than or equal to b?
False
Let w(l) = l**2 - 19*l + 17. Let s be w(18). Is s smaller than -7/4?
False
Let n be 16/4 + -7 + 53/1. Is 51 greater than or equal to n?
True
Let y(g) = -2*g**2 - 9 - 6*g + g**2 + 15*g. Let z be y(7). Is z greater than or equal to 5?
True
Let j(u) = 4*u**2 + u + 1. Let x be j(-1). Let b = -1 - -6. Is x <= b?
True
Let w = -74/113 + 22331/452. Let h = 49 - w. Let q be (-6)/(-2) + -4 + 2. Is h bigger than q?
False
Suppose -18 = -u + 5*q, -u = -3*u - 5*q - 24. Let r be u/(-24) + 4/(-12). Let l(y) = -y**3 - 3*y**2 + 4*y - 1. Let i be l(-4). Is i smaller than r?
True
Let i(n) = n**2 - n + 1. Let a be i(2). Let f = -5/7 + 29/21. Is f not equal to a?
True
Suppose -l = -0*l + 4. Is -4 at most l?
True
Suppose -d + 14 = 6. Which is smaller: d or 9?
d
Let t = -153993/95 + 1621. Are -1 and t non-equal?
True
Let v be 1/2*68/(-2). Is -31/2 at least as big as v?
True
Suppose -3*l + 18 = 3*o, -l + 2*o - 2 = o. Let v(w) = w**3 - 2*w**2 + w - 1. Let j be v(l). Let n be -1 + j/((-1)/2). Is n > -3?
False
Let w = 0.041 + 0.059. Which is bigger: -5/4 or w?
w
Suppose -8 = -3*k + 7. Suppose -5*g = -0*g + k. Which is smaller: -0.8 or g?
g
Let v = -4 + 4. Let m(y) = -y - 1. Let h be m(v). Is h at least 2?
False
Let n = 1 + -1. Let c be n*((-2 - -4) + -1). Let m be ((-2)/(-5))/(13/(-39)). Are m and c unequal?
True
Let y = -3/8 + -7/24. Let p = -4/7 - y. Is p < 1?
True
Let m(h) = h - 3 - 1 + 2. Let c be m(5). Is c less than 3?
False
Let p(r) = r**2 + 3*r - 25. Let u be p(-7). Suppose 3*g + 5 = 2*g. Let o = -1 - g. Which is bigger: u or o?
o
Let q = 45/8 + -519/88. Which is smaller: q or 1?
q
Suppose 4*d - d - 2*z + 82 = 0, -15 = -3*z. Is d smaller than -25?
False
Let l = 36 + -35. Which is greater: 6/17 or l?
l
Let u be (4 - 1 - -2) + -1. Suppose u*a = 3*a + 3*s, s - 40 = -3*a. Is 13 greater than or equal to a?
True
Suppose 1 = -n + 2*m - 0, 4*m + 1 = 3*n. Let c = -352/5 - -72. Which is bigger: n or c?
n
Suppose -3*s + 2 = -1. Is 3/5 at least s?
False
Let s(d) = -d**2 + 9*d + 2. Let q be s(5). Let t be 4/q*1/(-1). Is 1 >= t?
True
Let y = -74/39 - -16/13. Let q = 0.3 - 4.3. Do q and y have the same value?
False
Let q be (-1)/((6/(-3))/(-10)). Let u(a) = -2*a + 7. Let t be u(6). Are t and q nonequal?
False
Let d be 42/8 + 3/(-12). Suppose -2*t + 8 = -t - 2*s, -d*s - 19 = -2*t. Suppose 0 = -2*y, t*u = -0*u - 4*y + 2. Is 2 less than or equal to u?
False
Let v be (-3)/(-9)*(7 - 10). Is v not equal to 5/12?
True
Let q be 0 + 4 + -3 + 1. Let k = 9 - q. Is k < 7?
False
Let i = 28738/55 - 5334/11. Let b = i - 38. Let t = 0.4 - -0.6. Is t at most b?
False
Let c = 6 + -7. Which is bigger: c or -1/4?
-1/4
Let n = -0.11 - -3.01. Let i = 3 - n. Let b = 0.8 + -0.5. Which is smaller: b or i?
i
Suppose 5*n + 3*x + 30 = 0, -2*x = 2*x. Let h be n/(-4)*8/(-6). Let m = -1 - h. Are 3/2 and m nonequal?
True
Suppose 4*y - 2*y = 0. Let k = -6 - -1. Let r be (-1)/((-5)/(k/3)). Are y and r nonequal?
True
Let i(p) = 6*p. Let f be i(-1). Let y(m) = -m**3 - 6*m**2 + 4*m + 6. Let s be y(f). Let r be 44/36 + 4/s. Does 3 = r?
False
Let m = -44989/9 - -4989. Let o = -10 - m. Which is smaller: -2/7 or o?
-2/7
Let h = -88203908/42955 + -282922/605. Let z = h - -2521. Let w = -157/355 - z. Is 1 at least w?
True
Let g = -216424 - -14933542/69. Let z = -11/23 + g. Do z and 5 have the same value?
False
Let r be 3*(38/20 - 2). Let p(q) be the third derivative of -q**5/60 - q**4/12 + q**3/2 - 5*q**2. Let s be p(-3). Is r >= s?
False
Let x(f) = f**2 + 9*f + 18. Let k be x(-5). Is 14 equal to k?
False
Let i be 3/(-4) + 1/(-4). Let d = -18 + 33. Let q be (-5)/(-6)*(-4)/d. Which is greater: q or i?
q
Suppose 3*z + z = 0. Suppose z = -5*l - 4*v + 20, 3*v - 4*v = 2*l - 5. Suppose l = j + 4 - 2. Which is bigger: j or -1/2?
-1/2
Let p = -6 - -3. Let z = p - -3.1. Let s be 6/3 - 14/6. Do s and z have the same value?
False
Let s(t) be the third derivative of -t**6/120 - t**5/30 + t**4/12 - t**3/2 + 2*t**2. Let p be s(-3). Suppose p = u - 3*u + 2. Does 4/7 = u?
False
Let j = 3 - 5. Let f = j + 1.9. Let i = 0.1 - f. Which is greater: i or 2/5?
2/5
Let b(z) = -z**3 + 6*z**2 - 5*z + 5. Let c be 3/((-9)/6) - -7. Let u be b(c). Suppose -2*h = -f + 5*f - 22, 0 = -5*f + u*h - 10. Which is greater: 2 or f?
f
Let i = -103 - -153. Let u be 1/(-4) + i/72. Which is bigger: u or -1/4?
u
Suppose -k + 28 = 3*s, 172 = 5*k + s - 2*s. Are k and 36 unequal?
True
Let t be (-1)/5 + (-2)/(-6). Suppose -p - 3*p = 0. Is p > t?
False
Suppose 4*q + q = -55. Is q at least -10?
False
Let u be 2/4*(26 + -28). Which is bigger: -4/117 or u?
-4/117
Let r = 5.7 + 0.3. Which is greater: r or 0?
r
Let z = -713/5 - -143. Which is bigger: z or -0.7?
z
Let j be -3 - -1 - (-176)/72. Does 5 = j?
False
Let h = 1 + 7. Let o = -8.3 + h. Let v = -3 - -2. Is o != v?
True
Let a be ((-14)/(-4))/(4/8). Is 2 at most as big as a?
True
Suppose -3*p - 4*t = -5*t + 15, 3 = -t. Let n be 2/4*-3*-6. Let b = n + p. Which is smaller: 5/2 or b?
5/2
Let y = -1/165 + -149/2640. Suppose 7*g - 5*g = g. Is y at least as big as g?
False
Let o be 45/(-63) + (-9)/(-12). Are o and 1 equal?
False
Let u = 2.39 + -0.09. Let i = u - 1.3. Which is smaller: i or 1/7?
1/7
Let a be 4/(-10) + (-154)/(-35). Let r be ((-2)/3)/(a/6). Is -1/15 > r?
True
Let u = -8 - -6. Let t = -2.01 - u. Which is greater: t or 1?
1
Suppose -4*h = 2*t, -5*h + 3*t - 20 = -h. Let c be 15/21 + h/(-7). Is c >= 3/7?
True
Let m = -4 - -10. Let n be (-124)/(-20) - 2/10. Is m <= n?
True
Let m be 18*4/(-6) + -3 + 1. Which is smaller: m or -16?
-16
Let b = 96 + -280/3. Let z be 5 - 2/(4 + -2). Is b > z?
False
Let m be (-39)/36 + ((-12)/16)/(-1). Which is greater: m or -2/295?
-2/295
Let f = -10/13 + 37/65. Does f = 2.7?
False
Let x = 20 + -12. Suppose -a + x = -2*a. Let k be a/6 + 4/6. Which is smaller: k or -1?
-1
Let k be 3 + (2 - 3 - 1). Let a = -4 - -6. Let d be a/(-3) + 40/42. Are k and d non-equal?
True
Let q = -0.23 + 1.33. Is 0 smaller than q?
True
Let x(q) = -2*q - 7. Let b be x(-7). Suppose -b*o = -9*o + 14. Suppose -4 - 14 = -3*a. Is a greater than o?
False
Let n = -746/153 - -264328/1683. Let x = n - 152. Let j = -2 + 3. Is j > x?
True
Let n be (-1 + 0)*(-1 - -8). Which is bigger: n or -11?
n
Let u be 2/7*(-2)/2. Let h = 35/111 - -2/111. Which is smaller: u or h?
u
Let h(a) be the third derivative of a**6/120 + a**5/20 - a**4/8 + a**3/2 - 2*a**2. Let c = -1 + -3. Let b be h(c). Are b and -0.1 nonequal?
True
Suppose 3*h + f - 52 = -4*f, h - 29 = -4*f. Which is greater: h or 10?
10
Let g be (-1 - 6/(-4))*-2. Let f(d) = -d**2 - 2*d - 9. Let a be f(-7). Let k = a + 175/4. Is g at most k?
True
Let u(r) = -r**3 + 4*r**2 + 6*r - 3. Let i = 15 - 10. Let j be u(i). Let y be (-2)/8 - 0 - -1. Are y and j nonequal?
True
Let s(w) = -w**2 + 1. Let q be s(1). Let r = -438 + 9200/21. Which is smaller: r or q?
q
Let a be 48/36 - (-68)/(-42). Are a and -1 equal?
False
Let m = 125 - 255. Let y be 324/20*1*-8. Let l = y - m. Is -0.3 smaller than l?
True
Let u = 9 + -5. Do u and -0.3 have the same value?
False
Let a = 47/91 - 3/13. Let n = a - -3/14. Let l be (-5)/(-7) - 4/(-14). Is n != l?
True
Let a(n) = 40*n - 31. Let w be a(3). Which is greater: 88 or w?
w
Let c(t) = -t**2 - 9*t - 8. Let p be c(-8). Let q = -14 - -38. Let n = 70/3 - q. Is p at most as big as n?
False
Let y = -25.3 - -29. Let x = y + 1.1. Let z = 5 - x. Which is smaller: z or 2/5?
z
Suppose 5*j + 2*q - 15 = 59, -2*q - 6 = 0. Is j at least 17?
False
Let t = -16 + 5. Let q = -11.3 - t. Suppose 1 = -3*x + 2*f, -3*f + 2 = -2*x - 2*x. Do q and x have the same value?
False
Let q be 0*(4/(-4) - -2). Is q greater than 0.11?
False
Let s(x) = x**2 + 9*x + 8. Let a be s(-6). Let u = 6 + a. Suppose 0 = -3*p - 2*q - 7 - 1, 4*p + 6 = 2*q. Which is bigger: u or p?
p
Let d = 18 - 16. Suppose 4*u - 2*u - 6 = 0. Suppose 4*c + 6 = -0*p - u*p, 0 = p - 3*c - 11. Is d < p?
False
Let w be ((-1)/3 + 1)/(-2). Suppose 8*q = 5*q - 9. Let z be q*1/(-2 + 5). Which is smaller: w or z?
z
Let o = 0 - 1. Let v be 0 - ((-4)/o + -3). Let d = 3 - 5. Which is smaller: d or v?
d
Let s = 2344/17 + -138. Is s bigger than 1?
False
Let r = -41 + 49. Let w = -6.93 - 0.07. Let m = r + w. Which is bigger: m or -2/3?
m
Let f be (0 - -1) + 3/(-6). Let w(c) = c**3 + 