 first derivative of -o**2/2 - 15*o + 42. Let s be l(-15). Solve 0 = -a*t + r + 18, s = -3*t - 4*r - r - 6 for t.
3
Suppose 2*h = z + 11, 5*h = -5*z + 15 + 5. Let v be -5 + ((-18)/(-6) - -4). Let a be (-3 + 0/v)/(-1 + -2). Solve -5*u + h = -0, a = 2*x - u for x.
1
Let d(j) = -21*j - 349. Let k be d(-17). Solve 12 = 4*g + k, -5*g - 3 = -2*s for s.
4
Suppose 93*f = 98*f, -k = 5*f - 2. Solve -k*z = -2*n - 6, -2*z = 6*n - 10*n - 6 for n.
0
Let j be 24/(-324) - (1233/(-243) + 3). Solve j*c + 7 = b, 27 = 11*c - 13*c + 5*b for c.
-1
Let n(b) = b**2 + 639*b + 3812. Let l be n(-6). Solve 5*h = -q + l - 22, 0 = -q + h - 2 for q.
-3
Let r be (45/(-105))/(1/(-7)). Let p be (4/(-14))/((-3)/((-126)/(-12))). Let z = 13 - -9. Solve 2*c + z = -2*s - 3*s, -s = -r*c + p for c.
-1
Let r = 16 - 10. Let p(f) = -2*f**2 + 3*f**2 - 4*f + 3028 - 3035. Let z be p(r). Solve -4*h = -z*g + 6, -g - 2 = -4*h - 0*h for g.
2
Let q(s) = -s**2 + 4*s + 1. Let w be q(3). Let f(k) = -35*k - 4. Let t be f(2). Let d = -70 - t. Solve -w*b + 9 = 3*p + 4, d*b - p = 9 for b.
2
Let j(m) = -m**3 - 13*m**2 + 17. Let b be j(-13). Let y = b + -15. Suppose 3*k - 20 = y*r, 9 = 4*k - 2*r - 17. Solve 4 = -4*t - 4, -t + k = -4*g for g.
-2
Let a(f) = 7*f - 50. Let q be a(-6). Let l = q + 98. Suppose -5*x + 0*g = 2*g - l, 5*x - 5*g - 20 = 0. Solve 12 = -2*y - x*k, -4*y - 2*k = y + 21 for y.
-3
Let c = -313 - -345. Suppose 26 - c = -2*n. Let m(h) = h**2 - 5*h + 2. Let p be m(6). Solve -2*b - 3*t = -5 - p, 2*t - 12 = -n*b for b.
2
Let k(j) = j**3 - 3*j**2 + 5*j + 15. Let l be k(0). Solve 5*i + 5 = 0, -2*b - 4*i - l + 5 = 0 for b.
-3
Suppose 5 = 4*t - 7. Suppose 0 = 5*j + 3*r - 30, 4*j - 4*r + r = -t. Let g be 8 + 105/70*-2. Solve -j = g*i + 2*c, 0 + 2 = 2*i + 4*c for i.
-1
Let k(o) = o + 26. Let i be k(15). Let j = 41 - i. Suppose 0 = -5*s + u + 2 + 19, -s + 21 = 4*u. Solve j = -4*x + 4*l - 6*l + 10, s*l = 3*x - 14 for x.
3
Let f(c) = c**2 + 37*c + 289. Let v be f(-11). Solve 2*b + 3 + 9 = v*k, -4*k + 16 = -4*b for b.
0
Let h = -3723 + 3725. Solve -a - 7 - h = 2*g, 15 = -4*g + a for g.
-4
Let x be -3*(4/3)/(-2). Let k be (-5184)/(-1008)*7/(-5)*(-20)/12. Solve 3*g + g = k, 3*a + 12 = x*g for a.
-2
Let s(k) = -16*k + 17. Let z be s(2). Let g(c) = -c**3 - 14*c**2 + 14*c - 13. Let u be g(z). Solve 3*t - 2*w + u = -15, 0 = t + w - 1 for t.
-3
Let l = 14 + 32. Suppose 4*o - l = 30. Solve 4*b - 20 = -4*t, b - 4*b = 5*t - o for b.
3
Suppose -2*w + 3 = 3*l - w, 2*w - 2 = -2*l. Let f be l + (3 - 0/6). Solve -1 = -f*v + 3*v - 2*j, 2*j + 9 = -3*v for v.
-5
Let v = 9914 + -9914. Solve -h + 16*i - 18*i - 14 = v, -3*h - 17 = i for h.
-4
Let v = -4 - -24. Suppose -6*i = 4*i - v. Suppose 0*d - 6 = -i*d. Solve -16 = 5*g - l + 1, g + d*l - 3 = 0 for g.
-3
Suppose 18 = j + 2*c, 5*j + 4*c - 35 - 31 = 0. Suppose 14*i - 60 = j*i. Solve 0 = -t + 2*m - 5, 3*t + i = 2*m - 0*m for t.
-5
Let v = -98 - 22. Let g be 422/15 - -4*4/v. Suppose -33*k = -g*k - 30. Solve 35 = -w + k*w + 5*a, -2*w + 16 = 3*a for w.
5
Let z be ((-1224)/187)/(-12) - (-38)/11. Solve 0 = -5*b + z*i - 0*i - 3, 3*b = 3*i for b.
-3
Let b(k) = 4*k**3 + 357*k**2 + 87*k - 140. Let i be b(-89). Solve -j - 2*m + 0 = 5, 3*m - i = 5*j for j.
-7
Let z be (6 - (27 - 0))/(-7). Solve -5*x - 15 = z*a, -6 - 14 = 4*a + 5*x for a.
-5
Let d = -691 + 1193. Suppose 6 = 504*z - d*z. Let v = -5 + 14. Solve 0 = -3*t + v, -2*a + 3*t = z*a + 19 for a.
-2
Let s = -401 - -526. Solve -2*x + 20 = 4*y, -2*x = 2*y - s + 113 for y.
4
Suppose 0 = -u - 3*r + 1 + 4, 3*u = 5*r + 15. Suppose -u*f - 8 = -9*f, 4*s - 10 = 3*f. Solve 2 = -c + d, s*d = 3*c - 3 + 12 for c.
1
Let a = -2023 + 2028. Solve -d - 4*r = 11, a*r + 5 = -10 for d.
1
Let w = -3368 - -3373. Solve -w*b + o = -10, -2*o - 2*o + 35 = 5*b for b.
3
Let i(p) = -p**3 + 14*p**2 + 39*p + 18. Let j be i(-2). Solve 2*u + 12 = -j*l, 3*u - 6*u = l + 3 for l.
-3
Let t(s) = -2*s**2 - 121*s + 386. Let l be t(3). Solve 36 = 3*u - 2*r + 31, -5*r + 50 = l*u for u.
5
Let x be -4 + (42/10 - 9/45). Solve x = -4*b + 5*o - 7, 1 = b - 0*o - 4*o for b.
-3
Let d be (-4)/(-2 + (-2 - -3)). Let f = 14 - 263. Let s = f - -251. Solve -2*g = -3*o - g + 5, s*g + 6 = d*o for o.
2
Let s = -3252 + 3257. Solve n + 15*r = 10*r - 11, s*n - 5 = -5*r for n.
4
Let u(z) = z**3 + 10*z**2 - 10*z + 15. Let n be u(-11). Let y(w) = 13*w + 589. Let l be y(-45). Solve 0*x = n*x - 4*f + 16, 5*x = l*f - 20 for x.
-4
Let n be 3 + 7/9 + -6 + (-336)/(-54). Solve -4 = 2*g + n*d, 3*g + d = 4*d - 15 for g.
-4
Let w be (5/(-3))/(4*1/12). Let m be w/(-3) - (-12)/36. Let c(y) = -y - 9. Let z be c(-15). Solve -a - o = -m, a + 16 = z*a + 3*o for a.
5
Let k(g) = 8*g**3 + 8*g**2 - 17*g + 8. Let o be k(1). Solve -3*z = -o*z + 8, -z + 14 = 3*c for c.
4
Let k(g) = -4*g**2 - 16*g + 3. Suppose 3*w - 4*d = -w - 4, 0 = -w - 5*d - 19. Let h be k(w). Solve -m - h*b + 5*b = 0, 4*m + 6 = 2*b for m.
-2
Let p = 5467 - 5443. Solve 0 = -3*d + z - 2, 0 = 3*z + 3*z + p for d.
-2
Let x be (-2)/13 + (-5944)/(-104). Suppose x - 120 = -9*l. Solve 5*c + 9 = -d, 0 = 2*d - 0*d - c + l for d.
-4
Let s be (3 - -5) + -3 + (13 + -13)/(-19). Solve l - s = 0, 5*z - 10*z = l + 10 for z.
-3
Suppose 0 = -3*d - 4*j - 36, -d - 20 - 3 = 5*j. Let w = d - -9. Suppose -3*a + 2 + w = 0, -5*a = -4*z - 5. Solve 0 = -3*b + 2*y, -y = 4*b - z*y for b.
0
Suppose -2*s - 5*p = -17, 2*s + 0*s - 4*p - 62 = 0. Suppose -m = -0*m + 4*r - s, 4*m = 5*r. Solve 2*u - 4*w = 8, 3*u - 4*w - m - 1 = 0 for u.
-2
Suppose 175*s = -67*s. Solve 6*c - 8 = 5*c + 2*z, -4*c - 5*z + 6 = s for c.
4
Suppose -8*n + 9*n = 0, -51*d + n - 45 = -54*d. Suppose 4 + 0 = 4*i + 4*x, -4*i - x = -16. Solve 5*l + 5*o + 2 = -23, 0 = -5*l + i*o + d for l.
-1
Suppose 2*v + 7*a + 42 = 4*a, -4*v + 4*a - 44 = 0. Let k be (-24)/20*v/6. Solve 2*y - 4 + 10 = k*n, 2*y - 5*n = -14 for y.
3
Let b(f) = -2*f**2 + 17*f - 6. Let g be b(10). Let q be (0 + -1)/(-8 + 6)*g. Let l(r) = r + 22. Let w be l(q). Solve 0 = -c - 3*i + 8, -2*i + 0 - 8 = w*c for c.
-4
Let j be ((-231)/(-132))/(-2 - (-17)/8). Suppose 6*x - 10 - j = 0. Solve -x*v - l = l + 14, 4*v + 5 = l for v.
-2
Suppose 24 = v + k - 41, 2*v - 122 = 2*k. Suppose 0 = 78*a - v*a. Solve -x + 1 = -a*j - j, -5*j = -x - 7 for x.
3
Suppose 0*o - 2*o = -12. Let k(t) = t**2 - 3*t - 18. Let g be k(o). Solve -2*n + 4*n + 5*y + 2 = g, 3*n + 3 = 2*y for n.
-1
Let z be ((-2)/(-3))/((-2)/(-60)). Suppose 3*x = -2*t + 65, -5*t + 105 = 4*x - 68. Suppose 19*c - 39 = t. Solve -2*j = 0, -c*l - 2*j - j = z for l.
-5
Suppose 849*q = 853*q + 2*t + 4, 5*q + 5*t + 10 = 0. Solve -3*w = -3*l + 9, q = 3*l - 15*w + 18*w - 9 for l.
3
Let x(w) = -621*w - 1238. Let a be x(-2). Solve -a*c + 24 = 2*t, 14 = -5*t + 2*c - 10 for t.
-2
Let a be (-4)/10 - 77/(-5). Let i be (-9)/(-15) + (-4 - (-46)/(-10)). Let h be (i/22)/(24/(-132)). Solve -2*t = -2*f - 8, -5*t - h*f = -0*f + a for t.
-1
Let h be ((-32)/(-56))/((320/210)/32). Suppose t - 6*t + 15 = 0. Solve t*f - 10 = 2*x + 3, 4*f = h for x.
-2
Let q be 0/((-1 + 8)*(-273)/(-1911)). Let f be (-2 + 5)*(-4)/(-2). Suppose f*k - 2*k - 20 = 0. Solve q*g = -5*g - t + 20, -k*t = 25 for g.
5
Suppose -n + 1 = -3. Let v(y) = y**2 + 3472*y + 34623. Let d be v(-10). Solve -n*b = o + 17, b = -d*o - 7 - 11 for o.
-5
Let s(x) = x + 6. Let w be s(7). Suppose -2*y = -w + 3. Let l be -6 - (57/(-7) - (4/1)/(-28)). Solve 6 = -y*c - l*t, -3*t - 2*t + 10 = 0 for c.
-2
Suppose -3057*z - 27 = -3066*z. Solve -4*c + 10 - 1 = z*h, -2*h = -c - 6 for c.
0
Suppose -427 = -28*l - 33*l. Suppose 17*r - 228 = -l. Solve u + 34 = -4*u + 3*a, 2*u - a + r = 0 for u.
-5
Let v = 17049 - 17037. Solve 5*k - q = v, 2*k - 13*q = -14*q + 9 for k.
3
Let x(u) = -20*u + 80. Let w(v) = 7*v - 27. Let f(n) = 17*w(n) + 6*x(n). Let o be f(-17). Solve 4*l + 5*j + 3 = -o, -5*l - 10 = -2*j for l.
-4
Suppose -3*c - 25 = -a - 36, 45 = 5*a + 5*c. Solve 0 = 2*z + t - 2*t - a, 0 = 5*z + 5*t - 10 for z.
2
Suppose 37*k + 1192 - 6444 = -64*k. Solve 5*t = 3*i - 6, 4*i - k = 5*t - 39 for i.
7
Let f be (-9 - -8)*(37 - 2). Let t = f + 31. Let s be 6/t + (-270)/(-60). Solve -2*j = -k - 9, s*k + 2*k - 4*j + 15 = 0 for k.
1
Let g = 9080 - 9066. Solve 5*u + g = -6*o + 5*o, 3*u = -6 for o.
-4
Suppose -20*w = -12*w - 88. Let i = -9 + 16. Suppose 9*r - w = i. Solve -r*j = -4*g - 5 - 1, 3 = -5*g + j f