 - 10 = k. Solve 0 = d*m + 8 for m.
-2
Let c(i) = -i**2 + 4*i + 7. Let u be c(5). Suppose -q + 4*g + 2 = g, 0 = -4*q + 5*g + 8. Solve u*v = 12 - q for v.
5
Suppose -2 = -t - 0. Solve t*r = 7 + 3 for r.
5
Let h = -8 + 10. Solve -h + 3 = k for k.
1
Suppose 1 = 2*p - f, -p + 35 = 4*p + 4*f. Solve -w - p = -2 for w.
-1
Suppose 0*n + 43 = 3*n + 2*k, 3*n - 3*k - 63 = 0. Let v = n + -8. Solve 3*c = -0*c + v for c.
3
Let d(z) = z**3 - 10*z**2 - z + 19. Let o be d(10). Solve -o = -5*i + 6 for i.
3
Suppose 0 = d - 3 + 4. Let x(w) = -5*w**3 - w**2 - 2*w - 1. Let n be x(d). Let q = -32 + 35. Solve -n*c + q*c = 10 for c.
-5
Let h be 3 + (0/4)/(-2). Solve 0 = h*m - 6*m - 15 for m.
-5
Suppose -4 = -6*n - 4. Solve x + n = 2 for x.
2
Suppose 5*i - 15 = 0, 2*i + i - 9 = 4*v. Solve v = 4*g + g for g.
0
Let g(l) = l**2 - l - 4. Let x be g(3). Solve 0*t - x*t = 2 for t.
-1
Let b(j) = -j**2 - 8*j + 3. Let l be b(-8). Let r be 1*l - (4 + -2). Let y be -3*r - (-21)/3. Solve -4*d + 0 = y for d.
-1
Suppose -q + 3*z = 0, 4*q + 3*z + 27 = 72. Solve -n + q = 2*n for n.
3
Suppose 14*w - 19*w + 58 = 2*u, 4*u = w - 16. Solve -4*j = -4 - w for j.
4
Let t be -4 + 1 + -25 + 2. Let a be (-12)/66 + t/(-22). Solve j + 4 = a for j.
-3
Suppose 2*l = 4*s - 2, -4*l + 4*s = 2*s + 22. Let y = l - -9. Solve -y*d = 2 - 6 for d.
2
Let c = 4 - 2. Let u(o) = o**3 + 4. Let p be u(0). Suppose 0 = 3*b - 3*d - 9, 3*b = -p*d - d - 15. Solve b = -2*q + c for q.
1
Suppose 0 = c + 4*c - f - 50, 2*c = 2*f + 28. Let j = -7 + c. Solve -m - j = m for m.
-1
Let x(g) = 11*g + 1. Let d be x(1). Let p(k) = 5*k**2 + 3*k + k**3 + k + 3*k - 3*k + 3. Let h be p(-4). Solve -j = h*j + d for j.
-3
Let s(o) = 3*o + 4. Let q be s(4). Let y = -4 + 8. Suppose 0 = 3*r - y*w + q, 4*r - 5*w + 20 = 5*r. Solve r = -z - 0*z + 2 for z.
2
Let p be 30/(-4)*(-36)/30. Solve 0 = -5*c + p - 29 for c.
-4
Suppose 4*t + 6 = 3*i - 132, -5*i = -t - 26. Let a be 4/6*t/(-8). Suppose 0*s + a = s. Solve y = -7 + s for y.
-4
Suppose -6 = -6*q + 3*q. Let u be 6/12 + 13/q. Let v = u + -2. Solve 5 = v*z - 0 for z.
1
Let s(c) = -c**3 - 7*c**2 - 2*c - 10. Let q be s(-7). Let r be q/(-10) - 216/(-40). Solve 2*w = 3*w + r for w.
-5
Suppose -2*h - 4*d + 24 = 0, 0*d + 28 = 3*h - 2*d. Let j be 46/h - 4/(-10). Solve -1 = -2*s - j for s.
-2
Let r be 13 + (-1 - 2) + 0. Let a = r + -4. Solve 3*p + 0*p - a = 0 for p.
2
Let d be (-12)/(-9)*9/6. Suppose r = d*m + 10, 2*r = 7*r + m + 5. Let c(s) = 9*s**2. Let p be c(1). Solve r = 2*v - 1 - p for v.
5
Let o(t) = t**2 + 3. Let h be (2 + 1 + -3)/(-1). Let u be o(h). Solve 5 + 7 = -u*g for g.
-4
Suppose -10 = 2*u + 3*z, -5*z = -u + 4*u + 15. Let m be 192/20 + (-2)/u. Solve -n = -3*n - m for n.
-5
Let o = -8 - -6. Let z be (-1 - o)*7 + -1. Solve 3*r + z = -0*r for r.
-2
Suppose 23 = -4*w + 103. Suppose -7*h = -12*h + w. Solve -c + 3*c = -h for c.
-2
Suppose -m = -3*z - 32 + 8, 0 = -5*m + 2*z + 68. Suppose 4*y + 3 = 23. Suppose y*w - 9 - 1 = 0. Solve -2*d - m = w*d for d.
-3
Let f(i) = 6*i - 8. Let w be f(5). Suppose 0*b + 2*b - 3*c - w = 0, -5*b = 2*c - 17. Solve b*v = 6*v for v.
0
Suppose -5*y + 21 = 1. Suppose 2*j - y*j = -2*d - 24, 5*j = -3*d + 44. Suppose 2*x + 0 = j. Solve 1 = -x*s - 9 for s.
-2
Let z = 22 + -22. Solve -2 = -z*q - 2*q for q.
1
Let q be 0/(4 - (4 + 2)). Solve q = -0*k - 2*k - 8 for k.
-4
Suppose -5*r - 4 = -34. Suppose r = 2*n + n. Solve n*c + 2 = -4 for c.
-3
Suppose 4*m + 5*j - 20 = 0, 0*j + 16 = 4*j. Let y = -10 - -15. Solve 2*k - 3 - y = m for k.
4
Let h(g) = g**3 - 8*g**2 + 3. Let v be h(8). Solve 0 = -n - v + 5 for n.
2
Let w = -7 + 12. Suppose -21 = w*d - 6. Let z be d/(-9) + 3/(-9). Solve z = 2*t + 3*t - 25 for t.
5
Let o be (-3 + 3)*5/10. Suppose 2*s - 2 = -o. Solve -4*y + s = -5*y for y.
-1
Suppose 3*j - 4*g = 8, -3*j - 4 - 6 = 5*g. Let f(d) = d + 4. Let y be f(4). Suppose -y*q + 10 = -3*q. Solve n + n + q = j for n.
-1
Suppose 4*v - 2 = 14. Let s = -191 - -193. Solve -v = -c - s for c.
2
Suppose 2*k + 36 = -0*k. Let w be (k/(-4))/(9/84). Let v = -22 + w. Solve -v = -5*b + b for b.
5
Let h(i) = -i**3 - 6*i**2 - 7*i - 6. Let d(w) = -w + 2. Let c be d(7). Let l be h(c). Suppose -2*v + 27 = s, 6*s = l*v + s - 75. Solve -3*j - 3 + v = 0 for j.
4
Let h(r) = -r**3 - 6*r**2 - 6*r - 4. Let x be h(-5). Suppose 0 = 4*j - 13 + x. Solve 0 = -j*z + 3 + 6 for z.
3
Let n be 174/10 + (-10)/25. Suppose 5*r = -5*c - 5, r - c - n = 4*c. Solve -a + 0 = r for a.
-2
Let y = -8 + 3. Let j be ((-88)/55)/(2/y). Solve 0 - j = 4*u for u.
-1
Let j(m) = -2*m - 2. Let g be j(-2). Let y be ((-5)/g)/(3/(-6)). Solve 0 = -3*l + y + 4 for l.
3
Let l = 13 - 11. Let o be (-2)/(1 - 3) + -1. Let y be o/(2/(-1))*-1. Solve y = -l*a - 2*a + 16 for a.
4
Let t(b) = -2*b - 7. Let g be t(-5). Solve 0*n + 15 = g*n for n.
5
Suppose 0 = -3*u + 2*u - 10. Let p be (36/(-15))/(3/u). Let t = 37 + -35. Solve -6*f = -t*f - p for f.
2
Let i = 6 - -10. Let v = -6 + i. Solve -2 = 3*u + v for u.
-4
Suppose 3*t + 10 - 2 = 4*p, -4 = -2*p + t. Suppose -3 = -p*m + 5. Let h be m - ((-4)/(-2) - 3). Solve 0*d = h*d for d.
0
Let m(p) = -p**3 - 5*p**2 - 3*p - 10. Let x be m(-5). Let q be -12*(-2)/6*-4. Let u = 0 - q. Solve w = x*w + u for w.
-4
Suppose -5*o + 9*o = 20. Let d(u) = u**2 - 3*u + 2. Let a be d(3). Let q = 5 - a. Solve 2*t + q = o*t for t.
1
Let g = 10 - 13. Let w be 216/14 - g/(-7). Solve 0 = -7*y + 4*y + w for y.
5
Suppose -15 = 4*p - 2*r - 141, -4*r = 3*p - 89. Solve 0 = 5*v - 6 + p for v.
-5
Let b(g) = g**2 + 6*g - 4. Let i be b(-7). Suppose -4*p - 11 = -i*t + 4, 4*t = -p + 20. Suppose -3*k + 7 = -8. Solve -k*r + 4 + 21 = p for r.
5
Let q be (-2)/(-7) - 99/(-21). Let d(x) be the second derivative of x**5/20 - x**4/2 + 5*x**3/6 + 3*x**2/2 + 2*x. Let t be d(q). Solve 0 = t*f - 4 + 1 for f.
1
Let b be 88/(-14) + (-6)/(-21). Let x(r) be the second derivative of -r**4/12 - 7*r**3/6 + 3*r**2/2 + r. Let o be x(b). Solve o + 6 = -3*k for k.
-5
Suppose 0 = -4*k + 4*y + 84, 4 = -k - 6*y + 2*y. Suppose -g - 4*u + 1 + 3 = 0, 4*g - 5*u = k. Solve g*c = -c for c.
0
Let y be 0/2*(-5)/(-10). Suppose -4*z + 0*z + 28 = y. Suppose -z = -2*s - l - 4, 8 = 3*s + 5*l. Solve 5 - s = 4*r for r.
1
Suppose 0 = -4*u - v + 3, -6*u + 3*u - 3*v = 0. Suppose 5*m + 20 = 3*k, -16 = -k + 3*k + 4*m. Solve y = -k*y - u for y.
-1
Let u be ((-3)/(-2))/((-3)/(-4)). Suppose -u*d = d. Solve 0 = 3*g - d + 6 for g.
-2
Let l be 0 - (16*-5)/4. Solve -o = 4*o - l for o.
4
Suppose -5*f + 3*z = z + 6, 12 = 4*z. Solve f = l - 0 + 1 for l.
-1
Suppose 0 = -6*p - 0. Solve p = -3*m + 2 + 4 for m.
2
Let n(u) = -u**3 + 3*u**2 + 3. Let c be n(3). Let b = 8 + -17. Let k be 1/(2 + b/6). Solve -o + k + c = 0 for o.
5
Let c = 6 - 4. Let n be (1 - (1 - -2)) + c. Solve -5*h + 30 - 5 = n for h.
5
Let c(u) = 24*u**2 + u. Let a be c(-1). Let b = 2 + a. Solve 0*v = 5*v - b for v.
5
Let q be 4/5 + (-22)/(-10). Solve q*f + 2 = -7 for f.
-3
Suppose -2*v = -7*v + 10. Suppose 2*j - j = -v*f + 7, -34 = -4*f + 2*j. Suppose 2 = -2*o + f. Solve -o*d - 7 = 1 for d.
-4
Let s = 48 + -46. Solve 0 = 5*k + s + 3 for k.
-1
Let w be (-5 - -6)/((-2)/(-4)). Suppose 0 = m - 4, 5*x + m + 8 = 27. Suppose 2*j - x*j + 6 = 0. Solve -w = -c - j for c.
-4
Let y be 16/6 - (-6)/(-9). Suppose -g - 25 = -5*d + 4*g, -2*g = -3*d + 13. Solve -d*k = y*k - 10 for k.
2
Suppose 7*s - 4*s = 0. Suppose -o + 0 + 5 = s. Solve 0 = l - 3 + o for l.
-2
Let n be -3 + (1 - -4 - 2). Solve 0 = -3*f - n + 6 for f.
2
Let u = 10 - 5. Suppose 3*o + 3*o = 0. Solve 0 = -u*k - 5 - o for k.
-1
Suppose -c = 3*c. Suppose c = -h - h + 14. Solve 2*o - 1 = h for o.
4
Let s be 150/(-8) + (-15)/(-20). Let x = s - -20. Solve -x*w = w + 6 for w.
-2
Suppose -2*g - 6*f - 2 = -4*f, -21 = 3*g - 3*f. Let a = g + 9. Solve -20 = -0*r + a*r for r.
-4
Suppose -12*v = -14*v + 2. Solve -2*j - 7 = v for j.
-4
Suppose -86 + 80 = -2*m. Solve m*u + 0 - 12 = 0 for u.
4
Suppose -4*t - 20 = l, -t = -4*l + 7 - 2. Let k(i) = i**2 + 2*i - 1. Suppose c + 3 - 4 = 0. Let r be k(c). Solve -r*q + 5*q - 6 = l for q.
2
Let b be 3/15 - 32/10. Let p be (b/6)/(3/(-6)). Solve 3 = 2*f + p for f.
1
Let g(w) = -w**2 - 6*w - 4. Let j be g(-4). Suppose 7 = j*z - 1. Let s be ((-4)/(-6))/(z/9). Solve t - 2 - s = 0 for t.
5
Let j(d) = -2*d - 6. Let u be j(-5). Let w = -2 + u. Suppose 0 = w*k - 1 - 