-2*t + 16 = 2*t. Suppose k*i - 16*i = 0. Solve 4*o + 7 + 5 = i for o.
-3
Let c be (-5)/((-5)/4) - -2. Let o = c + -6. Solve 2*r - 7 + 1 = o for r.
3
Let y = -6 - -6. Suppose f - 5 = -y. Solve 4*a + 3 = f*a for a.
3
Let w be (5 - 3 - 4) + 4 + 0. Solve w = p - 0*p for p.
2
Suppose -m = 2*m. Suppose -d - 13 = 3*x + 2*x, 12 = 3*d - 2*x. Solve m*f = -f + d for f.
2
Let a(p) = p**3 + 6*p**2 - 8*p - 3. Let h be a(-7). Suppose -2*j + 0*s = -s + 3, h*s = 5*j + 12. Solve 3 + j = 3*d for d.
1
Suppose 6*a - 5*a = -6. Let f = a + 15. Solve 0*m = 3*m - f for m.
3
Let v = -17 - -17. Let c be (v/(-1))/4 - -2. Solve c = -a + 2*a for a.
2
Let d be (-1)/2*(0 + 0). Let l(i) = -i**2 - 5*i - 6. Let u be l(-2). Solve n + u - 2 = d for n.
2
Let o be (-2)/(-4) - 1/(-2). Suppose -h + o = -5. Solve -3*s + 3 = -h for s.
3
Suppose 4 = f + 3*f. Suppose 9 - f = 4*h. Solve h*g + 3*g = 10 for g.
2
Let d be 6/(-27) - (-50)/(-18). Let i(n) = 7*n**3 + n**2 - 13. Let t(l) = 4*l**3 - 7. Let a(z) = -3*i(z) + 5*t(z). Let x be a(d). Solve 2 = -3*h - x for h.
-2
Suppose -63 = -2*s + 5*s. Let z = 36 + s. Solve 5 = -4*p - z for p.
-5
Let d(o) = -2*o - 2. Let z be d(-2). Let t(y) = -y**3 + 12*y**2 + 12*y + 19. Let j be t(13). Solve z*n + j = -0*n for n.
-3
Let u(d) = -2*d**3 - 5*d**2 - 9*d - 5. Let z(c) = -3*c**3 - 4*c**2 - 9*c - 5. Let a(v) = -4*u(v) + 3*z(v). Let t be a(9). Solve -1 = 2*s + t for s.
-3
Let n = 50 - 49. Solve f + 3 - n = 0 for f.
-2
Suppose -i - 2*b = 1, 0 = -i + 4*b - 5 + 10. Let t be i + -3 + -1 + 5. Solve -2 = -t*f + 2 for f.
2
Let k(q) = q**3 - 4*q**2 + 2*q - 4. Let p be k(4). Suppose -y + 30 = p*y. Solve -y*t - 25 = -t for t.
-5
Suppose 5*o + f - 3 = 5*f, -5*f + 9 = -2*o. Let l = o + -3. Solve 3 + l = -m for m.
-3
Let p = 0 + 5. Let f = -16 + 37. Suppose -5*g + m = -26, -5*g - 5*m + f = 1. Solve 30 - p = -g*k for k.
-5
Suppose 0 = -2*a + n, -3*a + 7*a = 3*n. Let l be ((-6)/(-2))/(-3)*-7. Solve a = -l*t + 3*t + 4 for t.
1
Let i be -1 + 8 + 36/(-6). Solve -3*u = i - 13 for u.
4
Let o = -1 - 5. Let p be o/5*10/(-4). Suppose -2*i + 3*a = 2, -4*a = 2*i - i - 10. Solve 1 = -p*s - i for s.
-1
Let p(w) = 0*w**2 - 60 + 72 + 10*w + w**2. Let j be p(-9). Solve 0 = -j*y + 6 for y.
2
Let d(t) = -t**2 + 2*t + 1. Let g be d(2). Let s be -3*(-2)/6*g. Solve 2 = r + s for r.
1
Suppose -23*h + 27*h - 12 = 0. Solve 3*g - 9 = -h for g.
2
Let t(m) = m**2 + 6*m + 1. Let x be t(-6). Let f be (-6)/(x/(0 + 1)). Let q be ((-12)/9)/4*f. Solve -3*u = -q*u + 4 for u.
-4
Let g be 52/20 - (-3)/(-5). Solve 7 = -3*t - g for t.
-3
Let u(y) = -y + 12. Let h be u(5). Let m(g) = -1 - g**3 - 7*g**2 - h*g + 4 - 7. Let d be m(-6). Solve 3*n - 8 = -d for n.
2
Let n be (-6 - 0)/(-3) + 38. Suppose 0 = 2*l - 7*l + n. Solve l = 3*m - m for m.
4
Let i be 0/(1 - 3/1). Suppose d - 3 = -2*c + 1, 4*c - 2*d - 24 = i. Suppose 2*w - 4 = -2*k - w, 3*w = 0. Solve -c = 2*j + k for j.
-3
Let w(y) = 2*y**2 + 5*y. Let t be w(-3). Solve -t*q + 5*q = 0 for q.
0
Suppose 3*g + g = 20. Suppose -4*r - 4 = -g*r. Solve -r*a = -5*a + 5 for a.
5
Let r = 6 + 4. Let d be -2 + 6 + (8 - r). Solve 4*l + 18 = d for l.
-4
Let x be (-1 - -3)/((-4)/(-8)). Solve -o = x + 1 for o.
-5
Let w(o) = o**3 - o**2 + 16. Let d be w(0). Let z = 129 - 125. Solve -z*q = -d - 0 for q.
4
Let h(w) = w**2 - 10*w + 13. Let j be h(9). Solve 2*k - j = k for k.
4
Suppose 0 = 8*k - 4 - 36. Solve 0 = 2*n - k*n - 3 for n.
-1
Let y(d) = 3*d**3 - 3*d**2 - 5*d - 2*d**3 - 2 + 0 + 2*d. Let l be y(4). Solve 1 + 1 = l*o for o.
1
Suppose -w - 6 = -3*m + 5*m, 5*w = 5*m + 45. Solve 0 = n - 2*n - w for n.
-4
Suppose -2*b + 113 = 4*o - b, o + 5*b = 52. Solve -5*x - 2 = -o for x.
5
Suppose -30*x = -32*x. Solve x = 2*k - 5*k - 6 for k.
-2
Suppose -4*g - 21 = 5*p, 2*g + p + 2 + 1 = 0. Let z be 3 + (-2 - 0 - -3). Solve -z*f - 3 = g for f.
-1
Suppose 0 = v - 2, 8 = -2*b + 4*b - 3*v. Let w = 4 - 5. Let a = w + 11. Solve -a = b*p - 2*p for p.
-2
Suppose -4*f = -c + 141, -2*c - c + 15 = 0. Let n = 19 + f. Let x be (-2*1)/(6/n). Solve 0*q - x*q = -5 for q.
1
Let m(a) = -a + 17. Let g be m(14). Solve -g*u = -u for u.
0
Suppose 4*q - 10 = -2*f, 4*f - 5 = -3*q - 0. Suppose -2 = -q*z - 4*y - 1, 13 = 5*z + y. Solve 2 = z*v + 8 for v.
-2
Let r = 27 - 27. Let l(f) = f**3 + 5*f**2 + 4*f. Let n be l(-3). Suppose 6*i - 3*i - n = 0. Solve r = i*j - j for j.
0
Let p be (-1)/3 - (-39)/9. Solve -2 = -p*r + 6 for r.
2
Let q = -69 - -73. Solve q*d + 6 - 26 = 0 for d.
5
Suppose -p = 3*p - 8. Solve 0 = -p*c + 2 - 10 for c.
-4
Let j be (-5)/10*-6 + 1. Solve b = 2*b - j for b.
4
Suppose 5*t - 9 = 6. Let x be (1 + (1 - 3))*t. Let l be 1/x + 4/12. Solve -2*r + l*r - 4 = 0 for r.
-2
Let c be -2 + 0 + 6 + 2. Solve 0 = -c*m + 2*m - 4 for m.
-1
Suppose -4*x = 12 + 8, -3*n = -x - 14. Solve -4 = -n*i - 1 for i.
1
Let t = 26 - 26. Solve -2 = 2*k - t for k.
-1
Suppose 4*h = 2*p, 6*h = 11*h. Solve z - 9 + 5 = p for z.
4
Let l(f) = 3*f**3 + 6*f**2 + 4*f - 12. Let o(k) = -16*k**3 - 29*k**2 - 21*k + 61. Let g(b) = 11*l(b) + 2*o(b). Let c be g(-7). Solve 10*n + c = 5*n for n.
-5
Let x be (-15)/(-4) + 2/8. Let i(t) = t + 0*t + 2*t + 4 - t**2. Let d be i(x). Solve -h + d = 3 for h.
-3
Let o(t) = t + 9. Let a be o(-7). Let x be a - (-3)/((-12)/8). Solve -3*p - 15 = -x*p for p.
-5
Let g = -6 - -9. Let w be ((-1)/g)/((-7)/42). Suppose 2*u + 2 = 6. Solve w*m = m + u for m.
2
Let n = 8 - -4. Solve 0*z = 3*z + n for z.
-4
Let i be (12/16)/((-1)/(-4)). Suppose -4*l + 4*z = l - 50, -4*l = i*z - 9. Solve 0 = -2*c - c - l for c.
-2
Let v(y) = y**2 + 10*y + 14. Let b be v(-9). Solve -7 = b*p + 3 for p.
-2
Let d = -3 + -2. Let a(u) = -u - 3. Let q be a(d). Suppose 1 = -i - 3*n + 3, q*i - 11 = n. Solve i*c + 12 - 2 = 0 for c.
-2
Let u = -2 - -2. Let j be 6/3 + u/(-1). Suppose -5*h + 0 + 5 = 0. Solve -h = d - j for d.
1
Let y be (-9)/(-3)*(-4)/(-6). Suppose -5*a = y*p + 45, p + 5 = -0. Let d = -4 - a. Solve 0 = -4*x - 1 - d for x.
-1
Let y be (2/6)/(1/39). Let o = y + -4. Let v be 30/o + (-2)/(-3). Solve -v - 4 = 2*s for s.
-4
Let u be (-51)/(-5) + 1/(-5). Solve 5*l + u = -15 for l.
-5
Let b be (-54)/(-15) + 2/5. Suppose -4*f + 5*s + 2 = 0, 5*s + 0 = 2*f + 4. Solve -b = d - f for d.
-1
Let l = 44 - 22. Suppose -d - 4*j = -13, -3*j = 4*d - 2*j - l. Solve a = 2*a - d for a.
5
Suppose -d = -2*d + 9. Let i be 38/(-6) + 5/15. Let a = d + i. Solve 0 = -2*h - a*h for h.
0
Suppose 2 = o, 0*b + 10 = 2*b - 5*o. Let y = b + 1. Solve -y = 5*g + 4 for g.
-3
Let s be ((-20)/(-6))/((-1)/(-6)). Solve -3*z - 2*z - s = 0 for z.
-4
Let y(g) = -2*g + 8. Let w be y(4). Solve -5 = -5*c - w*c for c.
1
Let n(w) = -9*w. Let p = -9 - -8. Let m be n(p). Solve -m - 3 = -4*d for d.
3
Suppose 4 = 5*m - 11. Solve q + 0 + m = 0 for q.
-3
Let s be (10/10)/(2/58). Let k(r) = r**3 + 5*r**2 + 2*r - 1. Let v be k(-4). Suppose 0*y + 17 = 3*m + y, 3*m - 4*y - v = 0. Solve -4 + s = -m*c for c.
-5
Let p = 98 - 94. Solve -8*x = -p*x + 4 for x.
-1
Let g = -13 + 22. Solve 4 = -m + g for m.
5
Let m be (0 + 5)*40/(-50). Let c be 1*2*(8 + m). Solve -c*u + 3*u = -5 for u.
1
Suppose -2*c + 4*c - 6 = 0. Let o = 4 + -3. Let r(w) = 2*w + 16. Let l be r(-6). Solve 0 = l*j - c*j - o for j.
1
Suppose -9 = -4*r + g, r + 3*g = -0*g + 12. Solve r*x = 4*x for x.
0
Let o = -15 + 15. Solve -3*k - 4 + 19 = o for k.
5
Suppose 4*n = -3*z + z + 10, 5*z - 2*n = 25. Suppose -k = h + k - 8, -2*h - z*k = -19. Let t be (-6)/18 + (-2)/(-6). Solve -h*u - u - 9 = t for u.
-3
Suppose -5*w - 2*r = -r - 25, 0 = -3*r + 15. Solve -4 = 4*z + w for z.
-2
Let j be 22/8 + 2/8. Suppose -21 = -0*u + j*u. Let p = -4 - u. Solve 6 + p = 3*a for a.
3
Suppose 26 = 3*l - 49. Let z(u) = u + 2. Let o be z(-2). Solve o*q = -5*q - l for q.
-5
Suppose -q - 2*c = 0, 1 = 5*q + 5*c - 4. Solve -k = -0 - q for k.
2
Let m(y) = y**3 - 6 + 2 + 4*y**2 - y + 3*y**2. Let b be m(-7). Suppose b*j = 2*h + 6, -8 = -5*h + h + j. Solve h*n - 1 = 5 for n.
2
Let i be 3/12 + (-190)/(-8). Let j be i/4*(-2)/(-6). Suppose -4 = -u + 2*h, -4*u = j*h - 3*h - 51. Solve -4*g = -u - 2 for g.
4
Suppose h + 6 = -h. Let z be (-1 + -1)*h/3. Suppose 3*j - 4*j = -z. Solve 0 = j*y + 3*y + 10 for y.
-2
Let l(s) = -14. Let z(o) = o + 15. Let w(c) = 3*l(c) + 2*z(c). Let y be w(11). Suppose 2*m + 0 = 12. Solve 0 = 4*f - m - y for f.
4
Let w(d) = d - 1. Let z be w(3