3 = -0*p for p.
-5
Suppose 154 = -5*n + 159. Solve -3*l - 4*i - 1 = 0, -4*i - 5 + n = 0 for l.
1
Let l(c) = 2*c**3 - 174*c**2 - 540*c + 12. Let r be l(90). Suppose -5*w = -4*w - 2. Solve -6 = 2*t - 5*h, -t + 5*t = w*h - r for t.
-3
Let s(v) = 8*v**2 + 266*v - 489. Let z be s(-35). Suppose -5*g + 12 = 4*y + 3, 0 = -y + 1. Solve -3*a + g = -2*u - 4, a + z = 2*u for a.
3
Let l(n) = n**3 - 28*n**2 + 54*n + 8. Let a be l(26). Suppose o - u = 3 - 1, -5*o + a = 5*u. Let w = 8 - 8. Solve -5*x = 2*s - 5*s - 35, 3*x + s - o = w for x.
4
Let z = 87 - 60. Suppose 629 = z*p + 8. Solve p = -2*u + 6*u + 3*s, 2*u - 4*s + 16 = 0 for u.
2
Let y(h) = h**3 - 8*h**2 + 11*h + 10. Suppose 11 = -3*z + 29. Let d be y(z). Solve 4*i + 6 = d*f + 14, 0 = 4*f + 3*i + 1 for f.
-1
Suppose -84*k = -351 + 15. Solve -k*d + 2*a = -4, -5*d + 7*a + 11 = 3*a for d.
-1
Suppose 0 = 32*g + 3*g + g - 468. Solve -u = 37*t - 35*t - 6, 0 = t - 2*u - g for t.
5
Suppose 2*v - 5*a - 130 = 0, 11*v + a - 891 + 119 = 0. Solve 3*o + 59 = 2*b + v, 4*b + 3*o = 23 for b.
2
Let d = 1458 + -1438. Solve -4*r + q = -15, 0 = -2*r - 0*q - 2*q + d for r.
5
Let t = 145 - 309. Let a be t/(-6) + 8/12. Let m be (-9)/(-7) + ((-120)/a - -4). Solve m = 2*u + 2*h + 9, 4*u = 3*h - 9 for u.
-3
Suppose 5*l - 20 = 0, -2*l + 0*l + 28 = 5*h. Let k be ((-8)/(-64)*0)/(-1 - 1). Solve -4*p + h*w = k, 2*w - 6 = -w for p.
2
Suppose 74*m + 25 = -13*m + 373. Solve m = -2*s - 2*y, -3*s - 13 = 5*y + 5 for s.
4
Suppose -3*t = u + u - 18, -4*t = -u - 13. Let v be 72/40*(u - (-16)/(-12)). Solve -v*n + 4*g = -2, 2*n - 3*g - 3 = -n for n.
2
Suppose -z = -3*b - 14, -17*b + 22*b = -2*z - 5. Suppose 0 = -z*g + 5*i - 0*i + 5, -g + 4 = -4*i. Solve -5*o - 3*y = -g*y + 15, -5*y = o + 25 for o.
0
Let j(a) = -4*a**2 - 8*a - 19. Let i(k) = 5*k**2 + 8*k + 21. Let n(z) = 3*i(z) + 4*j(z). Let l be n(-5). Solve 8 = -p - 3*f, -2*p = -0*f + l*f + 12 for p.
-5
Let a be ((-416)/(-39) - 2/(-6)) + 1. Suppose a*j - 39 = -j. Solve -b - j*o + 11 = 0, 2*b - 1 = 2*o - o for b.
2
Suppose 129*v - 897 = 60*v. Solve -17*x + 2*r = -v*x - 26, -5*x + 3*r = -34 for x.
5
Suppose 5*b + 2*d = 32 + 9, -4*b + 37 = 3*d. Suppose -58*s + 30*s + 301 = 15*s. Solve 0 = b*l - 2*l + 25, 0 = -v - 2*l - s for v.
3
Let j(w) = -w**3 + 6*w**2 + 4. Let t be j(6). Suppose -5*n + 3*d + 108 = 0, 37*d - 32*d = -5. Solve h + n = -l - 3*l, h = t*l + 19 for h.
-1
Let g = -12 + 16. Let n(j) = j**2 - 2*j - 4. Let d be n(g). Let v = -40 + 41. Solve -i + 24 = d*m, i - m + v = -0 for i.
4
Let n(u) = u**2 - 19*u + 51. Let m be n(3). Suppose 2*r - m*o - 22 - 17 = 0, 4*r = -2*o + 102. Solve 5*l - r = -3*f, 4*l - 23 = -5*f + 4 for f.
3
Let j = 196 - 193. Let a(f) = 3*f**2 - 10*f + 9. Let g be a(j). Solve 5*n + 10 = -2*p + g*p, 5*n = -3*p - 10 for p.
0
Let k be (-86 - -90)/(-2 - 42/(-15)). Solve -5 = 5*r + 5*q - 20, -k*q = 4*r - 17 for r.
-2
Suppose 5*x - 156 = -4*t + 3*t, t - 138 = x. Let n = t - 136. Solve -n*v + 26 = 4*z, 0 = 3*z - v + 4*v - 18 for z.
4
Let h(w) = 5*w**2 - 40*w + 13. Let j be h(8). Let y be (3/2)/(((-156)/(-24))/j). Solve 3*q - y = u + 3, 27 = 5*u + 4*q for u.
3
Let d be (-71 - (-2148)/30)/(((-1)/(-5))/1). Solve 5*j - d*l = l, -5*l = -3*j - 13 for j.
4
Suppose -1422 = -52*n + 138. Solve 3*a - 4*k + 10 = 5*a, -n = 3*a - 3*k for a.
-5
Let n(w) = -w + 10. Let l be n(6). Suppose -r + 1 = 6, -22 = -2*t + 2*r. Suppose -t*g + 10*g = 16, 2*g = x + 6. Solve -l*h - 18 = -f + x*f, -17 = 3*h - f for h.
-5
Suppose 0 = -27*z + 23*z + 24. Let f = z + 0. Suppose 5*x = 3*x + f. Solve 2*d = -5*a + 16, 7*d - x*d = 2*a - 16 for d.
-2
Let c = 2191 - 2188. Solve -2*m = 0, -8*m = c*q - 13*m - 3 for q.
1
Suppose 0 = 3*o + 5*k - 17, 5*k + 14 = -o + 23. Solve -o*b + 3*a = -11, 0 = -2*b - 3*b - 2*a + 8 for b.
2
Suppose 0 = 4*d + 4*x - 32, 4*x - 14 = 6. Suppose 2 = d*l + 2*v - 13, 3*l - 21 = -4*v. Solve -4*s - 3*g + 0 + l = 0, 7 = s + 2*g for s.
-3
Suppose -65*w + 63*w + 5 = 5*y, 3*w - 10 = -5*y. Solve -d - 3*x = 16, w*d - 122*x = -119*x - 8 for d.
-4
Suppose 5*v - 3*y + 2*y = 12, -2*y = 2*v. Let u be v/(4 - 3 - (1 + -1)). Let x = 6 + 0. Solve 5*q - l = 12, -3*q + x = u*q + 2*l for q.
2
Suppose -6*j = -0*j - 24. Let g(k) = -3*k**3 + 240*k**2 + 3*k - 219. Let x be g(80). Solve -j*r + o = x, -3*r + 5*o - 15 = -r for r.
-5
Let f be (-116)/(-406)*7/(-2)*-3. Solve -2*d + f*t - 13 = 3*d, -3*d = -t + 7 for d.
-2
Let p(k) = -k**3 - 15*k**2 + 15*k + 10. Suppose 58 = -0*m - 4*m - 3*q, 2*q = 4*m + 68. Let j be p(m). Solve -5*i = -i + t - 19, -2*t = 5*i - j for i.
4
Let o(h) = 53*h - 32. Let l be o(1). Suppose 10*q = -l*q. Solve 5*j + 17 = 3*b, q*b + 3*j = -b + 1 for b.
4
Let o = -35 - -20. Let v(y) = y + 19. Let u be v(o). Let d be (155/35 - u) + 50/14. Solve 2*g - 2*p = -4, -3*g - 10 = -d*g - 3*p for g.
1
Let f(s) = -s - 5. Let m be f(-5). Let n be 2/2*-29*14/(-7). Let l = n + -56. Solve -l*b = x + 2, 4*b + m*b + 28 = 4*x for x.
4
Let g(s) = -225*s + 4058. Let l be g(18). Solve 1 = 4*n + 5*b, -l*n - 9*b - 35 = -10*n for n.
4
Let i = 26 + -5. Let q = i + -18. Suppose 0 = 4*a - q*a. Solve a = -4*j + m - 0*m + 18, -3*m + 14 = 5*j for j.
4
Suppose 0 = 59*m + 345 - 994. Solve -o - z - 6 = 0, -10*z + 10 = -2*o - m*z for o.
-4
Suppose 0 = 24*a + 61*a + 18*a. Solve 0 = -n + 3*o - 13, 3*o - 11 = 2*n - a*o for n.
2
Suppose -1459 - 646 = -475*w + 54*w. Solve 31*q - z + 3 = 28*q, -w*z = 0 for q.
-1
Let x = -12082 - -12087. Solve u + 4*z + 35 = 16, -u + 17 = -x*z for u.
-3
Suppose 4*l - 15 = 5. Suppose -27 = -l*m + 18. Suppose 4 = -k + m. Solve 4*r - 27 = -k*i - 0*r, 9 = 5*i - 2*r for i.
3
Suppose -25 = -b + 3*k, -k = -7*b + 13*b - 17. Solve b*q - 17 = -3*h, 2*h + 16*q = 20*q - 2 for h.
3
Let z(i) = -i**2 - 8*i - 16. Let h be z(-6). Let m(f) = f**3 + 4*f**2 - 19*f - 73. Let y be m(h). Solve -y*c - 5*b = 9, -4*c - 12 = -b + 4*b for c.
-3
Let j be (-134)/(-3) - (88/8 - 136/12). Solve -2*v + 16 = 2*l, -47*l = -j*l + 3*v - 21 for l.
3
Let i = -247 + 118. Let m = i - -129. Solve -4*u - 4*w - 9 = w, -3*u - 5*w - 13 = m for u.
4
Suppose -74*t - 51 = -79*t + 2*o, 21 = t + 5*o. Solve 0 = -5*i + 8*p - t*p - 21, -2*p = 3*i + 12 for i.
-6
Let n = -1 + 7. Suppose 11*y = 13*y + 3*x - 15, -20 = -5*y - 4*x. Suppose -3*d + y = -n. Solve d*r = r + 5*h - 23, 5*h - 26 = 2*r for r.
-3
Suppose -3*g + 11*n = 13*n - 10, 2*g - 5 = -3*n. Solve 0 = g*h - 3*d, -5*h = -2*h + 5*d for h.
0
Let j be (13/26)/((-1)/(-360)). Let f = 182 - j. Solve -2*v - 11 = 3*y, f*y - 3*y = -5*v - 2 for v.
-1
Let t be (12/(-8))/(-8 + (-5 - 49/(-4))). Solve 7 = -t*x - s + 1, -2*x - 6 = 4*s for x.
-3
Let m be (2/4)/(62/496). Solve -5*o - m*j + 5 = j, -o - 3*j + 11 = 0 for o.
-4
Let a(r) = r**3 - 13*r**2 - 198*r + 8. Let h be a(22). Solve h*i = -2*q + 3*i - 23, -4*q - 5*i = 31 for q.
-4
Let d(r) = -27*r**2 - r - 12. Let q be d(3). Let y = 267 + q. Solve 3*a - 2*l = -15, -a - a - 5*l = -y for a.
-3
Suppose -496 = -5*v - i, 476 = 4*v - i + 72. Let g = v - 269. Let j be g/(-65) - 4/(-10). Solve -6 = z - 5*y, j*y - 8 = -2 for z.
4
Let y(m) = m**3 - 8*m**2 + 5*m + 33. Let j be y(7). Suppose d + 15 = j. Solve -3*k + 9 = -p, -3*k = -d*p - 2 - 7 for p.
0
Suppose -2*k = -2*s + 6, -5*k + 3*s + 5 = 2*s. Suppose -k*w - 16 + 20 = 0. Solve -5*o - w*m = -3*o - 10, o + 11 = 3*m for o.
1
Let i(p) be the first derivative of p**4/4 - 4*p**3 + 11*p**2/2 + 4*p - 13. Let u be i(11). Solve -2*j + o = 4 + 6, -u*o + 5 = -j for j.
-5
Let m = -9423 + 9461. Solve m*w - 35*w = -3*a + 18, -4*w = -5*a - 6 for w.
4
Let u = -5661 + 5664. Solve -2*c + 1 = -4*z + 3, c = u*z for c.
-3
Let h be 50/15*24/20. Suppose 0 = z + 5*w - 3, -w + 11 = 4*z - 3*z. Let n = z - 0. Solve y = -h*d + 7, y = -2*d + 6*y - n for d.
1
Let o(q) = 18*q**3 - q**2. Let w be o(1). Suppose -5*d + 4*i = 133, -i - 3*i + w = -d. Let j = d - -36. Solve 2*z = -4*f - 20, f + j = 2*z - 3*z for z.
-4
Suppose 0*x + 112 = 4*x. Let f be (-8 - 9/(-3)) + 9. Suppose d - 35 = -4*d + 2*o, f*d = -o + x. Solve -5*u - 20 = -v, 4*u = -5*v + 4*v - d for v.
5
Let a = 32 - -12. Suppose -50*u = -a*u - 18. Solve -3*d = p + 16, u*p = 4*d + 2*p + 12 for d.
-4
Suppose -31*v - 24*v + 210 = -20*v. Solve 3*h = -4*q, 3*h = 2*q - v - 12 for h.
-4
Let w be -2 - (4 + 0 - 2). Let r(d) = -3*d - 2. Let g be r(w). Let b be (-40)/8*(2 - 28/g). Solve 12 = -4*y - b*h, -h - 3*h = 2*y