Let x(t) = t**2 + 13*t + 25. Let p be x(-11). Solve p*a - 6 = 3 for a.
3
Let y be -3*(-6)/9 - -1. Let q be (12⁄5)/(6⁄20). Suppose -5*r + q*r - 9 = 0. Solve y*g = 4*g + r for g.
-3
Suppose 2*n + 2*n = 0. Suppose -2*h + 2 + 4 = n. Suppose h*t = t. Solve -2*s - 4 + 0 = t for s.
-2
Suppose c = j - 9, -2*j - 3 + 0 = 5*c. Solve -j*a = -a for a.
0
Suppose 32 + 4 = -2*b. Let p = b - -22. Let t be (-2 - -3) + 1*10. Solve -p*q + 9 = -t for q.
5
Let p be (-2 - (1 - 0))*1. Let j be (0/(p - -2))/(-2). Solve j = -4*f - 10 - 2 for f.
-3
Suppose -5*y + 11 = -2*u, 0 = 2*y - 4*u + 8*u - 14. Let i be (-2)/(-8) + (-153)/(-12). Suppose -i - 2 = -y*x. Solve 3*b + x = 2*b for b.
-5
Suppose 2*l = 4*l. Suppose -x + 14 = -2*p, l = x - 3*p - 9 - 4. Solve 3*c - 7*c = -x for c.
4
Suppose -35 = l - 6*l. Solve 2*k - 3 - l = 0 for k.
5
Let m be (0/(-1))/(12⁄6). Suppose 2*c + l = 9, c + m + 8 = 2*l. Solve 0 = 3*n - c*n + 2 for n.
-2