12 - n. Let j = b - 7. Solve -1 = -2*v + j for v.
1
Let n = 1 - -1. Let m(s) = -s + 9. Let f be m(9). Suppose 5*t + 6 - 16 = f. Solve -n*q - 8 = t*q for q.
-2
Let f(s) = -s**3 - 7*s**2 + 4. Let z = -17 - -25. Let i be 2/4 - 60/z. Let a be f(i). Solve -5*b + b = a for b.
-1
Let m(g) = 2*g - 2*g**2 + g**2 - 3*g + 4*g**2. Let u be m(-1). Suppose -u*j + 3*c - 7 = 0, -4*j - 16 = -2*j - 4*c. Solve j*o - 5*o + 12 = 0 for o.
4
Let c(f) = -f**2. Let x be c(0). Suppose x = 3*y + 22 - 4. Let g be 143/55 + y/10. Solve -8 = g*h - 0 for h.
-4
Let y be (-4)/(-8) + 33/6. Suppose -y*z = z - 28. Solve 3*k = z*k + 1 for k.
-1
Let g(k) = 2*k + 11. Let x be g(4). Solve -5*a + x + 1 = 0 for a.
4
Let m(n) = n**3 + 2*n**2 - 18*n - 10. Let i be m(-5). Solve i*w - 8 = -3 for w.
1
Let a = 28 - 26. Suppose 0 = f - 2*q - 2, 0*q - 5*q - 5 = -2*f. Solve -a*g - 10 = -f*g for g.
-5
Let c = -25 + 26. Solve -y + 2 = -c for y.
3
Let y(q) be the first derivative of 3*q**2/2 - 21*q + 2. Let u be y(9). Let k be 2/(-2 - u)*0. Solve -m + 2*m - 3 = k for m.
3
Suppose 2*p = m, -1 = 3*m + 5*p - 23. Let n be (-117)/(-12) + 0 + (-3)/m. Solve n*v - 4*v = 25 for v.
5
Suppose -2 = 11*i - 24. Solve 31 = -i*d + 25 for d.
-3
Let c = 195 - 193. Solve -18 + 24 = -c*f for f.
-3
Suppose -5*h = -42*a + 38*a - 24, 3 = -3*a. Solve -5 = -h*o + 7 for o.
3
Let c(h) be the first derivative of 5*h**2 - 15*h - 1/3*h**3 - 1. Let d be c(6). Solve -5*n - d = 1 for n.
-2
Suppose -2*u + u + 4*k + 10 = 0, 5*k + 5 = 0. Solve -n - u = n for n.
-3
Let p = -701 - -701. Solve p = -32*d + 36*d + 4 for d.
-1
Suppose 71*u - 36*u - 70 = 0. Solve 4*m + u = 2*m for m.
-1
Suppose 5*p + 43 + 1 = 4*g, -5*p = -5*g + 50. Suppose 0 = -2*j + g, 4*d - 4 = -0*d + 4*j. Solve h + d*h = -25 for h.
-5
Suppose 62*v - 426 = -9*v. Solve 7*r + 20 - v = 0 for r.
-2
Suppose -x - 75 = -6*v + v, 0 = 2*x. Suppose -3*j - 2*j + v = 0. Solve j*l - 10 = 5*l for l.
-5
Let k be (4/10)/(6/30). Suppose -6*p + 5*p - 5*y - 16 = 0, 3*p - 20 = k*y. Solve 9*d - p*d + 25 = 0 for d.
-5
Let v be (-1)/(-4) - (-2)/(-8). Suppose v = -2*m - 2*m + 68. Solve 5*h = m - 2 for h.
3
Suppose -13 + 5 = -r. Suppose -4*d - r = 5*h, 4*h + 4*d + 6 + 2 = 0. Solve h = -3*a - a for a.
0
Let p(t) = t**3 + 13*t**2 - 12*t + 33. Let g be p(-14). Suppose 60 = g*y + 4*o, 3*y = o + 2*o + 63. Solve 5*d = d + y for d.
4
Let s = 2 - -3. Let r = 76 + -75. Solve 0 = 2*w - s - r for w.
3
Let o be (34/10 + -3)*10. Suppose o*j + k = 9, -2*k - 21 = -0*j - 5*j. Solve 3*d = -j - 0 for d.
-1
Let x(v) = v**3 + 9*v**2 + v + 8. Let q be x(-9). Let j = q - -1. Let h be j + (3/(-3))/(-1). Solve 0 = a - h - 4 for a.
5
Let f(s) = -2*s**2 - 4*s + 9. Let b be f(-3). Solve -b = 46*t - 47*t for t.
3
Suppose -19*k - 540 = -635. Let i(t) = t**3 - 5*t**2 + 5. Let y be i(5). Suppose b + 2 = y. Solve 2 = b*z + k for z.
-1
Let d be -56*28/21*9/(-6). Suppose -d*b = -115*b + 18. Solve -3*i + b*i = -6 for i.
-2
Let x be 117/21 + 100/(-175). Let b(y) be the first derivative of y**4/4 - 2*y**3 + 5*y**2/2 + 2*y - 1. Let t be b(x). Solve 0 = -t*c + 1 - 3 for c.
-1
Let f = -8 + 1. Let i be 2/1 + (f - -7). Solve -i*w - 1 = -5 for w.
2
Suppose 32 = -9*p + 17*p. Solve 0 = -p*l - 2*l + 24 for l.
4
Suppose -2*k + 5*y = -5, 4*k + 6 = -4*y + 2. Solve -3*z + 3 = -k for z.
1
Suppose 0 = -3*p - 3*y - 60 + 6, 0 = 3*y + 12. Let f = p + 27. Solve -5*h = -f - 7 for h.
4
Let h be 1 - (-4 + (-9)/3). Let s be (-1)/(1/(-2)) + h. Solve -l + s = l for l.
5
Let a(h) = -2*h**2 + 3*h - 6. Suppose -2 = -v + 2. Let j be a(v). Let x = j - -46. Solve 5*f - f = -x for f.
-5
Suppose 33 = 4*b + 6*s - s, -b - 2*s + 9 = 0. Suppose -1 = -8*y + b*y. Let l be (1/(-2)*0)/y. Solve 0*v + v = l for v.
0
Let c = -93 + 41. Let r = c - -57. Solve -1 = 2*m - r for m.
2
Suppose 0 = 11*i + 8 - 63. Suppose -2*x + 0 = -s - 3, 17 = -2*x + i*s. Solve t = 2*t + x for t.
-4
Let c(i) = 2*i**3 - 6*i**2 + 4*i - 6. Let d(w) = -w**3 + 3*w**2 - 2*w + 3. Let f(b) = 4*c(b) + 9*d(b). Let y be f(2). Solve -y*a - 8 = -a for a.
-4
Let h(v) = -4*v**2 + 4*v - 5. Suppose -t - 6 + 3 = 0. Let d(b) = 2*b**2 - 2*b + 3. Let y(m) = t*h(m) - 5*d(m). Let w be y(2). Solve 4 + 0 = -w*j for j.
-1
Let s be -7*(-5)/(175/30). Let t be 18/s*(-6)/(-9). Solve 0 = k - t for k.
2
Let a be 18/7 + (-4)/(-42)*-6. Solve a*l + 5 = l for l.
-5
Let a(x) = 54*x + 66. Let m be a(-1). Solve 181*y - m = 178*y for y.
4
Let k be (-1 + 3/6)*0. Suppose 2*i + 10 = 4*h - k*i, 4*i + 20 = -2*h. Solve h*j + 2*j = 0 for j.
0
Suppose -4 = -3*h - 28. Let b = h + 10. Suppose -4*l = -5*q - l + 20, 3*l = -b*q + 8. Solve q*j + 8 = -0*j for j.
-2
Suppose 2*h - 2*z - 4 = 0, -217*z + 213*z + 4 = 2*h. Solve h*t - 22 = 13*t for t.
-2
Let w = -271 + 279. Solve -5*a = -w*a - 3 for a.
-1
Suppose 3*p + d = 2 + 169, -d = 3. Suppose -p - 20 = -13*u. Solve -n = -3*n - u for n.
-3
Let f(y) = -y**3 + 2*y**2 + 3*y**2 + 5 + y**2 - 6*y. Let i be f(5). Let m = 3 + -1. Solve 2*h + m = -i for h.
-1
Let l(h) = -h**3 + 5*h**2 - h - 1. Let s be l(5). Let i(g) = -g**2 - 7*g - 6. Let f be i(s). Solve -y = -f*y for y.
0
Let d(u) = -u + 8. Let h be d(8). Solve -3 = y - h for y.
-3
Let z be (12 - 8 - 3)/1. Suppose 4*j = 2*a, 2*a - j = -0*j + 3. Let s = a + 3. Solve -s + z = -q for q.
4
Let o(n) = -n**3 + 4*n**2 + 17*n + 1. Let a be o(7). Let x be 2 + ((-2)/3)/(6/a). Solve 0 = -x*s - 4 - 1 for s.
-1
Let k(r) = 12*r**3 + r**2 - 1. Let v be k(1). Let q be ((-6)/(-12))/(2/v). Solve 10 = 2*y + q*y for y.
2
Suppose 4*j + 90 - 300 = -2*z, 3*z - 9 = 0. Solve 53*t - 2 = j*t for t.
1
Let c(a) = a**2 - 4*a + 3. Let v be c(4). Suppose 5*d = -2*q - 9 + 3, -2*q - 2 = v*d. Let s be (-4)/8 + (-5)/d. Solve -7*u + 25 = -s*u for u.
5
Suppose 6*j - 196 = -52. Suppose -5*u - 14 = -j. Solve -u*z = -0 - 2 for z.
1
Let d be 1/(2 + 17/(-9)). Suppose m + 13 = d. Let a = 6 + m. Solve a*n + 9 + 1 = 0 for n.
-5
Let m = 974 + -506. Let c be m/63 - (-8)/14. Suppose 5*z + 4*f - 6*f - 22 = 0, -3*z + c = 4*f. Solve z*a - a + 12 = 0 for a.
-4
Let m = -1109 - -1122. Solve m = -3*q - 2 for q.
-5
Let v = 223 - 203. Solve 4 = -19*p + v*p for p.
4
Let v be 13/5 - (-2 + 16/10). Solve -7 = v*g + 4*g for g.
-1
Let f be 3*(4/(-3))/(-2). Suppose 0 = f*z - 2. Let r(u) = u**2 + 21*u + 25. Let q be r(-20). Solve 3*s - z = q for s.
2
Let q = -63 - -23. Let p(i) = 9*i - 39. Let m be p(5). Let y be m/(-8) - 110/q. Solve y*w + 4 - 2 = 0 for w.
-1
Let w = -71 + 80. Suppose -w*j + 10 + 8 = 0. Solve -1 = x + j for x.
-3
Let n(c) = 3 - 3 + 4 + 7*c + 0. Let t be n(4). Solve 0 = -4*u + t - 12 for u.
5
Suppose -5*z + 144 = -306. Suppose z + 10 = 5*n. Solve 8*g + n = 3*g for g.
-4
Let u(d) = -4 + 5*d - 5 + 7 - 2. Let a be ((-16)/(-24))/((-4)/(-18)). Let x be u(a). Solve -2*j + 3 = x for j.
-4
Let m(o) = -o**2 + 5*o. Let h be m(4). Suppose -2*d - 10 = -4*d. Suppose -h = -d*u + 3*u. Solve -u*q = -6*q for q.
0
Suppose 0 = -5*g + 23 - 3. Suppose -4*w + 17 - 1 = 0. Suppose -w*m - 4 = 4*x, -7*x - m + 5 = -3*x. Solve -c = -x*c - g for c.
-4
Suppose 2*p - 12 = -p. Suppose -51 = -p*l - 11. Solve 3*s = -2*s - l for s.
-2
Let n(g) = -3*g - 7. Let l be n(-5). Suppose -5*p = -r - 33, 0 = -2*p + 3*r - 12 + 20. Solve -3*i - l = -p*i for i.
2
Let i be 6/18 - (902/6 + -1). Let o = i + 149. Solve -5*x - 3 - 7 = o for x.
-2
Suppose 0 = -j + 16*i - 13*i - 6, j + i - 6 = 0. Solve j*r - 8 = 11*r for r.
-1
Suppose 3*b = 5*b + 2*f + 70, 4*b - f = -155. Let y = -28 - b. Solve 4*g + y = -2 for g.
-3
Let j(s) = 32*s**2 - 31*s**2 - 6*s + 2*s - 10. Let q be j(6). Solve -3*d - 7 - q = 0 for d.
-3
Suppose -3*h - c = -2*h, 0 = -5*c. Let a be (-5*(-3 - -2))/1. Suppose 3*t - 15 = -5*w, 4*w + a*t + 2 - 1 = 0. Solve h = -m + w*m for m.
0
Let s = 286 - 251. Solve 33 - s = -2*j for j.
1
Let l = -638 + 647. Solve -22*h + 25*h - l = 0 for h.
3
Let w = -164 + 172. Solve -3*d - w = 7 for d.
-5
Suppose -5*c = -4*i + 55, 0 = 5*c - 0*i - 5*i + 60. Let d = -7 - c. Suppose d = -3*t + 35 + 10. Solve 3*r = -0*r - t for r.
-5
Suppose -2*j = -8*j + 9*j. Solve j = -77*s + 80*s + 9 for s.
-3
Suppose -147 = -36*a + 141. Solve 0 = -8*m + 10*m + a for m.
-4
Let s(d) = d**3 - 5*d**2 - 15*d + 7. Let p be 9 + 3/(3/(-2)). Let x be s(p). Solve x = 3*v - 0*v - 15 for v.
5
Let s be 15/9*(-5 + 15 - -5). Solve s = -7*b + 12*b for b.
5
Suppose 2*u - c - 6 = 0, -3*u + 2 = -5*c - 