 + x*p = -9, -4*v - 2*p = j*p for v.
1
Let j(r) be the third derivative of r**5/12 + r**4/24 + 12*r**2. Let a be j(-1). Solve a*c + 3*i + 3 = 3*c, -2*c = 2*i - 2 for c.
3
Suppose 4*t - 137 = -5*z, z + 104 = 3*t + 5*z. Solve 5*p - n - n - 28 = 0, 3*n + t = 4*p for p.
4
Let m(r) be the third derivative of -r**5/60 + r**4/4 + 7*r**2. Let g = 6 + 0. Let y be m(g). Solve -l = -2*h - y - 2, -h + 5 = l for h.
1
Suppose -23*m = -32*m. Solve -5*s - 17 = -9*s - h, m = -3*s - h + 12 for s.
5
Let c be 96/6 - (-1 - -3). Let x = -14 + c. Let k(h) = -h + 18. Let o be k(0). Solve x = 5*b + 4*f + o, 2 = 7*b - 6*b - 2*f for b.
-2
Let j(d) = 5*d**2 + 8*d + 6. Let k be j(-6). Let z = k + -135. Solve 4*n + 5*v = v + 28, z*n - 24 = -4*v for n.
4
Let u be 1530/54 + 50/(-15). Solve 2*s + 3 = -7, -5*o = 5*s + u for o.
0
Let n(w) = -2*w. Let q be n(-6). Suppose 2*v - q = -r, -7*v = -2*r - 3*v + 24. Suppose -4 = -4*p + r. Solve -4*m = -5*d + 10, -m + p = 4*d - 4 for m.
0
Let q be (-2)/(((-128)/120)/8). Solve 0 = 5*y - 4*w - q, -2*y + w + 6 = 3 for y.
-1
Suppose 4 = -4*d - 2*u + 6*u, 9 = 3*u. Suppose 9 = 7*n - 3*n - 5*v, -3*n - 4*v = 1. Let z = n + d. Solve -3*h = z*a, -6*h + a = -2*h - 5 for h.
1
Suppose 11*n = -22 + 77. Solve 4*y - 4*l = 7*y + 9, 0 = -n*l for y.
-3
Let c(n) = n**3 + 2*n**2 + n + 154. Let k be c(0). Let i be k/10 - (-1 + 2/5). Solve r + 4*q + 16 = q, 4*r - 4*q = i for r.
-1
Let o(q) = q**2 + 2*q - 1. Let w be o(-2). Let f = 2 - w. Suppose f*t - 4*g = 3, -5*g + 12 = -3. Solve d + 0*l - l + 5 = 0, 5*l = -t*d - 5 for d.
-3
Suppose -2*l - 132 = -136. Solve -1 = -2*t - 3*w + l, 4*w = -5*t + 4 for t.
0
Suppose 0 = 9*g - 27*g + 234. Solve c = h + 3*c - g, 9 = 5*h - 4*c for h.
5
Suppose 108 + 8 = 29*y. Solve y*u + 2*j - 16 = 0, 3*j = -2*u + 6*j + 16 for u.
5
Let o be (-2 + 0)/(4/(-6)). Suppose 0 = -0*n - o*n + 42. Suppose 4*b - 3*u = 17, -n - 7 = -3*b + 5*u. Solve 2*k - b*j - 8 = 0, 4*j + 8 = -k - j for k.
2
Let y = 62 - 25. Let l = y - 32. Solve l*j - b + 23 = -6, -5*b = -20 for j.
-5
Let y = -64 + 94. Let b = y - 30. Solve -5*u + 5*n - 5 = 0, -2*u + b*n - 4*n = 14 for u.
-3
Suppose 5*b - 2*j + 2 = 0, 3 = -3*b + 3*j - 0. Suppose 2*l = 7*l - 45. Suppose l*z - 12 = 5*z. Solve 4*o - a + 7 = 0, b = -5*o - z*a + 22 - 52 for o.
-3
Suppose 0 = 5*t - 30 + 5. Suppose 2*x - 4 = x. Solve -r - x*g = -6, -3*r - t = 2*g - 3 for r.
-2
Suppose -46*c + 20 = -45*c - 4*z, -4*c - 3*z + 4 = 0. Solve c*s - v = -6*v + 8, 0 = 4*s + 2*v - 8 for s.
2
Let g = -30 - -32. Solve g*k = -3*t - 7, k + 3*t + t = -11 for k.
1
Let m be 3/(-6)*2 - -3. Suppose 7*r - 10 = m*r. Let w be r/((-8)/(-20) - 0). Solve 5*u + 20 = -5*j, 0 = w*u + 2*j + 3 + 5 for u.
0
Let r(v) = 6*v - 1. Let y be r(1). Let d = -72 - -75. Suppose -2 + 14 = 3*l. Solve -l*c = 4*x, d*c + 1 = -4*x + y for c.
-4
Let c(o) = o - 5. Let m be c(4). Suppose -4*w - 4 = 2*g - w, 0 = 4*g + w + 8. Let f be (m - -3) + 0/g. Solve 0 = x - 0*x + 2*q + 12, -3*x + f*q + 4 = 0 for x.
-2
Suppose 11*c - 15*c + 2*c = 0. Solve 0 = -2*n + 5*a - 18, c = -0*n + 4*n - 5*a + 16 for n.
1
Suppose 9*z - 12 = 8*z. Let l be (0 + z/(-8))/(3/(-4)). Solve -3*r - l*c = -19, -4*r = 2*c - 13 - 9 for r.
3
Let x = 23 - 26. Let g be (504/105)/(x/(-10)). Solve 0 = 3*z - 5*f + g, 2*z - 2*f + 8 = -0 for z.
-2
Let p = 1 + 4. Suppose 3 = p*a - 4*a. Suppose -101 = -4*n - 4*o + 3*o, -4*n + o = -91. Solve a*j = -12, t - 2*t = -5*j - n for t.
4
Suppose -7*v - v = -88. Solve -4*f - 2*x = -x + v, -3*x = -3*f - 27 for f.
-4
Let d = -31 + 35. Solve 31 = -d*n + 3*k, -3*k - 1 = 5*n + 4 for n.
-4
Suppose -5 - 5 = -2*a. Suppose -3*o = -45 - 21. Suppose 2*p - 4*i + 5*i = 16, 0 = p + 4*i - o. Solve -3*s + p*s - 13 = q, 3*s = 5*q + a for q.
2
Suppose -22 = -2*v - 0*t - 4*t, 5*v + 5*t - 35 = 0. Let x be (-1)/(-3) + 34/6. Solve 5 - 22 = -v*o - 5*w, 0 = -2*o - 2*w + x for o.
-1
Suppose 3*b + 4*g = 3*g + 40, 0 = 2*b - g - 25. Solve 2*d - b + 35 = 4*n, -3*n + d + 16 = 0 for n.
5
Suppose -n - 4*a = -18, 0*n + a + 18 = 2*n. Suppose -2*v + 4*t + 0 = 8, n = -5*t. Let x be 2*(60/v)/(-3). Solve -4*z = -5*l - 0*l - 27, -l + 12 = x*z for l.
-3
Let u be 114/(-266) - (-17)/7. Solve -2*i = -u*j + 8, -2*j - 7*i = -3*i - 8 for j.
4
Let h(n) = 2*n. Let s be ((-8)/(-12))/(4/(-30)). Let w = 13 + s. Let z be h(w). Solve g + 4*g - 20 = 0, 5*g = 4*r + z for r.
1
Let n = -125 - -129. Solve 1 = -n*v - 5*x, 3*x - 7 + 5 = -5*v for v.
1
Let m be (-53)/(3/(-3)) + -3. Suppose 0*o = -4*v - 2*o + m, 3*o = 3. Let i = 6 + -6. Solve i = 3*c - 3*a + 15, 4*c + 2*a + v = -2*a for c.
-4
Let y(o) = 2*o - 4. Let j be y(2). Suppose w + 4*r + 0*r - 23 = j, 2*w - r - 1 = 0. Solve 5*b + 22 = 4*v, -2*v - w*b = 3*v - 9 for v.
3
Let t = -18 - -2. Suppose 3*y - 15 = 4*y - 4*h, 0 = 5*y - h + 56. Let j = y - t. Solve 0*m - 3 = -m, j*w = 4*m - 37 for w.
-5
Let q = -96 - -152. Suppose 2*x + 52 = q. Solve -x*v + 4 = -3*r - 1, -5*v + 2 = 3*r for v.
1
Let t(q) = q**2 + 8*q. Let y be t(-6). Let n be 4 + -6 - 0 - -19. Let h = n + y. Solve 3 = 5*f - f - 5*r, h*f + 5*r = -30 for f.
-3
Let w(q) = -q**3 + 8*q**2 - 8*q + 3. Let b be w(7). Let c be (-464)/(-87)*(-18)/b. Solve 4*z - c = -3*l + 3, -5*l = -z - 22 for l.
5
Let t(l) = -2*l. Let d be t(-2). Suppose b + b + k = 15, b + 10 = 3*k. Solve -p - 6 = d*y, 3*y + 3*p - b*p - 1 = 0 for y.
-1
Suppose -15 = -3*c - 2*t, -3*c + 16 - 4 = t. Suppose -23*z = 31*z - 108. Solve -z*m - 2 = 5*d + m, c*d - 4*m + 7 = 0 for d.
-1
Suppose -228 = -66*a + 300. Solve -3*d - a = 2*j + 7, 0 = -4*d + 4*j - 20 for d.
-5
Let n = 2 - 4. Let d be 1 + -1 - (n + -3). Suppose 2*m = -0*i + 3*i + 1, 34 = 3*i + d*m. Solve 0 = i*b - 3*u - 9, -b - 2*u - 12 = 3*b for b.
-1
Suppose 3*o - 6*v + 2*v = 51, -3*v + 56 = 5*o. Suppose 45 = 8*m + o. Solve 3 = -3*s + 3*l - 0*l, m*s + l = -24 for s.
-5
Suppose 7*g + 45 = 16*g. Solve -4*u + 2*u + g*i = -14, u - 6 = 2*i for u.
2
Suppose 0 = 4*p - 14 + 94. Let v = -20 - p. Let d = 0 - v. Solve l + 3*k = 11, 0*l - 2*l + 5*k - 33 = d for l.
-4
Suppose 0 = -f - 2*f + 18. Suppose 1056 = 25*q - 17*q. Suppose 37 = 13*j - q. Solve -2*w = 2*u + 18, -3*w - j = -u - f for u.
-5
Let i(x) = 227*x - 2 + 230*x - 10 - 460*x. Suppose -2*c = -5*b + 2*b - 21, -4*c = -b - 17. Let t be i(b). Solve 3*z - z - 15 = -t*j, 5*j = -2*z + 25 for j.
5
Let a be (-416)/(-64) - (-10)/(-4). Solve -3*w + 4*z = -a, -3*w + z = -z - 2 for w.
0
Suppose -235 + 187 = -12*v. Solve 0 = -2*g - 4*u - 14, 2*g - 8 = v*g + 2*u for g.
-1
Let t(n) = -2*n - 41. Let s be t(-21). Solve 3*h = 6*h, -m - 3*h + s = 0 for m.
1
Suppose -5*w - 4*v = -7, 5*w - 3*v = -v + 19. Let q = -11 + 14. Suppose 0 = q*n + 2*n. Solve n = 2*r - w*r + 3*g - 8, 5*r = 4*g - 29 for r.
-5
Let t be (11/3 + -5)/(2/(-6)). Solve 2 = t*m + 2*n, -4*m + 7 = -2*m - n for m.
2
Suppose 7*n - 25 - 10 = 0. Suppose 2*s + 4*r + 5 - 15 = 0, -3*s = n*r - 14. Solve 2 = 2*k - s*k, -5*k = -j + 5 for j.
-5
Suppose -4*c + v + 0*v = -279, -v - 349 = -5*c. Let n = c + -47. Solve 5*l - 4*x - n = 0, 3*x - 3 = -3*l - 0 for l.
3
Let t be (-183)/(-1)*3/9. Let w = t - 59. Solve -2*l + 6 = -w, 2*u + 20 = 5*l for u.
0
Let q be (3/6)/(5/40). Solve -1 = -t, -3*t = -o - q*t + 6 for o.
5
Let g(p) = 4*p**2 - 2*p - 2. Let c be g(-1). Suppose 23 = 9*s - c. Solve l + s*l + a = 12, -5*l = a - 15 for l.
3
Suppose 2*b = 6 - 94. Let g = b + 48. Solve 5*l + g*a + 2 = 0, -5*l + 7 = -5*a - 18 for l.
2
Suppose 5*c + x = 4*x + 16, -4*c + 2 = 3*x. Suppose -5*g = -3*b - 11, -b - 4*g + 15 = -g. Solve -i - 5*p + 17 = -c, -b*i + 9 = -p for i.
4
Suppose -58 = -12*r + 2. Let s(y) = 9*y - 2. Let f be s(2). Solve -f = -r*b + u, u = -3*b + 18 - 2 for b.
4
Suppose 0*l - 3*l = 4*n - 148, -n = 4*l - 219. Suppose -7*a - 3*h + l = -3*a, 2*a - 28 = -h. Let q = a - 10. Solve -3*y + 30 = -5*k, -y + q*k + 14 = k for y.
5
Let d = -45 - -54. Solve -k - 5 = 0, 4*p - d = -2*k + 3*k for p.
1
Suppose -79 = -19*l - 41. Solve -u + 5*d = l*u - 29, 5*u = 2*d + 23 for u.
3
Suppose -4*n - 4*m + 3 = -1, -4*m - 6 = -n. Let k be (n - 5) + 3 + 3. Solve -z - 2 = a, 2*z + k = -4*a + 5 for z.
-5
Suppose -5 = -g - 4*g + 5*m, -2*g = -5*m + 7. Solve -5*j + 4*x = 16, 10 + 6 = 4*j + g*x for j.
0
Suppose v = -0*v + 4. Suppose 104 = 5*k - 36. Suppose 0 = 4*f - 11*f + k. Solve 0 = v*g - 5*y + 7, -f*y - 6 = g - y for g.
-3
Suppose 8 = 4*r, 42 = 113*f - 109*f + 5*r.