lve 0 = 5*k - l - 13 for k.
5
Let m(q) = q + 2. Let c be m(-2). Solve c = w + 3*w + 12 for w.
-3
Suppose -2*b - q - 1 = -0, -4*q - 18 = b. Suppose -6 = 2*a - 4*a. Let w = a - b. Solve -z - w = -0*z for z.
-1
Let b = 114 + -111. Solve 0 = -d + b*d for d.
0
Suppose -2*r + 52 = 3*r - 3*b, -b - 44 = -5*r. Suppose -16*s + 17 = -143. Solve -r*l + 3*l = -s for l.
2
Let p = 15 + -10. Suppose -4*w = -2*o - w + 2, -p*o + 3*w = -14. Let j be 4/(-8) + 22/o. Solve 0 = j*m - m + 4 for m.
-1
Let a = -21 + 32. Let b = -8 + a. Solve -7*f + b*f = -20 for f.
5
Let p = 3 + -1. Suppose -3*t - p = 5*l, -l - 13 - 21 = -5*t. Solve -1 + t = c for c.
5
Let v = 42 - 39. Solve -g + 8 = -v*g for g.
-4
Suppose -5*l + 5*m + 15 + 0 = 0, -3*m = -4*l + 13. Let o(i) = -i**3 - 4*i**2 + 3*i - 5. Let z be o(-5). Let n = z - l. Solve -w - n - 3 = 0 for w.
-4
Let j(n) = 5*n**2 - 3*n + 5. Let w be j(2). Solve -1 = 4*u + w for u.
-5
Let g = 16 - 10. Let j(x) = -x**3 + 5*x**2 - x - 4. Let v be j(3). Suppose w - z = -w + v, 5*z + 20 = 3*w. Solve -g = -w*d - 1 for d.
1
Suppose -3*f = -5*c - 12, 3*c + 3*f + 2*f = 20. Suppose v - 3*v = c. Solve 5*g = -v*g + 15 for g.
3
Let u(m) = -m**3 - 5*m**2 - 4*m + 1. Let i be (-44)/12 - (-1)/(-3). Let j be u(i). Let d be (-2)/j*(-10)/4. Solve 0 = -0*a - d*a + 15 for a.
3
Let h be (-8)/(-6)*12/8. Let t = -10 - -10. Let y = t + h. Solve 6*s = y*s + 4 for s.
1
Suppose -3*h + 19 = 4. Let a be 34*(-1)/(-4)*2. Suppose a - 2 = 3*g. Solve -h*m = -0*m + g for m.
-1
Suppose -f = -5*r - 19, f + 5 = 2*f + 2*r. Let u be 9*(8/(-6))/(-2). Solve 3*s - u*s = f for s.
-3
Suppose -2*m + 2*q + 4 + 0 = 0, m = 2*q + 4. Suppose -3*b + 3*a + 3 = m, -b - 3*a = 4*b - 29. Solve b*l - 25 = -l for l.
5
Suppose -17 = -2*m - 7. Let v(q) = -q**3 - 6*q**2 - q + 1. Let h be v(-6). Solve -m*o - 2 = -h for o.
1
Suppose 2*r - 4*a = 22, 0*r + 2*r + 2*a - 28 = 0. Suppose 0 = -2*t - 0 + 2. Solve 3*i + r = t for i.
-4
Let x be (-8)/((-64)/33) - (-3)/(-24). Solve -x*l = -9*l + 20 for l.
4
Let o be 4/(-18) - ((-42)/(-54) - 5). Solve -o*i = i - 20 for i.
4
Let r be (-1 + 0)/(2/(-4)). Suppose 4*j = -5*u - 5, -u + 2*u = -r*j - 7. Suppose -5*z - 4*b - 14 - 6 = 0, 2*z - 4*b = 20. Solve z = -u*k + k for k.
0
Let a be ((-4)/12)/((-1)/12). Let w(v) = v**3 - 2*v**2 - v + 2. Let n be w(2). Let b = n - 0. Solve b*s + 4*s - a = 0 for s.
1
Let z be ((-2)/(-6))/((-2)/(-30)). Let j(v) = -v**3 + 6*v**2 - 4*v - 4. Let m be j(5). Suppose -2*q = 3*q - 20. Solve -m + z = q*h for h.
1
Let j = 7 + -7. Solve j*d - 3 = -3*d for d.
1
Suppose 4*w - 21 + 5 = z, -w + 4 = 5*z. Let l be (-1)/(4/(-16) + z). Solve -l*n + 3 = 23 for n.
-5
Let u be -1*1/(-2)*0. Let b = 50 + -50. Suppose 37 = 5*q + r - 4*r, -r = 4. Solve u = -c - b - q for c.
-5
Suppose -28 = -2*k + 4*w, -5*k + 3*w + 35 = -0*k. Solve 0 = -l + 5*l - k for l.
1
Suppose 0 = -2*b + 10, 4*l - 31 = b - 4*b. Suppose 0*a = l*a - 4. Solve 2*i - a = 5 for i.
3
Suppose -5*a = v - 9, 3 = -a + 2*a - v. Let b be 5 - (-1 + (3 - -1)). Solve -a*y = -0*y - b for y.
1
Suppose 5*p - 15 - 5 = 3*r, 0 = 4*r + 3*p - 12. Suppose x + 0 - 2 = r. Solve x*y = -y - 3 for y.
-1
Suppose -x + 2 = -2. Solve x*c = -0 - 12 for c.
-3
Let d(r) = -4*r**3 + 6*r**2 - 5*r. Let c(w) = 7*w**3 - 11*w**2 + 9*w. Let n(s) = 3*c(s) + 5*d(s). Let g be n(3). Solve -4*h + 10 = -g for h.
4
Suppose -2*c = -h + 12, -3*c - 5 - 10 = 0. Suppose -2 = 3*a + 2*q, 2*a + h*a - 5*q = 28. Suppose -a*u + 5 = -3. Solve -u = -p - 0 for p.
4
Suppose -b - 2*b + 9 = 0. Solve -b*j + 7 = -2 for j.
3
Let i(o) be the second derivative of -o**5/20 - 2*o**4/3 - 3*o**3/2 - 4*o**2 + 4*o. Let x be i(-7). Solve -4*l + x + 10 = 0 for l.
4
Let j be (1 + 0)*(-7 - -1). Let n be (-3)/(4/(j - 2)). Solve -5*v + n = -14 for v.
4
Let q be 0 - (-3)/((-6)/(-4)). Suppose n + 0*n = q. Let d be 2 - (n - -1 - 2). Solve -d = -3*j + 8 for j.
3
Suppose -2*m + 3 = -1. Let h(t) = -7*t**3 - 2*t**2 + 2*t + 3. Let k be h(-1). Solve 0 = i + k - m for i.
-4
Let w be 2/7 - (-8)/(-28). Solve 12*f - 9*f + 12 = w for f.
-4
Suppose 4*l = 6*l. Let j(w) = -4*w**2 - 9*w - 6*w**2 - w**3 + l*w**2 + 5. Let h be j(-9). Solve -h*z = 35 - 10 for z.
-5
Suppose 3*q + 4*l - 24 = 0, 4*q = -3*l - l + 28. Solve 0*c - q*c = 8 for c.
-2
Suppose c = -9 + 3. Let w(g) = g**2 + 6*g. Let z be w(c). Solve z = s - 5*s - 20 for s.
-5
Suppose -2*d = -4*i + 42, -2*i + 4*i - 6 = -2*d. Let z = i + -6. Suppose 0 = z*a - 0 - 6. Solve a*w = -2*w + 25 for w.
5
Let u = 2 - 3. Let j be 3 + (-1 - (-2 - u)). Solve 10 = -j*q - 5 for q.
-5
Suppose -3*h = -25 + 7. Suppose -3*c + 2*m = -h, m + 14 = 5*c - m. Let b be 16/10*(-30)/(-12). Solve -c*r = -4 - b for r.
2
Suppose 3*p - 2*p = 1. Let y be -4 + (0 - (1 + p)). Let o be (y/(-4))/((-2)/(-12)). Solve 0 = -2*s + 3 - o for s.
-3
Let v(b) be the second derivative of -b**4/12 - 7*b**3/6 + 7*b**2/2 - b. Let d be v(-9). Let r = -6 - d. Solve 2*n - n - r = 0 for n.
5
Let d = 21 + -16. Solve 0 = d*v + 9 + 11 for v.
-4
Suppose 0 = -5*z + 37 - 12. Solve 9 = z*c - 2*c for c.
3
Suppose 14*r + 9 = 17*r. Solve 4*t + r = 23 for t.
5
Let u(o) = o**2 + o - 16. Let g be u(-5). Solve 3 = -m + g*m for m.
1
Let k be -1 - (-1)/((-3)/(-6)). Let j be 4 + 18 + (-1 - k). Suppose -2*d = -j - 12. Solve -3*u - u = -d for u.
4
Suppose 0 = 6*n - 2*n - 12. Suppose -d - n*j + 20 = 8, -4*j = -4*d. Solve 0 = -z + 2 - d for z.
-1
Suppose -9 = 5*x - 24. Solve x*n + 3 + 0 = 0 for n.
-1
Suppose 0 = 2*j - 2*z - 14, 9 = j - 3*z - 0. Suppose i + 250 = j*i. Suppose 2*n + 4*c - i = 0, -2*c - 75 = -2*n - 25. Solve 5 - n = -5*p for p.
4
Suppose 3*x = 4*x. Let f(g) = g**3 - 7*g**2 - 10*g + 16. Let m be f(8). Let b = m + x. Solve 12 = -4*r - b*r for r.
-3
Let l be 0/1*1*-1. Suppose -5*s + 3 = -p + 4, 0 = -5*p - 2*s + 5. Suppose -3*i + 5 = -p. Solve i*f - f + 3 = l for f.
-3
Suppose 24 = 17*o - 27. Solve 0 = 3*v - 2*v - o for v.
3
Let r be 10/(-5) - 7*-1. Solve -3*x + 10 = -r for x.
5
Let l be -2*-6*(-2)/(-8). Suppose 26 = 4*o + 2*x, -4*o + 5*o + 6 = -l*x. Solve -4*f = -o*f for f.
0
Let p(b) = -b**2 + 5*b - 2. Let y be p(3). Suppose y*j = 5*j - 3. Suppose j*q - 19 + 5 = m, 0 = 5*m + 25. Solve u + 16 = -q*u for u.
-4
Suppose 5*i - 3*v - 9 = 0, 3*i + 5*v + 20 = 5. Solve j + 5 = -i*j for j.
-5
Suppose -2*d - 8 = -4*d. Solve 0 = -d*z - 10 - 2 for z.
-3
Let x be (120/70)/((-4)/(-14)). Suppose 7 - x = u. Suppose -4*j + 0 = -8. Solve j*t = -7 + u for t.
-3
Let s = 12 - 6. Suppose 5 = i + 1. Suppose -i*z + z + s = 0. Solve 5*x = -8 - z for x.
-2
Let n be (1 - 1)/((-1)/1). Let k be -21*(1/(-3) + n). Solve 0 = -k*c + 2*c for c.
0
Let m = -11 + 16. Suppose z - 5 = -2*h + 6, -3*h + m*z = 16. Let w be 2/h*(-30)/(-4). Solve -w*r + 3 - 28 = 0 for r.
-5
Let i be (0 - 28/4)/1. Let y(v) be the second derivative of -v**4/12 - 3*v**3/2 - 9*v**2/2 + v. Let w be y(i). Solve w*l = -8 - 12 for l.
-4
Let i(u) = u**2 + 12*u - 18. Let y be i(-14). Let l = y + -5. Solve -10 = -l*w - 5 for w.
1
Suppose 2*i - 6 - 12 = -4*f, 0 = 2*f + 3*i - 11. Suppose -c - s = -5, 2*c - f*c + 5*s = 25. Let p(w) = 2*w**2 - w. Let a be p(2). Solve -d + a*d = c for d.
0
Suppose 6*a - 4*a + 5*i = -5, 0 = 3*a - i - 1. Let p be 2*(-2 - -2*2). Let c = p + a. Solve -1 - c = -n for n.
5
Suppose 3*a + 5*z + 25 = 0, -20 = 5*a - 4*a + 4*z. Solve a = -3*l - l + 20 for l.
5
Let m be (-13 - -3)*(-1)/2. Suppose x + m = 11. Suppose -3*t + t = -x. Solve n = -2*n + t for n.
1
Let b(u) = u**2 - 4*u - 1. Suppose 2*y - 10 = 2*l, -15 = -3*y - l + 2*l. Let z be b(y). Solve 0 = -z*g + 11 + 5 for g.
4
Suppose 4*b - 4*u = 5*b + 12, -3*b + 29 = -u. Solve b = 3*i - i for i.
4
Suppose 3*c - 3*t + 4*t - 27 = 0, -21 = -3*c + t. Let h = c + -4. Solve -6 = h*o - 2*o for o.
-3
Let w be (9/4)/(3/(-24)). Let a be (-40)/w - (-8)/(-36). Suppose -a*v = -0*v + u - 9, 4*u + 3 = 5*v. Solve -v*b = 2*b + 5 for b.
-1
Suppose -5*c + 21 = -2*n, 0*c = 2*c - 4*n - 2. Solve 0 = -c*z + 3*z for z.
0
Suppose 3*o + 0*o + 3*a - 3 = 0, 11 = o - 4*a. Suppose 4*n - 6 - 6 = 0. Solve -o*w = -n - 0 for w.
1
Suppose -4*w + 12 = -0*w. Let q = -2 - -5. Suppose -w*o = q*c + c - 3, -5*c + o + 18 = 0. Solve 4 = c*h + h for h.
1
Suppose 3*a - 1 - 17 = 0. Let u = a + -3. Suppose -5*d = -u*q - 3, 0 = -3*q - 0 - 3. Solve d = -4*i + 2 + 18 for i.
5
Let s = -17 + 27. Solve 3*w = -1 + s for w.
3
Let l(y) = y**3 - 12*y**2 