0*t - t, p*t - 25 = 4*b for b.
-4
Let m be 1/(-6) - 19/(-6). Let f(j) = -2*j + 17. Let v be f(7). Solve -m*y + c = 4*c - v, -3*y + 4 = 4*c for y.
0
Let z = -3 + 6. Suppose -15 = -2*x + 3*p + 2, z*x - 5*p - 27 = 0. Solve x*t + 5*k - 22 = t, 3*t + k = 14 for t.
4
Let k(r) = r**3 + 3*r**2 - 5*r - 12. Let n be k(-3). Solve -m + n*m = -5*j - 16, 0 = -4*j - 3*m - 17 for j.
-2
Suppose -4*x - 9 = 5*w - 25, 4 = 3*w + x. Solve -3*k + w*k + n = 13, -3*k + 4*n = 16 for k.
-4
Let s(v) = -v**2 - 6*v - 3. Let y be s(-4). Solve -3*p + 1 = 2*b - 4, y*p = 2*b - 13 for b.
4
Let j be (-47)/(-15) + 8/(-60). Solve 2*z + j = 3*o - 4, 0 = -3*o - 3 for z.
-5
Let i(m) = -m**3 - 13*m**2 + 13*m - 11. Let y be i(-14). Solve 3*x = n - y, 5*n + 1 + 1 = -2*x for x.
-1
Let u = -6 + 9. Solve 1 = a, 0*a + 9 = 3*d + u*a for d.
2
Suppose 12*o - 14*o = -32. Let p = -5 + 7. Solve 3*k + r = o, -p*r = 4*k - 7*r + 4 for k.
4
Let y(q) = -q**3 - 6*q**2 - q - 2. Let h be y(-6). Suppose 4*c = h*f, -2*c = -4*c + 4*f - 4. Suppose n - 101 = -98. Solve 0 = 3*v + 9, n*l = c*v + 8 + 4 for l.
2
Let f(l) be the first derivative of l**3/3 - 2*l**2 + 2. Let c be f(6). Solve 4*a + 9 + 3 = 4*j, -a + c = 2*j for j.
5
Let g be (3 - 4)*3/(-3). Let k be 4/((-8)/(-86)) - g. Let j be 1/5 - k/(-15). Solve -4*h - 35 = -5*m, 2*h + 16 = 3*m - j for m.
3
Let a(r) = r + 1. Let t be a(0). Let f be 3*(3 + 0)/9. Let i be (-18)/(-12) - f/2. Solve -2*q + i + 2 = -3*b, -t = -b for q.
3
Let p = 16 + -4. Suppose -4*m + 5*i = 15, 0*m - 3*i + 9 = -2*m. Solve 2*u - 2*f + 6 = m, p = -2*u + 5*f + 3 for u.
-2
Suppose 4 = -0*n + n. Suppose -n*o = -0*o - 28. Let h = 2 - -1. Solve -d = 3*a + o, -a + d = 2 + h for a.
-3
Let n = 105 - 68. Solve -3*s - 5*w + n = 0, 3*s + w + 13 = 6*w for s.
4
Let w be (7/(21/(-18)))/(-2). Solve w*b + 2 + 0 = -2*k, -4*k = -4*b + 24 for k.
-4
Let k = -6 - -6. Suppose 0*n - 2*n + 8 = k. Suppose -3*v = t + v + 10, n*t = -4*v - 4. Solve 0 = -4*x + 2*j - 8, -4*x - t*j = 3*j - 20 for x.
0
Suppose -14 = -3*x + 31. Let c be 2/(-5)*x/(-2). Let m(k) = k + 7. Let b be m(-6). Solve -o + 6*o = c*l - 31, 3*l - b = -o for l.
2
Suppose -21 = a + 3*k, 4*k = a + 3*k + 5. Let x = 13 + a. Let j(u) = u**3 - 4*u**2 + u + 4. Let f be j(x). Solve 3*c - 4 = 4*b - f, 5*b = -10 for c.
-4
Let b(u) = u**2 + 18*u + 14. Let x be b(-17). Let t = x + 3. Solve t*y - a = 3*y, 0 = 3*y - 3*a for y.
0
Let p(f) = -4*f**3 - f**2 - f - 1. Let v be p(-1). Solve -v*g - 2*d + 7 = 0, -g + 4*d - 5 = 2 for g.
1
Let n be (1 - 2)*(3 + -8). Let c be ((-4)/n)/(2/(-5)). Solve k = -5*r + 24, -8 = -k - 3*k + c*r for k.
4
Let s be (-4 + 4)/(-1 + 3). Suppose 5*d = -s*d + 30. Let a be (-14)/(-3) - d/9. Solve 6 = 5*u + 4*c, -a*c - 5 = -4*u - 7*c for u.
2
Let j(o) = -o**3 + 9*o**2 - 2*o + 13. Let y be j(9). Let v = -3 - y. Suppose -13 - v = -5*k. Solve -5*b - k = -2*z, -1 = b + z + 1 for b.
-1
Suppose 4*x = -2*f + 5*f + 20, -5*x - 3*f + 25 = 0. Suppose 0 = 3*t + 15, -5*t - 33 = -x*q + 2. Solve -15 = -5*z - 0*h + 5*h, h + 8 = q*z for z.
5
Suppose 2 = -4*r + 14. Solve 3*x = -r*k - 3, 4*x - 13 = 3 for k.
-5
Suppose -16 = -3*w - w. Suppose 22 + 3 = -5*g. Let o = 5 + g. Solve -4*q + 3*i + 20 = o, -3*q - i + w = 2 for q.
2
Suppose 5*q + 15 = 55. Solve -3*k = 4*i + 23, 5*i + q = k - 16 for k.
-1
Let l be (4 - 2/1) + 1. Solve h - 9 = l*h + n, -2*h + 6 = -4*n for h.
-3
Let a(t) = -t**2 - 8*t - 1. Let y(x) = -x**3 + x**2 - 7. Let q be y(0). Let m be a(q). Let d = 10 - 6. Solve c = m*w - 5*w + 3, w = d*c - 15 for c.
4
Suppose -16 = -3*l + 20. Solve 2*p = -3*z + l, -3*p + 3 + 2 = -2*z for p.
3
Suppose 0 = 2*a - a - 2. Solve -4*s = 4*d - 32, -24 = s - a*s - 5*d for s.
4
Let a be ((-12)/9 - -1)*-3. Let r be (1 + a)*3/2. Solve 0 = -r*p - 2*p - 25, 5 = 5*o - 2*p for o.
-1
Suppose -3*r = -3*x + 15 + 6, 3*r + 6 = -2*x. Let g = 7 - x. Solve -3*q + 5 = g*p - 12, 3*p = 6 for q.
3
Let u = 5 + -3. Suppose -4*p + 24 = -4*g, 0*g + u*g + 16 = 4*p. Let n(y) = -y**3 - 7*y**2 + 3. Let f be n(-7). Solve 4*s + 2 = -p, -2 = -f*c - s for c.
1
Suppose 0 = -4*b + 3*y + 5, 6*b - 8*b + 3*y - 5 = 0. Solve 2*h = 2*s + 2, 1 = -2*h + b*h - 4*s for h.
3
Let o = 9 - 4. Let k = 72 + -67. Solve h + 5 = p, 4*h + o = -4*p + k*p for p.
5
Let m = -1 + 10. Let a = -5 + m. Let v be a/(-6) + 2/3. Solve -4*p + 3*g + 9 = 0, v = -0*p + p + 3*g + 9 for p.
0
Let l be 4/14 + (-19)/(-7). Let u(y) = -y + 29. Let j be u(5). Solve -4*f + j = r - 2*r, l*r - 8 = -4*f for f.
5
Let w be ((-22)/33)/(2/(-15)). Solve j + 9 + 6 = 3*b, -2*j - w*b = -14 for j.
-3
Let p(a) be the second derivative of -2*a**3/3 - 3*a**2 + 2*a. Let y be p(-5). Let z be (-1)/(-2 - y/(-8)). Solve 5*t - 31 - z = -5*j, 4*j = 4*t + 12 for t.
2
Let y(r) = -4*r. Let v be y(-1). Suppose 2*k - h + 1 = 0, 2*k = -3*k + h + 5. Solve -v*w = -k*w - d + 6, -w = d + 6 for w.
-4
Suppose -4*o + 20 = -0*o. Suppose 3*p - 5 - 1 = -5*l, 2*p = -l + 4. Solve 0*z - z - o*s + 25 = 0, -2*z + s + 6 = l for z.
5
Let n be 1 - (7 - 4 - 15). Solve 4*r = -4*h - n - 3, -2*r - 14 = 4*h for h.
-3
Suppose 0 = w + 4, u - 2*w + 7*w = -16. Solve 15 = 3*v, 2*z + 12 = -0*z + u*v for z.
4
Let q = -4 - -7. Let p(m) = m**2 - 3*m - 8. Let n(r) = -r**2 + 2*r + 7. Let x(y) = 6*n(y) + 5*p(y). Let v be x(-2). Solve -b = 4*w - 8, w = q*b + v*w + 3 for b.
-4
Let m be 0/(-6)*(-2)/(-4). Suppose 5*a + 4 = -m*l + l, 0 = 4*a + 4*l + 8. Let d = 3 + a. Solve 4*h - 5*q = -10, -4*q + d = h - 3*q for h.
0
Suppose -2*s + 6 = s. Solve 0 = f + s*d - 4*d - 1, 0 = 5*d - 5 for f.
3
Let j be 1/(-1) + 7 + 0. Suppose -5*d = -2*d. Solve w = -5*b - j, d*b + 5*b = -5*w - 10 for w.
-1
Suppose -5*m - 2 + 14 = -4*b, 16 = 4*b + 2*m. Solve 0*h - h + f = -3, -b*h = -3*f - 9 for h.
0
Suppose -29 - 39 = -4*j + 4*u, 5*j = -3*u + 61. Solve 6*d - o = 3*d + j, 2*o + 4 = -2*d for d.
3
Let o = 32 - 26. Suppose -j + 3*y + 20 = 0, -8 = 4*j + 5*y - 3. Solve -2*u + 3*i - 9 = 0, -i + o = -j*u + i for u.
0
Let i(r) = -r - 1. Suppose 3*g = -20 + 5. Let s be i(g). Suppose 0 = -s*w + 22 - 6. Solve 5*o - w*f = 3, -3*o - 12 = -2*o - 5*f for o.
3
Let a be ((-8)/(-3))/(2/3). Suppose 8 = a*c - 12. Solve 2*k + 0*x - 2*x - 4 = 0, 0 = c*k + 2*x + 18 for k.
-2
Let v(y) = 2*y - 2*y - 2*y + 5*y. Let g be v(1). Let m = 5 + -5. Solve 2*h + m*t + 6 = g*t, 5*h + 4*t - 31 = 0 for h.
3
Suppose -r - 11 = -5*b + 32, 5*b = 5*r + 55. Let u(h) = 2*h - 12. Let m be u(b). Solve 4*g - m*y = 0, 2*g + 3*g - 3*y = 4 for g.
2
Let v be 8/5 + (-4)/(-10). Let u be 0*-2*(-1)/(-6). Suppose u*f + 15 = 3*f. Solve 3*r - 4*s + v = 4, 5*s = f*r - 5 for r.
2
Suppose 3*m + 2 = i + i, -3*m = 2*i - 2. Solve -3*g + 5*x + 25 = m, -4*x - 29 = -5*g - 9 for g.
0
Let y = -18 - -27. Solve 2*n = -3*r + 11 + y, -2*r + 8 = 0 for n.
4
Let x = -30 + 43. Suppose -7*s + 3*s = 0. Solve -y - 2*k - x = 2*k, -2*y + 5*k = s for y.
-5
Suppose 4*h - 36 = -5*l, 2*h + l + 3*l - 12 = 0. Let a = -12 + h. Solve -i = 2*c + 4*i - 16, -c + a = i for c.
-2
Let g be -21 - -25 - (-26 - 0). Solve 5*n + g = -5*i, i + 3*i - 1 = n for n.
-5
Suppose 3*v = 2*x - 3*x + 17, 4*x + 4*v - 36 = 0. Suppose 5*w + 4*j = -x, 2*j = w - 3*j + 30. Let f = -4 - w. Solve 4*z - f = -3*d, 2*z = -3*d + z - 2 for d.
-1
Let x = 105 + -95. Solve 5*z + 15 = -3*c + 3*z, 4*z + x = -2*c for c.
-5
Suppose -b = -4*v - 19, 3*b + 3*v = -2*b + 3. Solve 7 = -b*i + 3*d - 5, -8 = 2*i + 5*d for i.
-4
Let x(g) = -g**2 + 5*g + 4. Let f be x(4). Solve -q + 5*q + f = 4*u, 5*u = 4*q + 7 for q.
-3
Let u = -24 - -25. Let d(b) = -b**2 - 8*b - 10. Let f be d(-7). Let x be (u - 3)*f/2. Solve -x*l = -t + l + 8, -t + 2*l = -6 for t.
4
Suppose 0 = 3*u + 10 - 22. Solve 5*l + 3*g + g - 12 = 0, -26 = -u*l + 5*g for l.
4
Let x(l) = -l**2 - 14*l + 3. Let s be x(-14). Solve -4*d = 5*h + 19, -s*d + 7*d - 11 = 5*h for h.
-3
Suppose 0 = -y - 3*y. Suppose -6*z - 3*q + 27 = -2*z, -5*z - 5*q + 40 = y. Solve 3*k + 0 = 2*b + 2, 0 = -z*k - b - 10 for k.
-2
Let q(x) = -x**3 - x**2 - 2. Let s be q(-2). Solve -g - 3 = 0, 3*j + 18 = s*g - 5*g for j.
-3
Suppose 0*r = 4*r. Suppose -h = -r*h - 5. Solve -3*x + 12 = -4*z, 0 = 2*x - 3*z - 4 - h for x.
0
Suppose -5*r - 25 = 5*k - 0*r, -k = 2*r + 10. Solve k = -3*v + n + 2*n - 12, -4*v - 2*n = 10 for v.
-3
Suppose 0 = 2*b - 6*b + 2*o + 16, 0 = -2*b - 3*o. Solve 4*j = z + 19, -j + 0 = -b*z - 2 for j.
5
Suppose 4*n - 14 = 14. Let p = 8 + 2. 