Solve n = -p, -g*c + 4*c = n for c.
1
Let x(s) = s - 15. Let u be x(-11). Let v = -13 - u. Solve 0 = -3*m + q - 0*q - 13, -v = 2*m - 5*q for m.
-4
Let l(f) = -f**3 + f. Let t be l(0). Solve 3*z + t*z - 1 = -5*o, -5*o - 5*z + 5 = 0 for o.
-1
Let o(r) = -r**2 + 4*r + 2. Let s = -4 - -8. Let d be o(s). Solve 5*q + d + 3 = 0, -5*z + 3*q - 7 = 0 for z.
-2
Let n(k) = -3*k**2 + k + 1. Let h be n(-1). Let d be (h/2)/(6/(-8)). Let m be ((-2)/(-5))/((-1)/(-5)). Solve -3*c = 0, -d*f + c = 4*c + m for f.
-1
Suppose -3*u = 3*s, -2*u + 5*u - 5*s = 24. Let m = 0 - -5. Suppose -11 = -2*q - m*h, -4*q - u = -4*h - 39. Solve -5*t = z - q, -5*z - 15 = -t - 3 for t.
2
Let v(d) = -d. Let n be v(-2). Let z = 22 + -13. Let a = z + -7. Solve k = -a, 3*k = n*l + l for l.
-2
Let g = -3 - -3. Suppose g = 3*f - 12, -3*w - f + 36 = 2*f. Solve b + 5*r + w = -7, 0 = -2*b - 2*r - 6 for b.
0
Let l be (-1)/(-5) + (-298)/(-10). Suppose -3*k = 2*k + l. Let d be 46/6 + 4/k. Solve y + d = 2*s, 5*s = 2*y - 0*y + 17 for s.
3
Suppose 5*x + 2*r - 50 = 0, -3*x + 3*r = 2*r - 30. Suppose x*v = 8*v. Solve 4*b = -d - v + 7, b = 4*d + 6 for b.
2
Let p(h) = h**3 - 2*h. Let s be p(2). Suppose -m - s = -5*d, -d - 7 = -5*m - 27. Solve -y + 2 + d = 3*i, 4 = 3*i - y for i.
1
Suppose m - 6 = -1. Solve -12 = 2*b - m*g + 16, -4*b = 4*g for b.
-4
Suppose 5*t = -4*a + 21, -3*a + 24 = -3*t - 12. Suppose -2*c + 3 + 5 = 2*l, -4*l = -3*c - 9. Solve 2*q + 0*j + 16 = 2*j, l*q + 2*j = -a for q.
-5
Suppose -27 + 2 = -5*g. Solve -g*n - 5 + 0 = x, 3*n + 2*x = -3 for n.
-1
Suppose 9*g = 2*g. Solve l + g*d = -3*d - 14, 8 = 3*l - d for l.
1
Let n be (14 + 2)/2 + -3. Suppose n*b + 1 = 6. Let r = b - -1. Solve -w = r*v - 21 + 7, 4*v = 5*w for v.
5
Suppose -2*p - 2 = 0, 4*p - 2 = -4*g + 2. Solve -g*l - 2*d = -0*l + 8, 4*l - d = -11 for l.
-3
Let g(y) = y + 12. Let j(c) = -c**2 + 2. Let l be j(3). Let h be g(l). Solve -3*f = -h*i - 25, -2*i - 2*f + 6 = -0*i for i.
-2
Let l be 1 + 2*6/4. Suppose -l*h - 8 = -20. Solve -h*n = 3*u + 9, 2*n - 4*n = 3*u + 5 for u.
1
Let v = -18 - -20. Solve 0 = -5*q - 3*x + 35, -5*q + 6*x = v*x for q.
4
Let q(o) = 5*o - 15. Let x be q(7). Let i = x + -12. Solve i = 4*k, -2*k - 2 = -3*j - 3*k for j.
0
Let h = 0 + 3. Let b = 4 - 6. Let a be (3 - 1) + (-1 - b). Solve -h*s = a*t + 18, 2*t - 2*s = 10 - 2 for t.
-1
Let z = 9 + -4. Solve -4*x + 3*c - 28 = 0, -2*x - 26 = -z*c + 2 for x.
-4
Suppose 0 = -10*o + 7*o + 30. Solve 6 + 19 = -5*b, 0 = 5*q - 3*b - o for q.
-1
Let n be ((-276)/(-4))/(6/4). Let o = n - 6. Suppose a - o = -4*a. Solve -4*s - 20 = -t, 4*s - t + a = 3*s for s.
-4
Suppose 4*o - 2*o - 4 = 0. Solve -2*r = -k - 0*r, 2*k + o*r = 0 for k.
0
Let g be 1/(-2) - (-35)/10. Solve -9 = g*p - j, -j + 8 + 5 = -4*p for p.
-4
Let u = 20 + -27. Let c = u - -7. Solve n + 3 = -c*x - 4*x, 5*n = 4*x + 9 for x.
-1
Let b(q) = -q + 6. Let v be b(0). Let t(o) = -2*o + 12. Let m be t(v). Solve m = -4*w - 4*z - 24, -w - z + 6 = -4*z for w.
-3
Let g(t) = -4 + 4 - t. Let c be g(-2). Suppose -c*p - 3 = 5*b - 4*b, -2*p - 18 = -2*b. Solve 0 = -3*s + 15, -b*u = 3*s + 2*s - 25 for u.
0
Suppose -q - 2*q + 6 = 5*m, 0 = -q + 2. Solve -y - y = 2*u, 5*y - u - 18 = m for y.
3
Let s = -28 - -48. Let h be s/11 + (-4)/(-22). Let q be 1*h - (3 - 1). Solve q = -4*g, -6 - 6 = 4*d - 2*g for d.
-3
Suppose -7*i + 104 - 90 = 0. Solve 0 = -3*s + 6*s + 3*o + 3, i*s - 3*o + 12 = 0 for s.
-3
Let y(o) = o - 16. Let z be y(18). Solve 4*l - g - 9 = 0, -z*l + g + 7 = -0*g for l.
1
Let t(a) = a**2 + 10. Let k = -2 - -2. Suppose k*u - 3*u = 0. Let l be t(u). Solve b - 7 = 3*g + l, -7 = b + 3*g for b.
5
Let x be 26 - (2 + 0 + -6). Solve d = 5*k + x, -2*k - d - 5 = -0*d for k.
-5
Suppose 19 = -8*t + 67. Solve -4*r + 13 = -3*c, -2*c + 4*r - t*r = -10 for c.
1
Suppose 0 = -3*b - 0*b + 6. Let z be 1*2 + (b - 2). Suppose i + z*i - 3 = -j, 0 = j + 4*i - 4. Solve -a + j*v = 2*v - 3, 3*v = -3 for a.
5
Suppose 16*d - 20*d = -72. Let g = 22 - d. Solve -5*l - g*p + 10 = 0, 4*l - 4*p = -0*l + 8 for l.
2
Suppose 11 = 2*w - 5. Solve -28 = 5*t - 3*s, -3*s + w*s = t + 10 for t.
-5
Suppose -v = 3*u - 6*v - 15, u + 9 = -3*v. Suppose -3*g - i = -30, -g + 2*i + 3 = -u*i. Solve c = 5*k + 15 - 1, -4*k + 3*c = g for k.
-3
Let s(w) = 52*w**3 - w**2 - w + 1. Let j be s(1). Suppose -5*i = -24 - j. Solve -4*h = o - i, 4*o - 8*h + 24 = -3*h for o.
-1
Let d(f) = f - 2. Let o be d(-7). Let n = o - -15. Let y be 27/n + (-1)/(-2). Solve y*l + 20 = -5*u, -u + 2 = -0*l - 2*l for l.
-2
Suppose 4*k = 7*k - 12. Suppose 25 = 5*n, -5*n = 2*m - k*m - 19. Solve -o - m*z = -8*z - 21, -2*o - 10 = 3*z for o.
1
Let z = -37 - -41. Solve 3*h - 3*l + 1 = -8, h - z*l = -15 for h.
1
Suppose 0*h = -4*h + 20. Solve -p - 4*l = -0*l - 13, -19 = h*p - l for p.
-3
Suppose 5*k + 2*n - 7*n - 255 = 0, -2*k + 5*n = -93. Let u be 4/6*k/12. Solve 5*b = -u*a + a + 35, -15 = -5*a + 2*b for a.
5
Let n(j) be the third derivative of 0 - 1/4*j**4 + 0*j - 1/60*j**5 + j**2 + 3/2*j**3. Let q be n(-7). Solve 4*t + 11 + 1 = 4*x, -8 = q*t - x for t.
-5
Suppose -2*l + 7*l = 20, 3*l - 6 = 2*f. Let s(y) = -y**2 + 8*y - 2. Let a be s(7). Solve -3*o + 9 = -3*h, -4*o - f = -2*h - a*o for h.
0
Let a = 0 + 5. Solve 2 = 4*n - a*p, n = 4*p - 5 - 0 for n.
3
Suppose -2*z + 1 = 9. Let p = 6 + z. Let n(m) = m + 12. Let d be n(-7). Solve p*g = -o - d, -2*o + 0*g - 8 = 3*g for o.
-1
Suppose -3*h + 5*l = -14, -4*h + l + 11 + 2 = 0. Suppose 7 = 4*v - 5. Solve -v*y = -4*u + 2*u + h, y = 3*u + 6 for u.
-3
Suppose 0 = 2*y - 6, 2*m - 2*y = -9 - 3. Let a = 8 + m. Suppose 0*z = a*z. Solve g = -3*g - 4, z = -u + 5*g + 8 for u.
3
Let m be (0/(-1))/(1/1). Let r(l) = -3 + 2*l + m*l + l. Let h be r(3). Solve -4*b = -2*q + 20, -h*q = 2*b - q - 2 for b.
-4
Suppose -10 - 2 = -3*o, -4*y + 3*o = -308. Suppose 2*m + 2*m = y. Solve 2*s - 5*s - 4*l = 23, -5*s - m = 3*l for s.
-1
Let m be 40/(-14)*(-14)/4. Suppose -2*y + 27 = -2*f + 5*f, 0 = 2*f + m. Solve 0*p = -p + 4*w - 15, 0 = 5*p + 4*w - y for p.
1
Suppose -11 - 8 = w. Let c = w - -19. Solve c = 4*h - 20, h = 3*r - 0*r + 5 for r.
0
Let y(z) = z**3 - 2*z**2 + z + 2. Let t be y(2). Let m(o) = 4*o - 7. Let a be m(t). Solve -5 = 4*v - 5*n + 2, -3*v - n + a = 0 for v.
2
Let u be (1/2)/(1/10). Let v = -3 + u. Solve l + 7 = 3*t, l + v*l + 5*t = -7 for l.
-4
Let g be 5 + (-3 - -1) + 2. Suppose 2*b = -5*y, -b + g*y = 4*y. Let p = b + 4. Solve -l - p*v - 11 = 0, 5*l + 3*v - 6*v - 37 = 0 for l.
5
Let p(l) = 4*l**2 - 19*l - 5. Let j be p(5). Suppose -b + 6 = b. Solve 7 = -4*u - 5*q, -2*u + j*u - 3*q - b = 0 for u.
-3
Suppose 0 = 5*n - 20*n + 45. Solve n*p - 4*p - 7 = 2*h, -3*h - 8 = 4*p for p.
1
Let v(p) = -p**3 + 41*p - 1. Let o be v(6). Solve -3*i = -5*a - o, -i - 5*a - 9 = 8 for i.
3
Let c = 27 - 17. Suppose 0 = -2*v + u + c, -4*v + 2*v - 2 = 5*u. Solve v*p + 24 = -4*q, 0*q - 4*q - 26 = 5*p for p.
-2
Suppose 0 = 33*p - 32*p - 2. Let c(h) = 3*h - 7. Let b be c(5). Suppose -5*f - 4*g + 1 = -9, g = 4*f - b. Solve 5*o = 5*z - 20, 5*z + 3*o - p*o = f for z.
1
Let o(i) = 3*i**3 - 2*i + 1. Let l(j) = j**2 - 9*j + 9. Let u be l(8). Let n be o(u). Solve n*p + p = k + 7, 0 = 3*k - 2*p + 14 for k.
-4
Let p(t) = -t**2 + 7*t - 6. Let f be p(7). Suppose 4*r = -r + 2*x + 3, -4*r = -x. Let k be r/(9/f + 1). Solve -4*b = -k*z + 17 + 13, -3*z = -3*b - 30 for b.
-5
Let p = 75 - 53. Solve 5*x - 26 = 4*d, 4*x - 3*d = -x + p for x.
2
Let q be (-120)/(-21) + 2/7. Suppose o + 2 - q = 0. Solve -a = 2*a, 4*j = o*a - 4 for j.
-1
Let s(p) = p**3 - 6*p**2 + 5*p. Let l be s(5). Let c = 2 - l. Suppose -u = -5, -u + 0*u + 5 = -c*j. Solve j = -k - 2*b - 6 - 1, -4*k + 37 = -5*b for k.
3
Let f be (-34)/(-7) + 6/42. Suppose 5*n - 50 - 55 = 0. Let p = n + -6. Solve 3*r + 9 + p = -4*m, 2*r + f = m for r.
-4
Let q be (-68)/(-8) - 1/2. Solve i = 4, 2*i = -2*t + 4*i - q for t.
0
Suppose 4*y = 5*y - 1. Let t be -3 + 1/y - -2. Suppose t = 3*m - m - 3*i + 2, -5*m + 5 = -5*i. Solve 23 = -2*f - 0*f - 3*h, 2*f + m*h + 33 = 0 for f.
-4
Let p = 3 - -1. Suppose -5*o + 2 = -8. Solve -o*l + 18 = 3*a, -a = a + p*l - 20 for a.
4
Let c = 2 + 15. Let y = c + -8. Solve 3*d + y = -2*a, 3*d = -4*a - d - 16 for a.
-3
Let y(j) = j + 4. Let v be y(-3). Let u = 4 - v. Solve -8 = 4*x - a + 9, -a = x + u for x.
-4
Let o = -7 - -7. Suppose -3*j - 3*j + 6 = o. Solve