4*f - 11 = 5*h, c = p*f - 2*h + 4*h - 10 for f.
4
Let b be 3 - (4*-6 + -3). Let q(i) = 27*i + 164. Let c be q(-6). Solve -x + 5*v = 20, 5*v = -c*x + 5*x + b for x.
-5
Let k be 144/(-27)*3/(-1). Suppose 5*h = k*h. Solve 3*g + 24 = -h*f - 4*f, g + 4 = 0 for f.
-3
Let q = -45 - -4. Let c = q - -40. Let r be (21/(-9) + (-6)/9)/c. Solve r*g + 9 = -2*u - 10, 0 = 2*u + 10 for g.
-3
Let y = 11 + -8. Let a be (-10 + 12)/((9/y)/3). Suppose -a*g - 20 = -4*j, -4*j = -3*j - g - 7. Solve -3*t + 4*u + 28 + j = 0, 5*u = -t - 15 for t.
5
Let m be (0/(-3))/((-18)/9). Let i be (-4)/6 - 8/(-3). Let x = 0 - -5. Solve -6 = 3*a - m, -x*p - i = -4*a for p.
-2
Let p(t) = 4*t**2 + 155*t - 48. Let h be p(-39). Let v be 15/7 + (-23 - h)/98. Solve -2*w = 4*s + 6, 2 = w - v*s - 3 for w.
1
Suppose -4*a - 11*a = 125 - 350. Solve 0 = 3*b - 8*b + q + a, q = 0 for b.
3
Suppose -14*t - 4 = -15*t. Suppose 1 = t*x - 3*s - 7, 4*x = 5*s. Solve -n + 5 = q, n = q + 4*n - x for q.
5
Let b be (-8)/7*(46452/(-24))/79. Solve b = -4*d - 4*k, -2 = 4*d + 3*k + 23 for d.
-4
Let p be (-3)/((-54)/198) + -8 + (2 - 1). Solve -2*b - 74 = -2*g - 66, 1 = p*g - b for g.
-1
Let z(i) = -50*i - 40. Let d be z(-1). Solve -v + 4 = -5*y, -13*y = -v - d*y + 4 for v.
4
Let w(t) be the second derivative of 11*t**4/12 + 9*t**3 - 3*t**2/2 - 57*t. Let a be w(-5). Solve 0 = 5*c, -4*c = r - 0*c + a for r.
-2
Let j be ((-1 + -15)/(-2))/(3 + -1). Suppose i = -j + 6. Solve -4*m + 4 = i*z + 2, -4*z = -m + 14 for m.
2
Let n = -284 - -303. Let i be 76/n - (-17 - (-1)/1). Solve -4*f - 3*t + 0 = 4, -i = 4*f - t for f.
-4
Suppose -2*y + 3*u = -158, 0*y - u + 316 = 4*y. Let o = y - 67. Suppose 0 = -2*w - 5*c + 25, 4*w + 3*c - 3 = o. Solve 3*r - 4*r = w, -4*s + 4*r = -16 for s.
4
Let t be (-32)/12*(-3)/4. Solve -24 + 13 = -t*f - g, -2*g = 3*f - 17 for f.
5
Suppose 31 = -16*z + 95. Suppose 0*d = d - 3. Solve z*k - 9 = -o, -3*o - d*k - 21 = -7*k for o.
-3
Suppose -24 = -34*p + 10*p. Solve a - 4*v = 23, 3*a + v - p = 3 for a.
3
Let w be (23/2)/(39/(-6) - -6). Let c(q) = -q**3 - 24*q**2 - 27*q - 92. Let h be c(w). Solve d = -h*d - 4*j + 20, -j + 5 = -4*d for d.
0
Suppose -86*o - 390 = -164*o. Solve -3*t + o*b - 29 - 11 = 0, 0 = 2*b - 10 for t.
-5
Let n(l) = -l**2 - 2*l + 87 + 7*l + l + 9*l - 7*l. Let h be n(-6). Solve 0*j = 3*m - 3*j - 3, h*j + 5 = 5*m for m.
1
Suppose 46*t - 130 = 20*t. Let z = 7 - -2. Let s(p) = p**3 - 9*p**2 + 2*p - 6. Let h be s(z). Solve 0 = 4*g + 5*i - h, -t*i + 2 = 3*g - 3*i for g.
-2
Let p(w) = 16*w**2 - 1775*w - 109. Let y be p(111). Solve -6*x - 13 = -10*x - s, y*x + 5*s = -7 for x.
4
Let m(a) = -a**2 + 123*a - 3402. Let p be m(81). Solve 4*f - 5*h - 25 = p, h + 29 - 24 = 0 for f.
0
Let m(p) = -p**2 - 12*p - 34. Let a be 4/(-5) + 1482/(-285). Let j be m(a). Solve -j*k + 2*l + 10 = 0, 2*k + 13 = k - 5*l for k.
2
Suppose -3*l = 160 - 58. Let r = 35 + l. Let s be (16 - 15)/(r/17). Solve 3*m - 13 = -3*k - 1, 4*m + 5*k = s for m.
3
Suppose -2*u = -4*g - 300, -4*g - 5 = -5*u + 301. Let x = -72 - g. Suppose x*q = 14 - 4. Solve 4*p + 16 = q*m - 8, m = 3*p + 7 for p.
-1
Let u = -15327 - -15327. Solve u = 2*r - q - 2, 2*r = -154*q + 156*q for r.
2
Let g be 1 + -1 + (24 - -1). Let y = 327 - 327. Solve y = -2*v - 3*o - g, v = -4*v - o - 30 for v.
-5
Let z(n) = -2*n**3 + 9*n**2 + 2*n - 2. Let f = 22 + -18. Let u be z(f). Suppose 0 = -25*d + u*d + 6. Solve d*j - 18 = 5*k + 15, -2*j = 2*k + 2 for k.
-5
Let c(a) = 4*a - 12. Let s be c(3). Suppose -5*r + 0*r = s. Suppose r = -j - 2*j. Solve 0 = -0*k + 5*k + 10, -5*m + 4*k + 28 = j for m.
4
Suppose -194 = -2*w + 100. Suppose -24*k + w = -17*k. Let r be 1*9/k - 9/21. Solve -4*h + 2*c + r*c = 4, 5*h + 5*c = 25 for h.
1
Let s be (-2 - 4) + (17 - 11). Solve s = -m + 1, -5*w = -8*w + m + 5 for w.
2
Let u(l) = l**3 - 9*l**2 + 7*l + 1. Let r be u(1). Suppose 3*c + n - 15 = r, 2*n - 37 + 31 = 0. Solve 0*k + a = -c*k + 17, 5*k = -a + 20 for k.
3
Suppose w - 2*b = 16, -5*b = -882 + 922. Solve -2*u - 5*p - 3 = w, -5*p + 37 - 42 = 0 for u.
1
Let u(r) = -r**2 - r + 2. Let w(x) = 5*x**2 - 17*x + 123. Let h(i) = -6*u(i) - w(i). Let k be h(-28). Solve 12 = -4*p - 5*a, -p - 2*p - k*a = 14 for p.
2
Let k = -335 + 333. Let a be (k/3)/(-1) + (-860)/(-258). Solve 0 = -x - c - 0*c - 5, 4*x - a*c = 4 for x.
-2
Let j(y) = y**3 + 35*y**2 - 8*y - 280. Let t be j(-35). Solve -4*s + 3 = 2*x + 5, t = x - 3*s + 11 for x.
-5
Let u(n) = n**3 + 3*n**2 + 3*n - 5. Let i be u(1). Solve -3*m + 6*f = i*f - 20, -2*m - 3*f = 15 for m.
0
Let p = -11364 + 11368. Solve -3*i - 3 = -5*b - 27, p*i = -3*b - 26 for b.
-6
Suppose -2 = -u + 2. Let l = -438 - -440. Let p = -80 - -82. Solve l*m + n + p*n = 6, -2*n + u = 4*m for m.
0
Suppose 0 = -11*i - 50*i + 61. Let s be 1 - 0 - 3 - 6. Let m = s - -11. Solve -m*u + i = 5*x, 2*u + 2*u + 14 = x for x.
2
Let l = -3226 - -3229. Solve -7*i + 17 = -l*a - 6*i, -3*i + 31 = -4*a for a.
-4
Suppose 23 = -71*z + 236. Solve 5*t + z*c + 10 = 7*t, -3*c = 0 for t.
5
Let i(q) = -3*q - 1. Let x(v) = -2*v - 54. Let s(r) = -4*i(r) + x(r). Let k be s(5). Solve -2*o + 5 = -c, 4*c + k*o - 2 = -3*o for c.
-1
Let j = -97 + 73. Let v be (16/j)/(6/(-45)). Solve 3*f = v*c - 8, c + 24 = 3*c + 4*f for c.
4
Suppose 194*t - 38*t - 2964 = 0. Solve 3*w = 3*h + 88 - 82, 2*h + t = -3*w for h.
-5
Suppose -2*a = a - 18. Let l be -2 + ((-12)/(-9))/(2/18). Suppose -a*d = -8*d + l. Solve 2*g = t - 0*g + 4, 0 = -d*t + 5*g - 15 for t.
-2
Let p(s) = -s**3 + s**2 - s + 425. Let a be p(0). Let q = a + -420. Solve 2*m + m - 10 = q*w, 3*m + 35 = -4*w for w.
-5
Suppose 0 = -4*j - 3*u + 27, 558*j + 27 = 559*j + 3*u. Solve j = -o + s - 7, 10*s + 5 = -5*o + 9*s for o.
-2
Suppose 422 - 1286 = -432*j. Solve -3*o = -4*d + 1, -13*o + 10*o + j = -d for d.
1
Let n be (4*3/(-6))/(-3) - 5070/(-117). Solve 5 = -5*s, -n + 33 = -5*m + s for m.
2
Let z(m) = m**3 + m**2 - 3*m - 3. Let i be z(7). Suppose -24 = -8*b + i. Let w = -46 + b. Solve w*y + y = 2*d - 16, -5*d + 13 = -y for d.
2
Let s(i) = 3*i**3 + 33*i**2 + i + 21. Let w be s(-11). Solve -m = 3*x + 5, -5*m + 4*x - w = -42 for m.
4
Suppose -4*r = -2*r - 52. Let j = r + -22. Let a be 5*(2 - j/10). Solve -a = -4*z, -d + 3*d - 5*z = 0 for d.
5
Let z(h) = 2*h**2 + 65*h + 416. Let s be z(-24). Solve -2*i = -4*l - s, -3*l + 6*l + 8 = i for l.
-4
Suppose 387*f = 427*f - 1280. Solve 4*z + 25 = 3*g, -56*z + f = -61*z + 4*g for z.
-4
Let y(f) = -11*f - 113. Let t be y(-27). Let w = 186 - t. Solve 0 = -h + w*h - m - 3, -3*m - 17 = h for h.
-2
Let y = -17384 + 17412. Solve -16*k + 11*k - 11 = 3*h, -4*h = y for k.
2
Let f(o) = o**3 - 22*o**2 - 244*o - 12. Let p be f(-8). Solve 0 = 2*k + 4*d - 8, 5 - p = -2*k + 3*d for k.
6
Suppose 34*l - 504 = 20*l. Suppose -l*z = -43*z + 28. Solve -z*p + 0*r = 3*r - 15, 2*r = -2*p + 8 for p.
3
Let n(k) = -k + 2. Suppose -6*a = -2*a + 16. Let l be n(a). Let s be 5 - 4*3/l. Solve -2*w = 4*c + 6, -c = 3*c + w + s for c.
0
Suppose -8*c = 11*c. Let l = -27 - -29. Solve -f - 8 = 5*x, c*x - l*x = 2 for f.
-3
Suppose 2*o = 4 + 2. Let d be ((-7)/(-2) - o)/(2/16). Suppose 5 = d*t - c, t - 4 = -4*c + 10. Solve 0 = -0*v - 5*v + t*z - 8, 3*v - 3*z = -3 for v.
-2
Let q(t) = 2*t**3 - 107*t**2 + 351*t - 41. Let z be q(50). Solve -3*p = 5*n - z, -5*p - 22 = 34*n - 38*n for n.
3
Let i be (-71)/2 + (-1)/(-2). Let v = 759 - 715. Let g = v + i. Solve 4*x - g = l + 2*l, -x - l - 3 = 0 for x.
0
Let s = 287 + -426. Let a = 144 + s. Solve -6*g = q - 2*g + 1, -7 = -4*q - a*g for q.
3
Let x(w) = 4 + 7 - 2 + w - 2*w. Let k be x(9). Suppose -m - z + 3*z + 4 = 0, -5*m - 2*z - 4 = k. Solve -2*s - 3*r + 2 = -6*s, 2*r - 4 = m for s.
1
Let a(h) be the first derivative of h**4/4 - h**3 + 6*h**2 - 29*h + 102. Let f be a(3). Solve d + 15 = -3*x, 6*x - f*x = d + 5 for x.
-5
Suppose 97*p - 88*p = 18. Let i be 4 + 3*4/6. Let n = i + 4. Solve -p*h - 1 = -z, 4*h = -3*z - 17 - n for z.
-5
Suppose 4*g - 3*g = 17. Suppose 4*h + g = 5*l, -4 - 1 = h - 2*l. Let v be -1*(-3)/(-2)*(1 + h). Solve 0 = -0*n - v*n + 2*f + 19, 3*n = f + 17 for n.
5
Suppose 0 = 48*y - 51*y - 6. Let d be 4 - (5 + -4)*y. Solve 2*k + k + d = -2*m, -2*m = 4*k + 6 for m.
-3
Suppose 23*o + 24 = 15*o. Let t be -4*6/36*o*1. Solve q - 4*y = 1, -t*q - 4*y + 8*y = -6 for q.
5
Suppose c + 30 = 3*p, -12 = -p - p - 2*c. Suppose -13*q = 