
Let m = -4 + 4. Solve m = -6*k + k for k.
0
Suppose -7 = -3*w + 2*g + 5, 0 = -5*w + 2*g + 24. Solve -b - 5 = -w*b for b.
1
Suppose -5 = c - 7. Solve -4*u + c*u = 2 for u.
-1
Suppose -2*n = -3 - 3. Let m = n + -6. Let l be 0 - (-3)/(m/(-4)). Solve -f + l = 3 for f.
1
Let w = -6 + -2. Let m = w + 13. Solve -m*r + 0*r = 5 for r.
-1
Suppose 4 = -s - 23. Let y = s + 42. Solve r = -4*r + y for r.
3
Suppose -5*a + j + 14 = 0, 2*a - 3*j = 3*a + 10. Suppose -2*b + 13 - 4 = -u, 0 = -4*u - 2*b + 4. Let c be (-3*1)/(u + 0). Solve a*f + c*f - 25 = 0 for f.
5
Suppose -2*w = -4 - 4. Solve -3*l = -l - w for l.
2
Let a(f) be the second derivative of f**4/12 + f**2 + 6*f. Let z be a(0). Solve 0 = 2*q - 6 + z for q.
2
Let l be (-8)/10 + 40/50. Solve q + 5 - 10 = l for q.
5
Suppose 8 = -3*z - z. Let n = z - -11. Solve 2*y + y = -n for y.
-3
Suppose -11*p = -12*p + 17. Let q = p - 11. Solve k + k + q = 0 for k.
-3
Suppose 6 = 4*t - 2. Solve -3*u - 15 = t*u for u.
-3
Let v = 47 - 17. Suppose 2*x - 32 = -5*y, v + 14 = 4*x + 5*y. Solve 6 = 3*c - x for c.
4
Let j be 1/((-4)/6 + 1). Let u be (1 - 0)/((-1)/(-6)). Solve 0 = r - j*r + u for r.
3
Let w(a) = 2*a**3 - 19*a**2 - 9*a - 6. Let l be w(10). Solve -3*b = -l*b for b.
0
Suppose -5*x + 6 - 1 = 0. Solve 0 = -0*i + i - x for i.
1
Suppose -4*v + 10 = -14. Solve 0 = 3*p - 5*p - v for p.
-3
Suppose -v = -2*i + 13, 2*v + v = -15. Let j(h) = -5 - h**2 - h**3 - 1 + 5*h**2 + 2*h. Let z be j(i). Solve -z*o + 4 = 6 for o.
-1
Let j = 7 - 3. Suppose 4*q - 6 = -3*n, -5*q + 2 = j*n - 6. Solve -7*t + 2*t - 10 = q for t.
-2
Let y be 32/(1/(2/2)). Let x be y/18 - 14/(-63). Solve n = -n - x for n.
-1
Suppose -4*t + 2*t + 4 = 0. Let w be (-15)/(-3)*(-1)/1. Let s = -1 - w. Solve -t*k + s = -6 for k.
5
Let c be (-1 - 1)/((-20)/10). Let d be 0 - -1 - (-25 + c). Solve -d = -h + 6*h for h.
-5
Suppose -5*s = -3*s. Solve -n + 6*n = s for n.
0
Let w be (6/9*3)/2. Suppose 0 = d - 2 - w. Solve a = -d*a for a.
0
Suppose 3*q - 5 = 3*b - 2, 3*q - 6 = 2*b. Let z = b + -4. Let r be 2/((-2)/z) + 2. Solve t = r*t for t.
0
Suppose 4*r - 62 = -r + 4*y, -4*r - 5*y = -25. Let x = -6 - -10. Solve x*m = -r + 2 for m.
-2
Suppose 0 = -3*z + 6*z - 24. Let g(i) = -i**2 + 9*i - 4. Let j be g(z). Solve f = -j*f + 5 for f.
1
Let y be ((-3)/6)/(2/(-8)). Solve 0 = -0*t - y*t for t.
0
Let h(a) = 6*a + 14. Let s be h(-10). Let o be (-2 + s/(-4))*2. Let m be 6/(-8) - o/(-4). Solve 4*b - m = 3*b for b.
4
Let o = -10 - -13. Suppose -7*a = 3*x - o*a - 16, -2*a = -8. Let c(u) = -u**2 - 5*u + 7. Let t be c(-6). Solve y = -t - x for y.
-1
Suppose 4*g = 18 - 2. Suppose 5*x + 4*v + 12 = 0, -3 = 4*x + g*v + 9. Solve x*f = 3*f - 3 for f.
1
Let s be 4/6 + (-14)/(-6). Let t = 2 + s. Suppose -4*g + 5*g = -x, -t*g = -2*x. Solve g = -b - 4*b + 25 for b.
5
Let x = 172 + -165. Solve 5 = x*k - 8*k for k.
-5
Let u(h) = h**3 - 3*h**2 + 3*h - 1. Let o be u(2). Solve -2*k + k = -o for k.
1
Suppose -5*a = 4*j, 2*j - 2*a + 10 = -7*a. Solve 3*h + 6 = j*h for h.
3
Suppose -y - 3*m + 6*m = 4, -4*y - m = -10. Solve q + y = -2 for q.
-4
Let x(f) = 17*f + 1. Let s be x(1). Suppose -4*v + s = -2. Let i be 3/v + (-21)/(-15). Solve 0*m = -i*m + 10 for m.
5
Let b = 8 - 2. Solve b = -2*n - 4 for n.
-5
Suppose -2*f = -13 - 1. Solve -4*r - f = 1 for r.
-2
Suppose -4*r = -5*c + r - 10, 5*c + 5*r - 40 = 0. Suppose t - c*t + 10 = 0. Solve 0 = -t*x + 4*x for x.
0
Suppose 0 = 5*u + s - 11, 5*s + 1 = 6. Solve -3*k + 8 = u for k.
2
Suppose 5 = 3*i + 5*r + 1, -3*i - 3*r + 6 = 0. Solve -d + 2*d - i = 0 for d.
3
Suppose -5*i - 2*b = -4*b - 15, -5 = -b. Suppose 3*o = 0, h + i*o + 9 = 4*h. Suppose 4*y - 25 = -5. Solve -y*x - 10 = -h*x for x.
-5
Let a(k) be the second derivative of k**5/20 - 3*k**4/4 + 5*k**3/3 - 11*k**2/2 - 2*k. Let g be a(8). Solve -g = 5*h + 10 for h.
-3
Let p = 2 + -13. Let g = p - -13. Solve -10 + 0 = -g*w for w.
5
Let q = -11 - -15. Solve -3*z + q = -5 for z.
3
Suppose 2*o - 45 - 11 = 0. Suppose 3*x - 9 = 0, -3*x + o + 5 = 2*c. Let p = -10 + 14. Solve -c = l - p*l for l.
4
Let z be ((-3 - -3)/(-4))/(-2). Solve 9 = -3*i - z*i for i.
-3
Let j(v) = 2*v + 3. Suppose 4*p + 16 = -0. Let x be j(p). Let i be 1/(-2)*(-9 - x). Solve -3*k + 1 = -i for k.
1
Suppose -x - 1 = 4*p, 0*p + 4*p - 4*x - 4 = 0. Suppose -o - 4*o + 15 = 0. Solve p = m - o for m.
3
Suppose -5*a + 21 = -v, 4*a + 11*v - 40 = 6*v. Suppose 3*o = 5*m + 4*o - a, -8 = m + 2*o. Let j be 4/2 - -5 - m. Solve -j*p + 15 = -0 for p.
3
Suppose 5*p - 1 = i - 25, -12 = p - 2*i. Let j = p + 4. Suppose 3*z + 2*z = j. Solve z = -n - 1 - 2 for n.
-3
Let y(d) = d - 6*d + 3 + 4*d. Let i be y(8). Let a(m) = m**3 + 7*m**2 + 6*m. Let r be a(i). Solve s = -3*s + r for s.
5
Suppose -4*p = -g - 0*g + 45, 0 = 5*p + 2*g + 40. Let b be (-8 - p)/(2/3). Solve b*c = c + 2 for c.
1
Let a be 3*(0 - (-2)/2). Let m(d) = 2*d + 0*d - 7 + 3. Let h be m(a). Solve 0*q = -h*q - 6 for q.
-3
Let u be (-28)/(-16) - -1 - (-4)/16. Solve v + u = 4*v for v.
1
Suppose -5*u + 22 = -8. Solve z + u = -z for z.
-3
Suppose -3*w + 0*r + 8 = -2*r, 2*r + 12 = 5*w. Suppose -i = w - 7. Suppose u + 4*u = -3*x - 12, 0 = -2*x + 3*u + 11. Solve -2*g = x - i for g.
2
Suppose -4*s - 32 = -j, 3*j - 23 = -3*s + 13. Suppose r + 3*r = j. Suppose -7 = r*y - 19. Solve k + 2 = y*k for k.
1
Let n = 0 - 1. Let m(k) = -k**2 + 10*k - 4. Let v be m(9). Let u = n + v. Solve -u = 5*y - 9 for y.
1
Let y = 6 + -4. Suppose y*h - 20 = -3*h. Solve -h*q = -0*q - 4 for q.
1
Let j be 10/(-3)*(-24)/20. Solve 1 = -j*a - 3 for a.
-1
Let f = 13 + -12. Solve 5 = -w + f for w.
-4
Suppose -3*b + 5 = 3*f - 4, 0 = -2*f + 2*b + 14. Solve 0 = z - f - 0 for z.
5
Suppose -2*i = -3*r - 19 - 1, 0 = 4*i - 2*r - 24. Suppose 6*n - 4*n = i. Let w(t) = -t**3 + 4*t**2 + 6*t - 5. Let p be w(5). Solve -8 = -p*l + n*l for l.
-4
Let i(z) = 2*z + 22. Let k be i(-8). Solve 3*y = y + k for y.
3
Let j = 107 + -95. Solve -s - j = 3*s for s.
-3
Suppose 3*l + 0*l = -4*v - 39, -5*v - 48 = 3*l. Let t = v - -13. Solve 14 = t*i + 2 for i.
3
Let d(f) = f**2 - 5*f - 4. Let m be d(6). Solve -m*c + 1 = 5 for c.
-2
Let q = -1 + 5. Let m = q - 1. Solve -c + m*c = 4 for c.
2
Suppose 0 = -2*i - 3*u + 6, -4*i + 2*u - 5 + 17 = 0. Let v = -1 + i. Solve -v*b = -2 - 0 for b.
1
Suppose -6 = -4*z + 3*s, -2*s + 0*s = 3*z - 13. Solve -5 = z*n + 7 for n.
-4
Suppose 1 = -o + q, 0 = -3*o - 0*o - 4*q + 18. Solve 0 = -3*r - o*r - 20 for r.
-4
Suppose 7*t - 1 = -1. Solve -5*d + 3*d = t for d.
0
Let n = 44 + -27. Suppose 3*s - 20 = 16. Let j = n - s. Solve -j*q + 3 = -2 for q.
1
Suppose 1 = u - 4. Suppose 5 = 2*y + i, 2*y + 0 = u*i - 25. Solve -3*f - 15 = -y*f for f.
-5
Let p be 18/4 + (-2)/(-4). Suppose -11 = -p*x - 3*v - 4, 0 = -5*x + 2*v + 12. Solve -2*b = x*b for b.
0
Let o(l) = l**2 - 10*l + 10. Let y be o(8). Let t be (-9)/y + 1/2. Solve -t = -2*h - 4 for h.
-1
Suppose 0 = -w + 1, -u + 23 = -0*u - 2*w. Solve -3*f + u = 2*f for f.
5
Let u(y) = -y**3 + 7*y**2 + 7*y + 13. Let b be u(8). Solve b*v - v = 4 for v.
1
Let c = -9 - -14. Suppose c*g - 10 = 10. Solve 4 = -2*u - g for u.
-4
Let q(c) be the first derivative of c**2/2 + 5*c + 2. Let g be 0/3*(0 + 1). Let d be q(g). Solve d*b + 3 = 2*b for b.
-1
Suppose -3*m = -2*m. Suppose 4*x = -m*x - 4. Let t be (10/4)/(x/(-2)). Solve t*w + 10 = -5 for w.
-3
Let t(h) = h**2 + 5*h - 20. Let b be t(-8). Solve -5*q - 1 - b = 0 for q.
-1
Suppose 2*b - 2 + 3 = w, -2*b - 2*w + 8 = 0. Solve c + b = -0 for c.
-1
Let p be 5/(-5) + 2*2. Solve -p = 2*o - 13 for o.
5
Let a(i) = i**3 - 5*i**2 + 2*i + 1. Let m be a(4). Let f = 6 + m. Let y be 0 - (f - (2 - 0)). Solve 2*z + 4 = y*z for z.
4
Let f(n) = n**3 - 5*n**2 - 6*n + 3. Let h be (6/8)/((-2)/(-16)). Let r be f(h). Solve -3*t + 9 = r for t.
2
Suppose 2*p - p - 1 = 0. Solve 2*g = g - p for g.
-1
Let c = 4 + 0. Suppose 0 = 5*j - z - 6, j = -j - c*z - 2. Let n = 48 - 44. Solve 5*t = -n - j for t.
-1
Let q = -12 + 6. Let t = q + 9. Let c be 6/9*10*t. Solve -7*o = -3*o + c for o.
-5
Suppose -2 = -3*c + f - 0, -4*c + 4 = -2*f. Suppose c*u = u. Solve y + 2 + 1 = u for y.
-3
Suppose -n = 3*s - 31, 0*s = 4*s + 3*n - 43. Solve 0*f = -2*f + s for f.
5
Let l(v) = -v**3 - 5*v**2 - 7*v + 6. Let x be l(-4). Solve x = -3*c + 3 for c.
-5
Let o be (-2)/4*32/(-4). Suppose f = 4*g - 7, -g - o*g = -3*f. Let w(l) = 