Suppose 5*t - 30 - 15 = 0. Solve -2*k + t = -5*k for k.
-3
Let a be (-2)/10 - 1227⁄15. Let x = 120 + a. Suppose 0 = 2*c - 4*g - x + 12, -c - 22 = 5*g. Solve -c*i + 10 = -i for i.
5
Let a(b) = -b2 + 4*b + 4. Let s be a(5). Let p© = -c3 - 1. Let i be p(s). Solve 5*m + 0*m = i for m.
0
Suppose 0 = -5*m - 3*n - n - 1, 5*n = -20. Suppose m*o + 24 = 3*r, -r - 6 + 18 = -3*o. Let s = -3 + r. Solve v + s*v = -4 for v.
-1
Suppose 2*v + 5 = 3*v, 41 = -2*y + 3*v. Let h be 2 - (-23 + -1 + -2). Let o = h + y. Solve 6*b - o = 3*b for b.
5
Let x(s) = -s3 - 6*s2 - 5*s - 7. Let d be x(-6). Suppose 0 = -5*q - 8 + d. Suppose 0 = 2*t - q*t + 12. Solve -t = 5*o - o for o.
-3
Let v be 1 + 0 + (4 - 6) + 9. Solve 0 = -3*m + m - v for m.
-4
Let v = -19 - -19. Let q = -1 - -8. Let s = q - 3. Solve v = 2*x - s*x - 2 for x.
-1
Let f(v) = 2*v**2 + 2*v - 2. Let q be f(-3). Solve q = -o + 3*o for o.
5
Suppose q + 30 = 7*q. Solve 3*a + 8 = q for a.
-1