x + 2 + 34 = 4*k, -5*k - 4*x = 0. Solve -k*m = 3*i - 29, -i - 4*m = -p - 5 for i.
3
Let s be 2 + (-1 + 1 - 0). Suppose 0 = -s*t + 3*v + 22, -t + v + 19 = 2*t. Suppose 0 = -2*d + t*d. Solve 6 = -2*b - 2*i, -3*i + d*i = 2*b + 7 for b.
-2
Let i(f) = f**2 - 16*f + 2. Let j be i(16). Solve 5*l = 3*o, -9 = -j*l - 0*l + 3*o for l.
-3
Let s = -6 + 4. Let x be s/2 + -1 - -5. Suppose w - x = 1. Solve 0 = -2*v + c + 1, 3 = w*v - 2*c + c for v.
1
Let r be 0 + 4 + 3 + -3. Solve -5*m + 6 = -3*x + 5*x, r = -x + m for x.
-2
Let z(g) = g**3 + 7*g**2 + 5*g - 2. Let y be z(-6). Let j = y + 0. Solve 4*q + 16 = -j, -12 = 4*x + 4*q for x.
2
Let b(q) = q + 4. Let w be b(0). Suppose 8 = w*v - 3*v. Solve -2 = -5*f + v*d - 4*d, -2*d = -4 for f.
2
Let f be 10/(-15)*15/(-2). Let t(w) = w**3 - 5*w**2 + w + 4. Let n be t(f). Let u = 14 - n. Solve 0 = 5*j + u*y - 15, y = 4*j - 0*j - 12 for j.
3
Let r = 2 - -10. Solve r = 3*q, 3*q - 9 = y - 0*y for y.
3
Let u = -19 + 13. Let y = -3 - u. Solve -y*z - 24 = 5*i, -3*z - 8 = 1 for i.
-3
Let o = -20 - -20. Solve i + 13 = -x - 2*i, o = -4*x - 5*i - 31 for x.
-4
Let x(d) = -d**3 - 5*d**2 + 3. Let f be x(-5). Suppose 3*t - f = 3. Suppose 2*k - 6 = -q, -6*k = -4*k + 2*q - 6. Solve 3*u = k*c, -3*c - t*u = c - 12 for c.
2
Let m(t) = t**3 - 6*t**2 - 14*t - 6. Let f = -8 + 16. Let y be m(f). Let s = -5 - -9. Solve 17 = 3*i + 4*v, v + s*v = y for i.
3
Suppose -2*f - m = 13, 0 = -4*f + f + 3*m - 6. Let j(c) = c**2 + 2*c - 10. Let i be j(f). Solve i*b + 7 = -0*l + 3*l, -3*l + 1 = -2*b for b.
-2
Suppose 0*f + 2*f - 5*q - 3 = 0, -f = 4*q - 8. Solve -4*v = z + 7 + 7, f = 2*v - 5*z for v.
-3
Suppose -c = l - 6, -2*c = -5*l + 30 + 14. Solve -f - l = f, 5*m = f - 1 for m.
-1
Let y be (-6)/(-4)*(-56)/(-12). Let l be 20/7 + 1/y. Solve 5*p + 25 = 0, 0 = m + 5*p - l*p + 5 for m.
5
Suppose 0 = -2*x - 3*x. Suppose 2 = -r + 6. Solve x = -4*i + 5*m + 4, -r*i - m - 2*m = -4 for i.
1
Let z be 0/(1 + -1 + 2). Suppose z = -4*m + 5*a + 32, 0 = -4*m - a - 3*a - 4. Let x be m*3*(-3)/(-9). Solve -x*r - 4*v - 8 = 0, -6*r + r + 4*v = -8 for r.
0
Suppose 4*a - 14 = 14. Solve h = 1, 0*h - a = -b - 3*h for b.
4
Let o(d) = 4*d + 5. Let m(b) = -3*b - 4. Let s(p) = 3*m(p) + 2*o(p). Let h be s(-6). Solve 0 = 4*c - 3*g + 6, 0 = -h*c + 8*c + 4*g - 8 for c.
0
Suppose 5*r - 9 = 26. Solve -r = -5*p - 5*m + 18, 0 = -3*p + 5*m + 7 for p.
4
Suppose 0*y - 4*y + 7 = t, t + 17 = 4*y. Solve 2*n = 4*l + 14, -8 = -4*n + 3*n + y*l for n.
5
Let u = -33 + 35. Solve d + u*b = 1, -d = -3*d + 3*b + 9 for d.
3
Suppose -3 = b - 4. Solve 3*n - 4 = -2*f, -2*f + b = 5*n - 3 for f.
2
Suppose -4*u + 36 = 3*l + 8, 42 = 3*l - 3*u. Solve 0 = -2*y + 2*h - l, 3*h = -y - 0*y + 6 for y.
-3
Let y(p) = 2*p**2 - 7*p - 1. Let w be y(4). Solve -w*k + 2*k - 9 = -3*n, -5*n = -4*k - 22 for k.
-3
Suppose -o + 12 = o. Let p be o/((-2)/(12/(-9))). Solve -4*f = 4*b - p, -5*b + 0 = 3*f - 5 for b.
1
Suppose 4*x - 2 = 2*x. Let u(s) = -s**3 + 4*s**2 + 7*s + 1. Let h be u(5). Let o = h + -6. Solve x = 2*p - 4*r - 1, -4*p + 4 = o*r for p.
1
Suppose 4*r + 0*r = 16. Let o(d) = d**3 - 4*d**2 + d - 4. Let b be o(r). Solve -3*x + m = -6, 14 = -x - 5*m - b*m for x.
1
Let i = -9 - -11. Suppose 22 - i = 4*k. Solve 5*o - 4*h - 21 = 0, 0 = 2*o - 0*h + k*h - 15 for o.
5
Suppose 7*s + 4*m = 2*s + 23, 0 = -2*s - m + 8. Solve t + 1 = w, -5*w - s*t = -2*w - 9 for w.
2
Let z = 7 - 6. Let i be z/(-3 + 5 + -3). Let r be i - (-4)/(-2) - -6. Solve -t + r*v - 11 = 0, t - 2*t = 2*v - 4 for t.
-2
Suppose -2*d + 0 + 6 = 0, -2*d + 30 = 3*w. Suppose -3*r + 4*r + w = 2*i, -2*i = 3*r + 8. Solve g - i*y - 4 = 0, 3*g - 4*y = 3 + 7 for g.
2
Suppose -3*j + j = -26. Let c(p) = 5*p + 3. Let v be c(4). Solve 0 = -z + 3*y + y + j, v = -z - 5*y for z.
-3
Let y = -5 + 7. Let l(c) = c**2 + 4*c - 1. Let r be l(-5). Suppose -y*b + 7*b - 5 = 0, -b - 7 = -r*h. Solve -2*u = -h*w, 5*u - 22 = w - 2 for w.
5
Suppose 2*g = -g + 18. Let w(a) = -a + 5. Let d be w(5). Let c = d + 3. Solve 0 = 2*j - r - c - 3, -5*j - 2*r + g = 0 for j.
2
Let u(j) = j**2 - 9*j + 6. Let t be u(8). Let g be (16/(0 - 2))/t. Suppose -d - g = -2*d. Solve -3*i = -2*x + d, 4*x + 3 - 1 = i for x.
-1
Let m be (-4)/6 - (-14)/3. Suppose 2*d - 4*d = 4. Let w be (-192)/(-112) - d/7. Solve -m = -4*y, -2*f + w*y - 3 = y for f.
-1
Suppose 7 = -w - 3*s, 3*w = 5*w + s + 9. Let a = -4 - w. Suppose 2*o + 3*x + 2*x + 7 = a, -2*x + 10 = 4*o. Solve 2*j - 16 = -4*c, 3*c + o*j - 12 - 10 = 0 for c.
2
Let f(n) = -4*n**3 - 3*n**2. Let d be f(-2). Let r = 20 - d. Solve -p - 5*w + 29 = 0, 4*p + 5*w + 10 - 51 = r for p.
4
Suppose 4*l - l = -5*f - 5, 0 = l + f - 1. Let r(y) = y**3 - 9*y**2 - 11*y + 7. Let c be r(10). Let a = l + c. Solve 1 = -4*n - 2*j - 3, 4*j = -2*n - a for n.
-1
Suppose 3*d - 17 = 1. Let a be -3*(-1)/(-1)*-1. Solve d - 19 = a*l - 4*p, 3*p - 12 = 0 for l.
1
Let u be (-31 - -1)*(-4)/10. Suppose 47 = -5*q + u. Let i be 10/(-35) - 37/q. Solve -3*t - 4*c = 32, -i*t + 2 = -5*c - 3 for t.
-4
Suppose 0 = -3*j + 16 - 7. Let u = j + 0. Suppose 3*o + 0*a = a + 18, -2*a = u*o - 27. Solve 4*l = -5*b - 32, -o*l + 2*l = -4*b - 1 for b.
-4
Let l = 121 - 86. Let a be 10/l + (-26)/(-7). Solve -r + f = 1, f = 4*r - a*f + 1 for r.
-4
Let q = -12 - -16. Solve 2*h - 17 = -7*d + q*d, 10 = h + 2*d for h.
4
Let l be -2 - (1*-2 + 0). Let t = 6 - 3. Suppose l = -f + t. Solve -3*p - y - 5 = -0*y, 2*p + f*y + 1 = 0 for p.
-2
Let f(r) = -r**3 + 14*r**2 + 17*r - 25. Let b be f(15). Solve m = 6*m + 3*d + 8, -b*m + 4*d = 36 for m.
-4
Let n(d) = -d - 7. Suppose 4*u - h + 38 = 0, 0 = -2*u - 2*u - 2*h - 32. Let m be n(u). Solve -50 = -7*g + m*g - 5*p, g + 4*p = 25 for g.
5
Suppose 3*z + 1 = 7. Suppose u + z*u = 9. Solve -2*l = -0*l - u*y - 9, -6 = -3*l + 2*y for l.
0
Let r(g) = g**3 - 4*g**2 + 2*g - 4. Let z be r(4). Solve 2*n + 4*x - 3 - 5 = 0, -z*x = -4 for n.
2
Suppose 4 = -0*z + 4*z. Suppose 0 = 2*l - 10, -10 + z = 3*k - 3*l. Solve 4*w - 2*w = 2*n - 14, k*w = 3*n - 19 for w.
-2
Let b(t) = -t + 7. Let m = -4 - -5. Suppose -14 = -3*p + m. Let c be b(p). Solve -21 = -c*w + w + 5*q, 12 = -3*q for w.
1
Suppose 3*b - 54 = -0. Let p(v) = 4*v + 1. Let d be p(1). Solve -b = 5*w + 7, 5*i - 20 = d*w for i.
-1
Let t(h) = -h + 5. Let q be t(5). Suppose -4 = 4*y - 4*s, s + 2 - 21 = -5*y. Solve 2*i + 1 = y*k, -k + q*i = 2*i + 13 for k.
-3
Let r be 2 + 4*2/4. Let l(z) = z**2 - 4*z + 4. Let x be l(r). Let c(p) = p**2 + 2*p + 1. Let k be c(-3). Solve k*d + x*g + 28 = 12, -5*g = -4*d + 20 for d.
0
Let z be (-1)/(2/(-10)) - 0. Let i = 6 + -16. Let j(r) = -r**3 - 10*r**2 + r + 12. Let l be j(i). Solve 3 = l*c - 1, 0 = -p - 3*c + z for p.
-1
Let l = 17 - 15. Suppose 4*p = 5*y + 31, -p + l + 14 = -4*y. Solve 2*t = -3*w - 12, t - 9*w - 20 = -p*w for t.
0
Let g(m) = m**2 - 5*m + 3. Let s be g(5). Let k be (-6)/s - -1 - -3. Suppose k*f - 15 = -f. Solve 0 = f*d - 15, 0 = -4*h - d - 14 + 5 for h.
-3
Let h(g) = -g**3 + 5*g**2 - 2*g + 3. Let r be h(4). Let a = r + -1. Let f be 4/a - (-26)/10. Solve -15 = -3*l + 5*y, 0*l + l - f*y = 5 for l.
5
Suppose 4*b = -3*k + 28, 2*b + 4*k - 20 = k. Let x = -1 - 0. Let l be 16 + 4 + 2/x. Solve g = -g - b*h - l, 0 = -g + h for g.
-3
Let v be (-3)/9*81/(-3). Let j = v - 5. Solve d + 9 = -0*t - j*t, 5*t - 5*d = 20 for t.
-1
Let i = -105 - -150. Suppose -4*h - h - i = 0. Let w be ((-3)/h)/((-1)/(-9)). Solve 0 = q - 4*m + 1, 3*q - 9 = -q + w*m for q.
3
Suppose -12 = -4*o + 4. Solve 0 = -3*a + o*m - 13, -3*a = 4*m + 5 - 0 for a.
-3
Let u be 1 + -4 + 0 - -9. Suppose k - u = -1. Suppose -5*r - 2*d + 142 = -3*d, 3*r - k*d = 94. Solve 2*q - 5*w = 4*q + 21, 4*q - 4*w - r = 0 for q.
2
Let r be (-70)/(-12) + (-2)/(-12). Suppose 4*j - r = 2. Suppose -2*h + 21 = -5*d, 5*h + j*d + 2*d = 36. Solve -2*o = 2*m - 20, o - 3 + h = 2*m for o.
5
Let p(c) = -c**3 - 7*c**2 - 2*c - 1. Let w be p(-5). Let i = w - -70. Solve -2*x - 18 + 1 = 3*m, 4*x + i = -5*m for m.
-5
Suppose 4*q + 6*z - z = 28, 3*q - 22 = -4*z. Suppose -4*d + 53 = -5*c, 0*d + 4*d - 47 = -c. Suppose 3*o - d = 12. Solve 2*a + w = -w - o, -q*a - 4*w = 14 for a.
-1
Suppose 3*q + 3 = 4*q. Suppose -q*i = 3 - 0. Let x = i - -4. Solve -x*t + 12 = -0*t, 2*o = 5*t - 10 for o.
5
Suppose -r = r - 8. Solve 0 = 2*d + 4*g + 20, r = -4*d - g + 2*g for d.
-2
Let g = -2 - -5. Solve -3*k = -l - 7*k 