 for u.
0
Let i(l) = -l + 13. Let v be i(5). Solve -3*r = 5*m - 26, 2*m - 2*r = -m + v for m.
4
Let v = -16 + 20. Solve -i = -4*z + 14, -v*z + 10 = -2*z - 2*i for z.
3
Let u(h) be the third derivative of h**4/24 - 2*h**3/3 + 3*h**2. Let l be u(8). Solve 4*b - 2 = -4*r + 26, l*r + 5*b - 30 = 0 for r.
5
Let w = 59 + -34. Suppose 0 = -2*u - l + w, 2*u - 20 = u - 2*l. Suppose 78 = 5*x + 4*f, f = -3*x - 1 + 45. Solve -2*z - 4*v = -u, 3*z - 2*v + x + 11 = 0 for z.
-5
Let r(x) = 2*x + 12. Let v be r(-8). Let n be (-33)/(-4) + 1/v. Solve 12 + n = -d + 5*h, -3*h = -9 for d.
-5
Suppose -6*x + 0 + 36 = 0. Suppose -3*h + 13 - 1 = 0. Solve -v - x = -3*l - 4*v, 0 = -5*l + 2*v - h for l.
0
Let a = -152 - -154. Solve -j - 7 = 3*d, -1 - 3 = j + a*d for j.
2
Let b be 0/((-1 - 0)/(-1)). Suppose 29 - 11 = 2*u - 2*t, t - 11 = -4*u. Solve -10 = -4*x - 0*o + 2*o, u*o + 12 = b for x.
1
Let g be -2*2/14 + (-86)/(-301). Solve -3*c + i = 10, 5*c + i - 4*i + 14 = g for c.
-4
Let c be 6 + (-1 - 2) - -2. Suppose 4*r - 2 = 6. Solve -3*j + q = 6*q - 25, -r*j - 25 = -c*q for j.
0
Let n(d) = -3*d - 9. Let w be n(-4). Solve 0 = 4*s + w*x - 14, -4*s = -x + 3 - 9 for s.
2
Suppose 10 - 2 = 2*r. Solve 3*k + s = 4*k + 4, r*k + 5*s - 2 = 0 for k.
-2
Let q = -54 - -59. Solve -q*t + z = -3*z + 13, 4*z = -4*t + 4 for t.
-1
Suppose 0 = -3*x + 15, -2*d - 28 = -4*d - 2*x. Suppose -4*z - 10 = -d*z. Solve 3*v - 3*r - 2*r = -7, 5*v - z*r - 1 = 0 for v.
1
Let m be (0 + 0 + 0/2)/(-2). Solve -3*f - 1 = b, m = -f + 4*b - 5*b - 3 for f.
1
Suppose -2*w = -5 - 7. Solve -b = 3*j + w + 5, -16 = -4*b + 3*j for b.
1
Suppose 5*c - 4*v = 80, -2*c = -4*v - 61 + 17. Solve c = d - 2*l, 20 + 0 = -4*l for d.
2
Let y be (2 - 0) + -2 - 20. Let m be 15/y*(-8 - 0). Solve 2*q - k = m*q + 13, 0 = 2*q + k + 9 for q.
-2
Suppose -2*w + 0*w - 4 = 0. Let k(q) = -2*q**3 - 3*q**2 - 2*q - 2. Let f be k(w). Solve 5*z - 5*v = -5, -z - 10 = -4*v + f for z.
4
Let q be (2*1/(-1))/(-1). Let l = 1 - q. Let c be 13 + (2 - (l - -1)). Solve 2*g = -g - 4*j - c, 0 = -2*g - j - 5 for g.
-1
Let o = -11 + 29. Solve -o = 5*j + 3*q, -4*j + 2*q = 6*q + 16 for j.
-3
Let p = 40 - 28. Solve -t - 2*g = -6, 0 = -t - 0*t - 5*g + p for t.
2
Suppose 4*n + 0*g + g - 20 = 0, 0 = -3*n - g + 15. Solve -3*w - 7 = -n*s, -w - 3*s + 5 = -2*w for w.
1
Let s = 89 + -81. Solve -3*r = -r + 5*v - 20, v + s = 2*r for r.
5
Suppose 0*z = -z + 6. Let j(w) = w**2 + 9*w + 12. Let h be j(-8). Let a be 1 + -2 + h - 1. Solve -a*k - 3*q = 5 + z, q = -k - 4 for k.
-1
Let h(g) = g**2 + 7*g - 10. Let y be h(-9). Suppose -y = -5*a + 17. Solve -2*q = 3*v + 25, -q + 50 = -a*v - 6*q for v.
-5
Suppose 3 - 25 = -4*y + 3*n, 2 = -2*y - 5*n. Solve 2*f - 18 = 3*h, -2 - y = -2*f for h.
-4
Suppose -2*t - 2*r + 14 = -t, -t = -r + 1. Solve 3*x - t*z = 32, 5*z = 3*x - x - 33 for x.
4
Let c = 19 + -13. Solve 3*s + 2*x = -c, -5*s - 5*x = -s + 1 for s.
-4
Let m = 1 + 2. Solve v - 12 = -2*i + 4*v, -m*i - 20 = 5*v for i.
0
Let l(v) = -1. Let o(m) = 2*m + 1. Let f(j) = 4*l(j) - o(j). Let u = -4 + 0. Let h be f(u). Solve 5*d - 1 = 4*t, -h*d + d + 2*t = 0 for d.
1
Suppose 7*o - 17 - 32 = 0. Suppose 2 = -3*s + 4*s. Solve 0*i + 5*w + o = 3*i, -3*w - 5 = -s*i for i.
4
Let j(i) be the second derivative of i**4/6 + i**3/2 - 2*i**2 - i. Let k be j(-3). Solve 0 = 5*q - 5*f - 5, -3 = -k*q + 2*q - 3*f for q.
1
Let b(a) = 5*a**2 + 8*a + 8. Let i be b(-1). Solve -5*c = 5, -i*t + 0*c + 4*c = -4 for t.
0
Suppose 0*h + h - 128 = -m, 3*h - 376 = -5*m. Let j be h/(-11)*(-1)/4. Solve x = 4*c - j*x, 2*x - 12 = -4*c for c.
2
Let m be 8 + -4*(-6)/24. Solve 4*g + m = -q + 2*q, -2*q + 8 = -3*g for q.
1
Let r be (-18)/(-5 - -2) + 1. Suppose 5*b - 8 = r. Solve 0 = i + b, 0*i = 2*w + 2*i for w.
3
Suppose -2*b = g + 14, -b + 0 + 3 = -2*g. Let s(w) = 2*w + 4. Let l be s(3). Let i = l + g. Solve -5*z = 4 + i, 2*o + 4*z = 0 for o.
4
Let j(p) be the second derivative of p**4/12 + p**3 + 5*p**2/2 - 5*p. Let h be j(-5). Solve -2*n + 1 = 3*v, 2*n + h*v = 3*v - 17 for n.
-4
Let a(z) = z - 2. Let j be a(4). Suppose 4 = 2*t - j. Solve 3*h = t*u - 6, 3*u = 4*h + h + 16 for h.
-5
Let v(t) = -4*t**2 - 20*t - 1. Let u be v(-4). Solve -5*z + 23 = 3*m, 0 = 2*z + 3*m + 4 - u for z.
4
Let b(k) = k**3 - 7*k**2 - 3*k. Let w be b(5). Let r be (-4 + 0)*w/52. Solve 2*d + 5*h - 22 = 0, r*d + h - 2*h = 1 for d.
1
Suppose 3*k - 9 - 12 = 0. Suppose t - k + 4 = 0, -77 = -5*j + t. Solve -3*x = 6, -3*m - 3*x = -5*x - j for m.
4
Let j be ((-8)/3 + 2)*-3. Solve j*d + 2 = a + 3*d, -5*d = 2*a - 1 for a.
3
Let p = 6 + -3. Suppose -p*f = 9, -6*a - 3*f = -a - 116. Solve -s - 4*s - a = -3*z, -4*z - 10 = 2*s for s.
-5
Suppose -10*q + 164 - 4 = 0. Solve -q = 5*y - 2*v, 4*y - 4*v + 4 + 4 = 0 for y.
-4
Let k(f) = 2*f**2 + 38*f + 41. Let u be k(-18). Solve -4*c + u*l = 8, -c - 4*l = c - 22 for c.
3
Let d be ((-14)/(-3))/((-7)/21). Let q(y) = -y - 9. Let a be q(d). Solve -t - 18 = i + 4*i, a*i + 4*t + 12 = 0 for i.
-4
Let i(q) = -q - 1. Let r be i(-7). Suppose 10*o - 16 = r*o. Solve 2*t + 2*y = -2, -5*t + o*y + 3 = 7*y for t.
3
Suppose -11 = -w - 0. Suppose 4*k = -5*g + 17, 0*g - w = -4*k + g. Suppose 5 = -k*b + 17. Solve -i - 21 = 4*i - 4*r, 16 = -4*i + b*r for i.
-5
Let k be (12/(-54))/(34/18 + -2). Solve 5*c + 13 = k*b, 4*b - 21 = 4*c - 1 for b.
4
Suppose 0 = n - 5*k + 3 - 14, 1 = -3*n - 2*k. Let t be 1 + n - (9 - 3). Let w be (1 - 1)/(t + 5). Solve 5*u - 5*c - 15 = w, 3*u - u + c = 9 for u.
4
Let c(h) = -17*h + 1. Let i be c(-1). Let f = 20 - i. Solve f*v - q - 2 = v, 3*v - 18 = -3*q for v.
4
Suppose 2*p + p + 57 = 0. Let c = -14 - p. Solve -2*t = 4*f - 4*t - 8, -2*t = -c*f + 12 for f.
4
Let a(i) = -i + 1. Let d be a(-2). Suppose -2*x = -8, 7*x - 29 = -d*u + 2*x. Suppose -67 = -3*g - 40. Solve -g = -u*t + 3*v, -6*t - v - 3 = -t for t.
0
Suppose 4*n - 21 = 19. Let p = n - 5. Solve 0 = -t - t - p*i, 2*i = -2*t for t.
0
Let v be ((-14)/(-21))/((-1)/(-153)). Let m be v/18 + 2/(-3). Let s = m + -1. Solve -s*l - t = -2*l - 11, -l = -4*t - 1 for l.
5
Let y(l) = -l**3 + 7*l**2 + 12*l - 9. Let b be y(8). Solve 3*h = 4*i - b, -4 = 4*i + 5*h - 19 for i.
5
Suppose 0 = -2*q + 5*l + 24, -3*q - 3*l = -4*l - 10. Solve q*p - 4*t + 12 = -t, 2*p = t - 4 for p.
0
Let x(y) = -y**3 + 6*y**2 - 4*y - 2. Let k be x(5). Let z(l) = -l**3 + 4*l**2 - l + 5. Let b be z(k). Solve -b = v - 2*q, -3*q + 10 = -3*v - 14 for v.
-5
Let w(m) = -21*m + 9. Let l be w(7). Let r be 3/(-12) - l/8. Solve -2*s = -2*o + 6, -4*s - r = -o - 4*o for s.
2
Suppose -3 = -2*g + 7. Let u(y) = y + 27. Let a be u(-27). Solve -5*t + 2*t + g*b + 6 = a, -t + 3*b = -2 for t.
2
Let o(f) = -2*f**3 + 4*f**2 - 2*f. Let v be o(2). Let d be (-3)/v - (-54)/24. Solve -2*m = 2*q + 8, 0*q + d*q = -3 for m.
-3
Let h be 9/(-3) - 1*-6. Suppose -o + 56 = h*o + 4*f, 2*o - 3*f = 28. Solve m + 4 = -j, 2*j + o = 5*m - m for m.
1
Let a(h) = h**2 - 9*h + 5. Let n = 15 - 6. Let u be a(n). Solve -c = -2*m + 3*m - 10, -u*m = c - 30 for m.
5
Let t be -9*1*1/(-3). Let p = 4 + t. Let y(c) = -c**3 + 6*c**2 + 8*c - 5. Let w be y(p). Solve 4 = -x - w*h, -24 = -4*x - 0*x + 2*h for x.
4
Suppose f - 13 = -2*f + t, 3*f - 5 = 5*t. Solve f*p - 5 = 0, -l - p = 2*p for l.
-3
Suppose 4*v = q - v - 3, -9 = -3*q - 5*v. Solve 5*f - 37 = -q*j, -4*f + 20 = -0 for j.
4
Suppose -3*u + 2*d - 4 = -0*d, 0 = 2*u - 5*d + 21. Solve 0 = -4*v + 3*t - 11, u*t + 20 = -5*v - 11 for v.
-5
Suppose 1 = -h + 3. Solve 7 = 4*i - 5*y + h, -2*i = 4*y + 4 for i.
0
Let s be (4/(-16))/(-1)*12. Let z = -11 + 16. Solve -z*w - s = 12, 3*f + 2*w = -3 for f.
1
Let k = 1 + 2. Solve k*h = 4*c - 2*c + 3, -3*c + 5*h - 6 = 0 for c.
3
Let m(z) = z**2 - 2. Let i be m(-4). Suppose 3*v + 2*x - 1 - i = 0, -3*x = v + 2. Let n(r) = r - 2. Let w be n(v). Solve -4*t - 4*l - 6 = 6, t - w*l = 21 for t.
1
Let x be (-74)/10 - 4/(-10). Let y = 13 + x. Solve -5*v + r + y = -0, 5*v = -5*r for v.
1
Let r(v) = -v**3 + 5*v**2 - 3*v - 4. Let y be r(3). Suppose 18*h - 10 = 13*h. Solve u - f = -2*u - 10, -y*u - h*f = 24 for u.
-4
Suppose 2*l - 4 = 2*x + 10, 0 = x + 2. Solve -3*m = 2*m - 2*o - 22, m - l = o for m.
4
Let w(v) = -2*v**3 + 18*v**2 - 18*v + 20. Let a be w(8). Solve -m - a = -0*m + l, -3*m = 5*l + 10 for m.
-5
Let t(s) = s**2 + 7*s + 2. Let u be t(-5). Let n be (-1)/(u/(-3) + -3). Solve -g + 2*k - n*k -