d = -h*o, 4*o + 2*d = d + m for o.
1
Let w(m) = -m**2 - 18*m + 21. Let a be w(-19). Solve -d + 3 = a*n, -2*d = 5*n - 7*d + 15 for n.
0
Suppose 3*d + t = -t + 32, -d + 3*t = -29. Let r = -41 + 27. Let v = d + r. Solve 5*k = 2*p - 4, -2*k - 7 = p - v*k for p.
-3
Suppose -o = 7*a - 3*a - 10, -o = -2. Solve a*m + 5*y = -1 + 5, 0 = -3*m + 3*y - 15 for m.
-3
Let p = 40 + -22. Let y be (-16 + 1)*7/(-21). Let k(c) = c + 20. Let v be k(-17). Solve 4*l - 13 = -3*h, y*h + v = p for l.
1
Let v(c) = c**3 - 14*c**2 + 14*c - 8. Let z be v(13). Suppose z*p - 8 = 22. Suppose i + p - 8 = 0. Solve k = 2*x + x + 17, 19 = i*k - 3*x for k.
2
Let u = -92 - -58. Let r = u + 41. Solve 4*n = 5*v - 14, -2*v - r = -4*v + 3*n for v.
2
Suppose 0 = -5*a - 3*l + 24, 0 = -5*l - 2 - 8. Suppose 0 = a*g + g - 98. Solve 4*s = 3*y + 13, -5*y - g = -2*s - y for s.
1
Suppose 0 = 5*b + 15, 0 = j - b - 0*b - 6. Let g = -34 + 59. Solve -8*r = -j*r + 2*a + g, 0 = -2*r + a - 1 for r.
-3
Suppose -62*s - 30*s = -460. Solve -4*p = 2*d - 30, -s*d = 4*p - 0*d - 45 for p.
5
Suppose 5*q - 2 = 2*p - 15, 0 = -3*q - p + 1. Let v(h) = 16*h**2 + h + 1. Let l be v(q). Solve 2*k + 4*o = o - l, -k + 10 = -3*o for k.
-2
Let s = 9 + -31. Let d be (6/33 + 15/s)*-10. Solve -7 = -x - x - i, 0 = d*x + 3*i - 19 for x.
2
Let b = 29 + -45. Let v(g) = -g**2 - 17*g - 16. Let p be v(b). Solve 25 = 3*f + 4*m, -2*f + 4*m - 10 + p = 0 for f.
3
Let b = 8 - 5. Suppose -b*o + 3 + 6 = 0. Suppose -4*z + 12*z - 16 = 0. Solve -z*u - 4 = -0*j + 4*j, -3*j = -o*u + 12 for j.
-2
Suppose 4*v - 7 = 2*s - 5*s, -2*s + 16 = -3*v. Suppose w = b + 1, s*w - 4*w = -4*b + 16. Solve 0 = 3*x + 5*d + 8, 1 = -x - 4*d - w for x.
-1
Let o(m) = -2*m**2 - 8*m + 8. Let h be o(-4). Solve 4*y - 5*p = 13 + 20, -y - 2*p = h for y.
2
Let h = 86 - 86. Let j be ((-4)/(-5) - h)/(4/120). Solve 2*v = -3*l + 6*v + 26, -2*l = -4*v - j for l.
2
Suppose 23 = 3*z + 5. Suppose 0 = 5*c + 3*m - 24, 11*m - 15*m - 38 = -5*c. Solve 2*k = z, -k + 7 + c = -5*u for u.
-2
Let w be 1*(12/54 - (-34)/9). Suppose 3*u + 2*u = -4*o, 3*u = -w*o + 8. Solve -2*n + 3 = -o*b - 6*n, -4*b = -n + 15 for b.
-3
Let q = 17 + -23. Let i be 3 + (-2 - -3) + (q - -4). Solve f + 3*r = 5, i*r = 2 + 2 for f.
-1
Let m(a) = 3*a + 1. Let g be m(9). Let s be 23/7 + (-8)/g. Let p = 10 + -6. Solve -p*j + 5 = s*o, 4*j - 7 = -2*o - 1 for j.
2
Let g be (-3 - 1)*(-45)/(-12). Let q(v) = -v - 10. Let u be q(g). Solve -u*j + 30 = -4*w, 2*j + 2*j - 28 = 4*w for w.
-5
Let r = -1356 + 1358. Solve 0 = r*k + 2*k - 3*g + 19, -5 = 2*k + 3*g for k.
-4
Suppose 0 = -2*j + 2*z - 4 - 6, -j - 4*z = -20. Suppose 263*p = 257*p + 12. Solve j = u - p*u, -4*u = 4*c for c.
0
Let r = -61 - -80. Suppose 44 = r*t + 6. Solve t*z = -3*n + 4, -2*n - 12 = -0*z + 5*z for n.
4
Let q be (5 - (-2 - -7))*(-8)/(-24). Solve -4*y + 4*n + 8 = q, y + 3*n + 9 - 11 = 0 for y.
2
Suppose 0 = -i - 2*b + 10, 0*i - 5*b = i - 25. Suppose -u + 2*u - 19 = i. Let l = u - 13. Solve 0 = 3*g - 4*w + l, -5*g - 10 = -w + 5*w for g.
-2
Suppose -50 = -2*j - 0*j. Suppose 2*l - j = 3. Suppose 3*c - l = -2. Solve 3*v - 5 = -c*f, v + 2*f - 9 = -3*f for v.
-1
Suppose 16*t = -14*t + 27*t. Suppose v - 96 = -3*v. Solve 0 = 5*a - n - v, 4*a + t*n = 4*n + 16 for a.
5
Let n be -1 - (-2 + 0 + -15). Let o = 35 - n. Suppose o*d - 24*d = -10. Solve 0*b = 5*g - 2*b - 13, -2*b - 6 = d*g for g.
1
Let s = 349 - 340. Solve -5*p + s = 2*x - 5*x, 5*x + 2 = 4*p for x.
2
Let p(l) = -l - 1. Let o be p(-1). Let u(j) be the second derivative of -j**3/6 + j**2 - j. Let w be u(o). Solve w*d = i - 3, 2*d - 1 = d + i for d.
-4
Let g be (-61)/5 - (-56)/(-70). Let d = -11 - g. Solve d*b - 5*n = -23, 0 = -5*b - 5*n - 4 - 1 for b.
-4
Suppose 0 = 3*d + 6*d + 216. Let r = d + 24. Solve 8*z - 3*z - a - 29 = 0, -3*z + 4*a + 31 = r for z.
5
Let m(b) = b**3 - 34*b**2 + 68*b - 110. Let i be m(32). Solve r = 3*o - 4, -2*r + i = o + r for o.
3
Suppose 3*o + 21 = 10*o. Solve r - 10 = 3*z, 9 = -o*z - 0*z for r.
1
Let b be ((66/18)/(-11))/(2/(-30)). Solve 2*v - b = -3*n, 0*v + 4*n = -v + 5 for v.
1
Let w = 105 + -88. Solve -2*l + 3*v - 11 = -0*l, w = -5*l + 4*v for l.
-1
Suppose 1575*u + 18 = 1584*u. Solve 2*g + c - 11 = 0, 0 = g - 0*c - c + u for g.
3
Let r = -27 - -36. Suppose g = r*g. Solve g = -a - u - 2 - 4, 3*u = 4*a - 4 for a.
-2
Suppose s + t = 6, -4*s + 3*t + 4 = 2*t. Suppose 0 = s*z + 4*g - 30, -3*g + 30 = 4*z - g. Solve -3*v - 9 - 5 = z*l, -3*l - 18 = 5*v for v.
-3
Let g(b) = b**3 - 4*b**2 - 4*b + 5. Let y be g(4). Let s = y - -16. Solve 0 = 4*f + 3*c + 15 - 42, 0 = s*f - 3*c for f.
3
Suppose o = 5*d - 257, -2*d + 5*o = -5*d + 171. Let k = d - 47. Solve 5*w + 11 = -4, -4*c - k = -w for c.
-2
Let f = -257 + 268. Solve 0 = 5*w + j - 2, 3*w - 2*j = -2*w + f for w.
1
Let z = -44 + 47. Suppose -z*t = -2*v, -3*v = 3*t + t. Solve v*m = -2*m - 2*f, -3*f = -m + 20 for m.
5
Suppose -j + 4*z + 21 = 0, -4*z = 3*j + j - 4. Solve -o + 5*o - 17 = -5*f, j*o = -4*f + 10 for f.
5
Suppose 157*f - 158*f + 7 = 0. Suppose 16 = -4*h + 4. Let v = f + h. Solve 5 = -5*p + 5*z, 20 = v*p + z + z for p.
3
Suppose 2*m - 2 = -3*r, m - r + 0*r - 6 = 0. Let t be 3 + ((-3)/12 - 3/m). Solve -t*h + 13 = -5*k, 0 = 2*h - k - 6 - 3 for h.
4
Let m be ((-13)/5 - -3)/(3/435). Let k = m - 55. Solve -3*t - 2*l - 4 + 23 = 0, 12 = -t + k*l for t.
3
Let r(z) = -z**2 + 5*z - 1. Let x be r(4). Let b be 2 + (-3)/x - -1. Suppose -5*y + b = -8. Solve m - 4 = p, -2*p - y = -5*m - 3*p for m.
1
Suppose -4*y + 4*x = 0, -x = -6*x + 10. Solve g = -f - y, 12 + 6 = 5*g - 2*f for g.
2
Let n(k) = -3*k - 8. Let f be (-4)/(-6) + (-42)/9. Let h be n(f). Solve -2*b - 15 = 4*u - 3*u, 3*u + h*b = -35 for u.
-5
Let z be (-4 - -4)/((-5 - -3)/2). Let b be (19/(-38))/(z - (-1)/(-28)). Solve -b = -2*r + 5*r - 2*q, r - 4*q + 18 = 0 for r.
-2
Let a = 115 + -99. Solve -5*p = z - 20, a = 5*z + 2*p + 2*p for z.
0
Let r = -30 + -6. Let j = r + 32. Let x(q) = -q**3 - 3*q**2 + 4*q + 4. Let o be x(j). Solve -15 = -z + 2*y, 2*z + 5*y + 35 = o*z for z.
5
Let i(n) = -4*n**2 - 6*n - 4. Let p be i(-5). Let k = -43 - p. Let d = k + -28. Solve 2*y - 11 + d = 2*a, -18 = -3*y - 3*a for y.
5
Suppose q - 22 + 0 = -w, -4*w = 5*q - 92. Let r = -16 + w. Solve -i - c = 3*c + 4, -5*c - 8 = r*i for i.
-4
Let o(l) = l**3 - 8*l**2 + 9*l - 9. Let n be o(7). Let d be 0/(-3 - (-1 - 1)). Suppose -3*c - 2*c + 15 = d. Solve -c*u + 2 = -y - 8, -5*u + 50 = n*y for y.
5
Let z = 4 - 0. Let p be (-90)/(-2)*(-8)/(-24). Let b be (-11)/(165/(-126)) - 6/p. Solve x - 3 - b = -z*m, -2*m = -4*x - 28 for x.
-5
Let y be ((-6)/4)/((-24)/80). Suppose -y*l + 14 = 84. Let j(v) = v + 16. Let h be j(l). Solve -12 = -3*c, 0 = -5*a + h*a - 2*c + 23 for a.
5
Let r(v) = v**3 + 37*v**2 + 69*v - 30. Let p be r(-35). Suppose -5*s + 22 = -3. Solve -s*j + 2 = -3*a, p*a = -j + a - 18 for j.
-2
Let m be (-400)/(-2*2) + 1. Suppose -5*o + 135 = -5*w, -5*o = -3*w - 30 - m. Let d be ((-76)/(-10))/(10/o). Solve -3*s = h + h + d, -5*s - 20 = h for s.
-3
Let p = 17 - 15. Let u(v) = 2*v**2 + 11. Let r be u(3). Solve p*y + y = -5*h - r, y - 9 = 3*h for h.
-4
Let w = -9177 - -9192. Suppose -4*t - 2*b - 2 = -10, 4 = -5*t + b. Solve -3*m = 4*l - 13 - w, l - m = t for l.
4
Suppose -4*w = -3*r + 17, 5*r - 6*w = -2*w + 23. Let z = -12 - -8. Let l = -4 - z. Solve 3*g - r = l, -2 = -4*f - f + 3*g for f.
1
Suppose -50 = 18*j - 20*j. Solve -2*m + 4*k + 14 = 0, 5*m - m = 5*k + j for m.
5
Let c(y) = y + 1. Let v be c(4). Suppose 0 = 4*r - 3*q - 14, -3*r + 3*q = -2*q - v. Suppose -r*b + 4 = -4*b. Solve -3*i = -b*o - 4, 0 = 2*o - i - 2*i + 8 for o.
2
Let a(u) = -16*u**2 - 2 - 1 - 5 - 4. Let i(v) = v**2 + 1. Let h(n) = -a(n) - 12*i(n). Let l be h(1). Solve 8 = -3*t + y, -4*t - l*y - 30 = 2 for t.
-4
Let s = -403 + 405. Solve -3*t + d = -17, 0 = 3*t + 5*d + s - 7 for t.
5
Let f = 59 + -69. Let v(g) = g**2 + 9*g + 8. Let u be v(f). Solve -4*n = 2*y - u, 15 = 3*y - n + 3*n for y.
3
Let t be 4 - (-6 - (-6 - -1)). Solve 2*z + 13 = t*m, -3*z + 3*m + 2*m - 12 = 0 for z.
1
Suppose 3*x + x + g - 8 = 0, 0 = 3*g. Suppose x*t = -2*t. Suppose -2*v = 3*v + n - 16, t = -4*v + 3*n + 9. Solve 0*u = 5*f + 5*u + 15, 5*f - 1 = v*u for f.
-1
Let k = 28 - 32. Let c be (k/6)/((-6)/36). Suppose -3 = -z + 4*s - 18, -45 = -5*z - 4*s. Solve -3*x = x + c*v + 4, -4*x = z*v + 5 