 3*p, -25 = 3*k - 5*p for k.
0
Let q(m) = -m - 6*m**3 + m**2 + 5*m**3 + m**2 + 2*m**3. Let y be q(-2). Solve 4*t + 13 = v, -y = -v - 5 for t.
-4
Let l(s) = -s**2 - 46*s - 164. Let b be l(-4). Solve b*v = -3*j + j + 8, -v = -1 for j.
2
Let m be ((-48)/9)/(-8)*(3 + 0). Let x = -13 + 17. Solve -3*p + 0*p = -2*g - 19, -m*g = 2*p + x for p.
3
Suppose 0 = -m + 5*m - 80. Let n = m + -15. Suppose -2*z - i = -3 - 1, -z - n = 4*i. Solve -z*q + 15 = 0, k + 4*q - 22 = 3*k for k.
-1
Let n = -13 - -13. Solve v - 5*l = -n + 18, 12 = v - 3*l for v.
3
Let f = -39 + 57. Suppose -f - 9 = 4*c + 3*k, 2*k - 24 = 2*c. Let w be 24/(-56)*(c - -2). Solve -w*h + 6 = 2*d - d, -h + 3*d = -12 for h.
3
Let r be (-3)/(-2)*(-1 - -3). Let n = r + 2. Suppose -5*b + 25 = -n. Solve 3*k = -5*y + 18, -2 = k - b*k + y for k.
1
Let p(q) be the third derivative of 0*q + 3/8*q**4 - 5/3*q**3 - 12*q**2 + 0 - 1/60*q**5. Let a be p(7). Solve 0*n = a*k - 3*n + 7, -5*n = -2*k + 7 for k.
-4
Let i(p) = 43*p**2 + 2*p - 1. Let x be i(1). Let s = x + -11. Suppose 0 = -3*n + s + 12. Solve -5*u + 12 = -r, -3*r + 2*r - 4*u = -n for r.
3
Let k(p) = -p**2 + 10*p - 14. Let f be k(8). Suppose -4*j = -m - 2*j, -5*j + 45 = f*m. Solve 5*i - 3*g + 15 = 0, m = -4*i + 2*g - 2 for i.
-3
Let r(v) = -v**3 - 8*v**2 - 3*v - 15. Let p be r(-8). Let f = 8 + -14. Let i = f + p. Solve 5*a = 4*n - 15, -5*n + i*a + 12 = -a for n.
0
Let i = -64 - -42. Let s = -20 - i. Let q be (42 + -3)/3 - s. Solve r - q = -3*v + 4, -3*r - 10 = -2*v for r.
0
Let w(a) be the first derivative of a**3/3 - 1. Suppose -9 = -2*p - s, -s + 15 = 4*p + 2. Let o be w(p). Solve 4 = -2*u - 2*g, -o = 4*u + 5*g + 9 for u.
3
Suppose 15*o = 6*o. Suppose 4*b - 7 - 13 = o. Solve k = 5*g + 7 + 2, 0 = -3*g + k - b for g.
-2
Suppose -5*m + 24 = -0*m + d, 17 = 4*m + 3*d. Solve 5*k + 0*o = -5*o + m, -5*k + 3 = 3*o for k.
0
Let v be 28/(-4)*3/(-7). Suppose -55 = -3*q - 2*b, v*q + 4*b - 84 + 19 = 0. Solve -7*d + 3*d + 25 = -3*x, -3*d = -x - q for x.
-3
Suppose -g + 4*l = -5*g + 20, 5*g - 19 = -2*l. Let o be (-4)/(-12)*g*2. Let a be 7 + -4 + -1 + o. Solve 12 = a*m - y, -m + 2*y + 3*y + 3 = 0 for m.
3
Let x = -426 - -440. Let i = -6 + 9. Solve 4*h - 2*n = -3*n - 4, -x = -i*h - 5*n for h.
-2
Let i = -55 - -60. Solve -f = i*z - 10, 4 = 2*z - 5*f - 27 for z.
3
Let i(x) = -6*x**2 - 176*x - 48. Let j be i(-29). Solve -4*c + 5*c = 2*s + 2, -5*c = -s - j for s.
0
Let g = 154 + -88. Suppose 2*s = -s + g. Suppose 3*w - 4*w + 10 = -3*a, 4*w - s = 3*a. Solve 5 = -3*l + p, -l + 3*p - w = 3 for l.
-1
Let u be 0/(3 - 2 - -2)*1. Solve -2*f + 3*j = -13, 2*j + 14 = -4*f - u*j for f.
-1
Let m(b) = b**2 - 2*b - 10. Let k be m(0). Let j be ((-1)/((-5)/(-19)) + 3)*k. Solve 3*n - 3 = 0, -3*p + 9 = 5*n - j*n for p.
4
Let m(o) = -o**3 - 10*o**2 - 6*o + 29. Let r be m(-9). Solve 5*s = 1 - 26, 3*w - s = r for w.
-1
Let c be (-1 - 1)*(-3)/2. Let k be 8/(-1 + c) + -4. Solve k = 2*i - 4*h - h - 29, 0 = -2*h - 10 for i.
2
Let o(d) = 9*d - 117. Let z be o(13). Solve 5*c - 3*s + 6*s = -7, 3*c + 2*s + 5 = z for c.
1
Let l be (-1 - (-27)/(-3)) + 4. Let n be (3/l)/((-2)/80). Solve 3*i + 0*q + 5*q - n = 0, 0 = -5*i + 2*q - 8 for i.
0
Let n = -98 - -102. Let k(h) = -h - 5. Let a be k(-5). Suppose a = -r + 3. Solve -2*t = -5*d + r*d, -n*d = -16 for t.
4
Let s(i) = 3*i - 1. Let f be s(2). Suppose 0 = 5*v + 20, 7*j + f*v = 2*j + 5. Solve -j*o - z - 3 - 5 = 0, o = 5*z - 12 for o.
-2
Suppose -f + 13 = -4*z - 4, 2*f = -2*z + 4. Suppose -2*c = d - f, 2*d + 30 = -0*c + 4*c. Solve -5*q = -c*y, 7*q - 3*q = -5*y for q.
0
Let r be 0 + 40/(-4) + 1. Let x(a) = a**3 + 8*a**2 - 11*a - 11. Let n be x(r). Solve -f + 7 = p, -4*f = -p - 2*p - n for p.
3
Suppose 128*o + 70 = 163*o. Solve 2*x - h = 6*x, 0 = -o*h for x.
0
Suppose 0*n - 4*n + 5*h = 3, 4*h - 9 = n. Solve 0 = -l - f - 2, -4 = n*l + f for l.
-1
Let y(t) = 3*t + 8. Suppose 0 = 5*n - 8*n + 5*z - 18, -3*z + 12 = -3*n. Let h be y(n). Solve h*k - 3*g = -24, -3 - 6 = 5*k + 2*g for k.
-3
Suppose 0*n = 13*n + 4*n. Suppose -3*t + 31 = -2*c, 7*t + 8 = 6*t - 3*c. Solve 5*a = 2*w + t, 2*w + n*w = a - 3 for w.
-1
Let v = -554 - -557. Solve 5*o - 5*f = 0, 5*o - v*f + f = 6 for o.
2
Let t(j) = j**3 - 9*j**2. Let x be t(9). Let h(k) = k**3 + k**2 + 9. Let s be h(0). Let v be (x + 2)*s/6. Solve -n = -2*n + z + 7, 2*z = -v*n + 11 for n.
5
Let w(j) = j**3 + 6*j**2 - 11*j + 5. Let y be w(-8). Let f be y/10 - (-6)/4. Let t(d) = 3*d**2 + 2. Let v be t(f). Solve 5*s - 4 = -2*o - v, -5*o = 0 for s.
-2
Let a(l) = -l**3 - 7*l**2 + 8*l + 1. Let b be (8/3)/(1/(-3)). Let q be a(b). Let o be 1 + (0 - q)*-2. Solve 2*m + 0*m = -u - o, u - 5 = 2*m for u.
1
Let b = 98 + -96. Suppose -t = -2*i + 1, 5*i + b*t - 13 = t. Solve 0*o + 10 = -3*y + o, 0 = -2*o + i for y.
-3
Let u(z) = z**2 + 4*z + 10. Let g be u(-5). Let c = 24 - g. Solve 3*h - c - 18 = -3*n, -n = 4*h - 24 for h.
5
Suppose -6*c - 64 = 5*f - 2*c, 3*f = 5*c - 68. Let k = f - -18. Suppose 3*r - 19 = -5*l - 4, -6 = 2*r - k*l. Solve r = 2*o + 2*o - 4*m + 12, 0 = -4*m - 4 for o.
-4
Let t(d) = -d**2 - 13*d - 17. Let j(p) = 5*p + 25. Let u be j(-7). Let o be t(u). Solve 4*m - 4 = 3*z - 30, -4*z + m = -o for z.
2
Let j(r) = 11*r + 37. Let n be (-4 - 11/(-3))*9. Let z be j(n). Solve 2*b + z = -0*b, -4*p = -4*b - 24 for p.
4
Let t(q) = -q**2. Let n(x) = -4*x**2 - 6*x. Let m(c) = -n(c) + 5*t(c). Let a be m(6). Solve -2*s - 5*h + 5 = 3*s, -4*s - h - 8 = a for s.
-3
Let i = 15 + -8. Let z = 1914 + -1912. Solve 5*m - i = -2*c - 33, -22 = z*c + 4*m for c.
-3
Suppose 2*j + 20 = -2*g, j = 5*j - 16. Let f(t) = t**3 + 13*t**2 - 16*t - 21. Let v be f(g). Solve 0 = 2*a + d - 3, -d - 2 = -v for a.
-1
Suppose -8*z - 180 = 2*z. Let a be 12/(-9) + 1 + (-78)/z. Solve -2*y = -a*w - 0*y - 10, -4*w - 2*y - 6 = 0 for w.
-2
Suppose -28*j + 38 = -26*j + 3*u, 61 = 5*j - u. Solve 0 = -16*v + j*v - 4*w - 8, -2*v + 5*w + 33 = 0 for v.
4
Suppose -3*g + 3*f + f = -6, -3*f - 15 = -4*g. Solve 15 = -2*k + 3*m + 1, 0 = -2*k - 2*m + g for k.
-1
Suppose -t + 0 = 1. Let r be (6/4 + t)/((-2)/(-8)). Solve 5*n - 6 + 0 = 2*h, 3*h - 10 = -r*n for h.
2
Suppose 5 = -4*k + 17. Let t be 0 + 2/(-15) - (-235)/75. Solve 0 = -t*s + 3, 4*q - 10 = -k*s + 9 for q.
4
Let o = 276 - 274. Solve -5*r - 2*b - 16 = 2*b, 2 = o*b for r.
-4
Let r be (-47)/(-5) + ((-26)/(-10) - 2). Suppose -2*l + 5*y = -28, -2*y = -7*y - r. Solve -5*u + 2*v - 10 = 12, -3*v = 3*u + l for u.
-4
Suppose 390 = -6*k + 102. Let z = k - -50. Solve -c - 7 = z*g, 3*g = -5*c + 7*g + 21 for c.
1
Let d(z) be the first derivative of -1/4*z**4 + 2*z - 8/3*z**3 + 9 - z**2. Let c be d(-8). Solve -y - 3 = 0, 4*x - 2*y - 4 + c = 0 for x.
-5
Let h(x) = x + 10. Let m be h(-10). Let f(g) = -g - 6. Let p be f(m). Let l be (6/5)/(p/(-15)). Solve -5*n = 4*o - 27, l*n + 11 = -3*o + 29 for o.
3
Let w be 0/((-8 + 10)*1). Solve w = 4*i - v + 10, 0*i + 1 = -3*i + 4*v for i.
-3
Let x = 5 - 15. Let p = x + 15. Let d(a) = -a**3 + 7*a**2 + 9*a - 6. Let n be d(8). Solve -2*h + 4*w = 0, n*w = p*h - 2*w + 6 for h.
-2
Suppose 34*g - 297 - 383 = 0. Solve i + 5*x = -g, -5*i = 5*x - 0*x for i.
5
Let i = 3 + -1. Let f(b) = 2*b - 12. Let r be f(5). Let x be (i/3)/(r/(-33)). Solve 3*c = -5*u - x - 2, 0 = c - 5*u - 9 for c.
-1
Let g = 463 + -455. Solve 5*d + a = 4, -4*d - 6 + g = 2*a for d.
1
Let k(c) = c. Let l(v) = 2*v**2 + 3*v + 1. Let z(p) = -6*k(p) + l(p). Let y be z(2). Let u be 8/(-12) + 0 + 4/6. Solve 4*b - 4 = u, 4*o + 1 + 0 = -y*b for o.
-1
Suppose 18*w - 20*w = -4*v + 14, -2*v - 5*w + 37 = 0. Solve 0 = -v*a + a - 3*n - 22, 0 = -2*a + 3*n + 8 for a.
-2
Let f(b) = b**3 - 4*b**2 + b - 2. Let k be f(4). Solve s + k*q - 5 = 0, 3*s = -0*q - 5*q + 11 for s.
-3
Let p(a) = -a**3 + 12*a**2 - a + 15. Let w be p(12). Solve 3*k + w*s - 15 = 0, -3 = 4*k - 4*s + 9 for k.
1
Let m(v) be the first derivative of 3*v**2/2 - 6*v + 7. Let l be m(3). Solve 4*f + 13 = l*r, -5*f - r - 25 = 4*r for f.
-4
Suppose n = 3 + 5. Solve -3*b + 4*s - n = -7*b, -5*s = -b - 28 for b.
-3
Let m(r) be the third derivative of -1/3*r**3 + 1/12*r**4 + 0*r + 4*r**2 + 0. Let u be m(3). Solve -2*q + 1 = 5*g + 4, 2*q + u*g + 2 = 0 for q.
1
Let c be (-416)/(-936) + (-41)/(-9). Solve -c*q + u + 18 = -1, -3*u = 4*q for q.
3
Suppose 0 = 3*d - 2*d - 20. Let a = -18 + d. Suppose 17 = q + 2*q + 2*k, -a