-5*c, -8 = -z*f + 2*c for f.
6
Suppose 4*x + 2 = -6. Let n(w) = -w**3 + 11*w**2 - 24*w + 39. Let m be n(9). Let k be ((-20)/(-4) - -1)*m/x. Solve 0 = 3*d - 2*i - 8 + 1, k = 5*d + 5*i for d.
5
Suppose 39*k = 79 + 1 - 2. Solve 1 + 2 = -5*h - 4*s, -2*h = k*s for h.
-3
Let s(r) = -7*r**2 - 2*r - 1. Let h be s(3). Let z be (105/h)/(1/(-2)). Solve -4*n - 4*d + 12 = 0, -z*n + 5 = -d - 0 for n.
2
Suppose 14*r + 37819 = 37875. Suppose 3*y - 4 = 5. Solve 3*z = -y*c + 4*z - 12, 4*c - r*z + 16 = 0 for c.
-4
Suppose a - 2*a + 3 = 0. Let n(c) = -2*c**2 - 2*c**2 + 5*c**2 + 21 - 15. Let q be n(0). Solve -a*p = -x + q, 0*p + 3*x + 24 = -5*p for p.
-3
Let r be (-6)/(4*(28/72)/7). Let z(a) = 3*a + 86. Let v be z(r). Solve -5*q + 0 = -p + 11, -2*p - 8 = v*q for p.
1
Let s(i) be the first derivative of -i**3/3 - 10*i**2 - 43*i - 214. Let l be s(-17). Solve -u + 4*u + 5*z = -6, 4*u + l = z for u.
-2
Let w(r) = r - 3. Let i be w(5). Let g be i/(-11) - 134/(-11). Let o be (-5)/(3 - -2)*(6 + (-110)/10). Solve 4*t + 5*k + g = 0, t + o*k = -4*t - 10 for t.
2
Let l(m) = -m**2 + 17*m - 43. Suppose 0 = -226*y + 231*y - 65. Let q be l(y). Solve 3*o + 5 = 3*c - 4, c = -3*o - q for o.
-3
Suppose -5*r + 2*n = 7*n + 10, 0 = -4*n - 20. Suppose -u = r - 2. Let q = u + 4. Solve l - 3*c - 17 = -0*l, 4*l - q*c = 32 for l.
5
Let i(l) = -l**3 + 25*l**2 - 4*l + 104. Let b be i(25). Solve 4*p + 2*s = -8, 4*p + b*s + 19 - 3 = 0 for p.
0
Suppose 3 = 2*n - 1. Let b = 33 + -28. Suppose 2*l = -4*i + 20, 2*i + 3*i - 25 = -b*l. Solve 4*r - w - 2*w = n, 2*r + 3*w + 8 = l for r.
-1
Let g be -24*(71/(-568))/((-2)/(-36)). Solve -g*k + 5*u - 16 = -56*k, 5*u - 4 = 2*k for k.
3
Let s be (-12)/2*10/(-15). Suppose 5*i - 7 = -4*b + 36, -b + 2 = 0. Solve -o + i = -s*z, 5*z = 2*o - 0*o - 11 for o.
3
Suppose -9 = 9*j + 3 - 30. Solve q - 4*t = -6, -6*q = -j*q + 5*t - 18 for q.
2
Let z(y) = y**3 - 5*y**2 + 4*y + 7. Let a be z(5). Suppose -23*p = 3*u - a*p - 19, -p + 5 = 0. Solve 0 = 5*k + 4*o - 0*o - 5, -5*o + u = 4*k for k.
-3
Let d be (-20)/(-110) - (-823)/11. Let c = 76 - d. Let o be (2 + (-12)/(-4))*c. Solve -o*b - 5*a = 35, 3*b + 5*a = a - 24 for b.
-4
Suppose 8*i + 29*i - 3922 = 0. Suppose i*t - 98*t = 32. Solve -2*q = -4*n - 0*n, 0 = t*n - 3*q - 4 for n.
-2
Let g(v) = v**2 - 9*v + 14. Let p be g(7). Suppose p = -3*n - d + 19, 4*n + 14 = 6*n + d. Solve -i + 5 = -2*w, i - 5 = -w + n*w for i.
5
Suppose 8 = -30*m + 32*m. Solve -m*c - 3*t = -18, 4*c - 22 = -0*c - 5*t for c.
3
Let c = -74 - -91. Suppose 0 = 37*s + 27*s - c*s. Solve s = -4*y - y + 15, 12 = -p + 5*y for p.
3
Let o(n) = -2*n**2 + n + 21. Let i be (8 - 4)/(-1) - -4. Let q be o(i). Suppose -3*j = 3 - 6, s + 2*j - 11 = 0. Solve -5*w - q = -v - 0*v, -w - s = v for w.
-5
Suppose -2*l = -4*d - 6*l - 8, 2*l = -5*d - 7. Let m be 2/((-22 - -21) + (d - -4)). Solve 3*t = 4*z + m, t - 4 = 5*z - 0 for t.
-1
Let m be 0 - 10/55 - 224/(-22). Let a be 51/6 - m/4. Solve 2*v - 20 = a*v - 2*j, -v + 4*j - 12 = 0 for v.
-4
Suppose 16*o = 12*o. Let y = -2950 + 2953. Solve 8 = -y*v - j, -3*v + 4*j + 5 - 18 = o for v.
-3
Let t(w) = 102*w + 5. Let u be t(0). Solve u*p - 9 = -4*d, 4*d + 9 = 5*p + 8 for p.
1
Let v(i) = -76*i - 6228. Let j be v(-82). Solve -16*c = -2*y - 20*c + 4, j*y - 4*c = 20 for y.
4
Let q = 714 + -712. Suppose -16 = -4*s - q*v, -3*s + 21 = 8*v - 11*v. Solve -45 = s*f - 5*x, 0*f - x = 5*f + 15 for f.
-4
Suppose -f - 10 = -2*o, 4*o = 5*f + 52 - 38. Solve 207*g + 6 = -2*x + 204*g, 0 = f*x - 5*g - 26 for x.
3
Let y = -5456 - -5462. Solve 0 = -4*w - 20, -4*l + y*l + 7 = -w for l.
-1
Suppose -19*k = -16*k - h - 17, h = -k + 7. Solve l + 1 = c, c + 2*l + 17 = k*c for c.
5
Let u be (-22)/(-187) - (-1515)/(-17). Let t = -80 - u. Suppose 4*k - 14 = 2*k + 2*n, -t = 3*k + 3*n. Solve k*b + 2 = 4*x, 3*x = x for b.
-1
Let r(p) be the first derivative of p**2/2 - 17*p - 143. Let y be r(22). Solve 1 = 5*d - 4*z, -3 - 26 = 3*d + y*z for d.
-3
Suppose 0 = 30*j - 27*j. Suppose 19*y - 87 + 11 = j. Solve m = 3, -2*f + 3 = y*m - 19 for f.
5
Let k(z) = 4*z + 18. Let x be k(-4). Solve -5*f + x*f + 2 = 2*o, -o + 1 = 4*f for o.
1
Let b be (-2)/(-7) - 1116/(-651). Let c be 6/9 - (-6)/(-9). Suppose -w - 2*w + 12 = c. Solve -2*o - 13 = w*f + o, -f + b*o = -5 for f.
-1
Let w be ((-39)/52)/(1 - 5/4). Let m(u) = 48*u + 629. Let y be m(-13). Solve -5*o + 1 = w*r, 4*r - 13 = -0*o + y*o for r.
2
Suppose -220 - 162 - 918 = -130*n. Solve 4*s - 3*y = 16, 4*y + 8 = -n*s + 12*s for s.
4
Let m(b) = -11 + 10*b - 9 - 2*b. Let s be m(3). Solve -3*a - s = p, 4 - 2 = -4*p + 2*a for p.
-1
Let s be (-1)/1*1*-4. Suppose -931 = 50*u - 1081. Let i(c) = -c - 3. Let x be i(-4). Solve s*z = -u*j + x, -5*z + 3 = j - 1 for z.
1
Let j(b) = b**2 - 5*b - 16. Let g(q) = -28*q**3 - 2*q + 1. Let i be g(1). Let y = 26 + i. Let w be j(y). Solve 3*l - 6*u = -u - w, 0 = -3*u + 12 for l.
4
Let v = -56 - -59. Suppose -5*g - v*x - 113 = 25, -5*g + 4*x = 131. Let m = g - -29. Solve -3*t + 22 = -4*n, t - m = -n - 4 for t.
2
Let n(h) = h**3 + 2*h**2 - 2*h - 1. Let w be ((-4)/1)/(1 - (-1 - 0)). Let j be n(w). Let v = 42 + -32. Solve -a + 4*a = -j*b + 15, 3*b = 2*a + v for a.
1
Let w be (-4)/10 - (-2 - 4/10). Let g(u) = 1 + w*u + 0 + u. Let p be g(1). Solve -6 = 5*j + f, 0 = j - f + p + 2 for j.
-2
Let s = -34307 + 34312. Solve -3*g = -x - 14, -9*g - 10 = s*x - 4*g for x.
-5
Suppose 2*c = -c + 3. Let a = 4 - c. Suppose 3*d = -u + 35, 4*d + 5*u + 750 = 793. Solve b - d = -a*t, 2*b - 14 = -2*t - 2*t for b.
-3
Let v be 6/21 - (1380/(-21) - 3). Suppose -14*u = -1 - v. Solve 3*j + 0*j = 5*d + 3, -5*d + u = 5*j for j.
1
Let n(z) = z**2 - 601*z + 12742. Let b be n(22). Let r be (2/1)/2 + 5. Solve -r = 2*o, 2*o - b = -4*k - k for k.
2
Let g = 508 - 505. Let o = -5 - -3. Let c = o - -5. Solve 4*t + c*m = -35, -2*m = g*m + 25 for t.
-5
Suppose -283 = -19*n - 112. Let o be n/90 - (-95)/50. Solve 19 = -2*f - 4*l + 1, -5*f = -o*l - 15 for f.
1
Let f = 8634 + -8629. Solve 5*p = -m + f*m + 45, -p + 4*m = -25 for p.
5
Suppose -5*z + 3*z - 12 = 0. Let h(p) = p**2 + 2*p + 1. Let v be h(z). Solve 17 = -3*w - 3*f + f, 3*w = -4*f - v for w.
-3
Suppose 14*v - v - 39 = 0. Suppose -v*j + 5 = -25. Suppose -j = 8*t - 50. Solve -t*b - l = -18, -b = b + l - 6 for b.
4
Let m(h) = h**2 - 2*h - 21. Let u be m(-4). Suppose 0 = 4*v, -2*p - u*v + 36 = -5*v. Solve -3*w + p = -0*o + o, 4*o - 2 = 2*w for o.
3
Suppose 2*p + 4 = 10. Suppose 10 = -2*u + 5*u + 2*x, 8 = p*u + x. Suppose 2*o + 4*q - 18 = 0, 2*o - 6 = u*q + 6. Solve 4*l - o = 2*a - 3, 2*l + 6 = 3*a for l.
3
Suppose 0 = -a + 5*k + 16, 4*k = -15*a + 10*a + 225. Suppose 0 = u - 5*t - a + 21, 3*t = -5*u + 16. Solve -u*i + 2*d + 24 = 0, -7*d + 3*d = 2*i for i.
4
Let l(x) = 7*x - 15. Let u be l(3). Suppose -3*j + u*j = 36. Suppose -o + 13 = 3*v, -4*v = -0*v - j. Solve 18 = -o*c - 4*i - 2, 10 = -5*i for c.
-3
Suppose 4*i = 3*a + 5*i + 1239, 826 = -2*a + 4*i. Let p = -411 - a. Solve 5*x = 5*q + 15, -5*q - p*x - 3*x - 5 = 0 for q.
-2
Let r be (-3)/5 - 1/((-20)/4612). Let n be (-1)/((-18)/(-45) - 102/r). Solve 3*k = 2*k + 5*f + n, -25 = 5*k + 3*f for k.
-2
Let r be (-1104)/(-108) + (-6)/27. Suppose 28 = r*x - 2. Solve -4*y + 2 = -3*f, -4*y + 7 = -x*y - 4*f for y.
-1
Let s = -466 - -177. Let i = s + 292. Solve 0 = -i*v + 5*f - 3 - 2, -2*f = -v - 2 for v.
0
Suppose 0*q + 12*q + 18*q = 60. Solve 4 = -c + q*x, -3*c = -15*x + 13*x + 4 for c.
0
Let z be -3*(-10)/(15 + -5). Solve r + v - 6 = 3*r, 5*r - z*v = -13 for r.
-5
Let i(s) = -s**2 + 46*s + 1005. Let n be i(62). Solve 4*a + p = -n, 4*a - 4*p = -0*a + 12 for a.
-2
Let w = 5 + 0. Suppose -8*b = -14*b + 222. Suppose 5*q + b = -30*s + 34*s, -10 = -5*s - q. Solve s*x - w = -5*k + 5*x, k - 1 = -4*x for k.
1
Let c be (4/(-3))/(17/(-51)*2). Solve 0 = -15*v + 11*v - p + 11, v + c*p = 8 for v.
2
Suppose 0 = 80*y - 250 - 320 + 90. Solve s + y = 2*a, 10 = 16*a - 13*a - s for a.
4
Let o = -24699 + 24813. Solve -2*b + 8 = 2*p, -115*p + 6 = -o*p + 2*b for p.
2
Suppose 0 = -9*z - 34*z + 129. Solve 0*o - 4*j = -5*o + z, 2*o - j = 0 for o.
-1
Suppose 424*b + 833*b = 3771. Suppose 56 - 156 = -4*a. Suppose 3 = 5*u - p - 18, -5*p - a = -5*u. Solve -24 = 5*v - b*h, 0 = u*v + 5*h - h for v.
-3
Let w = 94 - 53. Suppose 4*a - w = -5*v, 5*a = v - 3*v + 30. Solve 2*t - 5*m - 13 = t