 Let l = v - -5. Let n(d) = 5*d**2 + d. Let a be n(-1). Solve l = -k + 5*y, 2*k - a*k + 2*y - 4 = 0 for k.
1
Let c(w) = w + 7. Let q = 23 - 19. Suppose 5*l - 4*l + q = 0. Let u be c(l). Solve k - 4*k + u*t = 27, t - 4 = 0 for k.
-5
Let u(f) = f**2 - f. Let i(y) = -y**2 - 4*y + 1. Let x be i(-4). Let a be u(x). Solve -5*n - 2*z + 15 = 0, -5*z + 11 + 14 = a for n.
1
Let m(q) = q**3 + 7*q**2 - 3*q - 6. Let i be m(-7). Let l = i - 11. Suppose -3 = -2*k + k. Solve 0*x - k*x - 16 = b, -l*x - 25 = 5*b for b.
-1
Let g = 415 + -412. Solve g*y - 5*p = -2*y - 30, 2*y - p + 10 = 0 for y.
-4
Let s be (14 + 0 + -2)*(-5 - -3). Let o = s + 29. Solve -5*h = 4*i + 2, 2*i + 4*h - 6 = o*h for i.
2
Let a be 30/195 - ((-102)/13 + -1). Let m(y) = -y**2 + 11*y - 14. Let j be m(a). Solve -3*p = -3*u + p + 8, j*u + 3*p = -6 for u.
0
Suppose -3*j - 3*h + 45 = 0, -7*h + 5*h = -j. Solve -2*d - 4*b = j, -27 = -5*d - b + 4*b for d.
3
Let m = 60 + -52. Suppose r + 4*c = 3*c + 6, 2*r - 2*c - m = 0. Solve -r*b = 3*f - 32, f = -4*f - 4*b + 36 for f.
4
Let h(p) = -2*p + 40. Let u be h(12). Let w be 3/((-9)/(-3)*4/u). Solve 7 = -l + 2*d, -1 - 13 = w*l - d for l.
-3
Let q(z) = -z**3 - 3*z**2 + z + 5. Let u be q(-3). Let t(s) = 6*s**u - 28 + 2*s + 18 + 11. Let f be t(-1). Solve 3*x = 3*i, 4*i + 1 + 8 = -f*x for i.
-1
Let v be 88/(-132) - 4/(-6). Let m(l) = -l**3 - 5*l**2 - 1. Let n be m(-5). Let g be 9 - (2 - (n + 4)). Solve 5*i + 10 = -2*j, v*i - 2*j = -5*i - g for i.
-2
Let a be (35 - 8)/(-9) - -16. Suppose -4*c = 3*w - 21, 2*w = -c + 3*w + 7. Suppose 0 = c*f - 3*f - 9. Solve -21 = -o + 5*v, f*o + 7*v = 3*v - a for o.
1
Let x(h) = -h**2 - 4*h + 3. Let l be x(-6). Let s be -4 + (-87)/l + (-2)/3. Solve s*t = 0, 3*t - 4*t + 5 = -5*q for q.
-1
Let w(f) = 9*f - 8. Let x be w(3). Let v = x + -3. Solve 2*t - v = -4*q, 2*q + 4*t - 24 = -t for q.
2
Let f = -641 + 645. Solve -6 = 3*u + 3*j, 2*u + 3*u + f = -3*j for u.
1
Let m be 28/(-42) + 3 + 2/3. Solve -6*g = -g, -m*j = -5*g - 3 for j.
1
Let p = 272 - 267. Solve -5*q + 4 = -5*x - 2*q, p*x + q + 12 = 0 for x.
-2
Let x be (-2 - -3 - 1)/1. Let r(p) = p + 10 + 4 + x. Let m be r(-10). Solve m*i - 2*w - 1 = -w, 0 = -2*i - 2*w - 12 for i.
-1
Suppose 5*c - 4*c = 2*r - 4, 2*r = -2*c - 8. Let b = -7 + 10. Solve -7*t + 3*t = 5*s, r = b*s for t.
0
Let t be -4 - -1 - -2 - -5. Suppose 2*m = t, -l = l - 2*m. Solve 5*d - 4*g = -45, -g + 20 = -5*d - l*g for d.
-5
Let v be ((-6)/(-4))/(6/12). Let i(p) = 9*p - 5. Let d be i(v). Solve 3*f - 4*s - d = f, 2*s = -10 for f.
1
Suppose -2*q - 6*j = -j + 10, 3*j = -2*q - 2. Let r be (0 - 1)*(-13 + -2 - -11). Solve 2*p - 30 + 10 = r*b, 0 = 2*b - q*p + 10 for b.
-5
Suppose -4*t - 15*x = -11*x - 20, 2*t = 3*x - 15. Solve t = o - 3, -3*m = -2*o - 1 - 5 for m.
4
Suppose 5*t + 4*o = 70, -2*t - 2*o + 80 = 3*t. Solve 3*w - 7 - 3 = -5*s, 3*w - t = 3*s for s.
-1
Let v(g) = 12*g + 423. Let j be v(-35). Solve -4*k + c = -k + 4, -20 = j*k - 5*c for k.
0
Suppose 4*f - 36 = 4*i, f - 11 = -3*i - 22. Solve 2*y - y + 2*z + 3 = 0, 12 = -f*y + 5*z for y.
-3
Suppose -5*j + 0*j - 10 = 0. Let o = 6 + j. Solve 0*s - s = 0, o*s = -4*y + 4 for y.
1
Let n = -29 + 29. Suppose -2*p + 36 = 4*o, -2*p = -o - n*o + 14. Solve -v + 2*f - 21 = -7, -2*f + o = 0 for v.
-4
Let o be 152/48 - 7/42. Solve 2*k + 0*d = -o*d - 5, 0 = -2*d + 2 for k.
-4
Suppose -8 = -3*m + 19. Let n = -20 + m. Let a(v) = v**3 + 10*v**2 - 12*v - 6. Let x be a(n). Solve 0 = 2*s - 3*p - 12, -x*p - 14 = 5*s + 6 for s.
0
Suppose r = 2*n - 2*r - 22, 0 = 3*n - r - 19. Solve -13 = k - 2*k + n*j, -4*k + 3*j = -1 for k.
-2
Suppose 3116*m = 3121*m - 5. Solve 2*l = -4*o - 4, -3*l - 14 = -o - m for o.
1
Let l(f) = -f**3 + 8*f**2 - 6*f + 7. Let q be l(7). Suppose 0 = 4*x + 2*a - 10, 3*x - q = -2*a + 7*a. Solve 5*c = 2*g + 2*c + 15, -x*g + 5*c - 24 = 0 for g.
-3
Let d be 2/7 + 33/7. Suppose -5*v - 121*b + 119*b = -38, -3*b + 12 = 0. Solve -27 = -u - d*l, 23 = -u - l + v*l for u.
2
Suppose -z = 2*r - 37, 0 = r + r + 3*z - 47. Let h = r - 4. Solve -2*c + 2*f - h = 2*c, 4*f = 2*c + 6 for c.
-3
Let x(j) = -j**2 + 56*j + 1069. Let i be x(-15). Solve -c = i*t - 17, -3*t = 4*c - 0*t - 16 for c.
1
Let m = -25 - -35. Suppose 0 = 6*p - 4*p - m. Solve -p*s = n - 14, 5 = 3*s - n + 5*n for s.
3
Let n be -11 - ((-14)/2 + 3). Let b be (n/(-28))/((-2)/8). Let l be 6*(1 + b/3). Solve -5*j - 2 = -4*r + 1, 2*r = l for j.
1
Let q = -19 + 25. Let y(z) = -z**3 + 6*z**2 + z - 5. Let j be y(q). Solve 5*c + 5 = 5*l + 40, -2*l - c = -j for l.
-2
Suppose -111 = -2*g - 0*g + y, 5*g + 2*y = 282. Suppose 5*q - 140 = -a + 5*a, -3*a = 2*q - g. Solve 17 = -5*u - t, 4*u - 4*t + q = -0*t for u.
-4
Let d(p) = p**3 + p**2 - p + 5. Let f be d(0). Let t = 7 + -7. Let c = 4 - 2. Solve c*o = f*v - t - 6, 0 = 3*v for o.
-3
Let p be ((-84)/6 + -7)/(-1). Let h = -5 + 7. Let s = -19 + 21. Solve h*t + 2 = 5*b - p, 0 = -2*b - 2*t - s for b.
3
Suppose -4*z = -3*j + 23, j - 4*z + 256 = 269. Solve -j*y + 0*a = a - 25, 0 = -4*y - 2*a + 26 for y.
4
Suppose -19*d = -17*d - 234. Let u = d - 112. Solve -5*q = s, -6*q - u*s - 21 = -2*q for q.
1
Suppose -4*i + 4 = -3*c, 5 = -5*c - 0*i + 5*i. Solve 5*p - 4*z = -c*p + 23, 0 = 3*p + 4*z - 1 for p.
3
Let d = 5 + 8. Solve 2*f = m + 3, d = 3*f + 4*m + 3 for f.
2
Let s(p) = -p**2 + 6*p + 5. Let j be s(7). Let f be 0 + -2 + (j - -5). Let h be (8 - -3)*1*f. Solve h = -2*m + 5*r, -2*m + 3 = 5*r - 16 for m.
2
Let a(r) = r**2 - 7*r + 6*r + 10 - 7*r. Let p be a(7). Solve -p*u + u = -2*o + 8, 3*o + 4*u + 16 = 0 for o.
0
Let p be 873/171 + -1 + (-6)/57. Solve x = -13 + 15, 2*n - p*x = -16 for n.
-4
Let m = -1912 - -1915. Solve 3*r + 0*j + 9 = -3*j, 0 = -r - 2*j - m for r.
-3
Let j(m) = 3*m**2 + m + 1. Let b be j(-1). Let c be 4 + (-1)/1 - b. Solve 0*n - 3*n + 12 = c, 3*l - 22 = -4*n for l.
2
Let o(p) = -3*p - 2. Let t be o(-7). Suppose -x = 2*x + 51. Let u = x + t. Solve -u*r + 4*r - 21 = -3*j, -3*r = j - 14 for r.
3
Let p = -330 - -335. Solve -4*l = -p*b - 15, -5*b - l = -9 - 1 for b.
1
Suppose 4*i = 2*k + 18, -4*i - 5*k = -19 - 6. Solve 5*q = -5*y + i, -3*y + 8 - 3 = q for y.
2
Suppose 3*t - 4*a + 11 = 0, 0 = 5*t + 3*a - 17 - 13. Solve 2*w + 10 = 3*q, -t*w + 17 = 2*w + 3*q for w.
1
Let r = -2 - -5. Suppose -6*w = -w - 20. Suppose -2*p = r*m - 9, 2*m = -w*p + 6 - 0. Solve 2*k - 7*t + 2*t + 29 = 0, -4*k - t = m for k.
-2
Let f be 1/(-1)*1/(4/8). Let q be (-1)/f*(8 + 3 + -5). Solve 5*x = 4*a + 3*x - 18, 0 = -q*a + 5*x + 10 for a.
5
Let a(g) = -2*g**3 + 6*g**2 + 2*g - 4. Let t be a(3). Solve 0 = 5*z - 3*n + 20, 0 = 4*z - 5*z - t*n - 4 for z.
-4
Suppose -3*x = 5*g + 25, 3*x - 5*g - 13 = 12. Let b be (x/5)/(2/1). Let r be -3*(-3)/9*b. Solve 5*v + 1 = -0*l + 4*l, -v + 3 = r for l.
4
Let w(m) = -m**2 - 6*m - 15. Let l be w(-6). Let t = -10 - l. Solve 3 = -2*a + f, 0 = t*a + 2*f + 2*f - 25 for a.
1
Let a(f) = -7*f - 61. Let i be a(-9). Solve 3*b + 3*n + 3 = -0, -i*n - 14 = -4*b for b.
2
Suppose 13*s + s = 70. Suppose -h = s*w + 22, -2*h + 28 = -h - 5*w. Solve -3*t + 5*f + h - 5 = 0, 2*t = f - 6 for t.
-4
Suppose -12 = -2*d - 2*g, -8*d + 11*d + 5*g - 28 = 0. Solve m = -0*m - d, 4*m = -s + 1 for s.
5
Let f(t) = -t**2 - 4*t + 5. Let g(o) = 3*o + 14. Let u be g(-6). Let z be f(u). Solve z = 3*x - 4*c + 3, 4*x + 10 = -c for x.
-2
Suppose 5*p + 48 = -92. Let u be 1/(28/2)*-12*p. Solve 5*s - u + 3 = -w, 11 = 4*s - 5*w for s.
4
Let c = -719 - -722. Solve 0 = u - 4*r + 17, 5*u + 0 = -2*r + c for u.
-1
Let g be 3*2*-8*5/(-80). Solve 3*l + 28 = -4*s + 7*l, -s + 5 = g*l for s.
-4
Let i = 451 + -425. Solve 4*p + 4*o = o - i, 3*p = o - 13 for p.
-5
Let l(t) = t**2 - 4*t - 7. Let q(i) = 2*i**2 - 7*i - 13. Let y(s) = -9*l(s) + 4*q(s). Let x be y(9). Solve -3*d + 0 = 2*b + 7, -18 = 2*d - x*b for d.
-5
Suppose 4*m + 3*q - 21 = 0, 9 = -0*m + m + 2*q. Solve m = -4*s - 5*u, -5*s + 15 = -2*u - 6 for s.
3
Let h(x) = x**3 - 5*x**2 + 6. Let t be h(5). Suppose -4*r = -3*s - t, 12 - 2 = -5*s. Solve r = -2*b + 7*i - 2*i - 10, b - 2*i = -5 for b.
-5
Suppose -96 = -364*q + 358*q. Solve 5*s - 13 = -o, 3*o - 5*s = 5*o - q for o.
3
Suppose 4*v - 188 = n, 62 = 2*v - 2*n - 38. Suppose -14 + v = 8*i. Solve -5*l - 26 = i*k, l + l + 8 = -k for l.
-2
Let n(a) = 13*a**2 - 1. Let g be n(1). Solve -5*c - 2*r + 3*r = 0, -3*c - g = -3*r for c.
1
Let k be -