Suppose 2*f + f = 0. Suppose f*h + 12 = 2h. Let t be 8(4 + (-28)/8). Solve t*i - h = i for i.
2
Let s(i) = i + 7. Let j be s(0). Let h(q) = q**2 - 6*q - 2. Let g be h(j). Suppose -o + m + m = -28, 0 = 2*o - g*m - 60. Solve -2*z = 2*z + o for z.
-5
Let c = 36 + -13. Solve 0 = 5*t - c - 2 for t.
5
Let j(z) = 3*z + 9. Let s be j(-7). Let x be -2 + 1 - s/2. Solve 3*t + x - 2 = 0 for t.
-1
Let i be (2 - 3)*(5 - 5). Solve k + 0*k + 3 = i for k.
-3
Let c(z) = -z + 9. Let d be c(5). Suppose 2*h = -d*o - 0*h + 30, -o = 4*h - 25. Suppose 31 = 4*f - o. Solve 0 = 2*t + t + f for t.
-3
Suppose 4*h = 5*h + 4*o + 11, 5*o + 5 = -3*h. Suppose 5*f + 13 - 28 = 0. Suppose -2*k + 40 = 4*j, -f*k - 29 = -3*j + 1. Solve j*a = h*a + 5 for a.
1
Suppose 19*f - 17*f - 24 = 0. Solve 2*u - f = -2*u for u.
3
Let p(l) = l**2 - 3*l - 1. Let x be p(4). Suppose -f - 100 = -5*f. Suppose y + 1 = x*i - 9, 3*i - f = -2*y. Solve y*v = 2 + 8 for v.
2
Suppose -10*r + 8*r = -4. Solve 0*s = r*s + 8 for s.
-4