 = n*f for c.
-4
Suppose -4*f - 10 = -k, 0 = 4*f + 2*k - 5*k + 6. Let p be f/(-1 + 0/(-4)). Solve 3*x = 3*z - 18, -p*x + 2 = 3*z - 10 for x.
-1
Let m(s) = s**3 - 49*s**2 - 150*s - 292. Let u be m(52). Solve 3*i - 3*x + 5 = 2, 0 = 5*x + u for i.
-5
Suppose 10*f = 5*f + 25. Suppose 5*t - f = -q, -4*q + 20 = 13*t - 9*t. Solve 20 + t = -5*g, 0 = 5*p + 4*g + 41 for p.
-5
Suppose 6*d - 14*d + 40 = 0. Suppose 2*v + 3*v + d = 0, 61 = 5*q + 4*v. Solve 0 = -5*t - 4*g + q, 3*t + 0 = 2*g - 1 for t.
1
Let i(z) = z + 4. Let w(o) = 2. Let s(y) = -i(y) + 5*w(y). Let m be s(2). Solve -k + 3*d = -8, 0*k + m*k + 10 = -2*d for k.
-1
Let f(n) = -1 + 4*n**2 + 3 + 5*n + 4 - 1. Let v(z) = 3*z + 36. Let q be v(-13). Let j be f(q). Solve 5*u + 0*u = g + 27, 0 = -3*g + 4*u - j for g.
-2
Suppose -4*w + 356 = 3*c + w, 2*w + 552 = 5*c. Suppose -7*p = 2*z - 3*p + 212, 0 = -p + 1. Let m = z + c. Solve -3 = -0*d - 3*d - m*h, 4*h + 2 = 2*d for d.
1
Suppose 0 = -h - 4*h + 20. Let v(c) = -25*c + 20. Let d be v(0). Suppose 99 = 13*z + d*z. Solve z*x - 3*l - 13 = 7*x, -x - h*l = 0 for x.
-4
Suppose -3*z + 5 = n, 0*z - 5*n + 11 = z. Suppose -11 = -4*j + z. Solve 0*p - 3*p - 11 = -4*w, 0 = 4*p + j*w - 27 for p.
3
Let a = 4996 - 4993. Solve 27*b = 24*b + a, -y + 5 = b for y.
4
Let c = -2941 + 2943. Solve 2 = -d, -6*u + c*u - 12 = 2*d for u.
-2
Let u(m) = 5*m**2 - m - 4. Let c be u(4). Let f be 296/c - 5/45. Solve -p - 12 = -f*z, 0 = 2*z + z + 5*p - 9 for z.
3
Let z be 9/(-6) + 45/(-6). Let x(f) = 159*f**2 + 1 - 161*f**2 - 18*f + 2. Let m be x(z). Solve -5*q = m*o, -5*o + 8*o = -q + 12 for q.
-3
Let q = 323 - 327. Let u be (-2 + 5)/(q + (-92)/(-20)). Suppose -i + 2*z = 2, -3*i + 14 = 3*z + z. Solve -j - 4*n = 24, 3*j - 3 + u = i*n for j.
-4
Let u = -6825 - -6842. Suppose 0 = l - 1, -4*c - 3*l + 1 = -2. Solve 0*r - r + x - 5 = c, -4*x + u = -r for r.
-1
Let t(p) = -1891*p - 1888. Let j be t(-1). Solve 169*y - 166*y = k + 23, 0 = -y + j*k + 21 for y.
6
Suppose -5*l = -12 + 32. Let k be l/(-14) - (-1 - (-162)/(-21)). Solve -5*z - 1 = -3*h + k, 5*h - z = -20 for h.
-5
Suppose -10*p - 114 = -67*p. Solve 14 = -0*v + 2*v - 4*w, 0 = 2*v - w - p for v.
-1
Let d(r) be the first derivative of -3*r**2/2 + 56*r + 46. Let z be d(15). Solve -2*k - z - 7 = 4*p, 0 = 3*k + 15 for p.
-2
Let w be (2/6)/(24/(-72)). Let k be (-1)/(-3)*w*-9. Solve -5*j - 12 = -j + b, -3*b - 6 = -k*j for j.
-2
Suppose 2*q - 7 = -1. Suppose -3*l + 6 = -2*l - 2*o, 39 = 4*l - 3*o. Let x be 9/3 + l/4 - 2. Solve -p = -3*m - q*p + 13, 0 = -x*m - 3*p + 18 for m.
3
Let f(j) = -j**2 + 17*j + 87. Let b = -262 + 283. Let k be f(b). Solve 8*c + 9 = k*c + 3*d, c + 5*d + 13 = 0 for c.
-3
Let q = 3285 - 3281. Solve -21*m - q*y = -17*m + 32, 4*m + 5*y = -38 for m.
-2
Suppose 3*t = -5*k - 11, 2*t - 70*k + 72*k + 2 = 0. Solve -2*d - 5*i = -t*d + 4, 2*i = 5*d + 26 for d.
-6
Let h be -3 + 15 - 10/1. Solve 2*u + 4*q - 30 = 0, -4*q = -u - h*q - 5 for u.
5
Let z = -21 - -31. Suppose 4*b - 2*v - 6 = 0, -z + 0 = -5*b + 2*v. Let u = 78 - 76. Solve -f - b*r = 3*f, 5*r + 12 = -u*f for f.
4
Suppose 4*k + 100 = -y + 89, 4*y - 8 = -3*k. Solve 21 = y*w + 11, 2*w = 3*b - 8 for b.
4
Let w be (-126)/(-84) - (-590)/4. Let b = w + -144. Solve u + 3*u - 5*v = -19, -2*u = b*v - 13 for u.
-1
Suppose -3*t = 4*u - 219, 337 = -2*t - 4*u + 487. Solve -t*p + 74*p + 3*b = -31, -3*p - b - 17 = 0 for p.
-5
Suppose -5*l + 25 = a, -2*l - 13*a - 2 = -15*a. Solve -4*w + 25 = -3*v, 68*v = 72*v + 4*w - l for v.
-3
Let y(n) = 17*n - 57. Let r be y(6). Suppose s = -5, 0 = 4*l + s - 42 - r. Solve 4*m = q - 10 + 21, -5*q = -4*m + l for m.
2
Let i = -417 - -389. Let h be (i/70)/(2/(-5)). Solve -2*s = 3*l + 15, -2*l - 2*s - 9 = h for l.
-5
Let x be (12/5)/(15/100). Suppose x*r - 10 = 11*r. Solve -3*f - 9 = 0, r*z - 5*f - 27 = -2*z for z.
3
Suppose -2*z + 388 = 344. Solve -i = -3*g + g, -z = -4*i - 3*g for i.
4
Let g be (-4605)/(-8) - 87/(-232). Let v = -554 + g. Solve -4*p - 6*x = -4*x + v, -3*x = p + 18 for p.
-3
Let q = -191 + 196. Suppose -12*f + 340 = q*f. Solve a - 17 = 5*k, -3*a - a + f = -4*k for k.
-3
Let p be 1/(-8 - 330/(-40)). Solve -p*x - 8 = 0, -5*x - 10 = -4*k - 4 for k.
-1
Let y = -4411 - -4425. Solve 60*m - 6 = 62*m - 2*w, -3*m + 4*w = y for m.
2
Suppose 0 = 27*l - 6 + 6. Suppose -17*r = -10*r. Solve -3*n + r*n + 3 = l, 0 = -3*s - n + 13 for s.
4
Suppose 21*v - 26*v - 20 = 0. Let d be -1 - 2 - (0 + v)*1. Suppose 3*w - d = 3*s - 7, 3*s - 6 = -5*w. Solve 2*k = 4*i + 14, 3*k - 1 = -4*i - w for k.
3
Suppose 0 = 91*j + 15*j + 124 - 442. Solve -4*k + 5*v = j, 5*k - 19*v = -23*v - 14 for k.
-2
Let f(j) = 2*j**3 - 7*j**2 - 5*j + 12. Suppose 17*i - 44 = 24. Let a be f(i). Solve p - 3 = -a, 5*d - 10 = p for d.
1
Let p = -16290 + 16298. Suppose -3*s - 3 = -4*s. Solve -t + 2*j = s*t + p, 0 = 5*t - 3*j + 10 for t.
-2
Let y = -785 - -799. Let w(r) = 12*r - 153. Let f be w(y). Solve -5*i + 4*x - 8*x + 12 = 0, -5*x + f = 5*i for i.
0
Suppose 4*x + 4 = -0, 2*m - 3 = -5*x. Suppose 3*i = 15, -5*g + 18*i - 16*i = 0. Solve g*n + 3 = -r - 0, -m*n - 3 = r for n.
0
Let x = -21239 + 21310. Solve 10 = -3*i - j, -j = x*i - 72*i - 2 for i.
-3
Let z(t) = t**3 + 143*t**2 + 688*t - 250. Let q be z(-138). Solve 22*p - 1 = -k + q*p, 3*k + 2*p = -11 for k.
-3
Suppose -27*f + 1119 - 336 = 0. Suppose 4*y = f - 9. Solve 22 = -4*u + y*v, -4*v - 7 = -4*u + 9*u for u.
-3
Suppose 0 = s + o - 25, -4 + 25 = s + 2*o. Let t be (3 - 0) + s + -28. Solve t*r = 3*v - 6 - 10, 4*r + 3*v = 8 for r.
-1
Suppose 27 = -0*u + u + 5*n, -2 = 4*u - 2*n. Solve 4*t - u*a - 23 = -3, -5*a - 5 = -t for t.
5
Let i(j) = j**3 - 18*j**2 + 6*j - 41. Let c be i(17). Let m = c + 230. Solve 45 = -5*l + 4*u, 0*u = -m*u + 10 for l.
-5
Let y(q) = -48*q + 169. Let c be y(2). Suppose c*l - 64 = 57*l. Solve 3*w = i - 8, 5*w - 2*w + i + l = 0 for w.
-2
Suppose 0 = 4*v - 393 - 471. Let d = v + -191. Let t be (0 - 0)/(1 - 2). Solve -m + 5*u + 16 = u, t = 5*m + u + d for m.
-4
Let a be (2 - (-3)/(-6))*(-48)/(-18). Suppose 126*r = 124*r + a. Solve -2*b = 3*q - 10, 0 = -r*b + 3*q - 5*q + 6 for b.
-1
Suppose 142*w = 156*w - 56. Solve 3*k + 5 = 4*r, -w*k - 15 = -6*r + 9*r for k.
-3
Let p be -3 + 33/((-6)/2)*-1. Suppose k + k = p. Suppose 2*z + k = -w, -5 + 3 = -2*w + z. Solve w = -3*a + 2*v - 3, 3*a + 0*v = 4*v + 3 for a.
-3
Suppose -112 + 182 = 14*i. Let q be (1 + i/10)/((-12)/(-16)). Solve -u = 3*u + 5*f + 1, -10 = u - q*f for u.
-4
Let r = -832 + 826. Let d be -2 - -4 - r/(-3). Solve -5*v - 6 = 3*g + 16, 5*v + 4*g + 21 = d for v.
-5
Let v = 373 - 265. Let o be (-12)/162 + 548/v. Solve -o*z = 3*u - 5*u - 15, -2*u - 4*z = -12 for u.
0
Suppose -9*g - 28 = -48*g + 128. Solve h - 2*m + 11 + 3 = 0, -g = -m for h.
-6
Suppose 0 = -4*k - 3 + 19. Let q be (20/k + -3)/(2/3). Solve 2*t = -2*n + 8, -4*n + 20 = 2*t + q*t for n.
0
Let w(m) = -3*m**2 - 50*m + 51. Let f be w(-17). Suppose 5 = f*i - 30*i - 5*n, 4*i = -4*n - 4. Solve 0 = -2*o + 5*g - 5, -o + 0*o - 2*g + 11 = i for o.
5
Suppose 0 = 241*g - 262*g - 462. Suppose -2*s + 24 = -s. Let b = s + g. Solve -3*k = -k + 3*z - b, -2*k = 5*z - 2 for k.
1
Let d = 5233 - 5230. Let k(r) = 3*r - 3. Let u be k(2). Solve 2*n = -4*h - 22, -2*n - d*n - 27 = u*h for h.
-4
Let s(x) be the third derivative of x**6/120 + x**5/60 - 37*x**4/24 - 4*x**3 - x**2 - 84. Let r be s(6). Solve -2*c - 2*k = -r*c, -12 = -3*k for c.
2
Suppose 2*x - 16 = x + 3*b + 8, 0 = 5*b. Solve 6*l = -4*u + 10*l + x, -l = 4 for u.
2
Suppose -4 = -6*c + 8. Solve -g + 4 = q, 10 = 5*g + 3*q - c for g.
0
Suppose -275*f - 3 = -2*p - 278*f, 5*p - 60 = 3*f. Solve -3*j + 18 = -3*y, -p*j = -3*y - 12*j for y.
-3
Let u = -502 - -513. Suppose 0 = u*y - 11. Solve -23 = 5*x - 2*s, -x - 4*s + 3*s + y = 0 for x.
-3
Let n(w) = -w + 5. Let t be n(3). Let v be ((-4)/20)/(2/(-5))*6. Suppose -4*z + 1 = 4*j - v, -4*j = 16. Solve 2*u + a + 9 = 0, t*u + 3*u = a - z for u.
-2
Suppose -5*m - 409 = 4*g + 1487, 0 = 5*m - 4*g + 1864. Let w = m - -378. Suppose 9 = 4*t - 3*t. Solve -3*j = 3*h - 12, 4*h + j = w*j - t for h.
-1
Let c be ((-252)/56)/((-3)/(-42)). Let b = 67 - -6. Let f = c + b. Solve f = -4*j - p, -j - 12 = -2*p - 5 for j.
-3
Let i(b) = b**3 - 8*b + 2. Let a be i(3). Suppose 4*o = 5*s + 100 - 31, -37 = -2*o + a*s. Solve 4*u - 4*n = o, 0*n = -4*u - 2*n - 2 for u.
1
Le