Let y be (-2)/(-1) + (-15)/(-5). Let c = -2 + y. Solve -c*q + 2*q = -2 for q.
2
Let k be 85⁄20 + (-3)/(-4). Suppose 2*r - k*r = 2*c + 3, -2*r - 2 = 2*c. Solve c = g + 4*g for g.
0
Let a = -6 + 10. Suppose 1 + 3 = a*t. Solve 0*z = -z - t for z.
-1
Suppose -5*t - 4*z + 4 = -0*t, 0 = -t + 2*z - 2. Solve 0 = -t*q + 2*q + 2 for q.
-1
Suppose 2*d + 30 = -0*d. Let j = 19 + d. Solve 0 = -3*q + 2*q + j for q.
4
Let z(p) = p**2 - 2*p - 1. Let y be z(-5). Let d = y - 19. Solve 5 - d = -5*x for x.
2
Let p = 3 - 9. Suppose 3*l + 54 = -0*l. Let s be p/(-27) - (-4)/l. Solve s = -0*k - 3*k + 3 for k.
1
Let u = -143 - -143. Solve -4*k + 20 = -u*k for k.
5
Let s be (6/(-4))/(3/(-4)). Let z = -9 - -12. Suppose 3 = 2*i - t, 1 = z*i - t - 4. Solve -i - 8 = -s*q for q.
5
Let k = 12 - 6. Suppose n + 14 = -4*p, 3*n + 0*p = -2*p - 2. Suppose n*q - 4*d = 4*q - 58, -2*q - 2*d = -48. Solve 5*j - k = q for j.
5