 = 5*n for j.
3
Suppose -33*j = 156 + 42. Let w(p) = p**3 + 7*p**2 - 34. Let f be w(j). Solve 4*t + 9 = 2*u - 21, 2*t = -f*u for u.
5
Let t(a) be the first derivative of 8/3*a**3 - 27 + a**2 + 2*a. Let u be t(-2). Solve 4 = -4*c + 2*y + u, -2*c - 3*y = -1 for c.
5
Suppose 0 = -398*r + 402*r - 16. Suppose -r*a + 5 = -11. Solve a*w - w + i + 13 = 0, -w = 4*i + 8 for w.
-4
Let w(p) = 237*p + 2609. Let c be w(-11). Solve 4*s - 4 = -r, -2*r - c*r = 2*s + 12 for s.
2
Let a be ((-60)/48)/(2/(-8)) - -21. Suppose w = 4*g + 12 - 51, -3*g = -4*w - a. Solve 4*d + 23 = 3*c, g = -d - 0*c + 5*c for d.
-5
Let d = -346 - -472. Suppose 82*y + d = 89*y. Solve -h = -5*j + 5, -3*h - y = 5*j - 3 for h.
-5
Suppose -4*c - 1 = -5*z - 61, 58 = 5*c - 2*z. Let u be 15/(-6)*(c/(-5) + 0). Solve -5*a - 2*y - 5 = 2*y, -2*y - 5 = u*a for a.
-1
Let i = -380 + 385. Let z(b) = -b**2 - 5*b + 52. Let w be z(i). Let f be ((-6)/5)/((-4)/10). Solve 2*g - 8 = f*p, 0 = g + w*g - p - 5 for g.
1
Let k(r) = -4*r**2 - 3*r**2 + 3*r**3 - 4*r**3 + 15 - 5*r. Let f be k(-8). Let n = 123 - f. Solve 0 = -n*q - 2*a + 2 - 10, -4*a = 8 for q.
-1
Let m = -3097 - -3111. Solve -4*l = -2*x + 3*x + m, -2*x = 5*l + 16 for x.
2
Suppose 2*q = -3*a - 13, 5*a - 45 = 5*q - 0*a. Let s = 11 + q. Solve -2*j = 6, -4*i + 3*j + s + 6 = 0 for i.
0
Let d(b) = 2*b**2 - 69*b + 389. Let p be d(7). Solve -20*m + 20 = -15*m - 5*f, -8 = -2*m - p*f for m.
4
Let u(d) = -d**3 - 17*d**2 - d - 14. Let t be u(-17). Suppose -t*x = -73 + 10. Let z = x + -16. Solve -5*v + z*a - 25 = -0*a, -a = 4*v for v.
-1
Let l be 3 - -3*(-6)/(-18). Suppose -h - 9 = -l*h. Suppose 20 + 1 = 3*v. Solve -x = -h*w, 0 = 5*w - 2 + v for x.
-3
Suppose -440*u = -442*u + 1922. Let z = u + -939. Solve -2*v - 4*r = 3*v + 10, -4*r - z = -v for v.
2
Suppose -3*s + 20 = 2*s - 5*m, 5 = -5*m. Let h be (-15)/20*2*(-110)/15. Suppose 12*k - 37 = h. Solve -s*u + k*d + 3 = -0*u, -5*u + 5*d + 10 = 0 for u.
5
Let f = 26 - 56. Let m be (-340)/f - (-2)/(-6). Suppose -5*b - g - 5 = 4*g, -m = -b + 2*g. Solve 0*u + 5*v + 14 = -2*u, 3*u - b*v = 21 for u.
3
Let n(a) = 3*a + 16. Let j be n(-10). Let s = j + 18. Suppose -o + 3 = f, 6*f - 3*f + s*o - 10 = 0. Solve f*z - 2 = 0, 5*u - z - 1 = -2 for u.
0
Suppose 2*x - 52 + 46 = 0. Suppose 12 = x*w + 3. Suppose -w*d + 8*d + 4 = -3*z, -4*d - 10 = -z. Solve -5*m = t, 3 = m + z for t.
-5
Let s be 4/(-2) - 1*-7. Suppose 358*w = 664*w - 1836. Solve -4*a = -m + 4 + s, m + w = -a for a.
-3
Let r(y) = -10*y + 166. Let k be r(-19). Let n = k - 354. Solve -2*b - u - 2 = 0, n*u = -b - 3*u - 10 for b.
0
Let v = 1889 + -1871. Let a(t) = -t**2 + 9*t - 10. Let m be a(7). Solve 4*o + b - v = 0, 4*b = 6*b - m for o.
4
Let s(r) = 2*r**3 - 14*r**2 - 13*r + 43. Let j be s(7). Let a be (-3)/2*j/36. Solve 5*l + 2*o = 2*l - 22, a*l - 3*o - 7 = 0 for l.
-4
Suppose 2*y = i + 22 + 8, -y + i + 14 = 0. Let x be (6/16)/(y/128). Solve m + 5*u = 2*m - 12, 0 = -x*m - 3*u for m.
2
Suppose -17*n + 19*n = 6. Solve -2*u = -n*z - 11 + 7, 4*u - 8 = -2*z for u.
2
Suppose -2*w - 249 = -13. Let r = w + 122. Solve -g = 2*g + r*n - 19, -5 = -5*n for g.
5
Let g be 3/(-4 + (-207)/(-45)) + 8 + -1. Solve 4*k - 4*n - g = 3*k, -4*k - 4*n = 32 for k.
-4
Let m = -23 - -31. Suppose m*l - 17 = 23. Suppose 5*b = 6*b - 34. Solve 0*x + 2*x + 5*s = -19, 0 = -3*x + l*s + b for x.
3
Suppose -5*a = 15, -13*o + 11*o + 3*a + 15 = 0. Suppose o*k - 20 = -2*k. Solve -2*d - 28 = k*q, -5*d = q - 5*q for q.
-5
Let t(x) = 2*x - 8. Let u be 3/4 - 68/(-16). Let m be t(u). Suppose 36 = -m*r + 60. Solve 9 - 3 = -3*a + 3*c, -3*a = 3*c + r for a.
-3
Let g(d) = 8*d - 29. Let b(k) = -k - 7. Let t(s) = -6*b(s) - 3*g(s). Let v be t(7). Solve -w = 5*i - 14, 4*w - v*i + 19 = 2*i for w.
-1
Suppose 0 = -6*n + 2*n - w - 38, -3*w + 6 = 0. Let v = n + 27. Suppose -3*r + x + 2 = -x, x = -3*r + v. Solve -2*a = 4*c - a + 16, -2*a - r = c for c.
-4
Suppose 4*y + b = -0 + 15, 3*y - 3*b = 15. Solve -y*n + 5 = 5*r - 10*r, 3 = -3*n - 3*r for n.
0
Suppose 0 = -5*d + 3*d. Suppose 5*p - 15 = 0, 4*t + 3*p - 6*p + 1 = 0. Suppose -3*q + 2*b + 6 = -d*b, -4 = -t*q - 5*b. Solve a + q*s + 1 = 0, s = 6*s - 5 for a.
-3
Let f be ((-8)/(-24))/((-9 - -5)/(-24)). Solve 5*m = f*l + l - 40, 5*l + 3*m - 10 = 0 for l.
5
Suppose 1969*w - 2*p = 1965*w + 92, 0 = w + 3*p - 16. Solve 19*x = w*x + 4*j + 32, x + 4*j + 24 = 0 for x.
-4
Suppose -90*p + 202*p - 536 = -22*p. Solve -25*u = -26*u + p*g, 2*u + 3*g = 0 for u.
0
Suppose -27 = -m + 3*k, k + 0 = -5. Let f = -10 + m. Let i = f + 0. Solve 15 = i*g - 5*w, -4*g - 3*w = -6*w - 23 for g.
5
Let x(q) be the first derivative of -2*q**2 + 43*q - 186. Let l be x(8). Solve -l = -5*t + 4*t + 5*c, -2*t = 4*c + 6 for t.
1
Let s be 23/20 - 6/(-24) - 63/(-105). Solve v = -3*h, s*h - 13*v + 17 = -8*v for h.
-1
Let f = 175 + -170. Suppose -2*i - f*g - 5 = -0*g, 5*i + 2*g = 19. Solve 2*j = 5*r - 7, -r - 4*r = -i*j - 10 for j.
-1
Suppose 24*i = 12*i + 12 + 12. Solve 0 = -y + 5*j, -i*y + j + 11 = -4*y for y.
-5
Let x be 5/(5 + -12 - -6 - 45/(-20)). Solve 0*a + z - 1 = 3*a, 4*a = x*z + 4 for a.
-1
Let o be (483 - 483)*(-3)/(-30)*-1. Suppose -g = -2*n - 5, 3 - 6 = -2*g - 3*n. Solve 4*i + 9 + 9 = 2*l, o = -l - i - g for l.
1
Let n = -2723 - -2728. Solve -6*c + 9 + 11 = -4*g, n*g = 3*c - 25 for c.
0
Let l = 222 + -237. Let w be (-6)/(-12) + l/6 + 2. Solve v + w*v = 4*p + 25, -5*v + p = -30 for v.
5
Suppose -4*w - 2*x + 12 = 0, 12*w + 24 = 13*w - 3*x. Solve 5 = -5*f, o = w*f - 1 + 6 for o.
-1
Suppose -5*l - 38 = -2*y, 3 - 1 = 2*y + l. Solve y*o = q - 12, 2*q = 6*o - 3*o + 4 for q.
-4
Suppose 75 = -69*n + 72*n. Let r = -527 - -530. Solve -5*h + r*u + n + 0 = 0, -3*h + 15 = 3*u for h.
5
Let j(i) = 3*i**2 - 26*i - 489. Let k be j(18). Solve 11*b - k*b = -2*v - 14, -2*v - 38 = -10*b for b.
4
Suppose -6 = -11*c + 27. Suppose -3*h + c*s + 2*s = 0, 4*h - 8 = 4*s. Let m be (-24)/84 - 9/(-7). Solve h*p - m = -3*t, -t - 5 = 2*p + 2*t for p.
2
Let s(g) = 1449*g - 5791. Let t be s(4). Solve 0 = t*y - 3*u - 26, 5*u + 2 = 3*y - 5*y for y.
4
Let v be -9*(21/(-9) - -2). Let t be 8 + -3 + v/(-1). Let b be -4 - (3 - t)*-7. Solve b*z = 5*i + 22, -4*z + 4 + 14 = -i for i.
-2
Suppose -3 = r + o - 15, -3*r = -5*o - 12. Solve t = f + 2, 4*f + 10*t = r*t + 12 for f.
2
Suppose -13 + 111 = -u. Let p = 33 + u. Let w be p/(-7) + 20/(-70). Solve 0 = 4*h - d + w, -5*h + 20 - 50 = -5*d for h.
-1
Suppose 19 = z - 3*x, -3*z - 17 + 4 = 5*x. Suppose -84 - 21 = d - 6*d. Suppose z*u - 11 = -g, 3*u + g - d = -4*g. Solve -n + u*b + 12 = 4, 10 = 3*n + b for n.
4
Let y = -82 + 82. Suppose o - 5*w + 12 = y, 4*o = 6*o + w - 9. Let p be 0/((-4)/(4 - o)). Solve p = 5*z + 3*m - 18 - 2, 0 = -3*m for z.
4
Let n = 477 - 475. Let l = -1 - -3. Solve n*u - 7*u - 8 = l*c, 3*u + 12 = -3*c for u.
0
Suppose 0 = 3*f - 18, -14*f = 16*u - 16*f - 1892. Solve -5*o - 117*d = -u*d + 6, 3*o + 5*d + 16 = 0 for o.
-2
Suppose 0 = 9*f - 686 + 659. Solve 2*a + 9*z - 2 = 14*z, 2*a + f*z = -14 for a.
-4
Let d be (90/(-63))/((-20)/56). Suppose -5*a = -4*j - 1, 4*j - 6*a = -d*a + 14. Solve -2*f + 4*u - j = 0, -6*f + f = -u + 24 for f.
-5
Let k be (-452)/(-9) - (156/54)/13. Suppose -4*b - k = -14*b. Solve -4*l = -2*l + 3*h - 16, h + 23 = b*l for l.
5
Let b(j) be the third derivative of -j**6/60 - j**5/15 + 5*j**4/24 + 5*j**3/2 - j**2 - 4. Let d be b(-2). Solve -4*g = 3*r + 8, -r + d*g - 9 = -0*r for r.
-4
Let j(i) be the third derivative of -7*i**6/60 + i**5/60 - i**4/24 - i**3/6 - 20*i**2. Let v be j(-1). Solve 5*s - 3*f - 20 = -5, -3*f - v = -s for s.
0
Let o be (28/(-21))/(0 + (-6)/342). Suppose 230 - o = 7*c. Solve 12 = -d + 3*t, -d + 7*t - 2*t = c for d.
3
Suppose 5*j - 3*z = 2*z + 10, 5*j - 4*z - 13 = 0. Suppose -j*o + 3*o = -3*d - 8, -5*d = 20. Let m be (-5)/(-2) + o/4. Solve 2*u = -2*u - 4, -m*v = u - 1 for v.
1
Suppose -2354 = -78*p - 2120. Suppose -2*u = u - 12. Solve 3*c = -2*o - 5, -p*o - 4 = u*c - o for c.
1
Let d(s) = 2*s**3 + 23*s**2 - 12*s + 3. Let h be (17/((-935)/(-22)))/((-2)/60). Let y be d(h). Solve -y = -2*o - 13, -15 = 4*r + 3*o for r.
0
Suppose 3*z - 16 = -4*y + 2*z, 4*y + 5*z = 16. Solve 2*u - 2 = 3*j, 11*j - y*u - 2 = 8*j for j.
-2
Let c = -37918 + 37928. Solve -3 = -3*y, 12*p - 4*y + 12 = c*p for p.
-4
Suppose 43 + 65 = 6*k. Let g be (-3)/9 - (-78)/k. Solve 0 = 5*