m + 2*i - 0, j = 5*i + 10 for m.
5
Let q = 1 + -13. Let m = q + 17. Suppose -2*v - 57 = -m*i, -2*i + 73 = 3*i + 2*v. Solve -4*a + i = -a - 4*b, -3*a + 5 = -2*b for a.
-1
Let q be (-2 + 20/12)*3 - -17. Solve -5*t + q = -2*x - 8, 0 = -5*t + 4*x + 28 for t.
4
Let s = -191 - -193. Solve 13 = -3*z + 2*p - 6*p, -11 = s*z + 5*p for z.
-3
Let v = -173 + 177. Solve -5*y + v*l = 2, 4*l + 2 - 16 = -y for y.
2
Let j = 153 - 150. Solve o + j = 0, -2*o + 3*o = -5*i - 28 for i.
-5
Let a(v) = 4*v + 2. Let c be a(7). Let m(r) = r**3 + r**2 - 5*r + 1. Let f be m(2). Solve 0 = 5*h + 5*s - c, 0*s = 2*h + f*s - 13 for h.
5
Suppose -23*u - 6 = -121. Solve -u*q + h = 8, 5*h - 12 = -6*q + 3*q for q.
-1
Let g be 3/((-9)/(-12)*-1). Let p(n) = n**3 + 4*n**2 + n + 4. Let j be p(g). Suppose 0 = -j*c - 4*c + 48. Solve c = -5*u - z, 10 = -3*z - 2*z for u.
-2
Let s(x) = 3*x - 58. Let o be s(20). Suppose 2*h - h + 30 = 5*q, -12 = -o*q + 4*h. Solve -7 = 3*g + 2*z, 5*g - q*z + 2*z + 41 = 0 for g.
-5
Let u(x) = x + 0*x + 24 - 31. Let t be u(5). Let q be 4*t/(-16)*4. Solve -4*l = 5*j - 15, 0*l = 3*l + q*j - 13 for l.
5
Let g be (-1932)/(-52) + -5 + 4/(-26). Let v be (1/2)/(1/2). Suppose -3 = -2*n + v. Solve -i + 2*z + 9 = 0, -n*i - 4*z + 10 = g for i.
-1
Let b = 322 - 322. Solve 2*z + 3*z + 2*a - 21 = 0, b = -2*z - 2*a + 6 for z.
5
Suppose -3*p - 2*s + 7 = 0, 0*p - p + 5 = -2*s. Solve g + z + p = 0, g + 4*g + z - 1 = 0 for g.
1
Suppose -36*l + 280 = 136. Solve 3*y + 17 = -l*m + 8*m, 0 = 4*y + 5*m - 29 for y.
1
Let z(b) = -2*b + 26. Let j be z(12). Suppose 3*v = -2*f + 29, 0 = -4*f + 3*f - v + 15. Let p = f - 13. Solve 5*q = -j*l - 15, -3*l + 6*l = -p*q - 9 for q.
-3
Let h = -2220 + 2229. Solve 5*u = -5*a + 6*u + 21, 5*u + h = a for a.
4
Suppose -3*i = -t + 43 + 8, 315 = 5*t - 3*i. Let s be 12/t - 60/(-33). Solve -3*o - 2*u - 8 = -3, s*o + 3 = -u for o.
-1
Let x = 7 + -3. Let z(y) = y + 2. Let r be ((-48)/28 - -2)*14. Let n be z(r). Solve 5*t + 5*p - x = n, 2*t + 3*p - 2 = 0 for t.
4
Let m = 17 - 15. Solve -2 = -5*p - l + m*l, -3*l + 7 = -2*p for p.
1
Let y = 468 - 463. Solve y*h + 4*i - 1 = 0, -6*h = -4*h + 2*i for h.
1
Suppose 0 = -17*p - 22*p + 117. Solve 20 = -4*i + 2*f, -22*i + 26*i + 10 = -p*f for i.
-4
Let y = 162 - 162. Solve -4*n = -y*n - s + 25, -4*s = 5*n + 5 for n.
-5
Let d be (-2 - -1)/(2 + (-188)/92). Suppose 0 = -3*z + 18 - 6. Solve -5*k + t + d = 0, k - z*t + 3*t = 3 for k.
5
Suppose 3*h = 6*h. Suppose -j = -h - 3. Let y(m) = -21*m - 6. Let q be y(-1). Solve 3*u = 3*a - 12 - q, j*u = -15 for a.
4
Let n be (5 - 15/3)*(-3)/6. Solve -11 - 2 = -4*s + 5*l, n = 2*s - l - 5 for s.
2
Let b be 21 - 4/((-12)/(-15)). Suppose -3*g + 33 = -3*r, g - 1 - 1 = -2*r. Let l = b - g. Solve -3*s - m - l = 0, s = 4*m - 15 - 5 for s.
-4
Suppose -2*f + 16 = -4*q + 6*q, -3*f = -3*q - 6. Solve -g + 5*g + m - 9 = 0, -q*g = -5*m + 22 for g.
1
Let w = -113 + 105. Let c be 108/48*w/(-6). Solve 2*r = 4*i - 3*i + 6, 0 = c*i - r - 7 for i.
4
Let m(f) = -21*f**2 + f + 1. Let l be m(-1). Let o = -18 - -5. Let q = o - l. Solve n - 4*d = 3*n - q, d - 7 = 2*n for n.
-2
Let d = -18 + 19. Let r be 38/57*(-4 + 1)*-1. Solve j - d = 4*o + 4, 2*o + r*j = 0 for o.
-1
Suppose -2*i = i + 5*c + 1, -2*i = 2*c - 2. Solve 4*l = -2*u + i*l - 4, -12 = 2*u - 3*l for u.
-3
Suppose -3 = -l + f, 5*l - 2*f = -4*f + 8. Let p = 6 - 65. Let d be 9/27 + p/(-3). Solve -m - 17 = -2*i - l, i - 3*m = d for i.
5
Let q(b) = 3*b - 6 + 60 - 10 + 15. Let y be q(-18). Solve -y*m - 2*g = -15, -3*m - 5*g - 11 = -1 for m.
5
Let m be 5 + (-2 - -2) + (-1 - 1). Solve 2*k - 18 + 4 = 4*f, -24 = m*f + 3*k for f.
-5
Let s = 139 + -128. Suppose -11 = -s*m + 11. Solve -40 = -5*q - 3*i - 2*i, -m*i = -4*q + 14 for q.
5
Let n = 37 + -19. Let b be 69/n + 1/6. Solve b*c = -5*v - 12, -c + 11 + 3 = -3*v for c.
2
Let b be (2 - 21/12)*44. Solve -g + h = 4*h - b, -g - 14 = -2*h for g.
-4
Let m be ((-6)/(-15))/(-10*5/(-500)). Solve -4 = -5*u - 2*p - 0, -u + m*p = 8 for u.
0
Let m(c) = -3*c**2 - 16*c + 66. Let a be m(-8). Solve -3*f + 13 = -4*t - 2*f, 0 = -a*t - 3*f - 3 for t.
-3
Let r be -9 - (-4 - (-2 - 1)). Let i(d) = -d**3 - 7*d**2 + 5*d - 19. Let q be i(r). Solve 3*l - l + q*p = 1, 2*l + 2*p + 2 = 0 for l.
-2
Suppose 0 = 2*c + 3*g + 6, 0*g - 3*g - 12 = 0. Suppose x = -0*x + 3*q, 3*x - 12 = -c*q. Solve o - 3 = -x*i, -2*o + i - 5*i = -2 for o.
-3
Let s be (-18)/8*16/(-3). Let o(z) = -13*z - 284. Let r be o(-22). Suppose p - r*h + s = 3*p, -3*p + 10 = -h. Solve 2*g + 10 = 3*a - 0, p*a - 5 = g for a.
0
Suppose -6 = -g - x - 0, 3*g - 16 = -5*x. Solve -4*j + g = -1, 4*j = -4*h - 8 for h.
-4
Suppose -w = -10*w + 90. Suppose 4*n + 0*p = -4*p + 16, 4*n + p - w = 0. Solve -n*c + 1 = -j, 4*j - 7 = -2*c - 21 for c.
-1
Suppose -9 - 131 = -7*o. Let r = 23 - o. Suppose x - 5*n = -n + 25, 2*x = r*n + 25. Solve 0 = 5*c + x*b + 5, -2*c + 5*b + 11 = -5*c for c.
3
Let q = -154 + 174. Solve c + q = -5*p, -3*c - 9 = -2*p - 34 for p.
-5
Let m = 193 - 188. Solve -h - 2*z + z = 1, 0 = -5*h + 4*z - m for h.
-1
Let s(g) = g**2 - 9*g + 3. Let v be s(9). Suppose -11 = -v*p + 7. Suppose -5*q + 4 = -p. Solve 2*y + 8 = -q*j, 0 = -5*j + 2*y - 5*y - 22 for j.
-5
Let t be 18/4*((-30)/18 - -3). Solve -2*w = l + 5, t*l - l - 19 = w for w.
-4
Let i(f) = f**3 - 7*f**2 + 7*f - 2. Let c be i(6). Suppose -246*g + 4 = -242*g. Solve -4*v = 2*b + g - 5, -4*b = c*v - 4 for b.
0
Let g = -6 + 30. Solve -3*j + 3 = 0, -2*j + j = 5*t + g for t.
-5
Let t(u) = 0*u + 3*u - 2*u - 1 + 5. Let b be t(0). Let i = 0 + 2. Solve -w - i*l - 2*l = -8, 4*w - 8 = -b*l for w.
0
Let u(g) be the third derivative of -1/8*g**4 + 0 + 0*g - 7/6*g**3 - 5*g**2 + 1/60*g**5. Let i be u(5). Solve 5*v + 6 = -3*j, 0*v = -j - 2*v - i for j.
3
Let t(v) = 3*v. Let u be t(11). Suppose 0 = 17*n - 6*n - u. Solve 0 = 5*a + 4*z - 5, 5 = -a - n*a - 5*z for a.
5
Suppose 17*z = -10*z + 81. Solve -z*r - 6 = -3*i - 0, 2*i - 3*r = 7 for i.
-1
Suppose -l = -4*w + 23, -9 = -2*w + l + 4. Solve -2*h = -w*o + 17, 2*o - 5 = 5*h + 6 for h.
-1
Let y = -1647 - -1667. Solve n - 2*f + 1 = -3*f, 4*n + y = 4*f for n.
-3
Let p = 2139 + -2137. Solve 0 = -3*k - p*l - 11, 2*k = k + l - 7 for k.
-5
Let n be 10*4*(-4)/(-80) - -18. Solve 4*h = -4*m - h + 20, -2*m = 5*h - n for m.
0
Let l(d) = d**2 - 24*d + 25. Let g be l(23). Let h(r) = -r**3 - 7*r**2 - 6*r + 3. Let c be h(-6). Solve -21 = 5*u - a + g, -5*a + 3 = c*u for u.
-4
Let s be 110/(-33)*6/5. Let r be 4 + 1*s + 2. Suppose -o + 6 = r. Solve 2*q + o*t = -14, -t + 11 = -2*q - 4*t for q.
-1
Let v = -8 + 9. Let f be (-4 + 6)*v*10. Solve -5*u + f = -5*s, 0*s - 8 = 4*u + 2*s for u.
0
Let f = 23 + 2. Suppose -5*q = -q + s - 7, f = -5*s. Solve 0 = -5*k + 2*i - 22, q*k - 4*i + 14 = -2*i for k.
-4
Suppose 5 = 5*c - 5*i, 2*c + 4*i = 3*c - 10. Let g be ((4 - 4) + 0)/c. Solve l + 3*w - 10 - 1 = g, -l + w - 5 = 0 for l.
-1
Let q be 6/(-45) - 3258/(-135). Let g be (-1)/4 + (-13)/(-4). Solve -2*x - g*x = -2*y + 30, 4*y - q = x for y.
5
Suppose 3*y - o - 44 = 0, 62 = -0*y + 4*y + 2*o. Solve 5*p + r + y = 3*r, 40 = -3*p - 5*r for p.
-5
Let w = -1902 - -1902. Solve w = -5*n + 3*v - 21, 4*v + v - 22 = 4*n for n.
-3
Suppose 10*i - 15 = 7*i. Solve -5*h + 40 = -0*h - i*j, -5*h = 5*j for h.
4
Let a be 20 + 1 + 0/(-3). Let v = -159 + 180. Let y = v - a. Solve 0 = 2*o - 2, y*f - 9 = 3*f - 3*o for f.
-2
Suppose 3*q - g = -4 + 12, 4*q = -4*g + 32. Let j(c) = c + 11. Let r be j(-8). Solve 0 = -y + 2*a - q - 3, r*a - 3 = -y for y.
-3
Let x(m) = 16*m**2 - 3*m + 3. Let l be x(1). Let y be (0 - 1)/((-4)/96). Solve 20 = 5*a + r, 4*r + l + y = 4*a for a.
5
Suppose 4*j = 4*u + 120, -25*u = 3*j - 21*u - 125. Solve -5*k + j - 8 = r, 15 = 3*k for r.
2
Let p be -3*2*(-6 - (-10 - -5)). Suppose o + p*o = -3*o. Solve o = -2*x + 4*n - 12, 0 = -10*x + 5*x + 4*n - 24 for x.
-4
Let z = -78 + 80. Solve 0 = -4*l - a, 2*l + z*a - 4 = -2*l for l.
-1
Let p(m) = m + 1. Let b(g) = 6*g + 38. Let x(a) = b(a) - 5*p(a). Let t be x(-29). Solve 4*v + 8 = 4*f, -t*f = 5*v - f - 14 for v.
1
Suppose -33*l = 4*l - 185. Solve 6*w - l*w = -r + 1, -7 = -r + 2*w for r.
3
Suppose -q = q + 5*i - 3, 5*i + 9 = -4*q. Let l(f) = -f**3 - 7*f**2 - 5*f + 9. Let p be l(q). Solve -3*a - 2 - p = -2*u, -3*u = 2*a + 25 for u.
-5
Suppose -6*n + 11*n + 305 = 0. Let v = 66 + n. Solve v*i 