*n + 6, 0 = n. Solve a = -s - x*s + 9 for s.
3
Let s be (-2)/6 + (-28)/(-12). Let q be (s - 3)/((-6)/36). Solve 0 = y - q*y for y.
0
Let p = -27 - -7. Let m = 22 + p. Solve -2*v = m + 2 for v.
-2
Suppose -m + 1 = -2. Let z = m + 3. Solve 0*y - z = -3*y for y.
2
Let n = -13 + 25. Solve -n = -2*w + 6*w for w.
-3
Suppose 4 = a + 3. Let n be (-2)/((-1)/a) + 2. Let y be -10*(4 - (-9)/(-2)). Solve y*v - 11 = n for v.
3
Let i(d) = -d**2 - d + 3. Let m be i(0). Suppose m*l = 2*l. Solve -2*v - 1 - 3 = l for v.
-2
Let p = -25 - -29. Solve -2*q = -q + p for q.
-4
Let o(u) = u + 1. Let c be o(4). Suppose -3*s + 29 = -2*m, 2*s + 4*m + 9 = s. Let p = s - c. Solve 5*q = p*q + 9 for q.
3
Suppose 0 = -7*v - 4*v + 44. Solve 2*d + 2*d = v for d.
1
Let q be 3/((-3)/((-9)/3)). Suppose -2*w = -q*r + 5, -5 = -0*w + 4*w - 5*r. Suppose -w*c = -5*s + 15, 9 = 3*c + s + 2*s. Solve 5*u + 25 = -c for u.
-5
Suppose -3*v + u = -10 - 5, 3 = 3*v + 3*u. Let a(y) = -y + 3. Let r be a(v). Let j be (-4 + 3/(-3))/r. Solve -j = 4*m + m for m.
-1
Suppose -4*p + 22 = 3*y, 3*y = p + 5*y - 3. Solve -p*n = -3*n - 20 for n.
5
Suppose 20*r - 23*r = 0. Solve r*c = -c + 2 for c.
2
Let d = -1 + -2. Let t be -3 + (d/1 - -2). Let p = t - -10. Solve -2 + p = 2*z for z.
2
Let i(q) = -6*q - 2. Let x be i(-1). Solve 0 = x*w - 2 - 10 for w.
3
Suppose 0 = -8*c + 12*c - 4. Let p(s) = 3*s**3 + 1. Let t be p(c). Let g be (-26)/(-8) - (-3)/(-12). Solve -g = t*q + 13 for q.
-4
Let l(r) = -4*r + 3. Let c(b) = -5*b + 4. Let p(g) = 5*c(g) - 6*l(g). Let x be p(-3). Solve -u = x - 2 for u.
-3
Let x(n) be the second derivative of -n**3/6 - n**2 + n. Let r be x(-2). Suppose -5*i + 18 = -17. Solve -d + 2 - i = r for d.
-5
Suppose 0 = -7*h + 2*h. Let c(w) = -w**3 + w**2 - 2*w. Let s be c(h). Solve s*l = l - 3 for l.
3
Let d = -27 - -37. Solve -7*z = -2*z + d for z.
-2
Let g = 0 - -2. Suppose h - g*h + 4 = 0. Let p be h*(2 - (0 + -2)). Solve 7*f = 3*f + p for f.
4
Let s = -6 + 3. Let t(p) = -p - 5. Let x be t(s). Let j be x/(-4) + 14/4. Solve -j*f + 3 = -3*f for f.
3
Let n(z) = -z**2 + 9*z - 2. Let v be n(8). Let o be (45/(-10))/(v/(-8)). Solve 2*g = o*g - 4 for g.
1
Let q be 0/(-5) - (-2 + -7). Solve 3*o + 0 = q for o.
3
Let w be (24/30)/(2/30). Let b = -8 + w. Solve 0 = b*x - 3*x for x.
0
Suppose -7 = 10*k - 47. Solve 2 = -k*v - 2 for v.
-1
Suppose 0 = -a - x, -2*a = -5*a + 4*x + 14. Solve a*y + 2 = -2 for y.
-2
Let d(n) = n**2 + 6*n + 9. Let c be d(-6). Let g = -2 - -4. Let m(p) = 2*p - 1. Let r be m(g). Solve -6 = -r*y + c for y.
5
Suppose 3*i + 4*m + 2 = -1, -i - 11 = -2*m. Let a be (-18)/i + (-2)/(-5). Solve h + a*h = -25 for h.
-5
Let f be 26/169 - (306/(-39) - 0). Solve -f = 3*o - o for o.
-4
Let r(c) = -c**2 - 6*c + 7. Let l be r(-7). Suppose -3*f - 5*p - 16 = 0, l = -3*f - 6*p + 2*p - 11. Solve -4*d + 7 = f for d.
1
Suppose 5*b + 5 = -5*f, -2*f = -3*b + f + 9. Let d = b - -14. Solve 0 = -0*a + 3*a + d for a.
-5
Let h be 4/(-10) + 34/10. Suppose 15 = 3*g, -2*c + 1 = 2*c - h*g. Suppose 0 = -c*u + 8 - 0. Solve 0 = -u*z - 4 - 2 for z.
-3
Suppose 2 = -2*f + 4*f. Let l be (f - (-2 - -3)) + 14. Solve 1 + l = -3*w for w.
-5
Suppose 9*a + 2 = 10*a. Solve -w + 1 = a for w.
-1
Let z = 12 + -6. Suppose z*l + 25 = l. Let p = l - -9. Solve -k + p = 3 for k.
1
Let k(o) = o**3 - o + 9. Let c be k(0). Let h = -5 + c. Let n be -1 + (0 + 1)*1. Solve h + n = -4*g for g.
-1
Let q be (-6)/39 - (-9)/(234/56). Solve 3*u = q*u for u.
0
Let j = -22 - -37. Solve 0 = -5*g - 0*g + j for g.
3
Suppose -v - 30 - 25 = 3*k, 0 = 4*k + v + 73. Let u = k - -22. Solve x = u*x + 12 for x.
-4
Let n(q) = q**2 - 3*q - 4. Let o be n(4). Suppose o = -2*v - b + 17, 2*v + b = -v + 24. Solve 4*h - 9 - v = 0 for h.
4
Let d be -1 - 3*(-8)/6. Solve 0 = v + 2 + d for v.
-5
Let p(t) = -t**2 + 9*t + 3. Let c be p(9). Solve -c*h = 2*h for h.
0
Let d(p) = p + 1. Let j = 2 + -1. Let t be d(j). Solve 8 = t*r - 4*r for r.
-4
Suppose 7 = 5*z - 8. Let n(g) = -g**2 - 4*g + 6. Let f be n(-5). Solve -m - f = -z for m.
2
Let g be 2/(6/(0 - -3)). Let p be g + (-1 - -2) - -2. Solve p = -3*i + i for i.
-2
Let v be 3*(-15)/(-9)*3. Suppose -5*p = -8*i + 3*i + v, 2*p + 16 = -3*i. Let k be ((-4)/p)/((-8)/(-20)). Solve -k*s + 4 = 8 for s.
-2
Suppose -4*p = -3*p - 8. Suppose -2*o = 6 + p. Let d = o + 11. Solve -d*t = -9 + 1 for t.
2
Suppose 3*t - k = -0*t + 8, 0 = t - 3*k. Let p(q) = -q**2 + 4*q - 4. Let r be p(t). Let l = r + 4. Solve l*s - 14 = -2 for s.
4
Suppose j + 3*b + b = 26, 2*j + 3*b = 27. Let l be (-4)/j*(-15)/2. Solve -l*z = -10 + 25 for z.
-3
Let j(l) = l. Let b be (0 - (2 + -1))/(-1). Let q be j(b). Let t be (-2 - (q + -2)) + 5. Solve t*c + 4 = 2*c for c.
-2
Let a be -2 - (-3 + 2 + 1). Let s = 9 + a. Solve s*d - 2*d + 10 = 0 for d.
-2
Let c be ((-10)/20)/((-1)/(-8)). Let t be (0 + -1 + 0)*c. Solve 0 = 5*w - 4*w + t for w.
-4
Let q be 3/(-9) + 30/9. Let r(s) = s**2 - 2*s - 2. Let o be r(4). Let a be (2/o)/((-3)/(-18)). Solve -a*p - p = q for p.
-1
Suppose -5*h = -0*h + 3*t - 31, -25 = -3*h - 5*t. Solve -2*y = -7*y - h for y.
-1
Let s = 31 - 27. Solve -3*d - s = -1 for d.
-1
Let r = 2 + 1. Let d be (-12)/(-9)*r/1. Let i be 10/d - 2/(-4). Solve -2*j - i*j = -20 for j.
4
Suppose 2*d - 2 - 6 = v, -6 = d + 2*v. Solve -d - 1 = -k for k.
3
Let m(o) = o - 14. Let f be m(14). Solve f = h + 4 - 2 for h.
-2
Suppose -a + 9 = -5. Suppose 3*y = 3*o + 5*y - a, -4*o = 2*y - 18. Solve -3 = o*b - b for b.
-1
Let j(g) = -2*g - 5. Let u be j(-4). Suppose 4*z - u*z = 0. Suppose -5*l - 5 = -4*y + 1, -3*y - 3*l = -18. Solve z = -y*t - 0*t + 12 for t.
3
Let g(n) = -n - 5. Let d be g(-7). Suppose 0 = v - 2 - 3. Suppose -d*f + 7 = -v. Solve s + f - 2 = 0 for s.
-4
Let k(f) = f. Let j be k(2). Suppose 0 = -3*g - 3*h + 65 + 25, 30 = g - h. Let q = -17 + g. Solve -q + 3 = j*i for i.
-5
Suppose -17*t = -20*t + 6. Solve -t*x = 1 - 5 for x.
2
Let k = 76 - 72. Solve -4*c - k = -3*c for c.
-4
Let k(s) = -s**3 - s**2 - 3*s + 3. Let b be k(0). Solve -4*n - 1 = b for n.
-1
Suppose -2*z + 2*o + 10 = 2*z, -z + 5*o = 2. Let j(w) be the first derivative of -w**4/4 + 4*w**3/3 + w**2/2 - 3*w + 1. Let b be j(z). Solve t + 2*t = -b for t.
-3
Let p be (-34)/(-12) + (-1)/(-6). Let s = 1 - p. Let y be 6 - (s + 2) - 1. Solve -y*h - 10 = -0 for h.
-2
Suppose -d - 2*d = -l - 3, 0 = -5*l - 2*d - 49. Let j be (18/(-8))/(l/48). Suppose 0 = -5*n + n + j. Solve 0 = -2*w - 5 + n for w.
-1
Let t(s) = -s + 13. Let j be t(0). Suppose -2*x - 5*x = 0. Solve x = -2*d + j - 3 for d.
5
Let j be 0 - (1 - 1) - 0. Let p(o) = o**2 + 9*o - 9. Let k be p(-10). Solve j = z - 2*z - k for z.
-1
Let l = -9 - -12. Solve 1 = l*g - 4*g for g.
-1
Let w = -29 - -31. Solve -f = -0*f - w for f.
2
Suppose 0 = -t + 5*t - 8. Solve 0 = -0*o - t*o + 4 for o.
2
Let u be 4/24 + (-105)/(-18). Solve -4*t + 2 = -u for t.
2
Let f = 0 + -21. Let x = -18 - f. Solve -5 = -2*p + x for p.
4
Let h be (-117)/(-9) + 0 + 3. Suppose -10 = -2*a - t, 3*t - h = -t. Solve -2*i + 25 = a*i for i.
5
Suppose -42 - 48 = -4*z - 5*l, -76 = -4*z + 2*l. Let g be ((-24)/z)/(3/(-10)). Let y(p) = -2*p - 1. Let t be y(-5). Solve 0 = -t*i + g*i for i.
0
Suppose -8 = -j - r - 0*r, -3*r = j - 18. Let g = j + -7. Let l = g + 15. Solve -4*y = l + 9 for y.
-5
Suppose -3*n + 0*g = -5*g + 13, -2*g = 2. Let p = -1 - n. Solve -17 = -p*y + 8 for y.
5
Let a(i) = i**3 - 6*i**2 - 3*i - 23. Let l be a(7). Solve -3*d - 10 - l = 0 for d.
-5
Let a be (8/(-12))/(2/(-3)). Let p be a/(3/6) + 1. Solve p*d - d = 6 for d.
3
Suppose -z = -4*v - 6 + 19, -5*z + 3*v + 3 = 0. Suppose -5*c + 2 = 7. Let r = c - -3. Solve z*l = -r + 8 for l.
2
Let v(k) = 3*k + 2. Let o be v(6). Suppose 0 = 2*h + 2*h + o. Let d = h - -5. Solve d = 5*i - 5 for i.
1
Let a be ((-5 - -4) + 0)*-4. Solve -5*m = -9 + a for m.
1
Suppose 0*j = -5*j + 4*y + 16, 2*y = 2*j - 8. Suppose -i + j + 3 = 0. Suppose -21*c + 17*c = 3*m, m + 2*c = 0. Solve -3*g + m*g = i for g.
-1
Let i = -1 + 13. Suppose 0*x + i = 2*x. Solve 3*g = g + x for g.
3
Let j = 73 + -69. Solve c - 2*c = -j for c.
4
Suppose r + 80 = 5*q - r, 4*q + 3*r = 87. Suppose -3*y = 3 - q. Suppose 0 = 3*t + 24 - 57. Solve -y = -4*b + t for b.
4
Suppose -3*l - 378 = -4*r, -5*r + 2*l + 97 = -4*r. Suppose -5*y - 2 = r. Let a = y + 31. Solve -2*f - a = -6*f for f.
3
Let p = 51 - 43. So