Suppose 0 = -2*n - 3*n. Suppose -4*v + 6 = -v. Suppose n*j + 2*j - v = 0. Solve -f - j = 4 for f.
-5
Let i be (16/(-32))/((-2)/12). Solve 4*l - i = 13 for l.
4
Suppose 4*b + 14 = 34. Solve 0 = -11*y + 6*y + b for y.
1
Suppose 2*h = 3*p + 5 - 81, 3*h + 109 = 2*p. Let v = 51 + h. Suppose 4*u = -2*l - 0*l + v, 0 = -3*u + 4*l - 10. Solve u = 2*o - 0 for o.
1
Let g = -2 + 6. Let o(p) = p**3 + 5*p**2 + 3*p. Let u be o(-3). Solve -u = g*i + 11 for i.
-5
Suppose 30 = 2*d + 24. Solve -d*s = -2*s for s.
0
Suppose 73 = 4*m - 39. Let k = m + -25. Solve -k*w = 2*w - 5 for w.
1
Let t(j) = -j**3 + 7*j**2 + 9*j - 5. Let n be t(8). Suppose n*z + 15 = -0*z. Let i be (0 + -5)*4/z. Solve 0 = -s - i - 1 for s.
-5
Let w = 0 + 4. Suppose w*g - 6*g - 10 = 0. Let y = 7 + g. Solve -y*h = -h + 2 for h.
-2
Let p be 1/(-1)*(-4)/4. Let n be 0 + p*(1 + 1). Suppose -2*a - 12 = -5*d + 4, 4*a + 8 = 4*d. Solve n*s = -d - 0 for s.
-2
Suppose -s = -d, -3*s - 5*d + 2 = -38. Solve -s = 2*y - 3 for y.
-1
Let j be (-6)/4*(-16)/6. Suppose 3*z - j*z = 0. Suppose -5*y = 5*d - 1 - 9, -5*y - d = -10. Solve z*f = y*f for f.
0
Let p(a) be the first derivative of a**2/2 + 7*a + 2. Let u be p(-5). Solve -2*n - u = -8 for n.
3
Suppose 0*b = -2*w - 2*b - 20, 2*w + 3*b + 24 = 0. Let a = -6 - w. Solve 0*h + h + 1 = a for h.
-1
Suppose o = 0, -n - 4*o = -9*o. Solve 0 = 2*t - n + 2 for t.
-1
Let r be (-2)/(-3)*18/4. Suppose -z - 2 = -r. Let s = 2 + 3. Solve -s*j + z = -9 for j.
2
Let l = 104 + -99. Solve -4*m - l = m for m.
-1
Let r = -18 - -21. Solve -4*b - 1 = -r*b for b.
-1
Let l(r) = r + 5. Let o be l(-4). Let s be 2*(10/4)/o. Suppose 3*i = 2*a - 4*a + 15, 0 = s*i + 3*a - 24. Solve i*c - 6 = c for c.
3
Suppose -2*g = -5*c + 26, c + 2*g - 14 = -4*c. Let h(y) = y - 3. Let u be h(5). Let k = u - -1. Solve -s = k*s + c for s.
-1
Let h(z) = -z**2 - 11*z - 3. Let y be h(-7). Suppose p = -4*p + y. Solve p = 3*d + 2 for d.
1
Let o(f) be the first derivative of 3 + 5/2*f**2 - 2*f. Let t be o(2). Solve -4*k = t + 12 for k.
-5
Let b = -48 - -53. Solve -20 = -0*i + b*i for i.
-4
Suppose -7 = -2*d + 3. Solve n + 0*n = -d for n.
-5
Let k(g) = g - 3. Let d be k(6). Let q be 2/1 - -2 - d. Solve -m - q = -0 for m.
-1
Suppose 0*t + 2*p = 3*t + 2, 3*t - 5 = -5*p. Let s be (-1)/(-3)*(-1 + 16). Solve 3*v + 1 + s = t for v.
-2
Let x(r) = -r**3 + 11*r**2 - 8*r - 12. Let z be x(10). Solve z*g - 3*g + 15 = 0 for g.
-3
Suppose 2*z = 3*s - 0*z - 16, -z = -2*s + 10. Let b(f) = -f + 2. Let k be b(2). Solve k*r = -s*r for r.
0
Let v be 32/14 + (-22)/77. Solve v = x + 4 for x.
-2
Let b be (0/(-1)*1)/(-1). Solve b*r = r - 2 for r.
2
Suppose 5*h = 2*h + 36. Solve i + 3*i + h = 0 for i.
-3
Let f(v) = -3*v**2 + 4*v - 2. Let i(g) = 4*g**2 - 5*g + 3. Let t(s) = -3*f(s) - 2*i(s). Let o be t(3). Solve 2*a - 5 = -o*a for a.
1
Suppose 0 = 2*d - d - 85. Let i be d/20 + (-2)/8. Solve 0 = -a - i*a + 15 for a.
3
Let m(r) be the third derivative of 3*r**2 + 0*r + 0 - 1/24*r**4 - 1/6*r**3. Let f be m(-5). Solve f*i = i for i.
0
Let p = -5 + 15. Suppose p + 50 = 6*v. Solve 5*g + v = -0*g for g.
-2
Let q(y) = -y + 11. Let n be q(7). Solve 0 = -7*x + n*x - 3 for x.
-1
Let l(j) = j**3 - 7*j**2 - 8*j - 2. Let b be l(8). Let c be ((-3)/(-2))/(b/(-4)). Let s(r) = r**3 + 9*r**2 + 7*r - 8. Let g be s(-8). Solve -9 = c*m - g for m.
-3
Suppose -t - 9 = 1. Let s be (-2)/8 - t/8. Let b be (29 - -2) + -1 - s. Solve -5*h = -b + 4 for h.
5
Suppose -7*p - 50 = -12*p. Solve 2*r + p = 4*r for r.
5
Suppose 4*z - 20 = 0, -z + 1 = c - 2*c. Solve 1 - c = -3*p for p.
1
Let c = 7 + -5. Suppose 0 = -7*z + c*z. Suppose -5*g + z*g + u = -14, -u = 2*g. Solve -3*l + 8 - g = 0 for l.
2
Suppose 4*f - 1 = 5*o, -5*f - 9 = 2*o - 35. Solve 6 = -f*y + 2 for y.
-1
Let u = 4 - 2. Let m = u - 0. Solve m + 18 = -5*l for l.
-4
Suppose -a - 2 + 11 = 0. Let c = a + -6. Let h = 3 - c. Solve -16 = -4*u - h*u for u.
4
Suppose -5*k + 0*l = -2*l - 5, -2*k - 3*l + 21 = 0. Solve -2*j = -k*j + 3 for j.
3
Suppose b - 3*i = -6, -3*i + 12 + 30 = 5*b. Let t(m) = m**2 - 4*m - 4. Let p be t(b). Solve -p*q - 8 = -4*q for q.
-2
Suppose 2*l + 1 = 11. Solve l*b = 3 + 22 for b.
5
Suppose 5*l = 3*u + 25, 12 = -2*u - 5*l + 37. Suppose -4*i - i - 34 = -o, 0 = -3*i - 9. Suppose -3*x = 3*r + 2*x - o, u = 2*r - 3*x. Solve 0*q = -r*q for q.
0
Let t(c) = -4*c - 17. Let q be t(-5). Let r(m) = 2*m**2 - 2*m - 1. Let p be r(-4). Suppose q*s - p = -9. Solve 0 = 4*g + 2 - s for g.
2
Let i be 18/(-4)*56/(-126). Solve i*d - 4*d = 0 for d.
0
Let v = -9 + -12. Let k be 7/(v/(-6)) - -1. Solve -t - k = -2*t for t.
3
Let h(r) = r**2 + 2*r - 4. Let s be h(-4). Solve 10 = -9*v + s*v for v.
-2
Let u = 12 - 9. Solve -3*o - u = -12 for o.
3
Let c be (-5)/(-2)*7/(-10)*-8. Solve 0 = -3*y - 1 - c for y.
-5
Suppose 5*c + s = 18, 8*s = 4*c + 6*s - 6. Solve -j + c*j = 0 for j.
0
Suppose -2*n = -7*n + 15. Suppose n*s = 2*s + 6. Let l be (-3)/(-4) - s/(-24). Solve -l = -5*c + 4 for c.
1
Let t(m) = m + 1. Let h be t(8). Let y be (-6)/4 + 9/6. Suppose 2*c + 2*f = y, f = -5*c - f + h. Solve c*d - 2*d = 0 for d.
0
Let y(h) be the second derivative of -h**6/360 - h**5/12 + h**4/12 + 2*h. Let z(b) be the third derivative of y(b). Let k be z(-8). Solve -g + k = 2*g for g.
2
Let m(y) = 6*y + 8. Let i be m(-1). Solve 1 = -i*o - 5 for o.
-3
Suppose -a - 2*a - 9 = 0. Let w be -1 - (a - -1)*1. Let z(s) = 6*s**2 + s - 1. Let b be z(w). Solve x = -x - b for x.
-3
Let q = -4 - -3. Let u = 3 - q. Solve -5*c - 1 = -u*c for c.
-1
Let u = -12 - -8. Let j = u - -3. Let l be 2 + -1 + (0 - j). Solve 0 = l*x + 6 + 4 for x.
-5
Suppose n = -0*n + 3. Suppose 5*b - 2*r = 10, 2*r + 8 = 4*b - 0*b. Let c be 8*((-2)/2 + b). Solve -y - n = -c for y.
5
Suppose -2*l - 4 = -4*l. Solve l*k - 3*k = -4 for k.
4
Let z(k) = -k**3 - 5*k**2 + 8*k + 8. Let r be z(-6). Let g(c) = 3*c + 2*c + 5 - 4*c - 1. Let n be g(r). Solve n*q = -5*q for q.
0
Let l(r) = -r**3 + 9*r**2 + 11*r - 7. Let g be l(10). Suppose 0 = -0*b - g*b. Solve b = -o - 3 - 1 for o.
-4
Let v(z) = -z**3 - z. Let i be v(0). Let k = 37 - 25. Suppose -4 = 4*u + y, u + 2*u + 3*y = -k. Solve u = f - i + 5 for f.
-5
Suppose 5*n - o = 4*o + 20, -3*n - o + 12 = 0. Suppose j + 0*j - 10 = 0. Solve -j = -n*a + 10 for a.
5
Let x = -36 - -44. Solve x = -y - y for y.
-4
Let m = 23 + -18. Solve 0 = m*u - 4 - 1 for u.
1
Let c(h) = h. Let z be c(5). Let n = -1 + z. Solve x = -n*x for x.
0
Suppose 4*s + 2*q - 5 = -1, 0 = 5*q. Solve -2*j - 1 - s = 0 for j.
-1
Let f(l) = -2*l - 2. Let h be f(-3). Suppose c - 2*b = -h*c + 5, b = 5*c. Let s be -1 + c + (-2 - -7). Solve 3*w = -s - 6 for w.
-3
Let v = -8 + 10. Suppose -5*y = -20, 5*g - 3*y - v = -y. Solve 0 = n - g for n.
2
Suppose 23 = 3*p - 4*z - 1, 2*z = 6. Let l be ((-5)/20)/((-1)/12). Solve p = -5*y - l for y.
-3
Let t = -128 - -203. Let z be 2/9 + t/27. Solve 0 = z*k - 0*k + 3 for k.
-1
Let w(t) = t**3 - 4*t**2 - 6*t + 8. Let y be w(5). Solve 4*o - y - 1 = 0 for o.
1
Let c(h) = 22*h - 3. Let g be c(2). Let x = g + -15. Suppose 4*z - x = 22. Solve -2*d = 2*d + z for d.
-3
Let j = 35 + -15. Let a be (j/(-6))/((-2)/3). Solve 0 = -3*z + a*z + 2 for z.
-1
Let q = -40 - -61. Suppose 18 = 5*d + h, 3*d + 5*h - q = d. Solve -2*z - d + 7 = 0 for z.
2
Let r = 3 - 1. Solve r = 4*h - 10 for h.
3
Let u be ((-1)/2)/((-3)/12). Suppose 0 = u*x + 2*n - n, 2*n = x. Suppose x = -8*g + 6*g. Solve -6*d + 3*d + 15 = g for d.
5
Suppose -15 = -3*y, r + 4*y + 17 = 7*y. Let d be 0 - r - (2 - 2). Let z be -2 - -3*(4 - d). Solve 4*u - z = -0 for u.
1
Suppose 0 = q + 4*q - 15. Solve q = -4*v + 15 for v.
3
Let z = 8 + 0. Solve -3*d + z = d for d.
2
Suppose 3*z = 3*s + 12, z + 6*s + 8 = s. Solve z*w - 3 = w for w.
3
Let v be (-648)/(-45) - (-4)/(-10). Suppose -4*i + 4*q + v = 2*q, q + 16 = 5*i. Solve 3*m = i + 9 for m.
4
Let b = -12 + 17. Suppose -2*u = -b*u. Solve 8 + u = 4*x for x.
2
Suppose -5*x + 5*v = -0*x - 40, 25 = 2*x - 5*v. Suppose -4*m - 7 = x. Let w = m - -7. Solve -w*a = -a for a.
0
Let t be (-1)/(-2) - (-29)/2. Let o be (-9)/t - (-43)/5. Solve o = -0*x + 4*x for x.
2
Suppose 5*r - 3*r - 42 = f, -10 = 5*f. Let s(q) = -q**3 + q + 5. Let u be s(0). Suppose -3 = 4*h - 0*h - u*b, 5*h - 12 = b. Solve 2*w + h*w - r = 0 for w.
4
Suppose 2*o = -0*o + 6. Solve 0 = d - 0*d - o for d.
3
Let c(f) = -7*f - 2.