Let u be z(-2). Suppose 3 = 3*r - u. Suppose 0 = -k + 3 + r. Solve -20 = k*g + j, 4*g - j + 5*j + 32 = 0 for g.
-3
Suppose -d + 4 = -0*d, 5*d = -k + 25. Suppose 3*b + k = -j + 5*b, j = -5*b + 30. Let o = 21 - 1. Solve x - 3*p = 12, 0 = -x - j*p - o for x.
0
Let c = 11 + -8. Let j = 1 - -2. Suppose -t = -j*t + 4. Solve -c*h + h = p + 9, -19 = 3*p + t*h for p.
-5
Let t(n) = n**3 + 5*n**2 - 2*n + 5. Let q be t(-5). Solve -2 + 12 = -2*s, -3*s = -3*w + q for w.
0
Let q = 12 + -10. Suppose -2*t + r + 3 = 0, -r - 3 = -q*t + 3*t. Solve t = i - 2*h - 7, 5*i - i + 24 = -5*h for i.
-1
Suppose 34*y - 32*y = 0. Solve 5*m - b - 22 = y, 2*b - 5*b = 6 for m.
4
Let m be ((-15)/18)/((-5)/30). Solve 4*l + 25 = -0*p - 5*p, 0 = 5*p + m*l + 25 for p.
-5
Let s be 6/(-18) + 20/6. Solve -4*l + 23 = s, -i - 20 = -3*l for i.
-5
Let u be (1 + 0)*(-12)/(-3). Suppose u*h - 4 = 3*l, -2*l + 1 = -3*l + h. Let z be 33/9 + 4/(-6). Solve 2*p + 3*f - 5 = l, -p = z*p + 2*f - 14 for p.
4
Let t = 2 - 4. Let l(w) = -3*w + 2 + 0 - 3*w + 7*w. Let q be l(t). Solve 24 = -4*v + 3*j + j, -j + 2 = q for v.
-4
Let l be 58/7 + 2/(-7). Let m(y) = -4 - 4*y + 0*y + 3*y + 2*y. Let z be m(l). Solve 0 = -3*q + z*a + 16, -2*a = -5*q + q + 8 for q.
0
Let s be (-1)/(-5) + 7/(-35). Suppose -5*m + 5*r = 5, -m + 3 + s = 3*r. Suppose 4*a + 3 - 11 = m. Solve a*t = 0, -t + 15 = 3*k - 0*k for k.
5
Let h(k) = -k**2 - 4*k + 3. Let r be h(-4). Let j(m) = -m**2 - 10*m - 23. Let a be j(-5). Solve -a*n + 3*b = -n - r, 3*n + 2*b = -2 for n.
0
Let a(m) = m**2 + 5*m + 6. Let y be a(-6). Solve -2*s = -4*j + 8 + y, 3*j - 4*s - 20 = 0 for j.
4
Suppose 3*o + 2*r + 2 = 0, r + 2 = -r. Let t = 19 - 14. Solve -2*j - 3*g - 5 = o, 3*j + 3*g - g + t = 0 for j.
-1
Let y(k) = k**2 + 5*k - 14. Let t be y(-7). Solve 4*x = -n - n, -5*n - 4*x - 12 = t for n.
-4
Suppose -25 = -3*b + 4*m, -b = m + 4*m + 17. Suppose -6 = -2*w, -9 = c + 4*c - b*w. Solve c = -3*n + 15, g + 2*g + n = 2 for g.
-1
Suppose 3*s + 2*r - 19 = 0, r - 17 = -2*s - 2*s. Solve -5*j - 31 = -s*z, j + j + 4*z = -2 for j.
-5
Let i = -3 + 6. Solve -k - 5*s = -s - 15, -3*k + 18 = i*s for k.
3
Let u(s) = -s**3 - s**2. Suppose 5*f - 1 = -6. Let n be u(f). Suppose -2*w + 0*w = n. Solve -2*y - l - 5 = w, -4*l + 6*l = -2*y for y.
-5
Let q be -3 + (-5 + 10 - -8). Solve 3*w - 2 + 0 = 4*b, -4*b = w + q for b.
-2
Let w = -2 + 10. Suppose 2*c + s - w = 0, 2*c - 18 = -4*s + 2. Solve h = -d + c*d, -2*h = -3*d + 5 for h.
5
Suppose -q + 5*k = -6*q - 55, 4*q + 49 = -5*k. Let y = q + 6. Solve y = 4*j - 3*w + 2, -w = 5*j + 3*w + 18 for j.
-2
Suppose -14*s - 110 + 348 = 0. Solve 4*m + d - s = 0, -4*m - 15 + 38 = -d for m.
5
Let h = 24 - 12. Suppose -5*q + 4*c = 12 + 8, 5*c + 16 = -4*q. Let d(v) = v**2 + 2*v - 5. Let z be d(q). Solve -3*p + h = p, -8 = -s - z*p for s.
-1
Let m(o) = -6*o - 3. Let u be m(-3). Let t = -15 - -15. Let c = -1 - -4. Solve -4*v - v - 22 = -c*s, t = -3*v - u for s.
-1
Suppose -k - 22 + 24 = 0. Solve 6 = -k*j + 5*j, 8 = -2*r + 2*j for r.
-2
Suppose 0 = -3*o + 12 - 3. Solve 4*i = -2*y + 20, -o*i + 32 = i + 5*y for i.
3
Suppose 0 = 2*j - 8 + 4. Suppose 8*u - 4 = 5*u + h, u + 3*h + 2 = 0. Let t(v) = -2*v - 9. Let r be t(-9). Solve 2*s = j*d - u - 1, -d + 5*s = -r for d.
-1
Suppose 0 = 14*g - 0*g - 182. Solve 3*m - 3*v + 9 = 0, -4*m = -9*m + 4*v - g for m.
-1
Suppose -3*x + 16 = 40. Let f(h) = h**3 + 9*h**2 + 7*h - 6. Let t be f(x). Solve -t*u - 14 = 4*k, k - 3*k - 2*u - 8 = 0 for k.
-3
Suppose -5*t = t - t. Solve 2*l + t*l + 3*z = -22, -z - 19 = 3*l for l.
-5
Suppose -2*k - l = 16, 4*l = -k + 2*l - 8. Let p = -79 - -92. Let g = k + p. Solve -21 = -4*f + g*b, 4*b + 3 = b for f.
4
Suppose -3*x = -4*x. Solve -4*z = -0*z - 5*i + 41, x = -2*z - 3*i + 7 for z.
-4
Let d be 48/30*(-5)/(-2). Solve w + d*f - 15 = 0, -10 = -0*w - w - 3*f for w.
-5
Let t = -37 - -24. Let l = -29 - t. Let h be ((-8)/(-10))/(l/(-40)). Solve -18 = r - 5*p, 6*p = h*p + 16 for r.
2
Suppose 11 = 5*t - y, 3*y + 11 = t + 3*t. Let h = -21 + 23. Solve -b = 4*f + 24, 4*f + t + 10 = h*b for f.
-5
Let u be (-1 + -3)*9/(-2). Suppose -2*w + 7 = 1. Suppose 10 = -5*y, 3*i + w*y + y = 16. Solve -5*x = 2*t + u, 0 = -2*t - x - 2 - i for t.
-4
Let n = -4 - 0. Let b = n + 4. Let y(t) = -t. Let q be y(-5). Solve 22 = -5*p + k, p + b*p = q*k - 14 for p.
-4
Let i(g) = g**3 - 17*g**2 + 31*g + 8. Let s be i(15). Solve 0 = 3*k + 12, 0 = 5*f + 3*k + s + 14 for f.
-5
Suppose -5*l = 2*p + 5, -4*p - 1 = -2*l - 3. Let c(o) = o + 6. Let j be c(-3). Solve -4*h = 4*m + 8, j*m + 4*h + 1 + 2 = p for m.
-5
Let v be (-5*1)/(-4 - -3). Suppose 6 = -2*c, 2*q - 75 = -2*q + v*c. Solve -4*f - q = -0*n - n, -n = 3*f + 6 for n.
3
Suppose -3*w + 5*c + 27 = w, -2*c - 21 = -5*w. Solve 2*o + 5*g = -1 + 16, -w*o + 4*g - 12 = 0 for o.
0
Let g be 0 - 2 - (-3 + -1). Solve -x = -2*x + k - 4, g*x = -3*k + 2 for x.
-2
Let h = -19 + 31. Suppose 3*x - 3*n + 12 = 0, n - 9 = -2*x - 2. Suppose x = 5*l + 5*p + 6, -3*p - 12 = 0. Solve 4*d + 4*s = h, d = -l*d + s + 17 for d.
4
Let m(k) = -k**2 + 6*k - 1. Let r be m(3). Suppose 3*w - 6*w + l + 8 = 0, 0 = 3*w - 4*l + 4. Solve -w*d - 2*x = r, -4*d - d = -3*x - 1 for d.
-1
Suppose 0 = -n - 5*z + 10, 0 = 5*n - z - z - 131. Let r = 15 - 11. Let q = 9 - r. Solve 5*l - 5*k = q, -l - n = 4*l + 5*k for l.
-2
Suppose 3*m = 7*m - 12. Suppose -2*x = -5*h - 1 + 17, -26 = -5*h - 3*x. Solve 5*y = -5*v + 25, -4*y + m*y = -h*v for y.
4
Suppose -4*s = 5*a + 2 - 7, -a + 4*s = -25. Suppose -3*u - a*b = -2*b - 3, 5*b + 19 = 3*u. Solve -3*z = -u*o - 6, 5*z + 5*o + 7 + 33 = 0 for z.
-3
Let r(g) = -2*g - 9. Let s(z) = z + 4. Let l(m) = 6*r(m) + 13*s(m). Let i be l(5). Solve -5*t = 2*d - 20, i*d - 3*t + 16 = 5*d for d.
5
Let i(f) = -3*f + 6*f - 7 + 2*f - 3*f. Let u be i(5). Solve 3*n - 4*a + 4 = 0, u*n - a + 1 = -0*a for n.
0
Let p be (-160)/24*(-48)/10. Let d be 3/1*p/48. Solve 5*n - 4*m + 25 = 0, -d*n - m - 2*m + 13 = 0 for n.
-1
Let h(o) = -7*o + o - 6 + 3*o. Let v be h(-7). Solve -v = -4*g + 3*s, -3*g - 20 = -0*s + 4*s for g.
0
Let v = 6 + -4. Suppose -g + 0*t + v = t, -2*g + 5*t = -18. Let u be -2 + g - (-1 - -1). Solve -r = -u*n + 7*n - 10, -5*n = 5*r - 10 for r.
0
Suppose 0 = -2*x - 3*x + 40. Suppose 21 = 3*v + 3*b, -v = v + 4*b - 18. Let i be v/(-1)*(-2)/2. Solve -i*o + 15 = 3*z, 3*o - 23 = -3*z - x for z.
5
Suppose 3*i - 3*t = 9, t + 4 = 4*i - 5. Let b(d) = -3*d + 20. Let j be b(6). Solve j*s - 2*x + i = 0, 0 = 4*s - x + 1 + 15 for s.
-5
Let t = -132 + 151. Solve -1 - t = -3*q - 4*a, -q - 2*a + 10 = 0 for q.
0
Suppose 24 = 6*r + 6. Solve -4*c + 5*p = 4*p - 10, -r*c + 14 = -4*p for c.
2
Let u be 1 + (2 - 3) - -4. Solve 0 = -2*h - u*m + 30, -2*m = 5*h + 2 - 37 for h.
5
Let w = 17 + -17. Solve z - 3*b + 5*b - 3 = w, 0 = -5*z + 3*b + 2 for z.
1
Let q be 3 - (0 + -2 + 5 + -5). Solve 0*d - d + 10 = q*c, -5*c + d = 0 for c.
1
Suppose 3*j - 3*p - 36 = 0, 5*j - 4*p = 69 - 13. Suppose -l - j = -3*l. Solve 0 = -3*z - 4*g + l, 0 = -z - 3*z + 3*g + 22 for z.
4
Suppose 4*t = t. Suppose t = l + 2*r - 13, -4*r + 4 - 8 = -4*l. Solve 0 = 3*g + 6, -2*c = c + l*g + 10 for c.
0
Let y = 2 - -1. Let m = y + -2. Solve 4*h + 5*n = -10, h + n + n = -m for h.
-5
Suppose 5*z = -d + 4, 5*z - d = -1 - 3. Suppose 2*s - 5*s + 33 = z. Suppose 5*w - s = -4*o, -w = -0*w + 1. Solve -2*k + 10 = -l, 2*k - 7 - 9 = o*l for k.
4
Suppose 3*q = -5*n - 0*q + 133, n - 31 = -5*q. Let p = n - 15. Solve -4*s = -x + 2*x - p, -6 = -3*s for x.
3
Let p = 6 + -1. Suppose 6*y - n = 2*y + 9, -5*n = -p*y. Suppose 2*c - 4 = 0, 4*r + y*c = 10 + 8. Solve -2*a = r*m + 2*a - 8, 0 = -3*a + 15 for m.
-4
Let h be (-16)/(-3) - (-2)/(-6). Suppose -d + 0 = 3*q + 3, 20 = 4*d - 4*q. Suppose g = d*g. Solve -3*u + w - 4*w - 12 = g, -26 = -u + h*w for u.
1
Let x = 22 - 10. Suppose -2*j = 2*h - x, -5*j + 4*h - 6*h + 30 = 0. Solve -k + 2*k - m = -3, 2*k - 4*m = -j for k.
-3
Suppose -2*v = 4*d - 24, 5*v - 22 = -3*d + 3. Let p be ((-3)/(-3))/(d/10). Solve -m = 3*m - o - 7, 5*m - p*o = 5 for m.
3
Suppose 3*a + 9 = 6*a. Solve -4*g - 4 = 4*q + 8, 4 = -a*q + 2*g for q.
-2
Suppose 0 = -4*s - c + 4 + 17, 4*c = 2*s + 12. Solve 0 = 5*k + 15, 4*k + 11 + 1 = s*t for t.
0
Suppose -y = 2*y + 2*l - 1, -4*y + l + 16 = 0. Let a(i) = -i**3 + 11*i**2 - 8*i - 17. Let w be a(10). Solve 3*v = -w*k + y, 2*v = -4*k + 7*v +