2 + 0 + 3 + p. Let d = 14 - 13. Let l be s(d). Solve 7*m = 2*m + l*u + 31, m - 3*u - 14 = 0 for m.
5
Suppose -93 = -c - 14. Let q = 83 - c. Solve 4*h + h + 26 = -d, h + 9 = -q*d for d.
-1
Let z(s) = s**3 + 5*s**2 - 8*s - 8. Let k be z(-6). Solve -n = -4*u - 9 - 12, -2*u - k*n - 6 = 0 for u.
-5
Let h = 51 - 161. Let z = -110 - h. Solve -4*j + 8 = -3*k - k, -j - 4*k + 17 = z for j.
5
Let m be (-1)/3*1*-3. Let h be -2 - (-2*2 + m). Let v(o) = 7*o + 21. Let w be v(-3). Solve w*n = -2*g + n - h, -3*g - 15 = 3*n for g.
-2
Suppose 2*u + 3 = -1. Let h be (6/u)/(-1) + 1. Solve h*j = -2*a - j - 12, -3*j = 3*a + 9 for a.
-1
Suppose d + 14 = x + 4*d, d - 8 = -x. Suppose -x*r + 4 = -3*r. Solve -u - 2*u = h - 11, 0 = r*h + 2*u - 10 for h.
2
Suppose 0*k = -15*k. Solve -6*x + 2*x - 4*l + 8 = k, 2 = 4*x - 2*l for x.
1
Let s(o) = o**3 - o**2 - 2*o + 103. Let i be s(0). Suppose i = -5*z + 118. Solve -2*f = 7*y - z*y + 10, 2*f = -2*y - 10 for f.
-5
Let k be -3*(2 - (-23)/(-3)). Let f be k + -1 + 1 - 2. Suppose 3*l - 7 = 4*p + f, -2*p - 18 = -5*l. Solve l*n = -5*i - 18, -24 = -i + 6*i - 4*n for i.
-4
Let y = -258 + 260. Solve a + 3*l = 9, y*a + 5*l - 9 = 2*l for a.
0
Let d = 11 - 8. Let o = 1069 + -1064. Solve -a = a, d*a - o = -i for i.
5
Suppose 4*u - 5*h - 23 = 0, -3*u - 5*h + 40 = -21. Solve 2*t - k - 13 = -4, u = 2*t - 2*k for t.
3
Let m(b) = b**3 - 4*b**2 + 3*b + 4. Let v be m(3). Solve v*y + 3*i - 36 = -i, 0 = 4*i - 16 for y.
5
Let u(b) be the second derivative of -b**4/12 - 11*b**3/6 - 19*b**2/2 - 6*b. Let m be u(-8). Solve m*p + s + 27 = 0, p - 3*s = -p - 4 for p.
-5
Suppose 4*s - 55 = -5*g, 3*s - 4*g - 18 = -0*s. Suppose 12*k + 31 = 25*k - 47. Solve 0 = -3*z + 5*w + s, z + 8 = k*z - 4*w for z.
0
Suppose 0 = -2*z - 3*z - 5*d - 240, 4*d = 8. Let l be z/(-16) - (-4)/(-32). Solve -l*f + 5*x - 2*x = 18, f - 5*x + 26 = 0 for f.
-1
Let t be 2/(-6)*30/2. Let d = t + 17. Suppose 7*f - d*f = -20. Solve -c + f*l = -13 - 0, -l - 27 = -5*c for c.
5
Let n = -7 - -9. Let d(u) = -u**2 + 6*u - 3. Let o be d(5). Let j = 5 - o. Solve n*s - r = -j*r - 6, 0 = r for s.
-3
Let g be 0/2 + -2 + 3. Let z be 7 - (1 - (0 - g)). Let m be z + -4 + -3 + 4. Solve m*v - f - 17 = -2*v, v = -2*f + 11 for v.
5
Let i = -228 + 231. Solve 0 = v - j - 3, -i*v = -2*j + 3*j - 17 for v.
5
Let w be 2/(1 + 1)*(5 - 1). Suppose 0 = -w*z - 5*t - 5, t + t = -5*z + 15. Solve g + 16 = 3*y, y + y - z = -5*g for y.
5
Let x = 4 - 1. Let a be (-2 - 1)*(-17)/x. Let k = -120 - -138. Solve -3*y = t + a, -4*t = 2*y - 0*y + k for y.
-5
Suppose 0 = 2*f + 37*i - 34*i + 11, 3*f = 2*i + 16. Solve 5*s + 1 = f*y - 14, -5*s = y for s.
-1
Suppose 2*f + 96 = 2*r, -2*r - 3*f + 220 = 2*r. Let l = r + -35. Solve -3*t - 5 = 5*p, -3*p - l = -5 for t.
5
Let d be (-394)/(-6) - (-1)/(-12)*-4. Let v = d - 66. Solve y - i - 2 + 0 = v, 17 = -5*y - 4*i for y.
-1
Let k be (468/65)/((-6)/(-80)). Let n be (k/(-56))/(4/(-70)). Let u = n + -7. Solve 5*o - 1 = -4*y, u = 7*y - 2*y - o for y.
4
Suppose 0 = -5*p - 10, -2 - 2 = -4*v - 4*p. Let u = 413 - 407. Solve 0 = -q - 5, 4*k = -5*q - u - v for k.
4
Suppose 3*m = 2*f + 21, 2*m + f - 1 - 6 = 0. Suppose -4 = i, -3*p = -2*i - m - 15. Suppose 0 = 2*h - 3*h + p. Solve 2*d - 14 = h*g, -4*d + 8 = 2*g - 2*d for g.
-1
Let b be 3*(16/(-4) + 5). Let i be 17/b - 16/24. Solve -q - 7 = -i*m, -3*m + 10*q - 5*q + 13 = 0 for m.
1
Suppose -4*x - 68 = -21*x. Suppose 0 = 4*t - y - 25, -x*t - 2*y = 2*y. Solve -c = -d + 2*c + 3, -c - t = d for d.
-3
Suppose -4*o = 43 - 399. Let t = 91 - o. Solve 2*v + 13 = j, -t*v = -j + 3*j - 2 for v.
-4
Let x be 9/3 - (0 - -1). Suppose -5*g + 9 = 2*n, -n = -x*n - 3*g + 6. Let u(t) = t + 3. Let s be u(n). Solve 4*d + 4*q - 4 = s, 4*q + 3 = -d + q for d.
3
Let n = 8 - 8. Let h(i) = i**2 - 2*i. Let u be h(n). Solve 4*k = -3*a - 14, 0 = -a - u*a + 5*k + 27 for a.
2
Let c be -3 + (-9)/((-9)/100). Let y = 5 + c. Let a be -1*3 + y/6. Solve -l = -3*o - a, -2 - 20 = -5*l + 3*o for l.
2
Let b = 13 - 10. Suppose b*f - 28 = -13. Solve f*c = l + 1, c + l - 4 - 1 = 0 for c.
1
Suppose 343*z - 24 = 337*z. Solve 5*m - 2*m + z*n + 12 = 0, -n - 3 = -4*m for m.
0
Let t(k) = k + 6. Let q be t(-6). Suppose -6256 = -4*x - 6236. Solve -3*d = -x*f + 6, -f + 5*d - 12 = -q*f for f.
3
Suppose -6*h = -13*h + 14. Let v be (1/(-2))/(2/(-340)). Suppose -5*y - 4*o = -90, -5*y - o + v = h*o. Solve 2*x + 2*x = 5*t + y, -2*x - 6 = 4*t for t.
-2
Let n(h) = 6*h - 1. Let y(q) = q. Let k(w) = n(w) + y(w). Let i be k(3). Suppose -i = -0*m - m. Solve 4*g - 36 - 1 = 5*c, -5*g + c + m = 0 for g.
3
Suppose 0 = -5*b + 3*b + 22. Suppose -3*r = -1 - b. Solve -4*m = 4*f + 12, r*f + f - 3 = m for f.
0
Suppose -60 = -25*y + 40. Solve 2*n = 4*m + 7 + 11, 2*n = -y*m + 2 for m.
-2
Suppose -3*h + 3 = -3*r, 2*r - 3*h + 4*h - 7 = 0. Suppose 2*l - 14 = -3*x - 0*l, 2 = 3*x - l. Solve 3*b + r*b = 10, x*b = 4*g - 12 for g.
4
Suppose -y + 0*p = -5*p + 19, 0 = -3*p + 12. Let c be 0/((y + 0)*2). Let t(k) = 16*k**2 - 2*k + 1. Let z be t(1). Solve 4*l = 2*l, c = 5*d + 3*l - z for d.
3
Let o be ((-12)/(-9))/((-158)/54 - -3). Suppose -5*t - 52 = -o*t. Solve -n = -2*r + 1, 4*r + 6 = t*n + 2 for n.
3
Let r = -7 + 11. Let w be (-6)/(-27) - 6/27. Suppose -i + 4*a + 21 = w, -3*a = 2*i + 1 + 1. Solve 2*k = -r*v - 0*k + 14, -20 = -i*v - 5*k for v.
3
Let k = -395 + 276. Let x = k - -122. Solve 5*w = 3*j - 5, x*j - 6*j = 0 for w.
-1
Suppose -6 = -s - 0. Suppose -2*w + 3 = 2*u - 9, -3*u = -w - s. Solve z - 20 = -z - 5*m, -w*m = -6 for z.
5
Let z be -3 + 0 - -1 - 0. Let h(u) = u**3 - 14*u**2 - 13*u - 24. Let k be h(15). Let p = k + z. Solve 0*a + 5*d + 32 = -3*a, 3*a + p*d = -28 for a.
-4
Let m be (-7)/((-252)/99) + 4/16. Solve 4*n + 2*k + 2*k = 20, 5*n + 7 = m*k for n.
1
Let j = -8 - -13. Let l(c) = c + 2. Let q be l(2). Suppose -q*b + 2*b + 8 = 0. Solve 0 = -j*o - i - 1, -i - 3*i = -3*o + b for o.
0
Suppose 0 = 54*l - 67 - 149. Solve -4*a - 8 = -2*n, -n - l = 2*n + 2*a for n.
0
Suppose -466*j + 32 = -462*j. Solve 2*h = -4*y - 2, 3*y - 7*y = 4*h + j for h.
-3
Let j(r) = r**2 - r + 6. Let t be j(0). Let c be 42/t - -1*3. Let k(p) = -p + 12. Let y be k(c). Solve 4*m - m - 14 = -5*w, 0 = -4*m + y*w - 16 for m.
-2
Let q = 7 - 2. Suppose -29 = -j + q*j + 5*p, 0 = -j + 4*p - 2. Let r = j - -10. Solve 0 = 3*f + 4*n - 28 + 4, r*f - 7 = 3*n for f.
4
Suppose 3*n + 2*b = 12, -2*n - 2 = -0*n - 2*b. Suppose 5*o - 22 = 4*g, 5*o - n*g = g + 19. Solve 2*z - 4*z - 2 = -x, -o*z = -5*x + 2 for x.
0
Let s be (-10 - -8)*-1*1. Suppose 0*b + 12 = 5*z + 4*b, -s*z - b = -6. Solve -20 = z*g + 2*p, -3*p + 3 = 3*g - 8*g for g.
-3
Let i(p) = -27*p - 54. Let h be i(-10). Suppose h*y + 8 = 220*y. Suppose 2*t = 7*t. Solve 0 = -x - 3*b - 13, y*x + x + 3*b + 15 = t for x.
-1
Let o be 2/8 - 165/(-12). Suppose -5*l - 10 = -5*d, 0 = d + 3*l - o - 0. Solve -d*j = 2*h - 3, 4*j + 16 = 2*h + 4 for j.
-1
Suppose 1024*t = 1030*t - 24. Suppose -v = 2*v - 12. Solve 4 = -o, -o - v*o - 16 = t*d for d.
1
Let m(j) = -4 + j - 6 + 17. Suppose 4 = -2*a, -g - 4*a - 23 = 2*g. Let r be m(g). Solve -r*y + 6 + 6 = -5*o, -y = 2*o + 3 for o.
-2
Let n be (-72)/(-7) + (30/42 - 1). Suppose 0 = -3*j + 4*c + 36, -2*j + 2*c + 9 = -17. Suppose -7*g = -2*g - 20. Solve -g*x + 0*p = -p + n, 2*x + 5*p = -j for x.
-3
Let m = -553 - -553. Solve 3*u + 8 = -n, m*u + 2*u + 6 = -n for u.
-2
Let d = 2 + 1. Suppose 7*j = d*j + 8. Solve 3*o - 3*m = -9, 2 = -j*o + m - 1 for o.
0
Suppose 4*c + 2*i - 22 = 0, -c - 4*i - 2 = -6*i. Suppose 0 = -c*w - 4 + 24. Let p = 1 - -2. Solve 0 = 5*l + 2*d - 4 - 2, w*l - p*d = -9 for l.
0
Let u(j) = 17*j + 1. Let w be u(1). Solve -2*c - w = -0*r - 5*r, c = 4*r - 15 for r.
4
Suppose 0 = -2*r - 2*r - 76. Suppose 5*h - 2*f = 103, 4*h - 9*h - 5*f + 75 = 0. Let b = h + r. Solve -5*p - 40 = -4*w, -5*p = 3*w + 5 - b for p.
-4
Let n be 0 + 0 - 6/(-3). Let u be 4/(n + -4 + 4). Solve -5*h - u*m = -5*m + 5, 0 = -4*h - m - 4 for h.
-1
Suppose 3*a - 9*a = -12. Let c = a + -2. Solve -h + 9 = -4*o, c*h + 5*h + o = -18 for h.
-3
Suppose 2*n - 11*q + 6*q - 84 = 0, -168 = -5*n + 2*q. Solve -4*s = -3*z - z + n, z - 2*s - 13 = 0 for z.
3
Suppose -9*s + 16*s - 14 = 0. Let x(l) = l**3 + 13*l**2 - 28*l + 33. Let m be x(-15). Solve -2*t + 5*i - 7 = 0, t = -s*t + 3*i + m for t.
4
Let y be ((-32)/(-20) + -2)*80. Let z 