
Let r be 6 - 3 - (15/(-3) + 5). Solve 8 = -x + 3*g, x + 2*g + 0*g + r = 0 for x.
-5
Let p be 39/(-26)*(-40)/(-2). Let g = p - -43. Suppose 1 - g = -6*z. Solve 7 = -2*r - z*r - 3*k, -3*r = -5*k + 27 for r.
-4
Let v = -19 + 28. Suppose 2 = -12*u + 11*u. Let g be 6/12*(2 - u). Solve -5*z - v = -2*s, 5*z - 5 + g = -4*s for s.
2
Suppose 0 = 33*z - 38*z - 2*s + 27, 0 = -z + 3*s + 2. Solve 0 = 5*g - 2*i - 4, 4*g - i + z = 5*g for g.
2
Suppose 3*k = 0, k - 2*k = 2*t - 4. Solve -t*q = -2*b - 12, 0*q + 2*q = -4*b - 18 for b.
-5
Let i(x) = -x**2 + 7*x - 8. Let a be i(5). Suppose 0 = -a*s - 2*s + 8. Let f = 1 + s. Solve -3 = f*p - 5*o, -2*p + 0*o - 2 = 4*o for p.
-1
Let r = -37 - -42. Suppose 27 - 3 = r*a - 4*d, a - 24 = -4*d. Solve -4*q + a = -p, -3*p + 5 + 1 = -2*q for q.
3
Let q be (-45)/35 + 2/7. Let k be (-3 - q) + (-48)/(-12). Suppose -6*t + 3 = -5*t. Solve 0 = x + 2*u + t, 3*x - 2*u = k*x + 5 for x.
1
Suppose -2*y = -8*y + 18. Suppose 0 = y*p + 5*l - 84, -4*l + 30 = 5*p - 110. Solve -p = -5*k - 3*j, 0*k = -2*k + 2*j + 8 for k.
5
Let b(c) = 2*c**2 + 31*c. Let f be b(-16). Suppose 0 = -5*x - 6 + f. Solve -u + 9 = 5*h - x, 7 = h - u for h.
3
Let j = -12 + 16. Let i = 105 + -85. Solve 3*r - 4*o + 26 = 0, -3*o + 3 = -j*r - i for r.
-2
Let w(v) = 2 - 128*v**2 + 127*v**2 + v**3 + v + v - 2*v**3. Let q be (-10)/4 + (-3)/(-6). Let n be w(q). Solve -5*s = n*p - 5, 4*p = -0*p - 20 for s.
3
Suppose -616 = -19*l + 8*l. Let m = l + -53. Solve 0 = 2*s + 2, -10 + m = 5*o + 2*s for o.
-1
Let a = -54 - -51. Let h be (-52)/(-12)*1 - (-1)/a. Solve -2*y + 1 = -7*y + t, -h*t - 11 = -5*y for y.
-1
Let k = 12 + -10. Suppose -17 = -4*t + 3, 4*i - 2*t = -k. Solve -4*u - i*f + 6 = 0, -3*f + 3 = -0*f for u.
1
Suppose -2 = q - h - 15, 4*q + 2*h = 34. Let m(j) = j**2 - 13*j + 33. Let g be m(q). Solve 2 = g*t - 6*t + 5*u, 0 = -4*t - 4*u - 24 for t.
-4
Suppose 21 = 4*r + 9. Solve 3*a + 3 - 6 = -2*w, -r*a - 6 = 5*w for a.
3
Let b = 26 + 0. Let q = 28 - b. Suppose 0 = a - 2. Solve a*u + 35 = -5*h + 5*u, 4*h - q*u + 26 = 0 for h.
-4
Suppose -7 = w - 27. Suppose 4*l - 3*d - w = 0, 5*l - 4*d = -0*d + 26. Let f = -18 - -24. Solve -h - t = -f, h - 2*t - l*t = -14 for h.
2
Let l(o) = 5*o**2 + 41*o + 8. Let t be l(-8). Solve 0 = -5*j - c + 9, 0 = -t*j + j - 2*c + 7 for j.
1
Suppose u - 36 = -5*g - 8, 3*g = 15. Let d be (5 + -2)*(u - 2). Solve -n = 5*w - 3*w - 1, -n = 4*w - d for n.
-1
Let s(q) = -10 + q + 1 + 24. Let p be s(5). Suppose -12 = -3*h - 0*h. Solve 5*n = w + w + 3, -4*w - p = h*n for n.
-1
Suppose 20*t = 504 - 84. Solve -5*a = 4*s - 24 - t, 0 = -4*a - 3*s + 35 for a.
5
Let q be (0 + -1)*(-12)/(-6). Let s be (q*9/6)/(-1). Solve 2*u - 3*b + 7 = 0, 4*u - 2*b = -s - 15 for u.
-5
Let c(y) be the first derivative of -y**2 + 11*y - 6. Let i be c(9). Let w be (-2)/(i/(70/4)). Solve w*d - 5 = 3*s - 8*s, -4*s = 8 for d.
3
Suppose 0 = -2*j + 5*j. Suppose j = -2*f - f + 12. Solve 5*l + 35 = -4*m, 4*l - 3*l + 23 = -f*m for m.
-5
Let o be (-36)/(-60) - (-12)/(-20). Solve 4*u - u - 5*z - 2 = o, -3*u + 3*z = 0 for u.
-1
Suppose 4*g = -4*l + 8, 2*l + 3*g + 4 = 7. Solve -d - l*w = -6*d + 32, 4*w + 16 = 0 for d.
4
Let a = -48 - -51. Suppose 14 = 4*g - 3*z, g + 3*g = -a*z + 2. Solve 24 = 4*v + 3*h, 0 = -0*v - g*v + h + 2 for v.
3
Suppose 0 = 4*k + 5*n - 15, 0*k + 3*n - 17 = -4*k. Let p(z) = z**3 - 15*z**2 + 13*z + 18. Let q be p(14). Solve -f + 15 = k*h, f - 5 - q = -3*h for f.
0
Suppose 0 = 12*q - 154 + 22. Solve 4*h + q = d, -2*d = -d - 3 for h.
-2
Suppose z + z - 10 = 0. Suppose -z*x = -0*x - 15. Let h be -1 + (-4)/(-2) + 2. Solve 0 = -x*s - 4*v - 4 + 11, 5*v = h*s + 29 for s.
-3
Let g(i) = -4*i**2 + 10*i - 6. Let w be g(6). Suppose 21*l - 120 = 15*l. Let b be w/l*4/(-6). Solve -3*n - 4*m + 0*m = 0, b*n = 3*m for n.
0
Let h be (-3)/(1*6/(-8)). Let n = 100 + -95. Suppose 7*l + k = 2*l + 69, 60 = 4*l - 4*k. Solve -5*p - h = 3*y, -2*y + l = -n*p - 0*p for p.
-2
Let r(l) = l**3 + 11*l**2 - l - 6. Let u be r(-11). Solve -y + 4*y - 2*f - 2 = 0, -4*f - 4 = -u*y for y.
0
Suppose 0 = 13*z - 26 - 0. Solve 5*d - 26 = 4*x, 5*x + 10 = z*d - 14 for x.
-4
Let l(c) be the first derivative of -c**4/4 + 16*c**3/3 + c**2 - 11*c + 3. Let n be l(16). Solve -o + 0*o - 5 = 4*b, 3*b + n = 5*o for o.
3
Let y = -594 - -597. Solve -5*o = -15, -2 = y*a - 4*o + 7 for a.
1
Let z(l) = l**2 + 5*l - 3. Let x be z(-5). Let u(m) = -11 - 2*m**2 + 16 + 4*m + 3*m**2. Let p be u(x). Solve -c = -3*q + 2, 2*c + 2 = -p*q - 2 for c.
-2
Let q(m) = -m**2 - 8*m - 8. Let f be q(-6). Suppose 3*v + 100 = -5*g, -5*v - 88 = f*g - v. Let k = -9 - g. Solve 0 = 3*l + 4*y - 20 + 3, 0 = 2*l + y - k for l.
3
Let l be 96/264*33/6. Solve m + 14 = l*p - 4*p, 26 = -2*p - 4*m for p.
-5
Let h(x) = 56*x - 16. Let l be h(-2). Let r = l - -130. Solve -4*c + 9*c = -3*s + 11, -r*s = c - 5 for c.
1
Let t(z) = -2*z**3 - 12*z**2 - 6*z - 11. Let f be t(-6). Solve 2*k = -4*n, 2*k - 5*n = f - 7 for k.
4
Suppose 53 = 2*u - 17. Suppose 13*c + u = 18*c. Suppose -3*f + 24 = -2*k + c, f - 10 = 5*k. Solve -2*w - w - 3*j + 12 = 0, 4*w = -f*j + 19 for w.
1
Let x = -10 - -15. Suppose -7*u + 10 = -x*u. Solve 0 = b - 4, -5 = -u*t - b + 19 for t.
4
Let b be (-212)/(-12) - (-4)/12. Suppose -4*m - 5*l + 76 = b, -2*m + 20 = -2*l. Solve 2*y - 6*y - 3*x = m, -5*y = 4*x + 15 for y.
-3
Suppose 7*l - 233 = -191. Let r(q) = -q**2 + 5*q + 6. Let t be r(6). Solve -5*j + k - l*k + 20 = t, k - 7 = 2*j for j.
-1
Suppose 59*x - 20 = 49*x. Solve 0 = -2*u - 0*u + x*t - 6, 4*u = 2*t - 10 for u.
-2
Suppose 6*a = -43 + 67. Solve 4*s - 4*q = 4, a*q - 14 = -4*s + 2*s for s.
3
Let h = 28 + -23. Suppose -3*b = -5*o - 27, 0 = 2*o + 11 - h. Solve 2*u - 6 = -4*p - 2, -p = 3*u + b for p.
2
Let j(f) = f**3 + 36*f**2 + 32*f - 103. Let y be j(-35). Solve 4*p = 3*d + y*p + 7, -d = p - 6 for d.
1
Suppose -9*k + 8 = -5*k. Suppose k*j + 2*j + 5*s - 25 = 0, 0 = 3*j - 4*s + 20. Suppose -3*c - 2 + 11 = j. Solve -c*i - 12 = -4*q + q, -4*q + 6 = i for q.
2
Suppose 55 = 8*p - 9. Suppose -z = p*z - 90. Solve d - 5*a = 25, 2*d + 6*a - a + z = 0 for d.
5
Suppose 0 = -4*i + 1 + 7. Suppose 6 = 4*m - m. Let t be 6 - (m - (2 + -1)). Solve 3 = t*g + 5*b + 13, -g - 3*b = i for g.
-2
Let f = -540 - -545. Solve -5 = -4*t - a, 2*t - f*a = -3 - 0 for t.
1
Let c = -83 - -86. Suppose -5*q = -c*q. Solve 5*l + q*h = 5*h, -5*h = -4*l + 3 for l.
-3
Let o be 1/7 + 8/(-56). Solve o = -w + i + i + 3, 0 = 4*w - 3*i - 7 for w.
1
Suppose -67*y = -69*y + 6. Solve -15 = -5*b + 4*d, b - y*d - 12 = -3*b for b.
3
Let n = -28 + 32. Solve 0 = 4*q, 4*q = n*c + 3*q for c.
0
Let t be 2/(-20) - (-1457)/470. Solve -t*q - n = 2*n + 30, n = -5 for q.
-5
Suppose v = 2*v. Suppose -2*i + 9 + 1 = v. Suppose 24*k = 6*k + 54. Solve j + 3*j - i*p + 7 = 0, 0 = k*j + 2*p - 12 for j.
2
Suppose 5*r + 0*r - m - 34 = 0, -3*r + 4*m + 34 = 0. Solve -2*q - 5*h - 16 = -2*h, -3*q = -3*h - r for q.
-2
Suppose 5*b + 3*w = 8*b - 12, -w = -4. Solve 6*u + 2 = b*u - 5*y, 3*u + 2*y + 16 = 0 for u.
-4
Suppose 78 = b + 74. Solve -2*x = -3*r - 17 + 5, -b*x = 4*r + 16 for x.
0
Let c(w) = -2*w - 14. Let p be c(-13). Suppose -4 = -h, 2*l + 2*l - 3*h + p = 0. Solve 3*x = -2*s + 12, -5*s + 25 = -l*s + 5*x for s.
3
Let p(o) = -o**2 - 17*o - 47. Let h be p(-4). Solve h*u + 10 = 2*t - 6, 3*u - 3 = -3*t for u.
-2
Let c be (-18)/(-5) + 2/10*-3. Let j be (5/(-10) + -1 + c)*2. Suppose 0*a = a - 3*b + 3, 2*b = -a + 2. Solve w + 2*y + 3 = -0*w, 2*w + j*y + 2 = a for w.
5
Let v = -3 + -3. Let b(l) = l**3 + 5*l**2 - 4*l + 14. Let w be b(v). Suppose -12 + w = -2*s. Solve 5*x - 5 = 5*u, -x + 0*x = u + s for x.
-2
Let j = 80 - 76. Let r be (8 + j + -6)/(2/6). Solve -4*c = -5*m + 3, r = 5*m - m + 2*c for m.
3
Let n(u) = u**2 - 4*u + 6. Let y be n(8). Suppose -5*s = -3*s - y. Suppose 4*q + s = 99. Solve 0*x + 3*x - 18 = -3*m, -5*x = -q for m.
2
Suppose -r = -f + 4, -2*f + 5*r = -7*f + 10. Suppose -31 = -8*m + 33. Let q(p) = -p**2 - 3*p + 4. Let b be q(-3). Solve -h = 0, 0 = -b*t + f*h - 0*h + m for t.
2
Suppose 7*j - 2*j - 5 = 5*p, -3*j = -5*p - 1. Let o be ((-30)/12)/((-4)/8). Suppose 3*q - o*q + 10 = 0. Solve -5*s - 5*r - p - 4 = 0, q*s + 3*r - 1 = 0 for s.
2
Suppose -30*k - 129 + 129 = 0. Solve k*v = v + 5*a, -4*a - 4 = 0 for v.
5
Suppose -4*i + 48 = 28. Solve -5*k - 1 = -4*f + 9, -i*k = -10 for 