Let q(v) = v3 - 5*v2 - 6*v + 3. Let s be q(6). Solve -x + 1 - s = 0 for x.
-2
Let u be 0*5/((-15)/3). Solve u = 5*m + 5 - 25 for m.
4
Let p(t) = t**2 - 11*t + 15. Suppose -j - 55 = -5*q, -57 = -5*q - j - 12. Let i be p(q). Solve -13 = -i*a + 7 for a.
4
Suppose 0 = -2*d + u + 9, 0*d + 4*u = -d. Solve -3*a + 5 = -d*a for a.
-5
Let b be 4⁄18 + 736/(-72). Let w = -7 - b. Solve -6 + w = -s for s.
3
Suppose -3*h + 71 - 29 = 0. Let l(q) = q**2 + q + 35. Let y be l(0). Let p be 115/y + (-4)/h. Solve r - p = -6 for r.
-3
Let k be -6 - -5 - (-5 + 2). Suppose -9 = -3*r - 2*g, 3*r + g - 9 = -0*g. Let f = 3 - r. Solve f = k*a - 4*a + 2 for a.
1
Let s be 20⁄6*30⁄25. Solve 1 = t + s for t.
-3
Suppose -5m + m = 0. Let y be (m + (-3)/3)-1. Let l(p) = 14*p**2 + 2*p - 1. Let q be l(y). Solve -3*g - q = -8*g for g.
3
Suppose 21 = -4*n + 89. Let v = n + -12. Solve -o = -0*o + v for o.
-5