 0, -4*s = 3*o - 3 for s.
-3
Let y be 0*(-3 - (-4 - -2)). Let x be 7 + 2/(3 - 1). Let p = x + y. Solve 0 = 2*z + 6*d - 4*d - p, -4*z + 16 = -3*d for z.
4
Suppose -3 = 4*y - 15. Suppose y*c = -2*c + 65. Solve -4*n + 0*n - 4 = 4*j, 0 = 5*n - 4*j - c for n.
1
Let j(s) = 4*s**2 - 1. Let o = 10 - 12. Let z be j(o). Solve -2*i + 11 = a, -i - 2*i = -z for a.
1
Let u(z) = -z**3 + 7*z**2 - 10*z + 5. Let h be u(5). Solve -8 = 3*g - h*x, 0*g + 4*x - 9 = 5*g for g.
-1
Let v(k) = 4*k - 1 + 6*k - 8*k. Let f be v(5). Suppose -2*q - q = -f. Solve -4*l - q = -5*z - 13, -2*l + 4*z + 2 = 0 for l.
5
Let b(n) = -n + 5. Let f(m) = m - 12. Let a be f(9). Let w be 15/(-10) - a/2. Let i be b(w). Solve -2*h - 33 = 2*h - i*d, 0 = -5*h - 2*d for h.
-2
Let t = 23 + -23. Suppose -2*o = -4*z + 4, 3*z + t*o = 3*o. Suppose -p = -6*p + 15. Solve 0 = -3*m + k - 8, -2*k = -p*m + z*m - 11 for m.
-1
Suppose 2*j + 2*j = 5*f - 70, 4*f + 2*j - 82 = 0. Let t be (-1)/2 - f/(-4). Let w = 0 + t. Solve 2*b + 6*o - 4*o = 2, -w*o = -2*b - 4 for b.
0
Let i = -8 + 11. Solve 0*a = -i*m - 2*a + 18, -4*a + 12 = 0 for m.
4
Let c(z) = z - 2. Suppose 0 = 3*o, -5*f = -f - 2*o. Suppose 5*u - u - 16 = f. Let v be c(u). Solve 4*n + 2*d + v*d + 4 = 0, -20 = 5*d for n.
3
Let b(j) = 2*j - 9. Let t be b(6). Let x be 0/((t - 3) + -2). Suppose -2*o + 2 = 2*l, 0*o + 2*o - 2*l = 14. Solve -m - 4*g - 5 = g, x = -m + o*g + 4 for m.
0
Let v be -4 + 72/(-3 + 6). Solve 2*c - v = 4*o, -10 = o - 2*c - c for o.
-4
Let j(x) = -x**3 - 2*x**2 + 5*x + 2. Let s be j(-4). Suppose -k = -s + 5. Solve -2*t - k = -5*h + 5, 4*t = h - 10 for t.
-2
Let n be (-2)/(-2) + (-6)/(-3). Let s(m) = m**3 - m + 1. Let x be s(1). Let t = 1 + x. Solve n*a = t*u + 3, u - a + 2 + 0 = 0 for u.
-3
Let g be 1/(-2 - (-5)/2). Suppose 4 = -5*f - 2*x + g, f - 3*x = 3. Solve f = -2*o - 4*p + 6, -3*p + 1 = 4 for o.
5
Suppose -53 = -7*u + 3. Suppose -2*c = -3*d - u, -d + 5*c = -0*d + 20. Suppose 2*m = -0*m, -4 = -2*x - 4*m. Solve -x*i + 3*i - 6 = s, 2*s + 2*i + 4 = d for s.
-4
Suppose -5*d - p + 169 = 2*p, 2*d = -5*p + 60. Solve -5*v - 3*l = -d, 3*v + v + 2*l - 26 = 0 for v.
4
Let u = -81 + 49. Let h = -19 - u. Let r = -4 + 7. Solve h = -p - 2*t, r*p - 3 = 4*t + 8 for p.
-3
Let c(w) = w**2 - 6*w + 1. Let o be c(4). Let l = 10 + o. Solve 5*g + 3*v + 27 = -10, l*v - 8 = 4*g for g.
-5
Let h(m) = -m - 2. Let l be h(-2). Suppose l = -6*p + 4*p + 42. Suppose -p = -2*x + 5*t, -4*x - x = 5*t. Solve -q + 2 = -x*g + q, 0 = 4*g + 4*q - 24 for g.
2
Let u = 0 + 0. Suppose -2*h - 5*d + 22 = u, 26 = 4*h + 3*d - 46. Solve -4 = -3*k + 4*z - h, -z + 9 = 4*k for k.
1
Suppose -7*w = -2*w + 55. Let y = w + 15. Solve 4*r - 21 = b, 5*r - y*b + 17 = 57 for r.
4
Let f = 8 + -20. Let j = -12 - f. Solve -5*o = 3*c - j*o - 26, -2*o = -4*c for c.
2
Let a(g) = g + 8. Suppose 2*o = -o - 18. Let p be a(o). Suppose -3*t + 4*t = p. Solve -2*v + 2*q = -t*q - 26, -6 = 2*v + 4*q for v.
5
Let q = -8 + 8. Let x = 26 - 14. Suppose -4*o - o + 2*j = -x, -j + 9 = 5*o. Solve -4 = 4*y - 4*h - q, o*h - 10 = 0 for y.
4
Let h(s) = -s**2 + 4*s - 1. Let f be h(2). Suppose 5*k - 7 = -f*u, 5*u = 4*k + 39 + 22. Solve -2*g = -b + u, -2 - 4 = 2*b + 4*g for b.
3
Let s(m) = 5*m + 1 + 2*m**3 - 5*m. Let r be s(1). Solve -r*c = -4*v - 24 + 5, -5*v - 2*c = -5 for v.
-1
Let p(w) = -6*w**3 + w**2. Let n be p(-1). Suppose 3*i + 2 = -n. Let k = i + 7. Solve -4*m = -2*u - 2*u - 24, -2*m - k*u + 6 = 0 for m.
5
Suppose -6 = -q - 2. Suppose -2*j = -q*j + 8. Suppose 4*o = 5*s, 5*s - 2*o = 3*s. Solve 4*x = 4*y - s*y - 8, 0 = j*x + 3*y + 15 for x.
-3
Suppose -3*a - 3*h = -3, -4*a + 11 = -0*h - 3*h. Solve 7*n - a*n + 5*z + 25 = 0, n - 10 = 4*z for n.
-2
Suppose 8*j + 30 = 3*j. Let l = -2 - -1. Let h be j + 8 + (l - -1). Solve 2*y = -y - 2*t - 5, -4*y = h*t + 4 for y.
1
Suppose 7*j + 15 = 10*j. Solve 5*b = b + j*p - 16, -4*b - 3*p + 16 = 0 for b.
1
Let w(d) = d**2 - 9*d - 6. Let o be w(10). Solve o*x - k - 8 = 0, 5*x - 2*x + 5*k = 29 for x.
3
Suppose -9*y + 3*y = -60. Solve 3*c + 5 = -k - 6, 0 = -5*c - y for k.
-5
Suppose 4*n + 3*f - 25 = -0*n, 0 = -5*n - 2*f + 26. Solve 3*c + 16 - 3 = 2*w, -4*w - n*c = 4 for w.
2
Let n(t) = t**3 - 6*t**2 + 8*t - 15. Let m be n(5). Solve m = -2*r - 5*q + 22, -3*q = -19 + 7 for r.
1
Let w be (99/6)/3 + 2/(-4). Solve -g + 18 = -w*g - j, 3*g + 5 = -5*j for g.
-5
Let c(l) = -l**3 - 4*l**2 - 4*l - 2. Let u be c(-2). Let p be (u - -3) + -1 - -2. Let b be (0 - 10/(-8))*8. Solve -2*a + 3*i - b = 4*i, -p*a - 14 = 2*i for a.
-3
Let t = 2 - -1. Suppose -t*m = 2*m - 10. Solve m*a - 1 + 9 = 0, -3*a = -3*l - 3 for l.
-5
Suppose 4*o = m + 11, o + o - m = 7. Suppose -v + 5*c + 20 = 0, 4*c + 10 = o*v - 6. Solve -i - 6*b + b = 7, v = 3*i + 5*b + 11 for i.
-2
Suppose -23 = 2*b + 17. Let t = b - -28. Solve -4*v + 2*d = -t*v - 24, 3*v - 4*d + 7 = 0 for v.
-5
Let c(q) = 3*q**2 - q. Let u be c(-1). Suppose x = u*x + 6. Let l be 0 - 4/(x - 0). Solve -j - 4*d + 2 = 0, l*j - 3*j = -2*d - 2 for j.
2
Suppose 0 = 9*g - 4 - 5. Solve -v - 11 - g = 3*h, -2*v + 5*h + 20 = 0 for v.
0
Suppose 5*j + 83 = 93. Solve 2*k - j = -4*f, -5*k - 39 = -f - 11 for f.
3
Let y be (8/2)/4*3. Solve 3*r = 2*i + 4, -2*r - 6 = r + y*i for r.
0
Let t(w) = -4*w**3 + w**2 - w - 2. Suppose 3*c = 4*c + 2. Let v be t(c). Let m be ((-1)/(-3))/(3/v). Solve 5*x - m + 14 = 5*b, 5*b = 4*x + 8 for b.
0
Let g = -14 - -13. Let n be g/(-2 - (-9)/6). Solve 0 = -k + 5, -2*y - 5*k = n*y - 9 for y.
-4
Let n(y) = y**2 - 21*y + 43. Let q be n(19). Solve -x - q = -i, 3 = -2*i - 4*x + 1 for i.
3
Let j be (-5)/(15/(-36)) + 2. Let h be (-4)/(-14) + 150/j. Suppose -4*y + h = -3*q, -2*q + y = 4*y - 21. Solve 19 = -c - 3*a, 4*a = -4*c + q*c - 24 for c.
-4
Let r(n) = 2*n + 18. Let t be r(-8). Solve j + t*j - 8 = -x, 2*x - 3*j + 20 = 0 for x.
-4
Let r(c) = 12*c + 57. Let m be r(-4). Solve 3*q + m = 4*l, -5*l + 0 + 12 = -4*q for q.
-3
Let y be (10/(-4))/(1/(-2)). Let b(u) = u**2 + 10*u - 21. Let d be b(-12). Solve -2*q = d*q - 20, 0 = c - y*q + 16 for c.
4
Suppose -3*l = 322 - 58. Let j(o) = -o**3 - 8*o**2 + 10*o - 9. Let g be j(-7). Let m = l - g. Solve 3*c = 5*k + m, -k + 4*c - 25 = -0*c for k.
-5
Let f = 1 + 8. Let x = 11 - 5. Let j be 3/f - (-22)/x. Solve 15 = -j*s - i, 0 = 2*s - 3*i - 0 + 11 for s.
-4
Suppose 2*p - 101 = -53. Solve u + 2*u = -3*x + p, 2*u - 2*x = -4 for u.
3
Suppose -5*c - 20 = -3*l, -l + 5*l - 4*c - 16 = 0. Suppose -t + 0*t = l. Solve -3*a + 0*a = -2*s - 1, t = a + 4*s - 5 for a.
1
Suppose -5*d + 16 = 4*b, 7*d - 3*b = 8*d - 12. Solve z - 3*v + 17 = 0, z - 3*v + v + 13 = d for z.
-5
Let j = 15 + -9. Let y = 8 - j. Solve 3*p = -k - 1, -5*p + y*k + 13 = -0*k for p.
1
Suppose 5 = 4*u - 3*u. Solve -31 = 3*h - u*n, 0 = -4*h + 3*n - 9 - 14 for h.
-2
Let h = -4 + 7. Suppose 3*z + 4*i - 11 - 18 = 0, -3*i = h*z - 24. Solve -2*y - 6 = -5*d + 6, z*d + 2*y - 4 = 0 for d.
2
Let d be (-2)/4 - (-36)/8. Solve -2*a = -d*p + 3*a + 9, 3*p + 5*a = -37 for p.
-4
Let m = 17 - 15. Solve -3*d + 16 = m*j - 7, 5*j - 3*d - 5 = 0 for j.
4
Suppose 0 = 2*v + 1 - 9. Suppose -8*r + 3*r = -4*p - 4, 0 = -5*p + v*r + 4. Solve 0 = -p*j + 3*c - 2, -j - 3*c = -5*c - 2 for j.
-2
Let a(k) = k - 1. Let z be a(5). Solve -y - 6 = 5*o - 5*y, z*o + 5*y - 28 = 0 for o.
2
Let v = 4 + -6. Let b = v + 4. Let d = 4 - b. Solve -3*q - 3*o = -0 + 21, 4*o + 18 = -d*q for q.
-5
Let s = -32 - -21. Let k = s - -23. Solve 6 = -h + 2*c, 5*h - k = -2*c + 18 for h.
4
Suppose 2*a + 5 = -11. Let n be (-2)/a - 14/(-8). Let z = 34 + -29. Solve -2*g - 1 = -g - z*j, 3*j = -n*g - 2 for g.
-1
Suppose j - 4 = -0. Solve 10 = a - 9*t + j*t, -4*a + 2 = -t for a.
0
Suppose 0*c = 5*c - 25. Suppose 0 = -r - h, 2*h - c + 30 = 3*r. Solve -3*l = -5*u - 25, u - r*u = -5*l + 33 for l.
5
Let m = 89 + -78. Solve 0 = -2*q - 4*t + 18, -3*t = 5*q - q - m for q.
-1
Let n = -37 - -42. Suppose -v + 4*i = -22, 5*v - 14 = 3*v + 2*i. Solve -2*s + 2*f = 0, -4*s + v*s + n*f = -3 for s.
-1
Let k(v) = -v**3 - 6*v**2 - 2*v - 7. Let z be k(-6). Suppose -p = -z*p + 8. Solve -p*f = -5*d + f - 7, d - 4*f = 2 for d.
-2
Let v(i) = -i**2 + 4. Let w be v(0). Let n be (16/(-20))/(2/45). Let r = -14 - n. Solve -g - r = -3*g + 2*p, w*g = 2*p + 8 for g.
2
Suppose -9*l = 5 - 176. Solve 5*r = 5*n + 5, -l = -3*r + 3*n - 4*n for r.
5
Suppose -4*g - 5*u = 7, 13 