- f*l = 17, l - 5 = 5*k - 0*l for k.
-2
Let g = 2282 - 2219. Solve -z = 3*x - 13, 5*z - 4*x + 93 = g for z.
-2
Let o = -4563 + 4567. Solve 4*h = 5*a - 31, 9*h + 4*a + 8 = o*h for h.
-4
Suppose 0 = n - 7 + 5. Suppose 5*l + 12 = -3*u, -7*l = 5*u - n*l + 30. Let t be u*(2 - 14/6). Solve -2*w = m + m, 4*m = -3*w + t for w.
-3
Suppose 0*i = 4*i + 24. Let a = 1 - i. Let c(z) = 3*z**2 - z + 1. Let w be c(1). Solve f - 3*g - 3 = a, 2*g + 14 = -w*f for f.
-2
Let c(z) = z**3 - 14*z**2 - 53*z + 861. Let f be c(13). Solve f*w - 16 = -54*q + 55*q, 21 = -q + 4*w for q.
-1
Suppose 0 = -11*j + 10*j, -3*x = -2*j - 93. Suppose -5*l = -2*d - 11, 13 = 30*d - x*d + 5*l. Solve -r = -2*a - 4, a = d*r + 6*a + 10 for r.
0
Let w = -4143 - -4155. Suppose 2*n = -3*n + 20. Suppose -f - n = -7. Solve -3*p + w = -0*p - 2*k, -15 = -3*p + f*k for p.
2
Let y = 402 - 402. Let h = -44 + 61. Solve -c + 14 = 4*c + 3*f, -5*c - 4*f + h = y for c.
1
Let c(p) = p**3 - 24*p**2 + 45*p - 16. Suppose -120*k = -127*k + 154. Let l be c(k). Solve -5*f + l*o - 3*o = -30, -5*o = 3*f + 16 for f.
3
Suppose 2*m - 8 = 4*r, m - 2*m + 13 = -5*r. Let a be (6 + -15 - 3/2)*m. Solve 0*c - 4*v = 5*c + a, -c - v = 5 for c.
-1
Suppose -18*l + 84 = -15*l. Let h be 22/8 + -1 - (-7)/l. Solve -z - 5*y = -14, z - 5*y = -h*y - 10 for z.
-1
Let y(f) = -116*f + 10. Let u be y(3). Let o = -336 - u. Solve 0 = -a - 4*p + 3, -18 = o*a - 0*a - 4*p for a.
-5
Let j be 16/16 - (-9 - (2 - 2)). Suppose 5*o = -j*o + 4*o. Solve -4*l - 3 = -2*c + 9, -2*c - 8 = o for l.
-5
Let s = -36 - -114. Suppose -14*h + h = -s. Let x be 12*3/6 - 2. Solve -3*t + 0 + h = 0, i - 5 = -x*t for i.
-3
Suppose 0 = 4*s - 2*y - 16, 0 = 2*s + 607*y - 604*y - 8. Solve -5*v - 4*o = 4, 0*o + s = -4*o for v.
0
Suppose -13*f - 55 - 283 = 0. Let r be 2206/f + 22/(-143). Let m = -74 - r. Solve 2*k = -0*k + 3*q + m, -4*k + q = -17 for k.
4
Let a(v) = 3*v**2 + 114*v + 320. Let f be a(-35). Solve -u + 4*o + 5 = 5*o, -2*u - f*o + 22 = 0 for u.
1
Let j(a) = 2*a**3 + 1. Let d = -401 - -402. Let z be j(d). Solve -1 = z*l - 2*l - q, -q + 13 = -4*l for l.
-4
Suppose 0 = j, v + 3*j - 63 + 11 = 0. Suppose 5*x + 4*r = 38 + v, 4*r = 0. Let z be 42/9*x/7. Solve -3*u + 13 = 2*q + 3*q, -2*u - 4*q = -z for u.
-4
Let i be (0/1 - -2) + 3. Suppose 2*q = i*k + 30, 7 = -3*q - 3*k + 10. Solve -2*u + 0*v = 5*v + 10, 0 = q*v + 10 for u.
0
Suppose -2*n + 3*v = -30, 0 = -5*n - 0*n + v + 49. Solve 5*p + 3*z + 20 = 0, 4*p - 15 = 2*z - n for p.
-1
Suppose c + 0 = 2. Let t(w) = c*w**2 - 6 - w**3 - 6*w**3 + 8*w**3 - 10*w. Let z be t(-4). Solve b = -z*y, -b + 5*y = y for b.
0
Suppose -15 = -17*h + 4*h + 50. Solve 8*a - 8 = 9*a + 4*c, 0 = -3*a + h*c + 27 for a.
4
Let m = -52 - -49. Let o be m/(1 - 105/114). Let z = -36 - o. Solve x = f, 2 = z*f - 4*x - 0*x for f.
-1
Suppose -5*d - 10 = 0, 3*b = 2*d - 6*d + 58. Let s = -15 + b. Suppose 2*n - s*n = -10. Solve -n*w + 3*l + 2*l = 9, 2*w + 4*l = 18 for w.
3
Let c be 0 + 1 - (3 + 0 + -7). Let p be (-1540)/88*20/(-25). Solve -4 = c*r + 2*h, -2*h = -3*r - r - p for r.
-2
Let i be 1/((-18)/4) - ((-473)/(-99) - 21). Solve 0*d - 2*d + i = -5*s, -4*d + 14 = -s for s.
-2
Let f be (-5)/(-60)*68 + (-1)/(-3). Let i(a) = 6*a + 23. Let s be i(f). Suppose -56*d + s*d = 9. Solve 4*b - h = -2*h - 8, d*h + 7 = 5*b for b.
-1
Let d(f) = f**3 - 7*f**2 - 22*f + 36. Let n be d(9). Suppose 4*o + 2*x - x - 24 = n, -2*x + 28 = 4*o. Solve 4*h = -4*q + 4, -5*h + 2 = 3*q - o for h.
2
Let u(j) = -3*j + 26. Let a be u(5). Suppose 12 = a*c - 9*c. Suppose -2*z + c = -3*m + 15, -9 = -3*m + z. Solve 0 = 4*v + m*l - 11, 5*v - 5*l + 27 = 3*v for v.
-1
Suppose 2*p = -4*f + 10, -3*f = -5*p - 16 - 11. Suppose f*c + 6 = 14. Solve 0*o + o = -4, c*o + 7 = -b for b.
1
Suppose 8*i - 3*i - 85 = 0. Let u = -852 - -857. Suppose -z + 3*o + i = 0, 3*o + 15 + 22 = u*z. Solve z*a = -2*v + 25, -4*a = 5*v - 0*a - 37 for v.
5
Let m(v) = 5*v + 14. Let f = 44 + -46. Let t be m(f). Suppose -2*q - t*g = 0, 4*q - 2*g - 15 - 5 = 0. Solve -q*c = 3*r - 7*c + 6, -5*r - 22 = -c for r.
-5
Let i be (1679/(-1150) - 3/75)*(-20)/6. Solve i*v + 4*a = 8*v - 1, 0 = -3*v + 3*a for v.
-1
Let x(p) = -82*p + 249. Let n be x(3). Let d = 1 + 3. Let u be 1/(-2) - (-2)/d. Solve 3*r = -2*i - 6, 9 = -n*r - i - u*i for r.
-4
Let j be ((-242)/(-55))/(1/5) + -9. Solve h - j = v - 10, 0 = -4*v + 4 for h.
4
Let z(w) = 75*w - 219. Let c be 1 + 2 - (-3)/(-9)*0. Let l be z(c). Solve 2*a - k - l = 0, 2*a + 2*k + k - 14 = 0 for a.
4
Let u(q) = -q**3 - 35*q**2 + 67*q - 257. Let f be u(-37). Solve -7*o - f = -10*o - m, -4*m = 2*o + 2 for o.
1
Let o be (352/24)/4 - 6/9. Suppose -2*i - o*r = -20, 2*r - 4 - 16 = -3*i. Solve -5*l + 32 = n + 2*n, i*n = 3*l + 4 for l.
4
Let m(h) = -h**3 + 34*h**2 - 87*h - 182. Let k be m(31). Solve -k*u = 5*c + 15, -4*u = -3*c + 6 + 17 for u.
-5
Let x(n) = -n**3 - 9*n**2 + 9*n - 3. Let q be x(-10). Let t be q/14 + 6/4. Solve 0 = -0*r - t*r + 2*d + 10, -3*r - 5*d = 1 for r.
3
Let z = -16 - -18. Let r be (8/2)/z - (2 + 0). Let p be -6 + 5 + 4 + -1 + r. Solve -p*a - y + 4 = -a, 0 = 3*y - 3 for a.
3
Let z = 170553 - 170553. Let p(x) = 2*x - 1. Let q be p(6). Solve z*l = 2*f + 5*l + 1, l + q = -4*f for f.
-3
Let x(m) = -m**2 + 3*m + 22. Let u be x(12). Let z = u + 86. Solve -3*t - 5*w = -5*t + 10, 2*t + 2*w - 10 = z for t.
5
Let y(g) = 2*g**3 + 15*g**2 - 10*g - 11. Let j be y(-8). Suppose 7*n = 8*n + d - 5, 0 = j*d. Solve -3*t - v - 4*v = -26, -n*t + 3*v = 2 for t.
2
Let k(a) = -a**3 - 3*a**2 - 2*a. Let o be k(-2). Let d = -1031 + 1030. Let g be (o - 0) + d/(-4)*0. Solve 2*m + 5*b - 15 = g, -3*m + 6*m - 3*b = -9 for m.
0
Let h = 8 - -4. Suppose 11*f - 8*f - h = 0. Solve f*i - 41 = 5*y, -2*i + 40 = -4*y + 3*i for y.
-5
Suppose 0 = -7*y - 4*y + 88. Let i(h) = -h + 3. Let g be i(6). Let d = y + g. Solve -5*n + 5 = -d*q, -2*n = q - 4 + 2 for q.
0
Suppose 0 = -4*l + 2*l + 4. Let g(h) = -2*h + 5. Let q(v) = v - 10. Let c be q(11). Let k be g(c). Solve 4*d - 3*i - 35 = 0, -12 = -5*d - l*i + k for d.
5
Let c = 19561 + -19559. Solve -5*o - c*r = 17, r - 86 + 78 = 3*o for o.
-3
Let k = 215 + -227. Let n(l) = l**2 + 14*l + 24. Let u be n(k). Solve 4*x = -5*b - 6, u*b = 5*b + x + 9 for b.
-2
Suppose -3*m - 18*u + 55 = -13*u, -5*m + 17 = -u. Solve -d - 9*j + 4 = -10*j, m = -j for d.
-1
Suppose 7*u - 6*u - 20 = 0. Let b be (7 + 182/(-28))*(7 + -1). Solve u = 2*m - b*i - 2*i, 4*m = -i + 18 for m.
5
Suppose 33*r = -25 + 32 + 59. Solve -5*w + 15 = -5*k + 7*k, -r*k + 3 = w for w.
3
Let m = 435 - 422. Suppose -v = u + 13 - 12, m = 2*u - 3*v. Solve -u*z - 5*f - 3 = -36, 0 = -z + 3*f - 11 for z.
4
Suppose -78*g + 77*g + 24 = 3*u, 5*g + 51 = 4*u. Solve -u = 2*v - v - 2*m, 3*m - 6 = 0 for v.
-5
Let a = 720 + -724. Let d be a/1 + (85 - 76). Solve -2*i = -d*i + 6, -2*x + 4*i - 6 = 0 for x.
1
Let n(f) = -f + 16. Let m be n(-14). Suppose -7*d = 8*d - m. Solve d*r + q + 2*q - 17 = 0, -3*r = -3*q + 12 for r.
1
Suppose -490*u + 494*u = -8. Let z be (-1)/(-2) - 2*u/8. Let c(v) = -v**3 + v**2 + v + 2. Let p be c(2). Solve -z = -h - p, 0 = -5*d + 5*h - 10 for d.
-1
Let y = -197 - -14. Let o = 188 + y. Solve 6 - 13 = -s + 4*n, 0 = -3*s - o*n + 4 for s.
3
Suppose 2*w = 115 + 23. Let r = -66 + w. Solve 3*m - 3 = r*v, -3*v - 2*m = 2*v + 26 for v.
-4
Let f(v) = 62*v**3 - 3*v**2 - v + 6. Let u be f(2). Let g = 491 - u. Solve -5*m + 0*n = n, 2*m - g*n + 17 = 0 for m.
-1
Let d(w) = 2*w**3 + 25*w**2 - 74*w + 19. Let a be d(-15). Solve c + 3*p = -2*c + 27, -a*c + 26 = 2*p for c.
4
Let h(k) = 3*k**3 + 117*k**2. Let g be h(-39). Solve 47*o + q = 48*o + 5, g = 3*o + 4*q - 20 for o.
0
Suppose -4*j + 37 = 3*c, 3*j - 4*c + 32 = 4*j. Solve -2*f - 7 = -l, -j*l + 84 = f + 74 for l.
3
Let p be (-116)/(-36) + (-36)/162. Solve p*y + 4*r + 8 = 0, 12*y + 5*r = 10*y - 3 for y.
-4
Let g be (4 + 8/(-5))*10/3. Let y be (-3 + 2)/(2/g) + 6. Solve 9*t + k + 10 = 4*t, -t - k = y for t.
-2
Let b(z) = -z**2 - 9*z - 16. Let m be (-4)/(((-1)/(-8))/(2/16)). Let g be b(m). Solve 4*i + 5*p - g = 0, 3*p - 7*p + 5 = 5*i for i.
1
Let p = -57 + 60. Let m be (-8)/6*p*(2 - 1). Let v be 3/(-1)*(16/6)/m. Solve o - 10 - 5 = -3*h, 4*o - v*h = 4 for o.
3
Suppose 2*a - x - 1 = 0, a + 4 = -5*x + 10. Suppose -4*v + 20 = 0, 3*v = -4*c + 6*v + a. Solve k - 4*p = -9 - 7, 2*k - c*p + 20 = 0 for k.
