*a for a.
-3
Let u be (-8)/(16/18) - -17. Solve 17*q = -9 - u for q.
-1
Let s = 0 + 5. Let h(m) = m**3 + 14*m**2. Let a be h(-14). Suppose -2*u - 3*n - n = 0, 4*n + 8 = a. Solve -v - s = -u for v.
-1
Let b(p) = p**3 - 5*p**2 - 5*p - 4. Let x be b(6). Suppose d + 13 = 2*m - 10, 39 = 4*m + 5*d. Let s = -1 + m. Solve 3*c - s = -x*c for c.
2
Let n = 63 + -18. Let b = 45 - n. Solve b = -2*f - 3 - 5 for f.
-4
Let t = 3 - -1. Let v = 16 + 56. Suppose 0 = 3*u - 2*y - 61 + 17, -3*y = -5*u + v. Solve 0*f = t*f - u for f.
3
Let q be 100/(-125)*(-15)/6. Solve -q*j + j = 4*j for j.
0
Let m = -351 + 353. Solve 0 = -m*g - 19 + 17 for g.
-1
Let l = 7 + -7. Suppose l = -19*h + 20*h - 3. Solve -h*n = -8*n + 25 for n.
5
Suppose -11*a = -2*a + 36. Let p be -2 + (-4)/a + 3. Solve -5 = -p*l - 3*l for l.
1
Let b = -5 + 5. Let d be 3*(0 - -1 - b). Suppose 0 = d*t - 10 - 26. Solve g = 4*g - t for g.
4
Let r(b) = -128*b - 757. Let q be r(-6). Solve -9*c + q*c = 10 for c.
5
Let o(z) be the third derivative of z**6/120 - z**5/60 - z**4/24 + 2*z**3/3 - 18*z**2. Let q be o(0). Solve -6 = -q*f + 2*f for f.
3
Suppose 3 = 5*b - 122. Let d(n) = 2*n - 7. Let k be d(6). Let q be 45/b - (-1)/k. Solve 0 = -q*f + 3*f + 2 for f.
-2
Suppose 0*t - 5*t = -k - 19, 1 = k. Suppose -2*m + 4*m = -3*w + 47, -t*m + 64 = 4*w. Solve 0*l = -3*l - w for l.
-5
Suppose 4*b - 115 = 2*b - 3*j, b = -3*j + 53. Let n = b - 61. Solve 0 = 5*u - 4 - n for u.
1
Suppose 6*x - b - 11 = 4*x, 0 = x - 5*b + 17. Solve -9 = x*d - 5*d for d.
-3
Let h = 1 - 15. Suppose -p = -4*j, -11 = -3*p + 5*p + 3*j. Let o be 8/14*h/p. Solve -o*v + v - 3 = 0 for v.
-3
Let p(j) = -11*j - 93. Let n be p(-10). Solve -3 = -4*w + n for w.
5
Suppose 5*o = -a + 5*a + 67, 4*a = 3*o - 45. Solve o = -3*m - 4 for m.
-5
Let n(p) = p**2 - 6*p - 4. Let x be n(7). Suppose -x*a + 21 = 3*t, -5*t + 18 = 2*a - 11. Solve 3*h - t = 4*h for h.
-5
Suppose 16*b + 793 = 77*b. Solve -b*o - 16 = 3*o for o.
-1
Suppose 0 = -26*b + 13 + 507. Solve b = 8*y - 13*y for y.
-4
Let s(u) = u**2 - 7*u - 6. Let a(m) = 3*m - 1. Suppose -3*j = -3 - 6. Let p be a(j). Let w be s(p). Solve w*o = -2*o for o.
0
Suppose -3*s - 2*h + 32 = 2*h, 38 = 5*s - h. Suppose s = a + b, -3*a + a = b - 11. Solve 4*d - a - 1 = 0 for d.
1
Let q be -8 - (-364)/(-35)*10/(-4). Suppose 0*p - 4*i - 10 = -2*p, 5*i + 5 = 0. Let u = -1 + p. Solve -8 = -u*s - q for s.
-5
Let q = 4 - 1. Let o be (1/3)/(9/270). Let k(l) = -l + 10. Let g be k(o). Solve n - q = -g*n for n.
3
Suppose 4 = n - 2*l - 12, -62 = -3*n - l. Suppose 3*z - 3*f - 3 = 0, 6*f = -5*z + 4*f + 33. Solve 0 = x - z*x + n for x.
5
Let j(t) = 3*t**2 + 5*t - 3. Let s be j(-4). Let i(k) = -k**2 - 2*k + 1. Let c be i(-3). Let r be -2 + (0 - 2)*c. Solve r*x = -3*x - s for x.
-5
Suppose 3*p + 64 - 79 = 3*f, -4*f + 12 = 0. Solve 0 = -p*x + 7*x + 5 for x.
5
Suppose -2*n + 179 - 169 = 0. Solve 18 = -n*s - s for s.
-3
Suppose 7*b - b = 24. Suppose -b*l = -1 - 11. Solve 6*s + 3 = l*s for s.
-1
Suppose 30*k = 49*k - 38. Solve i + k*i - 15 = 0 for i.
5
Suppose 1 = -d - 0. Let l be 5 + (-12)/(3 - d). Let y = 1 + l. Solve -z - 6 = -y*z for z.
3
Let w be 166/18 + 4/(-18). Suppose 1 + w = 2*n. Suppose 4*c = 0, 0*v - 1 = -v + n*c. Solve -4*h = v - 9 for h.
2
Let v(x) = -x**3 - 9*x**2 - 9*x - 1. Let o be v(-8). Suppose o*j + 3 = 8*j. Solve -5*w + 4 = -j*w for w.
2
Suppose -2*h + 27 = 5*a - 73, 4*h = -5*a + 90. Suppose -32 = 20*p - a*p. Solve 3*g + p = 1 for g.
-5
Let w = 13 - 13. Suppose 0 = p + p - 2*l, 5*p + 5*l = -20. Let v be p/4*(-14 + w). Solve -v*c = -2*c for c.
0
Let v = 0 + 2. Suppose -v*z - 3*q = 0, 0*z - q = -2*z. Suppose z = 4*m - 76 - 8. Solve -5*c - m = 4 for c.
-5
Let s be (-7)/((-7)/(-3)) - 31. Let a = s + 36. Solve -3 - 3 = -a*k for k.
3
Let y be 27/6 - 5/(-10). Let f be (-15)/(y/((-15)/9)). Suppose f*z = -1 + 11. Solve 0 = -z*q + q for q.
0
Let r(j) = -6*j**2 + j + 1. Let g be r(-1). Let v be 9/(-7) + g/(-21). Let h be (v/2)/((-4)/136). Solve -h + 5 = 4*d for d.
-3
Let s be (-112)/24*(11 + 1). Let v = -53 - s. Solve 1 = -4*b + v*b for b.
-1
Suppose 5 = -5*l, 5*h + 2 = 7*h + 4*l. Solve 0*c - h = -3*c for c.
1
Suppose -5*y + 100 = 5*y. Solve -5*a = -y*a for a.
0
Let o(m) = 8*m**3 + 3*m - 2*m - 11*m**2 - 7*m**3 - 9. Let l be o(11). Suppose 3 + 1 = l*n. Solve -2 = n*z + 4 for z.
-3
Suppose 14 = 3*h + 44. Let q be (2/4)/((-1)/(-8)). Let a be q/h + 36/15. Solve -z + a = -2 for z.
4
Suppose -2*p + 18 = 12. Let q be (-1)/(1*p/(-45)). Solve -1 = 4*c + q for c.
-4
Let q(p) be the third derivative of -p**4/24 + p**3/2 - 2*p**2. Let f be q(-3). Suppose 0 = -2*r + 2*g - 2 - 6, 3*r + 2 = g. Solve r = x + f for x.
-5
Suppose 11*z - 320 = 7*z. Let k = z + -75. Solve -5*q - k = -0*q for q.
-1
Let v(z) = -z**2 - 8*z - 11. Let w be v(-5). Suppose -1 = l - w*x + 2, -5*l = -4*x - 49. Let n be (-240)/(-208) + (-2)/l. Solve 5 = o + n for o.
4
Suppose z = 2 - 1, 2*z = g + 9. Let s(f) = 2*f**2 + 12*f + 15. Let q be s(g). Let w = q - 14. Solve -w = -0*l + 5*l for l.
-3
Suppose 120 = 49*g - 43*g. Solve -21*l + g*l - 4 = 0 for l.
-4
Suppose 0*g = -2*g - 7*g. Solve -4*v + 6*v + 10 = g for v.
-5
Let s be (-17)/((-66)/12 + 5). Solve -9 = -5*p - s for p.
-5
Let m = 3 - -1. Let i(q) be the third derivative of q**6/120 - q**5/12 + q**4/8 + q**3/6 + 3*q**2. Let k be i(5). Solve -m*x - k = -0*x for x.
-4
Suppose 5*h - 5*g + 60 = 0, 28 = -2*h - 4*g - 14. Let b = h - -35. Solve -5*i - b = -i for i.
-5
Suppose 2*y = -p + 5, 3*p - y + 5 = 4*p. Suppose 2*z - 22 = -2*x + z, -p*z = -5*x + 55. Suppose 3*n = -4*h + h - 6, h + 5*n = -22. Solve -h*i - x = -2 for i.
-3
Suppose -9 = -m - 7. Solve 0 = k - 1 + m for k.
-1
Suppose -2*x = 3*y + 193, -y + 4*x + 126 = -3*y. Let q be 10/y - (-84)/39. Suppose -13 = -3*p + q*i - i, -3*i = -4*p + 19. Solve 0 - 12 = p*k for k.
-3
Let r = 18 - 18. Suppose -2*g + 5*q - 7 = r, -4*g - q + 28 = 3*q. Solve g*p + 10 = -2 for p.
-3
Let x be (52/8 + 1)*2. Let l be x/(-3)*(-3)/5. Suppose -l*f = -3*n - 18, 7*f - 4*f = 5*n + 26. Solve -b = -f*b for b.
0
Suppose -5*k = -48 - 2. Suppose -9*b - 14 = -k*b. Suppose b*l - 5*l = 27. Solve -2*s - 3 - l = 0 for s.
-3
Suppose 55*c = 67*c. Solve 5*q + c*q = 15 for q.
3
Let y = 16 + -21. Let k be (-61)/y + (-6)/30. Suppose -2*l + 4 = -l. Solve 4 = -l*d - k for d.
-4
Suppose b + 7 - 5 = 0. Let q be -9 + 6 - 3*b. Suppose 3*v = -q*v + 30. Solve -v*l - 12 = -8*l for l.
4
Let i(u) = -9*u - 1. Let r be i(3). Suppose 0 = 6*w + 212 + 46. Let p = r - w. Solve -p = 2*m - 7*m for m.
3
Suppose -18 = -19*l + 13*l. Suppose l*w + 177 = 177. Solve 0 = -w*r + r + 3 for r.
-3
Suppose -25 = 6*w + 299. Let o = w + 54. Solve o*h = 2*h for h.
0
Let z = -39 - -91. Let u be 65/z - -3*(-1)/(-4). Solve -a = 3 - u for a.
-1
Suppose -12 = h - 5*h. Suppose -h*p - 19 = -3*c - p, -6 = 3*p. Solve 0 = c*k - 2*k + 9 for k.
-3
Let b(v) be the second derivative of 0 - 1/3*v**3 - 13/2*v**2 + 4*v. Let m be b(-9). Solve -m*n - 2 = -17 for n.
3
Let k(i) = -7 - 9*i**2 + i**2 - 4*i**2 - 12*i - i**3. Let w(b) = -b - 11. Let s be w(0). Let r be k(s). Solve y = -r*y for y.
0
Suppose -3*u + 3*p - 102 = -6*u, 4*u = -p + 127. Let v = 36 - u. Solve -v*h + 15 + 0 = 0 for h.
3
Suppose 0 = -9*l + 2*l + 210. Let q be 8/24 + 2/(-6). Solve q = 5*c - 5 + l for c.
-5
Let z be (-4)/6 + 10/15. Suppose z = 2*k - 8. Suppose 0 = 3*r - 6*r + 66. Solve r = -k*n + 6 for n.
-4
Suppose -12 = 4*o, 14 + 33 = 2*l - 5*o. Suppose -5*x + 8*r = 5*r - 30, -4*x + 4*r = -l. Solve g + x = -2*g for g.
-3
Let g(l) = l**3 - 5*l**2 - l + 7. Let r be g(5). Let c(m) = 3*m**2 + 4*m + 5. Let i be c(-1). Solve -i + r = -f for f.
2
Suppose 0 = 7*o - 21*o + 392. Solve 5*q + o = 8 for q.
-4
Let m = -9 - -11. Suppose 5*w = -5*b + 3*w + m, -b - 2*w + 2 = 0. Solve -4*k + 8 = -b*k for k.
2
Suppose -4*u + 2 = -v, 14*v - u = 9*v + 28. Solve v = 38*s - 36*s for s.
3
Let d(u) be the first derivative of u**3 + 6*u**2 - u + 3. Let s be d(-5). Let l = s + -14. Solve l*h = -h + 2 for h.
2
Suppose -287 = 9*h - 323. Solve -n = -h*n - 2*n for n.
0
Suppose 0 = -2*z - 2*z + 24. Let y = 9 - z. Solve -y*b = -0*b for b.
0
Suppose 99 = 7*l - 4*l. Solve 28*y = l*y for y.
0
Suppose -3*t - 12 + 0 = -3*o, -2*o + 8 = -5*t. Suppose 5*k + 5 - 20 = t. Solve -k*s = -9 + 3 for s.
2
Suppose s - 2*s = 0. Suppose 5*m + s*m = 10, g = -m + 