5, v*x + 4 = 3*d - 1 for x.
1
Let q(x) = -x**2 - 6*x + 6. Let r be q(-6). Suppose -2*p = -4*p + r. Solve 5*z + 3*k = 31, 28 = 4*z + k + p*k for z.
5
Let w = -19 + 22. Suppose -w*u - 5*u = -16. Solve 0 = f - 5*l - 9, f - u*f - 3*l + 1 = 0 for f.
4
Let w = 29 - 26. Suppose 35 = w*v + 4*v. Solve 6*n - n - 5 = 0, 3*n = -v*r + 13 for r.
2
Suppose 15 = 5*m + 3*s, -5*m + 5 = -3*s - 10. Solve -m*g + w + 6 = -2*w, -g - 7 = 2*w for g.
-1
Suppose -v - 1 = 4*l - 4*v, -3*v + 17 = 4*l. Suppose l*j = 5*j. Solve j = z + 5*b - 4, -5*z - 3*b + 20 = -6*b for z.
4
Let k(h) = -h - 1. Let r be k(-5). Suppose -3*f + 3*i = 0, 0 = r*f + f + i. Suppose f = -c + 6 - 4. Solve 0 = -g + 7*t - 3*t + 13, c = -g - t for g.
1
Let o(f) be the third derivative of -f**6/120 + 2*f**5/15 + f**4/3 + 7*f**3/3 + 24*f**2. Let m be o(9). Solve -3*z + 39 = -4*h + 7, m*z - 45 = 5*h for h.
-5
Let f(q) = 8*q**2 - q. Let i be f(-1). Let d be -15*(2 - 7/3). Let k = 1746 - 1746. Solve n - d*n = -h + i, k = -5*h + n - 12 for h.
-3
Suppose -2 = -2*r + 5*m, 6*r = r - 3*m + 36. Solve -2*w - 8 = -2*p - 2, r = -2*w - 3*p for w.
-3
Let v be (-76)/(-13) - (-36)/234. Solve -20 = 5*m + 5*w, -2*w = 2 + v for m.
0
Suppose -3*t - 5*q = 9, 1 = -2*t - 3*q - 4. Solve 5*k = -t*h + 25, 5*h = 4*k + k - 25 for k.
5
Let f = -123 - -119. Let t be (5/(-25))/(f/60). Solve 4*b + 1 = t*k, 0 = 2*k - 2*b + 2 for k.
-5
Let d = 6 + -3. Suppose 0 = -5*z + 3*z + 6. Let m be (-6)/15 + 64/10. Solve -d*u = 3*x - m, z*u = 5*x - u - 19 for x.
3
Suppose 3*f = 7*f - 3*d - 26, 2*f - 4 = -3*d. Suppose 0 = 5*q - 60 + f. Solve -5*w + m = -9, -5 = 4*m + q for w.
1
Suppose -64*v = -65*v + 2. Solve -3 = c + 1, 33 = 5*h - v*c for h.
5
Suppose j = -j - 2*p - 4, -3*p = 4*j + 3. Suppose q + 2*v = j*v + 8, -3*q - v + 24 = 0. Solve -q = 4*w + f, 2*w + 23 = -w - 5*f for w.
-1
Suppose -2*z = 5*w - 150, 0 = -w - 2*w + z + 101. Solve -5*t + 3*u + w = 0, 4*t - 5*u = 9*t for t.
4
Let y be (-1)/(-2)*(0 - -4). Suppose -3*d + 13 - 5 = 2*x, -d = 2*x - 8. Solve -n + 3 = d, -y*m + 3 = m + 4*n for m.
-3
Let m = 849 - 835. Solve -2*l = -4*s + m, -5*l + 7*l = 3*s - 11 for l.
-1
Suppose z - 4 - 2 = u, -5*z + 3*u + 26 = 0. Let j(w) = 2*w**2 - 3. Let q be j(3). Suppose -z*s - 3 + q = 0. Solve 3*m - s = 4*m, 5*m = 4*l - 19 for l.
1
Let x be 2/4 + 15/10. Suppose -x*h + 5*f = -36, -f + 3 = h - 15. Solve -5*d = -10, -h = 2*v - 5*d - 0*d for v.
-4
Let k(n) = -4*n - 4. Let v be k(-5). Suppose -6*h + 14 = -v. Let c = 19 - 5. Solve -h*i + 3*q = -35, c = i + 2*q - 4*q for i.
4
Let g(i) = -i**3 + 4*i**2 - i - 8. Let a be g(5). Let w = a - -43. Solve 2*v - 13 = w*v - 4*j, j - 13 = 4*v for v.
-3
Let m be (-2 - (0 + -2))/(-1). Suppose -252 = 8*i + i. Let a = i - -33. Solve -a*b = -2*x - 25, 2*b - 10 = -4*x - m for x.
0
Suppose -6*h - 8 = -14. Let n be (6 - 8)*(0 - 1)/h. Solve 4*g + 4*t = 0, -3*t + 7 = -n*g - 2*g for g.
-1
Let c be (-17)/(-4) + 6/(-24). Solve -2*w = q - 5*q + 16, c*q = 4*w + 20 for w.
-2
Suppose 128*o - 32 = 120*o. Solve 0*d = 3*b - o*d - 15, 16 = b - 5*d for b.
1
Let p(x) = -x**2 + 5*x + 14. Let r be p(7). Let z be (23 - 20) + (r - -1). Solve -3*t = 3*o - 9, 2*o = -z*t + 3*o + 22 for t.
5
Let s(j) = 47*j - 561. Let d be s(12). Solve -c + d = -z, c + 2 = -0*c for z.
-5
Let m be (-2)/9 + 63/(-81). Let c be (-1 - (m + 2)) + (12 - 4). Solve 2*l = -y + c*l - 4, -3*y - 5 = -5*l for y.
0
Suppose -12 = -4*k, 13*k - 11*k + 6 = 3*y. Solve 3*q + y*l = -1, 7 = 4*q + 2*l - 5*l for q.
1
Suppose 41 = -n - 81. Let o be 2/(3 - (-362)/n). Suppose 15 = 3*z + h, -1 = -3*z + 3*h + 2. Solve z*l - 5*j + o = 16, 3*j - 35 = 4*l for l.
-5
Let m(i) = -i - 12. Let v be m(-6). Let z(x) = x + 4. Let y be z(v). Let c = 2 - y. Solve -2*a = 10, c*l - 6*l + 18 = -2*a for l.
4
Let t(b) = -7*b - 2. Let q be t(-2). Let v = -5 - -21. Let c = v - q. Solve -c = 3*k - d, -d + 1 = -0 for k.
-1
Let v be (-2)/8 - (-166)/(-8). Let o(h) = h**3 + 22*h**2 + 21*h + 5. Let f be o(v). Solve f*x + 5*l + 16 = 3*x, 4*x + 5*l = -12 for x.
2
Let f be (12/3 + 2)*1. Let r be 8 + -1 - 12/f. Solve -2*g - 2*m - m = 7, -r*g + m - 26 = 0 for g.
-5
Suppose 0 = -36*i - 68 + 248. Solve 0 = -m - 5, 2*m = i*s + m - 25 for s.
4
Suppose 10*n = 94 - 54. Let w = -6 + 10. Suppose w*g - 2 = 14. Solve -4*s - 4 = -g*q, -n*q + 2 = -2*s - 0 for q.
0
Let m be (-1)/(2/5)*(-62)/31. Solve -4*u + 2*p = u - 15, 3*u - 28 = m*p for u.
1
Let m(l) = l**2 + 8*l - 16. Let y be m(-10). Solve -5*f + 3*i + 0*i - 10 = 0, -2*f + y*i - 4 = 0 for f.
-2
Let n(a) be the third derivative of -a**4/4 - a**3/2 + 6*a**2. Let x be n(-1). Solve 11 = -4*g - 0*g - r, r + 8 = -x*g for g.
-3
Let t be 0*((-13)/3 - -5 - 1). Suppose -5*v + 12 = -3. Let f = v + -1. Solve t = -2*a + f*j, -5*j - 1 = -5*a - j for a.
1
Let c(q) = -27*q - 17. Let w be c(-1). Solve -2*p = -4*p + w, 2*p = -4*f + 2 for f.
-2
Let n be (104/(-130))/((-10)/25). Solve -11 = 5*q - r, -4*q - 24 = r + n*r for q.
-3
Suppose 17*z = 12*z - 330. Let f = 69 + z. Solve -4*p - b + 3*b = -2, -f*b - 3 = 4*p for p.
0
Suppose 12*a = 8*a. Suppose 45*c - 50*c = a. Solve 2*q + c - 2 = u, 0 = -q - 5*u + 23 for q.
3
Let j be -3*(-1)/9 - 455/(-21). Suppose 2*t - t = 4. Let o be (0/3)/(1/1). Solve o = -t*w - 16, -5*q + 0*w - j = 3*w for q.
-2
Let t be ((-76)/16)/((-8)/64). Solve 3*m + 2*a = 0, -4*m + 5*a - 15 = -t for m.
2
Suppose -5*w + 42 - 17 = 0. Let x = -135 - -134. Let f be x/(1/(-8))*(-21)/(-28). Solve -w*a = 2*u - 6*u + f, -5*u - 2*a - 9 = 0 for u.
-1
Let a(v) = -2*v**2 - 29*v - 11. Let p be a(-14). Solve b - 2*c = 8, -p*c - 12 = 7*b - 2*b for b.
0
Suppose 2*t + 11 = -21. Let y = t + 24. Suppose 59 - 323 = -66*x. Solve 5*a - y = -w, -3*a = 5*w - x - 14 for w.
3
Let j(b) be the second derivative of b**3 - 10*b**2 - 18*b. Let a be j(4). Solve 5*d + 9 = -a*o, -5*d = -4*d + 5 for o.
4
Let x(f) = -2*f - 35. Let d(r) = r + 12. Let c(q) = -14*d(q) - 4*x(q). Let y be c(-7). Solve y = 4*w + z, -4*z - 10 + 2 = 0 for w.
4
Let p(j) = -4*j**2 - 68*j + 14. Let a be p(-17). Solve -3*x = g - a, -x - 3*g = -0*x - 10 for x.
4
Suppose 15 = -5*i, -5*i - 5 + 2 = 4*j. Solve -j*u + 11 = 2*w, -5*w = -u - 3*u + 30 for w.
-2
Let t be 3 + 4 + -1 + -3 + 3. Solve -4*o = -4*x + 16, t*o = x + 2*o - 19 for x.
-1
Let p(n) = -n**3 + 6*n**2 - 5*n - 2. Let a be p(4). Suppose 4*d + 7 = -2*i + 19, -i = -2*d - a. Solve -2*h - i = 4*s, -h + 5*s + 0 = -3 for h.
-2
Let j(x) = 5*x**2 - x. Let q(i) = 2*i**3 - 16*i**2 + 3*i - 25. Let y be q(8). Let t be j(y). Solve t*u = 2*u + w + 15, 0 = 4*u + 3*w - 19 for u.
4
Let a(h) = -6*h**3 - 2*h**2 - 2*h - 1. Let n be a(-1). Suppose 0*z = 4*r - 4*z - 16, -n*r - 5*z = 0. Solve -p - 27 = 5*o - 4*p, 0 = -r*o - 3*p + 6 for o.
-3
Suppose d + 3 = -8. Let o = -9 - d. Solve z = -3*b - 20, 2 - 12 = o*z for b.
-5
Suppose -3*p + 4 = -5*t, -12 = -11*p + 8*p - 3*t. Solve 0 = c - p*x - 8, -x + 7 = 3*c - 7 for c.
5
Let r be -7*(-3)/6*64/56. Solve 0 = 2*w + 8, -r*g + 3*g + 14 = -3*w for g.
2
Let p(i) = i + 26. Let l be p(-22). Let j be 6/l + (-12)/24. Solve -2*u - 15 = -3*m, u - m + j = -4 for u.
0
Let g(x) = -x - 10. Let u(m) = -m**2 - 15*m - 49. Let l be u(-12). Let h be g(l). Solve -h*n + 0*a - 1 = -5*a, n = -a + 5 for n.
3
Let s(z) be the third derivative of -z**6/120 - z**5/6 - 11*z**4/24 - 5*z**3/2 + 19*z**2. Let d be s(-9). Solve 0*k = -2*j + 3*k - 3, 0 = 5*j - d*k + 3 for j.
0
Suppose 23 = -7*j + 72. Solve 0*t - 3*y = 4*t - j, 3*t + y - 9 = 0 for t.
4
Let w = -144 - -149. Solve 23 = -w*t - x, 0 = t + 4*x - 5 + 2 for t.
-5
Let f(z) = -z**3 - 28*z**2 + 3. Let p be f(-28). Solve 5*o + p*j + 1 = 0, -o - 5*j - 9 = -0*j for o.
1
Suppose 5*g - 10 = -j, 5*g - 25 = -50*j + 46*j. Let n = -4 + 7. Solve -30 = 4*o + n*q - j*q, -25 = -5*q for o.
-5
Suppose -2*o + 3 + 3 = 0, 0 = 2*p - o - 93. Let z = p - 41. Suppose 4*l = -0*u + 2*u + 20, 5 = l - 5*u. Solve l*n = -t - 9, 0*t + 2*t - n = -z for t.
-4
Let x(t) = t**2 + 56*t - 581. Let u be x(-65). Solve 5*b - 3 = 4*r - 6*r, -u*b + 3*r = 16 for b.
-1
Suppose -3*v + 3 = -2*v. Let h(r) = r - 11. Let t be h(11). Suppose t = -f - f. Solve 5*s - 4*y + 6*y - 1 = 0, s + v*y + 5 = f for s.
1
Suppose 0 = -44*v - 32*v. Solve v = 5*y + f + 11 - 6, 0 = -f - 5 for y.
0
Suppose -77*d = -79*d + 4. Suppose 0 = 4*m + d*a - 20, 0*m - a - 14 = -4*m. Solve 4*l - 3*g - 4 = 0, 0 = -2*l + 7*l - m*g - 4 for 