2
Let z(k) be the first derivative of k**3 + 1/4*k**4 + 12 + k + 1/2*k**2. Let v be z(-2). Solve -3*y = -v*x, 0*x - y - 3 = -4*x for x.
1
Suppose -6*s + 20 + 10 = 0. Suppose 25 = -s*q - 0, 5*g - 165 = -5*q. Let i = g - 32. Solve 5*r - 4*x - i = 0, -7 = 6*r - 11*r + 3*x for r.
2
Let s(m) = m**2 + 7*m - 5. Let i be ((-5)/(-25) - (-148)/60)*-3. Let a be s(i). Solve 0 = -a*r - f + 7, -4*r - 5*f = -3*f - 8 for r.
3
Let n = 245 - 238. Let w be 22/539*-7 + 2/n. Solve -4*d + 3*z + 2 + 0 = w, -4*z - 13 = 5*d for d.
-1
Let d(o) = -13*o - 2. Let b(n) = -585*n - 91. Let p(q) = 2*b(q) - 91*d(q). Let c be p(2). Let k = 28 - c. Solve -k*g + 8 = -4*g + i, -g - 6 = -i for g.
-2
Suppose 8 - 2 = 2*t. Suppose -x = 3 + 50. Let p = -51 - x. Solve -t*j - j = 3*f - 10, -p*f + 5*j = 24 for f.
-2
Let o be 8 - (3/15 + 0)*30. Solve -3*z = 0, o*z + 4 - 1 = i for i.
3
Let u(q) = -2*q**2 - 32*q + 86. Let x(l) = -l**2 - 15*l + 44. Let t(k) = 3*u(k) - 7*x(k). Let a be t(4). Solve 4*f - 3*i + 25 = 0, -a*f - 20 = -2*i - 6 for f.
-4
Suppose -291*u + 283*u + 40 = 0. Suppose 0 = -4*h + 12 + 4. Suppose -o - h*o + 15 = 0. Solve u = 5*y + 5*i, 0 = o*y - i - 2*i + 9 for y.
-1
Let r be -6*(9/(-6) - -1). Let p(y) = 120*y - 5398. Let c be p(45). Solve r = 3*g - 0, -c*z - g = 9 for z.
-5
Suppose 20853*f - 20834*f = 57. Solve f*p = -j - 1, 2*p - 5*j - 29 = -58 for p.
-2
Let d = -20 + 29. Let q be 103/(-2) + (-2)/4. Let h = q - -53. Solve 4 + h = 3*s + 4*j, -2*s + 3*j + d = 0 for s.
3
Let j(k) = -3*k**2 + 5*k - 3. Let w be j(3). Let m = -79 + 82. Let x be w/m*2/(-2). Solve -3*z + n = -z - 5, -x = z + n for z.
0
Let g(v) = -7*v + 184. Let j be g(14). Suppose 0 = j*p - 104*p + 90. Solve -3*a + 6 = a + 5*r, -4*a + p*r + 26 = 0 for a.
4
Let v(x) = -x - 14. Let f be v(-16). Suppose 4*d - f*k - 35 = -k, 3*d = 4*k + 36. Suppose d*s = 12 + 12. Solve 4 = 5*g + s*y, -2*g - 4*y - 8 + 4 = 0 for g.
2
Suppose 98 - 47 = 28*j - 11*j. Solve -h - 18 = -5*x, -2*x - j*h + 19 = 5 for x.
4
Let w be (0/43)/((-16)/(-2)). Solve -r + 17 = -6*t, w*r + t - 3 = -r for r.
5
Let w = 405 + -242. Let n = 246 - w. Let q = -81 + n. Solve q*o - 22 = -5*i, 3*o + 0 = 3 for i.
4
Let s = 4351 - 4348. Solve y + 2*h = 4*h - 5, -3*y + s*h - 12 = 0 for y.
-3
Let o = 800 - 760. Solve -8*z + 3*h - o = -13*z, -2*z + 5 = -h for z.
5
Let s(f) = -2*f**2 + 64*f + 13. Let j(q) = q**2 + 29*q - 220. Let m be j(-36). Let u be s(m). Solve -l = 3*v + 10, -v + 5 - u = 5*l for v.
-3
Let w be 570/342*36/15. Solve -3*o = 10*k - 5*k - 8, o = -2*k + w for o.
-4
Suppose 9*k - 26*k + 85 = 0. Solve 3*p - 13 = -p + k*a, 0 = -p - 2*a for p.
2
Let f be (5 + 0 - 1) + (-20)/4. Let b be (f + 5/4)/(15/180). Solve -4*a + b*u = -1, -4*a + 5*u = -a - 9 for a.
-2
Let m(n) be the third derivative of n**5/60 + 5*n**4/12 + 2*n**3/3 - 170*n**2 - 1. Let p be m(-10). Solve -p*i + 2 + 16 = 2*k, -3*i + 3*k = 0 for i.
3
Suppose 2*y + 2*w = 40, -86 = -3*y + 4*w + 9. Suppose -5*c = 5*b - 25, 2*c + y*b = 24*b + 5. Solve c = -5*f + z + 2, 0 = -6*f + 3*f + z for f.
1
Let d(w) = 2*w**3 - 20*w**2 - 13*w + 284. Let c be d(9). Solve c*s - 6*q = -2*q + 22, -s + 4*q = -14 for s.
2
Let w = -13 - -15. Let y be ((-415)/(-581))/((-1)/(-7)). Solve -3*a - 4*z + 2 = -y*z, w*a = 4*z - 2 for a.
1
Let y(b) = -61 - 4*b - 97 + 57 + 0*b. Let g be y(-26). Solve -5*m - 30 = 4*q, 5*m = -g*q - 16 - 9 for m.
-2
Let w(l) = l**3 - 18*l**2 + 74*l - 19. Let z be w(12). Solve z*s + 2*m = -10, 4*s - 18*m = -16*m - 26 for s.
-4
Let q be 7 + (13 - 8)*2/(-5). Let s be 15 + -9 + (q - 7). Solve n + 13 = s*n + 2*h, -n = -5*h - 10 for n.
5
Let k = -3557 - -3560. Solve 5*q = -k*u - 18 + 2, -q + 4*u + 6 = 0 for q.
-2
Let m = 6 + -3. Let v = 487 + -258. Let q = 234 - v. Solve 4*o - 3*j - m = -7, 28 = 4*o + q*j for o.
2
Suppose -12 = -4*f + 2*f. Let h(o) = 21*o - 46. Let n(j) = 68*j - 137. Let c(p) = 7*h(p) - 2*n(p). Let b be c(5). Solve 5*x - d + f = -b, -x + 2*d = 8 for x.
-2
Let h(n) = n - 6. Let y be h(9). Let m be (-3795)/(-385) - (-6)/(-7). Solve b = y*a + 3, 2*a = -m*b + 5*b - 2 for b.
0
Suppose 5330 - 4595 = 147*v. Solve m - 5*q + 42 = 15, 15 = -v*m + q for m.
-2
Let p be ((-10)/2)/((-10)/268). Suppose 0 = -4*v - 118 + p. Solve a - v*a + 3*u = 0, 7 = -5*a - 2*u for a.
-1
Let u(k) = -15*k**2 + 33*k - 11. Let a(o) = 23*o**2 - 49*o + 18. Let m(b) = -5*a(b) - 8*u(b). Let n be m(4). Solve 1 = n*x + 3*p - 1, -3*p + 7 = x for x.
-5
Let q(v) = -v**3 - 7*v**2 + 5. Let l be q(-7). Let z be -10*(6/3)/((-4)/1). Solve z*r - 3*w = 13, 0 = 2*r - l*w + 4*w - 5 for r.
2
Let v(h) = -76*h - 5925. Let d be v(-78). Solve -a = d*a - 4*g, -20 = -3*a - g for a.
5
Let c = -4889 - -4907. Let t(k) = 13*k**3 + 2*k**2 - 1. Let b be t(1). Suppose -9*h = -b*h + 175. Solve -3*l + c = -3*r, 3*l = 5*r + h - 9 for r.
-4
Let x(m) = 9*m + 5*m - 13*m + 92 - 96. Suppose 0 = -2*v + v + 7. Let p be x(v). Solve 12 = -p*i, i + 2 = -q - 2 for q.
0
Let k(q) = -201*q - 6196. Let t be k(-31). Solve 3*a = -5*n - t, 6*a + 3*n - 3 = 9*a for a.
-5
Let f(r) = -40*r - 2550. Let t be f(-64). Solve -t = -103*q + 101*q - 3*i, 0 = -4*q + 3*i + 2 for q.
2
Suppose 3*d = 2*l + 3, 6*d - 4 = -2*l + 2*d. Suppose l = c - 0*c. Let k = -601 - -605. Solve 0 = -c*y - y - 1, a + 5*y = -k for a.
1
Let d(n) = 147*n - 145. Let i be d(1). Solve -i*k - k + 19 = 4*t, -k + 9 = 4*t for t.
1
Suppose -3*s - q + 25 = 0, -9*q + 47 = 5*s - 10*q. Let b be 4/14 - 44/7. Let m be 6/s + (-92)/b. Solve -c - 2*c - 3*p = -6, -2*c - 5*p = -m for c.
-2
Let j(b) = -4*b**2 - 128*b - 743. Let t be j(-24). Let x be (-3)/(2/(-2) + 0). Let s be 2/(-3) + 2/x. Solve 5*f = -w - 20, f + t = -s*w + 4*w for f.
-5
Let l(z) = -7*z - 6. Let w(a) = -a + 1. Let y(k) = -l(k) - 2*w(k). Let h be y(1). Suppose -22 - h = -7*d. Solve 3*q + 3 = d*v, v + q + 3*q = 19 for v.
3
Let p(c) = c**3 + 5*c**2 + c + 2. Let n be p(-3). Let o = 1332 - 1332. Let m(w) = -w - 3. Let j be m(-8). Solve o*h - 4*u - n = -h, -h = -u - j for h.
1
Let h(m) = 3*m - 26. Let r be h(10). Let y = 40 + -40. Let q = 2 - y. Solve -v + r*v = 3, 2*v = q*j - 2 for j.
2
Let w = -112 + 126. Let t be 1/w*4 - 2748/(-84). Let y = 38 - t. Solve y*s + 20 = 3*i, 4*s = -0*i + 3*i - 16 for i.
0
Suppose 12*t - 478 = -m, -5*t + 5*m + 287 = 77. Solve -4*x + 4*f + t = 0, 12*f - 5*f + 30 = -x for x.
5
Let t be 1*((8 - -4) + 0). Let w = 2 - t. Let o be 4/w + 44/10. Solve -o = 5*v - v, 4*v - 12 = 4*z for z.
-4
Let a be -3 - (6 + -13 + 0). Suppose -33*f = -32*f - a. Solve -w = 2, 1 = -f*j + 3*j - 2*w for j.
3
Let u(v) = -v + 26. Let g(m) = m**3 - 7*m**2 + 5*m + 8. Let p be g(7). Let h be p/2 - 5/(-30)*3. Let a be u(h). Solve -a*i - z - 6 = 0, z + 2*z = -i + 4 for i.
-2
Let a be 11 + 0/(-1 + 0 - -3). Suppose -a*t = -45 - 65. Suppose 77 = t*m + 27. Solve -m*h - 4*p = 19, 4*h + 2*p + 3 = -11 for h.
-3
Suppose -5*h - 2*b + 62 = 0, 16*h - 13*h + 2*b - 42 = 0. Solve 0 = r - g - 5, 2*r - h = -2*g - g for r.
5
Let p be (1805/57)/(0 - (-1)/(-3)). Let u = p + 94. Let l be (10/15)/(u - 7/(-6)). Solve -4*s + 0*s = 5*o + 13, -l = s + 2*o for s.
-2
Let j(p) = -p + 9. Let c be j(5). Suppose 22 = -5*q + 2, -l - c = 2*q. Let s be (l + 1)*7/((-70)/(-8)). Solve 0 = -r - 5*d + s, 0*r - 5*d + 9 = -4*r for r.
-1
Let n(z) = 309*z - 1850. Let a be n(6). Solve -g + 3*h - a + 11 = 0, -3*h - 3 = -3*g for g.
-2
Suppose -301 - 172 = -34*c - 133. Solve 30 = -u + 5*f, -u + 4*u = -f - c for u.
-5
Let d(f) = -f**3 + 9*f**2 - 8*f + 14. Let h be d(8). Let q(t) = -t**3 + t**2 + 2*t. Let m be q(-1). Solve 3*o + 6 = -m, -3*c - 4*o - h = 0 for c.
-2
Let c(a) = -a**2 + 19*a - 45. Let y be c(3). Let p be 8 + -2 + y - 15/3. Solve -4*m + p*b + 36 = 0, -31 = -5*m - b - 10 for m.
5
Let d(w) = w**3 + 11*w**2 - 14*w - 25. Let s be d(-12). Let h be 4 - (0 - (s - 1)). Solve -2*b = 3*b + h*f, -5*f - 15 = 5*b for b.
2
Let k be -14*(-54)/(-24)*2. Let g be k/105 - 84/(-15). Solve -5*x - 4*t = -10, 0 = g*x - 0*x - 3*t + 25 for x.
-2
Suppose -1024*j + 1040*j = 64. Solve -j*b + 0*b - 5 = -5*h, -5*b - 5*h + 5 = 0 for b.
0
Let l = 76 - -30. Suppose -5*w + 5*a = 135, 0*a = 4*w - 5*a + l. Let u = -20 - w. Solve 4*f + 8 = 0, 3*t + 3*f - u = -2*t for t.
3
Let r be (-180 - -191)*(0 + 4). Solve -28 = -4*g - 48*s + r*s, -g - 5*s = -15 for g.
5
Let z be -4*28/32 + (-90)/(-12). Solve 4*w + 3*p - 17 = 0, z*p - 2 = -7*w + 12*w for w.
2
Sup