 Let u be 10*2/(-8)*-2. Solve 2*y = 4*s, u*s = -t*y + 3*s for y.
0
Let j = -11 + 5. Let b = j + 9. Suppose 5 - 14 = -b*p, 5*p = a + 11. Solve -a*y = -4*u, -2*u - y = 3*y + 18 for u.
-3
Let d be (-4)/(-6) - 10/(-3). Solve -w = -d*n + 8, 2*n + 3*w = 6*n for n.
3
Let d = 6 - 4. Let u(l) = -11*l**2 + l + 10*l**2 + d + 0*l. Let h be u(0). Solve -3*k - 30 = -5*v + h*k, -6 = -4*v - 2*k for v.
3
Let k(m) = m**3 + 4*m**2 + 3*m + 2. Let b be k(-3). Solve 3 + 0 = n + b*i, n + 4*i - 11 = 0 for n.
-5
Let q = -152 + 156. Solve -9 = -3*r, 0*w - 4*w - 20 = -q*r for w.
-2
Suppose -4*s - 112 = -4*l, -5*s + 4*l = 185 - 43. Let o = s - -45. Solve -4*r = -v + 7 - 2, -2*r - o = -3*v for v.
5
Suppose 0 = 4*p + 5*v + 17, v = -2*p - 1 - 0. Solve -p*h - 3*h = 2*d - 5, 0 = 5*d + 5*h - 5 for d.
0
Let a(u) = 7*u**2 - 5*u + 4. Let o(f) = -6*f**2 + 5*f - 4. Let d(r) = 5*a(r) + 6*o(r). Let i be d(3). Solve -2*n = -i*g + 3 + 5, -n = -2*g + 7 for n.
-1
Suppose 24 = -q + 5*q. Solve -7 = 2*t + t - 2*a, 4*t + q = 2*a for t.
1
Let a(r) = r**3 + 4*r**2 - 2*r - 5. Let b be a(-4). Solve g = 4*o + 7, -b*o - 2*g - 1 = -6*o for o.
-3
Let m(x) = -2*x + 16. Let g be m(8). Let p(u) = 2*u - 1. Let t be p(2). Solve g = -t*l + 12, 1 = 3*k - l - l for k.
3
Let x = 89 - 85. Solve -x*k - 4*s = -3*k - 2, -3*s - 7 = 5*k for k.
-2
Suppose 5*g + 2*h - 30 - 74 = 0, -h + 2 = 0. Solve a - 3*o - 1 = 4, 4*a - 5*o - g = 0 for a.
5
Suppose 2*x = -5*r - 95, 3*r + 20 + 100 = -3*x. Let c be (-1 - -3)/(4/(-22)). Let q = c - x. Solve w = -4*k + 11, -5*w - q = 1 for k.
4
Let i(o) = -o + 2. Suppose 0 = -4*r + r. Let x be i(r). Suppose 184 = -q + 5*q - 2*b, -92 = -x*q - 4*b. Solve -t + 5*c - 16 = -q, 3*c = 3*t - 30 for t.
5
Let g = 8 + -2. Solve -5*s - d + g = -17, 0 = d + 2 for s.
5
Let i be (-42)/(-18) + 1/(-3). Solve -i*t - 6*b + b + 1 = 0, -4*b = -4 for t.
-2
Let u = -206 + 143. Let r = u - -88. Suppose 2*m + 6 = -5*p, m + 12 = 6*m - p. Solve o = -o - m*i - 10, -5*o + i = r for o.
-5
Suppose -8*i - 10 = -13*i. Solve 3*s - 12 = f, 2 = f - i*s + 10 for f.
0
Suppose -3*d - 4*y = 0, -2*d + 2*y = -2*y. Suppose -6 = -s - d*s. Solve 3*p - s*n + n - 5 = 0, 3*n = 6 for p.
5
Let c(w) = -w**3 - 5*w**2 - 4*w. Let l be c(-4). Suppose 3*u - 25 = -5*k, -4*u = -l*u - 2*k - 42. Solve -2*r - 3*i = -7*i + 20, i - u = 3*r for r.
-2
Let w(i) = 2*i - 11. Let c(f) = f - 11. Let d(k) = -3*c(k) + 2*w(k). Let n be d(7). Solve 0 = 4*y + 2*r + n, 0 = -6*r + 2*r - 20 for y.
-2
Let y be -1*(3 + -2 + -4). Let f = y - 0. Solve -f*q + 2*m = -5 + 22, -4*m + 10 = 2*q for q.
-3
Let g(s) = 3*s - 5. Let y be g(4). Suppose 3*q = 5 + y. Let u = q + 0. Solve -2*o = -2*n + 4, -u*n + 18 = n - o for n.
4
Let c(w) = 9*w - 1. Let v be c(1). Solve -5*q - 4*u = -2*q + v, -2 = -2*q + u for q.
0
Let m be (-1)/(-5) + (-48)/(-10). Let o = -1 - 16. Let n = o - -25. Solve 2*t = -3*t - 5, 2*t - n = m*q for q.
-2
Suppose -5*v + 21 = -2*v. Let n be (-2)/(-1) - (-3 + 2). Suppose w - 4*o = 3*w - 46, n*w - 2*o - 37 = 0. Solve k + w = -4*u - v, -k = 2*u + 12 for k.
-2
Let s = -4 - -7. Let w be (5 - (s + -2)) + -2. Solve 3*r - 7*o - 15 = -5*o, -w*r = -4*o - 18 for r.
3
Let g(b) = b**2 - 3*b - 1. Let x be g(4). Let y be (-9)/(-6)*12/9. Suppose 2*h = -y*h + 24. Solve -x*a + o = 8 + 2, -3*o - h = 0 for a.
-4
Let q(x) = x + 5. Suppose -3 - 2 = -i - 2*f, f + 36 = 5*i. Let z be q(i). Solve z = 4*y, 0 = -0*m - 3*m + y + 12 for m.
5
Suppose f = 4*f + 6, -f = 2*h - 26. Suppose 0 = 3*i + 10 - 40. Let o = -8 + i. Solve h = b + w - 6*w, -w - 1 = -o*b for b.
-1
Let f be ((-3)/1)/(2/(-2)). Let j = f - 1. Suppose -2*p - 3 = c - 23, 2*p = j*c - 52. Solve -2*v + 4*s = -10, -4*s - c = 5*v + 21 for v.
-5
Suppose 0 = -g - b + 6, -5*g + 9 - 3 = -3*b. Suppose 0 = -4*m + g + 5. Solve -3*i + 4 = -5*r, -4*r - 2 - m = -2*i for r.
-2
Let w be (-616)/(-33)*(-3)/(-2). Solve 5*a + 5 - 15 = 5*u, 5*a - w = -u for a.
5
Let m(k) = -k + 7. Let u be m(2). Solve -u = -2*c + o, -4*o = -2*c - 2 - 8 for c.
5
Suppose -2*z + 6 = 0, 4*w + 3*z = -z + 76. Solve 0 = -i - 3*k + w, -5*i - 3*k + 33 = 13 for i.
1
Let g(x) = 2*x + 14. Let d be g(-7). Solve -v + 3*q = d, 4*v - 2*q + 0*q = 10 for v.
3
Suppose 7*p - 5*p - 36 = 0. Suppose -p = -2*z - 2. Solve -10 = -5*a - x, -z = x - 3 for a.
3
Suppose 4*n - 11 = 1. Solve 4*b = -n*i - 22, 5*b - b = -4*i - 24 for i.
-2
Let c be (-8)/(-10)*(-15)/(-6). Let l be 15/1*(-5)/(-3). Suppose -4*k + 3*j + 23 = 0, 5*k = -2*j + 5*j + l. Solve m = k, c*m = v + v + 12 for v.
-4
Suppose -4*w = -4*r + 16, -w - 16 = -4*r - 0*w. Solve -5*x = -r*q + 36, 2*q - 16 = x + x for q.
4
Let t(n) = n**2 - 6*n + 6. Let w be t(5). Let l(u) = u + 6 - 2*u - w. Let k be l(-5). Solve -3*i - 2*f = 16, 3*i + f + k + 1 = 0 for i.
-2
Suppose h + 3*f + 3 = 0, -h = -0*h - f - 5. Solve -m + 14 = -h*j, 3*j + 5 + 11 = 2*m for m.
2
Suppose -3*f = -f - 4. Suppose 0 = -2*a - f*a. Solve 5*z = t + 21, 5*t + 21 = 4*z - a*z for t.
-1
Let x be (39/(-26))/(6/(-16)). Solve n + 24 = -2*l + 6*l, -20 = -x*l for n.
-4
Let c be 12/3 + -1 + 1. Let j(y) = -y + 2. Let r be j(0). Suppose -r*x + 6*x = 20. Solve c = -3*v + 2*h + 3, x*v = h + 10 for v.
3
Suppose 0 = -0*n - 5*n + 20. Let r = -2 - -7. Suppose -4 = r*c - 14. Solve -3*z + n + 8 = -4*a, c*a + 6 = 2*z for a.
-3
Suppose -14*u - 18 = -20*u. Solve -z - 4*m + 11 = 0, u*z + 3*m = -10 + 25 for z.
3
Suppose -8 = z - 2*i + 8, -5*z - 108 = -3*i. Let t = 12 + z. Let n be t/(-16)*4*1. Solve c - 2*a + 2 = -1, 0 = -4*c + n*a + 3 for c.
3
Suppose -2*o = -5*h - 0*o + 31, -h = 4*o + 7. Solve 0 = -s + u - 1, -2*s + 6*s - h*u = -3 for s.
-2
Let k(v) = v**3 + 2*v**2 - 5*v - 3. Let l be k(-3). Solve 0 = 2*b - 4*p + 2*p - 12, -l*b = -5*p - 22 for b.
4
Let i(a) = a**2 - 4*a + 3. Let v be i(3). Solve 3*k = -3*t, 2*t + 2*k - k - 1 = v for t.
1
Let b be -9*4/(-6) + (-1)/1. Solve t = 0, -5*r = t + 3*t - b for r.
1
Let a(g) = g**2 + 7*g + 2. Suppose -4*q - q - 35 = 0. Let i be a(q). Solve -4 = -2*r, i*w + r - 4 = -2*r for w.
-1
Let c = 6 + -11. Let v = c + 8. Suppose -23 + 5 = -3*d. Solve f + 1 = -4*r, d*f - v*r + 23 = 2*f for f.
-5
Suppose r + r = 6. Let j be -1 - -2 - r/(-1). Solve -y + 5 = -j*y - 2*n, 0 = 3*y - 3*n - 15 for y.
1
Let r = -14 + 18. Let n(k) = k**3 - k**2 - 3*k - 4. Let p be n(r). Solve -3*w = -5*a + p, 4*a - w - 3*w - 32 = 0 for a.
4
Let f be (-1)/((-2)/(-4) - 1). Let w = -8 - -8. Suppose w = d + d. Solve -f*b - c + 1 = -2, -2*b + c + 13 = d for b.
4
Let p(u) = u**3. Let x be p(0). Let b = -15 - -19. Let o = b + x. Solve j - 2*c + 3*c + 2 = 0, -4*j = -o*c - 32 for j.
3
Let q = 6 + -7. Let k be 0/q + -3 - -8. Solve 6 = 2*x - y, x + k*y + 6 = -x for x.
2
Suppose n = -0*n. Suppose 4*l - 28 = -4*y, 20 = -n*y + 2*y + 4*l. Solve -y*q + 4 = -4*c, -c - 2*q = 3*q - 23 for c.
3
Let g = 21 - 15. Solve -1 = -v - k, -g - 5 = v - 5*k for v.
-1
Let i be (-13)/(-39) + 2/(-6). Let z = -2 + 4. Solve 5*b + z*s + 5 = i, 1 = b + s - 1 for b.
-3
Suppose 0 = -2*p - v + 4, -p = p + 2*v - 2. Solve 0 = -3*n - 3*j - p, j + 4*j + 29 = n for n.
4
Suppose 0 = 5*x + 1 - 11. Solve a = -2*o - 4*a + 16, -5*o + x*a - 18 = 0 for o.
-2
Suppose -3*v - 8 = 7*j - 3*j, 0 = -5*v - 2*j - 4. Suppose -4*h = h. Solve v = 4*g - 4*m + 8, 14 = -2*g - h*m - 3*m for g.
-4
Let p = 83 - 79. Solve 1 = -y + p*j, 7*y - 20 = 2*y - 5*j for y.
3
Let q(f) = f**3 + 8*f**2 + 5*f - 8. Let u be q(-7). Let v = -4 + u. Let w = v - -1. Solve -3*n + n = c - 5, -2*n - w*c - 5 = 0 for n.
5
Suppose 4*c + 14 = y - 4*y, 2*y = -2*c - 8. Let b(r) = r**2 + 2*r + 3. Let i be b(y). Let h be (-1*5)/((-1)/i). Solve 0*w - 3*w = h, 4*w + 30 = 5*l for l.
2
Let m = -39 + 57. Let b(t) = t**2 + 5*t + 6. Let w be b(-4). Let l be w*7/3*3. Solve -5*s - 1 = l, 0 = -y + 5*s + m for y.
3
Suppose 20*n - 24*n = -20. Solve 4*i = 3*s - 22, -6*i = n*s - i + 10 for s.
2
Let b = 107 - 105. Solve -3*z = -4*h - b, 2*z + 8 = -2*h + 7*z for h.
1
Suppose 0*h = -3*h + 9. Suppose h*u = 7*u + 4. Let v be 0 + 16 - (-1 - u). Solve v = -5*o - m, -o - 3*m = o + 9 for o.
-3
Let x = -149 - -150. Solve -5*c = 0, x = 2*p + 2*c + 3 for p.
-1
Let r be ((-170)/(-15))/((-3)/9 + 1). Solve b = 4*b + s - r, 22 = 4*b + s for b.
5
Let a be (-4)/6 - (2 - 40/6). Solve -5*g = -3*j - 9, -j + 1 = -a*g + 4 for g.
0
Let w(z) = z**3 + 5*z**2 + z + 6. Suppose 3*u - 2*u + 4 = 0. Let n be w(u). Solve -11 = -f + 2*c