Let c be 9 - (-1 + 2 - 4). Solve 13 = 5*l - c for l.
5
Let t = -34 + 34. Solve -3*x = -t*x - 15 for x.
5
Let u be 0*(12/(-8) - -1). Solve 20 = -4*j - u*j for j.
-5
Let h(k) = -k3 + 3*k2 - 2*k + 4. Let l be h(2). Solve -l*u - 4 = -0 for u.
-1
Suppose 10 = -5*u + 20. Solve v = -u*v for v.
0
Let a(s) = s3 + 3*s2 - 5*s. Let t be a(-4). Solve -t + 3 = y for y.
-1
Let a(m) = m3 - 5*m2 - 5*m - 4. Let x be a(6). Suppose -2 = -3*j + 10. Let n be -1 - (j - 3) - -4. Solve -n - 2 = x*p for p.
-2
Let m = 1 - 1. Suppose r + 0*r = 8. Let c = 12 - r. Solve m = -t + 2*t - c for t.
4
Suppose 0 = -p + 4*j - j, j - 1 = 0. Solve -1 + p = 2*s for s.
1
Let i(o) = -o**2 - 12*o + 1. Let b be i(-12). Solve -5*k = -4*k - b for k.
1