c**5/20 + c**3/2 + 16*c**2. Let i be v(3). Solve -i*s + s = -2 for s.
1
Let x be (-33)/5*(-935)/187. Solve x*w + 4 = -62 for w.
-2
Let r = -1366 - -1372. Solve -p = -r*p - 25 for p.
-5
Let g(q) = -q + 4. Let v be g(2). Suppose 4*k - z = 2, 1 = k + v*z + 5. Solve k = a - 2 - 1 for a.
3
Let t(i) = 17*i - 1 + 4 + 3 - 19*i. Let b be t(-7). Solve 6*j - j = b for j.
4
Suppose -3*s + 5*s = -4*r + 12, -2 = 3*r - 4*s. Solve -40 = r*m + 8*m for m.
-4
Let c = -15 + 5. Let x = c + 15. Suppose 37 = 2*o + p, -8 = 5*p - 33. Solve -x*q = -o - 9 for q.
5
Let a(n) = -n**3 - 4*n**2 - 6*n - 5. Let b = 14 - 17. Let d be a(b). Suppose -5*u + u = 0. Solve u*c + c = -d for c.
-4
Let v be (-34)/(-8) - 60/(-80). Let l = v - 1. Solve 0 = -w - l*w for w.
0
Let h(g) = g**3 + 18*g**2 - 18*g + 24. Let n be h(-19). Suppose 0 = -n*a - 3*a + 24. Solve a*j = 13 - 4 for j.
3
Let t(n) = -n**2 + 11*n - 14. Let q be t(9). Solve -2*h - 14 = -q for h.
-5
Let a be ((4 - 4) + -1)/((-1)/(-3)). Let t = a - -3. Solve t = -u - 2*u + 9 for u.
3
Let y = -1035 - -1039. Solve -y*v + 3 = -v for v.
1
Let t be (4 - 4)/(2 + -3). Suppose -3*u + 2*u + 15 = t. Solve 4*c + u = c for c.
-5
Let u be (-5)/(-1 - 0/3). Suppose t + 2 = u. Suppose t*q = 4*q - 2. Solve -5*x + q = -4*x for x.
2
Let x(y) = 6*y**2 - 2*y - 1. Let a be x(-1). Suppose -a = -3*v + 2*v. Suppose v + 10 = 4*w + 3*t, 0 = 3*w + 4*t - 11. Solve 16 - 1 = -w*r for r.
-3
Let s(q) = q**2 + 5. Let c be s(0). Suppose 8 - 2 = 3*g. Let m be ((-3)/(-12)*0)/g. Solve c*o - 2*o = m for o.
0
Let q = 216 - 216. Solve q = -a - 1 - 3 for a.
-4
Suppose -m = a - 1, 0*a - 4*m = 2*a + 6. Suppose a = 2*l + 3. Suppose -4*d = 3*o - l, -2*d + 3*o = 8 - 31. Solve -18 + 6 = d*n for n.
-3
Suppose -w - u = -2, 8 = 5*w - 3*u - 2. Suppose -o = -26 + w. Suppose 0 = -9*q + 15*q - o. Solve 6 = -p + q*p for p.
2
Suppose 8*g - 141 = 11*g. Let d = 51 + g. Solve d*m + 5 = 3*m for m.
-5
Suppose -3 = -5*n + 31*a - 33*a, n - 4 = 3*a. Solve -4*z = 13 - n for z.
-3
Suppose -2*b = 4*f + 18, -5*f + f - 21 = 5*b. Let i be b/1*(-4 - -2). Solve i = l + l for l.
1
Let i(w) = -w**2 - 7*w - 4. Let t be i(-5). Let z(v) be the first derivative of v**3/3 + 4*v**2 - 7*v - 1. Let g be z(-9). Solve g*c = -c - t for c.
-2
Let k(r) = r**3 - 11*r**2 - 11*r - 7. Let c be k(12). Suppose -3*v - v - 30 = 5*f, 0 = 4*f + 4*v + 28. Let s = 6 + f. Solve -s*h - 7 = c for h.
-3
Suppose 2*d - 14 = -3*b - 3, 2*d - b = -1. Suppose 13*n = 9*n - 104. Let g = n - -35. Solve -4*u - g + d = 0 for u.
-2
Let s be -1 + 1 + (-3)/(-5 - -4). Solve 23*o - s = 89 for o.
4
Suppose -46*r = -41*r - 35. Solve r + 1 = 4*t for t.
2
Let f(t) = t**2 + 11*t + 16. Let d be f(-10). Let l be (d/(-10))/(1/(-5)). Solve 0*h + l*h - 15 = 0 for h.
5
Let k be 160/15*((-15)/(-3) - 2). Suppose 29 = -a + k. Solve p - 1 = a for p.
4
Let c be (-2)/(-3) - 7*14/(-6). Solve c - 14 = -a for a.
-3
Suppose -2*a - 28 = -0*a. Let b = -12 - a. Suppose b - 22 = -2*x. Solve c = -c + x for c.
5
Let m(k) be the second derivative of k**4/24 - 5*k**3/6 + k**2 + 6*k. Let z(t) be the first derivative of m(t). Let a be z(8). Solve -j = -a - 1 for j.
4
Suppose 3*b + 10 - 22 = 0. Solve -b*o + 11 + 9 = 0 for o.
5
Suppose w = -t, 0 = 7*w - 12*w + 3*t. Solve w = 9*u - 4*u + 5 for u.
-1
Let x(b) = 6*b - 2. Let c be x(1). Suppose v - c = -0*v. Suppose v*f = 6*f. Solve -2 = -f*q - q for q.
2
Let p be -1*(-2*(-6)/(-4) - -3). Let z(y) = -4*y - 6 + 0*y - 1 + 5*y. Let n be z(11). Solve p*t = n*t for t.
0
Let m(t) = -2*t**2 - 2*t + 15. Let l be m(0). Solve 4*u - l*u = -55 for u.
5
Let z = 20 + -14. Let p be (1 - 0) + (-11 - -13). Suppose -p*o + 37 = 2*u, -5*o - u = u - 67. Solve -o = z*f - f for f.
-3
Let n = 10 + -7. Let v(o) be the third derivative of o**5/60 - 5*o**4/24 + o**3/3 - 7*o**2. Let f be v(5). Solve n - 5 = f*l for l.
-1
Suppose 0 = -4*s + 4 + 8. Let a = 6 - 18. Let j = a + 12. Solve s*u - 15 = -j*u for u.
5
Let m(t) = -2*t**2 - 8*t + 5. Let i be m(-4). Solve c + i = -4*c for c.
-1
Let x(p) = p - 3. Let s be x(5). Let v be ((-64)/(-24))/(s/6). Suppose 4*c + v = 8*c. Solve c*k + 6 - 2 = 0 for k.
-2
Let h(i) = -i + 8. Let d be h(10). Let z = d - -14. Let j be 10*1/(1 + 1). Solve -x + j*x = -z for x.
-3
Let i be (-190)/(-15) + 2*4/24. Solve i - 12 = -h for h.
-1
Let u = 706 + -702. Solve -6 = -u*p + 14 for p.
5
Let w = -1940 + 2156. Solve -5*c - 201 + w = 0 for c.
3
Let o(f) = f + 1. Suppose -2*r = -3*r - 1. Let d be o(r). Solve d*l - 4 = 2*l for l.
-2
Let c = -14 + -23. Let f = c - -22. Let h = f + 21. Solve 4*w + h = 2*w for w.
-3
Let c be (-4)/14 - 6/(-21). Let m = -104 + 119. Suppose -10 - m = -5*d. Solve d*l + 14 + 11 = c for l.
-5
Let d(i) = 2*i + 0*i - 19 - 6*i + 0*i. Suppose 5*p + p = -36. Let j be d(p). Solve j*t + 3 = 2*t for t.
-1
Let b be ((-2)/(-6))/(6/144). Suppose -12*t + b = -8*t. Suppose l = -5*z + 14, -5*z - 2 = -2*l - t*z. Solve 5*x + l = x for x.
-1
Let m = -498 - -501. Solve 1 + 5 = -m*k for k.
-2
Let k = 154 + -151. Solve 20 = i + k*i for i.
5
Let m be (-3)/15 + (-48)/10. Suppose -8 = -3*t + 1, 2*a + t = 15. Let j = m + a. Solve -2*i - j = -3 for i.
1
Suppose l - 6 + 2 = -u, 3*l + 4 = u. Suppose -4*r + 82 = a, 0 = -4*r - 5*a + 35 + 39. Suppose 3*c = -4*c + r. Solve -9 - c = u*m for m.
-3
Let i = 91 - 148. Let l = i + 57. Solve -4*y - 7 + 23 = l for y.
4
Suppose -4*o + 3*p = -35, o - 30 = -3*o - 2*p. Suppose 17 + 10 = 5*b + 2*c, -b = 3*c - o. Solve -10 = -b*x - 0 for x.
2
Suppose -15*r = -10*r - 1360. Let w = -268 + r. Suppose -m = 3*m. Solve m = -w*p - 0*p for p.
0
Let f = 305 + -290. Solve 13*q - f*q + 6 = 0 for q.
3
Suppose 25*t - 437 - 413 = 0. Solve 0 = -b - 16*b - t for b.
-2
Let h = -869 + 875. Solve -h = 15*s - 18*s for s.
2
Let a = 4 - 2. Let i = 58 + -56. Suppose 0*y - i*y - 2*g = -12, 3 = 2*y - g. Solve a*t + y = -3 for t.
-3
Let f = -566 + 574. Solve -10*z = -8*z - f for z.
4
Suppose 380 = -8*q + 3*q. Let o = q - -76. Solve o*x - 6 = 3*x for x.
-2
Let b = -11 - -11. Suppose b = -0*s + 5*s - 25. Solve 0*k + s*k - 20 = 0 for k.
4
Let u be (-3 + (-88)/(-28))*21/3. Let x(y) = -y + 3. Let d(i) = -1. Let j(p) = 2*d(p) + x(p). Let r be j(u). Solve r*k = 2*k + 4 for k.
-2
Let k(u) = -14*u**2 + 127*u - 3. Let j be k(9). Solve 9 - 3 = j*n for n.
1
Let g = -2 + 7. Suppose 0*u - 4*d = -u - 16, d - 9 = -u. Solve 0 = -u*v + g + 7 for v.
3
Let t(v) = 28*v**2 + 1. Let r be t(-1). Let c = r - 29. Let k be -4*(-3)/24*c. Solve 4*g - 8 - 8 = k for g.
4
Let d be (-1)/(-5) - 38/(-10). Let m be 70 - -1 - (-6 - -6). Suppose -3*j - 3 = -2*b - 57, -5*j + m = 3*b. Solve j = -5*p - d for p.
-4
Suppose -9 = 3*a - 3*r, -14 = 5*a - r - 3. Let u be 1/2*a*-2. Let j(y) = 22*y - 64. Let i be j(3). Solve -u*f - i*f = -16 for f.
4
Let s(c) = -c**2 - 53*c - 309. Let p be s(-7). Solve 0 = -4*v - p + 1 for v.
-3
Let f = 213 - 208. Solve f*h - 26 + 11 = 0 for h.
3
Suppose 3*w + 12 = 0, 3*w = 4*i + 7*w - 108. Solve 33*n - i*n - 8 = 0 for n.
4
Suppose 0 = 514*f - 511*f - 48. Solve 8*o - f = 12*o for o.
-4
Suppose -4*q + 4 = -4. Let z(u) = -3*u - 11. Let r be z(-6). Solve q*y - r*y - 15 = 0 for y.
-3
Let u = 36 - 25. Suppose 4*g + u = 71. Suppose -9*s + 4*s + g = 0. Solve s*x - 1 = 11 for x.
4
Suppose -3*k + u + 11 = -0*k, u - 1 = 0. Suppose k*h + 4*n = n + 20, 0 = -n. Solve 0 = -h*y - 2 - 3 for y.
-1
Let t be ((-15)/(-10))/((-1)/(-14)). Suppose 0 = -t*m + 20*m. Solve m = -4*j + 19 + 1 for j.
5
Let m(w) = 5*w + 10. Let f be m(0). Suppose 5*a = -5*k - f, -3*k = k - 4*a - 32. Solve -2*r - r = -k for r.
1
Let i be (3/(-2))/((-4)/8). Let p(c) = 6*c**2 + 4*c + c**i - c + c**2 - 2*c**2 + 2. Let y be p(-2). Solve -3*m + y = m for m.
2
Let l(f) = f - 7*f + 25 + 4*f + 6. Let i be l(11). Solve d + 2*d - i = 0 for d.
3
Let z = -1258 - -1258. Let m = 3 + 6. Let l be (-2)/(-3) + 48/m. Solve z = -n - l + 1 for n.
-5
Let v = 286 + -273. Solve v - 8 = 5*q for q.
1
Let a be (-12)/(-10)*(-3 - -43)/4. Suppose a = -5*v + 9*v. Solve -4*d + 5 = -v for d.
2
Let t = 3 - 2. Let y be (-3*5)/5 - -5. Let x = y + t. Solve s - x = -0*s for s.
3
Let n(m) = -2*m - 40. Let r be n(-16). Let v(s) = -2*s**2 - 20*s - 26. Let x be v(r). Solve -5*k + x = -2*k for k.
2
Let t(j) = j**2 + 5*j - 6. Let m be t(4). Suppose 3*q + 6 - m = 0. Let k = 14 - q. Solve -4*w + k = -2 for w.
2
Let u(j) = j**2 + 4*j - 3. Let 