 12. Let o be y(p). Solve 0 = -4*s - 13 + o for s.
-3
Let v = -158 + 250. Let h be v/28 - 4/14. Solve -3*n - h = -0 for n.
-1
Suppose 3*d + l - 28 = 0, 4*d - 59 = 2*l + l. Let u = 11 - d. Solve u = -0*h - 5*h - 20 for h.
-4
Let k(a) = a**2 + 2*a - 3. Let y be k(-4). Let g be 1*y/((-5)/(-4)). Suppose -g = -5*w + 1. Solve w = -u - 1 for u.
-2
Let k(v) = -4*v + 2. Let s be k(2). Let c be (-1 + s)*(-2)/2. Let i = 1 - -3. Solve -c = -i*j + 1 for j.
2
Let g be 2/(16/22)*4. Suppose -4*t = -5*t + 1. Let y(z) = 10*z**2 - 1. Let n be y(t). Solve -g = -4*b + n for b.
5
Let r = -52 + 57. Solve -r*w = -2*w - 6 for w.
2
Let w = -8 - -6. Let o(r) = 4*r**2 + r. Let m be o(w). Solve -5*j - 1 = m for j.
-3
Let q = -4 - -6. Let w(s) = -s**3 + 3*s**2 - 2*s. Let m be w(q). Suppose 40*c - 337 = 263. Solve 3*g + m*g = -c for g.
-5
Let i(h) = -140*h - 3 + 141*h - 9. Let y be i(14). Solve -2*j - 8 = y*j for j.
-2
Suppose 0 = 3*u + h - 15, 5*u - 25 = -h - 4*h. Let m = -1 + u. Solve -m*r = -0*r - 8 for r.
2
Let a(q) = -q**2 + 4*q + 5. Let y(l) = -l - 1. Let i(r) = -a(r) + 2*y(r). Let c be i(7). Solve -h - h - 4 = c for h.
-2
Let b(v) = 2*v - 15. Let k be b(10). Let n = k + 10. Suppose 8 = x + 3*x - 3*o, 0 = -x + o + 1. Solve -2*f = -x + n for f.
-5
Suppose 0 = 4*a - 25 - 3. Solve -3 = -4*j - a for j.
-1
Let s(m) = 7*m + 10. Let t(j) = 2*j + 2*j + 11 + 4*j. Let v(f) = -5*s(f) + 4*t(f). Let u be v(-6). Solve 0*r - u = 3*r for r.
-4
Suppose 3*p - 2*k + 62 = 5*p, -5*k = -p + 31. Let n = 43 - p. Suppose -c + 2*c - n = 0. Solve 0*w + c = 4*w for w.
3
Let t = 6 + -1. Suppose -4*b - 11 + 1 = 2*k, 0 = -k - t*b - 17. Suppose k = 4*x - 5. Solve x = -c - 0 for c.
-2
Let u(l) = -l**3 + l**2 + 3*l + 1. Suppose -2*w - 7 = j, 0*w - 6 = 3*w - 3*j. Let d be u(w). Suppose -12 = -4*p + d. Solve n + n - p = 0 for n.
5
Let y(q) = q**3 + 5*q**2 + 2*q - 2. Let t be y(-4). Let p(n) = -12*n + 3*n + 10*n - 6. Let i be p(t). Solve 4*x + 22 - 6 = i for x.
-4
Let v = -3 + 3. Solve v = s - 5*s - 20 for s.
-5
Let j = -2 - 3. Let f(b) = -b - 1. Let o be f(j). Solve -o*x + 3 = -5 for x.
2
Let h be 6/(-8) - 38/(-8). Solve -h*m + 0 = 4 for m.
-1
Let b(h) = 7 + h + 2 - 10. Let m be b(7). Solve 0 = 3*x - m for x.
2
Suppose -9 = 3*d + 5*g - 46, 5*g - 9 = 4*d. Solve -2*m - 2 - d = 0 for m.
-3
Let q be (0 + 2)/((-4)/(-10)). Solve q*d - d = 12 for d.
3
Let u be (-3 - (-10)/3)/((-2)/(-6)). Solve c + u = -3 for c.
-4
Suppose 4*v = 7*v + 12. Let s be 3 - (-4)/(-1) - v. Solve s*a + 15 = 6*a for a.
5
Suppose 0 = -3*l + 4*f - 7, -2*f + 5 = 3*l - 4*l. Solve 0*m = l*m - 3 for m.
1
Suppose c = -j - 6, 3*c - 4*j - 5 = -2. Let z(i) = -i - 3. Let t be z(c). Let w(a) = -a + 2. Let v be w(t). Solve q + q = -v for q.
-1
Suppose -2*g + 12 = 5*z, 0 = -5*z + 3*g + 7 - 0. Solve z*o + 4 = -0*o for o.
-2
Let h(z) = -z - 3. Let u be h(-9). Let m(c) = c**3 - 6*c**2 + c - 2. Let w be m(u). Solve 2*p = p - w for p.
-4
Let u be 2 + 0 - (-14 - -3). Let m be (48/40)/((-3)/(-10)). Solve 3*i + u = m for i.
-3
Suppose -y + 13 = -2*i, 0 = 3*y - 5*i + 5 - 39. Solve -y*c - 6 = 9 for c.
-5
Suppose 0 = 4*s - 12. Let g = -7 + s. Let m be (-18)/g*(-6 + 8). Solve 5*d - 4 + m = 0 for d.
-1
Suppose -4*n + 3*g + 4 = n, 0 = -4*n + 4*g. Solve -r + n*r - 1 = 0 for r.
1
Let q(x) = -x**3 + 3*x**2 + x + 10. Let l be q(0). Solve 5*v + l = -0*v for v.
-2
Let u be 45*2/4*2. Suppose 4*k - u = 7*k. Let q be ((-4)/(-2))/((-6)/k). Solve 12 = -q*w - 3 for w.
-3
Suppose 7*w - 3*m = 2*w + 5, -w - 2*m = -14. Solve 0 = -w*b + 3 - 7 for b.
-1
Let l = -8 + 12. Let i be l/(-8) - (-27)/6. Solve -i*q = -3*q - 5 for q.
5
Let c(g) = g + 5. Let d be c(-3). Suppose d*a + 3 = w, -a - 15 + 6 = -3*w. Let v be 6/(-21) - -6*66/63. Solve -2*o + a*o = v for o.
-3
Let y be ((-2)/(-2))/((-2)/(-24)). Let j be 1/1*y/4. Let c be ((-2)/(-4)*(11 + -21))/(-1). Solve 2 + j = -c*i for i.
-1
Let o(z) = z**2 - z - 2. Let l be o(-2). Suppose 2*p + 2*b = l - 2, 0 = 5*p + b - 13. Solve p*r + 0 = -6 for r.
-2
Let w be (14/21)/(1/6). Solve 0 = w*p + 7 - 3 for p.
-1
Let n = 13 - -4. Let j = n - 13. Solve -j*u = -3*u - 1 for u.
1
Suppose -5*y = -11 - 14. Let g = 1 + 1. Solve 3*l + y = -g*l for l.
-1
Let r(w) be the second derivative of -w**3/3 + 2*w**2 + w. Let t be r(-4). Let j = 36 - t. Solve 4*d - j + 8 = 0 for d.
4
Let k be 0 - (2 - 18/3). Let l = -4 + k. Solve l = 3*p + p + 20 for p.
-5
Let j = -7 + 4. Let f be 2 + (j/(-1) - 3). Solve 4*l - 10 = f for l.
3
Suppose -2*u - 5*r - 34 = -5*u, -5*u = 5*r + 10. Suppose 0 = 3*k + 19 - 4. Let g = k + 11. Solve -g = -u*x - 3 for x.
1
Let g = -5 + 5. Solve o + 1 = -g*o for o.
-1
Let w(d) = 2*d. Let g be w(1). Suppose 3*c + 9 = 0, 9 = -3*p - g*c - 2*c. Solve 3 = 2*t - p for t.
2
Suppose 2*u + 0*u = 6. Suppose 3*t - 2*b = -5*b - 9, -2*t + u*b + 14 = 0. Solve 0 = 3*m - 2 - t for m.
1
Let j(s) = s + 1. Let c be (-8)/(-28) + 51/(-7). Let x be j(c). Let h be ((-4)/6)/(2/x). Solve 5 = z - h*z for z.
-5
Let c(b) = b**3 + 3*b**2 - 17*b + 11. Let o be c(-6). Solve -o*w = -w - 4 for w.
1
Suppose -15*a + 35 = -8*a. Solve 0*r - a*r = -5 for r.
1
Let m = 15 - 11. Solve k - m*k - 6 = 0 for k.
-2
Suppose -3*k = 5*b - 28, -2*k - 4*b = b - 27. Let l be (8/(-8))/(-2 + k). Solve -1 - l = -q for q.
2
Suppose 0 = -4*a - 23 + 71. Solve -2*f - f + a = 0 for f.
4
Suppose 0 = -3*z + 14*z - 66. Solve 0*b - z = -2*b for b.
3
Suppose 48 + 22 = -5*d. Let v = d + 18. Let x = 0 - -3. Solve -2 = -x*k + v for k.
2
Suppose -w = m - 8, 2*w = 3*m - 4*m + 12. Let a be ((-3)/2)/(m/(-8)). Solve a*o + 0 = -3 for o.
-1
Let i(t) = 8*t - 4. Let r be i(3). Let y = -1 + 3. Suppose -r = -y*k - 0*k. Solve m + m = k for m.
5
Suppose 0*v + 8 = 4*v. Suppose 10 = 4*u + 2. Solve -u = v*f - 0 for f.
-1
Let a(t) = 2*t**2. Let n be a(-2). Suppose -4*y = -n*y + 16. Solve -4 = -2*f + y for f.
4
Let h(d) = -2*d + 1. Let j be h(-1). Suppose 8 = 7*g - j*g. Suppose 15 = 4*u + 3. Solve 0 = u*n - g*n + 4 for n.
-4
Let f(v) = -v**3 + v. Suppose 2*s = -2*s - 4. Let x be f(s). Suppose -4*t + 7*t - 2*n - 14 = 0, x = -5*n - 20. Solve 6*o + t = 5*o for o.
-2
Let c(q) = 3*q - 2. Let r be c(2). Let v be (-21)/(-12) + 1/r. Suppose 9*y - 4*y = 0. Solve y*w = -v*w - 4 for w.
-2
Let h(m) = -m**2 + 8*m + 23. Let n be h(10). Solve n*x = -0*x for x.
0
Let z(d) = -d**3 + 5*d**2 - 4*d + 3. Let j be z(4). Suppose 4*o - 89 = -5*f, 8 = -5*f + 33. Suppose -o = -2*b - 2*b. Solve 1 + j = b*x for x.
1
Suppose -1 = x - 5*c + 4, -4*c = 2*x - 18. Let f = x - -2. Solve f*v = 4*v + 3 for v.
1
Let n(r) = 13*r + 7. Let p(c) = 7*c + 4. Let a(x) = -6*n(x) + 11*p(x). Let d(y) = -y**2 + 5*y + 6. Let o be d(6). Let t be a(o). Solve 3*w - w = t for w.
1
Let z be -4 + -12*(6/(-8))/1. Solve 0 = -z*t + 3*t - 6 for t.
-3
Let v(x) = x**2 - 11*x - 17. Let m be v(13). Let h = -5 + 8. Suppose 0 = -5*p, 2*p + 30 = 5*d + h*p. Solve m = 5*b - d for b.
3
Suppose 21 = -2*y + 1. Let x(f) = -f**2 - 10*f + 4. Let c be x(y). Solve -w - w - c = 0 for w.
-2
Let q = -7 - -12. Let y(t) = -t**3 - 9*t**2 + 6. Let s be 6/(-18) + 26/(-3). Let l be y(s). Solve -q*x + l*x = 5 for x.
5
Suppose 11*i - 6*i = 0. Suppose 4*z - 4*f - 26 = -2*f, z = -5*f - 21. Solve 0 = z*x - i + 8 for x.
-2
Let r be (-4)/((-6)/(-3)) + 7. Let d = -2 + r. Let f = d - 3. Solve f = -c + 4*c + 9 for c.
-3
Let l(v) = -v**3 + 7*v**2 - 5*v - 2. Suppose -3*i + 15 = -3. Let w be l(i). Solve 0*u - w*u = -20 for u.
5
Let g(i) = 5*i**2 + i**2 + 2*i + 2*i - 2 + i**3. Let o be g(-5). Solve o*w = 2*w for w.
0
Let f = -1 + 4. Suppose 7*b - f*b - 4*n - 116 = 0, 5*n = 10. Suppose 4*g - v = g + b, 0 = -g - 5*v - 11. Solve 6 = -5*d - g for d.
-3
Let h be -39*((-8)/(-3) + -3). Suppose u + h = 2*d - 10, -4*d = 2*u - 34. Solve -3*t + d = 1 for t.
3
Let j be (-4)/18 + 145/45. Suppose 0 = 5*v + 1 - 16. Suppose -v = -2*c - r, 2*r + 14 = 5*c - 2*r. Solve 1 + j = c*h for h.
2
Suppose -2*l - 5*a = -10, -2*l - 20 = -6*l - 5*a. Suppose -g - 4*g + l = 0. Let m be g/3 + 8/3. Solve 0 = o - 2 + m for o.
-1
Let r be 1/(-1) + 1 + 2. Suppose 0 = r*j - 7 - 13. Suppose j = 4*b - 6. Solve q + q = -b for q.
-2
Suppose 0*s + 4*s = -2*k + 42, 9 = 3*s. Let l be (-4)/(-4)*(1 - 1). Solve -m - 2*m + k = l for m.
5
Let o = 15 - 13. Solve 0 = -o*z + z - 4 for z.
-4
Let g be 1/2 + 20/8. Suppose -g*l = l. Solve 4*d = -l*d for d.
0
Let s = 0 + -1. Let t be