 -z*d + 5*v + 25, 13*d + 15 = 11*d - 3*v. Suppose -l - 4 = d, 3*l - 7*l + 16 = 4*n. Solve 2*k - n = 2 for k.
5
Suppose 1456 = 4*u + 3*v, 0 = 9*v - 4*v + 20. Suppose 372*z = u*z + 55. Solve z = -10*j + 31 for j.
2
Suppose -2*y + 261 = i + 1411, 0 = -2*y - 3*i - 1146. Let o = 621 + y. Solve 43*s - 4 = o*s for s.
-2
Suppose 244 + 64 = -28*r + 28. Suppose 4*f = -5*q - 44, 4*q + 60 = 2*f + f. Let t = r - q. Solve -2*k = t*k for k.
0
Let i(d) = 2*d - 49. Let u be i(28). Let h be (u/4)/(76/(-16) - -5). Suppose -4 = -8*g + h*g. Solve -y + g*y - 6 = 0 for y.
2
Let m(p) = -19*p - 27. Let n(i) = -5*i - 7. Let v(d) = -2*m(d) + 9*n(d). Let z = 38 + -41. Let a be v(z). Solve 3*k + k + a = 0 for k.
-3
Suppose 0 = 115*a - 89*a - 8008. Solve 0 = 264*b - a*b + 396 for b.
9
Suppose w = -3*w + 20. Let g(b) = 5*b**2 - w*b - 68 - 4*b**2 + 68. Let f be g(6). Solve -f*i = -i for i.
0
Suppose 19*t = -255*t + 6576. Solve -b - 69 = -t*b for b.
3
Suppose -2*m = -o + 13, 5*o + 7 = -4*m + 2. Let f be 6/8 - 3*o/(-4). Solve 5*b + f = 6*b for b.
3
Let m be (-6)/36*0 - (-10 - 0). Suppose 6*l = m + 26. Solve 10 + l = 4*j for j.
4
Suppose -2*p - 2100 = -177*p. Solve p*u = 52*u - 160 for u.
4
Let x be (12/5)/2*(-20)/(-6). Suppose 4*c - 5*h + 5 - 1 = 0, 4*c = x*h. Suppose -3*o = 5*a, 4*o = c*a - 20 - 12. Solve y + a*y = -4 for y.
-1
Let k = 1635 - 1593. Solve -63 = 21*n + k for n.
-5
Let n be 3 - ((-1)/1)/((-6)/(-6)). Suppose n*m = 12*m - 4*m. Let o = 4 + 0. Solve m = -4*p - o for p.
-1
Suppose 5*h - 6 = -1, -5*h - 3 = -2*d. Let i = -114 - -106. Let t be 0 - i/(-3 + d). Solve t*f - 3*f - 10 = 0 for f.
2
Let h = -1973 - -2703. Solve -18*r + 622 - h = 0 for r.
-6
Let d(w) = -w**2 + 12*w + 15. Let f be d(13). Suppose -f*a + 3*z - 8*z = 10, 3*z = -12. Suppose 3*u - 8 = 4*l, -4 = -5*l + 1. Solve a = u*j + j for j.
1
Let q(i) be the second derivative of i**4/12 + 11*i**3/6 + 92*i. Let z be q(-11). Solve a + 1 - 3 = z for a.
2
Suppose 5*z - 237 = i + 3*i, -88 = -2*z + 5*i. Suppose -3*w + 0*w + z = 2*f, -3*w + f = -43. Solve -w - 17 = 8*u for u.
-4
Suppose 16 = -13*v + 17*v. Let n(w) = w**3 - 8*w**2 + 7*w + 5. Let u be n(7). Suppose u*o + v*y - 19 = 0, 0 = -2*o + y + 2*y + 3. Solve -6 = t - o*t for t.
3
Let a be (-75)/30*5/((-50)/12). Suppose 14*b - a = 18*b + 3*l, -3*b = -l - 14. Solve 2*u = b*u for u.
0
Suppose -3*g = 5*j - 952, 44*j + 4 = 40*j. Solve -g + 346 = -9*o for o.
-3
Suppose y - 2502 = -5*y. Let z = y + -408. Solve z = 2*g + 5 for g.
2
Let p = 40 - 55. Let x be (-6 + 9/3)*1. Let t be 0 + p/(-3) - (0 - x). Solve 3 = -t*l - 1 for l.
-2
Suppose -l = -2*q - 68, 1 - 26 = -5*q. Solve l*z - 3 = 81*z for z.
-1
Suppose 63*d + 2*q = 62*d - 4, 3*q + 13 = 2*d. Solve 3*n - d*n + 6 = 0 for n.
-6
Let w(r) = -r**3 - 2*r**2 + 25*r + 16. Let y be w(-6). Let q = 402 - 323. Solve -81*t = -q*t - y for t.
5
Let x be (-1)/(-2)*49*(13 - 11). Solve 0 = -5*k - 14 + x for k.
7
Suppose 0 = -38*k + 56*k - 36. Suppose -14 = -2*m - k. Solve 12*l = 9*l - m for l.
-2
Suppose 39*t = -46*t - 16*t + 1010. Solve 43 = -t*k + 23 for k.
-2
Let m(u) = -2*u + 13. Let s be m(4). Let p be 4/10 - (-23)/s. Solve 6*i + 25 + p = 0 for i.
-5
Let d be (-6 - (-6 + 5))*-3*7. Suppose d*c - 117 = 92*c. Solve c*x - 1 - 8 = 0 for x.
1
Let d(t) = 5*t - 5. Let v be d(6). Suppose 3*l = -q - 6, l + 4 = -3*q - l. Suppose -i - i + k + 20 = q, 24 = i - 4*k. Solve -i*f = -3*f + v for f.
-5
Suppose -3762 = -8*h - 2394. Solve -p = 169 - h for p.
2
Let t(r) = -r + 15. Let n be t(13). Let v be 124/8*(0 + 0 + n). Suppose 32*l = v*l. Solve 0*d - d = l for d.
0
Let g be -12*(-3 + 7/3). Let i(a) = a**2 - a - 12. Let d be i(5). Suppose -7*o = -22 + d. Solve o*b - 4*b + g = 0 for b.
4
Let b = -55 - -73. Let v = b - 18. Let h(n) = -n - 9. Let g be h(-11). Solve -g*i - i - 6 = v for i.
-2
Let y be 0/(((-4)/(-4)*5)/1). Suppose 45*s - 50*s = y. Solve 5*a + 19 + 6 = s for a.
-5
Let i(j) be the third derivative of j**4/2 - 7*j**3/6 - j**2 - 2. Let w be i(1). Suppose 0 = 2*g - 0*g - 4. Solve -w*u + 13 = -g for u.
3
Let m = 5658 + -5467. Solve -54*v - 79 = m for v.
-5
Let v(h) = 5*h**2 + 6*h + 12. Let u be v(-2). Suppose u = 5*n, -5*m - 3*n = -6 - 11. Solve 2*c - m + 5 = 0 for c.
-2
Let q = -948 + 931. Let v be 33/2 + 2/4. Let c = q + v. Solve -4*i - 4 = -c*i for i.
-1
Suppose -3*l - 2 = -5*s - 0, -2*l - 14 = 3*s. Let v be (s - 21/(-11)) + (-268)/(-44). Solve -5 = -v*o + 7*o for o.
-5
Let c(a) = a**2 - 52*a + 615. Let z be c(34). Solve -35*l + 32 = -z*l for l.
1
Suppose -67*r + 6611 = 16*r + 718. Solve -r*f = -25*f - 276 for f.
6
Suppose 264*v = 1082 + 2350. Solve -13*n + v = -0*n for n.
1
Let x(w) = -211*w + 6968. Let k be x(33). Let z = -3 - -5. Solve 3*d = -z + k for d.
1
Let q(a) = -a**3 + 7*a**2 + 3. Suppose 0 = -5*m - l + 32, -2*l = -2*m + 7*m - 29. Let x be q(m). Suppose 1 = -s, -x*p + 3*s - 2 = -11. Solve -j + 3*j = p for j.
1
Let c(p) = -6*p**2 + 6*p - 9. Let g(k) = -10*k**2 + 9*k - 13. Let t(d) = 7*c(d) - 5*g(d). Let b be t(1). Solve -b = 3*r - 22 for r.
5
Let l(g) = -15*g - 25. Let v be l(-3). Suppose v*c - 21*c = -6. Solve -5*a - 16 + c = 0 for a.
-2
Suppose -3*k = 5*p + 16, -2*p - 20 = -5*k - p. Solve -18 + k = -3*y for y.
5
Suppose 4*z = 20, 3*h - 2*z + 7*z + 746 = 0. Let n = h + 261. Solve -2*b = -n*b - 2 for b.
-1
Suppose -292*k = -411*k. Solve k = -26*z - 141 + 141 for z.
0
Suppose 0 = m + 27 - 25, 4*m + 2 = -2*r. Suppose 0 = r*n - 249 + 234. Solve -1 = n*o + 19 for o.
-4
Let l = -2 - -16. Let g be (-4 + -1)/(7/l). Let b = 12 + g. Solve -b + 17 = 5*u for u.
3
Let w = -27797 + 27797. Solve w = 16*u + 46 - 190 for u.
9
Let q = 2329 + -1590. Let g = q - 727. Solve g = 6*v - 2*v for v.
3
Let r = -7568 + 7568. Solve -2*o + 952 - 970 = r for o.
-9
Suppose -3*z - 97 = -109. Let x(b) = -b + 6*b - b - 4. Let a be x(z). Solve -3*u - u = -a for u.
3
Suppose 3*x + 135 = 27. Let r(y) = y**3 - 2*y**2 + y + 2. Let s be r(4). Let f = x + s. Solve 0 = z + z - f for z.
1
Let j be 1/((1 + 0)*(-1 - 112/(-98))). Solve 30 = -j*b + 16 for b.
-2
Let y = -18 - -21. Let g(h) = -2*h**3 + 13*h**2 + 14*h - 7. Let b(p) = p**3 - p. Let l(k) = y*b(k) + g(k). Let a be l(-12). Solve a*j + 8 = -2 for j.
-2
Let p be (5 - 3) + 1 + 10. Suppose -10*c + 604 = 524. Solve c*v = p*v + 25 for v.
-5
Let m = -29271 - -29370. Solve 0 = -29*i + m + 17 for i.
4
Suppose -19 = 5*m - 54. Let h(j) = 51*j - 354. Let g be h(m). Solve g = p - 1 for p.
4
Suppose 4*l = 390 + 42. Let j = 113 - l. Solve j*u - 9*u + 4 = 0 for u.
1
Let s(i) = 2*i**3 + 9*i**2 + 3*i. Let u be s(-4). Suppose 4*q - 36 = -3*l - q, 2*l = u*q + 24. Solve 8*x - l = 11*x for x.
-4
Suppose -19*w + 15*w = 3*g - 281, -w - g = -69. Solve -5*c = 49 - w for c.
5
Let j(x) = -97*x - 6651. Let l be j(-69). Solve -24*n - 258 = -l for n.
-9
Let m = -6568 - -6568. Solve m = 3*h - 43 + 46 for h.
-1
Suppose -3*t + 4*s = -16, 34*s - 8 = 5*t + 36*s. Solve -8*m + 105 - 145 = t for m.
-5
Let c be ((-1)/(-3)*-73)/((-397)/(-1191)). Suppose -x - 4*m - 162 = -3*x, -3*m - 3 = 0. Let f = c + x. Solve n = -f + 3 for n.
-3
Let b(h) = 5 - 64*h**3 + 65*h**3 - h**2 - 2*h + 7*h + 7*h**2 + h**2. Let r be b(-3). Solve 14 + r = 8*c for c.
5
Let u(j) = 44*j + 1151. Let a be u(-26). Solve a*o - 12 = 5*o for o.
6
Suppose -24 = -v - 3*j, -2*v - 3*j + 4465 = 4435. Let d(x) = x + 1. Let t be d(1). Solve t*g + g - v = 0 for g.
2
Let x(i) = -18*i + 808. Let b be x(44). Let w = -1 + 5. Suppose -w*t = -b, 21 = -s + 6*s - t. Solve s - 15 = 5*j for j.
-2
Suppose 4*h - 2*p = p + 372, -2*h + 4*p = -166. Solve 35*q + h = 46*q for q.
9
Let p = -4 + 6. Let n(k) = k**3 - 5*k**2 + 13*k - 54. Let l be n(6). Let t be 3/(-36) + l/720. Solve 0*y + p*y + 8 = t for y.
-4
Suppose -2*z - 6 = -4*z. Suppose 35 = z*o + 4*d, 4*o + 6 = 2*d + 16. Suppose -g + 10 = -2*j, 3 - 28 = o*g + 5*j. Solve g = 3*q - 6 - 3 for q.
3
Let c = -3631 + 3647. Solve c*b = -4*b + 20 for b.
1
Let t = -18713 + 19102. Solve -39 = -350*q + t*q for q.
-1
Let w = 9 - 4. Suppose -3*o + 9 = n, 2*o - w = -2*n + n. Solve -o*s + 3 = -1 for s.
1
Let b(z) = 3*z**2 + 28*z + 5. Let u be b(-9). Let m be 10/(-8)*(-8 - u). Solve -m*f = -f + 4 for f.
-1
Let x = 10 - -13. Suppose 2*g + 15 = x. Let d be g + -1 - 2/6*3. Solve -d = 2*l - 4*l for l.
1
Let g = -14 - -33. Suppose g*l - 28*l = -54. Solve -7*x + l*x - 1 = 0 for x.
-1