or y.
-4
Suppose 0 = -c - 3, -4*c + 78 = -7*v + 4*v. Let y = 35 + v. Solve -y = -2*m + 3 for m.
4
Suppose -51 = 3*u + 3*f, -3*u - f - 33 = -4*f. Let v = 299 + -311. Let b = v - u. Solve 3 = l - b for l.
5
Let h(n) = n**3 - 23*n**2 + 26*n - 46. Let q be h(22). Solve -q = -6*t - 18 for t.
4
Let l(d) = 6*d**2 - 3*d - 5. Let q(v) = 7*v**2 - 3*v - 6. Let n(b) = -6*l(b) + 5*q(b). Let z be n(2). Solve z*y - 3*y - 2 = 0 for y.
-2
Let s be 0/(-2 + (0 - -3)). Suppose -4 = 3*n - 5*y, s*n - n = -3*y + 4. Solve n*v - 4 = -2 for v.
1
Let r(v) = 2*v. Let l be r(1). Let o = -26 + 31. Solve 7*d - o = l*d for d.
1
Let j(w) = w**2 + 12*w + 68. Let g be j(-10). Solve 0 = -g*i + 45*i for i.
0
Suppose z - 5 - 20 = 0. Let f = 41 - z. Let t = f + -13. Solve 9 = -0*l - t*l for l.
-3
Let l(g) = -g**2 + 31*g - 219. Let u be l(13). Solve 0 = 17*v - 15 + u for v.
0
Let h(k) = k**2 - 8*k. Let y be h(9). Let i = 10 - y. Suppose -10 + 4 = -2*v. Solve -v*f + i = -8 for f.
3
Let t be 5 - (-2 + 4 + 3). Solve -16 = 4*p - t for p.
-4
Let d = -117 + 125. Solve 13*t + d = 15*t for t.
4
Let i(m) = -m**2 + 3*m + 5. Suppose 25*z = 20*z. Let p be i(z). Solve 0 = -2*t + p*t - 15 for t.
5
Suppose -s + 4*u - 5 = 11, s - 8 = -2*u. Solve s = -6*j - 14 + 2 for j.
-2
Let x = 713 - 704. Solve -7*w = -4*w + x for w.
-3
Let r(s) = 2*s**2 + 0 + 0*s**3 - s**3 + 0 + 2 - s. Let i be 0 + 3 + (-2 - -1). Let u be r(i). Solve u = -3*l - 7 - 5 for l.
-4
Let f(p) = p**2 - 7*p - 6. Let b be f(8). Suppose 3*m + d + 15 = 8*m, 9 = 2*m - d. Suppose m*x - 1 = x. Solve -b*h + 7 = x for h.
3
Let m(x) = 6*x + 15 + 23 - 26 - x**2. Let b be 11/2 + 1/(-2). Let f be m(b). Solve -4*p + f = 1 for p.
4
Suppose 18*d = 5*m + 19*d - 14, -d = 2*m - 5. Solve -m*z = -10 + 4 for z.
2
Let l(c) = c**3 + 19*c**2 - 9*c - 15. Let u(a) = 3*a**3 + 57*a**2 - 26*a - 46. Let d(i) = -17*l(i) + 6*u(i). Let t be d(-19). Solve 5*z + 11 = t for z.
5
Let z(g) = 2*g**2 + 4*g + 7. Let l(j) = -5*j**2 - 7*j - 13. Let n(s) = 3*l(s) + 7*z(s). Let d be n(8). Solve -d*u - u = -6 for u.
2
Let q be 6 - 3 - (-2 + -5). Let r = -8 + q. Suppose 5*t + 4 = -3*n, r*n - 3*n - 5*t - 8 = 0. Solve -f = n*f for f.
0
Suppose 0 = -r + 5*v + 20, 1 - 3 = v. Solve -7*c + 3 = r for c.
-1
Let t(c) = -10*c**2 + 60*c + 2. Let h be t(6). Solve 0 = 5*k - 7*k - h for k.
-1
Suppose 0 = 2*f - 5*l - 41, -2*f + 31 = -6*l + 3*l. Let h = f - 16. Let c = h - -12. Solve -c*z + 3*z + 2 = 0 for z.
2
Let i = -118 - -120. Solve i*h + h + 6 = 0 for h.
-2
Let p be 0/(0 + -3 + -1 + 6). Solve g - 25 + 23 = p for g.
2
Suppose 0 = 8*h - 13*h - 5. Let g be 6/(-2)*1/h. Solve g*b - 1 + 4 = 0 for b.
-1
Let n(h) = 9*h - 9. Let t be n(2). Suppose -f = t*f + f. Solve 0 = 2*p - f*p for p.
0
Let w = -165 - -171. Solve -9*p + w + 12 = 0 for p.
2
Let i = 46 - 46. Solve 0*q + q - 2 = i for q.
2
Let r(m) = -12*m**2 - 12*m**2 - m**3 - 3 + 20*m**2 + 4. Let g be r(-4). Solve 2*k - 3 - g = 0 for k.
2
Let t = -43 - -45. Suppose -4 = -t*v + 2. Solve 4*f + 9 + v = 0 for f.
-3
Suppose -6*t - 52 = 80. Let d be (8/(-14))/(t/77). Suppose -d*l - 28 = -3*v, -5*v + 50 = -7*l + 3*l. Solve -3*w + 5*w - v = 0 for w.
3
Let g(y) = -y + 19. Let d be g(9). Suppose 12 = 4*u + 4*h, u - 5*h + 1 - d = 0. Solve -v - u = v for v.
-2
Let b be 14/35 - 6/(-45)*-3. Let h = -61 - -66. Solve -h*j = -b*j + 20 for j.
-4
Suppose -15 = -h + 3*a, 8 + 12 = 5*h - 4*a. Suppose -u + 2 = 0, -5*o + 2*o = -3*u. Suppose 0 = o*l - 5*s - 15, 3*l = -l + 3*s + 37. Solve -l = -5*q - h*q for q.
2
Let f(s) = -s**3 - 6*s**2 + 6*s. Let w = 2 + -9. Let r be f(w). Let n(j) = 7*j + 24. Let o be n(-3). Solve 12 = o*d - r*d for d.
-3
Let l(g) = -1016 - 1010 - 3*g + 2012. Let h = 0 + -6. Let f be l(h). Solve f*w - 1 - 7 = 0 for w.
2
Suppose -17*o - 30*o = -8*o. Solve o = 2*s - 16 + 24 for s.
-4
Suppose -3*v + 24 = 3*r, -7 + 39 = 2*r - 2*v. Let s be ((-18)/8 - -2) + 87/r. Let j = 4 - -6. Solve 2*t = s*t + j for t.
-2
Let x(d) = -d + 2. Let w be x(-1). Solve w*m = 9 - 12 for m.
-1
Let v be (-2)/(-3) + (-68)/(-51). Let a(i) = -i + 2. Let c be a(5). Let p be 2/c + 16/24. Solve -v*q + p = 4 for q.
-2
Let g = -14 + 28. Let c = g + -8. Solve -c + 0 = 2*k for k.
-3
Let v(h) = -2*h**3 - 30*h**2 + 28*h - 55. Let d be v(-16). Solve -28 + 73 = d*k for k.
5
Let v = 9 - 7. Let i be 2*(v/3)/(4/12). Solve -r - 10 = i*r for r.
-2
Let k be 10/25*10/4. Suppose -2*a = -p - 6, -1 = p + k. Solve a = 5*t - 13 for t.
3
Suppose -36*d + 1378 - 46 = 0. Solve 0 = -42*n + d*n + 5 for n.
1
Let b(m) = -m**2 + 14*m - 9. Suppose -59 = -4*u - 11. Let p be b(u). Let y be 1/3 - (-70)/p. Solve y*t + 3 = -2 for t.
-1
Let v be 10/3*(-36)/(-24). Let q be v + -3*4/6. Solve 2*s + 5 = -q for s.
-4
Let v = 49 - 46. Solve -v*j = 4*j for j.
0
Suppose -20 = -4*u + 5*p, 4*p = u - 0*u - 5. Suppose 5*f - 3*w = -16 - 19, 0 = -3*f + u*w - 5. Let h = -8 - f. Solve h*n - 5*n = 12 for n.
-4
Let l(w) = -5*w + 8. Let j be l(-7). Suppose -j*i + 12 = -42*i. Solve -s - i = -4*s for s.
4
Let o = 1479 - 1477. Solve -x = o*x - 2*x for x.
0
Let b(v) = -12*v - 3*v + 28*v - 11*v + 56. Let o be b(-20). Solve -4*m - 4 = o for m.
-5
Let d(k) = -k + 24. Let v be d(18). Suppose -4*f + 2 + 6 = 0. Solve -v = f*u - 4 for u.
-1
Let j = -120 + 126. Suppose -a + 3*t = -1 + j, -2*t = -a - 1. Solve -20 = a*p - 2*p for p.
-4
Let q = 372 + -364. Solve -5*z = -28 + q for z.
4
Let t = 172 + -172. Solve 4*f - f + 9 = t for f.
-3
Let f be 8/(-6)*6/(-4). Let y be ((-6)/(-9))/(f/9). Solve -x + 4 = -y*x for x.
-2
Suppose -135*k = -142*k + 168. Solve -5*s = -13*s + k for s.
3
Let b = -466 + 478. Solve w + 8 = b for w.
4
Let u(w) = 4*w**2 - w. Let m be u(0). Solve 0 = -m*s - 2*s - 8 for s.
-4
Let p be (-14)/(4 + (-2 - 0)). Let d = p - -4. Let f be 6 + d + 3 + -2. Solve -2*m = -f*m for m.
0
Suppose n - 4*p - 35 = 0, -2*n + 3*p - 355 = -440. Solve 4 = n*g - 45*g for g.
2
Suppose 5*v + 2*a + 2*a = 29, -5*a = -2*v + 5. Let q = -1 - -4. Suppose -3*s + 2 = k - q, s + 2*k - 10 = 0. Solve -v*z = -s*z for z.
0
Let u(h) be the second derivative of -h**5/20 + h**4/4 - h**3/3 + 4*h**2 + 11*h. Let w be u(3). Solve r - w = -r for r.
1
Let p(l) = 17*l - 80. Let n be p(6). Solve n = -2*x + 12 for x.
-5
Suppose 0*h - 74 = 4*a - 2*h, 3*a + 5*h + 23 = 0. Let o be -3 + a/(-4) + 3. Suppose -4*y = -o*k, y - 2 = 3*k - 6. Solve -2*s = y*s - 8 for s.
2
Suppose -46 = 5*z + i, 2*z + 43 = -3*z + 2*i. Let p(c) = -c - 6. Let x be p(z). Solve -2*w + 7 = -x for w.
5
Let f be -9 + 7/(35/20). Let z be (21 - 0) + (-1 - f). Solve 3*x + z = -2*x for x.
-5
Let d(b) = -b**3 + 25*b**2 + 5. Let p be d(25). Solve -23 = 14*x + p for x.
-2
Let u = -458 + 469. Solve 0 = 13*n - u*n + 6 for n.
-3
Let y(m) = -m**3 + 7*m**2 + 8*m + 18. Let f be y(9). Let w = f - -72. Solve 0 = -g - w*g for g.
0
Let o(r) = -r**2 - 4 + r**2 + 0*r**2 + 6*r - r**2. Let c be o(3). Solve c*n + 15 = 2*n for n.
-5
Let d = -956 - -964. Solve -20 = 3*o - d*o for o.
4
Suppose 2*f - 7*f - 12 = 2*p, 4 = -2*f. Let r be 3 - ((-1)/p)/((-3)/6). Solve 4 = r*m - 1 for m.
1
Let y be 7/(1 + 34) - (-38)/10. Solve 0*k + 2*k - y = 0 for k.
2
Suppose 0 = -3*n - 4*f + 15, f - 2*f = n - 5. Let x = 31 - 71. Let o be x/50 - (-14)/5. Solve y - n = o*y for y.
-5
Suppose -3*m = -j - 0*m - 3, 3*m = -4*j - 42. Let h be 1/(2/20) - 1. Let f = j + h. Solve 0 = c - f*c - 3 for c.
3
Let d be 8*(-4)/8 - -2. Let p be 6/6 - 6/d. Solve -2*h + p*h = -2 for h.
-1
Let k = -1494 + 1502. Solve -17 = -k*c + 7 for c.
3
Let n(h) = -h + 12. Suppose -3*s + 7*d + 21 = 4*d, -s + 3*d + 9 = 0. Let g be n(s). Suppose -4*q - r - 4*r = -15, 0 = -2*r + g. Solve q = 2*v + 2*v for v.
0
Suppose -p + 4*x = -0*x + 22, 0 = -4*x - 12. Let u = p - -34. Solve u*y + y = -3 for y.
-3
Let f = -123 - -112. Let y = f - -14. Solve y*z + 2*z = -10 for z.
-2
Suppose -25*i + 6 = -24*i. Solve m + 4 = i for m.
2
Let y be -1*(-2)/(-8)*0. Let k(u) = 3*u + 2. Let p be k(y). Solve 4 = 3*j - p for j.
2
Let b be (-12)/8 - (-28)/8. Suppose b*q = -2*i + 32, -2*i + 4*q + 27 = -29. Solve -6*v + 2*v = -i for v.
5
Let n be -1*(1 + -1) - (25 + 23). Let x = n - -48. Let a be (1/(-2) + 0)*-4. Solve s - a*s = x for s.
0
Let c = -3 - -2. Let s(j) be the third derivative of j**4/24 + j**3/6 - 2*j**2 - 14. Let m be s(c). Solve -4*t + 10 - 30 = m for t.
-5
Suppose -709*i = -702*i - 63. Solve -i*n - 12 = -3*n for n