Suppose 12*k - k = 0. Solve -m + 1 = -k*m for m.
1
Let s = -139 + 92. Let z = 70 + s. Suppose -3*q + 3*f + 27 = 0, 0*f - 2*f - z = -3*q. Solve -q + 1 = l for l.
-4
Let y be (45/(-6))/(-5) - 15⁄10. Solve y = 4*r - 8 - 8 for r.
4
Let g(t) = -t2 + 2*t - 3*t - 2*t3 + t**3. Let x be g(0). Suppose x = 2*y - 0*y. Solve -3*h = -y*h for h.
0
Let h be 195⁄30 + (-3)/2. Solve -h*b = -b - 16 for b.
4
Let r(m) = -m + 8. Let b(d) = d3 + 4*d2 + 3*d. Let i be b(-2). Suppose 5*f - i = -2*t, -2*f + 34 = 5*t + 8. Let v be r(t). Solve -2*n = -0 + v for n.
-1
Let b be (2/((-6)/(-15)))/1. Let h = b - -5. Solve 6*a = a + h for a.
2
Suppose d + 25 = -4*d, 5*d = -5*u - 15. Suppose 10 = h + 4*h. Suppose 0*q - h*q = -8. Solve -2*n - u = q for n.
-3
Let r(g) = 0 - 2 + 0*g - g. Let l(s) = s3 + s2 - s - 2. Let k be l(-2). Let i be r(k). Solve 6 = i*c + c for c.
2
Suppose 5*x = x - 2*t - 2, 4*t + 11 = -x. Solve -1 - x = 2*m for m.
-1