Let r(v) = v**2 - v + 3. Let f be r(3). Let w(o) = -o + 6. Let a be w(f). Let t be 2 + (a - -6) + -2. Solve t*i - 20 = -i for i.
5
Let u = -9 - -12. Suppose 13 = z + u*a + 1, 4*z = 4*a + 48. Solve 3*i - 6*i + z = 0 for i.
4
Suppose 8*a = 11*a - 6. Suppose -5*c = -a*c - 12. Suppose 2*t - 11 = t. Solve -c - t = 3*w for w.
-5
Let m be 4/(-3)*252/(-24). Let s = -11 + m. Solve 6 + 6 = -s*n for n.
-4
Let n(o) = -o3 + 7*o2 - 5*o + 4. Let v be n(6). Let u(k) = k**2 - k - 3. Let q be u(4). Let t = -5 + q. Solve 0 = x + t*x + v for x.
-2
Let t® = r + 7. Let m be t(-5). Suppose 0 = -2*c + 8, 4*c - 1 = -m*y + 23. Suppose 4*j - 2*q - 12 = 0, y*j + 1 = -2*q + 21. Solve -12 + 4 = j*k for k.
-2
Let m(o) = -o**2 - 6*o - 4. Let n be m(-3). Suppose -5 = -5*y + n*q, 1 = -0*q - q. Solve y*z = 5*z - 5 for z.
1
Let x(t) = -3*t - 5. Let b be x(-7). Suppose -2*m - 15 = -3*p + 2*m, 4*p = 4*m + b. Solve 0 = q + p + 1 for q.
-2
Suppose -3*y + 9 = -6. Suppose -2*m + 20 = y*a - 6, 5*m - 4*a = -1. Solve -m*z + 25 = 2*z for z.
5
Suppose 3*g - 4 = g. Suppose 3*u - 12 = 0, -7*f + 3*f + 88 = g*u. Suppose h = -4*h + f. Solve 0 = h*d + 2 + 18 for d.
-5