
-5
Let v be (-144)/54*(-3)/(-2) - -12. Solve t - g + 2 = g, -4*g = -v for t.
2
Suppose 4*p - 7 = 1. Suppose -50 = -2*t - 4*k, k - 67 = -4*t + 61. Let o = -4 - -11. Solve -p*h - 3*i - o = 2*h, t = 4*h - 5*i for h.
2
Suppose y + 6 = 3*t, -y + 3 = t + 1. Suppose x + 2*l = -2*x + 16, l - 5 = y. Let s be (57/(-3))/(x - 3). Solve -3*c = 2*q - s, 0 = c - 2*c + 3*q - 1 for c.
5
Let q be (4 - (-48)/(-9))*30/(-8). Solve -q*f + 10 = y, -3*y - 3*f - 22 = -8*y for y.
5
Let c(r) = -r**2 + 2*r + 61. Let h be c(8). Let s be (-3)/2 + 66/12. Suppose 2*y = q - 3, 2*q - 3 = 2*y + 3. Solve -5 = 2*x + l - y, 3*x - s*l = -h for x.
-3
Suppose 14 = 3*d - 2*y, -4 = 6*d - 8*d - 4*y. Solve 11 = d*q - 5*x, 2*q + 7 = q - 2*x for q.
-1
Suppose 9*y - 72 = 3*y. Solve -h - q = -2*h + 3, -5*h = -4*q - y for h.
0
Suppose -87 = -13*u - 22. Solve -5*z = -5*q + 25, z - 4*q + u + 6 = 0 for z.
-3
Suppose 0 = 5*m - 25 - 0. Let a be (-3 + 1 + 8)/(3/4). Suppose 0 = -14*g + a*g + 30. Solve 32 = 3*l - g*p, -m*l - p = 6 - 22 for l.
4
Let u(p) = 3*p**2 - 11*p - 1. Let q be (-13)/(-3) - 3/9. Let x be u(q). Solve a = -2*z + 1, 0*a - x = -3*a - z for a.
1
Let q be (174/(-34) - -5) + 144/68. Solve -5*s = 2*x + 15, -q*s = -4*x - 3 - 15 for s.
-1
Suppose 14*v + 15 = 17*v. Solve 2*a + 2 = v*o, 6 - 14 = -4*o for a.
4
Let z = -48 + 48. Solve -5*t + i + 16 = z, 5*t + 0*i + 4*i = 11 for t.
3
Let n be (1 + 9)/(-6 - (-64)/8). Solve -2*o = 0, -o = i + 2*o + n for i.
-5
Let v(o) be the third derivative of -o**4/24 + o**3/6 - 5*o**2. Let y be v(-6). Solve -s = -4*i - 13, s = i - 0*i + y for s.
5
Let s be ((-4)/(-3) + 0)*3. Let u(t) = -2 + 3*t**2 + 2*t**2 + s - t**3 + 0. Let d be u(5). Solve -d*k = 5*c + 3, -2*k - 3*c = -k + 1 for k.
-4
Let o = -22 - -24. Suppose -2*x + o*n + 2 = x, n = -2*x + 6. Solve -3*j - 5 = x*k, -5*k + 14 - 4 = 0 for j.
-3
Suppose 2587*q - 2601*q = -28. Suppose s + 36 = 5*s. Solve -2*l + 14 = -q*j, -2*j - l + 2*l = s for j.
-2
Suppose 0 = -3*h - 3*l + 24, 4*l = -3*h + 6*l - 1. Solve 0 = -0*a + 4*a - h*f - 15, 0 = -3*a - 2*f + 7 for a.
3
Let t be (-60)/5*17/(-4). Let f = 51 - t. Solve 0 = -f*r + 3*r + 4*w + 22, 2*w = 4*r for r.
-2
Let v be (-39)/9*-3 - -3. Let s = v + -16. Let z = -4 + 8. Solve 4*j + z*o - 4 = s, 3 = -2*j + 5*o - 2 for j.
0
Suppose -2*q = -4*m - 21 - 1, -3*m - 12 = 0. Suppose -q*l - p - 3*p = -8, -3*l + 36 = -3*p. Let d = 13 - l. Solve 4*h - 2*h - 2*k = -2, -3*h = d*k + 11 for h.
-2
Let a = 27 + -28. Let l = a - -6. Solve -4*q + l*d = -21, -q + d + 7 = -3*q for q.
-1
Let i = -648 + 649. Solve -h + 1 = 4*o - i, 0 = -o - 3*h + 6 for o.
0
Let d be (-2 - 5) + 5/15*69. Solve 0 = 4*q + 5*v + d, -2 = 5*v + 18 for q.
1
Let b = 0 + 2. Let j = 15 + -11. Suppose -j*p + 3*r = -14, -2*p + 3*r - 4*r = -2. Solve -2*f = q - 3*q + b, -3*q + 3 = p*f for f.
0
Suppose -3*r - g + 6 = 0, 1 + 14 = -5*g. Suppose -r*c - 4*z + 19 = 0, 3*z + 2*z - 10 = -c. Solve 4*i + 7 = 3*h - c, -4*i + 2*h - 12 = 0 for i.
-3
Suppose 4*t + 9296 = 5*o - 3087, 0 = -t - 2. Suppose 2*f - o = -f. Let u be (-2)/(-11) + f/121. Solve 5*a = q - 5, 0 = 5*a + 5*q + 28 + u for a.
-2
Let i(j) = -j**3 + 4*j**2 + 6*j + 1. Let p be i(-1). Solve 22 = 5*g + 3*f, p = 5*g - 5*f - 10 - 20 for g.
5
Let o be -3 - (-4)/(-2 + -2). Let m be (-2 + 2)/(o/(-2)). Let r(q) = q**2 + q + 4. Let g be r(m). Solve f + f = a, -5*f + g*a = -3 for f.
-1
Let h(t) = -t**2 - 6*t. Suppose 2*n = -o - 3*n - 11, -4*o = -4*n + 20. Let l be h(o). Solve 0 = 4*c - 5*g - 5 + 24, l = 4*g - 12 for c.
-1
Suppose 3*g - 9 = -15. Let j be ((-3 - 1) + 3)/1*g. Solve q - i - 3*i - 5 = 0, -5*q - j*i = 19 for q.
-3
Let c = -16 - -23. Suppose 17 = q - c. Let g = 5 - 2. Solve -g*k = 4*j + q, 5*k + 17 = -j - 6 for k.
-4
Suppose 2 + 1 = -x - g, 3*x - g = 11. Let v be -1 - (-1 + -1) - -1. Solve c = -s - 2*c - 4, s + x = -v*c for s.
2
Suppose -4*q - 5*g + 38 = 0, 2*q + 2*g = -0*g + 18. Solve -y = -4*k + 2*y - q, -4*y + 5 = -k for k.
-1
Suppose -12*d + 11*d = -3. Solve -2*j + 20 = 2*m + 2*m, d*j + 5*m - 25 = 0 for j.
0
Let c(d) = -2*d**2 + 23*d - 61. Let w be c(6). Solve 0 = 3*k + 4*p + 4, 5*p - 1 = -w*k - 6 for k.
0
Suppose 0 = -w - p, 3 = -2*p + 1. Suppose -5*m + 2*s + w = -1, 3*s = -m + 14. Solve 3*h = m*d + h + 6, -d - 8 = -2*h for d.
2
Suppose 5*u = q + 50 + 4, 3*u = -3*q + 36. Let w be -4 - (-3*u + -1). Suppose 4*t - w = t. Solve 0 = -4*h + r - 2*r - 25, 0 = h + r + t for h.
-5
Let s = -7 + 12. Suppose -2*t = 10, -2*v - 4 = 3*t - 1. Suppose 2*z = -2*j - 8, 7*z + 5*j + 24 = v*z. Solve 3*n + 0*n - o + z = 0, s*n + 15 = -o for n.
-2
Let p(l) = -73*l + 11 + 39*l + 43*l + l**2. Let v be p(-8). Solve -h = q - v*q - 11, q - 11 = -5*h for h.
3
Let l be (-1)/3 + (-7)/(-3). Let p be 1 + (-6*9/(-3))/l. Solve w + 10 = 3*q, -2*q + 2*w = -2 - p for q.
2
Suppose -f + 6 - 2 = 0. Suppose v - 8 = 11. Solve i + a = 7, -f*i + 51 = 5*a + v for i.
3
Suppose 9*v + 24 = 5*q + 11*v, -5*q = -4*v - 12. Solve 3*j = -2*g - 0*g + 13, -3*j = q*g - 11 for j.
5
Let h(q) = q + 1. Let t(w) = w + 2. Let c(u) = 7*h(u) - 5*t(u). Let b be c(19). Solve y + 5*v = -3*y - b, -13 = 5*y - 4*v for y.
-5
Let a be (-6)/(-2 + 0/3). Suppose -k = a*k - 20. Let l = 22 - 20. Solve -n - 7 = l*v, k = -2*v - 5*n - 6 for v.
-3
Suppose -j + 2*g = -11, -3*g = -3*j + 3 + 21. Solve -j*l + 7*l = -d + 4, 12 = -4*d - l for d.
-4
Suppose 0*t + 4*t - 3*l - 9 = 0, -4*l - 12 = -2*t. Solve 2*q - o + 5*o + 18 = t, -4*q - 21 = 5*o for q.
1
Let c = 7 - 21. Let f = -6 - c. Suppose 4*j + 4*u = 32, 4*u + f = -2*j + 3*j. Solve -7*x + 20 = -2*x + n, -2*x - n + j = 0 for x.
4
Let q = -287 - -290. Solve o = 2*g - 3 - q, -3*g + 18 = 3*o for g.
4
Let p(n) = 2*n**2 + 3*n. Let g(q) = -2 + 3 + 2 + q + 5. Let b be g(-10). Let m be p(b). Solve 3*l + 35 = -m*l + 5*u, -5*l - 31 = -4*u for l.
-3
Let p(y) = 2*y + 18. Let u be p(-8). Let s = 8 - 12. Let r be s/3*66/(-4). Solve -5*i + 2*d = 5*d - r, -u*i = -d for i.
2
Suppose -5*y + 72 = -8*y. Let u = 10 + y. Let k be u/(-3)*99/22. Solve -i - 2*i + k = 3*v, -i - 23 = -5*v for i.
2
Let a(n) = -25*n + 78. Let p be a(3). Solve p*t = 3*x + 6, -x - 15*t + 14*t = -4 for x.
1
Let v be (-4)/10 + 4/10. Suppose -60 = -v*y - 4*y. Suppose 15*r = 20*r - y. Solve 0 = -2*b + 4*k + 12, -10 = -r*b - 0*b + 2*k for b.
2
Suppose 6 = -2*t, 5*t = -3*a + 4*t - 9. Let y be (-120)/(-20)*(a - 9/(-2)). Solve 4*z = 4*i - 0*z + 12, 0 = 3*i - 5*z + y for i.
0
Let k = 45 + -30. Let w = k - 12. Suppose 77 - 20 = w*m. Solve -19 = 2*v - 0*v + 5*j, -5*v = 3*j + m for v.
-2
Suppose -4*b = -2*q - 1055 + 17, -b - 2*q = -247. Suppose 0 = 256*c - b*c + 12. Solve 4*l + 16 = 5*u - 0*l, -c = u + 3*l for u.
0
Let o(f) = -65*f - 321. Let a be o(-5). Solve 0 = 3*q + a*m - 17, 0*q = 2*q - 2*m - 2 for q.
3
Let c = 13 - 7. Suppose c = 4*z - 14. Let w be (84/(-70))/(-4 - (-74)/20). Solve 0 = x - z*x + 2*n, -w*x + 8 = 2*n for x.
1
Let v(s) = s**2 - 3. Let d be v(0). Let p(g) = 3*g**2 - 7. Let z be p(d). Solve -5*j = z, -2*j - 10 = c - 1 for c.
-1
Suppose j - 2*y = 1, -7*y + 4*y + 26 = 4*j. Solve -20 = -2*z - 4*n, -4*z - 4*n = -j*z - 20 for z.
0
Suppose -x = -6*x + 115. Suppose -5*i - 3 = -x. Suppose 2*u + 3 = -i*s + 1, 3*u - s = 11. Solve -4 = -2*b, 5*b = y + u*b for y.
4
Let p = -418 - -424. Solve p*x - 4*x - 2*v = 14, -3*x = -2*v - 18 for x.
4
Let s(p) = -2*p**3 - 21*p**2 + 11*p + 5. Let k = -41 + 30. Let l be s(k). Solve 2*i + 4*h - 4 = 0, -i - l*h + 1 = -1 for i.
2
Suppose -5*k = -4*k - 3. Suppose k*q - 21 = 3*l, 3*q = q - 3*l - 1. Let b = 62 - 35. Solve q*d - 25 = -3*m, -4*d + d + b = 5*m for m.
3
Let t be 2 + (-624)/(-10) + (-18)/(-30). Let m = t - 45. Solve 5*p + q = 8, -2*q - m = -5*p - 7*q for p.
1
Suppose 0 = 2*a - a + 10. Let b(t) = -t**3 - 21*t**2 + 19*t - 40. Let o be b(-22). Let g = o + a. Solve -4*c = c + 4*u - g, 2*c + 12 = 3*u for c.
0
Let i = -186 + 188. Solve 3*u - 3*o - 3 = 7*u, -u + i*o - 9 = 0 for u.
-3
Let q be (-3)/(-15)*0/3. Suppose -36 = -9*o - q. Let w(k) = k**2 + 7*k + 9. Let j be w(-6). Solve -o*r = 8, -s + r - 14 = j*s for s.
-4
Let k(n) = 2*n**2 - 11*n - 6. Let a be k(-1). Solve -l - 4*c = 1, -2*c + a = 3*l - 0*c for l.
3
Suppose 6*b = 2*b + 80. Suppose 6*c - c - 25 = 0, d - 4*c = -b. Let m be (-15)/6*(-12)/15. Solve d = 3*l + 2*t - 13, -2*l - m - 2 = -5*t for l.
3
Suppose -1 = z - 5*o + 4, 2*o = 2*z + 10. Let h be 0*(3 + z - 