 + 3. Solve 2*y = 4*k - 30, 0 = 4*k - a*k + y - 5 for k.
5
Let t be ((-18)/(-6))/(1/1). Solve 4*f - t*f = 2*i + 10, 0 = -5*f + i + 14 for f.
2
Let h(d) = -d**2 + 7*d - 10. Let i be h(4). Solve i*j = -3*t, 3*t + 5*j - 11 = t for t.
-2
Let j(f) = f**3 - 7*f**2 + 9*f - 5. Let m be j(6). Let o = -42 + 47. Solve 4*x - o*p + 6 = -2*p, -3*x - 2*p - m = 0 for x.
-3
Let r(h) = -3*h**2 + 2*h. Let j(a) = 7*a**2 - 3*a. Let n(y) = -2*j(y) - 5*r(y). Let t be n(5). Solve 4*x - 5*s = -x - t, -4*x + 2*s = 12 for x.
-5
Suppose 3*m + 5*l = -1 - 9, -3*m = -3*l - 6. Solve c + 2*a + 3 = m, -2*c - 5*a = -c + 12 for c.
3
Suppose 32 = -5*b + 3*f, 35 = -3*b + 3*f + 11. Let n = 17 + b. Solve 4*t + g + n = -3, 5*t + 19 = -g for t.
-3
Let u(k) = -k**3 + k**2 + 42. Let q be u(0). Let o = q - 26. Suppose 0*t + o = 4*t. Solve -4*i = 4*a - t, 0*i = 4*a + i - 10 for a.
3
Suppose 2*o + u - 5*u + 4 = 0, 5*o + 5*u = 20. Solve 2*b = x - o, 5 = -4*b + 3*x + 1 for b.
-1
Suppose 0 = 9*g - 6*g. Solve 3*z - 4*z - 3 = g, 5 = 2*t - z for t.
1
Let z = 5 - 0. Solve x = -5*k + 16, -4*k - z*x + x = -16 for k.
3
Let a = -6 + 9. Suppose -3*z - 11 = -x - 31, -a*z = x - 10. Solve -z*d = -5*c, 0 = d - 5*d - 8 for c.
-2
Suppose -2*x = 3*x - 20. Solve -7 = -4*t + 3*m + x, -3*m - 15 = 0 for t.
-1
Let t = -13 + 14. Let q = 6 + t. Solve 0 = -2*a - 4*i - 6, 3*a = -3*i + q*i - 19 for a.
-5
Suppose 17 = 4*t - i, -5*t = i - 7 - 12. Solve 5*k + 5*j = 3*j + 29, -2*j = -t*k + 16 for k.
5
Let k = 17 - 21. Let q(d) = -d - 4. Let g be q(k). Solve -m + 6 = 2*m - 3*u, -5*m + 2*u - 5 = g for m.
-3
Suppose 0 = -q + l, 3*l = 2*q + 3 - 1. Solve -u + 4*s + 12 = 0, -q*u = 2*u + 2*s + 6 for u.
0
Let v be (0 + -4)*(-4 - 0). Suppose -5*i = -j - 4*j + 35, -3*j - 2*i = -v. Let f = j + 1. Solve -5*t = 3*h, -5*h + 3*h + f = t for t.
-3
Let z(d) = d**3 + 6*d**2 - 6*d + 9. Let l be z(-7). Solve 5*w - o - 19 = 0, 2*o = -2*w + o + l for w.
3
Let g = 1 - 0. Let y be (2 - 1) + 0/g. Suppose -2 = -t - y. Solve -4*j + s + 4 + 1 = 0, 0 = s + t for j.
1
Suppose 19*s = 23*s - 80. Solve -2*j + 4 = -i - 1, j + s = -4*i for i.
-5
Suppose 5*m - 2 - 3 = 0. Let r be m*3 - (-2 + 1). Suppose -r*k + 4 = -4*c, -5*c = -0*k + 2*k - 16. Solve c*s = -3*s - p - 14, 0 = -4*s - 3*p - 20 for s.
-2
Let o be 3/(6/(-4)) - -4. Solve -4*c - 12 = o*q, -2*q - 3*q + 15 = c for q.
4
Let q(t) = -9*t - 15. Let m be q(-3). Solve y + 7 = 4*z, 4*z + 2*y + 2*y = m for z.
2
Suppose -3 = -3*q - 9. Let n = q + 3. Solve n = -3*l + 4*x + 13, -4*l - 4*x = 12 for l.
0
Suppose 4*h + 3*k - 2 = 4*k, 0 = -2*h - 4*k + 10. Let n = h + 0. Solve 5*d - z - 3*z + 32 = 0, 4*d + 5*z = -n for d.
-4
Let z = 1 + -10. Let w = 14 + z. Solve w*h = -t - 11, -8 = -h + 5*h for t.
-1
Let o(r) = -r**2 - 5*r + 12. Let w be o(-9). Let s = 27 + w. Solve 0 = 3*y - s*g - 9, 2*g - 2 = -y - 8 for y.
0
Suppose 0*x = 2*x + 2, 3*x = 5*q - 28. Suppose 5*w = 2*v - 1 + 9, w + v = -4. Solve -2 = 4*t - q*f + 2, w = 2*t + 2*f + 2 for t.
-1
Let j(v) = 3*v - 6. Let z be j(5). Let k be -10*(z/6)/(-3). Solve -5*d + g - 3*g = 1, 13 = -2*d - k*g for d.
1
Let p(h) = h + 11. Let w be p(-6). Suppose 3*d = -0*t - 3*t + 6, 2*t + w*d - 10 = 0. Solve 5*o - 5*k - 40 = t, 3*o = -7*k + 3*k - 11 for o.
3
Let z = -3 - -1. Let n be 3/9*(z + 17). Suppose n*v + 4 = -5*i + 14, -10 = -5*v. Solve 10*l = 5*l - 4*m + 4, -l - 2*m - 4 = i for l.
4
Let p be ((-2)/(-5))/(1/10). Suppose -p*o = -o. Let y(q) = -q**2 + 5. Let z be y(o). Solve g + z*l - 15 = 0, -2*g - 2*g - 5*l = -30 for g.
5
Let s be (-6)/4*16/(-6). Suppose -s = -x, 2*k - 10 - 2 = -2*x. Let w be 7 + -2 + (-3 - -3). Solve -o - m - k*m = -15, 14 = -2*o + w*m for o.
3
Let w be 12/3 - (-1 - -2). Let v(m) = m**2 - w*m - 5 + 5*m + 4*m - 2*m**2. Let n be v(4). Solve r + 7 = -4*c, -4*r - c = 16 - n for r.
-3
Suppose -4*n - 5*l + 5 = -23, -2*n = 5*l - 24. Solve -i - n*o = -o - 6, 2*o = 3*i + 7 for i.
1
Suppose 0 = -3*n - 0*n + 15. Suppose 4*o = -p + 4*p + 12, 0 = 3*o - 4*p - 9. Suppose 0 = -o*k + 4*k. Solve k = 3*i - y - 5, -n*y - 4 - 3 = 3*i for i.
1
Let j(f) = 1 - 6 - f + 9. Let w be j(6). Let l be 204/21 - w/7. Solve 5 = 5*y - 4*b, -l = -4*y - y + 5*b for y.
-3
Let x = 49 + -45. Solve -2*m = -2*b + 4, -x*b + 8*b + 4*m = 0 for b.
1
Let x be (-18)/(-9) + 3*3. Let l be 1*16 - (x - 14). Solve u = -2*u + p + 18, 2*p = -5*u + l for u.
5
Suppose 2*u - 8 - 2 = 0. Suppose -8 = -u*h + h. Solve -3*l - 9 = -2*l + 2*k, 4*l + h*k = -24 for l.
-5
Suppose -2*o + u + 34 = -2*u, 5*o - 4*u - 85 = 0. Solve 4*k - m + o = 0, 14 - 3 = -2*k + 3*m for k.
-4
Let t be 65/52 - (-6)/8. Solve -i + 4*c + 4 = 5*c, -i + 3 = t*c for i.
5
Suppose 0 = -2*y + 2*c + 30, -y + 2 + 25 = -5*c. Solve -3*j - y = 3*f, f + 2*j + 7 = -0*j for f.
-1
Suppose -5*h + 9 = -4*l, -l = -5*h + 17 + 4. Let i(z) = -z - 4. Let f be i(-6). Solve 0 = m - 5*j + 6*j + 3, f*j - 12 = l*m for m.
-3
Let w be (-1)/(2 + -2 + 3/(-12)). Solve 5*d - 2*f = -1, 0*f + w*f + 7 = d for d.
-1
Let v(m) = -2*m - 4 + 4 + 4. Let f be v(-4). Solve -3*n = -3*s + f, 15 = -4*n - 5 for s.
-1
Let m(r) = r - 3. Let w be m(6). Solve w*o = q - 6*q - 16, -2*q = o + 6 for q.
-2
Suppose -2*u - 15 = -3*u + 3*t, 5*t = -25. Solve 2*n = -n + 5*v, 3*v = u for n.
0
Let j be (1/(-2))/((-1)/8). Let u(s) = 0 - s**2 - 3 + 3 + 3*s + 4. Let h be u(j). Solve 4*d - 4*n - 12 = -h*n, -2*d - 3*n - 14 = 0 for d.
-1
Let y(n) = n**2 + 4*n - 27. Let z be y(-8). Solve -2*d = -0*d, -p - 2*d - z = 0 for p.
-5
Let n(g) = -g**3 - 3*g**2 + 3*g - 1. Let b be n(-4). Let f = -4 + 11. Let i = f - b. Solve 9 = -5*a + 2*q, a = 2*a - i*q + 9 for a.
-1
Suppose -7 = -3*w + 5. Solve -4*n - 2*p + 10 = -2*n, -w*p = 2*n - 12 for n.
4
Let p(v) = v**2 + 5*v - 14. Let o be p(-7). Solve 5*t - 4 = -3*h - o*h, -t + 5 = 2*h for h.
3
Suppose -a - 2*h = h + 4, 0 = -5*a + 2*h + 31. Solve a = 5*s - 5*z, 5*z + 5 = -6*s + s for s.
0
Let k be (36/(-2))/(-2) + -2. Solve 2*s + 2 = -f, -s + k + 1 = -4*f for f.
-2
Let t be (-604)/(-36) - (-2)/9. Suppose 4*h + t = h + o, -4 = h - 2*o. Let d be ((-1)/3)/(h/54). Solve 0 = -c - d*k - 1 - 9, 0 = -4*c - 2*k for c.
2
Suppose 0 = -9*x + 6*x. Solve 3*u + 3*j - 15 = x, u + 3*j - 8 = 5*u for u.
1
Let r = 20 + -15. Solve r*l + 2*d + 9 = 0, -d = -4*l + 2*d - 21 for l.
-3
Suppose 2*j = -2*j + 16. Suppose 0*p = 4*t + 4*p - j, -3*t - 2 = -2*p. Solve h + 4*n + 17 = t, 0 - 3 = n for h.
-5
Let n be 4/42 - 2508/(-126). Solve -5*h - 2*d = 2*d + n, 5*d + 25 = 0 for h.
0
Let o = -1 + 5. Let w be (2/(-6))/((35/(-150))/7). Solve 0 = 4*b + 5*n - w, 2*b = -o*n - 2 + 10 for b.
0
Let g = -6 - -10. Let d = 5 + -2. Solve -2 - 2 = 4*i + g*y, -d*i = 4*y + 8 for i.
4
Let g be (0 - (-1 + 1)) + 1. Suppose -f = -4*f - r - 7, 5*f = 4*r + 11. Let o = f + g. Solve 3*v + 2*v - 3*d + 4 = o, 12 = -3*v + 5*d for v.
1
Let d be (-4)/(-16) + (-54)/(-8). Suppose 4*k - 40 = 5*x, -k - 2*x = x + d. Solve r + 4 = -6*u + k*u, 0 = 2*u for r.
-4
Let j be 7 - -1*(2 + 1). Solve z - 4*a - 5 = -a, 2*z + j = -4*a for z.
-1
Let x = 10 + -7. Suppose -o - x*o + 16 = 0. Suppose -o*g = -5 - 7. Solve 5*s + 2 + 5 = 3*t, -g*t + 10 = -2*s for s.
1
Suppose 5*r - 4*l - l - 45 = 0, 5*r - 2*l - 30 = 0. Suppose 26 - 10 = r*g. Let h be 1*(-1 + 4 + -1). Solve c + g = -3*k, 0*c - c = -h for k.
-2
Let x(f) = f**2 - f - 4. Let t be x(3). Suppose -3*w + 6*w = 15. Solve 5*c + 5 = -3*v + 1, -w*v = t*c - 6 for c.
-2
Let s(b) = b**3 + 7*b**2 - 2*b - 7. Let u be s(-7). Suppose -u = -i - 1. Solve z - i*z - 15 = -5*c, -c = -3 for z.
0
Suppose 0 = -q - 4, -3*s + 4*q - 26 = -0*s. Let w = -10 - s. Solve -w*f = -5*o + 33, -5*o + 18 = 3*f - 1 for o.
5
Suppose -2*u - 2*b = 6, -2*u + 3*b - 23 = 3*u. Let w(t) = t**2 + 5*t + 6. Let l be w(u). Suppose 17 = 3*k + 5. Solve -2*c - m = 1 - 3, -l*c - k*m + 2 = 0 for c.
1
Let p be (4/(-8))/((-1)/(-14)). Let k be (-1 + 0)*21/p. Solve -5*s = 2*r - 6, r + 0*s = -s + k for r.
3
Let w = -45 + 83. Suppose w + 2 = -5*u. Let p be (-2)/8 + (-26)/u. Solve -q + 10 = 5*j, -3 = 4*q - p*j - 20 for q.
5
Suppose 0 = 4*z + 2*r - 12, -r - 4 = -3*z + 10. Suppose 5*j = 4*p + 5, -4*p - z*j = -j - 35. Solve p*v = -n + 1, -2*v = -7*v + n - 1 for v.
0
Let k(m) = -m**3 - 4*m**2 + 4*m - 1. Let y(d) = d**3 - d**2. Let a be y(2). Suppose 1 = -n - a. Let g be k(n). Solve q = -h + 4, q - 14 = -g*h - 2*q for h.
2
Let g(k) = k**2 + 5*k + 6. Let z be g(-5). Let v =