Let s be 183⁄12 + (-1)/4. Let d = s + -13. Solve -o - d*o = 0 for o.
0
Let b be 8/(-20) + 8/(-5). Let f be (b + 3 - -1) + -2. Solve f = -5*u + 2*u - 3 for u.
-1
Suppose -k = -0*k + 3, k = 2*b - 7. Suppose -5*p + 5*v + 35 = 0, 1 = p - v - b*v. Suppose -8*z + 3*z + p = 0. Solve 0 = z*x + 4 + 2 for x.
-3
Let v(x) = -x3 + 4*x2 + 4. Let g be v(4). Solve 3*z - 2 = g*z for z.
-2
Let r be (2 + 3/(-2))*2. Let l = 4 - r. Solve -l*v = 10 + 5 for v.
-5
Let r = -5 + 6. Suppose -r = j - 5. Solve 3 = -7*s + j*s for s.
-1
Suppose 4*v = -2 + 142. Let s(g) = 2*g - 3. Let f be s(8). Let k = v - f. Solve -k = 4*p - 6 for p.
-4
Let i(q) = 12*q + 9. Let r(a) = 2*a3 + 3*a2 + 2*a + 2. Let c be r(-2). Let f be i©. Let u be (f/12)/((-3)/8). Solve -u = -5*g + 1 for g.
3
Let g = 93 - 89. Solve 0 = -2*f + g for f.
2
Let z be -2*15/(-6)*7. Suppose -4*o = 2*h - 0*h + 2, z = 5*o - 5*h. Solve o*x + 0*x - 2 = 0 for x.
1