*n - o*n = 0 for n.
0
Suppose -7*y = -8*y + 2. Suppose -4*x + 0 + 8 = 0. Solve y*g + x*g + 12 = 0 for g.
-3
Let x(b) = 2*b - 16. Let h be x(11). Suppose 0 = 2*p + 3*c + 33 - 6, 3*p + 4*c + 38 = 0. Let a be (-10)/(-2) - (p + h). Solve -a*l + 2 = -8 for l.
2
Let l = 21 - 17. Solve -l*x - 6 = -2*x for x.
-3
Let i = 32 + -16. Let k = i + -14. Solve -7*o + k*o = 10 for o.
-2
Let n be (-1)/2*-4 - -1. Let w = -2 - -1. Let p be w/(-4) + 3/(-12). Solve p = k - 1 + n for k.
-2
Suppose -2*x = 2*x - 60. Solve j - x = 6*j for j.
-3
Suppose 5*a = -a. Suppose -3*o = -0*o - 90. Let n be (-1)/(2*(-1)/o). Solve -n = 3*j - a*j for j.
-5
Suppose 4*q + 24 = 3*q. Let l be ((-2)/(-2))/((-6)/q). Solve 0 = -3*j + l*j + 3 for j.
-3
Suppose -3*a - 31 = 5. Let f = 21 + a. Let d be 4*(-3)/(-6*1). Solve d*s - f = 1 for s.
5
Suppose 40 = 4*d + 3*k, 4*k + 26 + 24 = 5*d. Solve 0 = -3*w + d + 2 for w.
4
Suppose -2*j - 3*h + 33 = -9, 5*j - 3*h = 147. Suppose -4*z + z = -j. Solve -3*a = 6 + z for a.
-5
Suppose -p + 0 + 4 = 0. Solve a + a = -p for a.
-2
Let z be (-26)/(-4) - 9/6. Solve h - 2*h = z for h.
-5
Let q = 4 - 7. Let n be (-8)/q*(-3)/(-2). Suppose -5*w + g + 0 - n = 0, -12 = 4*w - 3*g. Solve 0 = -w*d + 3*d + 6 for d.
-2
Suppose 0 = 2*q - 7*q. Suppose -o + 2*o = q. Suppose o*s - 2*s + 30 = 0. Solve -h = 2*h + s for h.
-5
Let d = -16 - -12. Let m be 3/d - 297/(-44). Solve -l = -m*l for l.
0
Suppose 3*l - 22 - 12 = -4*c, 5*l - 2*c = 22. Solve 2*u - 8 = l*u for u.
-2
Let y(m) = m + 3. Let t be y(-9). Let x = -4 - t. Solve 0 = -x*u - u for u.
0
Let f = 17 - 17. Solve 0 = -x - f*x for x.
0
Let l(r) = -r**3 - r**2 + 4*r + 2. Let o be l(-3). Let f(y) = y - 6. Let t be f(o). Solve t*h + h + 3 = 0 for h.
-1
Let b be 2/(-7) + 102/14. Let c(w) = w**3 - 5*w**2 - 11*w + 4. Let f be c(b). Suppose 54 = 3*g + 5*j + 16, 4*j = -5*g + 46. Solve d = g*d - f for d.
5
Let p(q) = -q**3 - q + 1. Let b be p(1). Let t = b - -1. Suppose 12 = o + y - 4*y, o = -3*y - 12. Solve t = -2*i - o*i for i.
0
Suppose 2*r = 8, -2*n + 3*r = r - 4. Let w(z) = -z**2 + 7*z - 7. Let l be w(5). Suppose -2*k = k. Solve l*o - n*o + 3 = k for o.
1
Suppose 0 = -2*q - m + 2, q + 7 = -5*m - 10. Suppose q*z + 2 = 14. Solve 7*w - z = 3*w for w.
1
Let s be (3 + 1 - -1) + 0. Suppose -3*q - q + 60 = 0. Suppose -s + q = 2*m. Solve -m*j - 20 = -0*j for j.
-4
Let o be ((-4)/(-2))/((-1)/3). Let i = -2 - o. Solve -4*z + 2*z = -i for z.
2
Let g(b) = -b**3 - 11*b**2 - b - 8. Let r = 23 + -34. Let m be g(r). Suppose -4*n = -m*n - 4. Solve 0*d - 4 = n*d for d.
-1
Suppose 50 + 45 = 5*y + 4*z, -4*z - 25 = -3*y. Solve -y = -10*k + 5*k for k.
3
Suppose -3*q + 2*q = 0. Solve q*m - 2 = -2*m for m.
1
Let v = -1 + 1. Let x = v + -1. Let p(a) = -3*a + 1. Let t be p(x). Solve t*y - 5 = 15 for y.
5
Let p = -11 + 14. Let c be -5*(3 + (-12)/p). Let r = -1 + 6. Solve -r = -c*q - 25 for q.
-4
Let f be -4 - 1/(1 + -2)*6. Solve -3*y = -f*y - 2 for y.
2
Let k be 60/25 + (-6)/(-10). Suppose 5*y = -5*o, 5*y - 1 = -4*o - 0. Solve -y - 2 = -k*r for r.
1
Let d(t) = t + 9. Let c be d(-7). Let k = 2 + c. Let f = 0 - 0. Solve f = k*n - n - 12 for n.
4
Let i(r) = 4*r - 20. Let y be i(5). Solve y*c - c = -3 for c.
3
Let x(p) = p**3 - 9*p**2 + 5. Let f be x(9). Suppose 3*j = -0*j - f*b + 19, 0 = j + 3*b - 9. Solve j = -2*t + 5*t for t.
1
Let x(g) be the first derivative of -g**4/4 - 4*g**3/3 + g**2/2 + 5*g + 1. Let n be x(-4). Suppose 5*z + n = 11. Solve -z*u + 5 + 3 = 0 for u.
4
Let v(h) = -h + 3. Let k be v(5). Let s(m) = -m**3 - m**2 + 2. Let j be s(k). Let g = -6 + 10. Solve 0 = -4*z + j*z + g for z.
-2
Let b be -4 + 2 + (-1 - 7). Let v be (-3)/15 + (-32)/b. Suppose 38 - 2 = v*c - 5*j, 13 = 4*c + 5*j. Solve 5*u + c = -13 for u.
-4
Let l be 1/2 + 3/(-6). Suppose l = f + f. Suppose f*x = -3*x + 21. Solve x*m - 2*m = 15 for m.
3
Let j be ((-4)/6)/((-2)/9). Let b = j + -1. Solve 0*f = b*f - 6 for f.
3
Let d(c) be the first derivative of c**3/3 + 7*c**2/2 + 4*c - 1. Let t be d(-7). Suppose -2*z - l = -12, l + 3*l + t = 5*z. Solve -u = z*u for u.
0
Let c = 8 - 2. Suppose r = c*r + 25, 13 = -3*z - 5*r. Solve h + 3 = z for h.
1
Suppose -3*s - 3*c + 2 = -7, -5*c + 15 = 4*s. Suppose -18 = -3*r + 3*v, s*v = r + 2*v. Suppose -5*m + 4 = 2*l, 5*m + l + 6 = r*l. Solve -1 = t - m*t for t.
-1
Suppose 19*x - 22*x = 0. Solve x = -4*l - 13 + 1 for l.
-3
Let n be (1/2)/((-1)/(-4)). Let f be -1*(0 + 4 + -4). Solve g - n + f = 0 for g.
2
Let f(z) = 4*z**2 - 3 - 2*z**2 - z**2 - 5*z. Let n be f(6). Solve 18 - n = 5*l for l.
3
Let r = -100 - -106. Solve b = -b + r for b.
3
Let c = -14 - -14. Solve r + c*r = -3 for r.
-3
Suppose -2*r + 39 + 17 = 0. Let t = r - 25. Let n be (3/(-2))/(2/(-12)). Solve 0 = t*x - 0 + n for x.
-3
Suppose -2*b - 2 = -5*i + 2, -4*b = -5*i - 2. Solve -1 = 3*y + i for y.
-1
Suppose -5*w = 3*g - 38, w = 5*g + 18 - 100. Let k = -11 + g. Solve -3*z + k + 4 = 0 for z.
3
Suppose 0 = 4*f - 3 - 5. Solve b + f*b - 9 = 0 for b.
3
Suppose -5*x + 3 = -7. Suppose -x*q + 4*j - 2 = -3*q, -q - 5*j + 2 = 0. Suppose 4*m - 74 = d - 4*d, 0 = 5*m + 4*d - 92. Solve q*h = -3*h + m for h.
4
Let v = 11 + -9. Solve -2*i - 16 = v*i for i.
-4
Suppose -m - 7*g = -2*g - 2, m - 2 = -2*g. Solve 0 = -5*i + m*i + 15 for i.
5
Suppose 2*m - 68 = -2*m. Let k = -14 + m. Solve 7 = 2*j - k for j.
5
Let c be 5/(-15) + 23/(-3). Let n(x) = x**2 + 7*x - 5. Let p be n(c). Solve m - 4*m - p = 0 for m.
-1
Suppose 0 = 3*x - 5*t + 17, -22 = -2*x - 0*t - 5*t. Solve 0 = -h - 0*h + x for h.
1
Let w be (-19)/(-4) - 6/(-24). Solve 2*r = w*r - 3 for r.
1
Let x(y) = 9*y. Let n be x(2). Suppose 2*j - n = 4*j. Let d = -4 - j. Solve 0 = d*z - 2 - 3 for z.
1
Suppose -2*s - 7 = -7. Solve 0 = -z + 5 - s for z.
5
Let c be 5/2*(20/(-25))/(-1). Solve -q - 2 - c = 0 for q.
-4
Let i = -8 - -11. Solve -5 = -4*z + i*z for z.
5
Suppose 2*g = -g. Let x(l) = 2*l. Let j be x(g). Solve j*t - 16 = 4*t for t.
-4
Let m(h) = h + 8. Let n be m(-7). Solve q - n = 2*q for q.
-1
Let a be 52/6 - (-2)/6. Suppose 0 = -3*o + a. Solve 2*d - 5 = o*d for d.
-5
Suppose 3*g + 2*d + 24 = -d, -2 = 4*g - 2*d. Let a be 1/(g/6)*-2. Suppose 0 = -r - a*r. Solve r = -l + 3*l - 10 for l.
5
Suppose 5*i - 2*i = 0. Suppose -b - 2*b + 3 = i. Let g be b + (-2 - 0) - -3. Solve -g*s - 3 - 1 = 0 for s.
-2
Suppose -14 - 10 = -4*p. Solve 2*f + 0 = -p for f.
-3
Let m be 1 - (-2 - (-4)/4). Suppose k - m*k + 7 = 3*q, 0 = -k - 5*q + 1. Solve -w + k = 3*w for w.
4
Let v(w) = -5*w. Let b be v(-4). Let t = -12 + b. Solve 2*q + 0*q = -t for q.
-4
Suppose -10 - 6 = -f. Solve 0 = 3*z + z + f for z.
-4
Let a = 87 + -59. Solve 3 = 5*f + a for f.
-5
Let w = -29 - -32. Solve -w + 0 = -3*q for q.
1
Suppose -g - 2 = -3*g - 4*y, g - 5*y - 15 = 0. Suppose -4*a - c = -g*a - 1, -2*c = -a - 3. Suppose -z - a + 0 = j, 3*z + j = -1. Solve z*o + o = 0 for o.
0
Let p = 36 + -36. Solve 0 = j - p*j - 2 for j.
2
Suppose 3*o + 6 = -0*a + 2*a, -3*a + o + 2 = 0. Solve 0 = -a*q + q + 1 for q.
-1
Let p be ((-86)/(-30) - 2/(-15)) + -1. Solve -p*y = -4 - 4 for y.
4
Suppose 3*k - 4*k = -5*k. Solve k = 2*c + 2 for c.
-1
Let p = -64 - -64. Solve p = -2*g - 3*g for g.
0
Let b = 13 + -6. Let t(n) = -4*n + 23. Let p(m) = m - 6. Let f(k) = 9*p(k) + 2*t(k). Let d be f(11). Solve -b - d = 5*z for z.
-2
Let v(n) = -16*n. Let z be v(-2). Suppose 0 = 3*j - 7*j + z. Solve j*f = 3*f for f.
0
Let h(v) = -1 + 2*v**2 - 1 + 1. Let n be (2/6)/(2/(-6)). Let y be h(n). Solve l + 0 = -y for l.
-1
Let j = 9 + -12. Let c be 2/(j*(-6)/261). Solve -c = 5*v - 9 for v.
-4
Let m = -18 + 17. Let q = m - -1. Solve q*y = 4*y for y.
0
Suppose -2 = 4*j + 2*g, j + g = 6*j - 8. Suppose 5*o = -3*k + 15, 4*k - 3*k + 2*o = 5. Solve -16 = -k*t - j for t.
3
Suppose y + 9 = 5. Let l be y - -4 - -1 - -4. Solve -4*u - u - l = 0 for u.
-1
Let u = -19 + 22. Solve 0 = 3*z + u + 12 for z.
-5
Let c = -63 + 66. Solve c*x = -x + 20 for x.
5
Let b(s) = 3*s - 3. Let h be b(2). Let g = 34 - 16. Suppose 4*j = -j - 4*l + 3, 3*j = h*l + g. Solve -3*t = -j - 6 for t.
3
Let i = 22 + -2. Suppose 0*b + i = 4*b. Solve -9 = -b*l + 11 for l.
4
Let a(i) = -i**2 + 2*i. Let q be a(2). Suppose g = -q*j - 3*j + 13, g - 9 = -2*j. Solve j*y = -0*y - 16 for y.
-4
Suppose -7*d = -10*d. Solve d = n + 3*n + 12 for n.
-3
Let n be ((-2)/(-4))/(1/24). Let y = -14 + 18. Suppos