lve 4*l + m*l = 0 for l.
0
Let s(k) = 2*k - 8. Let q be s(5). Solve 1 + 3 = -q*x for x.
-2
Let g(s) = s**2 + 32*s + 7. Let j be g(-32). Solve j*r + 15 = 2*r for r.
-3
Let w(h) = h**3 - 3*h**2 + 5*h - 1. Let n be w(2). Solve 0 = -n*f + 4 - 9 for f.
-1
Let o = -7 + 17. Let z = 3 - 0. Solve y - o = z*y for y.
-5
Let l(i) = -i**3 + 19*i**2 - 16*i - 32. Let k be l(18). Solve k*v - 8 = -4 for v.
1
Suppose 6 - 10 = -2*h. Let c be 6/(-1 - -5 - h). Let f be (-2)/2 - (0 + -16). Solve -f = -c*x - 2*x for x.
3
Let d = 0 - -1. Let k(p) = p**3 + 3*p**2 - 13*p - 11. Let a be k(-5). Solve o + d = -a for o.
-5
Let j be 5/5*(14 - 0). Let m be (-4)/(-3) + (-2)/(-3). Suppose j = 5*c + 3*r, c - m*r + 8 = 3*c. Solve -4*n - c - 3 = 0 for n.
-1
Let d(m) = -5 - 3*m + 0*m + 9 + 5. Let s be d(6). Let r(z) = -z - 7. Let j be r(s). Solve 0 = -j*a - 4 for a.
-2
Suppose c - 5 = 1. Suppose -2*b - a - 4 = 4*a, -c = 3*a. Solve b*l - 2 = 1 for l.
1
Let r be 303/15 + (-3)/15. Solve 5*m = -r - 5 for m.
-5
Let b = 6 - 6. Suppose b = -3*i + 4*o + 1, -5*o + 20 = 4*i - 2. Let q = i + -2. Solve q = -p - 4 for p.
-5
Let v be (-22)/(-8) - 5/(-20). Solve 0*l = -v*l - 12 for l.
-4
Let x = -5 - 1. Let d(g) = -g - 7. Let b be d(-5). Let q be 20/6 - b/x. Solve -q*i = -0*i for i.
0
Let h = 431 + -427. Let j = -2 - -7. Solve h*n + 11 = -j for n.
-4
Suppose -30*d + 42 = -9*d. Suppose -g = -3*o + 11, 2*g = -4*o + 3*g + 15. Solve o*u = d*u + 4 for u.
2
Suppose -1 = 2*c + 1, -2*c = 2*s. Solve -4*g - s = -5 for g.
1
Let b(a) = a + 1. Let t be b(-1). Solve 3*d - 6 + 3 = t for d.
1
Suppose -2*l + 10 = 2*j, -6*l + 3*l + 2*j = 5. Let y be 0 + -2 + l + 12. Suppose 13 = 3*b - y. Solve 4*s = b*s + 20 for s.
-5
Let m be (-3)/((-3)/(-5)) - 1. Let q be 2/m + (-2)/(-6). Solve 2*d + 1 + 9 = q for d.
-5
Let x(c) = -8 + 22*c + 20*c - 45*c. Let o be x(-4). Solve s - o*s = -6 for s.
2
Let k(c) = -c**3 + 8*c**2 - 5*c + 3. Let j be k(7). Let w = -9 + j. Suppose 3*h = 5*t - w, -18 = -5*h - t + 6. Solve -s = -h*s + 15 for s.
5
Let s be (4/6)/((-12)/18). Let v = s - -3. Suppose -5*c = -v*c. Solve 5 = -c*m - 5*m for m.
-1
Let j be (7 - -1)/(-1 + (-15)/(-10)). Solve 2*c = 6*c - j for c.
4
Let m(i) = 4*i**2 + i + 2. Let v be m(-1). Solve -v*r = 5 - 15 for r.
2
Suppose 0 = -7*b + 3*b. Solve -3*l + b*l = -9 for l.
3
Let k be -10*((-18)/4 - -4). Solve 0 = 4*g - k + 1 for g.
1
Suppose -x + 16 = -2*l, 4*l + 44 = 4*x - 0*l. Let j be (-1*x + 2)/(-2). Solve 0 = j*t - t + 2 for t.
-2
Suppose 73 - 24 = 7*w. Let v(r) = -r**2 - 6*r + 4. Let o be v(-4). Let h = o - 7. Solve -w*j = -2*j + h for j.
-1
Let o = -18 - -22. Let u = 18 - 6. Solve u = o*p - 8 for p.
5
Let t(g) = g + 8. Let m be t(-5). Solve -6*c + 12 = -m*c for c.
4
Suppose 6 = 2*l, 4*b + 4*l = 5 + 7. Suppose 3*a - 6 + b = 0. Solve 0 = a*d + 6 - 0 for d.
-3
Suppose 2*n - 11 = 3*c + 4, 6 = 4*n + 2*c. Suppose 7*h - 7 + 0 = 0. Solve h = n*r - 5 for r.
2
Suppose -18 = 2*z - x, 2*z + 3*x + 0*x + 34 = 0. Let b(c) = c + 15. Let s be b(z). Suppose 3*q - 3*k - 39 = 0, 3*k + 42 = 4*q + k. Solve s*p = -0*p - q for p.
-2
Suppose -4*h - 4*q + 4 = 0, 5*h = -3*q - 0*q + 7. Suppose -l = h*l - 18. Let u be 10/l + 2/6. Solve -u = 3*v - 5*v for v.
1
Suppose 6*d = d + 10. Solve -d*a - a = 0 for a.
0
Let r be 26/6 - 2/(-3). Solve 4*u = -r + 25 for u.
5
Suppose 3 = -3*y + 9. Let s(c) = -c + 1 + y + 3. Let a be s(0). Solve -2*u - 2 = a for u.
-4
Suppose -4*v + 5 = -3*q - 9, 0 = 5*v + 4*q - 2. Suppose 0*h - 7 = -2*t - h, 5*t + 4*h = 22. Solve 0 = -0*l + v*l - t for l.
1
Suppose 2*j = -0 - 2. Let i be 8 - (-4 - (4 - 7)). Let n be (i/6)/(j/(-2)). Solve -n*c = -2 - 10 for c.
4
Let n(h) = -2*h - 6. Let o be n(-4). Let d be 0 + 3 + (1 - o). Solve 0 = -b - 0 - d for b.
-2
Let u be (-25)/(-4) + (-9)/36. Solve u*n = n for n.
0
Let r(i) = 2*i + 2. Let v be r(-1). Let q = -27 + 31. Let p = -2 + 2. Solve v = q*o - 4 - p for o.
1
Suppose 3*s + 0 + 15 = 0. Let r(u) = -u + 4. Let k be r(s). Suppose -5*t + 11 + k = 0. Solve i + 0 = t for i.
4
Let s(k) = -k**2 - 7*k - 7. Let n be s(-3). Solve 0 = -n*u + 12 + 8 for u.
4
Suppose 5*d - 15 = -0*d. Solve d*o = 6*o - 12 for o.
4
Let z = 44 - 65. Let f be (-219)/z - 3/7. Solve -g = g - f for g.
5
Let f(h) = -h**3 - h**2 - h - 1. Let p(x) = -3*x**3 + x**2 + 3*x - 1. Let z(w) = -2*f(w) + p(w). Let g be z(4). Solve g*s + 14 = -6 for s.
-4
Let l = -136 + 158. Solve -2 + l = -5*v for v.
-4
Let s(k) = k**3 - 14*k**2 + 2*k - 17. Let b be s(14). Suppose -24 = -4*u + 3*w, 4*w = u + 2*w - b. Solve -u*n = -n for n.
0
Let h = 19 + -28. Let k = h + 13. Solve -8 - 4 = -k*p for p.
3
Suppose -2*p + 16 = -0. Suppose p = 2*n - 36. Solve 5*c + 2 = n for c.
4
Suppose -o - 2 + 3 = 0. Let z = 2 + o. Solve z*a - 6 = 3 for a.
3
Let h be 2/4 - (-14)/4. Suppose 0 = 4*b - 4 - 8. Suppose 15 = 3*n - b*r, -n + h*r + 10 = n. Solve 0 = -z - n for z.
-5
Suppose 2*f = 2, 0*t = -2*t - 5*f + 7. Suppose 0 = -u + 2*u - t. Let o(a) = 2*a**2 - a + 1. Let v be o(u). Solve l = v*l + 5 for l.
-5
Let a(c) = c - 2. Let t be a(6). Solve -t = -0*u - 4*u for u.
1
Let f(p) = p**2 - 1. Let n be f(1). Solve n = -2*a - a - 9 for a.
-3
Let d be 6*-2*(-3)/12. Solve -2 - d = -z for z.
5
Let m be 2/(-6) + 28/12. Suppose 0 = 2*h - 2, m*h - 3*h + 10 = 3*q. Solve -q*x + 4 = -2*x for x.
4
Let f be (-1)/(-1 - (-12)/10). Let y be -4 + (-2)/(-4)*2. Let o = y - f. Solve 7 = -3*i - o for i.
-3
Suppose 8*d + 2*d = d. Solve d = -c + 2 + 1 for c.
3
Let k = 67 - 63. Solve -2*b + k = 6 for b.
-1
Let v = -10 - -13. Let w(n) = -n**2 + 7*n + 4. Let k be w(7). Solve x + v*x = k for x.
1
Suppose 255 = 5*g + 5*j, -3*g + 3*j = 2*g - 247. Let d = g - 34. Solve 4*z = -d - 4 for z.
-5
Let d(x) = x**2 - 7*x - 4. Let l be d(8). Let r(k) = -k + 3. Let p be r(l). Let z = p + 3. Solve 3 = z*t - 3*t for t.
-3
Let j be 14 - (-1 - 0/3). Suppose -5*m = -j - 10, -4*m = 3*w - 20. Suppose f - 5*t - 1 = 0, w*f + 41 = 3*f + 4*t. Solve 5*p + f = 1 for p.
-2
Suppose -3*r + 5*j - 27 = j, 3*r = -5*j. Let z be 0/(0 - 3 - r). Solve -2*k = -z*k - 2 for k.
1
Let v(g) = g**3 + 3*g**2 - 5*g - 6. Suppose 0 = 4*y - 1 + 17. Let l be v(y). Let n = l - -2. Solve n = -5*b - 6 - 4 for b.
-2
Let x be (-1)/2*1*-4. Let j(i) = -8*i - 6*i**3 + i**3 + 7*i**2 + 2*i**3 + 2*i**3 + 14. Let v be j(6). Solve 2*c + x = -v for c.
-2
Let b = 29 - 24. Let s(i) = -i + 3. Let k be s(5). Let r = -2 - k. Solve -5 = b*m - r for m.
-1
Let a = -5 + 18. Let j = 76 + -69. Solve -5*b + j = -a for b.
4
Let a = -40 - -43. Solve -a*o = -o for o.
0
Suppose -l - l - 6 = 0. Let z be (-17*1)/(l - -2). Solve 5*h - 3 = z for h.
4
Let s = 7 - 7. Solve s = q - 2 - 1 for q.
3
Suppose 0 = 4*v - 20, -h + 2*v + 3*v = 24. Suppose c = h, -j + 8 = 3*c - 0. Solve 5*b = -0*b + j for b.
1
Let u(a) = -a**3 + 8*a**2 - 8*a + 10. Let l be u(7). Solve -l*c = -4*c + 4 for c.
4
Let f be (0 - 0)*1/(-3). Suppose f = -k - k. Suppose -z + 25 = -5*a, k*z - 20 = 3*z + 4*a. Solve z = 2*l - 2 - 2 for l.
2
Let m(h) be the second derivative of h**4/12 + 2*h**3/3 - 5*h**2/2 - h. Let q be m(-5). Solve c - 2*c = q for c.
0
Suppose -2*r + h = 3, 0 = 3*h + 2 - 11. Suppose r*d = -d + 9. Solve 3*i = -0*i - d for i.
-3
Let s = -6 + 9. Let m be s/(-4 - 2)*-4. Solve -3*l = m*l for l.
0
Suppose 0 = u - 8 + 4. Solve -u*m + 20 = m for m.
4
Let c = 20 - 20. Solve 3*z + 4 - 1 = c for z.
-1
Let j(t) = -t**3 - 8*t + 0*t**3 + 6*t**2 + 2*t**3 - 5. Let n be j(-7). Suppose -n*s + 8 = -16. Solve -4*q = 4 + s for q.
-4
Let r = 2 - 4. Let h(i) = i. Let a(t) = -t**2 + 3*t - 1. Let x(l) = -2*a(l) + 10*h(l). Let d be x(r). Solve 0 = -d*b + 3 + 5 for b.
4
Suppose -3*g = 0, 5*z = -g - 15 - 5. Let v = -8 - z. Let c be (-1 + -1)*6/v. Solve -c = s + 2 for s.
-5
Let y = -54 + 59. Solve 0*m + 10 = -y*m for m.
-2
Let g = -31 + 47. Solve -3*o + g = o for o.
4
Let q = 14 + -7. Let a be -2 + q - 3*1. Solve -3 = x + a*x for x.
-1
Let u = -6 + 2. Suppose -2*k = 4*g - 24, 2*k + 3*k = 0. Let h = g + u. Solve -h*r - 20 = 3*r for r.
-4
Let w = 57 - 41. Let n = 22 - w. Let z be n/3 - 0/(-2). Solve 3*t = -z*t - 25 for t.
-5
Let v(w) = -w**3 - 33*w**2 + 33*w - 23. Let t be v(-34). Solve -10 = -6*r + t*r for r.
-2
Suppose -2*j + 25 = 3*j. Let d(m) = -m. Let b be d(0). Let f be (2 + 0)/(-2)*b. Solve f = -2*v + 1 - j for v.
-2
Suppose -11*k + 61 + 38 = 0. Suppose 0 = 4*t - 12. Solve 0*h 