5*l + 8 for s.
0
Suppose w = -2*l + 721, -8*w = -l - 5*w + 378. Let m = 363 - l. Let n(s) = s**2 - 3*s - 7. Let d be n(5). Solve y = -m*y - i - 1, -2*i = y - d for y.
-5
Let x(a) = -39*a + 6. Let u be x(-3). Let q = u - 120. Solve -q*m = -o + m + 8, -10 = o + 2*m for o.
-4
Suppose 67*a - 49*a - 68 = -14. Solve -4*x - a*n + 0*n = 31, 4*n = 3*x - 8 for x.
-4
Let b be (-6 + 5)*(-3 + 2). Suppose j + b = 5*l, -2*j + 4*l + 1 = -3. Solve 5*z - j*h = 9, -z - 35 = -4*z - 5*h for z.
5
Let f(i) = i**2 + 20*i + 12. Let b be f(-20). Suppose -9*m = -b*m. Solve v + m = -2*z + 1, 3*v = 2*z + 3 for z.
0
Suppose 7534*s - 7604*s = -140. Suppose 2*g - 3*p - 19 = 0, -3*g = -3*p + 4*p - 1. Solve u + s*u + m = 2, g*u - 4*m = -8 for u.
0
Let z = 10012 - 9950. Solve -3*h - 5*d + 40 = 0, 4*d + z - 67 = 3*h for h.
5
Let c(a) = -9*a**2 + 48*a + 107. Let q be c(7). Solve -5*y = 2*x - 14, -8 + 12 = -4*x - q*y for x.
-3
Let m(q) = -q**3 - 71*q**2 + 90*q + 1300. Let s be m(-72). Solve 4*g - 25 = -5*j, 8 - 26 = 2*j - s*g for j.
1
Suppose 0 = -9*g + 1 - 10. Suppose -5*k - 2*a - 5 = 0, -4*k + 3*a - 4 = -2*a. Let v be ((-1 - k) + 3)/1 - g. Solve 4*m - 4 = -v*d, m - 2*d - 4 = -0 for m.
2
Let u be 11/(((-6)/45)/((-6)/9)). Let k = -56 + u. Let a be 80/5*(3 + 2/k). Solve -5*x = -3*s - 10, -29 = -5*s - 4*x + a for s.
5
Let c(d) be the third derivative of -13*d**5/60 + d**4/6 + 7*d**3/6 + 31*d**2. Let o be c(-2). Let z = 73 + o. Solve 3*i - 2*j = 15, -2*i + 6*i - j = z for i.
5
Suppose 55*n - 51*n - 90 = -3*y, -10*y - 30 = -5*n. Solve 12*a - 4*o = 13*a - 18, n = -a + 5*o for a.
2
Let v(y) = 72*y - 194. Let h(m) = 37*m - 97. Let f(w) = -11*h(w) + 6*v(w). Let u be f(4). Solve -5*a + q = -1, -u*a - 5*q = 2*a + 5 for a.
0
Suppose 4*o + 32 = y, -3*y + 74 = y + 2*o. Suppose -y = 4*n, 18*n + 13 = -d + 15*n. Solve 4*q + v + 10 = 0, -5*v = 5*q - d*v + 16 for q.
-2
Let f = -2319 + 2324. Solve 5*d + 4 = -4*r - 13, f*d - 10 = 5*r for r.
-3
Suppose 0 = -3*d + 8*d + 4*x - 17, 5*x = -d + 16. Suppose 3*y + 1 = -4*p, -3*p = -2*y + 6 - d. Solve -2*l - y = -3*j, 0*j + 18 = 3*l + 2*j for l.
4
Let m(q) = -20 - 36*q + 10*q + 11*q + 84 + 12*q. Let h be m(20). Solve 2*n - h*p = -2, -5*n + 8 = -n - 4*p for n.
5
Let c = 28366 - 28340. Solve 5*p - 4*s + 5*s = c, -p + 9 = 4*s for p.
5
Let r(z) = -495*z + 3963. Let k be r(8). Solve -v = -g - 9, -2*g - 6 + k = v for v.
5
Let a(x) = 3*x**2 - x - 1. Let q be a(-1). Suppose 0 = 4*j - 5*g + 126 - 112, -4*g + 24 = 0. Solve -y - j*v + 9 = 0, -q*y - 2*y = 5*v for y.
-3
Let x(g) = 4*g**3 - 48*g**2 + g - 10. Let a be x(12). Suppose -4*f + a*v = -18, 5*v = -4*f + 17 - 20. Solve -3*y + 8*y - 12 = -4*q, 0 = -f*y + 5*q + 22 for y.
4
Let p be (4/3)/((-14)/(-189) - 0). Suppose 2*w = -3*g - 9, -2*w + 3*g = -w - p. Solve 0 = d + q - w, -3*d = -0*d - 5*q - 17 for d.
4
Suppose -30 = 40*g - 42*g. Let z be -2 + (-40)/(-25) + 36/g. Solve 4*j = -z*a + j - 10, 5 = a - j for a.
1
Let r(w) = -w**3 + w**2 + 2*w + 4. Let q be r(2). Let z(n) = 7*n**2 - 30*n + 10. Let t be z(q). Solve -2*v = h - t + 1, -5*v + 2 = 3*h for v.
1
Let a = 284 + -216. Suppose 0 = -10*w - 7*w + a. Solve r + 5 = w*q - 3*q, 2*q + 3*r - 5 = 0 for q.
4
Suppose 12*w - 35 = 125 + 44. Solve 4*m - 2*i = -5 - w, 0 = m - 3*i + 18 for m.
-3
Let v be 4/(-10) + (-432)/120 + 81. Let n = -77 + v. Solve n = a + t + 4*t - 10, 3*a - 2*t = -4 for a.
0
Suppose 5*w - 23 = 6*j - 7*j, -5*j = 3*w - 159. Let l = j - 25. Suppose -20 + l = -6*k. Solve k*n - 6 = -5*s + 8, -2*n + 6 = 3*s for n.
-3
Let d = 6116 - 6111. Solve -2*y = d*m + 8, 0 = -63*y + 67*y - m - 6 for y.
1
Let c = -14968 + 14972. Solve 24 = 3*f - c*x, 2*x - 6 = -3*f - 0 for f.
4
Let w(a) = 13*a + 22. Let l be w(-8). Suppose -873 = -10*y - 33. Let i = y + l. Solve 7 = -0*r - 3*r - 4*k, 3*r = i*k + 17 for r.
3
Let l(v) = 6*v**2 - 2*v - 1. Let h be l(3). Suppose -3*c - 64 - h = 0. Let p = -30 - c. Solve -p = o - 0*w - 3*w, 4 = 4*o - 4*w for o.
5
Let j be 4/48*6 - (-172)/8. Solve 2*g + 10 = 31*l - 30*l, l = 5*g + j for g.
-4
Suppose -310*m + 307*m + 18 = -t, -5*t + 3*m = 18. Solve -2*a - 2*q + 14 = t, -5*a + 2*q + 15 = -3*q for a.
5
Let z(g) = -g + 4. Let t be z(1). Let f be (t/(-6))/((-3)/324). Suppose -26 = -4*x + f. Solve 3*y + 6*q - 2*q = -x, 3*q + 15 = -y for y.
0
Suppose -3943*h + 3917*h + 52 = 0. Solve h*z + 8 = 5*a, z = -34*a + 29*a - 4 for a.
0
Let l be (4/(-3))/(1/(-4) + (-14)/(-84)). Solve 4*m - 3*k = -29, -26*k = -2*m - 24*k - l for m.
-5
Suppose 5*x + 0*x = 4*j - 50, -2*j + 3*x + 24 = 0. Let p be ((-22)/(-6)*2)/((-2)/j). Let q = 77 + p. Solve -2*i + 1 - q = 5*f, -f + 3 = -2*i for i.
-3
Let s(a) = -3 - 10*a - 2*a + 9*a + 4*a. Let h be s(8). Let o(f) = -2*f - 7. Let c be o(-5). Solve -h*t = k - 10, 7 = 5*t + 5*k - c for t.
2
Let o be 0*(6/4 - 1). Suppose c + 313 = 3*v + 290, c + 13 = v. Solve z - 4*m - 3 = o, v = -5*m - 5 for z.
-5
Suppose 4*f + 3*w = 28 - 5, 4*f - 5*w = -17. Let u(v) = v**3 - 2*v**2 + 4*v - 5. Let z be u(f). Solve m - 5 = -s + z*m, -6 = 3*m for s.
1
Let i(p) = p**3 - 52*p**2 + 236*p - 33. Let z be i(47). Solve 0 = -k - 2*m + z, -4*k = -5*m + 7 + 2 for k.
4
Let l(z) = z**2 + 3*z - 18. Let d be l(-8). Suppose 3*c - 3 = 3*r, -4*c + r - 6*r = -d. Solve -5*o + 2*g = -6 - 24, c*g + 19 = o for o.
4
Let c(f) = 132*f + 28 + 52 - 109*f - f**2. Let x be c(26). Solve x*v - 2*u + 17 = u, 4*v + 1 = -5*u for v.
-4
Suppose 32 = 2*t - 4*g - 0, 0 = 5*t - 8*g - 68. Solve j = -5*q + 9*q - 3, -3*q - 14 = -t*j for j.
5
Let k(w) = w**2 - 43*w + 409. Let t be k(29). Solve -2*h + 15 = -3*x + 2*h, -3*h - 15 = t*x for x.
-5
Let g be (-1 - -2) + 0 + 0. Let o(d) = d - 24. Let l(k) = 3*k - 123. Let q(a) = -l(a) + 5*o(a). Let p be q(g). Solve -11 = m + 3*y, 2*y - 7 = 2*m + p*y for m.
4
Suppose -4*d = u - 0*u - 29, -5*u + 2*d = -57. Let t(w) = -2*w**3 + 25*w**2 + 13*w + 4. Let y be t(u). Solve 6*r - 5*c - 15 = y*r, -4*c = -4*r for r.
-5
Let f be (-1)/(-2)*(3 + 37). Let s be ((-336)/105)/((-2)/(-10)). Let t = f + s. Solve 8 = -3*k - t*b, 0*k + 4*b + 8 = -4*k for k.
0
Let k = -2222 - -2230. Solve 6 = 3*l, -7*y + 3*y + k = -2*l for y.
3
Let y = -15533 - -15545. Solve -r + c - 5*c + 24 = 0, 0 = 3*r - 2*c + y for r.
0
Let h(v) = -v**3 - 5*v - 5. Let c be h(-2). Suppose -28 + c = -5*w. Solve -x - 3*z + 4 = 0, 3*x - 5*z + 5 = w for x.
1
Let n(q) = 4*q**2 + 138*q - 66. Let h be n(-35). Solve 2*f = -h*d - 17 - 3, 5*f + 10 = -2*d for d.
-5
Let i(s) = -74*s - 70. Let x be i(-1). Suppose 0 = -4*w + 19 - 11. Solve -5*n = 5*d, 0*n - w*d = n + x for n.
4
Suppose 5*c + 0*c - 4*l - 28 = 0, 0 = l + 2. Suppose 4*z = -0*z. Suppose 5*x - c*x = 2*r + 1, z = 2*x + r - 7. Solve 4*a = 8*a - 4*g - 4, 15 = -3*a - x*g for a.
-2
Let z(r) = -8*r**2 - 759*r + 98. Let w be z(-95). Solve 0 = l + 4*h - w, 1 = -3*l + h + 10 for l.
3
Let j be (0 - (-14)/(-49)) + 426/21. Solve 0 = 5*l - j, 29*t + 2*l = 25*t + 4 for t.
-1
Suppose 0 = x + 5*w - 41, 2*x + 115*w - 10 = 114*w. Solve 70*q - 71*q - 2*v - x = 0, -5*q - 5*v = -10 for q.
5
Let b be (2 - 28/13) + 14/91. Suppose -4*w = b, -3*w - 10 - 2 = -3*m. Let p be 4/(1/1) - (-15 - -16). Solve p*h + 1 = 3*y + 7, -3*y + m = 2*h for h.
2
Suppose -4*h - 15 + 23 = 0. Solve -1 + 15 = 3*t + a, a = h*t - 6 for t.
4
Let p = 35 + -21. Suppose 2*i - 13 = -3*b, 10*i = 15*i + 5. Let y be (-3)/((-1)/((10 - 5)/b)). Solve -y*f = -2*t + f - p, 2*f - 3 = -3*t for t.
-1
Let h = 84 + 12. Let y = 96 - h. Suppose -3*m + 4 = 8*g - 3*g, -g - 1 = y. Solve m*s + 14 = -v, 2*s + 0*v + 2*v = -16 for s.
-3
Suppose n = -6*n + 42. Let c be ((-3)/(-2))/(n/8). Solve -2*o + 5*h + 2 = -0*o, 0 = -c*o - 2*h - 12 for o.
-4
Let f = 5126 - 5106. Solve -f = 5*s + 2*q, -s - 2*q - 16 = 3*s for s.
-4
Let w be 189 - ((8/(-4) - -7) + -1). Let c = w + -174. Solve 0 = -p - 0*p - 3*g - c, -2*p = 4*g + 16 for p.
-2
Suppose 5*k - 24 = -7*k. Suppose 3*r = -u + 10, 5*r = u + 3*r. Suppose 2*d = u*m + 60, d = -2*m - 5 + 15. Solve -l - t + 4 = -0, -k*l = 5*t - d for l.
0
Let s(h) = h**2 - 9*h + 22. Let k be s(5). Suppose -9*i = -8*i - k. Suppose -i*b - f + 6 = 0, 5*b - 5*f - 45 = -0*b. Solve m = 4*l + 4*m, b*l - 7 = -2*m for l.
3
Let k be -1 + 0 - (-2 - 15). Suppose -k - 11 = -9*v. Solve 18 = -3*g - v*l, -g + 3*l + 6 = l for g.
-2
Let c(x) = 7*x**2 - 5*x - 7. Let g be c(3). Suppose -7*b - 13 = -g. Solve 5*j + 12 = -3*v - 8, -3*v 