 Let f be 3*r/27*1*6. Solve 5*k - 3*z = -10, f*z + 6 = -k + 17 for k.
1
Let b = 29 - 17. Suppose 0 = 2*c + 2*j + 4 - b, -c = 2*j - 3. Suppose 6*d - 2*d = c*t + 50, t = d - 12. Solve 0 = -2*a - 4*m - d, 4*a + 3*m = a - 3 for a.
3
Let m = -28 - -46. Suppose -1 = -3*l + 11. Let a be (-1)/(-1) + l*3/4. Solve 2 = -u + 2*i, -8*i + m = a*u - 3*i for u.
2
Let s(r) = -r**2 + 24*r + 25. Let q be s(25). Let y be (-19)/57*(q - 15). Solve -5*h + 1 + 13 = -i, -y*i - 2*h + 11 = 0 for i.
1
Let h = 4002 + -3986. Suppose -4*x + 5*x - 10 = 0. Let y be 2/10 - (-28)/x. Solve h = 4*g, -y*q + 5*g - 32 = -6*q for q.
4
Suppose u - 4*r - 29 = -47, -u - 3*r + 17 = 0. Solve 0 = -3*v - 9, 6*a + 29 = u*a - 3*v for a.
-5
Suppose -243 + 1062 = 9*h. Let y = 91 - h. Solve 10 = 5*g + 4*s, y = g + 2*s - 4 - 4 for g.
-2
Suppose -2*g + 28 = 5*s, 0*g - 4*g + 30 = -3*s. Suppose -2*a - 5 = -g. Let v be 4 + 6*a/(-4). Solve 0 = f - 1, -f + 8 = -2*o + v for o.
-3
Let c = 81 - 75. Suppose -5*f + 10 = 0, 3 = c*x + 4*f - 5. Solve x*z + z + 8 = 2*p, -p + z = -5 for p.
3
Let k(a) = -a**3 + 9*a**2 + 3*a - 32. Let p be k(8). Suppose 0 = -p*z + 62*z. Solve -4*c = 5*o + 27, -5*o + 2*c + 2*c - 3 = z for o.
-3
Let i = 0 - -3. Let p be -10*(-5)/(-50) - -5. Solve -i*l = -6 - 6, -4*n + 5*l = p for n.
4
Let t = 21 - 21. Suppose -2 = -t*n + 2*n. Let x be (5 - -2) + n + -3. Solve 0 = -v + x*h + 8, -2*v = -5*v + h for v.
-1
Let p = 235 - 231. Solve 37 - 49 = 4*g - p*c, 0 = -2*g - 5*c + 8 for g.
-1
Suppose 5*i - 2350 + 300 = 5*d, 2*i = 5*d + 2059. Let z = d + 437. Solve -4*b + 3*y = -23, -5*b - y + z = -0*b for b.
5
Suppose -30*x + 6*w = -33*x + 75, 4*x - 5*w - 126 = 0. Suppose -5*u = -4 + 14, -2*u = -5*g + 19. Solve 4*h = -3*f - x, -g*f + 2 + 4 = -3*h for h.
-5
Suppose 0 = w + 22*k - 21*k, -w + 3*k = -32. Solve -43*v + 39*v = -3*j + 4, -4*j - w = -2*v for j.
-4
Let m(g) = 20*g + 2945. Let l be m(-147). Solve 5*p - 2*n + 29 = 0, -4*p + 6*p - 3*n = -l for p.
-7
Let i(o) = -o + 15. Suppose 0*c - 3*w = c + 104, c - 3*w + 98 = 0. Let k = c - -113. Let a be i(k). Solve 2*u = -b + a, 4*b + 3*u + 13 = 5 for b.
-5
Suppose -9*z - 60*z = -2070. Solve z*o = 29*o - 3*l - 11, o - 13 = 5*l for o.
-2
Let f be (-1)/(-2) - (-7)/(-2). Let n(s) = 3*s - 9. Let w be n(-1). Let z be 4 - f*4/w*-1. Solve -d - 10 = k, -2*d - z = -3*d + 2*k for d.
-5
Suppose -4*x + 2*x + 0*x + 8 = 0. Solve -9*s + 11*s + 4 = 0, 3*n = x*s + 11 for n.
1
Let b be -10*26/(-24) - -20*(-35)/(-4200). Solve 5*s = 5*q + 25, 2*s + 3*q + b = 6 for s.
2
Suppose -5*o - 30*z = -29*z - 10, -5*z + 21 = -4*o. Solve -f - 5*v = -v + o, 0 = 5*f - 2*v + 27 for f.
-5
Let h(m) = m + 19. Let k be h(5). Suppose 0 = -5*q + k + 6. Suppose f + f = q. Solve 2*a - 15 = f*x, 2 + 4 = -3*a - 5*x for a.
3
Let c be ((-41)/(-3) - 2)*(-5 + -1). Let u be (14/c)/(1/(-25)). Solve -3*k = 2*w - 3 - 8, -5*k + u = 0 for w.
4
Let o = -21981 + 22018. Solve 5*y + 12 = n, 4*y + o = -4*n + 13 for n.
-3
Let a be (-19)/(-3*1/48). Let y = 319 - a. Solve y = -3*k - 3*d, 10 = -2*k + 2*d - 6*d for k.
-5
Let z be (-4 - -1)/(16/24*(-9)/4). Solve -w + 9 = -z*j, -262*w - j - 17 = -265*w for w.
5
Let p(v) = 7 - v**2 - 9 - 17*v + 38. Let r be p(-19). Let l be 1*2/(-1) - 10/r. Solve -3*h = 3*x - l, 0*x - 2*x - 1 = -h for x.
0
Let s be (-10 + 2)*(-2)/4. Suppose -s*a = -4*k + 9*k - 23, 2*k = 3*a. Solve -5*p = 5*l + 2 - 12, a*l - 3*p = 4 for l.
2
Let f = -298 - -295. Let w be f/(-3) - (-3 + 12/3). Solve 2*m + w*m - 9 = l, 5*l + 25 = 5*m for l.
-1
Let d(n) = -64*n + 131. Let j be 1/6 - ((-19)/(-114) - 2). Let y be d(j). Solve 0 = 5*k - y*v + 10, 4*k + 4*v + 8 = v for k.
-2
Let p(d) = d + 2. Let j be p(9). Let n = -44 + 84. Let c = -37 + n. Solve 5*w + 9 = -0*w + l, w + c*l = j for w.
-1
Let f = -223 - -157. Let j be (8/(-3))/(1030/(-255) + 4). Let a = f + j. Solve -r + 2*v + 4 = -a*v, -3*r + 4*v - 4 = 0 for r.
-4
Suppose -14*s + 16 = -10*s. Suppose 8*n - 13*n - 5*q = -60, 0 = n + s*q - 24. Solve 2*b + 5*d - 10 = 0, -5*d + d + n = -5*b for b.
0
Let x(f) = f**2 - 119. Let q be x(0). Let m = q + 133. Let o = 11 - 7. Solve m = 7*p - o*p + 4*s, -2*s + 16 = -3*p for p.
-2
Suppose i + 2*i - 108 = 0. Let d be 0*(-4)/i*3. Suppose d*j = 4*j. Solve -u + 2*u + 3 = -5*p, j = -p for u.
-3
Let t be (1 - 4 - -8)*1/1. Suppose 2 = -b - 11. Let u be (-268)/(-52) + 2/b. Solve 0 = -7*f + 4*f + 5*h + 31, -t*f - h + u = 0 for f.
2
Let n(a) = -a**3 + 7*a**2 + 3*a - 12. Let j(r) = r**2 + r. Let f(o) = j(o) + n(o). Let m be f(8). Solve 5*u + m = 4*d - d, 2*d + 20 = -5*u for d.
0
Suppose -113*x = -125*x. Suppose x = l + 2*b + 3*b - 24, b + 12 = 4*l. Solve p + 5 = 5*d, l*p - 5*d - 5 = p for p.
5
Let a be (39 - 0) + -21 + 14. Let j be ((-4)/(-8) + 2)*a/20. Solve 5*p = -j*g - 2 + 14, p = 0 for g.
3
Suppose 26*t - 61*t + 23*t = -60. Solve 3*l + 3 = -y - 1, -2*y = -t*l - 3 for l.
-1
Let c(p) = -3*p**3 + 32*p**2 + 19*p + 15. Let z be c(12). Let t = -330 - z. Solve -4*x + 12 = 0, 0 = -b - b + t*x - 3 for b.
3
Let q = -34460 - -34465. Solve -3*b = -6*a - 15, q = 12*b - 7*b for a.
-2
Let n be (-13)/(-4) - 1/4. Let u(s) = 7*s - 28. Let a be 7 - (-12)/(-20)*5. Let o be u(a). Solve r - 2*m + 8 = o, -n*m + 13 = -0*r - r for r.
2
Let d = 6 - 3. Suppose 18*r + 3646 - 1947 - 1825 = 0. Solve -3*h = 0, r = d*v + 3*h - 2 for v.
3
Let y = -166 + 162. Let i(v) = -v**3 - v**2 + 12*v + 4. Let j be i(y). Solve j*u + 4*l - 4 = 0, 0 = 3*u + l + 5 + 2 for u.
-4
Suppose 22*h - 43*h = -63. Suppose -4*i - b + 17 = 0, 0 = -h*i + 2*i + 2*b + 11. Solve -5*a = 3*x - 11, -1 = -4*a - 0*x - i*x for a.
4
Let w(x) = 38*x**3 + x**2 + 3*x - 6. Let g be w(1). Let l be 5/3*(-4)/(-80)*g. Solve -5*d - 1 = -l*h, 4*d + 5 + 3 = 0 for h.
-3
Let y = 125 - -264. Let c = y + -387. Solve c*o = -b - 0 + 6, 4*b + 4*o - 12 = 0 for b.
0
Suppose 0 = -2*o + 6, 0 = d - 2*o + 10 - 6. Solve -5*t + 3*n - 2 = 0, -3*n = -d*t - 11 + 12 for t.
-1
Let g be ((-77)/(-539))/(3/567). Solve 3*p - 4*c = -g, 0 = -3*c + 2*c + 3 for p.
-5
Let a = -15 + 20. Suppose 5*g + q - 2 = -7, 3*g + a*q = -25. Let d = g - 0. Solve -5*c = 5*t - 10, d = 3*t - c - 4 - 2 for t.
2
Let k(b) = -2*b**2 + 16*b - 2. Let w be k(3). Suppose 113*i = 106*i + w. Solve 0*f - 25 = -2*n - 5*f, 5*f - 25 = -i*n for n.
0
Suppose 5*o = -3*k + 1 + 6, 0 = -5*o + 2*k - 13. Let c be (-1 - o)/(-2 + 0) - -2. Suppose 0 = -c*v + 26 - 10. Solve -2*r + 2*g = -v, 2*g = 2*r + 2*r - 12 for r.
2
Let b = 795 - 259. Let g = b + -531. Solve -2*h + 2*k + 3 = h, 3*k + 6 = g*h for h.
3
Suppose 0 = 19*x + 287 - 344. Solve n = 2*v + 7, -x*n - v = -2*n + 5 for n.
-1
Let l(u) = 2*u. Let y be 22/(1 - (-4 + 7)). Let a be l(y). Let j = -6 - a. Solve 0*x + x = 3*w - 10, 0 = 5*w - 2*x - j for w.
4
Let m(l) = -l**2 - 9*l + 25. Let n(r) = -r**2 - 7*r + 26. Let o(w) = 4*m(w) - 5*n(w). Let c be o(6). Solve -2*k + 0*k + 5*y - 31 = c, 0 = k + 3*y - 12 for k.
-3
Let j = 40694 + -40691. Solve -16*v = 4*h - 15*v, 3*v + 9 = -j*h for h.
1
Let j = 332 + -246. Suppose j = i + 83. Solve 3*y + y - i*d - 20 = 0, 0 = 4*d + 16 for y.
2
Let x = 39 + -39. Let q(h) = h**3 + 17*h**2 + 52*h - 146. Let n be q(-8). Solve x = r - 3*j + 6, 4 = 4*r + 2*j + n for r.
-3
Suppose 4*u + 1206 = 2*x - 0*x, -4 = 4*x. Let i = -302 - u. Solve -2*t - 2 = -z - 0, i = 3*z - 3*t + 3 for z.
-4
Suppose 0*g + 10 = g. Let c be (22 - -12) + (-16 - 15). Solve -t = c*u + 12, u = 3*t - 4 - g for t.
3
Let p = -3004 - -3006. Solve 3*k = -3*n + 15 + 12, -4 = -p*n for k.
7
Let k = 7 + -10. Let f be k - -2 - -6 - 1. Let y be (0 + (-18)/(-4))/(7458/132 - 56). Solve -3*a + t = -f*t - y, -a = 4*t - 3 for a.
3
Let r be (429/(-6))/(((-42)/(-24))/7). Let q = r - -290. Solve 0 = -w - 5*a, 3*a + 24 = q*w - a for w.
5
Suppose -5*x = 15, -2*x = -2*z - 6*x - 8. Suppose -3*s - v + 43 = -z*v, -5*v + 57 = 2*s. Solve i = -3*a + 11, -s = 8*i - 4*i for a.
5
Suppose -f = 3*y + 3, -6*y - 2*f = -3*y + 3. Let r(m) = 5*m - 5*m + m**2 + m + 5*m**2. Let s be r(y). Solve 0 = b, 4*v + 5 = -s*b - 3 for v.
-2
Let b = -47151 + 47155. Suppose u - 5*u + 24 = 0. Solve -2*s = -u*s - h + b, -s = 2*h - 8 for s.
0
Suppose -15*z = -27*z + 43*z - 186. Solve 0 = -2*l + 3*b + 15, -4*l + b + 11 = z for l.
0
Let g = -361 - -361. Suppose -3*f - 6 = g, -3*b = f - 4*f - 21. Solve -3*c + 3*v - 3 = 0, -4*v = -0*c - b*c - 5 for c.
-1
Suppose 83 - 86 = -y. Suppose y*u + 3*z