 4*l + 14 = -2*h, 3 = -2*h - 2*l - r for h.
-1
Let v = 4842 + -4827. Solve f - 11 = 3*i, -7*i = -2*i + v for f.
2
Let d(s) = -2*s**2 + 17*s - 24. Let r be d(6). Suppose 0 = 5*n + t - 13, -11 = -4*n - 3*t + r. Solve c = 5*b - 12 + 1, -c = -n*b + 5 for c.
-1
Let h be -13*24/(-312) + (12/1)/3. Solve h*s - 37 = s + 5*f, 0 = -4*s - 5*f - 13 for s.
3
Let y be 8/180*5*9. Suppose -y*s = 5*s + s. Solve k = 3*l - 0*k - 14, s = -l - 2*k for l.
4
Let k(d) = 8*d - 10. Let p(v) = 5*v + 1. Let o be p(-1). Let h be k(o). Let g be (28/h)/(4/(-18)). Solve 3*m = g*a + 8 + 4, -2*a - 2 = 0 for m.
3
Let c be (-2)/6 + (-1508)/174. Let a be -5 + 12/3 + (-3 - c). Solve 4*o = a*v + 6, -2*v + 2*o + 1 - 3 = 0 for v.
-2
Let l be (-4)/(-4)*((-2)/2 + 28). Suppose 4*f = -l + 75. Suppose 3*y - 9*y + f = 0. Solve g = 3*j + 3 + 1, -y*j + 4 = -4*g for g.
-2
Let a(k) = k**2 + 7*k + 19. Let p be a(-8). Let l = p - 24. Let q(w) = w + 2. Let x be q(3). Solve x*h - 5*n = -15, l*h = -0*n + 2*n - 7 for h.
-1
Suppose -2*l + 7 = -n, -2*l + 5*l + 17 = -4*n. Solve 10 = -4*f + 2*h, 3*f - f + h = l for f.
-1
Suppose 40*d - 33*d = 14. Let i be (-1)/2 + (-18)/(-4). Solve -i*g = d*z - 9*g - 23, 2*g - 6 = -3*z for z.
4
Let i be (-136)/(-23) - (-21 - 17316/(-828)). Suppose 0 = -4*h + 12 - 0. Solve -2*v + m = -0*m - i, v - h*m - 3 = 0 for v.
3
Suppose -37 = 2*d - 171. Let v be (d*(-4 - -5))/(-1). Let s = 74 + v. Solve -2*y = -5*i - s, -24 = 3*y + 5*i - i for y.
-4
Suppose -1515 = -51*a - 546. Let d(g) = g**3 - 4*g**2 + 3*g. Let x be d(4). Suppose -x*f + a*f - 28 = 0. Solve 4*n = -4*j, 0*n - 3*j + f = -n for n.
-1
Let y = 3 + 4. Let r(i) be the first derivative of -i**4/4 - 2*i**3 - 3*i**2/2 + 14*i - 9. Let s be r(-5). Solve -s*c - 13 = -q, -2*q + 3*c - 1 = -y for q.
-3
Let v(r) = -r**3 + 10*r**2 - 7*r - 20. Let q be v(9). Let p be ((-4)/(-4) + -1)/q. Solve y - 3*y = m + 13, -3*y + 5*m = p for y.
-5
Let u = -1930 + 1932. Solve 5*f = c + 14, -3*c - u*f - 10 = -2 for c.
-4
Let y = -98 + 102. Let z = 57 - 57. Suppose x - 7 = -4*u - z*x, 5*x + 5 = 0. Solve 0 = -5*v + 3*o - u*o - 25, -4*o + 4 = y*v for v.
-4
Let c(n) = -4*n**3 + 137*n**2 - 29*n - 168. Let m be c(34). Solve 3 = f - m*o, 6*f + 4*o = 2*f - 36 for f.
-5
Let s = 68 + -65. Suppose 5*l - s - 12 = 0. Suppose 23 = -l*r + 107. Solve 27 = -5*i - 0*d + 2*d, 5*i + r = 3*d for i.
-5
Suppose 0 = 26*p - 22 - 82. Solve 0 = -5*v - p*d + 16, -v + 1 + 7 = -4*d for v.
4
Suppose -15*q + 13*q + 4 = 0. Let r be ((-9)/q)/(-9) - 22/(-4). Suppose -r - 22 = -2*n. Solve 2*w = 4*w + 4*x - n, 3*w - 2*x + 3 = 0 for w.
1
Suppose 4*v = 3*v. Let p = -432 - -432. Let u be ((-96)/(-80))/(4/10 - p). Solve -l + 2*f = 2, 0 = -v*l - u*l + 4*f - 2 for l.
2
Suppose 5*h - 126 = -3*y, 2*y + 3*y - 3*h = 210. Suppose 14*c = -0*c + y. Solve -4*s + a + 16 = 0, 2*a = -3*s - a - c for s.
3
Let i(q) = 4*q - 42. Let n be i(11). Suppose 7*d - 20 = -5*u + n*d, -5*u + 3*d + 28 = 0. Solve y + 5*x = 3*y - u, -4*y - 26 = 2*x for y.
-5
Suppose 0 = -b, 3*r = -r + 5*r + 5*b - 31. Solve -5*f = 4*a - r, 6*a = 2*f + 5*a - 2 for f.
3
Let f(u) = 4 - 7*u + 20 - 2. Let s be f(-9). Let b = s - 80. Solve -3*d - 12 = 0, 2*o + b*d = 2*d - 8 for o.
2
Suppose 42 = 5*v - 2*i, 76*i - 77*i = 1. Solve 2*h - 5*t = 29, 5*h + 3*t = v*h - 21 for h.
2
Let u = -3 + 6. Let n = -1218 + 1219. Suppose 4*j - 16 = -5*c + n, -5*j - 3*c = -18. Solve u*b = -j*p, p = -3*b - b + 6 for b.
2
Suppose 22 = t + p, -5*t + 67 = 6*p - 36. Solve -5*o = -4*y + t - 5, -3*o + 4*y = 16 for o.
-4
Let d = 159 + -137. Solve 5*z = -10, d = -5*r + 2*r - 5*z for r.
-4
Suppose -l + 19 = 15. Suppose -4*i + 2*d = -14, 17 - 39 = -5*i + l*d. Solve -i*v + 7 = u - 3*v, 0 = -5*u + 3*v + 29 for u.
4
Let g = -1 + 3. Let i = -38061 - -38083. Solve g*r + y + 2 = 3*y, 4*y - i = -5*r for r.
2
Let a = 155 + -152. Suppose -2*f + 3*f - a = 0. Solve -f*z = d + 3, 3*z - 2*d - 9 = d for z.
0
Suppose -7690 = 9*h - 7780. Solve 16 = 4*i, 4*c + 5*i - h = 26 for c.
4
Let x be -8*(-2)/8*2. Let k = 1148 + -487. Let h = 669 - k. Solve -w - x*g + 3 = 0, 3*w + 2*g - h = 1 for w.
3
Let l = 64 + -60. Suppose -5*z = -3*j - 51 - 64, -3*z = -l*j - 80. Suppose 0 = 21*u - 25*u + z. Solve 5*g + 17 = 3*g + 5*k, u*g - 7 = -4*k for g.
-1
Suppose 22*o - 28*o = -12. Solve 3*z - o*z - 3*g = 11, -2*z = g - 8 for z.
5
Let t(g) = -5*g**3 - 83*g**2 + 31*g - 42. Let n be t(-17). Solve 0 = -3*j - 2*q - n, 4*j + 15 + 14 = 3*q for j.
-5
Let o(d) = -d**2 + 22*d + 118. Let q = -10 - -36. Let u be o(q). Solve -h - 2*f = -2, 2*h = 3*f + 2*f - u for h.
-2
Let x(h) = -3*h - 69. Let p be x(-24). Let o be 972/(-63) - 8/14. Let w(m) = -m**2 - 16*m + 2. Let s be w(o). Solve s*a = -a + j + 7, -p*j + 15 = 0 for a.
4
Let j = -58 - -63. Suppose t + j*t + 384 = 0. Let w = 68 + t. Solve 0 = 4*f + u + u + 8, -2*u = -w*f - 8 for f.
-2
Let m(p) = 25*p + 35. Let l be m(-11). Let r = -238 - l. Solve 5*n = -5*q, -r*q + 14 = -2*n + 6 for n.
-2
Let q be -1 - (3 + ((-21)/14)/((-3)/(-14))). Solve -4*o + 58 = -w + 77, -q*w + 4*o + 17 = 0 for w.
-1
Let h(x) = x**2 - 23*x + 71. Let s be h(19). Let l be -3 + 0 - (6 + s)*-8. Solve r + 3*n = -r + 5, 0 = 2*r + n + l for r.
-5
Suppose -2*l - 2*y - 2 = -6, -l + 2*y = -5. Suppose 39 = 54*g - 123. Solve k + g*i - 12 = 5*i, -l*k + 11 = -i for k.
2
Let a(o) = -5*o - 1. Let p be a(2). Let j(v) = 2*v**3 + 1 - 10*v + 9*v**2 - v**3 - 11*v - v. Let w be j(p). Solve -5*k = 3*z + 18, -w = 3*k + z + 9 for k.
-3
Let k(c) = c**3 + 2*c**2 + 3*c + 8. Let i be (9 + (-2 - 3))/(2/(-1)). Let y be -4*(10/4 + i). Let b be k(y). Solve -5*o = b*s - 2*o + 5, -5*s - o = -20 for s.
5
Let k(s) = -9*s - 94. Let w be k(-11). Let v be 16/10*w - 4*1. Solve v*j - 6*j = 2*x + 2, 0 = 3*j + 2*x + 7 for j.
-5
Suppose 9*c + 9 = -0. Let h be (-4 - (-57)/15)/(c/5). Solve 0 = -s - h, 0*f + 3*f = 2*s + 17 for f.
5
Suppose -a + 2*a - 187 = -3*i, i = a + 69. Suppose -i = -8*u - 24. Solve f = -y - y + 3, u*f - 2*y + 21 = 0 for f.
-3
Let w(l) = -l**2 + 4*l - 2. Let x be w(1). Let y be x/(-2)*(-23 + 23). Solve -4*z + 15 = o - 3, y = -2*z - 2*o + 6 for z.
5
Let x = -5494 - -5499. Solve 2*w + 6 = 2*v - 5*v, -v = -x*w + 19 for v.
-4
Suppose -34782*y + 34768*y = -112. Solve -2*r + 3*j - y = -15, -r - 2*j - 7 = 0 for r.
-1
Let h(p) = 11*p + 1076. Let z be h(-97). Solve 4*k = -16*a + 17*a + 15, 4*a + z = -k for a.
-3
Let z(h) = -h + 7. Let n be z(2). Let s = 881 + -879. Solve -3*u + 3*y = 2*u - 7, -n*u - s*y + 12 = 0 for u.
2
Let i(n) = n**3 - 28*n**2 + 195*n + 14. Let w be i(14). Solve -5*x - 4*y + w = 27, 6 = -4*x + 2*y for x.
-3
Let q(t) = 16*t**3 + 304*t**2 - t - 19. Let p be q(-19). Solve 4*k = 4*d + 4, p = 14*k - 19*k + 4*d for k.
-4
Let c be (2046/4)/3 + 36/24. Let h = c + -166. Solve 5*p + 0 = -i + 2, 3*i = 2*p + h for i.
2
Suppose r - r = -6*r. Let v = -2 + r. Let q be (4/18*-3)/(v/15). Solve 5*h + 4*y = -3, 0 = -5*h - 3*y + q*y + 9 for h.
1
Let z(f) = -f**3 - 13*f**2 - 7*f - 76. Let p be z(-13). Solve c = -3*n - p, 8*c + 27 = 3*c - 3*n for c.
-3
Let f(t) = -201*t - 20298. Let b be f(-101). Suppose -3*c - 27 + 3 = 0. Let p be ((c + 2)*-1)/2. Solve 0*s + b = -s, -3*y - s - p = 0 for y.
0
Let d be -3*22/3*(-4)/8. Suppose -20 = g - d*g. Suppose 0 = -3*w - 5*r + 11 + 5, -g*w - r = -6. Solve -3*b = -f + 4, -b = 2*f + w + 4 for b.
-2
Let p(w) = -2*w**2 - 74*w + 1654. Let u be p(-51). Solve 4*y - 8 = 0, -2*y = u*v - 225*v - 2 for v.
-2
Let t = -29 - -34. Suppose 5*f = t*y + 35, 4 + 6 = 4*f + 5*y. Suppose 9 = 2*z - f. Solve o + 3*j = 3 - 2, -2*o = j - z for o.
4
Suppose 293*k = -69*k + 7561 + 1489. Solve -r - 2*q = -9, 11 = -k*r + 20*r + 4*q for r.
1
Suppose c + 2*u + 1 = 0, c - 17*u - 4 = -14*u. Let r be ((4 - 2) + -7)*(c - 2). Solve -2*l = -4*p - 4, -5*p - r*l = -l - 21 for p.
1
Let q = -166 - -170. Let r be ((-8)/(-8) + -5)*-1. Let c(n) = -n**3 - 3*n**2 + 4*n + 4. Let s be c(-4). Solve q*i = r*z - 16, -i - 3*z + s = -0*z for i.
-2
Let s(h) = -h**2 - 20*h - 81. Let k be s(-15). Let i be -5 + -2 - (k - 6). Solve -2*f - 3*d + 1 = 0, -4*f + 5*d + i = -8 for f.
2
Let l be 16/88 - 16/88. Solve 4*b + 20 = 3*u - b, l = -3*b - 3 for u.
5
Let w = 5673 - 5668. Solve 13*n = 14*n - w, 19 = t + 3*n for t.
4
Let h be 0*3*3/9. Let l be 4/((2 - 0) + (h - 1)). Solve 6*s - s + 4 = -2*v, 4 = l*s + 4*v for s.
-2
Suppose y = -3*a - 9 + 11, -25 = -4*