*u = 9, 8 = -3*g + g + 2*u for g.
-1
Let s be ((-3)/9)/(3/(-54)). Let n be 2/s*3 - 1. Suppose 3*z - u - 28 = n, -3*u - 20 = -5*z + 28. Solve -j - z = -5*x, 0 = -3*x - 2*j - j - 9 for x.
1
Let n(x) = x**3 - 27*x**2 + 23*x + 82. Let y be n(26). Solve 5*j = -y*v - 9, -j - 25 = -v - 4*v for j.
-5
Let v(t) = -3*t**3 - 3*t**2 - t + 2. Let l be v(-2). Suppose -c + 2*f + 1 = 0, 2*f + f = -2*c + l. Solve i - a = 8, -c*i + 31 = -2*a + 3 for i.
4
Suppose 10*q = 2*q + 32. Solve 5*y + 6 - 1 = q*x, 4*y + 5 = 3*x for y.
-5
Let c(d) = 10*d - 8. Let v be c(1). Solve v*y = -g - 7, -g + 4*y - 2 = -19 for g.
1
Let x(s) = -s**3 + 17*s**2 + 39*s - 19. Let q be x(19). Solve q = -5*r + 4*z - 3, r = -r + z for r.
1
Let t(n) = n**2 - n - 1. Let o(l) = 7*l**2 - l - 5. Let k(h) = o(h) - 5*t(h). Let d be k(-4). Solve 4*s - 5*z + 2 = -0, -2*z - d = 4*s for s.
-3
Suppose 5*t - 9 - 3 = -f, -16 = -4*t - 4*f. Suppose -q + t*q = -4. Let s = q - -6. Solve -k + 9 = 3*c, 7*k + 3*c + 3 = s*k for k.
-3
Suppose -4*z + 33 = n, -5*n + 16 = -9. Solve -z*c + 14 = -l - 2*c, -5*l - 16 = 2*c for l.
-4
Let a be -49 - (2 - (7 + -2)). Let k = -44 - a. Solve -w - o + 1 = 0, -4*w - 3*o = -1 + k for w.
-4
Let s = -138 + 140. Solve 0 = -5*r + 3*j - 11, 5*r + s*j + 1 + 0 = 0 for r.
-1
Let g(u) = -u**3 - 4*u**2 - 2*u + 6. Let n be g(-3). Suppose n*w = -w + 20. Suppose 2 = w*f - 18. Solve -2 = -5*z - h + f, 4*z - h = 3 for z.
1
Suppose 0 = 2*a - 279 - 541. Let k be 6/(-9) + a/30. Solve 2*t - 4*d + 9*d + 3 = 0, 4*t + 3*d + k = 0 for t.
-4
Let k = 2 + 0. Suppose -5*p - s = k*s - 6, -2*s - 6 = 0. Suppose 12 = p*d + 3*x, -3*d - 5*x - 3 + 11 = 0. Solve 6*a - 3*a = -d, 3*a + 3 = -3*v for v.
1
Let b = -16 + 16. Suppose 0 = -2*f - 3*i + i - 14, 3*f - 5*i + 29 = b. Let l be ((-10)/f)/((-1)/(-16)). Solve -2*w = 4*p + l, -w - 3*p - 13 = -0*w for w.
-4
Suppose 9 = 3*j - 0*j, -3*f = 2*j - 153. Let o = 63 - f. Solve k - 2*s + 4*s = -o, 0 = 3*k + 2*s + 22 for k.
-4
Let d = 98 + -68. Let s be (-11)/(-6) - (-5)/d. Solve 2*b = -s*x - 18, -b - 1 - 28 = 5*x for b.
-4
Let s be 273/15 + 16/20. Suppose -4 = 5*j - s. Solve 4*b = -5*t + 27, t = -0*b + j*b - 6 for b.
3
Suppose -g = 4*i - 6, -4*i = -g - 3*i + 1. Solve -5*p + 7 = -g*z - 7, 5*p = -2*z + 26 for p.
4
Let k(j) = -10*j + 102. Let s be k(10). Solve 2*m - s*u - 20 = -2*m, -4*m = -5*u - 20 for m.
5
Suppose 6*f + 4*y - 7 = f, 3*y = -2*f. Suppose -3*a + 13 - 16 = -2*l, 0 = -5*l - 5*a - 5. Let o be (-2)/5 + 44/10. Solve l = f*w + 12, -3*w - o = 3*t + 8 for t.
0
Suppose a + 3*a = 0. Suppose a = -3*q - 64 - 5. Let i = -22 - q. Solve -4*d + 2*w + i = 7, 3*w + 9 = 0 for d.
-3
Let y = 338 + -323. Solve 3*m - 9 = -j, 0 = 4*m + j + 3 - y for m.
3
Let u be 5*(4 - (-102)/(-30)). Solve 2*d + 5*v - u = 2, -d = -3*v + 14 for d.
-5
Suppose -4*x + 14*x - 20 = 0. Solve -4*a = -4*p, -1 = -x*a + 4*p + 3 for a.
-2
Let s(k) = -k**3 - 24*k**2 - 23*k + 2. Let i be s(-23). Solve -2*p - 8 = c - 0*p, 4*p = i*c for c.
-4
Let h = 3 + 2. Suppose -6*f = -h*f - 25. Let r = -4 - -6. Solve 5*s = r*y - 4, -2*s - 5*y + 6 = f for s.
-2
Suppose -3*z = -3*k - 126, -4*k - 42 = 5*z + 144. Let s = 47 + k. Solve -2*p + w + 8 = 0, s*p + w + 2*w - 12 = 0 for p.
4
Suppose 0 = -3*m + 2*t - t + 9, -21 = -3*m - 3*t. Solve 0 = -3*y + 4*o + 11, -m*o = -3 + 11 for y.
1
Let w(h) = -h - 4. Suppose -3*s + 8 + 7 = 0. Suppose 0 = 3*z - 2*z + 4, -m + s*z = -16. Let y be w(m). Solve 18 = -y*k + 3*k + 3*u, 2*u = 4*k - 12 for k.
4
Let k(u) = u - 2. Let o be k(9). Suppose -2*l = -3*x - o, -x - 3*x + 9 = l. Solve 3*c + c + 6 = -3*t, -2*t = l*c + 4 for c.
0
Let j(a) = a**3 + 26*a**2 - 55*a + 32. Let g be j(-28). Solve 0 = -4*r - g*k + 20, 0 = -5*r + 3*r + k - 5 for r.
0
Suppose -h = 3*d - 5*d, -24 = -4*h - 4*d. Let i = 295 - 292. Solve -h*y = -5*v - 16, i*y - 5*v - 10 = 7 for y.
-1
Let q(y) = -3*y**2 + 5*y - 1. Let a be q(1). Solve 5*o + 20 = 0, v - o - a - 4 = 0 for v.
1
Let z = 22 - -15. Suppose 0 = w - z + 18. Suppose -1 = -5*t + w. Solve 0 = 4*i + 2*p, -2*p - 2 = t*i - i for i.
2
Let a(x) = -x**3 + 8*x**2 - 11*x - 3. Let q be a(6). Suppose 5*v = q*h - 4*h + 32, -4*v + 41 = 3*h. Solve 13 = 2*i + c, -5*i + h*c + 13 = 3*c for i.
5
Let s be (((-32)/10)/2)/((-156)/390). Solve -2*b = -s, -i + 3 = 4*b - 0*b for i.
-5
Suppose -29*r - 4 + 62 = 0. Solve 0 = -5*w + z + 14 + r, -2 = w + 5*z for w.
3
Suppose 0 = 10*z - 14*z. Let u be 9 + -11 + 2 + z. Suppose -5*k - 25 + 85 = 0. Solve k = 4*o + 4, u = h - 4*o + 4 for h.
4
Let v = 13 - -12. Suppose 2*g + 10 = 2*z, -2*z + 3 + 12 = -3*g. Suppose k - 3*k + 10 = z. Solve -5*l + v = 5*n, 2*l - l + 13 = k*n for l.
2
Suppose -54 = -4*x - 6. Solve -3*g + g = 0, 4*f + g - x = 0 for f.
3
Let g(l) = 2*l + 5. Let z be g(-6). Let a(c) = 5*c + 4*c + c**2 - 9*c - 1 + 6*c. Let m be a(z). Solve r = 4*n + 3*r - m, 4*r = -4 for n.
2
Suppose -2*i = 0, -7 = -4*n + 4*i - 83. Let s = 24 + n. Suppose -8 = -m - 2*a, 5*m - m + 4*a - 16 = 0. Solve s*l - 3*w = -2*w + 28, 5*w + 15 = m for l.
5
Suppose -1010*a - 18 = -1019*a. Solve -5*w = 3*l + 12, 0*l = -a*l + 3*w - 8 for l.
-4
Suppose 15*b - 2*b - 39 = 0. Let g(p) = -2*p**3 + p. Let t be g(-1). Let x(m) = 27*m**2 + m. Let z be x(t). Solve -k = -4*v - 4, -v = b*v + 5*k + z for v.
-2
Suppose 6*o + 26 + 46 = 0. Let n be 3/o + (-21)/12 + 5. Solve 2*c = -n*f + 3, -c + 0 = -3*f + 3 for f.
1
Let s(m) = 5*m + 3. Let h(w) = -11*w - 6. Let r(t) = -6*h(t) - 13*s(t). Let b be r(3). Solve 3*y - x + 3 - 4 = b, -4*y - 1 = x for y.
0
Let o(f) = f + 25. Let l be o(-12). Let h = l - 13. Solve 2*v - 23 = 4*m - 5, h = 3*m + 3*v - 9 for m.
-2
Suppose 0 = -7*f - 7*f + 42. Suppose 0 = -f*l + l + 4. Solve -5*a - 19 = -3*s + 15, 0 = -l*s - 3*a - 9 for s.
3
Let n(i) = 2*i**2 + i - 6. Let m be n(-2). Solve -2*c - d = -7, m*c + 4*d - 22 = -2*c for c.
1
Suppose 0 = -k - 5 + 13. Suppose q - 3 = 4*q. Let g = 1 - q. Solve 5*y = -4*l + y - k, 1 = -g*l + y for l.
-1
Let a be (4/8)/((-2)/(-20)). Let q = -1 + a. Solve 4*o - m - 3*m = q, -36 = -4*o - 4*m for o.
5
Suppose -2*p = 0, 0*p + 2 = -d + 3*p. Let m be 2 - (3 + d + -1). Solve c + 10 = m*u - c, 14 = 2*u - 3*c for u.
1
Suppose -21*u + 25*u - 80 = 0. Suppose f = 5*g - 7, 5*f - 15 + 2 = g. Solve 2*x - 2*y - u = -f*x, x + 23 = -5*y for x.
2
Suppose -c + 3*b - 3 = b, 6 = -2*c + 3*b. Let s be -3*(-2)/(-6)*c. Let h be ((-2)/6)/((-2)/24). Solve 0 = 2*m - 5*x - 11 - 5, 10 = s*m - h*x for m.
-2
Let k = 10 - 6. Let l(z) = -38*z - 188. Let v be l(-5). Solve 4*q - k = 5*t - 22, 5*t = v*q + 14 for q.
-2
Let r = -17 + 34. Suppose p = -2*o - r, 0 = -2*o - 5*p - 47 + 10. Let c be (16/o)/(6/(-9)). Solve c*k = 4*q, q - 10 = 6*q for k.
-2
Suppose -i = -x + 3, -4*x + 4*i = -7*x + 2. Suppose 2*w - 8 = 3*y, -4*w + 16 = 23*y - 16*y. Solve a = -w*u, x*u = -u + 3*a for u.
0
Let i = -1 + 3. Suppose i*n - 4*n = 80. Let s be (-26)/(-5) + 8/n. Solve -4*t - 37 = -5*a - s, 5*t + 3*a + 3 = 0 for t.
-3
Let q(m) = -2*m + 9. Let z(i) = 3*i + 4. Let k be z(-9). Let j = -20 - k. Let f be q(j). Solve -3*x + d = -5, -3*x + 4 = -5*x - f*d for x.
1
Suppose -2*d - 5*l + 20 = 0, -d - 2 = 4*l - 6. Solve 3*b - 5*t = -22, -4*b - 1 + d = 3*t for b.
1
Let r(c) = c**2 - 8*c - 9. Let o be r(9). Suppose o = -5*g - 6 - 4. Let h be 10*(-1)/g + 1. Solve -3*b - 13 = -h*b - 4*q, 2*q - 5 = -3*b for b.
-1
Let j be ((-1)/4*-2)/((-7)/(-28)). Solve 4*h + j = 2*g + 6*h, -g - 3 = 2*h for g.
5
Suppose 3*o - b = b - 8, -3*b = 5*o - 12. Solve -8 = -4*l + v, o = -l - 0*l + 4*v + 2 for l.
2
Let z be 3/(-9) + (-7)/(-3). Suppose d + 2*d - 14 = -x, -z*d - x + 11 = 0. Solve -2*a - 10 = -4*q, -3*a + d*q - 10 = -a for a.
-5
Let r = -14 + 16. Suppose -r*q = q. Suppose 3*f + 20 = 8*f. Solve -l + 4 = -f*s - q*l, 2*l = 2*s + 2 for s.
-1
Let r(y) = -13 - 3*y + 16 - 4. Let k be r(-1). Solve -2*a - 2*j = -4, k*a - 2*j - 22 = -6 for a.
5
Let j = -72 - -56. Let l = j - -20. Solve 4*y - 10 = l*g - 34, -2*y - 21 = -5*g for y.
-3
Let o be 4 + -6 - (-13 - -3). Solve 2*u + o = u - f, 3*f + 14 = -u for u.
-5
Suppose -2*s = -4*s - 0*s. Let k be (1 - 3)/(2/(-4)). Solve 2*t + s - 2 = -k*v, v + 27 = 5*t for v.
-2
Let d(k) = -46*k + 1752. Let s be d(38). Let l = -7 + 15. Solve -s*x - 11 = q, x - 3*q + l*q + 17 = 0 for x.
-2
Let n(i) = i**2 + 9*i + 5. Let p be n(-10). Let k = -15 + p. Solve -4*r + 4 = -4*y, 2*r - 5*r - 5*y + 19 = k for r.
