Suppose k + 7*r - 2*r = 83, -3*k + 4*r = -249. Suppose -k = -4*a + 13. Suppose 18*m - 129 = -25*m. Solve -3*w - m = 4*n - 0*n, 0 = 3*n - 3*w - a for n.
3
Let i be 1612/(-80)-5. Suppose i = y + 12. Suppose -b - q = 4 - 1, -q - 3 = 0. Solve -z = -b*z - 4*o + 10, y = 4*z - o + 10 for z.
-2
Let z be ((-5)/((-15)/(-4)))/((-2)/42). Suppose 4*b = -q + 19, -b - 3*b + z = 4*q. Solve -p - 2*t = b, -p + t + 4 = 5 for p.
-2
Let p(i) = -4*i**2 + 3*i - 2. Let u be p(2). Let f = 20 + u. Let w = -1694 - -1698. Solve -3*d - w = k, f = -2*k + 3*d - 6*d for k.
-4
Suppose -2*j - 2*j + 24 = 4*x, 3*x = 12. Solve 2*f = 0, j*u - 5*f = -u - 6 for u.
-2
Let v = 247 - 222. Let a(p) = -4*p - 3. Let w be a(-2). Solve w*j + 2*m = -v, -3*j - 14 = m - 0*m for j.
-3
Let h(i) = -7*i - 149. Let j be h(-24). Suppose 5*y + x = j, -8 = -3*y - 4*x + 17. Solve y*c = 4*f, -3*f + 0*f = -c + 5 for f.
-3
Suppose -k + 20 = k. Suppose 0 = 23*z - 25*z + k. Solve -4*n = 2*l - 10, -n - 9 = -z*l - 3*n for l.
1
Suppose 2*t = -3*c + 133, -8*t = -3*c - 3*t + 161. Let n be (-20)/50 + c/5. Solve n = f - 4*y, 24 = -2*f - f - 5*y for f.
-3
Suppose 7 = 9*l - 11. Solve -4*r - l*g = -18, r - 18 = 2*g - 11 for r.
5