 = -p*k for k.
-1
Suppose 3*o = -4*x + 23, -4*o - 3 - 13 = -4*x. Solve 0 = -r - 5 + o for r.
-4
Let o = 18 + -15. Solve -22 = -5*t + o for t.
5
Suppose -16*c = -11*c. Let t be c + 22/(2/1). Solve -3*n = -t + 2 for n.
3
Let d be (0 - -1)/((-2)/(-22)). Let l be (-3 + d)*1/2. Let k be (4 - 0)*2/l. Solve -7*o + k*o = 0 for o.
0
Suppose -h - 3 = 2*g, g = 2*h - 3*g - 18. Suppose -5*j + 3*b = -27, b = -h*j - 3*b + 22. Solve j = -n - 2*n for n.
-2
Suppose 17 = 3*k + n - 15, 6 = 3*n. Let c = k - 6. Suppose -2*y + 4 = 4*a - c, 4*y = -3*a + 1. Solve -a*o = -0*o for o.
0
Suppose 0 = -3*n + 2*v + 35, 3*n + 2*v = 60 - 17. Suppose 0 = -u - 2*x + n, 0 = u - 5*u + 5*x - 13. Solve 0 = y + u*y for y.
0
Let j be (-3 - 3/(-1))/(-2). Suppose x + 2*x - 6 = j. Solve x*l = l - 3 for l.
-3
Let h(w) = 2*w + 27. Let s be h(-11). Suppose y - 12 = r, 2*y + 2*r - 42 = -2*r. Solve 2*b = s*b - y for b.
5
Let f(z) = -2*z + 1. Let r be f(-1). Let o(q) = q**3 - 4*q**2 + 5*q - 4. Let y be o(r). Solve -y*b + 4*b - 6 = 0 for b.
3
Let i = 46 - 42. Solve -2 = -i*s + 2 for s.
1
Let r(l) = -l + 9. Let j be ((-2)/2)/((-1)/6). Let z(p) = p**3 - 6*p**2 + p + 1. Let g be z(j). Let f be r(g). Solve 2*t = -6 - f for t.
-4
Suppose x + 52 = 14*x. Solve x*s = -4 + 24 for s.
5
Let r(q) be the third derivative of q**4/24 + 2*q**3 - 4*q**2. Let w be r(-7). Suppose w*t - 2 = 3. Solve -3*z - 11 - t = 0 for z.
-4
Let l be 16/6 - (-4)/(-6). Suppose -l*f + 11 = 3, -3*f + 21 = 3*v. Suppose -v*p = p. Solve p = 3*d + d + 20 for d.
-5
Let v(s) = s**3 - 4*s**2 - 7*s + 4. Let d be v(5). Let f be (-4)/(-10) + d/(-10). Let l = f - -5. Solve 4*j = 7*j + l for j.
-2
Suppose 5*x + 5*b = 0, 3*b + b + 14 = 3*x. Solve 0 = -x*q + 4*q + 10 for q.
-5
Let m(c) = -3*c**3 + 18*c**2 + 23*c - 4. Let n(v) = -v**3 + 6*v**2 + 8*v - 1. Let i(g) = 6*m(g) - 17*n(g). Let k be i(6). Solve 7*b - k = 2*b for b.
1
Let p be 10/(-4)*(-36)/45. Solve -1 = -p*q + 1 for q.
1
Let u be 3 + (-2 - 1 - -4). Suppose -2*z - u = -4*z. Solve -z*x - 5 = -1 for x.
-2
Let z(p) = p - 12*p + 25 - p**2 - 31. Let g be z(-9). Suppose -3*l = -0*l - g. Solve -3*r - l = -r for r.
-2
Let x(k) = k - 1. Let r be x(-4). Let q = r - -8. Solve 3*o - 2*o + q = 0 for o.
-3
Let b(p) = p**2 + 8*p + 9. Let u be b(-7). Let i be 8/2 - (-3)/3. Suppose c + i = u*c. Solve c*f - 4 = 6 for f.
2
Let t(d) = 7*d**2 + 3*d - 6*d**2 + d - 1. Suppose 0 = -b + 2, -2*b + 16 = -4*q - 4*b. Let s be t(q). Solve 4 = s*j - 8*j for j.
-1
Let c be (2 - 5) + 72/4. Solve -4*h - c = h for h.
-3
Let s be -3 + 6 + -1*3. Solve -2 + s = -2*o for o.
1
Suppose 0*h + 4*h = 0, -5*q + 65 = -2*h. Solve 4*k + q = 1 for k.
-3
Suppose 0 = 4*n - 21 + 5. Let x(y) = -y + 7. Let r be x(n). Solve 3 = r*p - 3 for p.
2
Suppose -7*n = -2*n - 15. Solve -n*t - 2*t = 20 for t.
-4
Suppose -2*r - r = 2*r. Solve -2*t = -r*t - 6 for t.
3
Suppose -3*f + 1 = -4*c + 2, -2*f = 2*c - 18. Solve -c*h - 16 = -4 for h.
-3
Let b(n) = -13*n + 4. Let g be b(-4). Suppose 1 = -5*a - k + g, -3*a + 3*k = -15. Let z be -2*-1*a/2. Solve -4 = 2*q - z for q.
3
Let w(m) = -m**3 - 10*m**2 + 11*m + 1. Let a be w(-11). Let r be ((-4)/6)/(a/(-3)). Solve -d - r*d = 0 for d.
0
Let t = -5 - -3. Let y be t*(3 + -3 + -1). Solve y*f - 6 - 2 = 0 for f.
4
Suppose 0 = z - 0 - 1. Suppose -3*n - z = -19. Solve 2*j + 0*j = n for j.
3
Suppose 5*h + 17 = -k, 5*h + 33 - 7 = 2*k. Let w = -5 - -8. Suppose -w*q = q. Solve -3*n - k = -q for n.
-1
Let r(z) = 4*z**3 - 7*z**2 + 4*z + 10. Let w(k) = -11*k**3 + 21*k**2 - 12*k - 31. Let q(f) = -8*r(f) - 3*w(f). Let o be q(6). Solve 0 = 3*v - o - 8 for v.
3
Let g(c) = c**2 - 3*c - 7. Let a be g(6). Let s = a + -7. Suppose -25 = -5*x, -30 = -2*v - 0*x - s*x. Solve -v*t = -4*t for t.
0
Let g(u) = 3*u - 3. Let a be g(4). Suppose m + 14 - 18 = 0. Let s be m*(-4)/(-8) + -1. Solve -2*n + a = -s for n.
5
Let q = 10 - 9. Solve 5*b = 19 + q for b.
4
Suppose -l + 0*l - 10 = -o, -o = 4*l + 15. Solve 2*s - o*s = -3 for s.
1
Let o(y) = 2*y - 6. Let b be o(4). Solve -3 - b = 5*w for w.
-1
Suppose 3*s = 4*u - 2*u + 14, -4*u + 14 = s. Suppose -15*f + 13*f = -s. Solve 3*y - f = -6 for y.
-1
Let b = 123 - 120. Solve 0 = b*r - 10 - 5 for r.
5
Let g = 8 + -5. Let v = -11 - -13. Solve -a = v - g for a.
1
Let p be 60/(-50)*(-25)/2. Solve p = -4*d - 1 for d.
-4
Let x(q) = -q**2 + 4*q + 5. Let f be x(4). Let d(a) = a**2. Let v(i) = 5*i**2 + 1. Let m(g) = -6*d(g) + v(g). Let t be m(1). Solve t*z = z + f for z.
-5
Let b(n) = -n**3 + 6*n**2 + 3*n - 4. Let l be b(6). Solve -5*r = -l - 11 for r.
5
Suppose 0 = -4*k + k - 15, 3*w + 20 = -4*k. Let a = w + 15. Suppose 4*s = -s + a. Solve -3*v - s - 6 = 0 for v.
-3
Let k be -2 + 2/(-1) + 6. Solve k*w = 1 - 9 for w.
-4
Let l = -12 - -8. Let a be l + (-2)/(-1) - -2. Solve -4*x + 2 - 6 = a for x.
-1
Let x be (15/(-12))/((-2)/8). Suppose -23 = -x*w - 2*j + 3*j, 3*j - 11 = -w. Let v = -1 + w. Solve 3*n - v = -n for n.
1
Suppose -1 = 2*d + 1, 5*f = d + 21. Suppose -3*r - s - s - 8 = 0, -4*r + 12 = -3*s. Solve f*y + 15 + 1 = r for y.
-4
Suppose 5*z = 3*z + 14. Let v = z - 12. Let x be (-5)/(75/12)*v. Solve n - x*n = 6 for n.
-2
Suppose -7 = -3*m - 4. Let s = 4 - m. Solve s*p = -0 + 15 for p.
5
Let p be -9 + (-3 - (-12)/3). Let i = p - -8. Solve 0 = 4*k - 4 - i for k.
1
Let p = 5 - 1. Suppose -5*f - 5*b = 0, -2*f - 2 = 2*b + b. Suppose f*j + j - 36 = 0. Solve -p*x = -8*x - j for x.
-3
Let q(w) = -2*w + 10. Let j be q(4). Solve g + 3 = j*g for g.
3
Let d(o) = o**2 - 9*o + 6. Let v(l) = -l + 1. Let a be -6 - (-2 + (1 - 2)). Let q(m) = a*v(m) + d(m). Let k be q(6). Solve k*t = t for t.
0
Let c = -27 + 42. Let a = c + 0. Solve 6*o + a = o for o.
-3
Let s = 5 - -6. Let f = s - 8. Suppose -f*r = -6*r. Solve -y = -r*y + 4 for y.
-4
Suppose -f + 2 + 0 = 0. Let z(l) = l**3 - l**2 - 2*l + 1. Let h be z(f). Let w = 1 + h. Solve -6*t = -w*t - 8 for t.
2
Suppose 3*a - 32 = a - 2*s, 0 = -5*a - 4*s + 84. Solve 6*m - m - a = 0 for m.
4
Suppose 0*x = j - 3*x - 3, 4*x - 3 = -j. Solve 3 + 9 = j*p for p.
4
Suppose -2 + 3 = w. Let t be (-2 + w)*(2 + -2). Suppose -5*l - 2*d = d - 6, -2*l - 5*d + 10 = t. Solve l = 3*a - a - 6 for a.
3
Let f(p) = -p**2 - 6. Let l be f(0). Let i = l - -3. Let m = 6 + i. Solve m*q = -2*q for q.
0
Let x(r) = r - 7. Let z be x(8). Let v be (z - 4)*2/(-3). Suppose 5*q = -5*o + 5, q - 3*q + 2 = -4*o. Solve -c + v*c - 4 = o for c.
4
Suppose -5*m - 2*k + 2 = 0, 5*m + k = -0*k + 6. Suppose -3*d + m*d = -7. Solve 0 = -4*i + d - 19 for i.
-3
Suppose 3*h + 93 = 102. Solve -h = 3*g - 6 for g.
1
Let g(m) = -m + 0 - m - 1. Let p be g(-1). Suppose p + 3 = 2*z. Solve y + 3 = -z*y for y.
-1
Let k = 31 - 19. Let f = -7 - 5. Let d = 17 + f. Solve m = d*m - k for m.
3
Suppose 0 = d + 13 - 23. Let w be 6/(-10) + 6/d. Solve -3*g + 0*g = w for g.
0
Suppose z - 6 = -z. Suppose 0*k = -z*k + n + 50, -2*k = 4*n - 10. Solve -3*b = -0*b + k for b.
-5
Let y = -66 + 82. Solve -4*o + y = 4 for o.
3
Suppose 59*v - 48 = 55*v. Solve 0 = -0*b + 4*b + v for b.
-3
Let a = 13 + -13. Solve a = 3*t - 7 + 1 for t.
2
Let b(h) = 2*h**2 + 9*h + 12. Let v be b(-5). Suppose 0 - v = -2*l - j, -3*j = -2*l + 29. Solve 0 = -3*g + 4 - l for g.
-2
Suppose b = -0*b. Let l be (-10)/4*(-8)/5. Suppose -2 = -l*x + 3*x. Solve x*d = -b*d - 8 for d.
-4
Suppose 3*m - 8*m = -15. Suppose 0 = t - 0 - m. Suppose 0 = -i + 4*i - 60. Solve -t*q = q - i for q.
5
Let h be 0*(8/(-4))/4. Suppose 5*o = -25, 5*o + 0*o + 37 = 2*j. Solve h = r + 2*r + j for r.
-2
Let k be 8*(2 + (-3)/2). Suppose j = 3*j - k. Solve j*t + 4 + 2 = 0 for t.
-3
Let o = -10 - -35. Let z(w) = w**2 - w - 7. Let t be z(4). Solve t*n + 0*n = -o for n.
-5
Let j(w) = w - 9. Let h be j(11). Solve h*d = -0*d + 2 for d.
1
Let c be (70/(-21))/(10/(-6) + 1). Solve c*t = -0*t + 25 for t.
5
Let i be 1/(-4) - (-34)/8. Suppose -4*y + 3*z = -y - 27, 0 = -2*y + i*z + 12. Suppose -c + 4*c - y = 0. Solve 3*w + c = 19 for w.
5
Let k(n) = -n + 3. Let a be k(-8). Let o = a - 4. Solve 4*x + 5 + o = 0 for x.
-3
Let m(w) = w**3 + 12*w**2 - 12*w + 13. Let y be m(-13). Let s(r) = -r**2 + 6*r - 6. Let t be s(4). Solve y = t*q - 1 + 3 for q.
-1
Suppose 0 = 4*b - 1 - 3. Let g be -1 + 0 + b/1. Let m = 9 + -6. Solve 5*x - 28 + m = g for x.
5
Suppose -2*d + 0*d + 20 = 0. Suppose -2*t + 2*r = 4*r - 2, -d = 5*r. Solve -t*z = z for z.