w*c for c.
0
Let j(u) be the first derivative of 5 + 9*u**2 - 2*u - 1/3*u**3. Let k be j(17). Solve -2*h + k = -7*h for h.
-3
Let n = 28 - 16. Let i = 19 - n. Solve 8 = 5*d - i for d.
3
Let v = 3694 + -3689. Let i(w) = w**2 - 6*w. Let k be i(6). Solve -v + k = -5*h for h.
1
Suppose -19*v + 29*v = 30. Solve -359 + 350 = -v*q for q.
3
Suppose -4*o + 108 = 3*a + a, 0 = -2*a + 4. Let g be (-38)/(-12) - 100/(-120). Solve -p = g*p + o for p.
-5
Let t(y) = y**3 - y**2 - 2*y + 4. Let p(o) = -o**2 + 4*o + 7. Let h be p(5). Let v be t(h). Let j = 7 - 4. Solve 4 = -v*i + j*i for i.
-4
Let o(v) = -v**2 - 5*v - 2. Let d be (-1)/((-4)/(-8))*2. Let c be o(d). Solve -3*l - c = 4 for l.
-2
Suppose -47 = -a - 45. Suppose 6 = a*q + x, -5*x = -0*x - 10. Solve -t + 1 = q for t.
-1
Suppose 17 + 15 = 16*j. Solve 26*d - 24*d + j = 0 for d.
-1
Suppose -124 = 9*k - 5*k. Let u = 35 + k. Solve 3*g - u + 19 = 0 for g.
-5
Suppose 53 = 16*y - 11. Solve p - y = -0*p for p.
4
Suppose 3*d + 2 = 11. Suppose -31 + 43 = d*k. Solve k*n + 6 + 2 = 0 for n.
-2
Let i(q) = -q + 10. Let h be i(17). Let j be 8/(-1 - (4 + h)). Solve -c = j*c for c.
0
Suppose 4*o - 10 = -s, 2*o + 16 = 5*o + 5*s. Let i = 5492 + -5490. Solve -i - o = -2*v for v.
2
Let i(g) = -24*g - 92. Let z be i(-4). Solve z*s - 6 + 14 = 0 for s.
-2
Let r(g) = g + 16. Let s be r(-15). Let d be (-1 + -3)*2/(-8). Suppose -s = -k + d. Solve -k - 2 = -j for j.
4
Let p(j) = j**3 + 6*j**2 - 2*j. Let a be p(-6). Let x = 135 - 68. Let w = x + -67. Solve -2*y + 5*y - a = w for y.
4
Let u(i) = i**3 + 12*i**2 - 9*i - 164. Let d be u(-11). Solve 17*l - d = 3*l for l.
4
Let z be 2 + 0 + (-4 - -1 - -5). Let h be z/(1/3 - 3/(-18)). Solve -3*o + 5*o = -h for o.
-4
Let j(b) = -b**3 - 5*b**2 + 6*b. Let q be ((-3)/2)/((-9)/12). Suppose q*n - 24 = 6*n. Let o be j(n). Solve 0*t + 5*t + 15 = o for t.
-3
Let t = 1509 + -1507. Solve -a - 5 = -t for a.
-3
Suppose 5*m = s + 162 - 17, 51 = 2*m + s. Solve -6*v - v = -m for v.
4
Let j be 7/28 + (-2)/8. Let c(p) = 10*p - 1. Let n be c(3). Let l = 29 - n. Solve k + l + 3 = j for k.
-3
Let y be 56/16 - (-115)/10. Solve y + 0 = 5*o for o.
3
Let y(l) = -l**3 + 7*l**2 + l - 2. Let r be y(7). Suppose -3*c = 15, 4*a = 2*c - 5*c - 7. Solve r*d = a*d for d.
0
Let l(r) = -3 - 13 + 10 - 3 + 4*r. Let c be l(3). Solve -2*m = -m + c for m.
-3
Let x = -26 - -22. Let i be (x - (3 + -4))*-1. Solve 0 = -s - 0*s + i for s.
3
Suppose -5*c + 18 = 4*k, -11 = -5*c - 2*k + 3. Let x be ((-3)/c)/(5/30). Let r = x + 13. Solve d = -r*d + 5 for d.
1
Suppose -c = -2*g + 6, g = 5*c - 2*c + 3. Let v = -29 + 68. Solve -5*h + 14 - v = c for h.
-5
Let g be 118 - 0*3*4/(-24). Let y = -112 + g. Solve y = 3*k - 9 for k.
5
Suppose 3*t + 11 = -4. Let z(h) be the second derivative of -h**5/20 - h**4/3 + 5*h**3/6 + 2*h**2 - 4*h. Let f be z(t). Solve o = f*o for o.
0
Let b be 53/5 + 6/15. Solve b = -4*a + 31 for a.
5
Suppose 0 = -5*x + c + 51, -31 = -3*x + 5*c - 4*c. Solve 0 = 7*m - 12*m - x for m.
-2
Suppose -3*x - 16 = -4*m, 3*x - 18 + 10 = -2*m. Solve i - 6 + 1 = x for i.
5
Let g = -69 - -79. Solve 5*s = g - 10 for s.
0
Let v = 337 + -334. Solve -v*z + 5 + 10 = 0 for z.
5
Suppose 205 = 21*m + 20*m. Solve 104*n + m = 109*n for n.
1
Let v(m) = 96*m**3 + 2*m**2 - m - 2. Let c be v(-1). Let p be ((-5)/(-2))/(c/(-76)). Solve -6*q = -p*q - 8 for q.
2
Let o be 21 + (5 + -3)/(-1). Suppose 0 = -2*r - 11 + 1. Let k = o + r. Solve -3*f = 1 + k for f.
-5
Let u = -1905 - -1918. Solve 12*o = u*o for o.
0
Let s(w) = -2*w**2 + 21*w + 15. Let y be s(11). Solve -y*u - 7 = 1 for u.
-2
Suppose 0 = -2*s + 33 - 39. Let m(r) = -11*r - 8. Let w be m(s). Solve -3*y + w = 2*y for y.
5
Suppose 4*y - 4*b = 320, -4*y + 321 = -4*b + b. Solve 65 - y = -4*p for p.
4
Let t(u) = 3*u**3 + 2*u + 1. Let i be t(-1). Let o = 3 + 1. Let z = i + o. Solve z*b - 15 = -3*b for b.
5
Suppose 0 + 1 = i. Suppose 5*a - 5 = -4*s, -s = 2*a - 3 + i. Suppose 0 = k - j - a, 2*k + 0*j + 4*j - 8 = 0. Solve -k*t = -5*t + 12 for t.
4
Let z(h) = 31*h - 828. Let w be z(27). Solve -w*o = o - 20 for o.
2
Let r = -27 + 32. Suppose -7 + 57 = r*j. Solve -3*l = -l + j for l.
-5
Suppose 0 = -2*z + s + 9, z - 14 = 4*s + 1. Let l = -6 + z. Let k be (-16)/l + (-3)/9. Solve -2*p - k = 1 for p.
-3
Suppose -5*u = -35 - 0. Suppose 0 = -3*l + u*l. Solve -3*c + c - 8 = l for c.
-4
Suppose -2*a + 2*j = 2*a + 10, -4*a - 4*j + 20 = 0. Solve -5*r + 0*r = a for r.
0
Let y = -4 + 7. Let q(m) be the first derivative of m**4/4 - m**3 + 2*m**2 - 4*m + 14. Let z be q(2). Solve z = -j + y*j - 10 for j.
5
Let s(u) = -u + 9. Let f be s(4). Let z = 3 + f. Let b(d) = -d**2 - 58*d - 741. Let c be b(-19). Solve c*y = 2*y + z for y.
-4
Let j be (-111)/(-39) + 10/65. Let z be (8/10)/((-2)/(-10)). Let v be 0/(z + (-6)/2). Solve -o - j*o = v for o.
0
Suppose 3*p + 2*p = -2*l, 4*p = 3*l. Solve -g + l*g = -2*g for g.
0
Let c = -679 + 681. Solve 0 = -6*v + c*v - 4 for v.
-1
Let r(m) = m**2 - 4*m - 9. Let b be r(-4). Let h = b - 23. Let f(u) = 2*u**3 - 3*u**2 - 3. Let n be f(3). Solve 4*i + 4 - n = h for i.
5
Suppose -15*r - 1500 = -0*r. Let c = 103 + r. Solve -2*a - c = -5*a for a.
1
Let a be ((-2)/(-5))/(470/17625). Solve -o + a = 16 for o.
-1
Suppose 2*t = 2*x - 6*x - 24, -5*t + 5*x - 90 = 0. Let a = 20 + t. Solve -a = -2*b - 0*b for b.
2
Suppose 0 = -11*l + 6*l. Let d be 0 - (l + 0/2). Solve 2*v - 6 - 4 = d for v.
5
Let o be (4/(-8) + (-5)/(-5))*0. Solve o*m = -5*m + 5 for m.
1
Let m(i) = 13*i - 52. Let a be m(7). Suppose -5*n + 5 = -p, -8 = -5*p + n + a. Solve -5*k + 5 = -p for k.
3
Let c be 9*2/(-3)*108/(-24). Solve -3*f = -c + 39 for f.
-4
Suppose -4*g + v + 30 = 3*v, -5*g - 4*v + 42 = 0. Let b(m) = 2*m - 12. Let k be b(10). Let t be (3 - 6)*k/(-6). Solve 2*u - g = t*u for u.
-3
Let r be -1 + (-3)/3 + 88. Suppose -5*n - r = -1. Let u = -15 - n. Solve 8 = -u*b + 2 for b.
-3
Suppose -16*d + 7*d = -18. Solve -d*r - r = 0 for r.
0
Suppose -18*s = -13*s - 80. Suppose m - 5*m + s = 0. Solve m - 9 = t for t.
-5
Let c(n) = 0*n**3 + 7*n**3 - 9*n - 8*n**3 + 3 + 0*n - 10*n**2. Let p be c(-9). Solve 2*r - p*r = -5 for r.
5
Let z be (4 - -2)/(1/13). Suppose 0 = 7*c + 8 - z. Let u(n) = n + 6. Let w be u(-4). Solve -c = -0*q - w*q for q.
5
Let r be -3 - (46/1)/(-2). Let h be r/(-15)*-3*1. Suppose -2*x + 28 = 4*m + 2*x, -3*m + 27 = 5*x. Solve m*i = 5*i - h for i.
4
Let a be (4/(-3))/((-4)/18). Let r = 1 + a. Suppose o - r - 5 = 0. Solve -o = -t + 5*t for t.
-3
Let a(c) = 6*c + 28. Let f be a(-4). Suppose 2*q - s + f*s - 16 = 0, -3*q = s - 17. Solve -3 - q = 4*k for k.
-2
Suppose -4*k + 93 = 3*c, 4*c = -5*k + 44 + 79. Solve -c*w + 4 = -28*w for w.
-4
Let g = 106 + -101. Suppose u - 37 = -5*h + 3*u, -5*h - u = -34. Solve -3*m + g + h = 0 for m.
4
Let k = 83 + -68. Solve -14*a = -k*a - 4 for a.
-4
Suppose 5*u = -4*i + 5, 2*i - 1 = 2*u - 21. Suppose 3*y - 12 = 0, -3*y = 2*r + r - 6. Let q(x) = -15*x - 5. Let j be q(r). Solve 0*a = u*a + j for a.
-5
Suppose -8*t + 96 + 256 = 0. Solve t = -17*i - 41 for i.
-5
Let f = 376 + -360. Solve -f*q - 21 + 53 = 0 for q.
2
Let j = -5 - -9. Let i = j + -2. Suppose -15 = i*g - 7*g. Solve g*n - 4*n = 1 for n.
-1
Let x = 55 + -59. Let u be (-65)/3 + 1/(-3). Let m be u/(-6) + x/6. Solve 0 = c - 0 - m for c.
3
Suppose 16 = 4*x + i - 15, -x + 13 = -5*i. Solve -21 = -s + x*s for s.
-3
Let l be ((-2)/4)/((-81)/2916). Solve -6*k + 0 = -l for k.
3
Let z be (-65)/(-9) + 8/(-36) + 0. Suppose 13 = z*y - 8. Solve y*k = -k for k.
0
Suppose 13 = 2*l - i, -3*l - 4*i + 11 = -2*l. Let k = -661 - -665. Solve -k*w - l = 5 for w.
-3
Let h = -971 - -977. Solve 15*n + 9 = h*n for n.
-1
Suppose 12 = -3*a - 5*o, a + 3*a - 3*o = -45. Let k(z) = z**2 + 10*z + 11. Let n be k(a). Solve n*b + b = 15 for b.
5
Let b(x) = -3*x - 33. Let u be b(-12). Solve -u*f + 22 = 7 for f.
5
Let q = -1811 + 1819. Solve -18*h = -q*h for h.
0
Let n = 88 - 82. Suppose 0 = 3*d - n*d + 9. Solve 0 = d*p - 2*p + 5 for p.
-5
Suppose 0 = 4*j - 0*u - 4*u + 12, 9 = -5*j + 2*u. Let z be (1*(-9)/3)/j. Suppose -t = -4*b - 12, -3*t + 2*b = -1 - 25. Solve -t = z*p - p for p.
-4
Let f be 3 - 0 - (-7 - -10). Let h = -3 - -2. Let z be ((f - -1) + h)/(-2). Solve -u - 4 = -z*u for u.
-4
Suppose -79*r + 4 = -77*r. Suppose -j - j + r = 0, -3*x + 2*j + 10 = 0. Solve -6*l = -2*l - x 