*m - 5*t, 3*t = 0 for m.
-2
Suppose 10 = -2*v, -n + 3*v + 13 = n. Let c = 5 + n. Solve -f - 3 = -3*r, -3*f - 12 = f - c*r for f.
-3
Suppose 0 = 3*t - 3*l - 18, -2*t + 2*l + 2*l = -20. Solve g - w + 6 = 3, t*g = -5*w + 8 for g.
-1
Let x be (12/10)/(2*2/20). Solve 5*l + x*w - 2*w = -25, 2*w + 5 = -l for l.
-5
Let s = 0 + 3. Let p(b) = 6*b + 4. Let c be p(s). Let m = c - 3. Solve 4*w - 3*i + 13 = 2*w, -m = 5*w - 3*i for w.
-2
Suppose 8 - 2 = -2*r. Suppose -3*s + 5*c - 11 + 1 = 0, -4*s + 45 = 5*c. Let z = r + s. Solve 4*u = 12, 2*o - z*u - 15 = -7*u for o.
0
Let v = 41 + -37. Solve v*f - 8 = -4*n - 0, 0 = f - 3*n - 2 for f.
2
Suppose -6*z - 3*z = -9. Solve 3*g + 0*g - 5 = -q, q + z = 0 for g.
2
Let t = 14 + -3. Let f = 11 - t. Solve f = -5*o + 5*a, -2*o + 5*o = 4*a + 5 for o.
-5
Suppose 0 = -0*w - 4*w + 24. Solve 3*f + 35 = 5*n, 40 = -4*f + w*n - n for f.
-5
Let r(g) = -g + 14. Let w be (-8)/12*(-33)/2. Let x be r(w). Suppose 0 = x*m + m - 16, 0 = 4*z - 5*m - 24. Solve y = 4*j - z, y = -2*y + 5*j - 5 for y.
5
Suppose 0*s - 4 = 4*s. Let r be (-2 + s - -3)*1. Let y be 6/((-5)/(5/(-2))). Solve r = -5*i + a - y, 2 + 1 = -3*i + a for i.
0
Let u be 1*-2*5/(-2). Suppose 0 = 5*m - 2*m - 6. Let b be 50/6 + m/(-6). Solve r + r = -u*o - 13, b = -3*o - r for o.
-3
Let j be 6 + 1 - (-2)/(-1). Let h = -1 + 1. Let x be h + 2/(4/6). Solve k + x*k - j*r = 12, 5*r + 16 = 2*k for k.
-2
Suppose -q + p = -29, -4*q - p + 99 = -q. Solve -5*j = -f - 6 + 35, q = 3*f - 4*j for f.
4
Suppose 5*w + 6 + 6 = -4*r, -2*w + 2 = 5*r. Solve -2*l - u = 8, -r*u = -l - 0*u - 9 for l.
-5
Suppose v + v = -6. Let j = v + 5. Suppose 11 + 7 = j*t. Solve -2*i + 6 = q, -3*q + 4*q = -3*i + t for q.
0
Let y = -1 - 1. Let f = y + 5. Suppose 3*m - 1 = c, m - 6*m + f = -c. Solve c*r - x = -0*r + 1, -5*r - 4*x - 30 = 0 for r.
-2
Let i(u) = -u**2 + 4*u + 24. Let f be i(7). Solve 4*c + 36 = t + f*t, 0 = 2*c - 3*t + 22 for c.
-5
Let v be 3/2 - (-2)/4. Let n be (-12 - -12)*1*-1. Let q(m) = m - 3. Let a be q(4). Solve -v*y - 4*k - a + 9 = 0, n = 4*k - 8 for y.
0
Let h = -9 + 5. Let o be (8/12)/(h/6). Let r be (-1)/(3/6 + o). Solve 0 = -2*p - k - 5, -r - 8 = 2*k for p.
0
Let b(y) = y**2 + 6*y + 6. Let z = 10 - 15. Let v be b(z). Let g = 0 - -3. Solve -3*h + 2*h - v = -2*i, 0 = -g*i + 2*h + 3 for i.
-1
Let p be (-2)/(-3)*6/(-2). Let x be ((-35)/(-14))/(p/(-4)). Suppose x*g - 41 = c + 3*c, 4 = g - 5*c. Solve -4*t + 18 = 4*a - g*t, 5*a = t + 12 for a.
2
Suppose 0 = -3*m - 2*n + 77, -2*m - 10 + 65 = 5*n. Solve 9 = -3*f - 0*j + j, -3*j = 4*f + m for f.
-4
Let f be (22/(-33))/(2/(-15)). Solve f*q = -4*o + 13, 0 = -3*o - 0*q - 2*q + 1 for o.
-3
Let c be 1 + (3 - 1 - -2). Suppose 20 = 5*o - c. Let u = -3 + o. Solve -u*f - 9 = -2*n + 5*n, 5*n + 3*f + 16 = 0 for n.
-5
Suppose -4*j + o - 3*o + 4 = 0, -j + o + 4 = 0. Solve -3*i - 2*i + 2 = j*k, 0 = -2*k + i + 2 for k.
1
Let j(y) = 3*y + 10. Let t be j(0). Solve 5*z = 4*w - 4 + t, z = -w - 6 for w.
-4
Let o(x) = -2*x**2 + 2*x. Let r be o(1). Solve -6*y - 5*h - 35 = -y, r = -5*y - 4*h - 32 for y.
-4
Let r = -24 + 28. Solve -2*l = -r*w + 16, 2*w = 4*l - 0*l + 20 for w.
2
Let d(z) = 4*z**2 - 11*z - 9. Let j(r) = r**2 - 3*r - 2. Let o(a) = 2*d(a) - 9*j(a). Let i be o(4). Solve -i*f = -2*g + 6, -3*f - g + 6*g = 1 for f.
-2
Suppose 5*r = -7 + 27. Let o be (8 + -1)/(r/4). Suppose -2*w - 11 = 4*j - j, 3*w - 4*j = 26. Solve -w*i = -a - 2*a + 1, -a + 4*i + o = 0 for a.
-1
Let d(x) = -x + 0*x + 3*x. Let c be d(2). Suppose l = -3*y - 1 + 2, -2*y = -5*l + 22. Solve l*o + 5*g = -20 - 21, c*g = -3*o - 32 for o.
-4
Suppose 3*o - 3 = 3. Suppose -j + h - 14 = -5*j, -5*j - o*h + 19 = 0. Solve -6 = 2*z - 4*w, -3*z + j*w - 2 = -z for z.
5
Suppose -2*x + 3*k - 14 = 0, -5*k = -2*x + x - 21. Let m = 3 - x. Suppose -4*r + 1 = -7. Solve 0 = -w + r*t + 1, -m*w + 2*t - 3 + 13 = 0 for w.
3
Let t = -137 - -141. Solve -t*r = 4*g + 12, -r - 5*g + 2 = -3 for r.
-5
Let r be 10/25 + 78/5. Suppose y - r = -3*y. Solve -3*m = 4*u + u + 14, 0 = -m - y*u - 7 for m.
-3
Let u be 32/12*9/3. Let c(y) = y**3 + 3*y**2 - 4*y + 5. Let s be c(-4). Solve -2*f + 0*m = -m - u, m - 13 = -s*f for f.
3
Let d be (20/2)/(1*2). Let j(f) = 2*f**3 - 13*f**2 + 16*f - 5. Let c be j(5). Solve c = 5*k - t + d*t + 5, 2*k - 4*t + 30 = 0 for k.
-5
Suppose -31 = -5*v - 3*h - 10, -2*h = 6. Solve p = 4*y + v*p - 8, -4*p + 19 = -y for y.
-3
Suppose 0*x - 2*x = -2*n + 50, x + 106 = 4*n. Let y = 27 - n. Solve 5 = t - 2*a, y = 2*t + 5*a + 4 + 4 for t.
1
Let a = -11 - -13. Solve 4*m - 8 = 4*f, -a*f + 0*f = -3*m + 8 for f.
2
Let a(m) = m**2 - 8. Let u be a(0). Let g be u/(-5)*25/5. Let i(c) = -c. Let j be i(-2). Solve 0*b - r + g = -2*b, j*b + 8 = -5*r for b.
-4
Suppose -4*f - 3 + 15 = 0. Solve 0 = 5*t - f*o - 2*o + 35, -4*t - 5*o = 10 for t.
-5
Suppose -2*b = -7*b + 25. Suppose -3*w - w + 4*n = -44, 3*w + 4*n = b. Let a be (-6)/15 + 12/5. Solve 0 = -4*k + 3*h + w, 5*k - 5 = a*h + h for k.
-2
Suppose 38 = 2*h + 2*k, -h - 2*k + 17 + 4 = 0. Let r = 20 - h. Solve 0 = -r*t + q - 5, 0 = -4*q + 3*q + 2 for t.
-1
Suppose 105 = 4*y + h + 40, 3*y + 4*h - 65 = 0. Let g be (-36)/(-9 - -3) + (0 - 1). Suppose 8*u - g*u = y. Solve -s - 1 = -5*x + 2, u*s - 6 = 4*x for x.
1
Let r be 3 + (2 - 4)/2. Solve -3*w = -w + r*n - 4, 4*w = -5*n + 5 for w.
5
Let b = 91 + -87. Solve -5*g - b = 2*r - 37, -3*r + 17 = g for g.
5
Suppose -2*h - 15 = -3*s, -4*s = -3*h + 5*h - 6. Let f(r) = 2*r - 1. Let i be f(s). Solve -i*u = -3*z - 4, -3*z = -0*z - 2*u + 7 for z.
-3
Let o be 8/(-24) + 7/3. Solve -5*c + 3*d + 25 = 0, -o*c - 3*d + 3 = -7 for c.
5
Let b be (1 - 2)*-2 + 4. Suppose 3*f - 9 = b. Suppose 8 = -d + 5*d. Solve 5*j + 2*h = -28, 0 = -d*j + 3*j + f*h + 24 for j.
-4
Suppose 4*n - 2*n = -2*k, 0 = 5*k - 4*n - 45. Let c(y) = -4*y - 4. Suppose -2*m + 3 = -3*m. Let b be c(m). Solve 4*x = b, -6 = -k*v + 3*v - x for v.
2
Suppose 0 = -0*q + 2*q - 10. Solve 4*m = n - 9, 0 = -n - 2*n + q*m + 13 for n.
1
Let t be 1/(-2) + (-19)/(-2). Let c be (t/15)/(2/10). Suppose 5*p = -0*p + 10. Solve -3*s - 6 = -4*y, 2 = -p*y + 2*s - c*s for y.
0
Let g be 29/(-9) + (-8)/(-36). Let i = 9 + g. Let d = i + -3. Solve o - d*o = 4*p + 18, -4*o - 11 = 3*p for p.
-5
Suppose -1 = -v + 1. Suppose -2*l + l + 80 = 4*o, -v*o + 38 = l. Solve -b + 2*z = 2*b - 7, -o = -5*b + z for b.
5
Let z = 1 + -1. Let v be (-2 + (2 - z))/(-2). Let j be -1 - v - (5 + -6). Solve j = -2*b + 2*r, -2*b - 2*r + r = -9 for b.
3
Suppose 0 = -4*v - 6 - 26. Let q be (3 + 1)*(-6)/v. Solve 3*b = -j + 2, 5*b = -2*j + q*j - 10 for b.
-1
Let n(s) = s + 9. Suppose -5*t + 8 = 5*w - 3*w, -4*w + 16 = 5*t. Let x be n(w). Solve 3*q + x = 2*a, -4*q - a = -4*a + 19 for q.
-1
Suppose 3*d + 3 = 15. Let x = 6 - d. Solve 7*m - 10 = x*m, g + 5*m - 7 = 0 for g.
-3
Let c = -3 - -5. Let f(i) = -i**2 - 5*i - 2. Let r be f(-5). Let v = c + r. Solve 0 = -3*h + 5*h, v = -5*a + h for a.
0
Suppose 0 = 3*t - 5*h + 16, 3*t - 19 = 4*h - 6*h. Suppose -t*q - p = -5*q + 1, 0 = q - 5*p + 13. Solve -2*z = q*k - 3*k - 1, -3*z = 3*k - 6 for z.
1
Let a(d) = 3*d + 3. Let l(i) = 4 - 2*i - 3 - 3. Let t(h) = -4*a(h) - 5*l(h). Let q be t(-3). Solve 0 = 2*o - 5*o - n + 5, -2*n = -q*o + 20 for o.
3
Let i(g) = g**3 + 9*g**2 + 6*g - 16. Let z be i(-8). Solve z = 5*d + c + 21, -5*c = -4*d - 13 + 2 for d.
-4
Suppose 0*h - h - 15 = -4*u, u = 3. Let s = 2 - h. Solve b + 4*b = 2*k - 7, s*b = k - 6 for b.
-1
Suppose 4*z + 0*c + 3*c + 22 = 0, 5*c + 10 = 0. Let l = z + 7. Solve -o + 22 = l*a + 3*o, -2*o = -4*a for a.
2
Suppose 4*j = b - 4*b + 6, 4*j - 10 = -5*b. Solve 5*p = b*i - 21, 2*i + 6 = -i - 5*p for i.
3
Let d be ((-2)/2)/((-2)/10). Suppose 2*n + 79 = d*y, 3*y = -n + 3*n + 45. Let m be (-4)/(-4)*(-4)/(-1). Solve 2*k = 5*v - y, -2*v - 11 = -m*k - v for k.
4
Suppose k - 2*g = -3, g + 0 - 2 = 0. Let x = 5 + k. Solve -d - 2*m - m = -x, -2*d - 5*m = -11 for d.
3
Let g = 28 - 28. Solve 3*w + 3*d = -g*w - 6, -3*w - 4 = d for w.
-1
Suppose -6 = -3*o + 3*j + 6, -2*o = j - 5. Solve -o*n + 1 = 2*h - 1, 0 = -4*n + 3*h - 20 for n.
-2
Suppose -v = -3*v + 24. Let j = v - 7. Solve -j*d + 3*u - 23 = 0, -5*u = -d - u - 8 for d.
-4
Let y(t) = -t + 3. Suppose 4 = -2*z + z. Let f be y(z). Solve 3*v - 2*u = f, 5*v - u = -3*u - 15 for v.
-1
Suppose 4*y - 3*u = 19, 4*u + 22 = 5*y + 2*u. Let c be (