Let h© = c**2 - 7*c + 2. Let g be h(7). Suppose 2*s = t + 7*s + 15, 18 = -g*t + 2*s. Let x be 3⁄12t-6. Solve j + x = 4*j for j.
5
Let n = 3 - -12. Suppose 3 = 8*b - 13. Solve 5*y = b*y + n for y.
5
Let y(a) = 5*a**2 + 2*a. Let c be y(-2). Suppose 0 = 6*m - 2*m - c, 5*u - 25 = -5*m. Suppose -2*z + u = -9. Solve 0 = -0*f + z*f - 20 for f.
4
Let j = 1 + 2. Let f(v) = -v**2 - 8*v + 6. Let m be f(-7). Suppose -2*o + 28 = x + x, 2*o - x - m = 0. Solve -j*a + 0 = o for a.
-3
Suppose -4*f + 2*k - 4 = 0, 6*k - k = -2*f + 10. Solve d + 1 - 4 = f for d.
3
Let q = -2 + 2. Suppose -4*x + 5 - 1 = q. Suppose -8*p + 4*p = 0. Solve p = r - 2 + x for r.
1
Let y = 15 - 11. Suppose -p - 4*p = 0. Let j = 3 + 1. Solve p + j = y*m for m.
1
Let n = 1 - -2. Suppose n*l = 5*z - 15, -z + 1 + 2 = l. Solve -3*h - z = -0 for h.
-1
Suppose 2*n - 22 = -3*d - d, 5*d = -4*n + 32. Suppose d*j = -l + 6, 5*l - 2*j = -7*j + 15. Solve -3*u + u + l = 0 for u.
1
Let z = -19 - -23. Solve -3*g + 2 = -z for g.
2