Let g(x) = -12*x3 + x2 - 2*x + 1. Let l be g(1). Let r = l - -18. Solve 0 = r*t - 2*t for t.
0
Let d(m) = -m**2 + 10*m + 15. Let u be d(11). Solve -2*p + 8 = u for p.
2
Let n = -3 - -3. Suppose u + 3*f = 3*u + 15, -u + 2*f - 10 = n. Let b be 0/(4/(-2) - -4). Solve b*l - 3*l - 3 = u for l.
-1
Let p = -2 - -2. Suppose -z + x = 3*x - 12, 5*z + 4*x - 30 = p. Let a(n) = n3 - 6*n2 - 7*n + 4. Let y be a(7). Solve -z*l = -l + y for l.
-4
Suppose 2*q - 1 = 15. Suppose -3*b = b + q. Let a be (4/b - -6) + -2. Solve 0 = k + a*k + 15 for k.
-5
Let m be -1 + (-21)/(-2 - 1). Let f(j) = -j3 - 12*j2 - j - 8. Let t be f(-12). Suppose -2*b = -t*b + 30. Solve -m*w = -w - b for w.
3
Let w© = c**2 + 9*c + 4. Let x be w(-4). Let y be 9⁄2*x/(-6). Solve 4*r = r + y for r.
4
Let m(k) = k3 - k2 + 6. Let n be m(0). Let u© = -c + 7. Let a be u(n). Solve 4*b + a = 3*b for b.
-1
Suppose 0*d + d = 0. Let x(i) = i**2 + 6*i - 8. Let f be x(-8). Solve d = -0*n - 2*n - f for n.
-4
Let s = -44 - -49. Solve s*g = g for g.
0