Let d(h) = -h3 + 15*h2 + 3*h + 5. Let s be d(15). Suppose 5*m + 15 = s. Solve 0 = -m*o + 2*o for o.
0
Let i = 12 + -5. Let t(l) = -l**2 + 7*l + 4. Let u be t(i). Solve u = 6*y - 5*y for y.
4
Let k(g) = -g + 13. Let v be 2 - 33/(6/(-2)). Let s be k(v). Solve b + 4*b - 5 = s for b.
1
Let y be (-2)/(-5) - 96/(-60). Suppose j + y = 3. Solve 2*x - x = j for x.
1
Suppose 11*z - 6*z = -9*z. Solve z - 4 = 4*b for b.
-1
Let a = -35 + 40. Solve -a = -5*s - 0 for s.
1
Suppose 2*n = -4*j - n + 15, 3*j + 4*n - 13 = 0. Let w be j/(-4) - (-225)/60. Solve 28 = -5*k + w for k.
-5
Suppose 0 = -5*j + 40 + 35. Solve -l + j = 2*l for l.
5
Let i(g) = -g - 1. Let t be i(-1). Suppose t*n + 45 = 3*n. Solve -8*o + n = -3*o for o.
3
Let a(y) = -y3 - 3*y2 + 3*y - 2. Let z be a(-4). Suppose -5*t + 16 = -14. Let j = -29 - -31. Solve j = -z*b + t for b.
2