-5*l = 15 for m.
5
Suppose -12*n - n + 52 = 0. Solve -v + 2*w + 15 = -3*w, 0 = 4*v - n*w - 12 for v.
0
Suppose 2*b + 21 - 29 = 0. Suppose -7 = -b*y + g, 5*y + g = -2*g + 13. Solve -y*t = -i - 2, 5*t = -i - 4 + 9 for i.
0
Let g = 24 - 5. Suppose -5*i - 2*o + 118 = 0, -i - 6*o = -o - 42. Let z = i - g. Solve -2*q - z*p = -4, 4*q + 2*p = -4 - 4 for q.
-4
Suppose -9*p - 36 = -3*z, -5*z + 29*p - 20 = 34*p. Let r be 46/10 + 4/10. Solve -v - 7 = r*n, z = -v + 4*v - 3*n - 15 for v.
3
Let x = -44 + 39. Let u be 0 - -5 - (x + 1). Suppose 4*c - u = c. Solve 3 = c*t, 2*t - 5 = l - 0*l for l.
-3
Let h = 6683 + -6672. Let p be 23/7 + (-2)/7. Solve -p*k = -5*b - h, -7*b = -2*b - 2*k + 9 for b.
-1
Let x(d) = 2*d**2 + 8*d + 4. Let j be x(-6). Suppose 0 = 2*c + w, 0 = -2*c + 5*w + j - 4. Solve -c*k + 2*f + 8 = 0, -3*k - 2*k + 4*f = -18 for k.
2
Let u(f) = -67*f. Let x be u(0). Solve 3*t = 3*b - 18, -5*t - 3 - 12 = x for b.
3
Let l be ((-4)/10)/(28/(-140)). Let w(u) = -u**2 + 3. Let o be w(0). Suppose -y + o*y = 12. Solve l*i + 14 = y*s - 3*s, i + 5*s = 6 for i.
-4
Let l be (2/4)/(10073/(-560) - -18). Solve -5 = -45*q + l*q - 4*t, -t = 5 for q.
5
Let x = 315 + -312. Solve -2*l - 8 = -a - 0, 13 = a - x*l for a.
-2
Suppose 2*j = 3*m + 14, -25*j - 3*m - 10 = -23*j. Solve 5*t = -2*q - 25, -j + 6 = -3*q - t for q.
0
Let i be (-5)/((-10)/18) + 0/3. Let p be (-4 + 33/i)*-6. Solve -2*g + 3*g = h - 3, -h + 7 = -p*g for g.
-4
Suppose 3*x = -1 + 4. Suppose 0 = 5*o - 7 - 13. Suppose -2*n = 2 - 8. Solve 0 = 3*h - d - 4, o*h + n*d - 13 = x for h.
2
Let v be ((-132)/(-198))/((-2)/(-12)). Let l = -26 - -36. Suppose -l = 2*n - v*n. Solve -x = -w - 0 - 3, -3*x + n*w + 15 = 0 for x.
0
Let k(b) = -b**3 + 16*b**2 + 18*b + 9. Let t be k(17). Suppose 34 = 3*w - 5*q, -5*w - 3*q + 76 + t = 0. Solve 5*u = 4*i - w, -2*u - 12 = -3*i - i for i.
2
Suppose -11*a + 10 = -9*a. Suppose 0 = -n - a*n + 12. Solve 4*p - n*c + 3*c - 5 = 0, -5*p - c = -5 for p.
0
Let z = 1180 - 1164. Suppose -40 = -2*r - 3*r. Solve -4*k + r = -2*n, 3*n + z = -n + 3*k for n.
-4
Let d be 6/(-15) - (-36)/15. Suppose s + 2*g + 2 = -2, 5*s - d*g - 4 = 0. Suppose 7*t - 2*t - 10 = s. Solve -5*y - t = 3*c + 2, -2*c = -y - 6 for c.
2
Let h(t) = t**2 - t - 235. Let l be h(16). Solve l - 3 = b - z, 10 = -b - 5*z for b.
0
Let a be ((-2)/(6 - 2))/((-10)/100). Solve 0 = k - 0*r - a*r + 20, -5 = 2*k - 3*r for k.
5
Let m(g) = g**3 - g**2. Let n be m(0). Suppose t - c = -n*c + 23, -3*t + 66 = -2*c. Let p = t - 20. Solve 5*y + 20 = p, -4*y - 11 = 2*q + 11 for q.
-3
Let t be (-1 - -3)*(-3)/6. Let l be (-73)/(-3) - t/(-3). Let o = l - 20. Solve 0 = -r - w - 3, 2*r - 3*w - 10 = o for r.
1
Let z(f) = -18*f + f**3 - 1 + 9 - 7*f**2 + 8*f. Let t be z(8). Let v be (6/(-4))/(6/t). Solve -9 = -3*s - 3*j, -5*s = -j + v*j - 7 for s.
1
Suppose -5*z = 4*g - 6, 0 = -3*z - 2*g + g + 5. Suppose 5*l = -f + 3*f - 52, z*f - 2*l = 40. Suppose 5*d - d = f. Solve 4 = 2*s, -d*s = 3*y - 6*s + 1 for y.
1
Let a = -8 + 12. Let o = 611 - 606. Solve 4*k + 3 = -4*u + 27, o*k - a*u = -15 for k.
1
Suppose 8*v + 333 = 365. Solve -4*x - 3*b + 12 = 0, -3*x - v = -2*b - 13 for x.
3
Suppose 50*v - 19 = 49*v. Let h(w) = 13*w - 13*w - 5*w**2 + w**3 + 5. Let q be h(5). Solve -q*x - v = 3*k - 0*k, -3*k = -4*x - 26 for k.
2
Let j be 1956/815 + -1*3/(-5). Let o = -1 - -4. Solve -b + w + j = 0, b + o*w = -w - 17 for b.
-1
Let j = -24 + 11. Let s = -10 - j. Solve 0 = -i + s*u - 2 + 13, 0 = 5*i - 4*u - 11 for i.
-1
Let j(v) = -v**3 + 5*v**2 + v - 3. Let b be j(5). Suppose y - p - 10 = 0, 4*p - 135 = -3*y - 140. Solve 5*u = -b*m + 23, -u - 21 = -y*u + m for u.
5
Let w(v) = -v + 1. Let y be w(-8). Let c be (10/20)/((-2)/(-4)). Let x be 0 - 2 - (-4)/c. Solve 0 = 3*p + 5*d + y, x*p + 2*p = 3*d - 12 for p.
-3
Suppose 50*a = 47*a + 237. Let s = a - 76. Solve 5*m - 6*m + s = 0, c = 5*m - 19 for c.
-4
Let z(o) = -o**3 + 4*o**2 + 5*o - 5. Let c be z(-2). Solve c = -2*m + t, -t - 6 = -2*m + 3*m for m.
-5
Suppose 0*v + 30 = -5*v. Let a be v*2*(-2)/8. Suppose 5*g - a*c = -5*c + 6, 0 = -4*g - 3*c + 9. Solve 4*t - 6 = 3*q, 5*t + 4*q = -g*t - 8 for t.
0
Let f be 36 + 8 - 12/(-3). Let o be 8/f - (-34)/12. Solve -5*j = -2*d + 19, 0 = -o*d + 5*d + 2*j + 16 for d.
-3
Let x be (-2)/(-16) - (84/(-96) + -11). Solve 2*j - 3*d + 5 = 0, -4*j + 6*d - x = 2*d for j.
-4
Suppose -4*i = -20, -12 + 36 = 2*l + 4*i. Suppose -3 = -o + f, l*o - f + 1 - 9 = 0. Solve 0 = 3*n - u, -n - 5 = o*u - 21 for n.
1
Let w be 27 - (5 - -3)/(-2). Let m = 28 - w. Let g be ((-2)/3)/(m/9). Solve 0 = -4*z - 3*b + 3, 2*z - b - g*b = -3 for z.
0
Suppose -3*v - 4*x = -18, 2*v = 7*v + 4*x - 22. Solve 4*d - 6 = 2*d + u, -v*u - 6 = -2*d for d.
3
Let x(q) = -q - 3 + 2*q - 3*q + q. Let z be x(-5). Suppose 4*y - 13 = 7. Solve -2*l = z*c - 6*c + 10, -y*l = -5*c for l.
5
Let f(q) = 1. Let w(p) = p - 4. Let k(c) = 6*f(c) + w(c). Let g be k(3). Solve 4*y + o = g, 4*y + 4*o = -y + 20 for y.
0
Suppose -7*y + 15 - 1 = 0. Solve 0 = -5*r, v - 2*r = y*r for v.
0
Suppose 2*l - 7 = -3*d, -2*d = -6*d + 4. Suppose 3*s - 4*o + 17 = 0, -l*s + 3*s + 24 = 5*o. Solve -2 = 3*h - 2*f, -4*h + 4*f + s = 5 for h.
0
Let i = 5 - 6. Let b = i + -8. Let f(y) = -y**3 - 8*y**2 + 9*y + 5. Let o be f(b). Solve 4*j = -o*z - 5 + 35, -j - 4*z + 13 = 0 for j.
5
Suppose 4*m = -2*d + 10, -4*m + 3*d + 12 = -m. Solve m*n + 4*c - 10 = -0, 2*c - 18 = 5*n for n.
-2
Suppose -8*s + 4 = -4*s, -o + 4*s - 19 = 0. Let d(k) = -k - 7. Let f be d(o). Solve -4*l - 24 = -2*c, -28 = 4*c - f*c + 4*l for c.
2
Suppose -10*v - 35 = -5*q - 6*v, -q - 12 = 3*v. Solve -4*j = -q*g - 9, -2*g - g + j - 9 = 0 for g.
-3
Let f(z) = -z + 8. Let j be f(3). Suppose j*l + 5 = 5*o, 2*o = l + 3*l. Solve 4*c + 5*n + l = 6, -n = -2*c - 1 for c.
0
Suppose y = 6*y. Suppose 4*i = -2*a + 18, -2087*i - 3*a + 6 = -2088*i. Solve -4*c + 4*d = -28, -4*c - d = -i - y for c.
2
Let y = 323 - 320. Solve 11 = 3*z + 5*g, y*g + 4 = 4*z - g for z.
2
Let i be (-1 + -2)/(9/6). Let m be (2 - 2) + (-4)/i. Let g = -19 - -29. Solve -5*y + 27 = 2*j, j + m*y - g = 1 for j.
1
Let s be 9/(-3)*(-118)/6. Suppose -6*x - 17 = -s. Solve -m - x = -3*u, 4*u - m + 4*m = -8 for u.
1
Let w = -76 + 81. Suppose 0 = -4*m - 4*d - 12, -8 = -w*m + 3*d + 1. Solve v - 14 = 5*l - 4, 4*v + 4*l + 32 = m for v.
-5
Let q be 4/12*-1*(5 + -2). Let y be (q*(-8)/4)/1. Let l be (-2)/5 + (-54)/(-10). Solve -35 = -y*u + 5*r - 8, -5 = l*u + 2*r for u.
1
Let x(o) = o**3 + 16*o**2 + 27*o - 14. Let k be x(-14). Solve 3*d - 6 = k, -3*d - 4 + 0 = 2*n for n.
-5
Let n(h) = -2*h**3. Let d be n(-1). Suppose 0 = c + d*c. Solve 5*s - 3*v + 13 = c, -2*s + 4*s = v - 5 for s.
-2
Let q(h) = -43*h - 75. Let r be q(-2). Suppose 0*x + 12 = 4*x. Solve 3*z - x = 5*d + r, -3*d = z for d.
-1
Suppose 3*l + a = -130, -210 = 5*l - 2*a + 5*a. Let r be 1*((-54)/l)/((-4)/(-10)). Suppose 0 = -2*m + 9 - 3. Solve m*d + 2*h = 25, h - 2 = r for d.
5
Let x be 4 + 10 + -5 - 5. Solve -3*w = -5*b + 6, -7*b = 2*w - x*b + 4 for w.
-2
Let b be 11 + 374/(-33) + 13/3. Solve -b*n = -5*r - 15, -n - 12 = 2*n + 4*r for n.
0
Let c(h) = -2*h + 12. Let k be c(5). Let x(y) = 2*y + 1. Let a be x(k). Suppose 83 = a*m - 52. Solve 5*s + j = m, -j - 8 = -5*s + 3*s for s.
5
Let d(k) = -k**2 - k + 3. Let s be d(0). Let v = -630 + 632. Solve -v*h + 8 = 0, -3*x + s*h = -h + 16 for x.
0
Let p(v) = -v**2 + 33*v - 17. Let q be p(32). Solve -3*f + d - q = -2*d, 3*d = f + 7 for f.
-4
Let p = -429 - -434. Solve 0 = 2*a + 2*t - 6, 2*a + p*t + 1 = a for a.
4
Suppose 0 = 350*t - 345*t - 20. Let u = 1 + 7. Solve 4*c - 3*g + 20 = 0, -t*g - u = 4*c + 12 for c.
-5
Suppose -3*n + 1 = -3*t - 14, 2 = -t. Solve -s - 5*v + 14 = 0, 0 = 3*s - n*v + 2*v + 6 for s.
-1
Suppose 2*q = -5*w - 22 + 45, 2 = w + 3*q. Solve -2*n - k = 5, -5*n - w = k - 0*k for n.
0
Suppose -49 - 3 = -4*o. Suppose -756 = -29*y - 55*y. Solve -r - 4*v + o = 0, -5*v + y = 3*r - 3*v for r.
1
Let k(c) = 5*c + 60. Let i be k(-12). Solve i = -2*r - 5*w + 25, -3*w - 9 = -4*r + 2 for r.
5
Suppose 0 = 6*g - 15*g + 45. Solve -g*z + 3*z - 4*l = 4, 4*z + 8 = -l for z.
-2
Suppose -13*z + 75 = 2*z. Solve -3*w + 2*k = -z*w, -4 = k for w.
4
Let s = 0 - -7. Let g = 4 - s. Let n be g - ((1 - 2) + -12). Solve -3*w - 9 = 0, -4*b - 4*w = 2 + n for b.
0
Let m(n) = 2*n. Let t be m(2). Suppose y + 1