Let f = 13 - -14. Let b = -19 + f. Solve 0 = 4*z - 0*z + b for z.
-2
Let l(o) = -o + 7. Let f be l(5). Suppose 0 = m - 2*b - 1, -5*m - 5*b + 18 = -17. Suppose 4*q - 15 = -m*p, -4*p + f*p = -3*q + 17. Solve -4*i - q = i for i.
-1
Suppose -6 = -5*c + 4*j - j, -6 = -2*j. Suppose d = 2*f + c*f + 4, 0 = 3*d + 3*f - 12. Let m(t) = 4*t. Let x be m(1). Solve -d*u - x = -5*u for u.
4
Let h(n) = n3 + 4*n2 - 5*n + 7. Let y be h(-5). Suppose 1 + y = 2*j. Suppose 0 = 4*q - 4*x - 40, j*x + x + 10 = -3*q. Solve -t = -0*t - q for t.
5
Let c(m) = 18*m**2 + 1. Let d be c(1). Let h = -10 + d. Solve w + 2*w + h = 0 for w.
-3
Suppose -a + 4 = 3*a. Solve 2*x + 9 = a for x.
-4
Let p be (-2)/3 - 4/(-6). Suppose a + 3 = 2*a. Solve p = -a*n - 10 + 4 for n.
-2
Let h be 98⁄8 - (-2)/(-8). Solve 3*c = 6*c - h for c.
4
Suppose -25 + 9 = -2*i. Suppose 2*j = -s - 8 - i, 4*s + 5*j = -49. Let d be 3 + s/(-9)*3. Solve 4*a = -a + d for a.
1
Let m = 31 - 26. Suppose 3*h = -h. Let r(j) = -j**2 - 5*j - 4. Let k be r(-3). Solve -o + k*o - m = h for o.
5