Let v© = c**3 + 4*c + 1. Let j be (12⁄20)/((-1)/(-5)). Let t be v(j). Suppose -r - 3*r + t = 0. Solve x + x = r for x.
5
Let a(v) = -v3 - 7*v2 - 2*v - 9. Let g be a(-7). Suppose -5 - 10 = -g*f. Solve 12 = -0*q + f*q for q.
4
Suppose -2 = -2*v - t - 3, 3*v - 4*t - 26 = 0. Solve 0*c - v = -c for c.
2
Let n(h) = 7*h3 + 2*h2 + 2*h + 1. Let p be n(-1). Let g(s) = -2*s**2 + 7*s - 6. Let c be g(4). Let r = p - c. Solve -r*o + o = -3 for o.
1
Let s be ((-20)/25 - -2)*5. Solve -s*a = 17 + 1 for a.
-3
Let d = 13 + -5. Solve t = -t + d for t.
4
Let s(g) = g3 + 6*g2 + 2*g - 4. Let z be s(-6). Suppose 2*j + j + 5*y = 221, -5*y = -j + 67. Let w be (4/(-6))/(z/j). Solve 6*t - w*t + 12 = 0 for t.
-4
Let q(t) = t**2 + 1. Let b be q(1). Solve w = b*w + 5 for w.
-5
Suppose 5*m + 11 = -5*t + 56, -3*m + 2*t + 2 = 0. Solve 2*h - m = 4*h for h.
-2
Suppose -d + 22 = -2*t, t = -0*d - 4*d + 115. Suppose -4*g + 4 + d = 0. Solve 4*z - g*z = 0 for z.
0