 m = -34 - -21. Let g = -8 - m. Solve 2*k - g*k + 12 = 0 for k.
4
Let p be 8/2 - -2 - 2. Suppose -4*a + 77 = -87. Suppose 14 = p*v + u - a, 5*u + 10 = -v. Solve 3*q + v = -0*q for q.
-5
Let i(s) = s**2 + 6*s + 5. Let l be i(-6). Suppose t - 11 = 3*g - 0*g, -g - l = -t. Solve t - 1 = n for n.
1
Suppose -3*d + c + 6 = -0*d, -15 = -5*c. Suppose -d*o = o - 24. Solve -g + o - 2 = 0 for g.
4
Suppose 4*p + 4 = 4*j, -4*p + 0*p = j - 6. Suppose -3*a - j*a + 52 = -2*l, -4*a + 2*l = -40. Solve t - a = 4*t for t.
-4
Let w be (-12)/15*5/(-2). Solve -4 + 6 = -w*f for f.
-1
Let l be 3/(-6)*-2 - -1. Suppose 0 = l*q - 8. Solve -1 = 5*h + q for h.
-1
Suppose 5*i - 6 - 1 = 4*n, 4*i = -3*n + 18. Solve 2 = -a - i for a.
-5
Suppose -s - 2 + 3 = 0. Suppose -19 - s = -2*w. Let a be 6*1/((-3)/(-2)). Solve w = z + a*z for z.
2
Let u be (-27 - -1)*(-1)/(-2). Let f = 15 + u. Solve -f = -k + 2 for k.
4
Suppose 0 = -4*b + 50 - 38. Suppose -4*f + 7 = 4*q - 1, 0 = -2*q + 2*f - 4. Solve 0 = -q*a - b*a + 12 for a.
4
Let v(n) = n**3 + 2*n**2 - 4*n - 3. Let y be (-6)/(-5 - -3) + -6. Let g be v(y). Solve g = -b - 3*b - 4 for b.
-1
Let a(z) = 4*z**2 + 3*z + 2. Let y be a(-1). Suppose y*o - 5 - 10 = 0. Solve 0 = -2*b - o - 1 for b.
-3
Let c(h) = -h - 12. Let t be c(0). Let y be ((-6)/8)/(3/t). Solve 4 + 5 = -y*x for x.
-3
Suppose 3*l = 33 - 9. Let c = -3 + l. Suppose -2*w + 1 = -c. Solve 0 = w*f - 0 + 3 for f.
-1
Let m(u) = u**3 - u**2. Let j be m(0). Suppose j = -2*f + 2 + 2. Solve -f*x - 10 = -7*x for x.
2
Suppose -y = 11*y - 2*y. Solve 0*j + 5*j + 10 = y for j.
-2
Let a(z) = z**3 - 6*z**2 - 3*z + 11. Let m be a(6). Let x be -1*m/(14/8). Solve x*q + 10 = -10 for q.
-5
Let h(v) = -v**2 - 12*v + 5. Let o = 0 + -12. Let n be h(o). Solve 11 = -n*m - 4 for m.
-3
Let o = -3 - -5. Suppose p + 8 = 3*p. Suppose 5*r + 2*u - p = -o, -5*u - 20 = 0. Solve s - 5 = -r for s.
3
Let u be 1/1*0/7. Let z = 4 - u. Solve -z = h - 0*h for h.
-4
Let q be (0 + -1 - 0) + 4. Suppose 2*g = 2*n + g + 35, 3*n = -4*g - 25. Let k = -15 - n. Solve -q = 3*p - k*p for p.
-1
Let f be 1 - -1 - (-4 - -1). Let w = -9 + 19. Solve -f*k = -0 - w for k.
2
Let r = -42 - -45. Solve -3 = -2*w + r*w for w.
-3
Let t(a) = -a - 3. Let u(s) = -s**2 + 6*s. Let i be u(7). Let n be t(i). Solve -4*l + 4 + n = 0 for l.
2
Let l be (2 - -12) + (0 - 3 - 1). Solve 0 = l*x - 13*x - 6 for x.
-2
Suppose -3*s = -6*s. Let r be (2 + s)*3 - 1. Solve r + 0 = -v for v.
-5
Suppose 6 = 5*m - 3*m. Suppose 2*s - 6 = 0, -m*s + 5 = x - 9. Solve -6 = -2*i + x*i for i.
-2
Suppose -b + y - 9 = -2*y, 0 = -5*y + 25. Let d be (b/(-2))/(1 + 0). Let r = -3 - d. Solve -l + 0*l + 4 = r for l.
4
Let x(q) = -q**2 + 5*q - 3. Let v be 2/10 + (-2)/10. Suppose v*a + a + 22 = 5*z, -5*a - z + 20 = 0. Let f be x(a). Solve -3*c = -f - 0 for c.
1
Let j = -19 - -9. Let r be (-15)/j - 6/(-4). Solve -r*f + 0 + 12 = 0 for f.
4
Let x = 24 - 21. Solve -1 = -x*a + 2 for a.
1
Let c = 120 - 117. Solve c*q - 1 = 11 for q.
4
Let v = 188 - 188. Solve v*g = -4*g + 16 for g.
4
Suppose 2*r = -3*r - 110. Let s = 34 + r. Solve s + 8 = 4*x for x.
5
Let a(n) = 5 + 0*n + 0 - n. Let u be a(7). Let f = u - -6. Solve -j + f = -1 for j.
5
Let r = -5 + 7. Let i(q) = 5*q**2 - q - 1. Let j be i(-1). Suppose -j*h + o = -o - 14, 4*h - 2*o = 12. Solve -16 = -r*n - h*n for n.
4
Let j(b) = b**3 + 2*b**2 - 5*b - 4. Let x be j(-3). Solve 0*r + r = x for r.
2
Let k be ((-3)/(-6))/((-2)/24). Let a = k - -5. Let p be (-6)/(-1) + a + -1. Solve -p*n + 7*n = 0 for n.
0
Suppose w = -v + 2, -4*w = 4*v - 2*w - 12. Let h = 10 - v. Solve q - 15 = h*q for q.
-3
Let x = 2 - -5. Let p be (-24)/(-2) + 0/((-16)/(-8)). Solve -4*d = -x*d - p for d.
-4
Let m = -12 + 19. Let s(p) = p**2 - 9*p + 17. Let r be s(m). Solve -4 = -r*n + 2 for n.
2
Let m = -7 - -7. Let y = m - -3. Solve -y = 2*q - 5 for q.
1
Suppose -2*r - 53 = -71. Suppose 4*j - 33 - 7 = -3*s, -8 = -3*s + 4*j. Let m = s - 6. Solve m*x = 1 - r for x.
-4
Suppose 5*h + 2 = 17. Solve -h*w + 0*w = -9 for w.
3
Let c be -1 + 13 - (0 + 4). Solve -3*i + 5 = -c*i for i.
-1
Let x(i) = -i**2 - 5*i + 6. Let m be x(-5). Suppose m*d = d. Solve -2 + d = b for b.
-2
Suppose 7*m = 4*m - 5*r + 6, 2*m - 4 = -r. Solve c + 0*c - m = 0 for c.
2
Let x(i) = -i**2 - 5*i + 2. Let p be x(3). Let j = p - -27. Solve t - j*t = 12 for t.
-3
Let a(x) = -12*x**3. Let c be a(-1). Solve 4*m + 0 - c = 0 for m.
3
Let c(l) = -l**2 + 3*l - 3. Let b be c(3). Let h = b - -8. Suppose -h*n + 0*n + 25 = 0. Solve -1 = -4*j - n for j.
-1
Suppose 3 + 19 = 2*p - 3*t, 0 = t + 4. Solve p*u - u = -4 for u.
-1
Suppose -p = -2*j - 9, -32 = j + 5*p - 11. Let h(o) = -o. Let r be h(-2). Let k be (-1)/3 - r/j. Solve k = -4*b + 3*b + 4 for b.
4
Let t = -5 + 10. Suppose z - 16 = t*z, -4*k + 72 = -4*z. Solve k - 2 = -3*l for l.
-4
Let b be (-18)/(-5) + (-4)/(-10). Solve -5*o + b = -11 for o.
3
Let g = -1 - -5. Suppose 0 = 3*k + n - 20, -6 = -g*k + n + 9. Solve -3*q = 2*q - k for q.
1
Let y(t) = -t**3 + 10*t**2 - 8*t - 9. Let x be y(9). Suppose x = 3*r - 2*r - 16. Suppose n + 3*n = r. Solve -b = b + n for b.
-2
Suppose -3*f - 19 = b, 3*b - 5*f = b - 16. Let k be 8/(-20) + b/5. Let y = k - -3. Solve 4*l - 8*l = y for l.
0
Let q = 23 + -21. Solve r + 12 = -q*r for r.
-4
Let k be 0/1 - 0/(-2). Solve -2*y - y = k for y.
0
Let a be ((-4)/(-6))/((-16)/(-24)). Solve -m + 4 = a for m.
3
Let c(n) = n - 1. Suppose -5 = -0*v - 5*v. Let i be c(v). Let j = 5 + i. Solve -j*k + 5 = -0 for k.
1
Let s(p) = p**3 + 7*p**2 - 10*p - 16. Let x be s(-8). Solve x = 7*m - 2*m - 5 for m.
1
Let q(i) = -i**2 + 9*i - 2. Let r be q(8). Suppose 5*n - 42 = -c, -c - 2*n + 8 = -19. Suppose -c + 47 = 2*m. Solve 0 = -r*t + t + m for t.
3
Let i(j) = 2*j**2 + 9*j + 4. Let t be i(-4). Solve q - 4*q - 9 = t for q.
-3
Suppose 0*d = -5*d + 80. Let m = 4 + -2. Suppose -m*u + 0*u = -4. Solve 2*x = -u*x + d for x.
4
Suppose h + 4 = -5*c, -16 - 4 = 4*c + 5*h. Let o = 2 + 1. Solve c = m + o*m for m.
0
Let y(t) = 2*t - 5. Let f(v) = v - 4. Let c(r) = 3*f(r) - 2*y(r). Let u be c(5). Let k be 3 + u/(21/(-12)). Solve k - 1 = -2*q for q.
-3
Let p(n) = n**2 - 1 + 2*n - 2*n**2 + 5. Let w be 5/(20/(-8)) + 5. Let d be p(w). Solve f = 3 - d for f.
2
Let x = -9 - -13. Suppose -x*o + 2*p = -10, 0*o + 2*p - 14 = -4*o. Solve o*l = -l + 20 for l.
5
Let m(r) = r**2 + 3*r. Let n be m(-5). Suppose 0*k - 2*a = -k + 2, a + 3 = k. Solve 2*d - n = k*d for d.
-5
Suppose -5*g + 1 = 3*s, -4*s + 3*s + 4 = -2*g. Solve 8 = -2*j + s for j.
-3
Let x = -130 - -130. Solve x*w = 3*w for w.
0
Let n(u) = -u + 2. Let k(i) = i**3 + 4*i**2 + 4*i - 1. Let l be k(-3). Let j be n(l). Suppose -3*f = -4*f + j. Solve -h + f*h = -20 for h.
-4
Let d = 36 + -34. Let r = -1 + 1. Solve -2*u - d = -r for u.
-1
Suppose 0 = -5*k + 5 - 0. Solve -k - 14 = 5*c for c.
-3
Let b = 79 + -76. Solve -4*l + l - b = 0 for l.
-1
Suppose 3*h - 4*h = -4. Let s be (4/h)/(2/4). Solve 11 = -3*a + s for a.
-3
Let a = 36 - 29. Solve -15 = -a*f + 2*f for f.
3
Let p = -3 + 3. Let h = 2 + p. Suppose -h*a - 5*x + 20 = a, 5*a + 5*x = 30. Solve a*i + 22 = -3 for i.
-5
Let n = 2 + 4. Let d be 39/9 + 4/(-12). Suppose 0 = -0*g - d*g. Solve 3*o = -g*o - n for o.
-2
Let t be -2 + 9 + -3 + 0. Solve 8*o = t*o for o.
0
Let c(t) = -t + 6. Let a be c(10). Let u be (-1)/2 - 22/a. Suppose -2*p - 16 = -u*z, 3*p = z + z - 2. Solve y + z = 3 for y.
-1
Let b be (11 + 9/(-3))*2. Let l = 21 - b. Solve 3*z = -4 - l for z.
-3
Let n be -2 - 13/(2 + -3). Solve 3*m + n - 2 = 0 for m.
-3
Let o be 2/3 - 16/6. Let r(w) = w**3 + 2*w**2 - 3*w - 3. Let j be r(o). Solve j - 8 = z for z.
-5
Let n = 56 - 40. Solve 0*m + 4*m = -n for m.
-4
Suppose s - 3*g - 15 = 0, -5 + 17 = -3*g. Suppose s*f = 2*a + 16, -5*a - 28 = -3. Solve -3*o = -f*o + 1 for o.
-1
Let v(j) = 3*j - 15. Let m be v(7). Solve 16 = -m*w + 2*w for w.
-4
Let h be (-2 + 2 - (-45)/(-36))*-4. Solve -3*s + h = 2*s for s.
1
Suppose -5*o + 3*m + 15 = 2*m, -4*o + 2*m + 6 = 0. Solve o*x = x - 12 for x.
-4
Let f be 1 + 4 - 2*1. Suppose 0 = -f*v + v + 26. Let s = v - 7. Solve -s*g - 15 = -g for g.
-3
Let c(x) = 2*x + 5. Let o be c(4). Let z = -11 + o. Suppose 6 = -z*w, -2*w = -2*u + w + 9. Solve u = -0*a - 5*a - 25 for a.
-5
Suppose 0 = 5*b - 1 - 34. Suppose 3*p = -2*t + b, p - 2*p = -2*t + 19. Suppose d + 5*k - t = 4*d,