2*g - 18, 0 = -f*p + 4*p - 2*g + 6 for p.
-4
Suppose -47 = x - 51. Suppose w = -2*w + 3. Solve -x*z - 24 = 4*l, -3*l + z = l - w for l.
-1
Let c be 90/25 - 4/(-10). Solve 0 = -3*d + 12, c*d - 9 + 1 = 2*o for o.
4
Suppose 0 = b - 5. Solve -4*q + 24 = 4*j, -b*j = -2*j + 2*q - 16 for j.
4
Let w = 6 - 8. Let s be ((-5)/w)/(1/2). Let i(q) = -3*q + 1. Let u be i(-6). Solve 4*l - u = 1, s*l - 33 = -4*n for n.
2
Suppose -3*r = -2*j - 12, -2*j - 8 = -2*r - 2. Suppose 16 = -2*m + r*m. Suppose -m*h = -7*h + 12. Solve -h*o = -3*f - 4, f + 4*o = -0*o - 12 for f.
-4
Let r be 26/12 - 1/6. Let i(l) = -3*l + 2. Let f be i(-3). Let y = -2 + 9. Solve 2*m + y = t, -t + f = r*t + 4*m for t.
5
Suppose 0 + 15 = 3*b. Let p(r) = 2*r - 5. Let k be p(b). Solve 3*l + 10 = k*q - 1, -l + 3 = 0 for q.
4
Suppose 14 = -4*y + 38. Let v be (-2)/(-4) - y/(-4). Suppose -25 = -0*g - 5*g. Solve -3*c = -x + v*x - 6, 0 = -g*c + 2*x + 10 for c.
2
Suppose 2*w - 27 = 2*f + 3*w, 4*w - 24 = 4*f. Let d = 11 + f. Let y = 11 - 8. Solve 3*g - v - 2 = d, -2*v + 6 = g + y*g for g.
1
Let t(x) = x + 5. Let c be t(3). Let a = c + -4. Solve -a*p - 21 = -9*p - 2*w, 5*p + 4*w - 17 = 0 for p.
5
Let g = -1 + 1. Suppose -x + 5*x - 8 = g. Solve 0 = -x*n - 6*m + m, -m = 3*n for n.
0
Let c = 79 + -68. Suppose 0 = z - 5*z + 16. Suppose k + 5*m + 9 = -c, -z*k + 45 = -5*m. Solve -3*l + 5*a - 7 + 1 = 0, 24 = k*l + 3*a for l.
3
Let h be (-4)/(-4) - -1 - -3. Solve -p = -4*k + 12, -10 + 0 = -h*k for p.
-4
Suppose 0 = -5*a - 0*a. Suppose a = 5*b - 11 - 14. Solve 24 = -4*y - 4*l, -b*y = -0*l + l + 10 for y.
-1
Let w be (14 - 7)*6/14. Solve g - 4*t + 16 = -w*g, 3 = 3*g + 2*t for g.
-1
Let s(k) = k**3 + 5*k**2 - 15*k - 7. Let a be s(-7). Solve 0 = -3*d - 9, 5*d = -5*y - a*d - 30 for y.
-3
Let x(u) = -u**3 + 15*u**2 - 13*u - 9. Let j be x(14). Suppose -4*h = i, -5*h + 2*h + 1 = i. Solve -2*o - i = 0, -g + 13 = 2*g - j*o for g.
1
Let x be -1 + (2 - -1 - -2). Let t be 2/8 - 39/(-4). Suppose -18 = 4*v + 2, 5*k = -2*v + t. Solve 5*g = k*j + 1 - 4, x*g + 12 = 0 for j.
-3
Let p = 3 + 0. Let x be (2/p + 1)*3. Solve -q + 15 + 6 = -x*u, -2*q = -3*u - 7 for q.
-4
Let h(s) = -s**3 + 3*s**2 - s + 1. Let i be h(2). Suppose -1 = i*v - 25. Solve 2*o = -2, 0 = 2*l + 4*o - v + 2 for l.
5
Let p(l) = -l + 12. Let j be p(9). Suppose -b = -3*a - 22, b - 11 - j = a. Suppose 0*t = 2*t - b. Solve t*d - 4*q - 8 = 0, d = -4*d - q - 2 for d.
0
Suppose 32 = -k + 36. Solve k*c + 29 = p + 9, 0 = 5*p - 3*c - 32 for p.
4
Suppose 4*a - a = 15. Let t = -1 + 21. Solve -3*r = d + t, 4*d - 3*r = -0*r - a for d.
-5
Let p = 21 + -18. Suppose p*u + 0*u - 27 = 0. Solve 3*n = 4*s - 10, -3*n + 2*s = u - 1 for n.
-2
Let i(z) = z**2 - 4*z - 8. Let a be i(6). Suppose -h + a = -3. Let m be 2/h + 552/28. Solve v - 4*n + m = -v, 5 = -v + n for v.
0
Let f = -23 - -25. Suppose 10 = -2*y + 7*y. Suppose f*s - 5*v + 15 = 0, -y*s + 3*v + 1 - 6 = 0. Solve -10 - 19 = -3*t - 5*i, 2*t - s*i = -14 for t.
3
Suppose 4*h = 7*h - 51. Let m = h + -12. Solve -m*j = -25, -j = -4*q + 2*j - 11 for q.
1
Let o(n) = -n**2 + 3*n + 12. Let k be o(5). Solve -5*j = k*f - 11, 6*f - 11 = -2*j + 3*f for j.
1
Suppose 0 = -5*d - 2*w + 27, -5*d - 10 + 31 = -4*w. Solve 4*b - 6*b + x - 11 = 0, d*x = -b for b.
-5
Let n = -3 + 7. Let g(k) = k**3 - 3*k**2 - 2*k - 3. Let z be g(n). Solve -4*f + 3*f - z = 0, -2*f = -s + 10 for s.
0
Let u(j) = 6*j + 1. Let a be u(1). Let d = -5 + a. Solve -m = 4*y + 10 + 2, -8 = -d*y + 3*m for y.
-2
Let a be (2/3)/((-7)/(-252)). Solve -3 = -2*n + 3*d, 4*n + d + a - 9 = 0 for n.
-3
Suppose -4*c = 10 + 6. Let g be ((-28)/3)/(c/6). Solve -u - 3 + 0 = 0, 2*z = 4*u + g for z.
1
Let z = 8 + -2. Solve -4*f - 4*b = 0, -z = -2*f - 3*f - 3*b for f.
3
Suppose 0 = -w - 2*v - 5 - 4, 4*w - 2*v - 4 = 0. Let j be (1 + w)*(2 - 1). Solve 8 = 5*f - 4*h - j*h, -f - 5*h = 10 for f.
0
Let q(z) = -z + 9. Suppose 3*d - 40 = -10*o + 5*o, 0 = 2*d + 4*o - 30. Let y be q(d). Solve -8 = f + 2*b, -4*f + 13 = 3*b - y*b for f.
2
Let m(p) = p + 6. Let a be m(-6). Let i = a - -4. Solve o - 20 = 5*j, -5*o - i = 2*j - j for o.
0
Let r be 1/((-3)/(-6) + 0). Let u(n) = n + 8. Let p be u(-6). Let y be (r/2)/(p/62). Solve -5*z + y = -3*q, -5*z - 2*q + 6*q = -33 for z.
5
Suppose 0 = b - 2*x + 4, -b + 2*b = -5*x - 4. Let u = 5 + b. Solve -2*a + 2*m = 4, 3*a + 2*m = 2*a + u for a.
-1
Suppose 2*o - 2 = -l, -2*o - 6 = -5*l + 2*l. Let s = 3 + o. Solve -2*y + s*j = -0*y + 3, 3*y - 6 = j for y.
3
Suppose 3*o = -5*v - 60, v + 2*v - 20 = o. Let b be 45/o - 2/(-8). Let l = 6 - b. Solve -2*f - 19 = 4*g - 3, -5*f = 2*g + l for g.
-4
Let a be 2/4 + 39/26. Solve -5*k - 24 = 4*g, 0*k - a*g - 18 = 4*k for k.
-4
Suppose 30 = 17*f - 12*f. Solve 0*z = 4*z + 2*q - f, 4*q + 14 = 5*z for z.
2
Let q be (1 + -1)/2*-1. Let r(h) be the second derivative of h**3/6 + 17*h**2/2 + 2*h. Let p be r(-5). Solve 2*a + p = z, q = 3*z - 2*a + 4*a + 4 for z.
2
Suppose 5*a - 14 = 2*s + s, 2*s = 4*a - 12. Solve -a*f - 6 = 2*w - 2, 4*f - 4*w = 20 for f.
1
Suppose -3*k + 6 = -9. Suppose 2*i = k*h - 70, -h + 4*i = -2*h + 14. Solve -c - 4*x = 3*c - 24, h = 3*c + x for c.
4
Let v = 8 - 3. Suppose -2*s = -v*s - 2*j + 29, 4*s - 38 = -3*j. Solve 4*y + 5*b = 2, 0*y - s = -3*y + b for y.
3
Let x(a) = -a**2 - a + 15. Let c be x(0). Suppose c = -2*y + 5*y. Solve -4*w = z - 0*z - 20, w = z + y for w.
5
Suppose 3*a = -a - 92. Let r be a/(-5) - (-18)/45. Solve p = -2*c + 3*c, -r*c = p for c.
0
Let k = 21 + -19. Solve f + k*v - 14 = -4*f, 4 = 5*f - 3*v for f.
2
Suppose -4*g - a = -18, -1 = -g + 5*a - 7. Solve 2*u + 20 = -d + g*d, 0 = d + u for d.
4
Let s(a) = 6*a**2 - 2*a - 5 - 1 - 2*a**2 + a**3. Let x be s(-4). Suppose 0 = -5*n + f + 12, -x*f + 0*f = -6. Solve 25 = -5*p - q, n*q + 29 = -p - 2*q for p.
-4
Let y = 34 + -32. Solve 0 = -i + y*r, 2*i + 5*r + 7 = 2*r for i.
-2
Suppose -2 + 2 = 7*s. Solve 4*d + s*q = 4*q + 12, -4*q = -d - 3 for d.
5
Let s(l) = l + 13. Let w be s(9). Solve q - 13 = 2*a, 2*a - 6*q + w = -2*q for a.
-5
Let r(l) = -l**2 + 7*l + 5. Let d be r(7). Solve -15 = -d*f + 5*q, q - 3*q - 2 = 0 for f.
2
Let k = -29 + 32. Solve -3*f - k*u - 35 = f, -4*f - 4*u = 40 for f.
-5
Suppose -k = 3*b - 1, -4*k = -4*b - 4 - 0. Let j(t) = t**2 + 8. Let x be j(b). Let c = -4 - -11. Solve l - x = u, -4*l - u = -c*l + 14 for l.
3
Let a(n) = n**3 - 3*n**2 - n - 1. Let l be a(4). Let c(j) = -j**2 + 12*j + 2. Let k be c(l). Solve -p + k = -4*w - 0*w, 4*w = 2*p - 10 for p.
-3
Let f(t) = t**3 - 14*t**2 + 2. Let x be f(14). Suppose 2*m - 5*q - 3 = x, m - 3*q - 3 = 0. Solve -2*r + 8 = -2*y, -5*y + 3*r = -m*r + 18 for y.
-3
Suppose 1 = p, 3*i - 5*p - 5 = i. Suppose -2*o + 5 = x, i*o - 2*o + 3*x - 9 = 0. Suppose -9 = z - 4*z. Solve u + 14 = -2*u - o*a, 4*u = z*a + 4 for u.
-2
Suppose 5*u - u - 8 = 0. Suppose -2*h = -i + 11, -u*i - 2*h = 3*i - 7. Solve 3*d + k + 0 = -i, 0 = 2*d + 2*k + 2 for d.
-1
Let b be 0 - (3 - (6 + 1)). Suppose 5*k - 74 = -b. Let d = -10 + k. Solve -4*v - d*w + 8 = 0, 13 = 2*v + 4*w + w for v.
-1
Suppose 4*k + 8 = -4. Let l be (0 + 1)/(k/(-15)). Solve l*y + 3 = 2*p, -4*p + 0*p + 1 = -5*y for p.
-1
Let w = 13 - 9. Solve -3*q + 5*p = -6 + w, -2*q - 3*p = 5 for q.
-1
Let o(l) be the third derivative of -l**5/60 + l**4/4 + 2*l**3/3 - 3*l**2. Let b be o(6). Solve -5*p = 4*x - 12, b = -3*x + p - 6 for x.
-2
Let q(o) = -o**3 - 4*o**2 - 2*o + 2. Let l be q(-4). Let i = 10 - l. Suppose i*d = -d + 8. Solve d*t = -5*h + 3*t - 5, h - 4*t = 24 for h.
4
Let b be -1 + 1*(-2 + 12). Let t(h) = 5*h - 12. Let f be t(b). Solve 5*m = 4*p + f, -2*p + 4*p + 2*m = 6 for p.
-2
Suppose -2 = -3*b - 3*s + 19, 5*b - 15 = 5*s. Solve g + 0*o + 11 = 3*o, -b*o + 17 = -3*g for g.
1
Suppose 3*v = -9 + 3. Let f be (-3 - -5) + 4 + v. Solve -3*l + 4*g = -11, 0*l + 25 = f*l + 5*g for l.
5
Let b be 24/36 + 2/6. Suppose 4*y + 0*y = 0. Solve 2 = -z + b, 3*x - 2*z - 8 = y for x.
2
Let r = 0 - -5. Suppose -4 = -4*x + 4. Suppose -3*w = -4 - x. Solve -3*j - 2*v + 1 = r, 5*v - 28 = w*j for j.
-4
Let i(z) = 2*z**2 - 5*z + 7. Let q be i(3). Let s = q + -5. Solve -s*l + 7 = 2*h, 3*l = 4*l + 4*h + 13 for l.
3
Let b be (36/30)/(3/10). Solve -b*c - y = -2*y + 15, -c = 2*y - 3 for c.
-3
Let s be 38/16 + (-33)/88. Solve 5*j = 2*j + 4*q - 1, 2*j = 3*q - s for j.
5
Suppose -i = -5*i + 24. Solve -3*m + 3*t = -