Let x© = c**2 - 3*c - 4. Let s be x(4). Suppose s = -4*t - 0*t. Solve 0*v - 3*v + 9 = t for v.
3
Suppose -4*w + 60 - 12 = 0. Solve 5*j - j = w for j.
3
Let z© = -c + 2. Let g be z(0). Let t = 19 - 17. Let w = -1 + 5. Solve g*v + w = -t*v for v.
-1
Let s® = r**2 - 5*r - 1. Let l be s(6). Suppose 4*t + 7 = a + 2*a, -t + 2 = 0. Solve 5*q + l = -a for q.
-2
Suppose 4*a + 8 = -3*w, 3*w + 5*a - 2 = 6*a. Solve n + 3*n - 16 = w for n.
4
Let v(n) = n3 - 3*n2 + n - 1. Let a be v(3). Let w = -39 - -23. Let z = 24 + w. Solve 0 = a*y - 6*y - z for y.
-2
Let x be (15/(-60))/((-2)/8). Solve 0 = 2*j - x - 3 for j.
2
Suppose -3*u = -5*u. Let w(j) = -1 + 2*j2 + 2*j2 - j3 + 9 + 2*j2 + 6*j. Let y be w(7). Solve 2*p + 7 + y = u for p.
-4
Let d(j) = 31*j - 59*j + 32*j - 8. Let o be d(6). Solve 4*q - o = -4 for q.
3
Let a = -6 - -8. Suppose 3*j = 5*j - 44. Suppose -q = -a - j. Solve 5*u = -q - 1 for u.
-5