+ u - 7, 2*u = c + u - 1. Let i be 2/c*12 - 6/3. Solve -s + 0*s - 14 = 5*p, -4*s + i = -2*p for s.
1
Let n be (2/(-4) + -19 + 25)*2. Suppose 5*t - 11 = 3*s, t = 5*s - 4*t + 5. Solve 0 = 2*v + v + 5*l + n, s*v + 2*l = -8 for v.
-2
Suppose -5*m = -14*m + 387. Suppose m = 9*f + 7. Solve s + 1 = f*t + 4, 5 = -s - 4*t for s.
-1
Suppose -20*m + 104*m - 252 = 0. Solve -m*b = 4*g - 23, -b + 0 - 3 = -4*g for g.
2
Let u = 27 + -22. Suppose -5 = u*q - 15. Solve 6 = -q*b, o + 2*o - 21 = 5*b for o.
2
Let s = -155 - -190. Suppose -i - 10 = -2*m, 6*i = 5*m + i - 20. Let w = m + -1. Solve -3*u = -w*h - s, 0*h - h - 4 = 0 for u.
5
Let d(g) = 7*g**2 + 20*g + 13. Let y be d(-3). Solve 10 = -2*k - v, 4*k = 2*k - 4*v - y for k.
-4
Let y be ((-444)/(-10))/3 - 1/(-5). Let w = -15 + y. Solve -t + 3*g + w + 2 = 0, 2*t - 4*g = 4 for t.
2
Let l(s) = -s - 2. Let d be l(-5). Let w be 1/7 + 24/(-7)*-2. Solve d*t - 5*a - w = 0, 5*t = -4*a + 7 + 17 for t.
4
Suppose 4*m - 15 = -0*r + 3*r, 2*m = -4*r + 2. Let b(l) = -l**3 + 6*l**2 + 5*l + 14. Let n be b(7). Solve m*z = -2*y - 15, n*z - z = -y for y.
-3
Suppose 0 = 4*u - 5*t - 15, -17 + 4 = -3*u + 2*t. Solve u*i + 17 + 3 = -5*f, 2*i - 22 = 4*f for f.
-5
Let c = 133 + -128. Solve -2*v - d + 0*d + 1 = 0, 2*d = c*v - 16 for v.
2
Let l(f) = -f**3 + 5*f**2 - 2*f. Let u be l(2). Let g be (20/u)/(10/8). Solve -2*j - j - 3*c - 27 = 0, 0 = -2*j + 3*c + g for j.
-5
Let k(m) = -m - 13. Suppose 1 + 7 = -2*y, i + 2*y = -21. Let l be k(i). Solve -15 = 4*f + 3*g, 3*f + l*g - 4*g + 5 = 0 for f.
-3
Let p(d) = -d. Let t be p(-3). Let q be (t/(-4))/((-27)/72*1). Solve 3*m = 9, 0 = -q*z - 2*m + 4*m - 12 for z.
-3
Suppose 23*y = 18*y - 5*x + 30, -9 = -y - 2*x. Solve -3*u - 10 = 2*c, -y*u - 19 = 2*u + c for u.
-4
Let x = 240 + -235. Solve -3*f = -x*v + v - 19, 0 = v - 2*f + 6 for v.
-4
Suppose 6*c = 2*q + 2*c - 84, -2*c = q - 30. Suppose 2*r = q - 26. Solve r*u = p + p + 13, -2*p + 3*u = 11 for p.
-4
Let a = 77 + -53. Solve 1 - a = 5*b - 3*k, -5 = b - k for b.
-4
Let c be 9 - (2 - (-25)/5). Solve -t = 2*f - 6, 0 = 4*f + 3*t - 10 - c for f.
3
Let w = -19 + 9. Let n be ((-4)/(-8))/((-1)/w). Solve -3*o + f - 4 - 3 = 0, 0 = n*o - 2*f + 13 for o.
-1
Let p(h) = h**2 + 24*h + 30. Let t be p(-23). Solve -n = -g - t, -12 = 6*g - 5*g - 2*n for g.
-2
Let u be (-1)/(2/(-80))*1. Suppose -u = -r - v - 4*v, -v + 128 = 5*r. Solve 5*y - 4*i - r = 0, -4*y + 20 = -0*y + 5*i for y.
5
Let o(h) = h**2 + 13*h - 12. Let d be o(-14). Suppose d*j - 5*j = 5*s + 8, 4*j - 3*s = 28. Solve 2*q + q + 17 = j*b, 0 = 2*b + 2*q - 12 for b.
5
Suppose 5*z + 4*l - 30 = 0, 4 = 2*z + 4*l - 8. Suppose p + 2*p = z. Solve -p*w - 3*w + 30 = -3*a, 13 = -4*w - 5*a for w.
3
Suppose -5*l + 17 = -4*g + 7*g, l = 4*g - 15. Solve -5*q - g = 3*h, -5*q - 15 - 3 = -4*h for h.
2
Let k(q) = -q**2 + 12*q - 15. Let j be k(10). Suppose -5*n = j + 20, n = -3*s + 4. Solve -4*p + 14 = -i, 0 = s*i + 4*p - 5*p - 2 for i.
2
Suppose -2*f + 2*k = -2*k + 12, 0 = -f + 5*k - 15. Solve -3*m - 4*u - 12 = -1, f = 3*m - u - 14 for m.
3
Let o(h) = h**3 - 13*h**2 - 8*h - 24. Let z be o(13). Let j be -2 + ((-4)/18 - z/9). Let w be (6 + -3)/(1/1). Solve t - 1 + 3 = c, w*c + 3*t + j = 0 for c.
-1
Let n be (2 + 4)/((-4)/(-2)). Let k(t) = -9 + t**2 - 2*t**n - 13*t**2 + t + 3*t**3 + t**2. Let x be k(11). Solve 16 = -4*s + 2*r - 8, 0 = 3*s + x*r + 4 for s.
-4
Let o be (-6)/(-2)*(67 - 44). Let q(y) = 39*y - 1. Let v be q(-1). Let j = v + o. Solve -3*h = -5*a + 15, -3*a + 5*h + j = 4 for a.
0
Let d be (-24)/16*(2 - (-14)/(-3)). Suppose k - 5*o = -24 + d, -4 = -4*k - o. Solve -5*j + 4*s + 45 = -s, -s - 4 = k for j.
5
Let s be 4/(-10) - 12/(-30). Solve s = 2*q + 2*i + 14, 3*q + 2*i + 13 = -6 for q.
-5
Let a be (4/(-6))/(22/(-363)). Suppose -j - 3*i + 13 = -2*j, 3*i - 17 = 2*j. Let b = j + a. Solve -5*x + b = -2*s - 8, -4*s = -5*x + 25 for x.
1
Let v be 7 + -10*2/(-12)*-3. Solve v*s + 4 = -6, 0 = -5*p - 5*s - 50 for p.
-5
Let j(y) = -y**3 - 15*y**2 - 17*y - 39. Let u be j(-14). Solve q - 9*n + 4*n + 2 = 0, 3*n - u = 0 for q.
3
Suppose 20 + 34 = v. Suppose o - 5*z - v = -3*o, -2*o + 18 = 2*z. Solve -2*t + o*k = 6*k + 7, 0 = 2*t + 3*k - 17 for t.
4
Let o = -4 + 9. Let z(i) = 1. Let x(k) = -k**3 - 2*k**2 - 3. Let n(q) = -x(q) + 2*z(q). Let u be n(0). Solve -o*y + 24 = 2*a + 1, u*y + 3*a - 27 = 0 for y.
3
Let l(q) = q + 10. Let y be l(-9). Solve -3*a = 0, -2*t - 5 = -3*a + y for t.
-3
Suppose 0 = -0*l - 2*l. Solve 2*o = -l*o + 4*f + 8, 3*f + 9 = 0 for o.
-2
Let l be ((-10)/(-3))/(16/24). Suppose -d + l = -0*d. Solve 2*b + d = 15, r - 5 = -b for r.
0
Let o(t) = -2*t**2 - 8*t + 2. Let y be o(-4). Let l be (-2 - 8/(-4)) + y. Solve 0 = 5*p - p + l*u - 26, 28 = 2*p + 4*u for p.
4
Let x = 25 - 22. Suppose -5*f = -x*f. Suppose f = -5*m + 3*o + 13, -4*m + 8*m - 2*o - 10 = 0. Solve 2*n + 4 = m*p, -6 = 3*n - 4*p - 0 for n.
-2
Let z be 0*((-5)/(-36) - (-4)/36). Solve -3*r - 9 = z, 2*i + 4*r - 3 = -i for i.
5
Suppose -5*f - 5*y + 10 = 0, 4*f + 2*y = -5 + 13. Suppose -36 = -f*v - 2*t, v + 2*v = t + 66. Solve -3*l = -2*a + v, -5*a - 3*l - 10 = 2*l for a.
3
Let c = -7 - -7. Suppose 2 + 17 = 4*n - 3*h, -1 = n + 5*h. Suppose 4*z = -c*z + n*f - 16, -z = -4*f + 16. Solve -4*i - 8 + z = 4*x, -5*i = 2*x + 7 for i.
-1
Suppose -35*z = -38*z + 15. Let c = -25 - -25. Solve z*k - k = -i + 23, -k - 3*i + 14 = c for k.
5
Let h(o) = -7*o**3 + o + 1. Let k be h(-1). Let f = 6 - 0. Suppose a - f*a = -40. Solve 0 = n + 5*v + k, -6*n + v = -4*n - a for n.
3
Let o(r) = r**3 + 25*r**2 - 27*r - 24. Let x be o(-26). Solve -3*d = 4*i - i - 18, x*d - i = 0 for d.
2
Suppose 0 = -5*k + k - 228. Let d = -52 - k. Solve -5*n - 2*c - c = 29, -5*n + d*c = 5 for n.
-4
Let v be 5 + 1 + 3 + 0/(-18). Suppose 5*d = -c + 19, -4*d = -5*d + c + 5. Suppose v*r - 20 = d*r. Solve f = -s + 2*f, r*f + 10 = 2*s for s.
-5
Suppose 4*c - 4 = -5*u, -3*u + c = -3*c - 28. Suppose -u*i + 40 = 4*i. Solve -3*b = -b + v - 6, -2*b + i*v = 6 for b.
2
Suppose -2*y - 4*z = -4*y - 4, y - 4*z = 0. Let x be ((-63)/14)/((-2)/y). Let i = x + 12. Solve d + i = 2*m, d - 3 = -0*d for m.
3
Let g = -3563 + 3565. Suppose -4*p = -c - 41, -c - 19 = -2*p - 0*c. Let a(b) = -29*b - 1. Let k be a(-1). Solve 3*f = -2*i + p, g*f + 10 = 4*i + k for f.
5
Suppose -47 - 9 = -7*u. Let b be 4*2/u*17. Let m = 21 - b. Solve 5*t = 5, -5*h + m*t = t + 23 for h.
-4
Let i(v) = -6*v - 25. Let p be (-18 + 17)/((-1)/(-5)). Let u be i(p). Solve 3*f = 7*f + u*w - 22, 5*w = 10 for f.
3
Let z(l) = -l**3 - 2*l**2 - l + 1. Let u be z(-1). Let i(h) = 15*h. Let g be i(u). Solve -3*o = -c + 11, -5*c + 3*o = -2*c - g for c.
2
Let s(g) = -2*g - 2. Suppose 5*o - 2*o = 5*n - 4, 5*o + 11 = 4*n. Let u be s(n). Suppose u = 5*i + 5 - 25. Solve t - 3*t - c - 9 = 0, -4*t - 24 = -i*c for t.
-5
Let t be 28/5 + 520/50 + -11. Solve m - t*l = -m + 17, 3*m + l = 0 for m.
1
Suppose 29*l - 23*l = 0. Solve 8*x + 3*a = 3*x - 40, l = -3*x - 2*a - 25 for x.
-5
Let z be 16/24 - 8/(-6). Suppose -z*i + i - 3*l = -28, 0 = -4*l. Solve -o + 3*k + 6 = -2*k, -4*k - i = 5*o for o.
-4
Let z(r) = -48*r - 173. Let n be z(-4). Solve 3*c = -2*h + n, -8*h + 3*h + 40 = 5*c for h.
5
Let c(t) = t**3 - 5*t**2 + 8*t - 2. Let s be c(2). Solve -3*h + 5*p = s*p - 18, 3*p + 11 = -4*h for h.
1
Let n(d) = -2*d + 10. Let p = 54 - 50. Let g be n(p). Solve -i - g*i - 4 = y, -3*i + 4 = -y for i.
0
Suppose -3*g - 2*g + 3*l + 18 = 0, -4*l = 4*g - 8. Solve -3*d + 6 = -3*w, g*w - 2*w - 6 = -d for d.
4
Suppose -4*w - 84 = -8*w. Let u = 40 - w. Suppose -39 - u = -5*i - 3*l, -i = -2*l - 22. Solve 0 = 4*p + m - 4*m - 17, p - 4*m = i for p.
2
Let x(m) = 31*m - 307. Let j be x(10). Solve 8 = 2*u - 2*y, -7*u + j*y + 12 = -9*u for u.
0
Let m = 4 + 11. Let q be (m/6)/(-5)*-6. Suppose 5 - 2 = g. Solve q*f = 3*i + 18, 28 = -5*i + g*f + f for i.
-4
Let c = -4 - -8. Suppose c*q - 2 = 3*u, -u + 10 = 3*q + q. Solve -2*l = 3 - 1, -3*z + 2 = -q*l for z.
0
Let z = 15 - 32. Let l(t) = t**2 + 17*t + 3. Let f be l(z). Solve f*k - 2*o = 16, 29 = 2*k - 0*o - 5*o for k.
2
Suppose -3*u - 3 = 2*p, -2*p + 5*p = -3*u. Let j = 0 + 4. Suppose 3*z - 2*g = -0*z + 30, 0 = -j*z + g + 40. Solve 0 = 4*k - p*m + 5, z = 5*k + 3*m - 4 for k.
1
Let h = -1294 - -1299. Solve -19 = h*q + 5*r - 4*r, 0 = q - 5*r + 9 for q.
-4
Suppose 7*a - 43 + 15 = 