-1
Let n = -3 - -4. Let v = 1 + n. Let w be -3 + 34/12 + 1/6. Solve w = -o - o - v for o.
-1
Let n(r) = 15*r - 15. Let w(i) = -7*i + 7. Let p(h) = 6*n(h) + 13*w(h). Let t be p(-2). Let s be (-2)/t - 6/(-9). Solve 0 = -4*f - s + 4 for f.
1
Let z be -2 - 1*(-4 + -3). Solve 6*d + z = d for d.
-1
Suppose 3*j + 15 = 8*j. Let k be (3/12)/((-78)/40 + 2). Solve k*p - 4 = j*p for p.
2
Let u = 2 - 1. Suppose 19 - u = 3*y. Suppose -5*l + 14 - 4 = 0. Solve -l*d - y = -0*d for d.
-3
Let d = 12 + -4. Suppose 0 = 10*c - 6*c - d. Solve 0*z + c = z for z.
2
Let d(g) = 3 + 0*g - 3 - 3 + g. Let i be d(3). Suppose 2*q + 11 - 3 = 0, -u - 3*q - 10 = 0. Solve i*j + 6 = u*j for j.
3
Let c(i) = i**3 + 4*i**2. Let f be c(-4). Suppose -4*k - 5*p = -6*p + 12, 5*p = f. Let j = k + 7. Solve 7*x = j*x for x.
0
Let c be (4/6)/((-52)/(-24) + -2). Solve 4 + c = -4*j for j.
-2
Suppose 0 = -3*b - 5*d + 4*d - 9, 2*b - 4*d = 8. Let x(n) = 3*n - 16. Let r be x(7). Let t = b + r. Solve 2*a = -t*a - 15 for a.
-3
Let q be 6*(3 + 21/(-9)). Solve a = q*a + 15 for a.
-5
Let v(j) = -2*j. Let u = -4 + 3. Let t be v(u). Suppose -3*w + w - t*o = -26, 5*o = -3*w + 49. Solve 2*y - w = -2 for y.
3
Suppose 38 = -5*u + 3. Let q = u - -4. Let b be 2*q/6 - -1. Solve b = -s + 1 - 2 for s.
-1
Let k = 17 + -14. Solve 0 = -k*i + 1 - 4 for i.
-1
Let z = 4 - 3. Let w(k) = -k**2 + 3*k - 1. Let n be w(z). Suppose 0 = -s + 1 + n. Solve 3*i + 4 = s*i for i.
-4
Suppose -o = 3*o + 20, 0 = -2*m - 3*o - 15. Solve m*w = 2*w for w.
0
Suppose -3 = 3*b + 3. Let c be (15/b)/(-5)*2. Suppose 2*i - 1 = c. Solve -4*m = -i*m - 10 for m.
5
Let d(c) = -8*c**2 - 6*c - 6*c**3 + 8 + 1 + 5*c**3. Let v be d(-7). Let n = v + -1. Solve -4*w - n + 21 = 0 for w.
5
Suppose 0 = -i - z + 3*z, -2*i + 3*z = 0. Suppose 0 = 2*q - 8*q + 18. Solve -q*v - 3 + 12 = i for v.
3
Suppose l = 2*n + 7, 8 = 5*l + 3*n - 1. Suppose -4*o + 5 = -l. Suppose -d + 2*s = -3, s = -o*d - s + 30. Solve d = -3*g + 2 for g.
-3
Suppose -4*i - 24 = -w, -4*w = -3*i - 53 + 9. Suppose -k = -4*k + 39. Suppose 5*m + 2*f = k, -2*m + 10 = m - f. Solve 0 = -m*g + w*g + 20 for g.
-4
Suppose -2*g + 14 = 3*s, 0 = -2*g + 2*s - 4*s + 10. Solve c - 1 = g for c.
2
Let b(p) = -3*p. Let z(i) = i. Let v(t) = 2*b(t) + 7*z(t). Let s be v(5). Solve 20 - s = -5*n for n.
-3
Let d(l) = -l + 6. Let m be d(5). Let z be 0 + m/(1 + -2). Let o be (0/1)/(3 + z). Solve 0 = -5*c - o*c for c.
0
Suppose 5*s + 2*j - 14 = 0, 2*j + 3*j - 8 = s. Suppose 5 = -4*p - s*r + 7*r, 4 = 3*p + 4*r. Suppose 0 = -p*f - 2*f + 6. Solve -5 = -2*g + f*g for g.
-5
Suppose -2*v = -1 - 7. Suppose -16 = -v*i - 0*i. Solve 3 = i*a - 5 for a.
2
Suppose -2 = -2*d + d. Suppose 4*l = 1 + 7. Suppose 0*z + 4*z - 16 = 0. Solve l*s - d = -z for s.
-1
Suppose -2*r + 2 = -t - 2, 0 = -2*r - 3*t + 12. Solve r*z - 2 = 2*z for z.
2
Let g = 3 + -9. Let l = g + 11. Suppose -2*y - 12 = -l*f, y + 4 = 4*f - 2*y. Solve -j - f = j for j.
-2
Let g be ((-6)/(-12))/((-2)/16). Let b be (-85)/(-4) - g/(-16). Solve -3*p - 9 = -b for p.
4
Let u = -1 + 7. Let r = u + -4. Solve -r*j + 16 = 2*j for j.
4
Let w be (3/(-6) - -1)*0. Solve w*c = -c - 1 for c.
-1
Suppose -2*u + 6 = -18. Let f be -4*((-9)/u - 1). Let h = f + -5. Solve -4 = x - h*x for x.
4
Let z = -8 + 7. Let p be (z + 2)/(-2)*0. Solve 2*j = -p*j - 6 for j.
-3
Let b = 133 - 129. Solve 2 + b = 2*m for m.
3
Suppose 4*w = -0 + 4. Let v be 1/6 + w/(-6). Solve 3*j - 3 + v = 0 for j.
1
Let k(r) = -r**2 - 10*r - 15. Let q be k(-7). Solve -2*g - 20 = -q*g for g.
5
Let j(r) = -r**3 + 9*r**2 + 6*r + 7. Let k(f) = -f + 1. Let q(s) = j(s) - 4*k(s). Let a be q(10). Solve 3*h - 12 + a = 0 for h.
3
Let u(q) = 12*q. Let g be u(1). Suppose 2*o = g - 2. Solve 0 = o*a + 1 - 6 for a.
1
Suppose 0 = -2*g + 2 - 0. Suppose -4*i = 3*m + g, 2 - 12 = -2*i + 2*m. Suppose w - c - 4 = -0*w, -4*w + 32 = 4*c. Solve -i = -4*z - w for z.
-1
Suppose -2*w = 2*w - 4. Suppose 0*a - 2*a = -2. Let k be (-2)/w - (-4)/a. Solve -k*g + 3*g + 3 = 0 for g.
-3
Suppose -4*p + 3*a - 22 = a, -16 = p - 4*a. Let n = 7 + p. Solve 0 = n*h + 4 + 8 for h.
-4
Let s = 23 + -8. Solve -2*m - s = -7*m for m.
3
Suppose 0 = 2*x - 12 - 2. Let w = x - -6. Solve 5*m - 2 = w for m.
3
Let t(l) = -2*l + 5. Let i be t(-5). Suppose 7*z - 4*z = i. Solve 0 = -z*x - 3 - 7 for x.
-2
Let a be 1/(-4) - (-54)/24. Suppose -g = -a*g + 2. Solve s - 2 = g*s for s.
-2
Let d = 8 - 8. Suppose 5*i - 5 = -d*i. Solve z + 0*z = -i for z.
-1
Let n be 6/(4/8 - -1). Solve -2*o + n + 4 = 0 for o.
4
Suppose -6*s + 16 = 4. Solve 0*k + k - s = 0 for k.
2
Let o = -19 + -1. Let q be o/(-3)*6/5. Suppose 5*c - q - 2 = 0. Solve -c = 2*u + 6 for u.
-4
Suppose 6 + 0 = 3*f. Suppose -i - f*c + c = 4, -5*i = -5*c - 30. Solve -2*t - i = -5 for t.
2
Suppose -12 + 36 = -3*h. Let k = -5 - h. Suppose -6*o + 2*p + 12 = -3*o, 2*o + k*p = -5. Solve 0 = -m - 0 - o for m.
-2
Suppose g + 6*g = 21. Solve 0 = -g*m + 4 + 2 for m.
2
Suppose v = -4*n - 3, 5*v - 1 = -2*n - 16. Let o = 0 - v. Suppose 3*j = 9 + o. Solve -j*b + b + 6 = 0 for b.
2
Suppose 2*y = -3*y + 15. Suppose -4*d = 4*k - 7 + 3, k = -4. Let c(v) = 8*v**3 - v**2 + v. Let s be c(1). Solve y*u = d*u - s for u.
4
Let g = 2 - 0. Let y(a) = a. Let w(s) = -4*s + 4. Let u(j) = -w(j) - 3*y(j). Let v be u(7). Solve -g*c + v = -7 for c.
5
Let q(o) = o**3 - 13*o**2 - 13*o - 5. Let h be q(14). Let d = h - 4. Solve d*t + 15 - 5 = 0 for t.
-2
Let t(a) be the first derivative of a**3/3 - 3*a**2 - 4*a - 2. Let o be t(7). Solve -k + 1 + o = 0 for k.
4
Let h(v) = 2*v**3 - 3*v**2 - 6*v + 6. Let f be h(4). Suppose -3*o + f = -5*u - 2*o, -5*u = 5*o + 80. Let j be 0 - (2 + u + -2). Solve -j = -5*m + 12 for m.
5
Let y = -34 - -11. Let k = 27 + y. Let a(n) = n**3 - 3*n**2 + n - 2. Let x be a(3). Solve x = -3*v + k for v.
1
Let k = -5 + 3. Let d be 0 - -9 - (2 + k). Suppose -d = -y - 0*j + 3*j, 5*j + 27 = 3*y. Solve -7 = -4*g + y for g.
4
Suppose -5*p - 7 = -4*r, 2*p + 2*r - 8 = -0*r. Suppose -10 = k + 4*d, -9 = -k + 2*d - p. Solve 0*g = -k*g + 2 for g.
1
Let j(p) = 4 - 2*p**2 + 4*p**2 - 3*p**2 + 5*p + 3*p. Let n be j(8). Solve n*d + 10 - 2 = 0 for d.
-2
Let y(n) = -n + 7. Let b be y(5). Let l(i) = 12 - 3 - i - 2*i. Let o be l(3). Solve -b*g = -o - 2 for g.
1
Let d(l) = -l + 12. Let i be d(9). Solve i = 3*u - 6 for u.
3
Suppose 0 = 2*y - 3*y + 2. Solve -y*o - 5 = -o for o.
-5
Suppose -2*d + 84 = -5*d. Let t = d + 44. Solve 0*m - 4*m = t for m.
-4
Suppose 0 = 2*d - 1 - 15. Let n = d + -5. Solve -9 = n*k - 24 for k.
5
Suppose -s + 20 = -4*n, s + 2*s - n - 16 = 0. Solve -z = -0*z + s for z.
-4
Suppose 4*l - t + 18 = t, -2*l + 4*t = 0. Let r be 0/(7/(21/l)). Let u be 15*(-2 - 8/(-3)). Solve -n - n + u = r for n.
5
Let n = 3 - 3. Suppose n = -t + 3*t - 2. Let h be 5 + -2 + t + 0. Solve h*x - 4 = 4 for x.
2
Let x(a) = 11*a**3 + a - 2. Let p be x(2). Let t be 10/15 - p/6. Let j = -6 - t. Solve -j = -3*v - 2 for v.
2
Let t = -3 + 5. Suppose 0*l = t*l. Solve -2*w + l*w = -2 for w.
1
Let o(b) = 2*b + 2. Let v be o(-4). Let f(q) = -2*q**2 - 8*q + 5. Let x be f(v). Let l = -4 - x. Solve -l = t + 4*t for t.
-3
Let h(r) = -r**2 + 10*r - 9. Let u be h(9). Solve -4*d + 3 + 9 = u for d.
3
Let z(k) = k**2 - 5. Let r be z(4). Suppose -2*c - o + r = 0, -3*c - 5*o = -14 - 20. Solve -2 = -c*w + 1 for w.
1
Let m be 2*(0 + 1)/1. Solve 0*q + m = -q for q.
-2
Let m(i) = i**2 + 7*i + 9. Let b be m(-6). Let r(w) = w + 10. Let c be r(-5). Solve b = -c*l + 13 for l.
2
Suppose -6*a + a = 0. Let j be 4/(1/(-4) + a). Let w be 4/(-12) + j/(-3). Solve -m = -w*m for m.
0
Let l be (-14)/35 - 2/(-5). Suppose -8 = 3*u - 2*b, -4*u - 2*b + 8 = -l*b. Solve u*j = -2*j for j.
0
Let c = 23 + -18. Solve -c + 25 = 5*l for l.
4
Suppose 0 = 4*n + s - 12, 3*n + 2*s = -3*s + 26. Solve 0*f + n*f = 6 for f.
3
Let j be 0/(-13)*-1*1. Solve 3*c - 8*c + 15 = j for c.
3
Let r(q) = -2*q - 8. Let v be r(-6). Let h be v/(-18) - 47/(-9). Let p = -21 + 26. Solve h*l - p = -0 for l.
1
Let u = 4 - -2. Suppose -8 = -4*m - 4*o - 0*o, -4*o = 0. Solve -m = -2*x - u for x.
-2
Suppose 0 = -2*q - q - k, 4*q + 2*k = 0. Solve q = 2*i + 1 + 1 for i.
-1
Let u(m) = -m**2 + 12*m - 25. Let w be u(9). Solve w*o + 2 = -2 for o.
-2
Suppose 3*s + 3*n = -3, -n = -3*s - s + 21. Suppose -r - 4*x + 46 = s*r, x = r - 2. Solve 0*y = 3*y - r for y.
2
Suppo