 49*n for c.
-2
Suppose 137*h - 134*h = 9. Let v = -11 + 6. Let o be 0 + (v/h)/(3/(-9)). Solve -o*x + 2*x = -j - 6, 6 = -2*x + 4*j for x.
3
Let j = 6229 - 6222. Solve 4*l - j*v = -2*v + 4, -v = -5*l - 16 for l.
-4
Let g be ((-6)/9 - -1)/(19/11343). Let n = -197 + g. Solve -p = n*l - 1 - 4, 0 = -5*l + 25 for p.
-5
Let h(r) = -5*r - 75. Let w be h(-16). Let u(z) = -z - 12 - 3*z + 3*z. Let o be u(-16). Solve -o*a + 2*f + f + 31 = 0, -37 = -3*a + w*f for a.
4
Suppose 238*c - 1584 - 2889 = 25*c. Solve -h + 2*b = -c + 16, -4*h + 3*b = 0 for h.
-3
Let l = -7452 + 7456. Solve 0 = -l*j - 5*c + 28, 5*j + c = -0 + 14 for j.
2
Suppose -28503*q + 28496*q = -35. Solve -2*b = 3 - 9, 5*n - q*b + 5 = 0 for n.
2
Let r be 2/(-2)*-29*1. Suppose 0 = s + x + r, -4*s + 7*s + 89 = -4*x. Let y = -21 - s. Solve -2*v + y*v + 10 = -g, -2*g = 4*v + 12 for g.
-2
Let a be (-1 + 7)/(-469 - -471). Let d be 27 - (0 - (2 - 2)). Solve -6 + a = -3*l, -5*k + 2*l = d for k.
-5
Let c(w) = -w**2 - 46*w - 365. Let t be c(-35). Solve 2*g = 9*b - 4*b - 34, 4*g = 2*b - t for b.
6
Suppose -c + 4*j + 198 = 0, 0*j = 3*c + 4*j - 642. Suppose c*m - 214*m = -28. Solve -4*k = -3*f + m*f - 20, -3*f + 3*k = 3 for f.
2
Let w = 8125 + -8120. Solve 0 = j + 3, 0 = -w*p - 9*j + 8*j - 28 for p.
-5
Let v = -2916 + 2924. Solve -v = 4*d, 71*p - 5*d - 25 = 68*p for p.
5
Let r(a) = a**3 - 14*a**2 + 26*a + 3. Let g be r(12). Let z be 4*(g/6 + -2 + 2). Solve 7 = c - 5*i, -4*c + 0*c = 3*i + z for c.
-3
Suppose -2*y + 2*x = -6, 57 = 2*y + 2*y + 5*x. Suppose 0 = y*k - 11 - 13. Solve -k*v + 3*t + 6 = 0, 0 = -2*v + t - 5*t + 10 for v.
3
Suppose -4*d = 3*j - 19, 40*j - 2*d = 39*j + 3. Solve -m = -j*g - 26, -1 - 1 = -2*m for g.
-5
Let g = -2557 - -2557. Let p be 4/((-4)/(-12)*1). Let h = -8 + p. Solve 0 = -z + h*z + 3, g = m + 2*z + 2 for m.
0
Let i = -4 + 7. Let m(f) = -29*f**2 + 2*f + 20. Let o be m(0). Solve -h - o = 5*z, 5*h - 35 = -i*z + 5*z for z.
-5
Let w(g) = -g**3 + 30*g**2 - 138*g - 13. Let h be w(6). Solve -5*o - h = -6*o - 5*f, 11 = -3*o + f for o.
-2
Let b = -229 - -230. Let a(d) = 2*d**2 + 2*d. Let q be a(b). Solve 2 = -q*v - g - 3, 0 = 5*v - 5*g - 25 for v.
0
Suppose -13*u = -82 + 157 - 140. Solve -u*o = -5*i, 10 = -10*i + 7*i + 5*o for i.
5
Suppose 272*i - 124 = 210*i. Solve 4*x = 2*a - 4, i*a + 5 = 2*x + 3 for x.
-3
Suppose -137*x = -149*x + 60. Solve 5*n = -b + 30, n + 2*b - 10 = x for n.
5
Let d(k) = -3 - 379*k**3 - 6*k - 2*k + 382*k**3 + 4*k**2. Let s be d(-2). Solve -4*i = 2*z, 0*i = -s*i - z for i.
0
Suppose t - 3 = 51. Let i = -57 + t. Let a be (-7)/((-35)/20) - i. Solve 5*j + 13 = -r, 5*j + 4*r + 0 + a = 0 for j.
-3
Let l = 67 + -59. Let v(o) = -o - l*o + 3*o. Let z be v(-1). Solve 2*j = -4*d - z, d = -0*j - j + 1 for j.
5
Let a = -48 - -50. Let s be (-5)/((-80)/(-12)) - (-21)/28. Solve -3*x = a*x + 4*y - 24, -3*y + 3 = s for x.
4
Let u = -10 + 14. Let j = -76 + 73. Let a be 72/21 + j + (-150)/(-42). Solve -a = 4*k - u*t, t - 5 = 7*k - 2*k for k.
-1
Let d be 0/((994/(-98) - -10)*(-7)/1). Solve 3*q + 2*q - 5*a + 30 = d, q + 4*a = 19 for q.
-1
Let v be -1 - (15/6)/(4/(-8)). Let x = -1059 - -1063. Solve -2*n + x*g = -n + 19, -v*n - 3*g = -19 for n.
1
Let x = 2669 + -2662. Solve 0 = -5*n - 5*m + 5, 10 = 3*n - 4*m + x for n.
1
Suppose -4 = -3*q + 2. Let t be 449/3 + q/(-6)*2. Suppose 0*w - 5*w + 137 = -a, 0 = 5*w + 3*a - t. Solve 4*v = 3*d - w, -d = 4*d + 5*v for d.
4
Let h(a) = -2*a**3 - 38*a**2 - 32*a + 80. Let m be h(-18). Solve 4 = -5*w - 19*x + 16*x, -5*w = -x - m for w.
1
Let c(f) = 2*f - 19. Let x be 95/10 + 2 - 1/2. Let m be c(x). Solve 0 = -m*g + 4*g + 5, -5*g - 24 = -u for u.
-1
Suppose 0 = 3*q - 5*f - 15, 4*f + 12 = -98*q + 94*q. Solve -32*i - z + 10 = -37*i, q = -z for i.
-2
Let o be (-149)/(-4) - ((-9)/12 + 1). Suppose -15 = o*c - 36*c + 3*h, 0 = 4*c + 3*h + 15. Solve -5*a - 24 = -n, -a = n - c*a for n.
4
Let c be 90986/9380 + 3/10. Solve 0 = 8*q + 4*h, -4*q - 2*h = -5*h - c for q.
1
Suppose -5*r + 963 = -207. Suppose 297 = 7*z + r. Solve 5*p - 4*q = z, 3*q + 2 - 3 = -4*p for p.
1
Let q be 6/4*136/12. Suppose 31 + 3 = q*w. Solve 5*l + 10 = 0, 5*d + 1 - w = 3*l for d.
-1
Suppose -2 + 1 = y, 2*r - 2*y - 42 = 0. Suppose 6*u - 2*u = r. Suppose 3*b + 2*b + g - 65 = 0, 3*b - u*g - 11 = 0. Solve 2*k = -6, 5*i - b = -3*k + 2*k for i.
3
Suppose 0 = -4*k - 3*x - 5, -15 = -2*k - 10*x + 11*x. Let a(w) = w**2 + 2*w. Let f be a(-3). Solve 2*i - 4*r - 27 = 5*i, 0 = i - f*r - k for i.
-5
Let d be 7/245*-5*-469. Let z be (d/(-402))/((-2)/36). Solve 2*a + g - 10 = -a, -3*g + 6 = z*a for a.
4
Let w(m) = -m + 3. Let d = 1 - -13. Suppose 3*a + 2 = 2*p, d = -5*a - 3*p - 2. Let t be w(a). Solve -t*x = -4*q + 6, -4*x + 1 = -3*q + 6 for x.
-2
Let n = 10 - 6. Suppose 5*h + 10*y = 8*y + 112, 0 = 4*y + 16. Suppose -5*t - 24*k + 20*k + h = 0, -3*t + 11 = -k. Solve -4 = -t*a, 0*a + n*a = -d for d.
-4
Suppose -143*p + 270 = -134*p. Solve -2*f + 0*f + 16 = -2*k, 5*k + p = 3*f for f.
5
Let n(p) = 24*p + 375. Let q be n(-15). Solve 0 = -8*o + 7*o - 3*z - q, -4*z - 20 = 0 for o.
0
Let w = 102 - -1. Let z = -100 + w. Solve 4*u + 5*y = -5, -4*u + z*y + 30 = y for u.
5
Suppose -9*a + 1 = -134. Suppose 7*n + 40 = a*n. Suppose 0 = n*q - 3 - 17. Solve u - 2*u + q = -t, t + 3*u = -8 for t.
-5
Let k(a) = -12*a + 901. Let s be k(74). Solve -15 = n - s*m + 9*m, n + 3*m = 6 for n.
-3
Suppose 95 = 5*p - 5*t, 32*t = 2*p + 36*t + 4. Solve 6*u - u - 10 = 0, -4*b = 2*u + p for b.
-4
Let h(q) = -q + 18. Let g(u) = -4*u + 56. Let x(o) = -3*g(o) + 8*h(o). Let l be x(6). Suppose 5*i = 72 + 28. Solve 5*n = 4*b + 45 - i, l = 4*b - 3*n + 15 for b.
0
Let h(u) = 6*u**2 - 41*u + 75. Let i be h(3). Solve -3 = f - 5*m, -2*f - i = 2*m + 3*m for f.
-3
Suppose 4*t - 10 + 23 = n, 2*n - 3*t - 16 = 0. Solve -10 = 2*c - 3*c + 2*a, n*c = 5*a + 35 for c.
4
Let w be 5 - (6 + (-4)/(-8)*-2). Suppose s + 2*s = -w*s. Solve r = -5, i = -s*i - r - 2 for i.
3
Let i(p) = 4*p**2 - 3*p - 9. Let b be i(4). Let c = -39 + b. Let o = 130 + -128. Solve 2*h + 14 = 2*n, -o*n - 18 = 3*h - c*n for h.
-4
Suppose -12*k = 5*k - 34. Let p be (4 - (-104)/(-20))/((-3)/5). Solve g + 1 = -5*o, p*g + k*g - 12 = -4*o for o.
-1
Suppose 4*i - 9*i + 215 = 0. Let v = -96 - -55. Let h = i + v. Solve 3*q = 2*z + 2*z - 4, q = -h*z + 12 for q.
4
Let m(r) = 2*r**2 + 26*r - 40. Let x be 2/(3 + 94/(-30)). Let o be m(x). Solve 3*a - o = -a, 3*a = -5*n + 25 for n.
2
Let c be (-3 - (-4 + -24)) + 4. Suppose -2*t + c + 3 = 0. Solve -2*n - 2*n + 12 = 5*i, 4*n - 2*i = -t for n.
-2
Let t(w) = 6*w + 15. Let u be t(-3). Let c be (u + 2 - 44)*(-10)/25. Let i = -14 + c. Solve 0 = -2*o + 5*d + 9, -o + i*o - 2*d = -3 for o.
-3
Suppose -2*i = a - 20, 5*i - 47*a = -49*a + 47. Solve -5*d = -4*m, -i = 9*m - 8*m - 3*d for m.
5
Suppose -5*m + 5 = 2*f - 9, 5*f - 4 = 3*m. Suppose -f*s = -0*s - 10, -2*k = -3*s + 11. Solve -x + 13 = 4*t, 0 = 3*x + k*t + t - 21 for x.
5
Let j = 28094 - 28091. Solve -5*h = 4*v - 26, -j*v - 94 = 2*h - 110 for v.
4
Let x = 10 + -10. Let u = -2970 - -2972. Solve -4*a - 2*h - 4 = 0, x*h + u*h - 23 = 5*a for a.
-3
Let v be (180/5 - 4)*(-3)/(-6). Suppose -8*c + 0 = -v. Solve 5*g - 2*g - 5*m + 32 = 0, 3*g + 4 = -c*m for g.
-4
Let d(l) = 7*l**2 - 17*l - 14. Let r be d(-1). Solve -r*v - 5*y - 12 = -8*v, 0 = -5*v + 3*y + 32 for v.
4
Let d = 158 - 138. Let t(u) = 5*u - 7. Let j be t(-6). Let p = -25 - j. Solve 0 = -3*s - p, -4*x = s - 3*s - d for x.
3
Let o(d) = 7*d**2 - 19*d + 64. Let b(m) = 12*m**2 - 37*m + 128. Let t(v) = 3*b(v) - 5*o(v). Let w be t(8). Solve 3*q + 9 = w, -3*q + 3 = -3*f + 12 for f.
0
Let v be 8 + -16 + 8 - 0. Suppose v = -43*s + 44*s. Solve q - 2 = 2*m, -2*m + s*m = -2*q + 4 for q.
2
Let f(c) = 2*c**2 + 11*c + 9. Let v be ((-7)/2)/((-7)/(-70)*5). Let y be f(v). Suppose 25 = 7*j - 2*j. Solve 2*s + y = -5*n, j*n + 42 - 17 = -s for s.
-5
Suppose 14*v + 28 + 28 = 0. Let n(o) = o**3 + 6*o**2 + 3*o - 5. Let a be n(v). Solve 12 + a = -3*h - 5*b, -b - 11 = 2*h for h.
-4
Let i(z) = z**2 + 13*z + 4. Let x be -1*(-376)/(-28) - (-9)/21. Let o be i(x). Solve 3*d + o*b + 3 + 2 = 0, -2 = 2*d + 4*b for d.
-3
Let h(c) = c**3 + 37*c**2 - 11*c - 407. Let t be h(-37). Solve t = 3*x - 6, 5*v - 4*v - 5*x + 12 = 0 for v.
-2
Let q = 280 - 62. Let g = q + -190. Solve -5*s - t + 26 = 0, -5*s - 3*t 