*p + 4, -p = 2*k + 8 for p.
0
Let m be (14 - 4) + (38 - 48). Solve -4*r + 16*x = 18*x - 20, -3*r + x = m for r.
2
Suppose -b - 2*r + 9 - 1 = 0, -4*b + 2*r + 2 = 0. Suppose 7*w = -b + 23. Suppose -2*l - 2*l = 0. Solve -p = -w*n - 10, -p - 25 = -l*p + 4*n for p.
-5
Let g(b) = b**2 - 4*b - 26. Suppose 0 = v + r - 3*r - 14, 2*v = -4*r + 4. Let q be g(v). Solve -4*y = -i - 3, 0 = i - 5*y - 1 + q for i.
5
Suppose 271*k - 273*k = 2*w - 16, -k - 3*w = 0. Solve -6 = -4*t + 2*s, 0 = -t - 5*s + s - k for t.
0
Let g be -9*(72/(-34) - (-6)/51). Suppose -4*w - 4*n + 28 = 0, -5*n = -g + 3. Solve w*v + 12 = 4*l, -l - 7 = 3*v - 2*v for v.
-5
Suppose -13*o - 3*j - 21 = -18*o, 0 = 4*o - 3*j - 18. Suppose -4*n = -3*n - 1, 5*m = 3*n - 43. Let x be m/6*(-6)/4. Solve 5*i - 5*p - x = -37, -o*p = -9 for i.
-4
Let a(r) = 7*r**2 - r + 6. Let m be a(0). Let i(w) = 7*w - 18. Let k be i(m). Suppose 9*p - k - 12 = 0. Solve p*q + 16 = 0, -20 - 4 = 4*v + 2*q for v.
-4
Suppose -17*h + 16445 - 363 = 0. Suppose 963 = g + h. Solve 5*n + 16 = o, -2*n - 5 = -5*o - g for o.
-4
Suppose 540 = -5*q - 5*t, -3*t - t + 16 = 0. Let w = q + 126. Solve v + 2*v = 5*r + 22, 0 = -r + 3*v - w for r.
-2
Let h(c) = c**2 + 14*c + 32. Let y be h(-11). Let k be ((-20)/(-5) - y)*4/10. Solve 5*s + 9 = -4*j, -s - 4*j - 7 = -k for s.
-1
Let z(m) = -m**2 + 14*m + 258. Let y be z(0). Let s = y - 238. Solve -2*f + n + 2 + 3 = 0, 3*n = -f + s for f.
5
Let b = 3427 + -3422. Solve -2*i = -4*c - c - 10, 2*i = -b*c - 10 for c.
-2
Let x = 1249 + -1246. Solve -x*n - 6 = 2*j + n, 3*n + 3 = -j for j.
-3
Let h(c) = 2*c**2 - 54*c - 15. Let f be h(24). Let y = 159 + f. Solve k = 2*q - y - 5, 0 = -3*q - 5*k + 40 for q.
5
Suppose 10*j - 11*j = -9. Suppose 3 = 4*v + 4*d - j, 0 = 5*v - d - 15. Solve -v*q + 29 = 5*n, -n - 3*q + 0*q = -13 for n.
4
Let o(k) = k**2 + 6*k + 5. Let j be o(-5). Let w(t) = -120*t + 157. Let l be w(-3). Suppose 107 = -41*g + l. Solve 5*a - g = j, -7*r - 5*a + 18 = -3*r for r.
2
Let h(d) = -d - 16. Let t be h(-14). Let g be 3 + -2 + -6*1/t. Suppose g*q - 6 = 5*q + 2*c, 0 = -4*q - 4*c - 4. Solve 7*v - 1 = p + 6*v, 4 = -q*p - v for p.
-1
Let s(b) = -6*b - 47. Let k be s(-17). Suppose 0 = -57*c + k*c + 6. Solve -5*m + 0 = -5*r - 15, 0 = c*r + m + 1 for r.
-1
Suppose 51*t + 180 = 57*t. Let d = t + -44. Let h be (0 + 2)*d/(-4). Solve 4*i + 5*p = -1 - 8, 4*i = -3*p - h for i.
-1
Suppose -5*o - 15 = 0, 1900*o - 15 = -2*x + 1901*o. Solve -2*z + x = 0, -4*d + 13*z - 17*z - 4 = 0 for d.
-4
Let l be (-2)/(-5) - (-1672)/95. Solve -3*i + l = 3, 2*u = -5*i + 25 for u.
0
Suppose 6*j + 21 = 27*j. Solve 0*h = t - h + j, -t = 5*h - 29 for t.
4
Suppose 0 = 4*n - r - 3, -55*r = -5*n - 56*r + 15. Solve -3*o - 5*f = n, 0 = -3*o - f + 3 - 1 for o.
1
Let d(b) = 5*b**3 - 3*b**2 - b + 2. Let h be d(1). Solve -h*w + 6 = -g, -10*g - w = -12*g - 7 for g.
-3
Let l = 38057 - 38053. Solve 57*v - 55*v + 8 = l*d, -4*d + 16 = 0 for v.
4
Let m = 225 + -223. Let z be (2 - 1) + (m - 1). Solve -2*w + 3*b = 17, z*b = -5*w - 2*b + 15 for w.
-1
Suppose -y - 8 = -8*y + 6. Solve 0 = l + k + 3, 3*l + 6*k = y*k - 11 for l.
-1
Suppose 5*j = 5*f - 439 + 399, -2*j - 7 = f. Let b be 2*(3 + -3 - -1). Solve 7*x = b*x + k - f, 3 = 3*x + k for x.
0
Suppose 0 = -10*x + 9*x. Suppose 0 = 2*z - 5*i + 1 - 28, 3*z = i + 21. Let w be (-1 + 1/(-2))/(z/(-12)). Solve 0 = -4*l + w*m + 19, x = -l - 5*m - 5 - 19 for l.
1
Let z(w) = -4*w**3 - 5*w**2 - 4*w - 5. Let f be z(-2). Let d be 22/(-165) + 17/f + 1. Suppose d*c + 14 = 20. Solve 0 = -2*h - 3*i - 11, i - 4*i - 9 = c*h for h.
2
Suppose -h - 14 = -4*z, -3 = 2*z + 2*h - 15. Suppose 3*p - z*p + 8 = 0. Solve 1 = 2*l - 5*c, -4*l - 5*c - 5 = p for l.
-2
Let x = -3 - -19. Let j = -1923 + 1928. Solve -2*g + 2*h - 8 = 0, 0 = -j*g + 5*h - 4*h - x for g.
-3
Let m(o) = -o**3 + 2*o**2 + 33*o - 50. Let d be m(6). Solve -56*n - 2*p + 4 = -58*n, d*n = 2*p - 4 for n.
0
Let r(a) = 323*a + 4203. Let o be r(-13). Solve -n + 4*c = 20, -o*c = 4*n - 36 - 4 for n.
4
Suppose -3*f + 907 = 898. Let z(y) = y**3 + y**2 + 2*y + 4. Let p be z(0). Let w = 9 - p. Solve w*t = 4*h + f*t - 24, -5*t = 5*h for h.
4
Let m(a) = 6*a**2 - 95*a - 13. Let j be m(16). Suppose 0*t - 20 = -t + 4*z, 20 = 4*t - 4*z. Solve -4*n = -2*f - 8 - 0, -j*n - 5*f + 19 = t for n.
3
Let l(y) = 2*y**3 + 18*y**2 + 24*y + 221. Let b be l(-9). Solve 1 = -2*z - b*k, -13 = 2*k - 11 for z.
2
Let m(l) = 2*l**2 + l + 9. Suppose 5*s - 1 = -21. Let n(y) = -4*y - 16. Let t be n(s). Let q be m(t). Solve -2*c + 5*j = -17, -6 - q = 5*j for c.
1
Let r = -864 - -868. Suppose 24 + 36 = 10*q. Solve -x - x = 4*g - q, 0 = -2*g - r*x + 18 for g.
-1
Let b(r) = 15*r**2 + r + 2. Let z(u) = 19*u**2 + 2*u + 3. Let q(w) = 5*b(w) - 4*z(w). Let n be q(-2). Solve -5*i - 3 = y, n*y - 11 = -3*y + 5*i for y.
2
Let i(l) = 31*l + 558. Let m be i(-18). Suppose -2*h - 17 = -2*k + 3*h, 0 = -2*k - 5*h + 27. Solve -5*a - 3*z = z - k, 2*a - 2*z + 10 = m for a.
-1
Let t be 171/(-855)*(0 - 25). Solve 0 = 4*p + i - 6*i - 10, t*i + 15 = 5*p for p.
5
Let p be 38/5 + (-6 - 189/(-35)). Suppose -13 = p*l - 27. Solve -3 = 5*c + 4*w - 19, 0 = -2*c - l*w + 6 for c.
4
Suppose -m = -2*m + 1. Let c be -1 + (-1*m - -4). Suppose -4*a = -2*s + 58, 4*s + 131 = 4*a + 199. Solve 5*v + s*j = -35, -2*v = c*j - 6*j - 10 for v.
-3
Let m = -1606 - -1609. Solve -3*w + 2*c = 7 - 5, m*w - 4*c - 2 = 0 for w.
-2
Suppose 4*u + 110 = 9*u + i, 2*i = -4*u + 82. Let b(y) = -y**3 + 26*y**2 - 70*y + 26. Let c be b(u). Solve -4*t - c*o - 10 = 6, 4*o + 17 = -t for t.
-1
Let h be (-12)/(-9) + (-182)/42 + 7. Solve 4*z - g = h, 2*z - g - 34 = -32 for z.
1
Suppose 2*l + 0*l + j = 0, 5*j = -10. Let w be l + (-40 + -1)/1. Let q = w - -41. Solve 0 = 4*m - 2*z - 4, q = m - z - 2 for m.
-1
Suppose 4*m + 3*b = -15, -2*m - 25 = 3*b + 2*b. Let n(y) = 91*y + 370. Let q be n(0). Suppose 371*r = q*r. Solve 2*z - 4 = 3*l, r*z + z - l = m for z.
-4
Let r(o) = -2*o**3 + 30*o**2 - 30*o + 31. Let v be r(14). Solve i - v*y = 13, i + 4*y + 17 = y for i.
-2
Suppose 42*y + 210*y - 3698 = 3862. Solve 35*p - y*p + 2 = -o, 0 = -3*p + 4*o - 15 for p.
-1
Suppose -m + 17 + 22 = 5*j, 5*m - 19 = -3*j. Let y(d) = 4*d**2 + 14*d - 18 - 19*d - 3 - 3*d**2. Let k be y(j). Solve 4 = 4*z - 2*f, k*f + 4 = 4*z - 2*f for z.
1
Let p(t) = t**2 + 48*t - 510. Let f be p(-57). Solve f*g = -3*x + 39, -23*g - 27 = -4*x - 22*g for x.
8
Let n be (13 - 24)/(-55) + 168/35. Solve -5*p + 0 = n, -4*r = 5*p + 1 for r.
1
Suppose -882*h = -874*h. Solve h = -l + 5*m + 3, 9*m = 10*m for l.
3
Let c(o) = -2*o**2 - 1248*o + 7590. Let g be c(6). Suppose -4*n + 20 = 3*f, -5*n + 5*f = -4 - 56. Solve -6*r = -r - 5*l + g, n = 4*r + 4*l for r.
-2
Let x be (-370)/(-95) - ((-7024)/304 - -23). Solve -x*m - 6 = 3*o, 14*m = -4*o + 12*m + 2 for o.
2
Let o(k) = -k**3 + k**2 - 1. Let l(g) = 3*g**3 - g**2 + 3*g - 12. Let q(f) = l(f) + 2*o(f). Let i be q(3). Solve 0 = 2*u + a + 11, 3*u = -u - 5*a - i for u.
-4
Let c(o) = 1 + 2*o**2 - 110*o**3 + 116*o**3 - 3*o - o. Let p be c(1). Solve -b + 2*s + 5 = 0, -p*b + 5 = s - 9 for b.
3
Let f = -133 - -134. Let x be -24 - -20 - (f + -7). Solve -x*t + j = 3*j + 10, -3*j - 12 = 0 for t.
-1
Let p be (-73360)/(-378) + 4/(-54). Let t = -189 + p. Solve t*k + 28 = -3*u, -2*u + u - 4*k = 21 for u.
-1
Suppose -r = -3 - 0, -37 = 2*a + r. Let g = a + 25. Suppose g*h = 4*h + f + 13, 5*h + 2*f - 51 = 0. Solve 16 = -4*d + l, 3*d = l - 0*l - h for d.
-5
Let u(j) = -j**3 + 21*j**2 + 1. Let s(p) = 2*p**2 - 13*p + 36. Let b be s(5). Let m be u(b). Solve 3*r - 19 = 2*g, 28 = -3*g + 4*r + m for g.
-5
Let m(w) = -w + 1. Let q be m(-8). Let l be (-91)/(-21) + 6/q. Let n(g) = -g**2 + 12*g - 6. Let h be n(10). Solve -l*r - u = u + 24, -r = 5*u + h for r.
-4
Let y(r) = 463*r + 2782. Let u be y(-6). Solve -6*q + u*q + 2*w - 10 = 0, 0 = -4*q + 3*w - 16 for q.
-1
Let t = -5462 - -5464. Solve 4*h = -t*k, -56*h + 5*k = -58*h + 8 for h.
-1
Let s = 8959 + -8957. Solve s*f + 218*o = 216*o, 0 = -4*f + 5*o + 36 for f.
4
Suppose r = 6*r - 25. Suppose -2*u = -r*u + 6. Let j be (78/65)/(((-18)/42)/((-40)/14)). Solve -2*z + 3*f + 15 = -5, -u*f = j for z.
4
Let b = -6 - -6. Suppose b = -13*i + 11*i + 10. Suppose -i*u = -u. Solve -3*w - 3*y = -u*w - 6, 0 = -5*w - 2*y + 1 for w.
-1
Let s(f) = f**2 - 15*f - 46. Let k be s(18).