Let c(i) = i + 5. Let y be c(5). Let m = -5 + y. Solve -2*z + m = 1 for z.
2
Suppose o - 2*w = -4, 3*o + 5*w = 13 + 8. Solve o*b = -b for b.
0
Suppose 0*u + 5*u = 10. Suppose -2*q + u*v + 6 = 0, -2*q - v = -0*q. Suppose -i = -4 + q. Solve i*a = -0 + 6 for a.
2
Let p be 18/(-45) + 34⁄10. Suppose -5*t = -0*b + 3*b + 5, 4*t + 3*b + 7 = 0. Suppose -p = -5*h + t. Solve -h = -3*z - 10 for z.
-3
Let a(d) = -2*d + 1. Let t be a(-2). Let j = -3 + t. Solve -j*i + 3*i = 1 for i.
1
Suppose 55 = 5*j - 65. Let p = -17 + j. Solve -p - 8 = 5*b for b.
-3
Let m be (-111)/(-6) + 5⁄10. Solve -3 + m = 4*w for w.
4
Let z = 3 + 5. Let w = 11 - z. Solve -13 = -w*t - 4 for t.
3
Let h = 8 - 6. Solve h*j = 2 + 4 for j.
3
Suppose 0 = 2*p - 4 - 0. Suppose 4*c + 0*u - 3*u - 1 = 0, 28 = p*c + 4*u. Suppose -c*t - 8 = -52. Solve -2*f + 1 = t for f.
-5