e i(3). Solve -s + 4*x - u = -5*s, 3*s - 6 = -4*x for s.
2
Let x(r) = 3*r**2 + 17*r + 25. Let g be x(-5). Solve 0 = -j + 2*d + 1, 5*j - 5*d + 0*d = g for j.
5
Let d(s) = 4*s**3 + 18*s**2 - 13*s - 11. Let f be d(-5). Solve 0 = -n + o + 2, 37 = 5*n + f*o for n.
5
Let y(g) = g + 12. Let p = 10 + -18. Let k be y(p). Suppose -2*a - o = -7*a + 12, -3*o = 6. Solve -x - k*m = 0, -2*x = a*m + 3*m for x.
0
Suppose 0 = d - 4 - 0. Let f = 37 + -32. Solve -2*c + d = u - 3*u, 5*u = -f*c - 10 for u.
-2
Let j(p) = -7*p + 63. Let x be j(8). Solve 3*l + 25 = -2*v + x*v, 2*l = 2*v - 10 for l.
0
Let s(v) = v - 12. Let w be s(14). Let z(k) = 4*k - 12. Let l be z(4). Solve 0 = -w*u + 4*j + 8, 0 = -u - l*j + 5*j + 1 for u.
-2
Suppose 0 = -0*z + 5*z + 4*h - 12, 2*z - h + 3 = 0. Solve -4*b = 3*s - 8, z*b = 2*b - 2*s + 10 for b.
-1
Let x(v) = -v + 34. Let p = 0 - 6. Let s be x(p). Solve -5*u - s = 5*i, -2*u + 4*u - 3*i - 9 = 0 for u.
-3
Let p(h) = -h**3 - 4*h**2 + 6*h + 5. Let w be p(-5). Suppose 0*v - v + 4 = w. Suppose v*k - 12 = -4. Solve -3*t + 4*x - x = 6, -3*x + k = t for t.
-1
Let h = -30 + 8. Let n be 144/(-14) + h/(-77). Let x(y) = y**3 + 9*y**2 - 9*y + 12. Let b be x(n). Solve 0*r = o - r, 0 = -5*o + b*r + 15 for o.
5
Let t(s) = -2*s**2 - 33*s + 19. Let u be t(-17). Suppose -2*p = q - 13, 6*q - 3*p = u*q - 3. Solve 4*o + 2*c = -10, 3*o + 15 = o - q*c for o.
0
Let f(h) = 4*h**2 + 2*h - 5. Let o be f(1). Solve 2*y + o = 3*j, -4*j + 2*y - 14 = -6*j for j.
3
Let k be 4/18 + (-8200)/(-36). Let i be k/54 + 4/(-18). Suppose -4 = -i*h - 4*d, 3*h = h - 5*d - 7. Solve -4*s = 3*r + 13, 2 = h*s - 3*r + r for s.
-1
Suppose -16 = -r - 0. Suppose 2*f - r = f. Let a = -11 + f. Solve -3*p = 2*n + 7, 2*p - 2*n + 8 = -a*n for p.
-1
Suppose 19*r - 6 = 16*r. Solve 4*c + r = -6, c + 3 = x for x.
1
Suppose 4*n - 2 + 42 = 0. Let f be (-32 + 2)*n/(-15). Let a = 22 + f. Solve 0 = 4*l - v + 16, v + a*v = -2*l - 22 for l.
-5
Let r be (-2)/(-1) - (-7 + 4). Suppose 4*i + 13 + 15 = r*u, 0 = -2*u - i + 19. Solve 0 = t - 2, u*t - 3*t - 11 = b for b.
-1
Suppose -19*t + 71 + 43 = 0. Solve 5*z = 3*l - l + 9, l - t = -z for l.
3
Let g = 5 + -3. Suppose 8*d + 5*b + 70 = 12*d, -10 = 5*b. Suppose -10*w = -d*w + 10. Solve w = -5*n + 4*n, -4*p = g*n - 16 for p.
5
Let n(d) = 7*d**2 + 2. Let w be n(2). Suppose 0 = 6*q - 11*q + w. Solve -z = 3*z + 2*g - q, 15 = -4*z + 5*g for z.
0
Let u = -11 - -20. Let a be 54/u + -1 + 0. Suppose -a*n + 39 + 16 = 3*g, g - 29 = -3*n. Solve 0 = -z - 2*o - o + n, -2*o = 3*z - 3 for z.
-1
Suppose -b = -0*v + v - 11, v = 3*b + 7. Let y(u) = u - 4. Let t be y(v). Suppose 2*x = -x + t. Solve 4*c + 12 = -d, 0*d = -5*d + x*c + 6 for d.
0
Let s be (-2 + 14/3)*15. Suppose 5*y + s = 5. Let q = -7 - y. Solve -3*t + 0 - 2 = 4*n, q = t + 5*n - 3 for t.
-2
Let w(k) = k**3 - 25*k**2 + k - 23. Let z be w(25). Let t = -8 - -11. Let h = -2 - -4. Solve -3*g = -z*j - 12, 0 = -t*g - g - h*j + 2 for g.
2
Let y = 45 + -22. Suppose 5*x = 2*c + 46, -4*c - y = -4*x + 9. Solve 2*b + 3*o = -o - x, 25 = b - 4*o for b.
5
Suppose 4*m = -m + 3*d + 356, 4*m = -3*d + 274. Let z = m + -49. Suppose -2*c = 3*w - 29, 0 = 2*w + 2*c + c - z. Solve 3*a = -q + 3, 0*q - 3*q + 4*a = -w for q.
3
Suppose -166*h = -170*h + 8. Solve 5*a + 6 = -h*g + 2*a, -5*g = 4*a + 15 for g.
-3
Let h = -12 - -20. Suppose -11*g - 13 = -112. Suppose -g*n + h*n = -2. Solve p - 2*l - n = -4, 3*p + 15 = -3*l for p.
-4
Suppose 0 = 10*t - 5*t. Suppose 2*c - 4 - 2 = t. Let p(x) = -5*x**3 + x**2 + 2*x + 1. Let a be p(-1). Solve c*b = 5*d - 40, -5*b + b = -a*d + 45 for d.
5
Let a(v) = -v**2 - 8*v - 2. Let i be a(-6). Let q = 16 - i. Let t be q/4*100/15. Solve t = -5*z, 0 = 2*y - 5*z - 0*z - 8 for y.
-1
Let y be ((-3)/7)/(1/(-7)). Suppose -y*r = 2*r - 30. Solve 0 = 4*h - 9*h - 2*i + r, -3*h - 2*i = -6 for h.
0
Let j = -125 + 121. Let q = 23 + j. Solve 5*o = -3*r + q, 2*r = -3*r + 15 for o.
2
Suppose -c - 105 - 222 = -5*v, 4*v + 5*c - 279 = 0. Let g be v/12*2*1. Suppose 0 = -a + 1 + 2. Solve 4*f - a + g = 0, -2*z - 2*f - 10 = 0 for z.
-3
Suppose 5*a + t - 14 = 0, 2*a - 1 = 10*t - 15*t. Solve -a*c + 2*s + 18 + 3 = 0, -4*c = 3*s - 11 for c.
5
Let t(p) = 13*p - 4. Let l be t(1). Solve -o = 2*z + 7, 2*o = -0*o + z - l for o.
-5
Let f be 6/8 + 130/120*3. Solve -3*q = f*b + 14, 0 = -2*q + 7*q + 3*b + 5 for q.
2
Let d = 185 - 183. Solve -d*t = -3*s + 2 + 3, -7 = t + 3*s for t.
-4
Let b(c) = -c**3 - 3*c**2 + 10*c + 11. Let r be b(-5). Suppose r*q = 16 + 17. Solve -y - 17 = q*k, -k - y - 13 = 3*y for k.
-5
Let u(d) = -3*d**2 - 16*d + 6. Let x be u(-5). Let s(y) = y**3 - 9*y**2 - 22*y + 3. Let p be s(x). Solve -p*g - 2*n + 1 = -5, 5*g - 4*n - 10 = 0 for g.
2
Let a be (3 - (-44)/(-8))*416/(-40). Solve 5*c - 20 = 0, 3*m + 3*c - a = -11 for m.
1
Let q(p) = -2*p - 12. Let j be q(-8). Let f be j/(-6) - 112/(-24). Suppose 0*l + l = f. Solve -2*u + 19 = 3*d, u = l*d - 0*u - 7 for d.
3
Suppose -2*b + 0*d - d = -50, d = 3*b - 80. Let o = b - 21. Solve 0 = -2*y - 0*y - 3*v + 3, 2*y - o*v = 11 for y.
3
Suppose 2 = -2*v - 2*m, 2*m - 150 = v - 158. Solve 5 = -4*g + 5*c - 16, c - 3 = v*g for g.
1
Suppose -15*i - 192 = -31*i. Solve -4*y + i + 1 = v, y - 5*v - 19 = 0 for y.
4
Let k = -29 + 35. Let u be 1/3 - (-16)/k. Suppose -c - u*z = z + 8, -5*z - 10 = -2*c. Solve c = -a - 4*m + 8, 3*m = -3*a - a + 19 for a.
4
Suppose 3*s = 4*b + 3, -2*b - s = -3*b - 2. Solve 4*c - 3*c = 4*z - 19, -4*z + 17 = -b*c for c.
1
Let r(f) = -f**3 - 20*f**2 - 19*f + 6. Let g(y) = -y**3 - 12*y**2 - 11*y - 19. Let u be g(-11). Let w be r(u). Solve -1 - 3 = j + t, -5*j - w = -2*t for j.
-2
Let v(z) = -3*z**3 - 4*z**2 - 4*z - 1. Let j be v(-1). Solve 2*t - 12 = w, -3*t - 8 = j*w + 3*w for t.
4
Let l be (-3 - (2 - 4))*75/(-25). Solve l*n + k + k = -22, 2*k = 3*n + 2 for n.
-4
Let k(g) = -3*g**3 + g**2 - 3*g + 5. Let a be k(2). Let u be (12/a)/(2/(-14)). Solve -u*w = 5*m - 9, -w = -0*m - m for w.
1
Let q(r) = 78 - 31 + 1626*r - 1650*r + r**2. Let o be q(22). Suppose 0*s + 3*s - 3 = 0. Solve -o*a = 0, 4*v - 15 = -4*a + s for v.
4
Suppose 3*z = 5*g - z - 37, 4*z = g - 17. Suppose -56 - 44 = -25*c. Solve -g*k - 2*l = -0 - 15, k - l = -c for k.
1
Let d(o) be the first derivative of -o**2/2 + 13*o + 9. Let h be d(11). Solve w + 3*b - 12 = -0, 3*w + 8 = h*b for w.
0
Let i = -376 - -406. Solve -2*n + 2*y + 10 = i, 2*n + 30 = 4*y for n.
-5
Suppose -2*o + 22 = 8. Suppose -4*b = -3 - 13, 3*s - o = 2*b. Solve -11 = s*i - 2*h, -h + 9 = -3*i + h for i.
-1
Let r be -7*(1 + 4 + -2). Let b = r + 28. Let s = b - 7. Solve 10*h + 2*u = 5*h - 5, -u = s for h.
-1
Let c be 1/(-1) + 12 - 3. Suppose -l = -c*l. Solve a = 2*w - l - 8, 0 = -3*w - 3*a + 21 for w.
5
Suppose -5*t - 27 = -7. Let k be -1 - -3 - (t + 1). Suppose -5*d = -c - 22, 0 = -3*c - c + 12. Solve -3*a + 2 + d = g, 21 = k*g + a for g.
4
Let w = 2 - 11. Let g be 30/135 - 16/w. Solve -4*c = -2*n + 6, g*n = c + 3*n - 3 for c.
0
Suppose 0 = -7*z + 3*z + 28. Let a(h) = -h**3 + 7*h**2 + 2*h - 10. Let r be a(z). Let v = r + 28. Solve -4*u = -3*k - v, 2*u + 0*u - 30 = 5*k for u.
5
Suppose -3*b + 12 = -4*i, i = -3*b - 2*b - 3. Suppose b = -2*q - 4 + 2, d = q + 12. Solve w = 3*v - 8 - 1, v + d = 5*w for v.
4
Suppose 2*g - 2*m + 6 - 2 = 0, 0 = g + 3*m + 10. Let t be (-1)/g + 120/32. Solve 0 = w + 3*h + 3, -2*w - t*h + h = 0 for w.
3
Suppose 167 = 4*t - 73. Let n = -57 + t. Suppose -f + 30 = -3*b + 4, 21 = f - 2*b. Solve z + 2*a = 3, -2*z + 4*a - n*a = -f for z.
5
Let h(b) = 15*b + 95. Let a be h(-6). Solve 0 = -t + 3*n + 6, 4*n + 4 = a*t - 4 for t.
0
Let k(b) = -b**3 - 9*b**2 + 9*b + 23. Let s be k(-10). Suppose 8*o = 89 - s. Solve -o - 5 = 5*v + 2*f, 3*v - 2*f + 4 = 0 for v.
-2
Let m(f) = -f**2 + f + 1. Let q = -2 + 4. Let h be m(q). Let b be -1*(0 + -2 + h). Solve 0 = -3*p + b, -5*r - 2 = 3*p - 15 for r.
2
Suppose 4*i - 27 + 7 = 0. Suppose -19*h + 27 = -10*h. Solve -7*x + 5*v - i = -2*x, h*v + 11 = -4*x for x.
-2
Suppose 5*u + 470 = 90. Let l = -58 - u. Solve 0*q - 5*q - 4*w - l = 0, w = 5*q + 8 for q.
-2
Let n be 4 + (24/16)/(9/6). Solve g = -z - 5, -3*g = -5*z - n - 20 for g.
0
Let t be (-1 + (-9)/(-15))/((-17)/425). Solve -4*h = 2*n + 30, 2*h - 3*h = n + t for n.
-5
Let y(o) = 2*o + o + 14 - o - o. Let p be y(-14). Suppose 0 = 3*g - p*g - 30. Solve -5*n = l - 