i*m = 6 for b.
-2
Let t(g) = 3*g. Let z be t(-3). Let u be 0 - z - (-1)/(-1). Suppose -3*v + 2 - u = 0, -3*c + 9 = -3*v. Solve 3*k + 4*a = 21, -k + 5*a - c - 11 = 0 for k.
3
Let d be ((-36)/(-15))/(1/5). Solve -2*q - 25 = -5*v, 5*q - 2 = 2*v - d for q.
0
Let g = -16 - -11. Let t(f) = f**2 + 5*f. Let r be t(g). Suppose 0 = -3*w, 0 = -3*y - 4*w + 3*w + 15. Solve r*p + p = -k + 1, y*p = -3*k + 3 for p.
0
Suppose -3*s = -m - 19, 4 = 2*m - 0*m. Let r = -12 - -32. Let a be r*((-6)/8 + 1). Solve 4*l - 17 = -a*d, 2*d = s*d - 4*l - 33 for d.
5
Suppose -4*b + 4*o = 8*o - 8, 2*b = -o + 5. Suppose 3*j = -2*j + 25. Let u = j - b. Solve c + u*n + 2*n - 7 = 0, -15 = -5*n for c.
-5
Suppose 3*f - 55 = -5*t, -3 = -2*t - 0*f - 5*f. Solve -5*g - t = -3*z, 10 = 2*g - 4*g - z for g.
-4
Let g be 60/14 - 14/49. Let m = -4 + 3. Let l be 2 - (0 - (0 - m)). Solve -8 = -g*p - 2*v + 3*v, 7 = -5*p - l*v for p.
1
Let u = -12 - -27. Suppose -4*y = -2*m - 12, 0*y - y - u = -5*m. Solve 0*j + y*s + 11 = -2*j, -j = 5*s + 13 for j.
2
Let s = 11 - 1. Let x = s + -10. Let l(q) = 5*q**2 + 2*q - 1. Let f be l(1). Solve x*y - f = y + 5*z, 0 = 3*y - 5*z - 2 for y.
-1
Let s = -155 + 155. Solve 3*n - 10 + 25 = s, -3*n = v + 10 for v.
5
Let p be ((-48)/(-28))/((-2)/14). Let n = p + 16. Solve k = n*a - 3, -4*a + 8 = 4 for k.
1
Let m(o) = -9*o + 7*o**2 - 6 + o**3 + 0*o**3 + 2. Let z(g) = -g - 1. Let y be z(7). Let c be m(y). Solve -3*d - b = 3*b + c, 3*d + b = -1 for d.
0
Let p(g) = 2*g**2 + 3*g - 4. Let f(z) = z**2 + z - 2. Let w(t) = -13*f(t) + 6*p(t). Let x be w(5). Solve -2*j = 2*m + m + 1, -j = -x*m - 10 for m.
-3
Let j(x) = 4*x - 3. Let v be j(2). Let z(r) = 2*r - 2. Let i be z(3). Let c be 70/4*(-8)/(-10). Solve k - i*p - c = -k, -k = -p - v for k.
3
Let y be (-60)/(-3)*-3*1. Let l be (10/25)/((-2)/y). Let u(h) = -h**3 - 6*h**2 - 5*h + 4. Let p be u(-5). Solve -z + 5*t = 12, -3*z - t = -p*t + l for z.
-2
Suppose -18 = -c - 3*j + 2, j = -c + 12. Suppose -c*w + 24 = -2*w. Solve -w*t - 4 = 2*d, -d + 2 + 0 = 0 for t.
-2
Let f(n) = -n**3 + 3*n**2 + 3*n + 8. Let b be f(4). Solve 0 = -v - 4*m - 13, 4*v + b*m - 11 = -27 for v.
-1
Suppose 0 = 4*j - 16, -m - j = -3*j - 3. Solve 4*l + 3*f = 18, 4*l + l = 2*f + m for l.
3
Let w be -11 + 7 + (0 - -7). Solve 2*h - w*h = -3*b + 8, -5*h = 2*b + 23 for b.
1
Suppose 4*z - z = -12, -2*o - z + 14 = 0. Solve -l + 5 = t - 4*l, -3*l = o for t.
-4
Let s(a) = a**3 - 7*a**2 + 2. Let h be s(7). Let j(u) = 2*u**2 - 4*u + 2. Let w be j(3). Let m be h/w + 3/(-12). Solve m = -3*l + 3, 2*o - 2*l = 5*o - 8 for o.
2
Suppose -t + 3*w = 2*w - 7, 2*t - 22 = 4*w. Let k(u) = 2*u**2 + 2*u - 2. Let o be k(-2). Solve -c = -2*x, t*x + 12 + o = -2*c for c.
-4
Let o(l) = -3*l + 1. Let j be o(3). Let i = 4 + j. Let c be 48/(-9)*15/i. Solve -2*t - 3*d = -t - 12, -5*d + c = -4*t for t.
0
Let g be ((-2)/5)/((-1)/20). Let v = -5 - -3. Let a be (-52)/(-16) + v/g. Solve -z + 6 = t, a*t = 5*t - 10 for z.
1
Suppose -y + 4 = -0. Suppose -y*m = -2*m - 10. Solve 4*o + m = -5*x, 0*x + 35 = 2*o - 5*x for o.
5
Let p(r) = r - 2. Let f(s) = s**3 - 2*s**2 - 2*s - 1. Let w be f(3). Let k be p(w). Let b = -13 + 18. Solve -b*q = -3*o + 2*o - 4, q = k for o.
-4
Suppose -2*a + 10 = 2. Let g(d) = 0*d + 2*d - 3 - 2*d + d. Let n be g(5). Solve 0 = -a*x - 5*k - 19, -2*k = n*x + 2 + 6 for x.
-1
Suppose 0 = -4*p - 8, -2*d + 2*p + 20 = 6*p. Solve -26 = 5*u - 3*t, 9*t - 4*t - d = u for u.
-4
Let w be ((-21)/9)/7*-6. Solve -2*z = -2*c, -w*c + 0*c - 4*z - 30 = 0 for c.
-5
Suppose -13 = -5*l + 7. Suppose 0*b = -l*b - 8. Let u be 2 + b - -2*2. Solve 4*w = g - 5*g + 24, 3*g = u*w - 10 for g.
2
Let t = -2 - 6. Let l = t + 11. Solve -2*f + 4*f = -3*u + 2, 3*u = l*f - 3 for f.
1
Let r = 23 - 10. Suppose 20 = -8*s + r*s. Solve 2*v - 3*z + 0 = -1, v + 3*z = s for v.
1
Suppose 2 = 4*u - 10. Solve -4*n + 10 = 3*r, 3*r + u*n - n - 2 = 0 for r.
-2
Let i(a) = a**3 + 8*a**2 - 9*a + 4. Let m be i(-9). Suppose m*l = -l + 10. Solve -l*s - 4 = -3*p, 2*s = -3*p + s - 11 for p.
-2
Suppose 0 = -5*n + 5*t + 130, 4*t + 80 = 5*n - 2*n. Let c = -11 - -13. Let v be 8 + (-2 - 4)/c. Solve -4*f = d + n, -2*f + 2 = -v*d + 2*d for f.
-5
Let t = -3 - -6. Suppose 0 = 5*a + 5*m - 140, -a - m + 100 = t*a. Solve 6 = 5*u + 3*c, 5*u - c = 2*c + a for u.
3
Let q = -4 + 13. Let j = q + -7. Suppose 2 = t - j. Solve 3*n + 6 = 0, -5*n = -t*x + x + 13 for x.
1
Let k(j) = -j + 2. Let y = 1 + 1. Suppose 0 = -3*r - r + y*i - 28, 0 = -5*r + 3*i - 36. Let o be k(r). Solve 3*m = 4*v + o, -v + 12 = -4*m + 1 for m.
-4
Let u be -1*(-1 + -22) + -4. Solve 5*n = 2*a + u, 2*n - 25 = -0*a - 5*a for a.
3
Suppose -3*k + 12 = -0. Let g(w) = -w**2 - 7*w + 4. Let p be (-14)/4*(1 - -1). Let s be g(p). Solve 2*u = -s*l + 6*l, k*u = -4*l + 32 for u.
4
Let n be (2 - -3) + 0/1. Solve 3*y + 8 = u, -n*y + y = 3*u + 2 for u.
2
Suppose 0 = -2*p - 5*w - 2, 5*p + 3*w - 4 = 10. Let f be ((-6)/(-8))/(1/p). Solve 0 = 4*l + 5*t + 10, 0 = -2*l - f*t - 3 - 1 for l.
-5
Let d = 36 + -32. Solve -22 = -5*k + 2*f + 4, -d*k - 3*f = -7 for k.
4
Let h(k) = k**2 + 12*k - 11. Let p be h(-13). Suppose p*r = 4*r. Solve r = g + 3*i - 7*i - 21, 4*g - 5*i = 40 for g.
5
Let k be ((3 - 0) + -1)*2. Suppose 5*r + 2*j = -j + 29, -k*r - 4*j = -28. Solve 3*o + 4 = -0*o - r*l, -2 = -o + 2*l for o.
0
Let o(l) = -l**2 - 4*l + 3. Let r be o(-4). Solve f - 4 = r*d, 0*d - 3*d = 2*f + 19 for f.
-5
Let w be (-5)/(-1) - (-2 - -2). Let y be 2/3*6/(-4). Let i = -1 - y. Solve w*j - 3*x - 1 + 6 = i, -2*j + x = 3 for j.
-4
Let g be 2*(-3 + 33/6). Solve -3*b + x = 11, -4*b - g = -4*x - 1 for b.
-5
Suppose 3*w - 6 = 3*r, 0 = -0*r + r + 2*w - 13. Let y = 12 - 12. Suppose 3*d + d - 8 = y. Solve 2*t - d*m - 4 = 0, -r*m - 21 = -6 for t.
-3
Let z = 8 - 4. Solve -z*i + 2*c - 12 = 0, 3*c - 14 = 4*i + 2 for i.
-1
Let n(w) = 2*w - 2. Let c be n(6). Let b = c - 5. Solve b*l - 20 = 5*u, 3*u + 2*l = u - 12 for u.
-5
Let o(q) = -q**2 - 13*q + 16. Let h be o(-14). Let p = 6 - 1. Solve 2*r = p*f + 20, -21 = -5*r - h*f - 0 for r.
5
Suppose -n + 3*k = 0, 3*k = -3*n - 2*k + 14. Solve -10 = -2*h, -w = -n*w + 4*h - 20 for w.
0
Let p be 0 - 24*-1 - -1. Let z(t) = -t**2 + 9*t - 6. Let w be z(9). Let u be (-2)/(8/w)*2. Solve p = 4*b - u*a + 5, -4*a = 16 for b.
2
Let y(f) = 2*f + 18. Let d be y(-13). Let h = -6 - d. Solve q - 15 = -h*q, -5*n = 3*q - 25 for n.
2
Suppose 0*u - 4*z = 4*u - 16, z = 0. Solve -5*p + 3*w + 12 = w, 2*w = u*p - 10 for p.
2
Suppose c = -5, -4*g + 2*c - 2 = -7*g. Solve -3*s + 0*t - t + 14 = 0, 0 = 3*s + g*t - 11 for s.
5
Suppose -15*x = -14*x. Solve -2*v = x, v + 0 - 1 = -c for c.
1
Suppose 6 = -2*z + 14. Solve -2*s = -3*t - 6, -3*s = -z*s - 3*t - 15 for s.
-3
Let k = -5 + 10. Solve -3*b - 4*t - t = 0, k*t - 30 = 3*b for b.
-5
Let t = -211 - -214. Solve -3*q = -x - t, -5*x - 4*q + 5 = q for x.
0
Suppose -5*q - 11 = j, 4*j = j + 3*q + 21. Suppose 0*l - j*l = -32. Let y be l/(-28) - (-32)/14. Solve 4*v = 2*i - 10, -2*i = y*v - 0*v + 14 for i.
-3
Suppose -r + 5 - 2 = 0. Let g be 1*r - (5 + -4). Solve -5*u = -g*f + 13, f + u = -4*u - 1 for f.
4
Let u be (1/(-2))/(5/(-30)). Let f = 2 + u. Solve -3 = y - 3*z + 1, f*y = z + 22 for y.
5
Let z be ((-2)/1 - -2)/2. Suppose z = 6*q - 0*q - 42. Solve -5*k = -2*o - 4, 3*k + o + q = 8*k for k.
2
Let p = -4 + 6. Suppose 0 = -3*s + 2*s + 5. Let q be s - 8 - (-3 - 0). Solve q = -5*a + o - 28, -5 + p = 3*a + 4*o for a.
-5
Suppose -5*h = -4*h - 7. Solve 2*p + 0*j - 3*j = -11, 2*p - h = -3*j for p.
-1
Let b(w) = -w - 2. Let y be b(-2). Suppose v = -y*v - 1. Let z = v + 1. Solve -4*s + 2*o + 4 = -z, -s - 2*o - 4 = 0 for s.
0
Let g(k) = 2*k - 5. Let d be g(5). Solve 3*t = 13 - 1, 2*n = d*t - 22 for n.
-1
Suppose -1 = 5*q - 11. Solve f = 4*w + 19, 0 = f - q*f - 3*w - 9 for f.
3
Let y be (10/35)/(3/63). Solve -3*r = j + y + 6, -27 = 4*r + 5*j for r.
-3
Suppose 12 = 2*g + 3*g + 3*y, -4*g + 5*y + 17 = 0. Let w(b) = b - 2. Let d be w(4). Solve 0 = -2*m + 3*m - g*o + 15, -4*m - d*o = 4 for m.
-3
Let l be 3 - (-5)/((-15)/(-36)). Let i = l + -12. Solve 3*k = -3*z - i, -4*z + 4*k = 4 + 8 for z.
-2
Suppose -4*j + 6*y - 2*y = -28, 4*j - 3*y - 23 = 0. Let o = 1 - -2. Let k(q) = -q**2 + 4*q - 2. Let x be k(o). Solve 0 = 3*c - j*d + 13, -3*c - c = d - x for c.
-1
Let d(u) = -u**2 - 16*u - 12. Let k be d(-15)