be o(-12). Let s be (-32)/(-12) - t/9. Solve -l + 0*l = -s for l.
2
Let g(u) = u**3 - 13*u**2 + u - 13. Let a be g(13). Suppose -2 = 2*w - a. Let q be 0/w*(-2)/4. Solve q = c + c for c.
0
Let g = -56 + 24. Let c = g + 51. Suppose c*z = 22*z. Solve -2*f + 8 = -z for f.
4
Let b(d) be the second derivative of -d**5/10 + d**4/12 + d**3/6 + 4*d. Let f be b(-1). Solve f*u = 3*u for u.
0
Let m be 2 - 3 - -24 - 3. Suppose 5*u - m = u. Solve -u*n + n + 16 = 0 for n.
4
Let h = 33 - 24. Solve h*w = 6*w + 3 for w.
1
Suppose -2 = -i, -3*f + 7*f = 5*i + 38. Solve f*w + 17 = -7 for w.
-2
Let b = -198 - -201. Solve 0 = -b*j + 3 for j.
1
Suppose 39 = 2*i - 7. Let q = 29 - i. Solve 3*j + q - 15 = 0 for j.
3
Suppose 5*m = 3*m - 38. Let d = m - -21. Let j be 7 - (d - 0 - -1). Solve 0 = -j*o - 2 + 6 for o.
1
Suppose 2*i - 4 + 0 = 0. Suppose 0 = -4*v + 2*n - 102 + 28, -n - 35 = i*v. Let r be 3*(-3)/v*12. Solve y - r*y = -10 for y.
2
Let i(d) = -27*d + 189. Let z be i(7). Let f be 0 - 14/(-2*1). Suppose z = 5*l - f*l + 12. Solve 0 = -l*t + t for t.
0
Suppose 22 = -8*i + 86. Solve p - i = -9 for p.
-1
Suppose -2*m - 17*m + 608 = 0. Solve m = u + 7*u for u.
4
Let b(g) = -3*g**2 - 106*g - 116. Let z be b(-34). Suppose -5 - 3 = -2*o - 2*i, -o - 4*i = -16. Solve o = v + 4*v + z for v.
-4
Let g be (18/(-15))/((-3)/10). Suppose 3*w + 2*y = 11, -4*w + y + g*y = -30. Solve -w*k + 4 = -6 for k.
2
Let w = 943 + -940. Suppose -3*b + 1 = 7. Let u be 2 - 2/2 - b. Solve 0 = -2*f + w + u for f.
3
Let y(q) = -q. Suppose -5 = -3*z - 17. Let f be y(z). Suppose 12 = f*h - 0*h. Solve h*v - 7 = -4 for v.
1
Suppose 0 = -3*h + 2*h + 4*u + 11, 0 = -u - 2. Solve -5 = -2*g + h for g.
4
Let i = 1 + -1. Let x = -2 - -4. Suppose 0*u + u - x = 0. Solve -2*r + u + 8 = i for r.
5
Let m be (4/(-5))/(2/(-25)). Let v be (12/20)/(2/m). Suppose -4*j + 4 = -2*j + g, v*j + 20 = 5*g. Solve 5*d - 3*d - 2 = j for d.
1
Suppose -3*m - 16 = 5*j + 15, 5*j = -m - 27. Suppose -2*i - 2*b = 2*b - 6, 3*b = 2*i + 1. Let l be i/m*-30 + -4. Solve -5*k - 14 = l for k.
-5
Suppose 14*z = 13*z. Solve 3*r - 5*r = z for r.
0
Suppose 10*x - 8 = 32. Let p(a) = -a**3 - a**2 + a + 2. Let u be p(0). Solve 0 = u*y - y - x for y.
4
Let u = 19 + -17. Let w(s) = -s + 3. Let z be w(u). Let g(c) = 3*c**2 + c - 1. Let f be g(z). Solve -10 = -f*k - 2*k for k.
2
Let j be (-13)/(-3) - 1/3. Suppose 2*w + 2 = 4*r + 18, 4*w + 4*r - 20 = 0. Let s be 20/(-16)*6/(-15)*w. Solve j*p = s + 5 for p.
2
Let r be (-5)/((-20)/(-12)) + 6. Solve 0 = -r*l - 21 + 15 for l.
-2
Suppose f + 0 = 2. Suppose 4*k + c = 11, 5*c + 2 + 7 = -4*k. Solve -f*s + 0*s + k = 0 for s.
2
Suppose 3*m = -3*q + 7*q + 56, -m - 55 = 3*q. Let z = q + 6. Let c be 424/88 - 2/z. Solve c*g + 1 + 4 = 0 for g.
-1
Let x = -307 + 309. Solve -x*g = 8 - 0 for g.
-4
Suppose -14 = 5*v + 16. Let m = v - -5. Let d be (1 + 9/(-3))*m. Solve -d*i + 0*i + 6 = 0 for i.
3
Let p(r) = -r**3 + r**2. Let b = 5 - 3. Suppose 1 = s + b. Let v be p(s). Solve v*g - 3 = 5*g for g.
-1
Let g(t) = t - 4 - 8*t + 5*t + 3*t. Suppose -3*s - a = -2*a - 25, 2*a = -5*s + 27. Let h be g(s). Solve 0*u + h = -u for u.
-3
Let r be 0/(4 + (-2 - 1)). Let k be (-12)/(-24)*(0 + r). Solve k = -2*i - 7 + 15 for i.
4
Suppose 0 = 4*l + 3*w - 1, 1 = -12*l + 11*l - w. Solve -3*o = o + l for o.
-1
Let w = -64 + 76. Solve 0 = -4*v - 4 + w for v.
2
Suppose 15*t + 57 = 342. Solve 0 = -t*j - 17 - 21 for j.
-2
Suppose 3*y + 0*o - 56 = 5*o, -2*o = -4. Suppose -4*b + 2*j = -y, b - 2*j - 11 = 2. Solve -2*p + 5 - b = 0 for p.
1
Let s = 62 + -50. Solve -3*p + s*p + 45 = 0 for p.
-5
Let i = 18 + -13. Suppose -3*b = -0*a - i*a - 64, 5 = -a - 2*b. Let u = a - -11. Solve -f - 4 = -u*f for f.
-4
Suppose 60*d - 62*d + 60 = 0. Solve 5*u + d = 15*u for u.
3
Let q = 2669 + -2655. Solve 19*t + 20 = q*t for t.
-4
Let r(b) be the first derivative of 2 + 3/2*b**2 - 1/4*b**4 - 11*b + 5/3*b**3. Let i be r(5). Solve 5 + i = -3*m for m.
-3
Let q be (-3)/6*-1 - (-429)/66. Solve 0 = q*k - 10 + 31 for k.
-3
Let g = 18914 - 18913. Suppose -j = 2*f - 6, 2*f - 1 = -2*j + 9. Suppose 55 = 5*c + 20. Solve j*u = -g - c for u.
-2
Let g = 2 + -1. Let s(z) = -z**3 - 8*z**2 - z - 13. Let o be s(-8). Let d = g - o. Solve 5*t - d = 2*t for t.
2
Suppose -3*n + 5*n - 5*r = 10, 0 = -4*n - 3*r - 6. Let l = 4 + -1. Let z = 5 - l. Solve n = -0*s - s - z for s.
-2
Suppose -3*x = -0*x + 21. Let c be 2 + (-5)/((-140)/(-4))*x. Solve -c*q - 3 = -15 for q.
4
Let p be 1/((-45)/(-6) + -7). Solve -4 = -p*h - 6 for h.
-1
Let u be -1*4/(-24)*6. Let x be (2 - u)*(-1 - -1). Suppose -3*h + 5 = -13. Solve -3*d - h = -x*d for d.
-2
Let w = 24 - 24. Solve w = y + 1 for y.
-1
Suppose 0*t - 2*b + 16 = 5*t, b = -t + 5. Suppose 5*y + 5*v = t*v + 25, 9 = 2*y + v. Suppose -y*q = -3 - 3. Solve q = o - 0 for o.
3
Suppose 11*c - 728 = -41*c. Solve -18*k + 8 = -c*k for k.
2
Suppose -2*d + 2*i - 18 = 2, -3*d - 10 = 2*i. Let r be 46/(-8) + d/(-8). Let v = r + 8. Solve w - v*w + 4 = 0 for w.
2
Suppose 0 = -3*h + 6, 2*w - 2*h = -0*h. Suppose 3*i + 4 = i, -5*s - w*i = -96. Solve -3*k = k + s for k.
-5
Let x be 20/15*(-18)/(-8). Solve 4*o - 1 = x*o for o.
1
Suppose 1530*i = 1528*i. Solve 7*c - c - 24 = i for c.
4
Let p = -34 + 20. Let n be (-520)/(-70) - (12/p)/(-2). Solve 4*y + 1 = -n for y.
-2
Let f(p) = -3*p + 9. Let b be f(3). Suppose i - 1 - 3 = b. Let t = -15 - -25. Solve -i*k + t = -2*k for k.
5
Let l be (-245)/(-7)*(48/15 - 3). Let z(h) = -2*h - 7. Let y be z(-6). Solve -f - l = -y for f.
-2
Suppose -j = 6*j - 399. Let l = 61 - j. Solve -l*f - 15 = -7 for f.
-2
Let k(g) = 3*g**2 + 2*g - 1. Let j be k(-4). Suppose 9*h + j = 6*h. Let v = 25 + h. Solve 0*y = 3*y + v for y.
-4
Let s be -1*(-2)/22 + (-1635)/(-165). Solve 3*h + 21 = s*h for h.
3
Suppose 5*g = 10, -3*u + 7*u - 208 = -2*g. Let h = -48 + u. Solve h*o = -0*o - 6 for o.
-2
Let a be 5 + -7 - (3 - 150). Let l = a + -140. Let z be (-3)/((-2)/((-16)/(-6))). Solve 6 = l*q - z for q.
2
Suppose -2*s = 5*q + s - 9, -s + 10 = 4*q. Let l(j) = 2*j**2 + 7*j + 9. Let x be l(-3). Solve x*b = q*b for b.
0
Let m(w) = w**3 - 28*w**2 + 25*w + 56. Let t be m(27). Solve -5*d + t + 8 = 0 for d.
2
Suppose -4 + 31 = 9*y. Solve 0 = 5*j - y - 2 for j.
1
Let d = 5 + -3. Let j(i) = -6*i - 18. Let t be j(-5). Suppose 2*k = -d*n + t, 5 = -4*k + 21. Solve n*z = 3*z for z.
0
Let v = 22 + -34. Let i = v + 16. Suppose -i*g + 3*b + 4 + 15 = 0, -5*b - 13 = -4*g. Solve g*m - 2*m = 15 for m.
3
Let w = -8 + 12. Let a = -1894 + 1895. Solve -f = w - a for f.
-3
Let f(o) = o**2 + 2*o - 4. Let k be f(-4). Suppose 6*n - k*u - 33 = 3*n, u + 55 = 5*n. Let t(b) = b**2 - 10*b - 1. Let i be t(n). Solve -c = -3*c - i for c.
-5
Let i(g) = g + 2. Let a be (5*-2)/(-7 + 5). Let c be i(a). Solve -1 + c = 3*m for m.
2
Suppose 3*m + 26 = 3*l + 2, -5*l = -3*m - 30. Suppose 2*b - b - 2 = 0. Suppose -p + 21 = b*p. Solve -p*h + l = -4*h for h.
1
Suppose -22*g = -26*g - 4*t + 24, t = g - 12. Let k = -3 - -3. Suppose k = -y - y. Solve -5*l + 2*l + g = y for l.
3
Let a be (17 + 0)/((-2)/16*-4). Solve 6*n = -a + 10 for n.
-4
Let t be (8/2)/(-2) + (2 - -5). Suppose 2*q - 10 = 0, 0*p - p + 25 = t*q. Solve -i + p*i + 4 = 0 for i.
4
Suppose -3*m + 16*m + 78 = 0. Let a(f) = f**2 + 8*f + 20. Let d be a(m). Solve -q + d = q for q.
4
Let w be 1 - 0 - (-3)/3. Suppose -5*r + 13 = -2*u, -w*r + 0*u = -4*u - 18. Let o be (2 - r)*4/2. Solve 5*n + o = -3 for n.
-1
Let b be (-33)/(-12) + (-2)/(-8). Suppose -x = b*x - 48. Suppose 3*f - 25 = -2*f, x = -2*a + 4*f. Solve 22 = a*d + 6 for d.
4
Let n = 230 + -228. Solve 0 = s - n + 1 for s.
1
Suppose 5*a = -4*g + 70, 4*g + 3*a - 2*a = 62. Let w(f) = 3*f + 22. Let n(j) = -5*j - 43. Let h(r) = -4*n(r) - 7*w(r). Let t be h(g). Solve 5 = -t*x + 20 for x.
5
Let n be (1 - -4)*(-66)/(-110). Suppose -8 = 2*f, -2*f + n*f = -3*u + 5. Suppose 2*l = l + u. Solve -l*k + 8*k = 25 for k.
5
Suppose 0 = -5*v + 206 + 69. Let u = -53 + v. Solve 10 - u = 4*t for t.
2
Let g be 42 + -34 - 1*5. Let p = -4 - -1. Let y be 5 - (-1 + (p - -2)). Solve g*a = -2 - y for a.
-3
Let w = 8 - 5. Let l(a) = a + 5. Let d be l(-5). Suppose d = -h + c + 12, 2 + 6 = -4*c. Solve -w*g = -g + h for g.
-5
Let k(a) = -6 - 3*a + a + 15 + a. Let t be k(5). Solve 2*r = -0*r - t for r.
-2
Let q be (48/40)/(2/5) - -2. Let u be (40 