Let y(o) = o - 1. Let n be y(7). Solve 2*x = 5*x - n for x.
2
Let s = 37 + -37. Solve 0*i + 2*i = s for i.
0
Let w(g) = 2*g**2 - 17*g - 30. Let h be w(10). Solve h*a + 4 = -2*a for a.
-2
Suppose -5*t + 6 = -2*t. Let i = 6 - 5. Solve -i + 3 = t*c for c.
1
Let c = -3 + 5. Let s be c/5 - 12/(-20). Solve f + 0 = s for f.
1
Suppose -3*f - 3 = -0*f. Let b(n) = -6*n3 - 2*n2 + 1. Let o be b(f). Suppose 0*v + 20 = i - 4*v, -2*i - o*v - 25 = 0. Solve -s - s = i for s.
0
Suppose 2*z + 3 = -r, -4*r + 3*z - 7 = 5. Let k be 42⁄8 + r/12. Solve -5*o - 30 + k = 0 for o.
-5
Let l be 6⁄9*45⁄6. Suppose -l*y + 10 = -2*i + 6*i, -4 = -2*y + 3*i. Solve y*p = p for p.
0
Let g(l) = l2 + l - 1. Let k(z) = -z2 + z - 2. Let j be ((-15)/(-5))/(0 + 1). Let x(f) = j*g(f) - k(f). Let q be x(-2). Solve q - 31 = 5*d for d.
-4
Suppose 2 - 12 = -2*p. Let d = 5 - p. Suppose a + d*a = 5. Solve -2*s + 3*s + a = 0 for s.
-5