se -2*x + 3*k = x - 21, -x + s*k = -23. Solve 0 = -h + 6*h + 4*g + 4, 2*h - x*g = -20 for h.
-4
Suppose 5*v = -m + 22, 2*v + 0*v = 5*m - 2. Let n(y) = 0*y + m*y - 4 + 1 - 2. Let s be n(5). Solve -5*u - s*r = -10, -3*r - 2*r = -u - 10 for u.
0
Let g = -10 - -17. Let d be ((-6)/5)/(15/(-50)). Solve d*y = -12, 0*o - g = o + 2*y for o.
-1
Suppose 4*u = -3*d + 90, 0 = -0*d - d - u + 29. Let b be -10*(2/(-4) - 0). Solve -4*t - d = 3*z, -9 = 2*z - b*z + 3*t for z.
-2
Suppose -6 = -3*s - 2*g - 0*g, 13 = s - 3*g. Let l = s - 2. Solve -4 = 2*n, 0*m + m = -3*n - l for m.
4
Let o(a) = a**2 - 3*a - 1. Let g be 2 - (2*-2)/2. Let d be o(g). Let k be 1*(-2 + 6 + -1). Solve z + d*r = 1 + 3, -k*r + 2 = -z for z.
1
Let a(p) = -p + 4. Let c(b) = -b**2 + 2. Let n be c(0). Suppose -4*i = n - 10, -4*i = 3*k - 20. Let y be a(k). Solve 5*x - 23 = -4*r + 2*r, y = 2*x - 6 for r.
4
Suppose h = 6*h - 75. Let p = 20 - h. Solve o + o = p*m + 19, -m + 7 = -4*o for m.
-5
Let g = 29 + -24. Let n be 10/(-3)*(-6)/4. Solve 7*y = 2*y - 2*h - 14, -n*y = g*h + 5 for y.
-4
Suppose -7*o = -3*o - 12. Let y be 2 - (0 + -3 - -3). Suppose 0*c = 3*m - 4*c - 4, 0 = -2*m + 5*c - y. Solve 2*t - 1 + o = -3*z, 4*t - m = -4*z for t.
5
Let f(s) = 2*s**2 + 3*s + 3. Let j be f(-2). Solve j*q = 2*c + 7, 4*q = 5*q + 4*c + 3 for q.
1
Let p(m) = -6 + 2*m + 3*m - 6*m. Let c be p(-7). Solve 4*d = 2*i + 8, d = i + 4*d - c for i.
-2
Let v be 9 - (-1 + 8/2). Suppose g = -g - v. Let i = 5 + g. Solve 0 = x + i, -4*a + 5*x + 14 = -0*a for a.
1
Suppose 7 = -4*j + 27. Solve 0 = 5*h + f + 10, -16 = -5*h + j*f - 56 for h.
-3
Suppose -5*a - 26 = -l, -5*l + 23 = -4*a - 2. Let b be (-3)/(-3)*a*-1. Solve 3*j + 14 = 3*k - j, j = -b for k.
-2
Let u(o) = o**2 - 2*o - 3. Let d be u(4). Suppose -2*v - 3 = -k - d, 2*v = 2. Solve 18 = 5*s - b, k*b - 2 = -b for s.
4
Suppose 0 = 5*v + 2*p - 43, 0*v = 5*v + p - 39. Suppose 4*q - 13 = v. Let y be (-14)/(-6) + 1/(-3). Solve -20 = 5*c - q*f, -f + y = 3*c - 6 for c.
1
Let w(t) = t**2 - t. Let b be w(2). Solve 4*a + z - 4*z - 26 = 0, 16 = 4*a + b*z for a.
5
Let w(m) = -m**2 + 4*m + 3. Let q be w(4). Suppose 0 = -5*d + i + 15, 3*d - i - 22 = -q*i. Solve 2*s = -d*j + 18, -2*j + 12 + 17 = 5*s for s.
5
Suppose 0 = j + 4*c, -3*j + 11 = -0*c + c. Solve -s = -6*s + j*r - 9, s + 17 = -3*r for s.
-5
Let o(v) = 7*v - 3. Let t be o(1). Solve -6*j + 4*j - t*n + 14 = 0, 2*n - 6 = 0 for j.
1
Let v be ((-16)/(-10))/((-1)/(-5)). Suppose 0 = 3*u + 24 - 0. Let j be (-52)/u + (-9)/6. Solve -b = -j*y - 0*b + 4, -5*y + v = -2*b for y.
0
Let z(v) = v**3 - 2*v**2 + v - 4. Let k be z(5). Let x be (1 - 2)/((-4)/k). Solve t - 15 = -0*t + 5*m, -3*t - x = m for t.
-5
Let v = -2 - -6. Suppose v = 6*o - 2*o. Solve 0 = 3*w - 2*r - o, -r = -3*w - 2*r - 5 for w.
-1
Suppose z = 4*f - 1, 5 = -4*z + 1. Solve -4*r + 12 = 4*v, 5*v + 1 = -f*r + 3*r for v.
1
Let y = -16 + 11. Let l(r) = r**3 + 6*r**2 + 5*r + 7. Let g be l(y). Solve g = -4*t + s - 11, 12 = -4*t + 4*s for t.
-5
Suppose -4*x + 3 + 17 = 0. Let j = -5 + x. Solve 3*n + 9 = 3*h, j = -h + 2*n - 0 + 2 for h.
4
Let n be (-1)/2 - 72/(-16). Suppose -n = 4*f + 12. Let s be f/(-4)*(4 - 1). Solve -m + w + 8 = 0, -2*w = 5*m + s*w - 10 for m.
5
Let i = -13 + 9. Let w(p) = -p**3 - 3*p**2 + 4*p + 3. Let h be w(i). Suppose -3*a + 6 = -h. Solve -4*y = 3*u + 11, -3*u = -0*u + a for y.
-2
Let m be ((-4)/(-6))/(14/21). Let j = 3 - m. Solve 2*o - 5 = 2*l + 7, -j*o = -10 for l.
-1
Let f be ((-11)/(-33))/((-1)/(-39)). Solve 3*j + f = -3*v + 2*j, 0 = v - j + 7 for v.
-5
Let r = -15 - -18. Solve 2*y + b - 2 = y, -4*y - r*b = -7 for y.
1
Let i(w) = 2*w**3 + 26*w**2 + 8. Let j be i(-13). Solve 2*z - k + j = 3*z, 4*z + 5*k - 36 = 0 for z.
4
Let x = 4 + 1. Suppose x*u - 30 = -0*u. Let p = u - 1. Solve i - 3*o + p*o - 3 = 0, 3*o = 3*i for i.
1
Let c(t) = -t**3 - 12*t**2 + 13*t + 3. Let o be c(-13). Solve 0 = o*j - 6*j + 12, -10 = 2*z - 3*j for z.
1
Let f(v) = -2*v**3 - v**2 + 4*v + 1. Let s be f(-3). Let t be 1/(0 - (-2)/s). Solve 0 = 3*l + 4*z + t, -2*z + 2 = -4*l - 6 for l.
-3
Let m = 21 + -21. Solve -h - 2*h + 5*s + 17 = m, -3*s = -5*h + 7 for h.
-1
Let j be (1/1)/((-27)/(-135)). Solve -4*s - 5*x - 15 = -2*x, -x - j = -5*s for s.
0
Let y(c) = -c**3 - 10*c**2 - 9*c + 2. Suppose l + 3*l + 36 = 0. Let m be y(l). Solve -5*r = -m*w + 6*w - 30, -3*w = 2*r - 19 for r.
2
Let t = 20 - 15. Solve -3*i = 2*q + 2*q + 18, -4*q - 22 = t*i for q.
-3
Let x = 21 + -18. Solve x*u = -4*z - 4, 2*z + 4 - 2 = -2*u for z.
-1
Let q be (-12)/(-8) + 2/4. Let a(t) = -t**3 + 7*t**2 + 2. Let s be a(7). Let y be (-2)/(s/14*-2). Solve 2*n + n + 14 = -l, -q*n - y = 3*l for l.
1
Let t be 5 + -1 - 0 - -1. Solve v = -3*y - t, 5 = -y + 3*v - 0*v for y.
-2
Let m(q) = q - 5. Let o be m(7). Suppose 6*x - o*x = 0. Let z(w) = -2*w - 6. Let g be z(-5). Solve -6*r + g*r - 3*v - 23 = x, -3*r + 4*v + 8 = 0 for r.
-4
Suppose 0 = -3*o - 0*o + 6. Let k(y) = 2*y - 2. Let s be k(o). Let d = s + 16. Solve 0 = 5*a + 7*j - 3*j + 37, 3*a + j + d = 0 for a.
-5
Suppose -v - 4*d + 16 = 0, 57 = 3*v + 4*d - d. Solve 0 = -x + 6*x - 20, 4*a = -3*x + v for a.
2
Let y be 1/4 - (-406)/8. Let w = -20 + 22. Suppose -w*s = -y + 11. Solve z + 5 = 3*p, 0*z - s = 4*p + 4*z for p.
0
Let s = -17 + 22. Solve -3*r + 4 = -r + 2*d, -2*d + 4 = s*r for r.
0
Suppose 3*z = -0*z + 102. Suppose -4*a = -18 - z. Solve -3*c + 4*n = a, -5*c = -0*c - 5*n + 15 for c.
1
Suppose 152 = 5*t - 248. Suppose 3*g = -g + t. Let u be 1 + -2 - (-15)/3. Solve 0 = -3*z + 3, u*z + z = -3*h + g for h.
5
Suppose -4*o - 2*l = -24, 3*o - 3*l = -o + 4. Let b be o/(-6) + 96/9. Let d = -7 + b. Solve 4*z - 4*q + 20 = 0, -3*z - 2*q + d = 2*z for z.
-1
Let k = 54 + -50. Solve 8*b - 4*b = 5*t + 8, k*t = 3*b - 7 for t.
-4
Let w be 20 + 0/(6 - 3). Let c = w - 14. Solve -2*b + c = l - 6*l, -l + 5*b = -8 for l.
-2
Let i = 68 - 68. Solve i = o - 5, -25 + 4 = -2*z - 3*o for z.
3
Suppose 3*k + 3*w = 4*k + 2, -5*k - 4*w = -28. Solve -2*g = -m + 9, 3*g = 2*m + k*g - 3 for m.
3
Let g be 2/7 + (-2)/7. Suppose b - 5*b + 88 = g. Let v = 7 - 5. Solve 0 = 3*r + 4*q + b, -2*q = r - v*r + 6 for r.
-2
Let b be (-38)/(-14) + 2 - 22/(-77). Solve x - 3 = 0, -3*t + 5*x - b = -t for t.
5
Let p = -3 - -6. Solve 2*c - 3*y = p, 5*c + 5*y = y + 19 for c.
3
Let q = 30 - 20. Let s = q - 8. Suppose -s*d + 5*d = 9. Solve 2*w = d*g - 1, 4*g + 2*w + 14 = -3*w for g.
-1
Suppose 2 = h - 1. Suppose 2*v - 7*v - 20 = -5*l, -2*v - 8 = h*l. Solve 5*a - 40 = -0*d - 5*d, 5*a - 2*d - 5 = l for a.
3
Let q be (-1)/((-38)/36 - (-2 + 1)). Solve 4*j = 12, -2*u + 3*j = 7*j - q for u.
3
Let h = -30 + 60. Suppose -h = -3*k + 2*k. Suppose 0*n + 2*s - 40 = -3*n, k = 3*n - 3*s. Solve -2*p = 4*g + p + 2, g = 5*p - n for g.
-2
Let g = -35 + 60. Solve -4*u + 5*d - g = 0, 6*d - 25 = d for u.
0
Let t(d) = -2*d - 17. Let m be t(-10). Solve 5*l + 2*z + m = 26, 0 = -4*l + 4*z + 24 for l.
5
Let x(k) = -2*k - 6. Let y be x(-4). Let d be y*(-1)/2*-2. Let m be (0 + d - -2)/2. Solve 16 = m*p + 4*o, -3 = 4*p - o + 10 for p.
-2
Let l = 9 + -9. Solve -2*c + 3*q + 15 = l, 0*c + 5*q = 2*c - 21 for c.
3
Suppose 3*q - 13 = -4, -3*q = -3*j. Solve -3*k - 2*i + 14 = k, -k + j*i + 7 = 0 for k.
4
Suppose 4*p - 27 = p. Let b(c) = c - 6. Let s be b(p). Solve -4*x + s*i = 19 - 5, -x + 5*i = 12 for x.
-2
Let y be -3 + (5 - 2) - 0. Solve 3*a + 3*m - 15 = y, 0 = -3*a + 2*m + 26 - 11 for a.
5
Let v(q) = -q**3 + 9*q**2 - 8*q + 4. Let f be v(8). Suppose -37 = -5*r - 3*s, -f*r + 3*s = 6*s - 32. Solve -r*g = -5*y - g - 27, 0 = -3*g + 9 for y.
-3
Let h be -7 + 3 + -1 + 0. Let b = h + 10. Let t = b - 3. Solve 0 = -4*l - t*p - 0 + 2, 5*l + 5*p = 5 for l.
0
Let b = 2 + 4. Suppose 0 = u - 3*u + b. Solve -6*o + 2*h - 3 = -o, u*o - 3*h = 0 for o.
-1
Suppose 3*t + 3*t = 30. Solve 4*o - t*u = 6, -3*u - 3 - 5 = 2*o for o.
-1
Let v(i) = i - 3. Let g(u) = 3*u**2 + u. Let w be g(1). Let h be v(w). Solve -5*k - h = -y, -5*k - 4*y - 8 - 13 = 0 for k.
-1
Suppose 14*u = 3*u. Solve z + 0*z - 5*k + 15 = 0, 2*k - 8 = u for z.
5
Let a(j) = -j**3 - 5*j**2 - 7*j - 5. Suppose 7*i = 3*i - 16. Let c be a(i). Solve 0 = -3*f - 2*f + d + c, 0 = -f - 5*d + 17 for f.
2
Let k(u) = -2*u - 9. Let z be k(-6). Let v = -3 + -6. Let r(d) = d**3 + 10*d**2 + 7*d + 8. Let c be r(v). Solve z*f = 3*o - 0*o + 18, -c = -f + 