Let l(f) = 10*f**3 - 1. Let z be l(1). Let x = 2 + z. Let m = 15 - x. Solve -m*j + 0*j + 16 = 0 for j.
4
Let r be (-2)/8 + -5*(-1)/20. Solve 5*t - 10 = -r*t for t.
2
Let y be -2 - (-2*6)/2. Solve p - 5 = -y for p.
1
Suppose -5*r + 25 = 2*z, -6*z + 55 = -3*z + 4*r. Solve -4*v - z = v for v.
-5
Suppose -12 = -4*b - 2*r, 4*b - r - 9 = 3*b. Suppose 0*a - 30 = -2*a. Solve 2*z + b = a for z.
5
Let g = -121 - -219. Let y be (-1)/3 + g/6. Solve -9 - y = 5*z for z.
-5
Let o(j) = -j**3 - j. Let n = 0 + 0. Let r be o(n). Solve r = c + c for c.
0
Suppose 2*r + 7 = 31. Let l = r - 9. Let w = -1 + 1. Solve w = l*t - 0*t + 15 for t.
-5
Let v be (3 - (1 + 2))/2. Let r be 0/(-8) - (v - 6). Solve 8 = r*h - 2*h for h.
2
Suppose 0 = -z - z. Suppose 4*j = 5*b - 42, z*b + 2*b = -4*j. Suppose 4*s - 86 = -2*g, 10 = -5*s + 2*g + 95. Solve -b = -5*x + s for x.
5