 16, 5*k + o = -3*r for k.
-3
Let l = 233 - 223. Solve i + i = y - l, 0 = -2*y - 2*i + 2 for y.
4
Let i = -42 + 47. Suppose -4*x - i = -21. Solve 2 = -3*w - t, 0 = 3*w + x*t - 2 + 1 for w.
-1
Let x(s) = -s. Let h(b) = 2*b. Let n(z) = -h(z) - 3*x(z). Suppose -c + 6 = m, -3*c - 6*m + m = -20. Let i be n(c). Solve j = 3, 0*j - 2*j + 31 = i*v for v.
5
Let k be 176/(-24)*3/(-2). Suppose -k*v = -12*v. Solve -5*y - 4*b - 15 = b, v = 3*y + 2*b + 5 for y.
1
Let f = -21 - -40. Let d(h) = -h + 17 + f - 29. Let v be d(7). Solve 5*y - 2*r = -6, y - 6*y - r - 12 = v for y.
-2
Let j = -29 - 8. Let i = j - -37. Solve -n - n = -5*s - 25, i = -5*s - 2*n - 25 for s.
-5
Let o = -35 + 45. Suppose -f - o + 14 = 0. Solve -p + 3*w = -f, 5*p + 6 = 5*w - 4 for p.
-5
Let h = -67 - -69. Suppose -4 = -4*y - 5*u - 12, h*y = -u + 2. Solve o + y = 0, -5*o = 3*q - o + 18 for q.
-2
Suppose -18*q - 30 = -30. Solve -5*x = -h - 4, 5*h + q*h = -4*x + 9 for x.
1
Let x be ((-3)/(-2))/((-8)/(-16)). Let f be -4*1 + x + 4. Suppose -f = -3*p + 2*p. Solve l + 3*j = -0*j, -p*l + 4*j = 13 for l.
-3
Suppose i = -5*v + 15, -2*v - 2*i - 3*i = -29. Suppose 7*c = -v + 16. Solve -c*g - 2*f + 4 + 2 = 0, f = 4*g + 13 for g.
-2
Let t be (-49)/(0 - (-1 + 2)). Let s = t + -43. Solve b = 3*l - 4*l + s, 3*l - 6 = b for b.
3
Let u = 33 - 31. Let q(x) = -x**2 + 2*x. Let c be q(2). Solve c = -3*g - 3*r - 0 + 9, 0 = -u*r for g.
3
Let s = -45 + 45. Solve -18 = 2*v - 0*v - 5*h, s = -3*v + 4*h - 20 for v.
-4
Suppose -48 = 14*w - 18*w. Let f = w - 8. Solve 0 = -q, -5*q + f*q = 3*x - 3 for x.
1
Let v = 57 + 0. Suppose 4*x = -29 + v. Solve 4*q = k - x, -2*k = -2*q + q for q.
-2
Let y(a) = 4*a**2 + 4*a - 4. Let c be y(-5). Suppose -r - 3*r = -c. Solve 2 = -5*i + 3*b - 1, i = -4*b - r for i.
-3
Suppose -16 + 52 = 4*d. Let z be (-2)/d - (-164)/9. Suppose -2*i + 3*v = -z, 25 = 3*i - 2*v - 2*v. Solve -2*k + h - 4 = 0, -2 = k - h - i*h for k.
-2
Suppose -17 = -4*g - 69. Let i = g + 21. Let h be (-3)/6*-1*i. Solve -3*c - 4*t + 7*t = 3, -h = 2*c - 3*t for c.
1
Let t = -46 - -45. Let m be 15*(t - 3)/4*-1. Solve 0 = 2*y + 2*z - 12, 4*y = 5*z - m + 3 for y.
2
Let r(x) = -5*x + 29. Let g be r(11). Let n = 35 + g. Solve -3*v + v + 2 = -2*u, -n = -3*v + 5*u for v.
-2
Suppose 5*a = 3*a + 6. Suppose 1 = g - 3*m - 22, 0 = -g + m + 17. Let f be 0 + (1 - 2) + 8. Solve -2*y - f + 23 = a*w, y - g = -3*w for y.
2
Let r(o) = -29*o - 13. Let z be r(4). Let n = z - -133. Solve 0 = -x + 3*x + 5*h + 15, 3*x + 5 = -n*h for x.
5
Suppose 467 - 116 = 27*g. Solve 0*u + 3*f = -2*u, -u + 5*f = g for u.
-3
Let v = 15 + -11. Solve 5*b + 2*y - 5*y = -7, -2*y + 4 = -v*b for b.
1
Let p = 21 - 18. Let n = p + 0. Suppose -10 = -n*q - 2*q. Solve h - 3 = -v, q*h = v + 16 - 7 for h.
4
Suppose 5*o - 1 = x + 6*o, 0 = 5*x + 4*o. Solve 0 = 5*l + 10, 0*p - 2*l + x = 2*p for p.
4
Let j be 8 - (0/(12/4) + 6). Solve 10 = j*f - 5*c, 4*f + c = 4*c - 8 for f.
-5
Suppose -u - 2 = -3*a + 3, 0 = -5*a - 3*u + 13. Solve v = 2*h + 3*h - 3, -4*v - 12 = -a*h for v.
-3
Let i = 293 - 152. Suppose -5*p + i = 4*g, 0*p - 3*p = g - 79. Solve -5*y = -20, 5*y - p = 4*c + c for c.
-1
Let h(c) = 2*c - 6. Let b be h(4). Suppose -b*i - 7 = -11. Suppose -6 = -4*m - 2*z, -3 = -3*m - z + 1. Solve 0 = -i*k + 4, 0*k + m = q + k for q.
-1
Suppose -13 + 6 = f. Let o = -5 - f. Solve 4 = -o*s - 2*n, -2*s + 1 - 13 = 4*n for s.
2
Suppose -9 = v - 12. Let w = -418 + 430. Solve -h = -2*l + w, 4 + 2 = -v*h for l.
5
Suppose -3*y + 4*l = 129, 2*y + 62 = 3*l - 24. Let a = y - -76. Solve -5*v = -25, 5*x + 4*v + 8 = a for x.
1
Suppose 0 = -4*h - 20, 0 = -l + 5*h + 2 + 17. Let z be 1/2*(4 + l). Let x(a) = -a - 1. Let s be x(z). Solve 3*k + 3*r + 16 = 4*r, 2*k + r + 9 = s for k.
-5
Let w(t) = t - 5*t - 2 - 4. Let z = 398 - 400. Let k be w(z). Solve a - k*x + 7*x + 5 = 0, 2*a = -3*x - 3 for a.
0
Suppose 3*f - 65 = -z, -2*f + f = 4*z - 227. Suppose 6*t - z = 2*t. Solve 4*x = 2*g + t, g = 5*x - 4*x - 3 for g.
1
Let m be (-11 + 0 - -25) + (1 - 7). Solve 13*r - 15*r + 2*f = -m, -5*r = 3*f + 12 for r.
0
Suppose -13*y + 12*y + 3 = 0. Suppose -21 = -y*c + 3*o, c = -0*c - 3*o - 5. Solve -w = -5*j + 9, -c*j = -j - 3*w - 15 for j.
1
Let k(i) = -i + 19. Let a(b) = -9*b**3 + 2*b + 1. Let q be a(-1). Let f be k(q). Suppose 4 = 5*l - f. Solve -9 = -2*z - l*d + 3, z - 7 = -2*d for z.
3
Suppose -35 = -2*s - 3*s. Let u be (-23)/(-7) - (-4)/(-14). Let a be (-45)/(-3)*2/u. Solve s = 3*n - 2, 5*i = -5*n - a for i.
-5
Let z(n) = 3 + 0*n - 5*n**3 - 2*n - 2 + 6*n**3. Let h be z(1). Suppose h*c + c - 3 = 0. Solve 11 = c*d + 2, 5*u - 14 = 2*d for u.
4
Let d(v) = 9*v + 64. Let i be d(-7). Suppose -5*j = -15 + 5. Solve -r - 7 = -j*c, 5*c + r = -i + 15 for c.
3
Suppose -2*q = -3*h - 0*q + 10, 3*h - 14 = 4*q. Solve -15 + 0 = 3*u, h*k = -4*u - 10 for k.
5
Let y = -25 - -25. Suppose -3*h - 7 = -25. Suppose -h*t + 9*t - 6 = y. Solve -j - t = -5*r - 11, -7 = -3*j - 5*r for j.
4
Suppose -20*h + 70 = -10*h. Solve 2*m - h = y, 4*y - m - 4 = y for y.
3
Suppose -4*w - 5*c + 23 = 0, -w - c + 1 = -2*w. Suppose -5*t + 9 = w*s, t = s - t. Let m(u) = 3*u. Let r be m(1). Solve -r*z + 2 = 4*i, s*z - 6 + 1 = i for i.
-1
Let c(j) = -3*j - 8. Let n(g) = -2*g - 7. Let v(d) = -3*c(d) + 4*n(d). Let r be v(4). Suppose r = 9*u - 3*u - 24. Solve a = 2*m + u, -4*a - m = -3*m - 16 for a.
4
Let s(d) = d**2 + 20*d + 21. Let x be s(-19). Solve 4*v - x = -2*c, -v + 1 = -1 for c.
-3
Let s = -24 - -2. Let c be 20 + s - (1 - 8). Solve -2*p - 15 = -c*p, 4*t - 2*p = -22 for t.
-3
Let d = 50 + -52. Let k(b) = 3*b**2 + b - 5. Let f be k(d). Solve f*a - 24 = i, -3*i - 2*a = 2*a - 4 for i.
-4
Let w be -2 + 1 + 741/57. Solve -12 = -4*q - 4*x, -x = 2*q + 4*x - w for q.
1
Suppose 13 + 17 = 2*h. Suppose 0 = h*b - 16*b + 2. Solve -b*a + 5*n = -20, -5*n - 9 = 1 for a.
5
Suppose 0*r - 686 = 7*r. Let o = r + 100. Solve o*y - 6*p = -2*p - 16, -5*p + 20 = 3*y for y.
0
Let o = 3 - 2. Solve -3*v - 4*r - 8 + o = 0, -5*v - 4*r = 1 for v.
3
Suppose -j - 6*j = 12*j. Let s be (32/(-14))/((-12)/42). Solve 0 = f + 4*i + 11, -4*i = s - j for f.
-3
Let d = 2811 - 2790. Solve 3*x = 7*v - 5*v, 0 = -5*v - 3*x + d for v.
3
Suppose 8 = u + 5*o, -o + 8 = -3*u - 0*u. Let l be (-30)/(-9) - u/(-6). Let q be (6*1)/(l + -2). Solve 3*s = q, -s = -4*d + 2*s - 6 for d.
0
Let u = 499 + -488. Solve -4*d - 13 = -f, -5*f + 4*d + u = -6*f for f.
1
Let v = -6 - 5. Let a = -8 - v. Let b be a + (2 - 2 - -4). Solve -5*k = -3*d - 1 - b, -d = 4*k - 3 for k.
1
Suppose -2*w + 9 = -11. Let m(l) = -l**3 - 5*l**2 - 2*l + 5. Let i be m(-5). Let q be ((-8)/w)/((-3)/i). Solve -q*u - 4 = 3*s - 5*s, 0 = 5*u + 5 for s.
0
Let j(w) = -w**2 - 25*w + 29. Let v be j(-26). Solve 2*r = -2*c, -5*c + c + 35 = -v*r for r.
-5
Suppose -2*s = 3*s - 50. Suppose -3*k - 3 + 21 = 0. Let v be s/k - 1/(-3). Solve 2*f - 4 = -v*f + 2*l, -f + 1 = -3*l for f.
1
Let r(w) = -w**3 + 4*w**2 + 4*w - 12. Let t be r(4). Solve 0 = t*k - j + 3*j + 20, k + 12 = -4*j for k.
-4
Let v be 80/25 + -1 + 9/5. Suppose -t = -1 - v. Solve 15 = -2*h + 3*i, 5*i = -4*h + t - 2 for h.
-3
Let j(z) = z**2 + 4*z + 100. Let c be j(0). Suppose 2*t + 94 = c. Solve 2*o = -5*s + 7, o = -4*s + t*o + 2 for s.
1
Suppose 2*t - 3*t = -12. Let n = 1004 + -999. Solve -t - 8 = -2*q + 4*a, -n*q + 23 = -a for q.
4
Let x = 2 + 0. Suppose -3*w + 145 = -311. Suppose -5*l = -l - 4*d - 112, -5*l + d = -w. Solve -z - 8 = x*f, 5*z - 9 = -f - l for f.
-2
Let y be 56/26 - (-32)/(-208). Solve -y*f = -4*s + 26, -2*f + 9 = -0*f + 3*s for f.
-3
Let p(i) = -i**2 + 40*i - 142. Let y be p(36). Solve c = -2*s - s - 10, -c + 5 = -y*s for c.
-1
Let i(g) = 5*g - 1. Let l be i(1). Let n(d) = -d**3 - d**2 + 8*d + 13. Let p be n(-3). Solve -2*z = -4*b - 15 - p, -l*z + 28 = -4*b for b.
-4
Let w(i) = -i - 5. Let j(o) = o - 22. Let s be j(15). Let d be w(s). Let u be 4 + -5 - (1 - d). Solve 2*l = -n - 6, u = -2*n + 4*l - 5*l for n.
2
Suppose 6*p - 48 = 9*p. Let w(m) = -m**3 - 17*m**2 - 16*m + 20. Let v be w(p). Suppose -6*z = -z - v. Solve 5*t - 5*q + 3*q - 6 = 0, -z*t - 12 = 4*q for t.
0
Suppose w + 2*w + g = 13, 16 = 3*w + 4*g. Suppose -w*p - 22 - 10 = 0. Let n = -6 - p. Solve n*b + 2*q - 3 = -b, -3*b + 2*q + 3 = 0 for b.
1
Let h = 7 - -13. Suppose 2*o = -3*o + h. Solve -m + 4*s - 5 = s, -o*m + s = -2 for m.
1
Le