 -3*a + v + 14 = -5*w. Solve 0 = 4*m - a for m.
4
Let k(h) = h + 9. Let v be k(-6). Suppose v*g - 3*i + 5 = -g, 2*i = -2*g - 20. Let f(d) = -d. Let r be f(g). Solve r*n = 2*n + 3 for n.
1
Let r(u) = 8*u**2 - u. Let g be (3/6)/((-2)/(-12)). Let l = 2 - g. Let b be r(l). Solve 4*s - b = s for s.
3
Suppose 0 = -5*m - 0*m + r + 3, 15 = -2*m - 5*r. Suppose h - 2 = -m*h. Solve 0*b + 6 = h*b for b.
3
Suppose r - 2 = -0. Suppose 5*s = 2*y - 7, 3*y + 0*s - 16 = r*s. Solve -2*b + 8 = -y*b for b.
-2
Suppose 5*b - 49 + 9 = 0. Solve -b - 7 = 3*h for h.
-5
Let d = 181 + -178. Solve -15 = -d*c - 6 for c.
3
Suppose -a = a - o - 1, -a + 3*o = 7. Let c = 20 + -18. Solve c*f - a = -6 for f.
-2
Suppose 0 = -2*h, -7 + 1 = -2*q - 5*h. Let j be 3*((-8)/(-6))/1. Suppose -3*v + 15 = -4*v + 5*f, -4*f + 12 = 0. Solve v = -j*r + 19 - q for r.
4
Let b be ((-21)/14)/(6/(-16)). Suppose 3*s = 5*m - 13, -b*m + s + 4 = -5. Solve m*k - 4 = -0 for k.
2
Let q(s) = -2*s**2 - 9*s. Suppose -2*r - z = 8, 4*r - z = 2*z - 16. Let v be q(r). Solve v*a = -0*a for a.
0
Let t = 14 + -13. Let i(z) = 11*z + 2. Let h be i(t). Solve -3 = 2*x - h for x.
5
Let f = -3 + -1. Let w = f + 4. Suppose w = -j - j. Solve -5*c + j = -5 for c.
1
Let l be ((-6)/(-7))/((-9)/(-42)). Solve l = 4*z - 0*z for z.
1
Suppose 15 = 4*l + 3, 3*l = 4*a - 3. Solve -4*t = a + 5 for t.
-2
Let b be (-66)/(-14) - 26/(-91). Suppose 2*n - 2*l - 12 = 0, -2*n - 15 = -4*n + b*l. Solve -5 = -n*r + 5 for r.
2
Suppose -2*c - o - 4 = -3*o, -13 = -c - 2*o. Solve c*g = -g - 8 for g.
-2
Let m = 22 - 20. Let d(c) = c**2 - 3*c - 1. Suppose -23 = -4*v - 7. Let l be d(v). Solve 0 = -m*i - l + 1 for i.
-1
Let t(q) = q**3 + 7*q**2 - 7*q + 8. Let h be t(-8). Solve 0*b - 5*b = h for b.
0
Let f = -10 - -14. Solve f*l - 5*l = 0 for l.
0
Suppose -4*y + 12 = 4. Suppose 5*q - 25 = 4*f, 4*f + 0*f - q + 5 = 0. Solve 3*b + y + 10 = f for b.
-4
Let d(q) = -q**2 - 6*q - 9. Let f be d(-8). Let z = 39 + f. Suppose -3*g + g + 4*i = -20, -6 = -5*g - i. Solve 4*t + g = -z for t.
-4
Let a(l) = l + 11. Let v be a(-8). Let n(r) = 3*r**2 + 11*r - 4. Let j(i) = -i**2 - 5*i + 2. Let s(u) = 5*j(u) + 2*n(u). Let q be s(v). Solve t = q*t - 1 for t.
1
Suppose -2*r - 3*r + 25 = 0. Suppose -o + 5 = -r. Let b be 26/o + (-2)/(-5). Solve 3 = -b*a - 9 for a.
-4
Let p be 16/(-2)*(-60)/24. Solve -n = 4*n - p for n.
4
Let k(n) = -n**2 - 5*n - 2. Let i be (1/3)/(6/(-54)). Let q be k(i). Solve -2*d - 4 = -q*d for d.
2
Let f be 13 + 1 - (2 + 0). Let v = -8 + f. Suppose -34 = -5*g + 3*n, -3*n + 4 = -g + 6. Solve -g*i = -v*i for i.
0
Suppose 0*l - 3*g + 48 = 4*l, 0 = 5*l + 3*g - 57. Suppose 2*x = -x + l. Solve 2*a - x*a = -5 for a.
5
Suppose -2*o + 4 = -o. Let w = 6 + -6. Let l be (-2)/4*-4 - -2. Solve o = l*f - w for f.
1
Let x(q) = -q**2 - 14*q - 49. Let p be x(-7). Solve -3*g + p + 6 = 0 for g.
2
Let c(m) = -m**3 - 15*m**2 - 15*m - 14. Let u be c(-14). Solve 0 = -u*t + 4*t for t.
0
Suppose 8 = -5*u + 23. Suppose -5*k = 5*d - 10, -3*d + 4*k = -5*d + 4. Solve d - 17 = -u*y for y.
5
Suppose 0 = -x - 3*x + 20, 0 = -4*d + 3*x + 21. Let c = d - 4. Solve c*n - 6 = 4 for n.
2
Suppose -20*j + 7*j = 0. Solve -5*z + 15 = -j for z.
3
Let f(g) = g**3 - 2*g**2 + 1. Let j be f(1). Suppose -3*k - 21 = 5*r, -3*r = -j*k + k + 11. Let v = r + 5. Solve 10 - 2 = -v*a for a.
-4
Let m(y) = -y**2 - 3*y + 7. Suppose -5*t - 12 = 3. Let o be m(t). Solve o*g - 15 = 2*g for g.
3
Let i(c) = -7 + 3 + 20 + c. Let r be i(-11). Solve 29 = -r*z + 9 for z.
-4
Suppose 2*n + 5*b = 237, -b + 2*b - 349 = -3*n. Suppose -n = -5*i - 31. Suppose 3*d - 5*s = -s - 14, 4*d + i = 5*s. Solve d*f = -3 - 1 for f.
-2
Suppose 4*t - 7*t = t. Solve -4*j - j - 10 = t for j.
-2
Let m = 16 - 8. Suppose -3*i + m + 1 = 0. Suppose k = -i*k. Solve -3*y + k = 12 for y.
-4
Let l = -10 - -14. Solve l*u + 10 = 2*u for u.
-5
Let s(f) = -f**2 - 9*f - 4. Suppose l + l + 16 = 0. Let x be s(l). Solve x*u = -u for u.
0
Suppose 3*c - 4*c = -18. Let m be c/42 + (-3)/7. Solve 6 = -m*i + 2*i for i.
3
Let f(h) = h**2 + 2*h - 8. Let r be f(-6). Solve -2*m = 2*m - r for m.
4
Let p be (-2 + 2 + 13)/1. Let l = -10 + p. Solve o = l*o - 8 for o.
4
Let v = 18 - 13. Let z(l) = l**2 + 3*l + 5. Let k be z(-4). Let a = k + -9. Solve v*w + a*w + 5 = 0 for w.
-1
Suppose 2*t - 24 = -2*t. Solve 0*c - t = 3*c for c.
-2
Suppose 0 = -3*z + 4*z + 7. Let g be (2 - (-16)/z)*-7. Solve 0*m + g*m = 0 for m.
0
Suppose 3*g = -12, 2*g + 13 = 5*i - 10. Let x = i + 1. Suppose -x*d = m - 6*m - 10, -6 = -3*d + 3*m. Solve -2*r + 7 + 1 = d for r.
4
Let d(v) = -6*v + 71. Let u be d(11). Solve -3 + 13 = u*x for x.
2
Suppose -o = -4*w + 11, -w + 14 = 2*o - 6*o. Solve 0*b + 6 = -w*b for b.
-3
Let s be (-20)/(-11) - 2 - 528/(-242). Solve -4 = -2*o + s for o.
3
Let k(w) = -2*w**3 - 2*w**2 - 2. Suppose 2*x = 4*f + 18, 0 = -5*f - x + 2*x - 15. Let u be k(f). Solve 4*i = u*i for i.
0
Let x(b) be the second derivative of -5*b**3/6 - b**2/2 - 6*b. Let o be x(-1). Solve 0 = g - o + 3 for g.
1
Let y be (6*(-8)/12)/(-1). Solve 3*a - y = 5 for a.
3
Let g(b) = -b + 8. Let s be g(3). Solve 4 = -d + s for d.
1
Suppose -18 + 26 = l. Solve 0 = 3*w - 4 - l for w.
4
Let r(c) = c**3 - 5*c**2 + 12*c - 25. Let f be r(4). Suppose -1 = -w - 0, -5*w = -3*l + 28. Let t = l - f. Solve t*x = 6*x - 6 for x.
3
Suppose 4*g = 4*m - 2*m + 2, -2*g + 21 = -5*m. Let p be (3 - 6)*g/2. Suppose -p*v = -v. Solve 0*b - 4*b = v for b.
0
Let g(v) = -v**3 + 4*v**2 + 11*v + 7. Let f be g(6). Solve b = 2*b - f for b.
1
Suppose -2*b + 75 = 3*b. Let c be 5*((-18)/b + 2). Suppose 5*p = -l + 1, 7*l - 3*l - c = 0. Solve -d = -p*d for d.
0
Let d be (0 + 2 - 2)*-1. Suppose d = -5*m + 4*m. Suppose 2*g = -s + 6*g + 21, -s - 2*g - 3 = m. Solve -s*y - 10 = -0*y for y.
-2
Suppose 4*p = -2 + 18. Suppose 3*m = -5*a + 119, 0*m + p*m = -2*a + 42. Let j = a + -17. Solve 4*w - j = 12 for w.
5
Let r be (-4)/5*(-4 - (20 + 1)). Solve 0*i - 4*i - r = 0 for i.
-5
Let j = 7 - 4. Let k be 0 - -1 - 1/1. Let l = 0 + k. Solve l = -0*i - j*i - 9 for i.
-3
Suppose 0*v - 1 = -4*h - 3*v, 23 = -4*h + 5*v. Let n(f) = -7*f**3 + f**2 - 2. Let k be n(h). Let w = 81 - k. Solve -w = 5*y + 2 for y.
-5
Let a be (-3 - 20/(-5)) + 5. Solve p = -2*p + a for p.
2
Suppose y + 3*g - 21 = 2*g, y = 2*g + 18. Suppose s + y = 3*s. Solve 0 = -6*n + n - s for n.
-2
Let o be 2/(-2) - (5 - 8). Solve o = 2*d + 6 for d.
-2
Let n = 15 - 15. Solve 5*x - 20 = -n*x for x.
4
Suppose -l + 1 = 2*g, 5*l + 23 = -3*g + 7*g. Solve 2*p = -g*p + 20 for p.
5
Let w(v) = -v**3 + 9*v**2 + v - 6. Let c be w(9). Suppose 8 + 4 = c*q. Let h = 4 + q. Solve h = 4*x - 12 for x.
5
Let k(h) be the first derivative of -h**4/4 + 5*h**3/3 + h**2/2 + 3*h - 3. Let y be k(5). Solve -5*c + y = -3*c for c.
4
Suppose 5*l + 8 + 3 = 3*r, -5*r + 2*l + 12 = 0. Let w(t) = -3*t. Let j be w(-1). Suppose 4*f = -4*o + 40, 4*o + j*f - 2 - 33 = 0. Solve r*q + 5 = -o for q.
-5
Let t(s) = s**3 + 3*s**2 - 3*s + 5. Let q be t(-4). Let k be 5/(45/(-2)) + 913/99. Solve -4*y + k = q for y.
2
Let v be 4/(-6)*24/(-16). Solve n - 1 = v for n.
2
Let b be (26/(-8))/(3/(-12)). Let x = -7 + b. Suppose 0 = 2*l + l - 2*o - 5, -3*o = -3*l + x. Solve l = -q - 2 for q.
-3
Suppose 4*v + 0*v - 31 = 3*w, 0 = -2*v + 2*w + 18. Suppose 5*d = 5*p - 35, -v*p + 0 = 5*d - 19. Solve -g = -p*g for g.
0
Let a(y) = 5*y - 8. Let j(p) = -2*p + 2. Let n(h) = 3*h - 3. Let m(c) = 7*j(c) + 5*n(c). Let d(x) = a(x) - 4*m(x). Let q be d(6). Solve -4*s = -q*s for s.
0
Let c(x) = 2*x + 8. Let z be c(-2). Suppose 3*p + 2*n - 106 = -p, -2*n = -4*p + 94. Solve -a + p = z*a for a.
5
Let u(c) = -c**2 + 5*c - 3. Let r be u(2). Suppose -18 = -n + r*y + 3, y = -5*n + 25. Solve -4*k + n = 22 for k.
-4
Suppose 3*l = -3*n + 24, -l - 40 = -4*n + 3*l. Let c = 0 + 2. Solve c*v = -v - n for v.
-3
Let x(w) = -w**2 - 7*w - 7. Let v be x(-5). Solve -v*q + 10 = -q for q.
5
Suppose 4*z - 45 = -z. Let i(h) = -5*h**3 - 2*h**2 + h + 1. Let r be i(1). Let u = r + z. Solve -b + u = b for b.
2
Let a(y) = y**2 - 20*y - 19. Let n be a(21). Solve n*k - 15 = -k for k.
5
Suppose -5*k = 5*q - 105, 0*k = 4*k - 20. Suppose q + 8 = 4*g. Solve 0*o = 3*o + g for o.
-2
Suppose 0 = 4*a + 3*i - 36, a - 9 = -9*i + 4*i. Let b = a + -4. Suppose 2*v + 3*m = -7, 0*m = -m - b. Solve 0 = -6*d + 4*d + v for d.
2
Let k be