lve -16 + 4 = -n*s for s.
3
Let y(b) = b**3 - 7*b**2 + 6*b + 6. Let d be y(6). Suppose 0 = 3*h, -3*h + d = 3*r + h. Let a be (-1)/r - (-7)/2. Solve a*u = -1 - 2 for u.
-1
Let k(i) = i**3 - 2*i**2 + 2*i - 1. Let j be k(2). Solve j*v = -v for v.
0
Let c be 0 - 2 - (2 - 4). Let l(d) = -d. Let y be l(c). Suppose y = 3*j - 15 - 15. Solve 0 = -5*n - 0*n - j for n.
-2
Suppose 8 - 4 = -3*r + 2*g, 2*g = -r + 4. Solve r*h = -h - 5 for h.
-5
Let g = -34 - -51. Let p = -17 + g. Solve -4*s + 0 - 20 = p for s.
-5
Let y(c) = -c - 5. Let d be y(-8). Suppose 2*m + 1 = -3*h, d*h = 4*m - 0*m - 43. Solve -5*i + m + 3 = 0 for i.
2
Suppose 4*p - 13 - 23 = 0. Let g be 6/p - (-21)/9. Solve 2*z + g*z = -20 for z.
-4
Let i = 3 - 8. Let b = i - 5. Let w = -7 - b. Solve -t - w = 1 for t.
-4
Suppose 3*w + 57 = l, 3*w + 4*l + 52 = 10. Let g be (-1)/((-6)/(-4))*w. Solve -2*s = s - g for s.
4
Suppose 0*i + i - 5 = 0. Let s = 38 - 38. Solve -i*w - 9 + 24 = s for w.
3
Let b be 356/(-18) + 6/(-27). Let r = b + 12. Let a = -7 - r. Solve w + a - 3 = 0 for w.
2
Let y(z) = z**3 - 14*z**2 - 15*z + 11. Let u be y(15). Solve -3*s - u - 4 = 0 for s.
-5
Let a(k) = -k - 3. Let x be a(-6). Suppose x*i + i = 0. Solve i*c = 2*c for c.
0
Let m be (1/3 - 2)*-3. Suppose 4*h = m*h - 7. Solve 3*n = -2 - h for n.
-3
Let y be 30/2 + (1 - 3). Suppose 0 = 3*m + 18 + 9. Let b = y + m. Solve 0 = -i - b*i for i.
0
Let n(v) = v**2 + 2*v + 1. Let m be n(-3). Solve m*z = -z for z.
0
Let y(i) = i + 15. Let j be -14 + 6/(1 - -1). Let m be y(j). Solve -m*f - 9 = 3 for f.
-3
Let m = -1 - -4. Suppose 3 = -0*a + 3*a. Let q = m - a. Solve -5 - 3 = q*k for k.
-4
Let o be (0 - -2) + (-3 - 0). Let q be (-7)/(-21) - o/(-3). Let g = 1 + q. Solve -2*x - 1 = g for x.
-1
Let t be (2/3)/(7/21). Solve 4*u = 6 + t for u.
2
Suppose 4 + 0 = 2*f. Suppose 0*r = f*r. Solve 0*z - 5*z - 20 = r for z.
-4
Let p(o) = -o**3 + 11*o**2 - o + 11. Let r be p(11). Solve r + 6 = 2*j for j.
3
Let w = 39 + -18. Suppose -1 + w = 4*s. Suppose -s*q = -5*k, -5*q + 15 = -2*q + 2*k. Solve 2*f = -q*f for f.
0
Let i(r) = -4*r**2 + 2*r + 2. Let h be i(2). Let w = 6 + h. Let b be (-1)/2 - 14/w. Solve 0 = -3*x - 0*x - b for x.
-1
Let m(s) be the first derivative of -s**4/4 - 3*s**3 - s**2/2 - 4*s - 6. Let t be m(-9). Solve -2*f = -t*f + 6 for f.
2
Suppose 0 = -5*f - 3*t + 44, 0 = -5*t - 7 - 3. Suppose -5*x + 3*u + 14 = -15, -3*x - 3 = 5*u. Solve -x*p = -2*p - f for p.
5
Suppose 4*f - 16 = -4*s, 4*f + 4 = 2*f + 4*s. Solve f + 4 = -2*u for u.
-3
Let f = 40 + -40. Solve 5*n + 4 + 11 = f for n.
-3
Suppose -5*i - 15 = -30. Solve -2*z + z = i for z.
-3
Let b = 19 + -9. Let w be 5/10*2*b. Suppose 4*k - 17 = -1. Solve -k*j - j = -w for j.
2
Let w = 12 + -6. Let p = w - 1. Solve 2 = p*r + 7 for r.
-1
Suppose -5*a + 4*t = -2, -2*t - 3*t = a - 12. Solve -4 - a = -3*m for m.
2
Let i be (-134)/(-26) + 34/(-221). Solve -i*m = -17 - 8 for m.
5
Suppose 0*m - 35 = -2*g - 5*m, 2*g = 4*m - 10. Suppose 0 = 2*h - k - g - 7, 2*k - 1 = -h. Solve -h*x + 10 = -10*x for x.
-2
Let x = -2 - 2. Let p = x + 4. Solve p*b = b + 5 for b.
-5
Let s(c) = -3*c**2 + 24*c + 8. Let b be s(8). Solve -b = 5*a + 17 for a.
-5
Let w(c) = -c**3 - 13*c**2 + 14*c + 1. Let f be w(-14). Solve 0 = y - 1 - f for y.
2
Let o be 11 - 9 - (0 + -1). Solve o*s = 2*s + 2 for s.
2
Let s = -10 + 9. Let l = s + 0. Let u be 2/(2/7) - l. Solve -u = 3*q - q for q.
-4
Suppose -2*x + 2 = -x. Suppose -5*w - 20 = -2*y, -3*y = 2*y + 5*w + 20. Solve x*z - z = y for z.
0
Let n = 6 - 5. Suppose -15 = -3*z - 2*t, 4*t + 4 + n = -z. Solve 0 = z*g - 2*g for g.
0
Let z(v) = 3*v**3 - 3*v**2 + v + 1. Let m be z(2). Suppose -5*t + m = -10. Solve -27 + 2 = t*r for r.
-5
Let b = -3 - -3. Suppose j = -b*j. Suppose w - 6*w = -10. Solve j = -2*s - 8 - w for s.
-5
Suppose a = 4*z - a - 42, -5*a = 3*z - 12. Suppose 0 = -10*o + 7*o + z. Solve f = -o*f for f.
0
Let t(h) = 5*h**2. Let k be t(-1). Suppose 5*x + 4*r + 16 = 52, 39 = k*x + r. Solve -x = 3*s - 23 for s.
5
Suppose t - j = -2, 4 = 4*t - 3*j + 5*j. Let o(z) = -z**2 - 3*z - 1. Let r be o(-3). Let a = 1 + r. Solve a*i + 2*i - 2 = t for i.
1
Let d be 12/15 - 3/(-15). Let a = d - -4. Solve 0 + a = f for f.
5
Let a be (-37)/7 + (-2)/(-7). Let q(j) = j**2. Let s be q(a). Let i be (-35)/(-21) + 2/6. Solve s = -3*v - i*v for v.
-5
Suppose 3*l + 6 = 21. Let i(a) = -2*a. Let q be i(3). Let z be 1 + (-3)/q*2. Solve -3 = -l*c + z for c.
1
Suppose 2*f - 18 = -5*u + 6*f, 12 = 3*u - 3*f. Suppose -3*d = 5*i - 37, -u*d + 12 - 29 = -5*i. Solve m + 0 - d = 0 for m.
4
Suppose 3*n + o - 13 = -o, -n - 5 = -4*o. Let p(t) = t**3 + 2*t + 1 - 3*t - 5. Let x be p(n). Solve -2*s = 2*s - x for s.
5
Let b(n) = -n**3 - n**2 + n + 1. Let l be b(-2). Solve -l*z = -0*z for z.
0
Let z(p) be the first derivative of p**3/3 - 13*p**2/2 + 9*p - 4. Let b be z(13). Solve -i + 4*i = -b for i.
-3
Let c be -3*(14/(-6) + 1). Let z be 2 - (-1)/(c + -3). Solve 2*g - z = g for g.
3
Suppose -4 = v - 2*n, 3*v = 4*n - 2 - 4. Let x = 44 + -32. Solve v*s = 5*s - x for s.
4
Let a be ((-1)/(-3))/((8/(-24))/(-1)). Suppose 5*g - 2 - 3 = 0. Solve a = -y - g for y.
-2
Suppose 3*y = z - 9, 2*z + 6 = -7*y + 5*y. Solve c = -z + 4 for c.
4
Suppose 5*q + 92 + 3 = 0. Let b = q - -29. Suppose -2*g + b = 2. Solve -g*n + 6 = -6 for n.
3
Let l = -9 + 15. Suppose l*w + 4 = 8*w. Solve -3*r = -w*r - 2 for r.
2
Let r = 19 - 19. Let b(i) = 4*i + 3 + 1 - 6*i + 3*i. Let q be b(-2). Solve r*g = -q*g + 4 for g.
2
Let u be (-10)/(-6) + (-3)/(-9) - 2. Solve u = 4*k - 3 - 13 for k.
4
Suppose u + 38 = 40. Solve -u*l - 4 = -2 for l.
-1
Suppose 5*b - 10 = -0. Suppose 0 = -5*k - 0*k + 2*s + 63, 5*k = s + 59. Suppose -8 = -b*c + 3*q - 0, -k = -5*c + 3*q. Solve z = 2 + c for z.
3
Let g(i) = -2*i - 4. Let u be g(-4). Let s(m) = -14*m - 194. Let z be s(-14). Solve z*f - u = f for f.
4
Let j be 2 + (12 + -4)/(-4). Solve -4*i - i + 10 = j for i.
2
Let x(a) = -a**2 - 8*a - 3. Let y be x(-7). Suppose 34 = 2*n + 4*g, y*g + 132 = 4*n + 4. Let l be 9*(-3)/n*-3. Solve l*d - 3 = -0*d for d.
1
Let f = -30 - -27. Let t be 4/(-6) - (-4)/6. Let n be t/(f + 1) + 2. Solve -n*s + 4 = -4*s for s.
-2
Let s = 19 - 17. Solve -2*c = s*c - 16 for c.
4
Suppose 3*c - 2*c = -k - 54, 87 = -2*k + 5*c. Let s be k/(-9) - 1/(-3). Suppose -4*w + 2*o = 8, 4*o = 2*w + s*o - 8. Solve 2*t + 1 + 3 = w for t.
-2
Let v = -7 - -23. Let m(r) = r**2 - 2*r + 1. Let i be m(3). Suppose 10 = -i*y + 22. Solve y*n + v = -n for n.
-4
Suppose -40 = -4*n + 124. Suppose -n = -4*o - 5*c, 3*o = -2*o + c + 15. Solve 0 = -3*s + o - 1 for s.
1
Let x be (0 + 2)*(-10)/4. Let k be (-4)/10 - (-23)/x. Let n = 8 + k. Solve 25 = 2*u + n*u for u.
5
Suppose -9 + 25 = 4*g. Solve 8 = -0*i + g*i for i.
2
Let x(n) = 3 + 10*n + 10*n**2 - n - n**3 - 3*n**2 - 4. Let p be x(8). Solve 10 = -2*c + p*c for c.
2
Suppose 24 = -0*i + 3*i. Suppose 0 = 5*v - 12 - i. Solve v*w + w = 10 for w.
2
Suppose 2*t = -4*w - 10 - 2, 4*t - 21 = w. Suppose -2*f + 10 = t. Solve -z + 2*z = f for z.
3
Suppose 4*a + 3*x - 87 = -a, 4*x = -3*a + 50. Solve -6 = 4*y - a for y.
3
Suppose -d + 8 = d. Suppose -2 = -l, -2*f - d*l = -0*f - 18. Solve -3*r + f - 14 = 0 for r.
-3
Let f(n) = n**3 - 9*n**2 + 2*n - 15. Let p be f(9). Suppose 0 = -4*b + 3 + 57. Solve -p*j - b = -0*j for j.
-5
Let c(n) = -n + 1. Let a(q) = q**2 - 4*q - 4. Let o(t) = -a(t) - 2*c(t). Let d be o(6). Solve v + d = -2 for v.
-4
Let m(i) = 9*i**2 - 2*i - 1. Suppose 5 = -8*g + 3*g. Let u be m(g). Suppose -4*d + u = -6. Solve 31 = -d*a + 11 for a.
-5
Suppose 3*z = -3*s + 6, 5*s = -4*z + 7 - 1. Suppose -z*h = 1 + 3. Let f = h + 4. Solve f - 7 = l for l.
-4
Let x = 5 + -1. Suppose 0 = 3*k - t + 2, -k + 4*t - x = 15. Solve 3*l = 2*l - k for l.
-1
Let g = 8 - 1. Suppose -s + 20 = 3*s. Suppose 0 = -4*p + s*p - 3. Solve -8 = g*d - p*d for d.
-2
Let r = -13 - -20. Suppose -4*b = 4*k + 20, -3*k = -k + 3*b + 14. Let i(o) = 20*o**2 + o + 1. Let x be i(k). Solve -r*y + x = -2*y for y.
4
Suppose -t + 0*d = 5*d - 12, 3*t = 4*d - 2. Solve 0 = -t*a - 3*a - 20 for a.
-4
Let d be (-42)/(-49)*(-14)/(-4). Solve 0 = -5*k + 8 - d for k.
1
Suppose 0 = 2*m - 2*k, -4*m + 28 + 12 = 4*k. Solve -5 = m*v - 30 for v.
5
Let t(r) = -r**3 - 12*r**2 + 6. Let q be t(-12). Suppose 7*k = k + q. Solve -3*x + 10 = k for x.
3
Let a(g) be th