 -5*d + 2*j. Suppose 0*w - 5*w + 10 = 0. Let k = 5 - w. Solve k*o - o + 10 = d for o.
-5
Let n = 2 + -10. Let d be -4*(-4 + (-30)/n). Solve -3*w + 10 - d = 0 for w.
3
Let s be 3/1 + (-2)/2. Solve m = -s*m + 3 for m.
1
Suppose 0 = -t + 6*t + 10, t = -2*f - 10. Let i(z) = -z**2 - 6*z - 6. Let w be i(f). Solve 4 + w = 2*a for a.
3
Let h(a) = a**3 + 6*a**2 - 5*a - 7. Let q be h(-7). Let z = 23 + q. Solve 5*y = z*y for y.
0
Suppose -6*m + 6 = -3*m. Solve 1 = -m*g + 9 for g.
4
Let o be ((-32)/(-28))/((-4)/(-14)). Let l(w) = -w**2 + 4*w + 2. Let g be l(o). Solve -p - g = p for p.
-1
Suppose 8*b - 7*b + 48 = 0. Let p be 1/(-4) - 156/b. Solve 0 = 5*u - 2 - p for u.
1
Suppose 3*f - 66 = -0*f. Suppose 0*n + n - 4 = 0, 2*n + f = 5*s. Solve -2*d = -s*d + 4 for d.
1
Let s(o) = o + 4. Let b be s(-4). Let t(n) = 2*n**2 + 41*n - 6. Let f be t(-21). Solve -f = -b*m + 3*m for m.
-5
Suppose 4*x = -4*m + 24, -5*x + 10 = -2*x - m. Suppose -x*c - 8 = -4*v - 0*c, -3*v + 6 = 2*c. Solve 0 = v*k + 2 for k.
-1
Let q be ((-20)/35)/((-2)/7). Suppose s - 3*a - 20 = 0, 4*s - 1 = -q*a + 9. Let z = s - -1. Solve 0 = 2*h - z*h for h.
0
Let x be (-3 + 1)*(-7 - 1). Suppose 0 = -0*z + 4*z - x. Solve 1 = z*o + 13 for o.
-3
Let k be 1/((2/(-9))/(8/(-6))). Solve k*i - i = 20 for i.
4
Let h be (-1)/2*2/1. Let a(x) = x + 1. Let p be a(h). Let n = p - -2. Solve -n*r + 5 = -r for r.
5
Let s(g) = g**2 + g + 2. Let z = 3 - 6. Let q be s(z). Solve 8*k - 4*k = -q for k.
-2
Let v be -1*4 - (0 - 2). Let b = v - 8. Let q be ((-8)/b)/2*5. Solve -q*g + 3 + 3 = 0 for g.
3
Let p = 11 + -11. Let n = p - -1. Let g = n + 3. Solve -2*k = -k + g for k.
-4
Let q = -9 - -9. Suppose -4 = -2*n - q. Solve -n*g = g for g.
0
Let w = 4 - 4. Solve w = -q - 3 - 2 for q.
-5
Suppose 6*c - 40 = 4*c. Let v = c - 8. Suppose 0 = -0*r + 3*r + 2*o - 12, 0 = -3*r + 2*o + v. Solve u = -u - r for u.
-2
Suppose 5*s + 3*j - 26 = 0, 4*s = -5*j + 3*j + 22. Let l = 8 - s. Solve -v - l + 4 = 0 for v.
3
Let l be (-10)/15 - 11/(-3). Suppose 0*t = -l*t + 12. Solve -20 + 4 = -t*v for v.
4
Let f(d) = -23*d**2 + 3*d - 3. Let l = 23 - 40. Let y(x) = 8*x**2 - x + 1. Let i(n) = l*y(n) - 6*f(n). Let g be i(2). Solve g*q = 2*q for q.
0
Let i = -2 + 7. Solve -i*s = -0*s - 20 for s.
4
Suppose 15 = -3*w - 15. Let p = 14 + w. Suppose 16 = 4*s - 4*q, 6 + p = 2*s - 4*q. Solve -4*z + s = -5 for z.
2
Let g(u) be the third derivative of -u**6/120 + u**5/12 + u**4/8 - u**3/3 + 4*u**2. Let s be g(5). Let x = 21 - s. Solve 5*l + x = -7 for l.
-3
Let x(n) = n**2 - 6*n + 2. Let j be x(6). Let w(s) = s - 1. Let i be w(0). Let k = i - -1. Solve k*f = j*f - 6 for f.
3
Suppose 6*m = 5*m + 5. Solve 0 = m*z - 1 - 4 for z.
1
Let b = 67 + -67. Solve -4 + b = v for v.
-4
Let x = 2 + -2. Suppose x = 5*b - 9*b + 12. Solve -8*f - 5 = -b*f for f.
-1
Let c be 5 + (-2 - -2) + -2. Suppose -3*p - 13 = -2*b, 9 = c*b - p - 7. Suppose -5 = -2*i + b*d, 3*d + 2 = 5*i - 1. Solve -2*n = -i*n - 2 for n.
1
Let c = 1 + -1. Suppose 3*s + 0 = 3. Let p be 2/s + c/(-1). Solve 0 = -2*u - p*u + 8 for u.
2
Let w be (-62)/(-12) - (-3)/(-18). Solve 4*h + w = 1 for h.
-1
Let z(t) = t**3 - 15*t**2 - t + 21. Let u be z(15). Solve 0 = -3*v + u - 0 for v.
2
Let k = -6 + 10. Let r be (-8)/(-28) - 93/7. Let u = -12 - r. Solve k*m - u = 7 for m.
2
Let w be 6/27 + (-106)/(-9). Suppose 13 - 3 = 5*p. Suppose 0*y = p*y - w. Solve -3*m + 12 = -y*m for m.
-4
Suppose 2*b = -2*t - 6, -3*b - 7 = 7*t - 3*t. Solve -4*v - t = -10 for v.
2
Suppose 5*u - 28 - 12 = 0. Suppose g = -3*b - g - u, -3*b + 20 = -5*g. Solve -j = -b*j + 2 for j.
-2
Let y be (-2 - 0) + 2 - -2. Suppose -5*v + 2*w - 3*w = -20, -v - 2 = -w. Suppose 0 = -4*l - y*n + 54, -v*l + 2*l + 11 = n. Solve k = 5*k - l for k.
4
Let b = 10 + -7. Let x be (-10)/3 + 1/b. Let u be x/(-9) - (-4)/6. Solve -a - u = -4 for a.
3
Let n(h) = 2*h**2 + 0 - 3 + 1. Let m be n(2). Let r = 9 + -5. Solve 0 = r*j - m + 14 for j.
-2
Let v = 2 - -2. Solve -v*x + x = -9 for x.
3
Suppose -6 + 2 = -2*s. Let l(p) = 2*p - 1. Let u be l(s). Solve -m - u = -1 for m.
-2
Let g(h) = 10*h. Let c be g(2). Let d = 10 - 5. Suppose d*b = 2*b + 6. Solve -c = -b*f + 6*f for f.
-5
Let x(p) be the first derivative of p**4/4 - p**3 + p**2 + 2*p - 1. Let m = -1 - -3. Let d be x(m). Solve 9 = 5*i - d*i for i.
3
Let j = 35 + -23. Solve -2*g = j - 2 for g.
-5
Suppose 3*g + j + 2*j - 12 = 0, -1 = -j. Solve -g*o + 12 = -0 for o.
4
Suppose 3*k - 23 = 2*m, 0*k - 3*k + 3 = 3*m. Suppose -2*g + 48 = -0*z + 4*z, -35 = -3*z - 2*g. Solve k*p + 7 + z = 0 for p.
-4
Let o be (-4 - 1)/((-3)/(-12)). Let c be (-116)/(-10) + (-8)/o. Solve -3*t - t = -c for t.
3
Let i = -61 - -66. Solve -i*c = -c + 8 for c.
-2
Let z be 104/(-16) + (-3)/(-2). Let s(m) = -8*m - 12. Let p be s(z). Solve p = 5*h + 3 for h.
5
Suppose 3*s = 2*b - 5*b + 33, 3*s - 35 = -4*b. Solve -8 = -7*v + s*v for v.
-4
Let b = 15 + -15. Solve b = 3*x + 2*x + 25 for x.
-5
Let d(j) = -35 + 35 + 2*j. Let a be d(1). Solve a*g - 4*g = 10 for g.
-5
Let r(c) = c**3 - 7*c**2 - 8*c + 2. Let k(n) = n + 2. Let q be k(6). Let j be r(q). Solve 4 = -j*t - 4 for t.
-4
Let l(q) = 13*q**2 + 4*q + 4. Let r be l(-4). Suppose -k - 2*k + 136 = 4*o, 2*o = 4*k - r. Let p be (k/(-10))/((-3)/10). Solve -4*f = -p + 4 for f.
3
Suppose -z = -3*z + 96. Let s be z/9 - 4/(-6). Solve 0 = -j - 2*j + s for j.
2
Suppose 24 - 9 = c. Suppose 3*k = -2*s + 4*k + 37, -1 = -s - 3*k. Suppose 0*t - s = -4*t. Solve c = -t*n - n for n.
-3
Let n = 6 - 6. Solve 0 = -2*t - n*t + 2 for t.
1
Let i = 7 + -12. Let d = -2 - i. Suppose -y = 3*l - 15, 0*y - 2*y - 10 = -2*l. Solve 7 + l = -d*k for k.
-4
Let g = 108 - 100. Solve -g = -b - 4 for b.
4
Suppose 0*b = 4*d - b - 18, 2*d - 4*b = 2. Suppose -7 = 4*t + d*p - 2, -t + 2*p = -2. Solve -2*s = -t - 8 for s.
4
Let f(x) = -x**2 + 5*x + 2. Let t be f(4). Let n(d) = -d**3 - 8*d**2 + 3*d - 34. Let o be n(-9). Suppose 2*c - 3 = 1. Solve -c*i - o = -t*i for i.
5
Suppose 0 = -y - 4*y - 10. Suppose -2 = 5*h + 3. Let j be (3 - -5)*h/y. Solve 3*f = f + j for f.
2
Suppose -m + 0*m = -6. Solve q + 2*q - m = 0 for q.
2
Suppose 19*f = 14*f + 45. Solve f = 4*o + 1 for o.
2
Let r = -21 - -5. Suppose 0 = -3*g + 20 - 86. Let f = r - g. Solve -w = w - f for w.
3
Let a be ((-4)/(-5))/(10/25). Solve 6 = -a*h + 2 for h.
-2
Let u be ((-4)/(-6))/((-2)/(-30)). Let i = -14 - -24. Suppose -i = -3*h + z - 0*z, -h + u = 3*z. Solve h = -s + 2 for s.
-2
Let l(w) = w + 13. Let p be l(-13). Suppose j + p*y + y - 3 = 0, j - 2*y + 6 = 0. Solve j = -g - 3*g + 16 for g.
4
Suppose g + i - 9 = 0, -5*g + i - 3 + 36 = 0. Suppose -5*r + 3 = 5*q - 7, -5*q = 2*r - g. Suppose 2*m - 5 = -r. Solve 0*k - 2*k = -m for k.
1
Let x(i) = i**2 - 5*i + 8. Let q be x(2). Solve q*b = 1 - 3 for b.
-1
Let r = 6 + -6. Suppose r*s = -2*s. Suppose -4*f + s*f = -8. Solve 0*x - 8 = -f*x for x.
4
Suppose -31 = d + 17. Let z be (2/8)/((-4)/d). Solve 2*x + z = 3*x for x.
3
Let y be (6/4)/((-24)/(-32)). Suppose o - y*o + 20 = 0. Solve -4*b = b + o for b.
-4
Let v = 0 + -2. Let x = 2 - v. Solve r = -3*r - x for r.
-1
Suppose 2*r + 15 = 15. Solve r = -h - 5*h - 6 for h.
-1
Let l = -7 + 11. Solve l*x - 2*x = 10 for x.
5
Suppose -8*u + 3*u = -25, -65 = -3*l - 4*u. Suppose 8*h = 9*h + 10. Let a = l + h. Solve -a*f - 12 = -2 for f.
-2
Let m(u) = -7*u - 5 - u - 4 + u**2. Let d be m(9). Solve d*q - 4 = q for q.
-4
Let k = -12 + 14. Solve k*t = -0*t for t.
0
Let c(z) = z**2 - 4*z + 8. Let o be c(4). Solve 3*d + 10 = o*d for d.
2
Let n = -3 + 5. Suppose -2*d - 26 = -6*d - n*k, -10 = -2*k. Let h(a) = a**2 - a + 2. Let r be h(3). Solve 12 = -r*w + d*w for w.
-3
Let b = 117 - 114. Solve 2*h - 5 = -b for h.
1
Let y be (-10)/(-3) - 20/(-30). Solve -3*f + f = -y for f.
2
Let n be (-10)/(-6) + (-3)/(-9). Let h(i) = i**3 + 8*i**2 + 9*i + 16. Let d be h(-7). Let z be (3/2)/(3/4). Solve n*v - d = z for v.
2
Let t(w) = -w - 1. Let f(z) = -z. Let v be f(3). Let d be t(v). Solve -d*p = -p + 5 for p.
-5
Suppose -45 + 9 = 2*n. Let k = -13 - n. Solve -35 = k*x - 10 for x.
-5
Let h be (-2)/(1 + (-21)/18). Solve 0*y + h = 3*y for y.
4
Let l be (-2)/(-1) - (2 - 3). Suppose 21 - 9 = 6*t. Solve -t*n = -l*n for n.
0
Let g = 21 - 15. Solve k = -k + g for k.
3
Let v(a) = 2*a**2 + 6*a + 7. Let r be v(-3). Solve -5*f + 17 = r for f.
2
Let z = -10 - -38