-3*l. Solve l = -5*y + 3*w, y - 4*w = w + 13 for y.
-2
Let i(x) = -x**2 + 8*x - 8. Let k be i(6). Suppose -2*j + 6 = -k. Suppose 3*w - j*w + 8 = 0. Solve -q - q + 16 = 2*f, -q + 20 = w*f for q.
4
Suppose 32*o = 36*o. Suppose 2*f + 6 - 20 = 0. Solve -s - 3*k + f = o, -4*s - k = 2*k - 10 for s.
1
Let l(u) = -u - 16. Let c be l(-16). Solve c = -n - 5, 2*b - 6*b + 4*n = 0 for b.
-5
Let a = 4 - -6. Let b = a + -8. Let k be (b/(-6))/((-2)/30). Solve 5*g + k*n - 12 = 3*g, -4*g + 5*n = 6 for g.
1
Suppose 0*t - 1 = o - 4*t, -4*t = 0. Let h = 2 - o. Solve 0 = 3*l + 3*k - 12, h*k + 2*k + 16 = 4*l for l.
4
Suppose 0 = -0*n + 2*n - 8. Suppose 15 = 5*s, -2*s + 5 = x - s. Solve -g - 12 = -n*r, -x*r = -g - r for g.
4
Let t(k) = k - 5. Let o(r) = -3*r + 11. Let i(a) = 2*o(a) + 5*t(a). Let p be i(-7). Let j be p*1 - (-3 + 1). Solve g - 3*y + 11 = 0, -4*g - 34 = -4*y - j for g.
-5
Suppose 5*o = -10, 0*i + 2*o = 5*i + 16. Let s be 1/(-4) + (-1)/i. Suppose 0 = -s*v + 2*v. Solve 0 = 5*k + 4*n + n - 40, k - n = v for k.
4
Let q(i) = 10*i**2 - 4*i**2 + i + 7*i**2. Let g(t) = 13*t**2 + t. Let h(c) = -5*g(c) + 6*q(c). Let y be h(1). Solve -z + 4 = 2, -y = -4*p - 5*z for p.
1
Let v = 13 + -20. Let g = v + 25. Solve -4*k - t - g = 0, 5*k + 0*t + t = -23 for k.
-5
Let k = -31 + 44. Let a = k + -8. Suppose 0 = 2*n, -3*n - 7 = -2*b - 1. Solve 9 = a*s + m - 0*m, -5*s - b*m + 17 = 0 for s.
1
Suppose -2*x + 3 + 3 = 0. Suppose 0 = -4*t - 0*m + x*m - 51, 0 = -2*t - 3*m - 39. Let k = -10 - t. Solve -5*b = 3*c - 17, b + k*c = c for b.
4
Suppose 7 + 5 = v. Let r(p) = -3*p - p**3 - 3 + 0*p**3 + 5*p + 3*p**2. Let d be r(3). Solve -d*j - 5*c = -4, -j + 6*j + v = c for j.
-2
Suppose -8*m + 15 + 1 = 0. Solve m*i + 3*q - 12 + 5 = 0, i = q + 6 for i.
5
Suppose -h = b - 6 + 1, 3*b - 5 = 2*h. Solve -b*c + 10 = -2*i - 1, 3*i - c = 1 for i.
2
Suppose 3 + 6 = n + 2*m, -4*m = -5*n + 3. Suppose 2*u = -4*p + n*p + 6, -2*u = -2*p - 18. Solve -v = -2*i - 8, u*v + 6 = 2*v for i.
-5
Let k = -1 + 4. Suppose -3*g - 4 = g. Let j be 0/(g + (-3)/k). Solve 3*u + 11 = -2*i - j*i, -3*u + 13 = -4*i for i.
-4
Let j be 12/15*10/4. Suppose g + s = 6, 5 + 3 = 3*g - 2*s. Suppose -x - 4*b = -1, -4*b - 9 = -g*x + 3*x. Solve 0*w - 8 = j*w, 3*w + 12 = x*n for n.
0
Let s = 2 - 3. Suppose q + 0 + 6 = -m, -4*q - 24 = -3*m. Let y = s - q. Solve f = y*p - 4 + 1, -2*f - 3*p = 6 for f.
-3
Let b = 37 + -37. Let t be (1 + -1)*2/(-4). Solve b = 2*a + f + 5, t = a + f - 6*f - 3 for a.
-2
Let j be (2*-2)/(-2 - 0). Suppose -k + j*t + 24 = -7, k - 39 = -2*t. Suppose 5 = -3*z + k. Solve -a + 5*a + 5*l = 2, 0 = -4*a - l + z for a.
3
Let r = -1 - -2. Suppose 0 = 5*f - r - 9. Let l(i) = -i**2 - 3*i + 3. Let n be l(-3). Solve 3*z + 2 = f*p - n*p, 4*z + 2*p + 6 = 0 for z.
1
Let w(m) = 2*m**3 - m**2 - 10*m + 2. Let a be w(3). Solve 5*i = -4*b + a, -4*i + 12 + 10 = -b for i.
5
Suppose 2*l - v - 9 = 0, -3*l + 3*v = v - 15. Suppose 0 = -3*f - 0*b - 2*b, l*b = -9. Solve f*c + c = 3*m - 3, 5*c + 2*m + 12 = 0 for c.
-2
Let z = 31 + -27. Solve -z*d = 5*r + 2, 0 = 3*r - 0*r - 3*d + 12 for r.
-2
Suppose 0 = 4*h - 8*h - 768. Let i be (h/(-6))/(0 + 2). Solve -a = 3*a - i, -4*a = -2*z - 18 for z.
-1
Let b = 12 + -29. Let x = b + 17. Solve -3*q + 4*t + 20 = x, -t - 22 = 3*q - 8*q for q.
4
Let m be 0 + -3 + 0 - 40/(-5). Solve 0*u - m*u + 5*g = -35, -4*g = 20 for u.
2
Let q be 6 + (-1 - 0)/(-1). Let a(t) = -t**3 + 7*t**2 - 9*t - 6. Let k be a(6). Let b = k + 26. Solve -b*d + 4*n - 3*n - q = 0, 5*d = 5*n - 20 for d.
-3
Let p = 1 - -2. Let c be 136/56 + p/(-7). Solve 2*g = -h - c*g + 9, -5*h = 5*g for h.
-3
Let w = 8 - 6. Let y be (-13)/(-3) + 1/(-3). Let r = y - -2. Solve -w*x - 3*o + 5 = -0*x, -5*x - o + r = 0 for x.
1
Let v(r) = r + 4 + 3*r + r**2 - 1 - 1. Let z be v(-4). Solve 2*m - 12 = -3*q, 2*m - 12 = -z*m - 3*q for m.
0
Let u(h) = -h**3 + 10*h**2 - 10*h + 9. Let k be u(9). Suppose k = 3*a + a - 20. Solve 5*s - a = 3*j, -2*s + 23 = 4*j - 5 for s.
4
Let f(n) = -13*n. Suppose -2*j = j + 3*b + 18, -4*b = 2*j + 22. Let y be f(j). Suppose -s - 16 = -5*s. Solve 3*c + 1 = 2*q + s, -4*q - y = c for q.
-3
Let o = -60 - -64. Solve 5*v - 2 = -o*z + 2, 0 = -4*z - 16 for v.
4
Let h(p) = 2*p**3 + 2*p**2 + 3*p + 2. Let u be h(-1). Let q be 3 + 0 + u + 0. Solve -3*s - 5*o - 1 + q = 0, 4*s - 6 = -2*o for s.
2
Suppose -v + 15 = 2*k, -3*v + v = -k - 5. Solve -2*h = -v*r + 25, -3*h - 3*r - 18 = -4*r for h.
-5
Let o be (-2)/((-4)/(-8)*-2). Suppose z + 3*z = -4. Let q = 4 + z. Solve -3*w + 5*j - 22 = 0, 0 = 2*w - q*j + o*j + 3 for w.
1
Let z(n) = n**2 + 4*n + 5. Suppose 16 = -4*b - 0. Let l be z(b). Suppose l*c - 73 = d, 4*c + 0*d - 65 = 3*d. Solve -2*k = 4*x - c, 4*x = 4*k - 0*x - 4 for k.
3
Suppose 36 = -4*n - 12. Let a = 20 + n. Solve -5*q = x + 7, 5*q + 2*x + a = -1 for q.
-1
Let g(t) = 2*t + 1. Suppose 2*w = 5*w + 6. Let q(r) = r**2 + 3*r + 3. Let a be q(w). Let i be g(a). Solve 3*u + u + x + 17 = 0, -2*u - i*x - 11 = 0 for u.
-4
Let y = 5 - -1. Suppose 0 = 9*h - 8*h. Solve 5*r = -d - 12 - y, -3*d + 2*r + 14 = h for d.
2
Suppose 0 = -p + 4*t + 3, 0 = -2*p + t - 5 + 11. Suppose -p*n + 1 = -8. Solve n*f - 12 = -4*r, -3*f + 2*f + 4 = 4*r for f.
4
Suppose 0 = 2*u - s + 3, 5*u - s + 3 = -0*u. Let a(j) = -j + 1. Let t be a(0). Let o be t - 1 - -1 - -3. Solve -5*v - 5*h - 10 = u, -5*v = o*h + 2 + 3 for v.
3
Let l = 11 - 5. Solve 2*f = 5*y + 16, -3*f + 22 = -4*y - l*f for y.
-4
Suppose 4*n = 12, 2*l + n = -3*n + 18. Solve 2*h + 9*r - 4*r = 17, 0 = -2*h + l*r - 23 for h.
-4
Let d(v) = v**2 - 6. Let t be d(-3). Suppose 0 = -f - 3 + 8. Suppose -2 = -5*u + 23. Solve w + f + 14 = -5*i, -2*i - t = u*w for i.
-4
Let o be ((-3)/(-2 + 3))/(-1). Suppose -n - 2*n + 7 = -2*i, 0 = 3*i - o*n + 3. Let b be 1/(1 + 8/(-10)). Solve -i*m = -3*g - 15, m - 8 = b*g - 0 for m.
3
Let x(m) = 2*m + 7*m - m**2 - 1 - 2*m + 12. Let w be x(8). Solve 4*r - 21 = -w*z, 0*r + r - 12 = -3*z for r.
3
Let y(q) = -q**3 + 11*q**2 - 3*q - 1. Let m be y(10). Suppose -4*g + m = -3*o, 0 = 4*g + 3*o - 4*o - 71. Solve 0 = -4*i + 2*v - g, -5*v + 20 = -2*i - 3*i for i.
-5
Let u = -5 - -11. Let b be -6*1/u*8. Let l be b/(-8) + 0 + -1. Solve d = -l*d - 5*t - 26, 3*d + 8 = -t for d.
-1
Let t(f) = -f**3 - 3*f**2 + 3*f + 2. Let g be t(-4). Let n = 6 - 4. Suppose -g = -n*j + 4. Solve j*c = -3*o - 14, 2*o - 6 = -3*o - c for o.
2
Let q = -3 - -6. Let f = 6 - 4. Let x be 5 + -3 + (f - 2). Solve 2*o - q = g - 5, x*o + 5*g = -14 for o.
-2
Suppose -5*q - 2*k = -0*k + 76, 0 = 4*k - 8. Let l be (-22)/(-1) + q/8. Solve 0 = 3*z + 2*z + 5*x + 20, 4*z = -5*x - l for z.
0
Suppose 0*r - 2*r + 10 = 0. Suppose -4*c = -3*a, r*c - 7 = -0*c + 2*a. Solve -c*q - 3*x - 18 = 0, -3*q + 4*x = -0*q - 10 for q.
-2
Suppose 2*m + 4*m = 12. Let b be 0 + 2/(-2) + 1. Solve -m*k + 6 = -2*t, 2 = -b*t - 2*t + k for t.
1
Let j = 64 - 61. Solve n + j*k - 1 = 3*n, 4*n = 4*k for n.
1
Let d = 14 - 9. Suppose d*k - 1 = m + 15, -3*k + 5*m - 8 = 0. Solve 0 = -k*v - 3*x - 6 - 29, x = v for v.
-5
Suppose 0 = -w - 3*l - 4, 0 = 3*w - 4*l - 0*l + 12. Let t be (-14)/w - (-11)/22. Solve t*j = -2*y + 4, 2*j + 2*y = -j + 4 for j.
0
Let s be -2*(-2 - 6/3). Solve 5*r = -v + 2*v - 20, 3*v - s = 2*r for r.
-4
Suppose 19 = 3*i - 26. Let z = i + -14. Solve 4*u = 4*k - 36, 5*u - k - z = -26 for u.
-4
Let q(g) = g**2 + 6*g + 2. Suppose 3*z + 21 = 3. Let j be q(z). Solve r - 11 = -2*a + 7*a, j*a + r + 3 = 0 for a.
-2
Let c = -51 + 55. Solve -2*o - 10 = -2*h - h, h + c*o + 6 = 0 for h.
2
Let s be (-1 - -1)*(-4 + 5). Solve 0 = p - 4*k, s*p + 4*k + 4 = 2*p for p.
4
Let i(j) = 2*j**2 - 26*j - 9. Let l be i(14). Solve -p + 4*y + 21 = 0, p + 0 = -4*y - l for p.
1
Suppose -3*a + 4*b + 18 + 31 = 0, 5*a - b - 93 = 0. Solve 0*t - 22 = 4*t - 5*k, -5*t = -2*k + a for t.
-3
Suppose y + 3 = 53. Suppose -y = 3*s - s + 2*z, -5*z - 105 = 4*s. Let p be 2/3 + s/(-6). Solve -5*i = 2*t + 1 + 1, -p*t = -2*i + 4 for t.
-1
Let f be (-4 + 1)/(2/(-6)). Suppose 7 = 4*u - f. Solve 3*j - u*d = -7, -2*j - 2*j - 5*d = 30 for j.
-5
Let l be (-1 - (3 - 3))/((-5)/25). Solve j - 5 = s, s + j + l = 2 for s.
-4
Suppose 0 = -5*x - 3*y + 22, -y = 4*x - 4*y + 4. Suppose -x*w + 0*w - 5*q - 21 = 0, 5*w = -2*q. Solve -2*f - 19 = 2*b - 7, -3*f - 3 = -w*b for f.
-3
Let i(m) = m**2 - 5*m. Let n be i(5). Let o(s) = -s + 14. L