 t(i) = 3*i - 24. Let z be t(10). Suppose -5*h + 20 = v, -4*v - 20 = -z*h + h. Solve 0*j - h = -2*j for j.
2
Suppose 6*p - 3*p - 15 = 0. Suppose 5*t - 28 + 8 = 5*y, 4*t + p*y - 25 = 0. Solve u = t*u - 20 for u.
5
Let z(l) = 18*l - 4. Let h be z(1). Solve 2 = 4*r + h for r.
-3
Let d be (520/(-18))/(-4) + 4/(-18). Solve d*a = 3*a + 8 for a.
2
Let v = -157 + 166. Solve 3*z = 3 + v for z.
4
Let r = -524 + 527. Let c(y) = -17*y. Let t be c(-1). Solve -t = -r*k - 5 for k.
4
Suppose -5*l + 0*p + 75 = -4*p, 0 = -2*l - p + 17. Let n = -7 + l. Solve 0 = -n*h + 9 + 11 for h.
5
Suppose -5*c = -4*c. Suppose c = 4*a + 4*u - 4, -5*a - 3*u + 1 = -2. Suppose k + 3*k - 20 = 0. Solve -2*y + 7*y - k = a for y.
1
Let m(a) = a**3 + 5*a**2 - 5*a + 8. Let w be m(-6). Solve w*r = -r - 6 for r.
-2
Let m(n) = -n**2 + 6*n + 16. Let p be m(8). Solve p = -2*c - 0*c for c.
0
Let t(m) be the second derivative of -m**3/6 + 4*m**2 - 2*m. Let h = 9 + -3. Let b be t(h). Solve -c - b*c - 12 = 0 for c.
-4
Let k be 30/18*6/5. Solve k*z + 8 + 0 = 0 for z.
-4
Let y be (20/24)/(6/36). Solve 25 = -0*s + y*s for s.
5
Let g be 5/2 - 1/2. Let a(s) = s**2 + 4*s + 1. Let r be a(-4). Let k be (9 - 10) + (r - 0). Solve k*n + g*n = -8 for n.
-4
Let z(u) = u**3 - 6*u**2 - 6*u - 2. Let w be z(7). Let o(r) = -r + 3. Let d be o(w). Let h be (-142)/(-12) + d/(-12). Solve -2*l = -5*l + h for l.
4
Let l = 2 - 3. Let i be ((-3)/(-2))/(l/2). Let t be (0/i - 1)*0. Solve t = -b + 1 for b.
1
Let d = 10 + -4. Suppose 2*g = d*g - 16. Solve g*a - a = -3 for a.
-1
Let p(j) = 11*j**2 + 2*j + 1. Let h be p(-1). Let m(d) = d**3 + 10*d**2 - d - 7. Let x be m(-10). Solve -8*o + x*o = h for o.
-2
Suppose 7*c + 3*p = 2*c + 76, -2*p + 46 = 3*c. Let t = c + -12. Solve 0 = t*v + 3*v for v.
0
Suppose -4*y - 13 = 3*q, y + 1 = 3*q + 9. Let h = -1 - 0. Let o = h - y. Solve 4*a + o*a = -16 for a.
-4
Let i be (6/4)/(3/20). Suppose 0 = -3*k + 2 + i. Suppose k*o + w = -4*w - 7, 3*o = 4*w + 18. Solve 4*h - 10 = o*h for h.
5
Let z = 24 + -20. Solve x + z = -1 for x.
-5
Let a(q) = q**2 - 7*q + 2. Let f be a(7). Suppose -u - f = -2*u. Solve 0*b + 6 = -u*b for b.
-3
Suppose 0*t = -2*n + 2*t, -t = 4*n. Suppose -5*a + 72 - 22 = n. Suppose -3*p + a = 2*p. Solve p + 3 = 5*r for r.
1
Suppose 5*w = 3*j - 40, -j - 5*w + 4 = -2*w. Let f be (-110)/25 + 3/(-5). Let a = f + j. Solve a*x + 2 = 12 for x.
2
Let a(y) = 9*y**3 + 7*y - 9. Let r(p) = -5*p**3 - 4*p + 5. Let d(m) = 4*a(m) + 7*r(m). Let u be d(1). Solve u = 3*h - 0*h + 12 for h.
-4
Let m(s) = s**2 - 2*s - 5. Let t be m(5). Suppose 0 = w + 3*j - 6, 2*j = 6*w - w - 115. Suppose -5*n + 62 = -3*d, -4*d - 5 = -n + w. Solve -5*b = t + n for b.
-4
Let h(q) = -3*q + 26. Let d be h(7). Solve -5*y - 30 + d = 0 for y.
-5
Suppose -2*j = 3*g - 23, 3*g - 32 = -4*j - 1. Solve j*s - 10 = 2*s for s.
5
Suppose -j + 3 + 2 = 0. Let x(l) = l - 2. Let d be x(7). Suppose 0*q = -d*q. Solve q = v - 2*v - j for v.
-5
Let k(q) be the first derivative of q**4/4 - 8*q**3/3 - 9*q**2/2 - 2. Let j be k(9). Solve -b + j = -1 for b.
1
Let k(y) be the first derivative of -y**2/2 + y + 1. Let t(w) = w**3 - 2*w. Let d be t(-2). Let z be k(d). Solve 25 - z = -5*h for h.
-4
Let s(q) = -3*q - 4. Let u be s(-3). Solve u*t = 9 - 4 for t.
1
Let l(p) = p**3 - 18*p**2 - 18*p - 16. Let j be l(19). Solve -4*f + f = j for f.
-1
Let l(m) = m**2 - 7*m + 9. Let f be l(6). Let c be 0/2*(-1)/2. Let i be (-2)/(0 + -2)*c. Solve p = -i - f for p.
-3
Let a be (6/8)/(6 - (-230)/(-40)). Suppose 0 = 5*v - 18 + 3. Solve -2*g + v*g = a for g.
3
Let t(p) = p**2 + 4*p - 3. Let s be t(-4). Let y = s + 6. Suppose -y*u - 61 = -4*d, u - 2 = -5*d + 79. Solve 0 = -5*l - d + 1 for l.
-3
Let y be (-17)/3 + 2/(-6). Let k be 9/y*20/(-6). Solve 3 = -k*c + 13 for c.
2
Suppose 4*a + 3*h = 5 + 17, 0 = 4*a - h - 30. Solve 0 = 2*s - a*s for s.
0
Suppose 98 = 5*s - 0*z - z, -48 = -3*s - 3*z. Suppose 51 = 4*a - 3*w + s, -2*w + 2 = 2*a. Solve -a + 3 = r for r.
-2
Let n = 1 - -6. Solve -5*s - 22 = -n for s.
-3
Let d be 2 - (-4)/(16/36). Solve -d = -5*t - 1 for t.
2
Let b = -13 - -21. Let z(o) = o**3 - 8*o**2 + 7*o + 5. Let w be z(7). Solve -w*d = -d - b for d.
2
Let b(u) be the first derivative of u**2/2 - 12*u - 4. Let j be b(16). Solve a = j*a - 3 for a.
1
Suppose -2*y = 3*y. Let m(k) = -k - 4. Let f be m(-4). Suppose f = -y*p + p - 1. Solve -r = -p - 4 for r.
5
Suppose -5*j + 2 = -3*j. Let d = 1 + 8. Solve -4*y - j = -d for y.
2
Let b = 18 - 22. Let m(l) = -l**2 - 5*l + 2. Let c be m(b). Solve -j - 2*j + c = 0 for j.
2
Let w = -4 - -6. Let z be w/7 - (-24)/14. Let o = -1 + z. Solve -l - o = -3 for l.
2
Let x = 16 + -10. Suppose d + 0*y = y + x, -18 = -4*d - 2*y. Solve 29 = d*r + 4 for r.
5
Suppose 0 = w - 1, 3*q - 5*w = -0*q + 49. Suppose 2*k = -4*d + q - 2, -d + 1 = -k. Solve 2*x + k*x = -16 for x.
-4
Let g(b) = b**2 + 26*b + 49. Let a be g(-24). Solve -a = 2*j + 5 for j.
-3
Let q = 5 - 5. Suppose q = -0*v + v. Solve v = 2*i + 2*i for i.
0
Let l be (1/2)/(2/4). Let b = l - -1. Solve -3*r = -r - b for r.
1
Suppose -9 = -3*p + 2*j, 0 = -4*p - 0*j - 2*j - 2. Solve 0 = 2*t - t - p for t.
1
Let s(k) = k**2 + 5*k. Let n be s(-5). Solve n = 4*j - 3*j for j.
0
Let g(q) = -4*q**3 - 3*q**2 - 2*q + 3. Let v be g(-3). Suppose -c - 25 = 3*i, -i - 21 = 5*c + v. Let p = -14 - c. Solve -2*o = -0 + p for o.
-4
Let g(s) = -2*s - 1 - 5 - 1 + 4*s. Let a be g(5). Solve a*v = -7 - 2 for v.
-3
Let l = -28 + 17. Let o = 13 + l. Solve 0 = -6*d + o*d + 4 for d.
1
Let x = 6 - -19. Let u = 4 - 2. Suppose 0 = u*v - 13 + 1. Solve -v*d - x = -d for d.
-5
Let g be (44/16)/((-2)/(-8)). Suppose -3*q = -1 - g. Solve -c = q*c - 25 for c.
5
Let j(d) = -3*d - 3*d**2 - d**3 + 9*d - 2*d. Let k be j(-4). Solve 0 = 4*h - k + 8 for h.
-2
Let r = -32 - -34. Let t be -4*(-1)/((-2)/(-2)). Suppose r*y + 12 = t*y. Solve 0*l = -2*l - y for l.
-3
Suppose -y - 3*l - 6 = 0, -6 - 4 = -4*y + 5*l. Suppose y = -2*h + 7 - 3. Let m be 1 - (-3 + h + -1). Solve m*c = -2*c + 20 for c.
4
Let n = -96 + 96. Solve d + 2*d + 3 = n for d.
-1
Let y(v) = -3*v - 38. Let n be y(-14). Solve -n*f = 4 - 24 for f.
5
Suppose 0 = 3*v - v - 4. Solve 0 = -n + 2*n - v for n.
2
Let m = -12 - 2. Let z be (-74)/m - (-8)/(-28). Let k(c) = c**2 + 3*c + 4. Let l be k(-5). Solve -3*p = l - z for p.
-3
Let o be (41/(-3))/(3/(-9)). Suppose 0 = -4*d - s + 31, 0 = -5*d - 0*s - 2*s + o. Solve -3*l - d = 8 for l.
-5
Let y be (-378)/21*(-2)/6. Solve -3*o + o = -y for o.
3
Suppose 5*x - 3*x + 8 = 0. Let d be 0 + 2 - (x + 6). Let t = 44 - 26. Solve 3*o + t - 6 = d for o.
-4
Let v = 4 + -2. Suppose -12 = -v*n - n. Solve b - n = -3*b for b.
1
Let n(c) = -9*c - 6*c**2 + 5*c**2 + 12 + 0*c. Let p be n(-10). Solve -p = -a - 0 for a.
2
Let q(z) = -z**3 + 6*z**2 - 4*z - 5. Let x be q(5). Solve -s = -x*s for s.
0
Suppose -c + 3*c = 10. Suppose -2*g = -g. Let q = c + g. Solve 15 = 5*r + q for r.
2
Let y(m) be the second derivative of -m**7/2520 - m**6/120 + m**4/4 + 2*m. Let q(a) be the third derivative of y(a). Let b be q(-6). Solve -3*v = -b - 9 for v.
3
Let r = -2 + 11. Let t be (3/r*3)/1. Solve 0*m = m + t for m.
-1
Suppose 6*k = 3*k + 36. Suppose 0 = l, 5*l + 1 = 4*d - 7. Suppose 2*f = 4 + d. Solve -o + k = f*o for o.
3
Suppose y + 10 = -4*u, 0 = 4*y + 5*u - 3 - 1. Let o = -8 - -8. Solve f - y*f = o for f.
0
Let n be 3/(36/4)*0. Solve 8*d - 3*d = n for d.
0
Suppose 3*z - 2*z - 12 = -5*l, -3*l = -4*z + 2. Suppose 2*i - 15 = 5*q, -6 = -z*i - 2*q - 2*q. Suppose 0*w = -w + i. Solve 0 = -w*j + 3 + 17 for j.
4
Suppose 2*m - 4 = -2*c, -26 - 4 = -3*c + 5*m. Let a(f) = -f**3 + 5*f**2 + 4. Let r be a(c). Solve k = 3 - r for k.
-1
Let k = 16 - 15. Solve -5*m = -k + 11 for m.
-2
Suppose -2*p = -3*x + 71, 7*x - 54 = 5*x - 2*p. Suppose 0 = -2*w + 4*t - 10, 2*t = -4*w - t + 24. Solve w*m - x = -2*m for m.
5
Let d be (-1)/(-2) - (-5)/(-10). Suppose d = -4*s - 2*a + 28, -3 = -3*s + a + 13. Solve 0 = -2*t - t - s for t.
-2
Suppose t = -0*t. Let x = t - -6. Suppose -2*v = 3*v - 125. Solve x*a + v = a for a.
-5
Let z(f) = 9*f - 36. Let s be z(4). Solve 0 = i - s*i for i.
0
Let q = -2 - -9. Solve 13 + q = -4*r for r.
-5
Let h = -3 - -6. Suppose -3*t + 1 = u, -t + h*t + 2*u + 6 = 0. Solve -t = m - 0 for m.
-2
Suppose 8*y - 20 = 3*y. Solve -3*m - 11 = y for m.
-5
Suppose -4*z + 4*