ve -2*v + k = 0, 0 = c - 3*v + 2 for c.
1
Suppose -329 = -139*l - 51. Solve -b - l*b + 14 = 2*t, -8 = -4*b for t.
4
Suppose -n + 12 = 4*u - 3, 5*n - 27 = -4*u. Suppose 5*x = 5*s - 45, 7 = u*s - 2*x + 4*x. Solve 5 = -5*t, -s*g + t = -2*t - 3 for g.
0
Suppose -3*o + 15 = 0, 458 = -5*c - 2*o - 92. Let p be 2 - (-22)/(-10) - c/35. Solve l = -2*q - q - 12, -3*q = -p*l for l.
-3
Let b(t) be the third derivative of t**4/12 + 7*t**3/3 - 24*t**2 + 1. Let u be b(-6). Solve 4*x + u*l + 26 = 0, 0*l - 16 = 5*x - 3*l for x.
-5
Let s = -21752 - -21767. Solve i + 43*j = 48*j + 33, 2*j = i - s for i.
3
Suppose -29 = -5*m + 3*y, -y + 3 = 1. Suppose 832 = -m*b + 846. Solve -b*l + 6*l - 16 = 4*s, 5*l - 4*s = 16 for l.
0
Let q = -8969 - -8976. Solve 0 = 5*p + 15, 4*i - 3*i + 3*p + q = 0 for i.
2
Suppose -99*k = -837 - 549. Solve 5*u + 3*x = k, -u - 3*x - 31 + 29 = 0 for u.
4
Let t be (-106)/(-159) - 12/18. Solve -h - 4*i = t, -8*h - 4*i - 16 = -11*h for h.
4
Let o(s) = -206*s - 1436. Let j be o(-7). Solve j*k - 3*k = -3*c, k = -5 for c.
5
Suppose -6 = 2*n, 4*p - 4*n + 88 = 8*p. Solve -1 = -t + 4, 3*u - p = -5*t for u.
0
Suppose -36 - 33 = -23*u. Suppose -h = 3*m - 15, -5*m + 4 + 21 = u*h. Solve 0 = -l + 3*p + 12, 2*p + h*p = -5*l - 25 for l.
-3
Suppose -472 - 392 = -12*s. Let c = s + -77. Let o be (-6)/15*c/(-1 + 2). Solve 0 = -3*t + o*b - 1, 5*b = -2*t - 26 for t.
-3
Let a = 97 + -85. Let c be 8/a + (-112)/(-21). Solve -11 = w - 5*l, 2*w - 2*l - 20 = -c*l for w.
4
Let d be (-1*8/8)/1. Let g be 132/48 - (-2)/(-8)*d. Solve 16 = -2*q - 2*l, l + 3*l = -g*q - 29 for q.
-3
Suppose 0 = -5*x + 2*c + 6, 7*x - 5*x - 16 = -6*c. Solve -b - 2 = x*i - 5*i, b + 2*i = 3 for b.
1
Let s = -727 - -735. Solve 3*p = o - 6, 2*p - 4 + s = -2*o for p.
-2
Suppose 4*w - 4 = -5*s + 160, -5*s - 2*w + 172 = 0. Let b = -14 + s. Let u be 4/22 - ((-106)/b + 1). Solve 0 = 4*x + 5*g + 24 + 13, 0 = u*x - g + 7 for x.
-3
Let l(t) = -72*t + 4992. Let w be l(69). Solve 4*b = -3*a - 5 + w, 3*a + 2*b - 17 = 0 for a.
5
Let z = -16434 + 16440. Solve 3*k + a - 3 = 0, -z = -3*k - 81*a + 79*a for k.
0
Suppose 0 = b + f - 4, 2*b - 4*f = -7*f + 8. Let u be b*3/(-2)*8/(-12). Solve u*r = 20, 4*o - 6*o - 4*r + 16 = 0 for o.
-2
Suppose 5*k - m - 7 = 0, -3*k - 2*m + 8 + 4 = 0. Let i = k + 2. Solve -4*f - 5*p - i = 0, 0*f - 3*f = 3*p for f.
4
Suppose 4*s = -2*z + 72, -5*s - 7*z + 6*z + 87 = 0. Solve 0 = -3*q + m + s, 4*q - m = 3*m + 28 for q.
5
Suppose 3*t - 15 = 3*y, 16 = -t - 6*y + 7. Let o(j) = j**2 + j - 1. Let x be o(-3). Suppose -x*v - 4 + 24 = 0. Solve -15 = c + t*d, 0*d + v = -d for c.
-3
Let g(s) = -s**3 + 6*s**2 + 3*s - 9. Let n be g(6). Suppose 925 = -4*z + n*z. Suppose z*q = 180*q. Solve -4*r - 4*m = 8, q = -3*r + m - 5 - 1 for r.
-2
Let t(p) be the second derivative of -1/2*p**3 + 15/2*p**2 - 23*p + 0. Let h be t(4). Solve -3*b + 2*n + 2*n = h, -n = -3 for b.
3
Let a = -4186 - -4188. Solve 3*w - 19 = -5*p + p, a*w + 5*p - 22 = 0 for w.
1
Let j(g) = 2*g**3 + 16*g**2 - 2*g - 11. Let c be (6 - 5)/(1/(-8)). Let b be j(c). Solve -v + b*x = 7, 0*x = -v + x - 3 for v.
-2
Let p(b) be the third derivative of b**5/30 - 47*b**4/24 + 20*b**3/3 - 38*b**2. Let x be p(23). Solve y = -s + 2*y - 8, -4*s - x = -y for s.
-3
Let k(m) = m**2 - 2*m + 4. Let z be k(6). Solve 2*p - z = -5*l - 2*p, 4 = 2*l - 2*p for l.
4
Let u(d) = 4*d + 1. Let f be u(-1). Let m be (-2 + 1)*3/f*0. Let n be 2 - (-1 - (2 + m)). Solve -w = -3*l + n*l - 13, -2*w + 3*l = 9 for w.
3
Let n = -172 + 208. Let j = n - 24. Solve 4*w - j = 2*y - 0*w, -2*w = 4*y + 4 for y.
-2
Let p(v) = -v**3 - 13*v**2 + 14*v + 5. Let t(f) = -14*f. Let n = -24 - -25. Let o be t(n). Let w be p(o). Solve -4*h + 7 + 19 = 3*u, 0 = h - w for u.
2
Let w = 2785 - 2765. Suppose -5*r - 5*a = -10, 5 + 13 = 4*r + 2*a. Suppose 4*u - 10 = -2. Solve -w = -5*p - 4*y, -1 - r = -u*p - 3*y for p.
4
Let v = 15479 + -15474. Solve w - 13 = -2*t + 5*t, -2*w - 18 = v*t for t.
-4
Suppose -39*t + 35*t = -2*l + 38, -4*l + 4*t = -76. Solve -k - 4*i + l = i, 0 = -k - 3*i + 11 for k.
-1
Let u(m) = -m**3 + 28*m**2 + 248*m - 77. Let j be u(35). Solve 11*a = 15*a - 4*t + j, 19 = -a + 5*t for a.
-4
Let z(r) = r**3 - r**2 + 7*r + 9. Let i be z(7). Let f = 905 - i. Let w be f/35 - (-2)/10. Solve -3*a = -6, 4*a + w = -4*l + 2*a for l.
-5
Let p be (6/(-9))/(8/(-12))*2. Suppose -p = -11*x + 20. Solve 0*c - c = x*s - 1, 4*s = 0 for c.
1
Let b(q) = -q**2 - 21*q - 100. Let d be b(-10). Suppose -4*r = -2*h - 12, -h + r + 2*r - d = 0. Solve -2*u - 10 = -5*m + 3*m, 0 = -3*u + h*m - 14 for u.
-4
Let d be 2 - -25 - 4/4. Suppose -2*n + r + 11 = 0, 0 = -n + 3*n + 3*r - 7. Let k = 102 + -100. Solve 4*t = -k*i + n*i - 7, 5*t + d = -2*i for i.
-3
Let m(x) = x**3 - 9*x**2 - 10*x + 6. Let y be m(10). Suppose 8*p - 11*p + y = 0. Solve -p*a + j = -7 - 0, -3*a - 4*j - 6 = 0 for a.
2
Let k(w) be the third derivative of -3*w**4/4 + w**3/6 - 23*w**2. Let g be k(-1). Let m = g - 15. Solve -o - 5*l = -0*l - m, 2*o - 5*l - 8 = 0 for o.
4
Let r(j) = 10*j + 144. Let l be r(-14). Suppose 23 = l*x + 5*o, 0 = -x - x - 2*o + 10. Solve -4*p + 18 = 2*f, -x*p - 11 = -5*f + 10 for f.
5
Suppose -4*o + 16*o = -8*o + 100. Solve -o*z = -m + 8, 0 = -3*z + 1 - 7 for m.
-2
Let g = -77 + 3. Let x = -72 - g. Solve -x*y - p = 2*p - 20, 3*y - 20 = -2*p for y.
4
Let t = 5 + -2. Let a = 23 + -15. Suppose -601*d - 204 = -652*d. Solve -t*r = l + a, -6*l = d*r - 2*l + 24 for r.
-1
Let m(o) = 3*o**2 + 50*o + 30. Let n be m(-16). Let b(a) = -41*a - 42. Let f be b(n). Solve 3*t = 2*v - 11, 5*t + v + f - 13 = 0 for t.
-5
Let r(l) = l**2 + 9*l + 2. Let p be r(-9). Suppose p*j + 16 = -2*q, -q + 3 = -1. Let s be 0/(-2) + j + 14. Solve 4*w + 16 - s = -3*z, 4*z + 7 = -3*w for w.
-5
Let i be 7 + 1 + (-2 - -2). Suppose 7*q + 5 = i*q. Let k(j) = -j**2 - 2857*j + 51758. Let r be k(18). Solve 3*w + q = z + 13, -r = 3*z - w for z.
-2
Let o(i) = -35*i - 24 - 29*i + 14*i**2 + 72 + 63*i - i**3 + 23*i**2. Let u be o(37). Solve g - u = 3*w, 3*w = 2*g - 3*g - 7 for g.
2
Suppose -6*j = 3*j - 1584. Let p = -172 + j. Solve -2*i - 18 = -0*i + 4*a, -21 = 3*i + p*a for i.
-3
Let z be (0 - 3/(-3))*(2 - 7)*-1. Solve -z*b - 33 = 2*v - 0*b, 3*v = -5*b - 37 for v.
-4
Let n be (9/(-5))/((-20)/(22 - -78)). Solve 2*s + 3*q - n = 0, 5*s = -32*q + 36*q + 11 for s.
3
Suppose -133 = -5*u - 123. Let t(p) = -47*p + 96. Let z be t(u). Solve 5*y + 0 = -3*g - 5, z = -2*y for g.
0
Let u(o) = -3 - 18 - 18 - 4 - 19*o + 6*o + o**2. Let h be u(16). Solve -h*k - 2*w + 24 = 0, -4*k - 3*w + 26 = k for k.
4
Let b = 5360 - 5310. Solve 0 = -4*l + b*u - 45*u + 4, -l + 4*u + 12 = 0 for l.
-4
Let f(k) = -6*k**2 + 14*k + 223. Let w be f(-5). Solve 0 = -5*a - z + 10 + w, 4*a - 4*z = 20 for a.
3
Let s = 1257 - 1256. Solve 0 = -3*d + 29 - 14, -4*r + 3*d + s = 0 for r.
4
Suppose 2*l + 1346 = -5*x, -3060 = 5*l + 4*x + 339. Let n = l + 685. Solve -3*d - 19 = n*i, 4*d + 4*i - i + 26 = 0 for d.
-5
Let h = 638 - 486. Let v = h - 149. Solve i - 4*q = -8, -i + 6*i = -v*q + 6 for i.
0
Let d be (1 + -3)*((-87960)/(-16))/(-15). Let v = 741 - d. Solve 0 = -4*a - 2*p - 26 + v, -4*p - 21 = 5*a for a.
-5
Suppose -48 = x - 3*v - 80, -19 = -2*x + v. Solve x*f - 74 = 4*m - 79, m = 5*f - 10 for f.
3
Let c = -29841 + 29843. Solve 13 = -h - c*y, 0 = -5*h + 3*y - 8 - 18 for h.
-7
Suppose 3*p + k = -2*k, 2*k = -10. Suppose 0*r - 4*x - 238 = p*r, -4*r - 209 = -3*x. Let g = -46 - r. Solve -l - 3 = g*f - 6*f, 2*f = -2*l - 12 for l.
-5
Let d = 1426 + -1422. Let q be 2/3*(-9)/(-2). Let h be (d + (-8)/q)*3. Solve 2*g + 2*j = 0, -g + 2*j + 5 = h*j for g.
-5
Suppose -35*f = -25*f - 5470. Let m = f + -538. Solve 0 = 3*j - 2*p - m, -5*p - 16 = -j - 0*p for j.
1
Suppose 130 - 13 = 9*n. Let f be n/5 + (-8)/(-20). Solve 0 = -p + 4, l + 2*p - 28 = -f*l for l.
5
Let r(y) = 2*y**2 + 2*y - 9. Let c be r(0). Let t be c/(-2)*74/111. Solve -2*q = 3*l - 9, -l = -0*l - 4*q - t for l.
3
Let t be 1/(-2)*(-2 + 2) - (-114)/57. Solve -2*k + 20 = 3*s, -t*s - 4*k = 2*s - 32 for s.
4
Suppose -4*l = 3*n + 8 + 7, 2*l + 10 = -2*n. Solve l = c - 19*o + 20*o - 7, 2*o = -5*c + 26 for c.
4
Let j(v) = 174*v + 4004. Let d be j(-23). Let s(q) = -q**2 - 7*q + 2. Let m be s(-7). Solve 0 = -x - d*f, m*x = -x + 3*f for x.
0
Suppose 15*a - 81 + 21 = 0. Solve -4*o = -a*u - 16, 5*u -