r m.
-5
Let h be (-4)/6 - (-88)/33. Suppose -b + h = -1. Solve -4*n - 4*m = -12, -2 = 5*n - b*m - 9 for n.
2
Let a = -57 + 85. Suppose a - 8 = 5*t. Suppose 0 = -5*q + 4*y + 17 + 48, -y = 0. Solve q = -2*u - 2*c - 1, -t*u - c = 16 for u.
-3
Let z(s) = 2*s - 12. Let v be z(7). Suppose 0*a + 6 = 4*a - v*k, -3*k + 7 = 2*a. Solve -f = -1 - 1, a*f - 7 = -3*i for i.
1
Suppose -2*k = -7*k + 10. Let b be k*(0 + 1) - -2. Let q = -4 + b. Solve l = -3*n + 14, q*n = n - l - 6 for n.
5
Suppose 5*h + 2*z = -29 + 8, 4*z = 8. Let s = 6 + h. Let c(w) = 4*w. Let o be c(s). Solve -4*d = 3*l - 0*l - o, 16 = 3*l - 2*d for l.
4
Suppose q - 4*q = -6. Solve 2*a = -v - 1, 3*v = q*a - a - 3 for a.
0
Let o be -10*(2 + -1)*-1. Suppose 6*s = -5*f + 3*s + 59, -s + 33 = 3*f. Solve f = -2*n - 3*g, n + n = g - o for n.
-5
Let z(c) = -c**3 + 10*c**2 + c - 7. Let v be z(10). Suppose -4*f + 2*f + 5*w + 6 = 0, v = f + 5*w. Solve 4*t - 4 = 2*n, t + 17 = -f*n - n for n.
-4
Let z be 1 - (1 + 1*-3). Suppose -2*r + 4*a - 8 = 0, -r + 2*a = 3*r + 10. Let m be (-4)/r + 2/1. Solve -s = -3*g + 5*g - 1, 0 = z*s - g + m for s.
-1
Let x(h) = 0*h**2 + 4*h - h**2 + 0*h**2 - 3. Let o be x(2). Let n be (-2 - -5 - o)*1. Solve -19 = 4*j + 2*c + 3*c, -n*c - 8 = 2*j for j.
-1
Suppose 2*o - 10 = -o - 2*t, 23 = 5*o - 3*t. Let b = 2 - o. Let a = 2 - b. Solve -a*m - 25 = m + p, m + 3*p = -5 for m.
-5
Let g(m) = -m**2 - 7*m + 2. Let l be g(-7). Solve -v = 2*v - l*y + 2, -4*y = 20 for v.
-4
Let u(z) = -z**3 - 5*z**2 + 3*z - 14. Let b be u(-6). Solve -24 = -4*h + d, -h = -5*h - 4*d + b for h.
5
Suppose 4*i + 12 = 0, -5*s - i = 4*i - 10. Suppose 0*f + 25 = s*f. Suppose 0*n - n = -21. Solve -j = -2*p + 6*p + n, -f*j = -p for p.
-5
Let h = 4 + -3. Let i = 1 + h. Suppose 3*c + 20 = 5*s, 0 = -2*c - 2*c - 2*s + 8. Solve 6 = 5*x - 4, 3*b + 4*x - i = c for b.
-2
Suppose 2*m + 8 = 0, -5*v = -v - 4*m - 32. Suppose 5*h - 17 = -2*j, 28 = 4*h - 2*j - 0*j. Solve 0 = -v*w + 4*y + h - 17, 2*y = 4*w + 14 for w.
-4
Suppose -5*k = 3*t + 14, -4*k - 5*t = -0*k + 19. Let p be (4/2 - 7)/k. Let d be p + (2*-1 - -2). Solve -5 = -5*w - d*l, -5 = -w - 2*w - 5*l for w.
0
Let d = -65 - -13. Let l = d + 78. Suppose 0 = 4*u - 3*j - l, 0*u + 5*u + 4*j - 17 = 0. Solve -3*r = 2*x - x - u, -r - 15 = -3*x for r.
0
Suppose -3*h = -3 - 3. Solve 5*p - 3*m = 0, 0 = 5*p - h*m + 4*m - 25 for p.
3
Let m be 1 + -1 + -1 + 3. Let n = -1 + 2. Let v be 1 - (m + n + -2). Solve 2*a + a = -2*b + 15, v = -5*a + 2*b + 25 for a.
5
Let j(w) = -w**3 + 2*w**2 + 2*w - 1. Let z be j(2). Let x = -9 - -13. Solve -z*a + 4 = -2*i - 5*a, 1 = -5*i + x*a for i.
-1
Let j be (2 - 1)*(1 - -1). Solve 0*y - 2 = -5*b - y, -3*y = -j*b + 11 for b.
1
Let h(d) = -d - 1. Let k be h(-5). Let f(t) = 0*t - k + 4*t - 6*t + 2. Let u be f(-2). Solve 4*i - 5*w = 0, -i = u*w - w + 9 for i.
-5
Let g = -5 + 32. Solve 4*m = -5*x + g, -m + 3*x = 2*m for m.
3
Let z be (-2)/(-1) - (0 - 1). Solve -5*c = -q - 19, z*c + 5*q + 7 = 6*c for c.
4
Let h = 2 - -1. Let j(d) = 3*d + 4*d**2 + 3 + 3*d**h - 2*d**3 + d. Let x be j(-2). Solve 3*q + r + 13 = 0, x*r - 3 = -6 for q.
-4
Suppose 26 - 69 = -2*i + 3*y, -3*i = 4*y - 22. Solve 0 = g - 2, -2*k - k = -g + i for k.
-4
Let u be (-3 + 2)*-4 - 2. Suppose u*s = 6*s - 8. Let j be 5 - 0 - (0 - 0). Solve -3*y + s*y + j*h = 17, 2*h = -3*y for y.
-2
Let z = 3 + 0. Solve 4*r = 2*m + 12, -4*r = z*m - 3*r - 10 for m.
2
Let s(d) = -2*d**2 - 15*d - 13. Let u be s(-6). Solve b = -3*b, -20 = -u*y - 5*b for y.
4
Suppose z - 1 = 2. Suppose -7 + z = -2*p. Suppose -6 = -0*a - 3*a. Solve 0 = -a*m - d, -4*m = -p*m + 4*d + 6 for m.
1
Let u = -6 - -8. Suppose -5*p + 8 = -u. Solve p*x + 10 = -7*g + 3*g, 0 = g - 5*x - 14 for g.
-1
Suppose 0*z - 20 = -5*z. Solve 0 = -o + 5*f + 25, -z*f - 4 = 12 for o.
5
Let s = 3 - 3. Suppose s = -2*f + 5*j + 28 - 5, -3*j = -f + 13. Suppose -f*o + 60 = -o. Solve -l - 3*l - 3*a = -o, -4*l + 4*a + 20 = 0 for l.
5
Suppose -9 = -4*v + 4*p - 1, -v = 2*p - 5. Solve -6 = -5*g - 2*o + 1, -v*g - 5*o + 8 = 0 for g.
1
Suppose 8*v + 6*v - 4*v = 0. Solve -23 - 4 = 3*k + 3*u, v = -2*u - 10 for k.
-4
Suppose 0 = -2*k + 3*k - 7. Suppose k*z = 2*z - 3*v + 19, 5*z = -v + 23. Solve 3 = o + 4*x, -5*o - z*x = -9 - 6 for o.
3
Let k = 33 - 32. Solve 5*t + 0*m - k = -4*m, -5*m - 6 = -t for t.
1
Let h(a) = a - 3. Let y = 5 - 3. Suppose -c + y = -2. Let j be h(c). Solve 0 = 2*n - 4*w - 3 - j, -5*w = 5*n + 20 for n.
-2
Suppose -5*z + 3*t - 7 = -26, 3*t - 21 = -3*z. Let h = -5 + z. Solve -4*g - 4*u - 12 = h, -2*g + 7*g = -4*u - 16 for g.
-4
Let f = -103 + 104. Solve 3*v - 2*g = -2 + 1, 3*g = 5*v + f for v.
1
Let j(t) = -t**2 - 10*t + 2. Suppose -4*y = -0*y + 40. Let k be j(y). Let u be (-9)/k*4/(-6). Solve -u*z + 5*m + 5 = -0, -2*z - m + 12 = 0 for z.
5
Let w = 2 + -12. Let t = -8 - w. Solve -5*u = -v + 20, t*u + 4 + 17 = 3*v for u.
-3
Let d(g) = -14*g + 3. Let u be d(-4). Suppose 4*z - 85 - u = 0. Solve 0 = -3*x - 3*l + 3, 0*l + z = 4*x - 4*l for x.
5
Let f be (5 + 1)*(-60)/(-36). Solve p = -5*o + f, -3*o = p + 3*p - 23 for p.
5
Let a(r) = 2*r + 22. Let p be a(-10). Solve -5*g = 3*b + 15, p*g + g = -3*b - 9 for g.
-3
Suppose -2*m + 17 = 5*n, 2*m - 16 = -0*n - 4*n. Let c be (m/(-12))/((-2)/20). Solve 3*a + z = 15, a + 3*z - c = z for a.
5
Suppose 5*n - 5 = -10*z + 6*z, -5*z = -2*n + 2. Solve -3*h = -z - 15, -4*h + 40 = -5*g for g.
-4
Let i(r) = 2*r**2 - r**2 + 3*r + 3 - 12*r + 2. Let c be i(9). Solve -3*a + a + 24 = -4*h, 27 = -c*h + a for h.
-5
Let w = 4 - -3. Let o(b) = -b**3 + 7*b**2 + 5. Let r be o(w). Solve -4*l = 3*p - 7*p + 8, r*p - 10 = 3*l for l.
0
Suppose 0 = 2*c + 2*u - 6, -5*c + 0*u + 15 = 3*u. Suppose -y + 0*y - 2*i + 6 = 0, -4*y + 16 = 4*i. Solve 5*p - c*d = 0, 0 = -p + y*p + 5*d for p.
0
Let p(l) = -2*l - 10. Suppose -2*w + 0*v + 3*v - 3 = 0, -3*v - 21 = 2*w. Let c be p(w). Solve -g + 4 = -c*u, -g - 10 + 2 = u for u.
-4
Let w = 15 - 16. Let y be 50/15 - w/(-3). Solve -y*i - 7*s + 3*s - 7 = 0, 5*s = 10 for i.
-5
Let p(d) = -d + 3. Let h be p(2). Let b = 4 - h. Suppose 5*u - 35 = -4*k + k, -b*k = -15. Solve -v - 19 = 4*c, 6*c + 32 = c - u*v for c.
-4
Let h(m) = -2*m - 5. Let s be h(9). Let q = -20 - s. Suppose 2*a - 1 = -3*y, -3*a - 4 = 4*y - 7. Solve 24 - 8 = -a*c - 2*u, -2*c + q*u + 5 = 0 for c.
-2
Let s = -6 + 4. Let o be (-5 - s)*4/(-4). Solve -2*b - 1 = o*d - 6*d, 0 = 3*b - 4*d + 3 for b.
-5
Let m(a) = a**3 - 3*a**2 + 2*a - 1. Let d be m(3). Suppose g + 19 = 5*y, -d + 0 = 5*y + 5*g. Solve -w = z - 1, -2*w - y*w + 5*z - 15 = 0 for w.
-1
Let c(i) = i**3 - i**2 + 5. Let n be c(0). Solve n*a = s + 4, 0 = -3*s + 3 for a.
1
Suppose i = -x - 3*i + 13, -19 = x - 4*i. Let n be x*(0 - (-10)/(-6)). Solve z + 4*z + 20 = -n*r, 4*r - 4*z = 16 for r.
0
Let w(a) = 2*a**2 + 3 - 2*a + 0*a**2 + 7*a. Let o be w(-3). Suppose 0*x - o = -3*x. Solve 3*k - 3 = -0*i + i, -5*i - 2*k = -x for i.
0
Let g = 30 - 12. Solve 4*q - 2 = 5*q, 0 = -5*k + q - g for k.
-4
Let n(r) = r**3 + 6*r**2 + 7*r + 4. Let v be n(-4). Solve 5*f = 20, 33 - v = -5*s + 5*f for s.
-1
Suppose 7*x = 11*x - 44. Solve -2*j + 6*j - 21 = 5*w, 0 = -3*w + 4*j - x for w.
-5
Let v = -6 - -3. Let t be v - 12/((-4)/2). Solve -16 - 1 = -r + 3*m, -t*r + 5*m = -31 for r.
2
Let z be 1*1/(-3)*0. Let i(s) = -s + 4. Let x be i(z). Solve -f = f + 4*l - 26, -21 = -f - x*l for f.
5
Suppose 10 = 2*a - 0. Solve -2*s + a*h = 15 + 5, 2*h - 8 = 3*s for s.
0
Let w = -54 + 56. Let f(k) = -k**3 - 5*k**2 - 4*k. Let a be f(-4). Solve 4*n - w*x + 26 = a, -23 - 6 = n - 5*x for n.
-4
Let p(g) = -g**2 + 4*g + 7. Let s be p(5). Suppose -2*j + s*v = -0*v - 8, 2*j = 4*v + 10. Solve 0 = -j*n - 4*o - 11, -4*o - o = -5 for n.
-5
Let h = 2 - 6. Let k(z) = -3*z + 4. Let u be k(h). Solve -13 = 2*d - 5*x, 5*d - 4*x = 2*d - u for d.
-4
Let i(y) = y**3 - 5*y + y - 3*y**2 + 0*y + 1. Let p be i(4). Suppose -9 = -d + p. Solve b = -3*q - 2*b + 12, -5*q + 5*b = d for q.
1
Let p be ((-5)/3)/((-3)/(-54)). Let m = -18 - p. Solve -4*w = -5*q + 28, 4*w = 4*q - m - 12 for w.
-2
Suppose -3*w = 2*o - 6 - 14, -3*o - 5*w + 32 = 0. Solve v = m + 3 + o, -3*m = 4*v - 14 for v.
5
Let d(u) = 5*u - 3. Let v be 1/(-3) + (-28)/(-3). Let g be d(v). Suppose 2*s = 4*k + s - g, -4*s = -k + 3. Solve b - 1 = 3*x, k = -4*b - 2*x + 1 for b.
-2
Let l = 8 + -14. Let n = 11 + l. Let b be (8