e 0 = p*t - t - 15. Solve -v = -t + 1 for v.
2
Let h = -6 - -9. Let v(c) = 2*c - 22. Let q be v(15). Suppose 5*s - j = 10, -3*s + q*j + 6 = 3*j. Solve -s - 1 = h*w for w.
-1
Let s(i) = i + 8. Let u be s(-6). Solve 0 = u*c - 5 + 15 for c.
-5
Let k = -51 - -51. Solve -r + k*r + 1 = 0 for r.
1
Let r(y) = 4*y**3 + 6*y**2 + 7*y - 3. Let n(a) = 3*a**3 + 6*a**2 + 6*a - 2. Let i(m) = 3*n(m) - 2*r(m). Let f be i(-5). Solve f*w = 3*w + 2 for w.
1
Let h(k) = k**3 - 4*k**2 - 3*k + 4. Let y be h(4). Let l = y - -18. Solve -2*x - 3*x = -l for x.
2
Let c = 0 + 1. Suppose 3 = a - c. Solve -t = -2*t + a for t.
4
Let g = 2 - -10. Suppose -3*f + 2*r + 3*r + 14 = 0, -4*r - 1 = f. Solve g + f = -5*l for l.
-3
Let b = 1 + 4. Suppose -4*o = b*h - 26, 4*o - 5*h - 28 = 2*o. Suppose w + t = -2*t - o, 2*w + 2*t = -6. Solve w = 6*s - 2*s - 16 for s.
4
Suppose -3*m = m - 12. Suppose -2*u + 3*w = -13, 0*u + 3 = -m*u - 3*w. Solve -25 = 3*h + u*h for h.
-5
Let b be (-4)/5 + 520/25. Solve -q + b = 4*q for q.
4
Let w = 5 - -13. Let j be 4/w - 129/(-27). Suppose -7 = -n + o, -3*n + j*o = n - 31. Solve n*z + 15 = -5 for z.
-5
Let f(l) = 12*l**2 - 2*l - 1. Let v be f(-1). Let r = v + -13. Solve 5*i + r*i - 5 = 0 for i.
1
Suppose 5*u - 9 = 1. Solve u - 6 = 4*b for b.
-1
Let z(t) = 2*t**2. Let r be z(-2). Suppose 0 = -3*d + 2*h - 10, h = 2*d + r - 2. Let k be (-38)/(-12) + d/12. Solve -m + k*m = 0 for m.
0
Let t be (18/21)/(1/7). Let w = t + 2. Let k = -4 + w. Solve -5*i + 11 = -k for i.
3
Let v(c) = -c**2 + 10*c + 12. Let w be v(10). Suppose -2*a - 2*a + 20 = 0. Suppose 6*k - a*k - 6 = 0. Solve -k*y = -2*y + w for y.
-3
Let p be 4*5/(-4)*1. Let y = p + 6. Let w be (1/(-2))/(y/(-8)). Solve w*i = -i + 10 for i.
2
Let z be (12/(-5))/3*-5. Suppose 5 = -3*p + z*p. Suppose 297*j - 78 = 284*j. Solve p*n + 1 = j for n.
1
Let q be (-6)/15 + 4/10. Suppose -5*r - 2*w + 3*w - 7 = q, -17 = r + 5*w. Let u be (-1 - 3/r)*0. Solve 2*m - 1 - 5 = u for m.
3
Let g(p) = -2*p + 22. Let f be g(10). Solve -f*j - 6 = -2 for j.
-2
Let k(l) = 2*l**2 - 1. Let n be k(1). Solve i = 2*i - n for i.
1
Let d(f) = f**2 - 7*f + 10. Let y be d(5). Let j = 9 + -4. Solve y*g + 20 = -j*g for g.
-4
Suppose -3*c - 3*a + 48 = 0, 4*a - 2*a + 23 = 3*c. Solve -10*f = -c*f - 4 for f.
-4
Let g be 0/(6 - (1 - -2)). Solve y = -g*y for y.
0
Let g(w) = -1. Let a(j) = -j**2 - 7*j + 5. Let n(d) = -a(d) + 3*g(d). Let q be n(-9). Solve -q = -3*t - 4 for t.
2
Suppose 7*u - 2*u + 2*l - 22 = 0, -8 = 2*l. Solve -5*d = -u - 14 for d.
4
Let u = 10 + 0. Solve 0*v + u = 5*v for v.
2
Let q(d) = -3 + 3*d - d - 3*d - 2. Let v be (-7 + 2/1)*2. Let k be q(v). Solve -3*c + 2*c + k = 0 for c.
5
Let h = -10 - -20. Suppose 2*c + 2 = h. Solve c*f = -0*f - 4 for f.
-1
Suppose 0*n = 3*b + n - 17, -4 = 4*n. Solve 3*v + 0*v = -b for v.
-2
Let y be (-6)/27 + (-94)/(-18). Let u = y - 2. Solve 6 = -u*d + d for d.
-3
Suppose -k + 10 = 5*h + k, -8 = -4*h - 4*k. Suppose q + z - 2*z + 4 = 0, -2*q + 16 = 4*z. Solve q = h*x + x + 3 for x.
-1
Let q be (0 + 13)/1 - -2. Let l be 1/(-5) - (-3)/q. Solve l*n = 4*n + 8 for n.
-2
Let n(l) be the first derivative of l**3/3 + 3*l**2/2 - 7*l - 1. Let d be n(-5). Solve -2*t + d*t = 0 for t.
0
Let i(y) = y**3 + 7*y**2 - y - 4. Suppose 2*v - 18 = 4*b - b, -v = 2*b + 5. Suppose 0 = g + 4 + v. Let z be i(g). Solve -z - 2 = n for n.
-5
Let z(h) = 7*h - 2. Let i be z(3). Let o be (-12)/16 - i/(-4). Solve -x + 5 = o*x for x.
1
Let d be (10/6)/((-1)/(-3)). Solve 1 = -k + d for k.
4
Suppose 2*f - 33 = -11. Let p = 18 - f. Suppose -4*r = i - 13, -3*r + p = 2*i - 4. Solve -2*h - 11 + r = 0 for h.
-4
Suppose 3*w - 10 = w. Suppose -5*p = a + a, -3*p = -w*a + 62. Suppose 5*i - a = -0. Solve -i*q + 3*q + 4 = 0 for q.
-4
Let a be (-78)/(-182) - (-18)/7. Solve -a*p - 4 = p for p.
-1
Suppose 0 = v - 0*v. Let c = v - -1. Solve 3*n = c - 16 for n.
-5
Let j = -1 - -2. Let z = 5 - 17. Let k(x) = -x - 10. Let b be k(z). Solve b*o - j = -7 for o.
-3
Suppose 13 = 4*v + 3*m - 2*m, -v - 4*m = 8. Let s = v - -6. Solve 0 = -2*p - 3*p - s for p.
-2
Suppose 2*y - 5*o - 31 = -2*y, y - 19 = 5*o. Suppose -5*a + 2*c + 8 = 0, 2*c = y*a + 6*c - 12. Solve 0 = -a*f + 1 + 3 for f.
2
Suppose 5*k = -3*v + 37, 3*v - 2*k = 6 - 4. Suppose 4*m - 4*a - v = 0, a - 2 = 2*m - 3*a. Let i be (1 - m)/(3/(-15)). Solve -x + i = 4*x for x.
2
Suppose -9*u + 4*u = 3*n + 5, 0 = -5*n - 2*u - 2. Solve n*i - 4 = -4*i for i.
1
Suppose -2*t = 4*r + 28, 3*t + 19 = -3*r - 11. Let j = -6 - t. Solve -3*u + u - 2 = j for u.
-1
Let b = 8 - 8. Solve b = 2*z - 3*z for z.
0
Let n(z) = 2*z - 3. Let p be n(2). Suppose -5*x + 2 = -y, -2*x = 3*x - 3*y + 4. Let d = x - p. Solve -4*q + 3*q + 5 = d for q.
5
Let i(c) = c**3 + 8*c**2 - c - 8. Let h be i(-8). Let d(z) = 3*z**2 + 4*z. Suppose 4*w + 15 = -u, -3*u - 7 = -w - 1. Let j be d(w). Solve h = 4*b - b - j for b.
5
Suppose 5*a = -4*a + 18. Solve 0*z + a = -z for z.
-2
Suppose 5*s - 3*m + 24 = 0, 3*s + 5*m = -12 - 16. Let z = -2 - s. Suppose z*c = -c. Solve 2*q + 5 + 5 = c for q.
-5
Let r be 10 + -1 - (-1)/1. Let l = -8 + r. Solve -c - l*c = 12 for c.
-4
Suppose 0*x = 3*i + x - 14, 5*i = -x + 24. Let v = i + -3. Solve v*m + 2 = 6 for m.
2
Let x be (-15)/(-2) - 4/8. Solve -x*u - 8 = -3*u for u.
-2
Let c = -5 + 10. Suppose -4*z = -c*z + 5. Solve z*d - 6 + 1 = 0 for d.
1
Let k(y) = 19*y**2 - 1. Let r be k(1). Let d be 2/(3*3/r). Solve 2*j - d = -2 for j.
1
Let q be 16/(-6)*3/(-2). Let d(k) = -k**2 - 5*k + 4. Let y be d(-5). Solve -4*u = -q - y for u.
2
Suppose z - 22 = 8. Suppose -7*i = -2*i - z. Let x(h) = h - 3. Let d be x(5). Solve -j = d*j - i for j.
2
Suppose 0 = -z - 1 + 3. Solve -z*t = -5 - 5 for t.
5
Suppose 0 = -4*n + 4 + 8. Let k = n - 0. Solve z - 8 = -k*z for z.
2
Suppose 2*n = -2*b + 26 - 4, b + 3*n - 17 = 0. Let d = b + -5. Suppose -2*p - 8 = 2*f, 2 = -4*f + p + 6. Solve -d = -y - f for y.
3
Suppose 0 = 4*u - 3*v - 39, v = 5*u + 2*v - 25. Suppose 8*n - 6 = u*n. Solve 2*l = -n*l + 25 for l.
5
Let m(d) = d + 18. Let t be m(-18). Solve 0*f - f + 4 = t for f.
4
Let o(d) = 4*d**3 + d**2 - 2*d + 1. Let c be o(1). Solve 3*x + c + 11 = 0 for x.
-5
Let a = 29 - 26. Solve -a*l = -0*l - 12 for l.
4
Suppose 2*h = -c + 2 + 2, -3*c + h - 2 = 0. Solve 4*l + 16 = -c*l for l.
-4
Suppose 2*s - 15 = -3*r, r = 2*s - 6*s + 25. Suppose 0*f - 3*f + s = 0. Solve -m + f = -2*m for m.
-2
Let w be 1/(1*3/36). Suppose h = -3*h - w. Let t be 6/(-4)*(1 + h). Solve -5*i + 2*i = -t for i.
1
Suppose -33 = 27*u - 30*u. Solve 0 = u*o - 16*o + 25 for o.
5
Let r(g) = g**3 - g**2 - 1. Let u be r(2). Suppose -u*o = o - 20. Solve 2*j - 5 = o for j.
5
Let j(f) = 3*f - 12. Let d be j(11). Let g = d + -12. Suppose -6 = -5*v + g. Solve -v = -u - 0 for u.
3
Suppose -4*u + 46 - 2 = 0. Let n(r) = 0*r - 3 + u - r - r**2. Let x be n(0). Solve -3*i - i = x for i.
-2
Let m(u) = u**3 + 8*u**2 + 7*u + 3. Let b be m(-7). Solve b - 9 = -2*c for c.
3
Let b(z) = z**2 + 2*z - 4. Suppose 4*h - 3*p + p + 22 = 0, 3*p = -5*h - 11. Let n be b(h). Solve -n*u = -3*u for u.
0
Let g be 1*2/((-2)/(-1)). Let b be 0 + 0 + 1 - g. Solve -5*v + b*v + 10 = 0 for v.
2
Let w(j) = 2*j + 6. Let r be w(7). Solve -3*t - r = t for t.
-5
Suppose 2*g - 10 = 2. Let l = -2 + 2. Solve d - 3*d + g = l for d.
3
Let f = 40 + -22. Solve -4*a - f - 2 = 0 for a.
-5
Let r(c) = c**2 + 8*c + 6. Let y be r(-8). Suppose o = y*o - 40. Suppose -i + o = i. Solve -i*m + 8 = -2*m for m.
4
Let j = -61 + 65. Solve 16 - j = 4*d for d.
3
Let y(m) = -m**3 - 17*m**2 - 18*m - 19. Let v be y(-16). Let f be 1 + 0 + 2/2. Solve 3 = -f*o + v for o.
5
Let m = 11 - 6. Solve -3*o = -m*o for o.
0
Let d = -52 + 54. Solve 1 = d*g - 7 for g.
4
Suppose -2*d = -0*d + 4. Let w be d/(-6) - (-52)/6. Let k be (-2)/(2 + (-20)/w). Solve -2*l = k + 1 for l.
-5
Let c(d) = 4*d**2 - d - 1. Suppose -2*n = 10, -5*n - 26 = b - 0*n. Let j be c(b). Solve -3*x = -j*x for x.
0
Suppose 24*s - 21*s - 6 = 0. Solve -v + 2 = -s*v for v.
-2
Let n(p) = 3*p + 23. Let t be n(-7). Suppose -3*f = 4*z - 6*f - 14, 0 = 4*z + t*f - 4. Solve -z*a + 2 = -0*a for a.
1
Let d = 0 - -1. Suppose 8*n + 4*n - 132 = 0. Solve 2*w + d = n for w.
5
Let r(x) = 3*x + 2. Let s(c) = 10*c + 5. Let y(n) = 7*r(n) - 2*s(n). Let k be y(11). Solve -q = 2*q - k for q.
5
Let g be (-4)/(-3)*(-15)/(-10). Suppose 0 = -