Let k = -12 + 23. Suppose k = -2*o + 27. Solve -4*a = o + 8 for a.
-4
Let s(d) = d3 + 2*d2 - 4*d. Let l be s(-3). Suppose -2*k + 3 = -k. Suppose -a + 2 = -l*p, -k*p + 4*a - 12 = a. Solve p = 2*h + 11 for h.
-5
Suppose -k - 15 = -5*h, -4*k - 37 = -0*k + 3*h. Let v(z) = -z**2 - 9*z + 10. Let u be v(k). Suppose 0 = -3*f - u*f + 12. Solve 0 = -2*i + f for i.
2
Let t = 20 + -14. Let v(u) = u**2 - 6*u + 1. Let x be v(t). Solve 2*a - 3 = x for a.
2
Suppose 0 = -3*v - 2*n, -v - 4*n = 3*v. Let j be 1590⁄135 + 2⁄9. Let q be 7⁄3 + (-2)/6. Solve v = q*d + d - j for d.
4
Let c(t) = 10*t + 1. Let f(d) = -7*d - 1. Let j(g) = -5*c(g) - 7*f(g). Let y be j(5). Let w be (0 - 0) + (y - -6). Solve w*i - 7 - 5 = 0 for i.
4
Let i be (38⁄114)/(2⁄18). Solve i*y = 3 + 12 for y.
5
Suppose t - 3*t + 8 = 0. Let w = 1 - 0. Solve -w - t = p for p.
-5
Let c be (-5)/3 + 7/(-21). Let a be ((-6)/c)/((-3)/(-4)). Solve 0 = 4*b + a - 20 for b.
4
Let w be (1*-2)/((-4)/8). Solve -5 = -z - w*z for z.
1