Suppose 9 = 11*i - 8*i. Let t(n) = n3 - 4*n2 + 2*n + 3. Let v be t(i). Let l(u) = u**2 + 2*u - 1. Let x be l(-3). Solve -x*z - 3*z + 20 = v for z.
4
Let z be 1/(3⁄6) - 2⁄2. Solve -5 = 4*n - z for n.
-1
Let g = -51 - -93. Suppose 3*d + 16 = -d, -2*u + g = 2*d. Let j = -335 + 340. Solve -j*y - u = -0*y for y.
-5
Let g(h) = h**2 + 2*h - 4. Let x be g(-4). Suppose -2*t + 5*a + 47 = 0, 3*t - 40 = a - 2. Suppose t = x*f - 0*s - s, -s = 3. Solve -f*q - 1 = -q for q.
-1
Suppose -3*t = 6 - 78. Let h = t - 23. Solve -1 - h = -2*g for g.
1
Let n(h) = h3 - 13*h2 - 13*h - 18. Let g be n(14). Let w(t) = -2*t - 6. Let c be w(g). Solve x + 5 = c for x.
-3
Let m be ((-2)/8)/(16/(-192)). Solve -3*t + m = -2*t for t.
3
Suppose 0 = -5*u - 2 + 12. Let l = -7 + u. Let v = 0 - l. Solve -f + v = -0*f for f.
5
Let c(n) = -n + 4. Let w be 4⁄24 + (-3)/18. Let v be c(w). Solve -27 + 7 = v*r for r.
-5
Suppose f = 3*a - 8, -5*f - 2*a - 3*a + 40 = 0. Let d be (-2 + 4 - 1)*0. Let v = -11 - -31. Solve -v = -f*q - d for q.
5