Let t = -18 - -31. Suppose t*i = -38 + 142. Solve 5*k = 2*l - 11, -4*l + 9 = -5*k - i for l.
3
Let u be -5 - (1 + 1) - -3. Let m be (-19)/u - 9/(-36). Solve 0*t - 5*t = -m*n + 15, 5*t - 35 = -5*n for t.
2
Suppose -194 = t - 205. Solve -4*l - 36 = -4*x - 0*l, 0 = 4*x + l - t for x.
4
Let i = -6 + 11. Let u be 11/(-88) - 65/(-8). Let v(y) = 3*y - 9. Let r be v(u). Solve i*f - r = -2*a, a + 3 = f + 3*a for f.
3
Let j(b) = -3. Let l(k) = 6*k**2 + k - 17. Let t(w) = -6*j(w) + l(w). Let a = -1 + 0. Let v be t(a). Solve 0 = -y - g + v, 3*y + 4*g - 18 = 2 for y.
4
Let q be 4/6*-18*(-4)/16. Solve -6 = -q*s + 3*f, 2*f = -5*s - 2 - 2 for s.
0
Let m be (0*(-3)/(-6))/(-2). Let h be ((-21)/(-7))/(1 + m/(-1)). Solve 2*t + 2*u + 4 = 0, -t + h*u = 5 + 1 for t.
-3
Let c(a) = -11*a - 1. Let g be c(-2). Let r be -1*(4 + g/(-3)). Solve -2*j + 3*j = -r*n + 14, -3*n + 3*j + 18 = 0 for n.
5
Let v = 48 + -41. Let n be (-64)/(-40)*5/2. Let s be (n - (-39)/(-9))*-84. Solve -i + v*k + 24 = 2*k, -4*i + s = -3*k for i.
4
Let t be -3*(-3)/((-9)/(-5)). Let m be -2 - (-3 + 4 - 5). Solve 6*y - 6 = y - o, -7 = -t*y - m*o for y.
1
Suppose 59 - 170 = -3*c. Suppose -3*p = -c - 23. Suppose 0 = 3*l + 9, v + 8 = -4*l + 2. Solve 25 = -4*w + 5*x, v*x = -3*w + 2*x + p for w.
0
Let i = 19 + -18. Let t be 1*(i - (-2 - -3)). Solve -5*o - x - 18 = -t*x, 2*x + 8 = -3*o for o.
-4
Suppose 0 = 41*c - 17*c. Solve t + u = c, -5*t - 6*u = -2*u + 1 for t.
-1
Let y be 4 + (18/(-14) - (-18)/63). Solve t = -l - 0 + y, 3 = -t + 5*l for t.
2
Let m(x) = x**2 - 39*x - 218. Let q be m(-5). Solve v - 2 = q*h, -h - 10 = -5*v - 6*h for v.
2
Suppose 7*h - 4*h - 6 = 0. Suppose h*r - 36 = -0*r. Suppose 8*n - 5 = 7*n. Solve -f + 3*d - 2 = -0*d, 2*f - r = -n*d for f.
4
Let f = -226 - -230. Solve f*z - 4*p + 12 = 0, -3 + 7 = -3*z + 2*p for z.
2
Let r = 30 + -30. Suppose r = 14*j - 8*j. Solve -a + 8 = -4*i, -i - 2*a + 9 - 2 = j for i.
-1
Let a = 83 + -81. Solve -5*u - v - a = 0, 2*u - 4 = -v - 6 for u.
0
Suppose 0 - 3 = -x. Suppose 2*v - v = -x, 4*v = -3*o. Suppose 11 = 4*f + c, 10*f = 17*c - 13*c + 8. Solve -o*p + 0 - 4 = -f*n, 2*p = -2 for n.
0
Suppose 0*j = -2*m + 5*j - 6, 5*j - 4 = 3*m. Solve 0 = 5*h + x + 6 - 2, 5*x - 7 = m*h for h.
-1
Let u(f) = -f**3 + 37*f**2 + f - 35. Let a be u(37). Solve a*j - 2*q + 0 + 2 = 0, 5*j = -3*q - 13 for j.
-2
Let l = -9 + 12. Let t = 168 + -165. Solve t*w - a + 7 = 0, -w = l*a + 11 + 8 for w.
-4
Let w(m) = -30*m - 145. Let c be w(-5). Solve 8*n + 3*r + 30 = 3*n, -n - c*r = 28 for n.
-3
Suppose -2*d = -0*d. Let m = 183 - 179. Solve k - 3 = -d*u - 5*u, u - 12 = -m*k for u.
0
Suppose 4*d + 11 = o, -2*d = -3*o - 7 - 0. Let q = 0 - o. Let p = q - 3. Solve z = 3*a + p, 0 = -4*z - 0*z + 3*a + 17 for z.
5
Suppose -3*c + 45 = 18. Solve 0 = 5*m - 3*v - 2*v + 30, -5*m = 2*v + c for m.
-3
Let x be 12 - (-448)/(-40) - 6/(-5). Solve -30 = -x*d - 0*d - 4*c, -c = -5 for d.
5
Let g(r) = 2*r**2 + 17*r + 8. Let d be g(-8). Solve -3*w - 4*j + 12 = -4, -2*w - 3*j + 12 = d for w.
0
Suppose -4*q + 12 = -4*i, 5*i + 9 = 3*q - q. Suppose -q*z - 2*a + 8 = -z, 3*a + 21 = 4*z. Solve 5*y + 3*s = -12, 2 + z = -2*y + 2*s for y.
-3
Suppose -63*r + 56 = -133. Solve r*i - 1 = -c - 3, 4*c = i - 8 for c.
-2
Suppose 10*a - 5 = 55. Solve 4*t + 2*s = -20, 2 = s + a for t.
-3
Let u be (-2)/9 + 8/36. Suppose u*h = h. Suppose -3*s + 25 + 32 = h. Solve 5*c - 4*g = -5*g + 23, -4*c - g = -s for c.
4
Let c be ((-4)/5)/(18/(-135)). Let t be 4/(-12) + 20/6. Suppose 0 = 2*u - 2*l - 4, -l = t*u + u - 8. Solve 3*k - u = 7, -h - k = -c for h.
3
Let w be (20/(-12))/5 + 21/9. Solve 5*b + 25 = 2*x, 0 = -w*x - 0*x + 10 for b.
-3
Let i(v) be the first derivative of -v**2 - 2*v - 18. Let x be i(-2). Solve -5*z + x*w - 11 = 10, -2*z - w - 12 = 0 for z.
-5
Let i(q) be the second derivative of 7/12*q**4 + 2/3*q**3 + 1/20*q**5 - 14*q - 4*q**2 + 0. Let j be i(-6). Solve 2*p = -5*h - j, 3*p + 5*h = -2*p + 5 for p.
3
Let h(u) = -u**3 - 8*u**2 - 6*u + 12. Let a = -3 - 4. Let r be h(a). Solve 39 = r*t + 5*i - 1, 2*t - 22 = -4*i for t.
5
Suppose 3*t - 7 = -7. Suppose -23*o + 27*o - 8 = t. Solve -4*u - o*m - 26 = 0, -3*u = 3*m - 2*m + 17 for u.
-4
Let g(n) = n**2 + 7*n - 3. Let i = 72 - 80. Let s be g(i). Solve -z = 5*b - s, -5*b = -b + 5*z + 17 for b.
2
Let v(z) = -z**2 + 1 - 13*z + 3 + 2 - 16. Let q be v(-12). Suppose 0 = -5*o + 115 - 35. Solve q*t + 2*a = -o, 4*t + 9 = t + 2*a for t.
-5
Suppose -36 = 16*v - 116. Solve 0 = v*m + p - 4 - 3, 3*m = -3*p - 3 for m.
2
Suppose 5*r + 4*h - 31 = 0, -2*h - 2 = -0. Suppose -r = -2*g - p + 1, -3*g = -p - 17. Solve -4*m = g*x + 5 + 1, m + 2*x = 0 for m.
-4
Let t be (6/(12/4) - 1)*-77. Let g = -77 - t. Solve -4*j + g*u + 11 = -3*u, 24 = j - 5*u for j.
-1
Let h(w) = 13*w - 24. Let q be h(-8). Let v = q + 131. Let t be 6/(2/((-8)/(-6))). Solve 2*u - 3*u - v = -t*k, -4 = -2*k for u.
5
Suppose 3*h = -2*y - 3*y, -16 = -5*h - 3*y. Suppose h*b - 72 = -z + 14, -b = z - 14. Let g be 1 + 3 - b/18. Solve 2*k = 4*l, -4*k + 5*l + 0*l = g for k.
-2
Let v(m) = -m**3 - 5*m**2 + 4. Let n be (21/9)/((-2)/6). Let f(o) = 2*o + 9. Let u be f(n). Let s be v(u). Solve g - h = 3, s*g - 3*h - 4 = 2*g for g.
5
Let m = -31 - -46. Suppose -m*r = -17*r + 32. Solve 2*t = l, -r = t - 3*t + 5*l for t.
-2
Let j(q) = 2*q**2 - 43*q + 18. Let o be j(21). Let u be (3/(o/2))/((-4)/4). Solve 2 = -u*v, -2*v - 6 = 2*a - 0*v for a.
-2
Let n be 52/20*(-7)/((-35)/50). Solve n = -2*i - 5*m + m, -i + m = -2 for i.
-3
Let d(n) = -25*n**3 + n**2 + 3*n + 2. Let u be d(-1). Suppose -u*h + 12 = -22*h. Solve -h*x + 18 = t, 5*x - t = x + 14 for x.
4
Let v = 24 + -16. Suppose -v = -5*r + 12. Let m be 2 - 5/10*2 - -2. Solve -g + 10 = -m*w, 2*g - 6*g = -r*w for w.
-5
Suppose -5*c = -5*b - 4 - 6, -b - c = -8. Solve -6*h + 2*h - y = 18, b*h + 18 = -3*y for h.
-4
Let j be -10*(-75)/10 - -3. Let b = j + -76. Solve 4*k + 14 = 5*x + b, 5*k + 15 = -4*x for x.
0
Let m be (-4)/10 - (-243)/45. Suppose m*i - 3*s - 4 = -2*s, -2*s = -5*i + 8. Solve i = -4*b - 8, -5*q - 4*b + 10 = -2 for q.
4
Let t(d) = -d - 1. Let f be t(-9). Suppose 10 = a + f. Solve 0 = 4*w, 3*w - 4*w = h - a for h.
2
Let l = 243 + -230. Solve 5*u + l = 3*i, 3*i + 9 + 13 = -2*u for u.
-5
Suppose -4*d + 7*d = 5*k - 20, 5*d = 2*k - 8. Let z = -28 - -43. Suppose -z = -0*t - 3*t. Solve -2*u + 6 = -k*y, 3*u - t*y = 9 - 2 for u.
-1
Let i be (-2)/(-2 + 0)*23. Suppose 67 - i = 4*j. Suppose -2*h + 5*a = 15, 4*h + 5*a - 26 = -j. Solve 0 = z + 3*o, z - o = -h*o for z.
0
Let y = -9 + 5. Let r = 7 + y. Let j(w) = -24*w + 219. Let b be j(9). Solve c = 3*z - 14, r*z = b*c + z + 21 for c.
-5
Suppose 5*j - 6*j = -24. Suppose 4 = 2*z + 32. Let t = z + j. Solve -6*x + 4*x - r = -t, 3*r = 4*x for x.
3
Suppose -3*w = -14 - 1. Suppose 4*o + w = 5*o. Suppose 6*u = j + 3*u - 1, -2*j = -u - 2. Solve o*s - 4 = 4*r, 3*s + 5 = 4*r + j for s.
4
Suppose n - 73 = q - 69, -3*n - 5*q = -12. Solve -d = 5*t + n, 6*d - 4*t = 4*d + 6 for d.
1
Let t = 38 - 33. Solve 5*k - 16 = -2*d, k = -t*d + 2*d + 11 for d.
3
Suppose 4*d + 136 = 3*q, -q - 37 - 4 = d. Let l = d - -37. Solve m + 5 = l, -m + 2 - 4 = v for v.
3
Let i(o) = o - 4. Let z be i(9). Let f(t) = 2*t**3 + 4*t**2 - 7*t + 2. Let s be f(-3). Solve 40 = -3*x - s*v, -33 = 5*x + z*v + 17 for x.
-5
Let x be -10*((-36)/(-8) - 5). Suppose 4*w = -x*w + 72. Let p = -1 - -1. Solve p = 2*v - w, 2*y - 16 = -4*v + 2*v for y.
4
Suppose 2*t - 1993 = -1987. Solve -t*z - 3*v = -12, -7*v = -5*z - 2*v - 20 for z.
0
Suppose -53*t + 18*t = 0. Solve 4*s + 2*o - 2 = -t*o, -5*s = -4*o - 22 for s.
2
Let i = -236 - -238. Solve -h + 8 = -i*n, 0*h - 5*h = -10 for n.
-3
Let h(x) = -9*x - 247. Let i be h(-28). Solve -i*q + 9 = -6, -4*q = -5*p - 32 for p.
-4
Let y be (-58)/(-8) - 0 - (-85)/(-340). Solve 0 = -3*z - 15, -y*i - 4*z = -12*i + 40 for i.
4
Let u(n) = n**3 - 5*n**2 - 26*n + 6. Let x be u(-3). Suppose -b + 7 = 2*g, 5*b - 4*g - 5 = g. Solve -j - b*j = x, -j = -o + 3 for o.
0
Suppose -2*k + 22 = 4*s, 2*k = 5*k - s - 12. Solve 0 = -z + a - 5*a + k, 0 = 2*z - 2*a - 10 for z.
5
Let h(b) = 22*b - 41. Let j be h(2). Solve -2*g = -j*t - t + 2, 20 = 4*g + 4*t for g.
3
Suppose 3*s = 3 + 6. Suppose 0 = s*c - 5*d - 21, 5*d - d = -4*c - 4. Solve 5 = w - b - 2, -c*w - 4*b = 4 for w.
4
Let c(a) = -a + 29. Let u be c(24). 