 = -10 + j. Let s be (3/2)/(3/2). Solve s = 5*p - c for p.
1
Let g(b) = 2*b - 20. Let t be g(12). Suppose -j + 1 + 2 = 0, -h - t*j = -15. Solve 5 = 2*y - h for y.
4
Suppose 4 + 0 = 2*p. Let l be (3 + -1)/(-2) + p + 12. Solve 4*n - l = 3 for n.
4
Let y(r) = 10*r - 30. Let n be y(3). Let g be ((5 - -2) + -7)/(1 + n). Solve g = -3*v - v + 20 for v.
5
Suppose -5*j - 7*q + 3*q = 6, 16 = -4*q. Solve -5*c + 6*c + j = 0 for c.
-2
Suppose 3 = 5*b - 17. Let u(p) = p**3 + 8*p**2 - p - 8. Let i be u(-8). Suppose i + 4 = 4*r. Solve -r = -b*j + 3 for j.
1
Let m = -90 - -92. Solve -m*x - 7 = 3 for x.
-5
Let x be 10/4*((-630)/(-50) + -5). Solve 9 - x = -2*t for t.
5
Let y = -35 + 80. Suppose 0*b = -9*b + y. Solve b*l + 4 = -6 for l.
-2
Let d(n) = 22*n**2 - 18*n + 9. Let y be d(1). Solve -5*a + y*a = -3*a for a.
0
Suppose -2*x + 6*a - 144 = 2*a, -2*a = -8. Let i = 70 + x. Solve i*t = 3*t + 6 for t.
2
Let b(l) = 3*l - 49. Let c be b(15). Let q be c + (-4)/(-1) + (-9)/(-3). Solve q*z - z = 0 for z.
0
Suppose -8 = -5*v - 2*k, 7*v - 6*v - 4 = 2*k. Suppose -p + 2*p + 4*o = 2, v = -2*o. Solve -p*n + n = -15 for n.
3
Let u be (63/(-14))/(6/(-16)). Suppose -2*v + 4 = -8. Suppose -v*c = -u*c. Solve 2*w + c - 2 = 0 for w.
1
Let t(y) = 3*y - 18. Let v be t(8). Solve -v*s + 3 = -21 for s.
4
Let o be 12/(-32) + 6/16. Solve j = -o*j + 1 for j.
1
Suppose -38*s - 32 = -4*k - 34*s, 0 = 5*s + 15. Solve 5*y - y = -k*y for y.
0
Let j be (1 + -1 - 3) + (7 - 4). Let i be (j/(-22))/((-2)/2). Solve -3*f + f = i for f.
0
Suppose j = 4*n + 2*j + 52, -n - 10 = j. Suppose 3*g = 5*v - 83, g - 5*v - 43 = 4*g. Let d be n/g - 4/6. Solve d = -r - 2 for r.
-2
Suppose 2*k - 5 = 5. Let w(s) = s**3 - s**2 + s - 1. Let l(y) = -3*y**3 - 2*y**2 + 3*y - 1. Let a(v) = l(v) + 4*w(v). Let c be a(k). Solve 15 - c = -5*x for x.
-2
Let k = 20 + -1. Let j = -46 - -32. Let n = k + j. Solve n = i + 4*i for i.
1
Let d(x) = -3*x + 16. Let a = 70 - 65. Let i be d(a). Solve -i + 11 = 5*u for u.
2
Let a(d) = d**3 + 22*d**2 - 21*d + 61. Let x be a(-23). Solve 5*p + x = -0 for p.
-3
Suppose 3*s = 8*s + 170. Let b = s - -42. Solve -3*z = 1 + b for z.
-3
Let z(b) be the second derivative of b**5/20 + b**4/4 - 7*b**3/6 - 4*b**2 + 9*b. Let q be z(-4). Solve 0 = -q*d - 3 - 5 for d.
-2
Suppose 0 = 5*n + 185 - 665. Let d = n + -94. Solve 0*k - d*k = 0 for k.
0
Suppose k = 5*o - 0*k - 26, -2*o + 4*k - 4 = 0. Solve -145*q = -148*q + o for q.
2
Let k be (8 + -3 - 1)*-1. Let o be (-2)/((-3)/((-30)/k)). Suppose o*b + 2*b - 28 = 0. Solve -i - b*i = -5 for i.
1
Let y be (-2 - (-72)/8) + -7. Solve l + 0*l - 3 = y for l.
3
Suppose 3*h - 38 = 3*n + 2*n, -2*h + 28 = -2*n. Suppose -14 - h = -10*t. Solve 0*v - t*v = 0 for v.
0
Let i(v) be the first derivative of v**4/4 - 5*v**3/3 + v**2/2 + 220. Suppose -5*f + 24 = -1. Let m be i(f). Solve m = 5*k - 0 for k.
1
Let r = 20 - -1. Suppose 5*h - 8 = 3*o - r, h = 3*o - 5. Suppose q - 3 = o. Solve -5*y = -y - q for y.
1
Let q be 12/(-4) - (-1 + 1 + -5). Solve -q*f = 1 - 5 for f.
2
Let j be ((-6)/(6/3))/((-6)/4). Suppose -j = 2*v - 2*m, -3*v + 6*v - 25 = -4*m. Solve -v*b = -0*b - 9 for b.
3
Let j(q) = q**3 + 4*q**2 - q - 7. Let b be j(-3). Suppose -b*r + 6 = 2*k - 0*k, 2*r = -k + 3. Suppose -t + 6 = -0. Solve r = -2*c - t - 0 for c.
-3
Suppose -2*j + 3*j + 14 = -5*t, 0 = -5*j - 3*t + 18. Let p = -43 - -82. Suppose -p*a = -42*a + 9. Solve -a*z = -0 - j for z.
2
Let n be 14/42*(1 - 1). Suppose 5*y + 3 - 1 = -2*a, -4*a - 3*y + 10 = n. Solve 0*x - 16 = a*x for x.
-4
Let m = -578 + 583. Solve -i = -m*i - i for i.
0
Let p be 2 - 0*2/2. Suppose -p = -3*n + 7. Let o be (10 - 10)/(-2 + 1 + -7 + 7). Solve o = -0*i - i - n for i.
-3
Let i(p) = p**2 + 4*p + 6. Let o be i(-2). Suppose z - 27 = -4*g - 13, 2*g - 18 = 5*z. Solve 0 = -o*l + 6*l - g for l.
1
Let k be 252/35*1/((-3)/(-10)). Let y = -20 + k. Solve 3*j - 10 = -y for j.
2
Let u = -95 + 137. Suppose u = 6*d + d. Solve -6 = -3*w + d for w.
4
Let j(m) be the second derivative of m**5/20 - 23*m**4/12 + 7*m**3/2 + 11*m**2 + 10*m. Let q be j(22). Solve 0 = 2*w + 6 - q for w.
-3
Suppose 0 = 2*z + b - 5, -3*b + 0*b - 12 = -3*z. Suppose -t = -4*g - 0 + 1, 0 = -z*t - 2*g + 11. Let l be ((-9)/t - -7) + -1. Solve l*n - 4*n - 5 = 0 for n.
-5
Let l = 7 + 9. Let c = -12 + l. Suppose -c*v - 16 = -6*v. Solve 0 = -3*y + v*y - 15 for y.
3
Suppose 17 = 3*c - r, 29 = 5*c + 2*r + 8. Suppose 0 = -4*q + 4*x + 56, q - 4*x = 6*q - 106. Let i be (-4 - (3 - 6)) + q + -3. Solve -c*d + i = -6 for d.
4
Let p = 338 + -335. Solve p*y = -7 + 22 for y.
5
Let j = -9 + 48. Suppose 4*z - 6 - j = 3*r, 5*r - 10 = z. Solve 0*h - 3*h = -z for h.
5
Let z be 1 - 1 - 10*-2. Suppose -4*t + 2*f + z = -f, 4*t + 4*f = -8. Suppose t*h = 4*h. Solve 0*b + 2*b + 6 = h for b.
-3
Let l = 2745 + -2745. Solve l = -v + 15 - 18 for v.
-3
Let o = -1110 + 1190. Solve -81*h - 1 = -o*h for h.
-1
Suppose 3*j - 39 = -2*i - i, -2*i + 47 = -5*j. Let m = -25 + i. Let n be 2/m + 2/9. Solve -4*d = -n*d for d.
0
Suppose -92 = -2*g - 2*g - 3*b, 2*b = -5*g + 108. Let r = g - 30. Let l = -7 - r. Solve l + 2 = z for z.
5
Suppose s - 3 + 8 = 0. Let j(r) = r**2 + r. Let k(v) = -4*v**2 - 3*v - 1. Let z(c) = s*j(c) - k(c). Let p be z(-2). Solve p = -2*l - 5 for l.
-3
Let l(i) = -2*i**2 - 22*i. Let z be l(-11). Solve -3*j - j = z for j.
0
Suppose 10*l = -7*l + 34. Solve x = l - 1 for x.
1
Let q(i) = -i**2 + 5*i + 3. Suppose 2*m = -2*h + 20, 0*h + 20 = h + 3*m. Let b be q(h). Suppose b*w = -2*w. Solve 0*v + v = w for v.
0
Suppose 4*d + 5*n = 133, -2*n = n - 15. Let b = d + -24. Solve -b*a + 10 = 2*a for a.
2
Suppose -12 = 3*y, -2*x = -3*x + 4*y + 19. Solve 0*i - 3 = -x*i for i.
1
Let v(a) = a + 15. Let c be v(11). Suppose 5*l + 6*k - 34 = 3*k, -5*k = -2*l + c. Solve -3*w - 7 = l for w.
-5
Let x = -861 + 869. Solve x - 3 = r for r.
5
Let h(j) = j**3 - 12*j**2 + j - 8. Let t be h(12). Let v = 33 + -19. Suppose v = r - 7. Solve 5*n + t = -r for n.
-5
Let q be (-13)/(-5) + 2/5. Let h = -69 + 120. Let z = -51 + h. Solve z = -q*m + m - 4 for m.
-2
Suppose 26*x - 321 = -61. Solve -5*n - 5*n = -x for n.
1
Let y = -47 + 56. Solve -y*p = -p + 16 for p.
-2
Let t(r) = 2*r + 20. Let y be t(-8). Let q(a) = -a**2 - 7 - 20*a + 15*a + 13*a. Let s be q(6). Solve 13 = -y*n + s for n.
-2
Suppose 5*k - 237 = 3*w, -9*w - 196 = -4*k - 13*w. Solve 49*p - k*p + 3 = 0 for p.
-3
Let o = -4241 - -4243. Let l = 10 - -3. Solve l = -o*v + 5 for v.
-4
Let y be (100/(-60))/((-10)/12). Solve -2 = y*q - 0 for q.
-1
Suppose 4*a = 4*m + 56, m + 3*a + 35 = -3*m. Let z = m + 11. Suppose n + 0*n - 3 = z. Solve 10 - 1 = -n*x for x.
-3
Let k = 11 - -1. Suppose 0 = 3*b - 9, 4*m - 6*b - 12 = -2*b. Let a be m - 0 - (2 - -1). Solve -k = -a*s - s for s.
3
Let s = -8 - -10. Let t = -8 - -8. Let f be (3/(-6) - t)*-4. Solve -f*b + b + s = 0 for b.
2
Suppose 97*f - 38*f = 44*f. Solve f = -3*k - 9 + 21 for k.
4
Let m be (33/(-44))/(9/(-408)) - 5. Solve m*o = 26*o for o.
0
Let v(b) = -4*b**2 + 22*b - 7. Let z be v(5). Solve -z*i + 7 + 2 = 0 for i.
3
Suppose -3*p = -4*p - 423. Let v be (-2)/(-8) + p/(-36). Let r = -12 + v. Solve r*b + 2*b = 0 for b.
0
Suppose 0*k + k - 5*w = 16, -4*w - 26 = -3*k. Suppose -2*x = 4*i - 42, i + 25 = k*i. Suppose 0 = 2*o - x + 3. Solve -4*v + o = -0*v for v.
1
Let v(l) be the third derivative of l**4/12 - 7*l**3/3 - 9*l**2. Let u be v(7). Solve u = -3*x - 1 - 5 for x.
-2
Let f(b) = -b**3 - 7*b**2 - 5*b + 12. Let j be f(-5). Let u = -7 - j. Solve u*c = c - 25 for c.
-5
Let s(w) = -w**3 + 35*w**2 + 38*w - 69. Let f be s(36). Solve 0 = f*d + 5*d + 40 for d.
-5
Let j(i) = i - 1. Let f(s) = -s**3 + 9*s**2 + 22*s + 4. Let a be f(11). Let v be j(a). Suppose v = k - 6. Solve -2*y - k = y for y.
-3
Let q = 18 - 13. Let n = 56 + -51. Suppose -n*o + 15 = -0*o. Solve -q = -o*i + 1 for i.
2
Let s be (-5)/2*-2 - (1 - 0). Suppose -20 = s*c, 2*f - 6*f + 1 = 3*c. Solve 0 = -m + f - 2 for m.
2
Let f be 36/20 - 1/(-5). Suppose f*v + 26 = 5*d, v - 7 = 4*d - 26. Solve 5 = d*z - 7 for z.
3
Let o be (-2)/(-7) + 33/7. Let u(m) = 5 + 3 - 6 + 7*m - o*m. Let k be u(-1). Solve -p + k*p = 0 for p.
0
Let x(l) be the third derivative of -l**5/60 + 13*l**4/24 + 8*l**3/3 + 8*l**2. Let s be x(14). Let j be -3 + 3 + s/2. Solve z - j = -2 for z.
-1
Let c(g) = -g**2 - 17*g + 5. Let 