Let m = 3 - 5. Let a be 2⁄4 - (-15)/m. Let d = a + 12. Solve -q + d = 4*q for q.
1
Let n be (-130)/(-14) + (-48)/168. Let x = 11 - 8. Solve 0 = -3*t + n + x for t.
4
Suppose -2 = -3*a - 14. Let c = -3 - a. Let u be -4*c/(-2) + 0. Solve j = -u*j - 6 for j.
-2
Suppose 2*d - 12 = 4*d. Let h be 0/((-3)/d*4). Solve -5*l = -h*l + 10 for l.
-2
Let f(v) = -v - 10. Let s be f(-7). Let b = 1 - s. Solve -2*l = 12 - b for l.
-4
Let z = 1 + 5. Suppose 2*a - z = -a. Solve -f = a*f for f.
0
Let q = 2 + -2. Suppose q = -2*w + 8 - 2. Suppose w*y + 2 = -5*h, -4*y - 5 = 4*h + 3. Solve 1 + 3 = -h*d for d.
-2
Suppose 0 = -4*p + 2*p. Solve 3*o - 12 = -p for o.
4
Let l = 15 + -10. Suppose 0 = -3*m - 2*n + 10 + 2, l*m + 3*n = 20. Let i(j) = j3 + 2*j2 + 2. Let t be i(2). Solve -t - 2 = m*u for u.
-5
Suppose 14 + 21 = -m. Let t be (-24)/(-14)*m/(-10). Solve t = -5*s + 1 for s.
-1