*a = -i, -4*a - 9 = -3*u - 0*u for u.
-1
Suppose 0 = -5*o + 15 + 70. Suppose -s = 2*z - 5*z + o, -5*z + 15 = 5*s. Let b = z + -3. Solve b*g + 2*c - 6 = 0, -5 = -3*g - c + 2*c for g.
2
Let r be 2 + (-1 - 2) - -5. Solve -t - r*w - 12 = 3*t, -t - 5 = 2*w for t.
-1
Let l(c) = c**3 + c**2 - 2*c + 1. Let a be l(1). Solve a = u + b - 4, u + 5*b = 13 for u.
3
Let o(k) = -5*k + 13. Let f be o(-2). Suppose -5*g + 3*i = -12, 0*i - 3*i + 6 = g. Solve 0 = y - 2*d + 13, -f = g*y - 4*d + 8 for y.
-5
Suppose 3*m - 2*y + 2 = m, -3*y - 9 = 3*m. Let p(c) = -c + 6*c - 2*c + 2*c**2. Let n be p(m). Solve -n*k = -4*s - 16, -2*k = 3*k for s.
-4
Suppose 2*o + 53 = 3*f, 3*o + 0 = -3. Solve b = -5*l + f, -1 = -5*b + 2*l - 6*l for b.
-3
Suppose -w = 4*w - 15. Let t be -12*(w*-1 + 2). Suppose 2*y = 3*p - t, 3*p - 12 = -3*y + 2*y. Solve -4 = 3*x - 3*n + 5, -4*x - 3*n + 9 = y for x.
0
Let g = 10 + -6. Let i(x) = x**3 + 2*x**2 - x. Let u be i(-4). Let c be (u/(-6))/(g/6). Solve -2*p + c*p + t = 22, -3*p + 10 = -t for p.
4
Let p be 3*(3 - -1)/(-2). Let g(b) = -b**2 - 5*b + 2. Let a be g(p). Let t be (-1)/(2/a)*2. Solve 24 = -t*y - 4*o, -y - 18 + 7 = 2*o for y.
-1
Let u be 10/4*(-24)/(-10). Let c be ((-2)/6)/(u/(-522)). Solve -4*j = 5*w + c, j + 17 = -j - 3*w for j.
-1
Let s be 3*(-2)/6 - -5. Solve -2*l - q + 7 = -s*l, -3*q = -5*l - 18 for l.
-3
Suppose 3*r = 25 + 2. Suppose 2*t + t = r. Let l be t - (0 - 2 - -3). Solve -3*k + 12 = -3*s, 2*k + 16 = -l*k - 4*s for k.
0
Let w be 13/2 - (-33)/(-22). Solve w*y - q = q + 28, 20 = 4*y - q for y.
4
Suppose 4*o = 5*p - 5, 0 = -5*p + p + o + 4. Solve -5*y + p = 5*d - 2*d, 3*d - 5*y - 11 = 0 for d.
2
Suppose 0 = -4*f + 3*t + 27, 3*f - 3*t - 2*t = 34. Solve d + f*n = -9, -4*d = -3*n + 2*n + 10 for d.
-3
Let g(t) = -t**2 - 4*t + 2. Let w be g(-4). Solve 16 = 5*h - d, w*h + 6 = 3*h - 3*d for h.
3
Let s be ((-21)/(-63))/(1/3). Solve -z = 4*w + s - 2, -2*z + 2 = 0 for w.
0
Let v(n) = 2*n - 9. Let l be v(6). Suppose 0 = d - l - 2. Solve -6*x + 2 = -d*x + 3*k, -x + 5*k = 14 for x.
-4
Let c(r) = 3*r**2 - 6*r - 3. Let q be c(3). Let h = 240 - 170. Let m be ((-12)/(-10))/(3/h). Solve v + m = q*v - 4*b, -3*v + 2 = 5*b for v.
4
Suppose 3*h = -3 + 12. Suppose 4 + 1 = x. Suppose 0 = 5*d + x, h*p = -d + 13 + 19. Solve 3*l + v + 3*v - 24 = 0, l = 5*v - p for l.
4
Let c be 1054/10 + (-2)/5. Let b = -74 + c. Let j = -22 - -25. Solve 2 = j*l - x + 14, 5*l = -2*x - b for l.
-5
Suppose 0 = 11*v - 13*v. Solve -4*f = -s - 10, -4*s + v*s = -f + 10 for s.
-2
Suppose -2*s - 2*h - 1 = -9, h = 5*s + 4. Let j = s - -5. Solve j*r + 10 = 3*d, -10 = 3*d - d for r.
-5
Let y = -17 - -37. Let o = 0 - 4. Let h be (-6 + o)/(-3 - -1). Solve -4*f + y = 0, h*l - 2*f + 10 = l for l.
0
Let k = 28 - 20. Solve 2*q = 3*q + 5*f - 17, -4*f + k = -2*q for q.
2
Let h be ((-5)/(-3))/(4/(-12)). Let z be (2/h)/((-1)/5). Let r be z/4*12*1. Solve -4 = 5*t - 3*c, -2*t + 4 = 2*c - r*c for t.
-2
Suppose -13*c + 12 = -10*c. Solve -c*z + m - 4 = 0, m + m = -2*z - 12 for z.
-2
Suppose 0 = -3*h - 3*m - 6, 1 = -4*h + 4*m + 9. Solve -4*z - 18 = 2*k + z, 5*k + 4*z + 11 = h for k.
1
Let r(a) = a**2 - 2*a + 4. Let o be r(0). Solve -h = 2, 5*y - o*h - 10 = 13 for y.
3
Let k be 0*(2/4 - 1). Solve 2*t - j - 19 = 2*j, k = -t + 3*j + 14 for t.
5
Suppose 92 = -a + 4. Let b be 8/(-36) + a/9. Let j = -7 - b. Solve q - 4*x + j*x = -5, 0 = x - 5 for q.
0
Let a be 1*4 - (8 - (2 + 6)). Solve -3*z + a*n = 3 + 12, 2*n = 2*z + 8 for z.
-1
Let u(n) = n**3 + n**2 - n - 1. Let l be u(-2). Let y = l - -5. Solve -s + 10 = -y*q + 3*s, 0 = 5*s for q.
-5
Let w(o) = 4 - 4*o - 3*o**2 + 2*o**2 - 6*o + 4*o. Let n be w(-6). Solve n*c + 10 = 2*p, p - 7 = -2*c - 2 for p.
5
Let m = -11 + 16. Let d(i) = 4*i + 9 - 4*i - i. Let o be d(m). Solve n - 4*n - o = 2*f, -f + 4*n = -20 for f.
4
Suppose -6 + 30 = -2*z. Let p be (-62)/(-3) - 4/z. Solve 0 = 4*g - 2*f - 30, -5*g + 4*f + p + 24 = 0 for g.
5
Let k be (-12)/(-8)*-2 - -28. Solve 0*o + 4*o - p + 20 = 0, k = -5*o + p for o.
-5
Suppose -5*k - 3*i + 11 = i, -2*i - 5 = -k. Let j(s) = s - 3. Let x be j(6). Suppose 3*f - x = 6. Solve 2*g = n + 1 + 2, -k*g = -f*n for n.
3
Suppose -5*b + 0 - 35 = 0. Let a(t) = -t**2 - 8*t - 3. Let d be a(b). Suppose -4*q + 8 + d = 0. Solve 0 = 2*z - 2*o + 18, 3*o = -z - 2*z + q for z.
-4
Let g be (-1)/((-10)/4 + 3 + -1). Solve -3*r + g*j = 13, 2*r - 7*r = -j + 17 for r.
-3
Suppose -2 = -j + 3. Let s = 8 - 3. Solve -s*i + 3*i - j = b, -5*b = -4*i + 11 for b.
-3
Let x = 157 + -153. Solve -3*h - 7 = o, -2*h = -4*o + 32 - x for o.
5
Let j = -4 - -5. Let c = -1 + j. Suppose 5 = 5*h - s, 0 = 3*h - s - 5 - c. Solve u - 3 = -g, h*g - u - 1 = -3*g for g.
1
Let l = 2 + 1. Let r = -1 + l. Solve -5*t - 2*g = -19, -5*t + 17 = r*g - g for t.
3
Suppose o = 2*o. Suppose n - 3*n = 2*b + 10, 4*n + b + 5 = o. Let y = 10 - n. Solve -17 - 7 = 3*k - 3*a, -5*k + y = 5*a for k.
-3
Let t = -1 + 14. Suppose 98 + t = 3*m. Suppose b = -b + 6. Solve -b*i + 16 = -0*i + 5*x, -5*x + m = -4*i for i.
-3
Let v = 3 + 2. Solve -w = k, -4 = -v*k + 4*w + 5 for k.
1
Let b(w) = -w + 9. Let x be 1 - (-3)/(4 + -1). Suppose -4*t = x*y - 20, -y + 6*y - 22 = 4*t. Let f be b(y). Solve 0 = -5*o + 2*a + f, 3*o - 1 = 3*a - 2*a for o.
-1
Let w(c) = c**3 + 11*c**2 - 11*c + 16. Let t be w(-12). Solve 17 = 3*y + 2*h - 3*h, t*y + h - 18 = 0 for y.
5
Let a(c) = -c + 1. Let p be a(-1). Solve -5*t - 26 = -2*y - 4, 10 = -2*t + p*y for t.
-4
Suppose 22*s + 3 - 69 = 0. Solve 3*f - f - 5 = 3*a, s*f = -2*a + 1 for f.
1
Suppose 2*f = -4*o + f + 9, -2*o - 4*f = -8. Solve j - 2*i = 9, 2*j - 3*i - 21 = o*i for j.
3
Let k(u) = 13*u**2 - 2*u - 1. Let i be k(-1). Solve 2*j + 3*r = -i, 0*j + r = -4*j - 8 for j.
-1
Suppose 13 = 4*o - 3. Suppose -o*r = 3*j - 2 - 8, -j + 2*r = 0. Solve -2*s + 4*g + 10 = -0*s, -5*s - j*g - 11 = 0 for s.
-1
Suppose 78 = 17*d - 14*d. Solve -i + 15 = -s - 2*s, -d = -2*i + 5*s for i.
3
Let i(j) = j**2 - j + 2. Let v be i(1). Let g be (3/(-5))/(3/(-15)). Solve 0 = -v*b + 5*w + 3, -5*b - g*w - 8 = 0 for b.
-1
Let t be -10 + 9/3 + -1. Let l be (-6 - -5)/(1/t). Solve 4*d + l = 2*d - i, 2 = i for d.
-5
Let x(z) = -2*z + 12. Let n be x(-9). Suppose 0 = 6*r - 4*r - n. Let g = 21 - r. Solve 0 = -4*t - 0*b + 2*b + g, t + 6 = -2*b for t.
0
Suppose 4*m - 12 = 2*n, 2*n - 1 = -9. Solve 4*j - 2*w = -w - 7, -m = 4*j + w for j.
-1
Let g be ((-33)/(-22))/((-2)/8). Let n be (4 + g)/(2/(-4)). Solve -2*k = 0, -3*k - 3 = n*i - 23 for i.
5
Suppose -q - 5*c = q - 9, 3 = 3*c. Suppose -58 = -q*z + d - 2*d, 5*d = 10. Solve 2*f - 21 = -4*l - 5, -4*l - 5*f + z = 0 for l.
2
Let g be (2 - -1)*5/15. Let q be 6/(0 - (-3 + g)). Suppose 5 = 3*z - 1. Solve -2*p + 6 = -q*t + 4*t, p = -z*t + 6 for t.
2
Let z be -1*(1 + (-4 - 0)). Solve 0 = -a + x + 3, z*x + 26 = -4*a + 10 for a.
-1
Let j = -2 + 2. Suppose -2*l = -j*l - 36. Let w = l + -13. Solve w*y + 3*o = 5*o - 29, -o = -5*y - 27 for y.
-5
Let i(k) = -k + 4. Suppose 0 = 2*d - 5*d + 12. Let g be i(d). Solve g = 3*w + 5*m - 22, 5*m = 4*w + m + 24 for w.
-1
Let h(j) = j**3 - 5*j**2 + 4*j. Let f be h(4). Suppose -5*o + f*a + 7 = -a, 0 = 2*o - 3*a + 5. Solve -o*v - 8 = -p, -2 = -3*p + 4 for v.
-3
Let l be (3/6)/(1/2). Let x be (l/(-2))/((-2)/32). Let g = 12 - x. Solve 0 = -n - 0*s + s, -g*s = 3*n for n.
0
Suppose 4*g - 5*g + 3 = 0. Suppose -q = -g*x + 14, -x - 3*q = -0*q + 12. Solve 0*b = -5*b - 4*o + 1, b = x*o + 4 for b.
1
Let t be (-16 - -2 - -4)/(-2). Suppose -3*z = 15, 3*z + 2 + 28 = t*b. Solve b*d - 4*v = -0*d + 28, 2*v = 2*d - 16 for d.
4
Let o be -11 + 7/(7/(-4)). Let z be 4/12 + (-265)/o. Solve -4*n = -2*u - z, 3*n = -4*u - 0*n - 14 for u.
-5
Let h = 66 + -62. Solve -3*u - h = 4*m + u, -6 = -2*m + 2*u for m.
1
Let m(c) be the first derivative of c**4/4 + 2*c**3 + 3*c**2/2 - 7*c + 4. Let r be m(-5). Solve -z - 5 = r*o, -2*o - z = 4*z - 14 for o.
-3
Let v = 8 + -6. Suppose -v = r - 3. Solve -5*x - 3*k = 9, -2 - r = 2*x + k for x.
0
Let d(m) = 4*m - 82. Let b be d(21). Solve -r - b*p + 4 = 0, -4*r - p = -2*p + 20 for r.
-4
Suppose -5*h + 6 = 4*i, 0 = 5*i + 8 - 3. Suppose -y + 0*k + 10 = 5*k, -h*y + 13 = 3*k. Solve 5*v - 10 = -5*g, -3*g + 28 - 6 = -y*v for v.
-2
Suppose -3*p = -3*a + 9, -3*a = -2*p - 2*a - 4. Let i be 1 + -2 + p + 4. Solve 0 = 2*d - 7*d - i*z + 6, -3*z = 5*d - 9 for