 o = n*v for v.
-1
Let v = -3 - -5. Let m be (0 + 2)*5/v. Solve 11 = -m*i + 2*o, 2*i + 3*i = o - 8 for i.
-1
Suppose s + s - 2 = 0. Suppose m = 4*o + 4*m + 29, -2*m - 21 = 3*o. Let r = s - o. Solve 3*n + 4*f = r - 2, 0 = 2*n - 2*f - 12 for n.
4
Suppose 4 = 2*s - 4*n - 6, 0 = -3*s + 5*n + 14. Solve -5*x + 4*k - 11 = 5*k, -5*x - s*k = 3 for x.
-3
Suppose 26*g = -3*u + 25*g + 13, 2*g = 2. Solve -5*w = 2*b - 16, 8*w - 3*w = -u*b + 12 for b.
-2
Let p(d) = d**3 + 6*d**2 + 3. Let o be p(-6). Let t(u) = 2*u - 7. Let z be t(5). Suppose -3 = 2*g - z*g. Solve -g*c - o = -h - 19, h = -c for h.
-4
Let c(s) = s - 6. Let m be c(9). Let a be ((-24)/(-32))/(m/8). Let u be 1/(-2)*a/(-1). Solve -3 = -5*z + 2*r, 5*z + u = -2*r + 8 for z.
1
Let q = 19 - 11. Let a = q + -3. Let s(z) = 2*z - 8. Let w be s(6). Solve -a*u + 5*m = -15 + 5, w = 5*u - 2*m for u.
0
Let p = -19 - -29. Let d = -10 - -15. Solve -10 = c - 5*s + p, -d*c + 5 = -4*s for c.
5
Let u(b) = b**3 - 5*b**2 - 6*b + 4. Let l be u(6). Solve -i - 10 = -3*i - k, -10 = 2*i - l*k for i.
3
Let s(h) = h**3 + 6*h**2 + 3*h - 5. Let t be s(-5). Suppose 0 = -t*z + 24 + 1. Solve 0*v + z*p = -3*v - 5, 5*v + 4*p = -17 for v.
-5
Suppose 4*s - 34 - 6 = 0. Let v be s/(5 - (-12)/(-4)). Solve 0*n - n - v*d = -27, 2*n - 2*d = -6 for n.
2
Let r(f) = -2*f + 27. Let y be r(11). Solve 2*q + 0*q - y*b = 0, 0 = -5*b + 10 for q.
5
Suppose -2*j = j + 2*g - 29, 0 = 2*j - g - 10. Suppose -10*n + 39 = -j*n. Solve r + 5 = -k + n, -5*r = 4*k - 37 for r.
5
Let k be ((-9)/(-4))/((-5)/20). Let w = -5 - k. Solve 5*q - 7 = w*f, 3*q - 2*q + 4 = -f for q.
-1
Let o be (0 - 2)/(-4) + (-1)/2. Solve 0 = -o*j + 4*j, 0 = -t - j - 4 for t.
-4
Suppose 3*w - 2*w = -2. Let z be ((-2)/5)/(w/10). Let u = 9 - 1. Solve -3*v + u = -z*n, n = -4*v - 1 - 3 for n.
-4
Let u(s) = -2*s**3 + s**2 - s - 2. Let c be u(-1). Solve 0 = 2*t + 4, c*o + 5*t + 0*t = -18 for o.
-4
Suppose -6*g + 2*g = 240. Let a be 2*1/(-3)*g. Solve -5*z - d - a = 4*d, -z + 2*d = -1 for z.
-5
Let b = -206 + 213. Let w(r) = r**3 - 4*r**2 + 2*r - 6. Let s be 4/(-14) - 30/(-7). Let x be w(s). Solve -3*v - 5 = -c, 6*c - x*c + v = b for c.
2
Let j(b) = -3*b - 21. Let n be j(-12). Solve 3*d + 11 = -4*u + 38, -n = -3*d for u.
3
Let k be 1 + 0 - (-1 - 0). Let u be (-8)/20 + 7/5. Let j = 3 - u. Solve -h = j*i + 2, -h + 4*h + 6 = k*i for h.
-2
Suppose -h = 2*m - 4, 5 + 6 = 5*m + 2*h. Solve 4*z - 9 = m*p, -7 = -3*z + 3*p - p for z.
3
Let f = 4 + -1. Let m = f + -2. Let z = 23 - 11. Solve -5*q = -5*j - 10, 3*j + z = 4*q + m for q.
5
Suppose -5*t = -0*t + 85. Let a = 48 + t. Solve -5*u + 2*p + 20 = 0, a = 3*u - 0*u - 5*p for u.
2
Suppose -4*w = -1 - 7. Suppose -2*a + 3*a = 0. Suppose 4*p - 26 = p + 2*d, 5*p - 3*d - 45 = a. Solve -4*v + p = 4*x, 4*v + 2*x = w + 4 for v.
0
Let h = 11 + -6. Solve 0 = -4*r - 5*k + 45, 2*r - h*k + 50 = 7*r for r.
5
Suppose 4*j - 432 = -4*i, -3*j - 4*i + 0*i + 324 = 0. Let d be j/14 + (-6)/(-21). Solve u = 4*p - d*p - 20, 12 = -3*p for u.
-4
Suppose 3*k + 0 = 96. Suppose 3*r = 4*f - k, -15 + 3 = -4*f - 2*r. Solve 5*j - 4*i = -15, 0*j - f*j - 2*i + 15 = 0 for j.
1
Suppose 0 = 5*o - 15, -2*k - 39 = -5*k - 5*o. Let n = 13 - k. Solve 2*j = 3*q - 9, -5*j - n*q = -q - 35 for j.
3
Let k = -25 + 37. Suppose -2*h + 12 = 2*h. Solve -2*d + 3*y - 4 = 0, h*d - d = 5*y - k for d.
4
Suppose 0 = 4*t - 8, -v + 0*v - t = 2. Let w = 3 - v. Solve -r = p + 3*r, 0 = -p + 3*r + w for p.
4
Suppose z = 5*d + 25, 18 = -3*z - 5*d - 7. Let g = 16 - 12. Solve -f + z = g*c - 7, 2*c - 16 = 2*f for c.
3
Let t = -15 + 21. Solve -5*x = -g + t*g - 30, -g - 2 = -x for g.
2
Suppose -4*o - 12 = 2*q, -4*o + 0*o - 16 = 0. Solve 4*j - 4 = -3*d, 0 = -0*d + q*d + 4*j - 8 for d.
-4
Let a be 321/21 - 6/21. Solve 3*x + 8 = 4*g - a, -4*x - 2*g = -6 for x.
-1
Suppose p + p = 6. Suppose 4*g - 3*l = 15, -p*g + l - 10 = 3*l. Solve -4*h + g*t - t = -4, -h - t - 2 = 0 for h.
2
Let b(i) = 5*i + 6. Let u be b(-3). Let w be (-1)/(-2) - u/2. Solve a = 3*z, -w*z + 3 = -2 for a.
3
Let k(y) be the third derivative of -y**4/24 + y**3/2 - y**2. Let x be k(4). Let m be x/(-3)*(4 + -1). Solve -4*u + 5*b + 1 = 0, -3*u - 1 - m = -b for u.
-1
Let c = -3 - -24. Let g(t) = t**2 - 12*t + 16. Let u be g(11). Solve 24 = -u*k + o, 0*k + 4*k = -o - c for k.
-5
Suppose 8*s - 3*s = 15. Suppose 0 = s*u + 56 - 11. Let m = 27 + u. Solve 4*d - 5*x = 5*d - m, -x = -d for d.
2
Suppose 0 = n - 3. Let q(y) = y**2 - 3*y - 24. Let b be q(7). Solve 5*i + b*v - 4 = 0, n*i + 5*v + 3 = 8 for i.
0
Let v(h) = 3*h - 10. Let k be v(5). Solve -k*i - 31 + 6 = 4*r, -4*r = 3*i + 15 for i.
-5
Let t(b) = 2*b + 21. Let q be t(-5). Let s be 1 + (1 - 1)/(-1). Let i be q/2 - s/2. Solve -4*o + 2 = 3*h, 2*h - 16 = -5*o + i*h for o.
2
Suppose 0 = -2*d + 3 + 7. Solve -4*j = -5*m - 15, 2*m + 1 = -d*j + 28 for j.
5
Suppose 0 = -z - 5*i + 9, -6*i = 2*z - 4*i - 2. Let g be (0 + z)/(7/(-14)). Solve 0 = -g*b + 5*y - 16, 4 = -2*b + 5*y - 6*y for b.
-3
Suppose 6*l = 11 + 7. Solve l*z - 4*p - 5 = 0, -3*z - 2*p + 11 + 0 = 0 for z.
3
Suppose 2*s - l + 2*l = 26, 4*s = -5*l + 64. Suppose 0 = 6*q - s*q. Solve 5*z - 19 = 4*t, q*z - t - 4 = -z for z.
3
Suppose 3 = 4*q - 9. Solve -s - 5*f - q = -26, 0 = -3*s + 5*f - 11 for s.
3
Let x(z) be the second derivative of -41*z**3/6 - z**2/2 - 5*z. Let d be x(-1). Solve 0 = 5*q - 0*c + 3*c - 5, -4*c - d = -5*q for q.
4
Suppose -32 = -2*g - 2*a, -a = g + a - 17. Let k be 1/1 + (16 - g). Solve 2*h = -4*r + 9 + 1, 0 = -4*r + k*h + 22 for r.
4
Let j(x) = -x + 2*x - 12 + 2 - 2*x. Let y be j(-13). Solve 5*g + 35 = -5*f, f = 7*g - y*g + 8 for f.
-4
Let a(l) = -2*l + 6. Suppose -3*z - 45 = -18. Let p be a(z). Solve 0 = 5*v + 3*u - p, -u = v - 0*u - 6 for v.
3
Let q = -4 + 1. Let o be -2*q*(-2)/4. Let y be (-4)/10*(-2 + o). Solve 4*h + 13 = 5*l - y, 0 = h for l.
3
Suppose 44 = -3*v + l - 0*l, 5*v + 75 = 2*l. Let p = v - -17. Solve -4 = z - p*r + 16, 5*r - 24 = z for z.
-4
Let v(h) = h - 1. Let r(c) = 10*c + 2. Let b(g) = -r(g) - 2*v(g). Suppose -2*s = -2 + 4. Let u be b(s). Solve -4*p = 8, 3*w + 2*p + u = -1 for w.
-3
Suppose -v - 8 = -3*v. Suppose 50 = v*y + y. Suppose -5*d + 0*d + y = 0. Solve u = 2*w - 10, -d*w + 7*w + 3*u - 14 = 0 for w.
4
Suppose d + d = -3*y + 19, y = 3*d - 1. Solve y*j + 3*l - 4 = -3, 0 = -3*l - 9 for j.
2
Suppose -3*d - d = k - 9, 0 = -d + 4*k + 15. Solve s - 2 = -4, s = -n + d for n.
5
Let h = -12 + 16. Solve -h*i = 2*r + r, -i = -3*r for r.
0
Let y be 9/(-45) + (-22)/(-10). Suppose -3*b - 4*f + 7 = -18, 1 = 3*b - y*f. Solve 3*u - 8 = -2*u + 4*p, 3*u + b*p = 21 for u.
4
Let y(k) = k**3 - k - 1. Let c = 0 - -2. Let j be y(c). Let o be (24/(-15) + 1)*-5. Solve 2*z + 15 = 5*r, 0 = j*r - o - 22 for z.
5
Let f(m) = -2*m**2 - m + 1. Let c be f(4). Let x = c - -56. Suppose -2*s + 48 = 2*l, l + s + 3*s - x = 0. Solve -l = -5*n - 5*k - 10, -2*n - 6 = -k for n.
-1
Let q be 0/(5/((-5)/(-2))). Suppose q = -7*r + 4*r. Let s(d) = -d**2 + d. Let o be s(r). Solve z - 6*z + i = o, -z - 3*i = 16 for z.
-1
Let c(s) = 10*s + 52. Let r be c(-5). Let g = -9 + 14. Solve -10 + 24 = -r*l - 4*q, g*l - 10 = -q for l.
3
Let m = 35 - 20. Let y = m + 7. Solve -5*n = 3*c - y, -14 = -n - n + 4*c for n.
5
Suppose -2*u = -5*y - 26, 0*y = -3*u + 5*y + 34. Suppose b = 4 + u. Solve 5*n = 4*g - 10, -2*n - b = -4*g + 2*n for g.
5
Let a = 18 + -16. Let b be (-8)/(-1) + -10 + 6. Solve 5*g - b*v = -0*v + 3, -a*v = -5*g + 9 for g.
3
Let j be 5/(-2 - (-21)/10). Suppose 4*u = -2*x + j, -4*x + 39 + 13 = -4*u. Let g be (-2)/3*(-5 - 1). Solve -s - g*z - 21 = 0, -4*s - z - x - 7 = 0 for s.
-5
Suppose -4 + 10 = 2*y. Solve -p - y = -4*l, -8*p = -3*p + 2*l + 15 for p.
-3
Let i(u) = u + 40. Let q be i(0). Suppose -4*f - f = -q. Solve 3*n - 7*n = -4*g - f, -4*g = -5*n + 5 for n.
-3
Suppose 0 = -0*g + g - 5. Let q(x) = x**2 - 3*x. Let b be q(4). Let m be (0 - 3)/(3 - b). Solve 1 = s + y + 4, 0 = 4*s - g*y + m for s.
-2
Suppose -t = -2, 3*d - 3*t + 9 = -21. Let w be (-45)/(-4) - 6/d. Suppose -4*n + n + w = 0. Solve 4*m = 3*f + 15, 20 = -n*f - 6*m + 3*m for f.
-5
Let h(o) = 0*o**3 + o**3 + 9*o**2 + 5 - 20*o**2 + 11*o. Let q be h(10). Solve z + q = -z - 5*m, -z - 4*m - 15 = 0 for z.
5
Let x be 4/(-22) + 229/(-11). Let u = x + 25. Solve 0 = -u*y - 3*v - 12 - 23, -2*v - 25 = 3*y for y.
-5
Let z(