t y(g) = g**3 - 13*g**2 + 2*g - 22. Let v be y(13). Solve 3*w - 2*l = 3, -1 = -3*w + 2*w + v*l for w.
1
Suppose 0*a = 5*a - 3*l - 27, 5*l + 35 = 5*a. Suppose -7 = -0*m - 3*m + 4*s, -a*m = s - 17. Solve 0 = z - 2*n - 14, -m*n = z - 2*n + 11 for z.
4
Let f = -1 - -1. Solve 0 = -x - 5*j + 28, -4*x - 3*j + 5*j + 2 = f for x.
3
Let z(y) = -y + 9. Let m be z(5). Let t(g) = -3*g - 6. Let i = 4 + -12. Let d be t(i). Solve 3*a - m*r - 16 = 0, 0 = 5*a - r - d - 3 for a.
4
Let p = -28 + 49. Suppose g = 9 + p. Let j be (2/(-1))/(-4 + 2). Solve -3*t - 15 = 0, 4*v + g = -3*t - j for v.
-4
Suppose 1 = -5*w + d, -2*w + 2 = 3*d - 4*d. Let m be w/(-3) - 16/(-6). Solve 0 = m*g, -g = 5*b + 3*g - 25 for b.
5
Let s be 1*3/(-6)*-22. Solve -5*u + 1 = -4*x, 5*u + x + s = 2*x for u.
-3
Suppose 0 = -7*o + 10 - 3. Solve -o - 1 = 5*j - w, -3*j + 9 = -4*w for j.
-1
Let q = -19 + 21. Solve 2*f = 5*k + 4, 0*k + 3*k + 12 = -q*f for k.
-2
Let u(k) = k**2 - 3*k + 1. Let p be u(4). Suppose 0*z = -5*o - z + 8, 5*z + 20 = p*o. Solve 0 = -o*w - 3*g + 7, -g - g = -10 for w.
-4
Suppose 1 + 19 = 5*o. Solve -5*b = d + 9, 8*d = o*d - 16 for b.
-1
Let t = -66 + 69. Solve -9 = h + 4*k, 3*h + 16 = t*k - 4*k for h.
-5
Let m(d) = 4*d**2 - 2*d. Let z be m(2). Let y = -6 + z. Solve -7*v + 3*v - 5*p + y = 0, 3*p = 6 for v.
-1
Suppose 3*g - 3 + 1 = 4*x, 5*x + 6 = 2*g. Let q be (0 + -5*2)/g. Solve 4*j + 2*o = 3*j - 12, 0 = 4*j + q*o + 33 for j.
-2
Let a be 3 - 9*2/(-2). Let o be a/(-6*2/8). Let f = 10 + o. Solve -2*g + 4*p - p = -6, 0 = -p - f for g.
0
Suppose 0 = 5*j + 3*q - 85, -2*j + 5*q = -0 - 3. Solve 2*s = -3*y - 2, -4*s - 3*y = -2*y + j for s.
-4
Suppose 4*w = -2 + 18. Suppose w*z - 2*z - 8 = 0. Solve -z*q + u + 6 = -10, -4*q + 32 = -5*u for q.
3
Let s = -88 - -88. Solve -3 - 17 = -5*l, 2*w + 2*l - 10 = s for w.
1
Suppose 2*n - 3*n + 2 = 2*g, 10 = 2*g + 5*n. Let j(w) = -w**2 + 6*w. Let p be j(7). Let q = -2 - p. Solve q*s = -x - 10, 4*x = s - g*x + 2 for s.
-2
Let r be (-4)/(-14) - (-12)/7. Suppose -4*b = -4*u + 2 + r, -20 = -5*u. Solve -b*p + 9 = -5*k - 6*p, -2*k + 2*p = 10 for k.
-3
Let t be 8/5 + 28/70. Suppose t*y - 10 = -3*f + y, -18 = -2*f + 5*y. Solve -5*a - 5*k + 2*k - 19 = 0, -f*k - 12 = 4*a for a.
-5
Let y = 9 + -5. Let o = -1 + y. Solve -3*m + 3*r = 18, r + 3*r - 22 = o*m for m.
-2
Let q = 6 + -10. Suppose -y + 0*y = 2*t - 7, -2*y + 5*t - 13 = 0. Let s be y/(-1*2/q). Solve -v = -s*h - 8, -3*v + 2 = -10 for h.
-2
Let m(a) = -3*a + 1. Let t be m(1). Let n be t/3*18/(-3). Solve -d = -n*j + 3*d + 8, 3*d + 2 = j for j.
2
Let s(k) = k. Let a be s(0). Let c be 1 - a - (-1 - 1). Solve -c = 5*d - 18, 2*d + 10 = -4*p for p.
-4
Let a be 2 - (3 - (0 - -2)). Let q = a + 4. Solve -q*y + 13 = 3*v, 0 = 2*y + 2*y - 20 for v.
-4
Let q be 34/(-119) - (1 - (-74)/(-14)). Solve -q*i + 2*g + g = 20, 4*i + 2*g = 0 for i.
-2
Let v(r) = r**3 + 6*r**2 + 3*r - 6. Suppose -6*a + 3*a = 15. Let o be v(a). Solve 3*l - 1 = -5*c + o, 4*c = 3*l + 31 for l.
-5
Suppose 5*q - 28 = 32. Let x be (-19)/(-4) + 3/q. Solve 20 = 5*j - j - 4*a, 21 = 4*j - x*a for j.
4
Let g = 13 - 22. Let l = 13 + g. Suppose 3*c + 3 - 28 = -5*r, -l*c = 4*r - 28. Solve -c*n - 2*x - 15 = -x, -4*n + 3*x = -7 for n.
-2
Let k = 2 - -2. Solve -2*g = 0, k*g - 9 = 3*q + g for q.
-3
Let u = -98 + 105. Solve 4*v = -3*l + 30 - 6, 4*l - 3*v - u = 0 for l.
4
Let s(j) = -j**3 + 2 + j - j - j**2. Suppose 5*r + 5*c + 1 = -4, 5*c + 5 = 0. Let k be s(r). Solve 3*h - 2*f + 5 = -0, f - k = 2*h for h.
1
Suppose -5*b - 140 = 10. Let u be (b/12)/((-1)/2). Solve 3*q - 23 = 2*g, 3 = -2*g - u for q.
5
Let b(l) = l - 3. Let g be b(6). Suppose -5*j + g*t = -5, 5*t - 2*t = 3*j + 3. Suppose -d - 1 = -j. Solve 3*y + 4*i = d, 3*i = 4*y - 2*y - 2 for y.
1
Let v(j) = -j - 1. Let q(l) = 24*l + 24. Let i(f) = q(f) + 16*v(f). Let d be i(9). Suppose -6*m = -m - d. Solve -6*s = -3*s + 12, 5*s = p - m for p.
-4
Let b = 0 + 0. Let k(d) = -d**2 + d + 30. Let t be k(0). Let w(p) = -p**3 + 4*p**2 + 5*p + 3. Let h be w(5). Solve -h*s + 3*u + t = b, 30 = 6*s - s - u for s.
5
Let r(y) = -y + 1. Let a be r(-4). Solve 0 = 2*o + v + 1, 4 = a*v - 1 for o.
-1
Let t be (5/(-3))/(2/(-6)). Let z = t + 1. Solve -d - 8 = 4*q, -q + 3*d - z = -3*q for q.
-3
Let f be (8/6)/(2/3). Solve -f*t + 2*d = 9 - 1, -2*d = -4 for t.
-2
Suppose 4*w + 2*w = -24. Let q be w/(-18) + 96/54. Solve 4*c - 3*p + 16 = 3*c, 12 = q*c + 5*p for c.
-4
Let z = -4 - -8. Let l(u) = -u**2 + 2*u + 4. Let v be l(z). Let d = -4 - v. Solve j + j + 6 = d, 5*j + 12 = 3*w for w.
-1
Let k be (5/(-4) - -1)/((-3)/60). Solve -2*t + 4*f + 6 = 0, -2*t + k*f + 0 + 7 = 0 for t.
1
Let l(s) = -s**2 + 4*s + 3. Let p(m) = -1. Let h(y) = -l(y) - 5*p(y). Let c be h(5). Solve -2*r - 2*b = 0, 3 = 2*r + 4*b - c for r.
-5
Let u be 1 - -2 - (-2)/(-2). Suppose 0 = 3*t + 4*t - 14. Solve -5*z + 24 = -a, -a - t*a + u*z = 7 for a.
1
Suppose 4*j + 2*j = 0. Solve j = 3*q + 5*y + 20, 5*q + y - 8 = 3*y for q.
0
Let g = 80 + -58. Solve 3*c - 2*k = 7*c - g, -4*k = -4*c + 4 for c.
4
Suppose 30 + 10 = 4*g - 5*d, -11 = g + 4*d. Suppose -2*i - 4*r = -10, 5*r = -3*i + 2*i + g. Solve -2*w = z + i - 11, -4 = -w for z.
-2
Suppose -8*f + 2*f + 18 = 0. Solve 3 = f*l, -l = -2*b + 4*l + 1 for b.
3
Let r = 8 + -6. Let f = -6 - -6. Suppose f*c = c. Solve -4*j + 13 = w, 0*j - 2*j - r*w + 2 = c for j.
4
Let f(u) = u**2 + 6*u - 11. Let y be f(-8). Solve -16 = -y*l - p - 0*p, 3*l = 4*p + 28 for l.
4
Suppose 3*o - 116 = -41. Let x = 45 - o. Solve -4*t + x = 0, t - 5*t = -m - 20 for m.
0
Let k be -5*1*(2 - 1). Let a be (-3 - k) + 0 + 1. Solve -5*c - 2*i + 6*i + 6 = 0, c = a*i - 1 for c.
2
Let a be 3/(-9) - 3/(-9). Suppose b + b - 8 = a. Solve -5*z + b*x + 31 = 0, 3*z - x = -3*x + 1 for z.
3
Let b(f) = -2*f**2 + 5*f - 2. Let v be b(4). Let d be (-74)/v - (-8)/(-28). Solve 0 = -5*z, -1 = r - d*z - 3 for r.
2
Let i be (-4)/3*3/(-2). Let t(w) = w**2 - 2*w. Let u be t(i). Suppose -3*n = -u*n. Solve -3*s + b + 16 = n, 0 = -2*s + 3*b + 11 + 9 for s.
4
Suppose -2*u + 5*k + 24 = 0, -3*k = -5*u + 23 - 1. Suppose 4*s = 6 + u. Solve 5*j + 10 = -3*t, -s*j = -5*t + 2*t - 17 for t.
-5
Let i be 4/10 - 56/(-10). Let u be (-1 - (-9)/6)*(0 - -6). Solve w - 11 = -4*v, u*v = 4*w - 0*v - i for w.
3
Suppose -5*c - 5*y + 20 = 0, 0 = -c - 0*y + y + 6. Solve -g + 3*k - 14 = 0, -c*g + 8*g = -2*k + 13 for g.
1
Suppose -10 = -4*v - 3*p, -3*p + 6*p - 7 = -v. Let t(s) = 2*s**3 + s**2 + s - 1. Let n be t(v). Solve 5*m - q + 20 = 0, -n*q + 1 = -5*m - 19 for m.
-4
Let y(k) = k**2 + 3*k - 54. Let g be y(6). Solve -4*p + 12 = g, -p = -3*j - 5*p for j.
-4
Let r(a) = a**2 - 8*a + 12. Let j be r(8). Let o = -10 + j. Solve 10 = -d - o*w, -14 + 40 = -3*d - 5*w for d.
-2
Suppose 2*l + 4*l = 18. Solve 2*d + 2 = -d - c, -d - 14 = -l*c for d.
-2
Let q be 0 - (3 + -4)*12. Solve -4*b = -2*d - q, -4*b - 5*d + d + 12 = 0 for b.
3
Let u(c) = -c**2 + c + 2. Let p be u(0). Solve p*z - s + 5 = -4*s, -3*z + 2 = -5*s for z.
-1
Suppose 3*p = -p + 12. Solve 2*q + 2*x = -6, -7*q + 3*q + 9 = -p*x for q.
0
Suppose -2*s = -3*g - 9, g - 4*g = -5*s + 18. Suppose -8 = d - s*d. Solve 2*w - v + 5 = 0, -2*v - d - 10 = 2*w for w.
-4
Let p(o) = -o**3 + 2*o**2 + 3*o - 2. Let m be p(3). Let d be -6 - -6 - (2 + m). Solve -4*i + d + 5 = v, 5 = i + v for i.
0
Suppose 0 = -11*o + 15*o - 8. Solve 0 = 3*i - 5*b + o, 3*i = b - 4*b - 18 for i.
-4
Suppose 2*s = l - 4, 20 = 5*l - 0*s + 4*s. Solve 3*n = -4*r + 21, 5*r = l*n + n for n.
3
Let h be (2/3)/(-2)*-15. Solve -h*c + 14 + 2 = -3*g, 5*c = -2*g + 6 for c.
2
Let k(r) = -4*r - 9. Let a be k(-5). Solve -4*l = -3*d - a, -5*l - 4*d - 30 = d for l.
-1
Let h(k) = -k**3 + 7*k**2 + 4. Let r be h(7). Solve -r*z - 2*y - 3 - 3 = 0, -3*z - 7 = y for z.
-4
Let r be 7 - 4 - -1*2. Suppose -r*z - l + 11 = -3*z, -3*z + 11 = -4*l. Solve 2*j - 5 + 0 = z*k, -11 = j + 2*k for j.
-5
Let x = -4 + 6. Suppose 11 = n + 2*g, -3*n + 3*g - 1 = 2. Suppose -x - n = -y. Solve -4*r - 4 = -d - 2, -y*d + 10 = -r for r.
0
Suppose -2*g + 5*r + 5 = 0, 0 = 5*g + 2*r - 18 - 9. Suppose -g*o + o = 0. Let j be o*(-1)/((-4)/(-2)). Solve j*n - 40 = 4*t - 4*n, 0 = 4*t - 5*n + 45 for t.
-5
Let s be (16 + -22)*(-2)/6. Solve 2*x = b + 4 + 1, -15 = -b - s*x for b.
5
Let f(x) = 1 - x**2 + 2*x + 2 + 4*x. Let n be f(6). Let t be n/3 - 2/2. Solve -2*a + 5*k 