, -3*s + 4 = 5*f + 13 for f.
0
Let z be (-236)/59 + 2/3*6. Suppose z = 14*p + 5*p - 190. Solve 0 = 2*k + f + 2, -2*k = 3*f - 4*f + p for k.
-3
Let t = 4261 - 4255. Solve 0 = 4*o - 3*z + 8, 10*o - 12*o = z - t for o.
1
Suppose 19*h + 18 = -115. Let o(y) = y**2 + 5*y - 12. Let m be o(h). Solve -2*s = 5*f - 1 - 2, 0 = m*s - f - 9 for s.
4
Suppose -132*b = 3*b - 675. Solve 0 = -s - 3, -3*s - 13 + 14 = b*d for d.
2
Suppose -5*g = 2*b - 16, -4*b + 0*b = -3*g + 20. Let f be (-5)/2*(-12)/(-6). Let s be 5 + (1 - (-4 - f)). Solve -3*u - 3*h = 0, 0 - 1 = -g*u - s*h for u.
-1
Let j be 16/(-2) - (1 - 7). Let n be (4/5)/j - (-17)/5. Solve 2*s + 1 - n = 5*k, 10 = -3*s + k for s.
-4
Let o = -2 - -7. Let p(i) = 4*i**2 + 48*i - 871. Let w be p(-22). Solve o*r - 2*z - w = 6, 4*r - 9 = z for r.
1
Let u = -23656 - -23677. Solve 4*b + u = -5*q - 3, 2*b = -4*q - 18 for q.
-4
Suppose 3*m + 27 = 3*k, k - 5*k + 61 = m. Suppose -k*n + 28 = 2*g - 9*n, -n - 4 = -2*g. Solve 0 = -i + 5*i - g*u, 2*i = 3*u for i.
0
Suppose t = 35*t - 66 - 70. Solve -4 = 3*f - o + t, -14 = -f - 3*o for f.
-1
Let r be (3/(-2))/((-3)/6)*-1. Let i be (1/(-3) + (-6)/9)*r. Solve -i*m - 17 = -f, 8 = -m - m for f.
5
Let l be -1 + 198/6 + -12. Solve -4*j - 16 = -2*m + 6*m, j = -5*m - l for m.
-4
Let y = -6885 + 6889. Solve -4*k - 16 = y*h, -5*k - 4*h - 24 = -h for k.
-6
Suppose -5 = -126*w + 125*w. Solve 3*b + w*m + 17 = 0, 5*b - 3*m - m - 21 = 0 for b.
1
Let k = -751 - -755. Let v be 3 + 32/k + (-8 - -2). Solve 5*s + 2*y + 4 = -10, -s - v*y = 12 for s.
-2
Let r = -20 + 24. Suppose 0 = -3*d + 5*d. Suppose 3*g + n - 5*n - 1 = d, 0 = -r*g - 4*n + 20. Solve 3*q + g = -3*l, -2*l + 4*q = -l + 16 for l.
-4
Let a = 20714 + -20635. Solve a*o - 81*o - 10 = 4*s, 5*s = 3*o - 29 for s.
-4
Suppose -1001 = -30*u - 881. Solve -5 = -2*x + g, x - 9*g + 2 = -u*g for x.
3
Let d(x) = 2*x**3 - 2*x**2 + x - 5. Let l be d(4). Let r = -1187 - -1097. Let v = r + l. Solve -4*y - 25 = -o - 2*o, v*o = y + 19 for y.
-4
Let j = 47 - 44. Suppose -3*f - 5 = 4*h - 38, j*f - 6 = 5*h. Suppose 0 = -f*n - n. Solve i = 5*z - i + 10, n = 3*z - i + 5 for z.
0
Let k(f) = 7*f + 15. Let o be k(-2). Suppose 14*p = 22*p - 40. Solve -o = j - 3*w + 2*w, 4*j + 1 = p*w for j.
-4
Suppose 0*o - 46*o = -1564. Solve 14*d - o = 11*d + 5*h, 4*d - 32 = 4*h for d.
3
Let j(f) = -f**2 + 24*f - 13. Let d be (9 + -6)/(4 - (-178)/(-46)). Let z be j(d). Solve -2*x - 2*x = -20, 5*y + z = -3*x for y.
-5
Let z be -1 + (270/(-60))/((-6)/4). Let j(h) = h**3 - 16*h + 3. Let u be j(-4). Solve -z*v + 11 = 2*v + g, -3*v + u*g = 3 for v.
2
Let m = 90 - 69. Suppose 3*d + m = 6*d + 5*f, -d + f - 1 = 0. Solve 2*j = -d*w - 4, -3*w - 5 - 4 = 0 for j.
1
Suppose 2*u - 6*s + 18 = -10*s, -5*s - 16 = -4*u. Let i be 35 - 32 - (u - 1). Solve -3 = 5*p + 3*a - 2, -p - 3*a = i for p.
1
Suppose 19*s = 25*s - 840. Suppose -127*y = -s*y + 39. Solve l = y*l + 4*i - 14, -i = -2*l - 1 for l.
1
Suppose 5*f - 24 - 61 = 0. Let m(s) = 8 - 3*s**2 - 7 + 17*s + 3 + 2*s**2. Let z be m(f). Solve -17 = z*i - 3*i + 4*r, i + 5*r = -20 for i.
-5
Let g(t) = -t**3 - 6*t**2 - 8*t - 16. Let c be g(-6). Suppose c*x = 42*x - 30. Solve -3*n - 15 = 0, f + 5*n + 27 = x for f.
1
Let p(i) = 3*i**2 + 3*i + 6. Let f be p(0). Suppose 24 + f = 15*z. Solve 2*x = 2*s - 4, -z*x = 2*s + 3*s - 31 for x.
3
Let p = 2377 + -2325. Solve 0 = -4*t + 5*d - 35, -2*t - 3*d - p = -51 for t.
-5
Suppose 5*w - 7 + 36 = u, 3*u + 13 = -5*w. Solve -4*h = 8, 3*j + 0*h - 23 = u*h for j.
5
Let k(z) = -z**2 - 4*z + 63. Let g be k(5). Suppose 2*f = -4, -5*b - 11*f + 15*f = -g. Solve 5*c = -b*u + 10, -3*u + 1 = -c + 3 for u.
0
Suppose 259 - 239 = 4*d. Solve d*z - 5 = z + 3*f, 10 = 2*f for z.
5
Let g = -50 + 50. Suppose 2*l + 2*o - 6 = 0, 3*l - 5*o + 8 + 7 = g. Suppose -11*c = -6*c - 30. Solve 4*f = 2*z - c, -3*z + 5*f - 1 + 9 = l for z.
1
Let l = 32 + -30. Let x(s) = -s**3 - 17*s**2 - 2*s - 31. Let k be x(-17). Solve -l*g + 2*z = g + 1, k*g = -2*z - 5 for g.
-1
Suppose 3*v + 265 = 280. Suppose v*q + 22*z - 18*z - 14 = 0, 2*q - 5*z = -1. Solve q*b = 2*n, -4*b + 30 = 5*n + b for n.
3
Suppose 295*t = 292*t + 5*v + 17, -t + 5*v = -9. Solve -16 = 3*y + 2*a - 18, t*a = 5*y + 26 for y.
-2
Suppose -32*v - 7 = -u - 37*v, -2*u + 14 = 4*v. Solve -3*r - 10 = 4*l, 5*l = 2*r - 31 + u for l.
-4
Suppose -81 = -2*l - d + 30, 0 = -l + d + 60. Solve -4*i + l = 37, 21 = -v + 5*i for v.
4
Let s = 4 + -6. Let m be -4 - ((-8)/4 - 0)*4. Let k = s + m. Solve -q - 24 = 3*u - 5*q, -u = -k*q + 10 for u.
-4
Let p = 234 - 231. Let q be (-18)/24*40/(-6) - p. Solve 0 = u - 2*x - 8, q*u + 0*x - 2*x - 6 = 0 for u.
-2
Suppose -3*t + 7*t = 2*r - 14, -5*t - r = 0. Let s be 10/25 - (t - (-21)/15). Solve -2*c - g + 4 = s, 0 = 5*g - 0*g for c.
2
Let j = -4898 + 4900. Solve p - j*s = -3, -p - 4*s - 1 + 22 = 0 for p.
5
Suppose -216*q - 804 = -484*q. Let l be 9 + 0 - (4 - 2). Solve s + b = -4*b - 29, b - l = q*s for s.
-4
Let f be 44*((-3)/6)/(-1). Suppose 2*g = -5*q + 24, q - f = -2*q - 5*g. Solve -3*x = -2*y + 10, -2*y = 3*y + q*x + 21 for y.
-1
Let b = -714 + 715. Let x(s) = 4*s**2 - s + 2*s**2 + 5*s**2. Let i be x(b). Solve -4*q = -5*c - 26, -2*c + 3*c = -3*q + i for q.
4
Let s(p) = p**3 - 11*p**2 - 35*p - 90. Let y be s(14). Solve 2*m + y = -4*x, 5*x - 2*m + 13 = -6*m for x.
-1
Let g(c) = -c**3 + 31*c**2 + 33*c - 36. Let l be g(32). Let i be (2 - 5)/(9*l/48). Solve 4*u - i = w + 6, 5*u + w = 8 for u.
2
Let w(d) be the first derivative of -d**2 + 74*d - 10. Let i be w(33). Solve f = 2*f - 5*x + i, -f = -3*x + 4 for f.
2
Suppose -5*t = -u - 197, 0*u + u - 3 = 0. Let w be (t/15 + -4)/(12/(-18)). Let n be (-2)/(-6) - 5/(-3). Solve -n*a = -w*g, 8 = -3*a + g + 2 for a.
-3
Let r(w) = 7*w. Let z = 512 - 512. Let c be r(z). Solve -k = -t + 4 - 7, c = -5*k + 25 for t.
2
Suppose 5*h + 420 = 5*g, h + 143 = 2*g + 4*h. Let f = g + -69. Let s(c) = c**3 + 2*c**2. Let k be s(-2). Solve 4*i = -2*n + 7*n + 11, -3*n - i - f = k for n.
-3
Let h be (212/318)/((-4)/(-66)). Solve 12*r - 9*r + 3*f + 24 = 0, 2*r = -f - h for r.
-3
Let v = -135 + 155. Suppose s = o + 4, 5*s = -6*o + 3*o + v. Solve 2*n - 3*y + 5 = o, -3*n = 5*y - 4 + 21 for n.
-4
Let w = 394 - 395. Let h be (1/3)/((7/(-63))/w). Solve v - 15 = -2*z + 4*v, -h*z + 24 = -5*v for z.
3
Suppose 0 = -3*f + 3*g + 15, 0 = g + 6 - 4. Suppose f*c - 19 = -8*h + 3*h, 3 = -3*h. Solve -5*s - 20 = 0, -4*s = 4*z - 9*s - c for z.
-3
Let u = 305 + -305. Let c(p) = p**3 + 16*p**2 + 2*p + 36. Let h be c(-16). Solve -10 = 4*y - u*y + g, -h = -2*y + 4*g for y.
-2
Let d = 82 + -79. Suppose d*p = -0*p - p. Solve y - 5*i - 25 = 0, p*i + 20 = 5*y - 4*i for y.
0
Let s(x) = 7*x**2 + 35*x + 153. Let a(k) = 8*k**2 + 33*k + 152. Let p(n) = 5*a(n) - 6*s(n). Let v be p(-18). Solve 0 = m + v*q - 1, -q + 5*q - 11 = -3*m for m.
5
Suppose -5*q + 109 = -41. Solve 0 = -3*k + 4*k + 3*i + 10, -5*i - q = -k for k.
5
Let g(l) be the third derivative of -l**5/60 - 19*l**4/24 + 34*l**3/3 + 24*l**2 - 2*l. Let y be g(3). Solve 3*s = 3*c + 15, 5*c = y*c - 5*s - 15 for c.
-5
Let d be (768/36)/(-8)*(-273)/364. Suppose 4*w - 28 = 8. Suppose 3*m - 3*v + 2*v - 13 = 0, w = 3*m - 3*v. Solve 0*u - 3*u - m = -4*t, t = -d*u - 7 for t.
-1
Let i = 4933 - 4923. Solve -3*h - i = b + b, -h = 2 for b.
-2
Let u be 231/21 + -4 - -1. Solve u*z + k + 7 = 12*z, -8 = -3*z - 2*k for z.
2
Let y(b) = -38*b - 1. Let o be y(0). Let m = o + 4. Solve m*l + 0*h = -5*h + 1, l - 5*h + 13 = 0 for l.
-3
Let h be -1 + (-1 + -2 - -23). Suppose o + 3*g + 48 = 0, 4*g - h = -2*o - 105. Let q = o + 33. Solve -z - c + 4 = -q*c, -4*c + 4 = 0 for z.
3
Let f be 0*4*(-1)/(-8)*-2. Let l = 12 - 0. Suppose f = -10*x + l*x - 4. Solve -2*d = 4*u - 4*d - x, 0 = -3*d + 3 for u.
1
Let j = -45 + 84. Suppose -18*a + 4 = -122. Suppose -a*d = -j + 11. Solve f - 3*p + 7 = -d*p, 2*f - p - 1 = 0 for f.
-2
Let u be -11 + (16/(-64))/((-2)/88). Solve -12*q - 26 = -x - 17*q, u = 3*q - 15 for x.
1
Suppose 105*c + 40 = 4*w + 101*c, -w + 22 = -5*c. Let k be 2/3 - (-4)/12. Let r be k/(1 - 2)*-2. Solve 5*a = r*a + f + w, f - 1 = a for a.
4
Suppose 22*h - 102 = 3462. Let i = h + -147. Solve -d = -a + 1, -3*d - 2*d + i = -a for d.
4
Let m be (4 + (6 - (-114)/(-12)))*-8. Let u be ((-27)/m + -7)/(3/(-36)). Solve -4*c = -4*r + 4, -u*r + 2*c = -0*c + 2 for r.
-4
