 12. Solve f + 3 = -m for m.
-5
Let z(r) = -r + 21. Let m be z(-10). Solve 5*h + 6 = m for h.
5
Suppose 2*v - 2 = 4*v. Let j(d) = 3*d**2 - d. Let x be j(v). Suppose -u - 56 = -x*p, -4*p + 72 = -0*u + 3*u. Solve -p = 2*t + t for t.
-5
Let m(l) be the second derivative of l**4/12 + l**3/2 - 3*l**2/2 - 2*l. Let v be m(-4). Let w(x) = x**2 - x + 1. Let h be w(1). Solve -2*f = -v - h for f.
1
Let d(l) = -l**2 + l + 15. Let f be d(4). Solve 4*n - 4 = f*n for n.
4
Let f(k) = k**2 + 3. Suppose -w - 4*v - 16 = 0, -2*w + 8 = -v - v. Let j be f(w). Solve j*i - 2 = -5 for i.
-1
Suppose -2*w - m = -43, -w = -0*m - 3*m - 11. Let p = -3 + 3. Solve p*u - w = -4*u for u.
5
Suppose 4*p = -p. Suppose 5*b - 15 = -p*b. Solve b = 3*z - 6 for z.
3
Let u be (-15)/10 + 45/2. Let n be -2 + 2*u/6. Solve 0 = -n*f - 12 - 13 for f.
-5
Suppose -4*z + 5*z = -13. Let o = 18 + z. Solve -o*f - 18 = 7 for f.
-5
Suppose 16 = 9*c - c. Solve -8 = c*p - 6*p for p.
2
Let z(v) = -v**3 - 11*v**2 + 11*v - 12. Let b be z(-12). Solve b = i - 3*i + 6 for i.
3
Let k be (-2)/1*9/(-18). Let x = 16 - 16. Solve x*y = y - k for y.
1
Suppose -2*i - 2*q + 5 = -i, 0 = 4*q. Let b = i - 0. Solve b*o = -12 + 2 for o.
-2
Let f be 4/(-6)*(-78)/13. Suppose 3*m - f = m. Solve -m*b = -b + 1 for b.
-1
Let i = -17 + 20. Solve -4*h - 3 = -i*h for h.
-3
Suppose 3*j - 30 = -0*j. Let t(l) = 2*l**2 + 3. Let q be t(1). Solve j = 5*k - q for k.
3
Let b(p) = p**2 - 4*p - 4. Let q(s) = s**2 - s - 1. Let m be q(3). Let w be b(m). Solve 0 - w = -c for c.
1
Suppose 20 = 2*j - 96. Suppose 4*u - 2*v = 76, -u = 2*u - v - j. Solve -3*y + 8*y + u = 0 for y.
-4
Suppose -40 = 3*w - 16. Let j = w + 13. Suppose 29 = 2*n + 3*o, -4*n = -5*o - 40 - 29. Solve -i + n = -j*i for i.
-4
Let d(f) = f**2 - 6*f + 2. Let c be d(6). Let g = 3 + -2. Let p be (-1 - g)/(2/(-2)). Solve c*j + p + 6 = 0 for j.
-4
Suppose j + 16 = 4*j + y, 3*y = 2*j + 4. Suppose 2 = -3*m + j*m. Solve 4*r - m = 2 for r.
1
Let h(n) = -n**2 - 8*n + 15. Let k be h(-8). Solve 0*l = -3*l + k for l.
5
Let u be 5/25 - (-9)/5. Solve -2 = u*o - 10 for o.
4
Let t be (2/6)/((-2)/(-6)). Let j(p) = -p**2 - 4*p + 1. Let g be j(-3). Suppose 4*y + 2 + 9 = -i, -20 = g*y. Solve i = 2*v + t for v.
4
Let m be -1*6/(-4 - -2). Let p = -9 + 12. Solve -2*j - p = -m*j for j.
3
Let k(d) = d**3 - 2*d**2 - 2*d - 2. Let v be k(3). Let r be 3/(1/(0 + 3)). Let z = r + v. Solve -z = -u - u for u.
5
Suppose 4*h + x + 48 = 0, 4*x + 24 = -2*h + 3*x. Let m = 14 + h. Solve -2*v + 0 = -m for v.
1
Suppose 2*c + 0 = -4*n - 4, 0 = 4*c - 8. Let a be 3/(3/(-6)*n). Suppose -d + 2*t = -11, a = 3*d + 7*t - 3*t. Solve 3*j - d = 1 for j.
2
Let w = 9 - 7. Suppose 6*m = -w*h + m - 25, 10 = -2*m. Solve h = -2*i + 6*i - 16 for i.
4
Let l(k) = 3*k - 17. Let u(y) = y - 8. Let v(t) = -2*l(t) + 5*u(t). Let p be v(-6). Solve 2*w - 6*w - 8 = p for w.
-2
Let b = -16 + 21. Solve -b = -4*c + 5*c for c.
-5
Let w be 49/14*(2 - 0). Solve -w*g + 3*g = 20 for g.
-5
Suppose 0 = l - 0*l. Suppose l = y + y - 12. Suppose -2*a + 3*a + 4*j - y = 0, -15 = -2*a - 5*j. Solve t = -t - a for t.
-5
Let a be (3/(-6))/((-3)/24). Solve 0 = 2*w - 4*w + a for w.
2
Suppose -12 = -10*c + 18. Let m(k) = k**2 + 2*k - 2. Let s be m(-4). Solve c*z - s*z = 3 for z.
-1
Let q = 9 - 8. Let v be (-6)/12 - q/(-2). Solve v*m - 20 = -4*m for m.
5
Let h(s) = s - 3. Let f be h(5). Let u = 2 - f. Let g = -17 + 25. Solve u*k - g = 4*k for k.
-2
Let c(u) = 4*u**2 + 2*u - 2. Let s be c(-2). Let x = -85 - -88. Solve -x*o + o = s for o.
-5
Let d = -3 + 5. Let n(f) = f**3 + 8*f**2 + 8*f + 6. Let y be n(-7). Let o be 1*(-10)/(-2) - y. Solve -d*k = -o*k - 16 for k.
-4
Let t(x) = 2*x + 19. Let r be t(-8). Solve 2*v = -r - 1 for v.
-2
Suppose -19*x = -22*x. Solve 10 + x = 5*n for n.
2
Let d(o) = -o**3 + 9*o**2 - 3*o + 28. Let j be d(9). Solve -j + 2 = c for c.
1
Suppose -5*y = -5 - 15. Suppose 0 = -5*v - 9 - 16, 0 = y*x - 5*v - 25. Solve 3 = 3*b - x*b for b.
1
Suppose 3*c = 4*c. Let k(h) = 6*h - 9. Let j(q) = 5*q - 8. Let o(a) = 5*j(a) - 4*k(a). Let w be o(6). Solve f + f - w = c for f.
1
Let t be (-18)/(-12) - (-1)/2. Suppose t*w = -2*w + 12. Solve 0 = -w*q + 5*q + 4 for q.
-2
Suppose 3*x = 7*x - 8. Let n be (-25)/(-2) + 7/14. Let j = n + -10. Solve j*l = l + x for l.
1
Suppose 3 = -3*v - 3*q, 2*q + 15 = 7*q. Let h(x) = -x. Let r be h(v). Let p(g) = 3*g**2 - 5*g - 2. Let l be p(r). Solve 6 - l = -4*f for f.
5
Let q be (-4)/12 - 1/(-3). Suppose y + 0*y + r - 10 = q, 4*y - 45 = -5*r. Solve 0 = 2*l - y*l + 12 for l.
4
Let z be 6/(-3)*(-63)/6. Suppose -2*g = -9 - z. Solve 0 = -0*n - 5*n - g for n.
-3
Let z = 22 + -22. Suppose 5*y + 0*y = 3*h - 19, 2*h + 2*y - 2 = z. Solve h*w - 4*w = -4 for w.
4
Let u(i) = 2*i - 4. Let b(j) = -j + 2. Let g(a) = 11*b(a) + 6*u(a). Let c be g(3). Suppose -2 + c = -s. Solve 3*k - 2 = s for k.
1
Let z = -3 + 4. Let a = 2 + z. Solve l = -a*l + 8 for l.
2
Suppose 4*b = 5*b + 2. Let o be (2/4)/((-1)/6). Let c be (o/15)/(b/10). Solve -c = -2*d + 1 for d.
1
Suppose 2*u + 10 = 4*u. Solve -12 = -8*y + u*y for y.
4
Suppose s + 4*s - 25 = 0. Suppose -4*v + 14 = -2*v + s*t, -4*v + 16 = 4*t. Solve v = -0*n + n for n.
2
Suppose -5*z + 3*m + 23 = 0, 4*z - m = 2*m + 19. Suppose -k - 17 = -z*h, 3*k - 34 = -9*h + 4*h. Solve -4 = -h*f + 21 for f.
5
Let i be 4/18 + 80/45. Solve -b = i*b - 6 for b.
2
Let z be 0/((-3 - 1) + 2). Solve -5*k + z*k = 15 for k.
-3
Suppose -s = -5, 0 = 4*l - s - 3. Solve l*t = 5*t + 3 for t.
-1
Suppose 5*p = 7 + 18. Let i be -1 + -1 + 4 + -2. Solve 3*f - 14 + p = i for f.
3
Let s = 17 - 2. Solve -s = 5*o - 0*o for o.
-3
Let m be 16/4 + 2/(-2). Suppose -3 + 12 = m*y. Solve -j = y*j - 8 for j.
2
Let l = -131 - -190. Suppose -4*j = 5*k - 73 - 37, j - l = -3*k. Solve -3 + k = -5*i for i.
-3
Let d = -60 + 60. Solve -5*v - 6 - 9 = d for v.
-3
Let d be (-9 - (4 + -3))/(-1). Solve d = s + s for s.
5
Suppose 24 = 3*i + 18. Solve 0 = i*y - 0*y + 4 for y.
-2
Let f(n) = n**3 - 4*n**2 - 9*n - 14. Let x be f(6). Solve -3*r + x*r = 0 for r.
0
Let r be -5*(-3 + 0 + 2). Suppose 0 = -w + 6*w + 15, -2*b + r*w + 19 = 0. Solve 4 = m - b*m for m.
-4
Suppose 0 = 4*v - 0*v + 20, 5*g - 15 = -3*v. Solve 0 = -8*f + g*f + 10 for f.
5
Let h(o) = o**2 - 8*o + 2. Let s be h(8). Let z = 4 + s. Solve -z*w + 10 = -4*w for w.
5
Let d = 0 + -2. Let n be (1 + -7)/(4/d). Solve 1 = -4*z + n*z for z.
-1
Suppose t + 3*a + 7 = 0, 2*t + 2 - 21 = 5*a. Suppose -t*w - 3*w = 0. Solve w = -0*o - 5*o - 20 for o.
-4
Let x = 8 - 5. Suppose 3*j = 5*w - 26, j = -4*w + 5*j + 24. Suppose 0 = -2*u + w*u. Solve y - x = -u for y.
3
Suppose 3*a - 2*w - 39 = w, 0 = -5*a - 5*w + 85. Let u be a*1*1/3. Solve u*d - 23 = 2 for d.
5
Let t(k) = -k + 5. Let z be t(7). Let c be (-1 - z)/((-1)/(-3)). Solve -c*s + 11 - 2 = 0 for s.
3
Suppose 4*j - n - 27 = 0, 5*j - n = 2*n + 39. Suppose j*b - 16 = 2*b. Solve 5 = a + b*a for a.
1
Suppose 13 + 2 = 3*n. Let h(u) = u - 1. Let t be h(3). Suppose -t*z = z. Solve z = -n*j - 4 + 14 for j.
2
Suppose 8 = 2*m - 0*m - n, 5*m - 3*n - 21 = 0. Suppose -t = 4*t - 15. Suppose o - 3*o + 6 = 5*w, 0 = -t*w - 2*o + 6. Solve b = -w*b + m for b.
3
Let j(s) be the first derivative of -s**4/4 - s**2 - 4*s - 2. Let q be j(-2). Solve -4*t + 6*t = -q for t.
-4
Let n(q) = -2*q + 2. Let f be n(1). Let w = f + 3. Solve -w*l + 15 = -0*l for l.
5
Let q be 7/(7/20)*(-2)/(-5). Solve 3*a + 4 = -q for a.
-4
Let f = -4 + 19. Solve -u = 2*u - f for u.
5
Let d = 1 - -1. Let o be ((12/(-15))/(-2))/((-5)/(-75)). Solve 4*h - d*h = o for h.
3
Suppose -4 = 3*l + 8. Let q = 4 + l. Let g = 2 - q. Solve -g*i + 1 = 3 for i.
-1
Suppose 2*k - 5*c - 51 = -0*c, 2*c + 6 = 0. Let u = k + -12. Let p = u + -6. Solve w + 0*w + 2 = p for w.
-2
Let i = 3 + -6. Let p = i - -7. Solve 0*r = -4*r + p for r.
1
Let z(q) = -q**2 + 5*q - 4. Let b be z(3). Suppose -3*n = -2*n - 5. Let s = 12 - n. Solve 0 = -s*m + b*m for m.
0
Suppose -5*z + 5*l = 0, -4*l - 16 = -z + l. Let b = -3 - z. Let p = b + 4. Solve p*i = i for i.
0
Suppose -5*i + 4*i = -4. Suppose -n = -i*z + 63, -2*z = -3*n - 1 - 28. Suppose -3*m - h = -7, 4*m - 4*h = -2*h + z. Solve 25 = -m*b + 8*b for b.
5
Let s(g) = g**2 + 9*g - 11. Let r be s(-10). Let h = 3 + r. Suppose -4*c - 2*b - 7 = b, -1 = -3*c - b. Solve 0*z = -h*z - c for z.
-1
Suppose 3*k - 5 = 1. Let 