z = -24 - -36. Suppose 4*b = 28 - z. Let i be (0 - -1) + -1 + 3. Solve -15 = -b*j - i for j.
3
Suppose 0 = -4*u + 6*n - 2*n + 60, 4*n = u. Solve 10 - u = 2*v for v.
-5
Let a be (15/((-3)/1) - -3) + 2. Solve a = -w + 4*w - 9 for w.
3
Let d(z) = z**3 - 4*z**2 + 5*z - 3. Let a be d(3). Suppose 0 = -5*b + 13 - 3. Solve b*j = -j + a for j.
1
Suppose 0 = -3*m + 2*m + 8. Solve m*r - 3*r = 0 for r.
0
Let c(d) = d**2 - 4*d + 3. Let w be c(4). Let y be w + 0 + (5 - 4). Suppose -2*u - b + 3 = 0, -3*b + y + 5 = -u. Solve u = 4*r - r - 6 for r.
2
Let i(n) = 3*n**3 - 4*n**3 + n - 5*n**2 + 5*n + 5. Let d be i(-6). Suppose -d*v = -2*v - 6. Solve -3*x + v*x + 5 = 0 for x.
5
Let l be 5*(0 - 1/(-1)). Suppose 5*u + 0*x - 37 = -x, -l = -u + x. Solve 5 + u = -4*j for j.
-3
Suppose -h - 12 = -4*h. Suppose 2*c - 5*q - 38 = 6*c, 0 = -5*c + 5*q - 70. Let f be (-3)/c - (-11)/4. Solve -h = -y - f*y for y.
1
Let l(d) = -d**3 - 4*d**2 - 2*d - 4. Let v be l(-4). Suppose -5*t = -v*t - 6. Suppose -z + 2*c = -14, -2*c + t*c = z - 22. Solve -z*k + 8 = -2*k for k.
2
Let w be 0*(-3)/(-9) - 4. Let h(x) = -x**3 - 5*x**2 - 4*x + 2. Let c be h(w). Solve -4*f + c*f = 2 for f.
-1
Suppose 7 + 17 = -4*x. Let a be (10/6)/(x/(-18)). Suppose 3 = u - 9. Solve -a*l + u = -l for l.
3
Let b be 10/(-45) - (-130)/18. Let m(v) = v**3 - 8*v**2 + 10*v - 3. Let c be m(b). Let y be (-5)/2*c/(-15). Solve 15 = -0*p + y*p for p.
5
Let h(q) = q**3 + 11*q**2 - 11*q + 12. Let s be h(-12). Solve p - 4*p = s for p.
0
Let d(t) = -2 - 2*t**2 + t**3 + 5 + 12*t**2. Let b be d(-10). Solve -2*q - b = 1 for q.
-2
Let j be 3 - (-2)/(2 + 0). Let l be 0 + 0 + -2 - (-6 - -4). Solve l = -5*d + 21 + j for d.
5
Let f be (-4)/(-3) + 16/24. Suppose -6 = -b - f*b. Solve -b*z = -4*z + 8 for z.
4
Let g(l) = l**3 + 6*l**2 - 9*l + 2. Let k be g(-7). Let u = k - 15. Solve 0 = -x - 0 - u for x.
-1
Let i be 2/8 + 7/4. Solve 1 = -g + i for g.
1
Let w(q) be the third derivative of -q**5/60 - q**4/24 + 13*q**3/6 + 2*q**2. Let y be w(0). Solve 3*v - 1 + y = 0 for v.
-4
Let g be 3 + 0 - (6 + -3). Let z(r) = -r**2 + r + 8. Let s be z(g). Solve -s*x = -3*x for x.
0
Suppose 1 = h - 1. Suppose -2*v + 3*v = -2*s, 5*v = h*s. Solve -2*d - 3*d + 5 = s for d.
1
Suppose 5*l + 18 = 5*x + 58, 28 = 5*l - x. Solve 4*n = l*n for n.
0
Let f be (-136)/10 - (-10)/(-25). Let b be 4/f + (-4)/(-14). Suppose -3*w + 2*w - 5 = b, -2*p = w - 3. Solve u - p = -3*u for u.
1
Let r be 2/((-24)/45*3 - -2). Solve 25 = -4*u + r for u.
-5
Suppose 0 = 3*l - l - m - 35, l = 4*m + 28. Let o = -9 + l. Let z be (-10)/4*12/(-15). Solve 5*p + z = o for p.
1
Suppose 2*k = -2*k - 8. Let z be 1 + k + -3 + 7. Solve 0 = z*a - 2 + 8 for a.
-2
Suppose 0 = 5*x + 3*r + 13, 3*x + 5*r + 9 + 2 = 0. Let p = x + 6. Solve -2 = -p*n + 18 for n.
5
Let j be 1 - 5/(5/(-7)) - -1. Solve -2*i - j = -5*i for i.
3
Suppose -3*c - c - 2*k - 4 = 0, 0 = c + 2*k + 4. Solve s = -c*s - 4 for s.
-4
Suppose 2*z - 8 = -6*z. Suppose 2*v = 2*l + 3*v - 10, 5*v + 4 = -l. Solve -f + z = l for f.
-5
Let x(i) be the third derivative of 1/120*i**6 - 1/12*i**4 + 2*i**2 + 0*i**3 + 0*i - 1/60*i**5 + 0. Let u be x(2). Solve 0 = 2*k - u*k - 8 for k.
4
Suppose 19 = -l + 4*m, 2*l - 4*m + 6*m - 12 = 0. Solve 3 = 4*i - l for i.
1
Let o = -3 - -3. Suppose 2*x + 3*v + 2 = 5*v, o = -5*v + 20. Solve -x*z - 2*z = -20 for z.
4
Let g(m) = -5*m**3 - m**2 - 2*m - 1. Let p be g(-1). Suppose 2*v - v - 4 = -c, 5*c = -p. Suppose -4*r = -v*j + r + 25, 0 = 3*j + r + 5. Solve j = 3*x + x for x.
0
Let f be 192/14 + 2/7. Let t(u) = -2*u + 12. Let c be t(5). Solve -c = 3*r - f for r.
4
Let f(y) = y**3 + 4*y**2 - 5*y + 4. Let d be f(-5). Suppose 0*w + 20 = d*w, 2*k + 2*w - 10 = 0. Solve k = x - 4 + 3 for x.
1
Suppose 0 = 45*z - 40*z - 15. Solve -q + z = -2*q for q.
-3
Suppose -4 + 0 = -2*c. Let s(m) = m**3 - 8*m**2 - 19*m + 2. Let f be s(10). Solve c = -2*a + f for a.
5
Suppose -3*q + 45 = 5*a, -2*q = -q - 5. Solve a*w = w for w.
0
Suppose -3 = -3*d + 3. Suppose 1 = -3*j - 2*b + 4, 2*b + 15 = 3*j. Suppose -d*u - j*u + 3*l + 2 = 0, 3 = -u + 4*l. Solve -2*m - 7 = -u for m.
-3
Suppose 22*i + 2*j = 25*i - 20, -i + 5 = -j. Solve -13*y = -i*y + 9 for y.
-3
Let b(v) = v - 10. Let t be b(13). Solve -t*f = f for f.
0
Suppose -i + w = -15, 4*w - 15 = -3*i + w. Suppose -t = 2*t - 15. Suppose 0*n = t*n. Solve n = 5*p + i for p.
-2
Let s be (1 + 0 + 0)*2. Solve 0*z - s*z = -6 for z.
3
Suppose 23 - 30 = -7*w. Let h(k) = k**2 - 2*k + 5. Let a be h(4). Suppose 4*t - z = 11, 2*z - z - a = -2*t. Solve v + w = t for v.
3
Let n(h) = -1 + 1 + 6 + 3*h - 2*h. Let r be n(-6). Let p be 1*(-1 - -16) - 0. Solve 0*z + 5*z - p = r for z.
3
Let n = -70 - -78. Solve -4*b = -8 - n for b.
4
Let q be (0/2*1)/1. Let r(g) = 6*g + 1. Let u be r(1). Solve 5*k + u + 8 = q for k.
-3
Suppose 0 = -5*o + 3*o + 42. Let v be ((-12)/o)/(6/(-21)). Solve 13 = v*c + 5 for c.
4
Let q be 0 + (-4)/(-2) + 17. Let x = 29 - q. Let p be 11 + -1*(-1 - -2). Solve -5*l + x + p = 0 for l.
4
Let n be 2*10*(-3)/(-12). Suppose -2*b - 5*t = -2 - 6, 4*b - 4*t = 44. Let h(z) = 3*z**2 - 2*z + 3. Let s be h(2). Solve -b = n*f + s for f.
-4
Let a be ((-2)/3)/(10/(-15)). Suppose 0 = -2*g - q - 5, -5*g + q = -a - 4. Solve 6*i - i + 5 = g for i.
-1
Suppose 11*d - 7*d = 16. Solve -8 = -d*l - 0*l for l.
2
Let j = 83 - 83. Solve j = 5*h - 3*h - 6 for h.
3
Let b = 5 - 10. Let j(g) be the first derivative of -g**3/3 - 5*g**2/2 + 2*g + 1. Let r be j(b). Solve v + r = -1 for v.
-3
Let m be (12/(-15))/((-5)/50). Suppose m = 3*n - 16. Solve -n = -3*t + t for t.
4
Suppose -3*x - t = -1, 10 = 4*x - 3*t - 0. Let p be (-2)/x - (-5 - -3). Suppose -2*b = -7*b + 30. Solve p = -2*m + b*m for m.
0
Suppose -2*i + 1 = -3*w + 4*w, 2*w - 2*i - 14 = 0. Suppose 0 = 3*r - 2 + 8, w*t + 4*r = 2. Suppose -2 = -t*h - 3*p + p, -9 = 3*p. Solve z = -h*z for z.
0
Suppose 2*x - 6 = -x. Suppose 0 = 2*w + x*w - 16. Solve 16 = -0*t + w*t for t.
4
Suppose -4*i + 2 = x + 6, 0 = 2*x. Let f be 1/((-1)/(-3)) - i. Solve -3*l - f = 11 for l.
-5
Let b(g) = g - 1. Let p be b(7). Solve -r = -p*r for r.
0
Suppose 3*v - 40 = -5*v. Solve -k + 2 = v for k.
-3
Let i(j) be the first derivative of j**4/12 - 5*j**3/6 + j**2 - j - 2. Let x(o) be the first derivative of i(o). Let s be x(6). Solve -2*y + s - 2 = 0 for y.
3
Let q be (1 - 0)/(11/77). Let r be (10*-1)/((-5)/10). Let l be 12/7 + (-2)/(-7). Solve -l*t + r = -q*t for t.
-4
Suppose 2*d - 5 = d. Suppose d*b - 8*b + 9 = 0. Solve b*v = -0*v + 15 for v.
5
Let s be (-32)/(-14) - (-4)/(-14). Let a = -33 + 35. Suppose 2*v + 9 = s*r - 1, -a*r = -v - 10. Solve x + 3 + 2 = v for x.
-5
Suppose 4*l - 61 = -5*d - 0*l, 9 = d + 4*l. Suppose 2*y - 5*m = 5, 3*y + 3*m + 0 = -3. Solve -5*t + d + 7 = y for t.
4
Let x(f) = 6*f - 3. Let d be x(2). Suppose 3*p - 35 = -5*z + 8*p, 0 = -3*z - 3*p + d. Solve 0 = -z*o - 6 - 9 for o.
-3
Let c be 2 + 2 - (6 - 2/1). Solve c = h - 4*h + 3 for h.
1
Suppose 0 = -3*j + 25 + 20. Solve -6*f + j = -f for f.
3
Let c(h) = -2*h**2 + 6*h + 3. Let v be c(3). Suppose d = -5*j, -2*d + 3*d + 2 = -v*j. Solve 0*y + y = j for y.
1
Let w(y) = y**2 - 12*y + 15. Let z be w(11). Solve 4*u - z = -0*u for u.
1
Let a be -7*(-8)/84*3. Let i be 3 - -1 - 0/a. Solve -i*j = -j for j.
0
Suppose 5*n - n + 5*d = 32, -2*d - 7 = -5*n. Let z be (-1)/(-1)*(-9)/3. Let g be (4/6)/((-1)/z). Solve -n*l - g*l = 0 for l.
0
Suppose -6*h + 5*h = -15. Solve j = 4*j - h for j.
5
Suppose 2*y - s - 2*s = 16, 0 = 3*y - 4*s - 22. Suppose 55 = 3*k - 5*d, y*k - 4*d = -k + 50. Solve -2*j - 3*j = k for j.
-2
Let c = 5 + 1. Let j be 0/(-3 + c + -1). Let l be -3 - -5 - j/2. Solve 0*n = l*n + 6 for n.
-3
Suppose -5*w + 2*l - 3*l - 88 = 0, 0 = -w + l - 20. Let x = w + 38. Suppose 24 = 3*c + 4*t, -2*c + 2*t + x = 6*t. Solve 0 = c*v - 0 - 16 for v.
4
Suppose 0 = 2*t - 6 - 2. Let h = 9 - t. Let i be 1*(3 + -2) + h. Solve -2*s - 4 = -i*s for s.
1
Let o(x) = -2*x + 4. Let a be o(0). Solve 0*g - a = -2*g for g.
2
Let s(d) = -d - 3. Let f be s(-6). Suppose 4*c = -f*l, 2*c - c = -2*l. Suppose 5*z = -j + 77, -3*j + l*j + 81 = 5*z. Solve -3*n - 2*n = z for n.
-3
Let g be (24/18)/(4/6). Suppose 0*s = s - g. Solve -15 = -s*z - z for z.
5
Let k = 36 - 33. Solve 8*d + 25 = k*d for d.
-5
Let h be -4 + 3 - (-3 + 0). Suppose -6 = -3*d + h*o, 2*d + 4*o - 2*o = -6. 