 p - 4 = x*n for n.
-1
Let c(v) = 18*v - 445. Let n be c(25). Suppose 3*q = -4*d - 4, -2 + 6 = -4*d. Suppose -4*t + 0*t = q. Solve -3*r + 0*r + 4*m - 13 = t, -n*r + 13 = 2*m for r.
1
Let c be (-1)/(-2)*(8 - (4 - 2)). Solve -2*a = 5*l - 7*a + 10, 0 = c*l - a + 6 for l.
-2
Let s(v) = 9*v**2 - 17*v - 13. Let w(d) = 5*d**2 - 9*d - 7. Let j(i) = 4*s(i) - 7*w(i). Let r be j(6). Solve r*q + 7 = n + n, 9 = -q + 2*n for q.
1
Let l be ((-1)/2)/((-2)/8). Let i = -2 + l. Let s(r) = r**3 - 4*r**2 + 10*r - 17. Let v be s(3). Solve i = -5*m + 3*q - 14, -6*q = -v*m - 11*q - 26 for m.
-4
Let f(l) = 2*l - 36. Let r be f(19). Let q be -6*(-4)/6 - r. Solve -i = 5*k + 1, -6*k + q*k = -2*i + 12 for i.
4
Let y(w) = -w**3 + 6*w**2 - 3*w - 1. Let l be y(5). Let a = 10 - 5. Let q be -1 + 1 - 42/(-3). Solve 3*o + a*z - q = 0, -2*o - z = 2*z - l for o.
3
Let x be (-6)/(-9) - (-3)/(18/20). Solve -x*y = -2*f - 8, -6*y - 2*f + 16 = -4*y for y.
4
Let a = -2 - 16. Let v = -16 - a. Solve v*c + 3*i = -10, -3*c + 8*c = -2*i - 3 for c.
1
Let i(v) = -17*v - 65. Let p be i(-4). Solve -p*h + 2*t = -8*h - 2, 4*t = 3*h + 22 for h.
-2
Suppose -32*v + 34*v - 44 = 0. Solve o - 5*l = -5 + v, -2*o + 1 = l for o.
2
Let x = 1347 + -1342. Solve -2 = -2*p - 4*f, p + 0*p - x*f = 15 for p.
5
Suppose -4*g + 20 = 0, -4*o + 0*g = 2*g - 6. Let t(y) = -y**3 + y**3 - y - y**3 - 1. Let i be t(o). Solve -3*s + 5 = -i, m = -s + 2 for m.
0
Suppose 8*v - 21 = 155. Suppose -14 = -2*l + v. Solve -4*c + 7*b - 16 = 3*b, 5*c + l = 4*b for c.
-2
Suppose 127*z = 121*z + 12. Solve 5*c + z*h = 23, -3*c - c - 5*h + 32 = 0 for c.
3
Let w = 45 + -43. Suppose w*k - 3*s = -2, 0 = -3*k - 2*s + 16 - 6. Solve 2*j = 4*j - 3*h + 16, 0 = 5*j - k*h + 29 for j.
-5
Suppose -2*o - o - 16 = -2*b, 2*b - 14 = 2*o. Solve 0 = -4*k + 4*f, 4*k + 10 = b*f - 3*f for k.
-5
Let s be 34/(-6)*(6 + -9). Solve -2*m + 11 = -5*j - m, -j = -5*m - s for j.
-3
Let a(t) be the third derivative of -5*t**4/24 + 17*t**3/3 - 46*t**2. Let h be a(6). Solve -h*v = -2*m + m - 1, 2*m + 2*v = 8 for m.
3
Suppose -2*u = 4*u - 48. Suppose 2*y = i + u, y - 4*y + 23 = 4*i. Suppose 2 = i*q - q. Solve -q*b = 3*t + 19, 0*t - 2*t + b - 1 = 0 for t.
-3
Let u = -34 + 73. Let n = 74 - u. Solve 0 = -5*q - 4*x - n, 0*q - x - 2 = -q for q.
-3
Let c = 8 + -3. Let h = -28 + 44. Let d = h + -16. Solve m + 6 = 2*j, d = -j + c*m - 8*m + 10 for j.
4
Let m(o) = o**3 + 21*o**2 - 48*o - 41. Let h be m(-23). Solve 13 = 3*c - h*p, 17 - 3 = -c - 2*p for c.
-4
Let p be (-3 - (0 + -2))/(1/(-3)). Solve 4*r + 5 = -p*c + 2*c, 1 = 4*c - 5*r for c.
-1
Suppose 2*u - 16 = -4*h, 3*h - 5*u + 3 + 11 = 0. Suppose h*f = 3*f - 24. Let z be 1 + -3 + f - 2. Solve -3*j = s - 8*j + z, -3*s - 4*j + 35 = 0 for s.
5
Let k be 6/(-6)*(1 + -1). Suppose -c - c = k. Suppose 0 = -2*b - c*b. Solve b = 4*v - 2*q + 16, 0 = 4*v - 0*q + q + 16 for v.
-4
Let a(w) = w**3 - 2*w**2 + 4*w - 1. Let y be a(1). Solve -3*f = x, -y*f = 3*x + 2*f for x.
0
Suppose 0 = -d - 0*j + j + 1, 5*d + 2 = -2*j. Let t(q) = -2*q - 16. Let g be t(-12). Solve -3*r + 2 - 3 = 5*x, d = -2*x - 5*r - g for x.
1
Suppose -10*n + 8*n + 3 = -3*c, -4 = 3*n + 4*c. Solve 4*w + n*w = 2*y - 24, 5*y = 2*w + 28 for w.
-4
Let f(o) = -o**3 + 5*o**2 - 5*o + 1. Let i be f(3). Let s(v) = v**2 + 9*v. Let c be s(-9). Solve c = 2*g + 4, 0 = -w - 3*w + i*g + 12 for w.
1
Suppose -l = q, -12*q - 35 = -l - 6*q. Solve 0*i = 2*i + 3*f - 9, 5*i = l*f - 40 for i.
-3
Let u(o) = -o**2 - 13*o - 1. Let g be u(-14). Let x = 34 + g. Solve x = 5*w + 4*a, 3*w + a = -2*w + 16 for w.
3
Suppose 2*j = -4, -4*a + 2*j + 4 = -12. Solve -4*m + 3 = p - 2*m, 1 = 4*p - a*m for p.
1
Let i = -808 - -812. Let w = 9 - 1. Solve -i*t = 5*g - w, 0*g + g + 4*t = -8 for g.
4
Let p be (6 + -1 - 2)*1. Suppose 2*l + 4*i = p*l - 3, -l - 2*i = -3. Solve -2*q + l = -7*q - 3*a, -3*a - 3 = -q for q.
0
Let u(k) = k**3 - 5*k**2 + 2*k - 5. Let x be u(5). Let m be (-33 + 35)/((-7)/(-14)). Solve -x*w - m*l = 0, w - 3 = -w - l for w.
4
Let p(a) = -87*a + 89. Let j be p(1). Suppose 0 = -4*w + 8 + 12. Solve -j*q - 2*q + 15 = w*u, 8 = 2*u + 2*q for u.
-1
Let z be 2/4*-2 - (-5 + -1). Solve 3*l = 3*t, z*l = -t + 2*t + 8 for t.
2
Let u = 47 + -38. Suppose -14*w + u*w = 0. Solve -6 = 3*m + 2*p, 2*m + w + 6 = -2*p for m.
0
Let w(u) = 2*u**3 + 66*u**2 + 62*u - 63. Let i be w(-32). Solve 5*y + 19 = -4*n - i, -5*y - 2*n = 20 for y.
-4
Suppose 6 = -2*i - 0. Let k be (-16)/6*i/2. Solve -5*q + 0*q = -t, k*q = t for t.
0
Suppose -81*h + 168 = -25*h. Solve 0*v - 2*v - 2*z - 8 = 0, 0 = h*v - 3*z for v.
-2
Let n = -8 - -18. Let b be 146/n - (-2)/5. Let i be (-2)/(-10) + 27/b. Solve -5*p + 5 = 2*m - 6, 2*p = -2*m + i for m.
-2
Let i = -70 - -98. Suppose -4*a - 2*g - 32 = 0, -4*a - g = 3*g + i. Let y be ((a - 1)*1)/(-2). Solve 5*b - 3 + 37 = -3*o, -y*o - 35 = 4*b for o.
-3
Let j = 382 - 377. Let h be 1/2*(1 + 7). Solve 0 = j*y + 3*k - h, -1 = 4*y - k - 11 for y.
2
Let p = 66 + -81. Let i be (78/p)/(10/(-25)). Solve -5*k + 28 = -3*o, 6*o = 3*o + 2*k - i for o.
-1
Suppose 53 = 16*b - 11. Solve 3*w = 5*g - 25 + 2, b*w - 3*g = -16 for w.
-1
Let h be (4/(-6))/((-7)/(-42)). Let k(j) = 0 + 2 + 2 + j. Let t be k(h). Solve t*i = i - 3*g + 11, -20 = 2*i - 5*g for i.
-5
Let k(u) = u + 19. Let y be k(-15). Let p(j) = -j**3 + 2*j**2 + 2*j - 1. Let d be p(2). Let i = -31 + 34. Solve -y*c + 14 = n, -i*c - 9 = d*n - 8*c for n.
2
Let r(i) = -4*i + 60. Let o = -58 - -72. Let j be r(o). Solve 44 - 14 = 4*q - 2*k, 0 = -j*q - 4*k for q.
5
Suppose -2*c - 3*c = -2*z - 24, 4*c + 3*z - 10 = 0. Solve 4*y - 7*h + 1 = -c*h, -4*y = 4*h + 36 for y.
-4
Suppose 0 = 2*a - 4*l - 110, -3 = -l - 8. Let c be a/18*(0 - -2). Solve -2*n - c = -2*s + 3*n, 5*n = s - 10 for s.
-5
Let a(v) = v - 35. Let o be a(47). Solve 2*s + 3*m = o, -m - 3*m + 17 = 3*s for s.
3
Let d = -42 - -44. Solve -q + 5*p = -7, -q + d + 3 = -3*p for q.
2
Suppose 0 = w - 3*w - 0*w. Suppose -5*m + 6*y + 30 = y, w = -4*m - 4*y + 16. Solve 11 = -2*r + 3*x, -6*r - m*x + 11 = -2*r for r.
-1
Suppose 3*d - 3 = 9. Let t be -2*7*-1 - (-32)/16. Solve -4 = -4*m - 5*z, m + d*z - t + 4 = 0 for m.
-4
Let n(o) = -o**2 + 10*o - 8. Let i be n(9). Let j be 3 - (-1 + -11 + i). Suppose 3*f - 5*f = -j. Solve x - 4*x = w - 9, x - f = w for w.
-3
Suppose 3*p + 5*n = 68, 5*n + 0*n + 100 = 5*p. Let w = -17 + p. Let k be 18/4*w/3. Solve -4*l = -8, -5*g + l - 11 = k for g.
-3
Let k(z) = -13*z + 148. Let c be k(11). Solve -10 = 5*n, c*m + 2*n + 16 = -n for m.
-2
Suppose -l = -3*s + 2, -3*s - l + 12 = s. Suppose -5*m - t + s*t + 100 = 0, -5*m + 115 = -4*t. Solve v = 4*d + 19, v + 5 = 3*d + m for d.
-5
Let r be (8 + 6)/(21/6). Solve 0 = -3*y - l + 2*l + r, -4*y = 3*l - 27 for y.
3
Suppose -2*z = 5*q - 6, -5*q - 2 = -4*z + 10. Suppose 0 = -d - 26 + 29. Solve -g = 2*g + d*j + 3, q = -g + 2*j + 14 for g.
4
Suppose -4*m = -4*w + 32, -11*w - 4 = -9*w + 3*m. Solve 4*s - 4*x + 12 = 0, -14*x + 11*x = w*s - 2 for s.
-1
Suppose 6 = -4*s - 2, -2*m = 5*s - 6. Suppose -4*l = -m*l. Solve 3*p - 5 = -t + 2, l = 4*t + 4*p - 4 for t.
-2
Suppose -5*k = -2*k - 36. Suppose -k = 5*l - 2*l. Let z be (-112)/(-24)*(-18)/l. Solve -5*a + 18 = 3*q - 2*a, -2*a = 5*q - z for q.
3
Let b(u) = -u**2 - 3*u - 2. Let h be b(-3). Let t(m) = m**3 + 4*m**2 + 5*m + 4. Let z be t(h). Solve 2*l = -3*d - 1, 0*d = z*l - 2*d - 14 for l.
4
Suppose -10*x - 20 = -15*x. Suppose x*o = o. Solve 3*j = 0, 3*w = -o*w - 3*j - 3 for w.
-1
Let v(l) = 2*l - 1. Let i be v(5). Let h be -2 + 15 + -135 + 126. Solve h*u = -3*y + 25, -4*u + 22 = 5*y - i for y.
3
Let z(a) = -a. Let o(q) = -6*q + 1. Let v(j) = -2*o(j) + 11*z(j). Let i be v(14). Suppose i*w - 10*w - 14 = 0. Solve w + 4 = -t - 5*b, -5*b = -2*t + 8 for t.
-1
Let y(i) be the first derivative of -i**2 - 43*i - 14. Let s be y(-24). Solve s*m = 2*c - 28, -m - c - 4 = m for m.
-4
Let u = 290 + -288. Solve -3*j - 5*m = j - 18, -2 = u*j - 3*m for j.
2
Let w(k) be the third derivative of -k**6/120 + 7*k**5/60 + k**4/3 + 32*k**2. Let y be w(8). Solve y = 5*u + 4*a + 26, 2*u = -u - 2*a - 14 for u.
-2
Suppose -34 = -o + 2*j, 70 = 3*o - o - 5*j. Let s = o + -12. Solve s = -4*x - 3*b + 2, 4*x = 3*b + 8 for x.
-1
Let w(u) = 5*u - 19. Let x be w(6). Solve -4*c = -v - 24, -2*c + 15 + x = -4*v for v.
-4
Let d(m) = -m**2 + 17*m + 20. Let v be d(18)