0
Let y be (-160)/112 + 600/28. Solve 0 = -3*f + s, -22*f - 4*s - 14 = -y*f for f.
-1
Let f(u) = -94*u + 1043. Let t be f(11). Solve 5*i = -2*h + 26, -5*h + 8*h = t for i.
4
Let y = -19 + 32. Suppose 30*g = 8*g + 572. Suppose -11*i = 2*i - g. Solve -i*k + 1 - 3 = -4*u, 3*k - y = -2*u for k.
3
Suppose -4*f = 3*m - 19, -160*m = -156*m - 4*f - 16. Solve 5*y - 4*l = -13 - 12, -4*l - m = y for y.
-5
Suppose 0 = -7*s - 6 + 20 + 7. Solve -4*x - o = -3*x + 1, -2*o - 5 = s*x for x.
-3
Let i(w) = -w**2 + w + 72. Let s be i(9). Let r be s/(-3 + 2 + 2). Solve 0 = 4*d + g + 12, d - g + r*g + 8 = 0 for d.
-4
Let v = 29 - 19. Let m be ((-16)/v)/(3/(-15)). Let o = 4458 - 4458. Solve -16 = -4*d, -4*t + 3*d + o*d = -m for t.
5
Let b = 24228 - 24189. Solve -5*x - b*d = -34*d + 40, -x - 5*d = 20 for x.
-5
Let n = -8207 + 8207. Solve n = -g + 1, 3*x - g + 4*g + 12 = 0 for x.
-5
Suppose 6949*w = 6952*w - 15. Solve 0*v + 4*v - 14 = 2*h, 3*v = w*h for h.
3
Let p(c) = -c**2 + 2*c + 6. Let r be p(-3). Let x be (-20)/6*(6 + r). Let v be (1 - 18/x)*20/(-8). Solve -1 = -q - v*w - 6, -3*q = -5*w - 40 for q.
5
Let y = -31240 - -31262. Solve y = -4*u + 3*g, -u + g - 31 = -24 for u.
-1
Suppose 1390*m - 3043 + 3518 - 7425 = 0. Let l(i) = -i**2 - 5*i + 5. Let q be l(-5). Solve 4*g = -z - q, m*g = 2*z - 7*z + 5 for z.
3
Let o(d) = 2*d**2 + 5*d - 3. Let f be (-2)/6*-5 - (-52)/(-78). Let h be o(f). Solve -2*y + 4 = 5*r, -2*r = -0*y - h*y + 8 for r.
0
Suppose 4*w = 4*m + 4, 0 = -w - 7*m + 12*m - 7. Solve -5*k - w*q - 14 = 0, k = 4*k - 2*q + 16 for k.
-4
Let f be (-136)/(-5) - 15/75. Suppose 28 + f = 11*h. Solve h*v = -3*o + 35, 5*o - 4*v = -2*v + 17 for o.
5
Let z = -348 + 202. Let u = z - -184. Suppose -u*y + 35*y + 12 = 0. Solve 0 = y*k + 5*j - 29, k = -2*k - 2*j + 13 for k.
1
Suppose 290 = 55*f + 39*f - 462. Solve -4*u - 3 = -f*u - 3*v, 5*u + 5*v - 10 = 0 for u.
-3
Let w = -66 + 77. Suppose -w = -4*n + 3*o - 3, 2*o = -3*n + 23. Solve 2*s + 9 = 3*c, c = -n*s - 3*c - 11 for s.
-3
Let i = -257 + 257. Let q(r) = 15*r + 32. Let o be q(i). Solve 4*u - o = -4*m, 0 = m + 4*m - 5*u for m.
4
Let s = -829 - -822. Let k(d) = -22*d - 144. Let t be k(s). Solve -3*x - 6 = 2*m + 9, -5*m + t = -2*x for x.
-5
Suppose 2*i - 900 = -2*i. Let c = 228 - i. Solve 0 = 3*q + u - 15, 4*q + c*u = q + 21 for q.
4
Let f(j) = j**3 - 17*j**2 + 18. Let r be f(17). Suppose -3*c + 20 = 2*c. Let p(a) = 2*a + 3. Let w be p(1). Solve -c*m = -6*l + l + 3, -r = -l - w*m for l.
3
Let v be (-7)/42 + (-114)/(-36). Solve 12 = -4*c - v*m, 5*c = 2*c - m - 4 for c.
0
Let k be (-536)/(-30) - 10/(-75). Suppose 16*c + 24 = k*c. Solve -5*y - 4*a + 9*a = 15, 4*y + 5*a + c = 0 for y.
-3
Let h(a) = -1123*a + 4497. Let f be h(4). Solve 3*n + 5*j - 33 = -16, n = j - f for n.
-1
Suppose 3*i - 248 = -239. Let z = -2 - -4. Solve k - 19 = 5*v, -9 = -z*k + i*v + 1 for k.
-1
Let f(y) = -y**3 + 39*y**2 + 9*y - 346. Let m be f(39). Solve 130 - 107 = 3*o - 2*q, -3*q - 36 = -m*o for o.
3
Suppose 4*h + 10 = 3*o, -17 = -5*o - h - 8. Suppose -7 = -w + l, -3*l = -5 + 20. Solve -3*g - o*p = -w, 0*g - p - 17 = -3*g for g.
4
Suppose -3*u = -z - 168, 5*u - 304 = 44*z - 45*z. Solve -5*y = 3*r - 5, -3*y - 55*r + u*r + 3 = 0 for y.
1
Let f = 114 - 283. Let v = -163 - f. Solve 4*u = -j + 6*j + 6, 0 = j + u - v for j.
2
Let a be (1348/14 - 3) + 112/(-392). Solve 4 = 3*w + 4*q, -87 = -3*q - a for w.
4
Suppose 5 = 8*v - 11. Let z(i) = -v + 22*i - 20*i + 21. Let a be z(-8). Solve -2*r + 1 = r + p, a*p = -r + 3 for r.
0
Let x = -16337 - -16342. Solve 2*k - 32 = 4*u - 16, -4*u - 10 = -x*k for k.
-2
Let x = 2894 - 2889. Solve k = -3*t - 8, k - 3*t - 3 + x = 0 for k.
-5
Suppose 0 = -5*n - 3*f + 6, 0 = -4*n + 4*f + 24 - 0. Suppose -4*k = -4*j - 20, -j = -0*j + n*k - 15. Solve 3*y - 4*d = -3, -3*y + j*y + 2*d + 3 = 0 for y.
3
Let k = 64 - -21. Let f = k + -80. Solve 5*s = -0*s - w - 15, s - f*w + 3 = 0 for s.
-3
Let h = -10177 - -10179. Solve h*s + 15 = -m, -23*s + 22*s = 4*m + 25 for m.
-5
Let t = 4547 - 4511. Solve 3*j + 3*n + 3 = 0, 4 = -2*j + t*n - 40*n for j.
0
Let m(s) = -3*s**3 - 40*s**2 + 73*s - 9. Let q be m(-15). Solve 4*a - 2*g - 14 = 0, 5*a + 5*g = 19 + q for a.
5
Suppose -5*p - 210*w + 214*w + 211 = 0, -2*p + 2*w = -84. Solve -2*n + 2 = 2*f, -48*f - 5 = -p*f for n.
2
Suppose -5*k = s + 16, 5*s + 2*k + 128 = k. Let a = -26 - s. Suppose -4*g + 4 = -4. Solve -2*i + 2 = a, q + 7*i - 2*i = g for q.
-3
Suppose -20017 + 19960 = -19*b. Solve b*c = 6, n + 4 = 59*c - 58*c for n.
-2
Let w = 6684 - 6679. Solve 4*i - 4 + 22 = -2*g, 0 = 3*g + w*i + 24 for g.
-3
Suppose -3*s = -2*n - 635, 3*n + 1061 = 5*s + n. Let f = 218 - s. Solve -h = 4*b + 4*h + 41, 0 = f*b + 4*h + 40 for b.
-4
Let t be 26/4 - 39/26. Let r(v) = 4*v**3 + 233*v - 218*v + 2 + 13*v**2 - t*v**3. Let n be r(14). Solve 3*w - 6*w + p - n = 0, -4*w = 4*p for w.
-4
Let f = 78 + -80. Let m be -13*(2 - 8) + f/2. Suppose 2*x - m + 63 = 0. Solve -s + 3*y - 2*y = -x, -1 = s + y for s.
3
Suppose -6 + 20 = h + 2*q, 0 = -q + 1. Let c be (-15)/h*2*(-16)/10. Let n = 8 + -8. Solve 21 = 2*g + 5*o, n = c*g - 0*g + o - 15 for g.
3
Suppose -2701 - 9149 - 5559 = -829*b. Solve 7 = -4*t + 27, -2*p + 3*t = b for p.
-3
Suppose -5*k = -2*k - 18. Let v be ((-136)/18)/2 - k/27. Let i(o) = -o**3 - 3*o**2 - o - 6. Let u be i(v). Solve -g - 6 = f, f + f + u = -3*g for g.
-2
Let z = -30756 + 30798. Solve f = -5*p - 3, 5*p = -2*f - 43 + z for f.
2
Let u be 1/2 - (-5 + (-42)/(-12)). Let o be (1/(1 - u))/(3/(-12)). Solve -3*m - 5*h = 2*m - 10, -3*h + 27 = -o*m for m.
-3
Let s be -3 - (-15 + 8 - -2). Solve 0 = -4*i - 8, s*i + 5 - 16 = 3*v for v.
-5
Let f(r) = r + 8. Let c be f(-5). Suppose 0 = -4*j + c*j + 22. Let x be (3 + (-12)/9)/(20/144). Solve 5*z + 5*d + 23 + j = 0, 2*z - x = 4*d for z.
-4
Let o(x) = x**2 + 7*x - 70. Let r be o(6). Solve a - 20*y - r = -16*y, 4*y = -12 for a.
-4
Let u be 2/(-14) + (-1000)/56. Let a = 20 + u. Suppose 0 = a*b + 2 - 6. Solve b*n - 20 = -4*l, -2*l + 3*l = -3*n + 15 for n.
4
Let p(r) = -r**3 + 3*r**2 + 7*r - 10. Let m be p(4). Suppose -2*k = 2*j - 4*j + m, -2*k + 5*j = -10. Let n = 7 + k. Solve 2 = -5*i - n*w - 15, 3*w = i for i.
-3
Let h(z) = 147*z**2 - z - 2. Let n be h(-1). Let r = n + -141. Let k be 26/10 - 4/(-50)*r. Solve -6*l + k*l - 14 = -2*q, -l - 2 = 2*q for l.
-4
Let b(v) = -v**3 - 58*v**2 - 60*v - 166. Let f be b(-57). Solve 2*s + 2*k = -2*s - 18, f = -k for s.
-2
Let z(g) = -g**3 - 7*g**2 + 2. Let j be z(-7). Suppose 4*m = 4*u - 452, u - 104 = -0*u + 4*m. Let x = -111 + u. Solve -3*q + j = c, c = -x*q + 2*c + 14 for q.
2
Let o = -4686 + 4707. Solve 3*s = -5*t - 10 - 12, -o = 5*t + 4*s for t.
-5
Let g be (-2 + 0)/(2 + 16/(-6)). Solve -10 = -2*l, -4*b + g*l = 4 + 27 for b.
-4
Let u = 1838 - 1834. Solve 2 = 2*t - 5*g, -16 - 6 = u*t + 3*g for t.
-4
Let q(z) = 2*z**2 + 47*z + 70. Let k be q(-22). Suppose -g = -6*g. Let p = g + 10. Solve k*b - 7 = 3*o, -o - 2*b + 1 = -p for o.
3
Suppose -454*i = -329*i - 1125. Solve -2*n - 9 = -3*p, -3*p - n = -5*n - i for p.
3
Let y = 7003 - 6999. Solve 2*u - 17 = 3*b, -y*b - 5*u + 28 = 20 for b.
-3
Let t be 196/10 + (-4)/(-10). Suppose 13*h - 16*h + 84 = 0. Suppose 30*b = h*b + 10. Solve -5*n + t = -b*g, n - g = 2*g + 10 for n.
1
Suppose 0 = 12*x + 2587 + 713. Let n = 278 + x. Solve 0 = -4*q - n*d - 18, -q + 0*d - 11 = 4*d for q.
-3
Suppose 0 = 4*m - f - 3, 0 = -2*f - 12 + 6. Suppose m = -7*n + 7 + 168. Solve 0*l + 4*j + 23 = l, 0 = -5*j - n for l.
3
Let z = -207 - -210. Suppose 4 + 24 = 4*o - 4*a, -3*o + 2*a = -18. Let t be 2/(o/36*z). Solve -5*h + 0*h + 2*d = 27, -4*d - t = 2*h for h.
-5
Let m = 4833 - 4830. Solve 25 = 3*o + 2*a + 2*a, -m*o = -3*a + 3 for o.
3
Suppose 47*a - 100 = -2*u + 42*a, 3*a = 5*u - 219. Solve -p = r - 2, -u*p + 11 = 3*r - 47*p for r.
3
Let u(o) = 12*o - 16*o - 21 + 1. Let g be u(-7). Solve -k = 5*j + 8, -5*k - g - 6 = -j for j.
-1
Suppose 0 = -d + 3*s + 5, 3*d - 2*d + 4*s = -2. Suppose 5*c = 0, -d*m + 9*c - 13*c = -26. Solve z - 2*n = -5, -5*n + 2 + m = -3*z for z.
-5
Suppose 4*u + 5*y = -33, u + 3*y + 0 + 17 = 0. Let g be (10/(-15))/(u - 140/(-75)). Solve 2*k + 20 = 4*r, -2*r + 10 = 3*r + g*k for r.
4
Suppose -364 = -5*q - 2*s, q + 2*s - 68 = 4*s. Let i be q/(-2 - -6) + 0. Solve 2*h + 3*h - 17 = 3*u, -i = -5*h + 2*u for h.
4
Sup