i = -4*f + 10*w for f.
4
Suppose 0 = 2*m - 2*y - 34, 194*m - 198*m = 4*y - 44. Solve m*u + 4 = -2*j + 12*u, j + 14 = -5*u for j.
1
Suppose -18*q - 782 = -872. Solve q*n + 572*i = 573*i - 15, -2*i = -4*n - 6 for n.
-4
Let i = -51 + 53. Suppose 4*d + i*d - 30 = 0. Suppose -4*x + 10 = -d*w, -4*x + w + 5 + 13 = 0. Solve -g - 4*g - k - 4 = 0, x*g + 16 = -4*k for g.
0
Let f(b) = -b**2 + 6*b + 8. Let m be f(6). Let j be (-1 - m) + (1 - -5) + -9. Let l be j - -20 - 1*3. Solve 0 = -z - 3*u + 4, -z = 3*z + l*u - 9 for z.
1
Let g = -306 - -451. Let m = g + -98. Let r = m - 45. Solve -4*f = -5*q + 21, -f - 5*q + r = 1 for f.
-4
Suppose 3*c - 8 = -2*r, 5*c - 7 = 3*c - 3*r. Solve h - 16 + 7 = -4*n, 2*h = c for n.
2
Let k be -5*(-8)/20 - -2. Suppose 2*h = 5*h - 30. Let r be (-4)/(-8) - h/(-4). Solve m + r = c, -k*c + m = -6 - 6 for c.
3
Let u be (-19)/(760/15) - (-2145)/88. Solve -3*x - 3 - u = 4*y, -2*x = 5*y + 25 for y.
-3
Let k(c) = 15*c - 3. Let p be k(7). Suppose -22 = -31*h + p. Solve -4*z + h*u - 16 = 0, 0 = 2*z + 2*z + u - 4 for z.
0
Let c be (-920)/(-6) + (-120)/(-180). Let l = c + -153. Solve -t - l = -6, 2*t - 15 = 5*r for r.
-1
Let v be (-2492)/(-70)*-1*5*1. Let s = v - -181. Solve -3*t + 2*t = -3*c - 15, 21 = s*t - 3*c for t.
3
Suppose 0*i - 6 = 2*i. Let g be (-5 - -3)/((-16)/448). Let x be (-4)/i - g/(-12). Solve -x = -2*p - 0*p - 5*z, -5*z + 10 = 0 for p.
-2
Let v(q) = 42*q - 48. Let n be v(14). Let f = -537 + n. Solve -1 = f*g + 2, -2*z + g = -9 for z.
4
Suppose -5 = -3*z + 4*g, -3*g + 6 = z - 13. Let n be (-12 - -3) + 16 + -3. Solve 5*b + 1 = n*a, -z*a + 2*b + 10 = -3*a for a.
4
Let x = 20934 - 20921. Solve -k - 5*k - 1 = -b, -3*b + 2*k - x = 0 for b.
-5
Let s(j) = j**2 + j - 3. Let h be s(-3). Suppose 0 = -10*t - 101 - 29. Let v = -8 - t. Solve h*m - 12 = 5*m - 3*u, 3*m - 20 = -v*u for m.
0
Let l = -44 + 45. Suppose 0 = 5*h - 8 - 12. Suppose 3*t - 3*k + 20 = 14, 2*t - 21 = -3*k. Solve -31 = -5*i + h*m, -l = m + t for i.
3
Let x(a) be the third derivative of -a**4/12 - a**3/2 - 8*a**2. Let k be x(-4). Suppose m = 1 + k. Solve -2*b + 19 = 3*n, 0 = n - m*n + 25 for b.
2
Let d be 115/9 + (-248)/(-1116). Solve -2*j - i = -5, 0 = j + d*i - 12*i - 3 for j.
2
Let g be -3 - (28/(-5) - 30/75). Suppose 6*p = -g + 15. Suppose p*q - 6 = 2*j, -5*q + 4 + 7 = -j. Solve -2*n - 13 = 3*k - 0*n, 0 = 5*k + q*n + 23 for k.
-5
Let p(u) = u**3 + 28*u**2 + 170*u - 16. Let b be p(-19). Solve 6 = b*h, 7*x - 5*x + h = -8 for x.
-5
Suppose 10*b - 4*b - 12 = 0. Let x be (3/(-2))/(b/4). Let m = 7 - x. Solve -3*o + m = -v, -8 = 5*v + 2*o + 8 for v.
-4
Let y be 4/(-5) - 6*(-10)/75. Suppose 4*g + r - 1 = y, 0*r + 2 = 2*g + 2*r. Solve g = -5*t + 2*x + 8, 0 = -4*t + 3*x + 12 - 0 for t.
0
Let v(o) = -10*o - 61 - o**2 - 26*o - 11*o + 27*o. Let f be v(-13). Solve 0 = -3*z - g - 2, -5*z - f = 4*g - 9*g for z.
-2
Let s = 5692 - 5664. Solve 5*h - 8*h + i = -2, 5*i = -4*h + s for h.
2
Suppose -3*h + 87 = 2*c, 5*h + 3*c - 53 = 3*h. Suppose 24*b - h = 41. Solve -4*j + b*z + 35 = 0, 0 = 2*j - 2*z + 4*z for j.
5
Let v be (12/6 + (5 - 7))/(-2). Solve v = -4*f + 5*f + d - 5, -4*f + 10 = -6*d for f.
4
Let b be (6 + -6)/((-2)/(-2)). Solve t - 14 = -t + 6*u, b = -4*t - 2*u + 14 for t.
4
Let x = -5 + 11. Suppose -63*k + 62*k + 27 = -4*g, -3*g - 28 = -k. Suppose -5*t + k - x = 0. Solve -3*z - t*c = -0*z + 18, z - 2 = c for z.
-1
Let y(i) = -i + 4. Suppose 27 - 8 = 19*k. Let f be y(k). Solve 13 = 3*b - 2*q, -f*b + q + 17 = 6 for b.
3
Suppose -58*q + 332 = 25*q. Solve 0 = -q*w - 2*r + 10, 8*r - 17 = -5*w + 4*r for w.
1
Let b(j) = j**3 - 10*j**2 + 10*j + 38. Let x be b(8). Let h be (2 - 5)*x/6. Solve -r + 21 = 5*g, -5*r = h*g + 8 - 33 for g.
4
Let o(r) = r - 3. Let h be o(5). Let c = 822 - 830. Let u(t) = -t**3 - 9*t**2 - 10*t. Let x be u(c). Solve -4*d = 4*p - x, -h*p + 4*d = 2*p + 24 for p.
-1
Let b(o) = 3*o**2 + 17*o - 20. Let c be b(-5). Let w be (-75)/c*(-6)/(-5). Solve -w*f - 2*m = -2, -f + 4*f = -3*m for f.
2
Let b = -821 - -826. Let t be 134/(-10) - -13 - (-12)/b. Suppose 3*d + 3 = 0, -2*i + 2 = -3*d - 5. Solve -4*f - 4 = -0*f - i*j, t*f - 6 = -j for f.
1
Suppose 5*o = 5*s - 20, -50 + 12 = -4*o - 5*s. Solve -5*c = -5*h - 25, -o*c = -3*h - 9 - 5 for c.
1
Suppose -5*l - 302 = -6*m - 237, -4*m = 2*l - 6. Solve m*a - 2 = -0*z - 2*z, -3*a - 24 = -3*z for z.
6
Suppose 305*x - 427*x + 488 = 0. Solve -f + g = -x*g - 14, 0 = -5*f - g - 8 for f.
-1
Let v(q) = 2*q**3 + q**2 - q - 1. Let n be v(2). Let x be n + (1 - -3) - (-3)/3. Suppose -x*y + 23*y - 24 = 0. Solve -2*w = -5*o + 3*w, -3*w = 3*o - y for o.
4
Let n = 8710 - 8691. Solve -n = -2*m + 3*v, m = -12*v + 13*v + 8 for m.
5
Let y(j) = 2425*j - 4840*j - 7 + 2420*j. Let m be (-1)/(-2 - -3) - -3. Let p be y(m). Solve 0 = 3*s + p + 12, s = -5*l + 5 for l.
2
Suppose -192*w + 130*w = -186. Solve -n = i - 8, w*i - 4*n + n = 0 for i.
4
Let u = 3 - 2. Let d be 15/(-25)*(-5)/u. Suppose -735*l = -719*l. Solve d*v - a + 0 - 15 = 0, l = a + 3 for v.
4
Let c = 9371 + -9361. Solve -5*o = -4*o + j, 2*j + c = -4*o for o.
-5
Suppose -7*x = -3*h - 3*x + 474, 0 = 5*h + x - 813. Let k = 164 - h. Let t be ((-10)/(-6))/((-5)/(-45)). Solve t = -3*g - 5*m, -2*g - k*g - 3*m = 20 for g.
-5
Let d(y) = y**3 + y**2 - 4*y + 2. Let a be d(3). Suppose 0 = a*m - 21*m + 15. Let g be (m/(2 + 7))/1*-3. Solve -24 = v + 5*t, -9 + g = -3*v + t for v.
1
Suppose 131*b - 39*b - 36*b = 0. Solve k = -8*f + 4*f - 15, b = -4*f - 4*k for f.
-5
Let h = 14491 + -14455. Solve -33*j + 3 = -h*j + 3*z, -5*j + 16 = 2*z for j.
2
Suppose -57*t + 2589 - 1392 = 0. Solve -6*h + 17 = -3*j - 11*h, t = 5*j - 4*h for j.
1
Let i = -385 - -391. Suppose -4*h + 30 = -2*d, -9*h + i*h - 5*d - 10 = 0. Solve -3*w + 0*w + 4*t = 1, 3*w - 5*t = -h for w.
5
Suppose 0 = -2*a + 9*a + 56. Let i = a + 12. Let h be i - (-3 + 20/5). Solve -l = -h*u - 17 + 3, -5*l - 2 = 3*u for u.
-4
Let l be 1*4/(-12) - 70/(-30)*4. Solve 84*c = 3*j + 85*c + 9, 3*j - 4*c + l = 0 for j.
-3
Let b = -16 - -17. Suppose 7 = z - b. Solve 4*w - 34 = -5*i - 4, 2*w - i - z = 0 for w.
5
Let p = -57 + 68. Suppose -7*a + 95 = p. Let y = -7 + a. Solve 4*c - 5*w = 17, 0*c + w = -2*c + y for c.
3
Let v = 16 + -11. Let r(y) = -8*y + 186. Let b be r(20). Suppose -14*s + 30 = -b. Solve 6 = -i + v*t, 0 = -4*t + 4 + s for i.
4
Let u be (9 - 3)*(451/33 - 12). Solve 3*i - 2*o = -u, -3*i - 15 = 9*o - 12*o for i.
0
Let i(p) = -168*p + 11093. Let n be i(66). Solve -s = y + 8, 26 = -n*y - 3*s - 6 for y.
-4
Let h = 1073 - 1746. Let b = -669 - h. Solve -3*q + 4*p = 2, b*q = q - p + 8 for q.
2
Suppose -t + 11*t = 20. Suppose 9 + 5 = t*c. Suppose c*i = 4*i - i. Solve -4*z = 5*u - i*u + 40, 2*z - u = -6 for z.
-5
Suppose 3*g - 47 = -5*s, -4*s + 61 = -10*g + 15*g. Solve 0 = -2*h + 3*z - g, -4*h + 4*z = -18 + 26 for h.
3
Let k(h) = -h + 3. Let v be k(0). Let f = 7437 - 7434. Solve -f*b = n - v, 0*n + 3*b - 9 = -3*n for n.
3
Let h(a) = 502*a - 2001. Let u be h(4). Solve -d - 4*i = -u, 0 = -11*d + 7*d + 3*i - 29 for d.
-5
Let y = 295 - 279. Suppose 7*i + 18 = y*i. Solve 3*r - 13 = -i*m, 2*r + 0*r = -2*m + 8 for m.
-1
Let m(o) = -2*o - 16. Let p be m(-10). Suppose p = -z + 3*z. Suppose -3*v + 7 = g - z*v, -v + 4 = 0. Solve 0 = 5*s + 4*i + 40 + 5, s - g*i = 10 for s.
-5
Let a = -724 - -734. Solve -2*w + 4 = 5*h, 4*w = 9*w - 2*h - a for w.
2
Let i(j) = -36*j + 42. Let n be i(5). Let s be (-3381)/n - 2/(-4). Solve s = -5*h, 0 = w + 3*w - 5*h - 41 for w.
4
Let y = -3833 - -3835. Solve 0 = y*a, 4*j - 8*a - 20 = -3*a for j.
5
Suppose -l - 1 = 3. Let w be l/(-12)*-7*-3. Suppose 4*j = 2*c, -4*j + 2*c = -w*j. Solve 4*f + 6*b - 8 = b, 4*f - 2*b + 20 = j for f.
-3
Suppose 2*j - 15 = 2*k + 13, 0 = 3*k - 3. Suppose j*w = 19*w + 72. Let b be 2*(-4)/28 - w/14. Solve 5*h = 3*i - 7, b = -3*i - 4*h - 10 for i.
-1
Suppose w + 8*y - 38 = 0, 33*w - 2*y = 31*w + 4. Solve -w*f = -s - 2*f + 16, 16 = 5*s - 4*f for s.
0
Suppose 0 = -6*b + 19 + 35. Suppose 0 = 3*u - 3*p + b, -3*p + 9 + 4 = -u. Let r be -2 - (3 - (-1 + (u - -7))). Solve 0 = s - q - r*q + 18, 2*s = 5*q - 24 for s.
-2
Let v(r) = 6*r + 32. Let k be v(-5). Let i(p) = -2*p**3 + p**2 + 4*p + 2. Let z be i(-1). Let h be z/(2 + (-33)/18). Solve -u + k = n, -3*u + h = n - u for n.
-2
Let x = 25 + -104. Let k = x + 79. Solve 5*r = 2*z + 10, k 