Let c = 23 + -14. Let h be (1 + 1)/((-2)/(-12)). Let j = -6 + h. Solve -j = -3*t + c for t.
5
Let z(j) = -j**2 + j + 42. Let n be z(7). Solve n = -2*x + 3*x + 2 for x.
-2
Suppose -3*g - 30 = -3*s, 0 = -3*g - 12 - 3. Solve q + 4*q + s = 0 for q.
-1
Let r(b) = b2 + 6*b + 7. Let z be r(-5). Let h(y) = y3 - 13*y**2 - 13*y - 13. Let s = -7 + 21. Let d be h(s). Solve c - z + d = 0 for c.
1
Let j(k) = k3 - 4*k2 - 5*k + 7. Let f be j(5). Suppose -i = -0*i - f. Solve 2*s = i*s for s.
0
Suppose 2*o = -i - 4 + 15, o = 5*i - 11. Suppose p - 3*n = 14, -i*p + 2*n + 18 = -n. Solve -6 = -p*r - 0*r for r.
3
Let a(s) = -s**2 - 5*s + 20. Let z be a(-7). Solve 0 = -0*g + 3*g + z for g.
-2
Let l(y) = 3 + 3 - 1 - 3 - y. Let v be l(2). Let q be 2⁄6 - (-25)/15. Solve v = -q*p + p for p.
0
Suppose 12 = 3*b + 5*g - 18, b - g - 10 = 0. Suppose -3*w + w + b = 0. Suppose -y = -0*y - w. Solve 0*a = a + y for a.
-5
Let f be (5*-1)/(3/(-3)). Suppose -f = -0*j - j. Suppose 8 = 2*w + 2*o - 10, 30 = j*w + 2*o. Solve -r - 20 = w*r for r.
-4