Let r© = -c3 - 5*c2 - c - 5. Let y be r(-5). Suppose -v + 6 - 16 = y. Let l = v + 15. Solve -4 = 4*t - l*t for t.
4
Let c = -6 + 12. Suppose -c = -h - 0. Solve -h*m = -m + 5 for m.
-1
Suppose 2*r + 0*r = 6. Solve r*h + 1 = 2*h for h.
-1
Suppose -5*q + 20 + 35 = 0. Suppose -1 = -6*j + q. Solve j*b + 4 = -0 for b.
-2
Suppose 0*v - v + 3 = 0. Let h = v - 1. Solve 3*l = h*l for l.
0
Suppose 2*s + 0 - 2 = 0. Let o be (-86)/30 - (-12)/(-90). Let a be -1 + s + (-45)/o. Solve 0*q = 3*q + a for q.
-5
Suppose -2*n + 3*b + 6 + 0 = 0, -5*b - 10 = -3*n. Solve 5*t - 24 - 1 = n for t.
5
Let o(x) = 2*x. Let v be o(2). Suppose s = -5*d + v, 3*s - 5*s + 8 = -d. Let n be -2 + (1 - d - -6). Solve 5*t + 0 = -n for t.
-1
Let k be 3/(-6)*(-12)/(-3). Let j be (-2)/10 + k/(-10). Solve j*n - 15 = 3*n for n.
-5
Suppose -7*i = -4*i - 15. Solve i*k = -0*k - 15 for k.
-3