 k be 256/18 - (-2)/(-9). Let v be k - (4/(-2) + (5 - 2)). Solve r = 5*z - 14, -4*r - 9 - v = -3*z for z.
2
Let x = -577 - -579. Solve 4*q - 2 = x*p - 0*p, -p - 1 = 5*q for p.
-1
Suppose -18*m + 34*m - 384 = 0. Suppose m = 4*v + 8. Solve 2*x = 5*z - x + 3, 4*x - v = z for z.
0
Let l = -19 + 31. Let y be (-20*(-3)/2)/(l/16). Solve -a + 3*d = 18, -d = 5*a - 6*d + y for a.
-3
Suppose -163 = -7*c - 107. Solve -5*j + 10 = 0, 13*j - c*j = 4*h + 26 for h.
-4
Let s(i) = -5*i + 6. Let m(t) = 3 + t + 2 - 8 - 7. Let l be m(5). Let k be s(l). Solve 2*x + 1 = -3*d, 0 = -5*x + 2*d - 0*d - k for x.
-5
Suppose 5*n - 37 = -4*j - 8, 3*n = -j + 9. Suppose 19 = j*l - 53. Solve -5*c - 5*w = 15, 3*c = -2*c - 2*w - l for c.
-2
Let g = 10 - 13. Let i be (g/(-3))/(1/4). Solve -2*m - 30 = 4*j - 10, -m + 14 = -i*j for j.
-4
Let c(a) = 4*a**3 + 3*a**2 - 3*a + 1. Let o = 49 - 48. Let w be c(o). Solve 5*k + 18 + 7 = -5*x, k = w*x + 25 for k.
0
Let y be 4 - (5 - 9 - -4). Suppose -r - y*r = -0*r. Solve 1 = w - 4*h + 5, 3*w + 5*h - 22 = r for w.
4
Let h = -12 + 20. Suppose h*f = 4*f + 16. Suppose 14 = -3*y - f*m, -5*y + 3*m + m + 30 = 0. Solve -5*o + y - 13 = -4*s, 4*o + 13 = -s for s.
-1
Suppose 5*q - r - 8 = 0, -5*q = -q - 4*r. Solve q*y - 4*k + 3 = -5, -3*y = -5*k + 10 for y.
0
Suppose 4*w = -5*w + 81. Suppose 3 = -2*u - d + 6, -4*u + 3*d - w = 0. Solve u = -y - y + 5*c + 2, -4*y + 4 = 5*c for y.
1
Let x(j) = -j**2 + 10*j - 10. Let u be x(8). Suppose -93 = -6*z - 3. Solve -4*v = u*h - h + 10, -v = -5*h + z for h.
2
Suppose -14*t - 1404 = -53*t. Solve -4*b = 4*v - t, -5*v + 5*b + 7 - 2 = 0 for v.
5
Suppose 5*n - 3 = 4*n, -17 = -r - 5*n. Solve 18 = -m + 3*m + 4*b, 2*b = r*m - 6 for m.
5
Let v(h) be the third derivative of 7*h**4/24 - 5*h**3/6 - 9*h**2. Let s be v(5). Let d = -28 + s. Solve 2*i - 4*k = -k - 11, -d*i - 2*k = -14 for i.
2
Let r(b) = 4*b - 27. Let l be r(8). Solve m + 2*s = -3*m, -l*s = -m for m.
0
Suppose -5*r + 80 = 4*h, h - r - 3*r = -1. Let q = h - 13. Solve -q*g + 3*g + 8 = 4*y, 0 = 4*g + 4*y - 28 for g.
4
Let j be (-6)/24 - (-39)/12. Suppose -6 = j*q, -3*r - 2*q = -r - 24. Solve 4*g - 10 - r = -4*a, 2*a - 4*g = -18 for a.
1
Let h be (-3)/9*48/4. Let j be 5/5*(-8)/h. Solve 0*c + j = i - c, 0 = -3*i + 5*c for i.
5
Let y be (-2 + (2 - (-4 - -3)))*14. Suppose 4*z = -5*a - z + 30, a - y = -3*z. Solve 0 = -2*d + a*s, 2 = -5*d - 0*s + 3*s for d.
-1
Let c = -45 + 54. Suppose -6*p = -c*p + 15. Solve s + 2*s = p*u, -5*u - 5*s = 0 for u.
0
Suppose -q = -2*v - 4, 3*v = -2*q + 4*v + 8. Suppose 6 - q = c. Let y(d) = 2*d + 13. Let j be y(-6). Solve -c = 2*p - 3*r, 3*r - 2*r + j = -p for p.
-1
Let v = -11 - -10. Let f be (-2)/(v/(6/4)). Suppose -4*g - 4 = 3*i - 1, 3*i + f = -3*g. Solve 0 = 5*d + 20, 3*n + d + 1 = -g for n.
1
Let u be (-19 + 17 - 12/(-5))*30. Solve -5*x - 2*b = 7, x = -5*b + u + 5 for x.
-3
Let g be (-4)/(20/(-15)*1). Suppose -5*a + 161 = g*n, 3*a + 5*n - 72 = a. Suppose -z + 0*z + a = 0. Solve r + 11 = 3*u, -2*u + z = 4*r + u for r.
4
Let y = 1350 + -1343. Suppose 0 = -5*l + 3*i - 11, -2*i = 3*l + 3*i - 7. Let g = 3 + l. Solve -2 + y = -3*w - 4*q, q + 15 = g*w for w.
5
Let w be (-12 - -10)*(-1 - 4). Solve -2*s - o - 12 + 7 = 0, -2*s = -4*o + w for s.
-3
Let o = -97 + 80. Let d(v) = -9*v + 1. Let r be d(2). Let s = o - r. Solve -22 = 5*h + 3, 5*j - h + 15 = s for j.
-4
Let r(p) = 87*p - 174. Let q be r(2). Solve -20 = -4*h - 5*m, -4*m + 5 = h - q*m for h.
5
Suppose -o - 5 + 13 = 0. Let j be o/10*6 + (-2)/(-10). Solve 0 = u + 3, 5*u - j = 3*r - 23 for r.
1
Let r(s) = 18*s**3 - s**2 - 3*s + 6. Let h be r(1). Solve -4*i + 4*j + h = 0, -4 + 23 = -i - 5*j for i.
1
Suppose 44*y = -32*y + 304. Solve -r - 18 = y*r - j, 5*r = 5*j - 10 for r.
-4
Let v be -3 - (-20)/4*1. Let h be v/(-7) + 3 + (-27)/(-21). Solve -4*d - 36 = -4*a, 0*d = -5*a - h*d + 9 for a.
5
Suppose 66 = 866*i - 863*i. Solve 3*o + 3*k + 3 = 0, 4*o + 0*k + i = 5*k for o.
-3
Let q be 7/2 + 2/4. Let w = 92 + -90. Suppose 2*x = w*y - q, 7 = -0*y + 3*y - 2*x. Solve -3*j - 3 = -2*c, -y*j - 2 = 1 for c.
0
Let i(l) = 32*l - 341. Let t be i(11). Suppose 5*z - 15 = -0*z. Solve 2*p - z*b + 28 = b, p - t = -3*b for p.
-4
Let g(l) = -l**3 + 8*l**2 + 8*l + 12. Let h be g(9). Suppose -4*i - 9 = -2*s + 3, h*i + 6 = 0. Solve 3*u - s = 4*p + 18, -4*p - 5*u = -12 for p.
-2
Let t(a) = a**2 + 9*a + 12. Let i be t(-5). Let f be 42/28 + 2*(-6)/i. Solve -v + 1 = z, -2*v - 3 = -f*z + 3*v for z.
1
Let a(d) = 5*d**3 + d - 2. Let v be a(1). Suppose -2 = -2*o + 6. Solve -v*x - 2 = 2*r - 2*x, -o*x = 2*r + 12 for r.
4
Let a(m) = 2*m**2 + 9*m + 3. Let h be a(-5). Let v be (3 - 3 - -3) + h. Solve -2*c = 3*g + c + 12, 3*c = -4*g - v for g.
1
Let l be (-6)/(-18)*1*-3. Let t be 36/(-20)*l*10. Let q(o) = o - 14. Let k be q(16). Solve -4*u - 1 = 5*n, 3*u + k*n = 6*u + t for u.
-4
Let l(b) = -5*b + 5. Let k(w) = -1. Let q(o) = 4*k(o) + l(o). Let i be q(-2). Let d be (7/(-2))/(i/(-110)). Solve -2*y + m = 3*m, -2*y = -5*m - d for y.
5
Let i = -53 - -69. Suppose 0 = 28*v - 32*v + i. Solve -10 + 39 = 5*f - 3*y, v*f = -y + 13 for f.
4
Let a be ((-8)/9)/(11 - (-1717)/(-153)). Solve -23*s + 21*s = -a*h - 2, 4*h + 4*s = -32 for h.
-3
Let h be -8 + (1 + 2 - -10). Solve 0 = -2*m - 4*d - 16, 4*m + 0*d = d - h for m.
-2
Let s be (-6)/(-9) - (-44)/(-12). Let f = -5 - s. Let h be -1 + ((-3)/(-3) - f). Solve 0 = -3*u - 15, -h*b - 3*u - 18 = b for b.
-1
Let p be ((-3)/12)/(2/(-16)). Solve 0 = -4*z - 5*g + 20, -g - 10 = -p*z - 0*z for z.
5
Let r(p) = -3 + 13*p + 3*p**2 + 1 - 2*p**2 - 8. Let y be r(-14). Suppose -3*f - l = -0*l - 14, 2*l - 16 = -y*f. Solve 3*q + 3 = 0, -4*q = 5*v + f - 2 for v.
0
Suppose -4*z = i - 8, -20*i = -4*z - 15*i + 8. Solve 4*b + 4 = z*b + 2*o, 4*b = -3*o + 6 for b.
0
Suppose -2*z = -5*g + 37, z + 45 = -z - 3*g. Let h be (-3)/(-7) - ((-12)/z)/(-1). Solve -y + 4 = -5*n, 4*y + h = -2*n - 5 for y.
-1
Suppose -4*y + 4*j = -20, -5*y + j - 37 = -10*y. Let b(m) = -9 - 2 + 21*m - 19*m. Let z be b(y). Solve 0 = -2*u + r + 3, -3*r = z*u + 2*r + 15 for u.
0
Suppose 4*c = -20 - 28. Let d be (1 + -2)/(c/288). Suppose -7*m - 6 = -4*m + 3*n, -3*m + d = -3*n. Solve 5*r - 2*h - 24 = -m, 17 = 3*r + h for r.
5
Suppose 12 = 5*p - k + 4*k, 4*p - 3*k - 15 = 0. Let h(l) = -l**2 + 1. Let b be h(-1). Solve p*c = -2*u + 5, -3*c + u + 20 = -b*c for c.
5
Let t(k) be the second derivative of k**5/5 - k**3/6 + 2*k. Let o be t(1). Suppose 9 = 4*n - o*n. Solve 2*b = b - 3*r + 19, -5*r = -4*b - n for b.
4
Let u = 97 - 92. Solve -w + 0*y = -u*y + 3, 5*y - 6 = 2*w for w.
-3
Let v be 16 + -11 + 0 + 1. Solve -8*h + 4*h = 4*s + 4, -v = 2*h - 2*s for h.
-2
Suppose 6*d - 15*d = 0. Suppose 0 = -0*j - 4*j. Let o = j + d. Solve 10 = -3*a + 5*k, k + 2*k - 6 = o for a.
0
Suppose 2*i + 10 = 4*i. Suppose 0 = -2*h - 4*l, 4*h + 7 = -4*l - i. Let r be ((-2)/h)/((-2)/(-30)). Solve 5*w = r*b, -3 - 29 = 3*b + 5*w for b.
-4
Let f = -1357 + 1361. Solve 5*t - 3*t = -o + 9, 4*o - f*t = -12 for o.
1
Let z(g) = g**2 + 12*g + 35. Let l be z(-7). Solve 2*n - 12 = -l*s - 5*s, -2*s = n - 4 for s.
4
Suppose 0 = -5*u + 1 + 14. Suppose 3 = 2*k - 2*z - 3, -u*k - 2*z + 4 = 0. Solve -3*c - 2*c + k*x = -21, 4*x - 3 = -5*c for c.
3
Let f = -13 - -39. Suppose 8*x - f + 2 = 0. Solve 6 = x*b, j + 5 = 7*b - 3*b for j.
3
Let k = 241 + -231. Solve 0 = -3*o - 2*q - k, 2*o = 4*q + 14 + 6 for o.
0
Suppose -4*b - 2*b = -210. Let v = 40 - b. Solve a + 4*r = 18, -7 = v*a - 4*r - 1 for a.
2
Suppose -2*q + 12 = -2*x, 17*q + 5*x - 6 = 13*q. Solve -b - c = -3, c = 2*b - q*c + 29 for b.
-2
Let r be 0/(-1) + 1 + -1. Let g(t) = -t + 12. Let m be g(11). Suppose -4*l - 17 = -3*v, l + 1 + m = 0. Solve 0*x - 4*a - 23 = v*x, x - 3*a - 14 = r for x.
-1
Let q(o) = -o + 10. Let j be q(6). Let k = 6 - 8. Let z be (-3)/((-6)/(-8)*k). Solve 0 = 4*h - 2*x + 12, z*x + 3*x = j*h + 18 for h.
-2
Let b(r) = -r**3 + 6*r**2 + 8*r - 8. Let x be b(7). Let v be ((x - 2) + 4)*0. Suppose v = 2*o - 1 - 7. Solve -3*u - 9 - 9 = c, 2*u = o*c + 2 for c.
-3
Suppose -3*n - 4*i + 474 - 35 = 0, 2*i = 4*n - 600. Suppose -3*m - n + 158 = 0. Solve 0 = v - r + 1, 5*v - 9 + 30 = -m*r for v.
-3
Let q(s) be the second derivative of s**4/6 + s**3/3 - s**2/2 - 10*s. Let v be q(1). Solve -c + 3*i - 4*i - v = 0, 2*c + 3*i + 7 = 0 for c.
-2
Let x = -2731 - -2