z - 2 for z.
2
Let h = -351 - -354. Solve 0 = h*l + 3*l + 12 for l.
-2
Suppose 0 = -i + 12 - 11, 5*a + 4*i = 19. Solve a = t + 2*t for t.
1
Let t(v) = -2*v - 17. Let u be (-2 + 4)*-7 + 1. Let s be t(u). Solve -4*b = -s - 3 for b.
3
Let b be (-57)/133 - (-152)/28. Solve 4*q - 9*q - b = 0 for q.
-1
Let l be 11 + (4/22 - (-20)/(-110)). Solve -4*f = -l*f + 21 for f.
3
Let h(i) = -289*i + 0*i**2 - i**2 + 266*i - 38. Let l be h(-21). Solve 10 = l*q + q for q.
2
Let r be (11 - 6) + (3 - 0)*-1. Let m be 8/12*-3 + r. Solve f + f = m for f.
0
Suppose 0 = -5*b - 3 + 13. Let z be b/(1*(-1)/9). Let y = -16 - z. Solve 8 + y = -5*u for u.
-2
Suppose 16*l = 19*l - 6. Solve 20 = l*t + 2*t for t.
5
Suppose 3*p - 5 = 25. Let u be 2/3 - (50/(-6) - 1). Let x = u - p. Solve 0*m + 5*m - 15 = x for m.
3
Let s be 10*((-42)/(-12))/7. Let b = 17 + -17. Solve -s*c = -b*c - 15 for c.
3
Let p(f) = -38*f - 1. Let h be p(-1). Suppose h = 3*u - 2*r, 4*u = 3*r + 11 + 37. Let b be (-5)/u + 10/3. Solve -1 = -2*l + b*l for l.
-1
Let k(g) = g**3 - 9*g**2 + g - 3. Let o(r) = r**2. Let m(s) = k(s) + 2*o(s). Let i be m(7). Let w = 15 - 14. Solve -i*f + w = -3 for f.
1
Let j(l) = -8*l + 455. Let v be j(53). Solve -29*b = 2 - v for b.
1
Let w(l) be the first derivative of -l**4/4 + l**3 + 2*l**2 + 5. Let s be w(4). Solve 0 = -s*i - i - 4 for i.
-4
Suppose 0 = 7*k + 14 - 56. Suppose 2*t = -4, 4*c - 26 = 5*t - k*t. Solve 6*v = c*v + 3 for v.
-3
Let w be 17 - -27*(-10)/30. Solve -w*t - 29 = -21 for t.
-1
Let p be (-54)/(-90)*(1 + -3 + 17). Let a be (13 - 2) + (-12 - -7). Solve a*k - 3*k + p = 0 for k.
-3
Suppose 4*v + 57 = 13. Let d(t) be the third derivative of -t**4/24 - 11*t**3/6 - 3*t**2. Let m be d(v). Solve m = l - 2*l for l.
0
Suppose -2*k + k - 75 = -4*l, -3*l - 5*k = -62. Suppose 0 = -5*u - 21 - l. Let r be (u/6)/(2/(-3)). Solve -r*z = -7*z for z.
0
Let q be 6/5*20/8. Solve -q*b = -5*b for b.
0
Let o = 761 - 746. Let w = -4 - -3. Let j = 1 + w. Solve -v + 4*v - o = j for v.
5
Suppose -31*u - 33 + 312 = 0. Solve 8*s - 17*s - u = 0 for s.
-1
Let j(q) = 3*q**3 + 7*q**2 - 1. Let i(f) = -5*f**3 - 13*f**2 + 1. Let p(u) = -4*i(u) - 7*j(u). Let v be p(3). Let t = 1 - 1. Solve -12 = -v*l - t*l for l.
4
Let w(t) = -t**3 + 23*t**2 - 43*t + 24. Let d be w(21). Solve -3 = d*z + 6 for z.
-3
Let p(k) = -4*k + 7. Let s be p(-1). Solve n - 10 + s = 0 for n.
-1
Suppose -b + 4*b = 12. Suppose -3*f - f = r - 46, 3*f - 31 = r. Solve -f = -b*w - 27 for w.
-4
Let v be (-4)/3*(10 - -3 - 16). Solve 6 - v = q for q.
2
Suppose 0 = 13*r - 10*r - 156. Suppose r = 5*p - 178. Suppose 3*t - 63 = -2*m, 3*t - m - 17 = p. Solve 5*c + t = 1 for c.
-4
Suppose -4*u + 4 = -12, -2*u + 28 = 5*n. Solve -1 = -t + n for t.
5
Let q = 2 - -7. Suppose -15 = 9*u - 12*u. Suppose -b - 1 = -u*h - 2*b, -3*b + 3 = 5*h. Solve h = -5*w - 16 - q for w.
-5
Let l(j) be the first derivative of 3*j**2 - 21*j - 39. Let v be l(4). Solve -b - 8 = v*b for b.
-2
Let w(o) = -o**3 - o**2 + 3*o + 3. Let v be w(-2). Suppose -5 - v = -2*f. Solve 0 = -3*p + 4*p - f for p.
3
Let r(s) = 7*s + 1. Let c be r(1). Let f(k) = k**2 - 8*k + 2. Let v be f(c). Solve 0 = v*q + 10 - 2 for q.
-4
Let t(s) = -s**3 - 6*s**2 - 2*s - 7. Suppose -2*v = 3*v. Suppose -6 + v = b. Let j be t(b). Solve -j*d - 4 = -29 for d.
5
Suppose -510 = -27*u - 24*u. Solve -2 = 3*w + u for w.
-4
Let b = 825 + -779. Solve -9*g - 10 = -b for g.
4
Let r(m) = -5*m**2 - 8*m - 3. Let u(l) = 11*l**2 + 17*l + 6. Let h(d) = -13*r(d) - 6*u(d). Let c = -1 - -1. Let b be h(c). Solve -4*p - 1 = b for p.
-1
Suppose 3*d - z - 18 = -4*z, -42 = -4*d + 2*z. Let p = 15 - d. Suppose 4*h = p + 10. Solve 18 = -h*t - 2 for t.
-5
Let f = -76 - -109. Let a = 28 + -20. Suppose 0 = d + 5*o + a - f, -5*o = 4*d - 25. Solve -b - 2 = -d for b.
-2
Let x(l) = 2*l + 8. Let g be x(-4). Suppose 5*m + o + 4 = g, 3*m - o + 2 - 6 = 0. Solve m = -3*r - r - 20 for r.
-5
Suppose 0*h = 4*h - 64. Suppose 0 = 3*z + 6*y - y - 13, z = -4*y + h. Let t be (-2)/(z/8*1). Solve -t - 1 = -5*j for j.
1
Suppose 2*g - 4 = 3*l, 3*l + 4*g = -l + 8. Suppose 3*m + 2*m + 40 = l. Let n = m + 17. Solve -r - n = 2*r for r.
-3
Let g = 46 + -47. Let t = -1 - g. Solve n = 1 - t for n.
1
Suppose 87*s + 11 = 88*s. Let w(x) = x**2 - 9*x - 18. Let r be w(s). Solve 2*v - r = -2 for v.
1
Suppose 0 = 2*y - 3 - 7. Suppose 9 + 1 = y*x. Solve 2*u = -0 - x for u.
-1
Let o(l) = 4*l - 4. Let y be o(-7). Let z = -30 - y. Let w = z + 1. Solve 0 = -g + w*g for g.
0
Let z be 1*8/(-10) + (-13398)/(-435). Solve -6*p + 12*p = -z for p.
-5
Let q(g) = -g**3 + 6*g**2 + 6*g + 9. Suppose 8*p = 10*p - 6. Suppose -5*n - 5*d = -10, -p*n + 2*n + 5*d = -32. Let z be q(n). Solve 2 = -z*a + 6 for a.
2
Suppose b - 16 = 2*c, -c - 5 = -5*b + 30. Let x(g) = g**2 - 8*g + 17. Let s be x(b). Solve -3*j - 20 + s = 0 for j.
-5
Let n = 28 - 22. Let w(a) = -a**3 + 5*a**2 + 5*a + 8. Let d be w(6). Solve d*g = n*g + 16 for g.
-4
Let g(q) = -q + 6. Let m be g(3). Suppose 4*c - 5*d = 61, 0 = -2*c - m*c + 2*d + 55. Solve c + 11 = -5*f for f.
-4
Suppose 6*m = -3*h + m, -3*h - 4*m = 0. Solve h = -18*p + 13*p for p.
0
Let v(b) = -b**2 - 5*b + 1. Let n be v(-4). Suppose 3*i - 8*i - 25 = -n*l, -55 = -5*l - 5*i. Solve -l + 0 = -4*t for t.
2
Suppose -7*v + 2*v = -5*n + 10, 4*n + 5*v - 44 = 0. Let g be 13/6 + n/(-36). Solve -g*d = -2 - 8 for d.
5
Suppose -4*m + 415 - 174 = -5*a, 5*a - 29 = -m. Solve 0 = m*g - 56*g - 10 for g.
-5
Let j(g) = -g**3 - g**2 + 8*g - 4. Let y be j(2). Solve 6*p - 13*p + 21 = y for p.
3
Suppose 0 = 2*u - 3*u - 21. Let b = -17 - u. Solve -3*y + 1 = -b*y for y.
-1
Let k be 0 + 6 + 4 + -8. Suppose 0 = 30*o - 29*o - k. Let g be (1 - -5)*1/3. Solve 12 = g*d + o*d for d.
3
Let b be (2/(-6))/(1/(-3)). Let t be 3 + b/((-1)/(-2)). Solve 12 = -t*d + 2*d for d.
-4
Let m = 0 - 0. Let i = -2191 + 2195. Solve m = -i*w + 13 - 33 for w.
-5
Suppose -4*i - 2*x - 10 = -7*x, 3*x - 6 = -5*i. Solve i = d - 16 + 14 for d.
2
Let t(y) = -3*y - 29. Let w be t(-11). Suppose -5*g + 3 = 3*z, -5*g + 2*z = -3*z + 5. Solve g = -n + w for n.
4
Let q be (-4)/(-3)*432/32. Let t be 27/q*((-8)/6)/(-2). Solve -p = -t + 3 for p.
-2
Let u(b) = b + 11. Let t be u(-6). Suppose t*n - 6 = 84. Suppose 3*p - 32 = i, -p + 4*i + n = p. Solve -p = -5*k - 1 for k.
2
Suppose -11*o + 3*s = -9*o - 20, 25 = 5*o + 5*s. Solve 5 - o = u for u.
-2
Suppose 12*o - 14*o = 94. Let g = o - -50. Solve 2*n = 5 - g for n.
1
Let z(f) = 0*f**2 + 108*f - f**2 - 108*f + 25. Let r be z(0). Solve -2*p - 3*p = r for p.
-5
Let x(q) = 3*q**3 + q - 1. Let s be x(1). Suppose -s = -5*i - 3*o, 0 - 3 = -3*o. Solve i = -m - 2*m - 12 for m.
-4
Let t(p) = -p - 8. Let a be t(-7). Let y(l) = -10*l - 1. Let c be y(a). Let g = 8 + -4. Solve -g*b - c = 3 for b.
-3
Let m(o) = o**3 - 6*o**2 + 1. Let f be m(6). Let l be (3 - 0 - 1) + f. Suppose 92 = 9*a - 43. Solve -a = -l*z - 2*z for z.
3
Suppose 11*j - 233 = -57. Solve j*w - 20*w = 0 for w.
0
Let k = 16 + -16. Let v = 786 - 784. Solve k = 3*o + v*o + 15 for o.
-3
Let h = -103 - -53. Let p = -50 - h. Let a be 2 + 5/((-10)/4). Solve a = g - p*g - 5 for g.
5
Let d(m) = 5*m - 3. Suppose -w = -k + 1, -5*w + 0*k - 4*k = 50. Let a be (-10)/(-3) + 2/w. Let f be d(a). Solve -3*o = o - f for o.
3
Let o(i) = i + 19. Let g be o(-5). Suppose 0 = -4*k + 3*k + 3*w - 6, -4*w + 12 = 0. Suppose 0 = -2*n + 5 + 1, d + k*n - g = 0. Solve 0 = v + d for v.
-5
Suppose -4*f - 3*m = -159, -2*m = -4*m + 10. Let d = f + -16. Solve 5*w = -0*w + d for w.
4
Let d = -6 - -24. Let x be d/12 + (-3)/(-2). Solve -x*f - 25 = 2*f for f.
-5
Let q be 7 - (1 - -1) - 1. Suppose -r + 3 = 2. Let z be r/(-4)*(-5 + -7). Solve -z*b - q = 2 for b.
-2
Let b(k) = k**2 - 2*k - 2. Let a be b(-4). Let m be 2/11 + 62/a. Let l be 1 - 0/(-1 + m). Solve r = -l - 0 for r.
-1
Let j(g) = 6*g**2 - 8*g - 4. Let i be j(-2). Solve 41*h = i*h - 25 for h.
-5
Let x = 1940 + -1939. Let i = 7 + -4. Suppose -t + 5 = 2*w, i*w = 3*t - t - 10. Solve -z + x - 4 = w for z.
-3
Suppose -3*p - 5*b = p - 47, -4*p - 2*b = -38. Suppose 4*q = f - 4, -11*f = -14*f - 2*q - 2. Suppose f = -2*a + p*a - 12. Solve a*m = 3 + 5 for m.
4
Let d = -876 - -911. Solve -7*a - d = -14*a for a.
5
Suppose 5*a - 415 = 5*p, -18*a + 13*a - 3*p = -447. Solve 0 = -f + 85 - a for f.
-2
Suppose 3*r - 5*r + 52 = 0. Sup