 l, -2*l = -2*o + u*o for l.
2
Suppose -2 = c - 40. Let p = -18 + c. Let w be (1 - (-28)/p) + (-2)/5. Solve u + 3*u + 5*v + 5 = 0, u + w = -2*v for u.
0
Let y(i) = i**2 - 70*i + 1230. Let z be y(34). Solve -r + 98*u = 100*u + 2, 3*u = -2*r - z for r.
-6
Let k(x) = -2*x + 62. Suppose 37*i - 168 = 31*i. Let j be k(i). Solve 2*d - 12 = -b + j*d, 0 = 4*b - 2*d - 6 for b.
0
Let g be (-56)/6*(-1029)/2401. Solve -4*t - 4*j = -g, -7 = 5*t + 8*j - 6*j for t.
-3
Let s(b) = -b**3 - 8*b**2 - 137*b - 1304. Let n be s(-9). Solve 2*p - 13 = -x, 0 = 5*p + 2*x - 4*x - n for p.
4
Let w = 306 + -302. Suppose -w*l - 10 + 34 = 4*p, 3 = -4*l + 5*p. Solve -l*x = -2*k + 1, -k - 2*x + 4*x = 0 for k.
2
Let o(t) = 32*t - 1437. Let r be o(45). Solve -r*n = 3*u - 6, -4*u + 3 + 11 = n for u.
4
Suppose 4*z + 78 - 194 = 0. Suppose -g - z = -3*y, -5*g + y - 124 = 91. Let w = g + 47. Solve 5*b + 0 = 4*n - 1, -w*n + 4*b = 0 for n.
4
Let d(s) = -s + 16. Let g be d(12). Suppose -15 - 27 = -14*c. Solve 3*o - g = -r, -15 - 1 = -4*r + c*o for r.
4
Let a be (-54)/48 + ((-9)/(-8) - 1). Let w be -1*a/(-1)*-8. Solve -4*r = -5*f + w, -5 = r - 2*f - 0*f for r.
3
Let c(q) = -q**3 - 15*q**2 - 56*q + 19. Let h be c(-8). Solve 3*l + 2*l = r + h, 29 = 3*l - 5*r for l.
3
Let p(a) = a**3 - 7*a**2 + 10*a - 10. Let z be p(6). Solve 2*n - z = -2*d, 4*n = -n - 4*d + 33 for n.
5
Suppose -4*x + 9*k - 7*k = 2506, 0 = -3*x - 5*k - 1912. Let c = 633 + x. Solve 3*n + 3 - 5 = y, 5*n - 9 = -c*y for n.
1
Let m(i) = i**3 + i**2 + 8*i + 10. Let r be m(-4). Let y be (36/(-5))/6*r/21. Solve -17 = 3*s - y*h, -15 = 5*s + 3*h - 6 for s.
-3
Suppose 4*d = d + 657. Let z = -218 + d. Solve -3*w - 5 = -0*o - o, -w - z = -o for w.
-2
Suppose -59 + 3 = -8*q. Let z be (-387)/(-63) - 1/q. Let b be (2 - -1)*4/z. Solve b*a = 5*k - a + 3, a - 2 = 2*k for k.
-3
Suppose -2*t + q - 6 = -7*t, 0 = 3*q - 3. Solve l - w = 1, 2*w - w - t = 3*l for l.
-1
Suppose -5*i + 1 + 9 = 0. Suppose 3*m + 76 = 7*m + i*u, 5*m + 5*u - 90 = 0. Suppose 8 = 3*y - y. Solve -r - y*o + o - m = 0, -5*r = -2*o + 15 for r.
-5
Suppose 272*g + 2*d + 6 = 271*g, -5*g + 30 = -5*d. Solve -4*x = -4*s + 2*s, -g*x = -3*s for s.
0
Let q(c) = c**3 + 11*c**2 - 65*c - 66. Let x be q(-15). Solve 5*y = 2*y - g + 9, -5*g - x = -3*y for y.
3
Let v(d) = -3*d**3 - 1. Let x be v(-1). Let r be ((-5)/2)/((-1)/x). Solve -35 = -r*p - 5*w + w, -3*p - 6 = -3*w for p.
3
Suppose -q = -3*m - 3 + 22, -3*m + 2*q + 20 = 0. Suppose m*x = 172 - 28. Suppose -5*j = j - x. Solve -j*b = 4*s, -4*s = -19 - 1 for b.
-5
Let t be (-5 - -5) + (4 - 12). Let d be -1*(-4)/(t/(-4)). Solve -j - 2*l = 1, 2*l - d + 5 = -3*j for j.
-1
Let j be (-2 + 1)/(1/(-9)). Let f = 8375 - 8373. Solve -2*o - 7 = -2*r + j, -f*r - 3*o = -1 for r.
5
Let t(f) = -f**3 - 48*f**2 - 576*f - 12. Let a be t(-25). Solve -a = k - 3*n, 9 = -4*k - 3*n + 17 for k.
-1
Let y = 11 - 8. Let k(c) = 2*c**3 - 6*c**2 - 15*c - 23. Let z be k(5). Solve z*h = -2*h + 2*g - 4, y*h - 2*g = -1 for h.
-3
Let k be (924/110 - (3 + 6)) + (-128)/(-5). Solve -9*o + 5 = -5*o + g, -5*g = 2*o - k for o.
0
Suppose -12*l - 208 = l. Let k = l - -17. Solve -4*o + 0*f - 4 = 4*f, -o + k = -f for o.
0
Let l(x) = x**2 + 17*x - 114. Let b be l(-22). Let k be (-2)/(b - (-294)/77). Solve 0 = -r + 5*g + 21, -9*r = -k*r - 4*g - 14 for r.
1
Suppose -n + 31*y + 55 = 36*y, -y = n - 35. Solve 7*u - 3*u - t = 15, -2*u = 4*t - n for u.
5
Let q(k) = -k + 3*k**2 - 7*k - 2*k**2 + 26. Let t be q(6). Suppose -2*n - 3*x - t = -6*n, 11 = 3*n - 2*x. Solve -n*b - m = 4, -5*m + m - 16 = -4*b for b.
0
Let y(u) = 5. Let b(x) = -3*x + 27. Let g(o) = b(o) - 15*y(o). Let m be g(-17). Solve -m*t - 1 = d, -3*d + 5*d = 3*t - 11 for d.
-4
Let r = 147 + -151. Let u be 483/28 - r/(-16). Solve -4*b - 2 = 10, 0 = q + 5*b + u for q.
-2
Let w(x) = 5*x**2 + 357*x + 490. Let v be w(-70). Solve -19*u = -17*u - 3*z + 9, -5*u + 3*z - 18 = v for u.
-3
Let k be ((-9)/(-6))/((-18)/(-354))*-2. Let s = -55 - k. Suppose 1 = -s*c + 5. Solve 3 = 4*y - 5*g + 10, y - 2*g + c = 0 for y.
-3
Let q(t) = -12*t - 213. Let u be q(-18). Suppose f = -4*n + u, 3 = 3*f - 6. Solve 0 = 3*j - 5*v - 11, n*j = -3*j - 4*v + 2 for j.
2
Let r be (-6 + 3)/(-3) - -15. Suppose r*i + 520 = 42*i. Solve 5*b = -3*d, -8*b + 3*b = -d - i for b.
3
Suppose 5*d - 272 = -5*m - 237, 0 = 2*d. Solve -m*s + 4*s + 12 = 0, 0 = u + 3*s - 7 for u.
-5
Suppose -4*f + 377*z + 16 = 375*z, z - 20 = -5*f. Solve -2*r = -f*x + 20, 0 = -r - 2*r - 4*x + 20 for r.
0
Suppose 13*d - 125 = 9*d - h, -3*h - 105 = -4*d. Suppose -840 = -40*w - d*w. Solve -4*v - 4*o = w, -2*v = -v - 4*o - 22 for v.
2
Suppose -33*v - 312 = -7*v. Let q(d) = -13*d - 147. Let k be q(v). Solve s + 4*j + k = -9, -2*s + 29 = -5*j for s.
2
Suppose 5*c - 55 = -75, -4*g = 3*c - 4. Solve 0 = -g*h + u - 17, 3*h + 8*u - 4*u + 8 = 0 for h.
-4
Let p = -148 + 290. Let o = p - 128. Solve 3*m + 2*u + o = 0, -u - 1 = -m + 1 for m.
-2
Let x = 266 + -263. Suppose x*n = -s - 1, 4*n - 32 + 48 = 0. Solve 3*v = 2*i + 12, i = 4*v - 0*v - s for i.
-3
Let h(n) = 2*n**2 + 4*n + 3. Let l(v) = -v**2 + 3. Let p be l(-2). Let s be h(p). Suppose -f + 5 = -0*f. Solve -f*u + 3*a - a - 7 = 0, -s = -a for u.
-1
Let b = 45 + -43. Let v = 13 + -8. Suppose i - 2*y = 13, 0 = 6*i - b*i + v*y. Solve -f - i = -4*r, -2*r + 5*f + 6 = 17 for r.
2
Let t be (-44)/(-8) + (-3)/(-2) + -3. Suppose 0 = -2*a - 2, -4*a + 9*a + 11 = 2*h. Solve -5*m - 1 = -h*o + 17, o = t*m + 13 for o.
1
Let b(k) = -1 - 37 + 30*k - 33*k. Let a be b(-16). Let r(c) = 3*c - 12. Let q be r(a). Solve 2*j = -4*m + 16, 3*j + 5*m - q = m for j.
2
Suppose -3*u = p - 33 + 23, 0 = -4*u - 3*p + 5. Solve v - 10 = 5*x, -5*x + u*v - 10 = -0 for x.
-2
Let v = 121 + -123. Let g be (21/18*-3)/(v/4). Suppose 4*m + 5*r - 13 = 0, 5*r + 21 - 6 = 0. Solve 5*t + 4*u + g = 0, -5*u + 0*u + m = t for t.
-3
Suppose 2*x = -2*m - 26 + 38, 2*x = m. Solve -5*y - 2 = -4*c - 0*y, -x*c - y = 6 for c.
-2
Let n(z) = 2*z**3 - z**2 - 25*z + 2. Let h be n(6). Suppose -h + 256 = 4*q. Solve g + q*w + 4 = 0, -g + w + 2 = -3*w for g.
-2
Suppose -43*o + 21*o + 44 = 0. Solve 12 = -3*j - 4*n, o*j - 2*n = -j + 6 for j.
0
Let k(g) = -75 - 5*g + 41 - 79 + 0*g. Let y be k(-23). Solve 2*i - 24 = -5*m, -6*m + y*i + 12 = -2*m for m.
4
Let v be 7 + 0 + (-30 - (-1 - 24)). Solve -2*f = -5*q + 3*q - 10, 3*f - v*q = 11 for f.
1
Suppose -6*j - 8*j = -1736. Let c = 126 - j. Suppose -c*n = 5*r - 16, -2*n = 10*r - 14*r + 2. Solve 1 + 4 = -r*h + u, -h - 5*u - 30 = 0 for h.
-5
Let a(j) = -9*j - 124. Let g be a(-18). Suppose -47 = -5*n - 4*x + 5*x, -4*x = -5*n + g. Solve 3*v = -2*k - 0*v + 6, 5*k + 5*v = n for k.
0
Let q(t) = 3*t**2 + 6*t. Let s be q(3). Let l be (1 - s/25)/((-6)/315). Let c = -37 + l. Solve -4*x = -2*k + 14, -k - 13 = c*x - 2*k for x.
-2
Suppose 0 = 5*j + 4*n + 142, -4*j + 146 = -9*j - 2*n. Let x be 1*-5*(5 + 168/j). Solve 0 = -r - 4, -x*r = -2*g - r for g.
-4
Let m be 1/(-3 - -2) + 3. Suppose 7*h + 2 = m*y + 2*h, 0 = 4*y - 3*h - 4. Let j be 5*3/(30/4). Solve -j*d + 3*k = 3, 5*d + 2*k = y + 1 for d.
0
Let r be -43 - (-6)/(-3 + 1). Let l = r + 50. Let s = 13 - 9. Solve 4*h - s*y - 12 = -l, 3*y = 0 for h.
2
Let a be 48/(-120) + 18/(-5). Let l(f) = -f**3 - 5*f**2 - 6*f - 3. Let p be l(a). Solve -p*m - 11 = -m - 5*u, -m + u = 3 for m.
-4
Let t be -1 + 2 + (320/20 - 13). Solve 7 = 2*f - f - 2*z, 5*z = t*f - 13 for f.
-3
Suppose -25 = -2*m - k + 6*k, 15 = -3*k. Suppose m = -5*u - 9 + 24. Let y = 7 + -4. Solve 4*d = 5*l + 1, 0*d = -y*d - u for l.
-1
Suppose 0 = -9*p + 14 + 13. Suppose 74 = 2*y + s + 50, -y - p*s = -12. Solve -2*v - 4*g = -y, 3*g - 23 = -8 for v.
-4
Suppose -42 - 20 = -45*g + 14*g. Let l be (-25)/((-2 + 1)/1). Solve 2*v + 10 = g*p, -5*p - 6*v + 3*v + l = 0 for p.
5
Let k(n) = -n**2 + 1484*n - 7390. Let l be k(5). Solve -8*m - l*g - 39 = 0, 12 = m + 27*g - 32*g for m.
-3
Suppose 28 = -2*u + 2*b + b, -4*u = -4*b + 48. Let v be (-22 + 1)*2/(2 + u). Solve -q - v = 2*g, -2*g = -3*g - 4 for q.
1
Let y(p) = 89*p**2 + 5*p. Let c be y(-1). Suppose 10*k - 56 = c. Solve -14 = 4*m - 3*m + 5*f, -5*m + 3*f = k for m.
-4
Let m = -220 + 221. Let t be (m - 0)*(3 + -4)*0. Solve t = 4*i + q - 1, -3*i = i - 4*q + 4 for i.
0
Suppose 0 = -11*b + 2*b + 709 - 673. Solve -b*q + 7*z + 20 = 5*z, 0 = -3*z for q.
5
Let m(i) = -1