 Solve -5*l = z + 12 for l.
-5
Let h be -12 - -8 - (-5 - -1). Solve -m - 2*m + 6 = h for m.
2
Suppose 0 = 5*i - 19 - 6. Let l be (3/2)/(i/10). Suppose t = -3*b + 6*t + 15, t + l = 0. Solve -4*y + b*y = -12 for y.
3
Let k(z) = z**2 + 7. Let t be k(0). Suppose 2*d = 3*x + 4, -5*x = -3*d + t - 2. Suppose -x*c + j + 16 = 0, -4*c - j = -4*j - 36. Solve c*p = p - 15 for p.
-3
Let t be (1 - 2)/((-1)/2). Let p be 1 + 1 - (0 + 0). Solve -p*c = t - 0 for c.
-1
Let l(v) = -v**2 + 13*v + 18. Let b be l(14). Let d be (-1)/(-2) - (-6)/4. Suppose -p - b*s + 7 = 0, d*p - 4*s + s = 14. Solve 2*x = p*x + 25 for x.
-5
Suppose -i + 20 = -4*z, -4*z = 2*i + 2*i. Let b be (1 - 1)*2/(-4). Suppose 5 = s - u + 6*u, -4*s + 5*u + 70 = b. Solve -l = -i*l - s for l.
-5
Let n be 22/6 + 8/6. Solve -13 = n*l - 38 for l.
5
Let n be (-6)/(3*-1) + 3. Suppose -n*s = -18 + 3. Solve s*l + 13 = 4 for l.
-3
Suppose -3*w - w = -508. Suppose 9 = j - 2*i, 5*j + 0*j = -5*i + 15. Suppose 5*c - 101 = -3*z + 18, 0 = -j*c + z + w. Solve -4*x - x - c = 0 for x.
-5
Let c be (25/3)/(1/3). Let w be (-6)/21 + 69/21. Suppose -20 = -w*y - 8. Solve -y*f + c = -9*f for f.
-5
Let g(f) = f**2 - 6*f + 3. Let k be g(6). Solve 0 = -k*b + 9 - 0 for b.
3
Suppose 0 = -f + 3*f - 6. Suppose -86 = -5*g + 24. Suppose g = 4*o + b, -o + 12 = 3*o - 4*b. Solve -o = f*z + 4 for z.
-3
Let z be (-120)/16*(-4)/6. Let n = 0 + 0. Solve n = -z*j - 7 - 8 for j.
-3
Let q = -10 - -12. Suppose -q*b = -z - 5, 2*b - 2 + 12 = -2*z. Solve 0 = 4*d - 20 - b for d.
5
Let d = -17 + 18. Solve -3*a - 4 + d = 0 for a.
-1
Let a be 26/6 + (-4)/(-6). Solve 0 = -0*x + x + a for x.
-5
Suppose 8 = 2*j + 2*j. Let q(k) = -k**3 + 48. Let w be q(0). Let n = -28 + w. Solve -j*v = -6*v - n for v.
-5
Suppose 0 = 2*b - 4*b + v + 8, 0 = 3*b - 3*v - 15. Let y(q) = -2*q**2 + 8 - q**3 - b*q**2 + 0*q**3 - 7*q + 2*q**3. Let n be y(6). Solve -r = r - n for r.
1
Let g(w) = w**2 + 8*w + 7. Let c be g(-7). Let x(l) be the third derivative of -l**5/60 - 5*l**4/24 + l**3 - 5*l**2. Let h be x(-5). Solve c*u = -2*u + h for u.
3
Suppose 4*m + 3 = 11. Let o(k) = k**2 + 5*k - 2. Suppose 0 = 4*b - 4*q + 17 - 1, 4*q + 20 = -2*b. Let s be o(b). Solve 0 = s*w - 3*w - m for w.
2
Let i = 5 - -2. Let y(n) = n - 3. Let d be y(-6). Let t = -4 - d. Solve t*s + i = 32 for s.
5
Suppose 3*g = -2*p + 2, -3*p + 0*g = g - 10. Suppose -w + 1 = -3*v + w, -4*v = -2*w. Let f be v + -2 + 2*5. Solve -l + f = -p*l for l.
-3
Suppose 4*d = -19 + 7. Let k be 0 + 0 - d/1. Solve -k*n - 12 = -0*n for n.
-4
Let l(z) = -4*z - z**2 - 8 + 7 + 2 + 2. Let v be l(-4). Solve -7 + 1 = v*s for s.
-2
Let s(i) = 9*i - 1. Let f be s(1). Let q(x) = x**3 - 6*x**2 + x - 4. Let g be q(6). Suppose -3*t + f = h, -2*h + 4*t = g*h. Solve h*y = -0*y + 6 for y.
3
Let k(r) = -13*r + 9. Let x be k(0). Solve 4*a = -x - 11 for a.
-5
Let x(d) = -d - 2. Suppose -3 - 1 = -o. Let y = o - 7. Let m be x(y). Solve s + m = 5 for s.
4
Let s be (-3)/15 - (-72)/10. Suppose -4*p + 5*f - s = -0*f, -3*f + 5 = -2*p. Solve -p*y - y - 12 = 0 for y.
-4
Let y = -1 - -1. Let r = y + 4. Solve -3*x = -r*x - 3 for x.
-3
Let v(c) = -c**3 + 6*c**2 - 7*c + 3. Let z be v(5). Let n be 1/(-2)*(3 + z). Let g(i) = 2*i**3 - 3*i**2 + i. Let m be g(2). Solve 0 = m*s - n*s - 8 for s.
2
Suppose 5*i = 11 + 9. Solve 0*t = i*t for t.
0
Let a be 3/7 - (-32)/7. Solve -a*l = -24 + 9 for l.
3
Suppose -4*d = -5*d. Solve d = 4*g - 2*g - 6 for g.
3
Suppose c - 15 = -3. Solve 0*a = -4*a - c for a.
-3
Suppose -8 = -4*c - 0. Solve c + 2 = -o for o.
-4
Suppose 13 = -5*s + 43. Solve 3*f + s = -9 for f.
-5
Suppose 3*k = o - 7 - 2, -3*o + 2*k = -13. Let c be 36/16 + o/(-12). Solve -2*m - c*m = 8 for m.
-2
Let s(n) = -5*n**3 - 6*n**2 + 6*n - 4. Let a(m) = m**3 + 1. Let l(b) = 4*a(b) + s(b). Let d be l(-7). Solve -6 = -d*w + 4*w for w.
2
Let w = 0 + 3. Let o be (-3)/(((-18)/10)/w). Suppose -o*q = -0*q. Solve -i = -1 - q for i.
1
Let i(x) = x**2 - 15*x - 13. Let b be i(16). Solve 0*u - 3*u = b for u.
-1
Let a(l) = 2*l**3 + l**2 - l - 2. Let w be a(-2). Let f be (-30)/w + (-2)/4. Solve -2*z = -0*z + f for z.
-1
Suppose -2*h - 3*p - 4 = -p, 3*h - 8 = 4*p. Suppose 0 = -2*u - h*u. Solve -15 = -5*z - u*z for z.
3
Let s(f) = -2*f + 6. Let m be s(3). Let p(n) = -n**2 + 6*n + 7. Let r be p(6). Solve -2*b + r*b - 5 = m for b.
1
Let o be 6/(-33) + (-336)/(-33). Solve 0 = -3*k + 5*k + o for k.
-5
Let k = 21 - 24. Let b = k - -3. Solve x = 3 - b for x.
3
Let f(s) = s**2 - s + 2. Let j be f(2). Solve j*y - y = 0 for y.
0
Let y be 3*-5*3/(-3). Suppose 0 = 3*w - 3*o, -4*o + 0*o = -20. Suppose 0 = -0*d - w*d + 20. Solve n - y = -d*n for n.
3
Let i(u) = 3*u + 11. Let j(g) = -g. Let l(k) = i(k) + 2*j(k). Let t be l(-7). Solve 0 = -t*f + 1 - 21 for f.
-5
Let r(z) = -4*z - 10. Let k be r(-4). Let p be 0 - 1/(-2)*k. Solve -p = -0*w - w for w.
3
Let h = 15 - -10. Solve 0*v - h = -5*v for v.
5
Suppose -2*b + 6*b = 8. Solve h + b = -0 for h.
-2
Suppose -3*q = -31 + 7. Let c(n) = -n**3 + 8*n**2 + 2*n - 11. Let b be c(q). Solve 0*r = b*r + 15 for r.
-3
Let h = 48 + -44. Solve -h*q = q - 20 for q.
4
Suppose -2*g - 1 = -0*j - 3*j, -j + 5 = 4*g. Suppose 4*l = 5*l - g. Let h be (l + -1)*(-3)/(-3). Solve 3 = -h*a + a for a.
3
Let d(c) = -c - 16. Let z be d(-13). Let v be 0/(-1*(-2 - z)). Solve v = -5*w + 4*w + 3 for w.
3
Let f = 15 + -7. Suppose 3*x - 9 = 15. Solve 4*m - x = f*m for m.
-2
Suppose 0 = -5*c + 4*h + 100, -5*c + h + 100 = 3*h. Solve 5*v - v = c for v.
5
Let m be (-5)/(-30) - 17/(-6). Let x be 2*(8/2 - m). Solve x*v + 3*v - 25 = 0 for v.
5
Suppose -4*j + 2*x + 100 = -3*x, -5*x = 4*j - 60. Suppose 2*q - r - 5 = -1, 0 = 5*q + 5*r + j. Solve f + f = q for f.
0
Let z = 5 - 2. Let q = 1 - 6. Let c be q/10*(1 - 1). Solve -z*f = -c*f for f.
0
Suppose -16*o - 15 = -21*o. Solve -b - 10 = -o*b for b.
5
Let c(b) = -b**2 - 7*b - 1. Let h be c(-6). Solve h*g + 5 - 30 = 0 for g.
5
Let h be (-6)/8 - 42/8. Let y be 7 + 3/(9/h). Suppose -3*r + y*r = 0. Solve r*j + 1 = j for j.
1
Let u(f) = -3*f + 3*f + f. Let l be u(0). Suppose -7*w + 40 = 12. Solve l = -2*m + w + 4 for m.
4
Suppose -i + 4*x + 15 = 3*x, 10 = 2*i + 2*x. Suppose -v + 5 = -i. Solve 4*t = t + v for t.
5
Suppose 5*o + 15 = -0. Let s = o + 5. Solve -2*u = -0 - s for u.
1
Let d be (0/(2 - -1))/2. Suppose 0 = -p + 6*a - 3*a + 17, -3*p - a + 1 = d. Solve -q - 1 = -p for q.
1
Let w be ((-10)/5)/(2/(-7)). Solve 8 = 5*g - w for g.
3
Let y be 1/(1/18*-2). Let a be (0 - 1)/(3/y). Let d be (-2*3)/(-1) - a. Solve 0 = g - d*g - 8 for g.
-4
Suppose 0 = 9*j - j. Solve j = -p + 5*p + 12 for p.
-3
Suppose -d - 3 + 7 = 0. Suppose -3*s - 4*q = -11, 17 = -0*s + 3*s - 2*q. Solve s*z + 11 = -d for z.
-3
Let a(h) be the second derivative of h**4/12 - h**3/2 - 2*h**2 - 2*h. Let j be a(4). Let d be (-1 - 0)*(0 + 0). Solve d = -j*q + q - 1 for q.
1
Let q be (-1)/(-1) - (2 + -11). Let j(z) = -z**3 - 7*z**2 - 3*z - 5. Let p be j(-7). Let h = p - q. Solve -1 = m - h for m.
5
Let z be 2*10/4 - 3. Solve z*a + 2*a = -4 for a.
-1
Let v be (3 - 1)*(0 + 12/8). Solve -v*z + 4 - 10 = 0 for z.
-2
Let l(d) = -d**3 - 8*d**2 + 23*d + 35. Let b be l(-10). Solve -3*p + 2 = b for p.
-1
Let l(n) = -n**3 - 3*n**2 + 3*n - 2. Let b be l(-4). Suppose 9*z - b = 4*z - 2*q, z - 4*q + 4 = 0. Solve z = 4*j - 3*j - 3 for j.
3
Let a = -21 - -29. Solve 0 = -0*u + 2*u - a for u.
4
Suppose 2*v = -0*v. Suppose v*s + 39 = 3*s. Let y be 4 + -1*(1 - 0). Solve -y*b = s - 1 for b.
-4
Let d(q) = q**2 + 6*q. Let g be d(-7). Let s be (-1 - (-1 + 2)) + g. Solve 0 = 5*v - 25 + s for v.
4
Let z(q) = -q**3 + 6*q**2 + 9*q - 4. Let i be z(7). Suppose -5*a + i = -15. Solve -o + a*o = -16 for o.
-4
Suppose -18 = -5*h + 2*r, -h - 12 = -3*h + 2*r. Solve -h*b + 6*b = 0 for b.
0
Let k(c) = c**2 - 10*c - 54. Let t be k(14). Solve 0 = -t*q + 12 - 4 for q.
4
Let s(g) be the second derivative of -g**4/12 + 7*g**3/6 - 2*g**2 + 8*g. Let z be s(5). Solve -14 + z = -2*r for r.
4
Let x = -4 + 7. Suppose 16 = v + x*v. Solve l + 9 = v*l for l.
3
Suppose 0 = -3*f + 9, 4*u + 2*f = 8 + 22. Solve n - u = 3*n for n.
-3
Let i be (18/9 - 4) + (-11)/(-1). Solve 4*w = 7 + i for w.
4
Suppose -3*a - 4*d + 30 = d, 4*a + 2*d = 26. Let l be (-80)/(-24)*(-3)/(-2). Suppose -5*x - 20 = -l*c, 3*c - 4 = -4*x + 1. Solve a - c = -p for p.
-2
Suppose 4*g =