lve -p*s = z - 8*s - 4, 0 = a*z + s + 5 for z.
-1
Let b(j) = -j**2 - 12*j + 15. Let l be b(-13). Solve 3*q + 4*x + 1 = -5, -q - 4*x = l for q.
-2
Let l(k) be the third derivative of -k**5/60 - k**4/6 + k**3/6 - 25*k**2. Let v be l(-3). Solve -3*p = -p - 6, -v*p + 12 = d for d.
0
Let a be 108 - 9/6*-2. Let z = 111 - a. Solve -4*x + t + 12 = z, 3*x + 5*t + 0*t = -14 for x.
2
Suppose 2*l - 4*l - 26 = 0. Let b = l + 15. Solve 0 = b*j - n - 0*n - 6, -5*j = 4*n - 2 for j.
2
Let r = 101 - 31. Let v = 83 - r. Solve 0 = -3*c + v + 2, 4*c = 3*s + 5 for s.
5
Let t = 44 - 37. Suppose d = t*d. Suppose d = -2*h + 17 + 15. Solve -3 + h = 4*m + w, -4*w = 2*m + 4 for m.
4
Let o(j) = 2*j**2 - 6*j - 18. Let c be o(6). Suppose -19 - c = -u. Solve 3*a = -0*a - 4*z - 29, 5*z = -4*a - u for a.
-3
Let t be (-24)/4*((-18)/(-12) + -2). Solve j + 7*u = t*u - 15, 15 = -4*j - u for j.
-3
Let b be (-45)/90 + -1 + 155/(-2). Let t = b + 87. Solve x + 3*x - 4*p = -t, p + 4 = 4*x for x.
2
Suppose -9*o = 9*o - 90. Solve -2*a - o*i - 9 = 0, 7*a - 4*i - 27 = 2*a for a.
3
Let b(m) be the third derivative of -m**5/60 - 4*m**4/3 - 13*m**3 + 29*m**2. Let n be b(-29). Solve 0 = -t - 2*k - 13, t + 0*t + k = -n for t.
-5
Suppose 6*u - 15 = u. Suppose 4*g + 5*w = -17, -u*g + 5*g = 4*w + 24. Suppose -4*n + 6 = -g. Solve -4*j + 19 = -a, 3*j - 11 = 2*a + n for j.
5
Let h(z) = -2*z - 1. Let t be h(1). Let w be 1*2 - (t - -3). Let v(i) = -2*i - 20. Let u be v(-13). Solve 4*o - u = w*m + 5*o, 3*m + 14 = o for m.
-4
Let i = 2 - 1. Suppose -8*k - 5*k + 82 = 43. Solve 0*f + 1 = -2*f - k*j, j = -i for f.
1
Let m = -99 + 109. Solve -5*y = 4*p - 11, y + 5*p - 9 = m for y.
-1
Suppose -9*q + 13*q - 8 = 0. Solve -3*n + 7 = -2*x, -x + 6*n = q*n + 1 for x.
-5
Suppose 0 = 3*x + 184 - 199. Solve -10 = -x*j - 2*v + 4*v, 0 = 3*j - 2*v - 10 for j.
0
Suppose 2*c - 36 + 30 = 0. Let n(p) = -p**2 + 5*p - 1. Let b be n(5). Let u be 2/((-2 - -1)/b). Solve 0 = u*q + 2*j - 4, 2*j + 2 = 4*q + c*j for q.
0
Let n = -6 - -9. Suppose a = 1 + n. Suppose 0*i = 5*i + a*o, 5*i = -o + 15. Solve -i*b - 20 = -w - 3*w, -w = 0 for b.
-5
Let n(d) = -4 + 4*d - 3*d**2 - 4*d - d**3. Let s be n(-4). Solve 3*y = 3*x - s, -3*y - 4*x + 6 = -x for y.
-1
Suppose -2*p = 2*u - 3*p + 128, 4*p - 252 = 4*u. Let z = 88 + u. Solve 5*g - z = -0*v - 2*v, -12 = -2*g + 2*v for g.
5
Suppose 17*f = 3*p + 15*f - 6, 5*p - 3*f = 10. Solve 4*d - 3*d + 3 = -2*v, -2 = p*v for d.
-1
Suppose -2*q - x = -65, -2*x = -0*q - 2*q + 62. Let h = -20 + q. Let n = 24 - h. Solve -n = 6*t - 2*t + d, -4*d - 20 = 2*t for t.
-2
Let h = 306 + -176. Let f = 137 - h. Solve 0 = q + 3*i - f, 4*i + 9 = -q + 20 for q.
-5
Let t = 150 + -146. Solve -t*s + 3*m = -m - 4, -s = -4*m - 1 for s.
1
Suppose 5*p - 23 = 22. Suppose 0 = -2*o - p + 11. Solve 2*z + o = -i + 6*z, z = 1 for i.
3
Suppose 5*u = -3*d - 9, -6*u - 11 = -u + 2*d. Let f be (-30)/35*u - (-3)/7. Solve -5*p - 16 = -4*k, k = 2*k - p - f for k.
-1
Let y = 576 - 570. Solve -3*g + 1 = 4*v, 4*v - 10 - y = 0 for g.
-5
Let r(n) = -n**3 + 20*n**2 - 53*n + 38. Let s be r(17). Solve -33 = 4*k - 5*w, -2*w = s*k + w - 7 for k.
-2
Let k(z) be the third derivative of -z**6/120 - 13*z**5/60 - z**4/24 + 17*z**3/6 - 13*z**2. Let t be k(-13). Solve 5*x = -6 + 1, 0 = -5*c + 5*x + t for c.
5
Let b = -75 - -87. Solve 0 = 6*g - 2*g - 4*j - b, -2*j - 20 = 5*g for g.
-2
Suppose 47 - 44 = m. Solve 0 = 2*i - 5*i + m, 0 = 2*c + 2*i for c.
-1
Let t = -68 - -70. Let d be (-1)/((-2)/(-2)*t/(-10)). Solve -w - 4*z - 24 = 0, w - d*z - 1 = 20 for w.
-4
Suppose -31*f - 75 = -199. Solve -3*l - 8 = -5*l, -2*h - f*l = -18 for h.
1
Let s be (-150)/(-22) - 3 - 4/(-22). Let y be 3 - (s - 3) - (1 - -1). Solve -5*l = -5*p - y*p + 15, 0 = 3*p for l.
-3
Let f = -59 - -61. Suppose -3*d + f*d + 2 = 0. Solve d*i - 3*x = -11, i + 4*x - 37 = -15 for i.
2
Suppose 0 = f - 3*t + 3, -5*f = -4*t + t - 9. Solve -5*o + 2 = -3*o + f*n, 3*n = 4*o - 22 for o.
4
Suppose -48 = -12*q + 12. Suppose 4*u + q*t + 10 - 43 = 0, 15 = 5*u + t. Solve -3*y + u*o = 23, 3*y - 2*o = -y - 28 for y.
-5
Let f be ((-425)/170)/(-1*2/4). Solve 0 = -3*l - f*z + 10, -2*l + 6 = 4*z for l.
5
Suppose 0*o = 2*o - 6. Suppose -o*u = u + 16. Let n be (-1 - u - 6)*-1. Solve -4 = n*w - 4*p, 17 = 5*p - 3 for w.
4
Suppose -6*r - 5*r + 33 = 0. Suppose 2*b - 5*m - 10 = -r*b, 8 = 4*m. Solve 4*s - 3*d = 3, -4*s - 6 = b*d - 2 for s.
0
Let y = -72 + 70. Let h be 18 - (y - 6/3). Solve d = 4*i + 2*d + 9, -h = 2*i + 4*d for i.
-1
Suppose 177 - 37 = 10*i. Solve 0 = -0*s + s - 3*b + i, 0 = -4*s - 5*b - 5 for s.
-5
Suppose 0 = 3*x - 6 - 6. Let r = -17 - -19. Let a be 2 + -2 + 2 + r. Solve -4*i + 3*q + 10 = q, a*q = x*i - 4 for i.
4
Let o = 21 + -17. Suppose -16 = -o*r - 2*c, 2*r - 24 = -c - 4*c. Solve -4*g + 4*w - 12 = -r*g, 3 = w for g.
0
Suppose 0 = -0*w + 4*w - 20. Let l be 6*4/16*-2 + 16. Solve -o - 5*j = o + 4, l = o - w*j for o.
3
Let o = 16 - 16. Let j be -3*3/9*o. Solve j = -4*a + 4*f + 4, -3*f + 1 = 2*a - 6*f for a.
2
Let m = -81 + 87. Solve -4*k + m = w, w + 2*w + 5*k = 11 for w.
2
Suppose 2*m = -1 + 9. Suppose 3*o - 71 = -m*h + 4, 2*o = -6. Solve 3*r - h = 4*y, 0 = 2*r + 2*y + 2*y + 6 for r.
3
Let s(j) = -85*j - 677. Let n be s(-8). Solve -5*g - 3*t = -16, 6 - n = -t for g.
5
Suppose -3*u - 199 = -5*g, -4*g - 8*u = -3*u - 174. Let s = g + -39. Solve 4*y - 2*c = 0, 0 = 5*y - s*c - 3 + 2 for y.
1
Suppose -11*a = -6*a - 35. Let x = 10 + -6. Solve -x*f - 5*r = 37, -4*f + 0*r - a = -r for f.
-3
Let z be (3 - 3) + (-1 - -1). Suppose z = y - 5 - 1. Suppose y = b + 4. Solve 0 = 4*o - 3*f - 4 - 11, -3*o = b*f + 10 for o.
0
Let s = 7 - 8. Let h be 2/(s - 16/(-20)). Let a be 5/10 - h/4. Solve k - w = -a*w + 12, k - 16 = -3*w for k.
4
Let f be 0*(-4)/8*2 - -5. Solve f*r = -5*s, -1 = -s - 5*r + 3*r for s.
-1
Let g = -4 - -9. Suppose 4*b + 16 = -4*y - 0*y, 3*y = -g*b - 12. Solve 4*m - 4*l = 24, l - 14 = -4*m - b*l for m.
4
Suppose 8*s + 3 = 4*m + 11*s, 5*m + s - 12 = 0. Solve 5*t = 20, -5*t - 1 = -m*h - 18 for h.
1
Let t(i) = 21*i + 35. Let g be t(-9). Let x be 2/(-5) - g/35. Solve -20 = x*n - 4*h - 0, -4*h = 3*n + 15 for n.
-5
Let i(g) = 2*g**2 + 20*g - 17. Let y be i(-11). Solve 4*c + z + 3 = 2*c, 5*z = -y*c for c.
-3
Let x(h) = 2*h - 7. Let n be x(17). Solve 0 = 2*w - 5*j - n, 2*w + 3*w = -3*j - 10 for w.
1
Let g(w) = -9*w + 296. Let j be g(32). Solve -1 = 4*l - n + j, 5*l + 15 = 2*n for l.
-1
Let l(p) = p**3 + 5*p**2 - 5*p + 7. Let r be l(-6). Suppose -2 = -19*d + 21*d. Let z be d/(r*3/(-9)). Solve -3*a + 7 = -o, 2 = z*o + 3*a - 13 for o.
2
Suppose 0 = 3*l - 2*f - 19, 2*l + 10*f - 6*f = 2. Solve 5*d = -l*x - 0*x - 5, 3*d = -2*x + 2 for x.
-5
Let z(s) = -3*s - 44. Let k be z(-16). Solve -h - 2 = -k*l - 22, -3*h - l = -8 for h.
4
Suppose -t = 5*w - w + 184, 3*w - 2*t = -127. Let d be (4 - (-21)/(-6)) + w/(-2). Solve -5*x + d = 2*k, 4*x - 4*k + 1 = -x for x.
3
Let g(k) = -k. Let n be g(-2). Suppose 5*r - 18 = n. Suppose 9*l - 25 = 4*l. Solve l*x + 5 = -z + 2*z, -20 = -r*z + 5*x for z.
5
Let f(d) = d**3 + 10*d**2 + d + 13. Let g be f(-10). Let h be (5 - 4)/(g/9). Suppose -4*s - h = -5*s. Solve 5*i - t + 16 = s*t, -3*i = -t + 11 for i.
-4
Let y(x) = -47*x - 41. Let z be y(-1). Solve 32 = -3*o + 4*h, -4*o - 15 = -h + z for o.
-4
Let r = -1384 + 1384. Solve 10*j + 2 = 9*j, r = 3*y + j + 8 for y.
-2
Suppose 4*o = 6*o. Suppose o = -3*k + 8*k. Solve 8*c - 3*c = 2*n + 15, k = 5*c - 5*n for c.
5
Let n = -57 - -61. Suppose -n*s - 2*u - 2*u = -56, 0 = -3*s + 4*u + 63. Solve -3*y + 0*y + s = 4*a, -y - 5*a = -13 for y.
3
Let y be ((-12)/(-16))/((-2)/(-8)). Suppose -u = -0 + y. Let i be 1/(u + 52/16). Solve -a - 3*a - 4 = -i*k, 0 = 3*a - 2*k + 7 for a.
-5
Let y = 2 + -1. Suppose -5*l = a + 3 - 16, l + 10 = 4*a. Let j be (6/(-4))/(12/(-16)). Solve -a*h - j*k - y = 0, 0*h + 5*h - k = -6 for h.
-1
Let f be (1 - 1) + (2 - -13). Let q = f + -12. Suppose -c - 3 = v - 6, 0 = q*c + 6. Solve 2*t = -4*o - 5 - v, 2*o + 8 = -4*t for t.
-1
Suppose 3*a = -5*z + 23, 13*a = 5*z + 12*a - 19. Solve 3*b + z - 18 = 2*j, -3*b - 4*j = -8 for b.
4
Let z(r) = r - 1. Let k be z(-2). Let h be k - -3*12/9. Let p = h - -4. Solve 3*d - c = -3*c + 23, p*c + 5 = 5*d for d.
5
Let t(g) = -2*g - 10. Let a be t(-7). Solve a*m = -o + 12, -5*o - m + 9 = 2*m for o.
0
Suppose 4*