*a - 4 for x.
-3
Suppose 90 - 32 = 2*k + s, 145 = 5*k - 5*s. Suppose k = -5*l + 9, 272 = 2*t - 2*l. Let q be t/20 - (-6)/(-10). Solve 4*m + w + 14 = -q, 3*w + 12 = 0 for m.
-4
Let d(h) = h - 8. Let b be d(8). Let c be 8*2/4 - -9. Solve b = -n + 5*u - c, -3*n - 3*u - 11 = -4*u for n.
-3
Let q be 1/(-4) + 17/4. Suppose -19*w + 18*w = 0. Suppose 40 = -w*n + 8*n. Solve -5 = 3*x - q*l + 20, -n*x - 4*l + 1 = 0 for x.
-3
Let r(i) = 5*i. Suppose 5*l - 48 = -38. Let x be r(l). Solve -5*y = q + x, -2*y + 30 = 3*q - 7*y for q.
5
Let g = 315 - 76. Suppose g + 166 = 15*m. Solve 0 = 3*c - 4*x + m, 4*c - 4*x = -x - 29 for c.
-5
Let r(b) = 2*b**2 - 4*b + 3. Let p be r(3). Suppose -p + 4 = -t. Suppose 5*f = 3*y - 41, -24 - 9 = -3*y - 3*f. Solve -t*k + y = -4*o, k = 6*k for o.
-3
Let s(h) = -h**3 - 12*h**2 - 14*h - 32. Let j be s(-11). Solve 3*g = 3*i, -j - 5 = -4*i + 2*g for i.
3
Let h be 184/(-7) + 20/70. Let b = h + 29. Let z(j) = 2*j**2 + 2*j - 2. Let q be z(-2). Solve -3*s = -6*s - p + 11, -b*s + q*p = -23 for s.
5
Let c(t) be the first derivative of t**2/2 + t - 12. Let m be c(4). Solve 4*w = 3*b - m*b + 26, -15 = -3*b for w.
4
Let b = -9 - -15. Suppose -26 = -5*q - b. Let j be q - (-3)/(-2)*-2. Solve 6 = 4*s - 2*v, 3*s - 5*v = 4*s - j for s.
2
Let u = 55 + -97. Let x = u + 46. Solve 2*q = -x*t - 2, 0 = 3*t - 8*t + 4*q - 9 for t.
-1
Suppose -5*m - 8 + 3 = 0. Let j be (-7)/(-28) - m/(-4). Suppose 5*o - 6 - 19 = j. Solve 0 = g + 3*a + 3, -5*a - o = -g - g for g.
0
Let u(c) = -c**3 - 15*c**2 - 13*c + 3. Let a be u(-14). Let b be (0 - a)*(1 + 1)/2. Solve -2*s + 3 = b, -2*s - 3 = -w for w.
-5
Suppose 0 = -2*s - 2*u + 4, -2*s + 4 = -8*u + 5*u. Solve 4*i = y + 11, -2*i - 1 - 1 = s*y for y.
-3
Let r(f) = -f**3 + 14*f**2 - 14*f + 15. Let h be r(13). Suppose -4 = 2*u, 0*d + 3*u = -h*d + 10. Solve v = -p - 8, -7*p + 2*v - d = -3*p for p.
-4
Suppose -15*l - 18 = -13*l. Let n be (21 + 0)/(l/(-6)). Solve 3*o + 22 = -5*y, -o - n + 5 = 2*y for y.
-5
Suppose -20*b - 10 = -25*b. Solve -6 = -2*k - 0*k + b*y, -1 = y for k.
2
Let a(o) be the first derivative of -1/3*o**3 - 1 - 12*o - 6*o**2. Let c be a(-8). Solve 0 = 5*b - 3*x - x - 45, 2*x + c = 2*b for b.
5
Let f(b) = 1. Let d(o) = o + 14. Let h(v) = d(v) - 6*f(v). Let k be h(-8). Solve k = -l + 2*t - 5*t - 1, 0 = 4*l + 5*t + 4 for l.
-1
Let p = 224 + -221. Solve -3 = 2*c + 5*x, c + 3*x + p - 2 = 0 for c.
-4
Let p(r) be the third derivative of r**5/30 - 5*r**4/12 - 13*r**3/6 - 6*r**2. Let h be p(-3). Solve 0 = -4*u + 5*k - h, 4*u - 4*k + 2*k + 26 = 0 for u.
-5
Let f(a) = -6*a - 42. Let m be f(-9). Let s = -3 + m. Let b = -1 - -5. Solve -b*o - 2*x - 1 = s, 0 = 3*o + 3*x for o.
-5
Let r be 6 - (2 - 6)/(-1). Solve 0*s = -2*s - 2*b - 14, -r*s - 8 = -b for s.
-5
Let a(m) = 16 - 1 + 6*m - 2*m - m**2 + 10*m. Let i be a(15). Solve -2*d + i*d = -3*b - 9, 5*d = 3*b + 18 for b.
-1
Let a(g) = -2*g**2 + 17*g + 88. Let l be a(12). Solve -2*w + 3*q - 11 = l*q, 0 = 4*w - 3*q - 3 for w.
-3
Suppose 16*p = 15*p - 88. Let k = p + 91. Solve n - 2*h = k, 12 - 4 = n + 3*h for n.
5
Let x be -1*(0 - (-6)/2). Let n = x - -4. Let c be (n/(-2))/((-7)/224). Solve 4*j - u = -c, u = -2*j - u - 18 for j.
-5
Let j be (-11 - 948/(-84))*(-1 - -8). Solve -6*t = -7*t - j*g - 13, 4*t + 4*g + 32 = 0 for t.
-3
Suppose -41*h + 37*h = 2*o + 10, -3*o = 2*h + 15. Solve -3*x - 3*u - 12 = h, 2*x + 3*u = -1 - 7 for x.
-4
Let y(x) = -10*x - 174. Let n be y(-18). Solve 0 = -4*c + 5*t + 19, 4*c - t = n*c + 1 for c.
1
Let u be ((-2)/(-10) - 1)*(-5 + 0). Suppose u*w - 3*m = w + 9, -3 = -w + 3*m. Solve 2*v = 7*i - w*i + 12, 0 = -3*v + 3*i + 6 for v.
-2
Let o(f) = 4*f**2 - 3*f + 6. Let q be o(4). Let h = q + -53. Solve -h*z + 4*u = 3*u - 10, 3*z = u + 8 for z.
1
Let b = 9 + -6. Suppose -3*f - 18 - 24 = -3*l, -3*f + b = 2*l. Let y(n) = -n**3 - 4*n**2 + 5*n + 3. Let p be y(-5). Solve -3*g + 11 + p = -r, -3*g = -l for r.
-5
Let c(q) = -1 - 4*q - 4*q + 4*q + 3*q. Suppose 2*h - 3 = 3*h. Let d be c(h). Solve 0 = -d*p + f - 4 - 5, 4*f = p + 8 for p.
-4
Let n = 1397 + -1396. Solve 4*m + n = -3*i, 9 - 5 = 2*m for i.
-3
Let k = 38 + -35. Suppose 14 = 3*i + v, -3*v + 19 = k*i - v. Solve -3*m = -5*a + 18, -3*a + 5 = m + i*m for a.
3
Let p = 70 - 60. Suppose -46 = -4*n - p. Solve -t + x = -2*x - n, -t = 2*x + 11 for t.
-3
Let s(h) = h**2 - 2*h - 45. Let t be s(8). Solve -x + 2 + 10 = 4*l, -x = l - t for x.
0
Let p be 9*(-2)/(-3) + -1. Suppose -p*u = -4*u. Solve j = 3*w + 13, u*w - 4*w = -5*j + 10 for w.
-5
Let q(p) = 82*p**2 + 2 + 19 - 81*p**2 + 20*p. Let l be q(-19). Solve -5*n - 10 = 5*z, -l*n - 2*n = z + 5 for n.
-1
Let k = -1269 + 1272. Solve -4*a - 15 = -d + 10, 2*a + 25 = k*d for d.
5
Suppose -2*s + 6*s = -4*l + 20, -s = -4*l. Suppose 0 = 5*f - 25*f + 300. Solve -b - b = -4*o + 12, s*b = 5*o - f for o.
3
Let b be ((-8)/18 - (-2)/18)*-6. Solve -5*n = -b*o - 17, n + 5*o + 8 = 2*n for n.
3
Suppose 2*o = 5*w - 97, 4*w - 2*o - 68 = 2*o. Suppose -2*h = 2*q + 3*h + w, 2*q = -h - 1. Let n = 8 - 6. Solve -l + q*s = -12, -n*l + 2*s = 2*l - 24 for l.
4
Let q(p) = -p**3 - 24*p**2 - 127*p + 21. Let l be q(-16). Solve l*s = c - 20, -8*s = -7*s + 5*c + 4 for s.
-4
Suppose -22*y + 19*y = -18. Let h be 10/y*(8 + 20/(-4)). Solve h*l = t - 2*t + 7, 0 = 5*t - 2*l - 8 for t.
2
Suppose 4*v - g - 7 = 0, g = 2*v + 2*g - 5. Suppose -v*n + 4 = -4. Solve -2*p - t = 9, 0 = n*p - 5*p + t + 3 for p.
-2
Let i be (-1 - -2)*(-2 - -7). Suppose -i*n - 6 = -26. Let u = n + -1. Solve 0 = 4*k + u*z + 20, 22 = -k - 5*z for k.
-2
Let c(a) = 3 - 7 - a + 0 + 0*a. Let u = 26 + -34. Let x be c(u). Solve 2*d - s = -3*d + 8, 0 = d - s - x for d.
1
Let l(i) = 2*i**2 + 3*i - 3. Let g be l(-4). Suppose 31 - 5 = -2*q. Let o = q + g. Solve -y - n = -4*y, 0 = -o*y + n - 1 for y.
-1
Let z = 271 - 268. Solve -24 = -5*i + 3*q, i + 0*i - z*q - 12 = 0 for i.
3
Suppose 11*m - 10*m = 5*m. Suppose -8*u - 4*u + 36 = m. Solve 3*h = 5*n + 1, n + u*n - h + 5 = 0 for n.
-2
Let z be -6*((-2)/6 + (-26 - -24)). Suppose -3*g - 3*n + 3 = 0, -5*g = 3*n - 2*n - 13. Solve g*k = 3*v - 21, 4*k + z = v - 4*v for k.
-5
Let n = 734 - 733. Solve 0 = -3*d - 2*o - n, -3 = d - 2*o - 0*o for d.
-1
Let m(g) = -4*g**3 + 8*g**2 + 7*g - 2. Let p be m(-1). Solve 0 = 3*s - a + p, -s - s - 19 = 5*a for s.
-2
Let t be 1 - -6 - (-13 - -8). Solve 14 - 42 = -2*q + 5*y, -q - 4*y = t for q.
4
Let r be (-1)/((-3)/15 + 0). Suppose 4*n = r*n - 8. Suppose 6*k - n = 2*k. Solve 3*c - 8 = -4*o, 0 = -0*o + k*o + 5*c - 4 for o.
2
Let m = 17 - 26. Let z be 2/m - (-29)/9. Solve z*l - 4*n = 2 + 2, 5*l + 5*n - 30 = 0 for l.
4
Suppose -5*u - 18 = 12. Let c(v) = -v**3 + 5*v**2 - v + 4. Let r be c(5). Let x be -2 - u - (r + 2). Solve 2 = -q + 5*o - 11, 5*q + x*o = 19 for q.
2
Let p(z) = 6*z**2 + 198*z + 12. Let x be p(-33). Solve 4*h - x - 8 = -4*c, -2*h - 2 = -2*c for c.
3
Let w = -114 - -116. Solve 0 = -2*l - 3*i, 0*l = 5*l - w*i for l.
0
Let h(f) = f + 4. Let n be h(-3). Let g(c) = -5*c. Let r be g(n). Let y be 8/40 + (-49)/r. Solve -5*u - y + 4 = -3*x, -5*x = -5*u - 10 for x.
2
Let k be (1 + -3 + -3)*(13 + -15). Solve -2*f + k = 5*n, -3*n - 2*f + 6 = 2*f for n.
2
Suppose -5*m = -n - 16, -4*n = 3*m - 5 - 0. Solve -i - 9 = -4, -i - 11 = m*x for x.
-2
Let c(v) = 5*v**3 - 6*v**2 - 3*v - 2. Let g be c(2). Suppose -4*k + 3*k + 3 = -4*f, 0 = 2*f. Solve -k*u + g*u = -5*j + 20, -5 = -5*u - 2*j for u.
-1
Let u be (-144)/(-30) - (-1)/5. Let o be (-3)/12 - (-3 + (-18)/8). Let a = 1 + -1. Solve u*n - 5*l = -a*l + 10, o*l = -5*n + 30 for n.
4
Let h = 38 + -71. Suppose 4*k - 322 = -82. Let u = h + k. Solve -3*o = -2*z - 12 + u, -2*z - 15 = 3*o for z.
0
Let h = 150 - 90. Suppose 5*d = -7*d + h. Solve -t + 18 = d*f, t = f - 0*f for f.
3
Let r(h) = 5*h**2 - 44*h - 2. Let b be r(9). Let p be b/1 - 55/11. Let j(g) = -g - 6. Let y be j(-6). Solve p*i + 5*k = -47 + 12, -4*i + 4*k = y for i.
-5
Suppose 14*g = 10*g + 16. Solve 3*n = g*q - 8, -5*q + n + 5 + 5 = 0 for q.
2
Let y(z) = -527 + 263 + 262 - z**2 - 2*z - 3*z**3. Let b be y(-1). Solve -4*o = -5*j - b*o + 3, 0 = 2*j - 2*o for j.
1
Let y(p) = p**3 + 5*p**2 + 2*p + 6. Let c be y(-4). Suppose 0*x - 4*x - j + c = 0, 2 = 2*x + 3*j. Solve -5*r - 2*l - 10 = l, -3*r - 35 = -x*l for r.
-5
Suppose 72 = -3*b - 5*i, 0 = -b + 3*i + 3 - 13. Let m = -12 - b. Let v =