lve 0*d = s*d for d.
0
Let g be (-1 + -5)*4/(-18)*3. Solve -16 + g = 3*p for p.
-4
Let l = -56 + 58. Solve l*z + 16 = 6*z for z.
4
Let t be (13 - 9)*(-3)/(-2). Solve 1 - t = -5*j for j.
1
Suppose 4*o + 3*q + 3 = 19, 3*o = 3*q + 12. Let y = o - 3. Suppose -2*d = -7 - y. Solve d*s = -0*s for s.
0
Suppose -3*b + 12 = s, -3*s + 3*b + 0*b = 12. Suppose s = 2*h - 0 + 6, -3 = j + h. Solve -o + 4 = -j for o.
4
Let f be 5 - -1*4/(-2). Let y be f*-2*6/(-4). Suppose -3*r = 2*n + y, 12 = 3*n - 4*r - 0*r. Solve 3*d = -n*d + 15 for d.
5
Let v be 8/(-28) + 408/7. Suppose v = b + b. Solve b = -4*t + 9 for t.
-5
Let c be (-16)/(-20)*5/2. Solve 3*z = -10 - c for z.
-4
Suppose -r + 1 = -0. Let k(a) = -a**2 + 5*a + 7. Let v be k(6). Let p be 32/4 + v/r. Solve 0 = -3*u + 3 - p for u.
-2
Let w(c) = 2*c - c - 6 - 5*c + 2*c. Let g be w(-4). Solve -1 + g = -h for h.
-1
Suppose 3*d = -5*d + d. Solve -3*z - 6 - 6 = d for z.
-4
Let d(n) = -n**3 + 6*n**2 - 6*n + 7. Let w be d(5). Suppose -3 = -w*r - r. Let h = r - -3. Solve 12 = h*p - p for p.
4
Let t(k) be the first derivative of k**4/4 + 5*k**3/3 + k**2 + 4*k + 2. Suppose a = -3*a - 16. Let x be t(a). Solve -x = 5*f - 2 for f.
-2
Let a be (0 + 2)*1 - 0. Let z be (-2)/(-4) - (-3)/a. Solve 5*l - 6 = z*l for l.
2
Let f(u) = -u**2 - 6*u + 5. Let a be -8*-6*(-3)/24. Let h be f(a). Suppose -h*o + 2*m = 5*m - 6, 0 = -3*o - 4*m + 8. Solve 3*l = -o*l for l.
0
Let u(c) = 10*c - 3*c**3 + 4*c**3 - 2*c**3 - 10*c**2 - 9. Let q be u(-11). Solve -q = 3*z + 4 for z.
-2
Suppose -5*k + 30 = k. Solve n = k*n - 8 for n.
2
Let u = -29 - -31. Solve -u*l - 3 = -l for l.
-3
Suppose 0 = 2*f + f - 6. Solve 10 = 3*n - f for n.
4
Let d(q) = -2*q**3 - q**2 + 4*q + 3. Let t be d(-2). Suppose 0 = 2*j - 5*v - 18, 5*j + 0*v - 24 = 2*v. Solve b = j - t for b.
-3
Suppose 0*q - 13 = -5*q - l, 0 = 4*q - 2*l - 16. Solve -f = -q*f + 6 for f.
3
Let s(x) = -x**3 - x**2 + 2*x + 1. Let z be s(-2). Solve z + 7 = 2*r for r.
4
Let c = -14 - -12. Let a be 9/6 - 1/c. Solve -3*z + 10 = a*z for z.
2
Suppose 28 = -5*w + 12*w. Solve 10 = -i - w*i for i.
-2
Suppose 3 = 2*x - 3. Suppose 0 = 5*q - 48 - 22. Solve -x*c - 1 = q for c.
-5
Suppose 0*a - 3*a + 39 = 0. Let k = a - -7. Solve -k = 3*f + 2*f for f.
-4
Let u be (-3)/8 + (-81)/(-24). Let q(s) = s**3 + 6*s**2 + 7*s + 4. Let v be q(-5). Let i be (3 - 11/u)*v. Solve i*k + 1 = -19 for k.
-5
Suppose q = -0*q - 2, -5*q = -3*z - 35. Let v = z + 32. Solve 5*s + 2 = v for s.
3
Suppose -7*x + 3*x = -20. Suppose 5*m - 5 + 15 = -x*z, -2 = 5*z + 3*m. Solve 3*o + 25 = -z*o for o.
-5
Let a = -20 + 17. Let w be 4 + (4 - (a - -6)). Solve 0 = 3*n - w + 2 for n.
1
Suppose -5*z - 3*d + 5 = d, -4*d + 3 = 3*z. Solve 2*q - 3 = -z for q.
1
Suppose 2*l - 2*q = q + 6, -9 = -3*l - 4*q. Suppose l*a + 16 = 7*a. Suppose -a*s + 9 = -h, 0 = -5*s - 0*s - 4*h + 6. Solve 5 = -k + s*k for k.
5
Let u(n) = -n + 2. Let s be u(-8). Let k = s - 8. Solve 3*j + k = j for j.
-1
Let x(l) = -l**2 - l + 10. Let z be x(-3). Suppose 5*r - v - 25 = 0, 0 = r - z*r - 3*v - 3. Solve y = -r + 1 for y.
-3
Suppose b = 2 - 1. Let r = 1 - b. Suppose 3*o - 2*o = r. Solve 4*f - f + 9 = o for f.
-3
Let k(h) = -h**3 - 11*h**2 - 11*h - 8. Let p be 0 - 7 - (-1 - -4). Let g be k(p). Solve u + g = -0 for u.
-2
Suppose 0 = 6*v + 3*v. Solve v*k - 12 = 4*k for k.
-3
Let q(n) = -n**2 - 7*n - 3. Let u be q(-6). Suppose j = -5*i + 18, -u*i + 9 = j - 5. Suppose -x - j = -2*x. Solve -3*o + x = -4 for o.
4
Suppose -15 = -0*o + 3*o, 4*u + 1 = -5*o. Solve 5*r = u*r for r.
0
Let n(q) = q**3 + q + 2. Let d be n(2). Let m be ((-3)/2)/((-2)/d). Solve m = -4*h + h for h.
-3
Let o be 2/(-2) - (3 + -5). Let q be o/4 - (-12)/16. Solve -4*n + q = -3 for n.
1
Let i = -12 + 13. Let k = -6 - -9. Suppose 0 = u - k*u. Solve u = -t - 3 - i for t.
-4
Suppose -4*v + 125 = v. Suppose 0*a - 5*a + v = 0. Solve y = a - 2 for y.
3
Let d = 2 - -1. Suppose 5*b - 2*b - 2*g - 8 = 0, -d = -4*b - 5*g. Solve 2*z = -b*z - 4 for z.
-1
Let u(b) = b - 5. Let h be u(7). Suppose h = -t + 7. Suppose p = t*p. Solve -2*n + 3*n = p for n.
0
Suppose 0 = -2*u - 3*u + 30. Suppose -7*h + u*h + 8 = 0. Solve 0*q + h = 4*q for q.
2
Suppose 0 = d - 2*d - 5*v - 6, 3*d - 3*v = 18. Let x = d - 1. Suppose -7*h = -3*h + x*g - 15, -g = -h + 2. Solve -3 = -h*p - 6 for p.
-1
Let c(r) = r. Suppose 0 = -4*t, 0 = -4*l + 4*t - 3*t + 8. Let q be c(l). Solve p - 6 = -q*p for p.
2
Let n be 2 + 6/(-3) + 2. Suppose z - n = -0*z. Solve -z*m = -7*m for m.
0
Suppose 0*o + o = 3. Let y = 3 + -3. Let n = 2 + y. Solve o = -n*u + 3*u for u.
3
Let p = -25 - -3. Let i be p/143 + 2/13. Solve 0*o + o + 2 = i for o.
-2
Let o = -9 - -20. Let g = o - 7. Solve 1 = -k + g for k.
3
Let p = -18 - -22. Solve -p + 5 = -k for k.
-1
Let v(i) = i**2 + 7*i - 1. Let n be v(-5). Let j be 0 - 1 - (n + 6). Solve 2*k - j = -2 for k.
1
Let p(w) = w + 8. Let x be p(-6). Suppose 0 = -m + 2*m + x, 3*u - m = 14. Let n be -2 - 5*(-2)/2. Solve -n = -u*f + f for f.
1
Let y(d) = d**2 + 4*d - 3. Let i(a) = 3*a**2 + 11*a - 8. Let s(c) = -2*i(c) + 7*y(c). Let w be s(-7). Solve 0 = 4*h - 18 - w for h.
5
Let h be (0 - -2)/((-6)/(-39)). Suppose -2*o + 6 = -3*z, 3*o - 4*z = -0*z + 9. Suppose o*m = 1 + 8. Solve -m = 5*f - h for f.
2
Let c be (-34)/(-187) - (-31)/11. Solve 0 = c*q - q + 8 for q.
-4
Let s(l) be the third derivative of -l**6/120 + 2*l**5/15 - l**4/24 + 11*l**3/6 + l**2. Let j be s(8). Let c be (-2 + -1)*(-10)/j. Solve -4*q = -2*q + c for q.
-5
Suppose -18 = -5*q + 2. Solve 0 = -2*w + q for w.
2
Let b be (-4)/(-16)*4 + 7. Solve -4*v = b + 8 for v.
-4
Suppose 0 = i + 4*h - 3*h, 32 = 4*i - 4*h. Suppose -i*b = -b + 2*a + 4, 2*b + 2*a + 4 = 0. Solve b = j + 3 - 6 for j.
3
Let p be -1 + 15*1/3. Solve w + w + p = 0 for w.
-2
Let t(x) = 5*x + 29. Let n(c) = -3*c - 15. Let k(y) = -7*n(y) - 4*t(y). Let l be k(9). Let z = l - -2. Solve z = -g + 5*g for g.
0
Let c(j) = 3*j**2 + 14*j + 2. Let x(m) = 4*m**2 + 15*m + 1. Let o(q) = 5*c(q) - 4*x(q). Let v be o(10). Let d be 0*(15/v - 3). Solve -u - 1 - 4 = d for u.
-5
Suppose -27 = 3*w - 0*w. Let a(b) = -b**3 - 8*b**2 + 9*b. Let n be a(w). Solve n = -k - k for k.
0
Suppose -p - 2*p = -21. Let y(q) = q**3 - 8*q**2 + 8*q - 7. Let g be y(p). Solve g*c + 1 = -c for c.
-1
Let q(h) = h**3 - 9*h**2 + 9*h - 8. Suppose -4*p - 40 = -4*l, -3*l - 4*p - 32 = -6*l. Let j be q(l). Solve -5*o + 3*o + 2 = j for o.
1
Let d(q) = -6*q - 1. Let z be d(-1). Let h(w) be the second derivative of -w**3/6 + 3*w**2 - w. Let a be h(z). Solve -l = -a + 2 for l.
-1
Suppose y + 10 = 5*f, -y = f + 2*f - 6. Let o = -2 + y. Let u = -2 - o. Solve -h - 3*h = u for h.
0
Suppose 9 = 3*y + 3. Solve -y*b = -3 - 7 for b.
5
Let j(k) = k**2 - 3*k - 3. Let l(n) = n**2 + 4*n + 4. Let y be l(-4). Let x be j(y). Solve z + x = 3 for z.
2
Let l be (-12)/15*(-30)/4. Suppose -l*c = -3*c - 51. Solve 4*d + c = 5 for d.
-3
Let j(p) = -p. Let l be j(-3). Let h = -44 + 45. Solve -5 = -l*b + h for b.
2
Suppose 4*y = -y - 15. Let u = -4 - y. Let a = u + 5. Solve a*x = -x for x.
0
Let g(t) = t**2 + 4*t. Let z be (18/(-4) - -2)*2. Let j be g(z). Solve -6 = -j*q - 26 for q.
-4
Suppose -k = -2*m + 53, 4*m - k - 17 = 86. Let h = 18 - m. Let c = h + 12. Solve 3 = c*r - 12 for r.
3
Suppose 0 = -4*q + 3*u + 20, 3*q + 0*u = 4*u + 15. Suppose 0 = -7*f + 5*f. Solve x + q = -f for x.
-5
Suppose 2 - 18 = 3*g - 2*p, 5*p - 21 = -2*g. Let r(t) = -t**3 - 2*t**2 - 4*t - 3. Let m be r(g). Let d = 11 - m. Solve d*j + 2 = 4*j for j.
-1
Suppose 3*v + 6 - 18 = 0. Suppose 3*x = 5*n - 60, 0*n + v*n = -x + 31. Solve s = -2*s - n for s.
-3
Let o(i) = -i**3 + 5*i**2 - 4*i. Let v be o(3). Solve 0 = 4*y - y - v for y.
2
Let z = 3 + 0. Let c(s) = 3*s**3 - 7*s**2 - 10*s - 4. Let a(j) = j**3 - j - 1. Let t(b) = 4*a(b) - c(b). Let p be t(-6). Solve p = z*u + 6 for u.
-2
Suppose 0 = 2*y - 7*y + 25. Suppose -5 - 15 = -y*s. Solve -3*q + s*q + 5 = 0 for q.
-5
Suppose -6*q + 56 = q. Solve q = -5*v - 2 for v.
-2
Suppose -l = 2*o, 5*o + 15 = 4*l + l. Solve 0*u = l*u for u.
0
Suppose -5*t = 2*d - 15, -3*t + 2*d + 9 = -0. Suppose 5*l - 18 = 4*n, 2*n + t*l = 3 - 23. Let k = -4 - n. Solve k*i - 25 = -2*i for i.
5
Let t be (9/6)/((-6)/16). Let l(j) = -j - 2. Let q be l(t). Solve -6 = q*d - 2 for d.
-2
Let m(y) = -y - 5. Let l be m(-5). Suppose -5*a + l*