for z.
0
Suppose 14*b = 3*b + 6*b. Solve b = -4*s + 2*s + 2 for s.
1
Suppose -d + 3*d - 10 = 0. Let j = 101 + -86. Solve -j = -d*b - 0*b for b.
3
Let p be (-12)/(-7) - (-9)/((-126)/(-4)). Solve -p*b + 12 = 2*b for b.
3
Let c(g) = -g**2 - 7*g - 1. Let i = 14 + -20. Let z be c(i). Suppose o - z*h = 27, -2*o + 24 = -4*h - 0*h. Solve -o*s = -3 - 3 for s.
3
Let i(y) = y + 8. Let l be i(-8). Solve l = 6*b - 2*b - 12 for b.
3
Let l(j) = -j - 5. Let x be l(-8). Let g be (-1 + (-2)/(-1))*17. Suppose 4*s - 3*a + a = 42, -x*a + g = 2*s. Solve 0 = 3*y - y - s for y.
5
Let v = -27 + 32. Solve 7 = v*g - 18 for g.
5
Suppose -s + 3*m = -4 + 2, 5*s + m = 10. Suppose -7*b + s*b + 25 = 0. Suppose 0*k = 5*k - b. Solve -o = -4 + k for o.
3
Suppose -2*v + 22 = -w, -5*w - 42 = -2*v - 4. Solve 7*a - 4*a = -v for a.
-3
Let c be 0 + 3 + -3 + 1. Suppose 0 = 5*k - 10 - 0. Suppose k*h - h = c. Solve -13 = -3*p - h for p.
4
Let r = -5 + 7. Suppose -4 = -3*x - u, 0*u + 8 = 4*x + 2*u. Solve -q - r*q = x for q.
0
Suppose -6*q - 15 = -63. Solve 5*j - 2 = q for j.
2
Suppose -4*c - 10 = 5*b + c, 5*c + 25 = 0. Solve 2*k - b = k for k.
3
Let l(y) = y**2 - 12*y - 7. Let v(t) = t. Let m(b) = -l(b) - 6*v(b). Let w be m(7). Solve d + d = w for d.
0
Let w(p) = p**2 - 10*p - 11. Let h be w(12). Solve h - 1 = 3*d for d.
4
Let f(d) = d**3 - 3*d + 3. Let t be f(2). Let q be t/2 - (-4)/8. Solve -j + q*j = 2 for j.
1
Suppose -28*n + 30*n - 6 = 0. Solve -n*l - 25 = -8*l for l.
5
Let x be (2/3)/(2/12). Let r(c) = -2*c + 5*c + 1 + 3 - x*c. Let p be r(-6). Solve 4*u + 26 = p for u.
-4
Let f be 96/9*(-18)/(-12). Solve -f = 3*x - 4 for x.
-4
Suppose -4*q + 6 = -14. Solve 15 = -q*g - 5 for g.
-4
Let o = 39 - 27. Suppose o = -2*k + 4*d, 4*d + 9 = 21. Solve -2*x + 0*x - 4 = k for x.
-2
Suppose 0 = 5*d + 29 - 34. Solve d = o - 1 for o.
2
Suppose 1 = 3*k + 5*g, 3*g + 0*g - 5 = -4*k. Solve -k*f - 2 = -0 for f.
-1
Let b be (-2*3)/(-1 - 1). Let g = -10 - -15. Suppose h = g*a + 29, a + 32 = 3*h - b*a. Solve -5*y + 4*y = -h for y.
4
Suppose 3*r = v - 14, -2*v + 2*r + 16 = -0*r. Solve 0 = -j - v for j.
-5
Suppose 4*k = 5*h + 80, -2*k - 2*h = -3*h - 40. Let u be (k/2)/(2/4). Let a = -9 + 13. Solve -a*d + 0*d = u for d.
-5
Let g(q) = 8*q - 11. Let m be g(9). Let u = -36 + m. Solve -4*t - t = u for t.
-5
Suppose -11 - 7 = -2*b + 3*s, 3*s = 0. Solve 4*w = b*w for w.
0
Suppose -3*j = -5*p + 15, -3*j = p - 3*p + 15. Suppose -4*y - g - 6 = -22, -5*g = p. Solve 0 = -y*o - 6 - 6 for o.
-3
Suppose 3*q - 38 = 4*a, -2*a + 0*q - q - 14 = 0. Let f = 16 + a. Solve 3*v = v - f for v.
-4
Let k(g) = g**2 + 5*g - 2. Let f be k(-4). Let h be (-1)/(1*2/18). Let j = f - h. Solve -5*v + 4*v = -j for v.
3
Let j(y) = -3*y - 5. Let x be j(-4). Let d(h) = h**2 - 9*h + 2. Let m = 13 + -4. Let g be d(m). Solve g*l = x - 3 for l.
2
Let o be (6/(-5))/(20/(-50)). Solve 5*v - o*v = -10 for v.
-5
Suppose 5*n - 7 = 3. Let j be ((-20)/8)/(1/(-2)). Suppose -4*s - 1 = -5. Solve -n*u - s = -j for u.
2
Let b(s) = 3*s**2 - 1. Suppose 0*z = -5*z. Suppose 4*p + 3 + 1 = z. Let u be b(p). Solve u*d - 4*d = 2 for d.
-1
Suppose -2*y + 4*i + 19 = -9, 0 = 5*y + 4*i. Let q(h) = 2*h**2 + 9*h - 8. Let v be q(-7). Let o = -15 + v. Solve x = y*x - o for x.
4
Let q be (-8)/(-20)*5*2. Solve c + q = 1 for c.
-3
Let t(g) = g**2 + 2*g**2 + 4 - 5. Let y be t(2). Let o be 291/33 + 2/y. Solve -l - o = 2*l for l.
-3
Suppose -10 = -2*j, -3*j + 10 = -3*f - j. Solve f*w + 5*w = 10 for w.
2
Let y be (-5)/((-5)/2) + -7. Let z = 0 + y. Let g be (1 + 1)/((-2)/z). Solve -2*p + 5 = -g for p.
5
Suppose 11 - 3 = 8*v. Solve 0*r = r - v for r.
1
Let h(a) = a**3 + a**2 - 2*a. Let u(r) = r + 5. Let n be u(-7). Let s be h(n). Solve -k + 4*k = s for k.
0
Suppose -j - 10 = -h - 2*h, 5*h = 3*j + 14. Solve -4*t = -j*t + 8 for t.
-4
Suppose -2 = -r + 1. Suppose 0 = -s + 4*g + 3 - 8, -5*s = r*g - 21. Let p be (-1)/(-1 + 0) - 0. Solve c - s = p for c.
4
Let s(h) = h**2 - 3*h + 2. Let d be s(4). Let b = d - 4. Solve b*p = -0*p + 10 for p.
5
Let i(w) = -2*w**2 + 3*w**3 - 4*w**3 - w**2 + 3*w. Let u be i(-4). Suppose t + u*k = 1 + 1, -t = k - 2. Solve -y = t*y for y.
0
Let z(i) be the second derivative of -i**4/12 + i**3/3 + i**2/2 + 2*i. Let t be z(2). Suppose -t = h - 5. Solve -g - 10 = h*g for g.
-2
Let o = 6 + -2. Solve -3*g - g = o for g.
-1
Suppose -4*u + 5*d + 15 = 0, -2*u + u - 9 = 3*d. Solve -s + 3 + 1 = u for s.
4
Suppose -3*d + 0*d + 20 = 4*x, -2*x = -3*d + 8. Let w be 4/(-6) - (-32)/(-6). Let y(u) = u**2 + 6*u + 4. Let k be y(w). Solve 0 = 2*h - x - k for h.
3
Suppose 2*u + 2*u - 35 = 3*i, 3*i = -3*u. Suppose 12 = -u*j + 2. Let p = j - -5. Solve p*r = -2*r for r.
0
Suppose 5*n - 17 = 53. Suppose -n + 302 = 2*o. Let v be (-2)/7 - o/(-14). Solve 2*j + v = -0*j for j.
-5
Let p(c) = c**2 + 9*c + 6. Let h be p(-9). Solve 2*x = -0*x - h for x.
-3
Let l = -6 - -21. Let m(i) = -i**2 + i - 5. Let w be m(0). Let s be (-1)/3 - w/l. Solve p - 2*p = s for p.
0
Suppose -5*x + t = -5, 2*x - 5*t + 4*t = -1. Solve 0*i - x = 2*i for i.
-1
Suppose -3 = -g + 10. Suppose 4*i + 5*c = -0*c - g, c - 38 = 5*i. Let t = -4 - i. Solve -7 = 2*l + t for l.
-5
Let v be (2*-1 + 3)/((-3)/(-9)). Solve v*o + 9 = -6 for o.
-5
Let v be (12/10)/(2/10). Let g be 4 + 14/2 + -6. Solve g*w - v = 2*w for w.
2
Suppose -7 = 5*f - 52. Suppose f = v + 2*v. Suppose m - 2*m = -2*y - v, 3*y - m + 3 = 0. Solve y*d = 3*d + 9 for d.
-3
Let o be ((-10)/(-4))/(5/10). Solve 2*t + o = 3 for t.
-1
Let t = 25 - 22. Solve -10 = t*w + 2 for w.
-4
Let x = 18 + -18. Solve -5*h + 10 - 25 = x for h.
-3
Suppose 3*t - 5*q - 4 = 0, 0 = -5*t - 5*q - 5 + 25. Suppose 7*b + 8 = -t*y + 2*b, 4*b = 2*y - 24. Solve -y*w + 2*w + 6 = 0 for w.
3
Suppose -3*b - 14 + 5 = 0. Let d be 16/3 + b/9. Suppose -3*p - 5 = 4*s - 24, -d*s + 24 = 4*p. Solve 0*k + s*k = 0 for k.
0
Let x(g) = g - 1. Let r be x(9). Solve r = -5*w + w for w.
-2
Let l be 2 + (2 - -2)/4. Solve -3 = l*n - 6 for n.
1
Let p be (-1503)/(-117) + (-4)/(-26). Let n = 18 - p. Solve -o = -n*o - 8 for o.
-2
Suppose -5*t + 5*b + 5 = 0, 0 = 2*t - 0*t + b - 11. Suppose 0 = t*k + 11 - 59. Solve 0 = 6*h - 2*h - k for h.
3
Let l(v) = v - 11. Let b be ((-8)/16)/((-1)/22). Let z be l(b). Solve z*k - k = 0 for k.
0
Suppose 4*w + 11 - 39 = 0. Let m(j) = j**2 - 9*j + 7. Let t be m(w). Let p = -3 - t. Solve -10 + p = -2*c for c.
3
Let d = -12 - -12. Solve d = -3*l + 8*l for l.
0
Suppose -3*k = -4*a - 14 - 2, -5*k - 12 = 3*a. Solve k + 12 = 4*q for q.
3
Let j(l) = l**3 + 2*l**2 - 2*l - 2. Let i be j(-2). Solve 3*h - i = 4*h for h.
-2
Let f(c) = -c**3 - 8*c**2 - 9*c - 9. Let t be f(-7). Suppose -t = -3*k + 1. Solve -3 = i - k for i.
-1
Suppose 12 = -5*p + p - 3*c, 2*c = -4*p - 8. Solve 2*u + 6 - 2 = p for u.
-2
Let b(y) = -y**3 + 15*y**2 + 16*y + 11. Let z be b(16). Solve -3 + z = -2*a for a.
-4
Let b = -4 - -2. Let h(v) = -v**2 - 2*v + 1. Let u(a) = -5*a**2 - 11*a + 6. Let r(y) = -11*h(y) + 2*u(y). Let k be r(b). Solve -2*z + k*z + 6 = 0 for z.
-2
Let q(m) = -m**3 + 7*m**2 + 9*m - 8. Let t be q(8). Solve 2*c = -t*c for c.
0
Let f = -16 - -11. Let i = -3 - f. Suppose -y = -5, 10 = -0*u - i*u + 2*y. Solve 2*o + 0 + 4 = u for o.
-2
Suppose -3*k = -4*k + 1. Let x be (-6)/(-2 - 0) - k. Solve -x*p + 7 - 1 = 0 for p.
3
Suppose 2*n = -0*n + 4. Suppose -n*k = 4*b - 6, -5*b = 6*k - k. Solve b*f = 2 + 7 for f.
3
Let v = -3 - -5. Suppose 0 = -x + 1 + 5. Let s = x + -2. Solve s*u + 6 = v for u.
-1
Suppose 4*w - 21 = -3*m, -10 = -5*w + 5. Suppose 0 = -4*k + m*a + 10, 2*a = -3*k - a - 3. Solve 2*h = -7 - k for h.
-4
Let r = 6 + -5. Solve 0 = 2*c + 1 + r for c.
-1
Let q(t) = 3*t**2 - t - 2. Let o be q(-2). Let a = o + -12. Solve 1 = c - a for c.
1
Let c be (-10)/(2*(-2)/10). Let t = 2 - 2. Suppose t*l - 18 = -3*l. Solve h = l*h + c for h.
-5
Suppose 2*q + 2*g = -3*g + 5, -3*q - 1 = -g. Solve -3*y + 6*y - 6 = q for y.
2
Let u(b) = b**2 + 3*b - 2. Let s be u(-4). Suppose 2 = 4*f - s. Solve -f + 6 = 5*z for z.
1
Let l = 8 + 6. Let z be 60/l - (-12)/(-42). Solve 5*f + z = -1 for f.
-1
Let m be 120/21 + 4/14. Suppose 0*x - 5*v = -2*x - 19, 7 = 4*x - v. Suppose -2*l = -0*l. Solve l*n + m = -x*n for n.
-2
Suppose -3*z + 6 = -7*z - 2*y, 9 = z - 3*y. Suppose z = -4*v - 4*o + 1 - 5, 0 = -5*v - o + 7. Solve -l - 1 = -v for l.
1
Let h(o) = -7*