Solve 3*p = -c, p + 9 = w - 2*p for w.
0
Let a = -15 - -21. Solve 5*z + 3*c = -25, -z = -a*z + 2*c for z.
-2
Let b(f) = -f**2 - 6*f + 7. Let t be b(-7). Let l = 2 - t. Solve 2*k + l*k + 16 = -4*q, -4*q - 16 = -3*k for q.
-4
Let l(s) = 2*s + 14. Let t be l(-6). Suppose t*y = -2*y. Solve -5*k = 3*a - y*k + 19, 5*k + 27 = a for a.
2
Suppose 3*c - 1 = 2, -2*c - 2 = -u. Solve -5 = 3*m - u*v, 3*m + 0*m + 2*v = 25 for m.
5
Let k(v) = 0 + 0*v - 2*v - 1 - 1. Let c be k(-1). Solve -2*q - 2*y = 10, c = -3*q - q + 3*y - 20 for q.
-5
Let d = 16 - 5. Let k = d + -8. Suppose 4*a = 3*a + k. Solve a*n + 2*n - 5*w = 40, 2*w = 3*n - 19 for n.
3
Suppose h = -2*h. Solve 0 = -2*q - 4*p - 0*p - 2, -4*p = h for q.
-1
Let s = -23 + 7. Let d = s + 23. Solve -r = -4, -2*r + d = 5*f - 6 for f.
1
Let k be 2/((1/1)/(-1)). Let c be 1/k - 1/(-2). Solve z + 3*m - 6 = -c, -2*z = -2*m + 4 for z.
0
Suppose -5*l = 5*w - 20, -5*w = 2*l - 6 - 8. Suppose p - 12 = -l*p. Solve h + 3*h - 5 = 5*n, p*h - n = 1 for h.
0
Let i(s) = 6*s - 34. Let n be i(6). Solve n*f - 3*t + 2 = t, 0 = -f - 5*t - 15 for f.
-5
Let p be ((-6)/(-15))/(2/10). Suppose -p*q + 2 = -0. Solve 0 = 4*u - 2*r - 14, -u - q = -r - 4*r for u.
4
Suppose 6*a = 2*a - 36. Let s be (-20)/a + (-6)/27. Solve 0 = 3*j - s*l + 2 + 5, 3*j - 7 = -5*l for j.
-1
Let c(r) = -2*r**2 + 8*r + 2. Let h be c(4). Solve 0*y = -y - 4*o + 7, 0 = -h*y + o - 13 for y.
-5
Suppose -k = k - 4*b + 6, 6 = -3*k + 5*b. Suppose 4*l = k*z + 24, -5*l - 4*z = -9*z - 30. Solve -18 = -4*x + 2*q, 4*x + 3*q - l = -x for x.
3
Let a(x) be the third derivative of x**5/60 - x**4/24 - x**3/3 - 5*x**2. Let u be a(2). Solve 28 = 4*t + 4*c - u*c, -4*t + 3*c = -14 for t.
5
Let g = 13 + -18. Let d be 3 + g/(10/6). Solve -5*o = 3*i + 10, -4*i + 18 + 2 = d for o.
-5
Suppose -6*m + 3*m = -4*t - 35, 37 = -4*t + 5*m. Let k be (-4)/t*(2 + 0). Solve j - 2*p + k = 0, -3*p + p - 11 = -5*j for j.
3
Suppose 2*m + 2*m - h - 25 = 0, -m - 2*h = -4. Suppose 0 = -10*q + 5*q. Suppose 2*j + q*j = 0. Solve -2*k + o = m*o + 6, -2*k - o - 6 = j for k.
-3
Let p be (-3 + 6 - 3)/2. Suppose p*d = 5*d. Solve 4*v + 20 = -4*k - d*k, 2*v = -5*k - 13 for k.
-1
Let l = -16 - -23. Solve -2*k - k = -4*s - 29, -4*k + l = s for k.
3
Let o = -39 + 42. Solve o*t = -h + 8, 0 = t + 2*h + 2*h + 1 for t.
3
Let u be 46/14 - 4/14. Suppose 4*x - 6 = 6. Let l = u - x. Solve 0 = 5*c - l*k + 2*k + 30, -c = -5*k - 21 for c.
-4
Suppose 4*l - 20 = -l. Suppose -4*q = 4*z - 19 - 9, 4*z - l = 4*q. Let d be 1 - (-1 + q/(-3)). Solve s + 0*o = -3*o + 16, 4*o = d*s + 17 for s.
1
Suppose -3*x - 3 = t, 0 = -0*t - 2*t - 4*x - 2. Solve b - t = -4*m + 4*b, 3*m - 5*b + 6 = 0 for m.
3
Let b(t) = t**3 - 3*t**2 + t - 1. Let j be b(2). Let n = -11 + j. Let d be (-3)/(-9) - n/3. Solve 0 = c - 5*x + 4*x - 5, 0 = 5*c + x + d for c.
0
Let o = -13 + 0. Let x = o - -18. Solve 4*c + 5*v - 1 = 0, 2*c + 0*c + v = x for c.
4
Let v(s) = -2*s - 5. Let i be v(-5). Solve -i = a, 2*q - q - 4*a - 16 = 0 for q.
-4
Suppose -i = -4*i + 6. Suppose 3*f + 0*f - 5*s + 9 = 0, i*s = 2*f + 2. Let y be (1 + -1)/((-2)/f). Solve y*a + 5*a - 2*z = -10, 5*z = 4*a + 25 for a.
0
Let w = -3 - -5. Suppose -5*f + 18 = -4*s, 10 = 5*f + s + w. Let d be 1*(-10)/(-4)*2. Solve f*n - 5*b - 27 = 0, -2*n + 3*n - d*b = 26 for n.
1
Suppose -3*w + 37 = 2*s, w - 13 = s + 1. Suppose -3*x + 20 = 2. Suppose 3*b - 2*h + x = b, -4*b - h = -13. Solve 2*c + 10 = b*u, 0 = -4*u + u - 4*c - w for u.
1
Suppose -25*m = -26*m + 3. Solve 5*q = -m*h + 37, 3*h + q = h + 13 for h.
4
Suppose 0*a + 4*a = 28. Let l be 2/a - 120/(-21). Suppose 16*y - 14*y - 6 = 0. Solve -3*r - 3*q + l = 0, 2*q = -2*r + q + y for r.
1
Let d be (-5 + 4 + 3)*19/2. Solve r = -5*f - 7, 5*f = 3*r - d - 0 for r.
3
Let v(n) = -n**3 + 8*n**2 + 9*n + 6. Let t be v(9). Solve -t = -3*o + a, 0 = -o + 2*a - 7*a + 18 for o.
3
Let j(t) = -2*t + 5. Let b(o) = 3*o - 4. Let y(i) = -4*b(i) - 5*j(i). Let z be y(-7). Solve z*a + 5*n + 12 = 3*a, a + n = -3 for a.
-1
Let r be (-1 - -3)*(275/10)/11. Solve -3 = d + 2*y + 7, r*y = -d - 22 for d.
-2
Let d be (-32)/8*(-6)/8. Solve t + 4*x - 5 = -2, 0 = -t + 2*x - d for t.
-1
Let y = -4 + 7. Let q(h) = 2*h**3 - 23*h + 56. Let j be q(3). Solve -5*m + 3*g = -g + j, y*m + 4*g = 1 for m.
-5
Let l = 55 + -47. Solve 2*y - l = -4*j, 20 = -2*y - 3*y for j.
4
Let f = 18 - 8. Let c be 2/(-5) - (-34)/f. Suppose -4*w + 7*z + 27 = 4*z, 5*w = -3*z. Solve w*r - 21 = -c*u, -2*u + 0 = -r + 1 for u.
2
Suppose 5*g = 3*z + 19, 0*g = 5*z + 2*g + 42. Let b(c) = c + 11. Let k be b(z). Solve k*d - f = 3*f + 35, -10 = 3*d + 5*f for d.
5
Suppose -y - 3*a + a + 3 = 0, 3*y - 6 = -3*a. Solve 0*g + 2 = -4*i + 2*g, 0 = g + y for i.
-1
Let z be (-2)/(-6) + (-11)/(-3). Suppose t + 4*t + 40 = -5*c, -38 = 4*t - 2*c. Let j be 4*(0 + t/(-12)). Solve 4*y = j*r - 2 - 9, 0 = 4*y + z*r + 4 for y.
-2
Let h = 98 + -96. Solve f + h*f - 12 = -c, -3*f + 3 = -2*c for c.
3
Suppose 0*u = 3*v - 4*u - 14, 10 = 3*v - 5*u. Let i = v - 7. Solve -4*h = 0, 4*x + h - 1 = i*x for x.
1
Let x = 3 + 1. Let y(q) = -q**3 + 11*q**2 - 32*q + 10. Let u be y(5). Solve x*m = 2*z - 2, u - 4 = -m - z for m.
1
Let c(z) = -z**2 + 6*z + 3. Let x be c(7). Let m be (1/(-3))/(x/60). Solve -4*f + 15 = f + m*v, 3*f + v = 13 for f.
5
Let r be 4/6 + 1036/(-42). Let n be r/20*(-70)/3. Suppose -x = 2*x - 15. Solve 3*m - 20 = -4*a, -x*m + 0*a + n = 4*a for m.
4
Suppose -4*g + g = -3. Solve -5*j - 5 = 0, -j + g = 5*k - 4*k for k.
2
Suppose -4*u + 4*j + 4 = 0, -2*j = -u + 2*j - 11. Let g(s) = 15*s**2. Let n be g(-1). Suppose 0*y = y - n. Solve -u*h = -5*m, -y = 3*m - 3 for h.
-4
Let b = -40 + 67. Solve -4*g + 2*j + 9 = b, 5*j + 20 = -3*g for g.
-5
Let s = 20 - 13. Suppose 1 = -4*f + 5*q - 10, f + s = -3*q. Let o be f/(-10) - (-16)/10. Solve -4*j - 2*w - 11 = 1, -3*j + o*w - 9 = 0 for j.
-3
Suppose 0 = -2*g - 3*g + 30. Let o(z) = z**3 - 10*z**2 - 8*z - 11. Let s be o(11). Solve 2*x - g*x + 4 = 4*d, -2*d + 4*x - s = 0 for d.
-3
Suppose -2*o = -18 - 2. Solve -4*q + 3*l - 9 = 22, 2*l - o = 0 for q.
-4
Let f be (-9)/(-6)*(-96)/(-8). Solve 0 = t + a - 4, 3*a - f = -4*t + a for t.
5
Suppose -5*k + 34 = 3*r, 0 = 2*r + 2*k + 7 - 23. Solve -2*o + 3*i + 9 = r*o, 3*i = 3*o - 9 for o.
0
Let f = -7 + 12. Suppose -z - 1 = -f. Let q = -41 - -57. Solve 3*x = -5*a - 22, -z*a - 5*x - q = -3*x for a.
-2
Suppose -x + 2*x = 2*x. Solve -5*f + x = -3*j - 1, 10 = 2*j + 2*f for j.
3
Suppose -8 = -3*f + 10. Suppose -f*b + 12 = -2*b. Suppose 75 = 4*m - 5*a + 1, -m - 2*a + 12 = 0. Solve -b*j + 17 = -2*v, 4*v - m = -j - 3*j for v.
-1
Let z = 27 - 22. Solve 4*d = -0*p - 2*p - 20, -4*p - 31 = z*d for p.
-4
Suppose c - 21 = -4*q, c + 2*c = 2*q + 7. Solve 4*r + 2*j - 4 = 6, -c*j = -4*r + 45 for r.
5
Suppose g - 30 = -4*g. Let j = -22 - -12. Let r = j + 45. Solve -3*l - 13 = h, g*l = 5*h + l - r for h.
2
Suppose 0 = 3*o + 12 + 3. Let i = o + 7. Solve -5*z + 3 = 3*f - 0*f, i*f = -z - 5 for z.
3
Suppose 0*a - 4*a = a. Solve -4*y - 1 + 21 = a, -5*b + 4*y - 30 = 0 for b.
-2
Suppose -d + 2*w + 4 = 0, -5*d - w = -5*w - 14. Solve -4*c = 5*p - 16, -d*p + 3*c + 23 = 3*p for p.
4
Suppose 4*l = -3*o + 5 + 19, 0 = 2*l + 2*o - 14. Let x = -1 - -4. Solve r + 0*d - l = -3*d, -r + 3*d + x = 0 for r.
3
Let i be 2 - -4*3/(-6). Let w(z) = 3 + z**3 + 2 - z**2 + 2*z**2. Let p be w(i). Solve 3*g = p*j - 13, j = -5*g + 3*g + 13 for g.
4
Suppose 6*s - 8 = 4*s. Suppose -2*w + 10 - s = 0. Solve 2*a + 10 = 7*a, 3*a = w*z for z.
2
Let p = 5 - 0. Suppose 0*n = -p*n - 30. Let r(m) = -m - 1. Let l be r(n). Solve -4*w = -5*d - 20 - 5, d + l = w for w.
0
Let j(k) = -k**2 - 14*k. Let q be j(-10). Solve -5*i = -5*v + q, -2*v - 6 = 4*i + 8 for v.
3
Let h(y) = -y**3 + 11*y**2 + 13*y - 10. Let g be h(12). Solve 9*p = 3*r + 4*p + 5, 5*p - 30 = -g*r for r.
5
Let p(v) be the first derivative of v**2/2 - 5*v + 1. Let b be p(7). Let t be (b - (2 + -1)) + 2. Solve 5*o + 3*u = -2, -4 = -t*o - o - u for o.
2
Suppose 4*d = 4*u, -4*d - 4*u + u + 21 = 0. Solve -4*k + 0*t = t + 15, d*t - 3 = 0 for k.
-4
Let v(l) = -l + 7. Let a be v(7). Suppose 2*u = -a*u + 4. Suppose u*b = 3 + 7. Solve 4*o + 3*d - 3 = 1, 5*o + b*d - 5 = 0 for o.
1
Let m = -32 - -37. Solve -m*f - h = 12, -6*h = f - 2*h + 10 for f.
-2
Let m be (-2)/3 - (-1)/(-3). Let s(h) = 3*h**2 - 1 - 2*h**2 - 6