5 + -5). Which is smaller: 1 or s?
s
Let z(l) = l**3 + 4*l**2 + 2*l - 2. Let b be z(-3). Suppose -5*u + 2*y + 13 = -78, -u = 3*y - 8. Let o be ((-1)/u + 0)*2. Is b <= o?
False
Let l = -19 - -20.1. Let u = 1.9 - 1.8. Let c = u - l. Which is greater: c or 0.1?
0.1
Let p be ((-10)/(-55))/(4/3026). Let b = p + -137. Which is greater: b or -0.1?
b
Let s(z) = z - 4. Let f = 3 + 3. Let g be s(f). Suppose q + 3 = 3*q + 3*j, 4*q - 9 = -3*j. Is g < q?
True
Suppose -3*m - 4*p + 16 = 0, 0 = 5*m + 2*p + 24 - 74. Is -2 < m?
True
Let v be (42 + -39)*2*(-1)/(-243). Is 1 < v?
False
Suppose -2*i + 2 = 4*y - 7*y, -4*y - 18 = 5*i. Which is greater: i or -5/3?
-5/3
Let b = -167 - -156. Is -68/7 at least as big as b?
True
Let m = 4 - 6. Let p be (4/6)/(m/(-6)). Let s = p + 2. Is 5 < s?
False
Suppose 6 + 14 = -4*q. Let c be (q + 3)/(-2*1). Let l(y) = -y**2 + 3*y + 1. Let m be l(3). Are c and m equal?
True
Let p(z) = z**3 + 4*z**2 + 3*z. Let i be p(-2). Suppose 6 = -h + 2*c, -i*h + 1 = -2*c + 9. Which is smaller: -9/4 or h?
-9/4
Suppose f + 3*f + 16 = 0. Suppose -a - 4*a - 2*x + 38 = 0, -2*x = 2*a - 14. Suppose z + 3*p + a = 0, 0*z = 4*z - 4*p + 16. Is z < f?
True
Suppose p = -3*p + 100. Let z = p - 25. Is z less than 3/13?
True
Let j be (2 + 26/(-7))*(-5 + 6). Is j < -1?
True
Let z(q) = -q**3 - 9*q**2 + 9*q - 7. Let w be z(-10). Let p = -5 + w. Which is bigger: 1/2 or p?
1/2
Let f = -1 + 1.5. Let z = -0.04 + -0.36. Let b = z + f. Is b bigger than 0.1?
False
Suppose 11*k - 4 - 7 = 0. Which is smaller: 0 or k?
0
Let z be (536/(-267) - -2)*1*-3. Which is greater: -1 or z?
z
Let l(n) = -n - 4. Let o be l(-8). Suppose -16 = u + 4*b, 0*u + o*b = u - 16. Suppose u = 6*t - t. Is 0 <= t?
True
Let k = -188/3 + 62. Let d = -17/268 - -5681/2948. Let r = d - 4/11. Are k and r non-equal?
True
Suppose 2*s + 12 = -44. Is -29 > s?
False
Let c(u) = u**2 - 9*u + 2. Let j be c(9). Suppose v - j*f - 3 = 0, 0 = 2*v + 4*f - 6*f - 6. Let x be (2 - 0 - 3) + v. Which is smaller: x or 1?
1
Suppose -3*m = -8*m + 35. Is m greater than or equal to -6?
True
Let q(w) = -2*w**2 - w + 1. Let o be q(2). Suppose 0*s - 5*s = 15. Let d be (-2)/s + 3/o. Is -1 at most d?
True
Let c be 2/3 + 5/15. Let t = c - -1. Suppose 0 = -i - 2*n - 6, i - n - t - 1 = 0. Which is greater: -1 or i?
i
Suppose 5*s + 4 = s - 4*j, 3*s = -2*j - 4. Let d be (-65)/20 - 1/(-4). Let y = s - d. Is y > -1/4?
True
Let j = -1 - 0.9. Let s = 0.06 - 2.06. Let f = j - s. Is f greater than -0.4?
True
Suppose -4 = 3*w - 1. Is w greater than -1/56?
False
Suppose 0 = 4*k - 4*l, l - 4 = -3*l. Is -4/9 equal to k?
False
Suppose 5*x - 135 = 3*h, 5*h - 55 = -x - 0*h. Let u be 22/x - (-2)/(-6). Suppose -4*m - p - 13 = 0, 2*p - 1 = 5*m - 4*m. Is m at least as big as u?
False
Let r be 24/(-44) - (-1)/2. Which is smaller: 0 or r?
r
Let q be 1 - (0 - 2)*-1. Let y be (-10)/(-20)*(q + 1). Which is bigger: y or 1/4?
1/4
Suppose 0 = -7*v + 9*v. Which is greater: v or -3?
v
Let q = 11642/7 + -1668. Which is smaller: -5 or q?
-5
Let o = -1 - 0. Let j = 1 + o. Let x = j + -2. Is x smaller than 0?
True
Suppose 0*h + 2 = h. Suppose -g - h*y + 1 = 0, -5*g + 3*y + 11 + 20 = 0. Suppose -g*l = 5 - 0. Is l at most as big as -2/7?
True
Suppose 4*r = -r + 15. Suppose 0 = 4*z + z + 25, -4*d + r*z = -11. Let a = 1 + -2. Is d less than or equal to a?
True
Let j = 2 + 6. Let k = 6.8 - j. Let n = k - -1. Which is smaller: -0.1 or n?
n
Let c be -1*3*(-7)/(-21). Let s(j) = j - 4. Let v be s(3). Let l be v/c - 10/12. Which is greater: -1 or l?
l
Let i = -0.5 - 0. Which is bigger: i or 0?
0
Suppose 12 = -6*p - 6. Do p and -2/3 have the same value?
False
Suppose -2*l = -21 - 1. Is 10 greater than or equal to l?
False
Let a = -251/1205 - -2/241. Let q = -11 + 19. Let x = -9 + q. Which is bigger: a or x?
a
Let l = -18363/40 + 4463/8. Let v = l + -100. Which is bigger: v or -1?
-1
Let a(y) = y + 3. Let w be a(-5). Let l(d) = d**2 + 2*d - 1. Let o be l(w). Let z be 0/o + 2/31. Which is smaller: z or 0?
0
Let v be 3/(-9) + 1/12. Let q be 7/((-441)/(-246)) + -4. Is q greater than or equal to v?
True
Let b be (-14)/(-36) - (-1)/(-6). Which is bigger: b or 1?
1
Let n(j) = -j + 6. Let l(a) = a**3 + 4*a**2 + a - 4. Let c be l(-3). Suppose c = 4*m - 5*d - 18, -2*m + 5*d = -10. Let b be n(m). Which is bigger: -1 or b?
b
Suppose 5*i - 13 + 8 = 0. Suppose 0 = 3*d + 2*y + i + 51, 2*d + 43 = -3*y. Is d equal to -13?
False
Let u = -12 + 13. Let n be (-1)/(u*4/(-8)). Let r(j) = 2*j**3 + j**2 - 1. Let q be r(1). Is n less than q?
False
Suppose 2*q + 0 = -30. Let j be 1/4*(-3384)/q. Let h = j + -57. Which is smaller: 0 or h?
h
Let u be (-15)/78*(-12)/(-45). Which is bigger: 1 or u?
1
Let g = 17 + -12. Let l(q) = q**3 - 6*q**2 + 5*q + 1. Let v be l(g). Is v less than or equal to 1?
True
Let z = -2 + 0.1. Let a = -2 - z. Let o be (0 - 4/8) + 3/14. Which is greater: a or o?
a
Let c = 0.4 - 0.4. Let j = 1 + c. Let h = -1 + 2. Is h bigger than j?
False
Let t = -12.79 - 0.21. Let n = t - -12.8. Which is bigger: -2/3 or n?
n
Let i = 1 + -1.2. Let a = 63.71 - 64. Let t = -0.01 + a. Which is bigger: t or i?
i
Suppose 0 = m - 4*v - 2, -3*m + 3*v - 7 = -4. Let j be (m/(-8))/1 - 0. Suppose 5*x + 5*s = -0*s - 25, -x - 15 = 3*s. Which is bigger: j or x?
j
Suppose -2*y - 1 + 3 = 0. Let f be y*(2 + 2/(-2)). Let g(l) = -l**3 - 6*l**2 + l + 8. Let n be g(-6). Which is bigger: n or f?
n
Let c = 62 + -88. Let z = c + 16. Which is smaller: -9 or z?
z
Suppose -44 - 1 = 5*u. Let f(m) = -2*m - 58. Let g be f(-24). Which is smaller: u or g?
g
Let s = -12 - -12. Suppose s = -3*v - d - 4, 0 = d - 1 + 2. Is 2/37 not equal to v?
True
Let j(h) = -h**3 + 4*h**2 - h + 9. Let u be j(4). Let l(x) = x**2 - x + 1. Let n be l(2). Suppose n*f - 20 + 5 = 0. Does f = u?
True
Let j = -24 + 25. Are j and -0.08 unequal?
True
Let x = 12 + -13. Suppose 2*t - 3 = 1. Suppose 0 = -0*k + t*k. Are x and k unequal?
True
Let n = -3.7 + 4. Let j = 0.4 - n. Let c = -3.94 - 0.06. Is j less than c?
False
Let m be 1 + (1 + -7)/(-1). Let n(s) = -2*s. Let i be n(-3). Is i at most as big as m?
True
Let i = 0.3 + -3.3. Let o = -3.1 - i. Let p = -0.2 - o. Which is greater: p or -0.2?
p
Let v(n) = 4*n - n - 2*n. Let g be v(-6). Are g and -7 non-equal?
True
Let i = 39 - -51. Let b(z) = -z**3 + 5*z**2 + 8*z - 7. Let c be b(6). Let r be 2/(-9) + c/i. Which is smaller: -1 or r?
-1
Let k = -335/7 + 47. Which is smaller: k or 1?
k
Let h = 8 + -8. Suppose h = -5*d + 6 - 1. Which is greater: d or 10/11?
d
Let u = 375 + -375.0474. Let y = -3.9374 - u. Let j = y - 0.11. Which is smaller: 0 or j?
j
Let o = 7 - 3. Suppose -3*a - o = a. Suppose 2*f = 4*z - 10, 7*f - 2*f = -3*z + 1. Is f at most as big as a?
True
Let i be 11*(-3 + 3/(-18)). Let j = -35 - i. Which is smaller: j or 1?
j
Let m be (-4)/14 - (-2)/(-42). Suppose 4*y = -1 + 9. Suppose -4*w - 2*s = y*s, 2*w + 3*s + 1 = 0. Which is bigger: w or m?
w
Suppose -8 = 5*r + 12. Let c be -1 + (-1 - r) + 7. Is c < 9?
False
Let q = -6 - -8. Let i be 0/(-10) + (-2)/q. Which is bigger: i or 1/20?
1/20
Let p be 4 - (2 - 1)*9. Which is bigger: -11/3 or p?
-11/3
Let j = -134/3 + 44. Which is smaller: j or 15?
j
Let l be ((-117)/2)/((-3)/4). Let z = 131318/7 + -18682. Let o = l - z. Is -1 less than o?
True
Let u = -8 + 0. Let t = 7.87 + u. Are t and 0.1 equal?
False
Suppose -8 = 2*p, w + w + 72 = -2*p. Is -32 bigger than w?
False
Let w = -0.1 + 0.1. Let t = -0.8 - -0.9. Let m = w + t. Is -2/3 >= m?
False
Let u = -28.1 - -27. Let g = -1 - u. Let f = 13 - 12.9. Are g and f unequal?
False
Let n = 18/13 - 265/182. Which is smaller: n or -1?
-1
Let u(m) be the third derivative of m**6/120 + m**5/20 - 5*m**4/24 + m**3/3 + m**2. Let p be u(-4). Let c = 7 - p. Is c not equal to 4/3?
True
Suppose 0 = -4*i + 2*w + 50, 0 = 5*w - 5 - 20. Suppose -4*r + 7*r - 5 = -c, r - 3*c = -i. Suppose n = -r - 2. Is -1 less than n?
False
Suppose 4*o = 2*o + b + 159, -396 = -5*o + 2*b. Let v = 397/5 - o. Is 0 greater than or equal to v?
False
Let k be (-13)/34 - 2/(-4). Let n be 1/(3 + (-4 - -2)). Which is smaller: n or k?
k
Let q(f) = f**2 - 16*f - 15. Let y be q(17). Is -18 at most as big as y?
True
Let o = -24.2 - -3.2. Let j = o + 17. Are j and -0.1 unequal?
True
Let b be (-23)/(-7) + (-2)/7. Let i(x) = -x**2 + 2*x - 3. Let f be i(b). Let c be (