r c.
-4
Suppose -4*i = -i, -69 = -3*u + 2*i. Let p = u - 21. Solve 0 = -p*o - 5*c + 3, o + 3*c - 3 = -1 for o.
-1
Let f = -16 + 24. Suppose 6*p - f = 2*p. Solve -l + 0*o - 10 = 3*o, -11 = p*l + 3*o for l.
-1
Suppose 10 = -11*a + 13*a. Solve a*m - 20 = -2*c, -m = -0*m + 4*c - 4 for m.
4
Suppose 4*m + 5*n = -5 - 0, 5*n + 40 = 3*m. Suppose -7*s = -5*s - 8. Suppose 5*q - 4*u = -9 - 6, -24 = -4*q - s*u. Solve 0 = g - f - q, m*g + f + 4*f = 5 for g.
1
Let r be 3 + -2 + -4 + 19. Solve -r = -3*t + a - 0, 2*a = 3*t - 20 for t.
4
Suppose -y - 5 = -5*b - 0*b, -4*y + b - 1 = 0. Suppose y = 2*k + k - 24. Solve -3*p + 4*a + 25 = -k*p, 0 = 3*p - 2*a - 7 for p.
-1
Let r(k) = k - 3. Let q be r(4). Suppose 2*l - 9 = q. Solve -l*y + 6*f + 5 = f, -3*y + 6 = -4*f for y.
-2
Let r be ((-48)/20)/(2/(-10)). Suppose 9*g - 3 = 4*g + m, 0 = g - 4*m - r. Solve 4*l - 1 = -i, 3*l - 5*i + 5 = -g*i for l.
0
Suppose -4*a - 16 = -4*s, 4*a = 6*a + 8. Solve 3*l + 7 = h - 3, -2*l + 5*h + 15 = s for l.
-5
Let r(u) = u**2 + 6*u + 3. Let q be r(-6). Solve -4*b + 6*b = 2, -q*w + 2 = 5*b for w.
-1
Let g(n) = -4*n - 3. Let y be g(-2). Suppose 6 = -m - p, -2*m - 19 = y*p - 4. Let u(b) = -b - 2. Let h be u(m). Solve -w = -h*x - 6, w - 4*x = 6*w - 11 for w.
3
Let h = 5 + -7. Let z = 2 - h. Let u be (1 - 2)/(1/(-1)). Solve r - 4 = -u, 4*i = z*r - 12 for i.
0
Let z(f) = -2*f**3 - f**2 + 2*f - 1. Let t be z(1). Let g be (-1)/t*2*0. Solve -7*o + 12 = c - 2*o, g = 3*c - 2*o + 15 for c.
-3
Let q(l) = -l + 2. Let k be q(-2). Suppose 0 = -2*o + k*o - 12. Solve 0 = -2*r - 0 + o, -5*r + 14 = -s for s.
1
Let g = 2 + 2. Let p(v) = v**3 + 11*v**2 + 2. Suppose 2*u = 3*k - 37, -3*k + 0 = 2*u + 7. Let o be p(u). Solve -4*h - 4*w + 8 = -o*h, 0 = -h + g*w - 2 for h.
2
Let k(r) = r**2 + 9*r + 9. Let g(j) = j**3 - 9*j**2 + 7*j. Let l be g(8). Let o be k(l). Solve 0 = 2*q - q, m - 4*q + o = 0 for m.
-1
Suppose -45 - 10 = -11*s. Solve 3*i - 4*x = x - 25, s*i + 21 = -2*x for i.
-5
Let h = 10 + -6. Suppose -4*x - x = h*c - 2, -4*x = -5*c - 18. Let o be 1 + 3/(4 - 1). Solve 0 = o*b + x*s - 10, 5 = 3*b - 8*b + s for b.
0
Let h = 1 + -3. Let w be 3 - (h + 5) - -2. Solve 2*q - t = 1, -w*q + 5*t + 1 = 20 for q.
3
Let y = -2 - -7. Solve 4*z + 4*c + 0 - 4 = 0, 0 = -y*c + 20 for z.
-3
Suppose n - 32 = -4*r, 0 = -5*n + 19 + 1. Let j be 1*-1 - (-4 + -2). Let f = r - j. Solve -x = 4*a - 19, -3*x = f*x + 2*a - 23 for x.
3
Suppose -g + 11 = -m, 3*m + 16 = -5*g + 55. Suppose -3*o + g = -3. Suppose -8 = -5*r + 2. Solve 6*v + o = 4*j + r*v, 3*v = 9 for j.
4
Let t be (-1)/(-6) - 10/(-12). Solve -t = -r + 3*v - 9, -r + 5*v - 16 = 0 for r.
4
Let q = -34 + 58. Solve 0 = -2*g + 4*u + q, 0 = -2*g + 3*u + 36 - 16 for g.
4
Let r be 10 + 3*(2 - 3). Let c be (-6)/(-21) + 12/r. Solve 5*h = 2*s + 2 + 10, c*s = -5*h + 28 for s.
4
Let f = -16 + 23. Suppose -3*j + f = -2. Solve -13 = 2*k + j*v - 2, -3*v - 17 = -k for k.
2
Let u be 4/(-16) - 3/(-12). Let i be -2 - (2 - (u + 0)). Let d be (4 + -4)/(i + 1). Solve 2*y = 3*j - 18, d = 2*j + 2*y - 3*y - 11 for j.
4
Let v(a) = -a**2 + 5. Let o be v(4). Let t = o - -17. Solve -5*z - 25 = 3*p, 0 = -3*z + t*z - 3*p + 15 for z.
-5
Let m = -7 + 10. Let l(a) = -a**3 - 2*a**2 + 2*a + 4. Let p be 0 - 0 - 3/1. Let y be l(p). Solve 2*x - 3*x + m*u - y = 0, -x - 5*u + 25 = 0 for x.
5
Suppose -6*y + 2*y = -48. Let w be (-2 - 2/(-2)) + 3. Suppose -5*a + z + z - 2 = 0, a - 2*z + w = 0. Solve 5*i + a*c = 3*c + y, c = 5*i - 14 for i.
3
Let o(n) = n**3 + n**2 + n + 2. Suppose -2*c - 10 = -5*s + 3*c, 2*c + 4 = -3*s. Let f be o(s). Solve 2*x = -2*d - 0*d + 2, -f*d = 5*x + 10 for d.
5
Let b be (-21)/(-14)*8/3. Solve 0 = -b*z - 2*n - 10 - 6, -22 = 3*z + 4*n for z.
-2
Let h be (4/5)/(2/(-10)). Suppose 3*w = -5*g + 38, 3*w = -g + w + 9. Let y = h + g. Solve 4*v + 10*c = 5*c - 6, -5*v - 14 = y*c for v.
-4
Let h(a) = -a**3 - 9*a**2 - 10*a - 14. Let b be h(-8). Solve 4*l - b*j - 1 = 3*l, 0 = 3*l - 2*j - 11 for l.
5
Suppose 4*g = 12 - 4. Solve -3*w + 4 = -2*o, 9*o = 4*o + g*w + 12 for o.
4
Suppose s + 9 - 6 = 0. Let u be (1 + s)/((-2)/4). Solve u*p = -2*z, 4*z + 9 = 3*p + z for p.
1
Let o(u) = -u**3 + u**2. Let k be o(0). Let z(m) = -m**3 - m + k*m**3 + 2 - 1 - 6*m**2. Let w be z(-6). Solve -2*i + 10 = -0*i + t, i = -t + w for i.
3
Let o be 4 - (-4 + 2 + 1). Solve -2*j - 16 = o*d, -3*j + 2*j = -2*d - 10 for d.
-4
Suppose -5*l + 7 = j - 6, -6 = -j + 2*l. Let o be (1/3)/(j/288). Solve 5*v - 5 - 10 = 0, 0 = r - 4*v + o for r.
0
Let r be 3/(-3) + (5 - -1). Suppose -r = 5*i - 20. Solve 6*b + 2*n - 7 = i*b, 3*b - n - 1 = 0 for b.
1
Let s be 5*(-2)/(-25)*5. Solve -4 = 3*r - 5*b - 2, 4*b = -s*r - 16 for r.
-4
Let h(v) = -v**2 + 11*v + 17. Let b be h(12). Let l = 0 - -3. Suppose -3 = -3*p + l. Solve 0 = -b*x - p*o + 27, 12 = x + 5*o + 2 for x.
5
Suppose 0 = r + 3*t + 4, -11 = -r - 0*t + 2*t. Let m(a) = -2*a - 3 - a + r*a - a. Let q be m(8). Solve -w - 2*y - 2*y = -16, 0 = -4*w + q*y - 20 for w.
0
Suppose j + 2*j + 42 = 0. Let r = -10 - j. Solve -18 + 1 = 4*o - t, 2*o = -r*t - 4 for o.
-4
Let m(j) = -j**2 + 11*j + 2. Let d(o) = -1 + o**2 + 4*o - 16*o - 1. Let t(x) = 3*d(x) + 4*m(x). Let y be t(8). Solve 23 = 5*w - y*s, -2*w + 12 - 1 = s for w.
5
Let d = 7 + -2. Solve -3 = 5*s - 28, 2*t - 29 = -d*s for t.
2
Suppose 2*v = 5*v - 6. Suppose 3*y = 4*y - 5*f - 4, -20 = -5*y + v*f. Solve -5*u + 33 = -y*d, 5*d - u + 25 = 2*u for d.
-2
Let t = 5 - -19. Suppose u = 5*a + 21, a - t = -5*u + 55. Suppose -3*w = -o + u, w - 7 = 2*o - 19. Solve -3*d = 3*i + 2*i - 25, -20 = o*d - 4*i for d.
0
Let a(v) = v - 14. Let r be a(12). Let j be 7/(7/(-2))*r. Solve -2*b + 4 = -j, -2*b + 3 = -d for d.
5
Let a(f) = 2*f - 5. Let r be a(4). Suppose -4*t - 112 = -4*x, -2*x + 129 = -r*t + 46. Let v = 38 + t. Solve -v = 4*o - p, o + 3*p + 1 = -4*o for o.
-2
Suppose u - 5*u + 23 = 5*f, -u = f - 7. Let a = -9 + u. Solve -a*w = -m + 6*m - 24, 2*m - 3*w = -3 for m.
3
Let i be 2 + 4*(-3)/(-4). Solve 2*s = -i*n - 6, -2*s - 2 = -0*s + 3*n for s.
2
Let a = 12 + -5. Solve 3*k = 2*h - h - 9, -5*h = -2*k + a for h.
-3
Let d be ((-8)/(-28))/1 + 12/7. Solve g - 3 = r - d, -5*r + 4*g = 3 for r.
1
Let h(x) = x**2 + 1. Let k(j) = 4*j**2 - 6*j - 1. Let a(m) = 3*h(m) - k(m). Let n be a(6). Solve -2*g + 5*g - 3*u = 27, 3*u + 32 = n*g for g.
5
Suppose j + 2*p = p + 8, -5*j - p + 24 = 0. Suppose 17 = j*c - 51. Suppose -7*i + 56 - 56 = 0. Solve c = 5*m + 4*b, i = -5*m - 0*b + 2*b - 1 for m.
1
Let y be 0/(-2) + (-12)/(-3). Suppose 3*w + 5 = y*w. Solve v = -w*u - 2*v - 27, 0 = -u + 3*v + 9 for u.
-3
Let j(g) = g**3 + g**2 + 20. Let t be j(0). Suppose m = -2*z + 4, -2*z - 3*m - 7 + 3 = 0. Solve -3*b + 9 = r, 2*b - z*r - t = -0*r for b.
4
Let x = -9 + 8. Let g be 2 - (-1 - x) - -14. Suppose 0*n + 3*n = 51. Solve -n - g = 2*u - 5*w, 0 = -4*u + 3*w - 31 for u.
-4
Let o be (-146)/(-8) - 2/8. Let m = 30 - o. Solve 19 - 4 = -l - 3*f, 3*f + m = 0 for l.
-3
Suppose 2*m - g + 5 = -6*g, -3*g - 14 = -m. Solve m*p + 3*f - 7*f = 26, -4*p + 4*f + 24 = 0 for p.
2
Let q(c) = -c**2 - 14*c + 35. Let d be q(-16). Solve -4*m + 14 = -d*o, o + 2*m = -m + 17 for o.
2
Let a be (0/1)/((-2)/(5 + -3)). Solve -9 - 6 = 4*m - s, a = -5*m - s - 30 for m.
-5
Let j = 31 - 31. Solve j = w - k, 5*w + 4*k + 19 = -26 for w.
-5
Let f be (-44)/6 - 2/(-6). Let w(j) = j + 10. Let t be w(f). Let o = 5 - t. Solve 3*c + 12 = 5*r - o, 0 = 2*r + 2*c - 12 for r.
4
Let m(b) = 4*b**3 - 1. Let l be m(1). Suppose -l*x = x - 12. Solve 3*s - 8 - x = -4*k, 2*s - 10 = -4*k for k.
2
Let n = 43 - 25. Solve 3*j = -3*o + 9, 4*o + 0*j = -j + n for o.
5
Suppose -3 = -2*t - 0*t + l, -4*t - l + 9 = 0. Let m(r) = 0 - 2 + 0 - 8*r**2 + 7*r**2 + 5*r. Let q be m(4). Solve u = q*w + w - 7, 5*u = t*w - 9 for w.
2
Let a = 19 + -11. Suppose -b + 5*t - 6 = -0*t, b - a = -2*t. Solve 0 = 2*d + 4*l - b, 6*d + l = d + 1 for d.
0
Suppose 3*c - c - 12 = 0. Solve -c = -3*g - 21, 0 = -f - 3*g - 11 for f.
4
Suppose -4*o + 4 = -3*z + 4*z, -2*o + 4 = z. Let r be (o - (-8)/4)*2. Solve -g + 13 + 3 = -4*h, 21 = -h - r*g for h.
-5
Let a = -8 + 21. Suppose -2*n = -3*n. Let s be 0 + (n - -2) + -2. Solve 8*q - y = 3*q + a, s = 5*q + 5*y + 5 for q.
2
Let h be ((-6)/4 - -1)*0. Let m be 0 + 3 + 0 + -1. Let a = 0 + m. Solve -5*o + 15 = g, h = 2*g + a*o - 3 + 5 for g.
-5
Suppose -3*