+ l = -0*u for u.
4
Let i(p) = -9 - 7*p - 4 + 1 - 3*p**2 + 4*p**2. Let h be i(9). Suppose 4*v + 5*o = 4, 3*v - 3*o - h + 3 = 0. Solve -3*k + v = 13 for k.
-4
Let c(n) = 4*n - 9. Let w be c(3). Solve -r = w*r for r.
0
Let u(y) = y**2 - 2*y + 2. Let n be u(1). Solve -3*f + 4 = n for f.
1
Let q(p) = 3*p**2 - 4*p + 2. Let i be q(2). Let w be (9/i)/((-1)/6). Let f = w - -15. Solve 0 = -f*l + 3*l for l.
0
Suppose -2*s + 2 = -6. Suppose -s*a + 3*o + 14 = 2*o, a + o = 6. Suppose -2*x = -4*x. Solve x*g - 2*g - a = 0 for g.
-2
Let b(f) = 2*f**2 - 2*f - 2. Let x be b(2). Suppose 0 = -4*u - 5*j - 7, 4*j + 20 = 8. Solve 0 = u*w - 12 + x for w.
5
Suppose -7 - 1 = -2*v. Suppose 5*h - 24 = -4*n + 8, v*h - 31 = -5*n. Suppose -10 = -h*m + 2. Solve m*z = 3 + 3 for z.
2
Suppose -2*x + 22 = -0*x. Solve x + 4 = 3*f for f.
5
Suppose -3*m = -m + g + 25, -4*m + 3*g - 25 = 0. Let l be (-215)/(-25) + 6/m. Solve 2*k + 0 = l for k.
4
Let u(i) = i**3 - 4*i**2 - 4*i - 3. Let h(s) = s. Let v be h(5). Let t be u(v). Solve 5*c - t*c = 0 for c.
0
Suppose -4 = -3*a + 2*b - 4*b, 4*a - 7 = -b. Solve -a*l - 4 = -6*l for l.
1
Suppose 0 = -2*c - 5*g + 4, -c - 10*g - 8 = -5*g. Let l be -3*((-5)/3)/1. Solve -l*m = -2*m - c for m.
4
Let n = -3 - -3. Suppose -6 = -2*j + 14. Solve n = -4*d - j + 2 for d.
-2
Let o be 4/(-18) - 33/(-27). Let l be -4*(0 + o - 2). Let d = l - 3. Solve -d = g + 4 for g.
-5
Let v(m) = -m**2 - 11*m - 5. Let l(y) = -y**2 + 5*y. Let s be l(6). Let h be v(s). Solve -h = -4*o - 5 for o.
5
Let t be (-18 + 2)*(-3 + 2). Suppose t = g + 2. Suppose -3*x - 5 = -g. Solve x*c = 2*c - 4 for c.
-4
Let j = -25 - -28. Solve 0 = -j*f + 7*f - 12 for f.
3
Suppose -4*c - 2*x + 24 = 0, 3*c - 22 = -3*x - 4. Let v be (-4)/10 + (-27)/(-5). Suppose v*k = 4*b + 10, 1 = -k - 2*b + 17. Solve k*z = 4*z + c for z.
3
Let b = -7 - -4. Let f = b + 2. Let a be (f + 6/4)*0. Solve a = k + 1 - 5 for k.
4
Suppose 5 = 5*s + 10. Let t(n) = -28*n. Let l be t(s). Let p = 43 - l. Solve -p = -4*m + 5 for m.
5
Let v = -16 - -20. Solve -2*x - v = 2*x for x.
-1
Let x = 26 + -6. Solve 5*j + 0*j = x for j.
4
Suppose 0 = -3*r + 8*r - 30. Solve -r*g = -3*g - 6 for g.
2
Let b(p) = -p. Suppose -4*x - 5*a + a + 32 = 0, -x + 10 = 3*a. Suppose 0*s + x = -s. Let o be b(s). Solve -o = -3*z - 1 for z.
2
Let v be 7/(-2)*(3 - 1). Let p = -5 - v. Suppose -6 = -d - p*d. Solve -7*z = -d*z for z.
0
Suppose 0 = -2*z + q + 3 - 0, 3*q = 2*z - 13. Let y = 4 + z. Suppose 3*f + 2*i + 2 = 0, 5*f + 0*i - y*i - 3 = 0. Solve -n - 2*n + 9 = f for n.
3
Suppose -3*n = 2*n - 40. Suppose 3*r = n + 1. Solve -6*b = -3*b + r for b.
-1
Let w be 54/12 - 3/2. Solve -w*t + 5 = -8*t for t.
-1
Let l be 2/10 - 152/(-40). Solve -l*u + 4 = -0 for u.
1
Let v(h) = 5*h. Let d be v(1). Solve 2 = -d*r - 3 for r.
-1
Suppose 21 = 5*y - 19. Let x be (-4 - -3)/(2/2). Let b be x/4 + (-2)/(-8). Solve 5*s - y + 3 = b for s.
1
Let m be 9 - -1 - ((-5 - -5) + 4). Solve 7*a = 10*a + m for a.
-2
Let n = -8 + 13. Solve n*a - 3 = 6*a for a.
-3
Let m be 6 + 6*3/(-6). Let o = 9 - m. Solve 2*i - 4*i = -o for i.
3
Let i(q) be the third derivative of q**5/60 + q**4/12 - q**3/6 - 2*q**2. Let j = 0 - -1. Let x be i(j). Solve -x*a - 4 = 2*a for a.
-1
Let x be 14/6 + 6/9. Solve -x*t + 4 = t for t.
1
Let x be 1/(-4) - (-25)/4. Suppose -3*q + x = -6. Solve -16 + 0 = q*b for b.
-4
Suppose -8*l + 50 = 2*l. Solve 8*k - l = 3*k for k.
1
Let l(y) = -1 + 2*y**2 + 3*y**2 - 6*y - 2 - 4*y**2. Let z be l(7). Solve -z*j = j - 5 for j.
1
Let v(z) = -z**3 - 4*z**2 - 2*z - 2. Let s be v(-4). Let i(u) = u - 7. Let a be i(6). Let y be (2 + a)*0/2. Solve -3*l - s = -y*l for l.
-2
Suppose 4*x - 3*a = -62, a - 32 = 5*x + 40. Let w = -2 - x. Suppose 0 = 5*d - 5*y - 10, -2*d - 3*y + w = d. Solve -c = -d*c for c.
0
Suppose 0*w = -2*w. Let j be ((-1)/1)/((-1)/5). Let f = j + w. Solve -3*r - 2 = -f*r for r.
1
Suppose 0*p = -2*p. Let r(o) = 15 + p + 2*o + 3*o - 4*o. Let k be r(-11). Solve k*s = 3*s for s.
0
Let c = 12 + -10. Solve -c*y + 7*y = 25 for y.
5
Suppose -4*y - 20 = 5*n, n + 4 = -3*y - y. Solve y*m + 2*m = -4 for m.
-2
Let i(b) = b - 1. Let o be i(6). Let u(n) = n**3 - 6*n**2 + 6*n - 3. Let f be u(o). Solve -2*h = -0 - f for h.
1
Suppose 0 = -4*o - 0*o - 12. Let f(w) be the second derivative of w**4/12 + w**3/6 - w**2 - w. Let r be f(o). Solve r*j + 1 = 21 for j.
5
Let t(v) = v + 1. Let j(k) = k**2 + k + 1. Suppose 0*g - 4*g = 8. Let r be j(g). Let w be t(r). Solve -f = -w*f - 12 for f.
-4
Let v be (-165)/(-35) + (-2)/(-7). Let j = -2 + v. Suppose 4*l - j*n - 51 = 0, -5*l - 2*n + 50 = -3*n. Solve 0 = 4*w + 7 + l for w.
-4
Let f(p) = -p**3 + 5*p**2 - 4*p + 5. Let c be f(4). Let g = -8 + c. Let v = 4 + g. Solve 3*k = 8 + v for k.
3
Suppose g = -3*g + 28. Let h(w) = -w**2 + 11*w - 7. Let p be h(g). Solve 5*s - p - 4 = 0 for s.
5
Suppose 0*f - 4*f = -20. Suppose 4*c + 2*r - 4 = -r, -5*c - f*r = 0. Suppose q - 9 = -c. Solve q*i + 2 + 3 = 0 for i.
-1
Let z(i) be the second derivative of i**4/12 + 4*i**3/3 - 2*i. Let u = -45 + 37. Let h be z(u). Solve h*w = w for w.
0
Let u = -7 - -9. Let p(w) = w**3 - w**2 + 2*w - 2. Let s be p(u). Solve o + o + s = 0 for o.
-3
Suppose n - 4 = 0, 5*j + 0*j + 14 = n. Let c = 1 + j. Let v be c/(-4) - 7/(-4). Solve v*l = 5 - 1 for l.
2
Suppose -5*f + 85 = -3*w, -2*f + 4*w + 31 = -17. Let r = -10 + f. Solve 16 = 4*o + r for o.
3
Let t be 6/(-10) - (-78)/30. Suppose t + 7 = 3*s. Suppose -i - 4 = -o, -s*o + 2*i + 3*i + 16 = 0. Solve 2*x - 12 = -o*x for x.
3
Let t = 10 + -4. Solve -2 = -2*k + t for k.
4
Let s(j) = -8*j. Let z be s(-1). Suppose -3*l - 4 = -5*w + 3*w, 0 = l - 4*w + z. Suppose 3*f = -b + 56, -7*f - 4*b + 84 = -2*f. Solve l*x + f = -4*x for x.
-5
Let i = -51 + 53. Solve 3*o + i*o = 0 for o.
0
Let j(s) = s**3 + 5*s**2 - s + 1. Let i be j(-5). Suppose -5*b + i = -4. Solve m + b = -2 for m.
-4
Let y = -25 - -25. Suppose 0*c - 3*c - l + 2 = y, -l = 2*c - 1. Solve 2*a - 5 - c = 0 for a.
3
Let b be 27/9 + -1 + 2. Solve 0 = b*s - 9*s for s.
0
Let q(c) = -c**3 + 3*c**2 - 3*c + 2. Let w be q(2). Let h(m) = m**3 - 6*m**2. Let z be 9/(-2)*36/(-27). Let u be h(z). Solve u = 4*n - w*n - 8 for n.
2
Let l be -2 - (-11 - (-4 - -1)). Let r = -2 + l. Solve 0 = g - r*g for g.
0
Suppose 10 = -4*o + 9*o. Solve -z - z = o for z.
-1
Let r = 3 - 3. Suppose -q + 1 = -r*q. Suppose -4*k = -16, 4*g - 8 = 2*g - k. Solve -g*o = q + 3 for o.
-2
Suppose -5*y = -3*r - 29, 0*r + r = -y + 1. Solve 3 + 1 = -y*s for s.
-1
Let w(g) = -g + 12. Let t be w(8). Let h = 5 - 2. Suppose s - h*s + 26 = 2*i, s - t*i = -12. Solve j - s = -j for j.
4
Suppose f + s + 4*s + 1 = 0, 5*f - 5*s = -35. Let b be (-4)/6 + (-4)/f. Solve b = 2*j + 3*j for j.
0
Suppose 3*a - 11*a + 32 = 0. Solve -a*r + 17 = 1 for r.
4
Let q = -6 - -11. Suppose -16 = -4*s, 2*z + 32 = 5*s - s. Let v be 18/4 - (-4)/z. Solve v*h = q*h for h.
0
Let k = 25 - 22. Let b(x) = -x**3 + 4*x**2 + x - 2. Let d be b(4). Solve -d = k*w + 13 for w.
-5
Suppose -5*m - 16 - 24 = 0. Let f(o) be the first derivative of -o**2/2 - 5*o + 2. Let h be f(m). Solve h*a = -2*a - 25 for a.
-5
Let m(l) = 10 + l - 3 + 0*l. Let a be m(-4). Solve 0 = -t + 4*t - a for t.
1
Suppose -8*o + 110 = 14. Solve 5*t = o - 32 for t.
-4
Suppose -v - 2*v + 84 = 0. Suppose 2*r + v = 4*c, c - 2 = 2*r - 4*r. Let q = c + -5. Solve w + 0 = -q for w.
-1
Let s = -20 - -23. Solve 0*a = -s*a - 12 for a.
-4
Let p(o) be the third derivative of -o**6/120 - o**5/12 + 2*o**3/3 + 5*o**2. Let y be p(-5). Solve -n = -y + 5 for n.
-1
Let c = 22 - -13. Let x be 119/c - 2/5. Solve 5*z + 2 = -x for z.
-1
Let n(i) = -i + 1. Let u be n(1). Suppose 2*r + u = 4. Let g be 1 + (-2 + 10)/r. Solve -g*x + 3 = 8 for x.
-1
Suppose 0 = -6*h + h + 50. Solve 0 = 3*c - h - 2 for c.
4
Suppose 2*b = -2*s + 2, 13 = 3*s - 4*b + 5*b. Let l = -1 + s. Solve 7 = l*o - 13 for o.
4
Suppose 0 = -3*h + 4*v + 19, -3*h + 2*v + 5 = -6*h. Let f be h/(3 - (-8)/(-3)). Suppose 0 = b - 2*b + f. Solve 0 = b*q + 2*q - 5 for q.
1
Let b be 2 + (-2 - -3) + -2. Let f be (b + -1)*(-1)/(-2). Solve f*o = -4*o + 12 for o.
3
Let u(w) be the second derivative of w**3 - w**2/2 - 2*w. Let v be u(2). Solve 0 = -5*d - v - 14 for d.
-5
Suppose 3*i = 4*j + 17, 3*i + j + j = 23. Let n = 5 + -2. Let l be n + (-7)/((-28)/8). Solve 0 = l*b - i - 8 for b.
3
Le