 + -4. Solve h = -c*v - 5 for v.
-4
Let p be 0/1 + 5/1. Suppose 0*i + p*i = -2*x + 18, -x = -2*i. Suppose -28*k + 75 = -13*k. Solve 0 = -k*s - 23 - i for s.
-5
Let w(l) = l**3 + 9*l**2 + l + 13. Let b be w(-9). Solve 12 = -y + b*y for y.
4
Let n be (-6)/(-9)*18/3. Suppose -n*p - 15 = -7*p. Solve 2*l - p*l = 0 for l.
0
Suppose -2*l + 15 = 2*k - k, 4*l - 4*k = 0. Solve 0 = -l*i - 2 - 3 for i.
-1
Suppose -4 - 12 = -4*m. Solve m*a = 2 + 2 for a.
1
Let g(a) = -a**2 - 3 - 4*a - 3 + 2. Let m be g(-3). Let l = m + 5. Solve -l*t - 8 = 12 for t.
-5
Let s(w) = w**2 + 16*w + 9. Let i be s(-16). Solve -5*n = -i*n for n.
0
Let u = -10 - -14. Let h(s) = 4*s - 2. Let d be h(2). Solve u*z = d*z for z.
0
Suppose 0 = -0*j + 5*j + h + 32, -3*h + 24 = -5*j. Let b be (j/4)/((-4)/8). Let t = -3 + b. Solve p = -4 - t for p.
-4
Let i = 36 + -36. Suppose -3*c + 16 = -44. Solve i*u = -5*u - c for u.
-4
Let o(l) = l**2 + 2*l + 2. Let t be o(-4). Suppose -3*a + t = -5. Let q be (-70)/(-4) - 1/(-2). Solve -q - 2 = a*d for d.
-4
Let o = 5 - 0. Let f(z) = -z**3 - 12*z**2 + 14*z + 13. Let w be f(-13). Suppose w*n = -3*n. Solve n*s - o = -s for s.
5
Suppose 0*k + 0*k = -6*k. Solve 0 = -2*j - k*j + 2 for j.
1
Let q(w) = w**3 - 11*w**2 + 17*w + 10. Let d be q(9). Solve -d = 3*z + 8 for z.
-3
Suppose 0 = 3*v - 5 - 1. Let r(k) = 2*k**2 - 1. Let q be r(1). Let z = q - -1. Solve v*j - 6 + z = 0 for j.
2
Let k = 14 + -6. Let x(u) = u**3 - 9*u + 3. Let m be x(3). Suppose 0 = 5*o - m*o - k. Solve o*q + 0 = -12 for q.
-3
Let x(d) = d**2 - 3*d + 2. Let o be x(-3). Suppose -5*q - 4*h + 15 = -h, 4*h = 3*q + o. Solve -2*u = -6 - q for u.
3
Let l be 0 + 0/1 + 4. Suppose -4*n - 3*p + 1 + 15 = 0, 3*n + p = 12. Solve 2*x - l*x = -n for x.
2
Let j(p) = p**2 + 5*p + 4. Let m be j(-6). Let r be (m/4 - 2)*0. Suppose 0*h - 100 = -5*h. Solve r = 3*z - 8*z + h for z.
4
Let j be 10/4*2/1. Let o = 2 + j. Let l = 0 - -3. Solve -l - o = 5*a for a.
-2
Let n = -8 - -5. Let u be -8 - (-6)/(n/(-1)). Let a be (u/4)/(6/(-20)). Solve a*o + 1 = -9 for o.
-2
Let n = 47 - 47. Solve n*h + h - 2 = 0 for h.
2
Let o(q) = -q**3 - 4*q**2 + 4*q - 1. Let u be o(-5). Solve -u*x + 7*x - 6 = 0 for x.
2
Suppose 6*y = y + 60. Suppose 4*l - 16 = 2*c, 3*c - 7*c + 4*l - y = 0. Solve c*j = -1 - 1 for j.
-1
Let i be (0 - -2 - 4) + 12. Let g be 2/(-4) - i/(-4). Suppose g*x = x. Solve x*l = -2*l - 6 for l.
-3
Let j be (-534)/(-12) - 2/4. Suppose 2*g = -0*g + 6. Suppose g*w - 3*s - 23 = w, -4*s = -4*w + j. Solve b = -4*b + w for b.
2
Let h be ((-2)/(-6))/(2/(-12)). Let u be h/(-3) - (-3)/9. Solve 0 = g + u for g.
-1
Let b(d) = -d**2 + 10*d + 5. Let g be b(10). Suppose -5*j - p = 10 + 29, 0 = -g*j + 4*p - 44. Let q = 11 + j. Solve 2*y = -q*y - 5 for y.
-1
Let c be 8/(-12)*(-6)/1. Suppose c*r - 2*r - 32 = -3*q, r - 10 = -q. Let m = -41 + 43. Solve m*s = -2*s - q for s.
-3
Let d(o) be the first derivative of -o**3/3 - 5*o**2/2 - 4*o + 1. Let c be d(-4). Suppose -2*b = -8 - 2. Solve b*a + 2 - 27 = c for a.
5
Let y be (44/(-8))/11*-4. Solve 0 = y*c + c for c.
0
Suppose -u = 4*q - 1 + 13, -4*q - 12 = 0. Let b be (-6)/((6/(-9))/(-1)). Let w be (15/b)/((-2)/6). Solve w*f - 2*f - 9 = u for f.
3
Let i be (-45)/105 + 10/7. Solve 4*a + i = 9 for a.
2
Suppose -3*m + 2*p + 5 = -10, 4*m + 2*p - 20 = 0. Solve m*b - 6 = 2*b for b.
2
Suppose 0 = w + w. Suppose -20 = 5*j - 85. Suppose -o = -0*o - j. Solve -5*s - 12 - o = w for s.
-5
Suppose -195 = -m - 4*m. Suppose 5*k + 5*j = m - 9, 3*j + 2 = 2*k. Suppose 0 = -c + 3*c - k. Solve 5*f - c*f + 15 = 0 for f.
-5
Let i be (-12)/(-3) + -1 + 3. Let v(g) = -g**3 + 6*g**2 + 5. Let o be v(i). Solve -1 = -o*q + 19 for q.
4
Suppose 7*l + 16 = 9*l. Suppose 5*f - 11 = -s, -s = 5*f - 6*s - 5. Suppose 6 = -j - 3*v, -5*j - f*v + 6 = v. Solve y = -j*y + l for y.
2
Suppose -3*d = -4*f + 5, d - 5*f + 9 = -11. Solve 3*n = 4*n + d for n.
-5
Suppose 3*k + 0 - 12 = 0. Solve 3*d = k*d - 1 for d.
1
Let v(n) = -n**3 + 4*n**2 - 3*n. Let y be v(2). Suppose y = 3*j - 1. Solve 5 - j = 4*d for d.
1
Let h(u) = u + 8. Let k be h(-5). Let f be -2 - (k + (-2 - 5)). Solve j - 3 = -f*j for j.
1
Suppose -3*o = 2*o + 165. Let k be o/(-22)*(-8)/(-6). Solve k*h = 5*h for h.
0
Suppose z + 5*z - 18 = 0. Solve 2*s = -z*s - 15 for s.
-3
Suppose 5 = 3*p + 2*k - 11, 5*k - 10 = 0. Solve 1 = p*m - 3 for m.
1
Suppose -l + 4*l = -24. Let s = l + 14. Let v be ((-8)/(-2))/((-12)/(-9)). Solve -v*w - 3 = -s for w.
1
Suppose -4*k - 24 = -0*k. Let w = k + 13. Solve 0 = 3*q + 5 + w for q.
-4
Suppose c - 8 + 3 = 0. Suppose 2*j + 7 = 3*y, -j - 13 + 42 = c*y. Solve -2*b - 9 = -y*b for b.
3
Let l = 121 - 121. Solve l = 4*j - 6*j - 4 for j.
-2
Let n(x) = 10*x + 12. Let c be n(-8). Let b be c/6*(-3)/2. Solve 5*k = -b - 8 for k.
-5
Let y(f) = -f**2 - 21*f - 49. Let m be y(-18). Solve 0 = m*l - 10*l for l.
0
Suppose -4*x + 11 = m, -2*x + 2 - 1 = -m. Solve x = -l + 2*l for l.
2
Suppose m + 7 = 3*l - m, -m - 2 = -l. Solve 0 = l*s - 2*s - 2 for s.
2
Let f be ((-1 - -1) + 1)*1. Suppose -5*j + 8 = -3*j. Solve -k - f - j = 0 for k.
-5
Suppose 0 = 5*d + 2*c + 3*c, 3*c + 15 = 0. Solve -d*w + 24 = 9 for w.
3
Let m(j) = -j**2 + 12*j - 9. Let z be m(11). Solve -5*o - z = 3 for o.
-1
Let a(p) = -6*p - 1. Let g(t) = t**2 + 7*t + 5. Let o be g(-6). Let z be a(o). Solve -z*i = -i + 16 for i.
-4
Suppose 21*i = 20*i + 3. Solve -2*u + 7 = i for u.
2
Let q(p) = -7*p + 36. Let t be q(4). Solve 20 = 4*m - t*m for m.
-5
Let r = -2 + 5. Let z be ((-20)/r)/(4/(-6)). Let d be 22/z + 3/(-15). Solve 3*w - d*w = 3 for w.
3
Let v be 1/(-4)*2*0. Let c = 2 + v. Suppose 4*l - c*q = 14, -2*l + 3*q = 3*l - 19. Solve l*g + 0*g = 0 for g.
0
Suppose -23*t + 11*t = -24. Solve -a + 2*a = -t for a.
-2
Let n(b) = -b**3 + 3*b**2 + 2. Let h be n(3). Suppose z - 1 = -2*g, -2*g = -4*g - h. Let r(u) = -u - 3. Let v be r(-4). Solve 8 = z*c - v for c.
3
Let w(f) = -3*f**3 + 2*f + 2. Let b be w(-1). Solve -7*l + b*l = 20 for l.
-5
Suppose 2*v - 10 = -4. Let f be 15/(7/2 + -2). Suppose -n - 4*n = -f. Solve p + v = n*p for p.
3
Suppose -2*f - 16 = -5*m, 5*m - 3*f - 28 = -7*f. Solve 0*w = m*w - 20 for w.
5
Let f = 2 + -2. Suppose 4*m + 3*x - 11 = 0, f*x - x = -4*m + 23. Solve 3*d = m*d for d.
0
Let u(y) = y**3 + 22*y**2 - 3*y - 64. Let a be u(-22). Solve -a*w - 10 = 3*w for w.
-2
Suppose -4*z - 8 = -3*r + 6, -4*z = 2*r + 4. Solve -13 = -r*u - 7 for u.
3
Let j(o) = 2*o**2 - 3*o + 2. Let c be j(2). Suppose 5*p + 31 = -c*a, 7*a + 90 = 2*a + 4*p. Let q = -10 - a. Solve 0*d - 2*d = q for d.
-2
Let f = 39 + -32. Suppose -7*w + r + 40 = -2*w, -5*w + 40 = -3*r. Solve 5*y - f = w for y.
3
Let d(y) = -y**3 + 4*y**2 - 4*y + 3. Let p be d(2). Suppose 4 = p*n - 3*z - z, -4*n + z + 14 = 0. Solve -n*t = -t + 12 for t.
-4
Let k be (-6)/(-4)*(-40)/(-15). Suppose -k*j + 72 = -0*j. Suppose a = -a + 2*z + j, 4*z = a - 18. Solve -a = n + n for n.
-3
Let c(s) be the second derivative of -s**3/6 + 4*s**2 + 5*s. Let t be c(0). Solve -n = -5*n - t for n.
-2
Let c = 5 + -5. Let o be 3 - (c - (1 - -10)). Let q = 24 - o. Solve q = -5*y - 15 for y.
-5
Let h = 14 - 12. Let y be 3/(-3) - -3 - 1. Solve -l = h + y for l.
-3
Let u(t) = -t**2 + 6*t + 9. Let o be u(7). Suppose -o*j + 1 = -6*j + 5*l, -5*l + 7 = -3*j. Solve j*p - 3*p = 3 for p.
1
Let q(c) = c**2 + 8*c + 8. Let k be q(-7). Let g = -20 - -23. Solve 0 = -g*z - k + 13 for z.
4
Suppose -5*q + 25 = 2*d, 0*q + 5*q - d = 10. Suppose 3*u + 20 = -5*n, u + 4 = -4*n + q*n. Solve 5*y + 10 + 15 = u for y.
-5
Let u(q) = -q**3 - 5*q**2 - 5*q - 4. Let w be u(-4). Suppose w*j - 4*a = -j + 43, 0 = -4*j - 5*a + 88. Suppose -1 = -4*b + j. Solve -5 = 2*r - b*r for r.
1
Let n be (-4)/6*18/(-4). Let t(k) be the second derivative of k**3/6 + 7*k**2/2 + 2*k. Let m be t(-4). Solve -6*g = -n*g - m for g.
1
Let g = 25 + -25. Solve -8 = -2*b - g*b for b.
4
Let c(l) = -2*l - l + 2*l - l**2 + 3. Let m be c(0). Solve m*x - 10 = 5*x for x.
-5
Suppose 5*c - 3*k = 20, 8 = -c + 3*c + 2*k. Suppose -4*p + 5 = -7. Solve -5*m + c = -p*m for m.
2
Let y = 68 - 68. Solve 0 = -y*t - t + 2 for t.
2
Let j(o) be the second derivative of -o**4/12 + o**3 + 3*o. Let m be j(5). Solve 17 = -3*n + m for n.
-4
Let z = 1 - -1. Let d be 10/4 - 1/z. Suppose 16 = 2*f + d*f. Solve f*j = j - 3 for j.
-1
Let i be -3 - (-1 - (-1 - -4)) - 1. Solve i