*w + 16 = -0*w - b*y for w.
-1
Let z = 3 - -1. Let f be ((-3)/z)/((-1)/4). Suppose 5*j - 6 = 19. Solve 3 = -f*s - j*u - 6, -4*s + u = -11 for s.
2
Suppose -a - 4*a + 60 = 5*r, -2*r + 18 = -a. Solve 0 = -l + 3*w + r + 7, -l = w + 3 for l.
2
Let q(c) = -c**3 - 9*c**2 + 10*c. Let i be -1*4/(12/(-9)). Suppose -2*x = -i*x - 10. Let k be q(x). Solve -2*z + 3*n + 4 + 3 = k, 5*z + 2*n = -30 for z.
-4
Let j be 18 - 0*(-1)/(-4). Let t = j - 14. Solve 7 = 2*h - 0*z + 3*z, z = t*h + 7 for h.
-1
Let q be 1*(2 - -1) + 0. Let n be -3*((-1)/(-3))/(-1). Let r be (0 + -1 + n)*-1. Solve -17 = -5*c - q*t + 5*t, r = c + 3*t for c.
3
Let a = -13 + 18. Let d(r) = r**2 - 3*r - 2. Let i be d(-3). Solve o = 3*v + i - a, -17 = -3*o + v for o.
5
Suppose 0 = -o + u - 2, 11*u - 13*u + 8 = 0. Solve -3 = m - 5*l + 6, -2*l = -o for m.
-4
Suppose g = 3*g - 44. Let n = -7 + 2. Let m = g + n. Solve -4*t = l + 17, t = 5*l - l + m for l.
-5
Let v(m) = m**2 + 5*m + 9. Let u be v(-6). Suppose 5*w + 0*w = u, 4*o - w = 45. Solve -4*b = -3*x + o, 2*x - 6 = -x + 2*b for x.
0
Suppose 2*h - 6 = 4. Let j(y) = y**3 - 2*y - 1. Let f be j(-1). Let p(g) = g**3 - g**2. Let k be p(f). Solve h*u + 4*o + 8 = k, -u + 3*o - o = -4 for u.
0
Suppose 2*x = -12 - 12. Let l = 17 + x. Solve 4*t - 2*p = -14, 12 = l*t - 5*p + 32 for t.
-3
Let d = -4 - -7. Suppose 2*m + 21 = 3*y, d*y - y - m - 13 = 0. Suppose 4*x - x + 5*v = 25, -y*v + 25 = 0. Solve f + 4*i + 21 = 0, x*i + 4 = -i for f.
-5
Suppose 5*n = 2*n + 6. Suppose 0 = 4*v - n - 30. Solve 2*g - o = 4, 0*o - o = g - v for g.
4
Let b = 13 - 6. Suppose 5*t - 2*t + 9 = 0. Let p = t + b. Solve 2*r = w - 4, w = p*r + 6*w + 36 for r.
-4
Let j(q) = q**3 + 4*q**2 + 6*q + 7. Let h be j(-2). Solve 5*f - 4 = 4*f + 2*v, 20 = -2*f - h*v for f.
-4
Suppose -7*t + 21 + 7 = 0. Solve -3*x - 3*u = 2*u - 1, -t*u - 4 = 0 for x.
2
Let x be (3 - 0 - 3) + 12. Solve r + 4*r - m = -16, x = r - 4*m for r.
-4
Let v be 2*(0/2 + 1). Suppose m + 4*m + 3*p - 1 = 0, -v*m + 4*p = -16. Solve y - 20 = m*o + 3*o, -5*o = -5*y + 20 for y.
0
Suppose 0 = -7*o + 6*o + 4. Solve o*u + 5 = -3*k - 3, 3*u - 15 = 3*k for k.
-4
Suppose 5*a = a + 8. Let g = a - -3. Suppose -7 = -5*q + 163. Solve 0*m - 2 = -w - m, g*w - 3*m - q = 0 for w.
5
Suppose o = -2*p, 3*o + 2*p = 4*o - 20. Let w = o - 3. Solve -5*v = -20, d - 3*v + w + 7 = 0 for d.
-2
Suppose 0 = 4*f - 11 - 5. Solve 0 = z - 5*z + 2*g + 24, -f*z - 4*g = 0 for z.
4
Let p(u) = u**3 + 11*u**2 + 10*u + 10. Let j be p(-10). Suppose 8*v = j*v. Solve 0*d - 2*d + 4*q = v, q = 2*d - 3 for d.
2
Let j = 3 - 1. Suppose h = -j*p - 0*h + 11, h + 9 = 2*p. Solve 0 = 5*g + 5*w + 50, p + 5 = -3*g + w for g.
-5
Let i = 11 - 18. Let x(c) = -c - 1. Let g be x(i). Suppose s - 7 = g. Solve z - 4*f - s = 0, -z + 5*f = 3*f - 5 for z.
-3
Let v be 2/(-8)*(4 + -8). Solve -m = -6*m - w - 17, 5*w + v = -4*m for m.
-4
Let l be ((-184)/12)/(4/(-6)). Solve -5*i + l = -a, -2*a = 2*a - 4*i + 28 for a.
-3
Suppose -4 = -l - 1. Suppose j + 0*j = -3*p - 4, 0 = l*p + 3*j + 12. Solve -5*w + 3*c - 3 + 17 = 0, p = -5*w - 2*c + 24 for w.
4
Let y(d) = d**3 + 4*d**2 + d + 5. Let o be y(-4). Suppose 4*z + 4*g - 17 = 3, g - o = 0. Solve 3*q = -0*s - z*s - 5, 2*q - 3*s - 8 = 0 for q.
1
Let a be 38/1*1/2. Suppose u - 2*v + a = -3*v, -u = -2*v + 22. Let x be (30/8)/(-5)*u. Solve -3*r + 0*r + x = 0, -4*m + 29 = 5*r for m.
1
Suppose -2*f + 3*x = 3*f - 6, f + 8 = -4*x. Solve -2 - 1 = -3*q, 4*v + q - 17 = f for v.
4
Suppose -4*s = 0, -b + 27 = 2*b - s. Let c be 3 + b/(1 - 0). Solve -c = 2*a + 4*x, 0 = 2*x - 6*x - 16 for a.
2
Suppose -2*m + 0 = -8. Suppose -2*i + 0*j = j - 9, -3*i + 2*j = 4. Suppose 4*g - 13 = 3*g. Solve -m*r = 2*t - 8, -i*t - g = -2*r - r for t.
-2
Let v = -66 + 68. Solve 3*l - f + 1 = v, 3 = -l - 3*f for l.
0
Suppose 2*b + 12 = -5*d, 5*b - 5*d - 28 - 12 = 0. Solve 1 = 3*q - u, -4*u + 10 = -3*q - b for q.
2
Let n = 5 - 11. Let h be -1 - n - (-7)/(-7). Solve h = -o - 5*w + 21, -2*w = 3*o - 12 for o.
2
Let d = 9 - 6. Suppose 4*i - 3*i - 11 = -5*f, -5*i = d*f - 99. Solve 5*z - 4*h - i = 0, 5*z + 4*h - 14 = 3*z for z.
5
Suppose 0 = -5*u - 2*h + 26, -4*u + 6 = 5*h - 8. Let z = u - 1. Solve 0 = -2*w - 2*w + z*m - 29, -4*m = -w - 21 for w.
-1
Let m(u) = u**2 - 5*u + 3. Let d be m(5). Suppose 5*o - 3*z - 9 = 0, 0*z = d*z - 6. Solve 2*c - p - o = 0, -2*p = -5*c + 4 + 3 for c.
1
Suppose -2*l - 3*p = 6 - 24, 2*l - p - 10 = 0. Solve 4*g - 2*g - 3*n - l = 0, 7 = -5*g + 2*n for g.
-3
Let f be -1 + 0 + 2 + 4. Suppose -9*c = -f*c. Suppose -17 = -5*z + 8. Solve 0 = i - 2*n, 2 = -c*i + 2*i - z*n for i.
-4
Let p be (4/(-3))/((-8)/18). Solve -d - p*g + 5 = d, 3*d + 18 = 4*g for d.
-2
Let t(r) = 4*r**2. Let a be t(-1). Solve g - 2*v + v + 2 = 0, a*g - 2*v = -10 for g.
-3
Let c(y) = y**2 - 2. Let d be c(-4). Suppose -x = 3 - d. Let s = 7 + -4. Solve 3*m + x = 2*t, 2*t + m = -s*t - 15 for t.
-2
Suppose 2 - 4 = -y. Solve -b + 5*v = -10, -y*v = 4*b - v - 19 for b.
5
Let z = 9 + -1. Let h be (-2)/8 + 26/z. Suppose q - h*n + n - 14 = 0, 5*q + 4*n = 0. Solve 3*b - q*m - 20 = b, 5*m + 25 = -b for b.
0
Let c(k) = k**3 + 3*k**2 - 2*k - 2. Let g be c(-4). Suppose 0 = 3*z - 25 - 20. Let y = z + g. Solve -3*p - n = 4*n - 12, -4*p - 3*n + y = 0 for p.
-1
Let x = 10 - 6. Solve -5*z = -4*b - 13, b - 2*z = -b - x for b.
3
Let v = 10 - 6. Suppose -4 = -y + v. Let d = y - 5. Solve -4*j - j + 25 = -5*n, -d*j = 2*n - 10 for n.
-1
Let f(m) = m**3 + 9*m**2 - 10*m + 8. Let n be f(-10). Let r = n + -3. Solve 0*x + 4 = -4*j - 4*x, -21 = r*j + x for j.
-5
Let m = -31 - -38. Solve 2*b - 4*b + m = -n, 4*n = -5*b - 2 for n.
-3
Suppose -2*u - 2*y + 6 = 0, 6*y - 3 = 3*y. Let j be -2 - (3 + 2*-3). Let q = j + u. Solve -2*w - 5 = 3*x - 13, q*w - 2 = -2*x for w.
-2
Suppose -13 = -m - 10. Solve 0 = -5*s - h + 13, -m*s = -9*h + 4*h - 19 for s.
3
Let j(u) = -2*u**2 - u - 3. Let m(s) = 5*s**2 + 3*s + 5. Let x(n) = 7*j(n) + 3*m(n). Let z = -10 + 14. Let i be x(z). Solve -2*r - r = -5*p - i, 6 = -2*p for r.
1
Let v(w) = -w**3 - 5*w**2 - 7*w - 2. Let a be v(-5). Let y = a - 69. Let b be ((-2)/3)/(8/y). Solve 0 = 5*g + b*u - 31, 24 - 1 = 5*g - u for g.
5
Let z = -5 + 9. Suppose -20 = -z*m - 4. Solve x - m*t + 0 = -4, -3*x = 4*t - 20 for x.
4
Suppose -4*l - 2*l = -12. Solve 2*d = -l*o + 14, -2*d = 3*d - 3*o + 5 for d.
2
Suppose y - 4 = -0. Suppose -23 = -6*p + 1. Solve -y*m = 4*f + p - 0, m = 0 for f.
-1
Suppose 0 = 8*r - 9*r + 1, 9 = o + 4*r. Let z = 63 + -36. Let n(b) = -b**3 + 4*b**2 + 2*b - 4. Let y be n(4). Solve y = -2*g, 0*g + g + z = o*p for p.
5
Suppose -2*w = -4*w + 8. Let b = 20 - 2. Solve w*h + 2*s - 3*s = b, 2*h + s - 6 = 0 for h.
4
Suppose 6*q = 5*q + 10. Let r = 2 - -15. Let f = r - q. Solve -f*v + 4*v = 5*l + 15, -2*l = -4*v + 6 for v.
0
Let s(y) = y**3 - 3*y - 2. Let g be s(2). Solve o - 14 = 4*q - g*o, -o + 8 = -2*q for q.
-3
Suppose 55*b - 16 = 51*b. Solve 0 = t - m - b, -5*m - 12 = 3*t for t.
1
Suppose 0 = 4*o - 16, -2*t + 2*o - 14 = -5*t. Solve -t*a - 12 = h, 3*a + h = 3*h - 4 for a.
-4
Suppose 2*x - 16 = -12. Solve -x*u = 3*h - 15, -2*u - 20 = -4*h - 6*u for h.
5
Let f(s) = s - 1. Suppose -4*t - 20 - 4 = 0. Let u = -5 - t. Let o be f(u). Solve 4*h - 3*x + 15 = o, -x - 4 - 4 = 3*h for h.
-3
Let m = -1 - -5. Suppose 0 = 3*q - 2*q - m. Let b = 7 + q. Solve 0 = 2*f + 2*t - 18, 5*f - 3*t = 2 + b for f.
5
Let o = -6 + 9. Solve 3*l + 10 = -b, -b + 8 = o*b for l.
-4
Let m = 35 - 19. Let g(p) = p + 6. Let j be g(-2). Solve m = -0*z - j*z + 2*o, 5*z + 17 = o for z.
-3
Let j = 77 + 2. Suppose g + g + s = 31, 3*s = -5*g + j. Suppose c + z - g = -z, c - 2*z = -6. Solve -19 = -4*l + 3*v, l - c*v = -2*l + 16 for l.
4
Suppose -2*c = 5*r - 11, 0 = 5*r + c - 1 - 12. Suppose r*o = 5*q - 11, 0*o + 32 = 4*o + 5*q. Solve 3*b + 2*h - 4 = -0, 2*h + 20 = o*b for b.
4
Let a(v) = 2*v**2 - 6*v + 7. Let o be a(3). Suppose 0 = o*w - 9*w. Solve 23 = 5*t + q, -5*q + w*q = 5*t - 15 for t.
5
Let r(v) = 5*v**2 + 2*v - 2. Let l be r(1). Solve -3*p + 3*g - 6 = -l*p, 4*g + 9 = 3*p for p.
3
Suppose -q - 11 = -14. Solve 5*z - 4*b + 8 = 0, -b + q = 2*z + 1 for z.
0
Let n be -1 - 1 - -2*2. Solve -2*f - 2*f + 4*w = 28, n*w = -3*f + 4 for f.
-2
Suppose -v - 5 = 0, 9 = f - 4*v - 14. Solve 0*p - p - 4*x - f = 0, 9 = -3*p - x for p.
-3
Let v(p) = p**2 + 1. Let t be v(2