Let n = 1 + -3. Let x be -4*(n + 1) - -3. Solve 5*v + 3 = -x for v.
-2
Suppose 0 = -p - 0*p. Suppose 2*n - 1 = 3*n. Let i = 5 + n. Solve p = u - i*u - 6 for u.
-2
Let n® = r3 - 7*r2 + 7*r - 3. Let a be n(6). Suppose 0 = -5*d, f + a*f - 12 = 2*d. Solve -h = -f*h - 4 for h.
-2
Let z be 1 + 1 + -1 + 3. Let s(i) = i + 13. Let o be s(-9). Solve o = -4*m - z for m.
-2
Let f be ((-6)/5)/((-9)/60). Suppose f = g + g. Solve 2*h = -0 + g for h.
2
Suppose -5*y + 11 - 6 = 0. Solve 2 = -k + y for k.
-1
Suppose 4*p = 4*n - 2*n - 10, 5*n - 2*p = 17. Suppose -17 = -n*v - 5. Solve v*x - 11 = 9 for x.
5
Suppose -3*o + 16 = o - 4*i, 0 = o - 4*i - 16. Suppose -4*q + o*q + 8 = 0. Solve z + q = -0*z for z.
-2
Let h(i) = -i - 4. Let d be h(-7). Solve -d*k + 4*k = 0 for k.
0
Let f be 4/(-18) - (-4)/18. Suppose -5*w + 15 = -5. Let h = w + f. Solve -1 = 5*x + h for x.
-1