Suppose -5*k = -10 - 0. Suppose k*t + 2*t = 20. Solve -12 = -s + t*s for s.
-3
Let l(f) = f**2 - 3*f + 1. Let x be l(3). Solve i - 4 - x = 0 for i.
5
Let k be 3 - 1 - 0 - 3. Let c be k/(-3) + 1/(-3). Suppose 8*f - 3*f + q - 13 = c, -2*q - 4 = 0. Solve -8 = -f*g + g for g.
4
Let m = -7 + 23. Suppose -s = s - m. Solve 0 = 5*q + 7 + s for q.
-3
Suppose 10*u = 3*u. Solve u*a = 2*a - 6 for a.
3
Let w be (-1)/((-6)/(-3))*0. Solve w = -2*y + y for y.
0
Suppose 2*m + 11 = 3*f, -m + 0*m = 3*f - 8. Solve 3*j = 4*j + f for j.
-3
Let f(d) = -d3 + 3*d2 + 2. Let q be f(3). Let w(x) = -x3 + 6*x2 - 4*x - 10. Let v be w(5). Let b be (15/(-9))/v*0. Solve -y - 2 - q = b for y.
-4
Let u(f) = -f3 + f2 + 5. Let i be u(0). Suppose i*y = 2*v - 16, 0 = -3*v - 2*y + 5*y + 15. Suppose -5 = -v*a + 7. Solve a*q + 10 = -2 for q.
-3
Suppose -30 = -5*x - 5*p, -x + 4*p - 2 = p. Suppose 5*m - 52 = b - 5*b, x*m + 13 = b. Solve -4*c = -3 - b for c.
4