lve 0 = h*j - 16*j for j.
0
Suppose 1163 = 5*s + 4*g, 5 = g + 3. Solve s = -4*c + 247 for c.
4
Suppose t - 17 = -3*m, -1 - 4 = -m. Solve 17 = -5*n + t for n.
-3
Let b be (-2 + 266/119)*17. Solve 0 = -b*i + 7*i + 3 for i.
-1
Let o = -12 + 40. Let u = o - 18. Suppose -4*j + u = -2*j. Solve l = j*l for l.
0
Let o(i) = -30*i - 13. Let w be o(-1). Solve 7*c + 50 = w*c for c.
5
Suppose 2*x - 6 = 4*p, 5*p = -348*x + 344*x + 12. Suppose -a = 2*f + 3 - 7, -4*a - 4*f = -28. Suppose -4*q + 3 + 5 = 0. Solve a = -p*h + q*h for h.
5
Let h = 205 + -204. Solve 3*f + h = 4 for f.
1
Let f be 2/(-4)*-10 + 3. Solve -f*c - 2*c + 20 = 0 for c.
2
Let x = -274 - -291. Solve 5*r - 42 + x = 0 for r.
5
Let p = -589 + 592. Solve 6 + p = 3*k for k.
3
Let p be (-592)/(-12)*(-5 + (-138)/(-24)). Solve 0 = -6*n - 19 + p for n.
3
Let x = -87 - -87. Solve x = -5*y - 38 + 13 for y.
-5
Let g(u) be the first derivative of u**2/2 - 3*u + 3. Let k be g(6). Suppose -k = -4*f + 13. Solve -s - 25 = f*s for s.
-5
Let q = -45 - -57. Let a = q + -12. Solve 2*p - p - 4 = a for p.
4
Let j(y) = -18*y + 21. Let s be j(3). Let f = -27 - s. Solve 7 = o + f for o.
1
Suppose 5*h = -0*h. Suppose h = -4*c + 16 + 8. Suppose -c = -6*g + 18. Solve 3*v + 1 = g*v for v.
1
Let o be -2*(-51)/(-34) - (-14 - 1). Solve -6*p + o = -0 for p.
2
Let l be (-2)/7 - (38/14 + -2). Let v be 2 - (l + 2) - (-5 - -4). Solve -5*s - 3 = v for s.
-1
Suppose -10*b - 12*b = -66. Solve -b*s - 7 = 4*s for s.
-1
Let b(l) = -19*l**3 + 5*l + 9. Let j be b(-2). Suppose -j*m = -154*m + 12. Solve -d - m = 3*d for d.
-1
Let b(f) = f**3 - 4*f - 5*f**2 - 3 - 2*f + f. Suppose 0 = 4*t - 8, 8*t - 4*t - 2 = u. Let h be b(u). Solve h = -0*c + c for c.
3
Let x = -608 + 608. Solve 4*u + u - 15 = x for u.
3
Let v(u) be the third derivative of -1/120*u**6 + 0*u + 0 + 0*u**4 + 5*u**2 + 1/6*u**3 - 3/20*u**5. Let g be v(-9). Solve 0 + g = s for s.
1
Let j be -21*(-3 + (-95)/(-35)). Let y(t) = -t**2 + 2*t + 2. Let f be y(2). Solve -f*g = -j*g for g.
0
Let r(o) = 7*o - 6. Let b be r(7). Let d = -37 + b. Solve -4 + d = -i for i.
-2
Let g = 0 - -5. Suppose 3*z = -g*z + 40. Solve z*f - 9 + 4 = 0 for f.
1
Let k = -31 + 80. Suppose -p - 326 = -340. Let j be 2/7 - p/k. Solve -6 = -2*x - j*x for x.
3
Suppose 7*r - 6*r = 0. Let f(j) = -j**2 - 5*j + 2. Let l be f(-5). Suppose l*h + h - 6 = r. Solve 20 = h*o - 7*o for o.
-4
Let c = 106 - 79. Solve 15 = -30*r + c*r for r.
-5
Let r be 6 + 21/(-7) - -3. Suppose -4*k - 5*m + 8*m + 14 = 0, 3*m = 2*k - 4. Solve -2*f = -k*f - r for f.
-2
Let j = 10 - 4. Let n(y) = y**3 - 6*y**2 + y - 4. Let x be n(j). Suppose 23*h + 19*h = 0. Solve -x*c - c = h for c.
0
Let u(n) = -18 - 41*n - 33 - 29*n + 81*n. Let p be u(5). Solve -p = -5*s - 24 for s.
-4
Let k = -9 - 3. Let l = 23 - 7. Let x = l + k. Solve 0 = -x*m + 3*m for m.
0
Suppose 26 - 2 = 8*j. Suppose o + 3*y + 0*y - 12 = 0, 12 = 3*o + j*y. Solve o = v + 3*v + 12 for v.
-3
Suppose x + 1 = 2. Let k be ((-20)/12)/(x/(-3)). Solve r + k = -0 for r.
-5
Let y(h) = h**3 + h**2 - 11*h. Let b be y(3). Solve -m - 12 = b*m for m.
-3
Suppose -766 = -42*s + 998. Solve -u = -22*u + s for u.
2
Let a = 11 + -20. Let v be (-6)/a + 8/6. Suppose 0*k = -v*k. Solve k = -3*t - 6 - 3 for t.
-3
Let y = 71 + -69. Suppose -y*s + 12 = 2*s. Solve -s*n = n for n.
0
Suppose 0 = -3*x - 2*s + 17, -x + 5*s - 2*s + 24 = 0. Suppose 14*q - 100 = x*q. Solve 0 = -i + 6*i + q for i.
-4
Let c(t) = 2*t**2 - 2*t + 2. Let i be c(1). Suppose -8 + i = -p. Solve 5*k + 9 = -p for k.
-3
Suppose 0 = 4*w - 16 - 4. Let b(s) = -s + 23. Let z be b(0). Let f = 39 - z. Solve -w*h = -h - f for h.
4
Let s(p) = p**2 - 44*p - 400. Let a be s(52). Solve 176*u + a = 172*u for u.
-4
Suppose 3*y = 12, -4*g - 3*y + 6*y + 4 = 0. Let x be g + (-5 + 4)*2. Solve -23 = -5*c + x for c.
5
Let s = -413 - -435. Solve -u = -23 + s for u.
1
Suppose -114 = 8*d - 9*d. Let b = -110 + d. Solve -b*r = 3 + 1 for r.
-1
Suppose 210 = 145*n - 124*n. Solve 0 = n*s - 7*s + 10*s for s.
0
Suppose 5*f = 30*f - 50. Solve -15 + 9 = f*y for y.
-3
Suppose m - 25 - 24 = -4*l, -2*l - m + 25 = 0. Let u = -3 + 3. Solve 3*g + l = -u for g.
-4
Let o(r) = 2*r - 8. Let b be o(4). Let x = 3 + b. Suppose 5*n - 16 = n. Solve w = x - n for w.
-1
Let h be (4 - 20/3)*(-3)/2. Let r be 2 - 2*1/(-2). Solve r*b - h*b - 5 = 0 for b.
-5
Let f(t) be the second derivative of -t**3/6 - t**2 - 3*t. Let s be f(-2). Let v = 147 - 144. Solve -12 = -s*r + v*r for r.
-4
Let z(f) = f**2 + 7*f - 8. Let m be z(-11). Let g be 4*(-15)/m*-3. Suppose 0 = 2*u + 1 - g. Solve 0 = -2*b - u*b for b.
0
Let g = -1358 - -1417. Solve 63 - g = u for u.
4
Suppose -2*u + 29 - 37 = -2*i, 30 = 5*u + 5*i. Solve p + 2 = -u for p.
-3
Let x be (64/12)/(5/45). Solve -5*u + 58 = x for u.
2
Let c = -390 - -399. Solve -3*n = -6*n - c for n.
-3
Suppose -3*m = c - 4*m - 9, 3*c = 2*m + 23. Suppose c*x = x. Suppose y - v = 6, -2*v + 0*v - 6 = x. Solve -y = 2*o - 3*o for o.
3
Suppose -18*c + 28 = 28. Suppose -8*b = -3*b - 60. Solve b = 3*m - c*m for m.
4
Let n be (-8)/14*(-301)/43. Solve m - 3*m = n for m.
-2
Let k = -34 + 36. Suppose 12 - k = 2*x. Suppose -d + x*h - 2 = 1, 5*d - 37 = -h. Solve d = -5*z + 2 for z.
-1
Suppose 1230*q = 1233*q - 12. Solve 5*o = 4*o + q for o.
4
Suppose 50 = 4*y + 10. Solve o = -o + y for o.
5
Suppose -6 = -0*o - 3*o. Let x = -1037 - -1037. Solve o*z - 4*z + 6 = x for z.
3
Let k(q) = -q**3 - 9*q**2 + q + 13. Let c be k(-9). Suppose -20 = c*g - 72. Let j = -10 + g. Solve -j*b = 2*b - 25 for b.
5
Let f(u) = 2*u**2 - 6*u + 7. Let a be f(3). Suppose 2*q = -1 + a. Solve q*y + 12 = -y for y.
-3
Let c(n) = n**2 + 6*n - 5. Let a(k) = 1. Let t(u) = a(u) - c(u). Let i be t(-6). Let g = i - 4. Solve g*x - 20 = -2*x for x.
5
Let w = 138 + -87. Solve 0 = w*y - 49*y for y.
0
Let f be (-6)/(-4) - 3/6. Let c(z) = -12 - 6 - f - 2 - 4*z. Let l be c(-6). Solve 0 = -0*o - l*o for o.
0
Suppose 24 = 7*m + 10. Solve m*n = 7*n for n.
0
Let b = -2 - -7. Suppose -2*s + 4 = -t, 0 = b*s - 3*t - 8. Let z = -3 + 3. Solve s*h - 23 + 3 = z for h.
5
Let p = -10 - 17. Let g be p/(-3)*-1*-4. Let l be (-8)/g + 8/36. Solve -4*o + 7 + 5 = l for o.
3
Let n be 3/12 + 4 + (-34)/8. Suppose n*w = 5*w - 10. Solve -14 = -3*g - w for g.
4
Let v be -20 - (1 - 13)/(-3). Let a = 42 + v. Let y be a + -10 + (-2)/1. Solve o + 25 = y*o for o.
5
Let a = 0 + 0. Suppose -4*w = 2*h - 8, 62*w - 66*w + 12 = 4*h. Solve a*u = h*u for u.
0
Suppose -3*q = -4*q. Let b be (-6)/21 - (-16)/7. Solve -b*z + z - 4 = q for z.
-4
Suppose 20*m - 70 = 15*m. Suppose f = m - 8. Suppose 9 + 4 = v - 4*x, 0 = 5*v + 5*x - 15. Solve 0 = -f*z + v*z + 3 for z.
3
Suppose 5*d = 5*w + 90, w + 86 = 5*d - 2*w. Suppose -2*c + 2*n = -d, c + c - n = 11. Solve -c*l = -0*l for l.
0
Let d = 124 - 113. Suppose -20 = -21*u + d*u. Solve u*l + 2*l - 20 = 0 for l.
5
Suppose 0 = 4*v - 3 - 1. Suppose 10*b - 9*b + v = 0. Let s be (b/(-4))/((-4)/(-112)). Solve 3*x - s = 2 for x.
3
Let b be (-45)/(-10) - 2/4. Suppose 0*o - 4*k + 20 = 5*o, 0 = 4*o + 2*k - 10. Solve -b*g + 0*g = o for g.
0
Suppose -10*v + 54 = -4*v. Suppose 0 = 3*b + l - v, 0 = -b + 2*l + 3*l - 13. Solve 0 = -6*p + b*p - 12 for p.
-3
Let m(x) = x**2 + 2*x - 5. Let n be m(-5). Suppose 2*f + 12 = 2*s, -f + n = -2*s + 5*s. Suppose p - 15 = -5*l + 2*p, -s*p + 20 = 0. Solve 9*c = l*c + 10 for c.
2
Let u = -9 - -13. Solve 0*d + 12 = -u*d for d.
-3
Let d = -4 + 8. Suppose -10 = -z - d*z. Suppose -8 = -4*m + z*m. Solve 5 + 11 = m*f for f.
4
Let p = -65 + 90. Let f be (-5)/p*2*-5. Solve 2*y = -0*y - f for y.
-1
Suppose 4*x - 12 = 2*q, -3*x - 5 = q + q. Let y be 20/6 - (20/(-12) + x). Solve 0*k = -k - y for k.
-4
Suppose 0 = -15*h - 19*h + 306. Solve -4*v - h = -9 for v.
0
Let v(q) = -q**3 - 20*q**2 - q + 8. Let f be v(-20). Solve s - f = -30 for s.
-2
Let g(z) = z**2 + 12*z + 8. Let y be g(-11). Let i(l) = l + 6. Let m be i(y). Solve 2*d - 25 = -m*d for d.
5
Let p be (-36)/(-24)*(-4)/(-3). Solve 7*u + p = 16 for u.
2
Let s(a) = 3*a**2 - a**3 - 8*a**2 - a**3 + 3*a**2 - 1 + a. Let r(m) = m - 8. Let k be r(6). Let v be s(k). Solve -4*x + 5*x - v = 0 for x.
5
Let d(b) = b**2 - 13. Let c be d(4). Solve -c*u + 0 = -6 for u.
2
Suppose 3*u + 0*u = 0. Suppose 4*b + u*b - 40 = 0. Solve b = -i - i for i.
-5
Let y = 9 - 9. Suppose 20 = 4*w - y*w. Le