Let v(u) = 13*u**2 + u + 1. Let q be v(-1). Let s be (3⁄4)/(2⁄8). Let c be -2 - 0 - (-10 + 3). Solve s - q = -c*r for r.
2
Let u = 20 + -16. Solve -3*y + u*y = -5 for y.
-5
Suppose -4o + 6 = -22. Let v be (-112)/(-42)(-3)/(-2). Solve 0 = v*r + 5 + o for r.
-3
Let z = 1 + 4. Let n(a) = 4*a - 3*a - 3 + 0*a. Let y be n(z). Solve 0 = -y*v + 3*v + 1 for v.
-1
Let o be (9/(-3) + 8)/(1⁄1). Solve o*s + 20 + 0 = 0 for s.
-4
Suppose 0 = 3*o - 8*o. Suppose o*x = 4*x - 20. Solve x*s + 0*s = -20 for s.
-4
Let f = -2 + 7. Suppose 5*z = f*s - 5 + 75, -z = -2*s - 14. Solve 4*y - z - 2 = 0 for y.
4
Suppose 7*l - 3*l - 4 = 0. Let v be (-9)/((2 - 4) + l). Solve 5*t - v = 1 for t.
2
Let c = -1 - -16. Let n = -8 + c. Solve -9 = 4*s + n for s.
-4
Let t(v) = -v**2 - 4*v - 1. Let g be t(-3). Suppose 0 = o + g. Let x be o/(-9) + (-129)/(-27). Solve l - x*l = 20 for l.
-5