 -a*n = 5*o - 30, -3*n + 24 = n + o for n.
5
Let j = -30 + 32. Suppose 2*q + 4 + 12 = -4*k, -3*k = q + 13. Solve -2*f - q*m = -3*m - j, -f + 1 = 3*m for f.
1
Let q = -302 - -307. Solve q*o = -5*l + 20, 5*o = -4*l + 6*o + 16 for l.
4
Suppose 0*f - 10 = 2*h - 5*f, -5*h + 5*f + 5 = 0. Solve h*k = -p + 4, 5*k + 4 = 5*p + 14 for k.
1
Suppose -6*s = -2*s. Suppose 0 = -b - s*b + 3. Let t be -11 + 3 + (-55)/(-5). Solve -2*r = -b*r - t*f + 9, -4*r + 3*f = -6 for r.
3
Suppose 3 = 5*i - 2. Suppose -p = -0*g + 4*g - 46, -47 = -5*g + 4*p. Suppose -g = -m - 8. Solve -2*q = -3*s + 5, 4*q - 3*q = m*s - i for s.
-1
Suppose -3*k - 5*a + 43 = -6*a, -5*k + 3*a + 69 = 0. Let v(z) = -z**2 + 16*z - 13. Let s be v(k). Solve 6 = -3*m + 4*m + s*c, 17 = -3*m + c for m.
-4
Suppose -7*w - 30 = -2*w. Let n be (w/(-5))/((-8)/(-20)). Solve 1 + n = 4*z + b, 2*z = -5*b + 20 for z.
0
Let d = 193 - 193. Solve -g = -0*y + y + 4, d = -5*g for y.
-4
Suppose 6*a = 30 - 18. Suppose -i = 2*i. Suppose i = 7*k - 2*k. Solve w - t + 5 = k, w = -2*w - a*t for w.
-2
Let y(b) = -2*b**2 - 13*b - 3. Let f be y(-6). Solve 21 = -v + 5*n - 10*n, -3*v - 3*n - f = 0 for v.
4
Let b(d) be the first derivative of 2*d**3/3 + d - 14. Let l be b(1). Solve 0 = 3*n - 2*x + 13, 4*n - l*x + 15 = n for n.
-3
Suppose -5*f + f + 36 = 0. Let n(x) = -x**3 + 10*x**2 - 8*x - 9. Let w be n(9). Suppose -3*j + f = -w*j. Solve -5*c = 2*q + 5, -j*q = -2*q + 3*c + 4 for q.
5
Let t(x) = 2*x**2 - 4. Let m be t(2). Solve 7*g - 2*g + 5 = -2*h, 32 = 4*h - m*g for h.
5
Suppose -8 = -3*i + 5*o, 2*i - 12 = -o + 2. Solve -3*d - 1 = 5*g, d = g + i - 1 for d.
3
Suppose 5*z + 5 = 20. Suppose 5*k - y + 36 = -0*k, 0 = -2*k + z*y - 4. Let p = k - -8. Solve 4*f + p*f - 25 = -5*w, 2*w = 2 for f.
5
Let n = 1956 + -1940. Solve -2*i - 8 = -2*g, -n = 4*i - 0*i - 2*g for i.
-4
Let w(x) = -4*x + 24. Let p be w(0). Let v = p - 7. Solve u + 4*c + v = -4*u, 5*u - 3*c - 4 = 0 for u.
-1
Let r(x) = -5*x**3 + 2*x**3 + 2 + 3*x**3 + 2*x**3. Let t be r(2). Suppose 4*i - 8 = 8. Solve 4*p + 6 + 22 = -i*v, -3*p - 2*v = t for p.
-4
Suppose -3*r - 5 = -4*r. Let p(w) = -7*w - 8. Let v be p(-2). Suppose a + 5*c = -12, v*a + 4*c = 2*a. Solve -a*o + 5*o - 8 = -2*j, -r*o = j - 24 for o.
5
Let g = -145 - -147. Solve 0 = -4*c - h - 9, -4*c + h = -g*h + 21 for c.
-3
Suppose 2*l = -2*l + 8. Let m(f) = 39 + 5*f**l + 2*f - f**3 - 50 + 3*f**2. Let y be m(8). Solve b + 14 = -y*d, 19 = -2*b - 3*d + 5 for b.
-4
Suppose -5*x + 28 - 18 = 0. Solve 2*v = -x*s - v + 2, 5*v = 4*s - 4 for s.
1
Let s be 3*(-2 + (-20)/(-6)). Let p(r) = -6*r - 61. Let t be p(-11). Suppose 3*v + 36 = 3*l, 0*l - 4 = 2*l + 5*v. Solve t*g + l = 4*x + g, 3*g - s = -2*x for x.
2
Let l be 6*(-2)/(-3) - 1. Suppose -5*z + l*y = -14 - 26, 3*z - 5*y = 24. Solve 2*c = 2*x + 4, z = 3*c - 4*c - x for c.
-3
Suppose 83*g = -166 + 1577. Solve 10*c - 6*c - 3*w = -g, 4*c + 2*w + 2 = 0 for c.
-2
Suppose 10*b - 81 + 51 = 0. Solve -k - b = w - 5, -3*k - 10 = -w for w.
4
Suppose -c - 4*c + q + 84 = 0, -c = q - 18. Let p be (-4)/(-6) - (-19)/3. Solve j + 2*m = -p, 3*j + 5*m = -0*m - c for j.
1
Suppose 0 = -15*s + 18*s - 9. Solve 0 = 5*t + 4*y + 4, s*t = 6*t + y + 1 for t.
0
Let y = 73 - 134. Let o = -59 - y. Solve -6 = -o*d, d - 3*d = 4*u - 6 for u.
0
Let k(v) = v**2 + 5*v + 5. Let y be k(-5). Suppose 4*z - y*b = -0*b + 117, 3*z = -b + 83. Solve 2*m = 4*d + 14, 3*d + m = -2*d - z for d.
-5
Suppose -4*g - g = 45. Let h = g + 11. Suppose 7*q = h*q + 25. Solve 5*k - q*p + 20 = 0, k + 2*k = -3*p + 18 for k.
1
Let k be ((-54)/(-4))/((-18)/(-36)). Let l = 30 - k. Solve 0 = l*h - 4*w - 23, -2*h + 6 = 4*w + 24 for h.
1
Let z = 795 + -771. Solve f + z = 5*y - 2, 5 = -5*f for y.
5
Suppose 5 + 5 = 5*p. Solve x + x = -2*m, -4*x - 2*m = -p for x.
1
Let r be (-51)/15 + (-6)/(-15). Let d be (-1 - 2)*r + 1. Let z(b) = -4*b**2 + 24*b. Let w be z(6). Solve 3*k - 5*o - 13 = w, -d = 3*k + o + 7 for k.
-4
Suppose 4*c - 37 = -0*j - 3*j, -4*c = 2*j - 26. Solve 2*t - 3*w + j = t, 5*w - 25 = 5*t for t.
-2
Suppose 44*b - 49*b - 315 = 0. Let f be (1/3)/(((-6)/b)/2). Solve 0 = 5*k - r - 3*r, 3*k = r - f for k.
-4
Let z(u) = 2*u - 28. Let w be z(14). Suppose 3*y - 3*t + 9 = w, -2*y + 14 = 6*t - 4*t. Solve -13 = y*v - 5*s, 2*s - 20 = 4*v - 2 for v.
-4
Let z be 4*(-1)/(-6) - 4/(-3). Solve 2 = 2*j - b - 10, 3*j - 4 = -z*b for j.
4
Suppose 4 + 14 = 3*g + 4*z, -3*z + 1 = g. Let t(b) = 4*b**2 - 37*b - 10. Let v be t(g). Solve -3*y = -y + 4*p - v, -3*p = -15 for y.
0
Suppose 20*w = 295 + 305. Suppose 0 = 3*n + 2*n - w. Solve -2*s - n = -u, -5*u - s - 9 = 2*s for u.
0
Suppose 3*s = -4*k - 0*k + 22, -42 = -5*s - 4*k. Solve 0 = -b + 5*f - s, -3*f + 6 + 22 = -5*b for b.
-5
Suppose 260 = 2*v + 11*v. Solve 2*a = 2*d + 8, 8*a - d - v = 3*a for a.
4
Let a(s) = -s**3 + 44. Let b be a(0). Suppose 0 = -2*c - c + m - b, -4*c = 2*m + 62. Let r = -11 - c. Solve 0 = -5*h - 2*z + 4, -2*z - z - 1 = r*h for h.
2
Let b(a) be the second derivative of 6*a**2 + a - 1/12*a**4 + 0 + 11/6*a**3. Let k be b(9). Solve p - 3*o + o = 13, 3*o + k = 5*p for p.
3
Suppose 3*k + 4*z = 2, k + 0*z - 10 = z. Solve 4*i - d + 3*d - k = 0, 2*i - 4*d = -22 for i.
-1
Let y(h) = -16*h - 174. Let g be y(-11). Solve g*s = -t + 3, -2*s - 11 = 4*t + 1 for t.
-5
Suppose 14 = 5*a - 4*t, 3*a - 18 = -2*a + 3*t. Suppose 2*c - a = -0. Let d be ((0 - -1) + 1)*5/10. Solve 0 = y - l - 5, 0 = -y - 3*y - c*l - d for y.
2
Let w be 75/6*(-8)/5. Let o = 23 + w. Suppose d = o*d. Solve 5*f + 13 + 7 = 0, -4*t - 3*f + 4 = d for t.
4
Let w = -1512 - -1516. Solve 5*y = -2*i + 18, -w*y + 5 + 15 = 3*i for i.
4
Suppose 2*m + 0 = -4*h + 18, -3*h + 1 = -m. Suppose h*x = 10*x. Solve x*n - 2 = -u + n, 3*n - 3 = 0 for u.
3
Suppose -5*m + 20 = 2*t, -3*m = 2*t - 7*m - 38. Suppose 5*z + 12 = -3*h + 2, 0 = h + 4*z + t. Solve -8 = 2*i - 2*d, -4*i + 2*i + h*d - 20 = 0 for i.
0
Let o(b) = -2*b**2 + 11*b + 21. Let z be o(7). Solve -5*k + 3*k + 10 = 2*l, z = 4*k for l.
5
Suppose 7*s - 2 = 12. Solve -3*j = -s*d + 6, 0*j - 3 = -d - 2*j for d.
3
Let j be ((-3)/1)/(72/(-48)). Let z be -2 + 1 + 1 + 2. Suppose -z*f = -3 - 1. Solve 1 + 6 = 3*w - 2*o, -f*w + 2 = -j*o for w.
5
Let k = 662 - 660. Solve 2*x - 6 = 0, 0 = -k*a + a - 5*x + 17 for a.
2
Suppose q - 2*q - 17 = 2*w, 5*q = -2*w - 5. Let f be 116/w + 16/(-40). Let l = 12 + f. Solve 5*c + 20 = -3*p, p + l*c - 3*c = -2 for p.
-5
Let t = 10 - 8. Suppose 7 - 1 = t*a. Solve 5*o + 7 = -4*d + 3, -5*d - 5 = -a*o for o.
0
Suppose 0 = d + m - 14, -m - 5 = 4*d - 55. Solve 4*j = -16, -j - d = -5*k - 3*j for k.
4
Let l = 131 - 130. Suppose -27 = -7*q + l. Solve q*k = 4*a - 4, 4*a + 5*k = -7 - 7 for a.
-1
Let n be (4 + 2 + -1)*(-2)/(-5). Solve -3*v + 20 = -4*x + v, -2*x - 6 = n*v for x.
-4
Let d be ((-2)/(-6))/(1/3). Solve 13 = -5*z - 4*f, 0 = -2*z + 4*f - d + 7 for z.
-1
Suppose -y + 2 + 16 = 0. Let j be y/12*4/(-6). Let p = j + 7. Solve 3*s - 9 = -3*t, t = p*t + 4*s - 12 for t.
0
Suppose r + 24 - 32 = 0. Solve 0 = 5*n - 3*c - 0 + 4, c - r = 5*n for n.
-2
Let s(j) = -5*j + 3. Let w be s(2). Let m be w/(-4) + (-15)/20. Solve 5*r + 2*l = 28 - 3, 0 = 3*r - 2*l + m for r.
3
Let n = -131 + 136. Solve 4*u + 5*v = -26, -2*v = n*u - v + 22 for u.
-4
Suppose -122*q + 121*q = -2. Suppose -5*k + q*a = -78, 2*k = 7*k - a - 74. Solve 0 = 2*b - 5*f + 2 - k, 2*b + 2*f + 16 = 0 for b.
-4
Let r(d) = -d - 4. Let t be r(-8). Suppose 8*h - 7*h = t. Solve -x = h*x + 5*m - 20, m = -4*x + 19 for x.
5
Let u = 52 + -47. Solve -4*n + 9*n = -4*y + 4, -5*y = 3*n - u for n.
0
Suppose -5*g = 5, 0 = -2*t - 3*g + g - 38. Let w be (3/6)/((-3)/t + 0). Let m = -16 + 35. Solve -r - 20 = -2*y + w*r, -4*y = -r - m for y.
4
Suppose 3*o - 5*o = -10. Suppose -i + 11 = 3. Suppose i*z = 3*z. Solve -b - 2 + 0 = z, -b - 22 = o*d for d.
-4
Let d be ((-14)/8)/(-1) - 93/124. Solve -2*r + d = -p - 2, 25 = 5*p for r.
4
Let z = 133 - 130. Let w be (z/2)/(-9*(-5)/600). Solve 0 = y + 4*f + w, -f = -3*y - 5*f - 28 for y.
-4
Suppose -o = d, 0*o + 18 = 4*d - 5*o. Suppose 2*h = d + 4. Solve 3*a + 4*n = 3, -a = n - 4 + h for a.
1
Suppose -14*h + 19 + 9 = 0. Solve -5*l - 3*d = -7, -h*l + 3*d + 8 - 22 = 0 for l.
-1
Suppose -7*m = 11*m - 7*m. Solve -p - 2 = 5*f + 8, -5*f + 2*p + 5 = m for f.
-1
Let x(q) = q**3 - 4*q**2 + 3. Let b be x(1). Let i be (4/(-5))/((-2)