 a*l + 4 = -1 for l.
-1
Suppose 11*k - 2*k = 27. Solve -k*n = 2*n for n.
0
Suppose -y + 2*y = -3. Let b = y - -3. Solve 0 = 4*t - b*t + 8 for t.
-2
Suppose 2*o - 6 = -3*m, 3*m = 2*o - 6 - 0. Solve 3*v - 4 + 1 = m for v.
1
Suppose -57 + 152 = 5*a - 2*i, -109 = -4*a - 5*i. Let w be (-4)/18 + 2/9. Suppose 7 = 5*l + t, w = -l - 2*l + 5*t + a. Solve -3*f - l*f + 10 = 0 for f.
2
Let q = -3 - -5. Let s(o) be the third derivative of -11*o**6/120 - o**5/30 - o**4/12 - o**3/6 + o**2. Let k be s(-1). Solve 4*f + k = q for f.
-2
Suppose 3*b + 5*w = 3, 0 = 3*w + w. Solve 0 = g - 2*g + b for g.
1
Suppose -3*k + 0 = -6. Solve 3*s - k - 10 = 0 for s.
4
Let u = 130 + -128. Solve 0 = -y + 3 + u for y.
5
Let p(a) = 4*a**2 + 6*a - 9*a**2 - 5 + a**2 + a**3 - 2*a**2. Let q(w) = w**2 - w - 1. Let u be q(-2). Let j be p(u). Solve j*c = -c + 1 for c.
1
Suppose -r = 6*c - 2*c - 42, 3*c - 4*r = 22. Let g = -10 - -13. Suppose 0 = h - 0*h + 5*k, 0 = -h - 2*k. Solve h = q - g*q + c for q.
5
Suppose a = -0*a + 3*m - 16, 5*a + 3*m + 8 = 0. Let r(v) = -2*v + 3. Let p be r(a). Suppose p = -5*f + 26. Solve -f*l = -4*l + 2 for l.
2
Suppose -5*u - 2*s = 3 - 4, -2*u - 3*s = -7. Let r(g) = 7*g. Let j(t) = 36*t. Let a(z) = 3*j(z) - 16*r(z). Let q be a(u). Solve -n + q = -2*n for n.
-4
Suppose 5*v - 7 = f + 5, 0 = 3*f + v - 12. Let i = f - -1. Let m be (10/i)/((-1)/(-4)). Solve -k = -6*k + m for k.
2
Let z(t) = 2*t**2. Let g be z(2). Suppose 3*w + 3*m - 24 = 6*m, 4*m + g = -4*w. Solve -2*y = 1 + w for y.
-2
Suppose 0 = -5*a + 5 - 15. Let q = a - -4. Solve q*m - m + 1 = 0 for m.
-1
Let i be 22 + -14 - 0*2/4. Solve -8*k + 10*k = -i for k.
-4
Let v = 13 - 17. Let m be (-5 - 9/(-3))*v. Solve m = 2*b - 2 for b.
5
Suppose -64 = -5*d - 4*l, -5*d - 3*l + 32 = -31. Let j = d + -8. Solve -1 - 19 = j*i for i.
-5
Let w = -17 - -20. Solve w*x + 4 + 5 = 0 for x.
-3
Let k be (1 - -23) + (7 - (13 - 2)). Solve -c - k = 4*c for c.
-4
Suppose -g - 1 + 13 = 0. Solve 0 = -4*j - 0*j - g for j.
-3
Let j = 2 - 0. Solve -j = -v - 3 for v.
-1
Let o = 5 - 2. Let w(q) = q**2 + 7*q - 11. Let k be w(-8). Let r = k + o. Solve -i = -r*i for i.
0
Suppose 2*o = 4*r - 9 - 29, 20 = -o + 3*r. Let m = o - -23. Solve m*j = j - 10 for j.
-2
Suppose 4*o - l - 67 = -6*l, 2*l + 2 = 0. Solve -3*s = -6 + o for s.
-4
Let z(y) be the second derivative of -y**4/12 + 5*y**3/6 - y. Let g be z(5). Solve -w + 0*w - 2 = g for w.
-2
Let q = -8 - -7. Suppose 0*w = -w. Let v be q/(w - (2 + -1)). Solve -v = -5*n - 21 for n.
-4
Let l(o) = 3*o**3 - 3 + 4 - 4*o**3. Let r be l(1). Let v = r + 0. Solve -3*c + 0*c - 15 = v for c.
-5
Suppose -10 = -y + 6*c - 4*c, -y - 4*c - 20 = 0. Suppose -u + 4*u - 18 = y. Solve -4 - u = 2*p for p.
-5
Let w(g) = -g - 2. Let i be w(-4). Solve m + 3 - i = 0 for m.
-1
Let f = 114 + -110. Solve f = -5*p - 11 for p.
-3
Let x be 2 - (1 - 2 - 1). Suppose -4*k + 16 = x. Solve -k - 1 = 2*r for r.
-2
Suppose -x + 5*x + 25 = 3*a, 0 = -a - x - 1. Solve 5*h = -a - 2 for h.
-1
Let g be 3/9 - 64/(-6). Solve -3*z + 1 + g = 0 for z.
4
Suppose -4*d + 0 + 6 = i, -i = -2*d. Let y = 3 - i. Solve 3*b + y + 8 = 0 for b.
-3
Let m be ((-2)/6)/(13/(-39)). Let c be (-1)/(-3) - 85/(-15). Suppose -2*n + c = -4. Solve 2*r + m = -n for r.
-3
Let y(t) = -4*t + 0*t**3 - 2*t**3 + 5*t. Let k be y(-1). Suppose -o + k = 0, -3*a - 3*o + 20 = 2*o. Solve -a*c - 2 = 18 for c.
-4
Let r = 5 - 0. Suppose 5*n = -r*t + 45, 4*t - n = 56 - 5. Solve -2*i - 2*i - t = 0 for i.
-3
Suppose p - 3*o + 28 = -p, 4*p - 2*o = -56. Let j = 14 + p. Solve j = -5*z + 16 - 41 for z.
-5
Let o be 530/45 + ((-24)/(-27))/4. Solve -3*i = -0*i + o for i.
-4
Let k = -6 - -11. Suppose -3*n + k*g + 22 + 2 = 0, -3*g = -4*n + 21. Suppose 0 = n*m - 10 - 5. Solve m*z - 5 = 20 for z.
5
Let d(a) = a**3 + 3*a**2 + 2*a + 3. Let x = -4 + 1. Let c be d(x). Let v be (-2)/c*(-3)/(-2). Solve -w + 3 = v for w.
2
Let f = 37 - 21. Solve -3*v - v - f = 0 for v.
-4
Let p = 4 + -2. Let k(m) = -17*m + 3. Let b(h) = -9*h + 2. Let x(t) = -11*b(t) + 6*k(t). Let j be x(-8). Solve 2*a + p*a - j = 0 for a.
5
Let c be 1 - (-2 + 4)/(-2). Solve c = m - 0*m for m.
2
Let n be -8 + -2 + (-3 - -2). Let x = 15 + n. Solve -x*h = -0*h for h.
0
Suppose 0*v - 2*v + 20 = -5*j, 3*j + 12 = 5*v. Let a be (2 - 1 - 2) + 1. Solve v = i - a*i + 4 for i.
-4
Let u(q) = q**2 - 5*q - 2. Let i be u(6). Let n be 5/(2 - 1) - 2. Suppose 4*v - i = n*v. Solve 0 = -v*t + t for t.
0
Let j = 16 + -10. Let b be 6/(-9)*(-9)/j. Solve b = -3*g + 10 for g.
3
Let u be (-1)/(4/18)*(-34)/51. Let q = 6 - 1. Suppose -q*t - 70 = -5*n, 0*t - 24 = -4*n - 4*t. Solve -v - n = -u*v for v.
5
Suppose l + 2*l + 12 = -5*p, 4*l = 5*p + 19. Solve 1 = 2*i - l for i.
1
Let x(s) = -2*s + 7. Let f be x(8). Let a = 11 + f. Solve a*i - 8 = -0*i for i.
4
Let o(p) = p + 15. Let a be o(-12). Let f(c) = c**2 + c + 4. Suppose 0 = s - 0*s. Let r be f(s). Solve r = a*d + d for d.
1
Let j(w) be the second derivative of w**4/12 - w**3/3 + w**2 + 2*w. Let d be j(2). Suppose 0*n - d = -2*n. Solve 4 = q + n for q.
3
Let k = 55 - 28. Suppose 3*c = -4*q + k, 0*c = q - 3*c + 12. Solve 0 = 2*y - q - 5 for y.
4
Let x(v) = v**3 - 6*v**2 + 7*v - 3. Let w be x(5). Let p(t) = t**2 + 2*t - 7. Let l be p(-5). Let k = 11 - l. Solve -w + 4 = k*f for f.
-1
Let p = 3 - 0. Suppose -3*v + 39 = p. Suppose -2*j - j = -6. Solve v = -j*x - x for x.
-4
Let o be 51/3 - -2 - (-5)/5. Solve o = 2*x + 2*x for x.
5
Let m be -54*(8/6 - 2). Suppose 0 = s + s - m. Suppose -5*k + 6*b + 8 = 2*b, -2*b + s = 3*k. Solve -k*v = -v - 12 for v.
4
Let f(h) = h + 10. Let q(a) = a**3 - 12*a**2 - 2*a + 17. Let v be q(12). Let n be f(v). Solve 20 = n*i - 7*i for i.
-5
Suppose 2*s + 0*s = 0. Solve 0 = -2*f - s*f for f.
0
Let t = 11 - 8. Solve b + t = -1 for b.
-4
Let a = 25 + -23. Solve -1 = a*g + 1 for g.
-1
Let x = -21 - -29. Solve x*p = 3*p - 15 for p.
-3
Suppose -2*w + s - 14 = -0, 3*w - 5 = -5*s. Let g be 1*-4*-1*2. Let j = w + g. Solve j*r + 0 = -3 for r.
-1
Let g(w) = -w + 12. Let b be g(10). Let r = 2 - b. Solve -5*l + 0*l + 15 = r for l.
3
Let i = 8 + -6. Suppose w + 4 = r + 9, 15 = 4*w - 3*r. Let l = 5 + -3. Solve 0 = -i*k - w*k + l for k.
1
Let i(u) = 2*u**2 + 3*u - 3. Let q be i(3). Let n be 44/q - 1/(-6). Solve o - n = -o for o.
1
Let h be (-1)/(-4) - 1/4. Let k = 11 + -9. Suppose k*i = 5*q + 8, h = -q - 2*q + 2*i - 8. Solve b + 2*b = q for b.
0
Let t(v) be the first derivative of 11*v**3/3 - 3*v**2/2 + 2*v + 7. Let y be t(1). Solve -m - 4*m = y for m.
-2
Let f be 60/9 - 3/(-9). Suppose -f - 3 = -5*g. Suppose -4*z + g*j + 1 = -5, z - 6 = 2*j. Solve z = -4*m + 3*m for m.
0
Let w = -25 + 5. Let m = w - -20. Let y(v) = v**3 + 4*v**2 - 7*v - 5. Let b be y(-5). Solve b*t + 21 - 1 = m for t.
-4
Suppose -5*v - 3*q = -31, -4*v + 0*q = -2*q - 16. Let k = 13 - 5. Let h = -5 + k. Solve -4*i = -h*i + v for i.
-5
Suppose 3*o = -2*o + 25. Suppose o = 2*r - 3. Solve h + 0 + r = 0 for h.
-4
Let d = -77 + 80. Let x = 3 - -5. Solve -x = -d*t - t for t.
2
Suppose 36 = 3*d - 8*d - n, 2*d + n + 12 = 0. Let c be 0 + d*(-2)/4. Solve -j - c = -1 for j.
-3
Let f be 6/(-9) + 16/6. Let c = f + -5. Let w = c + 10. Solve -3 - w = 5*j for j.
-2
Let x(k) = -6 + 6 - 4*k**2 + 3*k**2 + k. Let a be x(6). Let n be 32/(-12)*a/8. Solve -o + 3*o - n = 0 for o.
5
Suppose 3*z - 6 = 6. Let u = 6 - z. Solve 0*j + 10 = -u*j for j.
-5
Let a(r) = -r**3 - 6*r**2 + r + 6. Let n be a(-6). Solve 4*v - 3 - 1 = n for v.
1
Suppose -3*y - 2*k = 2*y + 2, 0 = -5*y + 5*k + 5. Suppose y*v = -3*v + 12. Solve 0*s + 2*s = v for s.
2
Suppose 3*f + 4 - 10 = 0. Solve -8 + 2 = f*u for u.
-3
Let t(z) be the first derivative of z**4/4 - 4*z**3/3 + 2*z**2 - 6*z + 1. Let o be t(4). Solve -3*u - o = 2*u for u.
-2
Let q = 27 + -25. Suppose 4*t + 4 = 24. Suppose 4*z + t*n = 7, 4*z - 5 - 5 = -q*n. Solve 4*u + 5 = z*u for u.
-5
Suppose -3*f = f - 44. Solve 5*u + f = -9 for u.
-4
Let q(o) = 2*o + 6. Let x(i) = -i. Let y(f) = -q(f) - 3*x(f). Let b be y(6). Suppose t = -b*t + 8. Solve k = -k - t for k.
-4
Let d be (-11 + 14)*1/3. Suppose 0 = -2*h + 6*h - 12. Let p be (h - d)*(-5)/(-2). Solve -p*x + 10 = -0*x for x.
2
Suppose -3*g + 4*g = -6*g. Solve 4*j + 8 = -g*j for j.
-2
Suppose -4*z = 5*m - 36, 0 = -5*m + m + 3*z + 4. Let h be (-1 + 16/4)*1. Solve q + h*q = m for q.
1
Suppose 0