 -5*m = p - x for m.
1
Let i(t) = -t + 5. Let v be i(-5). Let j be ((-4)/v)/(2/20). Let k = j - -6. Solve 4*w - 14 = 2*p, -3*p - 21 = k*p + 4*w for p.
-5
Let k(j) = j**3 + 5*j**2 + 10*j + 27. Let s be k(-4). Solve y - 6*l + 2*l + 13 = 0, 0 = -s*l + 9 for y.
-1
Let y be (-3)/9 - (-32)/6. Let u be y/2 + (-1)/(-2). Let a be u/((-3)/(-3 - 0)). Solve 2 + 4 = 5*s + 4*b, -5*b = -a*s - 26 for s.
-2
Let x(r) be the first derivative of r**4/2 - 2*r**3/3 + 3*r**2/2 - 4*r + 3. Let h be x(3). Solve -3*a + 22 = 2*w, -w - 4*w + h = 4*a for w.
5
Let l = 50 + -30. Suppose 3*m + l = 3*w - 7, 41 = 4*w - 5*m. Solve 2*q + d = 3, 10*d - 5*d - w = q for q.
1
Suppose -j + 3*j - 42 = 0. Let l be 8/3*j/14. Solve 2*d + 5*v = 4*d - 2, 2*d + l*v = 2 for d.
1
Suppose -11 = -5*a + 4*d - d, -4*d = 4*a - 28. Let t be 3*a/(-18)*6. Let h = 2 - t. Solve 2*u - 3*g + h = -u, 4*u + 5*g + 17 = 0 for u.
-3
Let i = 9 + 2. Suppose -3*z = 5*s + 1, -3 = -4*s - i. Suppose -z*b - b + 72 = 0. Solve 3*y = 2*d - b, -3*d - 3 = 3*y - 0 for y.
-4
Suppose -p - 6 = 5*f, -p + 5*f + 18 = p. Solve -p*a = -h - 13, h + 5*a = 5*h + 8 for h.
3
Suppose 4*r + 2*f - 4 = 24, 0 = -3*r - 2*f + 23. Solve -p - 5 = r*g, 5*g + 4*p + 15 = p for g.
0
Let n(a) = a**3 - a**2 - 2*a + 2. Let b be n(0). Let u be 66/4 + 1/b. Solve 2*p + 4*y = -p + u, 0 = p + 2*y - 9 for p.
-1
Suppose 2 = m + 1, -3*a = 2*m - 65. Solve -h + w = -0*w + 5, 4*w - a = 5*h for h.
-1
Let q(d) = -3*d**2 - 17*d - 8. Let p be q(-5). Solve 15 = 3*o, -5*i + p*o = 4*o for i.
-2
Let p = -8 + 7. Let y be 4 - p/2*-2. Solve y*c - 9 = -c + 3*z, 0 = 2*z - 2 for c.
3
Suppose 4*h - 2*u + 10 = 2*h, -25 = -5*u. Solve -4*j - 9 = -5*c, h*c + 3*c = -j + 2 for c.
1
Suppose -2*s - 30 = -6*s - d, -2*d = -5*s + 44. Let k(h) = -h**2 + 9*h - 3. Let t be k(s). Solve -3*f - l = -7, -3*f - t*l + 0*l - 1 = 0 for f.
3
Suppose 3*i = 2*i + q + 3, 0 = -4*i + q + 15. Suppose -s - i*m = 9 + 4, 2*s - 4*m = 22. Solve -3*k + 5*y = -37, 8 = s*k - y - 9 for k.
4
Let t = -63 + 65. Solve 0*y = 3*y - o, -6 = -t*o for y.
1
Let n be (-3 - 0)/(((-3)/4)/1). Solve -28 = 5*o + 4*f, -n*f = 4*o - 3*f + 18 for o.
-4
Let t(x) = x**3 - x + 2. Let p be t(0). Suppose 2*u = 7*u - 15. Suppose 2 = -f - 4*g, -7 = -u*f + 3*g + 2. Solve f*l - 14 = -p*j, -4*j + l + 18 = -0*l for j.
5
Let y(b) = 7*b**2 + b + 3*b**3 - 3*b**3 + b**3 + 4*b**2 + 14. Let t be y(-11). Suppose 4*u = 6 + 2. Solve 4*g - w = 15, -t*g = w + u*w - 30 for g.
5
Let c = -4 - -9. Suppose -s + 3*r = -19, 4*s - 19 = 4*r + 57. Let o(k) = -k**2 + 6*k. Let a be o(5). Solve -3*b = -b + c*w + 23, b + s = -a*w for b.
-4
Suppose 3*d - 10 = 5. Let c be (5/3)/(4/(-24)). Let s be (-16)/(-40) - 16/c. Solve -5*l = 3 + s, d*l = -5*r + 10 for r.
3
Let n be 1/8 - (219/8)/3. Let i be (-3)/(12/(-11))*4. Let j = i + n. Solve 4*d + 8 = -w, -j = 5*w - 3*d + 15 for w.
-4
Let m be ((-91)/14)/((-1)/2). Suppose m = 4*y - r, -2*r - 5 = y - 2*y. Solve y*a + 12 = 4*a + 3*d, -2*d = -3*a - 8 for a.
0
Let d = 12 + 1. Let s = 18 - d. Suppose s*j = 10 + 10. Solve -2*n - 2*g + 2 - 4 = 0, j*n - 2*g = 2 for n.
0
Suppose 5*j + 4*j = 36. Solve v = -j*h + 17, -2*v + h = -4*v + 6 for v.
1
Suppose -2 - 6 = -4*u. Let k(r) = -r**3 + 3*r**3 - 7 - 10*r**2 - r**3 + 10*r. Let o be k(9). Solve -3*x - o*m + 3 = -u, -3*x + 2*m = -1 for x.
1
Let m(r) = r**3 + 6*r**2 - r - 4. Let f be m(-6). Let z(w) = -w**f + w + 2 - 5*w + 0. Let i be z(-3). Solve 5*s - 20 = -i*l, -3*s - 4 = -0*s - l for s.
0
Suppose -5*k + n + 15 = -0*k, -4*k + n = -12. Solve 0 = -4*z + 3*z - k*d + 18, -5*d = z - 28 for z.
3
Let o be 5/(2 + -1) - 2. Solve o*m - 14 - 6 = 4*w, 5*m - 12 = -4*w for w.
-2
Let t be 69/15 - 9/15. Suppose -t*o + 10 = -2*o. Let w = 10 - o. Solve 6*s - 4*s = n - 8, 2*s + 8 = -w*n for n.
0
Let s = -99 + 153. Let t = s - 19. Solve 4*g + 46 - 10 = -4*m, -5*g - 3*m - t = 0 for g.
-4
Let f be (3 + 28/(-12))*3. Solve -2*g = -3*r, -f*g = -4*r - 3*g for r.
0
Let d be 0 + 10*(-2)/(-5). Solve d*w - 23 = -w - 4*s, -5*w + 3*s + 9 = 0 for w.
3
Suppose 0 = s - 3*s - d + 14, 2*s = 3*d + 22. Solve 3*m - s = -4*f - 1, 0 = 4*f - 3*m - 25 for f.
4
Suppose -2*a = -5*x + 17, -3*x - 9 = -a - 4*x. Solve -y - a*y = -3*q + 16, -2*q - 4 = 4*y for q.
2
Let d be (-57)/(-21) + -3 + 30/7. Let a(x) = -x + 2*x - 2*x + 4. Let i be a(d). Solve -4*c - 4*m + i = -4, c = -5*m - 7 for c.
3
Suppose -65 = -5*q + 25. Let m = q - 13. Solve 5*x - 3*j = -8*j + 20, -12 = -3*x - m*j for x.
4
Let d(q) = -q**2 + 10*q - 9. Let x be d(8). Let a be (4 - x) + 15/3. Let h = 3 + a. Solve 6 = -p + 2*y, 0 = -3*p - h*y - 0*y + 15 for p.
0
Suppose 0 = -3*m - 2*s + 18, 2*m - 5*s = 3 - 10. Solve 2*p + 5*n = -5, 3*n - 5*n - 26 = -m*p for p.
5
Let i(g) = 2*g - 6. Let w be i(4). Let z = 1 - 1. Let j(v) = -v**2 + v + 3. Let b be j(z). Solve 17 = y + b*c, -5*c + 29 = -w*y + 4*y for y.
2
Let z = 62 + -58. Solve -4*c - z*g = c - 6, -5*c - g = -9 for c.
2
Suppose -u + 0*u - 14 = 0. Let p = -5 - u. Solve 2*t - 3*o + p = 0, 5*t - 3 - 6 = -3*o for t.
0
Let s be (-1 + 2 + 12)/1. Solve 3*r - 11 = -2*u - 4, -5*r = 4*u - s for r.
1
Let s be (-1)/(-2)*(-120)/(-5). Let w = -10 + s. Solve w*g - 4*y - 22 = 0, 2*g + 4*y - y = -13 for g.
1
Let i(o) = o**2 + 5*o + 1. Let l be i(-3). Let f be 3 + -1 + (-5)/l. Solve 0 = -f*a - r + 4, -a - 2*r = a for a.
2
Let r(z) = -z**3 - 13*z**2 + 14*z + 5. Let p be r(-14). Solve 4*x + 2*v = -6, 4*x = p*v - v + 24 for x.
1
Let i = -9 - -13. Suppose -96 = p - i*p. Solve -5*b + 4*r = p, b + 20 = 5*r + 1 for b.
-4
Let w = -5 + 8. Suppose w*k + 4*v = 31, -k - 5*v = -18 - 7. Suppose -5 = -2*n + 3. Solve -3*q = -0*q - j + k, 0 = 3*q - 2*j + n for q.
-2
Let p(k) = 5*k**2 + k + 1. Let j be p(-1). Let q(a) = 6*a + 1. Let o be q(j). Solve -4*z - o = -3*x, x - 4*x + 23 = -2*z for x.
5
Let p(i) = 2*i - 1. Let z be p(2). Suppose -3*x + 4*h + 16 = 0, z*x + 3*h + 12 = 4*x. Solve x = 5*c - 15, 3*r - c = -6*c + 27 for r.
4
Suppose 0*l + 4 = l. Let z be (5/(-4))/((-1)/l). Let t be 2/z - 16/(-10). Solve 3*h = 4*x + 4, 5*h = t*h - x - 1 for h.
0
Suppose -3*k + k = -48. Let j be (0 - 2)/(-2) + k. Solve -3*m - 3*f + 31 = 2*m, 3*m + 5*f - j = 0 for m.
5
Suppose -72 - 53 = -5*l. Suppose 15 = 4*o - l. Solve b + 5*c + o = 0, -6*c = -c + 10 for b.
0
Suppose q - 8 = -q. Let r(v) = -v**2 + 7*v - 6. Let k be r(6). Suppose -x + k + q = 0. Solve 0 = -x*m - g + 24, 3*m + 3*g + 0*g = 27 for m.
5
Let s = -8 - -11. Solve -n = 3*r + 7, r + 0*n - s = -3*n for r.
-3
Let s(p) = -3*p + 30. Let u be s(6). Solve 5*f + 29 = 2*z, -4*z = 6*f - 2*f + u for f.
-5
Let i(s) = -s**3 - 13*s**2 + 10. Let c be i(-13). Solve 0*p + b + c = 5*p, 5 = -5*p + 4*b for p.
3
Let q(d) be the third derivative of d**6/120 + d**5/20 + d**4/12 + 3*d**2. Let x be -5*(8/10)/2. Let h be q(x). Solve -3*g = -4*g - 3, h = 5*j - 5*g - 25 for j.
2
Suppose 11*i - 9*i + 12*i = 0. Solve i = 3*o + 2*a - 0*a + 2, 5*o + a + 1 = 0 for o.
0
Suppose -5*g - 6 = 3*w, -4*w - 8 = -4*g - 32. Suppose 3*u - 47 = -4*v, w*v + 25 = 5*u - v. Solve u = -2*z + 5*z, -3*i = -5*z + 18 for i.
-1
Let j = 95 - 61. Solve h + 3 = -2*s, -s + 5 - j = -5*h for h.
5
Let v be (-14)/(-21) - 39/(-9). Solve -q - 8 = 4*c - v*q, -3*q = 2*c - 16 for c.
2
Let h(v) = 2*v + 20. Let i be h(-10). Solve i = -3*o - 5*q - 12, -2*o + 5*q - 8 + 0 = 0 for o.
-4
Let w = -352 + 235. Let q be 3/(-6) - w/6. Let i be 2 + 2*(-3)/(-2). Solve 10 = 5*c - i*h, -5*c - 5*h + q = -h for c.
3
Let n be (-4)/(2*2/(-2)). Suppose -h + 1 + n = 0. Let f = -17 + 21. Solve 1 - 12 = -h*m + 2*c, 2*m - f*c = 10 for m.
3
Let c be ((-27)/15)/(132/(-40) - -3). Solve -4*v + 3*a = -15, -4*a + 7*a = -3*v + c for v.
3
Let l = 61 + -59. Solve -5*d - l*h = 29, -4*d - 5 = -d - 5*h for d.
-5
Let m(z) = z + 15. Let v be m(-12). Solve -3*o = v*n - 3, 2*n = -0*n - 5*o + 5 for n.
0
Let r = 85 + -85. Let q(v) = v + 12. Let c be q(-9). Solve c*x - 4*m + 9 = 0, r = -5*x - m + 3*m - 1 for x.
1
Let v = -11 + 19. Let b be (10/4)/(10/v). Solve 27 = -5*k + 2*o, 0 = b*k + o - 2*o + 11 for k.
-5
Let v = -1 - 1. Let d be v/12*-3*6. Solve -3*n + 0*n = d*k - 3, -k = -3*n + 19 for k.
-4
Let t be (5/3)/((-3)/(-27)). Let g = t - -6. Suppose 21 = 3*u - g. Solve -v + 5*h = -u, -2*v + 5 = -4*v - h for v.
-1
Let k(f) = -f**2 - 2*f + 9. Let z be k(-4). Let r be (-2)/(z*(-4)/8). Solve 3*n + 5*j - 6 = r, -2*j = -n - 4 for n.
0
Su