Let m = -9 + 16. Suppose -2*f + m = -3. Solve -f*j + 5 = -0*j for j.
1
Let i(k) = -k**2 + 8*k - 12. Let c be i(5). Solve c*h = 4*h - 1 for h.
1
Suppose -4*q = -3*m - 21, -3*q = -4*m - 0*q - 21. Let g(z) = 2*z**2 + 3*z - 1. Let w be g(m). Let t(n) = n - 5. Let p be t(w). Solve 2 = y - p for y.
5
Let y be (-3)/(-3)*(0 - -4). Suppose 6*t - 6 = y*t. Solve t*r = -8 + 20 for r.
4
Let x(y) = y**2 - 5*y + 2. Let q be x(5). Solve -3*w + 7 = -q for w.
3
Let t(x) = x - 1. Let k be t(3). Suppose -h + 0*h = -k. Suppose h*a = 4*a. Solve 3*d + d - 8 = a for d.
2
Suppose 0 = 2*q + 3*a - 15 - 22, 4*q - 2*a - 82 = 0. Solve 0 = -9*s + 4*s + q for s.
4
Let n = -7 + 7. Let w be (-3 - -6) + -1 + n. Suppose l = 3*p + 2*p - 10, -7 = 3*p + w*l. Solve -5 + p = -2*h for h.
2
Let b(g) = g**2 + 5*g + 6. Let s be b(-4). Solve 2*a - 4 = s for a.
3
Let p be 2⁄15 + (-168)/(-90). Suppose -p*u = -6*u. Solve u = c + 1 + 3 for c.
-4