 14 = -i. Let z = l - i. Solve 4 = k + m + z, -m + 5 = 2*k for k.
3
Let a(i) = 4*i + 20. Let m be a(-5). Suppose s - 5 + m = 0. Solve f - 5*r = -s, 3*f - 3*r + 9 = -6 for f.
-5
Suppose 2*w = 2 - 0. Solve 2*f - w = -x, f - 5*f = -3*x + 3 for f.
0
Let w be 20/6*(-12)/(-10). Let c(g) = -2*g**3 + 7*g**2 + 5*g - 2. Let f be c(w). Solve 3*h - f + 14 = 3*l, -h = 3*l - 4 for l.
2
Let y = 1225 - 1209. Solve -3*h + 3*d + 26 = 2*h, 2*d - y = -5*h for h.
4
Let j(f) = -7*f + 4*f - 31 + 13. Let a be j(-7). Solve 4*u - 16 = 0, r + 4*u = a*r + 12 for r.
2
Let n(l) = l**3 - 3*l**2 - 4*l + 4. Let h(p) = p - 2. Let w be h(5). Suppose -w*y + 5*y - 8 = 0. Let c be n(y). Solve 0 = 5*m, -c = -0*r + r + 5*m for r.
-4
Suppose 2*p - 7*p + 120 = 0. Suppose 0 = -g + 5*o + 6, -4*g + 2*o = o - p. Solve -l - 4*f = -16, 2*f = 3*l + g*f - 16 for l.
0
Suppose 5*k = 4*k + 23. Suppose 2*x - 15 = -3*q, 0 = -3*x - 4*q - q + 25. Solve x = s - 5*b - 13, 4*s + 4*b + k = -b for s.
-2
Suppose 3*g + 13 = -2. Let f be (3 - 1) + g - -5. Suppose 5 = -f*b + 11. Solve 0 = -5*l - 4*i - i - 10, 5*l = -b*i - 10 for l.
-2
Suppose -25*w + 4 = -46. Solve 0 = 3*v + 15, -v = -w*s + 12 - 1 for s.
3
Suppose 19*w + 4*w - 69 = 0. Solve w*q = 2*x - 5, -4*x = -8*x + 5*q + 9 for x.
1
Suppose 0 = -5*a - 0*a. Suppose a = -7*f + 12*f - 20. Suppose -u = -f*u. Solve 0 = 2*p + 2*d - 20, 4*p - 4*d = -u*p for p.
5
Let m be -3 + (700/10)/10. Solve 3*l - 2*g - 3 = 0, -2*g = -m*l + 10 - 4 for l.
3
Let i be 15/(6 + 171/(-30)). Solve i = -0*t - 5*t + 5*w, 0 = -t + 2*w - 15 for t.
-5
Let l(z) = -2*z**2 - 5*z + 7. Let u be l(-3). Solve 4 = -2*p, -3*s + u*p = -14 - 6 for s.
4
Let y be ((-3)/(-2))/((-8)/112*-7). Solve -2*g - a - 2 = 3, 0 = g + y*a - 10 for g.
-5
Suppose 3*p - 22 = -2*g, -2*p = 2*g - 29 + 11. Suppose -7*h + 5*h = -b + 16, 4*h - 8 = -2*b. Suppose 36*c - 31*c = b. Solve -c*t + k = 1 + 3, 0 = -p*k for t.
-2
Suppose 5*w - 2*w - 2 = -i, 2*i - 2*w = 4. Solve 0 = -j + 4*h - 1, -i*j - 3*h = -0*j + 13 for j.
-5
Suppose -4*r + 4*a + 28 = 0, -13 = -r + a - 6*a. Solve 4*q = -5*j + r, -3*q + j - 1 = 3*j for q.
-3
Suppose -4*a = 3*s - 7*s + 36, -4*s = 3*a + 55. Let y be -12 - a - (0 + -2). Let g be 2/3 + 8/6. Solve 0*c = -y*c + 4*w - g, -w = -5*c + 8 for c.
2
Suppose -3*m + m + 96 = 0. Suppose 0 = 3*o + m - 48. Solve -5 = -5*b + 2*d + 5, o = 4*b + 2*d + 10 for b.
0
Let a(r) = r**2 + 2*r + 3. Let d be 1 - (3/(-3) + -2). Suppose -3*s + 2 = -d*s. Let l be a(s). Solve -2*v - 1 = l, 2*v = p for p.
-4
Let d be (-5 - -4)/(3/(-6)). Suppose 3*r + 6 = 5*l - 87, -4*r = -d*l + 124. Let i = r + 36. Solve w = 5*n + 8, 2*w = -0*w - i*n + 1 for w.
3
Suppose 0 = -0*b - 5*b + 120. Suppose -2*c + b = 6*c. Solve 5 = 4*u - l, 10 + 1 = u + c*l for u.
2
Suppose 3*z - 4*x - 10 = -3*x, -5*z + 26 = -4*x. Suppose -3 = -z*h + h. Solve w + h*r + 15 = -0*w, -5*w = 4*r + 31 for w.
-3
Suppose -5*i + 0*i = -k - 98, -26 = -i - 3*k. Solve 4*x + i = r - 3*r, 0 = 4*r - x - 5 for r.
0
Let p be (-1)/(0 - 1/3). Solve k = 5*s - 7, -5*k + s = 8 + p for k.
-2
Let t(s) = 20*s**2 + s - 1. Let b(u) = -u**2 + 7*u - 1. Let w be b(0). Let y be t(w). Solve -5*j + y = -2*x - 2, -5*j + 20 = -x for j.
4
Let z be (6 + (-162)/30)/((-3)/(-10)). Solve 4 = 5*k - 4*k + 5*c, z*c = 2 for k.
-1
Let o(w) = w**2 - 2*w - 30. Let c be o(-5). Let h be -2 + c + -5 + -1 + 8. Solve h*p = 5*r - 0*p + 30, -2*r - 8 = -p for r.
-2
Let l be -204*-3*5/(-30). Let y be 12/l - (-1526)/(-34). Let g be 141/27 - (-10)/y. Solve -6*h + h + 30 = g*x, -5*x + 10 = 0 for h.
4
Suppose 209*c = 212*c - 6. Suppose -2 = -0*k + 2*k. Let r be (-1)/k*2 - -6. Solve -g + r + 2 = -5*h, 5*h - c*g + 10 = 0 for h.
-2
Let j be -8 + (-1)/(3/6). Let i = j + 17. Suppose -3*u + i*u - 12 = 0. Solve -5*k + 2*q - 16 = 0, 2*q - 5 - u = 3*k for k.
-4
Suppose 0*p = 2*p. Let c = 0 + p. Suppose 12*x + 15 = 17*x. Solve 3*z + 4*g + 3 = c, 3*g - 1 + 4 = -x*z for z.
-1
Suppose -x + 4*m - 20 = 0, -4*x + x = -3*m + 42. Let g = x + 9. Let a be (g + 7)*1/1. Solve -j = -5*h - 0*j - 14, 0 = -j + a for h.
-2
Suppose 0 = 3*o + 3*p - 51, -4*p - 55 = -2*o - 21. Suppose 3*g + 2 - o = 0. Solve 4*w - 7 = 5*u - 2, -g*w = -25 for u.
3
Let p(h) = 11*h - 2. Let i be p(2). Let v(f) = -f**3 + 13*f**2 - 27*f - 10. Let m be v(10). Let s = i - m. Solve s*q + a = -4*q + 7, q + a - 1 = 0 for q.
2
Let b be ((-4)/3)/((-28)/63). Suppose -b*h + h = 0. Let a be h + (-4)/4 + 3. Solve 12 = -4*z - 4*x, 0*z - 2*z - a = -2*x for z.
-2
Let j be 0/(12/3)*-1. Suppose j*d = d. Suppose d*f = 4*f. Solve 12 = -3*c - 2*c + 3*p, -p + 4 = f for c.
0
Suppose -4*k + 3*n = 15, 6 - 1 = n. Solve k = x - 4*w + 9 + 3, 5*x + 3 = w for x.
0
Suppose 10 = 2*t, -77 + 40 = -4*a - 5*t. Suppose -4 = 2*r + 2*i, 4*r + 0 + 7 = -5*i. Let f be (-35)/r - 1/(-3). Solve a*b - f + 3 = -4*m, m = -b + 2 for b.
-1
Suppose 0*g + 4*g = v - 22, 0 = 4*v + 4*g - 48. Suppose 3*x - 75 = -5*w, 2*w - 56 = -0*w + 4*x. Let m = w - v. Solve 3*l = m*a - 8*a + 11, -2 = -l - 3*a for l.
5
Let o be 3/9 - (-72)/27. Solve o*x + 9 = 2*d, 2*x + 5*d = x - 3 for x.
-3
Suppose 2*x - 6*q = -2*q + 8, 3*x - 5*q - 12 = 0. Suppose -3*r - 2*i = -61, -2*r + x*i + 54 = 2*i. Solve 2*m - 2*h - 16 = 0, m + r = 2*m - 4*h for m.
3
Let p = -34 + 30. Let h = 6 + p. Solve 2*q - 2 - 1 = a, -h*a + 2*q = -2 for a.
5
Let u = 20 + -21. Let b(n) = -11*n**3 + 1. Let i be b(u). Let h be ((-54)/(-10))/(i/40). Solve 0 = 3*z + 5*a + 6, 0 = -2*z - z + 3*a + h for z.
3
Let v = 211 - 220. Let b be 2*(v/(-6) - 1). Let f be (-1 - 1/(-4))*-4. Solve 3*r + 5 + b = 3*c, -f*r = -5*c + 10 for c.
2
Let i = 1305 + -1300. Solve -i*d + 5 = -4*z - 0*d, -2*z = 3*d - 25 for z.
5
Suppose 4*q = q - 2*h + 16, 5*h = 3*q - 2. Solve 0 = -3*r + w, 0 = 4*r + r + q*w for r.
0
Let h(k) = -k**3 + 8*k**2 + 3*k - 2. Let d be h(2). Solve 4*m = -5*c - d + 7, -2*m - 3*c - 11 = 0 for m.
-4
Suppose 6*s + 4 - 46 = 0. Suppose -2*a + 4*c = 16, 5*c - s = a + 16. Solve 4*n - a*y = -0*y - 26, n + 4*y - 16 = 0 for n.
-4
Suppose 3*g + 10*g - 182 = 0. Let t = 5 - 2. Let x(v) = 2*v - 5. Let w be x(4). Solve 3*z + 1 = -t*q + 19, -w*z + g = -q for z.
5
Suppose 0 = -7*v - 3*v + 20. Suppose -v*s - y + 5 = 0, 3*s - 2*s - 3*y = 6. Solve 4*n + g = -21, -s*g - g = 3*n + 19 for n.
-5
Suppose -2*o + 21 = 5*m, -3*m = 2*o + m - 18. Solve o*k = 2*d + d - 3, -4*d = 4*k - 4 for d.
1
Suppose 72 = -12*d + 3*d. Let w be (-4)/d*(-24)/(-3). Solve 4*r + f + 1 = 0, -r = -3*r + 4*f + w for r.
0
Let z(j) = -6*j**2 + 10*j + 13 + 3*j**2 - j**2 + 3*j**2. Let l be z(11). Suppose -4*m + 10 = -l. Solve 2*t = -b + 3, -3*b + 5*b - 13 = m*t for b.
5
Let r be 1*(-1 - -1)/2. Let n be (79 - 8)*(2/(-2))/1. Let h = 73 + n. Solve -9 = -10*y + 5*y + 4*z, -4*y - h*z + 2 = r for y.
1
Suppose 151*g = 191*g - 600. Solve 5*h - 10 = n + n, -3*n = 3*h + g for n.
-5
Let o(s) = 2*s + 11. Let l be o(-4). Let k be 0 + 0 + 3/l. Suppose -k = 2*g - 9. Solve -4*h - f - 7 = 0, h = g*h - f for h.
-1
Suppose -4*g + 76 = 72. Let y be ((-2)/(-6))/((-5)/(-90)) - g. Solve 3*d = 2*w + 11, -4*d = w - 5*d + y for w.
-4
Let x = 25 - 1. Let t = 26 - x. Let y(r) = r**2 + 3*r - 2. Let q be y(t). Solve 2*o - i = -9, 3*o + 18 = 5*i + q for o.
-5
Let d be (-9)/3*2/(-3). Suppose 3*y - 190 = -d*y. Let t = y + -33. Solve 5*m = -4*p - 7, -2*m - 5*p + t = 18 for m.
1
Suppose 4*l + v - 13 = 0, -7 = -5*l - v + 9. Suppose 2*r - l*w = -0*r - 13, 2*w - 2 = 0. Let s = 7 + r. Solve 2*p + 2*p = -s*c + 16, 0 = p - 3 for c.
2
Let u(g) = -g**3 + 3*g**2 + 10*g - 15. Let b be u(-3). Solve 0 = -j - c + 6*c - 18, b = 3*c for j.
-3
Let b = 860 + -857. Solve -4*j + 2*z - 2 = 0, -j - 14 - b = 5*z for j.
-2
Let m = -25 + 37. Suppose -5*g + 9*g = m. Solve 2*s = -r - 5, -g*s + 4 = -5*r + 5 for r.
-1
Let h be (-82)/(-26) - (-16)/(-104). Solve -5*o = -c - 6 - 14, 2*c = -h*o + 12 for o.
4
Let s = -57 - -99. Let n = s - 42. Suppose 0 = -5*r + 2*z + 14, r = 3*r - 3*z - 10. Solve 0 = -2*c + 2*f + r*f, -3*c - 2*f = n for c.
0
Let d be (-36)/(-21) - -1 - (-2)/7. Suppose -3*k - 24 = -3*t, 6 = -t - d*k - 6. Solve -5*l = t*u - 0*u + 6, 0 = -2*u - 4*l - 6 for u.
3
Let m be 312/16 + 2/(-4). Suppose 5*w = f - 31, -5*f = -2*f - 3*w - 57. Let t = m - f. Solve -2*z - 2 = 0, -2*y = 3*y - t*z + 22 for y.
-5
Suppose 3*x + v - 4*v - 66 = 0, 0 = 4*x - 5*v - 87. Let y = x - 21. Solve 6*g - 4*j + 16 = y*g, -2*j = g +