ve p*m - g = -17, -3*m = -2*g + g + c for m.
-4
Let p = -14 + 17. Suppose 2*d + 0*d = -76. Let z = d - -53. Solve 5*o + z = p*j - 19, 5*j - 40 = 5*o for j.
3
Let t be ((-20)/(-12))/(7/21). Solve 4*u - 2 = j - 18, -j = -t*u - 19 for u.
-3
Let u(m) = -4*m**2 + 3*m**2 + m - 6*m - 1 + 0*m. Let h be u(-2). Solve 0 = h*n - 3*t + 15, 0 = -0*t - t for n.
-3
Let n(s) = 3*s**2 - 3*s - 6. Let x be n(-2). Let t = x + -10. Solve 6 = 2*i + t*j, -i - 3 = 3*i - j for i.
0
Suppose 0 = -14*v + 27*v - 26. Solve -v*p + c + 0 = -9, -3*c = -2*p + 19 for p.
2
Let q be 1/7 - (-5966)/133. Suppose 0 = 4*t - 5*m - q, 2*m + 18 = 2*t - 2. Solve 3*b - 19 = 2*c, 0 = -3*c - 0*b - t*b + 19 for c.
-2
Suppose 0 = 3*b + 2*o - 11 + 1, 2*b + 5*o = 25. Solve f + 4*k - 6 = -1, b = -2*f + 2*k for f.
1
Suppose -2*w = -w. Let m = -16 + 13. Let s(d) = d**2 + 3*d. Let g be s(m). Solve g = 2*b + 3*v + 25, w = -b - b - 5*v - 35 for b.
-5
Let a = 127 + -55. Suppose p - a = -3*p. Let k = 20 - p. Solve -2*r = m - 0*m, 0 = 3*m + k*r + 4 for m.
-2
Let a be (-46)/115 + (-44)/(-10). Solve -3*g - a*h = -8, -5*h = 5*g - 3*h + 10 for g.
-4
Suppose 10 = 3*d + 22. Let o be (-5 - d)/((-1)/2). Suppose -3*g + 0*i - i + 11 = 0, -5*i + 29 = o*g. Solve -r + 9 = -g*a, 3*a + 0*r = 2*r - 16 for a.
-2
Suppose 0 = -20*k + 22*k - 10. Solve -k = -3*q - n, 2*q - 20 = q - 4*n for q.
0
Let c(n) = n**3 + 27*n**2 + 49*n - 20. Let g be c(-25). Solve -9*l - 5*k = -4*l + 35, g*k + 21 = 2*l for l.
-2
Let d = 18 + -61. Let j = -41 - d. Solve -5*y + 2 = -7*y + 4*a, -j*y + 5 = 3*a for y.
1
Let c(i) = 5*i**3 - i. Let k be c(1). Suppose 4*n - k*p + 4 = -0, 0 = -n + 2*p - 2. Suppose g - 2*g = n. Solve -4*s = -20, g*y - 5*s + 35 = -2*y for y.
-5
Suppose -2*j - 46 = 6*l - 8*l, -l = 5*j - 11. Solve -8*z + 11*z - l = -5*h, h - 11 = -4*z for z.
2
Let n = -26 + 31. Let f = -32 - -37. Solve f*v - n*p - 40 = 0, 5*p - 3 = 2*v - 28 for v.
5
Suppose 9 = 3*o - 0*o. Suppose -4*p + 15 = o. Solve 2*b - 16 = -5*u - 1, u - 4*b = p for u.
3
Suppose -13 = -3*b - w, 3*b - 6*w + 2*w - 23 = 0. Suppose -r - b = -16. Solve 2*j - 4*o = 0, -3*j = 4*o + r + 9 for j.
-4
Let n = -3 + 83. Suppose 8*i - 3*i = n. Solve 0 = -2*q - 4*t - i, t + 0 - 3 = 3*q for q.
-2
Let h(a) = -a + 8. Let n be h(6). Let q be (-12)/9*45/(-10). Let p be 1/(-6) + 163/q. Solve 2*g + n = 4*d - 4, p = 5*d + 4*g for d.
3
Let f = -27 + 29. Let a be -3 + -38*((-1)/f)/1. Solve 4*w = 2*y + a, 2*y = y - w + 4 for y.
0
Suppose 15 = -38*i + 91. Solve 0 = -5*v - 8*g + 11*g - 4, i*v + 4*g - 14 = 0 for v.
1
Let n(d) = 2*d**2 + 22*d - 116. Let z be n(-15). Solve -2*y = 5*x - 15, -z*y + 0*x = -2*x - 18 for y.
5
Suppose -3*w + 2*o = -14, 0 = 4*w - 4*o + o - 20. Solve 2*g + 21 = w*x + 3*x, -4*x = -5*g - 10 for g.
2
Let z = 4 - 18. Let h be z/(-3) - 4/6. Suppose -2*t - 1 - 9 = -4*x, -5*x - 5*t = -35. Solve -7*o - p = -h*o - 18, -2*o - x*p = -22 for o.
5
Suppose 4*o + 0*o = 44. Suppose 6*t + 20 = o*t. Let p(x) = x**3 + 13*x**2 + 13*x + 18. Let s be p(-12). Solve -3*a - 4*h = 22, 6 = -t*a - h - s for a.
-2
Suppose 2*l - 49 = -p - 6, 0 = -p - 3*l + 43. Let g = p + -38. Solve -2*f + 3*q - 7*q = 0, 0 = -f - g*q + 3 for f.
-2
Suppose 0 = 4*x - u - 14, 2*x - 2 = 3*u - 0*u. Solve 0*j - 3*j = -3, -x*o + 1 = 5*j for o.
-1
Suppose 15*x - 42 - 3 = 0. Solve 3*a + a = -2*o - 2, x*a = -3*o + 6 for o.
5
Let l = 719 - 704. Solve -5*t - l = p - 4, -2*t = -3*p + 18 for t.
-3
Suppose 7*n = 5*n + 8. Suppose 2*v + v + n = -4*w, -5*v + 2*w + 28 = 0. Solve -5*k - 4*h + 4 = -2*k, -5*k - 4*h + v = 0 for k.
0
Let k = -151 + 153. Solve k = 5*i + 2*t, 5*i + 2 = 3*t - 1 for i.
0
Suppose 0 = -20*p + 29 + 51. Solve -11 - p = -4*s - 3*u, 2*s = 2*u - 10 for s.
0
Suppose 2*w = 6*w + 68. Let d(o) = o**2 + 18*o + 20. Let r be d(w). Solve 2*t + r = -3*g, 0 = -3*g + t - 3 for g.
-1
Suppose -6*p - 13 = -37. Solve -j = -2*h - 3, 0 = 4*h - p for j.
5
Let v(s) = 269*s**2 - 6*s - 5. Let w be v(-1). Suppose 2*u - w = -4*u. Solve 5*r - 19 = z + 1, 5*r - u = -4*z for z.
5
Let r(a) = a**2 - 6*a - 5. Let l be r(7). Suppose 0 = -l*u + 6 + 4. Solve 5*t + 44 = 5*v - 6, 0 = -5*v - u*t for v.
5
Let l = -2 - -3. Suppose 6*x = 10*x. Suppose x = -3*q - 2*q + 20. Solve 4*a + q*d = 2 - 6, -l = -5*a - 3*d for a.
2
Let f = -6 - -10. Suppose 19 = 6*b - 17. Let z be 125/(-15)*b/(-2). Solve 5*w = 5*n + z, n - 3*w + f + 1 = 0 for n.
-5
Let l = 1449 - 1449. Solve m - 4*r + 5 + 12 = l, -m - 5 = -r for m.
-1
Let t be 6*(2 - (-3)/(-3)). Let a(z) be the second derivative of z**3/2 + 6*z**2 - 82*z. Let y be a(t). Solve m = -s, s + y = 3*m - 2*s for m.
5
Let b = -26 - -11. Let k = b - -19. Suppose -3*s + 4*s = 2*z - 82, -4*z - 5*s + 150 = 0. Solve z = 5*c + 5*o, 2*o = k*c - 0 - 2 for c.
3
Suppose 0*w + 2*w - 8 = 4*z, -3*z - 9 = -3*w. Suppose -17 - 6 = -d. Solve k = f - 2, d + w = 2*f + 5*k for f.
5
Suppose -7*b - 23 + 2 = 0. Let t be (-4*1 - b)*1 + 3. Solve t*i - 2 = -3*u, 3*u - 2 + 4 = 2*i for u.
0
Let g = 9 + -39. Let q be g/(-6)*(-8)/(-10). Solve q*u - 19 = 5*r, -3*r - 4 = -u + 6*u for u.
1
Let w(o) = o**2 - 7*o + 12. Let s be w(5). Suppose -z + 2*z + 2*v + 6 = 0, -s*v - 6 = 4*z. Solve 3*t + 2 = -z*h + 2*h, t - 14 = -3*h for h.
4
Let y be 2/(-3)*(-3 + 21/(-14)). Suppose 2*w - 28 = -3*z, z + 4*w = -y + 29. Solve 5*l = 2*m - 27 + z, 4*l = -3*m - 3 for l.
-3
Let g be (0/(-5))/(1 - -1). Suppose 8 = -5*v + 2*u, -v - 2*u - 2*u - 6 = g. Let w be (3/(-5))/(v/20). Solve -15 = -4*p + f - w*f, 0 = 5*p + 2*f - 6 for p.
0
Let l = -4 - -5. Let n be 1 - (l + 15/(-5)). Suppose -3*o + n*h = -5*o + 8, 8 = 2*o - 5*h. Solve -5*q = -o*m - 13, -m + q + 1 = m for m.
3
Suppose 2*m = -34 + 10. Let b be ((-6)/(-4))/((-9)/m). Suppose 0 = -4*z + 4*i, 0 = -b*z - z - 3*i + 6. Solve -z = -n - u, u - 3*u = -5*n + 12 for n.
2
Let w = -57 + 60. Solve -4*m = 3*h, w*m = -5*h - 0*h for h.
0
Let f(k) = 2*k - 27. Let o be f(13). Let n be (-8 - -5)*o/1. Solve n*y = -5*r + 14, r + y + 2*y = 10 for r.
1
Let i(l) be the second derivative of -l**3/3 - 5*l**2 + 10*l. Let q be i(0). Let x = -3 - q. Solve 5*h + 26 = 3*u, -5*h - x*u = -2*u + 10 for h.
-4
Suppose -4*x + 20 + 20 = 0. Suppose -x*n - 25 = -15*n. Solve 9 = -d + 4, y - n*d = 25 for y.
0
Let b = 37 - 30. Suppose 9 + b = 4*x. Suppose -2 + 4 = -j - d, 0 = -x*j - 2*d - 4. Solve 5*u - 24 = -3*z + 2, j = 5*z + 3*u - 22 for z.
2
Suppose -5*p - 19 = -324. Suppose -3*d - p = -67. Solve d*h - 10 + 2 = 0, 5*h - 23 = -3*b for b.
1
Let q(h) = h**2 + 11*h - 9. Let y be q(-12). Solve 2*d - 2*s = y*s + 10, 0 = -3*d - 5*s - 10 for d.
0
Let b(d) = 2*d**3 + 4*d**2 + 4*d + 8. Let j be b(-4). Let t = j - -78. Solve 5*u - t*c + c = 0, -5*u = -4*c - 3 for u.
3
Let i be -7 - 1/2*-2. Suppose -2*x + 2*h + h = 8, 2*x = -h. Let c = x - i. Solve 0*b + 6 = b - 4*d, -c*d = b + 12 for b.
-2
Suppose 0 = -26*i + 22*i + 12. Solve -q + x = -7, 4*q + 0*q = -i*x for q.
3
Suppose -119 + 297 = 5*j + 2*n, 4*j + n - 140 = 0. Let l = j + -31. Suppose -4*a = -17 - 55. Solve 0 = -4*m - 2*b - a, m - 2*b - l = -0*m for m.
-3
Let f(k) = -k**2 + 20*k - 17. Let t be f(19). Let u be 12/(-9)*3*-1. Solve 4*x = -t*v - 2, 5*v + 23 = x - u for x.
2
Suppose -16*i = 74*i - 180. Solve 0 = 3*v - 9, -z + v = 4*z - i for z.
1
Suppose 3*v + 2 = 4*c + 5*v, 4*c - 4*v = -28. Let z be (2 + -3)/(c/10). Let l = 6 + -3. Solve z*h = 5*r - 5, 0*r + l*r = 2*h for r.
-2
Let t(j) = 18*j - 284. Let h be t(16). Solve 3*m + 5 + 1 = -5*k, -2*k = 2*m + h for m.
-2
Let t(l) = -10*l + 18. Let u be t(-6). Let h be (u/65)/((-4)/(-10)). Solve 0 = k + 2*w - h, 3*w - 12 = 3*k + 2*w for k.
-3
Let g(d) = 106*d + 111. Let y be g(-1). Solve -c + 3*l + 5 = -5, -y*l = -3*c + 10 for c.
-5
Let z = 1705 - 1703. Solve 0 = 5*f - z*m + 16 + 7, -26 = 5*f + m for f.
-5
Let c(r) = r**3 + 5*r**2 - 8*r - 7. Let h be c(-6). Let v = 4 + -10. Let d = 8 + v. Solve 0 = h*u - 3*k + 14, d = -2*u + 4*u - 5*k for u.
-4
Let t = 1279 + -1275. Solve 8 = -3*q - 2*p, -6*q + t*p = -3*q - 16 for q.
0
Suppose 3*n + n = 0. Suppose 0 = -3*u - 15 - n. Let s be (-36)/(-15) + 2/u. Solve -3*y + 5*w = -35, -3 + s = 3*y + 4*w for y.
5
Let o be (-16)/(-7) + (-22)/77. Suppose -4*k + 92 = k - n, 2*n = o*k - 40. Solve 0 = -j + 5*m - 21 - 6, 0 = j + 4*m - k for j.
-2
Let o(q) = -7*q - 55. Let g be o(-10). Solve g = n + 5*j, -2*n + 3*j - 5*j - 2 = 0 for n.
-5
Let k be (2 - -87) + -