0 = -w - 7 + 1. Let s(k) = k**2 + 8*k + 20. Let l be s(w). Solve 4*m + 16 = l*m for m.
4
Let l(w) = 0*w - 4*w + 5 - 6*w - 4 + w**2. Let r be l(10). Solve 0 = 5*f - 4 - r for f.
1
Suppose 55*t = 39*t + 128. Solve -2 - t = 5*c for c.
-2
Let m(u) = 19*u - 54. Let q be m(3). Solve 3 = -2*f + q*f for f.
3
Let z(k) be the first derivative of k**4/2 + k**2/2 - 2. Let i be z(0). Solve -5*h + 4*h + 1 = i for h.
1
Let n(z) = 2 + z + 4 - 6 + 3. Let b(h) = -h**3 - 4*h**2 - 3*h. Let w be b(-2). Let m be n(w). Solve -m + 4 = g for g.
3
Suppose -2*s - 5*l = -22 - 2, 5*s - 83 = -l. Let k = s - 13. Let b be (-50)/(-20)*(-2 + k). Solve -4 = -v - b for v.
-1
Let m = 656 - 617. Solve 0 = 13*z - 13 - m for z.
4
Suppose -223 = -22*u + 41. Solve -13*x = -u - 1 for x.
1
Suppose 12 + 0 = 3*n. Suppose 3*o - 4*o = -n. Suppose o*k = -0*k + 12. Solve -t = -k*t + 8 for t.
4
Let q(a) = -2*a**2 + 9*a + 5. Let w be q(5). Solve w = -l + 2*l + 2 for l.
-2
Let n = 67 - 65. Suppose 2*i - 5*a + 5 = -7, n*a = 8. Solve -15 = f + i*f for f.
-3
Let z = -17 + 16. Let b = z + 0. Let d be (-4)/(-6)*(-9)/b. Solve 5*w - 1 = -d for w.
-1
Let h = 14 - 12. Suppose h*v - 6 = -2*z, -4*v - 3*z + 6*z = -12. Solve -o = 2*o + v for o.
-1
Let p be ((-36)/8 - -5)*4. Let r be 0*(-2)/6*-3. Solve -2*f + 0 - p = r for f.
-1
Let l be 76/18 - (5 + (-559)/117). Solve l*q = -1 - 7 for q.
-2
Let q = 3 + -20. Let i = -13 - q. Suppose -i*a - 1 = -17. Solve -2*c - a = -6 for c.
1
Let c be (2 - 9)*(-2 + (-22)/(-14)). Solve -4 + 19 = -c*n for n.
-5
Suppose -5*b - 5*z = 35, -4*b - b + 3*z = -5. Let j(v) = v**2 - 1. Let h be j(b). Solve -5*x = -23 + h for x.
4
Suppose -432 = -52*l - 56*l. Let m be (0*(-1)/(-2))/2. Solve m*v + v = -l for v.
-4
Suppose -50 = -5*v + 55. Let a = -19 + v. Solve -2*m + 12 = a*m for m.
3
Suppose 4*x - 19*x = -285. Let a = 25 - x. Solve 5*l - 14 - a = 0 for l.
4
Let z = -11 - -29. Suppose -i = 2*c - 4*i - 12, -3*c - i + z = 0. Suppose -6 - c = -3*r. Solve -r*t - 1 = -5 for t.
1
Let l(o) = -2*o**2 + o**2 + 2*o - 10 + 12 + 5. Let q be l(3). Solve -w - q*w = 20 for w.
-4
Suppose -2*z + 20 = y - 2, -4*z = -y + 16. Solve 56 = -19*d - y for d.
-4
Suppose 5*t - 34 = -19*b + 20*b, 4*b = -4*t + 32. Solve 86 = t*j + 79 for j.
1
Let k be 4 + 12 + (-3)/(6/(-8)). Solve k*m = 47*m - 28*m for m.
0
Suppose 48 + 82 = 26*r. Solve 2*s + 14*s = r*s for s.
0
Let z be ((-6)/(-12))/((-1)/12). Let a be ((-8)/48)/((1/z)/1). Solve 3 + a = w for w.
4
Suppose -5*h = -4*p - 7*h + 54, -5*h = 3*p - 44. Let r = p + -6. Solve -3*v = 2 + r for v.
-3
Let j be 101/4 - (-11)/(-44). Let v be 20/j - 92/(-10). Solve -v - 6 = 4*p for p.
-4
Let m be 0/(35/(-7) - -4). Solve -37*i + 32*i + 10 = m for i.
2
Suppose b + 11 - 7 = 0. Let q(i) = -i**3 - 3*i**2 + 3*i - 4. Let p be q(b). Solve -4 = -p*u - 4*u for u.
1
Let i = 2 - -1. Let w = 9 + -10. Let y be 3/1 + 2*w. Solve -i*p - 16 = -y for p.
-5
Let y(p) = p**3 + 10*p**2 - 3*p - 30. Let h be y(-10). Solve h = -33*d + 31*d - 2 for d.
-1
Let n(h) = h**3 - 9*h**2 + 14*h + 4. Let x be n(7). Suppose s - 5*s + 17 = g, -2*g = -4*s + 2. Suppose s = z - 0. Solve x*v - z - 5 = 0 for v.
2
Let o be 2 + (1 - (-2 + 3)). Let g(f) = -2*f - 3 + 3*f + 2*f + 11. Let j be g(-2). Solve -j*b - o = -4*b for b.
1
Let t be (-12)/(-2 - 1) + -4. Suppose -5*r + 15 + t = 0. Suppose r*d + 36 - 12 = 5*c, 4*d = -12. Solve c*y = -y for y.
0
Let y = 319 + -311. Solve -y*o + 4*o = -4 for o.
1
Suppose -4*w = 5*o - 40, 0 = w - 4*o + 18 - 7. Suppose 0 = -4*y + 5*u + 6 - 3, -4*y + 3*u = -w. Solve n - 1 = -y for n.
-1
Let u = -2347 - -2357. Solve -9 = -c - u for c.
-1
Let t(j) = -6*j**3 + 8*j**2 + 9*j - 1. Let z(l) = -7*l**3 + 9*l**2 + 10*l. Let i(p) = 6*t(p) - 5*z(p). Let o be i(3). Solve 0 = -2*g - 8 + o for g.
-1
Suppose 42*q - 18 = 39*q. Solve 3*s = q - 12 for s.
-2
Let c(m) = -m**3 - 15*m**2 - m - 5. Let i be c(-15). Let y(b) = 3*b - 30. Let t be y(i). Solve t = -5*a + 3 + 7 for a.
2
Suppose 5*k - 26 = -4*y, -10*k - 5*y + 14 = -13*k. Let a be -1 + 0 - (1 + -2). Solve 2*z = -a*z + k for z.
1
Let j = 65 - 50. Suppose 5 = 4*q - j. Solve -20 = q*k - 5 for k.
-3
Suppose -5*o + 0*o = -25. Suppose -5*x = 0, 3*x - x = o*h - 15. Solve -4*w = -7*w - h for w.
-1
Suppose 0*h + 3*h - 6 = 0. Suppose -30 = -h*p - 3*s, 4*p = 2*s + 26 + 2. Solve 5*i = -16 - p for i.
-5
Suppose 19*n - 76 = -19. Solve 3 = -n*r - 3 for r.
-2
Let o be (10 - -4)*(-36)/14. Let t be 170/45 - 8/o. Suppose t*k + 0*a = -3*a + 21, 2*a - 6 = 0. Solve u = -k*u for u.
0
Suppose -3*l = 2*v + 3 - 6, 5*l - 9 = -2*v. Suppose 5*t - 52 = 4*y, 0 = 2*y + l*t - 2*t + 26. Let x = y - -15. Solve -j + 3 = x*j for j.
1
Suppose 2*f + 3 = 4*f - 5*q, 2*f - 7 = q. Let v(o) = -o**3 - 6*o**2 - 6*o. Let a be (0 - (3 + -1)) + (0 - 3). Let w be v(a). Solve w*c + 1 + f = 0 for c.
-1
Let q be (4 + -1)/(6/(-4)). Let l be -6*1/q + -1. Suppose 55*h = -54*h + 125*h. Solve h = 3*s + l*s for s.
0
Let d be (-2)/(-15) - (26/30)/(-1). Solve -2*o = -3*o - d for o.
-1
Let s(t) = t**2 - 7*t - 5. Let g be s(8). Suppose -9 = g*i - 6*i - 3*d, 2*d - 10 = -4*i. Suppose a + 3*p - 1 = i*p, -3 = a - 3*p. Solve -h = -a*h for h.
0
Let a(l) be the third derivative of l**4/24 - l**3/6 + 20*l**2. Let m be a(11). Solve 0*r - 2*r + m = 0 for r.
5
Let y be (31/217)/((-1)/(-7)). Solve 5 = -3*n - y for n.
-2
Let x = -100 + 102. Solve -x*a + 10 = 3*a for a.
2
Let c = -508 + 540. Solve 0 = -11*f + 3*f - c for f.
-4
Let p(k) = 5*k**3 + k**2 + 2*k - 1. Suppose 3*y - 2*y - 3*g - 7 = 0, -4*g = y + 7. Let u be p(y). Solve 4*c = u*c + 3 for c.
-1
Suppose 0 = 19*t - 11*t - 32. Solve n = -t*n - 10 for n.
-2
Suppose -13*v + 6*v + 77 = 0. Solve -v*p + 24 + 9 = 0 for p.
3
Let m(x) = x**2 - 51*x - 31. Let d(k) = 17*k + 10. Let w be (-4)/12*-3*-2. Let c(l) = w*m(l) - 7*d(l). Let j be c(-8). Solve -v = -j*v + 5 for v.
-5
Let q(y) = y**2 - 35*y + 39. Let x be q(34). Solve x*i - 24 = -4 for i.
4
Let y = -287 - -299. Solve 4*n - n + y = 0 for n.
-4
Let j(y) = -20 - 46*y**2 + 58*y**2 - y + y**3 + 10*y. Let h be j(-11). Solve 2 = h*w - 3*w for w.
-2
Suppose -3*w = -8 - 7. Suppose 5*h + 15 = w*k, h = 3*k - 4*h - 7. Suppose -5*l + 15 = 4*x, 3*l + 13 = x + x. Solve k = 3*z - x*z for z.
-2
Let h = 27 - 19. Let r be (-6)/h - 120/(-32). Solve -2*t - 11 = -r for t.
-4
Let t be ((-30)/(-4))/(3/4). Suppose 3*q - 4 = -5*u, 293*u = 289*u - 4*q. Solve -t + u = -2*n for n.
4
Suppose 0 = -3*a - 11*s + 9*s + 17, s = 1. Solve 4 + 1 = a*q for q.
1
Let m(s) = -2*s**2 - 17*s + 8. Let r be m(-10). Let y = 22 + r. Solve l = 2 - y for l.
2
Suppose -4 - 2 = -2*c. Let a(v) be the first derivative of v**3/3 - 11*v**2/2 + 22*v - 7. Let p be a(9). Solve -3*h + c = -p*h for h.
-3
Let b be (15/(-4))/(75/(-12) - -6). Suppose 4*j + 3 = 5*j. Solve b = -4*v + j for v.
-3
Suppose -14*w = -16*w + 38. Solve -w*j + 10 = -24*j for j.
-2
Suppose -4*v + 2*b - 50 = -9*v, -b - 53 = -4*v. Let o(f) be the second derivative of -f**3/6 + 7*f**2/2 + f. Let c be o(7). Solve 0 = -c*z - 3*z + v for z.
4
Let h be (-1)/(-3) + 192/18. Let y = h - 11. Solve y = -4*u + 7 + 5 for u.
3
Let t be 18/(-144) - (-17)/8. Solve -10 + 2 = -t*y for y.
4
Let p = -505 - -519. Solve 20 = p*m - 9*m for m.
4
Let a be -2*(2 + 2/4). Let d be (135/(-6))/a*(-4)/(-6). Solve -4*f - d - 1 = 0 for f.
-1
Let d(q) = -q - 21. Let s be d(-29). Solve -r - 3*r - s = 0 for r.
-2
Let x(q) = -5*q**2 + 2. Let o be x(3). Let c = -28 - o. Let y be 9/c*(-10)/(-2). Solve -6*v + y*v = -6 for v.
2
Suppose 107 = 32*x + 10*x - 19. Let w be 0/(1 - (1 + -2)). Suppose w = -h - h. Solve h = -6*c + x*c for c.
0
Let r(j) = -7*j**2 + j + 2. Let i be r(-1). Let c(p) = -p**2 - 6*p - 13. Let z be c(i). Let q = z - -17. Solve -q*m + 7 = -5 for m.
3
Let r = -21 - -28. Let i be (-4 + r)*1 + -2. Let j be (-2 - -3) + 2/i. Solve 9 = 3*v - j for v.
4
Let r = 4 + -6. Let v be -1 - (r + 4)/(-2). Suppose -4*s - 12 = 13*u - 16*u, -3*s + 16 = 4*u. Solve s = 3*g - v*g for g.
0
Let y(l) = -l**3 + 6*l**2 + 7*l + 3. Let c be y(7). Solve -9 = c*r - 3 for r.
-2
Let m be 0/(-1) + 17 + -3. Solve -6*q - m + 26 = 0 for q.
2
Let r = -7 - -24. Let n = 4 + 1. Let v be (-2 - 7)/((111 - 110)*(-1 + -2)). Solve -n*p = v + r for p.
-4
Let a = 4 - 7. Let x(u) = u**2 + 9*u + 5. Let g be x(-5). Let r be (-5)/(g/36) + a. Solve v - 4*v = r for v.
-3
Let g = 40 - 28. Let q(l) 