 0 = -5*n - s - 10 for n.
-4
Suppose -5*v + 4*p = 1888, -2*p + 1884 = -0*v - 5*v. Let k = -368 - v. Solve -k*a - 12 - 12 = 0 for a.
-3
Suppose 67*g - 69*g + 20 = 0. Solve -g*u = -11*u - 2 for u.
-2
Let z(s) be the second derivative of 0 + 1/20*s**5 + 34*s - 1/6*s**4 - 3/2*s**2 + 1/2*s**3. Let p be z(2). Solve -o + p = 1 for o.
2
Suppose 5*b + 3*d - 1 = 6, 5*d = -3*b + 1. Let k(x) = -x**3 + 4*x**2 + 5*x + 3. Let j be k(5). Let w be (j + 36/(-10))*-5. Solve -w*m = -2*m + b for m.
-2
Let m(h) = -2*h**2 - 5*h + 2. Let f be m(0). Suppose 7 = 3*b + o - f, 15 = 5*b + 4*o. Solve -b*g = g - 8 for g.
2
Let t = -20 - -10. Let l(m) = -m**3 - 11*m**2 - 14*m - 18. Let b be l(t). Suppose b - 1 = 7*d. Solve -7 = 2*w - d for w.
-2
Let y = -97 + 161. Let d = 52 - y. Let x be ((-18)/d)/((-6)/(-8)) - -1. Solve -x*p - p = 12 for p.
-3
Let x be ((-150)/24)/((3/(-24))/(-1)). Let r = x - -47. Let a be (14 - 2)*-3*r/27. Solve -a*k = k for k.
0
Let l(b) = -55*b + 228. Let i be l(4). Let h(x) = x**2 + 21*x - 96. Let m be h(-25). Solve -i = p - m for p.
-4
Let p(v) = -v**2 + v + 112. Let d be p(11). Solve 429 = d*c + 435 for c.
-3
Suppose -3*b = -y + 6*y - 134, -2*y + 5*b = -35. Let x be 1 + (-27)/29 - 63175/(-2755). Solve -y*k = -x*k - 10 for k.
5
Let f(q) = -9*q**2 - 24*q + 5. Let a(y) = -8*y**2 - 23*y + 5. Let w(p) = 6*a(p) - 5*f(p). Let c be w(-6). Solve 0 = -c*b - 5 - 10 for b.
-3
Let x = -111 + 171. Let c = x - 60. Suppose t + 2 + 2 = c, 5*r - 2*t = 23. Solve 3*b + r + 3 = 0 for b.
-2
Suppose -54*o + 1757 - 785 = 0. Solve o = -4*u + 30 for u.
3
Let g(f) = 9*f - 168. Let d be g(12). Let t be 12/d - (-142)/10. Solve 0 = -6*z + 4 + t for z.
3
Suppose -5*y = 3*m - 118 - 6680, -5*y = -3*m - 6762. Solve 0 = 10*b + 1366 - y for b.
-1
Let w(u) = -4*u + 8. Let s be w(13). Let r = 47 + s. Solve 0 = -r*l - 7 - 2 for l.
-3
Let v(p) = p**2 - 682*p - 7576. Let u be v(-11). Solve -u*y = 52*y + 891 for y.
-9
Suppose -8*z = 5*z - 14*z. Suppose -21*f + 45 + 60 = z. Solve h = -0*h + f for h.
5
Let o be 55874/(-133) - 6/(-57). Let w = 430 + o. Solve a + w = 6*a for a.
2
Suppose 3*m - 5*l = -9, -3*m + 2*m + 11 = 3*l. Let i(z) be the second derivative of z**4/12 - z**3/6 - z**2 - 9*z. Let k be i(m). Solve -10 + k = 2*f for f.
-5
Let j = -10225 + 10230. Suppose -19 = -3*i + 2*r, i - r + 1 = 6. Suppose j*c - 8*c = -i. Solve 0 = 2*a + a + c for a.
-1
Let g(c) = -c**3 + 120*c**2 - 123*c + 516. Let o be g(119). Solve -48*f - 64 = -o*f for f.
-8
Let a(g) = 3*g - 35. Let y be a(15). Suppose -5*d + 3*d = -4*v - 38, 0 = -2*d - 5*v - 7. Solve j + d = y for j.
1
Suppose 0 = 195*a - 206*a - 99. Let u(j) = j**2 + 2*j - 36. Let h be u(a). Solve 4*i - 11 + h = 0 for i.
-4
Suppose 0 = -z + 4*c - 83, 0 = -2*z + 3*c - 113 - 43. Let f = z - -80. Suppose -m = -o - 2, -5*m - 2 = -4*m - f*o. Solve m*i - 2*i = -2 for i.
-2
Let s be (420/(-315))/(24/(-406)) - 4/(-9). Solve -5*c = s + 17 for c.
-8
Let b = 127 - 122. Suppose 3*y = 5*n - 25, -5*y - 3*n = -2*n - b. Solve 8*p + 14 + 2 = y for p.
-2
Let h = 29 - 19. Suppose 427 = h*n + 327. Solve n*z + 2 = 8*z for z.
-1
Suppose 3*p - r - 43 = 0, -154*p - 2*r = -152*p - 42. Solve -12*a + p = 52 for a.
-3
Let u be (-36)/(-28) + -1 - (10 - (-1557)/(-63)). Solve u*v = -66 + 6 for v.
-4
Suppose -10*r + 200 = 150. Suppose -5*p - 2*q - 2 = -10, -4*q = -r*p - 16. Solve p = u + 3 for u.
-3
Let q be ((-15)/(-6) + -3)*-6. Suppose 2*c + 10*c = 0. Let p be 1*(c - 0)/(-4 + 6). Solve -m - 2*m - q = p for m.
-1
Let d be 10*2/4*1. Suppose r + 3*z = -11, 3*r - 8*z + 17 = -13*z. Let p be 4/16*(-7 - -7)/r. Solve p = 3*h + 4 + d for h.
-3
Let p(b) = -58 + 11 - 120 - 49 - 18*b. Let r be p(-12). Solve 0 = -r*v + 3*v - 12 for v.
4
Let l = 461 + -389. Let d be l/(-78) + 7 + (-1)/13. Solve -12 = d*s + 18 for s.
-5
Let x = -157 - -159. Let m(d) = -d**2 + 5*d + 8. Let w be m(6). Suppose 0 = z + w*z. Solve z = c + x*c for c.
0
Suppose 5*p + 44*k = 41*k + 439, -6*p - k + 519 = 0. Solve -112*d = -69*d + p for d.
-2
Suppose -2*y + 1 = l - 4, 0 = -2*y. Suppose -53 = -2*a - l*w, -w - 4*w = 5*a - 95. Suppose -5*f = 5*t - 25, 0*f - 3*t = f - 7. Solve 5*z - f = -a for z.
-2
Suppose 2*h - 4*h = 0. Suppose 3*r + c = 7, 2*c - 8 = -r - 3*r. Let i = -50 + 59. Solve h*l - r*l = -i for l.
3
Suppose -10*k + 9*k = -8. Suppose -3*z = r - k*z + 2, 30 = 5*r - 5*z. Solve 0 = -i + r - 7 for i.
1
Let h = -7547 - -7547. Solve 3*t - 21 = -h*t for t.
7
Let m(j) = -j**3 - 18*j**2 + 42*j + 40. Let b be m(-20). Suppose o + x - 23 = -o, -2*o - 2*x + 28 = b. Solve -o*r + 13 - 40 = 0 for r.
-3
Let j = -3549 - -3557. Solve j*f + 14 = -2 for f.
-2
Let p(y) = 0*y**2 - 5*y**2 - 9 + y**3 + 3*y**2 - 5*y - 4*y**2. Let q be p(7). Suppose -3*o + 0*o - 9 = q*r, 2*r = -4*o - 12. Solve -5*h + 6 - 26 = r for h.
-4
Let r(g) = g**3 + 11*g**2 + 24*g + 36. Let h be r(-8). Solve 34*d = 43*d - h for d.
4
Let z(f) = -9*f - 1567 + 3176 - 1488. Let d be z(13). Solve 8 + d = -4*p for p.
-3
Let b(x) = -3*x + 18. Let y = -40 + 46. Let m be b(y). Suppose m = 2*j + 13 - 19. Solve 0 = k + j*k for k.
0
Suppose 408 = 119*s + 51. Solve -s*p - 12 = -9*p for p.
2
Let i(c) = -5*c**3 - c**2 - 5*c - 3. Let w be i(-1). Solve -3*g = w*g for g.
0
Let q(n) = n**3 + 12*n**2 + n + 17. Let c = -255 - -243. Let k be q(c). Solve 0 = -f + k - 0 for f.
5
Let j = -10458 + 10463. Let m(t) = -t + 6. Let s be m(7). Let w be -1*(0 + s/1). Solve w = -j*p - 14 for p.
-3
Let o be (0 - -4)*(0/(-3) + -10). Let p = 43 + o. Suppose -21*v = -25*v + 24. Solve 0*i - v = -p*i for i.
2
Suppose 182 = 2*y + 1296. Let x = -332 - y. Suppose 4*w = -5*w + x. Solve -5*f + 0*f + w = 0 for f.
5
Let p(h) = -7*h**3 + 7*h**2 + 12*h - 1. Let y(o) = 2*o**3 - o. Let m(f) = -p(f) - 6*y(f). Let n be m(-1). Solve 0 = -3*a + n + 1 for a.
2
Let c(s) = s**3 + 9*s**2 + 16*s - 5. Let m be c(-6). Suppose 2*f - 4*f - 4*k = 6, k = -2*f + 6. Solve f*v - m = 3 for v.
2
Suppose 0 = 5*y + s - 39, 4*s + 10 = y + 2*s. Suppose -y = 64*l - 66*l. Solve 0 = 3*k + l*k + 35 for k.
-5
Suppose 8 = 3*y + y. Let r be 10*26/8*(-24)/(-60). Suppose 7*t - 15 - r = 0. Solve 0 = y*c - t*c + 6 for c.
3
Let z be (11/2)/((-2)/(-4)). Suppose z*c - 4*c = 56. Solve -3 = p - c for p.
5
Let r(d) = -d**3 - 11*d**2 - 14*d + 20. Let s be r(-9). Let b be (-1 - s/(-4)) + 7. Solve b*o = -o + 15 for o.
5
Let n(d) = -4*d + 17. Let g be n(6). Let r be (108/126)/((-3)/g). Solve 0 = r*t + 2 - 6 for t.
2
Suppose -3*o = y + 2*y - 438, 2*y - 2*o = 296. Let i = -136 + y. Solve -6*a - 20 = -i*a for a.
4
Let i(v) = -20*v + 28. Let w be i(0). Let z be -50*(6 - w/4). Solve c = -z + 48 for c.
-2
Suppose 60 + 66 = 10*r + 11*r. Solve 60 = 4*v + r*v for v.
6
Suppose 4*r + 4*n + 3 = n, -3*n - 15 = 0. Suppose 0 = o - c, -r*o - o - c + 15 = 0. Solve -g + o*g - 2 = 0 for g.
1
Let o be 25/(5/(-25)*(-25)/15). Solve 0 = 78*d - o*d + 9 for d.
-3
Let o(c) = -21*c**2 - 317*c + 61. Let w be o(-15). Solve w*r - 101*r = -30 for r.
3
Suppose 5*a = 0, 3*m - 5*a + 11 = 21 + 80. Solve 113*h - m = 108*h for h.
6
Suppose 184*s - 213 = -524 + 2887. Solve 0 = -s*v + 85 - 169 for v.
-6
Let d be 1/3 + 31/6*4. Suppose d*a - 84 = -0*a. Solve 3 = q - a*q for q.
-1
Let z(w) be the first derivative of w**4/4 - 6*w**3 + 21*w**2/2 - 60*w - 54. Let u be z(17). Solve -3*s + 7*s = -u for s.
-2
Suppose 192 = -14*x + 6*x. Let d be 30/9*x/(-5). Suppose a + d = 36. Solve k + 4*k = a for k.
4
Let w(s) = -s**3 - 10*s**2 - 5*s + 6. Let y be w(-10). Let b = -52 + y. Solve b*o = o + 9 for o.
3
Suppose 248 = -5*m + 13*m. Suppose 0*t = t + 5*d - m, -5*d = 5*t - 175. Suppose 0 = -6*h + 12*h - t. Solve -5*a = h + 9 for a.
-3
Let h(n) = -n**3 + 25*n**2 - 45*n + 2. Let v be h(23). Suppose 0 = 2*b + 3*d + 2*d - v, 5*b - 47 = 3*d. Solve 3*u = u + b for u.
5
Let u = 24547 - 24537. Solve -u*s = 4*s for s.
0
Let a be 69/(-4)*28/(-21). Suppose -a*w - 20 = -227. Suppose 5*s - s + 4*k = 16, 3*s = -4*k + 16. Solve 3*u + w = -s*u for u.
-3
Suppose 6*q - 41 = -5. Let o be 1/(q/8) - 4/(-6). Suppose -3*x - 11 = -4*t - o, 2*x - 4 = t. Solve t*l = l for l.
0
Let y = 286 - 229. Let h = y - 54. Solve 4*a + h + 5 = 0 for a.
-2
Suppose -3781*y + 3828*y = 517. Suppose 2*d - 21 + 4 = -q, 31 = 3*q + d. Solve 5*s - q = y for s.
4
Let w = 5 + 6. Let o be (-2)/w - 92/(-22). Solve o*p = 9*p for p.
0
Let h(j) = 15*j - 5. Let d(s) = 16