 + a, 6*j - 2*l + 6 = 2*j for j.
0
Let g = -28704 + 28712. Solve 0 = g*j - 4*j + 5*o - 7, 5*j - 16 = o for j.
3
Let r(n) = 25*n**2 + 4*n - 2. Let a be r(1). Suppose 7*q + 2*q - a = 0. Let y(s) = 4*s + 8. Let g be y(0). Solve u = 5, -7 = q*b - 3*u + g for b.
0
Let g(f) = 17*f - 43 + 192 - 49 + 2. Let q be g(-6). Let z be 2/(-4) - (-2)/4. Solve -3*k - t = 6, z = -q*k - 4*k + 4*t - 8 for k.
-2
Let b(m) = 7*m**3 - 61*m**2 - 14*m - 36. Let p be b(9). Solve -k + n + 2 = 0, 36*k - 39*k - n - 10 = p for k.
-2
Let u be 3/12 - -3*3/(-36). Solve -j = -5*q - 0 + 28, u = -3*q + 15 for j.
-3
Suppose -30 = -118*o - 30. Solve -2*h + 4*z - 2 = o, -h + 2*z - 3 = -2*h for h.
1
Suppose 0 = r - 2*s - 10, -22 = -3*r + 81*s - 77*s. Solve -32*h = -35*h - 2*d - 9, -r*d - 4 = 2*h for h.
-5
Let i(w) = -3*w + 16. Let l be i(6). Let t be l/3 + (-366)/(-9). Suppose 118*a - 120*a = -t. Solve -b + 1 + 1 = u, 5*u - 5*b + a = 0 for u.
-1
Suppose -2*n - 210 = -22*n - n. Solve -2*k - 16 = 5*c, 0*k - n = -k + 2*c for k.
2
Let n(j) = -j**3 - 8*j**2 + 20*j + 7. Let m be n(-10). Suppose 0 = -l - 5*g - 7, l = -2*g + m - 8. Solve -3*f - 9 = 0, -5*w + f = -l*f + 8 for w.
-4
Let v = -392 + 397. Solve v*c + 15 = -2*t, 0 = t + 4*c + 6 + 6 for t.
0
Suppose -n + 18 = -2*s, 0 = -198*s + 203*s + 35. Solve 0 = -15*v + 17*v - n*w - 10, -5*w = 3*v + 7 for v.
1
Let n be (-4)/(1 + (-91)/39). Solve 0 = 5*y - n*b - 3, -2*y + 0*y = -4*b + 10 for y.
3
Suppose 0 = -34*c - 8 - 1 + 9. Solve -3*s - t - 1 = c, -2*s + 14*t = 10*t - 18 for s.
1
Let n = 13892 + -13884. Solve -w = -3*h - 0*w - n, 0 = -2*h + w - 4 for h.
-4
Suppose 39*o - 36*o - 897 = 0. Let x = 299 - o. Solve -3*k - 4 = -3*d - 2*k, -3*k + 15 = x for d.
3
Let s = 1615 + -1605. Solve 3*v = 2*j - j + 11, s = 2*v + 2*j for v.
4
Suppose 8*m - 190 = 9*m. Let x = 190 + m. Solve 15 = 5*c + 3*v, x = -c - 3*v + 4*v - 5 for c.
0
Suppose 2*u - 25 - 3 = -t, -5*u + 56 = -t. Suppose 0 = -2*j - 4*j + u. Solve -5*h + 5 = 5*o - 0, 5*h - j*o = 19 for h.
3
Let r be 5/((2/14)/((-9)/(-63))). Let w = 4 + -9. Let j be ((-3)/w)/((-4)/(-140)). Solve i - 2 = 0, 4*f - 1 = -r*i + j for f.
3
Let w = 5467 + -5464. Solve -y = -2*a, w*a - 3 = y - 2 for a.
1
Let h = -4 + 3. Let g be 4 + -5 + 2 + h. Let w be 15 - 40/(16/4). Solve -5*t + 20 = w*l - t, g = l + 5*t - 25 for l.
0
Let x = 249 - 176. Let u = 78 - x. Suppose 8 = -f + u*f. Solve 0 = -3*j - 6, 0*p - f*j = p + 9 for p.
-5
Suppose 216 = 3*f + 21*f. Suppose -f*y + 2*y + 14 = 0. Solve 5*p + 30 = -3*m, -y*m - 4 = -p - p for m.
-5
Let a = 117 - 71. Let f be 115/a*(7 - 1). Solve 0 = 5*o + f, -5*c - o - 7 = 11 for c.
-3
Let r(g) = g**2 - 9*g + 22. Let c be r(6). Solve 2*k + 15 = -3*k - 5*z, -c*k = 2*z + 10 for k.
-2
Suppose -12*o - 872 = 208. Let v = -90 - o. Let z(s) = s**2 - 9*s + 2. Let u be z(9). Solve v = -5*b - u*g + 5, g - 4*g + 15 = 0 for b.
-1
Suppose -23*h + 14 = -15*h - 26. Solve 2*c + n = -7, -2*c - h*n + 6 = 33 for c.
-1
Let q(t) = t**3 - t**2 - 6*t + 4. Let w be q(3). Suppose -w*a + 32 = -3*u, -a + 0*a + u = -9. Solve -1 = -n, 5*n = a*m + 5 + 10 for m.
-2
Let j(z) = 3*z + 6*z + 11 - 36. Let h be j(3). Solve h*v - 5 = -3*g, 3*g + g = -4*v + 12 for v.
4
Let w = -18 + 6. Suppose 28*u + 144 = 37*u. Let n be (2/12)/((-4)/w)*u. Solve 0 = -5*o + 2*d - d + 2, n = 2*o + 2*d for o.
1
Let d be 426/4*(-1554)/(-333). Suppose 484*z = d*z - 52. Solve -3*y = 2*r - 20, -r - z*r + 4*y + 4 = 0 for r.
4
Suppose -6*o = u - o - 33, o + 66 = 2*u. Suppose 0 = -15*x - 3 + u. Solve -2*r - 3*s - 6 = -6*r, -s - x = -3*r for r.
0
Let l = 25 + -21. Let f be (6/l - 2)/(3/(-18)). Solve -5*p - 21 = f*o, -o = -3*p - 2*p - 13 for p.
-3
Let u be (1 - (-4 + 3)) + 2. Solve -b + 14 = 6*s - 11*s, 0 = b + u*s + 13 for b.
-1
Let j = 602 + -599. Suppose 0 = -4*x - 12, 155*x - 152*x + 21 = j*d. Solve -4*a - d*v + v - 28 = 0, -2*v = -2*a for a.
-4
Let i be 3/((-5)/((-280)/12)). Let w be (-6)/(((-54)/(-4))/(-9)). Let s be 21/w + i/(-56). Solve -2*u = -2*y - s*u - 10, -2*u - 4 = 4*y for y.
1
Let w be (-5)/(-3) - 55/(-165). Solve -2*h - 8 = -w*d, 10 = 4*d - 10 for h.
1
Let o be (-19500)/(-885) + 10/(-295). Solve 4*y - 4 = -4*i, -22*y = -4*i - 17*y + o for i.
3
Suppose -d + 0*v = -3*v + 6, -4*v = 4*d - 8. Solve d*t - 30 = 5*h - 4*t, -h - 5*t = -23 for h.
-2
Let h be -1*(-3)/(-7 - -11 - 3). Solve -5*i + 1 = 21*y - 18*y, -h*i - y = 1 for i.
-1
Suppose -3*h = 2*m - 72, h - 2 = 116*m - 113*m. Solve -d - 14 = -2*t - t, -5*d + h = 3*t for d.
1
Suppose -4*l + 20 = 4*u, -3*l + 15 = -2*l - 4*u. Suppose -4*x + 2*k + l = 3, 4*k + 8 = -2*x. Solve 2*m = 4*y, 5*m + x = 20 for y.
2
Let n(w) be the first derivative of w**4/4 + 2*w**3 + 7*w**2/2 + 44*w + 69. Let m be n(-6). Solve -2*z + m*g = 2*z + 8, 3*z - 2*g = -6 for z.
-2
Suppose 0 = -3*p - v, -2*p + 5*v = 7*v. Solve -o = -m + 5, -m - 4*o - o + 5 = p for m.
5
Suppose 18*w - 17*w - 90*w = 19*w. Solve -4*v - 20 = w, 33 = 4*a - 61*v + 56*v for a.
2
Let w = -8169 + 8172. Solve w*l = -5*r - 22, 3*r - 3*l + 14 = -5*l for r.
-2
Suppose 0 = -1289*r + 1291*r - 100. Solve k + 5*v + r - 63 = 0, -4*v + 8 = 2*k for k.
-2
Suppose 26*c - 62*c = -144. Solve 4*o - 5*z - 3 = 2*o, z = c*o - 15 for o.
4
Let r(g) = 5 + 9 + 3*g + 2*g - 13. Let i be r(-1). Let b be (-10)/i*(-9 + 21). Solve 5*q + 5*m = -b, 4*m - 6 = 2*q - 0*m for q.
-5
Let j be (-8)/6*(-819)/26. Suppose -4*p - 10*p + j = 0. Solve -2*y + 9 = -p*z, 2*y + 27 = -3*z - 2*y for z.
-5
Let s(b) = 10*b - 20. Let c be s(2). Let u be (4/12)/(5/(-420)*-4). Solve v + 2*v + 15 = c, 0 = 2*g - v - u for g.
1
Suppose -5*c + 21 = -2*f + 26, -5*f = 5*c + 5. Solve 3*v - 6*v = -6, f = 4*m - 2*v - 4 for m.
2
Suppose 3*y - 5*p + 1278 = 1252, 4*y - 61 = -7*p. Suppose 0*g = 4*g - 16. Suppose g*b - 9*b + 15 = 0. Solve 7 = -j + b*a, y*j + 4*a = -0*j - 8 for j.
-4
Suppose 81 + 299 = 95*v. Solve -3*m + 11 = v*t, -2*t + 15 = 2*m + 7 for t.
-1
Let j = -30 - -35. Suppose -c = -j*y + 20, 4*y - 4*c + c = 16. Let a be (y + 0)*(-3 - -4). Solve -4*k - a*p + 8 = 0, -5*k + 4*p + 18 = 5*p for k.
4
Let y be 110/715*(30 + -4). Solve -n = -z, -y = 12*z - 8*z for n.
-1
Let h = 3288 - 3284. Solve -4*c = -9*c + h*n + 23, 22 = 4*c - 5*n for c.
3
Suppose 2*x - 68 = -24. Suppose a + x = 3*a - 4*u, 2*u - 14 = -4*a. Solve -a*w = 3*i - 2, -2*w - w = 3*i for w.
1
Let h(y) = 4*y**3 - 192*y**2 - 3*y + 147. Let q be h(48). Solve 70 - 54 = -f + 4*d, 16 = -q*f + 4*d for f.
0
Let z = -3583 - -3592. Solve -16 + 34 = 5*f + 3*v, 2*f = -3*v + z for f.
3
Suppose 0 = 3*l + 2*j + 118 - 151, -9*l + 3*j + 99 = 0. Solve d + l = -5*z, 0 = 2*d - 4*z - 22 + 2 for d.
4
Let p = 105 + -54. Let x = -50 + p. Let s(o) = 7*o**3 - 2*o**2 + 2*o - 1. Let k be s(x). Solve -3*v - w = -10, k = -5*w + 2*w for v.
4
Suppose -12 = -6*b + 3*b. Let z(l) = -l**3 + 13*l**2 + 13*l + 16. Let a = 30 - 16. Let d be z(a). Solve -2*k - 3 = -r, -d*k - 5 - 1 = -b*r for k.
-1
Suppose 0 = -5*t - 12*t + 289. Let p be (t/4)/(1*2/(-8)). Let g = 27 + p. Solve 4*f = b + b + g, 2*b + 11 = 5*f for f.
1
Let o be ((6 - 13) + 4)*1/3*-10. Solve 3*d = 3*u - 2*d - 6, 4*d - o = -5*u for u.
2
Let u(v) be the first derivative of -v**3/3 + 17*v**2 - 164*v + 45. Let w be u(28). Solve -5*x + 3*x + w*y = 18, 2*x + 13 = 3*y for x.
1
Let o(m) = m**2 - 97*m + 712. Let k be o(8). Solve k = -19*g + 16*g - 15, -5*g - 25 = x for x.
0
Suppose 5*c + 5*w - 80 = 0, 0*c - c + 22 = -2*w. Suppose -2*l - c + 14 = 0. Let j be ((-4)/(-6))/l + 1/3. Solve 0 = 2*v - j + 8, 5*x + 3*v = -22 for x.
-2
Suppose -2*r - 88 = -5*f - 27, -3*f + 18 = 5*r. Suppose -f*t + 6 = -5. Solve 3*y = -2*n - 3, 4 - t = -n - 3*y for n.
0
Let j be 174/(-24)*-4*-16. Let d = j - -467. Solve 3*h - 4*x - 25 = 0, d*x = 4*h - 0*x - 24 for h.
3
Suppose 132 = 2*x + 126. Solve 4*j = -3*w + 19, -x*j - 2 = -2*w + 5 for j.
1
Let j = 962 + -958. Let p = 58 - 56. Solve -p*v = -0*n - j*n + 30, 0 = -5*v - 5*n for v.
-5
Let d = 12133 - 12130. Solve -2*t - 12 + 47 = 5*l, -d*l + 30 = 3*t for t.
5
Let k(d) = 5*d**2 - 17*d - 9. Let u be k(4). Solve 2 = -24*c + 27*c + 4*g, g = -2*c + u for c.
2
Let a be 18 + 12/(-3) + (-4 - 6 - -8). Let q = 43 - 39. Solve -3*c + a = q*p, -4*c + 4*p + 16 = 3*p for c.
4
Let t = -3498 + 3512. Solve 0 = -b - 2*z + 10, -5*b = -19*z + t*z + 10 for b.
2
Let o(j) = -10*j**3 - 101*j**2 - 12*j - 14. Let h be o(-10). Solve -2*v - 11 = -3*f