 -2*c**2 + 6*c + 15. Let u be k(0). Solve -u = 5*f + 10 for f.
-5
Let z be ((-6)/(-12) - 1)*-4. Suppose 1 = 4*v - 3*v. Solve p = -z + v for p.
-1
Suppose -2*m = -2*j - 22, -5*j = m - 2*m + 51. Let g be (-106)/j - (-3)/(-5). Solve -4*v + g = v for v.
2
Let n = 119 + -103. Solve -15*v = -n*v + 4 for v.
4
Let c be ((-1897)/28 - (-2)/(-8)) + 3. Let s = c + 69. Solve -s*y - y - 25 = 0 for y.
-5
Let c = -3 + 8. Suppose -m = c*s - 29, 3*s - 3 = 2*s - 3*m. Let v be (-4)/s*3/(-2). Solve 3 + v = -w for w.
-4
Suppose 0 = 5*c + y + 21, -c - 7 = -y - 4. Let g = -24 - -21. Let l be (g - 0)*(2 + c). Solve l*f = 4*f - 4 for f.
-2
Let w be 40/15 + 2/6. Let n = w - -1. Solve 0 = -n*i + 4 - 0 for i.
1
Let h = -1730 - -1741. Solve -o = 16 - h for o.
-5
Let m(b) = 3*b - 31. Let r(j) = -j + 15. Let n(k) = -2*m(k) - 5*r(k). Let d be n(-13). Solve d*y = y - 2 for y.
2
Suppose 0 = 7*i - 6*i - 12. Suppose -15 + i = 3*m. Let p(f) = -16*f**3 - 2*f**2 + 1. Let k be p(m). Solve -k + 5 = 2*j for j.
-5
Let h = 31 + -46. Let z be (-2)/3 - (10/h + 0). Solve z = -4*d + d for d.
0
Suppose -o - 4*o = 0. Let h be 3/6*(o + 6). Let a = -712 + 714. Solve 0 = h*j - a*j + 1 for j.
-1
Let h be 2*((-35)/2)/(-5). Suppose 0 = 2*x + 4, 3*q = 6*q + 2*x + 13. Let i = h + q. Solve -y - i = -0*y for y.
-4
Let v be 1 + 4 + -4 + 2. Let k(a) = -a + 3. Let i be k(v). Solve i = -4*l - 13 - 7 for l.
-5
Suppose -191 = -16*g - 79. Solve 7 = g*o - 0 for o.
1
Let m be (12/24)/((-2)/(-8)). Let k be (0 - 0) + 20/10. Suppose -m*x - 3*h = -10, 3*h - k = 2*x - 0*h. Solve 0 = -o + x*o + 2 for o.
-2
Suppose -11 = -4*h - 3. Suppose 0 = 3*s - h - 10. Solve -s*m = m for m.
0
Let k be 3 - (26/(-13) + 4/2). Solve n = -k + 7 for n.
4
Let z(k) = -6 + 5*k**3 - 4*k**3 + 3*k**2 + 5. Let r be z(-2). Solve -r*f - 4 = f for f.
-1
Let r(b) = 215*b - 2150. Let q be r(10). Let n = 7 + 13. Solve -w + 6*w + n = q for w.
-4
Suppose 16 = 5*a - 3*w - 6, 0 = -4*a - w + 21. Solve 0 = -0*p - a*p - 15 for p.
-3
Let w be 15/(-240) + (-225)/(-16). Solve w - 42 = -14*y for y.
2
Suppose 6*l - 17 = 19. Solve 5*d - l - 19 = 0 for d.
5
Let a be (-4 - -3)*126/(-14). Solve -11 = -4*o + a for o.
5
Let s = 2668 + -2668. Solve -5*o - 2*o = s for o.
0
Suppose 36 = -x + 4*x. Let w(l) be the third derivative of l**6/120 - 13*l**5/60 + 13*l**4/24 - 3*l**3/2 - 13*l**2. Let b be w(x). Solve k = b + 1 for k.
4
Suppose -12 = 3*n - 6*n. Let m(v) = 2 - v + 0*v + n + 2. Let w be m(0). Solve -w*z = -5*z for z.
0
Suppose 21*h + 17 = -4. Let w be 0 - -9 - (-1 - -2). Let v be (-3 + h - 0) + w. Solve -g + v = g for g.
2
Let r be (28/16 + 9/(-12))*-5. Let v be (r + -2 + 1)/(15/(-10)). Let c(n) = -n**2 + n + 11. Let d be c(0). Solve 0 = 3*b - v - d for b.
5
Let n(l) = -2*l - 8. Let i be n(-8). Suppose 2*v + i = 3*v - 2*k, -3*v + 5*k = -21. Suppose v*h = 3*r - 16, -r + 0*h = 2*h - 16. Solve 3*t + r = -t for t.
-2
Let h = 533 - 507. Solve h*m - 21*m + 20 = 0 for m.
-4
Suppose -11*h = -15*h - 8. Let x(r) = 3*r**2 + 2*r - 4. Let k be x(h). Suppose 5*f = k*f + 28. Solve f = -5*b + 3 for b.
-5
Suppose 49*p - 34*p - 30 = 0. Let m be (8/3)/((-2)/(-15)). Suppose t - 3*t + m = 0. Solve 0*d = -p*d - t for d.
-5
Suppose 0 = -23*p + 26 - 3. Solve -p = -4*x - 21 for x.
-5
Let m be 0 + 6 + -33 + 29. Solve 3 = m*o + 5 for o.
-1
Suppose 7*x = 2*x - 3*a + 11, -a - 23 = -5*x. Let l = 25 - 5. Let r = 20 - 11. Solve -r*t + x*t = l for t.
-4
Suppose 0 = o - 6 + 1. Solve -4 = -o*f + 1 for f.
1
Let r be (10/2 - 2) + -3. Suppose r - 5 = -5*q. Solve g = -0 - q for g.
-1
Suppose -2*z - 100 = -4*u, 4*z = -3*u - 8 + 105. Let w be 2/6 - 9/u. Let b(p) = p**2 + 4*p - 3. Let t be b(-6). Solve -3*f = -w - t for f.
3
Let q = 13 + -9. Suppose -107 = -25*w + 218. Let l = w - q. Solve 3*b = -l + 21 for b.
4
Suppose -2*u + 36 = -4*l, 13*u - 4*l - 80 = 9*u. Solve 0 = -20*g + u*g + 8 for g.
-4
Let y be 79 + 2/(-1) + 0. Let w = y - 75. Let a be (-12)/(-2) + 0 + -2. Solve 12 - a = w*f for f.
4
Let v be (0 + 0)/((-7 + 13)/(-3)). Let f be 6 + -3 - (1 + v - 1). Solve 2*k + f*k - 25 = 0 for k.
5
Suppose -c + 10*f = 7*f - 6, -2*c + 5*f = -10. Solve 3*w + c = -3 for w.
-1
Let j be 11 - (-3)/2*2. Suppose j - 4 = 5*w. Let d be -3 + 5 + 2 + w. Solve -2*s = -d + 14 for s.
-4
Let z be (-14)/((-14)/(-3 - -10)). Solve -21 = -z*g - 0 for g.
3
Suppose 218 = 16*i + 58. Solve b + i = 15 for b.
5
Let h = 3 + 1. Suppose 3*z = -h + 10. Suppose -25*b = -15*b. Solve 2*d + z + 0 = b for d.
-1
Let o be -4*(2 + ((-36)/8 - -3)). Let s be (-20)/25*5/o. Solve s*r = -r + 9 for r.
3
Let k(d) = -d**3 - 10*d**2 - 20*d - 1. Let x be k(-8). Let g = -31 + x. Solve g = -0*h + h - 4 for h.
4
Let m(p) = -3*p**3 - 4*p**2 + 10. Let g be m(3). Let l = -105 - g. Solve l = -3*d + d for d.
-1
Let l(v) = v**3 + 3*v**2 - 4*v + 2. Let f be l(-4). Let n be (f - 5)*(0 + -1). Suppose n*a + 0*a = 6. Solve a*k = k + 2 for k.
2
Let j(z) = -z**3 + 12*z**2 - 2*z + 29. Let c be j(12). Suppose 0 = -w - n + 6*n + 6, -c*n = 4*w + 1. Suppose 4*x - x = 0. Solve x = 4*t - 11 - w for t.
3
Let d(s) = s**3 + 7*s**2 - 14*s - 42. Let q be d(-8). Solve 25 = -m + q*m for m.
5
Let w(m) = -m**3 + 20*m**2 - 18*m - 16. Let u be w(19). Suppose 3*a = -2*a, d - 3 = u*a. Solve 5 = -d*l - 2*l for l.
-1
Let d = -146 + 171. Solve 5 = 10*q - d for q.
3
Suppose 3*s - 22*f + 20*f - 52 = 0, -4*f - 20 = 0. Solve 3*z - 1 - s = 0 for z.
5
Let d(k) = k**2 - 9*k - 23. Let h(x) = 1. Let b(q) = -d(q) + 5*h(q). Let p be b(11). Solve u + 10 = p*u for u.
2
Suppose 1 = -4*o + 21. Solve o*s - 2 = 23 for s.
5
Let a(i) = -i**2 - 12*i - 18. Let p be a(-10). Suppose 3*g - 31 = -p*u, 2*u - 2*g - 30 = -3*u. Solve -v + u = v for v.
4
Let y be ((-56)/224)/(2/(-240)). Solve -13*q = -19*q - y for q.
-5
Suppose 0 = -5*b - q + 58, -13 = 4*q - 5. Let s(i) = i**3 + 12*i**2 - i - 2. Let h be s(-12). Let d be -1 + (-5)/(h/(-6)). Solve -d*c + b = -6*c for c.
-3
Suppose -5*z = 3*t - 51, 9*z = 13*z. Solve t*b + 14 = 24*b for b.
2
Suppose 84 = -7*y - 0*y. Let q be 2 + -4*3/y + 2. Solve 0 = -q*p + 2 - 12 for p.
-2
Let y = 1204 - 1173. Solve y - 3 = -7*w for w.
-4
Let l = -19 + 43. Suppose 7*r = 4 + l. Solve 2*m = m + r for m.
4
Let w be 8 - (2/(-5))/((-5)/(-3650)). Solve 301*d - 1 = w*d for d.
1
Let j(q) = -6*q - 52. Let m be j(-11). Let b be (-12)/m*(8 - (22 + -7)). Let g = 35 + -23. Solve -2*y = -b*y - g for y.
-3
Let l be 35/(-42)*(-7 + 1). Solve 5*y + l = -0*y for y.
-1
Let c be (-72)/5 - 4/(-10). Let t = c - -22. Solve 3*w - 4 = t for w.
4
Let j(p) be the third derivative of p**5/30 + p**4/6 + p**3/3 - 2*p**2. Suppose -4*r - 20 = 0, -x + 23 = -10*r + 5*r. Let l be j(x). Solve -2*y - l = 2 for y.
-2
Let z(h) = h**2 + 4*h - 22. Let o be z(4). Solve 8*b - 3*b = o for b.
2
Let p be (-3)/(4 - 7) + -1. Suppose p = f + 3*g - 6, -f - 8 = -3*f - 4*g. Solve f*u = -2*u + 2 for u.
1
Let s = 23 + -27. Let v be (15/18)/(s/(-24)). Let d(r) = r + 12. Let b be d(-6). Solve v*i = -1 + b for i.
1
Let q be (-71037)/(-567) - (-2)/(-7). Solve 127*u = q*u - 10 for u.
-5
Let h = 168 - 162. Solve -8*b - 4 = -h*b for b.
-2
Let d(z) = -8*z**3 - z**2 + z + 4. Let q be d(2). Let h = 64 + q. Solve 3 = -h*a - 7 for a.
-5
Let h(o) = -3*o + 3. Let v be h(-4). Let z = 1086 - 1086. Solve z = -3*a - 0*a + v for a.
5
Suppose 4 + 2 = 3*d. Suppose -5*m + 2*v + 40 = 0, 4*m = -v - d*v + 9. Suppose -5*b + 12 = 2*x, m*x - 2*x = -2*b - 8. Solve -b*z = z for z.
0
Suppose -213 = 5*d - 4*u, 4*d + 190 = 5*u + 25. Let k = d - -47. Solve 3*x + k = -1 for x.
-1
Suppose -t - 2*t = -4*j - 14, -3*t - 3*j + 21 = 0. Let b = 14 - t. Let x be b/(-2)*1/(-1). Solve -i = x - 0 for i.
-4
Let l(a) = 2*a**3 - 3*a**2 + 2*a - 3. Let n(d) = -d**2 + 3*d + 2. Let u be n(3). Let c be l(u). Suppose 3*m + 12 = 6*m. Solve -m*b = b + c for b.
-1
Let p be (0 + 2)*(-15 + 17). Suppose 13 + p = -n + 4*d, -4*n = -5*d + 13. Solve 0 = -n*a - 7 - 5 for a.
-4
Let t be (21/15 + 1)/((-108)/(-360)). Solve t*r - 6 - 2 = 0 for r.
1
Let l(r) = 8*r - 12. Let p be l(5). Let v = 28 - p. Solve -3*w + 0 - 9 = v for w.
-3
Suppose 5*g + 4*m - 36 = 0, 0 = -2*g - g + 3*m. Suppose 4*x - x - 9 = 0. Let u(j) = -j**3 + 8*j**2 - 14*j - 6. Let c be u(4). Solve -g*a + x*a = -c for a.
2
Let t(m) = 19*m - 420. Let n be t(23). Solve -n = 5*y - 22 for y.
1
Suppose 0 = -17*q + 11*q + 138. Let k be ((-12)/10)/(4/(-20)). 