ve -2*b - 4*d - 16 = -z*b, 0 = d + 2 for b.
4
Let d(z) = -z**2 - 14*z - 25. Let x be d(-10). Suppose -87 = -9*o - x. Suppose 10*w - 28 = o*w. Solve 3*a - 9 = -3*l - 3, -w = 3*l - a for l.
-3
Suppose 1 - 10 = -3*q. Suppose q*y = -6*y + 576. Let s = -55 + y. Solve 2*z - s = -4*l + 5*l, z + 3*l = 1 for z.
4
Let k(n) = -2*n**3 - 21*n + 37. Let q be k(0). Solve 4*c + 32*o = q*o + 8, 2*c - 3*o - 6 = 0 for c.
-3
Let a be (60/(-18))/((-1)/207). Suppose -16*r = -6*r - a. Let t = -62 + r. Solve -t*s = -2*s - 2*d - 7, -2*s = -4*d + 10 for s.
3
Let n be 27 + ((-20)/(-5) - 4). Suppose 2*c + 5*i - 13 = 12, 3*c + 4*i = n. Suppose -c*s + 33 - 8 = 0. Solve 0*t + 5*x + 2 = 4*t, -s*t + 5 = -5*x for t.
3
Let o be 6/18*3 + 2. Suppose 0 = 4*a - 4*h - 4, 5*h - 3 = -2*a - 1. Solve -4*k - s = -16, 5 = k - o*s + a for k.
4
Let d(o) = 2198*o + 2198. Let a be d(-1). Solve a = -4*c + 3*x + 16 - 1, 5*x = -2*c + 1 for c.
3
Suppose -45*o = -49*o + 200. Let x = o + -46. Suppose 0 = -r - p + x, -4*p = 2*r + 3*r - 21. Solve r*l = -3*q - 12, 2*q + l + 5 = -3 for q.
-4
Let l be ((-3)/(18/(-996)))/((-2)/(-6)). Let o = 512 - l. Solve 4*m - 2 + o = 5*g, g = 3*m - 2 for m.
2
Let j be ((-5 + -2)/(-21))/((-2)/(-36)). Let w be 4*136/128 + j/8. Solve 2*u - 2 = -4*r + 4, -3*u + 20 = -w*r for r.
-1
Let s be (2/((-4)/(-9)))/((-30)/(-40)). Let t = -1 + s. Solve c - 4*c = -2*w + 23, 0 = -w + t*c + 29 for w.
4
Suppose 3*f + 5 = -2*a, 2*a + 54*f - 30 = 58*f. Solve a*p + 7 = 4*h, -3*p - 2*h - 7 = -16 for p.
1
Let f = 29001 - 28998. Solve -3*y + 3*z = 0, 3*y + 2*z = f*z for y.
0
Let b = -3494 + 3495. Solve -u = -4*w + 5, 0*u = 3*u - 4*w - b for u.
3
Let y(b) = -165*b - 2803. Let v be y(-17). Solve -v*u - 16 = -4*i, 6*i - 40 = -10*u + 5*u for i.
5
Let w(h) = h**3 + 32*h**2 + 176*h + 10. Let t be w(-7). Solve 3*p + 0*x = t*x + 9, 3*p + 5*x = -23 for p.
-1
Let y(j) = 8*j - 1. Let z be y(-2). Let n(m) = 7 + 26*m - 5 - 7*m + m**3 + 18*m**2 + 36. Let b be n(z). Solve f + 0*d + b*d + 13 = 0, -4*f - 18 = -d for f.
-5
Let f(z) = -12*z - 117. Let a be f(-14). Suppose 2*l - 55 + a = 0. Solve y - 1 = p, p = -p + 4*y + l for p.
-3
Let u = -8181 + 8187. Solve -u*m = 2*x - 10*m - 2, -3*x = m - 3 for x.
1
Let p(y) = -2*y**2 + 92*y + 21. Let i be p(46). Solve 0 = 24*z - i*z + 3, 4*f - z - 9 = 0 for f.
2
Let h = 88 - 20. Suppose h = f + 63. Suppose 0 - 2 = -2*r. Solve -f*g = 5*o - 30, r = 4*g - 4*o - 7 for g.
4
Let i(m) = m**3 - 7*m**2 + 5*m - 13. Let l be i(6). Let x be 84/63*186/8. Let d = x + l. Solve -3*u - 1 + d = -2*w, -17 = -u + 4*w for u.
1
Suppose -5*w = -3*n + 28, 5*w = -n + 51 - 35. Solve -r - p - 7 = 0, 2*p + n = -4*r - 13 for r.
-5
Let l = 8024 - 7955. Suppose -o = 3*j - 67, -3*o - 3*j + 137 = -58. Let v = l - o. Solve 0 = -v*z + 2*g + 13, z + 0 = -5*g + 8 for z.
3
Suppose 15 = 11*i - 6*i. Suppose -42*f = -62 - 106. Solve 3*q + 28 + 0 = -4*l, -i*l - f = -2*q for l.
-4
Let d = 3099 + -3091. Let p(w) = -w + 6. Let y be p(6). Suppose y = -3*g - 3 - 0, 5*u + 2*g - 3 = 0. Solve f + 2*i = -u, d*f - 4*i = 6*f - 2 for f.
-1
Let m = 66 + -56. Suppose -211 = m*y - 251. Solve -5*a + y = -4*u - 6, 2*a = u + 4 for a.
2
Let n = 2928 + -2923. Let z(o) = -7*o - 32. Let c be z(-5). Solve -n*t = -5*m - 25, -c*m = 4*t + 3 + 5 for m.
-4
Let a(o) = -106*o + 2123. Let c be a(20). Solve 5*n = 2*r + 29, -2 = -c*n - r + 11 for n.
5
Suppose -5*v = -5*n - 5, -v - 3*n + 2 = -11. Suppose 0*s + 20 = c + v*s, -2*c - 4*s = -24. Solve -4*z - 5*d = 13, 3*d + c = 3*z + 7 for z.
-2
Let w be (-3 + 0 - -3)/(1 - 4). Suppose 810*a - 813*a + 9 = w. Solve -a*n - 3*y - 6 = 2*n, 10 = 3*n - 5*y for n.
0
Suppose 3*l = -3*p + 12, 4*p - 404 = -l - 367. Solve 2*u - v = 2, v + p = -4*u - 3 for u.
-2
Let r(v) = -3*v - 7. Let f(m) = 5*m + 7. Let t(s) = 2*f(s) + 3*r(s). Let d be t(9). Solve 18 = z + 4*q, 5*z = 2*z + d*q - 16 for z.
-2
Let f(a) = -5*a + 25. Let m be f(5). Suppose -12 = 5*l - 4*w, 3*l + 3*w - 9 = -m. Suppose 7*i = 38 - 10. Solve k + 7 = -z - l, -2*k + 16 = -i*z for k.
-2
Let q be (-16)/6*(-105)/(-14). Let w be ((-1)/(-2) + 0)/(q/(-200)). Solve -c = -3*k - 2*c - w, -3*c = k - 1 for k.
-2
Let j(y) = -13*y + 3. Let r be j(26). Let c = r + 339. Solve -c*b - f = 1 + 7, f = 5*b + 1 for b.
-1
Suppose -17*q + 58*q = 3280. Suppose 94*m = q*m + 28. Solve -18 = m*h + 5*i, -3*h = -i - 4 - 3 for h.
1
Let l(s) = -14*s + 3. Let r(d) = 14*d - 4. Let i(z) = 5*l(z) + 6*r(z). Let f be i(1). Solve 18 = -2*p - 4*v, 4*p + f*v + 21 = 3*p for p.
-1
Let x be -7 - 55/44*-8. Solve -7 = x*f - i, 0*f = f - 4*i - 16 for f.
-4
Suppose 0 = 4*s - 5*d - 58, 3*s + 83 = 8*s - d. Suppose 4*o - 14 = a, 0 = -o + 4*a - 6 + s. Solve 0 = 4*u + o*p - 1, 3*u = -u - 4*p for u.
1
Suppose -2*u - 3*v + 1 = 0, v = -4*u - u + 22. Suppose 9 = -2*s + 1, 8 = -4*i - u*s. Suppose 16 = -i*n + 7*n. Solve -2*t + 12 = t + 3*c, -24 = n*t - 4*c for t.
-1
Suppose 3*l - 6*l - 9 = 0. Suppose -3*v - 842 = -941. Let t = l + v. Solve 5*o - t = -3*z, 0 = -o - 2*z + 5 + 8 for o.
3
Suppose 5*j - 9*j + 4*f = -164, -44 = -j - 2*f. Suppose -4*d - 950 = -j*d. Let o = 3 - 1. Solve -5*q + d = 5*k, -2*q - 3*q = o*k - 22 for k.
1
Suppose 1034*o - 1158*o = -496. Solve 2*q + d - 13 = 0, -4*q - 2 = -o*d - 10 for q.
5
Let r be 24/5 - (-3)/15. Suppose -2*x = -3*g + 12, 7*x - 5*g = 6*x - 13. Let k be (4 + -5)*57/x. Solve 5*l - r = w + 19, -4*w + k = 3*l for w.
1
Suppose 0 = -4*c - 4*b + 8, 388*c - 4*b + 12 = 393*c. Solve 3*a - c*a - 4*h = -13, -h + 7 = -a for a.
-3
Suppose 13092 = 209*s - 9*s - 5108. Solve t = -x + 3, 3*x = 2*t + 95 - s for x.
2
Suppose -d + 4*w + 15 = 0, -2*d + 55*w = 54*w - 23. Solve 5*r = 4*j - 1 - 5, 0 = 3*r + 5*j + d for r.
-2
Let k(w) = w + 19. Let f(z) = 2*z - 38. Let b be f(13). Let q be k(b). Let c = q + -4. Solve 3*n - 4 = -j + 6, c*n + 4*j = 22 for n.
2
Let k(z) = z**2 + z - 4. Let c be k(-3). Suppose -172*r + 120*r = 103*r + 231*r - 4246. Let h = -6 + 9. Solve -h*q = a + 4, 4*a = -c*q - q + r for a.
5
Suppose -4*i = -3*n - 33, 0*n + 20 = -2*n + 2*i. Let f be 42*3/6 + n. Solve 0 = 5*y - 3*g + f, 0*y = 3*y - g + 10 for y.
-4
Let z = 14512 + -14503. Solve -3*k = -2*q - 2*k - z, 9 = 3*k for q.
-3
Let d(f) = -f**3 - 10*f**2 + 276*f + 3254. Let w be d(-12). Solve -4*s - 22 = -5*p, -228*s + w*s = -p - 4 for p.
2
Suppose -m - 15 = -6*m. Suppose 10*y + 15 = 2 - 7. Let g = m - y. Solve -b - 10 = g*q, 4*b = 6*q - q - 15 for q.
-1
Let f be -155*((-96)/15 - -6). Suppose f = 11*d + 29. Solve 0 = -6*i + 3*i + 5*u + 26, d*i + 2*u = -2 for i.
2
Let d(m) = -19*m - 359. Suppose 7*i = 2*i - 95. Let y be d(i). Let r = 12 + -7. Solve -5*j + r*t - 3 = y, 4*j + 5*t = -31 for j.
-4
Let o = 1900 - 1890. Solve h = 3*h + 4*u - o, -u = h - 5 for h.
5
Let d = -21 - -48. Suppose d*v - 32*v = -160. Suppose -16 = -3*n - 7, -5*y - 4*n = -v. Solve y*x = -m, -3*x + 1 - 10 = 3*m for m.
-4
Suppose 0 = -30*b + 15*b + 45. Solve 0 = -24*f + 21*f, -b*a - 3*f = 3 for a.
-1
Let v be ((-4)/4 - (-95)/19)*1/2. Solve -4*t = f - 8, t - 23 = 3*f + v*f for f.
-4
Suppose 73*f - 4 = 72*f. Suppose -24*x = c - 29*x + 18, 3*c - f*x + 10 = 0. Solve -2*h - 5*q = -14, -c*h - 2*q = h + 1 for h.
-3
Let s be (-6)/51 - 4864/272. Let d = 21 + s. Solve 5*z = -5, -b - 6 = -0*z + d*z for b.
-3
Suppose -5*d + 34 = 2*x, -15*d + 19*d = -3*x + 30. Solve -2*z = -4*u - 6, -3*z + 2*u = z + d for z.
-3
Suppose 7*f - 5 = -p + 2*f, 0 = 2*p + 2*f - 10. Solve 5*z + 7 - 2 = 0, -5*z = 2*b + p for b.
0
Let l = -911 - -916. Solve l*h + 2*q = -13, -5*q + 17 = -4*h + 33 for h.
-1
Let r(o) = o**2 + 2*o - 13. Let j be r(0). Let l(d) = 3*d**2 + 38*d - 11. Let p be l(j). Solve 3*y + 4*v = p*y - 12, 2*y = -2*v for y.
4
Let b(p) = p**3 + 3*p**2 - 30*p - 14. Let w be b(-7). Suppose 8*f + 19 - 115 = w. Solve -l + f = 6*a - a, 27 = 5*a - 4*l for a.
3
Let f(s) = -3*s - 6. Let u be f(-3). Suppose 68 = u*y - 2*c, 0*c - 5*c - 20 = 0. Solve 5*a + 2*p = -y, 0 = -2*p - 3*p - 25 for a.
-2
Suppose 3*t = 7 + 2. Let o be -10 + 1 + (-12 - -18). Let u be (-14)/(-2) + (-2 - o). Solve -10 = d + 5*v + u, 5*v + 14 = -t*d for d.
2
Let g be (-4246)/(-264) + (-4)/48. Solve 3*b + 8 = 5*r, 0 = -3*r + g - 4 for b.
4
Let t be (1760/2200)/(((-1)/(-1))/20). Solve -3*m - 189 = 4*v - 182, t = -2*m + 3*v for m.
-5
Let a(h) = -h**2 + 6*h + 18. Let s be a(8). Let k be 14/(-21)*(s - 10/2). Solve k*t + 2*b = 16,