- k*j. Solve -j = 2*p + 2*p for p.
-2
Let c = 0 + -14. Let z = 24 + c. Solve -2*i + 2 - z = 0 for i.
-4
Let m be 0*(-1)/3 - 0. Solve m = 6*w - 2*w for w.
0
Let z = 27 - 26. Solve 5*o = -6 + z for o.
-1
Let i = 40 + -35. Solve 20 = -i*v - 5 for v.
-5
Let l(r) = -3*r**3 + 3*r**2 - 3*r + 2. Let h(w) = 10*w**3 - 10*w**2 + 10*w - 7. Let i(s) = -2*h(s) - 7*l(s). Let k be i(1). Solve c - k = -6 for c.
-5
Suppose 2*i = -4*j + 4, j - 1 = -2*i - 3*i. Let x be 16/(-10)*(-20)/8. Suppose 0 = -2*m + x. Solve m = -h - j for h.
-3
Let r(h) = -2 + 0 - h**3 + 0 - 3*h - 3*h**2. Let v be r(-2). Solve 4*c = -v*c for c.
0
Suppose 0 = 4*n + l - 18, -4*l + 9 = 4*n - 3. Let b = -16 - -11. Let h = b - -5. Solve -m + n = -h*m for m.
5
Suppose 14*m - 10 = 18. Solve 0 = m*v + 8 for v.
-4
Let x(o) = 2*o**2 + o - 1. Let q be x(2). Let i = 13 - q. Let u be (1/2)/(7/112). Solve -2*t + u = -i*t for t.
-4
Let s(x) = x**3 - 7*x**2 + 3*x + 1. Let q be s(5). Let b(a) = -a**2 - 11*a - 5. Let j be b(-14). Let h = q - j. Solve -4 = -3*d - h for d.
-3
Suppose 6*f = -2*f. Solve f = 5*y - 3*y for y.
0
Let z = 0 - -3. Let j be (-3)/(-2)*4/z. Solve j*y + 2 = y for y.
-2
Let x(l) = -3*l**2 - l - 2. Let t(b) = -16*b**2 - 6*b - 11. Let z(m) = 2*t(m) - 11*x(m). Let y be z(2). Solve y + 1 = 3*a for a.
1
Let r be (-15)/(1/((-2)/3)). Let t(s) = s + 2. Let w be t(0). Solve w*y + r = -0*y for y.
-5
Let r = -17 + 32. Let f = 0 + 2. Solve -f*c + r = 3*c for c.
3
Let v(l) = -l - 5*l**2 - l**3 - 2 + 7 + 2*l**3. Let m be v(5). Solve -5*t - 5 = -m*t for t.
-1
Let g(t) = -t**3 + 6*t**2 - 5*t + 8. Let i be g(5). Solve 6*v = 2*v - i for v.
-2
Suppose k = 5*k - 4. Solve p + k = -2 for p.
-3
Let l(r) = -9*r**3 + 5*r**2 + 5*r + 5. Let d(m) = -26*m**3 + 14*m**2 + 14*m + 14. Let c(n) = 4*d(n) - 11*l(n). Let t be c(-1). Solve 4*s - 2 = -t for s.
-1
Let f(a) = 2*a**2 - 5*a + 2. Let b be f(3). Suppose b*l - 2 - 8 = 0. Solve -5*p + l*p = 9 for p.
-3
Let j be ((-2)/3*1)/(6/(-27)). Solve 0 = -5*l + j*l + 2 for l.
1
Let y(z) = z**2 + 5*z - 3. Let g be y(-6). Let u be 5 + 0 + (-6)/g. Solve 2 - u = i for i.
-1
Suppose 0*p = -p. Suppose -z + 2*z - 20 = p. Let b = z + -9. Solve 3*v - 2 = -b for v.
-3
Suppose 0 = -5*z + 2*s - 5, 3*s = -5*z - 0*z + 20. Suppose -5*f - 2 = -6*f. Solve f*w - 7 + z = 0 for w.
3
Let a(i) = -i + 10. Let h be a(7). Suppose h*d = -d - 12. Let r be 4 + ((-9)/(-3))/d. Solve 2*g = -r + 7 for g.
2
Let x(f) = f - 20. Let h be x(14). Let z be (-1 + 7)*(-2)/h. Solve -a - z*a = 6 for a.
-2
Let d(n) = -2*n - 8. Let v be d(-7). Solve -g = 2*g + v for g.
-2
Let h = -7 + 14. Suppose 2*d = -4*a - 16, -5*a = 3*d + 1 + 20. Let t be d*(1 + h/(-2)). Solve i + t = 6*i for i.
1
Let f be (-1)/(2/7 - (-22)/(-28)). Solve -v + 1 = -f for v.
3
Let g(z) = -z**2 + 9*z - 10. Let o be g(7). Suppose -5*h + o*q + 59 = q, q - 47 = -5*h. Let x = h + 5. Solve 5*t = 2*t - x for t.
-5
Suppose 270 = 2*u + 3*u. Let z be (-2)/9 - (-120)/u. Solve -y + 3 = -z*y for y.
-3
Let i(z) = -z**3 + z - 8. Let v be i(0). Let n = v + 10. Solve 0 = j - 0 - n for j.
2
Suppose -5*p - 2*d + 17 = 2*d, 0 = 2*p - 2*d + 4. Solve 0 = s - p + 3 for s.
-2
Suppose k - 5*d - 13 = 0, d - 2*d = -2*k + 17. Let b = 8 + k. Suppose -3*q + y = -b, -q + 0*q + y + 6 = 0. Solve 5*t - q = -0 for t.
1
Suppose -5*s - 9 = 5*v - 2*v, -2*s = 6. Solve 0 = 2*g + v*g + 20 for g.
-5
Let n(c) = -c + 4. Let q be n(1). Solve -3 - 9 = q*g for g.
-4
Suppose 0 = -t + 6*t. Suppose -j + t = -3. Solve -j*q + 15 = -0*q for q.
5
Let n(w) = -2*w**2 + 3*w. Let s be n(2). Let p be (6/(-9))/(s/6). Solve -5*g = -p - 3 for g.
1
Let f = 44 - 44. Solve -3*y - 3 - 6 = f for y.
-3
Suppose -26*p + 52 = -21*p - 2*o, -p + 9 = o. Let r = -3 + 13. Solve 5*g - r = p*g for g.
-2
Suppose 4*o + 3 = -5*y - 1, -2*o = 4*y + 2. Suppose y*b = -5*b. Suppose 0*n - 2*n + 14 = b. Solve 4*j - 1 = n for j.
2
Suppose 0 = 4*m + 10 - 2, 2*j + 5*m = -4. Suppose 2*w = 4*w. Suppose 0 = -2*v - 2*s + 6, -v + s - 7 = -4*v. Solve -p + j*p - v = w for p.
1
Let j(q) = 19*q - 8*q - 8*q - 2. Let k be j(1). Solve 4*c - k = -5 for c.
-1
Let l be (2/(-3))/((-1)/3). Suppose -o = 5*k - 48, 44 = 4*k + o - 3*o. Suppose 2*h + 3*y = -y - k, -4 = y. Solve 9 - h = l*x for x.
3
Let j = -45 - -48. Solve u = -2 + j for u.
1
Let l = 23 + -23. Solve 5*d = -l*d for d.
0
Let u be ((-84)/(-30))/(2/10). Solve 3*y + 1 = -u for y.
-5
Let t(i) be the first derivative of i**4/4 - 2*i**3/3 + i**2/2 - i - 1. Let s be t(2). Let r be (-46)/(-6) + s/3. Solve 3*k = r*k for k.
0
Suppose 0 = 2*d - 4 - 4. Suppose -d*s = 2*y - 78, 0*s + 93 = 4*s - y. Solve -4*r + s = 6 for r.
4
Suppose -3 - 19 = -2*j - k, -4*k = -3*j + 11. Let o = j + -8. Solve -a = -0*a - o for a.
1
Let w be (0 - (2 - 0)) + -9. Let a = w + 11. Solve a = 2*g - g - 1 for g.
1
Let b = -116 - -129. Solve -3 = 2*r - b for r.
5
Let x be (6 - 144/(-6))*2/6. Solve -s + x = 4*s for s.
2
Let t be 12*((-33)/9 - -4). Solve 12 = -2*z + t for z.
-4
Let u be 115/20 + (-2)/(-8). Suppose -2*d = -u*d. Solve 2*c + d + 6 = 0 for c.
-3
Let z(n) = -n**3 - 14*n**2 - 14*n - 11. Let k be z(-13). Suppose -s = -3*d - 10, k*s - 4 = 2*d - 4*d. Solve -s*j + 2*j = 4 for j.
-2
Let a be -1 + 10/4 - 1/2. Let o = 1 + -1. Suppose 0 = 2*p + x - 5, 4*p + o = 5*x + 3. Solve -p*w = -1 - a for w.
1
Let v(f) be the third derivative of f**4/24 + 2*f**3/3 - 3*f**2. Let t be v(-4). Suppose 0 = -3*h - t + 3. Solve -1 = g + h for g.
-2
Let f(y) = -y**3 + 7*y**2 - 8*y + 5. Let h be f(5). Suppose 2*w = 8 + 12. Solve -5*u = -h - w for u.
5
Suppose -2*b = q - 10, 3*b - 4*q = 1 - 8. Solve b*u = 1 + 11 for u.
4
Let r = -5 + 9. Let m be 9/(-3) + (11 - 3). Solve -m*q + r = -q for q.
1
Suppose 0 = -5*a - 0*a + 20. Suppose -a*z = z. Let d = z - -3. Solve -2*v = -5*v - d for v.
-1
Let r(p) = p + 18. Suppose -35 = 3*v + 10. Let a be r(v). Solve 0*g - 3*g + a = 0 for g.
1
Let q(b) = b**2 + 4*b - 7. Let t be q(-5). Suppose 5*x = -3*a + 2*x, 3*a + x - 2 = 0. Let o be a*(-2 + 0)/t. Solve 8 = -3*i - o for i.
-3
Let f(c) = -c**2 - 3*c + 2. Let g be f(-4). Let r = g - -27. Solve 0*h = -5*h + r for h.
5
Suppose -5 - 44 = -4*j + 3*t, -5*j + 4*t + 60 = 0. Let r = j - 10. Suppose 0 = b + h + 2, -h + 3*h + r = 0. Solve k - 1 = b for k.
2
Let m = 45 - 37. Solve 3*i = i - m for i.
-4
Suppose 3*w - 7*w + 2*s - 10 = 0, -s - 7 = 2*w. Let y = w - -11. Solve o - y = -o for o.
4
Let g(s) = s**2 + s - 6. Let h be g(4). Suppose 0 = 4*u - h - 10. Solve 0 = -3*k + k - u for k.
-3
Suppose 5*r + 6 = 21. Suppose -r*m = -6*m + 6. Solve 0*t + 10 = -m*t for t.
-5
Suppose c - 18 + 6 = 4*m, 0 = 3*m - 2*c + 14. Let n be m/(-7) + (-82)/(-7). Solve -f = 3*f - n for f.
3
Let t be 3/12 + 51/4. Let w = -12 + t. Solve 6 - w = -p for p.
-5
Let h(j) = -13*j - 34. Let v(p) = -9*p - 23. Let x(d) = 5*h(d) - 7*v(d). Let r be x(-6). Solve 0*c = r*c for c.
0
Suppose 0 = -5*f - 0*d - 5*d + 25, 4*f - 13 = 3*d. Let c = 7 - 10. Let q be 3 + c + f + -1. Solve -x = q*x for x.
0
Let u(q) = -2*q - 5. Let r be u(-4). Solve -2*z = z - r for z.
1
Let c(i) = 2*i**2 + 9*i + 1. Let m be c(-5). Solve 3*f = m*f for f.
0
Let w(t) = -t**2 + 9*t + 3. Let k be w(9). Suppose 3 = 2*g + c, -2*g + k*c - 5 = 4. Solve 4*y - 5*y + 5 = g for y.
5
Let p = -21 + 74. Let c be 3 + p/(-4 - -3). Let d = c - -70. Solve 3*s + d = -s for s.
-5
Suppose 3*v = 2*h + 25, 3*v - 7*v + 5*h = -45. Let t be (0*3/(-12))/(-2). Suppose -v*f + 0 + 50 = t. Solve -z = -6*z + f for z.
2
Suppose 5*n - 30 = 15. Suppose -2*o + 20 = 5*k, -k + 3*k - 9 = -o. Suppose 0 = -k*x + 10 + 4. Solve -4*j = -x*j - n for j.
-3
Let a be (-4)/8*(-1 - -1). Suppose -4*b - 2*x - 14 = a, 4*b - 3*x = 2*x - 35. Let o = b - -10. Solve -3*d = 2*d - o for d.
1
Let g be -1*5*(2 + -3). Let d = -7 - -11. Solve c - d = g*c for c.
-1
Suppose -3*i + 28 = 2*y + 2*i, 0 = -4*y + 5*i - 4. Solve -y = -l - 3 for l.
1
Let a be (-2 - 2)/(3/(-6)). Suppose -4*q = -4*g + 12, -3*g + 6 = -2*q + 2. Let z = g + a. Solve 4 + z = 5*k for k.
2
Suppose 0 = -3*i + 6. Suppose 5*j + 5 = 45. Suppose -3*t - 5 + j = 0. Solve -i*q + 3 = t for q.
1
Let f(m) = m**3 + 10*m**2 + 9*m + 4. Let b be f(-9). Suppose -b*r - 50 = -3*y - 2*y, 0 = 4*y - 5*r - 49. Solve 14 = 4*c - y for c.
5
Suppose -45 = -4*x + x. Suppose -2*b = -5*b + x. Solve 10 = -5*d - b for d.
-3
Suppose -5*b + 36 + 4 = 3*m, 3*b - 4*m = -5. Let q be (