 -x - 2 = 2*u for u.
-2
Suppose -16 = -2*l - 2*l. Solve -o = -l*o + 12 for o.
4
Let t be 212/20 + (-12)/20. Solve -5*j = -3*j + t for j.
-5
Let v(s) = s - 8. Let j be v(12). Suppose t = j*n + 21, 5*n - 2*t + 35 = t. Let z = n + 6. Solve p - 5 + z = 0 for p.
3
Let n = -142 + 145. Solve p + 5 - n = 0 for p.
-2
Let a(f) = -f - 4. Let d be a(-4). Suppose d*y = 5*y - 10. Suppose -y*i + i = -5. Solve 0*t = -i*t for t.
0
Let w(z) be the third derivative of -z**6/120 - 7*z**5/60 + 5*z**3/6 - z**2. Let h be 445/(-40) - -4 - (-1)/8. Let l be w(h). Solve 1 = l*u + 16 for u.
-3
Suppose 2 = 2*f - 8. Suppose -f*d - 58 = -4*n + 2, -3*d + 4*n = 44. Let p = d - -12. Solve z + p*z - 20 = 0 for z.
4
Suppose 4*o + 2 = 3*v, -o - 2 = -3*o. Suppose 5*a = b + 27 + 8, a = v*b + 16. Solve 0 = -4*k + a*k for k.
0
Let v(p) = 3*p**3 + 2*p**2 - 3*p + 2. Let u be v(1). Solve 5*c = u*c for c.
0
Let n(w) = w**2 - 11*w + 13. Let d be n(10). Solve 4*p = d*p + 2 for p.
2
Suppose 0 = -5*m + 9*m - 104. Suppose -y + 13 = -4*s - 6, -5*s = -2*y + m. Solve y*h = -0*h - 3 for h.
-1
Let q = 11 + -7. Suppose u - 4*u = -27. Suppose q*j - u - 7 = 0. Solve 2*d + 4 = -j for d.
-4
Let q be (-12)/(-2)*(-3 + (-21)/(-6)). Solve p = q*p for p.
0
Let j(d) = -5*d. Let l be j(-1). Suppose -l*u + 8 = -3*u - x, -3*u = -4*x - 17. Solve 6*q = u*q for q.
0
Let s(f) = 2*f**3 - 3*f**2 + 6*f - 12. Let j be s(2). Solve j*y - 8 = -0*y for y.
2
Let g = -10 - -3. Let s = -7 - g. Suppose s = f - 3. Solve f*d + 16 = -d for d.
-4
Suppose -m + 7 = -0. Let n = m + -10. Let j = 6 + n. Solve 5*x - 23 = -j for x.
4
Suppose 2*b - 7 = -m, -2 - 4 = 2*m. Solve -b*k - 5 = -15 for k.
2
Suppose 0 = 4*k + 12 - 0. Let d be 216/84*(-14)/k. Solve 2*c = -2*c + d for c.
3
Let a be (-1)/(((-9)/60)/3). Suppose 4*z = m - a, m + 2*z - 5 = 3*z. Solve m = 3*u - 0*u + 12 for u.
-4
Suppose 26 - 38 = -3*x. Solve 0 = x*w + 1 - 5 for w.
1
Let t(j) = -j**3 + 5*j**2 + 3*j - 12. Let g be t(5). Solve 2*p = -g*p - 10 for p.
-2
Suppose 0 = c - d, 2*c + 0*d = -d - 9. Let q be 2 + -1 + (1 - -1). Let p = c + q. Solve p = 2*j + j + 9 for j.
-3
Let u = 6 - 6. Let s be (0 + u)/(3 - 1). Solve s = -k - 2 - 2 for k.
-4
Suppose -x + 4 = 4*c - 0*x, -3*x = -2*c + 16. Suppose c*r + 2 = 3*r. Solve r*s = -2*s - 20 for s.
-5
Let a(h) = h + 1. Let i be a(3). Suppose -5*s = -i*o, 2*s = -4*o - 5 + 33. Solve 16 = 4*w + s for w.
3
Let d be ((2 - 2) + -1)*0. Let f(t) = -t**3 + 8*t**2 + 8*t + 11. Let y be f(9). Suppose y*l = 4*s + 40, l + 3 = -3*s + 13. Solve d = -4*k + l for k.
4
Suppose -5*n + n - 4*v + 36 = 0, 4*v - 8 = 0. Let t(l) = l - 3. Let b be t(n). Suppose 0 = 2*a - 4, 2*y - 5*y = b*a - 38. Solve -2*f - y = 3*f for f.
-2
Suppose -14*f + 6 + 8 = 0. Solve -2 = i + f for i.
-3
Suppose 2*d + 2*q - 5*q = 1, 3*d + 2*q - 21 = 0. Solve n - 20 = d*n for n.
-5
Suppose 0*d = 5*r - 4*d - 88, 3*r - d - 50 = 0. Suppose 5*s = s - 2*v + r, 15 = s - 5*v. Solve 0 = -2*u - 3*u - s for u.
-1
Suppose 0 = -5*u + q + 98, -6 = -u + 3*q + 8. Suppose 14*v - 7*v = 21. Solve -2*a = v*a + u for a.
-4
Suppose -2*i - 3*o - 9 = 0, -o = i - 3*i + 3. Solve 3*a - 3 = -i*a for a.
1
Let z = -8 + 16. Let c(p) = -p**3 + 5*p**2. Let r be c(5). Let i be (0 + r)/(z/(-4)). Solve 3 = -3*o - i*o for o.
-1
Let v be (-456)/(-28) + (-2)/7. Suppose -2*o + 4*s = 8*s - v, 0 = -2*o + 4*s + 8. Solve -5*d + o - 21 = 0 for d.
-3
Suppose 0 = -3*r + r + 2. Let m be 8 - (0/(-1) - r). Solve 4*q - m = -1 for q.
2
Let f be (1/3)/(1/6). Solve f*k = 4*k + 10 for k.
-5
Suppose 4*q + 0*q = 0. Let w = 2 - 0. Let i be ((1 - 2) + 1)/w. Solve i = m - 2 - q for m.
2
Suppose -5*w = 21 + 34. Let b = -5 - w. Solve -2*r = -b*r + 4 for r.
1
Let d be 52/8 + (-2)/4. Let g(a) be the second derivative of a**5/20 + a**4/2 - a**3 + 7*a**2/2 - 2*a. Let k be g(-7). Solve 0 = -2*n - d - k for n.
-3
Let l = -3 - -7. Suppose -l*g + 4 = -3*g. Solve 0*n + n = -g for n.
-4
Let a = -3 + 6. Let x(c) = -c**3 - 3*c**2 - 3*c - 1. Let w be x(-2). Let y(b) = 13*b**3 + b. Let f be y(w). Solve -a*i - 1 = f for i.
-5
Suppose 6 = -2*v + 2, -6 = -2*k - 3*v. Suppose -8 = -c + k. Suppose 0 = 3*t + 5*z - c, 3*t + z - 16 = 6. Solve 2*p + 0*p = -t for p.
-4
Suppose 4*r + 2*r = 24. Let q be ((-2)/6)/((-2)/174). Let u = q - r. Solve 2*c + 3*c + u = 0 for c.
-5
Let n = 2 - 2. Let l = -11 + 9. Let m = n - l. Solve 2 = m*a - 0 for a.
1
Let d = 7 + -3. Suppose -4*y - 27 = -3*a, 5*y - 4*a - a = -40. Let b = 6 + y. Solve -b = -l + d*l for l.
-1
Let l = -18 + 22. Solve g + l = -0 for g.
-4
Let m(f) = -2*f**3 - f. Let r be m(-1). Suppose -r*d + 200 + 136 = 0. Let h be d/12 - (-4)/6. Solve 6*w = 4*w + h for w.
5
Let z(o) = o**3 + 8*o**2 + 5*o - 10. Let a be z(-7). Suppose -a = -5*q + 1. Solve -3*u - q = 2 for u.
-1
Let d = 8 - 3. Suppose 0 = d*v + 3*k - 14, v + 5*k + 3 = -3. Suppose -3*q + 16 = c + c, 4*c - 3*q + v = 0. Solve 4 = 6*t - c*t for t.
1
Let w = 5 + 1. Solve 5*r = 1 - w for r.
-1
Let h(n) = -n**3 + 8*n**2 + n - 7. Let b be h(8). Solve -4*w - b - 15 = 0 for w.
-4
Let y be (-33)/(-3) + -1 + -1. Suppose b + 4 = y. Solve -5*p + 0*p + b = 0 for p.
1
Suppose -2*s + 4 = 2*k, -k - k + 4*s = -4. Solve 3*w = 2*w - k for w.
-2
Let k be 1/4 + (-12)/(-16). Let o be -1 - (-10 + k/(-1)). Solve -4*v = -2 + o for v.
-2
Let u = 10 + -8. Solve u*p + 1 - 5 = 0 for p.
2
Suppose -2*r = -5*u + 100, 2*u + r = -3*r + 40. Suppose 7 = k - 5*t, u = k - 5*k - 4*t. Let v = k + 3. Solve 2*w + 0*w + 6 = v for w.
-3
Let l(y) = -10*y**2 + y + 3. Let n be l(-3). Let c be (n/(-3))/(6/4). Suppose 2*s + 2*s - c = 0. Solve -5 = s*x - 0 for x.
-1
Suppose i - 5*i + 4*f = 0, -5*f = 5*i - 10. Suppose -6*s + 10 = -2*s - 2*c, 0 = s + 5*c - 30. Solve -11 = s*d - i for d.
-2
Suppose 0 = -4*d + 6 + 2. Suppose -b - 8 = -5*b. Solve -2 = -b*j + d for j.
2
Let j(q) = -q**3 + 7*q**2 - 6*q + 3. Suppose -36 = -5*k - 3*r, -5*k + 2*r = -r - 24. Let i = 0 + k. Let g be j(i). Solve s + g*s + 20 = 0 for s.
-5
Let m = -11 + 11. Solve -4*a + m = -20 for a.
5
Let f(o) = o**2 - 2*o + 1. Let l be f(3). Let a be 18/l - 4/8. Solve -9 = n - a*n for n.
3
Suppose -5 = 5*j - 6*j. Suppose m = -0*m - 3*v - 10, -j*v = -m + 30. Solve -m*u + 7 + 3 = 0 for u.
2
Suppose 0 = 2*c - 4*b + b - 12, 3*b = 0. Let t = c - 0. Solve 3*q + t = q for q.
-3
Let i = -37 - -67. Let x be 7/(21/i)*-1. Let g be (-2 + 1)/(x/50). Solve -u = 4*u + g for u.
-1
Let z(c) = -c**2 - 7*c - 6. Let t(p) = -5 + p - p**2 + 3*p - 3*p. Let s be t(0). Let y be z(s). Solve 2 = -y*q - 2 for q.
-1
Suppose a = -0*a - 7. Let u = 12 + a. Let g = 11 + -9. Solve 0 = -u*t + g*t + 3 for t.
1
Let u be ((-30)/25)/(6/(-20)). Let z be (-2)/(4 - 2 - u). Let x be (-1 + z)/2*-1. Solve h = -x*h - 1 for h.
-1
Suppose -5*v + 3*a - 28 = 2*a, 0 = 4*a + 8. Suppose 3 = u + 2. Let f be u/((v/(-4))/3). Solve f*t + 3 = t for t.
-3
Let s(f) be the first derivative of -f**2/2 + f + 1. Let b be s(-3). Let t(n) = n**2 - 4*n - 4. Let v be t(6). Solve -v = b*m + 8 for m.
-4
Let c(m) = -m**3 + 31*m**2 + 34*m - 60. Let l be c(32). Solve 0 = -q - l + 8 for q.
4
Suppose 3*u = -6*u + 144. Solve u = 3*z + z for z.
4
Suppose q - 2*q + 4*n = -11, -15 = 5*n. Let g be 1/q + 2 + 1. Let u be 0*-2*3/12. Solve -d - g + 4 = u for d.
2
Suppose -47 = 3*t - 53. Solve t*b = 1 + 1 for b.
1
Let i(f) = -f**3 - 9*f**2 + 10*f. Let l be i(-10). Suppose l = -4*d - 3*u + 24, 4*d + 5*u = 14 + 10. Solve 3*v + 0 = -d for v.
-2
Suppose j + 8 = 3*j. Suppose q - 3*q - 2*b = -j, 0 = 3*q + 2*b - 6. Solve -q*z - 3 = 3 for z.
-3
Let z be (-10)/4*164/(-205). Solve i = 1 + z for i.
3
Suppose -12 = -5*z - 2. Solve 4 + z = 3*g for g.
2
Suppose -34 = -2*s + 2*z + 2*z, 7 = -s - 4*z. Let m(b) = -4*b + 6. Let c be m(s). Let y be (24/30)/((-2)/c). Solve -2*u - u = -y for u.
4
Let j be (-6)/21 - (-9)/7. Solve -4*a - 21 + j = 0 for a.
-5
Let w(q) = -q**3 + 12*q**2 + 28*q + 9. Let p be w(14). Let n be ((-8)/2)/(2/(-3)). Solve -3*v + n*v - p = 0 for v.
3
Let a = -1 + 2. Suppose -5*j + a - 6 = 0. Let q(k) = -10*k - 1. Let c be q(j). Solve 16 = 5*s - c for s.
5
Let z be 99/21 - 2/(-7). Suppose -5*d - 3*g = 4, -d + z*g + 8 = 20. Let t be 45/6*d/(-3). Solve 7 = 4*q - t for q.
3
Suppose 5*p - 4*f = 78, p = -7*f + 4*f + 8. Let o be ((-8)/p)/(12/(-42)). Solve -o = m - 4 for m.
2
Let k = -159 - -165. Solve 5*t - 9 - k = 0 for t.
3
Let z be (-4 + (-6 - -2))/(-