Let d be (-2 + 8)*(-8)/12. Let o be 0/d + -1 + 22. Let p = -15 + o. Solve 2 + p = -2*l for l.
-4
Suppose 8 = 2*r + m + 2*m, -2*r - 2*m = -12. Suppose -4*k + 6 = -r. Let z(u) = -u**2 + 16*u - 62. Let c be z(8). Solve 4*q + k = c*q for q.
-2
Let f = 14 + -12. Suppose 2*w = 6, f*w = 4*g + 5 + 1. Solve g = 5*k + 18 + 2 for k.
-4
Suppose -3*y = 15, 0*y + 5*y - 215 = -4*w. Suppose -w = -6*k + 4*k. Suppose -k = -4*a + 2*a. Solve -z - 2*z - a = 0 for z.
-5
Let n(o) = -o - 1. Let h(d) = -3*d - 3. Let b(i) = h(i) - n(i). Let t be b(-4). Solve s - 3*s + t = 0 for s.
3
Let w = -3 + 7. Let z be (1 + (-4)/w)/(-2). Solve -8 = -4*x - z*x for x.
2
Suppose 0 = 2*t + t. Let r = t + 2. Suppose -r*h = -h. Solve 3*b + 6 = -h for b.
-2
Suppose -23 = 3w - 113. Let n be w/9(-12)/(-10). Solve n + 8 = 4*q for q.
3
Let j = -12 - -17. Suppose -19 - 21 = j*k. Let l be 94⁄18 + k/36. Solve 25 = -0*s - l*s for s.
-5
Suppose 6*r - r - 10 = 0. Suppose 0*g + r*g = 0. Solve 3*j - 22 + 10 = g for j.
4