17 = -5*x - w*d for x.
5
Let h = 489 - 469. Solve 0 = 4*b + h, -5*f - 2*b - 3*b - 10 = 0 for f.
3
Suppose 3*c = 9, -g - 7 + 1 = -2*c. Solve g*d - 4*h - 11 = 3*d, 0 = -d + 3*h - 8 for d.
-5
Let t(q) = q**2 - 9*q - 186. Let u be t(19). Solve -u*n = 2*m, 0*n + 5*n = 3*m - 11 for m.
2
Let o(y) = y**2 + 4*y - 5. Let h be -1*(-5)/(10/(-4)). Let w be -2 + (-1 + h - 0). Let j be o(w). Solve j*z = -5*i + 3*z - 5, 0 = 3*i + 3*z + 3 for i.
-1
Let n = 13 - 13. Suppose n = -7*d + 2*d + 25. Suppose 0 = 2*y - y - d. Solve -5*a + 5*g = 0, -y*a - 3*g + 31 - 7 = 0 for a.
3
Suppose -41 = -27*h + 13. Solve -3*o - h*q = 0, 4*o - 4*q = q for o.
0
Suppose -21 - 3 = -8*b. Let i be (0 + 2*b/12)*46. Solve 3*f = -0*p + 4*p - 8, -3*p = 5*f + i for p.
-1
Let v(u) = -15*u + 245. Let l be v(16). Solve 2*n - 5*i - 12 = 0, -n - 2*n - 4*i = l for n.
1
Let d be (-1368)/(-138) + 105/(-115) + 1. Solve -4*z = -o - d, 0 = 3*z - 10*o + 14*o + 2 for z.
2
Let l = -558 - -563. Solve 0 = k - 4, 20 - 60 = 5*m - l*k for m.
-4
Let t(p) = p**2 - 2*p - 1. Let a be t(5). Suppose 2*m + 4 = a. Suppose 0 = -m*s + 2*i + 39, 31 = -3*s + 8*s + 2*i. Solve b + s = 2*q, 2*q + b - 5 = -0 for q.
3
Suppose -18*h + 4*a + 24 = -14*h, -3*a = -2*h + 11. Solve -2*k = -3*n - 14, -2*n = 4*k - h*n - 26 for k.
4
Let i(t) = 5*t**2 + 5*t + 3. Let g be i(-1). Solve -6 - 14 = 4*n + v, -g*n - 15 = -3*v for n.
-5
Suppose 0*t + 2*f = -t - 4, -t - 5 = f. Let y = t + 10. Let b = 207 + -201. Solve -3*x = 2*s - y, 4*x - x = b for s.
-1
Suppose -43*i + 6 = -80. Solve 2*j = 0, -i*l - 4 = 2*l - 4*j for l.
-1
Let d = -12 - 12. Let p be -2 + 5*d/(-20). Solve 2*r + 25 = 3*j, -15 = -p*j - j - 2*r for j.
5
Let t be 1/2*(-1 - -7). Suppose -2*l + 2*j + 28 = 4*j, -3*l + 18 = -t*j. Suppose -4*h + 2*h = -24. Solve 0 = -4*y + 5*i - l, y - 5*i + h = 2 for y.
0
Suppose 4*x - 5*q - 24 = 0, -2*q + 31 = 5*x + 1. Let i(a) = a**2 - 5*a - 1. Let p be i(4). Let c = p - -13. Solve 0 = -3*w - b + 2 - c, -3*w + b = x for w.
-2
Suppose -5*l + 3*h + 10 = 0, -3*l - 26*h + 35 = -22*h. Solve 5*m + 11 = -5*x + 3*x, -l*x = -5*m + 10 for m.
-1
Let g = 158 - 156. Solve k - 4*k - t = -5, -g = 2*t for k.
2
Suppose -3*n + 69 = 2*a, 3*n = 4*a + a + 48. Solve 3*o + n = -4*i, i + 0*i + 6 = -o for i.
-3
Let w(t) = -t**2 + 16*t - 11. Let y be w(15). Solve y*p + p = 5*a - 10, 4*p + 7 = 3*a for a.
1
Let z be (-17*1)/(-15 - -2 - -12). Solve z = -4*u - m, -u + 5*m = 3*u + 35 for u.
-5
Suppose 4*n = 19*n + 525. Suppose 4*u - u = -21. Let l = u - n. Solve -5*y + 2*a = -l, -3*y = -8*y + 3*a + 32 for y.
4
Let y be 3 - 2 - 4/(-2). Let p = -20 + 32. Suppose 3*n - n = p. Solve -2*g - 4*j = -2*j - n, y*j = 3 for g.
2
Suppose -9 = -2*n - a, 2*n + 3*a = -a + 24. Suppose -5*d + 30 = -n*f + 6*f, -2*d - 11 = -3*f. Solve 3*h = 9, y + 5*h = d*y + 17 for y.
-2
Let j(d) = d**3 - 12*d**2 - 14*d + 15. Let c be j(13). Suppose -c*h = -7 + 1. Solve 2*s + 0*s - 5*b = -12, s = h*b - 7 for s.
-1
Suppose -58 = -y - 5*m - 55, 3*y - 5*m - 69 = 0. Solve -2*c - 4 = 4*z + 18, -y = 4*z - 2*c for z.
-5
Let w be 27/6*2 - -2. Let v = w - 12. Let o be 0 - -2 - (v - -1). Solve 0*d - 4*d = -5*q - 13, -7 = -d + o*q for d.
-3
Suppose 0 = -4*m + 20, 5*l - 29 = -2*m + 1. Let w = 10 + -7. Suppose 0 = w*p - p - l. Solve -p*b - r + 1 = 2*r, 10 = -4*b - 2*r for b.
-4
Let o(z) = -z**3 + 31*z**2 + 31*z + 47. Let q be o(32). Solve -g + 5*l = -q, 2*g - l - 16 = 2*l for g.
5
Suppose 0 = -2*b - 8 + 62. Let w = -17 + b. Let m(c) = -c**3 + 11*c**2 - 7*c - 14. Let o be m(w). Solve 2*v + o = 6*v, 14 = -5*t + v for t.
-2
Suppose -38 - 14 = -13*s. Solve -4*p - 24 = 2*h, 0 = 2*h + 2*p - s*p for h.
-4
Let h be ((-316)/44 - -7) + 92/22. Let o(l) = 2*l**2 - 5*l - 3. Let c be o(5). Solve -h*n = 4*f - 2*f + c, 4*n + 4*f = -24 for n.
-5
Let o = -9 + 22. Suppose o - 3 = -5*g. Let d(n) = n**2 + n. Let l be d(g). Solve q - l*m + 0 = 7, -5*q + 2*m = -19 for q.
3
Let x(k) be the first derivative of 3*k**2/2 - 7*k - 3. Let u be x(7). Solve -2*l - 2*f = 3*f + u, -4*l + 4*f = 0 for l.
-2
Suppose 3*w = -3*r + r + 16, -5*r + 31 = 3*w. Solve 3*u + 3*t - 1 + 16 = 0, 0 = w*u - 2*t + 10 for u.
-5
Suppose -59 = -5*w + 1. Suppose -13*m = -w*m - 3. Solve 0 = m*i + 2*t + 1 + 1, -2*t + 26 = -4*i for i.
-4
Let s be (-21)/3*(-2 - 3 - -2). Suppose -5*y + 4*y - 4*t = -s, -3*y = -5*t + 5. Solve 3*i + 4 + 15 = -l, -15 = -i + y*l for i.
-5
Let v be (-32)/(-12)*(-27)/(-36). Solve -2*u + 2*m + 2 = 0, 3*u - v*m = -6*m - 11 for u.
-1
Suppose -2*x - 65 = -1. Let p = 36 + x. Suppose -2*a - 2*a = 0. Solve -h + a*r = -r + p, 0 = h + r for h.
-2
Let n(u) = u**3 + 5*u**2 - 2*u - 5. Let f be n(-5). Solve f*q - k + 0 = -11, 0 = 2*q - 2*k - 2 for q.
-3
Let s = -163 - -171. Suppose 5*u - 3*y = 10*u - 22, y - s = -2*u. Solve -l = 2*m + 9, l = -4*m + u*l - 3 for m.
-2
Let n = 177 - 177. Solve 0*v + 25 = 5*z - v, -z - 5*v + 5 = n for z.
5
Suppose 0 = -4*y + 29 + 7. Suppose -8*h + y = -5*h. Solve 0 = -3*o, -3*m - h*o + 1 = 13 for m.
-4
Suppose 2*c + 3*r - 10 = 0, -5 = -4*r + 11. Let l be (c - (-2 + 2)) + (0 - -3). Solve m + l*m = -3*u - 9, 3*m + 4*u = -11 for m.
-1
Suppose -16*w + 50 = -11*w. Solve 4*c - 5 = x, 3*x + w + 5 = -2*c for x.
-5
Suppose 6*h - 3*h = 24. Let w = h + -9. Let z be (3/(-3) - w)/(-1). Solve z = -3*j + 4*m - 15, j - 2*j - 5 = -m for j.
-5
Let l be ((-12)/40*-4)/((-6)/(-50)). Solve 0*q = -3*q - 2*s - l, -4*q - 4*s - 20 = 0 for q.
0
Suppose -m - m - u + 3 = 0, 0 = -m - u - 1. Solve j = -3*q + 14, 18 = m*q - 3*q + 3*j for q.
3
Let i be (-15)/(-50) - 27/(-10). Let n(w) = 2*w**2 - w - 2. Let b be n(-2). Suppose 0*z - 2*z = -b. Solve -10 = 2*l - i*j, -j - z*j + 15 = -3*l for l.
-5
Let t = -107 + 109. Solve 5*m - 4 = -l, -t*l - 6 = -4 for m.
1
Let o(k) be the second derivative of -k**3 - k**2 - 6*k. Let w be o(-4). Let t = w - 18. Solve t*r - 8 = -4*d, 3 + 3 = 5*d + 3*r for d.
0
Let o be ((-10)/12)/(-11 + 390/36). Solve 5*h - 5*f - o = -0*f, -4 = -2*f for h.
3
Let l be (-34)/8 + (-9)/(-36). Let s be 280/50 - l/10. Solve -4*j = 12, -2*h + s*h = 5*j + 31 for h.
4
Let v = 398 + -396. Solve -2 = -g - s, 0 = -v*g + 4*g - 5*s + 31 for g.
-3
Suppose 0 = -16*z + 9*z + 63. Solve p + 4*p = -3*c + z, -3*p = -3*c - 15 for c.
-2
Suppose -1553 + 1535 = -6*d. Solve -3*u = -4*z + 23, u = -d - 2 for z.
2
Let y(a) be the second derivative of -2*a**3/3 - 9*a**2/2 - 13*a. Let f be y(-3). Solve -5*q - 3*x = 7, -15 = -3*q - 0*x + f*x for q.
1
Let u be -1 + 8 + 1*(6 + -10). Solve 2*b + u = 3*h, -5*b + 9 = 2*h - 12 for h.
3
Let u be 5 + 0 + 6/(-3 + 0). Suppose -b - 14 = -4*x, 5*x = u*b + 2*b + 10. Solve 2*q + 2*q + d = -11, 4*q = 4*d + x for q.
-2
Let g = -54 - -76. Suppose 4*u + q - 8 = 17, -3*u - 4*q + g = 0. Suppose -u*z + 2*m = -z - 6, -5*z + m + 8 = 0. Solve 4*f - 2 = -z*b, -6*b + b - 5*f = 0 for b.
-1
Let m(c) = 2*c**2 - c - 2. Let u be m(4). Suppose -2*p - 18 + u = 0. Solve -p*r - 30 = j - 6*j, -2*r = -5*j + 20 for j.
2
Let d(w) = 2*w**2 + w - 2. Let b be d(-2). Suppose -2*g + 1 = 2*i - 1, -i - 1 = -g. Suppose y = 67*y - 132. Solve -2*r + 6 = -b*o + o, -y*o + g = -3*r for o.
-4
Suppose 0 = -2*b - 2, 0 = 2*c + 2*b - 11 + 3. Suppose 283 = -7*p + 1151. Let s = p - 119. Solve -3*w + c*w + 11 = s*v, -5*v - 2*w = -19 for v.
3
Let o be (-2)/9 + (-94)/(-18). Suppose -17 = -3*c - 3*h - 11, -c + 5*h = -14. Solve -c*u = -o*m + 35, -2*m + 5*u + 40 = 3*m for m.
3
Let s = 1282 - 1282. Suppose 5*x + 3*n - 87 = -26, 8 = 4*n. Suppose x*r - 13*r = s. Solve 3*i + 2 = 2*q, r*i - 22 = -4*q - 3*i for q.
4
Let j(b) = b**3 + 8*b**2 - 35*b - 6. Let r be j(-11). Solve 2*o = 4*x + r, 13 - 5 = 3*o - 2*x for o.
0
Let y be ((-8)/10)/(2/40). Let v be y/3*(-36)/(-8). Let x = v + 24. Solve x = f - 2*r + 5, -2*r = -f - 2*f - 3 for f.
1
Let v(q) = q**2 - 6*q + 7. Let f be v(5). Suppose -620*m + 10 = -615*m, -2*l + 5*m - 4 = 0. Solve -u = 3*o - 10, -3*u = f*o + 2 + l for u.
-5
Let m be (-19)/(-4) + 33/(-44). Suppose -2*f = m*r, 3*f + 2*r + 3*r = 1. Solve 4*v = -4*d, -5*v = -2*v + 5*d + f for v.
1
Suppose 4 = -3*p + 2*p. Let y = p - -15. Suppose -6*t = -8*t. Solve 4*u - 8 = -5*k, k + 5*u + y = -t*k for k.
4
Let p(f) = -2*f - 18. Let t be p(-11). Suppose s + 0 = 3. Let g be (-3 + s)/(-1 - 1). Solve -v - t*v + 25 = -c, g = 2*c for v.
5
Let x be 18/(-3)*(-1 + 10/15). Solve x*s = 10, -2*s - 10 + 30 = -5*v for v.
-2