)/15)/((-4)/6). Suppose -4*z + 0*z + 2*y + 10 = 0, -4*y + 16 = h*z. Let s be (1*-2)/((-2)/25). Solve z*t - s = -2*t for t.
5
Let x = -9 - -9. Suppose 2*k + 0*k = x. Solve k = -j + 3*j + 8 for j.
-4
Let y be ((-1)/3)/1*-15. Let s = y + -2. Let u(l) = l**2 - l - 27. Let p be u(-5). Solve 0 = -p*h + s + 3 for h.
2
Let b(j) = -1 - 7 + 3*j + 1. Let l be b(5). Let x = -2 + l. Solve 0 = 5*f - x - 4 for f.
2
Suppose -4*y + 0*y + 8 = 0. Solve -y*b + 1 - 11 = 0 for b.
-5
Suppose -c = -2*c. Suppose 0 = 3*w - 2*w - 2*v - 1, 3*w - v + 17 = 0. Let o(h) = -h**2 - 7*h. Let b be o(w). Solve c*j - 2*j = b for j.
0
Let q be (-20)/8*12/(-5). Solve 18 = -3*w + q for w.
-4
Let x(l) = l + 7. Let y be x(-4). Let j be (-3 + y)/(-3 - -5). Solve j = b - 4*b - 15 for b.
-5
Suppose 0 = t - y - 5, 2*y + 1 = -5. Solve 4*j - t = -10 for j.
-2
Suppose 2*s + 0 = -2. Let w be 2 + 0/(3 + s). Solve -5*x + w*x = 15 for x.
-5
Let y = 35 - 33. Solve y = -c + 1 for c.
-1
Suppose 3*w - 5*w = 0. Suppose d + c - 5 = 2*c, 4*c + 8 = w. Suppose 2 = d*a - 7. Solve a*i + 1 + 2 = 0 for i.
-1
Let x(z) = z**3 - 9*z**2 - 15*z + 12. Let o be x(10). Let j be 5/25 - o/10. Solve -q = 3*q + j for q.
-1
Suppose 7 = w - 4. Suppose -4*k + w = 3. Solve 4 + 4 = -k*c for c.
-4
Suppose -5*c + 4*a + 22 = 0, -c + 19 = 4*c - 3*a. Let g be (2 - (c - 1)) + 2. Solve 4*o = g*o - 2 for o.
-2
Suppose -3*c - 19 = i, 2*i + 3*c = -2*c - 33. Let a = i - -7. Solve -g = -1 + a for g.
-2
Let b(o) = o**3 + 4*o**2 - 4*o + 6. Let n be b(-5). Let j be 0 + n + 6 + -2. Solve j = 5*a - 0 for a.
1
Let u(n) = -2*n - 20. Let f be u(-11). Solve 4*t = f*t for t.
0
Let n = -7 + 10. Suppose -o + n*o = 2*j, 5*o - 10 = 0. Solve -j = 2*i - 0 for i.
-1
Suppose 2*u = u. Let c = u + 4. Solve 6 - 22 = c*b for b.
-4
Let k = 7 - 10. Let t be ((-1 - k) + -2)/(-2). Suppose t*n + n = 4. Solve -b - n = b for b.
-2
Suppose -2*g = -3*u + 6, 0 = -5*g + 2*g. Suppose 7*a - 10 = u*a. Suppose 0 = -a*c - t + 13, 4*t + t + 7 = 2*c. Solve 4*q = q + c for q.
2
Let h be ((-7)/(-1))/(-1 - 0). Let t be 1/(h/(-6) + -1). Let o(g) = -g - 4. Let k be o(-4). Solve 2*p - 5*p + t = k for p.
2
Let o(x) = 3*x**2 + 6*x + 6. Let s(u) = 16*u**2 + 29*u + 30. Let z(t) = -11*o(t) + 2*s(t). Let b be z(-7). Solve b = 2*v - 1 for v.
1
Suppose -2*k - 4 = -4*c - 12, -12 = 3*c. Let r be 1/k - 4/(-16). Solve r*h - 9 = 3*h for h.
-3
Suppose 2*f = -q - 12, 5*q - 18 = 5*f + 27. Let v be (-6)/4*4/6. Let w = v - f. Solve -2*n - 16 = -w*n for n.
4
Let d(s) = 3*s**2 + 0*s**3 - 4*s - 8 - s**3 + 4*s**2 + 1. Let z be d(6). Solve -5 = z*u - 0 for u.
-1
Let m(a) = -a - 6. Let f be m(-6). Let z = -3 - f. Let g = z - -3. Solve g = 4*o + 12 for o.
-3
Let b(h) = -h**3 + 14*h**2 - h + 14. Let a be b(14). Suppose -8 = -4*n + 4*g + 80, -3*n - 4*g = -52. Let d = 7 + 2. Solve a = -d*w + 4*w + n for w.
4
Suppose 0 = -c - 3*j + 2, 3 = -4*j + j. Solve 2*d + 9 = c*d for d.
3
Let z = -5 - -9. Suppose 0 = -5*s - 3*a - 12, -s - z*s - a = 4. Solve s = b + b + 10 for b.
-5
Suppose 4*h + 8 = 8*h, 3*h = q + 1. Suppose 44 = 4*g + 5*u, q*g = 2*u + u + 18. Solve 1 = -y + g for y.
5
Suppose -c = -0*o - o - 9, 45 = 3*c + 3*o. Solve -5*u = 2 - c for u.
2
Let z = 20 + -17. Suppose 3*h + h - z*t = 7, -26 = -5*h - 2*t. Solve 0 = 2*d - h*d - 6 for d.
-3
Let z = -11 - -15. Suppose -4*g = -9*g + 10. Suppose 6 = 2*p, -z*f + g*f + 2*p - 2 = 0. Solve 0 = f*k - 0 - 4 for k.
2
Suppose -20 = f + 5*v, 0*f - 3*f + 40 = -5*v. Let z(o) = o**3 - 4*o**2 - 2*o + 8. Let t be z(4). Solve r + t*r = -f for r.
-5
Suppose g = -15*g + 176. Solve -2*d + g = 5 for d.
3
Suppose -107 = 9*n - 323. Solve 0 = 4*l + 4 - n for l.
5
Let a be 141/15 - (-6)/10. Solve 0 = 4*u + 2 + a for u.
-3
Let l(p) = p**2 + 4*p - 5. Let m be l(5). Suppose -5*s + m = -2*v, -2*v = 2*s + 3*v - 16. Solve d - 5*d = -s for d.
2
Let f(n) = 2*n + 1. Let c be f(1). Let w(j) = j**3 + 5*j**2 - 7*j + 3. Let i be w(-6). Suppose v - 55 = -5*h + 6*v, -4*h = 3*v - 9. Solve -c*d + i = -h for d.
5
Let l(j) = j**2 - 16*j + 30. Let z be l(14). Solve -2*h + 16 = z*h for h.
4
Let t = 12 + 4. Solve -t = -2*f - 2*f for f.
4
Let a(r) = 24*r**3 + r. Let i be a(1). Suppose -3*z + 20 = -8*z - 4*p, -5*p = 2*z + i. Suppose 4*q = 5*x + 9 - 2, -1 = -x. Solve 9 + z = -q*o for o.
-3
Let x(y) = -23*y - 1. Let q be x(1). Let u be (6/(-4))/(18/q). Let d be 4/(-6) - (-24)/9. Solve -d*w - 4 - u = 0 for w.
-3
Let c = 12 + -9. Solve -6 = c*x - 0 for x.
-2
Let l be (-14 - -22)/(-2 + (-16)/(-6)). Solve 4*j = -4 - l for j.
-4
Suppose 2*d - 7*a + 2*a = -17, 0 = 2*a - 10. Suppose -v - 15 = -d*v. Solve -v*w - 10 = -3*w for w.
-5
Let y(p) = 4*p**2 - p - 1. Let h be y(-1). Suppose -h*r + 13 - 5 = 0. Solve 0*n + 10 = r*n for n.
5
Let x be 10/4 + (-2)/(-4). Solve -m + 2*m + x = 0 for m.
-3
Suppose 5*h - 10 = -2*s + 5*s, 25 = s + 4*h. Let p be ((-4)/10)/((-2)/30). Suppose p = 5*w - o, s*o - 16 = w + w. Solve w*n - 7*n - 10 = 0 for n.
-2
Suppose 4*n = 2*o + 32, -3*n + 3 = 4*o + 1. Solve 4*g = 2*g - n for g.
-3
Let g be ((0 - 0)/(-1))/(-1). Suppose -106 - 26 = 6*s. Let x = -19 - s. Solve g = u + x*u - 12 for u.
3
Let o = -1 + 3. Let x(g) = 0*g - g + o*g. Let s be x(3). Solve -19 = -4*a - s for a.
4
Suppose -6*t + 4*t = -10*t. Solve -2*j - 2 - 4 = t for j.
-3
Let y(s) = -2*s + 2*s + s. Let n be y(3). Solve 7*w + 16 = n*w for w.
-4
Suppose -4*h + 11 = r, 6 + 0 = -h - 2*r. Solve h*f = 3*f for f.
0
Suppose -56 = -6*x - 146. Let y = x + 20. Solve 8 = -n + y*n for n.
2
Suppose 2*b - 9 - 1 = 0. Solve -b*j = -6*j for j.
0
Let u = -21 + 27. Solve u*f = 2*f for f.
0
Suppose m - 6 = 3*m. Let v be (-27)/m - 3/(-3). Solve 0 = 5*w - 3*w + v for w.
-5
Let p be 2 - 1 - (-30)/5. Let m be (0 + p)*(-12)/(-14). Solve m*q = 2*q - 8 for q.
-2
Let r be (-51)/(-7) + 4/(-14). Let z = 10 - r. Solve z*q + 2*q = 0 for q.
0
Let s(q) = -q - 3. Let d be s(-3). Let l be 1 + (1 - (d - -2)). Solve c = -l*c for c.
0
Let t = -10 + 23. Let n = -23 + 28. Solve -n*y - 12 - t = 0 for y.
-5
Let l be (-6)/4*2/(-3). Suppose s - 6*s + 12 = -p, 2*s = p + 3. Let u = p - l. Solve -r - u*r = -15 for r.
5
Let y be 3/6*-6 - (1 - 12). Solve y = 3*h + h for h.
2
Let g = -18 + 22. Solve v = -g - 0 for v.
-4
Suppose 0*n + 33 = 5*n + 2*k, -k = -n + 1. Suppose -4*o + n*p = -36, -o + 0*o - 2*p - 4 = 0. Solve d = -o*d - 15 for d.
-3
Let o be (-1 - (-3 - -2))*-1. Suppose 17*b = 14*b + 9. Let f = b + o. Solve -g - f*g = 0 for g.
0
Let r(i) = -i**2 - 4*i - 4. Let p be r(-4). Let c = p - -4. Solve -8 = -c*j - 2*j for j.
4
Suppose 5*p + 5*x - 2*x - 39 = 0, -3*x + 9 = 0. Suppose 0*d - 5*v + p = d, 0 = -2*d + v + 12. Solve 0*i = 3*i - d for i.
2
Suppose 0 = 2*w + 17 + 13. Let m be (-6)/w + 152/20. Suppose 27 + 23 = 2*c. Solve c = -m*g + 3*g for g.
-5
Suppose 4*n = -p - 46, -2*n + 3*p + 1 - 17 = 0. Let m = n + 19. Solve 2*i - m = -0*i for i.
4
Let m be 25 + (-1 - 1 - 2). Suppose 2*z + 9 = -4*w + m, -4*w + 24 = -4*z. Solve 0*g + w*g - 16 = 0 for g.
4
Suppose 33 = 2*f + 9. Let k = 8 - 5. Solve 0*x + k*x + f = 0 for x.
-4
Let v = -46 - -48. Solve 0 = -3*c + 11 - v for c.
3
Suppose -8*s + 21*s = 0. Solve s*v + 3*v = 12 for v.
4
Let n be (0 - -4)*(-7)/(-2). Suppose 4*a = 4*r - 5 - 11, -2*r = -8. Solve a = 4*z - 2 + n for z.
-3
Let z be (2 + -1)/(4/(-8)). Let k be z + 3 + 2 + -1. Let f = k - -2. Solve 3 = -p + f for p.
1
Let j = 45 + -20. Solve 9 = 4*b + j for b.
-4
Suppose 3*v = -5*u - 8, -2*v = -7*v - 4*u - 9. Let s(r) = -11*r + 1. Let w be s(v). Solve -5*z + z - w = 0 for z.
-3
Suppose h = 0, n = h - 2 + 8. Let s = 2 + 1. Solve n = -v + s*v for v.
3
Let q(t) = -2*t**2 - 8*t - 4. Let z be (-8)/16*3*2. Let f be q(z). Solve -f - 6 = -2*i for i.
4
Let w = -69 + 99. Suppose 4*m - w - 2 = 0. Solve 2*o - m = 6*o for o.
-2
Suppose -7*l + 11*l = 8. Suppose l + 0 = -q. Let d(r) = -r + 1. Let j be d(q). Solve -6 = 3*k - j for k.
-1
Let x = 7 - 2. Suppose -7*m + 2*m - 140 = -4*s, 5*m = x*s - 175. Let h be s/10 + 1/2. Solve -12 = k - h*k for k.
4
Suppose 0*t = -4*t. Solve -m = -t + 2 for m.
-2
Let z be (-27)/(-4) - (-2)/8. Let m be z/((-14)/(-12)) - -2. Solve 4 + m = 3*f for f.
4
Let a(s) = 2*s**3 + s - 1. Let c be a(1). Suppose 0*w = 4*w - 8. Solve 3*j - c*j - w = 0 for j.
2
Suppose -10*t = -6*t - 4. Solve t + 8 = -3*p for p.
-3
Let s be 76/12 + (-6)/(-9). Solve -4*w = 13 + s for w.
-5
Let i(q) = 2*q