 - 6 = -2*u. Solve -u = -x - 0*x for x.
2
Let q(d) = -d**2 - 5*d + 2. Let v be (10/8)/((-1)/4). Let o be q(v). Suppose -o*a + 14 = -6. Solve r = -r + a for r.
5
Let k be ((-6)/3)/4*-4. Let a(p) = 5*p**3 + p - 4*p**3 + p**k + 0 + 1. Let f be a(0). Solve j = -f + 3 for j.
2
Let y(p) = p + 6. Let k be y(6). Solve 3*v - k = -0*v for v.
4
Suppose 2*w + r - 6 = 0, -w = -0*w + 5*r - 3. Solve -2*c - 4 = -w*c for c.
4
Suppose 0*r = 5*r. Let c(p) = 2*p**2. Let f be c(-1). Suppose 4*q - 3*x = 2*x - 1, f*q - 2*x = r. Solve -2*m + 9 = -q for m.
5
Suppose 2*r - 3 + 7 = 0. Let k = 5 + r. Let q(o) = -o**3 - 4*o**2 - 2*o - 1. Let j be q(-4). Solve -s - j = -k for s.
-4
Suppose 0 - 3 = -n. Let h = -4 + 2. Let y(j) = -j**3 - 2*j**2 - 2*j - 1. Let k be y(h). Solve 0*r + k = -n*r for r.
-1
Let z(g) = 23*g - 5. Let v be z(2). Suppose 3*n - 2*h - v = 0, n - 3*n + 18 = h. Solve -5*f + 9 = -n for f.
4
Let z(t) = 2*t**2. Let m be z(1). Let l be 3/(-6) - m/4. Let d = l + 5. Solve 3*a = 2*a - d for a.
-4
Let a = 2 - -3. Suppose 0*v = -v + a. Solve 3*x - v*x - 10 = 0 for x.
-5
Let k = 34 - 13. Let b be 6/k - 78/(-21). Suppose -4*u + b = -3*u. Solve u*i - 20 = -i for i.
4
Let o be (2/(-7))/((-9)/126). Suppose -o*x + 16 = 4*b, -4*x + 4*b + 0 = -8. Solve -g = -2*g + x for g.
3
Let o = 5 - 2. Let n = o + 9. Let a be (-2)/7 + n/42. Solve a = -5*d + 17 + 3 for d.
4
Let f be 1*-2 + (31 - 17). Let s = f + -12. Solve s = -5*y + 3*y - 4 for y.
-2
Let v(a) = a - 16. Let b be v(18). Solve 0 = -3*f + b + 1 for f.
1
Let d(a) be the third derivative of -a**6/24 - a**5/60 + 2*a**2. Let m be d(1). Let b = 6 + m. Solve 4*k - 16 = -b for k.
4
Let v = 3 + 0. Suppose 5*d - 20 = 2*k, 5*k = -d + 2 + 2. Solve -d*y + v*y + 4 = 0 for y.
4
Let p(o) = -o + 9. Let c be p(3). Solve -2*x + c*x = 4 for x.
1
Let s = 9 - 7. Suppose 0 = s*u + 4 + 10. Let b = u + 9. Solve -b*g - 15 = g for g.
-5
Let p(v) be the first derivative of -v**2 - 3*v - 1. Let s be p(-4). Solve -k - 16 = -s*k for k.
4
Let q = 53 - 53. Solve 8 + q = 4*v for v.
2
Let f(x) = -x**2 + 9*x - 6. Let j be f(8). Let i(o) = o**3 - 3*o**2 + o + 2. Let k be i(j). Solve -3*m - 6 = -k*m for m.
-2
Let k(t) = t**2 + 9*t + 24. Let c be k(-5). Solve 1 + 3 = -c*g for g.
-1
Let x be 8/(-10)*(-25)/10. Let p = 9 + -6. Suppose -p*t + 24 = -0*t. Solve -t = -2*f - x*f for f.
2
Let d(p) = -2*p**2 - 20*p + 5. Let c be d(-10). Solve 2*q + 15 = c for q.
-5
Let f(x) = x**2 - 3*x - 5. Let s be f(5). Let r(h) = -h**2 + 9*h + 4. Let p be r(9). Let z be p - 1 - (s - 2). Solve i + 1 = -z*i for i.
-1
Let h(i) be the second derivative of -4*i**2 + 1/6*i**3 + 4*i + 0. Let w be h(8). Solve -3*z + 0*z = w for z.
0
Suppose -11*z - 4*y + 20 = -7*z, -3*z = 5*y - 17. Solve 4*d - 3*d + z = 0 for d.
-4
Let v(l) = -2*l + 9. Let t be v(3). Solve -2*y + t*y = -2 for y.
-2
Let k(v) = -4*v**3 + 6 + 4*v**3 + 6*v**2 - v**3. Let y be k(6). Solve -y = 3*d - 6*d for d.
2
Suppose -3*d - 8 = -7*d. Solve -i = d - 1 for i.
-1
Suppose -5*f - 2 + 12 = 0. Solve -a - a = f for a.
-1
Let s(x) = -x + 13. Let v be s(9). Let q = v - -2. Let t be 2/q + 15/9. Solve 0 = t*c + 4 for c.
-2
Let y(c) = -c**2 + 2*c. Let b be 0 + (-1)/(3/(-6)). Suppose -b = -5*t + h + 6, 0 = 3*h - 6. Let o be y(t). Solve -1 = u - o for u.
-1
Let m = 30 - 22. Solve -m*s + 6*s = 6 for s.
-3
Let j(r) = 2*r**2 + 8*r - 6. Let x be j(-5). Solve 0 = 5*v - 11 - x for v.
3
Suppose u = 3*r - 9, 2*r + u = -0*u + 1. Solve r*a = -2*a - 4 for a.
-1
Let s(u) = 8 + 7 + 3*u**2 + 2*u - 16. Let f be s(1). Solve n = -5 + f for n.
-1
Let v be (-6)/(2 - 3)*1. Suppose 0*l - 3*z = -4*l + 2, 4*l = z + 6. Let w = 4 - 2. Solve -l*c + w = v for c.
-2
Let f be 1*(0 + 5)*1. Suppose k = 2*g + 12, 2*g = -f*k + 3*g + 33. Solve 5*i + k = -19 for i.
-5
Let l(y) = y**3 + 3*y**2 + 2. Let t be l(-3). Solve 5 - 11 = -t*n for n.
3
Let c(k) = -k**3 - 6*k**2 - 7*k - 7. Let a be c(-5). Let l(h) = -h**2 + 5*h + 7. Let f be l(5). Suppose -a*d = -2 - f. Solve -8 + d = 5*x for x.
-1
Suppose 7*q = 2*q + 60. Solve -5*x = -q - 13 for x.
5
Let p(z) = z**3 + 7*z**2 - 16*z + 18. Let u be p(-9). Solve u*l = l + 2 for l.
-2
Let q be 8/(-36)*-3*6. Solve -6*w + 6 = -q*w for w.
3
Let b(m) = -m**3 - 4*m**2 - m - 2. Let f be (-4)/(-24) - (-19)/(-6). Let w be (-15)/5*(-4)/f. Let p be b(w). Solve 4*y + 2 = -p for y.
-1
Suppose 6*x - x = -45. Let w be (-42)/x + 1/3. Solve -2 = -w*o - 7 for o.
-1
Let s be 21/2 - (-2)/(-4). Suppose -4*a = a - s. Suppose -3*m + 5*r = 0, -3*m = -5*m + 5*r. Solve 3*i - a*i + 2 = m for i.
-2
Suppose 24 = 11*g - 7*g. Solve 5 = g*h - h for h.
1
Let x = -3 - -8. Suppose x*w - 26 + 11 = 0. Solve 15 = -2*b - w*b for b.
-3
Let j(q) = -q**3 - 5*q**3 - 3*q + 0*q + 4*q. Let w be j(-1). Solve k = -4*k - w for k.
-1
Let g = 4 + 1. Suppose d + 15 = g*w + 2*d, 3*w = -2*d + 2. Solve w*o = o for o.
0
Suppose 5*d - 4*d - 10 = 0. Suppose -3*f - 3 = 0, -d - 3 = -4*x - 3*f. Solve 3 + 17 = -x*i for i.
-5
Let p(y) = -y**3 + 4*y**2 - 2*y. Let d(o) = o + 4. Let i(t) = t + 5. Let s be i(-7). Let k be d(s). Let a be p(k). Solve v - 9 = -a for v.
5
Let q = -2 + 6. Let p = q + -1. Suppose -4*y + 4*o + 12 = 0, -9 = p*y - 2*o + 5*o. Solve 3*f - 1 + 7 = y for f.
-2
Let z(s) = s + 9. Let d be z(-7). Solve d*a + 1 = 5 for a.
2
Let j be 4/12 - 2/6. Solve -2*d + j*d = 0 for d.
0
Suppose -2 = 6*o - 8*o. Solve -d + 2 = -o for d.
3
Let v = -9 + 13. Let p be (-14)/v*(-3 - -1). Solve 0 = -3*d + p*d - 12 for d.
3
Suppose 0 = -2*w + 6. Let r be (-25)/(-15) + 1/w. Solve r + 0 = x for x.
2
Let b = 7 + -4. Let y(n) = n + 6. Let d be y(-4). Solve b*o = -d*o for o.
0
Let k = -7 + 7. Let w be 3 - 1*k/2. Solve o = w*o for o.
0
Suppose 1 = -c + a, 0 = -3*a + 2*a + 1. Suppose 6 = -c*d + 3*d. Solve -2 = -3*i + d*i for i.
2
Let a = 10 - 8. Suppose 0 = 4*r + a - 10. Solve -r*z = z for z.
0
Let n(h) = -h - 4. Let o be n(-6). Suppose -4*t + 8 = 36. Let d(g) = g**3 + 8*g**2 + 8*g + 10. Let a be d(t). Solve a + o = -5*r for r.
-1
Let z(k) = -k**2. Let x(f) = -6*f**2 - 5*f - 3. Let s(n) = -x(n) + 5*z(n). Let d be s(-5). Solve -a = d*a for a.
0
Let s = -127 - -132. Solve 0*g + s = 5*g for g.
1
Suppose 12*o = 10*o - 4. Let l = o - -5. Solve -5*x + 22 = -l for x.
5
Suppose -4*r + 2*r = -18. Suppose -r*b = -5*b - 64. Solve 4 = 5*l - b for l.
4
Suppose 0 = -4*y + 3*y - 3, -5*j - 2*y - 21 = 0. Let a = 8 + j. Solve a*h - 2 = 3 for h.
1
Let i be (-2)/3 - 16/12*-2. Solve i*x - 3 - 1 = 0 for x.
2
Let k(y) = y**3 - y**2 + 3. Suppose 0 = -2*b + 3 + 1, -5*b = 3*o - 16. Let c = o + -2. Let r be k(c). Solve 8 = r*l + 20 for l.
-4
Let n be -3*(26/(-6) - -4). Let c(y) = 11*y**3 - 2*y**2 + y. Let o be c(n). Solve s - o = 6*s for s.
-2
Suppose -4*c + 23 = 3*u, u - 17 = -4*u + 4*c. Solve 2*a - 6 = u*a for a.
-2
Let x = -11 + 17. Solve 0 = -3*q - x for q.
-2
Let x be ((-8)/(-2))/4 + 5. Solve c + c + x = 0 for c.
-3
Let i be 2/(-14) + 308/98. Solve -3*o + 9 = -i for o.
4
Suppose 19 = 5*f - 5*a - 1, 3*a = -5*f - 12. Suppose -2*c - 2*i = 4, 15 + 4 = -2*c - 5*i. Suppose 5*q = -h - 7, -h = 2*h - c*q - 15. Solve 0 = b - h - f for b.
3
Let w = -111 + 111. Solve w = a - 5*a + 4 for a.
1
Let x = -9 + 12. Suppose -s = 3*q + 2*q - 29, q = -x*s + 3. Solve -5*a = 9 + q for a.
-3
Let s be (-7 + 5)*4/2. Let q be (s - -9) + 2/(-2). Solve -v = -q*v for v.
0
Let p be -1 + 0 - (-54)/3. Let q = 7 + 0. Solve p = -5*c + q for c.
-2
Let b(n) = 3*n**3 - 3*n**2 + 3*n - 4. Let k(p) = -4*p**3 + 3*p**2 - 3*p + 5. Let w(v) = 5*b(v) + 4*k(v). Let g = 3 - 7. Let f be w(g). Solve x = f*x + 15 for x.
-5
Let l(s) = -2 + 21*s + 3 + 5*s**2 - 12*s - 3*s**2. Let p be l(-6). Solve 3*z = 4 - p for z.
-5
Suppose 2*w - 6 - 2 = 0. Let q be (-2)/(-4) - (-78)/4. Solve -s = w*s - q for s.
4
Suppose -2*f + 31 - 11 = 0. Let b = 21 - f. Solve b = -5*d + 1 for d.
-2
Suppose 5*o - 3*v = 49, -3*o = -5*o + 3*v + 25. Let a = 8 - o. Solve -4*q + 12 + a = 0 for q.
3
Let h = -8 + 11. Suppose -3*q = -h*r + 18, -6*r - q + 9 = -4*r. Suppose 6*s = 7*s - r. Solve 0 = 5*u + s - 20 for u.
3
Let n = 146 - 101. Let j be (-1)/2 + n/10. Let g = -13 - -25. Solve -g = 8*v - j*v for v.
-3
Suppose 7*c - 3*c - 20 = 0. Solve -2*o = -c*o for o.
0
Let q(h) = -h**2 + 3*h. Let s(x) = -x**3 - 6*x**2 - 2*x - 9. Let z be s(-6). Let b be q(z). Let l be (-8 + 3)*(b + -1). Solve l + 4 = 3*t for t.
3
Let w be (-3)/