f + s - 4 = k, 2*f + s - 13 = 0 for f.
4
Suppose 0 = -2*z - 3*z + 15. Let y(a) = -2*a**3 - 2*a**2 + 17*a + 19. Let f be y(-3). Solve 3*r + 1 = h - 1, -f*h + r = z for h.
-1
Let j be 2 + -4 + 0 + 8. Let c be (-6)/(-33) - 60/(-33). Let o be (-6)/(-1 - 1/c). Solve k + 0*k - o*v + 15 = 0, 0 = -k - 3*v + j for k.
-3
Let z(w) = w**2 + 3*w - 20. Let s be (8/10)/((-11)/(-55)). Let a be z(s). Solve 4*b = 2*i + 10, i = 3*i + 5*b - a for i.
-1
Let p(q) = -3*q**3 + 4*q**3 - 3 + 2 - 4*q - 3*q**2 - 3*q**2. Let b be p(7). Suppose -3*y - 5 = -b. Solve y*a - 25 = -c, -5*a = 5*c - 3*c - 25 for a.
5
Let k be 0 - (-3 - (7 - 5)). Solve 6 = 4*h + 2*f - 8, -h + k*f + 9 = 0 for h.
4
Suppose q + 6 = 2*d - 2*q, -3*q = 5*d + 6. Suppose 3*i + w - 25 = 6*w, d = 5*i + 4*w - 17. Solve 0 = i*u - 3*y + 22, -u + 0*u = 4*y - 14 for u.
-2
Let j(v) = -v**3 - 8*v**2 - 11*v - 5. Let c be j(-7). Suppose c = 2*z + 3*k - 0*k, 3*z = -5*k + 37. Solve -8*h = -z*h + 2*g + 8, -2*h + 5*g = 28 for h.
-4
Let j = 75 - 38. Suppose 11*c - 14*c = 12. Let u be (-1)/(68/(-16) - c). Solve 7*i = u*i - 4*n + 32, -3*i - 5*n + j = 0 for i.
4
Suppose 10 = c - 2*a, -2*a - 20 + 6 = -3*c. Solve -8*r - 21 = -3*r - c*y, -3*y = 2*r - 3 for r.
-3
Let w = -38 - -41. Solve -10 = 2*a - w*i, -9 = -2*a + 5*i - 27 for a.
1
Let n = 42 + -31. Suppose -5*z - 90 = -5*r, -8*z - 66 = -3*r - n*z. Solve 5*u = 5*t - r, -4*u - t = 3*t + 16 for u.
-4
Let b be 200/8 - (-7)/(-1). Solve 2*u = u - 4*m - 4, b = 5*u + m for u.
4
Let u be (-9)/5*80/(-12). Suppose -u*a = -7*a - 45. Suppose 5*q = 49 - a. Solve 5*d = -5*x, 3*x - d = -0*d - q for x.
-2
Suppose 0*a - a = -4*a. Suppose -2*m - 2*m + 8 = a. Solve -v - 3 = -m*z, -5*v + 4 = 9 for z.
1
Let k be (4/7)/(12/42). Solve 2*m + 4 = 3*n, n = k*n + 4*m - 6 for n.
2
Let a = -270 + 274. Solve -5*k = 3*p - 8 - 15, 0 = -a*p + 4 for k.
4
Let c = 145 - 72. Let r = 77 - c. Solve 3*v = 0, -2*s + 7*v = 2*v + r for s.
-2
Let d(l) = -l**2 - 6*l + 3. Let q be d(-5). Suppose -f + 56 = f. Let x be f - (-2)/q*-4. Solve 3*v - 4*u + 8 = 0, v + 5*u - 2 = x for v.
4
Let s be 5 + 2 - (-15)/(-5). Let x be 6 - ((-48)/s)/(-3). Solve -3*m - 3 = 4*t + 5, 0 = 5*m - x*t - 4 for m.
0
Suppose 5*m - 6 = -4*j + 17, 5*j - 10 = 0. Suppose x - 16 = -4*q, -2*x + 1 = -m*q + 2. Solve -5*t - 3 = -2*h + h, 9 = q*t + 3*h for t.
0
Suppose -3*k - 1 = -16. Suppose -k*p = -18 + 3. Solve 0 = 5*x, -p*d - 2*x + 3 = -6*x for d.
1
Let d = 28 - 22. Let s = 10 - d. Solve 0 = s*j - 6*w + w + 4, -j - 3*w - 1 = 0 for j.
-1
Suppose -76 = 4*u - 84. Solve -i = u*a + 11, -4*a - 20 = -5*i + a for i.
-1
Let x be (3/4)/(378/1008). Solve y + 1 = -2*w, -5*w - x = y - 7 for y.
-5
Let m(z) = -5 + 4*z**2 + 7*z + z**3 + z**3 - 3*z**3 - 2. Let j(p) = p + 1. Let r be j(4). Let c be m(r). Solve 5*h - 5*o + 11 = -2*o, 3*h - c = -3*o for h.
-1
Let f = 4 - 9. Let x be (-4 - (1 - 10))*(-4)/f. Solve -x*c - 5*q = -c - 16, -c = -3*q + 18 for c.
-3
Let v(j) = j**3 - 17*j**2 - 19*j + 21. Let d be v(18). Solve o + y + d = -3, 5*y - 10 = 3*o for o.
-5
Let m = 27 - 23. Solve -3*z = 2*z + m*d - 27, -5*z = 3*d - 24 for z.
3
Let t(f) = f**3 + 5*f + 5. Let x be t(0). Solve -x*k = -0*d + 2*d - 4, -8 = -4*d for k.
0
Suppose 6*d = 7*d - 4. Solve -3 = -w + 2*i - 0, 9 = -w - d*i for w.
-1
Suppose 2*t = -t + 72. Let q be 21*4*2/t. Let o = -2 + q. Solve 2*x - o*s - 22 = -1, 2*x + 2*s = 0 for x.
3
Let c be (5/80*-14)/((-5)/40). Solve 5*t + c = -p, -7 - 1 = -2*p + t for p.
3
Let o = 1599 - 1587. Solve 2*r + 3*x - 10 = -o, 0 = -3*r - 2*x + 2 for r.
2
Let a be (5*-1)/((-6)/6). Suppose -o - 7 = j - 22, a*j - 18 = -2*o. Solve -17 = -2*c + 3*c + 4*b, 2*c + o = -5*b for c.
3
Let k be (-3)/(-20)*4 + 3/(-5). Solve k = i + 2*p + 4, i = 2*i + p for i.
4
Let w be (2 - -1)*(5 + -4). Suppose -25 = m + 4*m, -w*o = 3*m - 39. Let h be ((-5)/(-5))/(1/o). Solve 2*b = -4*x - h, 0*b - 2*b = -4*x - 6 for b.
-3
Let v(h) = 2*h - 3 - 8 - 3*h. Let c be v(-23). Let j = -6 - -10. Solve -2*a + 0*r + j*r - 6 = 0, 4*a = -4*r + c for a.
1
Suppose 0 = -4*i + i + 300. Suppose 5*o + i = 10*o. Suppose 6 + 9 = 3*k. Solve -k*f - 4*z + 0*z = o, -z - 20 = 5*f for f.
-4
Let n be (42/196)/((-5)/(-70)). Solve z - n = 2*h + 1, 5*h = -5*z + 5 for z.
2
Let i(s) = 25*s + 243. Let h be i(-9). Solve -2*d = -4*n, 4*d + 2*n + h = n for d.
-4
Let p be 4/(80/15)*2*2. Solve -p*j + 5*c = 53 - 13, -3*j = 3*c for j.
-5
Let b = 334 - 325. Solve 3*x = 4*v - b, -v + 12 = -4*x + v for x.
-3
Let w = -79 + 83. Solve -5 = 3*g - w*t, -4*g - t - 8 = -5*t for g.
-3
Let p(a) = -a**3 + 7*a**2 + 12*a + 7. Let l be p(8). Let j = l - 35. Solve -4*s = -j*u - 20, 3*s - 3*u - u = 17 for s.
3
Suppose -4 = -3*h + h + 5*f, -4*h - 4*f + 8 = 0. Solve 2*w - 13 = r, h*w + 3*r - 10 = -17 for w.
4
Suppose 0 = v - 1, 4*v + 29 = y - 4*y. Let w = 13 + y. Suppose w*l - 7*l - t = -4, 0 = t - 4. Solve -2*i - 2*m + 12 = 0, 0 = -2*m - l + 8 for i.
2
Suppose -4*g - 15 = -3. Let o be 5/2 - g/6. Solve 5*p + o*t = 8, 0*t - t - 4 = 0 for p.
4
Suppose 8 = -85*t + 87*t. Solve -v = 2*d + 2*d + t, 0 = 3*v for d.
-1
Let w(r) = -14 - 2*r + r + 4*r - 2*r. Let f be w(14). Suppose f = 2*s - 5*u - 26, -2*s + 4*u + 13 = -s. Solve 0*m + 5*m + s = q, 5*m = -5*q + 5 for q.
3
Let p be 2/(-2)*3/(-3). Suppose i = -4*d + 1, 2*i - 2*d - p - 1 = 0. Suppose -i = -t + 1. Solve 5*j - 4*j = m - 1, -2*m + 3*j = t for m.
5
Suppose 0 = 8*o - 2*o + 4*o. Solve 5*j - 1 - 9 = -2*z, o = 5*z + 25 for j.
4
Let l(q) = 4*q**2 + 2. Let o be l(1). Let p be 4 - (4/(-3))/(o/(-9)). Solve f = p*f - 4, -6 = -n - f for n.
2
Let a be (-2)/15 - (-8)/60. Solve 2*r - 3 = d, a*r - 4*r = -d - 3 for r.
0
Suppose -2*i + 16 = -4*z, 12 = -4*i + 5*z + 38. Solve 0 = -4*m - o + 20 - 2, i*m + 5*o - 26 = 0 for m.
4
Let a be (-10)/35 - (-92)/28. Suppose -a*l + 29 = -4*p, 5*l - 20 = -4*p + 5*p. Solve -5*x - 2 = l*m, 7 + 0 = -2*x + 5*m for x.
-1
Suppose 0 = 2*z + z. Let r(u) = 3*u**2 + 5*u + 2. Let k be 7/(35/(-10))*1. Let f be r(k). Solve -2*o - 10 = 4*l - z, -5 = o + f*l for o.
-5
Let i(q) = q**3 - q**2 + q - 1. Let y be i(1). Suppose y = -v - v + 6, 2*v = -g - 8. Let t be (-7)/g + 10/4. Solve 3*o = -3*z + t, -2*z + 19 = -3*z + 4*o for z.
-3
Suppose 16 = -0*l + 4*l. Let w be -1 - (951/(-45) - (-22)/165). Let c(a) = a**3 + 3*a**2 + 2. Let o be c(-2). Solve w = l*s - 4*p, 4*s - 2*p + 12 = -o*p for s.
1
Let j = 6 + 11. Suppose -16*i + j*i = 3. Let k = 11 + -9. Solve 20 = i*t + k*a - 3*a, 4*t - 5*a = 45 for t.
5
Let c = 7 - 3. Suppose -2*a - 871 + 242 = o, -3*a - 916 = -4*o. Let w be a/(-20) + 2/5. Solve -5*d + t + 8 = 0, -d - 3*d = c*t - w for d.
2
Suppose 5913*m + 24 = 5921*m. Solve -m*c = -3*r, 0 = 9*c - 8*c - 4*r - 12 for c.
-4
Let s be (-33)/(-11) - (0 - 0). Let w = 19 - s. Let q be 3/(-2 - (-44)/w). Solve -h = h - 4*c - 6, -q*c - 21 = 3*h for h.
-3
Suppose 3 = o - 1. Suppose 18*d + 86 = 32. Let y be 3 + -1 + o + d. Solve 7 = -j + 5*f, -y*f + 8 = f for j.
3
Let c(d) = -d**2 - 3*d + 4. Suppose 0*w = 5*h + 3*w + 6, -h + 2 = -w. Let p be c(h). Solve -3*y = s + 1, -4*s + 3*y + 2*y - p = 0 for s.
-1
Let k(l) = l**3 - 11*l**2 - 30*l + 57. Let q be k(13). Let b be 7*(3/1 + 1). Solve -5*u + 4*a = b, -4*a + 6 = q*u + 18 for u.
-4
Suppose -139*m + 88 = -117*m. Solve -4*n - 2*t = -0*n + m, -n - 15 = -3*t for n.
-3
Let n be 0 + -3 + (-7 - (-60 + -1)). Let j = n + -48. Solve -b + k = -2*k - 17, j*b - 3*k - 21 = 0 for b.
2
Let n(h) = 10*h + 22. Let t be n(-2). Solve l + 9 = 2*l - 2*p, -t*l = 2*p for l.
3
Let l = -15 - -34. Solve -5*m + h + 3 + 7 = 0, -4*h = m + l for m.
1
Let h be ((-1)/3)/(-1) - 255/(-45). Suppose 8 = 2*p + 4*m, 0 = -p - h*m + 3*m + 5. Solve p*b - 4*f = -16, -2*b + f = 2*f + 6 for b.
-4
Let y(x) = -x**3 + 30*x**2 - 32*x + 89. Let j be y(29). Solve -3*p + 6*p - 6 = 0, -j*p + 4 = -3*h for h.
0
Let f(x) = 141*x + 4 + 0 - 147*x. Let m be f(-6). Solve 5*s = 5*d + 4*s - 16, -m = -5*d - 5*s for d.
4
Suppose 4*u - 5*u = -8. Let q = u + -5. Suppose -5*r - 3*i - i + 9 = 0, 2*r + 3*i - 5 = 0. Solve -3*o = z - 10, 3*z + 2*o = -r + q for z.
-2
Suppose 12 = -102*g + 108*g. Suppose 0 = -q + 2 + 7. Let h = -6 + q. Solve g*x = -h*f - 7 - 2, -2*f + 13 = -5*x for f.
-1
Suppose 12*m - 4 = 11*m + 3*w, -8 = -4*m + 4*w. Solve -24*g - t + 16 = -19*g, -g - m = -4*t for g.
3
Suppose 16 = 4*w, -p - 4*w + 33 - 10 = 0. Let d = 33 + -19. Solve 3*j + 0*u