*l - 8 = a for l.
4
Suppose -5*k + 2*k + 12 = 0. Solve -k = -u + 1 for u.
5
Let t(a) = -2*a + 4. Let z be t(5). Let l be 22*(0 + 3)/6. Let m = z + l. Solve -m*s + 6 = -9 for s.
3
Suppose -11*g = -7*g - 8. Suppose g*w - 5 = 13. Solve w = 3*m - 0 for m.
3
Let j be ((-12)/5)/((-18)/60). Let m be j/2 + (2 - 2). Solve 0 = -2*c + m*c - 8 for c.
4
Suppose 8 = 3*x - 25. Suppose -j + 5*d + 4 = -x, 0 = j + 3*d + 9. Solve 3*u - 6 - 3 = j for u.
3
Suppose -10*o + 5*o = -25. Let a be (-4)/12 - (-1)/3. Solve -o*g + 2*g = a for g.
0
Let o = 2 + -6. Let c be 0 - 2*10/o. Let q(z) = z**3 - 4*z**2 - 4*z - 2. Let p be q(c). Solve 10 = d - p*d for d.
-5
Suppose -3*d - 4*c + 11 = 0, -2*d + 2*c - 3 = -1. Suppose 0 = 3*r - 2*r. Solve r = -s - 0*s + d for s.
1
Suppose -5*q - 7 = -5*d - 37, -4*d - 18 = -q. Solve -c = q*c + 9 for c.
-3
Let w be -1*(-3)/(-6) + 2/4. Solve w = 2*u - 1 - 3 for u.
2
Let y = 4 + -2. Suppose 10 = y*u + 3*u. Solve -2*s = -u - 8 for s.
5
Suppose 3*g - 2*j + 3*j - 16 = 0, -j = 2*g - 11. Let n be (3 - 2)/1 + g. Solve -22 = 4*d - n for d.
-4
Suppose 0 = -5*v - 1 + 11. Let b be (-14)/(-70) - (-1)/(-5). Solve 0*c + c + v = b for c.
-2
Let z(p) = -p**3 - 5*p**2 + p + 5. Let a be z(-5). Suppose a = -2*q + 8. Solve x = -q*x - 25 for x.
-5
Let z be (0 + 0)/(3/(-3)). Let w(u) = u**3 + u**2 + u. Let k be w(z). Solve -5*i - 4 - 6 = k for i.
-2
Suppose 0 = 4*s + j - 172, -5*j + 49 - 201 = -3*s. Suppose 4*f + s + 8 = 0. Let m = 18 + f. Solve -m = -3*k - 2*k for k.
1
Suppose 37*k = -4 + 4. Suppose 8 + 7 = 5*n. Suppose -n*s + 10 = 2*s. Solve k*b = s*b for b.
0
Suppose -2*n - w + 10 = 0, -4*w = -n + 6*n - 31. Solve 0 - n = j for j.
-3
Suppose 5*d = -5*v, -4*d - 30 = -2*v - 0*v. Solve v = -5*p - 10 for p.
-3
Suppose -52 = -0*f - 4*f. Let y = f - 11. Solve 2 = y*d - 2 for d.
2
Let h(r) = -r**3 + 6*r**2 + 6*r + 5. Let o be h(7). Let v be -1 + 2 + -6*1. Let f be (v/(-3))/(o/(-6)). Solve -f*z + z = -20 for z.
5
Let c be 3/12*4 - 1. Let p(f) = -f + 3. Let b be p(c). Solve 10 = w - b*w for w.
-5
Suppose -25 = 6*k - k. Let p(h) be the second derivative of h**5/20 + 5*h**4/12 - h**3/6 - 3*h**2/2 - 5*h. Let r be p(k). Solve 0 = 3*d + 1 + r for d.
-1
Let d be (-30)/40 - (-130)/(-8). Let b = d + 19. Solve w + 4 = b*w for w.
4
Let f(y) = 10*y + 20. Let j be f(-2). Solve 4*a - 6*a = j for a.
0
Suppose 0 = -4*g + 8*g - 16. Suppose 2*r - 2 = -3*y, y - 5*r + r + g = 0. Solve y = 2*j + j + 9 for j.
-3
Let v(f) = 5*f**2 + 4*f - 2 - 2*f**2 + 2*f**3 + 3*f**2 - f**3. Let y be v(-5). Let s(h) = 4*h - 2. Let b be s(y). Solve -5*q - b - 10 = 0 for q.
-4
Suppose 2 = 5*r - 23. Let i = 11 - r. Let k(z) = 2*z**2 + 4*z + 2. Let y be k(-2). Solve y = -4*w - i for w.
-2
Let f(g) = -5*g - 76. Let y(d) = -d - 15. Let q(l) = 2*f(l) - 11*y(l). Let m(x) = x**3 + x**2 - x - 8. Let w be m(0). Let c be q(w). Solve c*i + 2 = -8 for i.
-2
Suppose 4*x - f - 12 = 0, -4*x + x + 2 = f. Suppose 5*w + j - x = 0, 2*w + 2 = j - 0. Solve -i = -w - 1 for i.
1
Let q = -21 - -21. Solve d - 3 + 0 = q for d.
3
Let r = 8 + -2. Suppose 3*s = r*s. Solve s*c = -2*c - 2 for c.
-1
Let w(g) = 3*g - 6. Let r be w(8). Suppose -r = -x + 2*x - 3*j, j - 14 = 3*x. Let t be (-34)/(-4) + x/(-2). Solve -3*m - t = -m for m.
-5
Let s(r) = -r**3 + 4*r**2 + 4*r + 7. Let p be s(5). Suppose 32 - p = 2*m. Suppose -x + 0*x = 3*v - 8, 0 = 4*x - v - 19. Solve -m = 5*g + x for g.
-4
Suppose 3*w + 2*w = 15. Solve -w*a + 6 + 3 = 0 for a.
3
Let n(r) be the second derivative of -r**3/6 + 7*r**2 - 5*r. Let a be n(10). Let j(o) = o + 9. Let t be j(-6). Solve -t*f - a = -2*f for f.
-4
Let i be (-198)/(-55) - (-3)/(-5). Suppose u = -i*u. Solve -5*o + 5 = -u for o.
1
Suppose 12 = 2*d + 3*f, 4*d + f = 6*d - 28. Let x = d - 10. Solve x*g + 2 = 4*g for g.
1
Let r(q) = 2*q + 20. Let v be r(-6). Solve -5*i - 18 + v = 0 for i.
-2
Let n = -9 - -9. Suppose -3*z = -4*s - n + 12, -4*s = -5*z - 12. Solve 0*y = -s*y for y.
0
Let g = -15 + 18. Solve 2*c - c = g for c.
3
Let n = 60 - 54. Solve i = -i - n for i.
-3
Let m(c) be the second derivative of -c**3/6 - 3*c**2/2 - 3*c. Let g be m(-3). Solve -x + 2*x + 4 = g for x.
-4
Let c = 15 + -11. Suppose 2*q - 22 = -c*l, -l = -6*l - 4*q + 32. Solve 6*y = 2*y - l for y.
-1
Let k be -1 + 1 - (7 + -10). Suppose -2*n - 3*u = -42, 16 = k*u + u. Let b = 0 - -2. Solve 3*p + b*p = n for p.
3
Let v be 1 + (1 - (1 + -1)). Let q be 9/6 + (-1)/2. Let z be q*((2 - -1) + -3). Solve z = -0*k - v*k - 4 for k.
-2
Suppose 0 = c - 1 - 2. Suppose 0 = c*g - g - 12. Solve 2*q = -0*q - g for q.
-3
Let y be (6/21)/((-6)/(-42)). Solve -18 + y = 4*r for r.
-4
Let b(i) = -i**2 + 10*i - 13. Let k be b(8). Solve -4 = -f - k*f for f.
1
Suppose 0 = -4*b + 4*y + 6 + 22, -b + 5*y = -19. Let u be 5/(b - (-6)/(-2)). Solve u*v = -25 - 0 for v.
-5
Let l(i) = 2*i**2 + i**3 - 4 + 3*i - 2*i**3 - 3*i + 3*i. Let g be l(-3). Suppose 2*j - g = -0*j. Solve -4*z + j = 4 for z.
3
Suppose -55 = -3*k + 5*g, 3*k - 3*g = k + 36. Solve 8*t - k = 3*t for t.
3
Let z(h) = h**2 + 2*h. Let s be z(-2). Suppose s = -5*r + 1 + 4. Solve 4*m + 5 = r for m.
-1
Suppose 3*h - f = 12, 3*h - 5*f - 6 - 6 = 0. Solve -o + h = -0*o for o.
4
Suppose 20 = 5*n, -3*h - 7*n + 25 = -3*n. Let c(q) = -q - 2. Let l be c(-4). Suppose h*u + l*u = 10. Solve 3 + u = s for s.
5
Suppose w - 3*q = -0*q - 1, 3*w + 5*q = 11. Let o(n) = -3*n - 24. Let u be o(-13). Solve w*f + f = -u for f.
-5
Let u(w) = w**2 + 17*w - 13. Let z be u(-18). Solve 3 = z*i - 2 for i.
1
Let o(m) = -m**2 - 8*m - 7. Let z be o(-6). Solve -z*n + 28 = 3 for n.
5
Suppose 0 = -2*d + 2*h + 7 + 3, 25 = 5*d - h. Let x(l) = 3*l - 12. Let r be x(5). Suppose k - r*b + 10 = 0, -2*k = 3*k - 2*b - 15. Solve k*n + d + 5 = 0 for n.
-2
Let l = 19 + -15. Suppose l*u - 8 = 3*r, -4*r + 5*u - 5 - 4 = 0. Solve -3*n - r + 10 = 0 for n.
2
Let m(a) = -a + 6. Let n = 15 + -11. Let v(g) = g + 1. Let r be v(n). Let b be m(r). Solve 0 = -o + b - 3 for o.
-2
Suppose 3*y - 39 - 21 = 0. Suppose 5*j = 3*j + 10, -4*f - y = -4*j. Suppose f = 5*a - 14 + 4. Solve 3 + a = -k for k.
-5
Suppose 0 = -3*y - 3*c - 30, -4*y + 3*c - 7 = 5. Let m be 42/y*4/(-14). Suppose 0 = -2*p + 8 - m. Solve 2*a + 5 = -p*a for a.
-1
Suppose -4*w + 0 - 2 = 5*c, -5*c = -3*w + 16. Let d be (6/(-15))/(c/60). Let u be (-12)/(-5) - 4/10. Solve a = -u*a + d for a.
4
Let g(f) = -f**3 - 2*f**2 + f - 2. Let k(q) = q**2 - 5*q - 3. Let i be k(5). Let h be g(i). Let o be (-1)/h - 68/(-16). Solve 0*j + o*j = -8 for j.
-2
Suppose 0 = -4*z - z + 30. Solve -2*w + z = -0 for w.
3
Suppose -2*a + k + 3*k = 4, -a - 2*k + 10 = 0. Let r = a - 4. Suppose 3*v - 3*y - 3 = 0, 3*y - 5 + 2 = 0. Solve r = v*g + g - 12 for g.
4
Let d be (-530)/(-45) - 2/(-9). Suppose -4*m + 2*j = 6, -8 = -5*m - 3*j + d. Let l be m - 2 - (-1 - 2). Solve -l*c = 2*c + 20 for c.
-5
Suppose 8 = 30*w - 26*w. Solve 0 = -4*s - w - 6 for s.
-2
Suppose -13*l = -16*l. Solve l*q - 3 = q for q.
-3
Suppose 4*f + 5*p = 2*f, -2*p = 5*f. Solve -3*o + f = -3 for o.
1
Suppose -275 = -9*j - 2*j. Suppose 0 = -2*y + 3*y - 4. Solve y*l = -l - j for l.
-5
Suppose 2*z + 22 = -0*f + 2*f, -4*z - 16 = 0. Let a = -18 + 19. Solve 2*g + f = a for g.
-3
Let q = -222 + 227. Let n be ((-6)/(-5))/((-2)/(-10)). Let f be (-14)/(-3) - (-2)/n. Solve 0 = -2*t + f + q for t.
5
Let m = 0 - 13. Let q = m + 13. Solve -y + 4*y - 3 = q for y.
1
Let d(g) = -g**2 - 8*g - 7. Suppose 4*o - o = -18. Let w be d(o). Let j(x) = -x**2 + 10*x - 10. Let z be j(8). Solve -w*p + 3*p = -z for p.
3
Suppose z + 0 = -1. Let c = 5 - z. Solve 0 = -5*f + c + 9 for f.
3
Let c be -2 + (-2 - -1 - -7). Suppose 0 = -c*h + 21 - 1. Suppose j + 2*j - 5 = h*b, 0 = -j - 2*b - 2. Solve j*t = -5*t - 25 for t.
-5
Let f(b) = -b**2 + 9*b + 12. Let d be f(10). Let p(m) = -m + 7. Let u be p(0). Solve q - d = -u for q.
-5
Let f(p) = p - 12. Let a(s) = -2*s + 23. Let w(v) = -6*a(v) - 11*f(v). Let k be w(6). Solve k = 2*u - 3*u - 1 for u.
-1
Let t be ((-4)/(-8))/(2/12). Suppose -t*b - 13 = 2*k, 5*k = -3*b - 2*b - 20. Suppose 2*h - k - 3 = 0. Solve 0 = -h*s - 3 + 1 for s.
-1
Let y = -19 + 24. Solve 6 = y*s + 1 for s.
1
Suppose -q - 4*g = 9, -7*g = -2*g + 10. Let l = 7 - q. Solve -4 = -4*r + l*r for r.
-1
Let v(d) = d**2 + 5*d + 7. Let p be v(-3). Solve 5*z + p = 6 for z.
1
Let r(m) = -m**3 - 11*m**2 - m - 6. Let h be r