se 6*r = 2146 - 2116. Solve -r*k - 21 = -4*a, k + 6 = -k + a for k.
-1
Suppose 3*f - 9 = 45. Let c = -146 - -148. Solve -3*b = x - c*x + f, -4*x - b = -7 for x.
3
Let h = 8455 - 8450. Solve 3*z + 6 = 0, 16 = 15*m - 13*m - h*z for m.
3
Suppose 44*d - 39*d - 10 = 0. Suppose d*c = 4*b + 10, 0 = -4*c + b + 6 - 0. Solve -5 = l, 2*l + c + 13 = -4*g for g.
-1
Let f(b) = -14*b + 705. Let r be f(50). Suppose 2*v - 9 = -3*v - 3*c, 0 = v - 3*c - 9. Let a = v + 0. Solve w - 5*t + 0 = a, 0 = -2*w - r*t - 9 for w.
-2
Suppose -5*p = -3*a + 7*a - 46, -4*p + 24 = 0. Solve -2*q = 3*j - 1, -a*j + 10*q = 14*q + 4 for j.
3
Let h(y) = -2*y**3 - 69*y**2 - 99*y + 1. Let u be h(-33). Let p(n) = n**3 - 4*n**2 - 4*n - 3. Let f be p(5). Solve 3*o - 4*o - f*i = u, 10 = 5*o - 5*i for o.
1
Let q(a) = -4*a - 11. Let b be q(-4). Suppose -b*f + c = 4*c + 211, c + 85 = -2*f. Let i = f + 48. Solve 3*x = 5*h - 9, 0 + 8 = -2*x + i*h for x.
2
Let u be (0 + 1)/((-8)/288*4). Let r be ((-6)/u)/((-7)/(-147)). Solve 2*f = -5*g - r, 2*g - 4*f = f - 23 for g.
-4
Let w = 17 - 134. Let k = 120 + w. Solve k*p - 5*s = 21, 5*p - s = s + 16 for p.
2
Suppose 12*i - 17*i = -30. Suppose i*x - 2*x = 0. Suppose x = -b - 2*b - 2*v + 13, 0 = -b + 3*v - 14. Solve 5*p - 25 = 2*c, -5*c - p + 6 = b for c.
0
Let r = 731 - 731. Solve r = -5*z - a + 7, z - a - 1 - 4 = 0 for z.
2
Let r be (-32)/(-160) + -4 + 196/20. Solve -y = -3*z + 4, 4*z - 10*y + r*y = 0 for z.
2
Let l be -1 + 2 + -1 + -4 + 0. Let f be (0 + 2)*(l - -11). Solve 2*x - 5*j - f = 6*x, 2*x - j = 0 for x.
-1
Suppose 5*p = -5, -2*p - 2276 = -4*d + 2*p. Let c = d + -566. Solve -c*f - 15 = -7*f - 5*x, 5*x = 5*f - 15 for f.
3
Let g = -14536 + 14540. Solve -5*b - g = 4*l + 21, -4*l - 20 = 0 for b.
-1
Let k be ((-2)/(-6))/((-171)/114 - 1498/(-996)). Solve 1 = 3*i - 4*f, -4*i + 4*f + 79 - k = 0 for i.
-5
Let z(l) = -l**3 - 9*l**2 + 12. Let a be z(-9). Suppose -15 = 7*k - a*k. Suppose -2*y + 6*y - 8 = 0. Solve 5*w = 2*d + w - y, k*d + 7 = w for d.
-3
Let c be 18/(-15)*((-310)/20 + 13). Solve 5*h + t - 21 = 0, 10*h - 13*h = -c*t - 9 for h.
4
Let d be 56/(-16) + (-27)/(-2). Solve -5*r + d = 0, -14 = -4*i + 5*i - 5*r for i.
-4
Let h(l) = 4 - 4 - 7 + 3 + l**2 + 2*l. Let q be h(-5). Suppose 9*f = q*f - 24. Solve 0 = -2*m + 3*m - 4, -m = -4*p + f for p.
4
Let z be (-54 - (2 - 1))*(-4 + 3). Suppose z = p + 10*p. Suppose -2 = 3*v - 8. Solve -12 = -p*o + 5*n - 2, -v*n - 6 = 0 for o.
-1
Let h be (3/36)/((-31)/372)*-43. Solve h*v - 47*v - j = -18, 4*j = 3*v + 15 for v.
3
Suppose 38*c - 16*c - 86 = -20. Solve 0 = -6*a + 5*a - d - c, -4*a + 4*d = -20 for a.
1
Suppose 3*z = 2*p + 18, -88*z = -90*z - 4*p - 20. Solve -3*f + 8 = 2*l, 0 = z*l + 4*f - 2*f - 8 for l.
4
Let m be 156/(-130)*35/(-3). Solve 0 = -c - 3*j - 12, -3*j = -3*c - 2*j + m for c.
3
Let f(v) = -2100*v + 113403. Let h be f(54). Let j(q) = 2*q - 4. Let m be j(5). Let b be (-3)/m*0/(-1). Solve k + 2 - h = -o, b = k + 5*o - 13 for k.
-2
Let z be ((-102)/153)/(1 + 51/(-45)). Solve 0 = z*m + 10, 94*m + 10 = -4*y + 93*m for y.
-2
Let g = 4875 + -4867. Solve -g = c + 3*h, 4*c + 23 = 5*h + 8 for c.
-5
Let o(z) = -z**3 + z + 5. Let u be o(0). Suppose 5*v + u*t = -10, 11 = -4*v - 5*t - 2. Suppose 18*h - 23*h = -30. Solve -v*w - 8 = j, 3*j - h = -3*w - 24 for w.
-1
Let p = 149 - 89. Suppose -31*t + 33*t = p. Suppose 0 = -6*l - 6 + t. Solve l*y - y = -3*x + 6, 2*y + 24 = 5*x for x.
4
Suppose z = 1 + 2. Let i(b) = -3 + 10*b + 0*b + 2 - 9 - b**2. Let u be i(8). Solve -z*c = -2*w + 23 - u, -c = 5*w for c.
-5
Suppose y + 24 = -w + 6*y, -21 = 4*w - 5*y. Solve -2*g - w = -2*k - g, -5*g = -3*k - 2 for k.
1
Let j(m) = 5*m**3 + 6*m**2 - 8*m + 11. Let o(k) = k**2 + 2*k - 3. Let r(d) = -j(d) - 4*o(d). Let i be r(-2). Solve 0 = h - i, -8 + 4 = -3*t - h for t.
1
Let s = -2257 - -2271. Solve 5*a - 39 = b - s, -4*a = -3*b - 9 for b.
5
Let b(p) = p**3 - 116*p**2 + 763*p + 5. Let n be b(109). Solve -6*c + 2*c = -12, c = -2*i - n for i.
-4
Suppose -38*m + 66 - 9 = -19. Suppose 0 = 4*g - 20 + 4. Solve -m*z + 8*n = 4*n + 18, -g*z - 9 = n for z.
-3
Let q(x) = x**2 + 16*x + 3. Let f be q(-12). Let h be 2/18 + (-130)/f. Solve 2*n = 5*g - h*g + 2, 0 = 4*g - 2*n for g.
1
Let y(l) = 642*l + 6. Let n be y(0). Solve 4*z + 2*s + n = 0, 2*z + 10 = 4*s + 12 for z.
-1
Suppose -12*t = -1050 + 414. Solve 2*d = 2*y, -t*y + 1 = -54*y for d.
-1
Let y = 24 + -36. Let h be 6*y/(-32)*4. Suppose 36 = h*f - 9. Solve 2*d = -0*d, -5*t + f*d = -5 for t.
1
Suppose s = -2*f - 11 + 13, -4*f + 8 = 0. Let n be 2*((2 - s) + -3). Solve 2*w + 2*c = 10, -3*c + 12 = n*w + c for w.
4
Suppose 0*o = 4*s - 3*o - 23, 3*s = -2*o + 13. Suppose 10 = s*r + w, -4*w = -8*r + 7*r + 23. Solve 4*a - 3*h = h, r*h - 2 = 2*a for a.
2
Let i(j) = -3*j + 5. Let z(a) = a - 2. Let c(o) = -2*i(o) - 7*z(o). Let g be c(-8). Suppose 4*y = 16 + g. Solve 5*r + y + 18 = -2*b, b - 1 = 2*r for b.
-5
Let y be (-2)/6*(-54)/3. Suppose -5*q + 3*w = 69, -3*q + 3*w - 39 = -0*q. Let i be q/10*(-8)/y. Solve i*p = -2*h - 6, -h + 4 - 5 = -p for p.
-1
Let c be 2/(-52) + (-42735)/(-10582). Solve 3*i - 93*b + 24 = -96*b, 0 = 3*i + c*b + 28 for i.
-4
Suppose -10 - 10 = 4*r, 5*l = -5*r + 5. Let m be 161/42 + 1/l. Let t(j) = 3*j - 4. Let n be t(3). Solve -n*w - 4*g = -41, 0 = -4*w - 0*w + 4*g + m for w.
5
Suppose -a + p - 4*p = 1, 25 = 3*a - 5*p. Let q = -61 + 64. Suppose u + n - 2 - 2 = 0, q*u + 12 = 5*n. Solve t = -t - 3*l + u, 0 = a*t - 2*l + 7 for t.
-1
Suppose 45*q - 51*q - 972 = 0. Let t = q - -162. Solve -3*o = 0, -4*k = -t*o + 4*o + 8 for k.
-2
Suppose 16 = -0*j - 4*j, -l - 12 = 3*j. Suppose -4*f + 24 - 1 = 3*p, 2*p + 5*f - 27 = l. Suppose -12*a = -11 - p. Solve -2*m + 10*c - 5*c = 5, m = c - a for m.
0
Let y be -3 - 592/(-20) - 15/25. Let o be y/7 + -4 - (-32)/14. Solve -o*t = u - 2, -3 - 7 = -5*u + 5*t for u.
2
Suppose 3*k + 2*v = 5, 3*k + 5*v - 22 = 5*k. Let l be 2 + k - 35 - 2. Let w be l/(-4 + (-1 - -3)). Solve 0 = -p + 5*u - w, 0 = 2*p - p + 2*u - 10 for p.
2
Suppose 5*n = 4*q + 29, 3*n - 4*q = -n + 24. Suppose -32*h - 3*l - 7 = -28*h, -4*h + 11 = l. Solve -h*t = 15, 9 = n*y - 2*y - t for y.
2
Let j = 3103 + -3101. Solve 5*m - 27*t = -30*t + 14, 5*t = -j*m - 2 for m.
4
Let p(f) = 3*f**2 - 11*f - 19. Let n(y) = 17*y**2 - 56*y - 97. Let z(c) = -2*n(c) + 11*p(c). Let i be z(-5). Solve 3*q = -2*j + 2, 0*q - i*j - 29 = -q for q.
4
Let m = 9 - 6. Let b be (-5 + 2 - -7)*m/(-12). Let p be 4 + -1 + (0/(-1) - b). Solve 0 = -5*i + 3*s - 19, -p*s - s = -15 for i.
-2
Let x be ((-135)/(-12) - 4)/((-2)/(-16)). Suppose 54*n + 16 = x*n. Solve 0 = 4*m + n, 13 = 4*f - f - m for f.
4
Let t = 764 + -219. Let k = t - 543. Solve 5*r + f = -26, 8 = -k*r + f - 1 for r.
-5
Let y = -6534 + 6538. Solve -8*f = -3*g - 10*f - 4, -24 = y*g - 2*f for g.
-4
Let b(f) = -f**3 - 12*f**2 + 88*f + 54. Let z be b(-17). Solve -2*j - 2*r - 26 = 3*r, 0 = -z*j - r - 13 for j.
-3
Suppose 6*r - 11*r + 32 = -2*k, 2*k - r = -16. Let w be 3 - -3 - (-4 - k). Solve -w*d = 5*z - 10 - 35, -5*z + 2*d + 15 = 0 for z.
5
Let l be (63/(-42))/(3/4). Suppose -1 = 3*w - 4, 0 = 2*v - w + 33. Let b be l*(-1)/4*v/(-4). Solve b*i - 3*c = -0*i - 15, 4*c - 20 = -i for i.
0
Let v(w) = -w**3 - 3*w**2 + 10*w. Let t be v(0). Let n(q) = q**2 + 7*q - 63. Let u be n(-14). Solve 5*r + u = m + m, 3*r + m + 10 = t for r.
-5
Suppose -6*v + 3 = -5*v. Let r(h) = h**2 + 3*h. Let y be r(-4). Suppose 4*c + 17 = 3*u, -4*c - 11 = y*u - 5*u. Solve -x - 9 = -5*g, g + u = -v*x - 8 for x.
-4
Let m(t) = t**3 - 3*t**2 + 7*t - 7. Let d = -35 - -37. Let z be m(d). Solve z*v = -b + 6 + 7, 3*b = 5*v - 31 for b.
-2
Let n(i) = 21*i - 3. Let f be n(1). Suppose -39*c + 33*c = -f. Suppose -c - 5 = -8*z. Solve y + 0 = a + 3, -y + 3*a + z = 0 for y.
4
Let s(k) = -3*k + 67. Let v be s(-11). Suppose 38 - v = -2*q. Suppose 5*b = -0 + 10. Solve 3*m - 2*c = 19, -b*m = 3*m - 3*c - q for m.
5
Suppose 6*q + 305 = r + 307, -19 = -4*r - 3*q. Let f = 1 - 0. Let z be 1/(f + 0) + 1. Solve r*w + 6 = z*c, -c + 3*w = 2*c - 3 for c.
-1
Suppose 289 = -t + 56. Let q = t + 240. Solve q = -2*s - 3*i, -3*i = s + 3*s - 1 for s.
4
Suppose 3*f = -7*f + 400. Suppose -8*s + 18*s = f. Solve 9*a - c = 4*a + 17, -s*a = -3*c - 18 for a.
3
Suppose 10*l = -10*l + 24*l. Solve 4*z + 15 = f - 5, l = 3*f - z - 5 for f.
0
Let y(x) = -