olve u*a - 17 = 3*c - 6, 0 = 4*a + c - 23 for a.
5
Let w be (-60 + 74)*(0 - -1). Solve 4*k - f + 3 = w, 2*k = -2*f - 2 for k.
2
Let v = 4758 + -4729. Solve 5*f + 24*m + 10 = v*m, 4*f - m + 2 = 0 for f.
0
Let h be (-6)/(6/3) + 5. Suppose -h*i = 45 - 53. Solve 2*d + 12 = -3*t, 3*t - i*d + 12 = -3*d for t.
-4
Let f be (-4)/1 - (53 + -61). Suppose -f*j = 4*r - 0*j + 8, -2*r = 5*j + 13. Solve 2*n = 4*c - 14, 4 = c - r for n.
3
Suppose -5*r - 2*r + 28 = 0. Suppose r*b - 8*b = -8. Suppose b*v = 7*v - 20. Solve 2 = 3*x + 2*z - 4, 4*z = v*x - 28 for x.
4
Let s = 6 + -3. Suppose 0 - 8 = -4*w. Suppose w*y + 8 = 18. Solve -s*z = 2*c + c + 3, -2*z + c - y = 0 for z.
-2
Let b(s) = s**3 - 17*s**2 + 11*s - 32. Let w be b(17). Let m = w - 151. Solve 2 = 3*x - 2*g, m*g - 4 = 4*x - 0*g for x.
4
Let q(l) = -2*l**3 - 5*l**2 - l + 2. Let p be q(-2). Suppose 3*w = h + w, 3*w = p. Solve 5*a = 4*t + 2, -5*a - 16 = 2*t - h for a.
-2
Let c be (-676)/6*21/(-14). Let l = 169 - c. Solve 2*p = 4*q + 26, -3*p + l + 29 = -4*q for q.
-5
Let n(t) = -t + 1. Let g = 96 - 95. Let i(a) = 4*a - 11. Let k(l) = g*i(l) + 5*n(l). Let q be k(-9). Solve 10 = b + 3*u, -q*b = u + 2*u - 12 for b.
1
Suppose 0 = 2*w - 1 - 7. Suppose 2*b = -w*b. Suppose b = -s + 5*s - 36. Solve 3*d - 14 = -d + 2*y, -3*d + 2*y + s = 0 for d.
5
Suppose 16 = -5*t + 256. Suppose 2*u + 2*u = 2*x + t, -2*u + 16 = -3*x. Let s = u + -12. Solve 0 = -s*a - 5*h - 22, -3*a - a = -3*h - 8 for a.
-1
Suppose 0 = x + 3*u + 1, -4*x + 8*u + 4 + 12 = 0. Solve 0 = j - 1, 3*t - x*t + 5*j = 0 for t.
-5
Let n = -8 - -10. Suppose h - 11 = -3*a - 0, n*a = 3*h. Solve -h = 3*z + 4*c - 3*c, -6 = 3*c for z.
0
Let z be 9*(-12)/(-18)*(3 + 2/6). Solve 17*x = z*x - 4*i - 25, 11 = x - 2*i for x.
3
Let h(a) = 2*a**2 + 4*a + 5. Suppose 191*c - 172*c = -19. Let t be h(c). Solve -t*y - 2*l = -11, -y + 2*l + l = 0 for y.
3
Let z(r) be the second derivative of -r**4/4 + 7*r**3/6 + 5*r. Let v be z(3). Let h be 7 + 4 + (v - -3). Solve 5*q = 2*a + h, q - 4*a - 9 = 7 for q.
0
Let n = 8300 + -8297. Solve -16*f + 5*r - 27 = -13*f, -4*r = n*f for f.
-4
Let c be ((-258)/387)/((-28)/15 + 2) + 7. Solve c*w - 4 = -3*y, 4*y - 7*y + 14 = 4*w for w.
5
Suppose -1 = 5*z + h, -5*z - 2*h = -2 + 4. Let w = 268 - 861. Let p = -572 - w. Solve z = y - 5*i - 18, y + 5*i + 1 = -p for y.
-2
Let v be ((-272)/(-24))/((-2)/(-3))*1. Let f = 8 - 16. Let h = v - f. Solve -3*d = -4*o + d - 12, 5*d = h for o.
2
Let y(r) = r**3 + 16*r**2 - 13*r - 28. Let d be y(-10). Suppose 24*l - d = -30*l. Solve 8 = -4*a, 4*p - a = -p - l for p.
-3
Suppose -953 = -q - 4*p, -q + 883 = 5*p - 72. Let y = -939 + q. Let x(j) = -j - 5. Let k be x(-6). Solve 0 = w + 2*h + 3, -3*w - 2*h + k = -y for w.
5
Let z be 6*(-262)/(-4) - (-4)/(-2). Let m = -389 + z. Solve 3*i - 7 = -k, 5*k = -m*i - 0*i + 22 for i.
1
Let k(w) = 3*w + 77. Let m be k(-27). Let r be (5/m)/(24/(-96)). Solve -2*b = -r*a - 5, -6 - 4 = -2*b for a.
1
Let r = -19491 + 19493. Solve s = 4*i - 2, r*s - 3*i - 3 = -2*i for s.
2
Suppose 2*d + 7 = 3*u, 5*d - 15 = -2*u + 3*u. Let x = 6 - u. Solve -2*s = -3*m + x, 0 = 2*m - 4*s - 11 - 3 for m.
-3
Suppose 28 + 21 = 48*n - 47. Solve 2*o = -4*y + n, 0 = 2*y + 90*o - 88*o + 4 for y.
3
Let u = -14522 + 14526. Solve 4*y - 15 + 6 = -p, 5*y + u*p = 3 for y.
3
Let b be (1 - -6) + -2 + 0 + 23. Solve 3*j + 5*r + b = 0, 4*j - 4*r + 9*r + 29 = 0 for j.
-1
Suppose -6*k = -k. Suppose k = 4*g + 4*h - 76 - 0, g + 5*h - 31 = 0. Suppose b - 20 = -g. Solve -5*o = 5*m, -m = m + o + b for m.
-4
Suppose 279*o + 548 = 416*o. Let g(b) = b + 7. Suppose q + 4*l = -11, q + l = 2*l - 1. Let m be g(q). Solve 2*z + 2*t = -0*z - 2, -o*z = -3*t + m for z.
-1
Suppose 3*i - 78 = 2*d + 6*i, 0 = -2*d + 2*i - 98. Let m = 94 + d. Suppose m*p - 52*p = -39. Solve -4*r - 4*q + 9*q = p, -4*r = 3*q - 27 for r.
3
Suppose 36*y - 298 = 98. Suppose -8*k = -y*k + 6. Solve -6 = -2*m, m - 9 = 2*u - k for u.
-2
Let j be -13 - (165/1)/(-11). Solve 3*p - 5 - 4 = -j*y, p - 5 = 0 for y.
-3
Suppose -72*s - 3417 = -3921. Solve r + 3*v = -18, 0 = -2*r + 10*v - s*v + 9 for r.
-3
Let s = 666 + -388. Let r = s + -278. Solve r*v - 8 = -4*c + 2*v, 3*c = -2*v + 6 for c.
2
Let v be ((-2)/(-6))/(5/30). Let r(m) = 41 - 23 - m**v - 14 + m. Let f be r(2). Solve -j - 8 = f*x, -4*j + 4*x + x = -33 for j.
2
Let s(l) = 6*l + 102. Let d be s(-27). Let c be (d/(-16))/(18/24). Solve 6 = -4*h + 3*f, 3*f + c = -1 for h.
-3
Let w be 10/(-6) + (42/(-18) - 8). Let j be (-3 + 10/3)*-9. Let k be (-6)/(-4)*2/j*w. Solve 5*h - k = d + 13, -3*h + 15 = -4*d for d.
0
Let f(c) = -c**2 - 8*c + 65. Let x be f(5). Let i be x + 3 - (-19 - -10). Solve i + 13 = -5*m, -3*g - 5*m = 25 for g.
0
Suppose 9*a + 12 - 30 = 0. Let t be 273/(1 + 2) + a. Suppose -4*y - t = -7*y. Solve 5*o + 32 = o - 4*h, 2*h + y = -5*o for o.
-5
Let g = 26 - 17. Let w be (-80)/(-30) - (-3)/g. Solve -2*d + w*l = -2 + 4, -d + l + 1 = 0 for d.
5
Let c(h) = -h**3 + 6*h**2 + 10*h + 2. Let p be c(-2). Suppose -f - 9 = -5*m, 0 = 4*m - 6*m - 4*f - p. Solve -4*n = x + 3, -2*x - 5*n - m = 5 for x.
-3
Let w = 5 + 2. Let g be ((-33)/11 - (-50)/14)*w. Solve 5*o - 9 = 2*a - 26, 4*o = -g*a - 36 for o.
-5
Suppose -48 = -7*u + 148. Let o(w) = 31*w**2 + w + 1. Let x be o(1). Let l = x + -24. Solve -t - l = -p, -3*t + p - u + 9 = 0 for t.
-5
Suppose 28*y = 24*y + 1312. Let o = y - 326. Solve o*h + 3*u = 11 - 36, 0 = -4*h - 5*u - 45 for h.
-5
Suppose 0 = -m + p - 2, -9*p + 5*p + 8 = -5*m. Solve q + 4 = m, -5*k + 6*k - 4*q - 20 = 0 for k.
4
Let g(v) = 2*v**2 - 86*v + 905. Let x be g(18). Solve -7*c - 30 = -2*k, 0 = k + 4*c + 20 - x for k.
1
Let u(m) = 112*m**2 + 2018*m + 38. Let s be u(-18). Solve 3*h = -a + 4, 6*a - 16 = -4*h + s*a for h.
0
Suppose 5*r - 2*r = -2*r. Suppose r = 5*m + 2*m - 35. Suppose 0 = m*f - z + 9 - 24, -4*f = -4*z - 12. Solve f*x - b + 11 = 0, 4*x - 3*b + 4*b + 10 = 0 for x.
-3
Let i be 3*80/(-2040) - 1*72/(-34). Solve i*g = 2*d + 2, 2*g + 2 = 5*d - 7*d for g.
0
Let t be (7 + 75/(-10))/((-2)/32). Let c be (-40)/(-18) - 2 - (-10)/(-45). Suppose -t*w + 12*w = c. Solve 2*f - 5*s = 20, -4*f + 4*s + w*s = -28 for f.
5
Suppose 3*y - 204 = 27. Suppose -8*b - y = 3*b. Let u(r) = r**3 + 5*r**2 - 15*r - 3. Let p be u(b). Solve -k + 19 = -p*s, -5*k = -4*s - 6*k - 13 for s.
-4
Let p = 44 + -32. Suppose 0 = -p*c + 2*c + 40. Solve -2*s - 3*s = c*a + 8, -5*s = -4*a + 32 for s.
-4
Let n(w) = -16*w**2 + 18*w - 50. Let x be n(4). Let t = x - -237. Solve -18 = -2*a - t*a + 3*g, -4*a + 9 = 3*g for a.
3
Let q(n) = 5*n**2 + 171*n - 82. Let x be q(-35). Solve -2*y = f - 10, 2*y - 59*f = -x*f + 2 for y.
3
Let x be 11*-1*912/(-1672). Solve 0 = 4*h - x*h + 2*j, 0 = j - 5 for h.
5
Suppose -239 = -2*t - 83. Suppose 6*s = 19*s - t. Solve -15 = 4*a + 5*m, -3*a + 0*m + s = -2*m for a.
0
Suppose 0 = -9*c + 87*c - 156. Solve -c*u + 5*p - 7 = 10, p - 1 = u for u.
4
Let l(s) = 13*s**2 - 39*s + 5. Let o(g) = 7*g**2 - 21*g + 3. Let t(q) = -6*l(q) + 11*o(q). Let m be t(3). Solve 4*z - 4 + 0 = w, -3*z = -w - m for w.
0
Let m(h) = -h**3 - 2*h**2 - 3*h - 1. Let a be m(-2). Let y = -124 - -130. Suppose 11*p - 9*p = y. Solve 3*v + 0*v = -12, 0 = -a*j + p*v + 17 for j.
1
Let c = -134 - -136. Suppose -n = k, k - 38 = c*n - 32. Solve 0*i - 4*z - 16 = k*i, -2*i + 8 = -2*z for i.
0
Suppose -3*q = 2*i - 19, -338*i + 337*i = -q + 3. Solve q*h + 4*n = -22, 7*h = 4*h + 5*n + 9 for h.
-2
Suppose 2 = -m, -183*k = -188*k - 3*m + 194. Solve 0 = -3*u - 36*w + k*w - 23, 4*u - 4*w + 24 = 0 for u.
-1
Let c be (-1090)/(-12535) + (-21)/(-23). Solve s - 29*a + 32*a = c, 4*a = -s for s.
4
Let i = -19748 - -19750. Solve -3*d - 8 = 4*r + 11, -i*d - 12 = 2*r for r.
-1
Let j(m) = -m**3 - 14*m**2 + 17*m + 30. Let y be j(-15). Suppose 12*p + 18 - 18 = y. Solve 16 = 4*v + 4*w, -v - 2*w = -p*v - 3 for v.
5
Let b(f) = 5*f**2 - 114*f**3 + 7*f - 4*f**2 + 115*f**3 + 5 + 12*f**2. Let x be b(-12). Let z = -65 + x. Solve r - 8 = -0*r - 3*t, z = -5*t + 20 for r.
-4
Let v = 43 - 73. Let m be 2/(-5) - 132/v. Suppose -5*y = -m*y - 15. Solve 2*w - 6 = 0, y = -2*h - 4*w + 35 for h.
4
Suppose a - 7 = 3*h + 10, 0 = -4*h - a - 11. Let u be 6/h*(-1 - 2/6). Let r(d) = 4*d - 5. Let x be r(u). Solve -2*b - n - 3 = 5, -5*n + 25 = -x*b for b.
-5
Let i(m) = 7*m**2 + 7*m - 4. Let d be i(-4). Let o = d - 52. So