pose 0 = -3*l - l. Suppose f + g + 1 = l, 0 = 4*f + 3*g - 4*g + 29. Which is greater: f or -2?
-2
Let d(u) = 5 - u**2 + 2*u - 1 - 5. Let z be d(2). Let b be 1/26*(4 - 0). Which is smaller: z or b?
z
Let r(b) = b**3 - 5*b**2 - 2*b + 2. Let l(w) = -w**3 + 6*w**2 + 3*w - 3. Let j(d) = 3*l(d) + 4*r(d). Let f be j(2). Let t = f - 3. Which is greater: 0 or t?
0
Let x = 3987 - 1411399/354. Let a = 1405/3894 - x. Which is smaller: a or 1?
a
Let y be ((-4)/10)/1*-5. Let x = y - 4. Let v be x + 2 - -1*1. Which is smaller: v or -2/11?
-2/11
Let m be 17/(-17) + 3 + (0 - -3). Let g be 6/8*(5 + -1). Is g < m?
True
Suppose 3*g + 8 - 35 = 0. Let v(r) = -r - 3. Let p be v(g). Let k be (-10)/4*p/(-105). Which is greater: -1 or k?
k
Let x(j) = 5*j + 29. Let p be x(-8). Is p greater than 0?
False
Suppose 0*t - 2 = 2*t. Let s be (-20)/14 + (-12)/(-28). Let j be t/(3/(-6)) + s. Which is bigger: j or 4?
4
Let d(l) be the third derivative of -l**4/24 - l**3 + 6*l**2. Let c be d(3). Is -8 <= c?
False
Suppose 10 = -2*r + 2*s, 4*s + 14 - 36 = 5*r. Suppose -18 = 5*q + 12. Let x(j) = -j**3 - 7*j**2 - 7*j - 8. Let d be x(q). Is d smaller than r?
False
Let o(r) = -r**3 + 6*r - 1. Let v(t) = -2*t**3 + 5*t - 1. Let g(z) = -3*o(z) + 4*v(z). Let u be g(1). Let y = -1 - u. Which is smaller: y or 4?
y
Let p be 0 + 8/5 + -2. Let d(z) = z**2 + 15*z + 26. Let w be d(-13). Is w at most p?
False
Let u = 193 + -3666/19. Are -1 and u nonequal?
True
Let k = -1.1 + 1. Let j = -0.01 - -0.07. Let z = 0.16 - j. Which is bigger: z or k?
z
Let g(o) = -o + 5. Let u be g(19). Which is bigger: u or -13?
-13
Let t = -0.9 - -1.6. Let v = t - -0.3. Let p be (-1)/(-4)*(-1 + 3). Is p at most as big as v?
True
Suppose 0 = 10*r - 11 + 1. Which is smaller: 14/15 or r?
14/15
Let w(p) = -2*p + 3. Let d be w(-3). Let o = 8 - d. Is o less than or equal to -2/5?
True
Let v be (3 - -3)/((-153)/(-6)). Which is smaller: v or 0.1?
0.1
Let q = 0.31 - 0.01. Is -0.07 bigger than q?
False
Let q be (-1140)/(-25) - (-3)/(-5). Let g be (-6035)/q + (0 - -2). Let l = g + 132. Do -1 and l have the same value?
False
Let b = -16 - -30. Is b smaller than 14?
False
Let d be 3/(-1 + -2) + -2. Let z be -1 + (-11)/d + -2. Is z at least as big as -0.6?
True
Let w be ((-112)/(-21))/((-4)/(-6)). Suppose -9 = -4*n + n + 2*x, -n + w = x. Do n and 3 have the same value?
False
Let h be (1 + -2)*(1 - 3). Let a(k) = -3*k + 4. Let f(n) = 10*n - 13. Let t(z) = -7*a(z) - 2*f(z). Let s be t(h). Which is smaller: 2 or s?
s
Let m be 0 + 9*(-4)/(-6). Suppose -g - 1 + m = 0. Suppose -2*u + c - 5 = -19, g*c + 45 = 5*u. Is 6 > u?
True
Suppose 5*k = 3*k + 12. Suppose 2*z + k = 2*v, -2*z = 3*v + 1 - 10. Suppose 3*x = -5*j - 2*x - 10, 5*j + 2*x = -4. Is j equal to z?
True
Let n = -4 + 5. Suppose 0 = 2*v - u - 2, 0 = 2*u + 2*u. Let b = n - v. Is -1/6 at most as big as b?
True
Let k(i) = 3*i + 1. Let d be k(-1). Let f(y) = -y**2 + 7*y - 8. Let a be f(6). Do d and a have the same value?
True
Let y = 84 + -32. Suppose -k + 6 = t + y, -k = 4*t + 49. Let h be 1*3*6/k. Does h = 1?
False
Let j = 678/5 - 136. Let w(b) = -b**3 - 5*b**2 + 3*b - 5. Let p be w(-6). Suppose -p = 5*y + 2*i, -5*y - 9 + 0 = i. Is j != y?
True
Suppose 0*v - 2*v = 0. Let f be -4 - (-2 - (-15)/(-6)). Which is smaller: f or v?
v
Suppose 40 = 4*b + 2*p, 4*p = 5*b + 6*p - 49. Let i = b - -13. Which is smaller: 21 or i?
21
Let b = 283/21 - 99/7. Suppose -j = -0*j. Which is smaller: j or b?
b
Suppose 27 = 4*v - 7*v. Let r(c) be the first derivative of c**3/3 + 9*c**2/2 + c - 1. Let d be r(v). Which is bigger: 2/5 or d?
d
Let d = 3/26 + -61/78. Suppose 28 = 5*h - 17. Suppose 0 = -5*g - l - h, g - 4*l = 3*g + 18. Are g and d equal?
False
Suppose 5*j - 3*h = 9, j + 0*h = -4*h - 12. Let m = -1 - -5. Suppose -z + 9 = -m*z. Is j != z?
True
Suppose 5*z - 3*y + 8 = 0, 0 = -2*z - 3*y + y. Let f be ((-1120)/(-558) - 2) + 0. Let s = f - -89/558. Which is smaller: z or s?
z
Let s be (1 + 1)/(5 + -1). Is s bigger than 0.4?
True
Let y = 42 + 8. Is y less than or equal to 52?
True
Let d = -38194/9 + 4238. Is -6 < d?
True
Let t be (-10)/15*6 + -4. Are -7 and t equal?
False
Suppose -2*h - 2*v - 1 = -3*v, 0 = 4*h - 3*v + 3. Let k be (-28)/(-33) - 4/6. Which is smaller: k or h?
h
Let n(v) = -v - 5. Let y be n(-4). Is 1/6 != y?
True
Suppose 2*i = -2*i + 8. Is -2 less than or equal to i?
True
Let i(a) = 8*a**3 - a. Let v be i(1). Suppose -5 - v = -4*p. Which is smaller: p or 4?
p
Let r(u) = 2*u**3 - 3*u**2 + 3*u. Let w be r(3). Let i be w/8 - (2 - -2). Which is smaller: i or 0.03?
0.03
Let n be (-20)/(-5)*(-1 - -10). Let w be -2 + (380/n)/5. Does -1 = w?
False
Let d(x) = -7*x - 2. Let j(b) = -6*b - 3. Let p(y) = 5*d(y) - 6*j(y). Suppose 4*o = 3*z - 16, -4*o + 5*z = o + 15. Let g be p(o). Which is smaller: g or 1/5?
1/5
Suppose 3 = q - h + 8, 5 = -2*q + h. Which is bigger: 22/25 or q?
22/25
Let k = -3/46 - -131/598. Let q = -34 + 34. Are q and k nonequal?
True
Let i be -1 + (0 - 20/(-14)). Suppose -5*a - 7*a = 0. Which is greater: i or a?
i
Suppose 0 = z + 3*z. Let q be (-10)/24 - (-8)/32. Are q and z nonequal?
True
Suppose 6*r = 3*r + 21. Let u = -10 + r. Let s(b) = b + 1. Let o be s(-1). Which is bigger: o or u?
o
Suppose 5*v = 5*n - 0*v, 0 = -3*n + v. Do n and 3/20 have the same value?
False
Let v = 9.4 + -14. Let r = -4 - v. Let u = -0.4 + r. Is 1/5 >= u?
True
Let k = 162 + -154. Suppose 4*s = -3*p + 40, 0 = 2*p - s - 11 - 1. Is k >= p?
True
Let h = 0.4 - 0.26. Let t = h + -0.04. Is t at most as big as 0.2?
True
Let o(w) = -4*w + 1. Let a be o(8). Is a < -32?
False
Suppose -l = -2*l - 10. Let x be (4/l)/((-14)/(-20)). Which is bigger: 0 or x?
0
Let r = -118 + 102. Is r bigger than -16?
False
Let b(g) = -g**3 - 5*g**2 - 6*g - 5. Let h be b(-4). Are 2 and h nonequal?
True
Suppose -6*o = -o - 15. Suppose -6 = o*z, r + 14 = 3*z - 6*z. Let c = 17 + r. Which is smaller: 10 or c?
c
Let g = 86 + -81. Is 3 smaller than g?
True
Suppose -4*k + 11 = q, 3*q = 3*k - 7*k + 17. Let u(g) = -g**2 + 4*g - 4. Let d be u(q). Is -6/13 at least d?
True
Let t be 2 - (4 + -3) - -3. Suppose 5*u - 12 + 33 = -4*y, 3*y + 16 = -t*u. Which is greater: u or 1/4?
1/4
Suppose 6*l - 10 = 5*g + l, 4*l = g + 17. Let x = 6 + 4. Let k be (g/(-15))/((-2)/x). Which is smaller: 0.1 or k?
0.1
Let t = -124 + 131.87. Let m = t + 0.13. Is -1/4 > m?
False
Let y(t) = -7*t**2 + 7 + 12*t**2 - 4*t**2. Let l be y(-3). Are l and 16 equal?
True
Let c = -6.3 - 1.7. Let m = 8.06 + c. Which is smaller: m or -2/3?
-2/3
Let f be 20/(-16) - (-1)/4. Let k = 0 + f. Let d be (1/5)/((-1)/2). Is d smaller than k?
False
Suppose -b = 3*b. Let i = -235 + 1409/6. Which is greater: i or b?
b
Let y = -2 - -10. Let g = 4 - y. Is -5 greater than g?
False
Let f(q) = -q**3 + 4*q**2 + q - 3. Let h be f(4). Which is bigger: 7/4 or h?
7/4
Let j = -3 - -0.4. Let y = 3 + j. Which is greater: 2 or y?
2
Suppose 2*r = 7*r. Let s be (r/(-2) + -1)/(-1). Suppose -b + 4*z - 11 - 10 = 0, b = -4*z + 19. Which is smaller: b or s?
b
Suppose 0 = 2*t + t. Suppose t = 3*o - 2*o. Which is smaller: o or 3/11?
o
Let x = -706/63 + 80/7. Is -1 less than or equal to x?
True
Let v be 2/(-4) - (-19)/2. Suppose i + 3 = 8. Suppose i*n - v*g + 5*g = 16, n - 20 = 5*g. Is -1/4 > n?
False
Suppose 5*t - 48 = 12. Which is smaller: t or 9?
9
Suppose 0*z + 8 = 2*z. Suppose 4*n - 5*r + 29 = 0, -r + 1 = -z. Are -1 and n equal?
True
Let c = -4 + 8. Let h = 5 - 2. Let t = 3.1 - h. Which is smaller: t or c?
t
Let h be (1 + 1 - 2)/3. Is 3/10 < h?
False
Let a = 2 + -1. Let d = a + -1. Suppose -3*y = -4*t + 4, d = y + t - 3*t + 2. Which is greater: 4/7 or y?
4/7
Suppose o + 0 = 10. Suppose -o = 4*q - 6. Which is smaller: q or 1/3?
q
Let p(w) = -14*w**2 + w. Let d be p(1). Is -14 greater than d?
False
Let t = -25.99 - -29. Let c = 0.01 - t. Let n = 0.03 - 0.03. Is c at most n?
True
Suppose 3*t + 5*s = 18, 0 = -3*t + 2*s + 3*s + 18. Let d(m) = -m + 13. Let h be d(7). Is h at most t?
True
Let c = -2.9 + 3.4. Let d be (24/10)/(15/50). Let x be 14/d + 2/(-1). Is c greater than or equal to x?
True
Let v = -246 + 1971/8. Suppose 0 = c + z - 10, -7*c = -2*c - 5*z - 10. Suppose i = -4*a, a + 4*i = c*i + 9. Which is smaller: v or a?
v
Let g = -8/15 + -29/30. Is -1 at most as big as g?
False
Let f(w) = w**2 - 7*w - 3. Let a be f(8). 