 2*u - 1. Let i be a(1). Let t = i - b. Solve 3*y = -t*y for y.
0
Let x(p) be the third derivative of p**6/120 - p**5/60 - p**4/24 + 5*p**3/2 - 3*p**2. Let j be x(0). Solve -j = -2*l + 5*l for l.
-5
Suppose 5*r = -5*x + 395, -5*x + 10*x - 2*r - 381 = 0. Let c = -51 + x. Let j = -12 + c. Solve 4*f + j = -2 for f.
-4
Suppose -3*b - 17 = -5*m, -b - 8 = b. Let r = m - 1. Let w = 124 + -123. Solve r*j + j = -w for j.
-1
Let l = -12 - -7. Let h = -4 - l. Let o = 4 - h. Solve w + 2 = o*w for w.
1
Let g be (0 + -1)*45/(-3). Let h be (g/4)/((-2)/(-8)). Solve 4*q = q - h for q.
-5
Let k be 55*2/(-15)*-3. Suppose -8 - 7 = -5*d + 3*r, -2*d + k = 2*r. Solve -v + d = v for v.
3
Suppose r + 1 - 7 = 0. Solve 3*w + 15 = r*w for w.
5
Let u be (1 + -3 + 5)*(4 + -3). Solve 4*f - 7 + u = 0 for f.
1
Suppose s = 4*s. Suppose 4*z = 5*f, -2*f = -s*f + z. Solve 2*l + 0*l - 8 = f for l.
4
Suppose q = -2*k - 3*k + 14, -3*q = -12. Let n be k - (-2)/1 - -2. Let w(h) = -h**2 - 7*h - 6. Let t be w(-6). Solve 4*j - 2 - n = t for j.
2
Let u(i) = -i**2 + 3*i + 4. Suppose -4*l = 3*p + 24, p + 32 = -4*l - 0. Let k be (l*1)/3 + 7. Let v be u(k). Solve v = -5*j - 0*j - 10 for j.
-2
Let u = 21 + -10. Let l be 2/u + (-124)/(-44). Solve 5*n + 12 + l = 0 for n.
-3
Let p(o) = 1. Let g(t) = 6*t + 10. Let j(z) = -g(z) + 12*p(z). Let w be j(-4). Suppose -5*q = -10*q + 4*u + w, u + 4 = 0. Solve -q*i + 1 = 5 for i.
-2
Let q(z) = 2*z**3 - 2*z**2 + 2*z - 1. Let n be q(1). Let p = 6 + n. Let i be 16/3*(p - 4). Solve 4 - i = 4*v for v.
-3
Suppose -4*x = 2*n - 3*n - 9, -4*n = 4*x - 24. Let t = n - -17. Solve -3*w - w = -t for w.
5
Let g(n) be the first derivative of n**4/4 - n**3/3 - n**2/2 + 2*n + 2. Let u be g(2). Suppose -3*h = -6*h. Solve 0 = -u*q - h + 16 for q.
4
Let a = 76 - 67. Solve 4*i - i - a = 0 for i.
3
Suppose 0 = 4*z - 5*z + 5. Suppose 3*j - a - 18 = 0, -a + 6*a = -z*j + 30. Solve -n = -j*n for n.
0
Let g be 48/28 + (-4)/(-14). Suppose -8*a + 3*a = g*t - 23, 4*t = -4*a + 28. Suppose -2*h + 6 = -t. Solve -h*m + 9 = 24 for m.
-3
Let g(u) = -u**2 + 7*u + 9. Let s(i) = -i - 1. Let t be s(-4). Suppose 3*z + 18 = -b - 2*z, t*b = 4*z + 41. Let q be g(b). Solve r + 2*r = q for r.
3
Let c be 4/((-8)/(-10))*1. Let n be -2 + 1 + (-13 - -2). Let m be 9*(-1 + n/(-9)). Solve c*g = 2*g - m for g.
-1
Let k = 89 - 81. Solve -2*y - k = 2*y for y.
-2
Let w(q) = q**2 - 2*q - 4. Let b be w(4). Solve -2*n = -4*n - b for n.
-2
Suppose 5*z - 2*z = 0. Suppose z*d = 3*d. Solve 0 = -d*j - 5*j - 10 for j.
-2
Suppose -18*y = -6*y - 48. Solve y*v = -0*v + 16 for v.
4
Let k(m) = -m**3 + 8*m**2 + m + 2. Let t be k(8). Suppose -2*c = -7*c - 2*d + t, 4*d = c - 2. Solve 4 = 2*z - c for z.
3
Let z(t) = t**3 + 12*t**2 - 12*t + 3. Let x be z(-13). Let j = x + 15. Let g(q) = 2*q - 1. Let i be g(2). Solve 4 = -i*h + j*h for h.
2
Let g(i) = i + 13. Let k(h) = -2*h**2 - 10*h + 1. Let a be k(-6). Let s be g(a). Suppose -6*w + 4*w = 0. Solve 2*y + s*y - 8 = w for y.
2
Let n = -31 + 34. Solve -2*q + n = -q for q.
3
Let h = 7 - 4. Suppose -x - 5 - 3 = 0. Let m = -5 - x. Solve 0 + h = -m*b for b.
-1
Let h(o) = -o + 7. Let j be -1 - ((-2 - 0) + -5). Let a be h(j). Solve 2*c + a = -1 for c.
-1
Let j = -22 - -10. Let x(w) = -w - 3. Let z be x(4). Let h = z - j. Solve -3*i - 6 = -h*i for i.
3
Let k be 0/(-1 + -3 - -3). Suppose 3*v - 8*v + 15 = k. Let t(c) = -c + 3. Let l be t(3). Solve -w + v + 2 = l for w.
5
Let x be (33/12)/(2/8). Solve 0 = -2*t - 3 + x for t.
4
Let p be ((-12)/5)/((-9)/30). Let t = 6 + -11. Let b = t + p. Solve -5*j = -b*j + 8 for j.
-4
Suppose 0 = -4*t + 3*t. Suppose t = -j + 4*j. Let o be 12/(-54) - (-40)/18. Solve 0*a + a - o = j for a.
2
Let n = -4 - -6. Solve 3*q - n = -17 for q.
-5
Suppose -2*o + i - 3 = -3*o, -5*i = -o + 9. Suppose 0*w = -3*a + 5*w + 5, 0 = -5*w - 5. Solve o + a = -v for v.
-4
Let r(g) = -2*g + 4. Suppose -2*t + u - 14 = 2*t, 3*t - 3*u = -15. Let k be r(t). Suppose i - k = -2*j, -2*j + 5*i = 2 + 12. Solve j*l = -0*l - 6 for l.
-2
Let f(q) = q**3 + 4*q**2 + 2. Let l be f(-4). Solve 2 - 6 = -l*y for y.
2
Suppose 5*x + l = 7, -l - l = -x + 8. Solve 0 = x*j - 7*j - 10 for j.
-2
Suppose -5*f = -2*l + 1, -4*l - f + 11 = -2*f. Solve -l = z - 2 for z.
-1
Let w = -30 + 32. Solve p - w = 2 for p.
4
Let i(w) = -w**2 - 6*w - 3. Let c be i(-4). Solve -3*y + c*y = 6 for y.
3
Let f = -5 - -8. Let o be 0/2*f/(-6). Solve o*l = -3*l + 12 for l.
4
Let z = 81 - 117. Let q be 8/z - 2/(-9). Solve q*g - 2 = g for g.
-2
Let c be -8*(-2 - (-6)/4). Suppose 2*q - 11 = -5*r, -5*r - c*q + 3*q = -8. Solve -h + 2 = r for h.
1
Let t be (-4)/10 - 4/(-10). Suppose -p = -5*u + 55, -u - p + 15 = -2*p. Solve t = -5*i - 0*i - u for i.
-2
Suppose -4*m - 22 = -3*g + 2*g, 2*g + 8 = -5*m. Let z = g + -2. Solve -3*b - 2 = z for b.
-2
Let o = -63 + 64. Solve 2 = d + o for d.
1
Suppose -4 = 2*m + 8. Let b = m - -6. Solve -1 = -o - b for o.
1
Suppose -2*k + 7*u - 5 = 2*u, 4*k - 4*u - 20 = 0. Solve -k + 4 = 2*s for s.
-3
Let t be (-12)/(-5)*30/9. Let s be (-10)/(-4)*t/10. Solve -s*l + 1 - 11 = 0 for l.
-5
Let i be -2*(-3)/6*2. Let w be 1/(-2)*i - 14. Let m = w + 27. Solve 4*j - 8 = m for j.
5
Suppose 12 = 5*t - t. Suppose 4*h - t*h + 4*m + 4 = 0, 0 = -4*h - m + 14. Suppose -6*b + 14*b = 0. Solve b = y + h*y for y.
0
Let x(k) = -k**2 + 6*k + 8. Let o be x(7). Suppose p - h + o = 4, 2*h - 2 = 0. Let w = -8 + 22. Solve p*l = -w - 6 for l.
-5
Let y(o) = -o**2. Let x(h) = 5*h**2 - 6*h + 5. Let u(n) = x(n) + 4*y(n). Let g be u(5). Solve -c + 1 + 4 = g for c.
5
Let n(h) = -5*h**3 - 2*h**2 - 2*h - 1. Let z(w) = -w - 3. Let u be z(0). Let y be u*((-4)/(-6))/2. Let a be n(y). Solve -a*i - 1 = 11 for i.
-3
Let u be 16/10*(52/8 + -4). Solve 11 = -5*s - u for s.
-3
Let c = -4 + 6. Solve 2*z = 6 - c for z.
2
Let q be ((-6)/(-21))/(2/7). Solve q = -v - 3 for v.
-4
Let b = -3 - -5. Let o be (-128)/(-22) - b/(-11). Solve -s - o = 2*s for s.
-2
Suppose -7*g + 3*g = 0, 2*j - 4 = -3*g. Let l be 2/(-3) + (-33)/(-9). Solve 5*r - l = j for r.
1
Suppose 12*j = -8*j. Solve 4*b - 12 = -j*b for b.
3
Let y = 86 + -86. Solve y = -4*r - 10 - 2 for r.
-3
Let l(m) = -m + 1. Let q be l(9). Let s(a) = a + 8. Let t be s(q). Suppose 0 = 4*u + 8, 5*w - 5*u - 4 - 6 = t. Solve 0 = -w*r + 2*r for r.
0
Let b be (4/5)/((-6)/(-15)). Suppose j - b*j = 0. Suppose j = -5*o + 5*u + 45, -u - 4*u - 40 = -4*o. Solve -5*k = -0*k - o for k.
1
Suppose -v + 6 = 3. Let k(j) = -j + 3. Let n(r) = r - 3. Let m be n(-6). Let u be k(m). Solve u = -v*o - 3 for o.
-5
Let t(v) = 11*v + 3. Let x be t(2). Solve g + 4*g - x = 0 for g.
5
Let p = 22 + -16. Solve p*s = 2*s for s.
0
Suppose i + 1 + 2 = 0. Let u = 5 - i. Solve 4*w = -0 - u for w.
-2
Suppose 5 = q - 3*n, 0 = q - n - 4*n - 7. Suppose -s - 2 = 0, -2*o + 8 = q*o + 4*s. Solve 0*l = -o*l for l.
0
Suppose -5*w = -w + 8, -12 = -4*b - 2*w. Solve -b*g = -14 + 18 for g.
-1
Let a be (-1 - -2)/((-2)/(-2)). Solve 4*o + 17 - a = 0 for o.
-4
Let k be 0*(18/(-4) + 4). Solve -3*u + u + 8 = k for u.
4
Let g(v) = -v**2 + 9*v + 6. Let w be g(9). Let z = w + -5. Suppose 2*b - 5 = z. Solve -5 = b*l - 2 for l.
-1
Suppose k - 3*k = 0. Suppose -2*y + 4*y = k. Let t = y + 1. Solve a + t = -3 for a.
-4
Let p(d) = 2*d**3 - d**2 - 2*d. Let h be p(2). Suppose -4*z + 0 = -h. Solve z*t = 3*t + 5 for t.
-5
Suppose 2*v - 2*u - 25 = -3*u, 2*v - 5*u = 55. Suppose -5 = -m + 2*b - 3*b, -v = -5*m - 3*b. Solve 4*a + m*a - 4 = 0 for a.
1
Let h(f) = -5*f + 1. Let c(l) = -4*l + 1. Let m(x) = 4*c(x) - 3*h(x). Let a(k) = -k**2 - k - 1. Let d be a(0). Let n be m(d). Solve 2*g = n + 2 for g.
2
Let s(q) be the third derivative of 0*q + 2/3*q**3 + 0 + 1/24*q**4 + 1/60*q**5 + 2*q**2. Let i be s(3). Solve -4*u = -0*u - i for u.
4
Suppose -5*l - 35 = -8*q + 3*q, 0 = -5*q - 5*l + 15. Let h = -5 + 8. Solve h + 22 = -q*w for w.
-5
Let o = -2 - -5. Suppose -o + 1 = q. Let c be (q - -2)*1/2. Solve 2*d - d + 5 = c for d.
-5
Let v = -18 + 20. Solve 3 = -v*f - 1 for f.
-2
Let y be 30/1*(-1)/(-2). Let u = 8 - 3. Suppose -3*j + u = -4. Solve -y = j*z - 6 for z.
-3
Suppose 5*q - 17 - 33 = 0. Solve y + q = -y for y.
-5
Let w be (7 - 3)/(-1 + 2). Let b = -2 - 0. Let k be b/(-6) + (-6)/(-9). Solve z - k = w for z.
5
Let x = 15 - 17. Let l be x/((-8)/(-12)) - -14. Solve 9 + l = 5*s for s.
4
Suppose 