 -13*b(z) - 6*t(z). Let o be d(-1). Let a = -10 - o. Solve -2*l = 3*l + a for l.
-3
Let a be (44/(-28) + 1)*-7. Solve 2*c - c + a = 0 for c.
-4
Let o be 0/2*(-1 + 3)/4. Solve -5*j = -o*j + 20 for j.
-4
Suppose -17 = 3*w + 1. Let p be 0*((-21)/w + -4). Solve 2*t - 14 + 6 = p for t.
4
Let l = -8 + 13. Suppose 21 = -2*o + l. Let g = -5 - o. Solve g*m = m for m.
0
Suppose -4*c + 3*o = -55, -o + 34 + 11 = 5*c. Suppose 3*g + 2*g - c = 0. Solve g*b + 3 = 5*b for b.
1
Let q be (2 - (1 + 10))*1. Let j(a) = a + 11. Let h be j(q). Solve -3 - h = x for x.
-5
Suppose 4*m = -3*v + 8, 5*m = -4*v + 8 + 1. Solve 0 = -0*i + m*i + 20 for i.
-4
Let c be (0 - 0)/(-1) + 0. Let t = 3 + c. Suppose -o = -5*o + 16, 5*a + t*o - 12 = 0. Solve 0 = 4*v - a*v - 12 for v.
3
Let w(p) = -7*p - 10 - p + 3*p + 3*p. Let g be w(-7). Let z = 0 + g. Solve 5*i - z = 11 for i.
3
Suppose -9*c + 13*c = 60. Solve -5*q + 10*q + c = 0 for q.
-3
Let j(a) = a**3 - 10*a**2 + 10*a - 7. Let t be j(9). Solve 2*i - 6 = t for i.
4
Let h(l) = 3*l**2 - 3*l. Let d be -14*2/(-4) + -2. Let r(w) = 7*w**2 - 7*w + 1. Let u(i) = d*h(i) - 2*r(i). Let a be u(2). Solve a = -q + 4*q for q.
0
Let k = -1 - -1. Suppose -3 = i - k. Let r be 0/(-7)*1/i. Solve -b + r*b - 2 = 0 for b.
-2
Let u be (-54)/(-15) + 6/(-10). Solve 3 = -2*o + u*o for o.
3
Suppose 17 = -3*o + 5. Let c = -4 - o. Solve c = -2*b + 4*b for b.
0
Let q(r) = r**2 + 4*r + 6. Let p be q(-4). Suppose 5*i = p*n - 3*n + 27, 2*i + 6 = -3*n. Solve 4*s + 1 = -i for s.
-1
Suppose -4*l - l = -25. Solve 6*a = a - l for a.
-1
Suppose -2*v - 15 = -3*v. Let u = -12 - -12. Let p be 2/8 - (-19)/4. Solve -p*r + u*r = v for r.
-3
Suppose 0 = -4*y - 0*y + 12. Solve z + 2 = -y for z.
-5
Let w = -14 - -16. Solve w - 4 = -c for c.
2
Let o = 8 + -5. Let b(r) = 2*r - 2. Let a be b(o). Solve -h = h - a for h.
2
Let v(i) = 2*i**3 - 9*i**2 - 6*i + 3. Let y(b) = b**3 - b**2 - b - 1. Let m(g) = -v(g) + 3*y(g). Let l be m(-5). Solve -2*p = -l*p - 10 for p.
-5
Let c be (-24)/2*(-2)/6. Suppose -c*d + 10 = d. Solve z = d*z for z.
0
Let q = 11 + -8. Solve -q*h - 8 = -23 for h.
5
Let z be ((-10)/(-1))/(1/1). Let p be (12/15)/(1/z). Let l be p - (3 - (-1 + 2)). Solve y - l = -y for y.
3
Let t(z) = -z**3 - 9*z**2 - 14*z + 4. Let c be t(-7). Solve c*x = -x - 20 for x.
-4
Let k(d) be the first derivative of d**3/3 + d**2/2 + 3*d + 1. Let h be k(-6). Solve 5*v + 13 - h = 0 for v.
4
Suppose 3*s = -4*c + 2, 7*c + 11 = 4*s + 4*c. Let u(l) = -l + 8. Let g(i) = -1. Let f(d) = 6*g(d) + u(d). Let j be f(2). Solve 2*m + j*m + s = 0 for m.
-1
Let b(s) = 4*s**2 - s. Let r be b(1). Let t be 28/(-35)*(-10)/4. Let x be (-2 + t)/((-4)/(-2)). Solve 7*h - r*h = x for h.
0
Let o be -1*(2 - 1 - 1). Let l(s) = -s**3 - 12*s**2 - 4*s - 41. Let j be l(-12). Solve o = -j*u + 2*u for u.
0
Suppose 6*b + 6 - 18 = 0. Solve 0 = -v - b + 1 for v.
-1
Suppose -3*r - 5 = 2*c - 13, -c = 3*r - 7. Let v = 7 - r. Solve v*g = -1 + 6 for g.
1
Let g = -4 + 9. Let n be (-60)/(-35)*7/2. Suppose 2*c - 6*c + 4*b + 24 = 0, -c = g*b - n. Solve -2*h = -c*h - 20 for h.
-5
Suppose 0 = 2*h + 8, -3*m + m - h = 0. Suppose m*w - 2*v + 4 = 20, 35 = 4*w - 5*v. Suppose 4*g + 3*j = 17, j - w = 2*g - 2*j. Solve 0 = -g*k + k for k.
0
Let i = 31 + -29. Solve -5*a + i*a = -15 for a.
5
Let h be 1/(4/20 + 0). Let b be ((-3 + 1)*3)/(-1). Suppose 2*w - 2 = -0*w + c, 0 = 2*c. Solve h*d + w = b for d.
1
Let t(o) = o**2 + 6*o + 3. Let d be t(-6). Suppose 21 = d*f - 0. Solve 4*k + 3 = f for k.
1
Suppose n = -0 + 2. Let s be 6*3/9*n. Solve -s = -5*k + k for k.
1
Suppose 5*n - 3 = 2. Let h(f) = f**2 - 5*f. Let w be h(5). Solve -v - n = -w for v.
-1
Let g(s) = -s**2 + 4*s. Let d = -11 - -15. Let v be g(d). Suppose 4*u + 0*u = v. Solve n + u = -2 for n.
-2
Let g(a) = -8*a - 3*a**2 + 8*a + 2*a**2 + 2 - 7*a. Let z be g(-7). Suppose 3*l = -l. Solve l = 2*r + z*r for r.
0
Suppose 16 - 1 = 5*b. Suppose 0*j = b*j - 2*x + 9, -2*x - 1 = -j. Let u = 5 + j. Solve 8 = 2*t - u*t for t.
4
Let v(c) = -2*c + 37. Let n be v(16). Solve n*i = 5 - 25 for i.
-4
Suppose -2*h = -h - 8. Let d = 0 + h. Solve d = 2*w - 0 for w.
4
Suppose 4*m - 24 = -4*s + 8, 2*m - 18 = -4*s. Solve -2*d - 1 = m for d.
-4
Let f be (-42)/28*(-4)/3*2. Solve 5*w - 1 = f for w.
1
Let n(t) = -7*t - 4. Let p be n(-2). Let v be (-1 - p/(-8))*0. Solve 4*a + a = v for a.
0
Suppose 0 = -5*m + 54 - 14. Solve -2*p - m = 2*p for p.
-2
Let y(p) = -2*p + 6*p - 2*p. Let k be y(5). Let l(z) = -z**3 + 6*z**2 - 5*z + 2. Let o be l(5). Solve -o*t = 3*t + k for t.
-2
Let s(p) = 3*p**3 + 57*p**2 + p + 21. Let d be s(-19). Solve d + 8 = -2*t for t.
-5
Suppose 0 = -6*v + 15 + 9. Let s(x) = -4*x**2 + 3 + 2*x**3 + 4*x**3 - 5*x**3. Let l be s(v). Solve -8 = l*z + 1 for z.
-3
Suppose -2*t + 0*t = 0. Let m(u) = u. Let f be m(3). Solve d = f - t for d.
3
Let r = -4 + 5. Suppose 0*p + 2*p - u = r, -5*u - 5 = 3*p. Solve 2*j + 2 + p = 0 for j.
-1
Let r(k) = -3*k - 1. Let y(w) = w. Let z(n) = -6*r(n) - 17*y(n). Let b be z(-6). Let i be (12/20)/((-2)/(-10)). Solve 3*m - i - 3 = b for m.
2
Suppose 0 = 2*z - 1 - 3. Suppose 11 = 5*r - 2*a, 0*a - 5*a - 2 = -4*r. Suppose -z*f = -r - 1. Solve -f*k = k + 12 for k.
-4
Let x = -76 + 113. Suppose 4 = -2*h, 0*v - 3*v = 4*h - x. Solve 2*t = -3*t - v for t.
-3
Let t(c) = c**3 + 4*c**2 + 2*c. Let x be t(-4). Let a = x + 12. Solve a = d - 0*d for d.
4
Suppose -2*k = 3*k - 35. Suppose 3*g - 8 - k = 0. Solve 0 = g*o + 3 - 13 for o.
2
Let x(t) = 3*t + 30. Let i be x(-9). Solve i*q - 7*q = -16 for q.
4
Let a(f) = -f**3 + 8*f**2 + 12*f - 10. Let v be a(9). Let q = 24 - v. Let y be -2*1*(0 - 1). Solve q = -w + y for w.
-5
Let q = -8 + 9. Suppose -t - p = 2*t - 1, 0 = 2*t - p + q. Solve t*j - 6 = 2*j for j.
-3
Let x be (-7)/(-9) - (-12)/54. Let s(i) = -x - i + 3 + 0 + 1. Let d be s(3). Solve d = -3*k + 1 + 8 for k.
3
Let r = 29 + -26. Solve -o = r*o - 8 for o.
2
Let w(f) = -8*f**3 + 3*f**2 + f - 1. Let b be w(-1). Solve -4*r - 20 = -b*r for r.
4
Suppose 5*b + q - 14 = 0, 0*b - 16 = -4*b - 2*q. Let d(p) = p**3 + 2. Let f be d(0). Suppose -m + 7 = 3. Solve m = -f*s - b*s for s.
-1
Let v(s) = -s**2 + 9*s + 20. Let m be v(9). Solve 0 = -3*y - 2*y - m for y.
-4
Let c be (-15)/2*(-8)/(-6). Let g be 5/(-1)*(-8)/c. Let z be (g/(-6))/(8/60). Solve 6 + 9 = -z*v for v.
-3
Let q = -7 + 3. Let u be -2 - q - (-1 - 1). Let j be (2*4)/1 - 2. Solve -2 = -u*a - j for a.
-1
Let l(y) = -y**3 + y**2 + 1. Let d(p) = 2*p**3 + 2*p**2 + p - 10. Let u(m) = -d(m) - 3*l(m). Let f be u(5). Solve 0 = -2*h + f for h.
1
Let x = -16 - -18. Solve -2*q - 6 = -x for q.
-2
Let g(z) = z**2 - 2*z - 9. Let x be g(7). Suppose 6 = 2*s - 4*f - x, 4*s = -2*f + 64. Solve -y = 3*y - s for y.
4
Let y(v) = -3*v - 6. Suppose 2 = -4*j + 10, -r + 3 = 5*j. Let f be y(r). Let t = -11 + f. Solve -3*m = -t*m for m.
0
Let o(a) = a**2 + 4*a + 3. Let h be o(-4). Solve h = -f - 1 for f.
-4
Let r(y) = -y - 3. Let o be r(6). Let j(c) = c**2 + 10*c + 9. Let a be j(o). Solve a*b = 5*b for b.
0
Suppose 6*f = 8 + 4. Solve f*n = -n + 6 for n.
2
Suppose 0 = d - 1 - 1. Let s be (-8)/36 + 94/18. Solve d*o = o + s for o.
5
Suppose 44 = -y + 12*y. Solve -2*z = -4*z - y for z.
-2
Let b = 0 - 0. Let t be 2 + -2 - b - -5. Solve t + 4 = 3*h for h.
3
Suppose 178 = 5*y + 78. Solve 5*h = h + y for h.
5
Let f be 29/3 + (-2)/3. Let t be (-10)/(-3) - 6/(-9). Let y be 25 - ((-2 - -4) + -2). Solve t*k - y = -f for k.
4
Let t(g) = -g**2 - 4*g + 3. Let a be t(-6). Let x be ((-3)/a)/((-2)/(-18)). Solve -x + 0 = n for n.
-3
Let i = 96 + -92. Solve -i*m = -5*m for m.
0
Suppose 6*s = 3*s. Solve s = -3*t - 3 for t.
-1
Let c(n) = n + 11. Let v be c(-6). Suppose -30 = v*t + 5*r, 17 = 5*t - r + 47. Let p be (-2)/6 + (-62)/t. Solve p = 7*j - 2*j for j.
2
Let g(y) = 2*y**2 - 13*y + 8. Let n be g(6). Solve -q = n*q + 6 for q.
-2
Let r(d) = d**2 - 6*d - 7. Let n be r(7). Solve n = k - 1 - 2 for k.
3
Let w = -29 + 41. Suppose w = -j + 3*j. Suppose -5*p + 18 = -2, 5*i + p - 79 = 0. Solve a - i = j*a for a.
-3
Suppose -5*f + 2 = 3*g, 2*f = -3*g + 3*f + 14. Suppose 2*q = g*y, 4*y + y = -3*q + 22. Solve y*k = 1 + 9 for k.
5
Suppose 7*s = 5*s + 16. Suppose h - s = 3*h. Let j = h + 7. Solve 4*u - 3*u = -j for u.
-3
Suppose 0 = 5*v - 4*v + 5*o - 17, -4*v - 7 = -5*o. Let n(u) = -u**3 + 2*u**2 + 4*u - 1. Le