e m(-4). Solve t*c + g = 4*c for c.
3
Let v(y) = -y**3 - 13*y**2 - 10*y + 27. Let d be v(-12). Let x be (-2)/6 - (d + 30/(-9)). Suppose 2*g = 0, -4*s = -8*g + 5*g. Solve s = a - x*a for a.
0
Let h(o) = 3*o**2 + 10*o + 8. Let j be h(-3). Suppose 2*r = -3*l - 12 + j, 0 = 2*l + 10. Solve 0 = -r*a - a - 15 for a.
-3
Let q(n) = -12*n + 17 + 26*n - 5*n + 2*n**2. Let v be q(-3). Solve o + v = 7 for o.
-1
Let c(j) = -j**2 - 7*j - 1. Let l be c(-5). Suppose 0*b = -3*q + 4*b - 17, 0 = 5*q - 4*b + 15. Let n = -115 - -117. Solve -q = n*v + l for v.
-5
Let i = 176 - 174. Suppose 0 = i*z - 0*z - 8. Solve 0 = -4*s - 12 - z for s.
-4
Suppose -3*x = 15, -5*s - 14*x + 16*x = -30. Let r = -14 + 17. Solve s = r*b + b for b.
1
Let y(n) be the third derivative of n**4/12 - n**3/2 + 3*n**2. Let k be y(-3). Let v = k + 11. Solve 25 = 7*t - v*t for t.
5
Let k(i) = -2*i - 26. Let c be k(-14). Suppose -c = 2*g + v, 3*v + 0 + 6 = -2*g. Solve -4*o + 8 + 12 = g for o.
5
Let i be 7 + (-1096)/(-8) + (-3 - 3). Solve 144*o - 12 = i*o for o.
2
Suppose -4*o - 56 = 8. Let z = -12 - o. Suppose -2*m + 3*j = -z*m - 3, -m + 3 = -3*j. Solve 0*w - w + 5 = m for w.
5
Let r = 27 + -29. Let z be r/((-3)/(-2) + 13/(-6)). Let l(y) = y**2 + 8*y + 7. Let f be l(-7). Solve f*n + z*n = -15 for n.
-5
Suppose 4*h - 9 - 3 = 0. Suppose -f - 20 = -h*f. Solve 3*a + f = -2*a for a.
-2
Suppose -5 = -k, -13 - 33 = -3*z - 2*k. Let v = -2 + -6. Let m = v + z. Solve 2*c = m*c - 10 for c.
5
Suppose 3*a - 21 - 99 = 0. Let f be (-6 + 7)/((-4)/(-20)). Suppose -a = u - f*u. Solve 0*m = 2*m - u for m.
5
Suppose 2*n - 3*n = -2. Let l be (-4*(-3)/(-16))/((-51)/8 - -6). Solve 2 = -n*r - l for r.
-2
Let y = -1200 - -1205. Solve 0 = -23*m + 22*m - y for m.
-5
Suppose -t - 5 = 0, -z + 5*t = t - 31. Let u be 2 + 15 + -3 + 1. Let p = u - z. Solve c + 3*c = p for c.
1
Suppose -10*j - 85 = -5*t - 8*j, 17 = t + 5*j. Solve 12*m - t = -77 for m.
-5
Suppose -3*y - 10 + 7 = 0. Let v = 7 + y. Suppose 0*x - 2 = -x. Solve 0 = s + x*s - v for s.
2
Suppose 8 = -5*q + 28. Let j(k) = 9*k - 2 + k**2 - 1 - 7 + 0*k**2. Let t be j(-10). Solve t = d - q*d for d.
0
Suppose 4*l - v = -10 + 157, -5*v + 79 = 2*l. Let p = 40 - l. Solve 1 = p*h - 5 for h.
2
Let f(g) be the second derivative of -g**4/6 + 2*g**3 - 3*g**2 - 20*g. Let k be f(5). Let t = -1 + 1. Solve -k*j + 0*j = t for j.
0
Let d = 18 + -6. Suppose 2*u = 56 - d. Let q = 24 - u. Solve 8 = q*f - 4*f for f.
-4
Let f be (10 + -8)/((-2)/(-7)). Suppose -5*g = -18 - f. Solve g*m = m + 8 for m.
2
Let i = 101 - 86. Solve 3*c + 2*c + i = 0 for c.
-3
Suppose 2*s + 11 - 17 = -5*m, 5*m - 3 = -s. Solve s*f + 2 + 7 = 0 for f.
-3
Suppose -15 = -5*q, -2*q = 5*r + 97 - 403. Solve 3*k - r = 15*k for k.
-5
Let i(u) = 5*u - 10*u - 11*u + 48 - 40. Let g be i(-1). Solve 4*j - g + 8 = 0 for j.
4
Let f = -14 - -29. Suppose 2*w = 5*w - 57. Let r = w + -13. Solve r*i - f = i for i.
3
Let x = 23 - 17. Solve x = 2*b - 4 for b.
5
Let p(m) = -17*m - 26. Let w be p(-2). Solve 3*j - w = -20 for j.
-4
Suppose -8*s + 5*s = 0. Suppose 7*u - u = s. Suppose u = c - 1. Solve -x + 0 = c for x.
-1
Let w be (-54)/(-3)*1/2 - 2. Suppose -w*r + 13*r = 8*r. Solve -j = -r*j for j.
0
Let c(s) = -3*s + 25. Let t be c(-15). Let v = 72 - t. Solve 0 = -3*n + 1 + v for n.
1
Let j be ((-127)/381)/(2/(-24)). Solve 33 = j*y + 13 for y.
5
Let z = 70 + -66. Suppose 11*f - 21 = z*f. Solve f = 5*t + 28 for t.
-5
Let g(t) = -3*t - 3. Let r be g(-1). Suppose 3*d - 8 - 22 = r. Solve d = -2*q - 0*q for q.
-5
Let f be (21/(-12))/(-2*(-5)/(-40)). Solve f*h + 17 = 10 for h.
-1
Let b(y) = y**3 - y**2 - 6*y + 5. Let u be b(3). Solve u*j + 2*j = -35 for j.
-5
Suppose 2*u - 7 = -2*v + 11, 0 = -5*v + 5*u + 15. Suppose -73 = -3*c + 2. Let w = c - 23. Solve 0 = -w*f - 0*f + v for f.
3
Suppose -y + 0*i + 10 = i, 64 = 4*y - 4*i. Suppose -5*x = -2*u - y, -4 - 6 = -4*x + 2*u. Solve -2*d = x*d - 10 for d.
2
Suppose 2*y = -4*y + y. Solve -l + 9*l + 16 = y for l.
-2
Suppose 0 = -4*w + 5 + 3. Suppose w*m + 1 = 9. Solve m*r - 6*r = 0 for r.
0
Let h(t) = -4*t - 4. Let a be h(-3). Suppose n = -a + 12. Suppose d + 4*d = -n*s + 53, 5*s = 5*d + 10. Solve 5*y - s = 3 for y.
2
Let f(n) be the second derivative of 5*n**3/3 + 5*n**2/2 + 19*n. Let b be f(1). Solve 0 = -4*s - 5 - b for s.
-5
Suppose 3*d = 8*d - 10. Suppose 0 = n, 3*y + d*y = -n + 25. Solve 3*t = 4*t + y for t.
-5
Let r be (-1 + -13)*(-5 + 99/22). Solve -11*l = -r*l + 8 for l.
-2
Let g(d) = -d - 3. Suppose -4*h - 11 + 43 = 0. Suppose 5*r = 2*w - 22, -h = r - 4*w - 0*w. Let y be g(r). Solve 0 = u + y for u.
-1
Let j(k) = -8*k**3 + 38*k**2 + 38*k + 29. Let r(y) = -3*y**3 + 13*y**2 + 13*y + 10. Let o(m) = -4*j(m) + 11*r(m). Let s be o(-8). Solve s*c + 3 = -1 for c.
-2
Let u be (-4)/6 + (-35)/(-3). Suppose f + 5*t = 8 + 16, -t = -4*f + 12. Suppose 4*a = -w + 18, 8 = f*a - 4*w - 0*w. Solve u + a = 3*q for q.
5
Let f(i) = -i + 7. Let a be -5*(-3 + 2) + -3 + 1. Let h be f(a). Solve 0 = 2*k - h*k + 2 for k.
1
Let x(g) = g**2 - 16*g - 23. Let f be x(19). Solve -f + 4 = -10*q for q.
3
Suppose -3*f + 5*f = h - 38, -3*h + 94 = -5*f. Let i(c) = 2*c**2 + 38*c - 36. Let k be i(f). Solve -k*j - 3 = -j for j.
-1
Let h(g) = g - 5. Let l be h(-5). Let c = 12 + l. Solve c*u = -3*u for u.
0
Suppose -5*v + 104 = 4*i, -2*i + 82 = -14*v + 18*v. Solve 210*u - 205*u = v for u.
4
Let r be 1/(-4) + 45/20. Let m(o) = -o**2 + 7*o. Suppose n = -5*d - n + 36, 15 = 5*n. Let c be m(d). Solve 0 = -c*k + r*k - 16 for k.
-4
Suppose 531 = 5*k - k - a, -k + 3*a + 141 = 0. Let m = k - 129. Solve 2*s + m*s = -5 for s.
-1
Let j(i) = i**2 + 7*i - 30. Let y be j(-13). Suppose 46*a = y*a - 4. Solve a*d - 2 = -6 for d.
-2
Let b(m) = 5*m**3 - 3*m**2 - 3*m + 5. Let g be b(2). Solve -5*t = 4*t - g for t.
3
Suppose -5*c = -5*f, -1 - 7 = 4*c. Let i(j) = 3*j - 4. Let h(b) = 7*b - 8. Let d(u) = f*h(u) + 5*i(u). Let k be d(7). Solve k*q - 2*q = 0 for q.
0
Suppose 980*r = 984*r - 72. Solve 0 = 6*a - r for a.
3
Suppose 4*d = 16, -70 = -2*j + d - 6*d. Suppose -2*w - 5*m = -j, -2*w - m + 4 = -9. Solve 0 = p - w for p.
5
Let a(s) be the third derivative of -s**4/8 + s**3/2 + 3*s**2 - 20. Let b be (0*(-2)/(-4))/1. Let h be a(b). Solve 0*v = -h*v - 6 for v.
-2
Let q(r) = -r**3 + 6*r**2 - 7*r + 4. Let v be q(3). Let j be ((-3)/9 + 1)*9. Suppose i + 3*i = 2*g + 8, -5*g - 3*i + j = 0. Solve g = -3*z + z - v for z.
-5
Suppose -2*k + 3*i + 0*i + 20 = 0, 3*k = 3*i + 27. Suppose 0*m - k = -m. Solve 2*n + 3 = -m for n.
-5
Let n be (2/(-3))/(4/(-30)). Let c be (-4 + 4)/(4 + -4 + -1). Solve c = -n*x + 2*x for x.
0
Let i = 6 - 3. Suppose -3*w + 10 = 3*y - w, -5 = -y + w. Solve i*l - y = -l for l.
1
Suppose 3*a + 68 = 3*v + 5, -v - 64 = 4*a. Let n = a + 18. Solve 2*k - n = -7 for k.
-3
Let s be (-4)/(-10) + 30/(-75). Solve 15*h - 6 + 36 = s for h.
-2
Let p be 4/22 - 489/(-33). Suppose -3*d = 3*y - 15, 0 = 4*d - 2*d + y - p. Solve -2*r = 3*r - d for r.
2
Let t be 10/(-30)*-30 + -9. Solve 6*n + 25 - t = 0 for n.
-4
Let w(h) = 6*h**2 - 2. Let f be w(1). Let z(m) = 2*m**2 - 2. Let x be z(f). Suppose 0 = -g - 5*g + x. Solve 3*a - g*a = -8 for a.
4
Suppose v + 5*d - 19 = 0, -4*v - d + 28 = 3*d. Suppose -n + 2 = -0. Suppose 4*s - 22 = 2*a, 0 = -4*a - a + 5. Solve v*c - s = n*c for c.
3
Suppose -434*b = -393*b - 1230. Solve 58 = -22*g - b for g.
-4
Let f(w) = -w**3 - 6*w + 0*w - 1 + 1 + 7*w**2. Let k be f(4). Suppose 2*j = -0*j + k. Solve 5*l = l + j for l.
3
Let i(w) = -w + 7. Let f be i(5). Let q be (3 - (-31)/(-2))*-2. Suppose 0 = f*y, 4*a + a - q = -5*y. Solve -2*r = -a*r for r.
0
Suppose 3*v - 72 = 3*j - 78, 11 = 3*j - 2*v. Solve -j*b - 5 = -2*b for b.
-1
Let w(s) = 2*s**2 + 5*s + 3. Let f be w(0). Suppose -4 = f*h - 13. Solve h*a + 5 = -4 for a.
-3
Let x be 7/(6/(-2) - -2). Let n be (-2)/x - (-864)/(-84). Let a be (-5)/(n/24) + 0. Solve -4*p + p = -a for p.
4
Let o(a) be the third derivative of -a**5/60 + 3*a**4/8 - 5*a**3/6 - 5*a**2. Let b be o(8). Suppose 4*w - b*w = 0. Solve n - 1 - 3 = w for n.
4
Suppose i + 2*i = 0, -4*x + 48 = 5*i. Suppose -4*v - 3 = -3*h + 11, -h = -5*v - x. Solve 0 = -0*t - h*t - 8 for t.
-4
Suppose 13*s + 33 = 16*s. Let r = -7 + s. Solve 0 = -r*i + 3 + 5 for i.
2
Let x = 20 - 16. Let b = 8 - x. Let v be 7/b - 30/40. Solve j + v = 4 for j.
3
Suppose x 