y = -2*y + 4. Let v be 1 + (y - 6/(-3)). Suppose 5*j - v = 4*s, 3*j + j + 4 = -4*s. Solve j*t + 10 = -2*t for t.
-5
Let d = 9 - -4. Let z be 4 + 0 + (11 - d). Solve -z - 14 = 4*b for b.
-4
Let h(v) = -v**2 + v + 4. Let u(y) = y**3 + 5*y**2 - 6*y. Let i be u(-6). Let z be h(i). Suppose 1 = -2*n - 5*g, -z*n - 2 + 9 = g. Solve -n*f = 3*f - 5 for f.
1
Let i(u) = u**2 - 4*u + 1. Let j be i(4). Suppose -2*a - a + 39 = 0. Suppose 2*m = 3*m - a. Solve m - j = -3*b for b.
-4
Let q(a) = 2*a - 13. Let h be q(13). Solve -1 = -4*y - h for y.
-3
Suppose 5*g - 12 = 4*g - 2*t, 4*t - 12 = 0. Suppose 0*x + 5*m = 2*x + 1, -5*x + m + 9 = 0. Suppose 0 = -5*w + 7*w - 40. Solve -x*s + w = -g*s for s.
-5
Let y be ((-84)/(-56))/((-3)/(-14)). Let t be -4*(1 + (-18)/8). Solve y = 3*w - t for w.
4
Let g(o) = 10*o**2 + o - 2. Let j be g(1). Solve -4*n = -n + j for n.
-3
Suppose -5*r + 10 = -0*r, -4*r + 43 = 5*t. Let h(b) = 2*b - 9. Let l be h(t). Solve l*j - 11 = -36 for j.
-5
Suppose -5*k + 9*k = 0. Suppose s - 14 = -3*f, -4*f + 0*f + 3*s - 3 = k. Solve -f - 1 = -4*c for c.
1
Suppose -3*o - 11 = -3*n - n, 0 = n - o - 3. Suppose 0 = 5*z + 2*q - 2 + 11, q = -n. Let h be (-10)/z - 2/1. Solve 8*d - 4*d = -h for d.
-2
Let q(h) = h - 2. Let u be q(7). Suppose 4*k - r = u, -k + 6*k - 3*r - 1 = 0. Solve k*c + 1 = -5 for c.
-3
Let s be 3/(-15) + (-248)/10. Let i = -16 - s. Solve u = -2*u - i for u.
-3
Let o be 3 + (2 - 5) + 1. Solve -1 = b + o for b.
-2
Suppose 31 - 126 = -5*j. Let o be 1/1 - (4 - 3). Let c be -1 + (-3 - -2)*-2. Solve o = -5*r + j + c for r.
4
Suppose 5*l + m + 34 = 2*m, 5*l + 4*m = -14. Let j = l + 10. Solve 0 = -j*c - 4 for c.
-1
Let i(d) be the third derivative of 5*d**4/24 - 5*d**3/6 - 5*d**2. Let y be i(2). Solve 0 = -y*u + 6 + 9 for u.
3
Let v(a) = -4*a - 9. Let l be v(-6). Suppose -63 = 5*u - 2*j + 2, 5*j + 30 = -5*u. Let z = u + l. Solve 5 + 15 = -z*h for h.
-5
Let n(i) = -i + 3. Let f be n(3). Suppose -4*p + 5 = 5*s + 15, f = -p - 5. Suppose -8 = -2*b + 5*q + 9, -4*b + 1 = q. Solve b - s = -z for z.
1
Let d = -3 - 0. Let l(y) = -y**3 + 9*y**2 - 8*y - 7. Let b be l(8). Let t = d - b. Solve -a - t*a = -5 for a.
1
Let f(t) = -t**3 + 12*t**2 - 10*t - 8. Let l be f(11). Suppose -v - 3*v + 10 = -2*p, 25 = v - 5*p. Suppose -5*d + 13 + 17 = v. Solve -3*w - l = -d*w for w.
1
Let j(k) = 6*k + 45. Let y be j(-7). Solve 0 = y*d + 4 - 1 for d.
-1
Let s = 1 - -3. Suppose 3*a + 80 = a. Let y be 6/8 + a/(-32). Solve 3*i = y*i - s for i.
-4
Let d = 26 - 26. Solve d = -4*o + 8 + 4 for o.
3
Suppose 7*q = -27 + 27. Solve q = j - 2*j for j.
0
Let o(t) = t**2 + 4*t - 4. Let i be o(-5). Let d be 1/1*i*5. Suppose 4*p = 5*g - 4 - 29, 0 = 5*g + 3*p - 19. Solve g*n = 4*n - d for n.
-5
Suppose 2*c = 11 + 1. Solve 0 = d - c*d for d.
0
Let k be 3 - ((-16)/4 - -4). Solve m = 4*m - k for m.
1
Suppose 7*p = 4*p - 6. Let i(r) = 2 - 2*r + r - r + 3*r. Let s be i(p). Solve 0 = -k - s*k for k.
0
Suppose 4*f - 5 = 7. Let b(i) = 3*i - 5. Let h be b(4). Solve -f*j = -h*j for j.
0
Let f(q) = -2*q. Let p be f(-2). Let d = 9 - p. Solve 0 = d*k - 0*k for k.
0
Suppose 0 = i + 1 - 5. Suppose -5 = i*o - 9*o. Let t be 0 - 0 - (o + -12). Solve -5*r = -1 + t for r.
-2
Let k(i) = -i**3 - 2*i**2 - 3*i. Let m be k(-2). Let u = 10 - m. Suppose -1 = -3*h + 5*b - 7, 6 = -2*h + u*b. Solve 0 = h*o - 4*o - 1 for o.
-1
Let p = -11 - -14. Solve p*m + 0 = -12 for m.
-4
Suppose 3*u = 4*u. Solve u = -2*l - 2 + 8 for l.
3
Suppose 4*i - 2*b + 6 = 18, -b = i. Suppose 2*o = -4*c + 20, i*o + c - 25 = -4*c. Solve 4*a = -o*a - 4 for a.
-1
Let h(o) = o**2 + 4. Let g be h(0). Suppose -4*n + 0*n + 26 = 5*i, 0 = 3*n - 2*i - 31. Suppose -2*v + 9*c - 4*c = -6, -n = -3*v - 4*c. Solve g*f = f + v for f.
1
Suppose 33 = -2*h - 3*n, -2*h - 2*n + 3*n - 13 = 0. Let t(d) = d**3 + 9*d**2 - d - 5. Let v be t(h). Solve -v = -c + 3*c for c.
-2
Suppose -2*t = 2*a + 6, -a + 3*a = -3*t - 9. Let h = -5 + 14. Let g = t + h. Solve 6*m - g = 3*m for m.
2
Let o(w) = w - 5. Let f be o(9). Let x = f - -1. Solve x = -4*s - 15 for s.
-5
Let l(c) = c**3 - c**2 - c + 1. Let n be l(-2). Let o be -3*((-3)/n + -1). Suppose 4*u = -3*p + 14, 14 = 5*u + 4*p - 2*p. Solve 0 = -u*b - o*b for b.
0
Let m(q) = -q**2 - 13*q - 16. Let v be m(-11). Let r = v - -12. Solve 2 = 5*c - r for c.
4
Suppose -3*c - 5*v = 19, -3*c - 3*v = -2*v - 1. Solve r = 2*r - c for r.
2
Suppose -3*t + 7*t - 10 = -2*c, c + 7 = 4*t. Solve -t*g = -7*g - 25 for g.
-5
Suppose 0 = -y + 4 - 1. Suppose -17 = -y*k - 2. Let p be (3/(-2))/(k/(-10)). Solve -p*c - 1 = 2 for c.
-1
Suppose -3*t - 1 - 8 = 4*d, t = -3. Solve 3*o + 2*o = d for o.
0
Let y be 226/14 + -2 + 7/(-49). Solve -5*f - 6 = y for f.
-4
Suppose -7 = -4*i + 5. Solve -j - 2 + i = 0 for j.
1
Let f = -4 - -1. Let w = -1 - f. Solve -y - 2 = w for y.
-4
Let t be (-3)/5 - 51/(-85). Solve t = -3*n - 13 + 1 for n.
-4
Suppose 0 = 5*l - 4*c - 22, -1 = 2*l + 4*c + 7. Solve -l*z + 6 = -0*z for z.
3
Suppose 0 = a - i - 13 - 14, -36 = -a - 2*i. Suppose 4*b = -5*m + a, -4*m = -5*b - 9 + 26. Solve -3*t + 4 = -m*t for t.
4
Suppose 2*l = -3*g, -3*l = l + 5*g - 2. Solve l*c + 0 + 15 = 0 for c.
-5
Suppose 2*z - 10 = 2. Let r be (-30)/(-40)*32/6. Solve j - r*j + z = 0 for j.
2
Suppose -24 = -10*j + 13*j. Let l = -3 - j. Solve l*x = 2*x + 9 for x.
3
Let j = 1 - 0. Solve 3*i - j = -4 for i.
-1
Let b(g) = 5 - 8 - 1 - g. Let a be b(-8). Solve -a*f + 23 - 7 = 0 for f.
4
Suppose 5*u = 12 + 3. Let m be -3 + 4 - u - -18. Solve 0*b - 4*b = -m for b.
4
Let m(i) = -i**2 + 2*i + 3. Let v be m(3). Solve v*x - x = 0 for x.
0
Suppose -7 = -j + 3*j - 5*m, 5*j - 4*m - 8 = 0. Let i = -35 - -43. Solve i = -r + j for r.
-4
Suppose 5*w + 10 = 5*v, v - 3*w = -3*v + 13. Solve 2*i = v*i for i.
0
Let a be (23/(-7) - -3)*-7. Suppose 2*p + a*l = -0*l + 18, 3*p - 22 = -2*l. Solve -3 = -p*b + b for b.
1
Let p be 116/20 + 1/5. Suppose 2*x + p = 2*o, 2*x + 3*o - 9 = -0. Let b = x + 3. Solve 0*s - b*s - 12 = 0 for s.
-4
Let g(s) = -2*s - 4. Let x be g(-3). Suppose -4*o = x*v - 4, -o + 11 = -3*v + v. Suppose -7*d + 3*d = 0. Solve d = -5*b + o*b + 2 for b.
1
Let v be 1 + 2 - (0 + 0). Let m = -1 + v. Solve -3*w = m*w + 10 for w.
-2
Suppose 4*w + 9 = 3*o, -3*o + 9 = -w - 0*w. Solve 0 = 4*h - h - o for h.
1
Let x(i) be the first derivative of i**4 + i**2/2 - i + 2. Let f be x(1). Suppose -f*s = s - 65. Solve -3 = -2*y - s for y.
-5
Let x = -8 - -14. Solve 4*j = -2 - x for j.
-2
Let s(p) = 13*p**2 + 1. Let x be s(1). Let t = x + -10. Solve -t*d = -0*d for d.
0
Let g(a) = 6 - 6*a + 6*a**2 - 5*a**2 - 2*a + 3*a. Let b be g(4). Solve b*n - 3*n - 1 = 0 for n.
-1
Let o(j) = j. Let a(s) = -s**2 + 2. Let f(b) = a(b) + 4*o(b). Let u be f(4). Solve d - 3 = u*d for d.
-3
Let x = -2 + 4. Let z(p) = -p**3 + 3*p**2 - p + 1. Let c be z(x). Let d = -1 - -3. Solve -v + c*v = -d for v.
-1
Suppose -2*m - 35 + 41 = 0. Solve -15 + 0 = m*j for j.
-5
Suppose -6*h + h - 2*s = -23, 4*h = 5*s + 25. Solve h*a - 7 = 8 for a.
3
Let c = 3 - 1. Let b be ((-4)/5)/(c/30). Let n be ((-3)/9)/1*b. Solve -n*l - 8 = -4 for l.
-1
Suppose 0 = -d + 2*d. Suppose d*z = 2*z. Let m be 6*-20*(-4)/24. Solve z = -q + 5*q + m for q.
-5
Let b(s) = -s - 7. Let y be b(-5). Let u be 36/10 - y/5. Suppose -u - 26 = -2*r. Solve -3*f + r = -0 for f.
5
Let o = -6 + 10. Suppose f = -f + o. Solve -f*t + 17 = 7 for t.
5
Let u(i) = 3*i**2 - i. Let m be u(1). Let o(h) = h**2 - 2*h + 3. Let r be o(m). Solve 2*p = -r*p for p.
0
Suppose -w + 3 = -10. Suppose -n + 3*x + 8 = 0, -x + w + 3 = 2*n. Solve -n = -g - g for g.
4
Suppose 0 = -4*g + 9 + 3. Suppose -g*p + 6 = -p. Solve 4*t - p = -23 for t.
-5
Suppose -4*f - 5*b + 25 = 0, 0*f - 5*f - 5*b + 25 = 0. Solve 4*s - 7*s - 6 = f for s.
-2
Suppose -5*w + 4*w = 8*w. Solve -6*y - 11 - 1 = w for y.
-2
Suppose -5*l + 7 = -4*s, -2*l - 6 = -4*l. Solve s*n + 14 - 6 = 0 for n.
-4
Let w(c) = c**2 - 12*c + 11. Let k be w(11). Solve k = 3*o + 7 + 8 for o.
-5
Let m(r) = r**3 - r**2 + 3*r + 4. Let q be m(-4). Let j = q + 127. Suppose n = -2*n + j. Solve -3 = -5*z - n for z.
-2
Let r(l) = l**3 - 3*l**2 - l + 8. Let u be r(6). Suppose p - 2*p + 3*b + 10 = 0, -u = -5*p + 3*b. Solve 2*c = 7*c - p for c.
5
Let d = -5 - -11. Solve -q + 1 = d for q.
-5
Let t(i) = -2*i**3 - 3*i**2. Let r be t(-3). Let a be (-2)/(4 + r/(-6)). Solve 