Let g = -29 + 31. Solve g*z + 0 = 2 for z.
1
Suppose -3*v + 9 = -0. Suppose 4*n - 4*c = 2*n + 2, 9 = 2*n + v*c. Solve n*i - 2 = 4 for i.
2
Let i be 2⁄7 + 24⁄14. Suppose 5*y + 0*y = -i*v + 27, 4*v = 4*y - 16. Solve -h - v - 3 = 0 for h.
-4
Suppose 4*y - 28 = -3*y. Suppose y*j - 24 = -4. Solve -12 = -j*n + 13 for n.
5
Let h(l) = -l**2 - 10l - 7. Let f be h(-9). Let o be (0 - 2⁄4)-2. Let a be (o - -1) + -3 + 2. Solve 0 = -f*x - 9 + a for x.
-4
Let a(m) = -m**2 - 5*m - 4. Let g be a(-4). Solve -b + 2 = -g*b for b.
2
Let k be 20/((-3)/(-9)*2). Let w© = c. Let t(a) = -6*a. Let l(s) = k*w(s) + 6*t(s). Let o be l(-1). Solve 0*z - 3*z = o for z.
-2
Let h(g) = g**2 + 7*g + 3. Let b be h(-7). Suppose 4*c - 55 = 5*p, -b*c + c = 4*p - 8. Solve -5*n + 0*n = -c for n.
2
Suppose 0*o + 3*w = 4*o + 7, 2*w - 20 = -5*o. Let l = o - 1. Solve 3 + l = -4*v for v.
-1
Suppose 4*q = -2*l, -3*q = -4*q + 5*l. Suppose -r - 4*r = q. Solve 4*j - 2*j + 6 = r for j.
-3