. Let m be a(4). Let n be 4/(-1) - 5/m - -6. Solve n*t + t = -o for t.
-5
Let t = -482 - -494. Solve 2*z = t - 16 for z.
-2
Suppose 5*a + 39 = 44. Solve -7*i + a = 29 for i.
-4
Let d(l) be the second derivative of l**5/20 - 13*l**4/12 - l**3/6 + 15*l**2/2 + 10*l. Let w be d(13). Solve w*f - 6*f = -8 for f.
2
Suppose h - 44 = -41. Let k be h/12*(-84)/(-3). Suppose 3*y - 11 = k. Solve -3*m + y = -3 for m.
3
Let x be 10/(-35) - (-69)/21. Solve x = 3*s - 12 for s.
5
Let t be (40/60)/((-2)/(-12)*4). Let o be 1 - (-6 - (t + -4)). Solve 0 = 8*j - o*j for j.
0
Let y be 4 - -1 - 1 - -4. Suppose 0 = y*k - 9*k + 3. Solve -u + k*u - 8 = 0 for u.
4
Suppose -3*n - 57 = -4*b - 0*b, 8*n - 36 = -5*b. Solve -86 = -b*v - 62 for v.
2
Suppose 0 = -5*l - 3*q + 31 + 19, 0 = 2*q. Suppose 20 = d - 5*c - l, -5*d + 30 = -c. Solve 20 = d*t - 0 for t.
4
Let a(f) = -f**2 + 7*f. Suppose -3*i + 24 - 3 = 0. Let l be a(i). Let r be 4 + l*3/(-9). Solve -r*x + 11 = -9 for x.
5
Let z(i) = 5*i**2 + 4*i - 10. Let x be z(-4). Suppose -x = -7*g - 54. Solve -3*m + 6 + g = 0 for m.
2
Let k(m) be the second derivative of -m**4/24 + m**2 + 10*m. Let u(i) be the first derivative of k(i). Let s be u(-1). Solve -11 = 4*l + s for l.
-3
Suppose 5*h - 1699 = 2*u, -5*h - 2*u + 464 = -1247. Solve 357 = -4*m + h for m.
-4
Suppose u + o - 13 = 0, -15*u - 41 = -18*u - 4*o. Solve u*y = -2*y for y.
0
Let u = -16 - -13. Let n = 11 + u. Suppose z - n = -2. Solve 9 + z = 3*l for l.
5
Let o be 156/60 + (-6)/10. Suppose 3*f - 4*f - 2 = -o*w, 5*w = 3*f + 4. Solve 2*b - 20 = -w*b for b.
5
Suppose 0 = 3*c - 0*c - 18. Let t be 44/(-66)*27/2. Let x be (-2)/t + (-26)/117. Solve x = -c*s + 3*s for s.
0
Suppose 5*m + 132 = 142. Solve -v = m*v for v.
0
Let n(l) = l**2 + 46*l + 473. Let h be n(-31). Solve -1 = -h*i - 25 for i.
-3
Let g(f) be the third derivative of -f**4/24 - 13*f**3/6 - f**2. Let j be g(-5). Let b be (-4)/j - 3/6. Solve b = 2*r + 16 - 6 for r.
-5
Suppose 3*h + 2*o - 46 = 0, 0*o - o = 2*h - 32. Suppose 0*m + h = m. Suppose m = y + 4*f + 5, 3*y + 9 = 4*f. Solve y + 4 = -5*v for v.
-1
Let z(u) = 5*u + 3. Let h be z(0). Solve 9*a = h*a + 30 for a.
5
Suppose -40 = -2*g - 3*g. Suppose -s - 2*t + g + 5 = 0, -16 = -4*t. Suppose -5*v + 5 = s*a, 3*a = 3*v + 2*v + 11. Solve -3*b + a = -b for b.
1
Let b(u) = u**3 - 11*u**2 - 13*u + 12. Let c = -17 + 29. Let j be b(c). Suppose 20 = 4*q - j*q. Solve p = 6*p - q for p.
1
Let r = -33 - -33. Let s(j) = -5*j. Let x be s(r). Solve x = -4*y - y - 25 for y.
-5
Let b be -2 - (2 + 0 + -6). Let w(t) = t**2 - 5*t + 3. Let r be w(6). Let m(l) = -l**2 + 9*l. Let h be m(r). Solve h - b = a for a.
-2
Let o = 25 + -21. Let b be -3*(o + (-3 - 6)). Solve -4*q = q - b for q.
3
Suppose 5*m - 5*a = 65, -3*m - 5*a + 18 = -13. Suppose -m*s + 10 + 14 = 0. Solve -q = -3 + s for q.
1
Let p be (-2)/(-7) + (-14620)/(-476). Solve 2*c = -p + 21 for c.
-5
Let r be (-3)/((-7)/(112/(-6))). Let w = 11 + r. Solve 4*k + 9 + w = 0 for k.
-3
Suppose 0*g + g + 2 = 0, -79 = -5*n - 3*g. Suppose 3*w + 2*t = 64, 2*w - 67 + n = -5*t. Let f = 2 - 2. Solve f*s - w = -5*s for s.
4
Suppose 5*b - 44 = 4*q, 9 = -3*q + 2*b - 24. Let i = 15 + q. Solve i*m - 16 - 4 = 0 for m.
5
Suppose 0 = -5*x + 2*x + 12. Suppose -p + 19 = -3*c, 3*c + 48 = x*p + 17. Suppose -p*i - 20 = -2*n, -4*n - 11 = -3*n + 5*i. Solve 0 = q - 0 + n for q.
-4
Let v = 172 - 167. Let r be v + -2 + ((-6)/(-6) - 2). Solve 2*p = -r*p - 16 for p.
-4
Let y(l) = -l**2 - 3*l + 4. Let b be y(-2). Solve -b*t + 16 = -10*t for t.
-4
Suppose -29*o + 22*o + 70 = 0. Solve 7*u - o*u = 9 for u.
-3
Let s be (-472)/(-26) + (-18)/117. Suppose -3*a = -6 - s. Solve -3*w = -7 - a for w.
5
Let h = 58 + -34. Let k = h - 21. Suppose 0 = i - k*i + 6. Solve -i = 2*l - 3*l for l.
3
Let d = 30 + -24. Suppose -4 = -5*i + d*t - 8*t, -3*t = -i + 11. Solve l = -i*l for l.
0
Let j(f) = -f**3 - f + 5. Let k be j(0). Suppose -186*v + 185*v + 9 = 0. Suppose 6 = 3*s - v. Solve s = -0*t + k*t for t.
1
Suppose -i + 5*q = -0*q - 14, 4*i - 94 = q. Suppose t + 21 = i. Let f be (7 - 1)*5/10. Solve f*u + 15 - t = 0 for u.
-4
Let w = 79 - 69. Solve -5*k - w = 5 for k.
-3
Let p be 4/(-18)*-3*3. Let d(k) = -16*k - 5. Let f(n) = 3*n + 1. Let w(s) = 4*d(s) + 22*f(s). Let t be w(3). Solve 0*m = -p*m + t for m.
4
Let o = 709 - 686. Solve -7*i + 2 - o = 0 for i.
-3
Suppose -10*u + 2*r + 32 = -6*u, 28 = 4*u - r. Solve -5*c = u*c + 11 for c.
-1
Suppose -111*a = -114*a + 15. Solve -a*y = -4*y for y.
0
Let y(k) be the first derivative of k**2 - 11*k - 3. Let c be y(8). Solve -c*h + 20 = -0*h for h.
4
Suppose 0 = -0*n + 5*n - 10. Suppose -5*l + m = -142, -4*l + 5*m = -178 + 56. Suppose 149*j = 142*j + l. Solve -2*s - j = n*s for s.
-1
Let m(s) = 2 - 2 + s - 1. Let n be m(5). Suppose 4*r - 28 = n. Solve 0 = g - 3*g - r for g.
-4
Let p be 37/13 + 10/65. Suppose -7*f + 8*f = p. Solve u = f - 2 for u.
1
Suppose -h - 12 = -3*h. Suppose h*q = 4*q - 4*y + 2, 2*q + 5*y = 0. Solve 4 = -r + q*r for r.
1
Suppose -g + 5*j = -21, -5*j - 14 = 1. Let d(q) = -7*q + 147. Let s be d(21). Solve -3*t + t - g = s for t.
-3
Let r(c) = 1 + 2*c + 1 - 8*c + c**2. Let q be r(6). Solve q - 4 = -2*u for u.
1
Let j = -57 + 34. Let w = 27 + j. Solve -w + 1 = 3*t for t.
-1
Let j be ((-3)/(-2))/(8/112*7). Suppose u = j*u - 16. Solve 5*d + 3 = u for d.
1
Suppose 66*b = 5*b + 244. Let s = 9 - 5. Solve 0*h - b*h - s = 0 for h.
-1
Suppose -4*c - 27 = -7*c - 3*t, -c = 3*t - 13. Solve -c = -2*y - 17 for y.
-5
Let d(y) = -3*y + 30. Let z be d(8). Let l = 11 - z. Solve 0 = m - l for m.
5
Suppose -3*t + x = 2*t + 26, -2*x = -2. Let a be (2 - (t - -12)) + 8. Solve a*k + 20 = 7*k for k.
5
Suppose 0 = 14*b - 148 + 148. Solve 2*h + 26 - 18 = b for h.
-4
Let x be 237/(-158)*((-4)/3)/1. Solve x*g - 6 = 8*g for g.
-1
Let c(h) = -h**3 - 14*h**2 - 2*h - 20. Let u(r) = -4*r**2 + 2*r - 2. Let v be u(2). Let w be c(v). Solve 2*b + w = -0 for b.
-4
Let l(t) = -t**3 - 3*t**2 - 1. Let v be l(-4). Suppose 0 = -5*w + 2*g, -v = -4*g + g. Solve 2*p - 4 = -w*p for p.
1
Let s be (-36 + 38)*(-1)/(2/(-3)). Suppose -2*q - 3*n + 6 = 0, -5*q + 2*q - s*n + 12 = 0. Solve -3*o + o = q for o.
-3
Let j = 67 + -39. Suppose -9*n + j = -26. Suppose 5*m - 3 = 4*m. Solve -s - m = -n for s.
3
Let x = 9 - 0. Let i = 6 - 3. Suppose 6*r - x = i*r. Solve -r*n = -5*n for n.
0
Suppose 3*f + 67 = 1. Let p be f/(-6) - (-12)/(-18). Let y(h) = h**2 + 3*h - 5. Let m be y(-5). Solve m = 8*u - p*u for u.
1
Let k = 11 + -9. Let o = 22 + -20. Let v be 3/2*8/o. Solve 2 = k*x + v for x.
-2
Suppose -10 = -2*o + 7*o + 5*c, 4*o - 5*c + 8 = 0. Let v be (0 - o/(-2))*0. Solve 1 = x - v for x.
1
Suppose -t = -5*t - 12, -v = 4*t + 5. Let u = v - 4. Solve f - u = 4*f for f.
-1
Suppose a = -5*a. Let j be (-5 - -2) + (5 - a). Let c be 0*(j - (-4 + 7)). Solve -5*l + c*l = 5 for l.
-1
Let n(t) = -t**3 - 5*t**2 - 3*t + 4. Let u = -37 + 32. Let c be n(u). Let y = 15 - 10. Solve y*d - c = 1 for d.
4
Suppose g - 3 = 10. Solve -g*t - 6 = -15*t for t.
3
Let q(f) be the first derivative of f**4/4 - 3*f**3 - 11*f**2/2 + 14*f + 9. Let n be q(10). Let z be (4 - n)/(2*1). Solve -2*r - 3 - 1 = z for r.
-2
Suppose 2 = 5*g + r - 4*r, 0 = r - 1. Let q be g/6 - 165/18. Let x be q/(-45) - (-49)/5. Solve -2*t - x = -4*t for t.
5
Suppose 387*n - 391*n + 8 = 0. Solve n*c = -8 + 6 for c.
-1
Suppose -300 = -95*g + 90*g. Solve g = 10*p + 10*p for p.
3
Let k = 1 + -1. Let g = 33 + -24. Suppose 4*d + 5 = g. Solve -3*h + 2 + d = k for h.
1
Suppose -4*m + 7*m = -3*q - 3, 2*q + m + 3 = 0. Let k be (-6)/q + 5 + -2. Solve 0 = -k*f + 4*f - 6 for f.
-3
Suppose -5*p + 6 = -3*p. Let r(d) be the first derivative of d**4/4 - 2*d**3/3 - d**2/2 - 2*d - 7. Let s be r(p). Solve -s*u + 0*u + 4 = 0 for u.
1
Let p(q) = q**3 + 2*q**2 - 3*q + 3. Let y be p(-3). Let m(b) = b**2 - 10*b + 28. Let r be m(6). Solve -r*c + y = -3*c for c.
3
Suppose 373*p - 297 = 362*p. Solve -p*m = -35*m - 24 for m.
-3
Let m(h) = -40*h - 1756. Let p be m(-44). Let k(x) = -x**2 - 6*x - 1. Let l be k(-5). Solve -l*s + p = -3*s for s.
4
Let p(f) = f**3 + 42*f**2 + 81*f + 76. Let n be p(-40). Solve 6*s = -3*s - n for s.
-4
Suppose -8*x - 237 = -933. Let n = x + -87. Solve f - 4 + 8 = n for f.
-4
Let i = 30 + -26. Suppose -4*t + 44 = i*c, 4*c = 4*t + 42 + 2. Let b be 276/66 