lve c = -v - 0 for v.
-3
Let n(x) = -x**3 + 8*x**2 + x - 4. Let s be n(8). Suppose -s = -4*h - 0*h. Solve -k - 2 - h = 0 for k.
-3
Let r(n) = n**2 - 6*n + 5. Let g be r(5). Suppose -5*p + 18 = -7. Let z = p - g. Solve -z = y - 0 for y.
-5
Let s(b) = -3*b + 66. Let g be s(21). Solve -11 = -g*t - 5 for t.
2
Let a(q) = 2*q**3 - 4*q**2 + 2*q. Let l be (4/(-10))/(6/(-30)). Let k be a(l). Solve -6 = i - k for i.
-2
Suppose 3*a + 4*n - 1 = 33, -4*a + 2*n + 16 = 0. Solve 4*z + a = 2 for z.
-1
Let q be (-2*3/6)/((-1)/2). Solve -q*x - x - 3 = 0 for x.
-1
Let o(f) = 5*f**3 + 2*f - 2. Let s be o(1). Solve -s*j - 13 = 12 for j.
-5
Suppose 5*t - 6 = 2*t. Let g = 2 - t. Solve -4 = -2*q - g*q for q.
2
Let h be (-8)/(-2)*(5 - 14). Let i be (h/15)/((-8)/20). Solve 3*p - p = -i for p.
-3
Let a = 17 + -11. Suppose j = -0*j - 5*y + 12, y = -2*j + a. Suppose 31 - 1 = j*s. Solve s = -0*k + 3*k for k.
5
Let h be 0/2 - -2*1. Solve 2*f = f - h for f.
-2
Suppose o - 4*z = 12 + 7, 0 = -4*o - 2*z - 14. Let i = o + 3. Solve -a - i*a = -9 for a.
3
Let v(c) = -c**2 + 6*c - 3. Let m be v(2). Suppose 0 = -p + m*p. Solve -2*n + 0*n = p for n.
0
Suppose -2*x - 62 = 3*a + 2*x, -5*a - 2*x - 80 = 0. Let j = a - -10. Let y be j/(-3) + (-1)/3. Solve 3*k = -y - 8 for k.
-3
Let a be (-2 - 5/(-5))/(-1). Solve a = x - 2 for x.
3
Suppose 0 = -3*a + 5*z - 8 + 2, -3*a - 2*z + 15 = 0. Suppose 2*h - k + 1 = 2, 0 = a*k - 9. Solve 2*t = -h*t - 20 for t.
-5
Let f = 3 + -1. Let c(j) = -j. Let g be c(-1). Solve -3*u = -f*u - g for u.
1
Let p = -30 - -42. Solve -3*d = -0*d + p for d.
-4
Let c = 40 - 29. Suppose 4*w + 5*m + 0 = -c, -5*w - 24 = -4*m. Let r be 2/(-8) + (-1)/w. Solve -2 = -r*h + h for h.
-2
Suppose 4*v - x = 58, x - 1 - 1 = 0. Let w(t) = -t**2 + 6*t + 7. Let b be w(6). Suppose 4*o = b*o - v. Solve 13 + 12 = -o*l for l.
-5
Suppose 0*f + 16 = -2*f - 4*g, 5*g - 22 = f. Let y = f - -12. Solve 2*c + 3*c + 20 = y for c.
-4
Let s(j) = j**3 - 3*j**2 + 4*j. Let y be s(2). Let a be -1*3*-1 + 0. Solve 9 = -y*q - a for q.
-3
Let u(k) = k + 3. Let q be 10*6/15*-1. Let f be u(q). Let b be (0 - (0 - f)) + 3. Solve -3*d - b = 4 for d.
-2
Suppose 4*z - 21 + 5 = 0. Suppose w = -3*d - z, -2*w - 4 = 4*d - 0*d. Solve -20 = 2*a + w*a for a.
-5
Let t = -13 - -11. Let k be (-2 + t)/(-1 + -1). Solve -b - 5 = -k*b for b.
5
Suppose 5*j = 2*q + 33, 0 = 2*j + 6*q - q + 10. Solve -6 = -j*t + 9 for t.
3
Let g(a) = 2*a**2 - 9*a + 1. Let y be (11 - 10)/(1/6). Let u be g(y). Solve 3 = 4*r + u for r.
-4
Let v be (-4 + 54/12)*2*3. Solve -v*b + 20 = 2*b for b.
4
Let y(n) = n**2 + 7*n + 23. Let x be y(-7). Solve -x - 2 = -5*v for v.
5
Let c = -159 - -163. Let k(o) = o**3 + 7*o**2 + 7*o + 6. Let r be (-29)/5 - (-2)/(-10). Let h be k(r). Solve c = -2*j - h for j.
-2
Suppose -4*t + 5*q - 5 = 0, -4*t - 3 + 0 = -3*q. Suppose -3*k - 2*k = t. Solve k = -4*i - 4 for i.
-1
Let p = 2 + -2. Suppose m - 6 + 4 = p, m = 3*f - 13. Suppose 2*k + 5*c - 44 = 6, -2*k + 26 = -c. Solve -f*q = -5 - k for q.
4
Let q(r) = -r**2 - 7*r - 4. Let x(z) = -z**3 + 3*z**2 - z + 1. Let k be x(2). Let u = -3 - k. Let w be q(u). Solve -12 = -2*c - w*c for c.
3
Let g be 0 + -3 - (1 - -4). Let i be (-50)/g + 3/(-12). Suppose 0 = b + 4 - i. Solve 0 = b*h - 3*h + 3 for h.
3
Let d be 12 + -2 + -1 + -1. Suppose d = 6*z - 2*z. Let y = -17 + 20. Solve z = f - y for f.
5
Suppose -5*i = 2*d + 25, -4*d + 2*i + 10 = -0*i. Solve d*k - 20 = -5*k for k.
4
Suppose 3*q - 25 = f, 14 = 4*q - 3*f - 21. Solve 4*z = q + 8 for z.
4
Suppose 27 = x - 4*f, -2*f = x + 3*x - 18. Solve -3*a - x - 8 = 0 for a.
-5
Suppose -2*u - 4*q + 22 = -u, q - 15 = -5*u. Solve u*i = -3*i for i.
0
Suppose 43*x = 52*x - 27. Solve 2 = -x*m - 13 for m.
-5
Suppose -7 = t - 3*x - 15, -4*x = 4. Solve 7 = -3*m - t for m.
-4
Let z = 17 - 13. Solve z*r = 6*r - 10 for r.
5
Let t = -3 - -8. Solve -q + t = 4*q for q.
1
Suppose -a = c + 1, 2*c + 0*c + 5*a = -11. Solve i + 0 = c for i.
2
Suppose 5*x + 9 = 19. Solve x*b + 25 = -3*b for b.
-5
Let r be 1 - (3 + 6/(-1)). Solve 0 = 3*v - r*v + 1 for v.
1
Suppose 1 = t + 2*i - 3, -t = i - 3. Suppose 2 - 6 = -t*u. Suppose -107 = -4*h - h - 2*r, -3*h - u*r + 65 = 0. Solve -5*b - h + 1 = 0 for b.
-4
Let l(n) = -n**2 - 4*n + 10. Let s be l(-5). Solve 0*p = s*p for p.
0
Let g be (-73)/(-15) + 5 + 2/15. Solve -3*w - 25 + g = 0 for w.
-5
Suppose 2*v - 14 = 2*s, 5 = -5*v - 4*s - 5. Let m be (-2)/(4/v)*0. Suppose -8*d + 15 = -3*d. Solve -d = w - m*w for w.
-3
Let c = 0 - 0. Suppose c = -5*z - 10 + 35. Suppose -3*n - 5*j = 12, -4*n + 2*j + j = -13. Solve n + z = -2*l for l.
-3
Let h be 20 + (1 + -1 - 0). Suppose -4*m - g - 1 = -4, -4*g = h. Let p be ((-2)/(-6)*0)/(-1). Solve p = m*u + u - 6 for u.
2
Let s = 4 - 4. Suppose 5*o + 2*r + 2 + 1 = s, -1 = 3*o + r. Suppose -10 = -3*z - o. Solve -5*l + z + 12 = 0 for l.
3
Let b(t) = t**2 - 3*t - 5. Let z be b(-2). Solve z*w = 6*w for w.
0
Suppose r + 9 = 31. Let p = -18 + r. Solve -2*s - 12 = -p for s.
-4
Let j(l) = -l**2 - 8*l - 7. Let z be j(-4). Let b be -1*4/(1 - 2). Solve z*f - 25 = b*f for f.
5
Let k(b) = 6*b - 1. Let u be k(-1). Let r be (-33)/6 - 2/(-4). Let f = r - u. Solve f*m = -2*m - 8 for m.
-2
Let o(f) = f - 15. Let v be o(5). Let m = -3 - v. Suppose -5*z = 4*c - 35, c + 2*z - 4 = 1. Solve m*j - 4*j + c = 0 for j.
-5
Suppose 8*o = 5*o + 9. Let h = -2 - -6. Solve z = h*z + o for z.
-1
Suppose -10 = 5*a - 2*k, -2*a - 2*k + 10 = a. Solve a = -0*l + 5*l - 5 for l.
1
Let i = 14 + 5. Let a = -17 + i. Solve 0 = a*p - 3 + 9 for p.
-3
Suppose 0*o + o = 0. Suppose -4*l + 0 + 8 = o. Solve 0 = 6*q - l*q + 20 for q.
-5
Let o = 15 + -10. Suppose -4*q - 5*l = -4*l - 11, -9 = 3*q - o*l. Solve q*h - 4*h = -4 for h.
2
Suppose -i = 3*v - 17, -4*v + 28 = 3*i + i. Suppose v*l - 4*l = 2. Suppose 6 = -l*m + 72. Solve -5*o - m = -8 for o.
-5
Let c(n) = -4*n - 5. Let v = -15 - -11. Let l be c(v). Solve -l = 5*t - 1 for t.
-2
Let n(i) = -i**2 - 6*i - 1. Suppose -b + 28 = -5*z, 0 = z - 0*z - 2*b + 2. Let d be n(z). Let r be -2 + d - (-5 - -2). Solve c - 3 = -r for c.
3
Suppose -4*k = -6*k. Solve 0 = -k*i + 5*i + 20 for i.
-4
Suppose 3*r + 20 = -2*w, 27 = -5*r + 2*w + w. Let f be (r/5)/(4/(-10)). Solve 0 = -0*v + f*v for v.
0
Suppose 0 = 5*d + 3*j - 12, 2*d = -d - 3*j + 12. Solve d = -u - 4 + 6 for u.
2
Suppose 3*y + 1 = 7. Solve 3*k - 2*k + y = 0 for k.
-2
Let k be ((-2)/4)/((-2)/8). Solve -k = -y - 5 for y.
-3
Let j be 4/((1/10)/1). Suppose -9 = -3*x + 3, -4*r = 5*x - j. Suppose -r*n + 32 = -5*l - 13, -13 = 3*n + 5*l. Solve w + n = -0*w for w.
-4
Let l be (2 - 3)*0 - -3. Solve 0 = -l*o - o - 16 for o.
-4
Let n(u) = 5*u**3 + 7*u**2 - u + 4. Let r(c) = 11*c**3 + 15*c**2 - 3*c + 9. Let j(l) = -13*n(l) + 6*r(l). Let q be j(3). Solve q = -2*m - 1 for m.
-3
Suppose 2 = 4*t - 2. Let m(h) = 2*h**2 + 1. Let f be m(t). Solve f = 3*k + 15 for k.
-4
Let u(i) = i**2 - 2*i - 15. Suppose -35 = -2*c - 3*c. Let n be u(c). Solve -n = -g - 4*g for g.
4
Let a(x) = x - 1. Let i(h) = 3*h - 4. Let t(f) = -4*f + 5. Let k(m) = -3*i(m) - 4*t(m). Let y(z) = -6*a(z) + k(z). Let s be y(4). Solve 0 = -2*o + s + 8 for o.
5
Let b = 2 - -1. Suppose g - 55 + 18 = 0. Suppose b*z = 5*z - 3*l - 22, 0 = -5*z + 3*l + g. Solve 3*p = z*p for p.
0
Let h(c) = c**3 - 7*c**2 + 5*c + 6. Let g(r) = -r**3 - 7*r**2 - 2*r - 8. Let k be g(-7). Let u be h(k). Solve u = 3*a + a - 4 for a.
1
Suppose 3*p - 7 = -2*d - 2, 0 = -4*d - 20. Let t be (6/(-8))/(p/(-20)). Solve t*z - 6 = 6 for z.
4
Let v(y) be the first derivative of -4*y + 1/3*y**3 - 1 + 3*y**2. Let z be v(-7). Solve 0 + 6 = -z*o for o.
-2
Suppose 4*x - 20 = 0, b = 3*b - 4*x + 16. Suppose -b*a - 3*a + 10 = 0. Suppose -6*u = -a*u - 12. Solve 2*r = r + u for r.
3
Suppose 6*a - 4*a = 6. Solve o = -a + 5 for o.
2
Let o(t) = t**2 - 7*t - 7. Let f be o(8). Suppose -f = -5*h + 14. Solve h*b = 3 - 9 for b.
-2
Let w = -10 + 10. Let a(k) = k**2 + 7*k - 9. Let z be a(-9). Solve w = -5*y - 6 - z for y.
-3
Let k(x) = -3*x - 1. Let w be k(-2). Suppose -8 = -w*f + 12. Solve f*b + 0*b + 20 = 0 for b.
-5
Suppose 0 = 2*x + 2*x + 2*a, 2*x - 2*a - 12 = 0. Solve -1 = m + x for m.
-3
Suppose -5*g = 10 - 35. Solve -g*z - 12 = 8 for z.
-4
Let f = -132 + 138. Solve 5*m = 2*m - f for m.
-2
Let q(v) = v**3 - 3*v**2 - v + 6. Let w be q(3). Solve 4*l = w*l + 3 for l.
3