 -20 = -4*k - 3*g - 1, l*k - g = 15 for k.
4
Let o(q) = -4*q**2 + 20*q - 14. Let y be o(4). Let r = 10 + 0. Suppose 12 = f - n + 5*n, 4 = 2*f - 2*n. Solve -h + 2*a = -f*h + r, -6 = -5*h + y*a for h.
2
Let g = 2781 + -2769. Solve -y + 5*d = -14, -y - g*d - 2 = -9*d for y.
4
Suppose -7 - 9 = 4*n. Let t(y) = y**3 + 7*y**2 - 6*y + 10. Let b be t(-8). Let d = n - b. Solve -g + d*i + 2 = 1, 22 = -4*g - 5*i for g.
-3
Suppose -74*g + 72*g + 22 = 0. Solve 5*w - 4*v = g, 4*w + 0*v - 9 = 3*v for w.
3
Suppose 5*j - 2*u - 67 = 0, -3 = 3*u - 0. Let h(k) = k - 1. Let z be h(j). Let r = -2 + z. Solve r = g - 3*g + 3*n, 5*g + 4*n = 21 for g.
1
Let r = -14 - -31. Suppose r + 15 = b - k, 3*b - 88 = k. Solve 2*m + b = -5*u + 4*m, m = u + 8 for u.
-4
Let j(q) = -12*q**3 + q**2 + 3*q + 3. Let u be j(-1). Suppose -d - 18 + 5 = -3*t, 4*d + u = -t. Solve 5*l = -5*w - 15, -t*w = 5*l - 0 + 5 for l.
2
Let v(m) = m**2 - m + 1. Let y(u) = -5*u**2 - 3*u - 7. Let b(h) = 4*v(h) + y(h). Let r be b(-6). Solve 4*k + r*n - 4 = -0*n, -5*k = -n - 24 for k.
4
Suppose -241 = -7*c + 88. Let j = -47 + c. Solve -2*h = -2*p, -3*h = -4*p - 1 - j for p.
-1
Let x(v) = v**2 - v**2 + 2 - v**3 + 2*v**3 - 5*v**2. Let h be x(5). Let q be ((-6)/4)/((-10)/20). Solve -3*s = c + q, -3*c = 3*s + h + 1 for s.
-1
Suppose 2*r = -0*r + 4. Suppose -s + 3*c + 11 = 0, 2*c = 3*s - 10 - r. Solve 4 = -4*g + s*m, 2*m = -3*m - 10 for g.
-2
Let v be (-2)/6*(13 - 13). Let d be v - (-1)/(4/8). Solve -2*c + 3*u + 13 = 0, -u = d*c - 3*u - 12 for c.
5
Let g(h) = -12*h - 12. Let l be g(-5). Suppose -14*r = -6*r - l. Solve r = -2*i, 3*i + 0*i = k - 6 for k.
-3
Suppose 12 = 13*f - 9*f. Let i(j) = j**2 - 6 + 2*j**3 + 8*j**2 + 11*j - 3*j**3 + 0*j**f. Let w be i(10). Solve -s + 2*s + w = 0, 5*y - 17 = -2*s for y.
5
Let o be 3*1*6/9. Suppose -17 = -w + 3*i, -o*i + 7 = -w + 25. Suppose w*n = 18*n. Solve k - 5*h + 10 = n, -2 = -3*h + 4 for k.
0
Let z(v) = 5*v + 11. Let m(x) = -6*x - 11. Let j(n) = 4*m(n) + 5*z(n). Let p be j(-9). Solve -q = p*h + 3*h + 25, -4*q + 4*h - 4 = 0 for q.
-5
Suppose -114 - 226 = -34*u. Solve 3*z - 6 = -2*x - x, 5*x - u = 3*z for x.
2
Let j be (-5*(-2)/(-7))/(21/(-147)). Solve 2*m + j = 0, -c + 4 = 3*m + 14 for c.
5
Suppose 4*n - d - 12 = -n, n + 4 = -3*d. Let w be n + (-1 - 1)*1. Solve -3*l + h = -w + 14, -3*h = -4*l - 22 for l.
-4
Let b = 148 - 144. Solve 4*l + 20 = 0, 2*g + 8*l = b*l - 26 for g.
-3
Suppose 0 = 3*g + 2*u - 59 + 10, -4*g = u - 57. Solve 3*d = -21*l + 20*l + g, 2*l = 8 for d.
3
Suppose b - 2 - 22 = -4*t, t - 4*b - 23 = 0. Let o be 2/((-2)/t + 0). Let x = 10 + o. Solve 5*p + 2*q - 5 = x*q, 5*p - 5 = -4*q for p.
1
Let k = 165 + -160. Solve 5*i + k*h = 0, 4*i = -h + 4*h for i.
0
Suppose 8*g = 24*g - 16. Let u be (0 - g)/(15/(-45)). Solve 3*h - u*z + 11 = -10, h = -4*z + 18 for h.
-2
Let g(q) = 137*q + 141. Let n be g(-1). Let r(v) = v**3 + 3*v**2 - 8*v - 4. Let l be r(-5). Let s be 1*6*l/(-3). Solve n*z + s = -5*u, 2*u - 1 + 3 = 3*z for z.
-2
Let g be ((-11)/(33/(-2)))/((-4)/(-66)). Suppose -g*x = -0*x - 44. Let a be (1 - 0)*(1 + 4). Solve 6 = a*s - 4*f, -s + 11 - 29 = x*f for s.
-2
Let h be (-1*4)/((-5)/5). Suppose h*d = 56 + 52. Solve -4*u = 3*i - d, i = -3*i + u + 17 for i.
5
Let j = -7 + 12. Suppose 0*t + t - j*d + 20 = 0, d = -5*t + 30. Suppose -2*c + 5 = -4*c + 5*l, -t*l + 5 = -4*c. Solve z - 2 = c, 2*o + 4*z = 2*z - 2 for o.
-3
Suppose 9*b = 13 + 5. Suppose 3*i - 41 = -4*t, i - 6*i + b*t + 77 = 0. Solve 4*v = 5*v - 4*j + i, -3*v - j = -7 for v.
1
Suppose -11*m + 210 = 133. Solve -3*d + m*d = -20, 5*r = -2*d + 5 for r.
3
Suppose -3*h = -6*h. Suppose -4*v = -6*v + 2, -4*u - 4*v + 8 = h. Solve w + 0*w - 5*z = -5, 3*w - u = -z for w.
0
Let g(l) = l**2 + 22*l + 107. Let k be g(-7). Solve 4 = 4*r, -k*t + 4 = -t + r for t.
3
Let c = 0 - -3. Let j = 25 - 21. Let i be j/6 + (-16)/24. Solve -2*v = -5*o - 18, -c*o + 3*v - 9 + 0 = i for o.
-4
Let q = 4 - 2. Suppose 0 = -6*f + 4*f + 10. Suppose -21 = -6*z + f*z. Solve -2*x = -3*g - z, -q*x - g - g = 4 for x.
3
Let c = -230 - -232. Solve 2*u - 9 = p, p - c*u + 15 = 2*u for p.
-3
Let p(o) = -3*o - 5. Let j be p(-3). Suppose -j + 0 = d. Let h be (-4)/((-3)/((-6)/d)). Solve 4*l - 24 = -h*m - 0*l, -4*l + 14 = -3*m for m.
2
Let d be -5*(-15)/(-3)*-1. Suppose 5*q = 5*i + d, -5*q - i + 5 = -2*i. Suppose 3*j + 2*j - 25 = q. Solve -2 = f - o + 2*o, j*o = -f + 2 for f.
-3
Let g be 6/2 + (-6 - -6). Let f be -2*((-108)/8)/g. Suppose 0 = -6*u + f*u - 9. Solve 6*q = 4*q - l - 13, 0 = u*l + 15 for q.
-4
Let j(p) = p**3 + 15*p**2 + p + 18. Let r be j(-15). Solve 2*y + r = -t, -4*y = 5*t - 2*y - 9 for t.
3
Let f be -4*(1 - 12/8). Let p = 30 + -20. Suppose 6*v = v + p. Solve -2*m + 5 = 5*u, f*u + v = 4*u for m.
0
Suppose -4*a + b + 36 = 0, -2*b + 48 = -a + 5*a. Let c = a - -4. Solve -u + 0*u = 5*y - c, -2*u + 4*y = 0 for u.
4
Suppose 5*b + 5*y = -5 + 40, 3*b - 16 = -2*y. Let k be (6/8)/(b/8). Suppose -33 = -k*z + 21. Solve 0 = -5*h + 5, -2*h - z = 5*s - 0*h for s.
-4
Let r(s) = 4*s**3 - s**2 + 1. Let n be r(2). Suppose -5*q = -4*v + 51, -4*v + n + 32 = 5*q. Suppose 4*d - v = -2. Solve -4*b = -3*o - b, 0 = -d*b for o.
0
Let w = -541 - -541. Solve 0 = 3*r - 6*r - 5*m - 14, 4*m + 16 = w for r.
2
Let k(w) = -w**3 - w**2 + w. Let l(u) = -3*u**3 - 7*u**2 + 11*u - 9. Let m(g) = -4*k(g) + l(g). Let c be m(2). Solve 0*y - y = -1, -a - y = c for a.
-2
Suppose -d - 908 = -912. Solve g = 5*j + 9 - 0, 9 = -g - d*j for g.
-1
Let r be (-4)/(-1) + -1*1. Let d be (-72)/(-14) + (-833)/(-3773) + (-16)/44. Solve -4*l - g = -4, l - d*g - 4 = -r for l.
1
Suppose 0*w - 15 = -3*w. Suppose w*l - 121 = 14. Suppose -4*g = 4 - 12. Solve 5*v + l = s + s, 0 = -3*v + g*s - 17 for v.
-5
Let c be 4/10 + (-62)/5. Let o(p) = -p**3 - 12*p**2 - p - 12. Let r be o(c). Solve -s - 1 + 0 = r, -4*a + 24 = -4*s for a.
5
Let n = 203 - -1. Let b be 3/5 + n/60. Suppose -5*l + 4*k = -4 - 32, k = -b*l + 33. Solve -l = 2*h + 4*s + 8, s + 5 = 0 for h.
2
Let t(g) = 7*g - 58. Let o be t(-9). Let m = o + 130. Solve 2*n - 17 = -3*l, -4*l + m = 4*n - 3*l for n.
1
Let t(n) = n**3 + n**2 - 6. Suppose 0 = -4*k + 12, -p + 3 = -2*p + k. Let s be t(p). Let o = s + 10. Solve -2 = -3*x + r, 0*r - 2*r = o*x + 4 for x.
0
Suppose -5*m + 8*u - 4*u = -8, -2*m + 23 = 5*u. Let g be (-2)/2 + 3/1. Solve g*l - 3*t = -13, -4*l + 23 = -l + m*t for l.
1
Let c(p) = p**2 + 11*p - 25. Let r be c(-13). Let y = 10 - r. Solve 0 = -4*v + 4*d, -d = -2*v - 2*d + y for v.
3
Let g = 9 - 4. Suppose i - g*c - 12 = 0, -i + c = -0*i - 8. Solve -5*f + 3*s + 31 = i, -s - 3 = 0 for f.
3
Suppose -27*r - 144 = -39*r. Solve 0*w + w + 4 = o, 2*w = 3*o - r for w.
0
Let o(j) = -14*j - 180. Let u be o(-13). Solve 7 = -v - u*q + 2, -v + q = -1 for v.
-1
Let c(k) = -k + 9. Let r be c(6). Solve 2*t + 5*q = -33, -2*q + 4 = -r*t + 2 for t.
-4
Suppose -3*h - 32 = -5*j, 3*h = -2*j - j. Let f be (h/(-1) - 7) + -1 + 9. Solve -1 = -5*w + t - 18, -f*w = 3*t + 9 for w.
-3
Suppose 0 = -0*d + 5*d - 10. Let o = d - 0. Suppose -4*t = -10*t + 84. Solve -o*a - t = -2*h + 2*a, -3*h = -a - 16 for h.
5
Suppose 20*m - 20 = 15*m. Solve -m*o = -2*w - 8, -3*w - 16 = w - 3*o for w.
-4
Suppose 12 = -5*q + 3*z, -9 - 3 = -4*q - 3*z. Solve -2*d - 2 = 2*y - q*y, 0 = d + 5 for y.
4
Let m = 11 + 3. Let d(v) = v**2 - 17*v + 47. Let x be d(m). Solve 3*g - 3*w - 10 = -8*w, -2*g - x*w + 15 = 0 for g.
-5
Let p(s) = s**3 - s**2 - s. Let q be p(1). Let c be ((-4)/(-12))/((-1)/6*q). Solve -8 = 4*h - 3*n, -h = -c*n + n + 3 for h.
1
Let c(q) = 113*q + 682. Let y be c(-6). Solve -15 = -w - 3*b, 2*w - y*b + 1 = -9 for w.
3
Let u(p) = -2*p + 8. Let i be u(-4). Suppose 0 = -4*d + i. Suppose d*k = 2*k. Solve o + 17 = 5*z, k = -3*o + 2*o - 3*z + 15 for o.
3
Let v be 0/10*1/2. Suppose -3*l + 10 + 2 = v. Solve 5 = 5*r, 10 = -l*s + r - 7 for s.
-4
Suppose 0 = -4*q + 22 - 2, 35 = 5*w + 4*q. Solve 0 = -3*x - 4*k + 23, w*x - k = 2*x - 4 for x.
1
Suppose -3*t + 2*t + 24 = 0. Let s be t/13 + (-4)/(-26). Suppose -s*l + 28 = j, 4 = l + 2*j + j. Solve -2*v - 1 = -3*o - 22, -3*v - l = 5*o for v.
3
Let q be 799/85 + (-4)/10. Suppose -q*l = -7*l - 2. Solve 0 = -x + l, 0 = -3*a + 4*x - 17 - 2 for a.
-5
Let q be (21 - 34)*(-12)/26. Let n be 2*3/(12/10). Solve m + 5 = s, -m = n*s - 19 - q for s.
5
Let c(r) = 5 - r**2 + r