= 3*u - 25 for u.
5
Let h(b) = -b - 9. Let p be h(-11). Suppose -c + p*c = 1, -5*r - 5*c + 15 = 0. Solve y = -r*y for y.
0
Suppose -3*q - 54 = f, -3*q - 72 = q + 5*f. Let d = q - -20. Solve -d*a = -a - 3 for a.
3
Suppose -2*i + 27 + 1 = 0. Let v = i - 10. Solve -2*d + v + 0 = 0 for d.
2
Suppose 0 = -3*n + n + 10. Let x be 3 + n + 6/(-2). Let q = -1 - -2. Solve -x*m - 4 = q for m.
-1
Let v(r) be the first derivative of r**3 - 2*r + 6. Let y be v(3). Solve 5*z = y - 0 for z.
5
Let x = 5 + -2. Solve -x + 5 = k for k.
2
Let q = 8 - 11. Let x be (-2)/((-2)/q - 1). Suppose -4 = y - x. Solve -o = -y*o for o.
0
Let d(h) = 1 + 0 + 0 - 2*h + 2*h**2. Let p be d(2). Suppose -5*q + 15 - p = 0. Solve 0 = a + q for a.
-2
Let g be -3*((-7)/(-3) - 2). Let d be (5 + g*2)/1. Suppose 0*p + 24 = 3*i - 2*p, -d*i = p - 33. Solve i + 0 = 5*m for m.
2
Let y(c) be the first derivative of c**4/4 + 16*c**3/3 + 15*c**2/2 + 4*c + 5. Let p be y(-15). Solve -p*l - 2 = -6*l for l.
1
Let s be (-4)/(-20) + 28/10. Suppose -s*i + 7*i = 0. Suppose -g - g = i. Solve g = -0*h + 5*h - 20 for h.
4
Let f(d) = d**3 + 17*d**2 - 18*d + 7. Let q be f(-18). Let g(w) = -w + 7. Let x be g(q). Solve x = -2*a + 7*a - 5 for a.
1
Suppose 5*f + 10 = -5*u, -u - 3*f - 10 = -0*f. Solve u = k + 3 for k.
-1
Suppose -3*k = 4*o - 3 + 9, 5*k + 10 = 4*o. Solve -5*i = -o*i + 5 for i.
-1
Let y(d) = -2*d - 6. Let o be y(-4). Solve -o*c + 6 = -0 for c.
3
Let u(j) = j**3 + 10*j**2 + 2. Let t be u(-10). Suppose t*w + 1 - 7 = 3*i, -w + 3 = 0. Solve 5*s - 3*s - 10 = i for s.
5
Let y = 6 + -3. Let m = -5 + 10. Solve m = y*v - 4 for v.
3
Let n(b) = b**2 - 2*b - 1. Let p be n(3). Suppose -o = p*o. Suppose 0 = -o*i + 2*i - 8. Solve -5*f = -11 - i for f.
3
Suppose -b - b = 0. Solve 2*r + 6 = -b*r for r.
-3
Let u(t) be the third derivative of -t**5/60 + t**3/6 - t**2. Let w be u(1). Solve w = 3*y - 0*y - 15 for y.
5
Let x(b) = -5*b - 2*b + 5 + 4*b. Let j be x(-5). Suppose j = o + 3*o. Solve 0 = o*p + 2 + 3 for p.
-1
Suppose -3*q + 3*x = -4*q + 17, 11 = 3*q + x. Let a be q*(2 - 3)/(-1). Solve 8 = -3*k + a for k.
-2
Suppose -i - 3*g + 15 = 0, i - 2*i + 5*g - 25 = 0. Solve 2*p = -i*p for p.
0
Let g(k) = 2*k**2 + 1. Let y be g(1). Let v be (9/6)/y*2. Solve -2*l - 5 + v = 0 for l.
-2
Let q be (-3 + 1)*(-5 + 3). Suppose q*u - 60 = u + 4*l, 100 = 5*u + 3*l. Solve u = -6*i + 2*i for i.
-5
Let f be 90/21 - (-2)/(-7). Solve -7*s - f = -3*s for s.
-1
Let x = -1 - -1. Let b(q) = 2*q**2 - 3*q - 2. Let w be b(-2). Suppose x*n - 2*n = -w. Solve 3*l - n = -0 for l.
2
Suppose 5*x = -15 - 5. Let y = x + 4. Solve -t - t = y for t.
0
Suppose 3*m + 7 = 2*w, 3*w = 4*w + m - 1. Let z be w/(-7) - 88/(-14). Let q be (-3)/5 - 23/(-5). Solve q*b = b - z for b.
-2
Let i(r) = -r**2 + 8*r. Let z be i(8). Suppose 5*p + 21 = -z*p + c, 0 = 3*c - 3. Let t(s) = -2*s - 3. Let m be t(p). Solve -m*d - 2 = -12 for d.
2
Suppose 4*y - 4*m = -0*y + 20, -3*y - 4*m - 13 = 0. Suppose -3*q = -10 + y. Solve -2*z = -q*z + 3 for z.
3
Suppose 4*t = 7 + 1. Solve -t*u = 2*u - 12 for u.
3
Let j(b) = b**2 - 2. Let p(g) = 3*g**3 - 1. Let y be p(1). Let h be j(y). Solve h*n = -n - 15 for n.
-5
Let n(j) = -j - 10. Let o be n(-13). Suppose 3*f - 15 = 3. Solve -c = -f + o for c.
3
Suppose 5 + 1 = 3*p. Solve v = -1 + p for v.
1
Suppose -2*u = 2*u - 16. Let y(j) = j**3 - 3*j**2 + 3*j + 1. Let a be y(2). Solve -u*z - 17 = a for z.
-5
Suppose -4*q = -b - 25, b + 30 = 5*q - 0*b. Solve -q*p + 2 = -23 for p.
5
Let t be 12/9*(-9)/(-6). Let l be t/(1/((-28)/(-8))). Solve -8 = 3*a + l for a.
-5
Suppose 1 = -n + 2. Suppose -3*q + n = -2. Solve m + 0 = -q for m.
-1
Let w = 56 - 52. Solve w - 6 = g for g.
-2
Suppose -m - 1 = -2*y - 2*y, -2*m + 2*y + 4 = 0. Solve -2*z = -m*z - 3 for z.
-3
Let n be (-38)/5 - 2/5. Let m be -4 - -15*(3 - 6/3). Let v = m + n. Solve -v = 2*q + 5 for q.
-4
Suppose z = 3*u - 7 - 1, -5*u + z + 16 = 0. Let m = 1 + u. Solve m*x + 8 = -2 for x.
-2
Suppose 0*g = -5*a + g - 49, 45 = -4*a - 5*g. Let s be (8/a)/((-2)/10). Suppose f = 3*f - s. Solve k - 3 = -f for k.
1
Let c = 8 + -8. Solve -h - 3*h - 20 = c for h.
-5
Let b be 5/((-5)/(-4))*1. Let g = 32 - 19. Solve b*y + 1 = g for y.
3
Suppose -13*q = -14*q + 2. Let v = -2 - -5. Solve -v*r = -q*r - 2 for r.
2
Let z = -4 - -7. Suppose z = 4*a - 5. Solve -a*m - 2 = -0 for m.
-1
Let c(i) = -4*i - 3. Suppose -5*q = -p - 2 + 13, -p = q + 7. Let d be c(q). Solve -11 = 4*h + d for h.
-5
Let j(l) = -l**2 - 8*l - 3. Let q(m) = 0*m - m + 0*m + 4 - m**3 + 9*m**2. Let h be q(9). Let n be j(h). Solve -n - 13 = 5*s for s.
-5
Let h = 2 + -4. Suppose 3*b = -6*n + n + 13, -2*n + 3*b = -22. Let i = h + n. Solve -3 + 0 = -i*u for u.
1
Let g = -19 - -19. Solve 3*j + 7 + 2 = g for j.
-3
Let t be (-2)/1 + (-32)/(-1). Suppose 5*c + t = 4*l, 0*c + 19 = 3*l - 2*c. Solve 3*z + 8 = l*z for z.
4
Let l(t) = t**3 + 7*t**2 + 9*t - 3. Let d be l(-5). Let v(n) = 8*n**2 - 2*n - 1. Let o be v(-1). Solve -d*c = c + o for c.
-3
Let q(u) = u + 12. Let x be q(-4). Solve -j - x = j for j.
-4
Suppose 7*q - 4*q + 15 = 0, 4*q = 5*c - 30. Solve 2*d - d = c for d.
2
Suppose 0 = -3*b - 2 - 7. Let u(o) = -o**2 - 6*o - 1. Let n be u(b). Solve 3*p + n = -p for p.
-2
Let h = -12 + 14. Solve -h*o = 1 + 1 for o.
-1
Suppose 10 = -3*z + 5*z. Suppose 4*m - z = 3. Solve 0 = -a - m + 5 for a.
3
Let m = -14 - -7. Let f(u) be the first derivative of -u**3/3 - 7*u**2/2 + 3*u + 4. Let c be f(m). Solve -q + c*q + 6 = 0 for q.
-3
Suppose -5*j - 5 = -5*a, -4*a + 1 = -3*j - 4. Solve j = -x + 3 for x.
2
Let y = -1 + 7. Suppose 0 = -p - 2 + y. Solve 0 = -p*b + 3*b + 2 for b.
2
Let y(c) = -4*c + 12. Let i be y(-6). Let r be (-38)/(-12) + (-6)/i. Solve -2*x - 13 + r = 0 for x.
-5
Let z(l) = l**2 + 4*l + 4. Let o(y) = -y**2 - 4*y - 3. Let f(b) = -3*o(b) - 2*z(b). Let a be f(-5). Let u be (-3)/a*8/(-1). Solve -4*t + u + 16 = 0 for t.
5
Let h(q) = -q**3 + q**2 + 6*q + 24. Let a be h(4). Let r = -1 - -3. Solve 3*g - 4 - r = a for g.
2
Let r = 92 + -69. Solve 7 = 4*a + r for a.
-4
Let i(r) = -4*r + 6. Let o be i(6). Let j be (1 + 1)*(-171)/o. Suppose 0 = -f - 4*q + j, -5*q + 36 = 3*f - 0*f. Solve -8 = -3*g + f*g for g.
-2
Let q(g) = -g + g**3 + 3*g - 2*g**2 + 3 - 5*g - g. Let p be q(3). Solve p*a + 2 = a for a.
2
Let x(u) = 2*u + 12. Let j be x(-8). Let h = j + 7. Suppose 0 = -n + h - 1. Solve n*t - 5 = -3*t for t.
1
Let x = 33 - 30. Solve -13 + 1 = -x*z for z.
4
Suppose y + 4*y + 30 = 0. Let f = y - -9. Let q(l) = -l**2 + 8*l - 3. Let c be q(6). Solve 6*v - f*v = c for v.
3
Let t(p) = p**2 + 4. Let s be t(-3). Let r = 2 + 2. Suppose -r*i + 3 + s = 0. Solve -c - i = c for c.
-2
Suppose 3*g - 1 = 11. Solve -g*p = -p - 3 for p.
1
Suppose -i + 6*i + 40 = 5*c, -c - 7 = 4*i. Let n(g) = -g**3 + 5*g**2 + g - 6. Let w be n(c). Let k be -3 - -6*w/(-2). Solve k*r = 3*r for r.
0
Let s(p) = p - 5. Let m be 2 + 1 + (2 - 0). Let k be s(m). Suppose 6*d = 5 + 7. Solve -d*b - b = k for b.
0
Suppose -2 = 4*p - 2*u - 0*u, -3*p - 19 = -5*u. Suppose -2*f - p*h = -6, 4*f = -f + 4*h + 15. Solve -5*l = -12 - f for l.
3
Suppose -2*i = -0*i - 46. Solve 0 = -4*y - i + 3 for y.
-5
Let a(v) = v**2 - 8*v - 6. Let w be 1/(-2) + (-38)/(-4). Let s be a(w). Solve -7 = -2*u - s for u.
2
Suppose -280 = -5*n + q - 0*q, 224 = 4*n + 2*q. Suppose -4*p = -n - 72. Solve p = -4*o + 12 for o.
-5
Suppose -8 - 7 = -5*d. Let i(c) = c**2 - 8*c - 15. Let u be i(8). Let o(k) = k**2 + 16*k + 17. Let w be o(u). Solve -w = d*h - 17 for h.
5
Let d(h) = h**3 + 7*h**2 + 6*h + 2. Let y be d(-6). Suppose -5*t - y = -7. Let q be 2 + t/2*0. Solve q*c = 7*c + 25 for c.
-5
Suppose 2*w - 37 = b, -2*w = -5*b - 30 + 5. Suppose 2*d - 8 = 4. Let f = d + -1. Solve -f*g - w = -0*g for g.
-4
Suppose 2*j - j - 3 = 0. Suppose -3*k + 4 = -2*k. Suppose -5*a + 0*o = o - 6, k*o = a + j. Solve 2 = -3*g - a for g.
-1
Suppose 6*t - 32 = 2*t. Suppose v + 6 = t. Solve s + v = 3*s for s.
1
Let h be (-10)/(-30) - (-2)/(-6). Solve -5*j + 15 + 10 = h for j.
5
Suppose -17 = -s - 5. Solve y + s = -2*y for y.
-4
Let m = -27 - -31. Solve 0 = -m*v - 2 + 18 for v.
4
Suppose 2*r - 7 = -2*d - d, 4*r = 4*d - 16. Suppose k + 0 - d = 0. Solve -5*t - k = 2 for t.
-1
Suppose 7*h = 8*h - 9. Solve 0 = -3*l - h - 3 for l.
-4
Let i(o) = -o**3 + o**2 - 1. Let c be i(1). Let b be 3 - (c + -2 