r + 1 + 2. Let o be b(5). Solve -t + 3*t - o = -5*c, t = -4*c + 20 for c.
5
Suppose -c + 4*c - 27 = 0. Solve 4*u - 5*p = 23, -8*p + 3*p - c = 3*u for u.
2
Let y(w) = 2*w - 36. Let c be y(20). Solve -5*m = -5*o + 20, 5*m + 12 = 2*m - c*o for m.
-4
Let m be 1 - 1 - -5 - 3. Suppose 8 = 3*d + m. Solve -3*x - 3 = -3*z - 9, d*x + 8 = -4*z for x.
0
Suppose r + 6*r = 21. Solve r*c = j - 15, -6*c + 2*c + 5*j = 31 for c.
-4
Let k = -19 - 8. Let l = -19 - k. Solve -3*p - m + 2*m - l = 0, 2*m = p + 1 for p.
-3
Let v be ((0 - -1)*0)/(-2). Suppose -3*u + 2*u + 2 = v. Let g be (-3 + 4)/(0 + 2/8). Solve j + u = -0*h + h, -5*j = -g*h + 8 for h.
2
Let h be -2 + (3 + 2 - (-2 + 5)). Solve -2*s + 3*m - 10 = h, -4*s - 3*m - 20 = m for s.
-5
Suppose 4*x - 2*s - 30 = 0, 2*x + s = 2 + 3. Solve 0 = -y - 2*t + 3*t + x, 21 = 5*y - 4*t for y.
1
Let i be (5/(-2))/(3/(-6)). Let q(o) = 2*o - 6. Let h be q(i). Suppose h*v = v + 15. Solve -4*g + 7*g + 2*l + 6 = 0, -3*g - v*l = 6 for g.
-2
Let r = -37 + 53. Solve -4*t + 2*v = 5*v + r, -3*t - 3*v = 12 for t.
-4
Let n = 0 - -4. Solve 14 = 3*s - n*z, 3 = -s + 4*z + 13 for s.
2
Suppose 4*u = -5*r - 6, 5*r + u - 7 = -1. Solve 2*g - 3*v = v, 12 = 5*g + r*v for g.
2
Suppose -5*v = 4*l - 20, -4*l = -4*v - 8 - 12. Suppose -4*t - b + 6*b - 2 = v, -10 = -5*b. Solve -2*c - 6 = 3*f + 1, c = t*f for c.
-2
Suppose -3*z + 128 - 20 = 0. Solve 4*h = -4*a + z, 3*h = -a - 0 + 19 for a.
4
Suppose -u + 5*r + 22 = 0, 5*r = -4*u - 2 - 10. Suppose 5*z = 30 + 150. Suppose 0 = -2*v + z - 4. Solve -u*x + 0*x = -4*o - v, 3*x - 4*o - 18 = 0 for x.
2
Suppose 6*u - 5*u = 2. Suppose 0 = -f + u*b + 3, 0 = -2*f - 3*f + 4*b + 9. Solve -2*r - 5*c = f, 0 + 3 = 3*r + 3*c for r.
2
Let d = 30 + -42. Let x = d - -17. Solve -5*a - 3*s + 40 = 0, s + 14 + 6 = x*a for a.
5
Suppose -5*i + z + 17 = 0, 4*i + z = -z + 22. Let q be -2*(-2)/i*5. Let l be (-4)/(-2)*-1*-1. Solve l*j - q*t + 21 = -2*j, 5*t = -5*j - 15 for j.
-4
Let h(m) = 2*m**2 - m - 1. Let a be h(-1). Let u = 0 + a. Suppose 0 = -l + 3. Solve -u*c - l*p + 10 + 5 = 0, 2*p = -3*c + 15 for c.
3
Let p = 0 - 1. Let f be 2 + (p + 3)/2. Solve b - g + f = 3*b, 4*b = -3*g + 11 for b.
-1
Let g = 12 - 12. Suppose g = 5*l - 20. Let h = -1 + 3. Solve -4*p + 0*p + l = h*u, 0 = -5*u + 2*p - 26 for u.
-4
Suppose 8 = 3*u + 2. Suppose -2*z - 3*q = -12, z + u*q + 22 = 3*z. Let r be 4/18 - (-61)/z. Solve -3*x + m + r = -9, 20 = 3*x - 5*m for x.
5
Let b(v) = -v**3 - 5*v**2 - v - 7. Let g be b(-5). Let o(z) = -2*z. Let l be o(g). Solve 3*i - 2*i + 7 = l*s, 5*s = 2*i + 11 for i.
-3
Let s(k) = 2*k - 4. Let c be s(4). Solve 10 = c*g + 3*w, -18 = -3*g - 0*w + 3*w for g.
4
Let v be 2/((-2)/(-3)) + 2. Let h(g) = -g**3 + 5*g**2 + 10*g - 7. Let z be h(6). Solve 5*r = -4*b + z, 3*r = 3*b - r - v for b.
3
Suppose 4*w - 6*w + 13 = 3*i, 17 = 4*w + 3*i. Let p = -3 + 8. Solve -4*y - p*f - 20 = 0, 2*f + w - 7 = y for y.
-5
Suppose 0 = 4*x + s - 7, -s - 3*s = 4. Suppose 0 = -x*w + 6*w - 16. Solve -j - 20 = 5*h, 16 = -w*h - j + 4*j for h.
-4
Let p be (-2)/(-6) - (-52)/6. Let s(d) = d**3 - 8*d**2 + 4*d + 9. Let u be s(7). Let t = -9 - u. Solve 5*y + p = -4*h + t*h, -y - 3 = -h for y.
-2
Let h be -2 - 0 - (-9 - 0). Suppose -60 = -h*s + 2*s. Let d be 4/3 + 8/s. Solve d*x - 5*u - 11 = 0, 0 = -x + 4*u + u + 8 for x.
3
Suppose 0*x - 4*b = -3*x - 36, -5*b = -2*x - 24. Let p be 2/(-3) - 104/x. Suppose -j = -5*j + p. Solve -5*i - 3*k = -17, j*i + 2*k + 6 = 3*i for i.
4
Let s(h) = -2*h**3 - 3*h**2 - 3*h - 5. Let t be s(-2). Solve 3*k + 2*y = -2 + t, 0 = 2*y for k.
1
Suppose 0 = -4*g + 4. Let d be 1/(g/4) + -2. Suppose 0 = 3*q + d - 8, 4*q = 5*w - 22. Solve 0 = -2*a - 0*k - k - 7, 4*k + w = 3*a for a.
-2
Suppose 2*a - 11 = 2*v + 3*a, -5*v - 5*a - 35 = 0. Let c = 4 + v. Let f be -1 - (c - (2 + 4)). Solve f*q + 16 = -3*y, 5*q - 6*q = 3*y + 8 for q.
-2
Suppose 4*z - 49 = 4*g + g, -g - 23 = -3*z. Solve 5*v - 2*n + z = v, -3*v = 2*n + 15 for v.
-3
Suppose 5*f = 4*f + 5. Solve m - 13 = f*n + 12, 2*m + 5*n + 25 = 0 for m.
0
Let z(j) = 20*j**2 - j. Let y be z(-1). Solve -9 = 2*o + 3*p + 4, -4*o - y = 5*p for o.
1
Let n be (-1)/(-1) + 1 + 9. Let f = n - 19. Let o be (-34)/f + (-2)/8. Solve 0 = -3*j - o*q + 8, -2*j + 4*q + q - 10 = 0 for j.
0
Let s be ((-36)/45)/(1/(-5)). Solve s*x = 5*i, x = 4*i - 0*i for i.
0
Suppose -k + 3*j = -2*j - 19, -5*j = 5*k - 5. Solve -k*m - 4*f - 8 = 0, -4*f - 2 = m - 3 for m.
-3
Let q be 40/12*4/((-16)/(-6)). Solve 5*b + 5 = 5*d, -q*b + d = -0*d + 1 for b.
0
Suppose j + 2*y - 9 = 0, -3*j + 13 + 8 = 3*y. Let d = -1 - -1. Solve -4*f - n = 20, d = -3*f + 2*n - j*n - 15 for f.
-5
Let l(m) = -2*m**2 - m. Let o be l(1). Let c be o/15 + (-61)/(-5). Suppose 5*d = d + c. Solve -5*p - 5 = -0*p, -8 = 5*w + d*p for w.
-1
Let q be 2/(-4) + (-63)/(-14). Solve 0*h = 4*h - v - 16, 0 = -q*v for h.
4
Suppose -5*t + 2*k = 7*k + 25, -2*t - 20 = 4*k. Solve -3*a + 4*g = -2*a - 24, 3*a + g - 7 = t for a.
4
Let a(g) = g - 3. Let k = -20 - -27. Let v be a(k). Solve -3*l + v*l - 4 = p, 0 = 4*l - 5*p - 16 for l.
4
Let p(b) = -b**2 - b + 4. Let j be p(3). Suppose 5*q + 9 = -21. Let u = q - j. Solve 7*l - 1 = 2*l - 3*a, -10 = -2*l + u*a for l.
2
Let y be 1/5 + (-2)/10. Let a be y/(-2 + 0/(-2)). Let o be (-12)/(-18)*36/2. Solve 4*f - o = 2*t, -3*f + a*f + 18 = 3*t for f.
4
Suppose -24 = 4*h - 5*f, 3*f + 5 = -h + 16. Let j = h + 4. Suppose j*z - 8 - 7 = 0. Solve 4*c - z = -5*p, -2*p - 4 = 3*c - 6*p for c.
0
Let r be 3 - (-1 + -2 + 3). Solve q - 20 = -4*y - 3*q, 0 = r*y + 2*q - 10 for y.
0
Suppose -4*f + 2 + 14 = t, 5*t - 20 = -5*f. Solve 6 = -4*m + 2*l, l + t - 3 = 3*m for m.
0
Let s(a) = a**3 + 6*a**2 + 3*a - 8. Let i be s(-5). Solve 5 = -g, -i*o - 3*g - 4 = 13 for o.
-1
Let z(f) = -f + 4. Let h be 1/(-5) + (-64)/(-20). Let k be z(h). Solve -5*r + 4*n - 12 = 2*n, n - k = 0 for r.
-2
Let p(k) = -4*k - 30. Let w be p(-8). Solve -w*z = 2*z - 4*j + 24, -z = 5*j - 18 for z.
-2
Suppose 4*y + 4*l + 2 - 10 = 0, 5*y = l - 2. Solve y = z - 2, 2*z = -r + 4 + 5 for r.
5
Suppose 5*f + l + 3*l = 12, -2*f = 2*l - 6. Solve 0 = -6*s + 2*s, f = 4*j + s + 16 for j.
-4
Let q(d) = -18*d - 1. Let p be q(-1). Suppose -3*j + 6*j = -3*g + 12, -6 = -3*j. Solve 5*l - p = 3*n - 4*n, -10 = -g*n - 4*l for n.
-3
Suppose 0 = -4*d - 2*c - 3*c - 9, -c = -3*d + 17. Let j be d - (1 - 2/2). Solve 2*y = j*u + 18, 2*y = 3*u - 9 + 22 for y.
-1
Let b = -41 - -132. Let c = b + -41. Solve 2*y - 15 = -5*z, z - c = -4*z + 5*y for z.
5
Suppose z + 0*z = -5. Let n = -3 - z. Let u be (9 - 7)*1/((-1)/(-6)). Solve 5*r = -n*m + u, -4 = -3*r - 4*m + 6 for r.
2
Let i be ((-4)/(-10))/(4/20). Let x be i/(-4) - (-105)/10. Let w = x + -6. Solve 3*t + 7 = w*o, 5*t = 5*o + 2 - 12 for o.
1
Suppose a + 0*a + 5*g + 6 = 0, -3*g - 6 = 0. Solve -a*n + 27 = n - 4*i, -4*n + 4*i + 24 = 0 for n.
3
Let n(d) = 4 + 0 + d**2 + 4*d - 2*d**2 - 3. Let y be n(3). Solve y*j - 3*q + 2 = 0, -j + 0*j - q + 3 = 0 for j.
1
Let w(i) = -1. Let h(s) = s**2 - 7*s + 2. Let t(z) = h(z) - w(z). Let q be t(8). Solve 3*u + 1 + 18 = -4*d, -4*d + 5*u = q for d.
-4
Let o(w) = -w - 2. Let h be o(-6). Suppose z - 19 - 19 = h*l, 5*l = -z - 43. Let f be 3/l + 20/6. Solve -18 = 3*q - f*r - 2*r, -5*q - 2*r = -1 for q.
-1
Suppose 3*h - 4*h = 0. Suppose -2*b + 4 = -h. Solve -3*m + 0*w = -5*w - 8, 3*m = -w + b for m.
1
Let s(n) = -n + 11. Let w be s(9). Suppose 65 = 3*j + w*j. Solve 3*o = 3*y + 4*o + j, -y - 4*o - 8 = 0 for y.
-4
Let l(o) = -o**3 - 3*o**2 + 9*o - 1. Let i be l(-5). Let z be (-22)/(-4) - 2/(-4). Solve i*f = -5*p - 25, -4*f - z = p - 3*f for p.
-1
Suppose 3*x + 4*x - 28 = 0. Solve -2*l - 4*a = 2*l + 12, -x*l = a for l.
1
Suppose -2*b - 19 = -53. Let w(c) = c**2 - 17*c + 4. Let y be w(b). Solve -s - y*i = -3 + 18, -11 = -3*s + 2*i for s.
1
Suppose -5*g - 12 = -3*y, 5*g + 0*g = 2*y - 8. Solve 2*j - 7*j + 5*b - 45 = g, 5 = -5*j - 3*b for j.
-4
Let f be 1/2 + 27/6. Solve f*g = -4*k - 3, -k + 9 = -5*g - 9 for g.
-3
Suppose 0 = -c + 2*b + 7, -2*b = 3*c + 15 - 4. Let u be c - 2 - 38/(-2). Solve -i + 8 = i - p, -3*p = -2*i + u for i.
2
Let n(d) = 2*d**2 - 12*d - 10. Let w be n(7). Solve 0 = 3*v + 4*x - w, -5 = -v - 2*v - 5*x for v.
0
Let b = 64 - 61. Solve -2*q = 3*f + 3 + b, -6 = 2*f + 2*q for f.
0
Let j = -20 + 13. Let r = 7 + j. Solve -6 = -3*u + 3*l, -5*l - 2