y**2 + y. Let x(u) = -5*u**3 + 10*u**2 + 14*u + 8. Let l(a) = -6*v(a) + x(a). Let j be l(-6). Let w = -229/2 - j. Which is bigger: w or -3?
w
Let g be 3/6*-2 - -2. Suppose 0 = -b + 2*b + g. Which is smaller: b or -3/7?
b
Let x be (-16)/(-6) - (-6)/(-9). Let a be 0 + (-2)/(x/(-3)). Are a and 3 non-equal?
False
Let i be (23 - -2) + (0 - 1). Let q be 1/4*i/(-18). Which is greater: -1 or q?
q
Let j(l) = -l**2 - 3*l + 4. Let a be 2/(-1 - -2) + -6. Let b = a + 1. Let x be j(b). Which is bigger: 3 or x?
x
Let k(g) = g**2 + 6*g. Let h be k(-5). Which is smaller: -7 or h?
-7
Let y = 0.043 + 0.057. Is 6 at most as big as y?
False
Suppose -4*l = 4*o - 7 - 13, 0 = -2*l - 5*o + 16. Suppose i + 1 = 0, -k - l*k = -3*i + 29. Is -7 less than k?
False
Suppose -2*h + 5*b = 0, 5*b - 6 = 4. Let a be (h/2)/(48/(-32)). Which is smaller: -3 or a?
-3
Let p = -28.95 + -0.05. Is 0.1 < p?
False
Let g = -105 - -105. Which is bigger: g or -6/17?
g
Let z be ((-2)/(-2))/((-47)/(-2)). Is z less than 1?
True
Let z = 49/2 - 25. Let b be 8/(-20) - 348/5. Let o be (-8)/b + 8/(-20). Is z not equal to o?
True
Let s(f) = f - 3. Let p be s(-2). Is -7/2 less than or equal to p?
False
Let g be (4/(-2) + 17)/1. Let d be (8/(-21))/(5/g). Is -2 > d?
False
Let k = -3107/54 - -115/2. Is k < -0.1?
False
Let b = 655/4 - 163. Let r = b + 7/4. Let m(h) = -h**3 + 4*h**2 + 2*h - 5. Let j be m(4). Which is greater: j or r?
j
Let i = -1289061/397 - -3247. Let s = i + -784/1985. Suppose 0 = -2*p - 3*x - 5, -p + 6*x + 3 = 2*x. Which is bigger: p or s?
s
Let j = 0.027 - -170.973. Let a = j + -177.12. Let u = -0.12 - a. Is u greater than or equal to -2/7?
True
Let m = -0.2 + 2.1. Let c = 17.4 + -17.4. Which is greater: m or c?
m
Let w be (2 - 3) + 2 - -27. Let i be 7/w - 134/(-8). Let n = i + -35/2. Which is bigger: 0 or n?
0
Let a = 1.9 + -2. Let v = -0.2 + 0.2. Let l = v + a. Which is smaller: l or 0.1?
l
Let d = 14 + -11. Suppose 2*j = -2*h + d*h, 0 = -5*j. Which is smaller: h or -2?
-2
Let w(v) = -2*v**2 + 6*v - 7. Let t be w(3). Is -5 less than t?
False
Let k = 38.1 + -38. Is -2/39 at most k?
True
Let k = 149872/15 - 9995. Let o = k - -18/5. Let y = o + 11/15. Which is smaller: y or 0?
0
Let h(i) = i**2 - 3*i - 8. Let u be h(5). Is 2 at least as big as u?
True
Suppose -17 = 4*y - 3*d, y + 13 = -2*y + 2*d. Let r be 1*((-3)/2 - (-10)/(-4)). Which is greater: r or y?
r
Suppose 4*l + 0*l + 7 = -3*g, 4*l - 1 = 5*g. Is g at least -5?
True
Suppose -2*a + 4*t + 7 = 3*a, 3*a - 3*t - 6 = 0. Is -1/2 greater than a?
True
Let d = 146/13 - 886/65. Which is greater: d or -3?
d
Let d be 2/(-3)*(-1 - 2). Suppose 3*p + 12 = -3*s + 2*s, 8 = -d*p - s. Suppose 3*l = 3*m - 4 - 8, 12 = -3*l - 4*m. Is l at least p?
True
Let u(b) = -b**3 - 7*b**2 - 4*b - 9. Let j be u(-6). Let a be 4/(-14) + 8/j. Let z = 10 - 10. Is z bigger than a?
True
Let g = 20 - 28. Let n = 8 + g. Is n smaller than 3/7?
True
Let w = 11.2 + -10. Which is smaller: w or 2?
w
Let y be 2*(2 - (-13)/(-6)). Let d = -6.3 - -6. Let n = d - -0.3. Which is smaller: y or n?
y
Let u be (-304)/(-228)*(-1)/(-2)*-21. Which is smaller: -12 or u?
u
Let f be (-61)/1 + (-2 - -3). Which is bigger: f or -59?
-59
Let r be 5 + -1 - (-3 - -3). Suppose 1 + 3 = -r*z. Let q be z/((1 - 0)/1). Which is greater: 1/3 or q?
1/3
Let t = 0.5 + -0.52. Let m = t - -2.02. Let j = 46 + -41. Is m smaller than j?
True
Let a be (-3)/(-36)*-1633 + -3. Let v = a + 139. Which is greater: 1 or v?
1
Let y be 380/(-28) - (-4)/7. Is y at least as big as -2?
False
Let s = 28 - 55. Let i = s + 18. Let y = 7 + i. Which is greater: y or -3?
y
Let r(z) = -z**2 - 2*z + 7. Let x be r(-4). Are -3 and x equal?
False
Suppose 10*i = 5*i. Let w(t) = -t**3 - 6*t**2 + 7*t - 3. Let b be w(-7). Let l(z) = z**3 + 2*z**2 - 3*z + 1. Let u be l(b). Which is smaller: i or u?
i
Let d = 23 - 12. Is d greater than 2?
True
Let i(a) = -a - 6. Let x be i(-9). Suppose 3*q - 17 = -q - v, -2*v + 2 = 0. Let b be (-38)/(-24) + q/6. Which is bigger: b or x?
x
Let u be 1/(2 - (-3 + 6)). Let s be (1 + 1)*(0 + u). Which is bigger: -5 or s?
s
Let t be (-1742)/(-436) - (-2 - -6). Let w = -1301/1526 + t. Let k = 1 + -1. Which is smaller: w or k?
w
Let u = -3 + 1. Let o = u - -2. Let x = 22 + -65/3. Which is smaller: x or o?
o
Let f be 1*-5*4/5. Let w be f/10*15/9. Which is greater: w or 0?
0
Let v = -9 - -8. Let l be (-5 + 10)/(-3 - v). Which is greater: -3 or l?
l
Let t(j) = 12*j**2 + 6*j. Let m be t(-2). Are 36 and m equal?
True
Let p be (-46)/(-14) + 8/(-28). Suppose -6*f + p*f - 3 = 0. Let u = -3 - f. Which is greater: u or 0.1?
0.1
Let y be -1 - ((-108)/(-56) + -3). Is y bigger than -1?
True
Let j be ((-3)/(-6))/(2/(-8)). Let x = -3 - j. Which is smaller: x or 2?
x
Let j = 0.3 - -0.7. Let x = -8 + 7. Is j bigger than x?
True
Let b = -0.04 - -45.04. Which is smaller: b or 0.1?
0.1
Let r be -2 + (1 - 19) + 2. Let t be r/135 + 2/15. Is 2/29 greater than t?
True
Suppose 3*i - 10 = -2*i. Let o be i + (-1)/(-8)*-9. Is 2 at least as big as o?
True
Let w be 2/5*(-2)/(-7). Which is smaller: 0 or w?
0
Suppose 5*d - 5 = 0, -2*d = 3*p - d + 32. Let x be (p/(-33))/((-4)/3). Which is bigger: x or 6/7?
6/7
Let g be 5 + -6 - 7/(-5). Is g > -17?
True
Let l = 119 + -119.1. Which is smaller: -141 or l?
-141
Let v be (-4)/(-4) + 0/(-1). Let t be (26/(-80))/((-54)/(-15)). Let j = -1/144 - t. Is v >= j?
True
Let r = -26 + 27. Which is smaller: r or -1/42?
-1/42
Suppose -5*l - 3 = o - 0*o, 0 = -4*l + 5*o + 15. Let t(c) = -c**2 + 7*c + 2. Let y be t(7). Let m be y/(-9) + 33/(-54). Which is greater: l or m?
l
Let f be 192/(-10)*2 - -1. Let p = f - -37. Let v = -12 + 13. Which is bigger: p or v?
v
Suppose 0 = -2*j - d + 64, -d + 139 = 5*j - 21. Is j not equal to 34?
True
Let q(j) = j**3 + 7*j**2 + 5*j - 7. Suppose 6 = -g - 0. Let f be q(g). Let z = -12 - -12. Is f >= z?
False
Let d(a) = -a**3 + 10*a**2 - 10*a + 12. Let v be d(9). Is 4 not equal to v?
True
Suppose -2 - 4 = 3*r + 5*x, r + 5*x + 12 = 0. Suppose -r*i + 2 = -5*i. Let u = -9 - -17. Which is smaller: u or i?
i
Let x(u) = u**2 - u - 3. Let g be x(0). Let m = -2 - g. Which is smaller: 1/8 or m?
1/8
Let b(s) = -4*s**2 - 2*s - 1. Let p be b(-1). Let r = p - -6. Suppose -2*h + 4*h = 4. Is r equal to h?
False
Let p(v) = 2*v + 9. Let a be p(-6). Let g be a/(-2)*50/15. Suppose 5*w - 29 = 4*f, -g*w - 9 + 33 = f. Is f at most -1/3?
True
Suppose -2*d + 0 + 2 = 0. Let k be 4 + d*(4 - 4). Which is smaller: 5 or k?
k
Let k be (-4583)/22 - (-8)/(-16). Suppose 0 = -3*b + 2*l - 617, b - 2*l + 212 = 13. Let x = k - b. Which is smaller: -1 or x?
-1
Let u be -5 + 30 - (-4 - -3). Which is greater: u or -0.1?
u
Let o(d) = -2*d - 7. Let q be o(-5). Suppose -q*r = -7*r + 40. Let a be (4/6)/(r/(-15)). Which is greater: -1/3 or a?
-1/3
Suppose 5*b = -2*v + 420, -4*b - 5*v - 57 = -5*b. Are b and 83 nonequal?
True
Let u be ((-2)/6)/(2/(-30)). Suppose 0 = -u*n - 6*k + 4*k - 5, -3*k = -3*n + 18. Which is bigger: 0 or n?
n
Let w = -188/407 + 7/37. Let q(m) = m - 21. Let g be q(21). Is w less than g?
True
Let f = -0.54 - -0.6. Let l = 0.19 - 0.03. Let k = l - f. Is k at least 2?
False
Let j = -14.97 + 15. Let o = j + -0.23. Do -0.3 and o have the same value?
False
Let q be (6/(-5))/((-12)/40). Suppose q*p + 8 = -2*u + 2, u - 1 = 2*p. Let l = u - -1. Which is smaller: l or 2/5?
l
Let w(c) = -c**3 - 5*c**2 + 5*c - 5. Let m be w(-6). Let j be (-1)/(m + (-21)/6). Which is bigger: 0.2 or j?
j
Let h(a) be the second derivative of 1/2*a**3 + 1/4*a**4 + 0 + 3/2*a**2 + 4*a + 1/20*a**5. Let b be h(-3). Is b not equal to -6?
False
Let q(k) = -2*k**2 - 3*k. Suppose -5*f + 3*f = -2. Suppose -f = -b - 3. Let t be q(b). Are -3/2 and t nonequal?
True
Let y be (-1)/(1*-1) - (28 - 56). Is y bigger than 29?
False
Let s = -9 + 9. Suppose -x - 4*x = s. Which is smaller: x or -1/14?
-1/14
Let n = -13 - -13.05. Let r = -0.15 - 0. Let z = r + n. Which is smaller: -1 or z?
-1
Let i be (-4)/10 + 54/10. Suppose 4*m = -4*z, -z + 0 = i*m - 16. Suppose -m*r = r. Which is bigger: r or 1?
1
Suppose -4*k - 2 = 3*h + 4, 4*k + 4 = -2*h. Is k at least as big as -3?
True
Let k = 2/173 - 356/865. Let z(o) = o**3 - 4*o**2 + 3. Let t be z(4). Let y = -3 + t. Which is greater: y or k?
y
Let v be (-14)/(-35) - (-18)/5. Suppose v*i + 0*i = 48. Do i and 13 have the s