Let h = 18 + -12. Let c(s) be the third derivative of -s6⁄60 - s5⁄15 - s4⁄12 + s3⁄6 - 2*s**2. Let y be c(-2). Solve -y*g - 1 = -h for g.
1
Let h = 35 - 32. Solve -h*u + 0*u = 0 for u.
0
Let d = 25 + -17. Suppose 0 = -3*f + 1 + d. Solve 4*q = -f + 19 for q.
4
Let k(p) = -p3 - 5*p2 + 1. Let l be k(-5). Suppose -4*m + 7 = -l. Let i = 0 - 0. Solve i = -m*a - 1 - 3 for a.
-2
Let n be 17/(-51) - (1 - (-8)/(-6)). Solve n*d + 3*d = 12 for d.
4
Let m be -1 + -1 - 5/(-1). Let p = m - 1. Suppose 12 = -p*s + 5*s. Solve -15 = s*l + l for l.
-3
Let y be ((-31)/(-7) - 5)/(2/(-14)). Solve q = -q - y for q.
-2
Suppose 16 = -0*a + a. Suppose a = 3*g + 61. Let x be (-310)/g + (-2)/3. Solve -2*b + x = 2*b for b.
5
Let i(g) = -g**2 + 8*g + 22. Let d be i(10). Solve t - 3 = d for t.
5
Let q(s) = -s + 14. Let r be q(0). Let o = 6 - r. Let n be (-18)/o - (-1)/(-4). Solve 0 = n*v - v - 3 for v.
3