 = u*o, -5*w = 5 for o.
3
Let d be (0 - (-8)/6)*3. Suppose d*o = 7*o. Let q be (-1 - -7) + (-3 - o). Solve -2 + 5 = q*l, 0 = -2*v + 2*l + 4 for v.
3
Let m be (5 + (-2)/2)/((-1)/16). Let i = m - -67. Solve -5*q - 3*s + s - 33 = 0, 0 = -5*q - i*s - 37 for q.
-5
Suppose -248*t = -243*t - 25. Solve -2 = -5*k - 22, 3*y + t*k = -8 for y.
4
Suppose -3*l - 5*r = -20, -2*l - 8 = 5*r - 23. Let y = 77 + -73. Solve -y*t = 2*b + 10, -l*b + 8 = -2*t - 3*b for t.
-3
Let g = -239 - -247. Suppose 0 = 5*y + 3*j - 159, -y - 3*y = 5*j - 122. Let b = y - g. Solve 0*k = -5*k - 25, -4*k = -5*d + b for d.
1
Suppose 0 = t - 18*t + 68. Solve 0 = 5*u - 2*c, 3*u = 6*u - t*c for u.
0
Let g = 0 + -12. Let t = g + 16. Solve 3*r + 19 + 2 = -5*p, -p = t*r + 11 for p.
-3
Let r be (-5)/(2*1/8). Let t be (r/6)/((-2)/(-9)). Let z = t + 25. Solve 13 = -4*j - 5*w, 0 = 5*j + 2*w + 2 + z for j.
-2
Let t = 2 + -4. Let g(l) = 9*l + 3. Let k be g(t). Let v = -13 - k. Solve h - v = 3*f + 2, -4*h = 5*f + 18 for f.
-2
Let g(k) = 2*k - 9. Let c be g(5). Suppose -9 - 31 = -5*m. Suppose 3*d - m = c, 5*s = 2*d + 59. Solve 4*x + 3*t - s = 0, -5*x - t - 2*t + 17 = 0 for x.
4
Let c(y) = 7. Let i be (19 + -1)*20/(-40). Let j(p) = p - 13. Let m(a) = i*c(a) - 4*j(a). Let s be m(-4). Solve -19 = s*q + g, -2*q + 2 = 2*g - 4*g for q.
-3
Let h = 132 - 129. Solve -h*f = -5*s, 2*s - 1 = 2*f + 3 for f.
-5
Let w(i) = -i + 9. Let b(l) = -l**2 + 2*l + 7. Let m be b(4). Let c = 3 - m. Let v be w(c). Solve -3*z - 2*x + 23 = 0, -2*z + 22 = v*x - 2*x for z.
5
Suppose 2*h = 3 + 7. Suppose -18 = -19*n + 17*n. Suppose n + 6 = h*j. Solve 5*g - s + 10 = -0*s, j*g + 5*s = -6 for g.
-2
Let d(m) = -26*m + 368. Let x be d(14). Solve -5*h - 4 = x*u, 5*h + 4 + 12 = -u for h.
-4
Suppose 0 = 5*u - 4*v - 8, -u + 4*u = 4*v. Let x = -25 - -16. Let w be -3*3/x + -1. Solve 3*i + 4 = -4*k - w, 0 = u*i - 2*k - 2 for i.
0
Suppose 0 = 12*b - 17*b. Solve k - 2*u - 1 + 4 = b, k = u for k.
3
Let d = -256 + 265. Solve 5*u - 5*y + 1 = -4, 3*y - d = u for u.
3
Suppose 8 = 5*v - 22. Let h(w) = -w**3 + 11*w**2 - 3*w + 14. Let b be h(11). Let p = 24 + b. Solve g - t = 4, p*g + 4 = v*g - 4*t for g.
4
Suppose -124*d + 24 - 24 = 0. Let n(y) = 2*y**2 - y. Let c be n(-1). Let v be (-1)/(-3) - (-35)/c. Solve -4*g - o = -3*o + 20, -g + 4*o - v = d for g.
-4
Let t be (-2)/((-4)/(-2))*0. Suppose t = -5*z - 0*z + 10, -4*z = -5*i + 17. Solve 5*l + 3 = -d + 2, -l - i = -d for d.
4
Let l be (0/(-2) + -1)*2. Let i be ((-28)/(-98))/(4/84). Let u = i + l. Solve -3*f = f - 2*c - 8, 4 = u*f - 3*c for f.
4
Suppose -2*t + 4 = 2. Let w be (-2)/(t - (-7)/(-5)). Solve o - 8 = -0*o + 3*v, -5*v = w for o.
5
Suppose 19*z + 13 = 18*z. Let p(c) = 2*c + 32. Let f be p(z). Let w be 2/f*3*0. Solve -l + y - 4 = w, 0 = 4*l - 0*l - y + 16 for l.
-4
Let c = -23 - -39. Suppose 0*g - 2*v = -g + 4, 0 = 4*g - 2*v - c. Solve -3*q = -4*q - 5*k - 5, -q - 4*k = g for q.
0
Let v(t) = t**2 - 15*t + 29. Let z be v(13). Suppose 3*u - z*a = u + 8, 3*a - 12 = -3*u. Solve -u*h + o = h - 22, -5*h + 18 = o for h.
4
Suppose -2*x + 198 - 194 = 0. Solve p - x*s + 7*s = -5, 2*p = -2*s + 6 for p.
5
Suppose 9*c - 2*a = 8*c - 5, a = -2*c + 5. Solve -3*n - c = 2, 4*n + 14 = -5*r for r.
-2
Let t(f) = -5*f + 92. Let n be t(12). Solve -5*h - 8 - n = 4*p, -3*h + 3*p = -3 for h.
-4
Let o be (-1)/(-1 - -2)*-4. Suppose -238 + 223 = -5*y. Let c be (-8)/3*18/(-4). Solve 9 = -w - 2*f + y, -w = o*f + c for w.
0
Suppose v - k = 4*k - 15, 3*k = 6. Let s = 10 + v. Solve -x + 25 = -4*r, s = -x + r - 3*r for x.
5
Suppose -2*l + 63 = -5*h, 4*l - 3*h - 57 = 2*l. Solve -4*x = 3*b - l + 2, 12 = 5*x - 4*b for x.
4
Let f be (-13)/(195/(-2)) + 174/45. Solve 0 = -2*j + 4, 0 = n - j + 5 - f for n.
1
Let f(i) = -i - 7. Let w be f(-4). Let b be 16/6 + (-1)/w. Solve 1 = -3*z - v + 8, 0 = -3*z + b*v + 27 for z.
4
Suppose -56 = -12*l + 8*l. Let h be (-4 + 0 + 5)*3. Solve -u - 5*r + 2 = 0, -3*r + l = -h*u + 2*r for u.
-3
Let q be -3*(-2)/30*5. Suppose 0 = -x + q + 2. Suppose 2*v + x*v - 75 = 0. Solve 4*d = 5*o - 3 + 5, 3*o + 3*d = v for o.
2
Let n be 7/(-49) + 108/21. Suppose -j + 3 = -5*c - 5*j, -3*c + 7 = -2*j. Solve 0 = -2*f + p - 1, -5*p = -n*f + c - 6 for f.
0
Let u(l) = 8*l + 13. Let n(m) = 4*m + 7. Let d(f) = 7*n(f) - 4*u(f). Let s be d(-3). Let b be 2/(-6) - (-21)/s. Solve 2*x = 4*i, -4*i + 2 + 6 = b*x for i.
1
Let m = 8 + -17. Let h = m + 14. Let n = 9 + -5. Solve 3*o = n*a - 14, -h*a + 0 + 14 = -2*o for o.
-2
Suppose 20 = 3*f + 20. Suppose f = -7*r + 11*r - 108. Solve 4*w - 2*d + 14 = 0, -3 + r = w + 5*d for w.
-1
Suppose 12 = -2*f - 4*q, -f - q + 24 = -5*q. Solve f*t = -4*b, -3*b + 3*t + 18 = -12 for b.
5
Let c be ((-52)/6)/(-1 + 35/45). Let f be c/18 + 3/(-18). Solve 0 = 3*m - f*m - 2*y, 0 = -3*m - 2*y for m.
0
Let m be 6 + 2 - (43 + -39). Solve -3*j - 3 = -7*j + 5*b, 0 = -m*j + 4*b for j.
-3
Let k(i) = -i**3 + 4*i**2 - 2. Let y = -5 - -8. Let b be k(y). Let a(w) = -w - 13. Let t be a(-14). Solve s - 5*g = -b, 0 = 4*s + 3*g - t + 6 for s.
-2
Let w(y) = -y - 2. Let q be w(5). Let s(r) = -r + 16. Let b be s(3). Let d = q + b. Solve -d*x + 2*x = -l - 5, -5*l - 5*x + 25 = 0 for l.
3
Suppose 0 = -i - 4*i + 15. Suppose -i*r + 12 = s, -2*s = -0*r + 3*r - 27. Suppose -8 = b - 3*b. Solve b*h + 4*t + 24 = 0, -2*h = t + 2*t + s for h.
-3
Suppose 79 = -2*v + 109. Solve -4*k - k + 5*d = -v, 3*k + d + 11 = 0 for k.
-2
Suppose d - 22 = -3. Let m(o) = -o - 7. Let t be m(5). Let z be (-1)/(-6) - 22/t. Solve 0 = z*h + 4*y + 20, 0*y + 5*y = -h - d for h.
-4
Let f = 23 - 19. Suppose 0*x = -f*x + 20. Solve -x*w = -q - 29, -5 = 2*w - 3*q - 27 for w.
5
Let r(w) = w**3 + 6*w**2 - w - 10. Let o be r(-5). Suppose -3*t - o - 49 = 0. Let u = 26 + t. Solve -7 - u = 2*a + 4*i, 5*a = -i - 25 for a.
-5
Let z be ((-8)/12)/((-2)/15). Let k be ((-28)/14)/((-2)/1). Solve 4*o + z*i = 3*i - 10, -k = o - i for o.
-2
Let g be 0/13*((-10)/(-3) - 3). Solve -r - o = -g*r, 0 = 5*o - 5 for r.
-1
Let d = 3074 - 3072. Let p = 6 + -4. Solve 5*x + d*s = 3, 7 = -2*x + p*s - 3 for x.
-1
Suppose 13 = -j + 3*u, 0 = 4*u - 16 - 4. Suppose 0 = j*h - 6*h + 8. Suppose -5 = h*t - 13. Solve -2*i = i + 6, t*f + 5*i + 30 = 0 for f.
-5
Let z(x) = -x**2 - 2*x + 3. Let h be z(-2). Suppose h*w + 1 + 2 = q, 3*w = 0. Suppose 7 = -2*d + q*d. Solve -3*p - 3 = -r, -3*p + 4 = -d*p for r.
0
Let a(s) = 3 - 17*s**2 - 24*s**2 - s**3 + 2 + 46*s**2. Let l be a(5). Solve -4*h + 6 = l*x - 19, 0 = 3*h + 4*x - 20 for h.
0
Let d be (1 - 1)/(-17 + 16). Solve d = 2*i - 2*k - 2, 0 + 14 = -i - 4*k for i.
-2
Let c = -645 - -649. Solve x + c*n = -19, x - 5*n - 5 = -3*n for x.
-3
Let v = -206 + 210. Solve -3*i + v = -o, 5*o - 2*o - 6 = 3*i for o.
5
Let y be (-19 - -20)*(10 + 3). Solve 2*p + y = -8*r + 3*r, 2 = 2*r - p for r.
-1
Let b = 26 + -18. Let f be 10/b + 1/(-4). Suppose 7*y = -2*t + 3*y - 8, 4*t + 3*y + f = 0. Solve 0 = 2*o + t, -o - 42 = -5*a - 16 for a.
5
Let b(r) = -2*r**3 + 24*r**2 - 24*r + 26. Let q be b(11). Solve -o + q*m - 15 = 0, 5*m = -8 + 28 for o.
1
Suppose -2*v = -d - 36, -2*d + 14 = 2*v - 22. Suppose -n = n - v. Suppose -4*j - 55 = -n*j. Solve 3*m = 2*m - 4*c - 7, -5*m + 3*c = -j for m.
1
Suppose -n = -0 - 3. Let q(s) = -s**3 - 7*s**2 + 6*s - 12. Let z be 84/(-10) + 4/10. Let x be q(z). Solve 0*j = j - 2, -2 = -x*r + n*j for r.
2
Let k(a) = 34*a - 1. Let o be k(-1). Let f = o - -39. Solve 2*m - 4*m + 5*c = 14, 4*m + 2*c = -f for m.
-2
Suppose 5*u - 4*q + 17 - 45 = 0, 3*u - 3*q - 18 = 0. Suppose 0 = 3*s + 5*m + 4, -2*s = -5*m - 222 + 208. Solve n = 2*t + 4, -u*t = -s*t + n for t.
-1
Let x be (-100)/(-250) + (-63)/(-5). Solve 5*o - 4*k + x = 0, 5*o - 3*k + 11 + 0 = 0 for o.
-1
Let t be 3/3*2 - -5. Suppose -t*q + 41 = 6. Suppose 0*z - 3*z = 0. Solve 3*h + 3 = -z*h - 2*f, q = -5*h - 4*f for h.
-1
Suppose -k + 3*x + 17 = 0, x = -2*k + 5*k - 27. Solve k*b - 5*b + l + 19 = 0, -17 = b + 3*l for b.
-5
Suppose -2*s + 4 + 2 = a, 3*a = -3*s + 9. Suppose 65 = 3*c + 2*g - 51, a = 3*g + 6. Let o be c/36*-6*-3. Solve -o = 5*p, 0 = 3*i - p - p - 5 for i.
-1
Suppose q - 4 = -2*r, 13*q - 10*q - 2*r + 4 = 0. Solve q = -2*k + i - 15, 12 - 37 = -5*i for k.
-5
Suppose 961*z + 54 = 970*z. Solve 4*l - 3 = z*l + c, 0 = 5*c - 25 for l.
-4
Let o be (-208)/260*5/(-2). Solve -o*d = 5*q + 6, -6*d + 8*d + 3*q + 2 =