b be u(l). Let p be 1 + b + 19/1. Solve 5*i = -p + 6 for i.
-3
Let y be -4 - (-9)/((-18)/(-8)). Solve y = -2*k - 8 for k.
-4
Let y(m) = 2*m - 1. Suppose 5*k = 7 + 13. Suppose -5*j + 24 = z - 3*z, k*z - 8 = -4*j. Let v be y(j). Solve v*g = 4*g - 12 for g.
-4
Suppose -3*z + 17 = 2. Solve t - 4 = -z for t.
-1
Suppose 11 + 34 = 5*r. Suppose 0 = 3*o - r, -3*i + 6*i - 9 = -3*o. Solve i*h - 12 = 3*h for h.
-4
Suppose -3*k - x + 8 = 3*x, -3*x = 3. Solve -15 = -a - k*a for a.
3
Let k be ((-34)/10 + 4)*35. Suppose -24 = -5*a + k. Let u be (-5)/1*(-1 - 0). Solve u*x - 16 - a = 0 for x.
5
Let q = 2 - -1. Let r(u) = u - 2. Let h be r(6). Solve 0 = q*w - 2*w - h for w.
4
Suppose 2*a + 12 = 7*w - 3*w, a - 3*w + 11 = 0. Let g(f) = 0*f**2 - 3*f**2 - a*f + 2*f**2. Let d be g(-2). Solve -5*c + d*c + 2 = 0 for c.
2
Suppose 5*w + 29 = 3*f, 0 = -7*f + 3*f + w + 16. Solve -j - f = -8 for j.
5
Let y = 16 - 11. Suppose -4*l + 4 = -12. Suppose c - l*c = -9. Solve -y*s = 2 + c for s.
-1
Let u = 3 + 2. Suppose 2*a = u*a. Suppose 0 = -2*h - 2*r + 18, 2*h + a*r - 17 = -r. Solve 0 = 5*c + 3 - h for c.
1
Let k = 15 - 8. Solve -5*p - k + 2 = 0 for p.
-1
Let b(j) = -j**3 - 6*j**2 - 6*j - 3. Let q be b(-5). Solve 4*r - 18 - q = 0 for r.
5
Suppose -17 + 15 = -l. Solve -5*r + 6 = -l*r for r.
2
Suppose b + 7 = 3*c, 4*c - b - 16 = -5. Solve 0 = -3*n + c*n - 3 for n.
3
Let x be (-6)/12*(-4)/1. Suppose -5*y = 3*a - 14, 2*y + 0*a + x*a = 4. Solve y*u - u = 9 for u.
3
Suppose -4*g - 15 = -43. Solve 0 = 3*n - g*n + 8 for n.
2
Suppose 3*g + 0*g = -y - 13, 25 = -5*g. Solve y*x = -2*x + 20 for x.
5
Let b be (21/(-6) + 2)*-2. Solve b*m - 6*m = 12 for m.
-4
Let h = -22 + 24. Solve i + i = h for i.
1
Let w(j) be the first derivative of j**3/3 - 2*j**2 - 8*j - 1. Suppose -2*z = -3*z - 5*c - 4, 3*z - 24 = 3*c. Let i be w(z). Solve 3*f - i = f for f.
2
Let j be 0*((-25)/(-5) + -6). Suppose -2*b + 6 = -2*g - 4, -2*b + g = -6. Solve j*k - k = b for k.
-1
Let r(v) = -v**3 + 6. Let x be r(0). Suppose x = 2*g - 10. Suppose 2*f + 2*b - 4 = 0, -2*b = -f + g - 0. Solve -q + 20 = f*q for q.
4
Let a = -21 + 29. Solve -a = 4*m - 0*m for m.
-2
Let u(m) = -m**2 + 8*m - 7. Let v be 130/25 - 2/10. Let f be u(v). Let o = f + -4. Solve o*n = 4 + 16 for n.
5
Let c be 8 - -3*12/9. Solve u - c = -3*u for u.
3
Let l be (-4)/6 + (-22)/(-6). Suppose -l*i - 6 = -6*i. Let x(y) = y**3 - 6*y**2 + 5*y + 3. Let b be x(5). Solve i*c - b*c = 2 for c.
-2
Let m = 10 - 6. Let k be (m - 4/4)/1. Solve k = -2*t - 1 for t.
-2
Let f(g) = -g. Let r be f(0). Suppose r = 4*p + 7 + 9. Let q = 10 + p. Solve w = -q + 4 for w.
-2
Suppose -3*u - 3*h = -0*u - 33, 0 = 3*h - 6. Suppose -u = -3*r - 4*m + m, -4*m + 12 = r. Solve 5*n + 7 + 8 = r for n.
-3
Suppose 2*z = -8 + 14. Solve 2*l - z + 1 = 0 for l.
1
Let g be 8/20 - 16/(-10). Suppose -g*c = -b - 8, -9 = -c - 2*b - 0*b. Let f = 13 - 13. Solve o + 0 - c = f for o.
5
Suppose 0 = 4*o + n + 2 + 9, 3*o - 3*n = 3. Let r(l) = 2*l**2 + 2*l + 1. Let t be r(o). Suppose 2*f + 4 = -2*y, -y - t*f = 2*y + 16. Solve y*g = g + 10 for g.
5
Let x be (-325)/(-117) - (-2)/9. Solve 15 = x*u - 0*u for u.
5
Let p be (-6)/3 + (-1 - 17). Let m = p - -25. Let c = 2 - 2. Solve -m*v + 0*v + 10 = c for v.
2
Let w be 0 - -6*(-1)/(-2). Solve 0 = -w*q + 7*q for q.
0
Suppose 5 = 2*k - 4*k - 3*c, -2*k - 5*c = 11. Suppose 0*s = -s - k*f + 2, -3*s - 4*f + 8 = 0. Solve s*x - 9 = -1 for x.
2
Let v be -3 - -1*6 - 27. Let w = v + 17. Let g be 400/28 + 2/w. Solve 0 = 3*y - 2 + g for y.
-4
Suppose 4*h = 5*h - 3. Solve c + h*c = 0 for c.
0
Suppose -s = -4 - 1. Suppose 5*p + 4 = -2*u, -u - 5*p = 2 + 5. Solve -s*d - u = 7 for d.
-2
Suppose -3*v - 15 = 0, 3*v + 7 = 3*h - 20. Suppose -2*x + 3*x + 6 = 0. Let k(u) = u + 11. Let n be k(x). Solve -h*d + 1 - n = 0 for d.
-1
Let u(f) = 2*f + 2. Let o be u(3). Let c(r) = r**2 - 6*r - 3. Let a be c(o). Suppose 2*i + 25 = -3*i, -i = -2*l + a. Solve l*p - 19 = 1 for p.
5
Let g(a) = a**3 + a**2 - 4*a. Let d be g(-2). Suppose 4*x = 2*v - 0*v - 6, 0 = -4*v - 4*x - 12. Let s be -2*1*v/1. Solve -s - d = 2*p for p.
-3
Let i be ((-72)/168)/((-1)/7). Solve c = -0*c - i for c.
-3
Let u = 2 + 3. Let h = u - 2. Let c = 3 - h. Solve 3*z + 0*z - 15 = c for z.
5
Let j(v) be the third derivative of -v**6/120 - v**5/15 - 5*v**4/24 - 2*v**3/3 - 6*v**2. Let t be j(-3). Solve 0 = -2*m + 3*m - t for m.
2
Suppose 4*c + t + 10 = -33, 4*c + 58 = 2*t. Let y = 22 - 5. Let m = y + c. Solve 3 + m = -2*w for w.
-4
Suppose 0 = -4*v - 0 + 8. Let k be (v - 0) + (-12)/2. Let x = 11 + k. Solve -x*n = -2*n + 10 for n.
-2
Let x be ((-2)/6)/((-1)/9). Solve -k + 1 + x = 0 for k.
4
Let b be (-16)/9 + (-12)/54. Let r = b - -5. Let p be ((-1)/r)/(1/(-9)). Solve p*q = q for q.
0
Suppose -3*a + k = -18, 4*a - 3*k - 24 = -6*k. Solve 0 = -5*d + a*d for d.
0
Suppose 2*s + 5*w + 14 = 0, 3*w + 16 = -w. Suppose 10 = 5*v, 5*j + 0*j - s*v + 6 = 0. Suppose -n + 3 + j = 0. Solve n*z + 15 = 8*z for z.
3
Let i = 85 - 82. Solve 4 = h + i*h for h.
1
Let d be 38/14 - (-4)/14. Let r = 0 + d. Suppose 3*p = 6 - r. Solve -l + p = -2 for l.
3
Suppose -v - i + 5 = 0, -2 = 3*v - v - 2*i. Suppose v*c - 5*u - 2 - 12 = 0, 4*c - 5*u - 18 = 0. Solve 0 = c*k + 2 - 4 for k.
1
Suppose -4*u = 5*s - 5, s - 2*s - 2*u + 1 = 0. Let w = s - 0. Solve h + 0 = -w for h.
-1
Let f be ((-6)/(-4))/((-3)/(-4)). Suppose f*y + 0 = 4. Suppose -21 = -y*q - 7. Solve 3*v + q - 1 = 0 for v.
-2
Let j(g) = g**2 + 4*g - 10. Let h be j(-6). Solve h*c = -2 - 2 for c.
-2
Suppose 4*s + 0*l - 17 = -3*l, 2*s + 2*l - 10 = 0. Solve s*x = -x - 12 for x.
-4
Let n(g) be the second derivative of -g**3/6 + 7*g**2 - 6*g. Let b be n(9). Solve b - 4 = -o for o.
-1
Let b(j) = -3*j - 15. Let f(n) = n - 1. Let d(r) = -b(r) - 2*f(r). Let a be d(-13). Solve a*w + w = 20 for w.
4
Let k be 1*((-16)/24 - 4/(-6)). Suppose 0 = 3*u + 2*j + 2*j - 9, 4*j + 15 = 5*u. Solve -u*z + k = -6 for z.
2
Suppose 3*t = 3*d + 12, 0*d - 2*t = 3*d - 3. Let g = d - -4. Solve -g*y = y for y.
0
Let l(s) = s**3 + 8 - 3*s**2 + 6*s**2 + 5*s**2 - 2*s**3. Let k be l(8). Solve 2*o = -k - 2 for o.
-5
Suppose 26 - 6 = 4*d, -r - 4*d + 24 = 0. Solve 2*n = r - 2 for n.
1
Suppose -3*s = 2*s - 10. Suppose -n + 2 = 5*l, s*l = 4*n - 4 - 4. Solve 3*x + x = l for x.
0
Suppose 0 = -4*c + 2*l + 32, -l - 45 + 2 = -5*c. Solve -2*k + 1 = c for k.
-4
Let s(p) = -8*p**3 + p**2 + p. Let k be s(-1). Solve o + k = -o for o.
-4
Let r(c) = -c - 6. Let b be r(-6). Suppose 0 = n - y + 5*y - 1, 2*y - 2 = b. Let t be (-3 + 2)/1 - n. Solve -t*o = -0*o for o.
0
Suppose 0 = 63*b - 61*b - 6. Solve -b*h + 2*h + 5 = 0 for h.
5
Suppose 4*d = -5*r + 18, -3*r = 5*d - 24 + 8. Let s be (-1)/(r*1/2). Let y(i) = 6*i**2 + 2*i + 1. Let a be y(s). Solve 5*u + 0*u = -a for u.
-1
Let z = -111 - -200. Let c = z - 64. Solve -2*j = 3*j - c for j.
5
Let i = 57 - 10. Suppose 4*o = 3*s - i, -6*s + 5*o + 61 = -2*s. Solve -16 - s = 5*l for l.
-5
Let b = 14 + -13. Solve b = -k - 1 for k.
-2
Let r(g) = 4*g**2 + g - 3. Let v be 6/(-2) - 2*1. Let b be r(v). Suppose -5*a + 3*z = -b, 4*a - 61 - 19 = -4*z. Solve -a = 4*f - 3 for f.
-4
Let o(v) = -v**2 + 6*v. Suppose -3*u = g, g - 3*u - 18 = -g. Let y be o(g). Solve n + 1 + 3 = y for n.
-4
Let c = 124 - 123. Solve 3*b - c = -10 for b.
-3
Let u be 3*(-30)/10*4/(-18). Solve u*v - 6 = -8 for v.
-1
Suppose -3*g = -5*l - 17, 2*g - l = 4 - 2. Let b be 4 + g - 5/5. Solve 5*u + 8 = -b for u.
-2
Suppose 4*a - 379 = -99. Let v be 2/6 + a/6. Solve 2*o + 2 = v for o.
5
Let l be ((-1)/(-4))/((-15)/(-120)). Solve 0*b = -l*b for b.
0
Let h = -25 + 32. Let x(u) = u**3 - 7*u**2 - u + 9. Let o be x(h). Solve b = o*b for b.
0
Suppose -4*x + 184 = -4*u, 3*x - 8*x + 62 = -u. Let l be u/(-10) + (-1)/5. Suppose t - l*i - 6 = -4, 4*t - 8 = 3*i. Solve -t*s = s for s.
0
Suppose 4*k = -12 - 4. Let z = k + 22. Suppose 6 = 2*g - 2*a, -4*g + a + z - 3 = 0. Solve g*x + 14 + 2 = 0 for x.
-4
Let q be (2/5)/((-8)/(-40)). Let f be 22/11*17/q. Suppose 0 = 3*n - k - 26, 3*k + 11 = -4. Solve 2*a = -n + f for a.
5
Suppose -4*q - 4*u + 16 = 0, 5*u + 0*u - 20 = 3*q. Let r = 15 - 11. Solve q = -2*k - r + 10 for k.
3
Let w be 3 + 6/(0 + 3). Suppose w*u + 8 = 23. Suppose -v - v + 3*b = 1, -9 = -u*v + b. Solve 3*r = v*r for r.
0
Let p(r) = 2*r**2 - 5*r + 2. Suppose -g - 14 = -3*o + 4*g, 5*o