5*m + i*n + 1 - 11 = b for m.
-2
Let b = -3 + 8. Solve -k = 4*d + 17, b*d - 5 = 3*k + k for k.
-5
Let g = -72 - -76. Solve 2*j + 2*v = g*v + 6, -j = -4*v + 3 for j.
5
Suppose 2*h - 15 = 41. Suppose q = -3*q + h. Solve -l - 2*z + q = 0, 0*z + 13 = 4*l + 3*z for l.
1
Let m = -3 + -18. Let w be (-1 - (-3)/9)/((-2)/(-15)). Let n be (w + 4)/(1/m). Solve 3*i = 6*f - f - n, -4*i + 4*f - 20 = 0 for i.
-2
Let h(n) = n**2 - 13*n + 6. Let l be h(12). Let u(s) = s**3 + 7*s**2 + 5*s - 6. Let x be u(l). Solve -3*v - 2*c + 18 = 0, x = -0*c + 5*c - 15 for v.
4
Suppose -8 = 5*h - h. Let w be 30/9 - h/(-6). Suppose 0 = -n - w*n. Solve 2*m + 2*m = -4*c, n = -2*c + 3*m - 5 for c.
-1
Let q = -101 - -114. Solve -4*g - q = -6*g + 3*b, -3*g - 3*b = 18 for g.
-1
Let f(y) = y**2 + y. Let p be f(2). Suppose x + p = 2*x. Solve 0 = x*o - o - n + 7, -3*o = n + 1 for o.
-1
Let q be (2*1)/((-2)/(-8)). Let u(t) = -t**3 - 6*t**2 - t + 2. Let k be u(-6). Suppose -k - 8 = -2*g. Solve -h + m = 0, 3*h + g = -m - q for h.
-4
Let a(h) = 3*h + 22. Let x be a(-6). Solve -x*l = -2*u - 0*l, 5*l = u for u.
0
Let x(l) = 6*l + 50. Let h be x(-8). Let s = 10 - 6. Let k be ((-2)/s)/(2/(-12)). Solve a - h = -k*f - a, 4*f - 2 = -2*a for f.
0
Suppose -v - 745 = 3*v + p, -2*v - 355 = -3*p. Let d be (-14)/(-77) + v/(-11). Solve 0 = 4*o - 5*c + d - 2, -2*o - 2*c = -6 for o.
0
Let c be ((-11)/(-22))/(1/4). Solve c = j - 3*i, 2*j + 2*i + 2 = -10 for j.
-4
Let t(d) = -d**2 + 10*d + 2. Let x be t(9). Let i be 0 + x - (7 - 8). Suppose -2*k - k = -i. Solve 4*w + 5 = -2*j - 5, -k = -2*j + 3*w for j.
-1
Let p be 9 - (-84)/(-9) - (-34)/3. Solve -13 = 4*s - 3*d, p = -4*s + 4*d - 1 for s.
-4
Let b(p) = -p - 14. Let z = -14 - -4. Let u be b(z). Let g(d) = -d**3 - 3*d**2 + 3*d - 1. Let n be g(u). Solve -i = 3*t + 2*i - 9, n*i = -t + 13 for t.
-2
Let j(o) = -o**3 - 12*o**2 - 11*o + 5. Let d be j(-11). Solve d*y = 4*r + r - 5, 3*y = -r + 1 for r.
1
Let t = -13 - -14. Let a = 1 - t. Solve -13 = -q - 4*d - 32, a = 3*q + 4*d + 25 for q.
-3
Let j(c) = c + 17. Let k be j(-12). Suppose -16 = -k*r + r. Solve -5*s - a - 3 = 0, r*a + 6 = s + 2*a for s.
0
Suppose 23 - 7 = -2*z. Suppose -5*l = -22 - 43. Let o = l + z. Solve 5*r + 30 = -s, s = o*r - 2*s + 10 for r.
-5
Suppose 5*f - 2*u = u + 13, 2*f - 4*u = 8. Suppose 0*d = -f*d + 2. Solve 2*l + 5 = s + 14, -s + d = 0 for l.
5
Let x = -154 - -156. Solve 2*f + 7 = n, x*f - 5*n + 12 = -3*n for f.
-1
Let b = 11 - 7. Suppose 0 = u - 1 - b. Let h = 2 - 2. Solve -12 = -n - h*l + 4*l, -n + u*l + 15 = 0 for n.
0
Let r = 4 - 2. Let a(b) = -1 - b**3 - 5*b**2 - 7*b - 5*b**2 + 3*b**r. Let t be a(-6). Solve 0 = -3*s + 4*v - t, 15 = -s + 5*s - v for s.
5
Let v = 0 + 5. Suppose 5*g - v = 15. Solve -4*l + 29 = -3*x, -3*x + g + 12 = 5*l for l.
5
Suppose -2*a + 12 = -12. Suppose -4*b = 4*x - a - 8, -4*x + 20 = b. Let t be (-21)/(-1 - b/(-2)). Solve -4*v - 3*h + t = -3, -5*v = 3*h - 27 for v.
3
Let b = 5 + -3. Let c be (-25)/b*12/(-15). Solve 3*a = -d + 2*d + c, 3*d + 3*a = 30 for d.
5
Let c(h) = -h**2 + 5*h - 4. Let l be c(4). Suppose 0 = 5*f - 4*q - q - 10, l = -2*f + q + 4. Solve f*j = 2*n - 14, 0*j - n = 2*j + 5 for j.
-4
Suppose 4*p = -2*b + 4*b - 32, 0 = -p - 4*b - 17. Let o be (-10)/(-45) - 7/p. Solve -v - 8 = v + 4*d, -2*v - o = -3*d for v.
-2
Let t = -4 - -6. Suppose -2*k - 10 = -4*k. Solve 0 = -t*s - 3*z + k, 0 + 1 = 2*s - z for s.
1
Suppose -t + 4*t - 12 = 0. Suppose 3*k + g = 4, k - 5*g = 2*k + 22. Solve k*v + 10 = -t*p, -2*p - 3*v + 2 = 2*v for p.
-4
Suppose -2*c + 12 = 4*c. Solve 2*x + 3*x - 5*s - 30 = 0, -s + c = 3*x for x.
2
Let m(i) = i**2 - 8*i + 7. Let v be m(7). Suppose v = -u - 0 + 4. Suppose 77 = u*w + 21. Solve -2*a + 4*f + 16 = 0, w = a - f - 3*f for a.
2
Suppose 3*q - 4*j - 15 = 0, -5*q - 4*j = -3*q - 10. Suppose 0*b - q*b = -140. Solve 0 = -4*a - 2*n - 3*n - b, 0 = -a + 2*n + 6 for a.
-2
Let p be (36/(-90))/(2/(-60)). Let u be 1*(2 + -2) + -2. Let x be 3/(-9) - u/6. Solve c + s - 6 = -x*s, p = 4*s for c.
3
Suppose 4*z - 5*b = -24 + 7, 5*z - 5 = b. Solve z*l - 3*m - 5 = 0, -9 = 3*l - m + 2*m for l.
-2
Let k be (-189)/(-15) + 6/(-10). Let t(d) = -d**3 + 11*d**2 + 14*d - 16. Let r be t(k). Suppose 0 = -5*l + l. Solve l = -g - 2*s + r, 4*g + s = -g - 5 for g.
-2
Suppose -2*d = -2*s - 8, 13 = -0*d + 3*d - 2*s. Solve -5*h + g - 26 = 0, 5*g = d - 0 for h.
-5
Suppose 4*h = -0*b + 3*b - 2, -3*b - 4 = -h. Let c be h + 1 + 2 + 1. Suppose -39 = 2*m - 7*m - c*y, 54 = 5*m - 3*y. Solve o + 6*q - m = q, -q + 5 = -3*o for o.
-1
Suppose 3*f = 2*f + 6. Let h be 1/(-2) + 3/f. Let o be -2 + 3 + 2 + h. Solve -r + 0 = 5*s - 17, -o*s - 4*r = 0 for s.
4
Suppose 2*i = 2*f - 5*f + 10, 5*i - 3 = -2*f. Suppose -3 = -2*n - 23. Let m be (-12)/(-20) + (-114)/n. Solve 6*p - 2*p = -f*g - m, 0 = -g + p - 5 for g.
-4
Let i = 11 + -21. Let t(q) = q + 13. Let g be t(i). Solve 36 = -2*r + 6*r - 4*d, -8 = -4*r - g*d for r.
5
Suppose -90 = -4*c - 10. Suppose -2*o + 3*o - 10 = -3*r, 2*o = -5*r + 15. Solve r*g - k + 15 = 0, 2*k - c = 6*k for g.
-4
Suppose -4*y = -15 - 45. Let h be (-26)/(-10) + (-9)/y. Solve -i - 2*i + 9 = 3*v, -2*i = -h*v + 6 for v.
3
Suppose 7*b = 2*b + 45. Let y = b - 7. Solve -y*z + m = 4, 14 = -4*z + 3*m + 2*m for z.
-1
Let n(o) = 2*o**2 + o + 7. Let t be n(-3). Solve 4*v = 3*u - t + 4, 0 = -3*u + 3*v + 15 for u.
2
Suppose 0 = 4*v - 0 + 12. Let c = 6 + v. Suppose -5 = d - c*t, 4*d - 9 = -d - 2*t. Solve -5*x - 2*u - 6 = 0, 3*u + d + 8 = 0 for x.
0
Let t(v) = v**2 - 7*v + 9. Let b be t(6). Suppose g = -b*g + 20. Solve -g*d = 4*u + 12, 5*u = 3*d - 0 - 15 for u.
-3
Let a be -2 + (-4*1 - -2). Let k(z) = -2*z**2 - 5*z + 4. Let d be k(a). Let m = d + 13. Solve -u - u = -m*i + 12, -2*u + i - 4 = 0 for u.
-1
Suppose -4*z - 1 = 39. Let t be (-2)/z - (-1)/(-5). Solve 2*n - 5*r + 21 = t, -3*n - 2*r + 3*r + 1 = 0 for n.
2
Suppose 5*j + 13 = -4*y - 0*j, 2*j = -3*y - 1. Solve 3*x + 0*t = -4*t + 18, y*x - 15 = -3*t for x.
2
Suppose 0 = -14*u + 15*u - 10. Solve 4*h - m = u, 0*h + h + 2*m = 7 for h.
3
Let c be 3 + (-115)/35 - (-6)/21. Solve 4*y - 6*t + 2*t - 12 = c, -6 = -y + 2*t for y.
0
Let n(a) = 8*a**3 - 7 - 11*a**2 + a - 5*a**3 - 2*a**3. Let w be n(11). Solve 2*k + 8 = -2*c, 2*c - k - 6 = w*c for c.
-2
Let m(u) = -u + 4. Let c be m(-4). Solve 0*x + 4*x - c = -5*l, -x = -3*l - 2 for l.
0
Let y be (-7)/21*-1*6. Let n = 0 + -1. Let z be n/(2/(-4)) + 0. Solve z*v + 4*l - 22 = 0, -19 = -3*v + y*v - 4*l for v.
3
Let q = 5 - 14. Let n be ((-66)/q)/(8/12). Solve -4*x + n = 3*s - 17, -2*s + 12 = x for x.
4
Let d = -47 - -20. Let m = d - -45. Solve a + 2 = -t, 5*a + 3*t - m = 5*t for a.
2
Let l be 12/2 - (-2)/(-1). Let j be l/14 + (-38)/(-14). Suppose -p + j*c = 3*p + 3, 0 = 4*p + c - 17. Solve -o - p*d = -13, 7*d - 2*d = o + 19 for o.
1
Let s(o) = -9*o + 102. Let f be s(11). Suppose 0 - 2 = -x. Let i be 0*1/(-4)*2. Solve -f*p - x = l, -p - 3*l + l + 6 = i for p.
-2
Let a be (-90)/(-25) - 3/5. Let t(n) = -n**3 + 4*n**2 + 7*n - 6. Let m be t(5). Solve a*j + 22 = m*x - 1, -j - 3 = x for x.
2
Let v = -38 + 78. Let b be (-32)/v*(-30)/1. Let l = 43 - b. Solve 3*t = o - 13, 5*t + l = o - 0*o for t.
-3
Suppose -13 = s - 4*p, 0 = -2*s - 5*p + 3 + 23. Let d = s + 1. Suppose -5 = -c - 3*g, -2*g = c - d*c + 15. Solve 0 = 2*x + c*j, x - j = 5*x for x.
0
Let p(w) = -2*w + 17. Let g be p(6). Solve 0 = 3*m + g*i + 12, 2*m - i = -m - 12 for m.
-4
Let q be (6/(-15))/((-1)/5)*1. Solve -5*t + q*i = -0*i + 19, 0 = 4*t - 2*i + 16 for t.
-3
Suppose 3 = s - 1. Suppose u - 3*u + 8 = 0. Suppose -24 = -5*p - u. Solve s*w = -w + 4*q - 6, p*w + q = 12 for w.
2
Let d be ((-16)/(-6) + -4)*(-1 + -2). Solve 0 = 2*a + 2*j + 10 + d, -j - 4 = 0 for a.
-3
Let m(s) = -3*s - 5. Let r be m(-4). Let f = r - 3. Suppose 0 = -6*k + 59 - 29. Solve -a = f*a + n, n - k = 0 for a.
-1
Let s = 62 + -31. Solve 0 = 5*p + 2*c - 0 - 19, -5*p + 2*c + s = 0 for p.
5
Let s(d) = d**3 - 3*d**2 - 5. Let n be 2/(1 - -1) + 3. Let m be s(n). Solve 4*i = 5*f - m, -4*i - f = -2 + 19 for i.
-4
Let t(n) = n - 4. Let u be t(5). Let o = u - -1. Suppose o*v = -3*v + 25. Solve -v*m - 16 = 3*d - 4, 0 = -5*m - 15 for d.
1
Let t(f) = -f. Let o be t(-3). Let v(l) = -l + 8. Let k be v(-7). Suppose -y + 6 = -2*m, -4*m - m = 5*y. Solve r + o = y*r + 2*b, -5*r - b = -k for r.
3
Sup