*l = -10 for l.
-2
Suppose -5*v + 3*w + 60 = -w, -5*v + 20 = 4*w. Suppose 0 = -3*b + 2*p + 6 + 4, v = -b - 5*p. Solve i + 9 = -b*i for i.
-3
Let h(v) = -v**3 + 7*v**2 - 6*v. Let j be h(6). Solve j = -0*u + u + 5 for u.
-5
Let f(a) = a**3 - 3*a**2 + 2*a + 2. Let v be f(2). Suppose 0 = -2*w + 4, 4*b - 5*w + 4*w - 6 = 0. Solve -p + v = -b for p.
4
Let a(l) = 2*l**3 - l**2 + l. Let m be a(1). Let d be 5/(-25) + 168/(-10). Let r = 26 + d. Solve o + m*o = r for o.
3
Let n = -30 + 45. Solve 3*b + 0*b = n for b.
5
Let x(i) = -2 + 2 + i. Let w be x(4). Suppose 0 = -c + 5*c - w*z - 100, 0 = -2*z. Solve 6*p = p - c for p.
-5
Let v = -4 - -8. Let k = 5 - 5. Suppose k - 3 = -t, -t - 3 = -3*r. Solve v - r = g for g.
2
Suppose -2 = -2*k + 12. Let y = k - 5. Let x be (-13)/(-5) + y/5. Solve -x = 5*n + 12 for n.
-3
Suppose f + 30 = 6*f - 5*h, 4*f + h - 19 = 0. Suppose -f*a + 2*x = 4*x - 6, 2*x = -4. Solve -w = -a*w for w.
0
Let n(p) = p + 33. Let q be n(-18). Let r be q - (-1 + 6 + -4). Solve r = -5*s + 39 for s.
5
Let w(k) = k**2 + 4*k + 3. Let r be w(-4). Solve 2*u = r*u for u.
0
Suppose 360 = -5*y + 90. Let q be ((-1)/3)/(3/y). Solve 2*s = q*s + 16 for s.
-4
Let y(q) = q**3 - 12*q**2 + 4. Let r be y(12). Solve -4 = -5*z + r*z for z.
4
Let a be (2/5 + -1)*5. Let i be a/(0 - (0 - -1)). Solve 0 = i*k + k - 8 for k.
2
Suppose 3*t + 0*t = 15. Suppose t*z - 3*s + 0 + 5 = 0, -z - 2*s = -12. Solve z*p = 4*p for p.
0
Suppose -2*p + 21 = -4*z - z, 4*p + 3*z - 3 = 0. Solve 2*u - 4 = p*u for u.
-4
Let c(x) be the third derivative of x**6/120 - x**5/12 + x**3/2 + x**2. Let n be c(5). Solve -n*j - 15 = -6*j for j.
5
Let l = -11 + 12. Suppose -2*o - 45 = -5*s - 5*o, s = o + l. Solve 0*a = -2*a - s for a.
-3
Suppose -2*x + n = 0, x + 4 = -3*x + 3*n. Suppose -68 = -4*l + 4*b, l - 41 = -3*l - 5*b. Suppose l = 5*f - 3*f. Solve -f*h = -x*h - 25 for h.
5
Let v(x) = x**3 - x - 5. Let j be v(0). Let m = j - -10. Solve -26 + 1 = m*z for z.
-5
Suppose 0 = 2*l + 5*w - 17, -5*l + 27 = 3*w - 44. Solve 2*p = 6*p - l for p.
4
Let w = 2 - 0. Let q = 273 - 258. Solve -w*b + 5*b - q = 0 for b.
5
Let c(j) = j**2 - 6*j - 3. Let n be c(7). Suppose 0 = -n*s + 8 + 8. Solve -2*z + s*z = 6 for z.
3
Suppose 0 = 4*a + 5*b - b - 36, -2*a + 4*b + 12 = 0. Suppose -2 = -2*x - i, -i - a - 8 = -4*x. Let r be 0/1*(2 + -1). Solve 6 = x*t - r for t.
2
Suppose 0 = 17*x - 16*x. Solve -3*s + 2*s - 4 = x for s.
-4
Let j be (-15)/5 + (-6)/(-2). Suppose 3*u + 0*u - 36 = j. Solve y = 4*y + u for y.
-4
Suppose -46 = 4*y + 42. Let k be (-158)/y - 6/33. Suppose 8 = 2*n - 3*m - k, m = 4*n - 5. Solve p + 3*p = n for p.
0
Let x be (126/(-24))/((-3)/8). Suppose 3*z = -5*c + 1, -5*z + 2*c = -2*c - x. Solve z*q + 9 = -1 for q.
-5
Suppose 1 - 1 = -a. Let x be (-6)/15 - (-84)/10. Suppose 3 = -n + x. Solve a = 4*p + p + n for p.
-1
Let j be 32/(-80) + 17/5. Solve -1 = j*k - 4 for k.
1
Let p be (-2)/1 + (4 - 2). Suppose -4 = -d - p. Suppose -6 = -5*s + d. Solve 4 = -0*t + s*t for t.
2
Suppose -5*k - 18 - 22 = -5*x, -3*x - 3*k = 6. Suppose 0 = -5*g + x*c + 6, -3*g + c = -4*c - 10. Let u = -3 - -5. Solve g = -u*h - 0 + 8 for h.
4
Let g(f) = f**3 - 7*f**2 + 7*f - 6. Let p be g(6). Let a be 4/(-18) - (-40)/18. Let j be 4/5*15/a. Solve p = -2*r + 5*r - j for r.
2
Let n = -4 - -7. Suppose v + 3 = t, 4*t - 13 = -n*v + 6. Let i = 4 - v. Solve o + i = -2*o for o.
-1
Suppose 0*t + 3*t - 45 = 0. Suppose 2*q - 6 = -q + f, -5*f = -t. Let u(h) = 6*h**3 - 2*h**2 + 1. Let b be u(1). Solve q*n - b = -20 for n.
-5
Suppose -22 = -2*i + g - 2*g, 5*g = -5*i + 60. Solve -6*p - i = -p for p.
-2
Let j = 43 + -34. Solve 3*h + 3 + j = 0 for h.
-4
Let d be -3 + (-12)/(-3) + -3. Let t = 10 + -15. Let g = d - t. Solve 0 = g*b + b - 12 for b.
3
Let d be 12/(-16) + (-1)/4. Let m = -11 + 8. Let a = d - m. Solve -y = -a*y + 5 for y.
5
Suppose n = 6*n - 5. Let b be 1/(-1 + n - -1). Solve -b = -y - 4 for y.
-3
Let s(u) = -u - 4. Let y be s(8). Let k be (y/18)/((-1)/(-3)). Let h be (k - 1)/((-6)/4). Solve h*d = 4*d + 4 for d.
-2
Let b(q) = -q - 1. Suppose 25 = -9*l + 4*l. Let s be b(l). Solve s*j + 11 = 3 for j.
-2
Let r(d) = -d**3 + 10*d**2 - 8*d - 6. Let m be r(9). Solve 3*j + 18 = m for j.
-5
Let w be -1*(-2 + -1) - 1. Let g be 9/5 + w/10. Let a = -44 - -47. Solve -g*q - a*q = 20 for q.
-4
Let g(o) be the third derivative of o**5/60 - o**4/24 - o**3/3 - 2*o**2. Let b be g(2). Let f be (-2 + b)/1*-1. Solve 0 = -f*u + 2 + 6 for u.
4
Let n be 3 - 5 - 2/(-1). Solve -4*v + 1 + 7 = n for v.
2
Suppose 15 + 20 = 5*k. Solve -4*r + 5 = -k for r.
3
Let a be (-1*(3 + 0))/(-1). Suppose -a*k = -0*k - 3. Solve q - k = -0*q for q.
1
Let x = 6 + -2. Solve 0 = h - x*h + 12 for h.
4
Suppose 4*i - 14 = 2*n, 2*i - 5*i + n + 12 = 0. Solve j + i = 2*j for j.
5
Let t(l) = 5*l**3 - 5*l**2 - 4*l + 3. Let c(r) = 2*r**3 - 3*r**2 - 2*r + 2. Let p(u) = 7*c(u) - 3*t(u). Let f be p(-6). Solve -3*s - 5 = -f for s.
4
Let q be 4/5*(-4)/((-12)/45). Solve 0 = -2*z + 4 - q for z.
-4
Let d(h) = h**3 + 1. Let u be d(-1). Suppose u = r - 5*z - 11, z - 6*z - 35 = -5*r. Suppose 0*k = -4*k + 24. Solve -4*i + r = -k*i for i.
-3
Suppose 0 = -0*i - 5*i + 65. Solve i*p = 9*p for p.
0
Let i be (12/(-8))/(-3)*2. Solve 0 = 3*p + 5 + i for p.
-2
Suppose -f + 19 = 5*q, 3*f + 3*q - 13 - 20 = 0. Suppose f = -0*w + 3*w, -2*k + 12 = 4*w. Suppose 1 = 2*g - 9. Solve -5*v + k = -g for v.
1
Suppose -18 = -3*b + 3. Solve -5 = -4*i + b for i.
3
Let f be -2 - (1 - 18)/(2 - 1). Solve 0*x - 3*x + f = 0 for x.
5
Let z(w) = -w + 4. Let y be z(2). Solve 4*q = -y + 18 for q.
4
Suppose 2*d = -5*g - 12, -3*d + 0*g = -3*g + 18. Let q(h) = h**2 + 7*h + 8. Let x be q(d). Solve 11 = x*l + 3 for l.
4
Let h be 1 - (5 - 1) - 0. Let d be (-3)/(-2)*(-8)/h. Solve 0 = -u + 5*u + d for u.
-1
Let v = 5 + -3. Let k be v - (1 - 0 - 2). Solve 10 = -k*r - 2*r for r.
-2
Suppose -x - 5*f + 12 = 0, 5*x = 4*f - 2 + 4. Solve 0 = -x*q + 2 + 4 for q.
3
Let v be -17*(2 - (-3 - -6)). Let b = v + -9. Solve 3*f - 2 = -b for f.
-2
Let p = 32 + -32. Solve 3*u + 15 = -p*u for u.
-5
Suppose -4*h - l + 0*l + 5 = 0, -4*h + 2*l + 2 = 0. Solve -2*q = -5 + h for q.
2
Suppose 6*w - 5 = w. Let t be -3 - -2 - (2 + w). Let r = 2 - t. Solve -5*b - 31 + r = 0 for b.
-5
Suppose -3 = 2*i - 17. Suppose 5 = 5*m - 20. Let o = i - m. Solve 0*b + 2*b - o = 0 for b.
1
Suppose q = -4 + 8. Solve -5*h - q = -6*h for h.
4
Suppose 0 = -5*r + r - 36. Let f = r - -11. Solve 2*h - f = h for h.
2
Suppose -2*i + 3*x = -13, -5*x + 10 = i + 2*i. Solve -b + 12 = -i*b for b.
-3
Let k be ((-4 - -18) + -4)*2. Solve -2*s + k = 3*s for s.
4
Let f(w) = w + 10. Let s be f(-7). Suppose -95 = -s*o - 2*o. Solve -o = 5*d + 6 for d.
-5
Let a(s) = s + 2. Suppose 3*i - 20 = -2*i. Suppose 2*f + 2 = -j, i*f = 2*j - 1 - 3. Let q be a(j). Solve 0 = 3*m + q*m - 10 for m.
2
Let j(a) = -2*a - 5. Let q be j(-11). Let z = 25 - q. Let v(s) = s**2 + 3*s + 2. Let m be v(-6). Solve -3*i + m = -z*i for i.
-4
Let q be (-32)/(-18) - 6/(-27). Suppose -k = -6 - 6. Solve -y = q*y + k for y.
-4
Let a be -1 - 3*(1 + -3) - 3. Solve -3*l = -a*l + 2 for l.
-2
Let b = -8 - -10. Suppose 0 = z + 2*z - b*p - 167, -5*z - 3*p = -310. Suppose z + 7 = 2*y. Solve 5*n - y = -8 for n.
5
Let d = -2 + 2. Suppose 4*q = -t - 2*t + 34, d = -2*q + 4*t + 28. Suppose 5*w - 2 = -4*r + 2, 4*r = 2*w + 4. Solve w = 6*b - b - q for b.
2
Suppose -2*k - 88 + 28 = 0. Let a be (-22)/(-6) - 10/k. Let s = 7 - 4. Solve -s = -v + a*v for v.
-1
Let r = -8 - -10. Solve r*x - 5*x = 15 for x.
-5
Let c be 6/(-15) - ((-32)/(-20) + -4). Solve 5*n + c = -18 for n.
-4
Let a(o) = o**3 + 3*o**2 + 3*o + 12. Let j be a(-3). Solve -3 - 6 = j*c for c.
-3
Let u(f) = -f**3 + 6*f**2 + f - 3. Let n be u(6). Let a(h) = h**3 - 4*h**2 + 3*h + 3. Let v be a(n). Let q = 1 - -4. Solve -6 = -v*r + q*r for r.
-3
Let t(g) be the first derivative of g**3 - g**2/2 + 2. Let a be t(2). Solve h - 3*h - a = 0 for h.
-5
Let u = 10 + -6. Let n = u - 4. Solve n = -3*w - 4 + 1 for w.
-1
Let a(o) = o**3 - 4*o**2 + 2*o - 6. Let i be a(4). Suppose -i*n = 2*n. Solve 0 = -n*c - 4*c - 4 for c.
-1
Let r(g) = g**2 - 2*g + 1. Let d be r(2). Let a be (3 - 2) + d + 13. Let u be 4/((a/6)/5). Solve -u = n + 3*n for n.
-2
Let t be (-9)/((4 + -2)/(-2)). Solve 3*z = -t - 6 for z.
-5
Let q = -13 + 3. Let r be 