= k*p - 2 for p.
5
Let r(k) = -8*k**2 + 5*k + 2 + 4*k + k**3 - 2*k. Let x be r(7). Solve -4 = u + 2*u + x*q, 2 = -q for u.
0
Suppose 0*p = 3*p - 9. Let z = p + 3. Solve 0 = -3*c - v + 4, -z - 6 = -2*c - 3*v for c.
0
Let b(w) = -w + 1. Let t be b(3). Let m = 4 + t. Solve 3*s - 16 = -d, 7*d - 15 = -m*s + 2*d for s.
5
Suppose 2*y = -5*z - 12, -4*y + 4*z - 28 = -4. Let d(j) = -j - 6. Let o be d(y). Solve 4*r - 5*l - 13 = o, -l = r + 3*l + 23 for r.
-3
Let m(a) = -a**3 - 4*a**2 + 5*a. Let f be m(-5). Suppose f*i - 3*i = -12. Solve r - 4*y = 3 - 0, 4*r - 12 = i*y for r.
3
Let h be 16/(-24) - (-16)/6. Let p be ((-10)/(-15))/(h/6). Solve p*l - 9 = -u, l + 5*u = -0*l for l.
5
Let h = 39 - 37. Solve -2*o + 7 = -5*o - 2*x, 0 = -h*o + x - 14 for o.
-5
Suppose -61 = -4*w + 5*t, -w = -3*w + 5*t + 33. Let a = -9 + w. Solve -2*m - 1 = -3*i, -a*m - i - 7 = -2*m for m.
-2
Let r(y) = -6 - 5*y**2 + 15 + 6*y - 9 + y**3. Let f be r(4). Solve -3*z - z + 3*k = -27, -k - f = -z for z.
3
Suppose -5*m + 4*o - 4 = 0, -5*m = -o - 1 + 2. Let r(v) = v + 4. Let t be r(m). Solve -3*c + 4*y + 20 = 0, 0 = c + t*y - 15 + 35 for c.
0
Let c = -18 - -12. Let k be (-2)/c + (-50)/15. Let b be 15 - k/6*-2. Solve 0 = -5*v - 5*z - b - 11, 5*z = 5*v - 5 for v.
-2
Let w = -3 - -6. Suppose -10 = -w*b + 2. Solve b*v + 33 = 4*a + 13, 5*v = -3*a + 7 for a.
4
Suppose -5*g + 11 = -14. Suppose -9 = -4*p + 3. Solve 3*s = -g*b + 17, -20 = -3*s - p*b - 5 for s.
4
Let j(l) = 6*l**3 + l**2 - 2*l + 1. Suppose 5*g = -3*n - 2, -3 - 2 = 5*g. Let f be j(n). Solve 0 = p - 4*q - 14, 4*p - 2*q - f = 8 for p.
2
Let o = 100 - 85. Solve 4*b + o = 3*w - 8, -4*b = 3*w + 17 for b.
-5
Let f(k) = -k - 3. Let j be (-3)/1 + 0 + -2. Let z be f(j). Let h be 2 + 2/(-2)*-2. Solve z*n - 5*n - 12 = -2*s, -4 = -h*s + n for s.
0
Let t be (5/3)/((-1)/(-3)). Suppose 8 = t*m - 2. Solve 6*j = m*s + 3*j - 3, 5*j + 5 = -4*s for s.
0
Suppose -2*r - 20 + 24 = 4*s, 0 = -2*r - 4. Suppose 4*m = 3*m - 3*w + 12, -w = -4. Solve m = 3*k - s*u - 15, 6*u - 3*u = 2*k - 15 for k.
3
Let q = -11 + 7. Let r = 7 + q. Suppose -5*y + 8 = 3*d, r*y - 3*d - 20 = -d. Solve 36 = 5*v - y*m, 2*m + 3 + 5 = 0 for v.
4
Let h be 9/3 + 1 + -1. Suppose 2*r + q + 14 = -11, 2*r + 15 = -3*q. Let f be ((-12)/(-10))/(r/(-50)). Solve -f*v - h = -p, p - 12 = -2*v - 3*p for v.
0
Let g be (90/8)/((-15)/(-80)). Suppose -f - 4*f = -g. Suppose 2*i - 4*i + f = 0. Solve 18 = 4*z - 2*d, -3*z - i*d + 20 = -d for z.
5
Suppose 0*w = -w. Suppose w*v = v - 1. Suppose l = -v + 6. Solve 5*i - 3*o = -0*i + 22, -l*i = 5*o - 30 for i.
5
Suppose d = -3*d + 76. Let c be 2*(-2)/(-8)*10. Suppose -4*q = -c*s - 21, -23 = -4*q + 4*s - 3. Solve -m - 5*j + d = -j, -m = -q*j + 13 for m.
3
Suppose 8*t - 6*t - 22 = 0. Let c = -9 + t. Solve -s + 2*d + d = 3, -3*d + 6 = -c*s for s.
-3
Suppose -5*u = t + 27, -3*u + 4*t = t + 27. Let v be ((-3)/(-2))/(u/(-8)). Let m be 14 - (2 - v - -2). Solve 3*a + 4*f = -21, 0 = -2*a + a + 5*f + m for a.
-3
Let p = 188 - 185. Let f be ((-3)/9)/(2/(-18)). Suppose 0 = -2*v - f*w - 2, 0 = v + 2*w - 5*w - 17. Solve 4*j + z + 5 = 0, 20 = 4*j - p*z + v for j.
0
Let h(t) be the first derivative of t**3/3 + t**2/2 - 8*t - 1. Let j = -9 + 3. Let c be h(j). Solve 2*g - l + c = -2*g, -4*l = -3*g - 23 for g.
-5
Let t(d) = -d**2 + 8*d + 3. Let f be t(8). Suppose 3 - 12 = -f*v. Solve b - v*m - 1 = -b, 5*b - 5*m - 10 = 0 for b.
5
Let w = 20 - 17. Solve q - 2 = -0*s - s, -w*s + 5*q = 26 for s.
-2
Suppose -2*l + 0 - 2 = 2*b, -17 = -3*l + b. Solve v - l*p - 8 = -v, -6 = -2*v + 2*p for v.
2
Let x = 23 + -35. Let i = 3 - x. Solve -f + 0 = c - 5, 3*c = i for f.
0
Let l(n) = -6*n**3 - n**2 + n + 1. Let i be l(-1). Suppose -5*y = -i*x - 25, 2*y + 2 = -x - 3*x. Solve 6 = 3*j - 0, -3*s + 12 = y*j for s.
2
Let j be (-1*(-1)/1)/((-9)/(-171)). Solve t = 5*v - j, -7 = 5*t + 13 for v.
3
Suppose 1 = -4*n + 17. Let i be (-5 + 6)*9/3. Solve i*j + 0*u + n*u = -6, u - 5 = -4*j for j.
2
Let x be -6*(0 + (1 - -2)). Let y = 23 + x. Solve -y*a + 3*z - 25 = 0, 4*a + z + 2 = -1 for a.
-2
Let r be 8/(-2) - (0 + 3). Let p = -4 - r. Solve 6*v - v - p*q = 20, 0 = q for v.
4
Suppose 2 - 5 = -v. Solve 4*p + 16 = 0, -v*p - 16 = -2*h + 6 for h.
5
Let p = 0 + 10. Let s(g) = -g**3 - 2*g**2 + 3*g. Let f(u) = -u**2 - 6*u + 4. Let x be f(-7). Let m be s(x). Solve 0 = 5*o - m - p, -4*z = 4*o - 24 for z.
4
Let t = -5 - -10. Suppose 0*x + x - 7 = 0. Solve 4*b + t*o + 16 = 0, 3*b - o + 5 + x = 0 for b.
-4
Let i = -1 - -4. Let d(r) = 6*r - 10. Let l(k) = 2*k - 3. Let j(m) = -2*d(m) + 7*l(m). Let h be j(i). Solve -f = -5*f - 2*w - 4, 2*f = h*w - 26 for f.
-3
Let t(z) = 5*z - 3*z - 4*z - 3. Let s be t(-4). Suppose 3*k - 5*c - 1 = 5, 0 = -2*k + 5*c + 4. Solve 3*v = p + 16, -s*v + 2 = 4*p - k for v.
4
Let b(f) = -f**3 - 4*f**2 + 3*f - 6. Let n be b(-5). Solve n*p - 9 = -5*u, 5*p + 0*u + 40 = 4*u for p.
-4
Let m(z) = -z**2 - 16*z + 3. Let f be m(-16). Solve 0 = -3*c - 4*r + 1, -f*c - 6*r + 3*r = -3 for c.
3
Let a(v) = -v**3 + 7*v**2 + 5. Let w be a(7). Let r(c) = -c**3 + 4*c**2 + 2*c - 1. Let l be r(4). Let j = l - w. Solve -o - x = -1, -4*o + j = -0*o + 5*x for o.
3
Let l(k) = -k**3 + k + 23. Suppose i - 5*a + 6 + 11 = 0, 0 = 3*a - 12. Suppose -2*z = -i*z. Let q be l(z). Solve 3*y - 5*w = y + q, -5*w = -3*y + 27 for y.
4
Let p(b) = 5*b - 1. Let r be p(1). Solve -a + 2*s = -2*s - 2, -3*a = r*s + 10 for a.
-2
Let b = -1 + -3. Let m be 45/6 + (-2)/b. Solve 4*l - 8 = 0, 4*p - 2*l + 4*l = m for p.
1
Let y be (-2)/(-4) + (-2)/4. Suppose j - 5 = t, -j + 0*j - 3*t + 13 = y. Solve 3*z + 4*f + 5 + j = 0, -f = -5*z - 20 for z.
-4
Let l = -4 + 7. Suppose -y = -l*y. Let f(q) = -q**3 + q**2 + 3*q - 2. Let s be f(2). Solve -p + y*v - 5 = -v, -2*p + 3*v - 13 = s for p.
-2
Suppose -36 = -3*g + g. Suppose 4*v + 3*s = g, 0 = 3*v - 0*v - 3*s - 3. Solve 2*j = 2*d, -v*d + 2*d = -2*j - 2 for d.
-2
Let z(k) = k**3 + 19*k**2 - 21*k - 16. Let t be z(-20). Solve 4*p + o + 1 = 0, 2*o - t = 2 for p.
-1
Let p = -54 - -59. Solve k + 19 = 5*k + p*u, -4*k = -u - 1 for k.
1
Let l be (-12)/15*35/(-14). Solve -l*n + 5*m - 14 - 16 = 0, -3*n + 5*m = 35 for n.
-5
Suppose r - 5*h + 2*h = -3, 5*r + 4*h = -15. Let k be (0 + 1)/(r/(-9)). Suppose o = 4*p + 5*o, o = -3. Solve -2*g + 8 = 5*j + 1, k = p*g for j.
1
Suppose -32 = -2*l - 2*l. Let d be 45/12 - 6/l. Solve 3*r = 5*o + 2*r + 24, d*o = -r - 8 for o.
-4
Suppose 0 = -l - 3*l + 12. Suppose 3 = -3*z, 19 = 5*d - d - l*z. Solve 4*q + 31 = 3*p, p + 8 = d*q + 29 for q.
-4
Let a(q) = -3*q - 13. Suppose -13 = 2*b + y, b + 2*y + 4 = y. Let g be a(b). Let t be (-10)/(-35) - (-52)/g. Solve -4 = 3*d + t*i - 3, 29 = 5*d - i for d.
5
Let n(m) be the second derivative of m**5/20 + m**4/2 - m**3/2 - 4*m**2 + m. Let j be n(-6). Let r = -7 + j. Solve 0 = 4*p - r*k - 9, 3*p + p + 15 = -5*k for p.
0
Let u(i) = 0*i**2 + 0*i + i**2 + 4*i. Suppose -3*x + 16 = -4*l, 4*x + 2 = 5*l + 22. Let v be u(l). Solve 5*g + 12 = 2*t, 4*t = -g - v*g - 20 for g.
-4
Let f be 18/(-14) + 2/7. Let d = 4 - f. Solve d*w = -4*l + 14 + 19, -2*w - l = -12 for w.
5
Suppose 50 = 3*k + 38. Solve 4 = -k*d + 4*a, d - 2*a = 6*d + 19 for d.
-3
Let h be 1*36/21*7. Suppose 0 = -0*j + j - 12. Suppose 3*c + 4*x - 14 - 7 = 0, c = 5*x - j. Solve -5*f = -4*w - 22, h = 2*w - 4*w + c*f for w.
-3
Let n be (-4)/(-10) + (-92)/(-20). Let b = n + -2. Solve k = 5*h - 24, -5*h + 12 = -b*h - k for h.
4
Let d(r) = r**3 - 15*r**2 - r + 17. Let g be d(15). Solve -3*b - 3*x + g*x - 7 = 0, -5*b - 5*x = 5 for b.
-3
Suppose 3*x = -2*x + 25. Solve 2*i - i - 26 = 5*z, x*z = -4*i - 21 for z.
-5
Let b(u) = -u - 8. Let c be b(-13). Solve -5*x - 5*k + k = 13, c = 3*x - 4*k for x.
-1
Suppose -j - j = 16. Let u = -3 - j. Suppose 0 = -3*l + 2*z + 12 - 1, -5 = u*z. Solve 4*k - k = -l*a + 3, -2*k + 6 = 0 for a.
-2
Let k be (1 - -1)*(-15)/10. Let h = 8 + k. Suppose -t = -h*t + 8. Solve 2*a + 16 = -t*p, -4*p - 6 = -3*a - p for a.
-3
Let b be 2 - (-1)/(-6 + 2 - -5). Solve b = 5*a - 3*z, -5*z + 18 = 3*a - 11 for a.
3
Let m(a) = a**3 - 6*a**2 + 5*a - 1. Let n be m(5). Let d(i) = 7*i**2 - 1. Let v be d(n). Suppose v = 4*w - 2. Solve 2*c - w = -5*g - 7, 0 = -5*g - 5 for c.
0
Let p be 32/12 - 2/(-6). Solve c = -4*v + 4, -p*c = 2*c for v.
1
Suppose 3*b = 3*s, -2*b + 2*s = 6*s - 24. Suppose -b*z + 74 = 2. Suppo