Let o be (1⁄2)/(5⁄250). Suppose 3*m - o - 2 = 0. Suppose -2*s + m = s. Solve -2 = -s*x + x for x.
1
Let n® = r3 - 11*r2 + 9*r + 12. Let t be n(10). Solve -t*m = -0 - 2 for m.
1
Let l(x) = x. Let a be l(7). Suppose -4*s + 4*j = -12, -2 = -s + a*j - 5*j. Solve 5*c - c + s = 0 for c.
-1
Suppose h - 7 = -3*h + 3*b, b - 3 = 0. Suppose 3*s - h = s. Solve s = 3*y + 11 for y.
-3
Let a = 29 - -11. Suppose -5*i + a = -0*i. Let l be (i/(-3))/((-3)/9). Solve u + l = 3*u for u.
4
Let z = -16 + 19. Solve -a - 20 = z*a for a.
-5
Let d be 2*((5 - 10) + 9). Solve 4*g - d - 8 = 0 for g.
4
Let k(t) = -2*t**2 - 11*t - 1. Let g be k(-5). Solve -a = -0*a + g for a.
-4
Let d = -9 - -11. Suppose c = -d + 3. Solve 4*s - 15 = c for s.
4
Let j(b) = 3*b - 12. Let u be j(8). Suppose 3*p + 14 = 5*r + 3, -4*r + 19 = p. Solve -p*m + u = m for m.
3