 1. Let i be o(b). Suppose -i*l = l - 15. Solve 3*n = -5*w + 11, 0 = -4*w + w - l*n + 13 for w.
1
Suppose -5*w + 10 = 3*k - 9, -w + 2*k + 9 = 0. Solve -26 = w*t - 1, -5*a = -3*t - 35 for a.
4
Suppose -m - 2*m = -42. Let n = -10 + m. Suppose -n*a - 3*l - 2 = -8, 3*l + 6 = 0. Solve -5*t + 11 = k + 2*k, a*t = 4*k + 24 for t.
4
Let k(n) = n**2 + 22*n + 15. Let h be k(-21). Let u be (3 + -2)/(h/(-30) - 0). Solve u*g = -5*s + 10, -5*s + g = 6 + 14 for s.
-3
Suppose -v - l = -1, 5*l - 4 = -3*v - 5. Solve 6 - 20 = t + 3*w, -t + v*w = -10 for t.
-2
Let x = 2 - -3. Suppose 4*l + 8 = 24. Let y = 9 - l. Solve -4*b + 15 + 2 = -5*c, -y*c - 20 = -x*b for b.
3
Let c = 27 - 19. Suppose -3*k - 2 = -3*q - c, -k + 5 = 2*q. Solve 4*n - 2*b - 2 = 0, -k*n + 0*n = -2*b - 2 for n.
0
Let b be (1 + 14)*((-21)/35)/(-3). Suppose 0 = 5*r - 54 + 19. Solve x = -w - 0*x - b, w + r = -5*x for w.
-2
Let m = 0 - -8. Suppose 0 = t - n - 7, m*n + 17 = -4*t + 3*n. Let s be 20/5*1 + -2. Solve 0 = 3*x + t*i - 7, -i = 3*x + s*x - 14 for x.
3
Let h be (-2)/(-9) + (-356)/(-18). Suppose 8*y + 5*f + 15 = 13*y, 0 = -3*y - f + 5. Let a be 2/4*(3 + 3). Solve -5*j = a*m - h, -2*m - 12 = -4*m - y*j for m.
5
Let z(n) be the second derivative of 3/2*n**2 + 0 + 3/2*n**3 - 1/12*n**4 - n. Let f be z(9). Solve 0 = 2*c + 6, -2*g = -3*g - f*c - 8 for g.
1
Let k(b) = -10*b**3 + b**2 - 1. Let z be k(-1). Let n = -19 + z. Let o be (-16)/(-3) - (-3)/n. Solve 4*c + 4 = 3*c + o*r, -5*c + r = -4 for c.
1
Let a be 11/2 - (-12)/(-8). Solve r - 3*h = -a*r + 28, -4*h = -5*r + 29 for r.
5
Suppose 5*o + 75 = 6*d - d, -2*d + 78 = -5*o. Let t be (o/(-20))/((-44)/(-20) + -2). Solve -t*b - 4*f = f + 27, 18 = -b - 5*f for b.
-3
Suppose -2*y - 20 = -7*y. Let w = -15 - -17. Suppose 0 = -4*l + 3*q - 4*q + 16, -w*l + 2*q = 2. Solve y*r + 2*h = 16, -l*h - 3 = -r - 2*r for r.
3
Suppose -2*f - 3 = 4*t + f, -4*t - 2 = 2*f. Let c be 1 + 3 + t/14. Suppose -c*x + 51 = g - 4*g, -50 = -5*x + g. Solve 2*i + x = -3*i + 2*s, -5*i - 3 = s for i.
-1
Suppose -2*o + 5*d - 34 - 20 = 0, -4*d = 8. Let v = -28 - o. Solve v*m = -4*n - 4, 0 + 2 = -2*n - m for n.
-1
Let g(p) = 2*p + 22. Let q be g(-9). Suppose -4 = -4*a + q. Suppose 0 = 3*h - 9, -58 = -5*z - 0*z - h. Solve -a*c + z = 5*d, -c + 2 + 3 = 2*d for c.
3
Suppose -4*s = -5*l - 7, 0 = 4*l - l - 3. Suppose 3*z = 4*v - 3, -18 = -s*z - 2*v - v. Solve -b = -2*x + b + 8, -12 = -5*x + z*b for x.
0
Let w(g) = g**2 + 14*g + 42. Let k be w(-10). Solve -3*o + 0*o = b + 5, 2*b + 6 = -k*o for o.
-1
Let g be (1 - -6) + (3 - 5). Let o = -103 - -119. Suppose 9 + o = g*z. Solve -2*r + 4*p = 8, -5*r = -0*r - z*p + 5 for r.
2
Let o be (-3)/(-6)*6 - 10. Let q be 2/(-3)*(-13 - o). Suppose -4*x + 92 + 8 = 4*z, -16 = q*x. Solve -4*i + 3*r + z = 0, -3*i + 5 = 3*r - 1 for i.
5
Let z(h) = -h**3 - 3*h**2 - 3*h - 6. Let o be z(-3). Let n(w) = -9 - o*w + 1 - 16 + 1. Let r be n(-9). Solve c + 3 = -3*a - 2, -2*a - 10 = r*c for c.
-2
Suppose -3*m + 90 = -4*x, -5*m + 58 = -2*x - 78. Let f = m + -15. Suppose -f - 104 = -5*z. Solve 2*i + 6 = -3*c, 3*i = 4*i - 5*c - z for i.
3
Let l be ((-14)/42)/((-2)/54). Suppose -l*j + 13*j - 12 = 0. Solve -j*c = 5*g - 2*g + 12, -19 = g + 4*c for g.
1
Let z be ((-15)/(-18))/((-8)/(-48)). Solve q - 3*p = -5, -z*q - p - 3*p = -13 for q.
1
Let i be (-2)/8*5*-4. Let h be (-62)/(-18) + 204/(-459). Solve 4*z + h*a + 33 = 10, 5 = i*z - 3*a for z.
-2
Let t(q) = 3*q + 7. Let x be t(-1). Suppose u + 18 = x*u. Suppose g + 5*y = 10, -4*y + 8 = -g - g. Solve -h - 20 = -4*v - u*h, g = -v - h + 5 for v.
5
Let a = -112 - -178. Let f = a + -64. Solve 2*k = -4*s - 3 + 29, f*s + 3*k - 23 = 0 for s.
4
Suppose 51 = 8*f - 5. Solve -2*w + f*w = t + 20, t - 3*w = -14 for t.
-5
Let k be (-2 - -1)/(1/(-3)). Let a = k + 0. Solve 5*m = -5*o + m - 10, -5*o = a*m + 10 for o.
-2
Suppose l + 1 = 2*u, -3*l - 1 + 4 = -3*u. Let z be 6/4 + (-9)/(-6). Let i(y) = y**3 - 15*y**2 + 6. Let x be i(15). Solve 0 = -x*r + 4*r, z*m = r + l for m.
1
Let z(k) = 2*k**2 - 21*k + 43. Let j be z(8). Solve i - 4 = 3*b, -3*i + 0 = -j for b.
-1
Let g = 86 + -192. Let a = -99 - g. Solve 0 = 5*k + 5*o - 8 + 23, a = -3*k - o for k.
-2
Let w(q) = q**3 + 17*q**2 + 52*q. Let k be w(-4). Solve -5*f + 3*j = -k*j + 3, 5*j = 5*f + 5 for f.
0
Suppose 0 = 4*r - 48 + 32. Solve 5*g = -3*f - 35, -4*g - 41 = r*f + f for g.
-4
Let q = 85 - 62. Solve -5*k = 2*n - q, -4*k + 29 = -n + 8 for n.
-1
Let o(a) = a**3 + 22*a**2 + 37*a - 57. Let w be o(-20). Solve -n = -0*n + w*y + 7, 3*n - y - 9 = 0 for n.
2
Suppose 9*g + 164 = 425. Solve 26*i - g*i = -4*h + 10, 5*i - 14 = -h for i.
2
Suppose 8 = 2*b + 5*f, 13*b - 3*f = 16*b - 12. Solve 2*z - 5*u - 29 = 0, 5*z - 3*u = 21 + b for z.
2
Let w = 11 + 14. Suppose 58 = -4*f + f + 2*b, -f + 3*b - 10 = 0. Let j = w + f. Solve -j*t - 3*g = 3, 0 = -2*t - 2*t + 2*g + 8 for t.
1
Let k = -119 - -82. Let r = -20 - k. Let g = 19 - r. Solve 0 = -s - g*b + b + 2, b = 1 for s.
1
Let s(v) = -v**3 + 11*v**2 - 2*v + 22. Let a be s(11). Suppose a*u + 15 = 5*u. Solve -2*q - c + 4*c + 9 = 0, -3*q - u*c = 24 for q.
-3
Let u be (52/(-12) - -3)*3. Let l = -2 - u. Suppose -9 = -h - l*h. Solve -2*b = -0*b - 4, -q - h*b = -10 for q.
4
Suppose -19 = 12*u - 91. Solve 2*y - 4 = -2*a + u*y, -5*a + 5*y = -5 for a.
0
Suppose -d + 817 = 812. Solve -4*z - 3 = -2*z + 5*k, -d*z + 2*k - 22 = 0 for z.
-4
Let h be 1/(-3) - (-7)/21. Suppose 4*f - 21 = 4*k + 7, -f - 4*k - 13 = h. Solve 5 - 1 = 2*v - 3*t, -4*t = f*v - 23 for v.
5
Let r(d) = 5*d - 2. Let f be r(2). Let w = 8 - f. Suppose 4*b - 12 = -w*b. Solve x + x - b*z = 9, 5*z + 16 = 3*x for x.
-3
Suppose o - 9 = 3*n, 3 = -5*o - 4*n + 10. Suppose 26 = 4*c + 5*y, 19*y = 20*y - 2. Solve 5*x - 5*m = -5, -13 + c = o*x - 5*m for x.
2
Let w = 106 - 103. Solve 4*a + 10 = -3*y, -5*y = 4*a + 3 + w for a.
-4
Let j be (11 - 13)/((-12)/10 - -1). Suppose -2*w = -7*w + j. Solve -3*d + 5 = 5*i + w*d, -2*i = -d + 10 for i.
-3
Let y = -127 - -132. Solve -4*o = y*p - o - 7, o = 2*p + 6 for p.
-1
Let s(o) = -7*o - 35. Let f(h) = h. Let x(y) = 5*f(y) + s(y). Let k be x(-19). Solve -k = 5*r - 0*g + 2*g, -4*r = -3*g + 7 for r.
-1
Suppose 26*s = 37 + 41. Solve 3*q + 2 = q, 5*c - 22 = -s*q for c.
5
Let i(v) = 3*v**2 + 23*v + 47. Let a be i(-5). Solve 2*b + a + 1 = -2*y, b + 4 = -4*y for y.
0
Let m(f) = f**3 - 5*f**2 - 5*f + 4. Let j be m(6). Suppose -3*r = -5*g - j, 0*g + 6 = -4*g + 2*r. Solve -g = -x + 2*a - 2, 4*a = 12 for x.
5
Let u be 15916/1211 - 1/7. Solve 0*b + u = -v - 4*b, -3*v = -4*b - 25 for v.
3
Let l be (2 - 0) + 0 - 14. Let j be (-2)/l + (-9)/54. Suppose -v = -h + 2, j*v + 3*v + h = 2. Solve -5*r + 2*o = 1, r - 5*o + 0 - 9 = v for r.
-1
Let v(j) = -5*j - 2*j**2 - j - 7*j + 0*j**2 - 4. Let r be v(-7). Let z = r - -14. Solve 5*q = -3*d + 34, 0 = 2*d - 9 + z for q.
5
Suppose 4*a = k + 103, -4*a - 4*k + 101 = -a. Solve -u - 14 = -3*o, a = 2*o + 2*o - 3*u for o.
3
Suppose 41*z - 74 - 172 = 0. Solve -z = 2*k - 5*k + 3*b, -5*k = b - 4 for k.
1
Let b(m) = 4*m + 9. Let n(f) = -f + 1. Let d(r) = -b(r) + 5*n(r). Let g be d(-1). Solve -2*i = g*h + 16 - 0, -5*h - 13 = i for i.
-3
Let d = 896 - 892. Solve -2*s = 3*n + 5, -d*n + 0 = 2*s + 10 for s.
5
Let x(w) = w**3 + 2*w**2 - w - 2. Let c be x(1). Suppose c = -9*q + 12 - 3. Solve -2*n = -4*d - 20, d + 3*n + q + 4 = 0 for d.
-5
Suppose v = -2*v - 42. Let i(r) = 10*r**2 - 3*r + 3. Let y be i(2). Let x = v + y. Solve -3*s + 4*p + x = 0, 2*s = -4*p + p + 4 for s.
5
Suppose 0 = -23*r - 146 + 192. Solve 0 = -r*i + 3*x + 5, 5*i - 4*x + 5 = -0*x for i.
-5
Suppose -4*m - 3*w = 2*w - 13, -4*m = 4*w - 16. Suppose -3 + 31 = m*c. Solve -3*u - 16 = 5*f - 4*u, 3*f + 28 = -c*u for f.
-4
Let l(b) = b**2 + 5*b - 46. Let d be l(5). Solve 5*g - 23 = v, 0 = 3*g + v - d - 13 for g.
5
Suppose 4*y - 4*t - 17 = 3, -19 = -3*y - t. Suppose 2*c - y*c = -12. Solve -2*d + 4 - 22 = -4*z, -2*d - 16 = -c*z for d.
-5
Let c be 90/4*(-32)/20. Let t = 39 + c. Solve t*p + 0 = -5*m + 1, -3*p - 19 = -5*m for m.
2
Let r be ((-38)/(-2) - -2)*1. Suppose -3*z + r = 9. Solve k = -2*t - 4, -z*t - 11 = 4*k - 3 for k.
0
Suppose 150 = 2*q + 3*q. Let b = q - 8. Solve 4*a - b = -j - 2*j, 3*j + 2*a = 14 for j.
2
Let v be (-15)/2 + (-6)/4. Let s = -9 - v. Suppose -2*q - 2*q = s. Solve q = 5*t + 5*k - 35, -k - 6 = -2*t + k for t