= -3*b + s, 4*p - 4*b + 4 = -b for p.
2
Suppose 4*a - 2*a = 8. Let l = 10 - a. Let s = 3 + l. Solve -4*b + 3*d + d = 0, 0 = -4*b + d + s for b.
3
Let k = -3 + -4. Let w(z) = z**3 + 6*z**2 - 8*z + 8. Let v be w(k). Solve x = 2*g + 1, -v = -5*x + 5*g - 0*g for x.
5
Suppose o + 0 = t - 4, 2*t - 4*o = 0. Solve k - 5*r = -r - 21, -t = -2*r for k.
-5
Let h(v) = 2*v - 3 - v - 2. Let r = -234 - -247. Let j be h(r). Solve f - 4*m = 17, -6*m = 4*f - 3*m + j for f.
1
Let j = -4 - -6. Let o = -12 - -16. Let w be 0/(-4 + 8/o). Solve 4*u - 3*u + 5*z = 5, j*u - 4*z + 18 = w for u.
-5
Let v(r) = -45*r**2 + 3*r**3 - 4*r**3 - 8 + 38*r**2 + 4*r. Let m be v(-8). Solve 2*s - 4*b - m = 0, -3*s - 5*b = -2*s + 16 for s.
4
Suppose 4*f - 125 = 127. Let n = f - 60. Solve 3*z = -2*b + 10, -n*b + 9 = -0*z + 3*z for b.
-1
Let s(q) = 6*q**2 - 4*q + 3. Let i be s(1). Solve -p - 4*f = -5*p + 12, 5*f + 5 = -i*p for p.
1
Suppose -3*g - 2*r = 14, g - 4*g - r - 16 = 0. Let f = -8 - g. Let v(p) = p**2 - 2*p - 3. Let i be v(f). Solve i*m - 5*j + 20 = -10*j, -12 = m + 5*j for m.
-2
Let p(z) be the second derivative of z**4/12 + z**3/6 - 5*z**2 + 7*z. Let w be p(3). Solve 2*k = -b - 3, 0*k - 9 = -b + w*k for b.
3
Let s be (-2 + 1)*2 + 3. Let q(n) = n**2 - n + 10. Let b be q(5). Let u = 33 - b. Solve 20 = 5*x, 3*p = -u*x - x + s for p.
-5
Let r(t) = -t**3 - 2*t**2 + 11*t + 14. Let a be r(-4). Solve a*o = -k - 2*k + 14, 16 = 2*o + 4*k for o.
4
Suppose 3*l = 8*l. Let d = l + 2. Suppose -k - 2 = -6. Solve -8 = 4*x - 0*x + 4*o, d*x + k = o for x.
-2
Suppose 0 = 3*w - 11 - 34. Suppose 0 = 9*p - w*p. Solve -3*s = -4*g - p*s + 1, 2*g + 2*s - 18 = 0 for g.
4
Let o = 505 - 503. Solve 7 = 10*z - 11*z - 2*g, -o*z - 2*g = 4 for z.
3
Let y = -1642 - -1662. Suppose -3*q + 11 = 2, 0 = 4*u - 2*q + 2. Let h be (-1)/2*(-1 + u). Solve h = 4*c + c - 5*g - y, -c + 3*g + 6 = 0 for c.
3
Let h(k) = k**3 + 7*k**2 + 4. Let j be h(-7). Suppose j*d = 2*d + 10. Solve -4*u - 2*l = 6 - 0, 8 = -d*u - 2*l for u.
-2
Let n be (4/6)/(1/6). Let j = -38 - -42. Let x be (j/(-5))/(2/(-10)). Solve n*c = -2*g - 14, -x*g = -2*c - 0*c - 22 for c.
-5
Let o(m) = -m**2 - 10*m + 10. Let u be o(-12). Let q = -10 - u. Solve -p + 5 = -4*x, 4*p = -0*p - q*x for p.
1
Let s(i) = -2*i**2 - 10*i + 14. Let a be s(-6). Solve 2 = -a*z + 2*w, 2*z + 2*w + w - 13 = 0 for z.
2
Let f(k) = -9 + 3*k + 5*k**3 + 3*k**2 + 0*k**3 - 6*k**3. Let x be f(3). Solve x = -5*q - 2*y - 3, -1 + 0 = -q - 2*y for q.
-1
Let m(z) = -12*z - 2. Let l be m(-4). Suppose -l*f + 49*f = 48. Solve -x = x - k - 3, 4*k + f = 4*x for x.
-1
Let z be -3*(1 + (-5)/3). Let g be (-5)/(-2) - z/(-4). Let f be g/((-164)/44 - -4). Solve 3*a + 3 = 0, f + 4 = -4*n - 3*a for n.
-3
Let z(l) = l**3 + 13*l**2 + 43*l + 9. Let b be z(-7). Solve -g - 12 = -4*t, 2*g + 4 = -b*t + 5*g for t.
4
Let l(g) = 2*g**2 - 25*g + 81. Let h be l(6). Solve h*r = -0*r, -2*r = 2*i - 10 for i.
5
Let v be 6/(-45)*-10*6. Solve 5*g - 4*g - 2*p + 6 = 0, g + v = 4*p for g.
-4
Let q(f) = 2*f - 10. Let k be (-12)/(-18) - 62/(-6). Let j be q(k). Let b = -196 - -216. Solve j = -a + 4*a + n, -5*a = 5*n - b for a.
4
Let p(h) = -2*h + 12. Let t be p(8). Let m be (-2)/(t - (-40)/12). Let s be (0 - -1)/(2/4). Solve 2*c = -m*y + 9, -s*y + 3*c + 6 = -c for y.
3
Let c(d) be the third derivative of d**4/24 + d**3/3 - d**2. Suppose -3*z - 2*z - 10 = 0. Let o be c(z). Solve o*r + r + 1 = 3*w, 4*w = -5*r + 33 for w.
2
Let p(r) = r**3 + r**2 - 12*r - 17. Let l be p(-2). Solve -l*w - 3 = -3*n, 2*n = 4 + 6 for w.
4
Suppose 17*m = 45*m - 140. Solve 28 = -6*w + 4*w - 4*z, -5*w + m*z = -5 for w.
-4
Let t be 14/105 + 1046/30. Let k = -4 - -4. Suppose 3*f + 2*f - 10 = k. Solve -3*a + 16 = -f*a - 4*y, 5*a - t = 5*y for a.
4
Suppose -r + 3*w = 4*r + 81, 2*r = -2*w - 26. Let f be (-5)/r + 1/(-3). Solve f = -3*i + 4*m + 22, -2*i = -i + m + 2 for i.
2
Let u be -4*(48/(-10) - (-6)/(-30)). Solve 4*q = 6*p - 3*p + u, 0 = 3*q - 2*p - 14 for q.
2
Let v be ((-2)/4*0/50)/(-4). Solve -2*i = 3*w + 9 - 1, v = 2*w for i.
-4
Let c be 9/18*-3*(-66)/9. Solve -3*g + 6 = -5*y + 2*y, -2*y - c = 5*g for g.
-1
Let r(j) = -2*j - 37. Let i be r(-20). Suppose i*c = 10*c - 35. Solve -5*x - c = 2*b + 2*b, -4*b + 4*x = -4 for b.
0
Suppose 5*o - 4*s = -7*s - 123, 0 = -4*o - 5*s - 101. Let l = o + 24. Solve l = -m + 6*m - 20, -8 = 4*p - 3*m for p.
1
Let u = -680 - -685. Solve 3*y + 26 = -2*v + u, 5*v + 20 = -y for v.
-3
Let f(u) = 2*u - 9. Let v be f(7). Let x(b) = b - 18. Let d be x(25). Solve 4*j - v = -a, -j - d = -a + 4*a for j.
2
Suppose 3 = -l, -2*m + 0*l - l = -1. Suppose -m - 14 = -4*a. Solve -v = 5*i + 30, 0*i = -5*v + a*i - 5 for v.
-5
Suppose f + f = 8. Let n(s) = -3*s + 4 - 6 - f*s**2 + s**3 + s**2. Let g be n(4). Solve 2*j + l = 7, -3*j - g*l = l - 15 for j.
2
Let r be (53 - 1) + -16 + 13. Let n = -46 + r. Solve -o + 5*p = -10, 0*o - 5*p = -n*o + 20 for o.
5
Let b = -561 + 564. Let n(l) = -l**3 - 5*l**2 - l. Let a be n(-5). Suppose -a*y + 6 + 4 = 0. Solve 0*z - z + 3*d + 1 = 0, 3*z = -y*d + b for z.
1
Let j be (-345)/(-30)*4/2. Solve -3*a - 2*r - 5 - 6 = 0, -3*a - 5*r = j for a.
-1
Let v be (1/(-2) - (-39)/234)*-3. Solve -2*s + 4*b - v = 13, -b + 2 = -s for s.
3
Let f = -93 - -97. Solve j + j + 14 = -2*x, -f*x - 4 = -2*j for x.
-3
Let n be 2 - (2 - 3 - 2). Suppose -2*w + 10 = -0*w + n*s, 0 = w - 3*s + 17. Let r be 3/w + (-18)/(-5). Solve -2*k = 3*c + 8, -6*k + 3*k - 6 = r*c for c.
-4
Let u be 18 - (4 + -1 - -1). Solve 3*b + u = -2*g, 6*g + 28 = -4*b + g for b.
-2
Let v(l) = l**3 - 5*l**2 + 4*l - 12. Let f be v(4). Let i be (19/(-4))/(3/(-12)). Let o = f + i. Solve 9 = -n + 3*k, 2*k - 10 - o = -3*n for n.
3
Let y(s) = 2*s + s - s + 10 + 30. Let f be y(-19). Solve 0 = -h - a - 5, -f*h - 4*a - 14 = -2 for h.
-4
Suppose -25*t + 9*t + 64 = 0. Solve -2*f = -3*z - 22, -t*z + f = 2*f + 11 for z.
-4
Let y be 56/3 + (-11)/(-33). Suppose -7*f + 21 = -28. Suppose -2*o - s = 2*o - y, -f = -4*o + 3*s. Solve -5*p + 25 = 0, -2*h - 8 = 2*p - o*p for h.
1
Let m(n) = 11*n**2 - n. Let w be m(1). Suppose 30 = 2*b - w. Suppose 4*a - 87 = -3*y, -2*a + y - 88 + 139 = 0. Solve -v = -5*f - a, -3*f - b = 5*v - 0*f for v.
-1
Suppose 0 = -4*q - 16, a = -q + 11. Solve a = -j - j - 5*p, -2*p - 7 = j for j.
-5
Let l(r) = -r**3 - 5*r**2 - 6*r - 4. Let v = 3 - 7. Let g be l(v). Suppose 0 = -2*z - 2*y + 8, z - 5*z + 16 = y. Solve h = -2*c - 3, -g*c - h + z*h = 31 for c.
-4
Let a = 141 + -135. Solve -k - y = 5, y - a*y - 5 = 0 for k.
-4
Let h be 2 - 7 - (-26 - -18). Solve 3*k + 0 = -4*f + 7, -h*k + 5*f = -25 for k.
5
Let s = -3 - -6. Let v(n) = -n**3 + 5*n**2 - 3*n - 2. Let k be v(s). Let m = k + -5. Solve -5*a = -3*o + 2, m*a = -0*a - 2 for o.
-1
Let x(n) = -n - 5. Let t be x(-7). Suppose -3*i - 3 = -t*b, 5*b - 3*i - 2 = -i. Let k = -128 - -133. Solve -4*s + 1 = -2*v + 11, -2*v + k*s + 12 = b for v.
1
Let z be 3/(-2)*2/3. Let l = z - -9. Let m = -2733 + 2735. Solve 5*q = 4*w - l, -2*q = 3*q + m*w + 26 for q.
-4
Let k(w) = w**3 + 2*w**2 - 8*w + 4. Let d be k(2). Let a = 77 + -75. Solve a*n + d*p + 20 = 4, 5*n = -4*p - 10 for n.
2
Let j(z) = z**3 - 6*z**2 + 7*z - 6. Let r be j(5). Let g = 30 + -26. Suppose -3*d - 15 = 2*a - g*a, d = -3. Solve 18 = -5*h + r*c, -a*c - 5 = 5*h - 1 for h.
-2
Let l be 0/5 + 0 + 2. Let d be 5*(l - 6 - 5). Let s be 3/(-3 + d/(-12)). Solve 0 = -s*m - 5*c + 4, -c - 4*c - 5 = -5*m for m.
1
Suppose -110*h + 31*h + 1027 = 0. Solve 3*p - 28 = -h, 4*p = 3*y + 26 for y.
-2
Suppose 0 = -3*g + 3*q + 2 + 16, g + q = 0. Let l(w) = 2*w. Let k be l(g). Let b be (-25)/(-15) - (-2)/k. Solve -4*m = 2*f, 3*m + 0*f + b*f - 2 = 0 for m.
-2
Suppose 5*p = -5*m + 35, 3*m + 5*p = -24 + 49. Solve -18 = m*x - 0*x + g, -5*g + 10 = 0 for x.
-4
Let a be (-87)/(-6)*(0 - -2). Let l = 43 - a. Suppose 0 = 3*q + 3*b - 1 + 7, q + l = -4*b. Solve 0*i + 23 = -2*i - 3*n, i - q*n = 6 for i.
-4
Let m be ((-7)/(-7))/(25/10 - 2). Solve -v = -3*b + m, -4*v + b - 6*b - 8 = 0 for v.
-2
Suppose -i - 5*v = 20, 5*v - 32 = 4*i + 23. Let q be (-15 - i)/(4 + -1). Solve -k - 5*l + 13 = 0, -2*l + 4 = k - q*l for k.
-2
Suppose w - 20 = -3*w. Let r be (-4)/18 + 1870/(-90). Let z = -19 - r. Solve -5*a + 17 = i, z*a - 7 = -w*i + 9 for i.
2
Let k(a) = 5*a + 172. Let c be k(-34). Solve w + 4*b - 3 = -c, w = -3*b + 2 for w.