 a be (-3)/2*264/(-18). Solve 7 - a = 3*n for n.
-5
Let h(k) = k - 2. Let n be h(3). Let u be n/(-2) - 15/(-6). Let x be (0 + 0)*1/u. Solve x = y - 5*y for y.
0
Suppose 0 = -5*y - 1 + 11. Let j = 6 - 3. Solve -y*w = -w + j for w.
-3
Suppose 0*s = -2*o - 2*s + 10, 3*o - 5*s = 39. Let z be 18/(-12)*o/(-3). Solve -z*k = k - 15 for k.
3
Suppose -x + 17 = 5*u, u + x - 6 + 5 = 0. Solve 5*m - u*m - 4 = 0 for m.
4
Let m be (-6)/(-27) - (-25)/9. Suppose 3*z = -m - 0. Let b = 0 - z. Solve 5*p + 9 + b = 0 for p.
-2
Let y be (10 - -7) + (1 - 1). Solve -3 = 5*m + y for m.
-4
Let x(s) = 3*s**2 - s. Let a(j) = -j**2 + 11*j - 1. Let i be a(11). Let v be x(i). Solve v*d + 8 = 20 for d.
3
Let q be ((-8)/6)/((-6)/9). Let n be 5*1 + (1 - 0). Suppose -q*p - 24 = -n*p. Solve p*y = y - 20 for y.
-4
Suppose 0 = 3*p - 5*z + 3 + 8, -13 = p - 4*z. Solve -p*h + h = -10 for h.
5
Suppose -3*j + 30 = 3*v - 0*v, -j = -4*v + 15. Let g = v + -7. Let q = g - -8. Solve -4*n - 10 = q for n.
-4
Let r be (-4)/(12/(-9)) + -7. Let s be (-1)/r*0 + 0. Solve s*j + 2*j + 8 = 0 for j.
-4
Let m be 6/(-1) - (17 + -18). Let t = m - -8. Solve q = t*q for q.
0
Let j(h) = -3*h**3 - h**2 - h - 1. Let n be j(-1). Let i(y) = y + 7. Let x be i(-5). Let s = x - n. Solve -3*w - 5 + 17 = s for w.
4
Suppose -5 = y - 2*y, 18 = 4*v + 2*y. Suppose t - 17 = 5*n, -2 + 0 = 2*t + 2*n. Suppose -t = -l, -l + 2 = -v*j - 0*l. Solve j*z = 5*z + 15 for z.
-3
Let s(c) = -c - 5. Suppose 5*x + 0*o - 2*o = -25, 6 = -3*x + 3*o. Let w be s(x). Suppose w*b + 2*h = 32, -8*b - h + 80 = -3*b. Solve -3*q + b = -7*q for q.
-4
Let x(w) = -w + 2. Let n be x(-2). Solve 3*u - n*u + 4 = 0 for u.
4
Suppose 4*w = -4, 3*l = -2*l + w + 11. Suppose l*b = 5 + 5. Let r(m) = -m + 1. Let q be r(-5). Solve -b*k - 21 = -q for k.
-3
Let s be (3/9)/(2/12). Suppose -4*x = -2*t + 16, 0 = -2*t - 0*t - 4*x + 8. Let i be 1/s + 3/t. Solve 0 = -2*d + d + i for d.
1
Let f be ((-15)/(-6))/(3/6). Suppose -2*g = -6*g. Let x(k) = k**3 - k**2 + 2. Let p be x(g). Solve -p*l + 1 = f for l.
-2
Suppose -4*r - r = 3*w - 19, -4*r = 5*w - 23. Let y(h) = -5 + 0 + 0 + 3*h. Let o be y(6). Solve 4*f + o = -w for f.
-4
Let f(j) = j**3 + 9*j**2 - 10*j + 2. Let z be f(-10). Let u be (-3 - -2)*z/(-1). Solve u*l - 1 = l for l.
1
Let y be 63/168 + 53/8. Solve 0 = -4*x - y - 9 for x.
-4
Suppose 0 = -4*i - 4*z, 3*z - 6*z = i + 6. Solve 0 = -o + i*o - 8 for o.
4
Let s(a) = a - 4. Let p be s(9). Suppose 4*o = p*o - 3. Solve b - o = 4*b for b.
-1
Let t be 4/2 - (-2 + 4). Let l = -1 + t. Let j(n) = -2*n**3 - n**2 - n. Let h be j(l). Solve -18 = -4*p + h for p.
5
Suppose -3*g - g = 0. Let f(z) = z**2 - 2*z + 1. Let l be f(2). Let k be g + 2 - (0 - l). Solve t - 2 = k*t for t.
-1
Let h be 20/8*(-36)/(-10). Let v(c) = c**3 - 9*c**2 + 6. Let f be v(h). Solve s + 4 = f for s.
2
Let b be 5 + (-1 - (-1 + 1)). Let n(m) = b*m**2 + 9*m - m**3 + 8 - 2 + 4*m**2. Let w be n(9). Solve -u + 2 = w for u.
-4
Suppose 0 = -z - 2*z - r + 10, -2*z = r - 5. Solve -2*c = -z*c - 15 for c.
-5
Suppose -n = 2*t, -t = 5*n + 19 + 17. Let s = 11 + n. Solve s = 2*v + 1 for v.
1
Suppose 5*k - 4*x + 6 = 0, -3*x = k - 15 + 1. Solve k*c = -2*c for c.
0
Let a = -38 + 41. Solve -2*q - 7 = a for q.
-5
Let j be ((-4)/(2*-1))/(4 - 2). Solve -13 = -3*b - j for b.
4
Let q(o) = -o**2 + 8*o - 6. Let d be q(6). Suppose -5*x - 4 = d. Let t be x/5 - (-36)/15. Solve -v = 4 - t for v.
-2
Let w(d) = d**2 + 6*d. Let y be w(-8). Suppose -4 = 5*p - 0*p + n, 0 = 2*p + 4*n + y. Let q be 8 - (2 + 1)*1. Solve 0 = -p*z - q*z - 20 for z.
-4
Let y = 1 + 2. Let p = -38 + 63. Solve -y*g = 2*g + p for g.
-5
Let a = 18 - 25. Let m = -5 - a. Solve -9 = m*v + v for v.
-3
Suppose -5*k + 12 - 2 = 2*h, 2*k - 10 = -2*h. Solve 3*b + k = -3 for b.
-1
Let j(d) = d**3 + 9*d**2 - 10*d + 3. Let a be j(-10). Solve 0 = a*q - 7 - 5 for q.
4
Let a = -16 + 31. Suppose -4*h = -h - 4*d + 34, -5*h = 3*d + 47. Let q be h/a + (-14)/(-3). Solve 0 = q*i + 13 + 7 for i.
-5
Suppose 0 = 3*l + 2*h - 7 - 1, -2*l - 8 = -2*h. Suppose 0*c + c - 5 = 0. Suppose -c*m + 14 + 1 = l. Solve 0 = z - m*z - 8 for z.
-4
Let o = -19 + 32. Let k = o - 8. Solve k = -v + 1 for v.
-4
Let h(s) = s + 2. Let n be h(3). Solve 10 = n*w - 3*w for w.
5
Let g = -30 - -55. Solve 0*u = -5*u - g for u.
-5
Suppose -3*c - c = d + 12, d - 6 = 2*c. Solve -b = -d*b - 4 for b.
4
Let k(f) = -f**2 + 2*f - 1. Let w be k(2). Let r = w - -4. Suppose -i - 4 = -r*i. Solve 10 + i = -3*o for o.
-4
Let k = 3 - -6. Suppose -3*o + 6*o = k. Solve 3*h + 0 - o = 0 for h.
1
Let j be 2/(-5) - (-42)/5. Let c = 7 + -11. Let x = c + j. Solve x*p + 2 - 6 = 0 for p.
1
Let w(h) = 6*h - 1. Suppose 4*m + 4*g - 10 = 2, -5*m + 9 = 2*g. Let s be w(m). Let c be 1/(-3) + (-26)/(-6). Solve -s = c*x + 11 for x.
-4
Let u(v) = -3*v. Let f = 7 - 4. Suppose f*t = -t - 8. Let y be u(t). Solve -2*r - 12 = -y*r for r.
3
Let i be 2/3 + (-6)/9. Solve i = -0*m + m - 3 for m.
3
Suppose b - 5 = 13. Let h be (b + 0 + 2)/1. Let w be (5/2)/(2/h). Solve -4*g + w = g for g.
5
Let z = 29 + -27. Solve 0 + z = j for j.
2
Let a(j) = j**3 - j**2. Let d be a(2). Let l = d - 6. Let y be (1 - -1)*(-3)/l. Solve 0 = -y*u - 0*u + 12 for u.
4
Let m be (2 - 2) + 4 + -2. Solve m*r = 9 + 1 for r.
5
Suppose -4*k + 3 = -1. Let x(r) be the third derivative of r**4/12 - r**3/2 + r**2. Let z be x(4). Solve -s + z = k for s.
4
Let w(y) = 1. Let s(i) = -3*i. Let d(v) = s(v) + w(v). Let c be d(-1). Suppose -1 = l - 0*l, c*x - 4*l = 104. Solve 3*o + 2*o = -x for o.
-5
Suppose -2*m - 9 = -5*m. Suppose 0 = o + 2*a - 19, 2*o - 4*a + m = 33. Solve 1 = 4*d + o for d.
-4
Let w(m) = -3 + 4 + m - 1. Let o be w(4). Solve -5 = -o*z - 1 for z.
1
Suppose -17 = -h + 3. Solve 4*x = -0 + h for x.
5
Let m be (-290)/(-90) - (-4)/(-18) - 2. Solve 1 = -n - m for n.
-2
Let h(y) = y**2 - 4*y. Let f be h(4). Suppose f = -2*b - b + 9. Solve v - b*v + 10 = 0 for v.
5
Let p be (-2 - (0 + 2))/(-2). Suppose -5*s = p*t - 23, 6*s - 4*s - 18 = -3*t. Solve 0 = -s*g - g for g.
0
Let p = -65 - -66. Solve -3*g - 10 + p = 0 for g.
-3
Suppose -3*v = -2*z - 8*v + 19, 4*z + 2*v = 14. Solve -2*r - z = -8 for r.
3
Let v be 19 + -1 + 1 + -4. Let o(u) = u**3 - u + 1. Let k be o(1). Suppose 0 = -c + 2 + k. Solve 2*f + v = -c*f for f.
-3
Suppose 0 = h - 2*x - 2, 5*h = -0*x + 3*x + 3. Suppose 5*c = -u + 5, h = -c + 6*u - 2*u + 22. Solve -2*i - c = -3*i for i.
2
Suppose -3*p - h = 3*h + 16, 17 = -5*p + 3*h. Let x be (-4)/6 - 20/6. Let w = p - x. Solve w = -4*f + 5*f for f.
0
Let v = -32 + 37. Solve 6*c - v = c for c.
1
Suppose 0 = -5*x - y + 19, x - 5*y = -10*y - 1. Suppose p = -p + x. Solve s = 6 - p for s.
4
Let n(a) be the third derivative of -a**5/60 + 5*a**4/24 + 2*a**2. Let v be n(4). Solve -11 = -v*s + 1 for s.
3
Suppose -4*n - 5*m + 0*m = -28, -5*n + 22 = 3*m. Solve 0 = -3*y - 4 - n for y.
-2
Let g(c) = 11*c - 25. Let u be g(3). Solve u*i = 11*i for i.
0
Let r = 2 - 1. Solve h = -r + 6 for h.
5
Suppose 2*n - 5*n = 18. Let j = n - -11. Solve -9 = 2*v - j*v for v.
3
Let v = -6 + 3. Let d = 4 + v. Suppose -5 = -3*u + d. Solve -u*t + 0*t = 0 for t.
0
Let p = -2 + 1. Let n be 7 - p - (5 + -5). Solve a + 3*a - n = 0 for a.
2
Suppose 0 = -n + 3*h, -4*h + 0*h + 4 = -n. Solve -n - 3 = 5*l for l.
-3
Suppose -4*x + 10 = -2*t, 4*x - 5*t = -6*t + 7. Let i be 3/x*(-8)/(-6). Let c be 2/(-4) + i/4. Solve c = r - 5*r + 20 for r.
5
Suppose 0 = 2*n + 7*n - 90. Solve -5*z - n = 10 for z.
-4
Suppose 0 = -5*y + 3*y + 8. Suppose -3*z - 2*t = -2*z, 4*t = -y*z + 4. Suppose -3*o - 2*o = 10, 0 = -z*d - 5*o. Solve i - 16 = d*i for i.
-4
Suppose -5*o - 17 = 4*d, -16 + 4 = -d + 2*o. Solve s - d = -4 for s.
-2
Suppose 3*b = 5*b. Suppose -2*o - 2*o = 3*u - 20, b = -2*o + 10. Let m be -6 + 9 + (1 + 0 - -1). Solve u = m*y + 6 - 1 for y.
-1
Let m = -10 + 5. Let t be (-9)/m - (-2)/10. Solve -t = 3*u - u for u.
-1
Let w(h) = -h - 9. Let r be w(-10). Solve -3*t - r + 7 = 0 for t.
2
Let p(a) = -a - 7. Let h be p(-3). Let o be (6/7)/(h/(-56)). Let v = o + 3. Solve i + 2*i = -v for i.
-5
Let a(t) = -t**2 - 5*t + 7. Let p be -1 - 15/3 - 0. Let i be a(p). Solve 2 = 3*d - i for d.
1
Let g be (21/14)/((-3)/28). Let s be 35/g*(-8)/5. Suppose 4*l - 4 - s = 0. Solve -4*x = -10 - l for x.
3
Let g be 6/(-6) + (-16)/(-4). Solve 3 = -g*i - 3 for i.
-2
Let h(g) 