-6 = z - b for z.
-1
Suppose 12 = -r + 4*r. Solve 4*j = r*y + 12, -5 = -y + 3*j - 6*j for y.
-1
Let h(n) = -n**3 - n**2 + n. Let t be h(1). Let f = 3 - t. Solve -b = -w + 4*w + 13, -3*b = -f*w for w.
-3
Let q(p) = -5*p - 2. Let u be q(-2). Let y = 6 + -3. Suppose -l - 3*l = -y*t + 15, 2*t = -5*l + 10. Solve 22 = t*s + d, 2*d = -4*s - 2*d + u for s.
5
Let m(a) = -2*a**2 - 24*a - 20. Let q be m(-11). Solve -u + h - 18 = 4*u, 3*u = q*h - 15 for u.
-3
Suppose -4*z + 0 - 4 = 0. Let x be (28/(-21))/((-2)/3). Let i be z - (-5 - -1*x). Solve a = 3*q - i - 2, 6 = 5*a - 2*q for a.
2
Let i be (0 - (-5 - -3)) + -2. Suppose 3*r = -i*r + 6. Solve -r*g - 4*f = -4*g + 16, -5*g + 5*f + 25 = 0 for g.
2
Suppose -s = 2*s. Suppose 29 = 5*m + 4*i, s = -m - 0*m + i + 4. Solve -5*d = m*r + 25, 3*d + 10 = -2 for r.
-1
Let x be (1 - -2)*(-2 - -1). Let t = 5 + x. Solve 3*m = -8*y + 3*y, -11 = m - t*y for m.
-5
Let u be 4/(-6)*12/(-4). Suppose -5 = -u*f + f. Solve -y + 6 = -4*w + y, -3*w + f*y - 15 = 0 for w.
0
Let y(w) = 5*w. Let z be y(1). Solve 5*j - 9 = 5*o + 1, -o - z = 0 for j.
-3
Let u be 10/(-3)*(-9)/6. Let m = 7 - u. Let j(r) = 4*r - 3. Let f be j(m). Solve -f*q + 5 = -t, -2 = 4*t - 4*q + 2 for t.
0
Let y be -2 + (5 - 2/(-1)). Solve -y*o = 25, -s - 3*o = 2*o + 24 for s.
1
Suppose 0 = -4*j - 3 + 51. Let b be (j/8)/((-2)/(-4)). Solve 23 = -5*x - 0*l + l, -2*x - 17 = -b*l for x.
-4
Suppose -4*t = -4*h + 32, -6*t = -3*t + 15. Solve -2*u - 5*f + f = -6, -2*u - h*f + 7 = 0 for u.
5
Suppose 0 = 9*a - 1 + 1. Solve 5*f + 5*r + 15 = a, -r - 8 = 3*f + 3 for f.
-4
Suppose 4*t + 0*t = -8. Let r be (t + -1)/((-6)/20). Solve -2*y = -5*d - 4, -4*y + 0 = -d + r for d.
-2
Let w(c) = -c**3 + 3*c**2 + 5*c. Let t be w(4). Let u = t - -1. Solve -3*r = 7*s - 2*s - 13, -3*r = -u*s + 37 for s.
5
Suppose -2 = -l - 2*u + 3*u, 4*l + 2 = -u. Solve l = z - h + 4 - 10, 0 = -3*z + 4*h + 19 for z.
5
Let f = 115 + -114. Solve 0 = -5*w, 0 = -5*c - 2*w + 6 - f for c.
1
Suppose 3*j - 7*j = 2*x - 20, 3*j = x + 10. Solve 2*b = -o + 8, j*b + 3*o = b + 15 for b.
3
Let c(v) = -v**2 + 10*v - 21. Let s be c(3). Let l(h) = h**2 - 3*h + 2. Let q be l(3). Suppose -x = x - q. Solve s = -z + 3*k - x, 0*k = -5*z + 5*k + 5 for z.
2
Let a be 3 - (0 + -19 - -2). Solve -4*b = 4*x + a, 0*b + b = -3*x - 9 for x.
-2
Let i = -143 - -162. Let q(o) = 6*o**2 + 3*o. Let r be q(-2). Let s = -12 + r. Solve -2*x - i = -3*g, 0 = -4*g - x + s*x + 37 for g.
3
Let d be 9/(6/(-2)) - -3. Solve -2*k + 4*t - 4 = d, 5*t = -0*t - 5 for k.
-4
Suppose -60 + 3 = -3*u. Suppose 0*w = 3*w. Let y = w - -4. Solve -3*p + 1 - 4 = y*v, -3*v = -2*p - u for v.
3
Let k be ((-24)/(-18))/((-2)/(-6)). Suppose 0 = -4*p + 4*h + 68, 2*h = -k*p + 3*p + 17. Solve 0 = -5*c - 2*o + p + 11, -3*c + o + 8 = 0 for c.
4
Let u = -32 + 54. Suppose u = -4*a + 6. Let h = a + 9. Solve 5*y + 2*k - 6*k = -11, -h*y - 3*k + 17 = 0 for y.
1
Suppose 3*y + 6 = 39. Let b(h) = -h**2 + 5*h - 2. Let j be b(4). Let x be 24/10 - (-2)/(-5). Solve j*f - y + 3 = -3*o, 5*o + x*f = 8 for o.
0
Let j(u) = u**2 + 2*u + 2. Let r = -10 - -7. Let d be j(r). Solve -2*s - 1 = 5*b, -s = d*b + 3 - 5 for s.
-3
Let t be -1 - -6 - (-12)/(-3). Solve 4*k + 4*y = 0, -3*y + t = k + 3*k for k.
1
Let b be (-1 - -1) + -4 + -3. Let g(n) = n**2 + 7*n. Let q be g(b). Suppose -3*y + 86 - 17 = q. Solve z + 5*i - y = 0, -7 = 4*z + i - 23 for z.
3
Suppose 0*d - 6 = 5*d - 3*c, c + 15 = -4*d. Let m be 2*d/(-12)*4. Let v = m + 2. Solve 4*u - 3 - 6 = -q, 5*q - 13 = -v*u for u.
2
Suppose -m + 2 = -20. Solve 4*q + m = -3*v - 7, 3*v + 19 = -2*q for v.
-3
Let y be 6 + (12/(-3) - -2). Solve -2*k + 3*w + y = 0, -4*k + 4*w + 3 = k for k.
-1
Let k(c) = -c**2 + 7*c + 1. Let u be k(7). Let d(r) = -u - r + 2*r + 0. Let p be d(6). Solve -5*w + 2*w = -4*y - 11, y = -p*w + 3 for w.
1
Suppose a - 4 = -a. Let l = 34 - 29. Solve -a*o - 11 = 5*u + o, o + 17 = -l*u for u.
-4
Let u(a) = -a**3 - 11*a**2 + 10*a - 16. Let n be u(-12). Suppose 0 = 4*h - n + 4. Solve -2*t + 4 = x, 3*x - h - 2 = -3*t for t.
3
Suppose 2*d - 18 = 4*v, -2*d + 5*v + 12 + 7 = 0. Let g = 9 - d. Solve -5*n - 4 + 15 = g*l, 9 = 3*l for n.
1
Let z(d) = d**3 + 5*d**2 - d + 1. Let s be z(-5). Solve a = -x - x + s, 5*x + 11 = 4*a for a.
4
Let j be 2/(-6) - (-88)/3. Let s = 121 - 119. Let w(u) = 2*u + 1. Let z be w(1). Solve s*t + 4 = 10, -5*c + z*t = j for c.
-4
Suppose -q - 2*q + 13 = p, -4*q + 22 = -p. Solve 21 = -2*y - 5*j, -3*y + q*j = 2*y for y.
-3
Let q(i) = i**2 + 4*i - 8. Let a be q(-6). Let p be (-36)/(-9) + 32/2. Suppose p*c - 20 = 16*c. Solve j + c = -5*f - 1, -4*j - a = 0 for f.
-1
Let b be (4 - 13/3)*0. Solve 3*z - 14 = 4*f, 2*f - 6 = -b*f - 5*z for f.
-2
Suppose 0 = -5*i + 12 + 3. Let x(o) = -o**3 + 4*o**2 + 2. Let n be x(4). Let s = -49 - -54. Solve m = n*m - w + s, i*w = -m + 7 for m.
-2
Let p be 2 + (-2 + 3)*-2. Suppose -3*b + 121 = 13. Suppose -2*q - q = -b. Solve 2*v + q = -3*n - p*v, 5*n + 20 = -5*v for n.
-4
Let u(g) = -3*g + 29. Let l be u(8). Solve 0*z - 2*z - 2*f = 6, -2*z = -l*f - 15 for z.
0
Let l = -10 + 42. Suppose 4*n - 32 - l = 0. Solve -5*t = 2*d - n - 7, 4*d + 2*t - 22 = 0 for d.
4
Let z be ((-12)/(-21))/((-2)/(-7)). Suppose 0 = m + 2, 3*y - z*m = -0*m + 16. Solve 4*x = -y*h - 20, -2*x + 5*x + 5*h + 19 = 0 for x.
-3
Let o(k) = -2*k - 3. Let a be o(-14). Solve -a = -0*i + 4*i - 3*h, 0 = -5*i - 2*h - 14 for i.
-4
Suppose 2*d + 28 = 3*d. Suppose 3*n = -n - d. Let u = 11 + n. Solve 4*v + 8 = k, -u*v + 4*k = k for v.
-3
Let k(u) = 4*u**3 + 2*u**2 - 2*u + 1. Let p be k(1). Suppose 6*b - p*b = 6. Solve 4*f - b = -i + 1, 5 = -4*i - 5*f for i.
-5
Let f = -14 + 1. Let y = f - -17. Solve -3*d - 5 = 5*l - 13, y*d = 5*l - 1 for d.
1
Suppose 10 = 4*g - 6. Suppose -h - 2*x + 2 + 2 = 0, g*x - 6 = -3*h. Let t be h/(0 - 1) + -2. Solve -2*f = 5*d + 4, 3*d - f - 4*f + 21 = t for d.
-2
Let j = 0 + 9. Suppose 0 = -3*p - j + 27. Let c be ((-15)/(-10))/(p/16). Solve 4*h = -2*f - 8, 5*h + 2 = c*h + 4*f for h.
-2
Let o = -8 - 8. Let n = -11 - o. Suppose n*h = 117 - 7. Solve l + 10 = b + 2*b, -5*b - l + h = 0 for b.
4
Suppose 0 = -2*b - 3*p + 7, 4*b - 3*p = -0*b + 59. Let u = b - 5. Suppose 6 = 3*w - u. Solve -5*z = 5*n - 2*n - 16, w*z - 3*n = 29 for z.
5
Let h = -32 + 16. Let b be (h/(-6))/((-2)/(-3)). Suppose y + 0*y - b = 0. Solve 3*g + 4*j - 26 = 0, y*g - j - 33 = -6*j for g.
2
Suppose 4*c + 7 = 55. Suppose 8*y - c*y = 0. Solve 12 = -x - 2*x - 2*l, -x - 5*l - 4 = y for x.
-4
Let k be (-2)/(-2) + (-2)/(-1). Suppose k*j - y = -2, -j = 6*y - 3*y + 4. Let n be 0 + (3 - (-1 - j)). Solve 5*r + 3*m + 7 = 0, -r + 6 = -2*m - n for r.
1
Suppose -f + 2 = 0, 4*d + f + 10 = -4. Let o be d/(-6)*(-60)/(-8). Solve -37 = -4*q + 5*r, -r - 12 = -4*q + o for q.
3
Suppose 2*n + n = 0. Solve -2*u - 1 = -x, n + 1 = x + 4*u for x.
1
Let x(t) = t**2 + 6*t + 7. Let o be x(-5). Let z = 3 - -2. Solve 0 = -3*d - z*v + 35, -2*v - 14 + o = -4*d for d.
5
Let c(t) = -t**2 + 5*t - 1. Let m be c(4). Let o be (-36)/(-15)*10/m. Let w = o - 5. Solve v = r + 1 + w, 4*r + 14 = 3*v for r.
-2
Suppose -2 + 5 = 2*k + 3*r, -4*k - 3*r + 3 = 0. Solve -3*o + k*j + 5*j - 13 = 0, 4*j = 3*o + 8 for o.
4
Suppose 4*y = -4*i + 36, -16 = i - 2*y - 2*y. Solve x = 5*p + 4, -i*x + 4*p = -3*x - 4 for x.
4
Let j be -6*(-4)/6*1. Let p = j - 1. Let k be (49/7)/(2 + -1). Solve 4*v - y + 14 + k = 0, -p*y = -15 for v.
-4
Let w = -16 + 9. Let j be 3*(1 + w/3). Let r = 7 + j. Solve 0 = 3*k + r*z + 2*z, 4*z + 7 = -k for k.
5
Let i(y) = 3*y + 27. Let f be i(-8). Solve -3*j - 6 = f*w, -4*w + 2*j - 1 - 13 = 0 for w.
-3
Suppose 0*m = m + 3. Let s be (54/m)/(-1*2). Solve s = c + 4*h, 7*c - 18 = 4*c - 3*h for c.
5
Suppose 5*y - 4*r = 23, -2*y - 5*r - 3 = 1. Solve -y*m - m = -2*i + 26, 2*i = 2*m + 18 for i.
5
Suppose -4*w = -45 + 17. Let r(o) = -w + 7 + 7 - o. Let n be r(5). Solve 3*u = 2*z - 14, n*u + 3*z + 5 = -0*z for u.
-4
Let k(m) = 2*m**3 - 2*m**2 + 4*m - 2. Let o be k(1). Solve -3*h - 10 = o*s + h, 0 = 2*s - 2*h + 10 for s.
-5
Suppose 7 = -3*t + 3*h - 2, t + 2*h = 6. Solve y + t*x - 2*x = -2, -5*y = -x + 19 for y.
-4
Suppose 2*v = -2*v + 16, 4*k + v - 24 = 0. Solve f = 5*f - h - 9, 0 = k*f - 4*h - 25 for f.
1
Let v = 3 - -3. Let n = -3 + v. Solve -8 = -2*i - n*d, 0*d + 8 = 2*d for i.
-2
Let v(c) be the first derivative of 2*