*l - 6 - 6 for l.
-4
Let b = 2 + 6. Let i(l) = -2*l + 19. Let o be i(b). Solve 0 = o*s - 0*s for s.
0
Let v(k) = -7*k**2 - k. Let g be v(1). Let c = g + 10. Suppose 3 = s - 2*s, -4*f = 3*s + 9. Solve f = c*r + 4 for r.
-2
Let d(r) = 3*r - 4. Let m be d(3). Solve -2*p - m = 3*p for p.
-1
Let v = -4 - -9. Suppose -3*i - 3*o + 31 + 35 = 0, -v*i - 3*o = -106. Solve 3*d + 5 = i for d.
5
Suppose 2 + 1 = 3*o - 3*v, 0 = 4*o + 3*v - 32. Suppose 30 = 5*t - o. Solve -5 = 3*i + t for i.
-4
Let t(d) = -d - 4. Let l be t(-9). Suppose -l*q = 7*s - 3*s - 20, -15 = -3*q - 3*s. Solve 5*v = -q*v + 20 for v.
4
Suppose -5*m + 4*y + 12 = 0, 3*m + 4 = 2*m + 4*y. Suppose -3*d - m*v = -26, -3 = v - 5. Solve -d*w + 15 = -w for w.
3
Let x(z) = 9*z - 3. Let q be x(2). Solve 0 = -s - 2*s - q for s.
-5
Suppose -72 = 5*u + h, u + 4*h = -u - 18. Let g = u + 35. Solve -6*b + g = -b for b.
4
Let w be 12/18*3/2 + 1. Solve w*q = q for q.
0
Suppose -2*d - 2*d = d. Solve d = j - 4 - 1 for j.
5
Let a(z) = 3*z + 2. Let d be a(-2). Let l be (-3)/6 + (-22)/d. Suppose p = l*p. Solve -5*m + 0*m + 25 = p for m.
5
Let d be (3/2 + 1)/((-27)/(-54)). Solve d = -x + 1 for x.
-4
Suppose -2*k + 0 = 14. Let c = -4 - k. Let f be (-1 + 1)/c + 2. Solve f*g - 6 = -g for g.
2
Let c be ((-56)/(-42))/(1/3). Solve -2*w - 4 = c for w.
-4
Suppose -9*j = -4*j - 60. Solve -j = 3*n - 0*n for n.
-4
Let v be ((-18)/4)/(1/(-2)). Suppose 0 = k + 2*k - v. Solve 0 = b + k for b.
-3
Suppose 4*p = 2*r - 4, -7 = 4*r + 3*p + 7. Let h be 5/(2/(2 - r)). Solve 9*k + h = 4*k for k.
-2
Suppose 0 = 7*y - 2*y. Solve y = -i + 2*i for i.
0
Suppose 0 = -3*v - w - 0*w + 7, 17 = 3*v - w. Solve 3*y - v*y = 0 for y.
0
Suppose -2*t - 10 = z, 5*z - 3*t = -3 + 18. Solve z = 3*d + 2*d - 10 for d.
2
Let l be 20/6*(-15)/(-10). Suppose -l*c + c = 0. Solve c = 2*f - 7 - 3 for f.
5
Let s = -4 + 6. Let i be 8*(2 - 3/s). Solve 3*l + i = 1 for l.
-1
Let v(o) = o**3 + o**2 + o + 1. Let s(a) = -5*a**3 + a**2 - 4*a - 4. Let r(i) = s(i) + 4*v(i). Let g be r(5). Solve 2*n - 1 - 7 = g for n.
4
Suppose 0 = 3*m - 6*m + 60. Let o(u) = -13*u + 12*u + 8 - 1. Let n be o(3). Solve n*i + m = -i for i.
-4
Let r(p) = -p**2 - 2*p + 21. Let v be r(0). Suppose 22*i = v*i. Solve -1 = m - i for m.
-1
Let i be 0/(-4*(-2)/8). Solve -2*h + 0*h + 4 = i for h.
2
Let d(w) = 2*w - 3. Let r be d(3). Let o be ((-8)/r)/((-4)/6). Suppose 4*n = h + 39 - 2, 2*n + o*h - 32 = 0. Solve -5*k - n - 15 = 0 for k.
-5
Let s be 1/4 - 50/40. Let x be (-4)/s - 0 - 1. Solve -x*w = 2*w - 5 for w.
1
Let o be (4 + -3 - -4) + -2. Suppose 4*a - 3 = -p, -3*a + p + o*p = -26. Solve -a*f = -6 + 2 for f.
2
Let m(a) = -a - 6. Let q be m(-10). Solve 3*h + 1 - q = 0 for h.
1
Let u = -40 - -42. Solve u*i - 7*i = 0 for i.
0
Let h be 2 + (0 - 2) - -3. Suppose 4*t - 13 = -d, -3*d = -0 - h. Suppose 8 = 3*r - 4*x, 0 = -t*r - r + 3*x + 13. Solve -i = i + r for i.
-2
Suppose -5*s = -9*r + 4*r - 30, -3*r - 28 = -5*s. Solve 0 = s*d + 7 + 13 for d.
-4
Suppose 6*a = -5*t + 3*a - 7, -4*a - 17 = -t. Solve k - t = 2*k for k.
-1
Let t = -60 + 67. Solve 0 = t*q - 2*q - 25 for q.
5
Let m(w) = -2*w + 1. Let c be m(-1). Let d be (-15)/c + 3 + 7. Solve -b + 1 = d for b.
-4
Suppose -g - i + 4 = -0*g, 4*g = 4*i. Solve l + 6 - g = 0 for l.
-4
Let o(s) = s - 2. Let d be o(6). Let p be 45/12 - (-1)/d. Suppose 2*c - 30 = -4*k - 0*k, -p*c - 5 = -5*k. Solve l = k*l for l.
0
Suppose -60 = -5*l - 0*l. Suppose -11 + 5 = -3*v. Let k = v - 2. Solve k*b + 4*b = l for b.
3
Let c(y) be the first derivative of y**3/3 - 6*y**2 + 4. Let b be c(12). Solve -h + 2 + 3 = b for h.
5
Let s be (-16)/(-8) + (0 - 4). Let t(r) = -r**3 - 3*r**2 - 3*r - 2. Let c be t(s). Solve m = -c - 1 for m.
-1
Let i be (-4 - -1) + 0 + 5. Solve x = i*x for x.
0
Suppose -l + 1 = -1. Suppose -6 = l*g - 14. Suppose -8 = -2*q, -2*m + 12 = -6*m + 3*q. Solve 16 = -g*f - m for f.
-4
Let y = 5 - 2. Suppose 16*b - 13*b = 12. Suppose 8 = o + o - 2*m, 2*o - b*m - 6 = 0. Solve y*c - 10 = o*c for c.
-5
Let a(q) = q - 1. Let z be a(1). Let g be (3/(-6) - 0)*z. Solve g = 2*b - 6*b - 16 for b.
-4
Suppose -k - 10 = -4. Let y be (-6*3/k)/1. Solve l - y + 0 = 0 for l.
3
Let r be (-7)/(42/4)*-6. Suppose k + a - r = -k, -2*a = 2*k. Solve -15 = -t + k*t for t.
-5
Suppose -3*m - 2*t + 35 = 0, -2*m - 7*t + 3*t + 10 = 0. Solve -m = -4*s - s for s.
3
Suppose -5*l - 30 = -5*r, 2*l = -0 - 2. Solve 0*x + r*x + 20 = 0 for x.
-4
Suppose -y + 5 = 1. Suppose 4*p - 6 + y = 2*n, -n - 4*p = -11. Solve 0 = -w - n + 6 for w.
3
Let n(g) be the second derivative of g**3/6 + 4*g**2 - 2*g. Let k be n(-5). Solve 0 = 2*a - k*a - 2 for a.
-2
Let g be -2*6/8*-2. Solve -o + g*o - 6 = 0 for o.
3
Let n = 2 + 0. Suppose 3*i - 22 = -4. Solve i = -n*k - k for k.
-2
Let y(k) = k**2 + 2*k - 3. Let z be y(-4). Suppose 0 = -n - 0 + 5. Suppose -n*m + 10 = -0. Solve -m*b + 7*b + z = 0 for b.
-1
Suppose -4 = -h + q, 5*h + 0*q - 2*q - 26 = 0. Solve 3*g = h*g + 12 for g.
-4
Let b(a) = -3*a**2 + 5 - a**3 + 5*a + 2 - 1. Let i be b(-4). Solve -3*s = -4 - i for s.
2
Let j = 5 + -5. Suppose 0 = -4*i - 12, 2*s - i + j*i - 7 = 0. Solve s*h - 2 = -0*h for h.
1
Let o = -9 - -13. Solve 0*q - 8 = o*q for q.
-2
Let d = 55 - 51. Solve 2*t - d*t = 2 for t.
-1
Let q be (-5)/(5/(-3)) + -2. Solve -2 = -3*k + q for k.
1
Let p(b) = -b**2 + 6*b - 3. Let m be p(5). Let q(h) = h**2 + 9*h - 6. Let a be q(-10). Suppose -m*f = a*c - 34, -f + 6 + 6 = -3*c. Solve -3*v = 2*v - f for v.
3
Let q = 19 + -17. Suppose 0 = -2*j - 3*j + 105. Suppose -3*r + j = -39. Solve -q*z - r = -6*z for z.
5
Let p(i) = 2 + 4*i + 1 - 12*i**2 + 11*i**2 + 4*i. Let s be p(8). Solve 6 = s*y - 3 for y.
3
Suppose 15 = 3*i, -b - i = 4*b - 10. Solve 5 = -2*y + b for y.
-2
Suppose 6*m - 5 = 19. Solve 5*j = m + 16 for j.
4
Suppose -i = -4*i + 6. Let f(o) = o**3 + 3*o**2 + 2*o + 2. Let q be f(-2). Solve 3*b - i*b = q for b.
2
Suppose -3 - 2 = -2*h + 5*g, 3*g + 15 = 0. Let s = 16 + h. Solve -u + s*u = -25 for u.
-5
Let n be (36/15)/(8/20). Solve 0*m + 3*m = n for m.
2
Let m = 3 + 3. Let s = 5 - m. Let q = 1 - s. Solve p - 9 = -q*p for p.
3
Suppose -3 = -2*g + 3, h = -4*g + 12. Suppose t = 15 - 0. Suppose h = -5*j + 5, -4*x - j + 2 = -t. Solve 2*p - x = 6 for p.
5
Suppose 0 = u + 2*h - 13, -4*u = -3*u + h - 9. Suppose -5*s - 14 = -4*k, 6*k - u*s = 3*k + 8. Solve -d - k = -1 for d.
-5
Let w be (3/9)/(3/90). Solve -w = 2*p - 4*p for p.
5
Suppose 416*o - 415*o = 11. Suppose -3*y = 5*i + 10, 4*y + 0*y - i = 25. Solve -y*k - o - 4 = 0 for k.
-3
Let h = 7 - 5. Suppose -t - 19 = -3*q, -3*t = -8*t - 5. Suppose h*o = -o + q. Solve -o = -u - 1 for u.
1
Let q = 91 + -89. Solve q*h - 2 + 4 = 0 for h.
-1
Let h = 48 + -45. Solve -n = -h*n - 6 for n.
-3
Suppose -b - 4 = -14. Solve -5*y + b = -3*y for y.
5
Let r be (-12)/4*(-8)/3. Let s be 4/3*(-3)/(-2). Solve -s = 5*c + r for c.
-2
Let n = 0 - 3. Let w = 5 + n. Let s be (w - (-2)/1) + -1. Solve s*b = b for b.
0
Let w(b) = -b**2 - 10*b - 3. Let d be w(-6). Solve d - 1 = 5*r for r.
4
Let l(q) = -2*q - 6. Let n be l(-3). Solve -3*x + n = 3 for x.
-1
Suppose -5*v + 4*v - 4*b - 17 = 0, -10 = 2*b. Solve -v*q = -q - 4 for q.
2
Let a(o) = 4*o**2. Let v be a(-2). Let c = -18 - -19. Suppose -2*z + 11 = 1. Solve v - c = -z*y for y.
-3
Let d be 532/36 - 4/(-18). Suppose -1 = -l - n, -l + 6*n = 4*n - 4. Solve -h - d = l*h for h.
-5
Suppose -7*c = -2*c - 15. Suppose c*d + 0 = 15. Let v(q) = q**3 - 6*q**2 + 6*q - 2. Let y be v(5). Solve d = -y*l + 4*l for l.
5
Suppose 8 = 5*x - 12. Suppose -3*c + f + x = -4, 2*c + 2*f = 0. Suppose -20 = 5*z, -3*z = -0*r - c*r + 12. Solve r*s - 2*s = 4 for s.
-2
Let s be (-14)/(-35) - 18/(-5). Solve -3*w + s*w = 5 for w.
5
Let s(u) be the first derivative of -u**4/12 + 3*u**3/2 - 3*u**2/2 + 3*u + 2. Let o(x) be the first derivative of s(x). Let b be o(8). Solve 0*q = b*q for q.
0
Suppose 0 = 2*p - 5*p + 15. Solve 1 + 4 = p*a for a.
1
Suppose -4*y + 4 = -2*g, 3*y + 0 - 12 = -3*g. Solve -5 = y*k + 3 for k.
-4
Let u(n) = 20*n**2 + n + 1. Suppose -6*m - 5*k = -m + 15, -5*m - 11 = 3*k. Let s be u(m). Solve -6*f + 2*f + s = 0 for f.
5
Let j(y) = -y**3 - 4*y**2 - 2*y + 2. Let g be j(-2). Let t(o) = -o**3 - 2*o**2 - 3*o. Let u be t(g). Solve 5*b = 2*b + u for b.
2
Let v be 2/(-1 - -3) + 3. Suppose -v + 24 = -4*q. Let u(y) = y**3 + 5*y*