 + 3. Is 2 at least y?
True
Let t = -84 + 87. Is t <= 12/5?
False
Let b(h) = 2*h**2 - 5*h**2 + 2*h**2. Let t = 7 - 7. Let u be b(t). Which is greater: u or -2/9?
u
Let d = -45 + 29. Which is bigger: -15 or d?
-15
Suppose 26 - 2 = -4*n. Is -6 smaller than n?
False
Suppose s - 8 = 2. Let c be (-9)/15 + (-4)/s. Do 0 and c have the same value?
False
Let t(a) = -a**3 + 9*a**2 - a + 10. Let v be t(9). Let j = -138 + 692/5. Which is greater: j or v?
v
Let b = 81 + -89. Which is greater: b or -2?
-2
Suppose 4*u + 16 + 4 = 0. Is -14/3 at most as big as u?
False
Let v be ((-1)/4)/(12/(-32)). Which is greater: 0 or v?
v
Let u be 2 + -1 + 1 + 1. Suppose 3*i - g - 5 = 0, u*i = 4*i + 5*g - 7. Let d = 0.6 + -0.7. Which is smaller: d or i?
d
Let h = -35.7 + 35. Is 3 at least as big as h?
True
Suppose t + 12 = 5*t. Is 5 != t?
True
Suppose -3*x - 84 = 210. Do -99 and x have the same value?
False
Let k = 11 - 0. Is k at least 11?
True
Suppose -3*q - q + 1 = -3*t, 0 = -3*t + 3*q. Let j = -411 + 1651/4. Are t and j equal?
False
Let n be (-7)/(-2)*(-12)/(-21). Let w be (-54)/(-10) + -3 - n. Does -0.1 = w?
False
Let j be -4 - (1 - 43/8). Which is bigger: 0 or j?
j
Let r = 5 - 3. Suppose -r*q + 7*q + 3*j = -3, 2*q = 2*j - 14. Let a = 6 + q. Which is smaller: 2 or a?
2
Let m = -7 + 10. Suppose 0 = -f + m*f + 10. Let i be (-1)/f - (-16)/20. Which is smaller: i or 5/6?
5/6
Let k = -3/50 - -121/350. Let d be 11 + (-458)/40 - (-2)/10. Which is greater: d or k?
k
Suppose 3*c + 5*h - 4 = -0, 11 = 3*c - 2*h. Let s be (-2 + -1)/(c/(-2)). Suppose -s*i - 2 = m, 0*i = -2*i + 2*m + 4. Is 0 at most i?
True
Let s = 0 + 6. Let y = s + -11. Is y bigger than -5?
False
Let h be 1*((-5)/1 + 2). Let i be 8/12 + 46/(-6). Let o = i + 5. Which is greater: h or o?
o
Let o be 2/(-6)*(-90)/6. Let n = o + -3. Suppose n*d - 5 + 3 = 0. Which is smaller: d or 3?
d
Let o = 2707/171 - 142/9. Which is smaller: o or 1?
o
Let t = 3 - 1. Suppose -2*o + o + 2 = 0. Suppose -t*x + 0*x + o = 0. Is 0 < x?
True
Let o(w) = w**3 + w**2 - 3*w - 3. Let y be o(-2). Let d = 17 - 20. Are y and d non-equal?
True
Let d = -17.86 - -18. Let q = 0.04 - d. Which is greater: q or 0.4?
0.4
Suppose 2*j + 27 = -5*h, 0 = -2*j + h - 4*h - 17. Let v be (2/((-4)/(-2)))/j. Is -3/2 greater than v?
False
Let m(r) = r + 4. Let a be m(-3). Which is smaller: -3/26 or a?
-3/26
Let y = -2/67 + -116/603. Is y not equal to 8?
True
Let h = -4.4 - -4. Let i = h + 0.5. Suppose 0 = 5*b - 25, -2*u = 3*u - 3*b + 15. Is i bigger than u?
True
Let r = -31 + 1053/34. Which is smaller: r or -1?
-1
Let m be ((-8)/(-20))/((-4)/(-300)). Which is greater: m or 2/5?
m
Let x = -2/81421 + 100473528/569947. Let g = x + -176. Let s = 52 + -51. Is g >= s?
False
Let p = -11 + 0. Let g(t) = -t**3 - 6*t**2 - 3*t + 3. Let q be g(-5). Let a = q - p. Which is greater: a or 2?
a
Let w = -10 - -3. Let q be (11 + -4)*(3/3)/(-1). Is w >= q?
True
Let j be -1 + (-3 - -1)/(-1). Is -3 at least j?
False
Let o = 78 + -148. Let j be (-18)/42 + (-34)/o. Which is smaller: -1 or j?
-1
Let p(s) = s**3 + s**2 - 6. Let v be p(0). Suppose 5*d - 4*x = -33, 4*x = -4*d + 6*x - 24. Is d less than v?
False
Suppose w - 6 = 4*w. Is -2 at least as big as w?
True
Let n be 1*2 - (15 + -7). Which is smaller: n or -5?
n
Suppose -a + 4*a - 21 = 0. Suppose -130 = -a*l + 2*l. Suppose 3*h + 12 = -2*p - 1, -l = h + 5*p. Is 4/9 bigger than h?
True
Suppose -2 = -q + 2*c, 5*q = -c + 3*c - 22. Let i be -1 - (-4)/q*3. Is i <= -3?
True
Let w be -1 + (1 - -6) + -1. Let m be 1/1 - (3 + -5). Suppose -m*p - 2*d = 6, 3*p = -w*d - 15 - 0. Which is greater: 1 or p?
1
Let r(o) = -2*o**2 + 7*o + 1. Let m(h) = h**2 - 1. Let l(n) = 3*m(n) + r(n). Let j be l(-7). Which is greater: -9/5 or j?
-9/5
Let p be 4*((-9)/(-6) + -1). Suppose p*z + 0 = 2. Let s = z + -1. Which is smaller: s or -1/2?
-1/2
Let q(j) = 4*j + 17. Let x be q(-8). Is 1/4 bigger than x?
True
Let l be (-11)/5 + 2/1. Let b = -9 + 8. Let v = -1.1 - b. Are v and l unequal?
True
Let s(v) = 2*v**3 + 6*v**2 + v - 5. Let j(i) = 3*i**3 + 12*i**2 + 2*i - 9. Let l(q) = 3*j(q) - 5*s(q). Let c be l(6). Which is smaller: 3 or c?
3
Let z = -1 + 2. Let s = -7.97 + -0.03. Let g = 8.1 + s. Are g and z nonequal?
True
Let g = -6 + 7. Which is smaller: 0.4 or g?
0.4
Let r be (-2)/1 - (-28)/7. Are 21/8 and r unequal?
True
Let m = 31 + 1. Let w be (-4)/(m/(-10)) + -1. Suppose -g - i + 2 = 0, 0 = -2*g - i + 4 - 3. Is g less than w?
True
Let n be 3*5 - 2 - 1. Suppose 0 = -g - 0*i + 2*i + 22, 3*g + 2*i = 26. Is n greater than or equal to g?
True
Let m be (-1)/(-3) - (-2764)/24. Let p = m + -86. Let t = 30 - p. Is 2 >= t?
True
Let z = 0.08 - 0.02. Let r = 0.06 - z. Is 0.05 less than r?
False
Let x = -2101277/23371260 + 39/91652. Let h = -72/85 - x. Let k = -2/3 - h. Is -1 > k?
False
Let i = -5 + 7. Let o(p) = p**3 + 3*p**2 - 2*p. Let c be o(-3). Is i <= c?
True
Let g(t) = t**2 + 6*t - 7. Let l be g(-7). Suppose l = -5*x - 413 - 157. Let m = 1940/17 + x. Which is bigger: -1 or m?
m
Let m = -8.1 - -8.2. Let d = -0.26 - 0.04. Is d >= m?
False
Let s = -109 + 979/9. Which is smaller: -3/8 or s?
-3/8
Let n(i) = i**2 + 10*i + 9. Let h = 2 - 11. Let b be n(h). Is -4/5 at most b?
True
Suppose -j - 1 = -0*j. Let y = 141 - 326. Let f = 2033/11 + y. Which is smaller: j or f?
j
Let s be -3 - 2/1558*-2339. Let a = s + 1528/11685. Which is smaller: 1 or a?
a
Let q = 2/4489 - -67321/31423. Let p = -357694/144459 - 2/20637. Let w = q + p. Which is smaller: w or -1?
-1
Let x = 25 + -28. Is x >= 1?
False
Let b be ((-1)/(-6))/(-1 + 6/7). Suppose -2*m = 2, -4*w - 3*m - 14 + 3 = 0. Which is smaller: b or w?
w
Let n(z) = -z**2 - 8*z - 9. Let g be n(-6). Is g less than 11/4?
False
Suppose 3*p + 5 = -2*t - 11, 0 = 3*t + 2*p + 14. Is t less than or equal to -8/3?
False
Let k be (8/36)/((-2)/12). Let i = k - -5/6. Let y = -1 + 1. Is y > i?
True
Let k(d) = -2*d**2 - 16*d + 1. Let w be k(-8). Which is greater: 1/94 or w?
w
Suppose -45 = 5*w + x + 4*x, 4*x - 4 = w. Let g(h) = h + 2. Let i be g(4). Let m = w + i. Is 0 greater than m?
True
Suppose 2*p + 3 = 5*x, -4*x - 4*p = -0*p - 8. Let u(t) = -t**2 - 6*t + 3. Let f be u(-6). Let z = x - f. Which is smaller: -3 or z?
-3
Let u be ((-33)/44)/(2/(-8)). Suppose a = -u*a. Is a < -2/7?
False
Suppose -2*y = q - 4*q + 1, 30 = 5*y - q. Suppose 0 = 5*j - y*j. Is j greater than or equal to 2/5?
False
Let u(j) = j**3 - 2*j**2 - j + 1. Let n be u(2). Suppose 6*l = 2*l - 212. Let b = l - -213/4. Is b greater than or equal to n?
True
Let r be (-1)/(-4) - (-1015)/(-28). Let o be (7/(-21))/(2/r). Which is smaller: 5 or o?
5
Let n(b) = -b**3 - 11*b**2 + b + 8. Suppose 35 + 9 = -4*v. Let q be n(v). Which is bigger: q or -5?
q
Let b be ((-5)/(80/(-12)))/(-6). Is -1 >= b?
False
Let j be ((-25)/(-15))/(1/63). Let k be 2/7 - 4419/j. Let i = k - -42. Is -1/3 greater than or equal to i?
False
Suppose -10 = 5*w + 20. Let o = 14 - 7. Let b = o + w. Is b < 1?
False
Let s = -0.221 + -0.069. Let c = 1.29 + s. Which is smaller: 1/2 or c?
1/2
Suppose 0*u = 2*u + 4*q - 22, 5*q = 4*u + 8. Let y = -1 + u. Let z be y/5 + 36/10. Is z at least 4?
True
Suppose -12*t + 13*t - 1 = 0. Are t and 2 non-equal?
True
Let q be -13*(1 + (-2)/3). Do -5 and q have the same value?
False
Let p = -13 + 12.95. Let a = p + 1.55. Which is bigger: a or -1?
a
Let f = 51 - 52. Is f at least -1/135?
False
Let n be (4/6)/((-1133)/33). Which is greater: 0 or n?
0
Let u be 24 - (-3 + 1 - 0/2). Do u and 26 have the same value?
True
Suppose -72 = -4*j - v + 56, -2*v = -2*j + 54. Let c = 61/2 - j. Which is smaller: c or -1?
-1
Suppose 5*g = 2 - 17. Suppose -10*t + 7*t - 6 = 0. Is t >= g?
True
Let j(q) = -q**2 + 10*q + 7. Let t be j(10). Does t = 7?
True
Suppose 0*g - 60 = -4*g. Which is greater: g or 16?
16
Let f be (7/(-49))/((-12)/14). Which is smaller: f or -1?
-1
Let s = -177 + 177. Let m = 5/18 - 1/3. Is s at most as big as m?
False
Let y(v) = 15*v**2 - 13*v + 7. Let b(q) = 7*q**2 - 6*q + 3. Let z(i) = -13*b(i) + 6*y(i). Let k be z(2). Is k less than or equal to -4/7?
True
Let w = 173 - 310. Let a = -688/5 - w. Which is greater: -1 or a?
a
Let k = -5 + 5.5. Let j = k - 2.5. Is 0 at most j?
False
Suppose 4*y - 2*c = -12, c = 2*c + 2. Is -18/5 < y?
False
Let b be (-1)/3 - 11/3. Let f be 2/(-2 - b) - -2. Suppose f*u 