 v = -n for n.
-2
Suppose 3*a + 7 + 11 = 0. Let c(p) = -p**3 - 7*p**2 - 8*p - 4. Let t be c(a). Solve 3*i - 9 = t*i - 4*h, 0 = -i + 5*h - 6 for i.
-1
Suppose 4*m + 0*m - 8 = 0. Suppose -p - 5 = 0, -m*h + 3*h - 8 = p. Suppose 0 = n - 3*n + 6. Solve 0 = x - 0*x + 3*f + h, -3*f + n = 3*x for x.
3
Suppose 32 = -7*v - 17. Let a(u) = -3*u + 1. Let i be a(2). Let x = i - v. Solve -w + x*z = 7, 3*w - 19 = -3*z + 5 for w.
3
Suppose -2*l + 32 = -5*t, 0*l - 4*t + 3 = l. Solve j - 1 = d, 0*d = -d - 2*j + l for d.
3
Suppose -5*a - 2*s = -10*a, a - s = -3. Suppose 2 + 4 = a*u. Solve u*c - 12 = -c + f, 2*c - 5*f = -12 for c.
4
Suppose 0 = 4*q + 2 - 14. Suppose -q*o - 2*o = 0. Let v be 3 - (-2 - o/(-2)). Solve 3*z + 5 = -h - 4*h, -v*z + 2*h = -2 for z.
0
Let q(z) = z**2 - 9*z + 2. Suppose 4*m - m = -3*a + 42, 3*m - 60 = -5*a. Let v be q(a). Solve 4*y = v*c + 2, 2*c + 6 = 5*y + 2 for y.
2
Suppose 7 = 4*q - 5. Suppose 5*l + q - 33 = -5*b, 4*b - 12 = -l. Solve -s + 14 = 4*v, -4*v + 2*s + b*s = -24 for v.
4
Let j be 9*3/(-6)*-1*2. Solve 0*z + 3*n = -z - j, 3*z + 3*n + 15 = 0 for z.
-3
Suppose -4*v + 3*v = 0. Let w(f) = -f**2 - 7*f - 6. Let l be w(-5). Solve v = m - 3, -6*m + 35 = l*o - m for o.
5
Let n(p) = 2*p + 1. Let d be n(1). Suppose d*m = -0 - 6. Let a = 1 - m. Solve -5*h + 24 = -0*z - 3*z, z + a*h = 6 for z.
-3
Let f = 7 - 7. Solve 3*j + 4*q - 2 = f, -4*j - 7 = 2*q - 3 for j.
-2
Suppose -9*v + 126 = -3*v. Solve -3*b - 5*j + 17 = 0, -5*j = 4*b - 0*j - v for b.
4
Suppose 2*v + 10 = 3*v. Let l = v + -7. Solve q - 3*n + 13 = -1, l*q = -2*n + 13 for q.
1
Let h = 7 - 4. Solve -5*s = h*k - 12, 2 = -3*k - 1 for s.
3
Let r(j) = j**3 + 2*j**2 + 3*j + 3. Let m be r(-2). Let s(z) = z + 7. Let i be s(m). Let q be (-2)/i - 14/(-4). Solve -15 = k + 4*k, -5*c = -k - q for c.
0
Let r be -2*3*(-2)/4. Suppose 18 = 2*n + 3*i, 0*i = n - i - 14. Solve -4*t - r*w = -0*w + n, -4*w - 16 = 2*t for t.
0
Suppose 7 + 8 = 4*u - 5*q, -q = -4*u + 19. Solve 3*s + 17 = 4*l, -4*s - u - 11 = -4*l for s.
1
Suppose -7*q - 1 = -15. Solve 4*a + v = 0, 4*v = 4*a - q*a for a.
0
Suppose 2*w - 6 = 12. Let d(y) = -y**2 + 8*y + 12. Let o be d(w). Suppose -o*n = -n. Solve -2*k - 3*q + 20 = n, 0 = -3*k - 2*q - 0*q + 20 for k.
4
Let y(h) = -h**2 + 11*h - 8. Let b be y(7). Solve 4*p = 5*x + 32 - 12, 0 = -2*p - 5*x - b for p.
0
Suppose -3*z + 6*z = -15. Let v(d) = d**3 + 7*d**2 - 6*d + 6. Let h be v(-8). Let p = z - h. Solve 5*b + 35 = -p*r - 0*r, -4*b - 30 = 5*r for b.
-5
Let z(l) = l**2 - l - 1. Let q be z(3). Solve -4 = 5*v - 3*g, 20 = -v - 4*v - q*g for v.
-2
Suppose 0 = 4*t + t - 10. Suppose -4 = -t*j - 0. Solve 5*f - 2 = j*c, -4*f = -c + 2*c + 1 for c.
-1
Suppose 0*w - 5*w + 1 = 2*v, 0 = 3*w + 3. Suppose -v*f - 2*f = -70. Solve 0 = t + 3*o + 2, t + 4*o = 3*t + f for t.
-5
Let r be ((-12)/(-4) - 2)*18. Let b be 25/7 + r/42. Solve -5*z + b*k + 13 = 5, -3 = -k for z.
4
Let p be (10/25)/(4/40). Solve -2*b + 3*b - 3*a = 4, 0 = p*b - 3*a - 7 for b.
1
Let o be (1 + -1)/(6/6). Let n = 12 + 3. Solve -4*y - 8*a + 3*a - n = o, 0 = -y + 3*a - 8 for y.
-5
Suppose 2*z = -2*a - 18, 3*z = 5*a - 1 - 2. Let k(b) = -b**2 - 10*b - 8. Let l be k(z). Solve 0 = 3*q - 3 - 9, -5*d = q + l for d.
-4
Suppose 5*x = 3*x. Let l(m) = -m**2 - 10*m - 11. Let f be l(-8). Suppose -f*s + 0*s = 0. Solve s*y - 3 = 3*y - 3*h, x = -2*h + 2 for y.
0
Let w = -8 + 20. Suppose 4*a + 2 = q - 11, 30 = 4*q - 5*a. Solve -3*t - h = -w, -5*t + 2*h - q*h + 24 = 0 for t.
3
Let l(b) = 8*b. Let w be l(2). Let i = w - 13. Solve 0 = -o + 4*u - 2, -u + 0*u + 7 = i*o for o.
2
Suppose -h - 5 = -2*h. Suppose h*c = 2*c. Solve 3*w + 9 = 4*d, 5*w - 5 + 0 = c for d.
3
Let d be 2*(-2)/(-2) - -2. Let k = d - 2. Let q = 8 - 5. Solve -15 = -q*h + 3*c, -k*h + 7*h - 3*c = 17 for h.
1
Let c(f) = -f**3 + 5*f**2 + 7*f - 2. Let m be c(6). Suppose 0*b - b + m = 0. Solve 3*u - 2*k = 9, 0*u + b*k = -3*u + 9 for u.
3
Suppose 0 = 4*t - 3*t. Suppose -6 + t = -2*g. Suppose 6*l - 51 = g*l. Solve -l = 3*w + 2*j + 2*j, -4*w - 4*j = 20 for w.
-3
Let n be 4/(-14) - 4/(-14). Let f be 9/(-9) + n + 7. Solve -2*j = 2*h - 4*j + f, -2*h = j for h.
-1
Let q = 74 - 72. Solve 4*f = -4, -q*h = -h - 3*f - 7 for h.
4
Let q be (6 - 2)/(-1 + 2). Suppose -5*u + 2*y + 1 = 0, 2*u = y - q*y + 8. Solve 2*f - 5*k - 9 = 0, u = -5*f + 2*k - 8 for f.
-3
Let h = -5 + 9. Let o = 12 + -8. Let l = -2 - -7. Solve h*n = -n - 4*c + o, -5*n - 5*c = -l for n.
0
Let t(p) = p - 4. Let f be 1*3*(2 - 0). Let b be t(f). Suppose -x = 3*u - 108, b*u = -0*u + 5*x + 55. Solve -3*m - 4*w = -35, -2*m - w + u = 4*w for m.
5
Let u(s) be the second derivative of s**3/2 - s**2/2 - s. Let o be u(2). Solve 3*i - 2 = -2*d, 19 - 1 = 4*i - o*d for i.
2
Let a be 2 + -1 + 0 + 1. Suppose -5*j = 3*j - 5*j. Let w be 2 - a - (j - 3). Solve 5*f = 2*n - n + 19, -3*f + 15 = w*n for f.
4
Suppose 3 = 5*q - 12. Let p(z) = z**2 - 2*z - 1. Let m be p(-1). Suppose -28 = -3*o - o. Solve -c - m = 0, -5*c = o*x - q*x + 6 for x.
1
Let i be ((-9)/21)/((-1)/7). Solve i = c - 2*g, 7*g + 8 = 4*c + 3*g for c.
1
Let i = 24 + -24. Solve 4*l - 2*o - 4 + 10 = i, 2*l + 1 = -o for l.
-1
Let t(m) = 2*m**3 - 5*m**2 + 3*m + 1. Let q(p) = p**2 - 2*p + 3. Let j be q(2). Let y be t(j). Solve 4*l + 3*h + 6 = 0, -5*l + 2*h = -0*l + y for l.
-3
Suppose 8*b - 5*b - 5 = -2*n, 3*b = n + 11. Suppose -4*g + 5*d = -10, -4*d + d - 6 = -b*g. Solve -1 = 3*m - u, 5*m + 0*u + 2*u - 2 = g for m.
0
Let j(n) = n**3 - 10*n**2 + 12*n - 19. Let a be j(9). Solve 4*s + a = 4*m, -4*m + 12 = -4 for s.
2
Let c(y) = 2*y - 1. Let d = 6 - 3. Let r be c(d). Solve r*u = -p + 2*p + 19, -4*u = -3*p - 13 for u.
4
Let w = 5 + -1. Let d be ((135/10)/(-9))/((-6)/8). Solve 4*p + w*k = 8 - 32, -5*p - d*k - 21 = 0 for p.
-3
Suppose -5 = 2*t - 19. Suppose 1 = -o + 5. Suppose h = o*h. Solve -j = m + j - 9, -3*m + 4*j + t = h for m.
5
Let v(p) = -p + 6. Let c be v(5). Suppose 7 = -t + c. Let n be (-124)/t - (-6)/(-9). Solve -i = -4*s + n, 4*i - 4 = -5*s - 0 for i.
-4
Suppose -m = m. Let j(l) = l**2 + 4. Let d be j(m). Let z(s) = s + 10. Let x be z(-6). Solve -2*k - 2*k = -2*c + 8, 0 = -c + x*k + d for c.
4
Suppose 0*k - k + 1 = 0. Let x = k - -10. Let b = x - 8. Solve c - r - 8 = 4*r, -b*c + 12 = -3*r for c.
3
Suppose 8*i - 11*i = -12. Solve 21 = -i*k - 3*w, -2*w + 4 + 5 = -5*k for k.
-3
Let f = 39 + -2. Suppose 4*t - f = -2*n - 3*n, 0 = -2*n + 4*t - 2. Solve 2*j - 4 = 2*p, 9 = n*j - 3*p - 3 for j.
3
Suppose 3 - 4 = h. Let s(y) be the second derivative of -y**3 - y**2/2 + 30*y. Let p be s(h). Solve 3*w = -5*t + 13, p*w + 2*t + 15 = 5 for w.
-4
Let p(d) = d**2 + d + 3. Let r be p(-4). Let m be (4 - 0) + -1 + -1. Suppose 0 = -m*w + 5*w - r. Solve 10 = w*f, 3*k - k - 2 = -f for k.
0
Let l(v) be the second derivative of -v**5/20 - 7*v**4/12 - v**3/6 - 7*v**2/2 - 3*v. Let p be l(-7). Solve 4*s - 2*i + 2 = -4*i, p = s + 2*i + 8 for s.
2
Let z(q) = -q**3 + 12*q**2 + 2*q - 15. Let a be z(12). Suppose -4*p + 5*p = a. Solve 0*d + p = -5*j - 3*d, 0 = -4*j - 5*d - 2 for j.
-3
Let b be (0/2)/((-1)/1). Suppose b*n - 4*n = -84. Solve 0 = -2*s - 2*f + 18, 4*s - 3*f + 4*f = n for s.
4
Suppose -15*k + 39 = -2*k. Solve k*a + c + 18 = -2*a, -2*a + 4*c = 16 for a.
-4
Let o(t) = 11*t**3 - t + 1. Let p be o(1). Let i = -16 - -22. Suppose -3*h + i = -h. Solve h*j - 3*z = j - p, -6 = 3*j - z for j.
-1
Let w(g) = -g - 2. Let n be w(-5). Solve -5*c + 5*m = 0, c + 2*m + 3 = -n for c.
-2
Suppose 3*u + l - 34 = 0, 3*u - 9 = l + 17. Solve -2 = -4*p - 5*s, -2 = 4*p - 2*s + u for p.
-2
Suppose -4*g + 50 = -2*u, 5*g - 4*u = -0*g + 64. Let f = -5 + g. Suppose 8 = -61*r + 63*r. Solve 2*a = -j - 0*j - f, -r*a = 12 for j.
-1
Let a(u) = u**2 - u. Let j(h) = -h**3 + 3*h + 3. Let w be j(-2). Let i be a(w). Suppose 0 = -4*x + i - 8. Solve 4*s = f - 19, -x*f - 2*s + 1 = -0 for f.
3
Suppose -7 = -5*p + 13. Solve 3*j + 2*w = 3*w - p, -4*j + 3*w - 7 = 0 for j.
-1
Suppose -t + 2*t = 4, 5*a - 4*t = 4. Solve 2*d + 22 = 4*x, a*x - 3 = -4*d + 1 for d.
-3
Let a be 16 - 0/((-8)/(-4)). Suppose 12 = -v + a. Solve -3*r + 3*g + g + 13 = 0, -v*r + 4*g = -12 for r.
-1
Let b be (-2)/(-3)*(3 - 0). Solve -4*f = -2*z - z - 6, b*f = 3*z + 6 for z.
-2
Let t be (-9)/(-2 + -1)*1. Suppose -v - 30 = -t*v. Solve 2*l + 5*i - 3 = -28, v = -5*i for l.
-5
Let f(g) = g**3 - 9*g**2