- 10 = 2*k for k.
5
Let r be (-1 + (-3)/9)*6. Let y = r - -15. Suppose -y*u + 15 = -2*u. Solve u*l + 11 = -4 for l.
-5
Let o = -16 + 17. Let x(r) = r**3 + r**2 + r - 1. Let q(w) = 3*w**3 + 5*w**2 + w - 4. Let a(n) = q(n) - 2*x(n). Let d be a(-2). Solve -o - d = p for p.
-5
Let i(p) = 4*p**2 - 4*p + 1. Let n(q) = -9*q**2 + 8*q - 3. Let l(u) = -7*i(u) - 3*n(u). Let m be l(4). Solve -m*a = -6*a - 16 for a.
-4
Let o be 4/(-6)*(-1092)/56. Solve 2 = -5*d - o for d.
-3
Let i = -7 - -15. Solve 4*o - 12 = i for o.
5
Suppose -4*h + 0 = -4. Solve 1 + h = 2*k for k.
1
Suppose -4*d = 1 - 9. Let o be 3 - (d + -3 - -2). Solve 2*x = x - o for x.
-2
Let l be (0*2/6)/(-4 + 6). Solve d + 0 + 1 = l for d.
-1
Suppose -9*b = -6*b - 30. Suppose 3*a - b = 5. Solve 4*q = a*q for q.
0
Suppose 20 = -2*u - 3*u, 5*u + 18 = -q. Solve -2*p + q = -4*p for p.
-1
Suppose -5*j + 4*f + 95 = 0, 6*f = -4*j + 4*f + 50. Suppose -4*u - 4*b = -48, -u - 2*b - 3*b + 28 = 0. Solve -j = -u*m + 5*m for m.
5
Suppose 7 = 3*t - 2. Suppose 0 = 5*i + t*g - 15, g + 3*g - 20 = i. Solve i = 2*k + 12 - 2 for k.
-5
Let n(t) be the second derivative of -t**5/20 + t**4/4 + t**3/2 + 5*t**2/2 + 5*t. Let m be n(4). Solve 6 = 5*g + m for g.
1
Let m(y) = -y**2 - 24. Let i be m(0). Let h = -17 - i. Solve h*d = 2*d - 15 for d.
-3
Suppose 5*g = -5*j, 4 = 5*g - 2*g + j. Let x = 11 - 8. Suppose 5*k + 3*y - 12 = x*k, 5*y = 3*k + 20. Solve k = -g*u + u - 5 for u.
-5
Suppose 2*a + a - 4*u + 10 = 0, -5*u = -20. Suppose a*q = -q. Suppose o + 3*o - 12 = 0, q = -2*c - 2*o + 14. Solve 10 = c*z - 2*z for z.
5
Let d be ((-6)/(-4))/(9/12). Let u be (-1 - d - -4)*2. Solve 4 = a + u for a.
2
Suppose -4*v - 23*v = -54. Let h be (-3 + 1)/2 - -1. Solve 6 = v*g - h*g for g.
3
Suppose 0 = -3*g + 2*g. Solve -3*b - 5 + 2 = g for b.
-1
Let m = 2 - -1. Suppose 7*g - 11 = a + m*g, 4*a - 28 = -2*g. Solve -a*k = -3*k - 4 for k.
2
Suppose -3*g = -g - 10. Suppose 2*q = -q - g*v + 19, 0 = -5*q + 2*v + 11. Solve -5*w + 8 = q for w.
1
Let x = -10 + 3. Let u(n) = -n - 7. Let t be u(x). Suppose -b + 3*f + 18 = t, 7 = -b - 4*f + 4. Solve -5*a + 6 + b = 0 for a.
3
Suppose -3*y = -0*y - 12. Let v = 18 + -15. Suppose 4*j - 75 = v*z, 2*j - 10 = -4*z - 0. Solve -u + y*u + j = 0 for u.
-5
Let c(u) = -u**3 + 6*u**2 + 8*u + 9. Let n be (-4)/6 + (-115)/(-15). Let s be c(n). Solve -s = -3*l - l for l.
4
Let r be 0*(-3 + 2) + 6. Suppose r*c = 3*c. Let k = -1 - -4. Solve k = -v - c*v for v.
-3
Let o = -14 - -19. Solve -o*w + 2*w = 0 for w.
0
Suppose -4*d + 97 = -5*w + 13, -4*d - 2*w = -56. Let x be d/(-10)*(0 + -5). Suppose 7*j = 3*j + x. Solve 0 = -0*r - j*r + 4 for r.
2
Suppose -s + 3*s + 10 = -2*b, -b = 2*s + 11. Let j = s - -8. Solve -5 = j*z + 3 for z.
-4
Suppose 0 = -4*t - g - 4*g - 37, -13 = 2*t - 3*g. Let d(j) = -2*j - 11. Let h be d(t). Solve h = -3*b - 4 for b.
-3
Let o = 11 - -6. Let n = o + -15. Solve 4 - 14 = -n*i for i.
5
Let o(f) = f**2 + 6*f + 15. Let k be o(-5). Solve -k = 2*w - 0 for w.
-5
Let t be (-6)/(-10)*(0 + -5). Let c be -4 + (27/t)/(-3). Let y = 4 - c. Solve 4*r = -r + y for r.
1
Let j = -38 - -41. Solve j = 2*q + 1 for q.
1
Let h = -12 + 21. Let s(k) = -k + h + 3 - 3. Let v be s(7). Solve -v*i - 6 = -0 for i.
-3
Suppose 5*n - 4*g = 205, -4*g + 105 - 40 = n. Suppose -4*h - 17 = -n. Suppose 5*a = -4*c + 11, 4*a - 2*a - h = c. Solve -2*r - 1 = -a*r for r.
1
Let x = 42 + -34. Solve 0*r + x = 2*r for r.
4
Let t be -2*(-10)/15*3. Solve -7 = -t*p + 1 for p.
2
Suppose r + 5 = 3*g, -g - r = 2*g + 5. Let i(w) be the second derivative of w**4/6 - w**3/3 - 2*w**2 - 4*w. Let o be i(3). Solve g = -j - j + o for j.
4
Let g = -4 - -4. Let s = -2 + g. Let i be (s + 2)*1/(-2). Solve -2*n - 2*n = i for n.
0
Let a be 4 - (0 + 1)/1. Suppose -4*i = 2*g + 2*g, a*g = 2*i. Suppose o - 5 = g, -5*o + o + 20 = 2*k. Solve k*f + 5*f = -20 for f.
-4
Suppose -a = 2*a. Solve r + 2*r - 12 = a for r.
4
Let h = 4 - 1. Solve -2*t = 11 - h for t.
-4
Suppose -6*u = -u - 10. Let j be 6/(-2) - 136/(-17). Let a = j - u. Solve -a*c = -2*c + 5 for c.
-5
Suppose 10 = 4*g + 3*d, g + d - 5 + 3 = 0. Suppose -3*b + 0*t + 2*t + 2 = 0, -5*b - 5*t = -20. Suppose -7*z = -b*z - 15. Solve 0 = z*y - y - g for y.
2
Suppose 3*g - 30 = -2*g. Suppose -2*a = -0*a - g. Solve -u - 12 = a*u for u.
-3
Let p = -3 + 5. Solve l = -p*l for l.
0
Let q = -9 - -11. Let y(j) = -j - 2. Let t = -8 + 4. Let x be y(t). Solve -x*r + 3*r = q for r.
2
Let z(b) = -3*b - 12. Let t be z(-5). Solve -2*m - 7 = t for m.
-5
Let v = -36 - -51. Suppose -5*l + 2*z = -10, -4*l = 4*z - z + v. Solve 0 = -l*g - 5*g for g.
0
Let k be (-2)/((-8)/(-4)) + 4. Suppose -6 = -k*s - 0*s. Solve -s*r = r + 12 for r.
-4
Suppose -2*n = -n - 8. Let y be ((-4)/n)/((-2)/24). Suppose p = 3*i - 41, y*i = i + 5*p + 85. Solve 3*r = -r + i for r.
3
Let m be 2/(-12) + 95/30. Solve -m*q = q for q.
0
Let g be ((-2)/1)/((-7)/28). Let t = -6 + g. Suppose -10 = 2*b - 5*b - 2*j, 3*b = -j + 5. Solve 0*v - t*v + 10 = b for v.
5
Suppose 4*d = x + 2*x + 8, 2*d - 4*x - 4 = 0. Let r(b) = 4*b**3 - 3*b**2 + b - 2. Let g be r(d). Solve 0 = -6*h + h - g for h.
-4
Let t = -18 + 21. Solve 0 = -y - t*y - 12 for y.
-3
Suppose 0*b + 2*p = -5*b + 15, 2 = -3*b + p. Let c be ((-2)/3)/((-4)/6). Let u be 1 + (c + b - 3). Solve u*o + 1 = -o for o.
-1
Let n be (-21)/(-28)*(1 - -3). Solve 1 = -n*r - 2 for r.
-1
Let x = 123 - 73. Suppose -5*v - x = -175. Solve 0*q + v = 5*q for q.
5
Let l be 1/((-63)/(-15) - 4). Solve 0*p - l*p + 20 = 0 for p.
4
Let g(r) = -r**3 + 10*r**2 + 11*r - 1. Let f be g(11). Let l be f/(-3) - (-66)/18. Solve 0*i = -l*i - 20 for i.
-5
Suppose -3*v + 3*m + 12 = 0, 6*v - 4*m = v + 23. Solve v = o + 4 for o.
3
Suppose -3*k + 16 = f, 0 = -4*f + 5*k - 1 - 3. Suppose -2*n + 6 = -4*x, -4*x + f*n = -2*x + 12. Suppose 7 = q - x*q. Solve -5*y - q + 17 = 0 for y.
2
Let o = 3 - 4. Let l = 1 + o. Suppose l = -4*s - s. Solve -y = -s*y + 4 for y.
-4
Let d be (-13)/52 - (-2)/8. Let j = -5 + 7. Solve a = -j - d for a.
-2
Suppose -5 = 5*u - 10*u. Solve 3*f - 2 = u for f.
1
Suppose 2*t + 2*x = 18, 15 = 2*t - 5*x + 10*x. Solve -t = -4*p + 10 for p.
5
Let h(k) = k**3 + 6*k**2 + 5*k + 2. Let c be h(-5). Let t be (1 + 3)/(3 - 1). Suppose t*b - 3*s = 4, -4*s + 2*s = -8. Solve c*v + 2 = -b for v.
-5
Suppose -68 = -3*c - 23. Suppose -4*a - a = -c. Suppose -o + 16 = o. Solve a*b + 2 = o for b.
2
Let v be (3*(-2)/(-6))/((-6)/(-12)). Solve -v*j + 9 + 1 = 0 for j.
5
Let a(l) = l**3 - 11*l**2 + l - 11. Let m be a(11). Solve 0 = t + 1 - m for t.
-1
Let d(p) = p**2 - 5*p + 3. Let m be d(5). Solve m*y = 4 - 1 for y.
1
Let s be 3 + (112/(-2) - 3). Let p be 4/7 + (-24)/s. Let o(h) = h**2. Let l be o(-2). Solve -l*n = -3*n - p for n.
1
Suppose 2*i = 22 + 18. Let m(g) = g**2 + 5*g + 4. Let c be m(-5). Solve v + c*v = i for v.
4
Let l(g) = g**2 + 4*g - 2. Let y be l(-5). Suppose -n - 3*z = -12, -5*z = -y*n - 3 - 3. Solve n*v + 2 = 11 for v.
3
Let w(a) = -2*a**2 + 1. Let o(i) = i**3 - 2*i**2 + 1. Let z(j) = -2*o(j) + 3*w(j). Let m be z(-2). Suppose -4*y + m*y = 20. Solve -y*f + 0*f = 0 for f.
0
Let j be 0 + (-3 - -4)*4. Suppose 3*z - 6 = 6*z + 3*a, -j*z + 16 = -4*a. Solve 0 = -h + z - 6 for h.
-5
Suppose j + 6*j = 14. Solve i - j = -5 for i.
-3
Let r = -19 + 15. Let a be 4*((-7)/r - 1). Solve 0 = t - a + 4 for t.
-1
Suppose -5*f + 0*f + 10 = 0. Solve -f = -2*m + 2 for m.
2
Let u = -4 - -7. Suppose 3*q - 2*q = u, 2*k - 5*q = 5. Solve -2*g + k = -0*g for g.
5
Let z(a) be the third derivative of a**4/24 - 2*a**2. Let s be z(5). Suppose -f + 18 = 4*w - 0*w, s*f - 6 = w. Solve 3*h = -h - w for h.
-1
Suppose g = 2*b + 3 + 5, 0 = -2*g - 3*b + 2. Let z be (-94)/(-10) + g/(-10). Let a be 1 - (1/1 - z). Solve i + 2*i - a = 0 for i.
3
Let j = 72 - 72. Solve d = -j*d for d.
0
Let n = 8 + -3. Suppose -3*s - s = a - 5, n*a - 25 = -s. Solve z - 3*z - 8 = s for z.
-4
Let k = 140 + -138. Solve k*n = -2*n - 12 for n.
-3
Let j = 4 + -5. Let v be (-2)/(-2) + j + 12. Suppose 3*l - 9 = -0. Solve 0 = l*y - 7*y + v for y.
3
Suppose -4*v - 8*o - 36 = -4*o, v + 2*o + 10 = 0. Let g = -3 - v. Solve 2*n - 13 = -g for n.
4
Let p = 24 + -21. Suppose 6*t = p*t. Solve 0*x - x - 5 = t for x.
-5
Let a be 6*(0 - (-3)/6). Solve -x - a*x = -8 for x.
2
Suppose -q - 2 = -6. Suppose 5*j - 20 = 3*t - 2*t, 2*j = q*t - 10. Su