-0*f - 4*f, 0 = -5*g + 3*f + 62. Solve -g*a + 27 = -3 for a.
3
Let u be -1 + 3 + 1 + 5. Let o be 2/(4/u*1). Let r = -1 - -4. Solve i = -r*i - o for i.
-1
Let c = 54 + -49. Let p be (-9 - -6)*10/(-6). Suppose 0 = -3*u - 0*u - 2*d + 55, 4*u - 78 = -p*d. Solve -c = -4*i - u for i.
-3
Let a = -33 + 23. Let s be 2/a + 63/15. Suppose -f + s*r = 2*r, f = 4*r - 4. Solve k = f*k for k.
0
Let p be 10/15 - 424/(-3). Let d = p + -130. Solve -7*v = -3*v - d for v.
3
Let b(a) = 7*a - 1. Let c be b(3). Suppose x + 6 = r - 3*r, 5*r + 28 = 4*x. Solve x*q = -2*q - c for q.
-5
Suppose -4*y = 4*r - 8, -7*r = -2*r + 10. Solve 4*o + y*o + 32 = 0 for o.
-4
Let q = -7 + -5. Let j be (-6)/q - 70/(-4). Let k = 20 - j. Solve 0*l + l = k for l.
2
Suppose -8*r + 67 = -5. Solve 0 = -7*d + r*d for d.
0
Suppose 0 = 4*d - 13 - 3. Suppose -21 = -2*r - p, 2*p - d*p = 2*r - 18. Let c be ((-30)/4)/((-9)/r). Solve -3*s + c = -s for s.
5
Suppose 8 = -4*x - 32. Let z = 10 + x. Suppose z = 2*d - 6*d. Solve d = -5*m - 4 + 24 for m.
4
Suppose 2*h - 24 = 3*t, -5*t - 41 - 19 = -5*h. Solve s = 4*s - h for s.
4
Suppose -b = -6*b - 55. Suppose 5*r - 72 = -2*t, t + 55 = 2*r + 2*r. Let o = b + r. Solve -y + o = -2*y for y.
-3
Let c = 82 + -79. Suppose -p + 1 = p - c*t, t - 9 = -4*p. Solve 0*l + 8 = p*l for l.
4
Suppose -25259 = -100*t - 10459. Solve t*p = 154*p + 6 for p.
-1
Let c(x) = -32*x + 420. Let a be c(13). Solve 11 = a*y + 23 for y.
-3
Let t = 1725 + -1579. Solve 0 = h - 150 + t for h.
4
Let z(j) = -2*j**3 + 2*j**2 + 4*j - 1. Let d be z(3). Let i = -15 - d. Let r be 45/i*(-8)/(-6). Solve -b + 1 - r = 0 for b.
-5
Let h = 2222 + -2249. Suppose 0 = 2*m - 3*b + 18, -3*m - b - 26 = -m. Let f = m - h. Solve -w - 2*w = f for w.
-5
Let p(g) = -2*g**3 + 36*g**2 - 3*g + 54. Let z be p(18). Suppose -5*y + 28 + 7 = 0. Suppose 5*x + 2 - y = 0. Solve -w = -x - z for w.
1
Suppose -3*f - 2*x + 9 = 0, 0 = f + 5*x - 3*x + 1. Suppose -5 - 15 = -5*r. Solve r + 6 = f*v for v.
2
Let i(w) be the first derivative of w**3/3 - 21*w**2/2 - 42*w - 19. Let l be i(23). Solve 0 = -l*q + 7 - 3 for q.
1
Let u = 84 + -82. Solve -u*l = -13 + 7 for l.
3
Let u = 1799 - 1789. Solve 0 = u*p + 6*p for p.
0
Let t(b) = -2*b**2 - 5 - 5*b**2 - 4*b + 5*b**2 + 3*b**2. Let k be t(8). Let u = k + -22. Solve -u*v + 4*v = 0 for v.
0
Let h be -1*(-2)/(-4)*(-2 - 18). Let g(p) = p**3 - 11*p**2 + 7*p + 34. Let d be g(h). Solve 0*b + d*b - 16 = 0 for b.
4
Suppose -k = -5*b + 2*k + 15, -4*b - 4*k + 44 = 0. Suppose 54 = 9*l - b*l. Solve -3*i = -3 + l for i.
-5
Let j = 19 + -23. Let t be 1*j/((-12)/3). Solve -t = 3*p + 5 for p.
-2
Suppose 3*i = 5*i. Suppose 2*v = 4*v + 3*j - 15, -3*v - 5*j = -24. Suppose 0*w - v*w + 18 = i. Solve -c = 3 - w for c.
3
Let c(v) = -v + 3. Let m(x) = -2*x + 10. Let r(w) = -10*c(w) + 3*m(w). Let g be r(5). Let p be (-14)/217 + (-2016)/(-496). Solve g = -0*i - p*i for i.
-5
Let m = -1 + 1. Let f(y) = -y**2 - 21*y + 24. Let u be f(-22). Solve m = 3*l - u*l + 2 for l.
-2
Let v(u) = 6*u**2 + 2*u - 2. Suppose h - 3 + 2 = 0. Let m be v(h). Solve 4*d = m*d - 2 for d.
1
Suppose -26*f = -19*f. Suppose -u = -f*u - 16. Solve -l = 3*l - u for l.
4
Let r = 695 + -693. Solve 0 = r*p + 4 - 2 for p.
-1
Let c(f) = f**3 + 12*f**2 + 12*f + 11. Let r be c(-11). Solve m - 4 = -r for m.
4
Let z = -24 + 29. Suppose 0 = z*m + 5 - 15. Solve 0 = m*u - u - 4 for u.
4
Let b = -126 + 60. Let m be ((-2)/(-4))/((-11)/b). Solve -u = -m*u - 10 for u.
-5
Let q be (-7 + (-54)/(-8))/(6/(-240)). Solve 2 = -2*o + q for o.
4
Suppose 3*k - 11 = -5*r, -2*r - 2*k + 0 = -6. Suppose 2*p - 60 = -10*p. Solve p*x + r - 16 = 0 for x.
3
Let l(x) = -x**3 + 28*x + 0*x**3 - 39*x + 16 - 13*x**2. Let q be l(-12). Solve 2*i - q - 2 = 0 for i.
3
Let c = -112 - -188. Solve 0 = 74*x - c*x for x.
0
Let a(w) = w**3 + 12*w**2 + 22*w + 25. Let n be a(-10). Solve 50 - 30 = n*m for m.
4
Suppose c = j - 3*j - 11, j = 2*c - 8. Let g be (93/(-62))/(j/8). Solve -g*w - w + 12 = 0 for w.
4
Let u be (-330)/(-44)*16/6. Suppose 210*o + u = 214*o. Solve o*y = y for y.
0
Let w(a) = -a**2 + 2*a + 2. Let c be w(0). Suppose -z = c, 4*x - 4*z = 12 + 12. Solve 15 = x*v - v for v.
5
Suppose 16*d + 24 = 20*d. Let r be (-5)/(-10)*(0 + d). Solve 0 = r*q - 6 for q.
2
Suppose 0 = 3*i - o - 6, -2*i + o = 1 - 4. Solve i*x + 8 = 8 for x.
0
Suppose 0 = -3*n - 21 + 3. Let v be (16/12)/(n/423). Let z be v/(-18) - (-2)/(-9). Solve -o - z = 4*o for o.
-1
Let q(y) = 4*y**2 - 2*y + 1. Let t be q(1). Solve -t = -4*d + 1 for d.
1
Let s(b) = -b**3 - 4*b**2 - 4*b - 1. Let q be s(-3). Let t(y) = -y**3 + 3*y**2 - 2*y - 1. Let l be t(q). Let i be (-18)/3*l/3. Solve i*u - 8 + 0 = 0 for u.
4
Suppose 45 = 86*n - 83*n. Let l = 24 - n. Solve -l = -u - 8 for u.
1
Let f = -569 - -303. Let t be f/(-49) + 3/(-7). Suppose t*p + 10 = 10*p. Solve p = b + 3 for b.
-1
Let f be (6/21)/((-4)/(-70)*1). Suppose -4*j + 27 = 3*c - j, -c = 2*j - 13. Let v = 8 - c. Solve 4*x - v = f*x for x.
-3
Suppose 3*i = 21 - 0. Let g(v) = -3*v**3 + 8*v**2 + 5*v + 8. Let f(t) = t**3 - t**2 + 1. Let d(r) = -2*f(r) - g(r). Let q be d(i). Solve -8 - q = -4*z for z.
3
Let j be (1 - 18) + (10/5 - 3). Let l be (-10)/(-4) - 2 - 99/j. Let i be (-6)/4*(1 + -3). Solve -15 = i*m - l*m for m.
5
Let r(l) = -l + 8. Let k be r(6). Let m be -6 + (-54)/((-36)/6). Suppose m*s = 3*g - 6, 2*s = -4*g - g + 24. Solve k*x = -s*x + 16 for x.
4
Suppose -4*z + 86 = 22. Solve 4 - z = 6*d for d.
-2
Suppose 1 - 17 = -4*h - 5*f, -5*h + 53 = -2*f. Suppose -3*x + h = -0*x. Let a be 36/27*x/2. Solve 0*d - a*d = 0 for d.
0
Let l = -1 + 1. Let v be 3/(-3)*(-2 - -2)/(-5). Let g be -2 - 4/(2/(-2)). Solve l*d + g*d = v for d.
0
Suppose -7 = 3*z + 2, -343 = -4*r + z. Suppose 11*s + 30 - r = 0. Solve 31 - 11 = -s*x for x.
-4
Let h(l) be the second derivative of -2*l**3/3 - 19*l**2/2 - 8*l. Let s be h(-9). Let t = -14 + s. Solve t*p = -0*p - 15 for p.
-5
Let a(t) = t**2 - t**2 + 8*t**3 - 10*t**2 - 16 + 18*t - 7*t**3. Let v be a(8). Solve v = 5*c + 11 + 9 for c.
-4
Suppose -2*w = 3*j - 15, 10*w - 4*j + 9 = 9*w. Solve -w*q = 73 - 88 for q.
5
Let v be -3 - (-6 + -1) - 2. Suppose -m - v*g = 2*g - 53, 0 = 4*m - g - 144. Suppose 2*s - m = a, -4*s - 3*a + 89 = -0*s. Solve -4*y = -9*y - s for y.
-4
Suppose -3*u + 43*u - 400 = 0. Solve -u*b - 20 = -6*b for b.
-5
Let o(u) = u**2 + 7*u + 3. Let i be o(-9). Let d(p) = 2*p - 35 + 2 + i. Let f be d(6). Solve f = -a - a for a.
0
Let u(o) = 2*o + 3. Let n(b) = 2*b**2 - 4*b + 5. Let l be n(2). Suppose 0 = -5*y + 3*k + 3, -5*y - k + l*k + 4 = 0. Let h be u(y). Solve -h*r = r + 16 for r.
-4
Suppose -4*m + 3*c + 2 + 13 = 0, 0 = 5*m + c - 14. Let l be 4/(-18) + 58/18. Let h be 1 + (-6)/l + 4. Solve h*u + m = 18 for u.
5
Let u(b) = 34*b - 192. Let i be u(6). Solve 0 = -11*c + i - 12 for c.
0
Suppose 2*p - 3*p - 9 = 0. Let b be (6/p)/(2/(-3)). Suppose -3*k - 6 = -5*k. Solve -2 = k*t + b for t.
-1
Let o be (0 - 1) + (2 - -3). Suppose 2*p + 3*b + 8 = -b, p - o*b - 8 = 0. Solve p = -0*z - 4*z - 4 for z.
-1
Let f(r) = -2*r**2 + 37*r - 168. Let g be f(9). Solve g*v = 6*v + 4*v for v.
0
Suppose 30*d - 34*d + 20 = 0. Solve -24 = -d*i + 13*i for i.
-3
Let i(n) = n**2 - 23*n + 40. Let o be i(22). Solve 5*t + o = 28 for t.
2
Suppose -n + 0*n + 18 = 3*t, -2*n = t - 11. Suppose 39 = n*f + 3. Let m be (-8)/f*-12*1. Solve -12 = 4*w + m for w.
-5
Suppose 3*g = -6 + 24. Suppose -4*f + 11*f = -g*f. Solve 0*b + 3*b - 3 = f for b.
1
Let j be 5/(-3 - -8)*0/(-2). Solve j = -6*r + 24 for r.
4
Let b(s) = -15*s**3 + 3*s + 2. Let z be b(-1). Let o(p) = -3*p + 1. Let d be o(5). Let f = z + d. Solve w = -f*w for w.
0
Suppose 2*f + 55 = 9. Let m = f + 26. Suppose m*k - 4 = 14. Solve 0 = -k*v + v + 20 for v.
4
Suppose 5*t = 4*b + 13, 4*b - 9*b + 15 = 0. Suppose -m + 2 = -x + 5*x, t*m = -5*x + 10. Solve -2*z = -x*z for z.
0
Let m be (-51)/(-6) + (-15)/10. Solve -m*x - 6 = -4*x for x.
-2
Let o be (-27)/(-5) - 4/10. Let y be (o - (-9)/(-3)) + 0. Let u be 6*y/(3 + 1). Solve -u*v = -0*v for v.
0
Let y(g) = g**3 + 3*g**2 + 5*g + 6. Let l be y(-4). Let i = 33 + l. Solve -i*n = -1 + 7 for n.
-2
Let x = -1 - -4. Suppose -x*o = -2 - 1. Suppose -4*g - 2*y = 3*g - 28, y - 13 = -3*g. Solve o = -c - g for c.
-3
Suppose 0 - 121 = -v - 4*n, v - 116 = -3*n. Let l = 105 - v. Solve f = -l*f for f.
0
Let 