Solve 3*j - a = s - 4*s, -5*j = s - 2 for s.
2
Let n be 720/(-240) - 1/((-2)/18). Solve -1 = -l - 2*y + n*y, 5*l - 5 = -2*y for l.
1
Let f be (-5)/(-40) + 162/(-16). Let j(d) = -d**2 - 8*d + 20. Let g be j(f). Solve -3*l + 2*z + 18 = -3*z, 5*l + z - 2 = g for l.
1
Let p = 48 + -23. Let a be (-1 + -7 - -2)/(-2). Suppose -22 = -2*d + 3*f, -f = 3*d - a*f - 23. Solve 4*k + 11 - 31 = 4*w, d*k - p = -3*w for w.
0
Suppose 0*b - 4*b = 312. Let a = -42 - b. Suppose -4*d = -4*t + a, 2*t + 3*d - 13 = -0*d. Solve l - 4*p + 19 = 0, 5*l + t - 1 = -2*p for l.
-3
Let a be (372/(-62))/(3/6 + -1). Solve b + b = 5*n - 20, 0 = 4*b + 3*n - a for b.
0
Let r(x) = -x**3 + 7*x**2 - 11*x + 25. Let w be r(5). Suppose -120 = g - 5*g. Suppose -g = 5*f - 10*f. Solve f*d - d + w = -5*v, -6 = 3*v - 3*d for v.
-3
Let t be (4/(-8)*0)/(-1). Suppose t = -z - 4 + 8. Solve 0 = 4*j - 4*q, -z*j + 5*q = -j + 6 for j.
3
Suppose 5*u - 30 + 25 = 0. Let g be 9 - (4 + u) - (-1 + 3). Solve 0 = 2*i - 3*a + 2*a - 5, -3*a = g*i + 7 for i.
1
Let d(z) = -z**3 + 8*z**2. Let q be d(8). Suppose q*j = j - 4. Solve 3*x - x - j*p = 0, -2*x = -5*p + 2 for x.
4
Let v be (24/32*(-20)/(-3))/1. Solve -4*y = v*g - 28, -5*g = -5*y - 0*g - 10 for y.
2
Let v = -40 + 52. Solve -5*r + 0*r - 20 = -l, v = -3*r + 5*l for r.
-4
Let d be 54 + -50 - 1*2. Solve 2*w = -d*x + 4*w, -3*w = -3 for x.
1
Suppose 3*o = -q + 4*q + 57, -q = 5*o - 65. Suppose -o*x + 8*x + 18 = 0. Solve 4*n = 6*b - b + 33, -2*n - 11 = x*b for n.
2
Let d be 1/(5 + -6) + 3. Solve -a + 1 = -d*z, 2*z + 0*z - 5*a + 5 = 0 for z.
0
Let j be 32/14 + (-12)/42. Suppose -16 = 2*u + j*b + 2*b, -2*b - 8 = 2*u. Solve 3*h - 8 = x - u*x, 28 = 4*x + 3*h for x.
4
Let l = -694 + 710. Solve -q + l = s + 2*s, -4*q = 3*s - 19 for q.
1
Let k = 5 + -5. Let f be (26/(-10) + 2)*-5. Solve 5*o - 11 = -t, k = 2*t + o + f - 7 for t.
1
Suppose 2*w - 38 = -4*l + 14, -w + 62 = 5*l. Suppose -y - 5*u + l = -3*y, 2*y + 5*u - 28 = 0. Solve 0 = -5*k + y*c + 11, -5*c = k + 3 + 18 for k.
-1
Let y = 142 + -114. Let v = 32 - y. Solve -w + 6 = 3*f - 5, f = v*w - 5 for w.
2
Let i(j) = -40 - 7*j + 38*j - 11*j - 15*j. Let r be i(12). Solve -2*u = -5*w + 16, -5*u = -u + 3*w - r for u.
2
Let l(w) = 4*w**3 - 9*w + 10. Let q be l(2). Solve -26 = -5*t - 4*m, 4*m = -6*t + 2*t + q for t.
2
Let o(t) = 4*t**2 - 131*t - 29. Let h be o(33). Solve 5*g - h*y = -1 - 0, -2*g + 4*y = 10 for g.
3
Let n(q) = 11*q + 4. Let j(k) = -5*k - 2. Let r(h) = -13*j(h) - 6*n(h). Let a be r(-1). Solve a*w + 6 = -w - 2*y, 0 = -2*y - 10 for w.
1
Let a(w) = w**3 - 10*w**2 - 1. Let i(m) = 2*m**3 - 20*m**2 - 1. Let f(n) = -5*a(n) + 3*i(n). Let z be f(10). Solve z*k + 5*g = -5 - 12, 2*g = 2*k - 4 for k.
-1
Suppose 0 = -2*i + 4 - 2. Let z be 18/12*2*i. Solve z*x = 4*p + 4, -5*x - 2*p = 2*p - 28 for x.
4
Let p(d) = -6*d + 8. Let r be p(-3). Solve r = -5*s + 3*k, k - 24 = 4*s - 3*k for s.
-4
Let s(a) = a + 3. Suppose 17 = 4*i + 3*x, 3*x - 1 = -0*i + 4*i. Let p be s(i). Solve 0 = -5*t + r + 6, -4*r + 3 = -4*t - p for t.
2
Suppose y + 5*y = 0. Let m(w) = -w + 15. Let h be m(y). Suppose -4*l = -5*s + h, -4*l + 2*l + 9 = 3*s. Solve s*z = -3*b - 27, -1 - 4 = -5*z + 5*b for z.
-4
Suppose -59*p = -18*p - 82. Solve -4*o = -p*c - 4, 6*o - 6 = c + 2*o for c.
2
Suppose 3*c - 22 - 20 = 0. Solve 1 = -2*a - 4*k + 3*k, -2*k = -4*a - c for a.
-2
Let q(j) = -2*j**3 - j**2 + j + 2. Let k be q(2). Let z be 5*(0 - k/20). Let m be z - (-1 + -1)/(-1). Solve -m*i - 28 = 3*v - 7*v, -4*v + 20 = 0 for i.
-4
Let w = -144 + 93. Let i = w - -53. Solve -3*u = -i*h - 2, 2 + 0 = -u for h.
-4
Suppose 0 = x - r - 6, -3*r + r - 2 = 0. Suppose 6*a = 2*a + u - x, -3*a - u = -5. Solve k = 4*s - 1, a*s = 5*s + 4*k - 17 for s.
1
Suppose 3*k - 9*k = -270. Suppose -48*x + k*x = -12. Solve 5*p = 5*y + 5, -p + x*y = -0*p - 16 for p.
-4
Let d(t) = -t**2 + 4. Let s be d(0). Suppose -s*m + 3 = -5*w + 42, -3*m - 17 = -2*w. Solve 4*q - 20 = 5*l - l, -l - w = -2*q for l.
-3
Let i = 364 + -212. Let y = 156 - i. Solve 9*x - 15 = -5*c + y*x, 0 = 4*c + x for c.
-1
Let b = 33 - 24. Let c = -15 + b. Let j be 1/(4 + 22/c). Solve 20 - 1 = 5*t + 3*o, j*t + 2*o = 12 for t.
2
Let t(x) = -x**3 - 26*x**2 - 28*x - 32. Let m be t(-25). Suppose 0 = 4*h - m - 5. Solve 4*i = 4*d, 0*i = -3*i - h for d.
-4
Suppose 6*h = 9*h - 30. Suppose -h = -6*r + 8. Solve -2*x - 4*a = -4, -3*x + x - r*a + 5 = 0 for x.
4
Let j be -1 + 2 + 6/2. Suppose 8*o - 7*o - 162 = 0. Suppose 0 = -7*l + o - 148. Solve -y - 2*x = -9, -5*y - j*x + l + 19 = 0 for y.
1
Let t = -485 - -489. Solve 5*h = 10, -t*h + 18 = -5*b - 0 for b.
-2
Suppose 2*q - 84 = -3*u, -9*u + 84 = -6*u + q. Solve 2*b - 6 = 4*l + 12, 4*b - 4*l = u for b.
5
Let c(i) = i**2 - 7*i + 1. Let h be c(7). Let b be (-20)/15*(8 + h). Let v be (-3)/b - (-2)/(-8). Solve v*l - 9 = 4*k - l, -5*k + 15 = 4*l for k.
-1
Let k = -89 + 93. Solve 0 = u - 4*f + 12 + 11, -k*u - f = 7 for u.
-3
Suppose 17*q = 5*q + 60. Solve -6*m + 2*v = -2*m + 24, 5*v + q = -3*m for m.
-5
Let w(g) = g. Let c be w(3). Let u = -1 - -1. Suppose -2*m + 10 = u, o - 3*m + 8 = -4. Solve 4*j + 3*d + 27 = 8*d, o*j + 2*d = -c for j.
-3
Let n(k) = k**3 + 4*k**2 + 5*k + 8. Let x be n(-2). Suppose 0*b + 12 = 3*w + b, -3*b + x = 3*w. Solve -13 = 5*l - 4*r + 16, -w*r + 15 = -2*l for l.
-5
Suppose 0 = 33*o - 17*o - 144. Solve -m + o = -3*k + 4*k, -2*k + 2 = -2*m for k.
5
Suppose h - b - 2 - 5 = 0, 5*h - 53 = -b. Solve 0 = -4*y - 8*x + h*x - 2, 5*x = 3*y - 2 for y.
-1
Let d be 2/(-15) - (-1177)/165. Let t = -31 + d. Let g = t + 40. Solve -2*y = -y + 4*z - 6, -5*y + 3*z - g = 0 for y.
-2
Let d = 69 + -33. Let h = -33 + d. Solve 2*p + 5*o + 15 = -h*p, -5*p + 25 = -5*o for p.
1
Let d = 3 + 0. Suppose 2*r - 57 = -5*y + 19, -3*r - 33 = -d*y. Solve 2*w = -0*w - 2*f - y, 3*f = -12 for w.
-3
Let v be 155/(-62) + 15/2. Solve 5*z = m - 17, -3*m - 4*z + 9 = -v*z for m.
2
Suppose 0 = 2*q - 4*z - 8, 6*q - 5*z - 16 = 3*q. Suppose -11*p + q = -9*p. Solve 6*j - j - 4*i = 8, 3*j = 2*i + p for j.
4
Suppose 5*y - 56 = -9*y. Solve -25 = -5*n, -4*u = 2*n - y*n + 22 for u.
-3
Let g(k) = -k**2 + 11*k + 18. Let i be g(12). Suppose -4*q = -i*q + 14. Solve w = -2*w + v + 17, w = v + q for w.
5
Let p = 467 - 443. Solve -4*m = -f - 12, -4*m = 2*f - 0*f - p for m.
4
Let f be -2*(-5)/(-10)*5. Let z = 7 - f. Solve 4*b + z = 0, 0*o - b = -o for o.
-3
Suppose -c - 6 = -2*c. Let g be (-2)/c*(4 + -13). Let z be -1 + 5 + (-6)/g. Solve 6*j + 18 = -z*b + 2*j, -5*b + 2*j = 9 for b.
-3
Let j(c) be the second derivative of c**4/12 + c**3 + 3*c**2/2 + 12*c. Let h be j(-6). Solve 15 = -2*d + f + 2*f, -9 = -h*f for d.
-3
Suppose u - 3 - 6 = 0. Suppose u*p = 4*p + 150. Solve 2*a + p = -3*a - 5*m, a - 4*m - 14 = 0 for a.
-2
Suppose -2*p = 2*g - 10, 3*p - 21 = -8*g + 4*g. Let l be (1 + g/4)*2. Solve 5*q + 6*i = i - l, -6 = 2*i for q.
2
Suppose -h + 4*h - 4*a - 33 = 0, -42 = -2*h - 4*a. Suppose 2*u - 15 = -5*z, -3*z + 5*u - 6 + h = 0. Solve 0 = -m - 0*m + 3*g - 19, z = -2*m - g for m.
-4
Suppose 0 = 2*a + 3*j - 35, -2*a + 7 + 58 = -3*j. Solve 0 = -5*o - a, 2*o = -3*g - 10 - 6 for g.
-2
Suppose -2*o + 116 = -0*o. Let f = -40 + o. Let p = 3727 - 3725. Solve -5*i - f = -p*g, 2*i - g = -7 - 0 for i.
-4
Suppose 0 = -4*p - 8, 9*i - 13*i + 152 = -4*p. Suppose 11 = -5*u + i. Solve -u*t + 2*m + 17 + 3 = 0, 2*m = -t + 4 for t.
4
Let i(v) = v**2 - 22*v - 27. Let m be i(24). Suppose 17 = 5*o - k, 3*k + 0*k = 5*o - m. Solve 0 = -w + 4*f + 8, w - f + 4 = o for w.
-4
Let q = 37 - 32. Suppose -3 = 2*w - 2*b - 11, 4*w = -4*b. Suppose 5*l = 5*r - 5, -r - 17 + w = -q*l. Solve 3*i - 3*d - 15 = -i, l*i + 15 = -3*d for i.
0
Let b(l) = 5*l**2 - 9*l + 10. Let h(r) = 4*r**2 - 9*r + 11. Let m(t) = 3*b(t) - 4*h(t). Let w be m(7). Solve -4*n + 5*z = -21, n + 3*n - 2*z - 6 = w for n.
-1
Suppose 3*t - 1 = 11. Suppose -5*r - 2*s = 29 + 163, -3*s + 187 = -5*r. Let k = 41 + r. Solve -k*c + 28 = -t*v, v = -v - 8 for c.
4
Let b = -835 + 837. Solve 0 = -2*o + 4, b*n - 3*o + 6 = 6*n for n.
0
Let j be 15 + 1/(14/4 + -4). Solve -5*o + 20 = 0, 4*m + j = 5*o + 5 for m.
3
Suppose 4*x + 11 = n - 9, 10 = -5*n - 2*x. Let f = 3 + n. Suppose -2*z + 3 = -z + 3*k, -4*z = -f*k + 3. Solve -3*c = -3*j - 18, z = -c + 3*c - 3*j - 14 for c.
4
Suppose 0 = -0*w - w + 2. Suppose w*n - 4 - 4 = -4*p, 0 = 3*n + p 