
Let z(v) = -v**3 + 9*v**2 + 4. Let a = 12 - 6. Let i be 63/a + 3/(-2). Let b be z(i). Solve 3*n + b = -2 for n.
-2
Let d(v) = v**2 + 27*v + 3. Let r be d(-27). Solve -5*m - r - 17 = 0 for m.
-4
Suppose 6*n = 11*n. Solve -2*m = -n*m for m.
0
Let b be 68/16 - 2/8. Let x be 2/b*(-1 - -7). Suppose -x*q + 2*q - 8 = -4*v, -v - 4 = -q. Solve 0 = 5*p - 2 - q for p.
2
Suppose -2*d = 5*r, 4*d - 2*r = 2*d. Let z be (-4)/12 - 136/(-3). Suppose 5*c - 45 = -5*u, 0 = 3*c + 2*c + 4*u - z. Solve d*b + 3*b = c for b.
3
Let z(d) = -3*d - 26. Let x(p) = -p - 9. Let j(w) = 8*x(w) - 3*z(w). Suppose m + 2*a = -8, -2*a - 6 = 2. Let f be j(m). Solve -f - 4 = -5*h for h.
2
Let y be 84/24*(-12)/(-14). Suppose t = -t - 4*m - 8, 0 = y*t + 2*m. Solve 0 = -2*w + t - 0 for w.
1
Let b = -21 - -25. Solve b*p + 0 = 20 for p.
5
Suppose 20*b + 6 = 22*b. Let c = 70 - 40. Suppose -b*p = -39 - c. Solve 7 = -4*m + p for m.
4
Let v(y) = y**3 - 6*y**2 + 6*y - 2. Let f be v(5). Solve 4*h = f*h for h.
0
Let a(m) = m**3 + 5*m**2 - 6*m + 7. Let d be a(-6). Let f = d + -2. Solve f*x + 1 + 4 = 0 for x.
-1
Suppose 0 = 3*o - 4*o + 3. Solve 3*z + o + 12 = 0 for z.
-5
Suppose -11 = -2*t + 3. Suppose -5*x + 25 = 5*n, 5*x - t = n + 2*x. Solve l - n - 1 = 0 for l.
3
Let n be (-2 + -1)*(-1 - 0). Suppose -n*k = k - 16. Let p = k - 2. Solve 5*s = p*s for s.
0
Suppose -2*k = -3 - 11. Solve -3*i - 8 = k for i.
-5
Let p = 0 - -8. Solve 4*o = p*o + 4 for o.
-1
Suppose 3*r + 24 = 7*r + 4*w, -3*r + 2*w + 33 = 0. Let m = 13 - r. Solve 5*c + 6 = -m for c.
-2
Suppose 4*n = -2*l + 29 + 25, -3*n + 4*l = -24. Solve -2*p = p + n for p.
-4
Suppose -5*n + 72 = 4*n. Solve -n = -7*h + 5*h for h.
4
Suppose 19 - 19 = -6*s. Solve s = -2*z - 4 + 10 for z.
3
Suppose -i = -6*i + 45. Let a = i - 7. Let j(q) = q**2 - q. Let h be j(a). Solve -4 = -h*o - 14 for o.
-5
Let d(o) = -o**2 + o. Let v be ((-1)/3)/(1/3). Let u be d(v). Let q be 6/(-6*u/8). Solve q*b = 8*b for b.
0
Suppose j - 13 = -13. Solve j = -3*i + i - 2 for i.
-1
Let j = 26 + -22. Solve 0*m - 8 = -j*m for m.
2
Let s(n) = -n**2 + 7*n + 5. Let h be s(7). Let q(o) = o - 3. Let l be q(h). Solve -l*d - 4 = -6 for d.
1
Let n = 6 + -2. Suppose n = -2*l, -14 = -5*b + 6*l - 4*l. Solve 15 = j + b*j for j.
5
Let l = -40 + 40. Solve 2*s - 3*s - 4 = l for s.
-4
Let s(u) = -4*u - 2. Let t be s(-2). Suppose -d + t*d - 15 = 0. Solve 0 = d*z - 2*z for z.
0
Let a be 0 - 2 - (3 + -10). Let w(y) = 2*y - 9. Let t be w(6). Solve 0 = t*b - 20 + a for b.
5
Suppose -x + 2*t = -4, -x + 3*t + 1 = -4. Solve -2*i - x = -i for i.
-2
Let m(q) = -8*q - 1. Suppose 2*j + 3*j = 5. Let y be m(j). Let f = -5 - y. Solve -f = 2*a - 12 for a.
4
Let i(w) = -w - 7. Let f be i(-16). Solve 2*u = -u + f for u.
3
Let u = -15 - -27. Solve 0 = -6*y + 3*y - u for y.
-4
Suppose 1 + 0 = u + 4*i, -2*i = 2*u - 2. Suppose -3*d - u = 2*a + 2, 4*d = -5*a + 3. Suppose 15 = 2*j + a*j. Solve -3*y - j = -2*y for y.
-3
Let g = -31 - -43. Let n be (-2)/5 - g/(-5). Solve 0 = -6*o + n*o + 4 for o.
1
Let m = -141 - -148. Solve m = 5*u + 22 for u.
-3
Let n be 0/(-1 + -2) + 0. Suppose n*t - 2*t = -8. Solve -t*s + s = 0 for s.
0
Let x(r) be the third derivative of r**5/60 + r**4/24 - 2*r**3/3 + r**2. Let f be x(3). Suppose -k + 3*k - f = 0. Solve 0 = -k*l - 19 + 7 for l.
-3
Suppose -4*i - 4*a + 84 = 0, 4*i - 5*a + 14 - 89 = 0. Suppose i + 5 = -3*l + 2*h, -3*l + 4*h = 29. Let b = l + 15. Solve 3 = r + b for r.
-5
Let q be 4/(-10) - (-124)/10. Solve 0 = -2*p - p - q for p.
-4
Let l = -1 + 5. Suppose -8*z = -l*z. Solve -3*y - 6 + 3 = z for y.
-1
Let k(y) = -y**3 - 7*y**2 + 6. Let q be k(-7). Solve z - q*z = -20 for z.
4
Suppose -4 = -13*f + 22. Let p(m) = m**2 + 2*m - 6. Let u be p(-5). Solve z + f*z = -u for z.
-3
Let l = -6 + 9. Solve n + l*n = -4 for n.
-1
Let n be -2 + (1 - (13 - 0)). Let y(a) = -35*a**3 - 2*a**2 - 2*a - 1. Let p be y(-1). Let m = n + p. Solve -m = 4*h - 0 for h.
-5
Suppose -18 = d - 5*z, -5*d = -2*z + z + 18. Let w = d - -11. Solve -w = -f + 3*f for f.
-4
Suppose 0 = 5*w + 2*d - 30, 5*d - 16 = w + d. Let q(f) = f**3 - 3*f**2 - 4*f + 3. Let a be q(w). Let c be (-34)/(-6) + (-2)/a. Solve 4*r = c*r - 3 for r.
3
Let h be -2 + 1 - (-6 - -5). Suppose h = 4*k - 0*k - 16. Solve -2*p = -p - k for p.
4
Suppose 4*n = -3*r + 81, 6*n - 54 = -2*r + 3*n. Suppose 4*g + 13 = -r. Let y be 20/g + (-1 - -6). Solve y + 2 = -5*f for f.
-1
Let u(q) = -q**3 + q**2 + 66. Let c be u(0). Let z = -38 + c. Solve 0 = 4*h + 8 - z for h.
5
Suppose 4*s = 3*s. Let a = s - -6. Solve -a*u + u = 0 for u.
0
Let l = 46 + -46. Solve 0 = -3*z - l - 3 for z.
-1
Let z(r) = r - 11. Let y be z(5). Let a = y - -3. Let c be (-1 + a/2)*-2. Solve 4 = -c*i - 6 for i.
-2
Let i(j) = j**3 + j**2 - 2*j + 2. Suppose -x + 5 = 0, -2*g + 2*x - 1 = g. Let o = 5 - g. Let p be i(o). Solve p*h = 5*h for h.
0
Suppose 13 = 5*a + 3. Suppose f = 3*b - 9, -2*f = a*b + b - 27. Solve 2*h = f*h + 4 for h.
-1
Let x(j) = -j - 1. Let k be x(4). Let z = 8 + k. Suppose -4*g + 3*g - z*o + 7 = 0, 2*g - 3*o - 5 = 0. Solve c = -c + g for c.
2
Let s(c) = -c**3 - 10*c**2 + 11*c. Let k be s(-11). Solve -3 = o - k*o for o.
-3
Let c be 16/6*15/20. Solve -7 = -c*t + 3 for t.
5
Let o(s) = -5*s - 8. Let g be o(-3). Solve -4*l = 13 + g for l.
-5
Let y be 6*((-10)/(-4) + -2). Let v be 2 - 3/(y/(-2)). Suppose -d = d - x - 10, -2*d - 2*x = -v. Solve -d*m = -m for m.
0
Suppose -5*w - x = -34, -4*w + 2*x + 11 + 19 = 0. Solve w*i - 3*i = 0 for i.
0
Let u(j) = j**2 + 5*j - 4. Let l(i) = i**2 + 6*i + 1. Suppose -15 = 3*h - 3. Let d be l(h). Let s be u(d). Solve 0 = 6*v - 4*v + s for v.
-5
Let m be -2*(2 - 8 - 0). Let d = -9 + m. Suppose 0 = 2*i + q - 2, -q + 12 = -4*q. Solve -i*s = d + 12 for s.
-5
Suppose 5*i + 0 - 15 = 0. Suppose q + 20 = i*q. Solve -8*v - q = -3*v for v.
-2
Let l be -10 + 7 - 1*-6. Solve -5 - 4 = l*c for c.
-3
Let i be 30/9 + 6/9. Suppose 0*p = -i*p. Solve p*x + 3*x - 3 = 0 for x.
1
Let h = -32 - -47. Solve 8*t = 3*t - h for t.
-3
Suppose 0*p = p - 2. Let w(a) = -a**3 - 7*a**2 + 9*a + 12. Let f be w(-8). Suppose 31 = 3*j + f. Solve 0 = -p*l + j + 1 for l.
5
Let r be (-1)/(-5) + 9793/35. Let j be (-1)/3 - r/(-21). Solve 2*l + 3 = j for l.
5
Let p = 114 + -102. Solve 0 = 5*k - 32 + p for k.
4
Let z(m) = m. Suppose 0 = -k + 4*k - 15. Let q be z(k). Suppose 35 = 3*x - 5*g, 2*g + 36 = q*x + 3. Solve -x*b + 0*b + 25 = 0 for b.
5
Suppose -c - 38 = -2*y, -3*c = 4*y + c - 64. Solve 3 = 5*b + y for b.
-3
Suppose -4*l = -3*l - 5. Let r(g) = -g**2 + 7*g - 4. Let a be r(l). Solve 4 = 2*k - a for k.
5
Let u(d) = d**2 + 6*d - 7. Let o be u(-7). Suppose -2*i + i = -2. Let v be (i - -2) + o/1. Solve v*n - 4 = 6*n for n.
-2
Suppose 0 = -3*i + i - 6. Let k = 5 + i. Solve -u - k = -3 for u.
1
Suppose 0 = -5*f - 3*t + 36, -2*f = -4*t + 19 - 49. Solve -5*d + 1 = -f for d.
2
Let n be (63/(-18))/((-2)/4). Let h = n + -7. Solve h = 2*p - 4*p - 6 for p.
-3
Let r(m) = -m**3 - 5*m**2 - 5*m - 1. Let n = 0 + -4. Let h be r(n). Solve 5 = -4*g - h for g.
-2
Let g(h) = -h - 3. Let f be g(-7). Suppose 5*c - f*r - 33 - 8 = 0, 2*c = r + 14. Solve 0 = -0*q + q - c for q.
5
Suppose k - 1 - 11 = 0. Solve -k - 13 = 5*w for w.
-5
Suppose 3*w - 22 = 14. Solve -5*y + 8 = -w for y.
4
Let t = -62 + 67. Suppose 7*z - 2*z - 25 = 0. Suppose 0*q - z = -t*q. Solve 0*u + q = u for u.
1
Let h(j) = j**3 - 11*j**2 + j - 6. Let v be h(11). Solve 0*r = r - v for r.
5
Suppose 5*t - 36 = 3*b - 6*b, -3*t + 33 = -2*b. Solve 5*w - t - 6 = 0 for w.
3
Let w be 1/(4 - 3) + -1. Solve s + 3 = -w*s for s.
-3
Let k be 5/(-15) - 2/(-4 + -2). Solve k = -y - 5 + 1 for y.
-4
Suppose f - 43 = -41. Solve 4*n - 10 = -f for n.
2
Let r be 1/((-1 - 2)/(-24)). Suppose r*y = 3*y + 10. Suppose 3*a = -y*a. Solve 0 = -5*m - a*m - 10 for m.
-2
Let z(a) = -a - 2. Let m be z(-6). Suppose -2*h + 8 = m*t, -5*t + 22 = h + 6. Solve o - t*o = -9 for o.
3
Let w(u) = u**2 + 9*u + 5. Let d be w(-9). Suppose t = -0*l + 4*l + 4, -5*t - d = 5*l. Let p = 3 + t. Solve -p*z = -6*z for z.
0
Suppose 0 = 15*b - 12*b. Solve -3*o = -b*o + 15 for o.
-5
Let n = 5 + -2. Suppose 0 = -2*a - 2*f - 4, a - 2*a - 14 = -n*f. Let r = a + 7. Solve -d = r*d + 3 for d.
-1
Suppose 5 = 4*q + 2*x - 3*x, 0 = -4*q + 3*x + 7. Solve q = -c - 1 for c.
-2
Suppose 5*c - 7 = -3*u + 5*u, 2 = 3*c + u. Let t = 