 + 6 = p*j for m.
3
Let u = 13 - 11. Suppose -3*w + 19 = -4*i - 8, -19 = -u*w + 3*i. Let z be ((-25)/(-20))/(2/8). Solve w*m = m - 3*a + 23, -z*m = a - 15 for m.
2
Let f be 186/(-496) - (-54)/16. Solve -f*r - 3*m = 0, -21*m - 6 = 2*r - 17*m for r.
3
Let r = 53 - 43. Suppose 6*m - m - r = 0. Solve -2*s + 3*s = -m, -3*o - 5*s - 4 = 0 for o.
2
Suppose 23 = 3*o - 4*b, 2*o = -2*b + 7 - 1. Solve 0*j + 14 = o*u + 4*j, -3*j - 7 = -5*u for u.
2
Let c be (-1)/(-3) - 300/9. Let l = -17 - c. Suppose 0 = l*p - 18*p. Solve -h - o + 3 = p, -5*h - 30 = -3*o - o for h.
-2
Suppose -20 = 3*w - 62. Let z = w - 11. Solve -i = -2*i - 5*d + 15, i - z*d = -1 for i.
5
Let g be 8/(-2*1/(-1)). Let c be 6/21 - (-32)/(-112). Solve -6*i = -i - s - 10, -g*s = c for i.
2
Let i = 97 - 151. Let t = i + 56. Solve -t*o + 3 = k - 2, -2*k = -4*o + 6 for k.
1
Let y(h) = -3*h + 20. Let b be y(6). Suppose -18 = -4*i + b*m, -4*i - 5*m + 6 = -3*m. Solve i*a - 22 = -2*c, 0 = 4*a - 2*a - 2*c + 2 for a.
4
Suppose -2*c = -3*c - 5*i + 24, 2*i = -c + 12. Let r(j) = -j**2 + 9*j - 3. Let p be r(8). Solve p*l = 3*l - d, 0 = -c*l + 2*d for l.
0
Let n be (2/(-6))/((-18)/270). Solve -q + 0*c + 5 = -3*c, -3*q - c = -n for q.
2
Let r = 129 + -127. Let u be (10/5)/(4/10). Solve r*p = 5*w - 12, -2*w + 7*w - u*p = 0 for w.
4
Suppose -2*q + 6*q + m = 9, -3*q - 5*m = -28. Let o be q/(-5) + (-453)/(-15). Suppose 3*k + 3*k = o. Solve 16 = 4*g - 0*g, -g + 29 = k*r for r.
5
Let s(z) = z**3 - 4*z**2 + 2*z - 5. Suppose -2*b - 11 = -19. Let d be s(b). Suppose 0 = 3*v - d - 24. Solve 0 = -l - h - v, l - 18 = 4*h - 2 for l.
-4
Let s = -25 - -25. Let k be -3*1*(-6)/6. Suppose -k*f + 14 - 5 = s. Solve z = f*w + 10, 2*z = 5*w - 0*z + 17 for w.
-3
Suppose 13 = -5*k + 48. Suppose -5 = -4*q + k. Let p be (9/(q - 6))/(-1). Solve 4*y - 11 = p*i, 2*i - 5*y = -2*y - 8 for i.
-1
Let z(i) = -146*i + 148*i - 4 + 16. Let d be z(-5). Solve q + 4*j = -d*q - 2, 2*q + j + 3 = 0 for q.
-2
Let m(g) = 4*g + 50. Let p be m(-12). Solve -2*i - 3*q - 23 = 0, 5*i = 5*q + p + 3 for i.
-4
Let k be 1*(-1 - (-5 + 3)). Let h = 1 - k. Suppose 25 = 5*g - h. Solve d + 5*m + 29 = g*d, 5*m + 25 = 0 for d.
1
Suppose 0 = 3*b + 6, 0 = -3*h + b + 5 + 3. Solve 2*j + j - 4*l = 1, -j + h*l + 1 = 0 for j.
-1
Suppose -494*y - 28 = -501*y. Solve 4*o + 8 = 4*u, 0 = y*o + u - 3*u + 10 for o.
-3
Suppose -41*t + 595 + 20 = 0. Suppose -4*j = -8, 3*g - 4*g = 3*j - 21. Solve 0 = -5*h + p + g, p - t = -2*p for h.
4
Let l = 2 + 1. Let h(y) = -l + y + 0*y - 4 + 0*y. Let v be h(9). Solve -w + 5*i - 17 + v = 0, -w - i = -3 for w.
0
Suppose -4*g = -2*i + 82, 37 - 6 = -2*g + 3*i. Let k = 26 + g. Suppose -2*d = -u + d + 10, 5*u + d = 18. Solve -u*y = -k*y, 2*n = -4*y - 6 for n.
-3
Suppose -2*q + 6 = 8. Let z = q + -1. Let h be ((-15)/(-6))/((-1)/z). Solve h*d = -3*u + 2*d, -4*u - d = 0 for u.
0
Suppose -3*p + 25 = 13. Solve 2*h = -3*d + 4, -5*d + 2*h = p*h for d.
-2
Let g be (5/(-75)*-15)/(2/8). Solve -2*w = 4*u + 10, -g*w - 7*u + 4*u = -5 for w.
5
Let l(a) = 2*a - 8. Suppose 11 + 19 = 5*i. Let m be l(i). Suppose 1 - 5 = -m*b. Solve -5*u + 3*o - 9 = 0, -o = 5*u - b - 2 for u.
0
Suppose -9*m + 110 = 13*m. Suppose -8 - 7 = -3*b. Solve -m*k = i - 5, -b*k - 3*i + i = -5 for k.
1
Suppose 0 = 5*v + 10, 3*v + 36 = 4*p + 5*v. Let t be p/(-20)*0/(-1). Solve 0 = -2*r - 2*j - 8, t = 5*j - 7*j for r.
-4
Let v = -29 + 6. Suppose 2*t + 0*z - 2*z = 52, -108 = -4*t + 2*z. Let d = v + t. Solve 0 = 2*u + u + 3, 3*u + 8 = d*g for g.
1
Suppose r = -4, -4*d + 2*r + 3 = -9. Suppose 7 = 5*b - 3. Let k be d + 1*b/2. Solve -k*h = 2*u - 3*u + 11, 0 = 3*h + 5*u + 10 for h.
-5
Let w = 52 + -23. Let n be (-138)/(-92) + (-1)/4*-14. Solve 4*x - 19 = 3*b, -n*b = -2*x - 2*x + w for b.
-5
Suppose 0 = t - 3*f - 61, 4*f - 204 + 47 = -3*t. Suppose 0 = -3*s + 8*s - t. Solve 3*w = j - 0*j + s, w + 13 = -3*j for w.
2
Let c be (-3)/(-12) + 1/(-4). Solve -2*t - k - 12 = c, 2*k = 2*t + t + 11 for t.
-5
Suppose -3*o + 0*o = 72. Let k be (-4)/(-3) + o/(-36). Solve -m = -3*t - 1, -k*m + 5*t - 3 = -5 for m.
1
Let u = 739 + -739. Solve 30 = -2*f + 4*k, 0 = -4*f - 4*k - u*k for f.
-5
Suppose -56*h = -60 - 52. Solve h*l + 14 = 4*y, 2*y - 5*l - 17 = y for y.
2
Suppose 4*s + z - 8 = 4*z, 3*z - 12 = 0. Let h(q) = -q**2 + 12*q - 10. Let w be h(s). Solve 5*m - 16 = -7*x + 3*x, -5*x + 5*m - w = 0 for x.
-1
Suppose -23*s + 30 = -17*s. Solve -o = 2*o - s*z - 15, -10 = -2*o + 4*z for o.
5
Let h be (-6 + 150/24)/((-2)/(-40)). Solve -2*f - 5 = -h*b, 0*f - 5 = -5*b + 3*f for b.
1
Suppose 5*g - 8*g = -3. Solve g + 0 = 4*z + q, 2*z - 11 = 3*q for z.
1
Suppose -125 = -13*a + 31. Solve 5*z - 20 = 2*l, -5*l - 39 = -z - a for l.
-5
Let g be (247/(-52))/(2/(-8)). Solve 0 = -3*v - 4*z + g, -v - 5*z = v - 22 for v.
1
Let g be 12/18 + (-19)/(-3) + -2. Solve -p = g*a + 15, 3*a + 32 = 3*p + p for a.
-4
Let w = 711 + -711. Solve 0 = -4*o - 2*z, -4*o = z - w + 4 for o.
-2
Suppose 108*g + 98*g - 195*g = 44. Suppose 0 = 3*p + 5*d + 23, 2*p - 3*d = 2*d + 18. Let u be (-5)/(-3) + p/(-3). Solve 0 = g*j, -3 = -y - u*y + 3*j for y.
1
Let w be -4*10/4 + 42. Solve b - 3*d - 18 = -b, -5*d = -4*b + w for b.
3
Let r be -3*6/153 - 265/(-85). Let c = 2 + 1. Suppose -2*i + 7 = c. Solve i*y = -r*d - 8, d + 0 = -y - 2 for d.
-4
Let m be 2/((-1)/13*-2). Suppose 3*j - 3 - 12 = 0. Let c(x) = x**3 - 79*x**2 + 153*x + 80. Let r be c(77). Solve -r*t - t = 2*n + 12, 3*n + j*t = -m for n.
4
Let j be -7 - (3 + -5)*16. Solve 5*w = -d + 6*d + j, 11 = 5*w + 2*d for w.
3
Let f be 14/(-4)*-4 + 2. Let h(x) = -x**3 - x**2 + 3*x + 4. Let b be h(-3). Let y = f - b. Solve -y*l + 4*l + 1 = -2*g, 5*l + g + 5 = 0 for l.
-1
Let q = 977 + -942. Solve 5*d - 33 = 4*h, 0 = 5*h - 4*d - d + q for h.
-2
Suppose -5*u + 2 = -13. Suppose 3*b - 2*s = 11, -b - 4*s - 2 = -u*b. Suppose -10 = -4*y - y. Solve -10 = b*m - 5*g, y*m + 2*g = 12 + 4 for m.
3
Let c(o) = 2*o - 7. Let j be c(8). Let m be 2/(-9) + (-60)/(-27). Let f be (-8)/(-3) + m/6. Solve -5*y - 25 = f*i, y = -3*i + 4*y - j for i.
-5
Let z(d) = -2*d**3 + 21*d**2 - 17*d + 74. Let s be z(10). Solve 0 = 5*n - s*p + 15, 2*p + p = 0 for n.
-3
Let i(h) = h**3 + 16*h**2 + 13*h - 27. Let r be i(-15). Solve -3*c + 3 = 4*x, -5 = -r*x + 2*c + 10 for x.
3
Suppose -3*i = -4*l + 24, -5*l = 3*i - 132 + 129. Solve -l*y = g - 1, -5*y - 24 - 1 = -5*g for g.
4
Let b(f) = 3*f**2 - 12*f + 30. Let p(w) = 2*w**2 - 11*w + 30. Let v(k) = 3*b(k) - 4*p(k). Let a be v(-11). Solve -3*r = 0, -10 = 4*t + a*r - 2 for t.
-2
Let g(w) = -w**3 + 13*w**2 - 26*w - 38. Let z be g(10). Solve 3 = -l + 4*l, -s + 6 = z*l for s.
4
Let n(i) = -i**2 + 2*i + 11. Let u be n(6). Let l = u - -11. Let b(t) = -t**3 + 2*t + 1. Let s be b(l). Solve p - 5*p = -5*f + 3, 2*f = -s*p - 12 for f.
-1
Let j be (-7 + 6 - (-6 + 5))/5. Solve -20 + j = 5*x + 2*s, 8 = -2*x + 5*s for x.
-4
Let s be (-13 + 12)/((-1)/(-66)*-2). Let k = -31 + s. Solve 0 = 2*h - k*o + 2, -4*h - 4*o - 23 = h for h.
-3
Let z(b) = b**2 - 10*b + 13. Let o be z(9). Let x be o/3*3*6/8. Solve p - i + 2 = 0, x*p - 5*i + 10 = -p for p.
0
Suppose 5*u = 3*r - r + 58, 4*u + 4*r - 52 = 0. Let i = 23 - 31. Let t = i + u. Solve 0*a - t*a + 24 = -4*p, 3*p + 15 = 2*a for a.
3
Let v(a) = -a**2 - 14*a - 9. Let p be v(-13). Solve 4*i + 13 = -j, -5*j + 2 + 29 = -p*i for j.
3
Suppose 12 = -3*d, 5*d = -f - 2 - 7. Suppose l - 15 = -f. Solve 2 = 2*r, r - 12 = 3*j + l*r for j.
-5
Suppose 5*c + 4 = -1. Let d be c/((-3)/81*1). Let v be (-6)/d + (-2)/(-9). Solve v = -5*n - 2*g + 2 + 5, -1 = 2*n - 3*g for n.
1
Let w(o) = 6*o + 3. Suppose 3*g - 6 = 9. Suppose -5*c = 3*l - 4*c - g, 0 = 2*c + 2. Let r be w(l). Solve 3 = -2*t - 4*x + 19, 5*t - r = -5*x for t.
-2
Let y = 1814 - 1809. Solve 4*r = 4*m + 36, y*m - 4*m + 4*r = 16 for m.
-4
Let u be -2 - (-4 - 139 - 1). Suppose 3*j + 3*w = 99, j + u = 5*j - w. Solve 2*k = -k + 2*s + 6, 0 = 5*k + 5*s - j for k.
4
Let s(y) = y**3 + 2*y - 2. Let u be s(2). Let f(v) = -5*v. Let b be f(1). Let w = b + u. Solve w*l - 3*i = 5, -2*i + 4 = 4*l - 0*l for l.
1
Suppose -95 = -134*z + 39*z. Solve 0 = 5*w - 4*n - z - 1, 0 = -3*n - 9 for w.
-2
Let g(z) = 2*z**2 + 17*z + 10. Let d be g(-8). Suppose 3 - d = j. Suppose -5*u + 6 + 19 = 0. Solve 4*p - 30 = -u*k + j, 4 = p for k.
3
Let s(h) = 4*h + 14. Let z be s(-7). Let n be (-8)/z