3*w - x, -4*a + 12 + 1 = -w for a.
2
Let n(c) = c. Let o be n(2). Suppose 5*q + 222 = 4*s, o*q + 216 = s + 3*s. Suppose 4*m - s + 5 = 0. Solve -4*y + m = -2*k, 4*k = -y + 3*k + 9 for y.
5
Let v be 1/(-6)*2*-9. Suppose v*u - 6 = -p, -3*p - u - 3 = -5. Solve -t + p*t = -2*f, -2*f = t for t.
0
Let z(g) = -5*g**3 + g. Let y be z(-1). Suppose 0 = -2*k - 2*o + 10, -2 = 3*k - 3*o + 1. Solve -3*t = k*c - 7, y*t = 5*c + t - 28 for c.
5
Let o = -38 - -43. Suppose 0 = -4*j - 5*z + 23 + 22, -20 = j - o*z. Let n = -2 + 4. Solve 2*l - j*y - 6 = 3*l, -n*l = 4*y for l.
4
Suppose -n = -6*n. Let t be 0 + n + 0 + 4. Suppose 3*o = -5*i + 22, -i - 9 = -2*i + t*o. Solve 3*f + 12 = -3*a, i*f + 4*a = -21 - 0 for f.
-5
Let d(x) = x**3 + 4*x**2 + x - 5. Suppose g + 1 + 6 = -3*q, 0 = -4*q + 4*g - 20. Let w be d(q). Solve 4*c + 4*f + 41 - w = 0, 4*f = 3*c - 5 for c.
-5
Suppose 2*r - 3*r = -8. Let p = 12 - r. Let v = 0 + p. Solve 2*j - 6 = 3*j - 2*m, -2*m + 6 = -v*j for j.
0
Suppose 0 = 3*o - r + 19, 3*o = -2*o - 3*r - 27. Let q = o + 8. Suppose q*h + 10 = 4*h. Solve -h*j - 8 = -3, 5*j - 4 = -3*x for x.
3
Suppose -m - 6 = 2*q - 6*q, -3*m - 2*q + 10 = 0. Suppose -n - t + 1 + 5 = 0, 3*n - 2*t - 28 = 0. Solve -2 = -4*a + w, -3*a - 2*w - m*w - n = 0 for a.
0
Suppose 5*z + 50 = -0*z. Let v = -8 - z. Solve j = v, 3*j + j = 4*k - 12 for k.
5
Let x = 64 - 62. Solve 5 = -x*a + 5*k, k - 2 + 1 = 0 for a.
0
Let y = -5 + 11. Suppose -c + 4*c - y = 0. Solve -2*p - 3*p = -4*w + 5, c = -2*w - 2*p for w.
0
Suppose -8*i - 30 = -13*i. Suppose 0 = 5*b - i*b + 8. Solve 4*z + b*m = 3*m - 5, 0 = -4*z + 4*m + 40 for z.
5
Let r be ((-3)/(-4))/((-2)/(-8)). Suppose r*u = -2*o - 11, 0*o - u = -2*o + 9. Suppose 3*f = -0*f + 36. Solve o*k = 2 - 6, -h - f = 5*k for h.
-2
Let v be (-4)/((3/1)/(-12)). Suppose 4*t + v = 40. Solve 0 = -k - 2*h - 12, 0 = -2*k + t*h - h + 21 for k.
-2
Let b = 25 + -21. Suppose -y + 2*c - 1 = 0, 4*c - 2 = 6. Suppose 0 = s - 4*s - y, b*t + 3*s = 21. Solve -2*a + 6*a = 3*m - t, 5*m - 5*a - 10 = 0 for m.
2
Let z be (-1 + 0)/(-6 - (-66)/12). Solve 14 = -2*h + 5*b - z, 2*h - 4*b + 12 = 0 for h.
2
Suppose 3 = -5*i - 3*u + 8, -i = -5*u - 29. Let f = 9 + -5. Let r be (f/(-6))/(5/(-30)). Solve -16 = -3*w + 2*w + i*n, 4*w + r*n = 4 for w.
4
Suppose 1 + 8 = 3*v. Solve -c - 2*a + 8 = -0, 2*c = -v*a + 13 for c.
2
Let g(n) = n + 1. Let t be g(1). Solve -t*m + m - 4 = -2*y, 0 = 2*y - 4*m + 8 for y.
4
Let d be 3/(62/14 + -4). Solve 2*f + 4*t = 10, 4*f - 2*t - 13 = d for f.
5
Let z = -57 + 74. Let x(j) be the third derivative of j**5/30 + 5*j**4/24 + j**3/3 + j**2. Let h be x(-3). Solve -4*a + 3*a = -h*r + z, -a - 2*r = -4 for a.
-2
Let c = 1 - -1. Solve 4*z + c*b = 3*b + 8, 2*z = -3*b + 18 for z.
3
Let h = -7 - -11. Let g be (5 + -4)*(6 + -1). Solve g*a = a + d - 9, -3 = -3*a + h*d for a.
-3
Suppose 3*r - 4*i + 4 = 0, -2*r + r + 4*i = 4. Let b be r/((-1)/((-3)/9)). Solve -3*n - 4*g - 7 = b, -2*g = -4*n - 0*n + 20 for n.
3
Suppose 4*b + 22 = 5*r + 3*b, -2*r - 2*b = -4. Let o = r - 2. Let s = 6 - 2. Solve s*m + 35 = -3*h, -m + 8 = -o*h + 3 for h.
-5
Let i(b) = b**2 + 7*b - 10. Let o be i(-9). Solve 4*x = -k - 12 - o, x = 4*k - 5 for x.
-5
Let a be (-6)/21 + (-9)/(-7). Let z be -2 + (1 - (-2 - a)). Suppose -n = 4*l - 15, -n = -5*l - 2*n + 20. Solve 3*w + 1 = 4*t, -l*t - z*w = -4*w + 4 for t.
-2
Let j = 25 + -22. Solve 3*m = 12, j*f + 2*m = 11 - 0 for f.
1
Suppose 10*q = 3*m + 5*q + 13, 0 = -2*m - 5*q + 33. Solve 0 = w - m*h - 11, -5*h = 5*w - 5 + 25 for w.
-1
Suppose -6*s = -16*s. Solve 0 = 4*p - 3*o - 19, -5*p + 5*o + 0 + 30 = s for p.
1
Let j(o) = -o + 4. Let s be j(-5). Suppose -4*r = -s*r + 30. Let m(g) = -g**2 + 7*g - 5. Let k be m(r). Solve p = -3*f - 1 - k, -f = 3*p - 10 for f.
-2
Let v = -145 + 165. Solve 4*w = k + 2*k - v, 5*k + 2*w = 16 for k.
4
Let l(s) = s**2 + s + 4. Let u be 4 + -3 + 1 + -2. Let q be l(u). Solve -3*k - q = -4*h, -5*h + 16 + 24 = 5*k for h.
4
Let w = 35 - 21. Let q = w - -4. Solve 4*s - q = -2*c, 4*c = c - 5*s + 22 for c.
-1
Let z(x) = 2*x + 18. Let i be z(-9). Solve a + 3*a - 20 = i, 2*a - 10 = -2*g for g.
0
Let q = -159 - -164. Solve 3*a + a - 4*t - 28 = 0, -t - 19 = -q*a for a.
3
Suppose p + 3 = 2*p. Let v be p/(-9)*-3 - -4. Solve -4*f + v*m + 8 = -8, -5*f = 5*m + 25 for f.
-1
Let o(a) = 3*a**2 + a. Let b be (20 - 19)/(0 - -1). Let q be o(b). Solve -4*p = -2*w - 12, -14 = -q*p + 2*w - w for p.
4
Suppose 0 = 6*u - u - 20. Solve -4*a + 5*r = 28, 0*r + 12 = -u*a + r for a.
-2
Suppose 5*v - 4*v + 3*x = -15, -3*v - x - 5 = 0. Let m be (-2)/(-3) + (-10)/(-3). Solve -3*c + 13 = -q, m*c - 5*c + 5*q + 9 = v for c.
4
Let p = -2 - -2. Suppose 3*v + 2*y = 16, 5*v + 3*y - 29 + 3 = 0. Suppose u + v - 7 = p. Solve u*j + 15 = -3*g, 2*j + g = -7 + 1 for j.
-1
Let c = -10 - -14. Let r(l) = 3*l**2 - l. Let y(x) = x**2 + x. Let o(m) = r(m) - 4*y(m). Let q be o(-4). Solve -c*w - q = -u - u, -4*u - 5*w = -8 for u.
2
Suppose 3*f - 5*f = -5*f. Solve 4*k - 2*j + j = 0, -k + 3*j + 11 = f for k.
-1
Suppose -t - 6 = -10. Solve t*d = -j - 1 + 4, -j = 5*d - 3 for d.
0
Suppose -i = a - 1, 10 = -0*i - 5*i. Suppose -3*j + 0*j = -156. Let g = j + -17. Solve -5*u = -a + 28, -g = -4*l + 3*u for l.
5
Let z = 26 - 24. Solve -4*u + 3*b - 19 = -9*u, -z*u = -b - 1 for u.
2
Let v(x) = x + 3. Let y be v(-4). Let r(n) = -2*n**3 + n**2 - n - 1. Let i be r(y). Solve 0 = -i*t + 2*f + 1, -2*t - f + 4*f = -9 for t.
-3
Let q be (-8)/4 + 6 + -1. Suppose 5*g + 4*z + q = 10, -z = 2. Solve -k + 0*m = g*m - 12, -k - 13 = -2*m for k.
-3
Let s(q) = -6 + 2*q + 5 + 2*q**2 - 3*q**2. Let c be s(3). Let t = c - -4. Solve y = -2*p + 5, 2*p - 7*p + y + 9 = t for p.
2
Suppose 0 = w + 5, 3*k + 4*w = 1 + 6. Solve 0*z - 6 = -4*z + 2*b, 3*b = -k for z.
0
Suppose 2*c = 4 + 2. Suppose -7 = -d + 2*j - j, 29 = 5*d - c*j. Solve -5*a = -y + 20, 2*a = a - d*y + 17 for a.
-3
Suppose -2*a - l + 0*l = 1, 3*a - 3*l - 21 = 0. Solve 5*i + 4*z = 16, -i - a - 2 = -z for i.
0
Suppose 0*s - 3*s + 15 = 0. Suppose 2*b - s*b = 0. Solve -g + 5*t - 7 + 3 = 0, b = -5*g + 3*t + 2 for g.
1
Suppose 2*o + 3 + 4 = 3*d, 5*d - 4*o - 11 = 0. Let u(s) = 2*s**3 + 4*s - 2*s**d - s**3. Let n be u(-3). Solve -5*y = 2*w + n, w + 11 = -y - w for y.
-1
Let s = 3 + 0. Suppose -5*f + 52 = -83. Suppose 8*x + 21*x = 696. Solve l - 5*l - z - x = 0, 0 = s*l + 3*z + f for l.
-5
Let s = -60 - -64. Solve -s*r + 6 = -q - 2*q, -r = -q - 1 for q.
2
Let u be 4 + 1 + (-1 - 1). Let l = 7 + -2. Suppose -w = u - l. Solve 3*k - 14 = -2*h, 2 + 0 = w*h - 3*k for h.
4
Let p = -30 + 54. Suppose 2*b - 4*u - p = 8, 2*u + 32 = 3*b. Solve -19 = 5*f + 4*y - 6, -y = -f - b for f.
-5
Let r(c) = c**2 - 8*c + 14. Let q be r(6). Solve -q*k - f - 14 = 0, 8*k - 3*f = 3*k - 13 for k.
-5
Let s = -50 - -54. Solve -2*z - 2*n = 3*n - 25, -s*n = -3*z + 3 for z.
5
Suppose 0*c + 20 = -5*c. Let a(k) = k**2 + 2*k + 2. Let m be a(c). Solve 24 = r - 5*w, 4*r - w - m = 10 for r.
4
Let l(u) = u**2 - 2*u + 1. Let m be l(-2). Solve -3*t - 19 = 2*z, 4*t + 5*z - m = -46 for t.
-3
Suppose 4*l - 4*q - q = 15, -3*l = -5*q - 15. Solve l = 4*c, -4*m = 5*c - 2*c + 8 for m.
-2
Suppose 5 + 5 = 2*o. Let g = o - 5. Solve -5*t + 2*n = 4, -t - t + n - 1 = g for t.
-2
Let x(i) = i**2 + 4*i + 3. Let m be x(-4). Solve -4*s + 14 = 5*o - 7*o, -3*s = m*o - 6 for s.
3
Let a be 32/6 + (-4)/(-6). Suppose 4*h - 6 = h. Suppose h*z = -2 + 10. Solve k - z*x + a = -3, 0 = x - 2 for k.
-1
Suppose -6*h + 104 = 4*x - 3*h, 0 = -5*x + 5*h + 130. Let v(t) = t**2 - 2*t + 11. Let c be v(3). Let l = x - c. Solve 0 = -3*p - n + 9, 8*n + l = 4*n for p.
4
Suppose 0 = -2*v + 5*n + 16, n = -2*n - 6. Solve v*u - 15 - 1 = -2*g, -4*g = 5*u - 30 for u.
2
Suppose 0 = x + 61 - 63. Let p(c) = 2*c**2 - 4*c + 3. Let y be p(2). Solve -2*b - 5*k - 15 = -y*b, 2*k = -x*b - 18 for b.
-5
Let p = -2 + 8. Let a(c) = c**2 - 7*c + 2. Let t(g) = -g. Let v(u) = a(u) - t(u). Let r be v(p). Solve -5 = -r*b + 4*l - 3*l, 4*l - 20 = -2*b for b.
4
Suppose -5 = -5*j, -5*h + 0*h + 23 = 3*j. Solve -2*q = -s - 9, -2*q + 0 = -h for s.
-5
Let d(h) = h**3 - 5*h**2 + 2*h - 6. Suppose -2*v + 2 = -v. Let m be (v/6)/(2/30). Let k be d(m). Solve -w = -c + 6, k*w = 5*c - 0 - 27 for w.
-3
Suppose 0 = -2*o + 3*v + 13, 4*o + 3*v - 15 = -2*v. Solve -4*b + f + 3*f = 0, -2*f = -b - o for b.
5
Let f