 Let y(g) = g - 2. Let z be y(f). Solve 2*m = -2*c + 4, -4*c + 3*m + 4 = z for c.
1
Suppose -2*d - 9 = -5*h, 0 = d + 4*h - 5*h. Let c = 18 + d. Solve 3*y - c = -y - 3*i, 18 = 4*y + 2*i for y.
3
Suppose 5*c - 2*m - 33 = -105, -5*m = -4*c - 61. Let q = -32 - c. Let z = -10 - q. Solve -2*r = -2*k, 4*r = 4*k + 2*r + z for k.
-4
Let o be (-4 - 2) + 3 - (-5)/1. Suppose -2*c - 17 = 3. Let t = 3 - c. Solve 23 = 5*l + m, -2*m - t = -l + o*m for l.
5
Let f(j) = 16*j**2 + 1. Let n be f(1). Let q = n + -10. Suppose 5*r = -q*w + 3*w - 4, -2*w + r = -12. Solve -2*v - 2*b + w = -0, -v + 2*b = 10 for v.
-2
Let o(q) = q**2. Let m be o(1). Let f = 4 + m. Let j = 11 - f. Solve 3*c - j = h, -4*h - 14 = 4*c - 38 for h.
3
Suppose -5 = -d - 2. Solve 3*p = 6*p + 3*u, d*u = -p + 10 for p.
-5
Let t = 22 + -32. Let n = -6 - t. Solve n*o - 45 = -5*g, 3*o - 6*o = -4*g + 5 for o.
5
Let h be (0 - (-3)/(-2))/((-21)/56). Solve -3*q - 3*j + 2 = -1, 4*q + h = 4*j for q.
0
Let w = 23 - 43. Let d = -1 - w. Solve 3*j = -2*l + d, -3*j + 29 = 2*l + 2*l for l.
5
Let j(y) = y**2 + 2*y - 4. Let b be j(-4). Suppose -3*d + 2*c = -2*c - 17, d + b*c = -5. Solve -d*t = 5*z + 27, 2*z - 19 = 4*t + 3*z for t.
-4
Let q = 14 + -11. Solve -4*p + 2*k + 2 = q*k, 0 = 2*p - k + 2 for p.
0
Let h be -4*-1*(-16)/(-2). Let i = -53 + h. Let t be 2/7 - 99/i. Solve 4*o - t*p + 5 = 0, -3*p + 3 = 2*o + 2*o for o.
0
Suppose -106*g + 109*g = 36. Solve 2*w - 14 = 3*z, 4*z - 2*w + 6*w + g = 0 for z.
-4
Let z = 6 - 6. Suppose 0 = -2*b + 6*b. Suppose -5*a + 15 = -b*a. Solve -a*c + c - 8 = z, 3*c + 17 = 5*u for u.
1
Let l(t) = -t**2 + t + 3. Suppose 6 + 0 = 2*r. Let u be l(r). Let q = 36 + u. Solve -3*n + 2*a - 2 = 0, -3*n + n - 5*a = q for n.
-4
Suppose -3*v + 1 = -4*v + 2*b, -2*b = 4*v + 4. Let u be (0/(-3))/(1 - v). Suppose -d + u*d + 7 = 0. Solve -d*z + 4*a = -2*z, 5*z + 4*a = 0 for z.
0
Suppose 0 = 2*k - 0 + 6. Let j be (24/20)/(k/(-10)). Suppose 7*s = 43 - 8. Solve m = -j*i + 5, 5*i - 2*i = s*m - 2 for i.
1
Suppose 0 = 2*x - 19 - 11. Suppose 5*t + 5*l - x = 0, t - 3*l = 5*t - 9. Solve 5*a + k - 5 = t, 4*a - 4 = 2*k - 14 for a.
0
Let a = 4 + -2. Let w be (61 - (-1)/1)/a. Suppose 0 = 3*n - 5*i - w, n + i + 13 = -2*i. Solve 4*l = 5*o - 35, o + 2 - 15 = n*l for o.
3
Let b be 9 - (1 - (0 + -3)). Solve 4*g = -k - 18, g + 14 = b*k - 1 for k.
2
Let k = 7 + -4. Let z(a) = -a**3 - a**2 + 5*a + 2. Let f be z(-3). Solve 3*p + 5*u = 14, -2*u = -k*p - 19 + f for p.
-2
Suppose 5*k + 64 = 84. Solve 4*n + 4*a = k, 3*n = 2*a - 4*a - 1 for n.
-3
Let v be (4/(-6))/((-10)/45). Solve k - 2 = -5*f, -f = v*f - 4 for k.
-3
Let y(c) = -4*c - 2. Let l be y(-2). Suppose -5*h - 5*i = -10, -3*h - 4 = -i - l. Let w be h*3*6/9. Solve -2*o = w*p + 6, 17 = -5*p - 5*o + 2*o for p.
-4
Suppose z + 4*z - 15 = 0. Solve -b - z*p = p + 11, -4*p - 9 = 3*b for b.
1
Let p = 6 + -6. Solve -4*l = -u + 11, 3*u - l + 5*l - 1 = p for u.
3
Suppose c + 16 = 5*c. Let b = 6 - c. Suppose -b*h + 6 + 2 = 0. Solve -6 = 5*q - h*m + 3, -5*m = -3*q - 8 for q.
-1
Let n(z) = 1. Let r(o) = -3*o + 6. Let t(j) = 5*n(j) - r(j). Let u be t(1). Solve -3*s + 5*h = u*s - 5, 4*s + 26 = -2*h for s.
-4
Let t(l) = 3*l - 13. Let n be t(6). Solve -d + 20 = -4*v, 0*d = -n*v - 4*d - 4 for v.
-4
Let s = -7 + 10. Solve 7*g = s*g - 3*z + 16, -z = -4*g for g.
1
Let p = 18 - 11. Let d = 9 - p. Solve -3*o - 6 = -3*a, -d*o - 4*a + 8 + 6 = 0 for o.
1
Let x(d) = -d - 5. Let m be x(-5). Let t = 2 + m. Suppose 2*o - 1 = f + 2*f, 0 = 5*f - 3*o. Solve -f*n - v - 9 = 1, -n = v + t for n.
-4
Let y(k) = -k. Let s be 2*((-6)/4 + 0). Let h be y(s). Solve 4 - 16 = -3*i - h*v, -i - 2*v + 3 = 0 for i.
5
Suppose 32 = 6*s - 2*s. Solve 0 = -4*o - 5*x + 22, -6*o = -4*o + x - s for o.
3
Let y(h) = -h**3 - 4*h**2 - 3*h - 2. Let a be y(-4). Solve -q = 4*l + 8, -3*l - 2*l = a for q.
0
Suppose 4*f + 3 = -1. Let u = 5 + f. Solve -n = 2*c - 2, 2 - 1 = c + u*n for c.
1
Suppose -4*f - 3*c = -8*c + 13, c = -f + 8. Solve 3*g + l - 10 = 0, 2*g = -g + f*l + 18 for g.
4
Let o(r) = r**3 - 14*r**2 - 14*r - 13. Let h be o(15). Solve -3*j + j - 4*a = 22, h = -j + a for j.
-5
Suppose 0 = 5*p - 30 - 80. Suppose 0 = -i - p + 24. Solve -i*k + 17 = 3*t, 3 = 3*k - 0*k for t.
5
Suppose -3*y + p = -30, 20 = y + y - 4*p. Solve 0 = -2*f - 4*m + 20, 4*f = -m - m + y for f.
0
Let b = 0 + 10. Suppose -t - 26 = -4*s - 1, 2*t = -b. Solve 4*n + g + 15 = 0, s*n + 4*g - 3 = -19 for n.
-4
Suppose 0 = 3*w - 2*w - 5. Suppose -k + w*k = -2*u + 10, -k = 0. Suppose 5*i - 28 = g, 4*g - 13 = -3*i - 2*i. Solve 0 = -r + 4*n + 1, -r - i*n = 4*r - u for r.
1
Let t be 1/(-1) - 2/2. Let m(u) = -u**3 - u**2 + 2*u + 3. Let f be m(t). Solve f*k + 2*r = 19, 14 = 5*k - r - 9 for k.
5
Let p = -2 + 7. Suppose 0*k - 17 = 2*k + p*a, 0 = 4*k + 2*a - 6. Suppose -2 = 2*c - 0*c - k*o, 0 = 5*c - 3*o - 9. Solve t = c*n - 15, 2*n + t = -n + 9 for n.
4
Suppose -5*t + 22 = -38. Let b be -9*t/(-9) - -2. Solve -2*m - 2 = 5*q - 3*m, 0 = -5*q - 3*m - b for q.
-1
Suppose 8 = -5*i + 23. Solve -i*h = -5*b - 23, 2*b - h = -6*h - 3 for b.
-4
Let j be 2 + ((-3)/3 - -3). Suppose 4*b = -3 + 27. Suppose 2 = 4*o - b. Solve 5*r = -o*l + 4, -j*r + 3*l + 0 = 6 for r.
0
Suppose -y = -3*y. Suppose -6*a - 2 = -4*a, m + 2*a - 2 = y. Let s be (-1 - -1)*m/(-8). Solve -j - 3*j + 2*c + 24 = s, -2*c = j - 1 for j.
5
Let h = -38 + 42. Solve -h*m - 8 = 2*z, -5*z = 5*m - 2*m + 6 for z.
0
Suppose 4*o - 10 = 2*o. Suppose -4*q - 4*f - 3 = f, 0 = 2*f + 6. Suppose -7 + 43 = 4*n. Solve -9 = -3*l - j, 3*l - q*j + o*j - n = 0 for l.
3
Let y(o) = -3*o + 6. Let j be y(7). Let n be (-5)/2*12/j. Solve -4*q = -20, -n*z - 4*q = -12 - 2 for z.
-3
Suppose 0 = 5*z - 43 - 2. Let g(m) = -m**3 - 9*m**2 + 9*m - 7. Let s = -14 + 4. Let t be g(s). Solve -4*u = -5*f - 7, -t*u = -0*u - z for f.
1
Let d be (-12)/5 + (-4)/(-10). Let b = 4 + d. Solve 2*n + 0*n - 4 = 3*v, -b*v + 10 = 5*n for v.
0
Suppose -2*g = 2 - 8. Solve 4*k - 7 = 2*k - 3*j, -g*k + j = 17 for k.
-4
Let q be (5 - 5)*(-1 + 2). Suppose 5*p + q*p = 20. Solve -2*l = 4*n - 16, 2*n - 7*n + 26 = p*l for l.
4
Let h = -210 + 115. Suppose 1 - 17 = -4*n. Let g be 1/n + h/(-20). Solve 0*s - 4 = 2*s, -3*x + g*s + 1 = 0 for x.
-3
Suppose w + 15 = -4*w. Let y be 2 - (2 + w) - 0. Suppose 11 = j + 4*j - 3*i, 0 = -5*j - 3*i + 29. Solve 0 = j*l - m - 1 - 4, -4*l = -y*m - 7 for l.
1
Suppose 4*m = t + 13, 2*t + 4*m - 9*m = -14. Solve k - 3 = -2*x - 0, t*k + 5*x - 7 = 0 for k.
-1
Let b(v) = v**3 + 5*v**2 + 4. Let n be b(-5). Suppose -3*z + n - 1 = 3*p, -2*z = -2*p - 2. Solve 5*i + 25 = p, -4*m + 5*i - i = -40 for m.
5
Let c(l) = 2*l + 3. Suppose 2*g - g - 6 = 0. Let i be c(g). Solve 51 = -3*b + 5*w + 14, i = 3*w for b.
-4
Let h be 22/4 + (-30)/20. Suppose h*x = -16, 2*z + x = -2*z + 8. Solve -20 = m + z*m - 4*f, 0 = -f + 1 for m.
-4
Suppose -4*a + 20 = 5*i, i + 5 = 3*a - 10. Suppose -4 = -a*o + 6. Solve -5*w = o*x - 21, 2*w + x = 5*x - 6 for w.
3
Let z = 183 + -180. Solve -1 = 3*l + 2*p, 3*l + p + z = -2 for l.
-3
Let a be ((-12)/(-30))/((-1)/(-5)). Solve -3*t = -6, 1 = l - a*t - 0 for l.
5
Let d(y) = 6*y - 25. Let a be d(5). Solve 10 = -2*m + a*j, -5*m - 29 = 3*j - 4 for m.
-5
Let r(w) = -w**2 - 13*w - 39. Let o be r(-6). Let j = 1 + 4. Solve u + 4*u = j, o*q = 5*u - 14 for q.
-3
Let q be 3*2 - (-1 + 1). Let c = -1 + q. Let d = -7 - -10. Solve 6 = d*t + 3*j, -t + c*j = -0*t + 10 for t.
0
Let t(b) = 2*b**2 - 16*b + 1. Let l be t(8). Solve -s - h = -l, -4*s + 5 = h - 2 for s.
2
Suppose -3*q + 5*q - 7 = p, -2*p + q + 1 = 0. Solve -2*n - 4*o + 6 = -0, 2*n = p*o + 6 for n.
3
Suppose 1 - 7 = -3*d. Let n(w) = -w + 4. Let s be n(-8). Suppose -s = m + 4*h, 0*m + 5*m - 3*h = 9. Solve 0 = d*v - 5*l - 6, 4*v + 2*l + m*l - 12 = 0 for v.
3
Let n(i) = -3*i - 3. Let t be n(-2). Let b(z) = -z + 12. Suppose -2*j + 48 = 2*j. Let x be b(j). Solve 3*r + 3*q = -15, 2*r + x = -t*q - 11 for r.
-4
Let p = -1 - -4. Let t be 2/(-6)*(-1 + -2). Let g(x) = -x + 2. Let w be g(2). Solve t + w = -5*r - p*z, 3*r - z = 5 for r.
1
Let v(t) = t + 2. Let u be v(4). Let p(a) = -a**2 + 6*a + 2. Let h be p(u). Let d be ((-9)/15)/(h/(-10)). Solve -3*q = -9, -d*g + 2*q + 7 - 22 = 0 for g.
-3
Let z(m) = -2*m**2 + m**2 - 9*m + 6 + 0*m**2. Let c be z(-9). Let x be 2/c*(8 - 2). Solve 5*w - 27 = 3*f, x*w = -3*f + 6*f + 18 for f.