e 0 = 3*u - i*u - 4 for u.
4
Let i(v) = -v. Let q be i(-2). Suppose 0 = j - 1 + 9. Let x be 13/3 + j/(-12). Solve 3 = -q*z - x for z.
-4
Suppose -3*u = 4*t - 16, 0*u = 2*u - t - 7. Solve 0 = -u*f - 25 + 9 for f.
-4
Suppose o + 18 = 4*o. Let i be (-5)/((-15)/(-9)) + o. Suppose 2*m - 26 = -0*m. Solve m = 4*w - i for w.
4
Suppose -p = h, -2*p - 1 = 3*p + 4*h. Let w be ((-1)/4)/(p/4). Solve -b + 3 = -w for b.
4
Suppose 3*s = -3*m + 30, -m + 2*s = -s + 10. Let c(v) = v**2 + 4*v + 17. Let b(j) = j - 1. Let w(q) = m*b(q) + c(q). Let n be w(-8). Solve -k = n*k + 10 for k.
-2
Let f = 42 + -21. Let m be 4/(-10) - f/(-15). Let l = -1 + m. Solve l*a + a = 0 for a.
0
Suppose -3*h - 4*s = -91, h + h = -2*s + 58. Let g(b) = -b + 1. Let q be g(-5). Solve -q*o = -o + h for o.
-5
Suppose 0*b + 4 = 2*b. Suppose -b*c = -0*c - 32. Suppose 2*v - c = -2*v. Solve v + 12 = -4*f for f.
-4
Let y be (3 + 5/(-2))*14. Let o = y - 2. Solve o*j - 12 = 8 for j.
4
Let g = -5 - 5. Let i = g + 15. Let c = 8 - i. Solve c*h - 2 = h for h.
1
Let n(l) = -l - 2. Let h be n(-5). Suppose 0 = -h*r - s - 2*s + 48, 73 = 5*r - 2*s. Let f be 2/5 - 28/(-5). Solve -f*k + k = r for k.
-3
Let h = 4 + -2. Let j be (5/(-2))/(10/(-24)). Solve h*i = j*i + 8 for i.
-2
Let v(w) = 3*w + 33. Let c be v(-11). Solve c*b + b - 4 = 0 for b.
4
Let l(h) = -4*h**2 - 5*h + 4. Let b(k) = -4*k**2 - 6*k + 5. Let z(i) = 5*b(i) - 6*l(i). Let f be z(-1). Solve -17 = -f*w + 8 for w.
5
Let c(d) = 5*d - 7*d - 4 + 0. Let u be c(-3). Solve -u*a - 2*a = 0 for a.
0
Let s = 4 - 2. Let n(v) be the second derivative of v**4/12 - v**3/6 + 3*v. Let r be n(s). Solve o = -r*o + 6 for o.
2
Let n(z) = -z**2 + 6*z - 6. Let q be n(4). Solve -o + q*o = 0 for o.
0
Let d(h) = h**2 - 4*h + 3. Let x be d(5). Solve 3*j - x*j = -15 for j.
3
Suppose -8*i + 5 + 27 = 0. Solve p = -p + i for p.
2
Let a(g) = -g + 25. Let t be a(21). Solve 0*z = 4*z + t for z.
-1
Suppose 57 = -2*t + 21. Let y = -13 - t. Let i = -2 - -5. Solve i*g - 8*g = -y for g.
1
Suppose -2*f = 2*d, -d - 4*d = -4*f + 9. Solve -2 = -l - f for l.
1
Let z(f) = 3*f - 26. Let b be z(11). Solve 3*d = b*d for d.
0
Let x(n) = -n - 4. Suppose -4*z + 0*z - 24 = 0. Let t be x(z). Solve -2*v - t*v = 0 for v.
0
Let o(f) = -2*f + 2. Let r be o(3). Let b = 0 - r. Suppose 0 = z - b + 2. Solve -z*y - 3*y = -15 for y.
3
Suppose -4*n - 6 = -14. Solve n*z = -0*z for z.
0
Suppose 4*u - 27 = -n, -5*u + 35 = 2*n - n. Solve 5 = -u*l + 3*l for l.
-1
Let g be 64/24 - (-2)/(-3). Solve 0 = g*c + 4 for c.
-2
Let d(j) = 2*j + 6. Let c be d(-3). Solve -3*p - 16 + 1 = c for p.
-5
Let d(n) = n**2 - 8*n + 14. Let x be d(6). Suppose 4*r - 5*b - 85 = 0, 5*r - b - x*b - 90 = 0. Solve 3*q = -0 - r for q.
-5
Suppose -2*u = 3*u. Solve 8 = -4*p - u*p for p.
-2
Let r be (-3 - (2 - 6))/1. Solve 3*o + 2 = -r for o.
-1
Let i = -20 - -22. Solve i*o + 0 = -8 for o.
-4
Let w = 67 - 51. Solve -2*c - 2*c = -w for c.
4
Let n be -21*-1*(-3)/(-9). Suppose x = -n + 1. Let m(f) = -f**2 - 8*f - 3. Let b be m(x). Solve -3*k - b = -0*k for k.
-3
Let g(l) be the second derivative of l**4/12 + 5*l**3/3 - 3*l**2 + 3*l. Let t be g(-10). Let s be 3*(-2 + (-62)/t). Solve -z - 4*z = s for z.
-5
Suppose 0 = -s - 2*f, -5*s - f + 6*f + 60 = 0. Let q(l) = -l**2 + 8*l. Let k be q(s). Solve k = -0*w - w for w.
0
Let b(i) = i**3 + 4*i**2 - 4*i - 4. Let w be b(-4). Suppose -g - g = -w. Solve -3*m + g*m = -12 for m.
-4
Let c(i) = i**3 - 8*i**2 + i - 1. Let k be c(8). Suppose f + k = -0. Let t(p) = p + 12. Let j be t(f). Solve -j = -3*h + 10 for h.
5
Suppose -b = -u, b - 12 = u - 4*u. Solve -u*s + 4*s + 4 = 0 for s.
-4
Let i(a) = -a**2 - 5*a + 3. Let m be i(0). Solve 0 = -b + m + 2 for b.
5
Let d = -3 - -15. Solve 0 = -j - 2*j - d for j.
-4
Let v = 31 + -29. Solve -4 = v*s - s for s.
-4
Suppose 0*v = 4*v - 16. Solve 5*b + v = -6 for b.
-2
Let q(w) = w + 8. Let c be (2 + 0 - 3) + 9. Let p be q(c). Let r be p - (0 - 0)/1. Solve 0*j - 4*j = r for j.
-4
Let w(x) = -x**2 - 9*x - 4. Let l be w(-9). Let p(k) = k - 4. Let r be p(7). Let i be 2 + l + r*2. Solve -5*g = i - 14 for g.
2
Let c = -1 + 6. Suppose -4*a = -3*a + g - 4, 0 = -c*a + 4*g + 2. Suppose 2*r = -2*r. Solve r*f + a*f = 8 for f.
4
Suppose 2*q - a = 9 + 1, 5*a + 30 = 5*q. Suppose 0 = -q*m - m + 25. Let n = m - -1. Solve n*y = y + 20 for y.
4
Let x(c) = -c**3 + 8*c**2 + c - 7. Suppose -21 - 35 = -4*q. Let p be 7/q*(-32)/(-2). Let t be x(p). Solve -3*g - t - 2 = 0 for g.
-1
Suppose 3*o = 2*o + 1. Let j(q) be the third derivative of -q**6/120 + q**5/60 + q**4/24 - q**3/6 + 6*q**2. Let v be j(o). Solve v = -3*w - 3 for w.
-1
Let i(t) = -t**3 + 10*t**2 - 10*t + 10. Let z be i(9). Let u = z - -2. Let y be (-84)/(-15) + u/(-5). Solve y*l - 8 = 3*l for l.
4
Let b(n) = n**2 - 10*n + 10. Suppose -2*q = -4*k - 14, k - 5*k = q + 23. Let i be ((-27)/(-3))/((-3)/q). Let o be b(i). Solve 0 + o = -s for s.
-1
Let g be (-60)/(-2)*6/9. Solve -2*b - g = -7*b for b.
4
Suppose -5*d = o - 128, -o = -3*d + 4*o + 60. Solve -6*a - d = -a for a.
-5
Let s be 5/3*(10 + -1). Let o = -10 + s. Solve -2*t = 3 + o for t.
-4
Let a(d) = d**3 + 4*d**2 - 6*d - 2. Let u be a(-5). Solve 6 = -6*h + u*h for h.
-2
Let f = 11 - 11. Let j be f/1*2/(-4). Solve j*v - 4*v + 4 = 0 for v.
1
Let y(x) = 2*x + 1. Let g be y(-6). Let j = g + 13. Solve -j*r = 1 + 1 for r.
-1
Suppose 11 + 4 = 3*v. Suppose 0 = -v*n + n + 8. Suppose 0*o = 2*o. Solve n*s + o*s = 2 for s.
1
Suppose -3*b - 4*i + 31 = 0, -i - i = -3*b + 7. Let g(h) = h. Let p be g(b). Solve -p*z = -0*z for z.
0
Let r(v) = 5 - v + 6 - 4. Let w be r(5). Solve 0 = -0*d + d - w for d.
2
Let k(a) = -a**2 - 4*a - 2. Let h be k(-3). Let n be 0/((-2)/(h - 0)). Let w be -1 + (n - -1) + 2. Solve -q - w - 1 = 0 for q.
-3
Let s = -32 + 45. Solve -2*q - 3 = -s for q.
5
Let p = 15 - 4. Solve -4*n + p + 5 = 0 for n.
4
Suppose 2*f - 5 = 1. Solve x = -f*x - 8 for x.
-2
Suppose -5*t + 20 = 5*a, -3*a = -2*t - 7*a + 12. Solve p = -t*p for p.
0
Let l = -4 - 2. Let m be 6*((-14)/l - 1). Solve n = -3*n + m for n.
2
Suppose -5*l = -0*l - 5*r + 25, 5*l - 3*r = -15. Suppose -g + 0*g = l. Suppose g*f + 8 = f - 3*x, -4*f + 3*x + 23 = 0. Solve -2*w - 12 = -f*w for w.
4
Let f = -14 + 14. Suppose 4*j + 25 = 3*z, 2*z + 3*z - 4*j = 31. Solve f = 5*a - z*a - 6 for a.
3
Suppose -m - 2 = -2*y, y + 3*m = 2*y + 4. Let t be (30/(-8))/((-39)/104). Solve y*w = 7*w - t for w.
2
Suppose -15 = -2*r - r. Let w = r + -3. Let a be w + 1 + -2 + -1. Solve 3*f - f + 8 = a for f.
-4
Suppose -5*r - 8 = 4*k, 3*k = 3*r + 14 + 7. Suppose -4*y + 28 = -52. Solve k*i = -i - y for i.
-5
Let d be -15*(1 - (-1 - -3)). Suppose s - 5*s = 0. Solve d = 3*r - s*r for r.
5
Let y = 8 - 6. Let a = -4 - -9. Suppose a*m + 2*x - 3 = 6*x, -5*x = y*m - 21. Solve 0 = -i - m*i + 12 for i.
3
Suppose 0 = 3*i + 9, -4*w - 4 = 3*i + i. Suppose -4*l + 4 = p, 3*p = l - 0 - 1. Let k(m) = 20*m**2 - m + 1. Let c be k(l). Solve -w*y = -6*y - c for y.
-5
Suppose 2*c + 8 = -4*k, 4*c + k + 4 = -4*k. Solve 4*u - 5*u = c for u.
-4
Suppose 0 = -6*u + 12. Solve 1 = -o - u for o.
-3
Let b be 6/(-10) + 68/5. Let f = b - 7. Suppose -6 = -2*i - a - 0*a, 4*a = -2*i - f. Solve -5*g + i + 0 = 0 for g.
1
Suppose -8*b = -6*b - 20. Solve 3*l = -2*l + b for l.
2
Suppose 47 = 4*r + 5*y, -1 + 35 = 3*r + 4*y. Suppose h - 22 + 7 = -4*k, 4*h - r = -2*k. Solve 0 = -o - 2*o - k for o.
-1
Suppose 5*h - 28 = 22. Let i = h + -7. Suppose -2*r - 12 = -4*z, -i + 1 = -5*z - 4*r. Solve -t + z*t = 1 for t.
1
Suppose m + 18 = 2*m. Let i be -3 + -3 + m/3. Solve -4*k + 3 - 23 = i for k.
-5
Let u(d) = d**2 + 1. Let k be u(0). Suppose 7 = 4*b - k. Suppose 3*j - 3 = -3*p, -p - 4*j = -3*p + 14. Solve -p*y = -11 + b for y.
3
Let r be 332/6 + 1/(-3). Let l = -30 + r. Let s be (-1)/(-3) - 56/(-12). Solve 0*n + l = s*n for n.
5
Suppose -17*b + 170 = -0*b. Solve 5*v + 0*v + b = 0 for v.
-2
Let b(r) = -2*r - 10. Let c be b(-7). Let i be (c/6)/((-6)/(-45)). Solve -i*l - 2 = -22 for l.
4
Let u = -37 + 41. Solve 0*y = u*y - 20 for y.
5
Let c(b) = b - 8. Let x be 1*-2*(-39)/(-6). Let s = x - -21. Let p be c(s). Solve -f = -p*f for f.
0
Suppose -p - 5 = -3*i + 4, 2*i + 10 = -2*p. Let h = -2 - p. Suppose 4*d - h*r + 2*r - 4 = 0, -d + 10 = -5*r. Solve 3*x - 6*x = d for x.
0
Suppose -k = r - 15, 2*k = -5*r - 0*k + 63. Supp