Let t be (8⁄12)/((-4)/(-30)). Let i(d) = 2d - 6. Let h be i(t). Let w be (-12)/(-10)(-10)/(-4). Solve 5 = -w*p - h for p.
-3
Let a be (6 - (2 + 4))/(-3). Solve a = -2*p - 2*p - 8 for p.
-2
Suppose 0 = 3*f - 9. Suppose c - 2*c + f = 0. Suppose -5*w = b - 8, 0 = -0*b - 2*b - c*w + 9. Solve 7 - b = -2*d for d.
-2
Let y(u) = 5*u**3 + u - 1. Let n be y(1). Solve 0 = -n*w - 15 for w.
-3
Let k = 57 + -62. Let z be 1 - -11*(-3 + 2). Let n = k - z. Solve 8*t + n = 3*t for t.
-1
Suppose -3*m + 6 = 3*h, 2*h - 7*m + 3*m - 4 = 0. Let n = -2 - h. Let q(v) = v + 4. Let y be q(n). Solve w + y = -4 for w.
-4
Let s = -4 + 2. Let h = -16 + 21. Let v = h + s. Solve -7*f = -v*f + 16 for f.
-4
Let o® = -r. Let s be o(0). Suppose -f = -2 - s. Solve 3*t - f*t = 0 for t.
0
Suppose -2*r = i - 115, 0*r + 4*i + 35 = r. Let u be 407/r - (-4)/(-10). Solve u = -3*l + 1 for l.
-2
Let c be -3 + 16*1⁄2. Solve -c*r - 16 = 4 for r.
-4