24 = 5*m, -7*w + 3*m + 6 = -2*w. Solve 0 = -2*q - w*q + b for q.
5
Let w(u) be the first derivative of -u**2/2 + u - 4. Let x be w(1). Solve -b - 2*b = x for b.
0
Suppose 2*a + 7 = 3*k, -2*a = -7*k + 3*k + 12. Solve -a*c = -8*c - 12 for c.
-3
Suppose 0 = -5*u - 3*u + 16. Solve u + 13 = -3*p for p.
-5
Let s = 27 - 15. Solve 5*i - s = 2*i for i.
4
Let t(v) = -v**2 - 3*v - 2. Let k be t(-2). Suppose k = -5*x + x, -2*y - 3*x = -6. Solve f + y*f = 0 for f.
0
Let w(o) = -5*o**2 + 3*o + 1. Let b(q) = -4*q**2 + 3*q + 1. Let a(r) = -4*b(r) + 3*w(r). Let z be a(4). Solve i + z = 7 for i.
4
Let q be (0 - -1)/((-2)/18). Suppose 33 = 2*h - 5*o - 16, 0 = -2*o - 6. Let n = h + q. Solve -n - 2 = 5*f for f.
-2
Let i = 3 + 1. Let d(l) = -l**3 + 3*l**2 + 5*l - 1. Let w be d(i). Let a be ((w - 1)/(-1))/(-1). Solve 3 + 3 = a*t for t.
3
Suppose 0 = -4*k - 5*y + 29, -3*k - 2*k + 27 = -3*y. Let z(r) = -r + 6. Let a be z(8). Let g be a/3 - 32/(-12). Solve -16 = g*d - k*d for d.
4
Let k(n) = n + 1. Let v be (0 + 0)/(14/7). Let r = v - -3. Let u be k(r). Solve u = -h - 0*h for h.
-4
Suppose -2*h = -3*t - 0*t + 25, -h = 2. Suppose 5*n = -v + 3 - 14, -5*n = 4*v - 1. Suppose 3*x - 2*o = x + 18, v*x - 1 = -3*o. Solve j = -x + t for j.
3
Let f be 5/((-30)/(-14))*3. Solve -3*m = 8 + f for m.
-5
Let m be (-5)/(25/(-2))*-5. Let p = m + 5. Suppose 2 = -5*v - 2*q, 3 = -2*v - 2*v - 3*q. Solve p + v = -g for g.
-3
Suppose 0 = -d - 5*w - 4, 4*d + 12 = -5*w - 4. Let a be (2*2)/(d/(-4)). Solve 5*h = h - a for h.
-1
Suppose 4*b + 4*m = 28 - 4, -3*b = -2*m + 2. Let q be 10/(1/1 - -1). Solve -b*n = q - 1 for n.
-2
Suppose -4*t - 7 = -3. Let s(z) = -z**2 + 1 + z**3 + 2*z**2 - 3*z - 2 + 2*z. Let y be s(t). Solve y = q + q - 6 for q.
3
Let a = -12 - -7. Let d = -3 - a. Suppose d*q = q. Solve 0 = -q*b + b for b.
0
Let i be (-2)/(-13) - 258/(-13). Suppose -m - 17 = -i. Solve -o - m*o = 16 for o.
-4
Let n(l) = -l**3 + 8*l**2 - 6*l - 7. Let f be n(7). Solve f*r + 3*r = -3 for r.
-1
Let k(s) = s**3 + 6*s**2 + s + 8. Let p be k(-6). Suppose 39 = 3*c - 4*g, p*c - g = 28 - 7. Let x = 13 - c. Solve 1 = -5*i - x for i.
-1
Suppose -3*c - 5*c = 3*c. Solve -7*v + 2*v + 20 = c for v.
4
Let t = 72 - 71. Solve 0 + t = -v for v.
-1
Let r = -9 + 12. Suppose -r*y = y - 4. Solve 2*x = -3 + y for x.
-1
Let k(n) = -n**2 + 7*n - 9. Let g be k(4). Solve -g*b = -0*b - 9 for b.
3
Let n(w) = -w - 4. Let r be n(-8). Let f be r/(8/(-6))*-3. Let h(i) = -i**3 + i**2 + 1. Let s be h(1). Solve 2*c = s + f for c.
5
Let x be 1 + 0/2 + 8. Solve 0*z - x = 3*z for z.
-3
Suppose 0 = 3*q - 8*b + 3*b, 5*q = -2*b. Suppose q = -0*d + 4*d - 12. Let r be (-2 + d)*(2 + 0). Solve -5 = -r*k + 3 for k.
4
Let l(q) = q**3 + 4*q**2 - 6*q + 5. Let y(g) = g**3 + 4*g**2 - 6*g + 4. Let m(k) = -5*l(k) + 6*y(k). Let r be m(-5). Solve -r = 3*h - 5*h for h.
2
Suppose 5*g + 2*w + 2 = 0, 6*g - 2*g + 5*w = -5. Suppose g = -r + 3*r. Suppose 2*c = l - 10, r*l - 4*c = 3*l. Solve 2*h - l = -0*h for h.
2
Let q be (-3)/9*(-5 + -10). Suppose 7*h - 16 = 3*h. Solve -j = h*j + q for j.
-1
Suppose -c - 8 = c. Let s = 9 + c. Let g(d) = 12*d**2 - d + 1. Let h be g(1). Solve s*y - h = y for y.
3
Let r = 17 + -8. Let k = -5 + r. Solve -4*p = -2*p - k for p.
2
Suppose -2*h + 5*i + 10 + 13 = 0, -h + 4*i + 16 = 0. Let j = -476 - -485. Solve h*o - j = o for o.
3
Suppose 4*m - 23 = 5*q + 2, 4*q + 14 = 2*m. Suppose -30 = -0*g - m*g. Solve 5*p = g*p + 5 for p.
-5
Let r(k) = -k**2 + 6*k + 9. Let j be r(7). Suppose -2*o - 10 = -5*b - 6*o, 2*o = -b + j. Suppose 5*y - 2*n - b = -1, -12 = -4*y - 4*n. Solve -y - 3 = -i for i.
4
Suppose 4*k = -3*k + 14. Suppose 5*c - k*d = 15, 3*c - 3 = 2*d + 6. Let i(x) = x - 5. Let t be i(6). Solve -c = n - t for n.
-2
Suppose 162 = -c + 7*c. Solve 4*q + 7 = c for q.
5
Suppose 0*o - 3*o - 20 = -5*g, g = -2*o - 9. Suppose 0*n - 4 = -n + 2*a, 2*n = -3*a + g. Suppose -10 = -4*m + n. Solve -m = 5*b - 23 for b.
4
Suppose 0 = -2*t + 13 - 1. Let b be 6/(-27)*-3*t. Let q be b + -2 - (1 - -1). Solve -g + 1 = -q*g for g.
1
Let w(r) = r**3 + 20*r**2 + 17*r - 18. Let q be w(-19). Solve -q = 2*d + 3*d for d.
-4
Let x be 1/(-2) + 21/2. Suppose -3*v = 4*g - 24, 4*v - 29 = -3*g - 11. Solve p = g*p - x for p.
2
Suppose -4*o + 10 = 3*p - 6, -15 = -5*p + 5*o. Solve x = p*x for x.
0
Let z be 2*(-1)/(-4)*10. Suppose 0 = 2*r + 2*d + 1 - 3, 2*r = -z*d - 1. Solve 0 = r*q + 3*q - 20 for q.
4
Let k(c) be the first derivative of -c**4/4 + c**3/3 - 3. Suppose 0 = -u + 1 - 0. Let t be k(u). Solve t = -a - 3 for a.
-3
Let u(f) = 4*f + 4. Let k(i) = -i. Let v(d) = -5*k(d) - u(d). Let r be v(9). Solve 4 + 6 = -r*n for n.
-2
Let n be 1/((-4)/(-8)) + 3. Let a = n + -3. Solve 0 = -2*l - a*l - 20 for l.
-5
Suppose -6*b + b + 15 = 0. Solve 0*z + b*z = -3 for z.
-1
Let r be 25 + 5 - (-4 - -1). Suppose -2*h - 3 = -r. Solve 0 = -3*z - h for z.
-5
Suppose 86 = 4*c + k, 0 = -2*c + c - 5*k + 31. Suppose 2*y = -y - 5*n + 42, -4*n + c = y. Let t be -2*-1*(-1)/(-2). Solve -2*h - y = -t for h.
-4
Suppose -3*y - 28 = y. Let x = 7 + y. Suppose -2 - 2 = -2*j. Solve -j*w + 6 + 4 = x for w.
5
Let j be (-2 - -11)/((-2)/(-2)). Let y = 12 - 8. Solve -j*p + y*p = 20 for p.
-4
Let h be 13/(-65) - 2/(-10). Solve 2*n - 10 = -h*n for n.
5
Suppose 10 = 3*l + 1. Let m(z) = z**3 + 4*z**2 - 6*z - 3. Let s be m(-5). Suppose -5*x - d + s + 28 = 0, -x - 3*d = -6. Solve 3 = l*c + x for c.
-1
Let s(w) = w**3 - 16*w**2 - 17*w + 4. Let i be s(17). Let j = 12 + -8. Suppose -l = -p - 2, p - 4*p - 3*l = -24. Solve j*c - i = p*c for c.
4
Let s(x) = x**2 - 6*x. Let v be s(6). Let u = 8 + -9. Let j be 0*(v - 1)*u. Solve -4 = -4*r - j for r.
1
Let s(w) = -2*w - w - 13 - 2. Let d be s(-11). Let k be (-112)/(-18) + (-4)/d. Solve 0 = 2*x + x - k for x.
2
Suppose 4*f - 2*m + 20 = 0, 4*m = -4*f - 10 - 22. Let i = 7 + f. Suppose -9 = -5*k + i. Solve -k*s + 2 = -s for s.
2
Suppose 0 = s - 3*z, z - 7 = 2*s - 4*s. Solve 3 = -s*j - 0*j for j.
-1
Let d = 9 - 3. Suppose 0 = -0*c - 3*c + 27. Solve d = 3*s - c for s.
5
Suppose -4*v + 20 - 8 = -g, 5*g - 12 = -4*v. Suppose -3*m + g = -27. Solve -4*d - m - 3 = 0 for d.
-3
Suppose 2*y = 5*x - 0*y - 14, 2 = 2*x + y. Suppose 2*q - x + 3 = 5*o, 4*q - 9 = -o. Solve q*l = 2 - 0 for l.
1
Let q(g) = g**2 + 6*g + 8. Let y be q(-5). Solve -2*h + 2 = -y*h for h.
-2
Let b(l) = -l**3 + 4*l**2 + 2*l + 5. Let u be b(5). Let h = u + 3. Let p = -3 - h. Solve p*g - 20 + 4 = 0 for g.
4
Suppose 0 = 5*s - 410 + 65. Let p be (-2)/(-12) - s/(-18). Suppose 0*d = d - p. Solve 0 = -d*f - 8 - 8 for f.
-4
Suppose 40*w + 36 = 44*w. Solve 3*i - w*i = 0 for i.
0
Let j = 2 + -1. Suppose 2*p + j - 5 = 0. Suppose -5*n = 20, -p*n + 3 = 4*c - 1. Solve 0 = c*b - 5*b for b.
0
Let z be (-7)/(7/2) + 10. Let s(v) = -v**2 + 7*v + 10. Let w be s(z). Let b(l) = -l**2 + 6*l - 5. Let d be b(4). Solve -d*i = -w*i + 5 for i.
-5
Let v(s) = -s**3 - 6*s**2 - 3*s + 4. Let n be v(-5). Let j = n + 10. Let a be (-6)/15*(-1 - j). Solve a*y = -y for y.
0
Let l = 10 + -7. Suppose 2*h - l*h = -4. Let v = 4 - 3. Solve -w + v = h for w.
-3
Let t be 4/(-6) + (-2)/(-3). Solve -5*x + 4*x - 4 = t for x.
-4
Let k = 5 + -8. Let t = 5 + k. Solve -g + t = -3*g for g.
-1
Suppose w = -2 + 4. Suppose 2 = w*f - 2. Solve -f*y = y for y.
0
Let o = 20 - 13. Let y be (1 + 0)*-2 + o. Solve -4*g = 25 - y for g.
-5
Let s(y) = y**2 + 8*y + 4. Let p be s(-8). Suppose 3*d - 2*g - 7 = 0, -2*g - 1 = 3*d - 4*d. Let m = d - -10. Solve 0 = -p*c + 5 - m for c.
-2
Let f be (-8)/12*42/4. Let c be 3/6 - f/2. Solve -2*p = 6 + c for p.
-5
Let b = 16 - 8. Suppose 0 = -2*w + 2*m + b, -12 = -4*w - 0*m + 2*m. Let r(j) = -j**2 - 4*j + 5. Let o be r(-4). Solve w*t = 3*t + o for t.
-5
Let m(d) = d + 9. Let p be m(-6). Solve -p*k - k + 20 = 0 for k.
5
Suppose -4*f = -5*f. Solve f = 2*o - 8 + 2 for o.
3
Let r = -11 + 17. Suppose 2*z = -4*t + 2*t + r, -2*z + 4*t - 6 = 0. Solve -2*q - z = -q for q.
-1
Let b be (1 - 25) + 24/12. Let l be 17/2 + 11/b. Solve 4*v = l*v for v.
0
Suppose 0 = 3*s + 4*b - 6, -s - 2*b = 4*s - 10. Suppose 0 = -3*r + s*g + 19, -3*r = -r + 2*g - 16. Let u = -36 - -56. Solve -2*t = -r*t - u for t.
-4
Let f be (1 - 1)*(-6)/18. Suppose f = 3*u - u. Suppose -5*h + 0*h = u. Solve h = 2*i - 3 + 1 for i.
1
Suppose 0 = -m - 4, -4 = 7*r - 3*r + 4*m. Suppose 10 + 2 = r*p. So