12. Solve 25 = s*w + 5 for w.
5
Suppose -j = k - 6, 2*j - 5*j + 20 = 4*k. Solve -7*b = -k*b + 15 for b.
-3
Suppose -2*a - 4*c - 16 = -0*a, 5*a - 5*c = 35. Suppose 3*g + 2*o = 6, 3*g + o + a*o - 9 = 0. Suppose 3*b = 8*b - 20. Solve -v + b*v - 15 = g for v.
5
Let y(d) be the first derivative of d**2/2 - 6*d + 3. Let q be y(9). Solve 4*p = 11 - q for p.
2
Let v = -79 + 79. Solve y + y = v for y.
0
Let m = -3 + 5. Let g(v) = v**3 + 7*v**2 + 5*v - 1. Let w be g(-6). Solve -k - w = -m*k for k.
5
Let k(j) = 3*j**2 + 3*j - 3. Let n = 4 + -2. Let o be k(n). Suppose -o = -3*z - 0*z. Solve z*i = 2*i - 12 for i.
-4
Let w be (-3 - (-3 + 0))/(-2). Solve -5*i - 7 - 3 = w for i.
-2
Let y be 4/6*(-63)/(-14). Let d = y - -6. Solve -2*a = d - 3 for a.
-3
Let r = 7 - 4. Solve -b - r = -5 for b.
2
Suppose 1 = -4*q + 2*q - x, -2*q - 3*x + 1 = 0. Let u be 1*6 + (-3 - q). Solve s - u = -0*s for s.
4
Let u = -34 - -34. Solve u = v + v for v.
0
Let v be (4/3)/((-4)/30). Let z = -6 - v. Let n(u) = -u**2 - 2*u + 1. Let p be n(-2). Solve -21 = z*k - p for k.
-5
Suppose 4*d - 30 = -d. Suppose 6*a + d = 7*a. Solve -a*w = -2*w for w.
0
Let y(w) = -w**2 + w + 16. Let f be y(4). Solve 9 = f*g - 3 for g.
3
Suppose 2*y + s + s - 6 = 0, -y + 2*s + 3 = 0. Suppose -2*f + 7 = y. Solve f*o + 2*o = 4 for o.
1
Let j(m) = -m + 6. Let t be j(6). Suppose -c = 3, t = r - c - 1 - 6. Solve n + n + r = 0 for n.
-2
Let i = 4 + -2. Suppose -5*b = -z - 6, -4*b + 2 = -i. Let f be (-3 + (2 - 4))/z. Solve -1 = -h - f for h.
-4
Let h(i) = i**2 - 6*i + 8. Let g be h(5). Suppose -4*j + 20 = 8. Solve 0 = -2*r + j*r - g for r.
3
Suppose -z + 21 = 2*z. Let p be 2/z + (-6)/21. Let u = 2 - p. Solve n + u - 3 = 0 for n.
1
Let f(i) = 2*i - 3. Let t be f(4). Suppose -3*w + 2 + 7 = 0. Let d = t - w. Solve v - 3 - d = 0 for v.
5
Let v be 2 - (-5 - -4) - 0. Solve k + 2 = -v for k.
-5
Let y(m) = -m**3 - 6*m**2 + 6*m - 4. Let t be y(-7). Solve 2 = t*l - 7 for l.
3
Let a = 0 + 27. Solve -7 = 4*t - a for t.
5
Suppose 2*k - 28 = -3*k - 3*a, -a = -1. Suppose -5*q = k - 25. Solve -q = 2*m - 0 for m.
-2
Let f(t) = 20 - 20 - t**2 + 2*t**2. Suppose -23 = 4*q + 4*k + 9, 3*q + 2*k + 20 = 0. Let r be f(q). Solve 5*z + r = -4 for z.
-4
Let f(s) = -s**3 + 6*s**2 + 6. Let h be f(6). Suppose b + h*u = 2*u + 24, 0 = -3*b + u + 7. Solve p + b*p = -10 for p.
-2
Let r = 20 + -16. Solve r*q = -0*q for q.
0
Let i(o) = o. Let j(m) = 3*m - 11. Let q(w) = 4*i(w) - j(w). Let l be q(-6). Let c be (-1 - (2 - 2))*-19. Solve -4 = l*h - c for h.
3
Let v(g) = -4*g - 4. Let t be v(-6). Suppose 0 = -d - 4*b + t, 0*d + 2*d - 5*b = 1. Suppose 2*a + d = 6*a. Solve a*c - 4 = -2*c for c.
1
Suppose -3 = 2*a + 17. Suppose -4*c = -7*c - 21. Let t = c - a. Solve k - t = -6 for k.
-3
Let u(q) = 6*q**2 - q + 1. Let s be u(1). Suppose s*x - 12 = 2*x. Suppose i = x*h + 1 + 2, h = 3*i - 9. Solve d + 3*d = h for d.
0
Let o(v) = -v + 13. Let z be o(11). Solve z = -j - 2 for j.
-4
Suppose -15 = -0*z - 5*z. Suppose o = -k + 14, 3*k - 32 = -4*o + 12. Let d = -7 + k. Solve z*w + d = 4*w for w.
5
Let i(y) = -y**2 + 2*y + 3. Let n be i(3). Let q be (2 - (n + 3))*0. Solve 2*w = -q*w - 6 for w.
-3
Suppose -4*i + 8 = 0, 17 = -4*d + d + i. Let x be ((-18)/(-45))/((-1)/d). Solve -x*b - 4 = -3*b for b.
4
Let j(w) = 3*w + 0*w**2 - 5*w**2 + w**3 - 7 + w**2 - 6*w. Let o = 7 - 2. Let q be j(o). Solve q*k = k + 8 for k.
4
Suppose -3*k - 5 + 30 = -4*m, -4*m = -k - 5. Solve -k = 5*a + 10 for a.
-5
Let r = 212 + -208. Solve 0 = r*x - 3*x for x.
0
Suppose 2*d + d = 4*o - 12, 2*o - 6 = -4*d. Suppose o*t - 12 = -0*t. Suppose 6*z - 4*z - 40 = 0. Solve t*q + q + z = 0 for q.
-4
Let j be 4 - (0/3 - 0). Suppose -5 = j*y - 17. Solve n - 20 = -y*n for n.
5
Suppose -3*k + c = -23, 2*c = -2*c + 4. Solve 8*m = 4*m - k for m.
-2
Suppose -d + 23 = -t - 5, t - 116 = -5*d. Let h be (d/16)/((-3)/(-2)). Solve 4 = y - h for y.
5
Let z(i) be the third derivative of i**6/120 + i**5/6 + 5*i**4/12 + 3*i**3/2 + i**2. Let a be z(-9). Solve -4*x + 4 = -a*x for x.
1
Suppose -2*v + 6*v - 12 = 0. Solve -1 = -v*w - 16 for w.
-5
Let v be (-4 + 3)*(-2)/1. Solve 0 = -2*d - v for d.
-1
Suppose 0 = -2*f - 2*f + 4. Let d be ((-1)/f)/(4/(-20)). Solve d*i + 40 = 15 for i.
-5
Let h(b) = -b**2 + 11*b - 11. Let l be h(9). Solve u + l = 2 for u.
-5
Let a = -15 - -9. Let v be (a/(-4))/((-2)/(-8)). Solve -2*f + 0 = -v for f.
3
Suppose y = 4*t + 1 - 3, -y - 2 = 0. Let i be 4/2 + t/(-1). Suppose -5*z = -86 + 11. Solve -3*a + z = i*a for a.
3
Let m(r) = -r - 14. Let w be m(-11). Let u be 0 + w + (-5 - 0). Let g = 15 + u. Solve -a = -g + 2 for a.
5
Suppose -30 = 3*k + 2*k. Let x(h) = h**2 + 8*h + 4. Let m be x(-5). Let w = k - m. Solve -4*g + 3 = -w for g.
2
Let d(x) = -5 + x**2 + 2 + 1. Let u(y) = y**2 - y - 1. Let s(w) = -3*d(w) + 4*u(w). Let v be s(4). Solve -6*h = -v*h + 4 for h.
-1
Let t be 72/45 - 4/(-10). Let g = -7 - -17. Suppose 2*v - 5*n - g = 5*v, -5*v + n + 2 = 0. Solve 4*a - 2 - t = v for a.
1
Let v(r) = r**2 - 8*r - 7. Let g be v(8). Let a be (-2)/(-7) - 75/g. Solve -3*s = -1 - a for s.
4
Let f = 14 - 10. Suppose -4 = -f*m + 2*m. Solve 0 - 2 = m*d for d.
-1
Let y be (3 + -8 + 3)*-3. Suppose v + 4*v = 2*f - 30, 5*f + 2*v - 17 = 0. Solve 9 = f*s - y for s.
3
Suppose -100 = -4*q - 16*q. Solve -13 = -q*i + 12 for i.
5
Suppose 8 = 4*q, -c + 3*c - 3*q = -12. Let l be (-2 + c)*4/(-5). Solve -l*m + m = -12 for m.
4
Let r be -2 - (22/1)/(-2). Let o be -27*(-6)/r - 0. Solve -5*p + o + 7 = 0 for p.
5
Let j(b) = -b + 4. Let a be j(2). Let i(n) = n**3 - 9*n**2 - 9*n - 8. Let m be i(10). Let c be (1 - -4)*m/5. Solve -a*g = c*g for g.
0
Let k(s) = s - 1. Let g be k(5). Suppose -3*a + 2*h = -3, -2*a + g*h - 3 = -5*a. Let q(x) = -x**2 - 4*x + 1. Let f be q(-3). Solve 0 = y - f - a for y.
5
Suppose 3*l - 17 = k, -3 = 5*l - 4*l + 4*k. Suppose -l*s + 5 = -5. Solve -3 = s*u + u for u.
-1
Let a(k) = -k**3 - 4*k**2 - k - 3. Let h be a(-4). Suppose -3*y - d + 3 = -0*d, 5*y = -3*d + 1. Let n be ((-4)/h)/((-1)/y). Solve -2*o - n + 2 = 0 for o.
-3
Suppose -3*n + n = -4. Suppose 5*l - n = 4*l. Suppose -5*c + l*s + 28 = s, -c - 2*s + 10 = 0. Solve 12 = -2*i + c*i for i.
3
Let q be ((-1)/2)/(-1)*0. Let s be ((8*-1)/4)/(-2). Let p be 17/(-34)*(s + -1). Solve q*r - r = p for r.
0
Let b be (-4)/(-66)*3 - 8/44. Let z be 0 - (3*2)/(-1). Solve b = q - z*q for q.
0
Let o be (-3 + 1)/((-2)/5). Let m = o - 3. Solve -m*l = -5*l for l.
0
Suppose 0 = -8*s + 2*s + 108. Solve 0 = -4*x + s - 6 for x.
3
Let w be ((-8)/1)/(-42 - -41). Solve 4*c - w*c = -8 for c.
2
Suppose 43 = 4*s + 5*w, s = -4*w + w + 16. Let g(k) = -k**2 + 6*k + 10. Let n be g(s). Solve -10 = x - n*x for x.
5
Let p(a) = -a - 2. Let d be p(-12). Let m(f) = -f**3 + 11*f**2 - 11*f + 15. Let n be m(10). Let s be 1*(-2)/2*-5. Solve d = -s*o - n for o.
-3
Suppose -w = -0*r - 5*r - 2, 0 = -5*r - w + 2. Suppose 4*x + r*x - 5*o - 70 = 0, 5*x = -4*o + 108. Solve 4*j - 9*j = -x for j.
4
Suppose 3*v + 3 + 1 = 2*d, 0 = -v + 2*d - 8. Let c be (5 + -3)*(v + 1). Suppose 2*w + 4 = -o, 0 = -5*o + 2*w - c*w + 4. Solve o*p + 5 + 7 = 0 for p.
-3
Suppose -5 - 3 = -4*c. Solve 3*u = 2*u - c for u.
-2
Let k be (-1)/(((-1)/(-1))/(-23)). Let b = 3 - k. Let x be ((-48)/b)/(6/20). Solve 8 = 4*g - x for g.
4
Let o(v) = -v**3 - 5*v**2 - 2*v - 5. Let p(d) be the first derivative of -d**2/2 - 10*d - 1. Let a be p(-5). Let l be o(a). Solve -w + 0*w - l = 0 for w.
-5
Suppose -j - 9 = -b, -5*j - 33 = -0*j + b. Let r = j - -11. Solve -5*t = -r*t for t.
0
Let b(n) = 2*n + 1. Let k be b(3). Suppose 5*f + 8 = -k. Let a = 1 - f. Solve a + 0 = g for g.
4
Suppose l - 5*l = -12. Suppose -l*u + 15 = 3. Solve u*w - 6 = 2*w for w.
3
Let q(t) = -2*t - 1. Let w be q(-6). Suppose -5*o - 24 - w = -3*a, 5*a = -3*o + 13. Solve -a*z = -13 - 2 for z.
3
Let t(u) = -u - 4. Let a be t(-4). Let n(c) = -3*c - 12. Let p be n(-4). Solve p = 4*o - a*o for o.
0
Let m(h) = h**3 + 16*h**2 - h + 9. Let r be m(-16). Solve -6*k = -k - r for k.
5
Let r be 6/10 + (-6)/10. Solve 5*u + r*u + 20 = 0 for u.
-4
Let g be ((-1)/1)/(2/(-4)). Solve g = -2*t - 2 for t.
-2
Suppose -7*k + 10*k = 0. Suppose 5*c - 3*o - 2*o = k, 2*o = 6. Solve c*n = -n for n.
0
Let a(x) = -x**2 - 8*x - 10. Let n be a(-7). Let q be 0/(n/((-9)/6)). Suppose -b + 11 = b - h, -2*b + 4*h + 20 