02 = -16348. Let a = 800 + h. Let w(l) = l**2 + 3. Let g be w(0). Solve 0 = 2*c - g*t + 7, -3*t = a*c - 0*c + 18 for c.
-5
Let y be ((-21)/6 - -2)*64/(-24). Let r(n) = n**2 + 5*n - 19. Let i be r(y). Solve -3*x + 4*k = -6, x + 5*k = -0 - i for x.
-2
Let d(c) = c**2 + 3*c - 53. Let l be d(-9). Suppose 56 = 11*y + l. Solve y*i + 2*s - 25 = 3*s, 3*i - 4*s = 32 for i.
4
Suppose 14*p = 12*p + 6. Let d = 7 + -5. Suppose k = -d*k. Solve 0 = -3*g - 2*a - 15, k*a - 6 = -p*g + 5*a for g.
-3
Let t be 20/8*(-336)/(-60). Let w be 33/(-77) - (-384)/t. Solve z = -h - 1, -3*z = -6*h + 3*h - w for z.
4
Let s = 447 + -321. Suppose s*i - 125*i = 24. Solve -5*y + y - i = -4*m, 0 = -3*y + 2*m - 13 for y.
-1
Suppose 34*s - 17 = 36*s + 3*q, 26 = -s - 4*q. Solve 5*y = 2*u - 8, -s = -12*u + 16*u - y for u.
-1
Let m be 2/(-10) - (-297)/135. Solve 3*a = -3*v + 19 - 10, -m*v - 5*a + 3 = 0 for v.
4
Let u(k) be the first derivative of 7*k**2/2 + 86*k + 41. Let a be u(-12). Solve 2*c + 2*w + 8 - a = 0, -w - 2 = 0 for c.
-1
Suppose 1019*h - 1005*h = 266. Solve -f + 4*d - 5 = d, -4*f = d - h for f.
4
Suppose -106*j + 138*j = 42 + 86. Solve j*o = 2*v, -4*o - 6*v + 8 = -4*v for o.
1
Let z(l) = -l**3 + 145*l**2 - 290*l + 579. Let i be z(143). Solve 2*w = 3*x - 11, 15*w = 13*w - 3*x + i for w.
-1
Let q be 23/2 - 0 - (325/(-26) + 11). Solve -8*p + 2*u = -q*p - 23, 4*p + 16 = -u for p.
-3
Suppose 0 = i - 2*i - 4*i. Suppose 8*u - 13*u + 105 = i. Solve -10 = -2*b, 3*f - 3*b = -0*f - u for f.
-2
Let h = 3904 + -3899. Solve 2*x + h*y = 3*x + 24, 4*y = -4*x for x.
-4
Let o = -1 - -1. Suppose o = 2*j - j - 2. Let c = 8663 - 8658. Solve x - w = j*w - 10, 0 = -x - c*w + 30 for x.
5
Let o be (-7)/(-3) + (-105)/(-63). Let j(a) = -a**3 + 3*a**2 + 5*a - 8. Let v be j(3). Suppose v*h + 2 = 8*h. Solve h*q = o*b + 6, 0*q + b - 3 = -q for q.
3
Let w = 27 - 13. Let g(c) = -c**2 - 13*c - 7. Let n be g(-12). Suppose 0 = n*p - 15. Solve -3*z = -p*m + 4 - 10, -w = 3*m + 5*z for m.
-3
Let k(i) = -34*i + 7. Let d(f) = 33*f - 8. Let v(n) = -3*d(n) - 4*k(n). Let q be v(2). Let a = -66 + q. Solve -a*m + 10 + 6 = 0, 3*j = m + 5 for j.
3
Let t(w) = -3*w - 21. Let m be t(-7). Let d be (-208)/(-91) - (-2)/(-7). Let s be (4 - d) + (0 - m). Solve 4*u - s*a + 16 + 8 = 0, u + 5*a = 16 for u.
-4
Let f be (-594)/(-132)*26/(-9) - -13. Let p(i) = -2*i**3 - 2*i**2 + 3*i + 3. Let m be p(-2). Solve -3*q = f, 2*t - 5*q = -m + 1 for t.
-2
Let h be 12 - 12 - (-450)/5. Suppose 43*k = 46*k - h. Solve k = -2*p + 5*n, -p + 4*p = -4*n + 1 for p.
-5
Let v be 29/6 - (-4)/24. Let a = 5909 + -5895. Solve w - 9 = -v*d + 4*w, a = 4*d + w for d.
3
Suppose 27*y - 492 = -357. Solve 5*v = 15, 19*v - 4 = -y*j + 16*v for j.
-1
Suppose -8*j - 474 + 90 = 0. Let r = j - -52. Suppose -3*f + 2*f = 3*y - 6, r*f = -y + 2. Solve 2*n = -5*d, 4*n + 22 = d - f*d for n.
-5
Let c(j) = 2*j**3 - 187*j**2 + 453*j + 187. Let b be c(91). Solve 3*y + 24 = -3*o, b*o + 20 = 2*y - 3*y for o.
-3
Suppose -4*m - 4*b = -556, -2*m + 224 = b - 60. Solve -j - m*s - 1 = -146*s, 9 = -j + 5*s for j.
1
Let z = 2 - 1. Let i be (2/(-4) + 1/2)/2. Suppose -5*h = 7*f - 6*f + 25, -3*f - 5*h - 25 = i. Solve m + 3*t - 3 = f, m + t + z + 0 = 0 for m.
-3
Suppose -h + 140 = -3*f + 152, -2*f = -5*h - 21. Solve -5*z + f*g - 8*g + 20 = 0, -4*z - 24 = -4*g for z.
-1
Let l = -533 - -532. Let r be ((-228)/24)/(l/2). Solve 4*b = -5*a + 16, -2*a - 3*a - b = -r for a.
4
Let b be (1496/(-1071) + (-2)/(-7))/(16/(-72)). Solve 4 = -3*l + 9*k - 11*k, 0 = -b*l + 2*k + 4 for l.
0
Let f = -467 - -472. Suppose -2*g + 24 + 15 = f*y, 5*g - y = 30. Solve r - g = v, -4*r + 33 = -0*r - 5*v for r.
2
Let f(i) = 2*i + 41. Let v = -66 + 48. Let j be f(v). Suppose 0 = 10*w - 6*w. Solve w*p + 2 = -p, j*k - 4*p = -7 for k.
-3
Let o = 34 - 150. Let j = o + 36. Let m be j/24*6*-1. Solve -z + 4*n - m = 0, -n + 6*n - 25 = 0 for z.
0
Suppose 37*y + 18018 = 4*y. Let z = -544 - y. Solve -2*s + 2 = 2*p + 2*s, -z*s - 3 = -3*p for p.
1
Suppose -11*p - 22 = -8*p - 5*t, 3*p + t = -10. Let d be (p/(-10))/((-4)/(-20)). Solve d*a = 4*k - a - 6, 6 = k - 3*a for k.
0
Suppose 881*b - 295*b = 0. Solve -5*i - 25 = b, 30 - 9 = -2*g - 3*i for g.
-3
Suppose 3*c + j - 15 = 0, -3*c + 10 = c - 2*j. Suppose 2*o - c = -v + 4*o, -5*o = -v + 1. Solve -2*m + v*m + 3*r = 1, -2*r = 4*m + 2 for m.
-2
Let a(v) = 4*v - 48. Let c be a(13). Suppose -c*j = 2*b - 22, 5*b = 3*b + 5*j - 5. Solve b*f = 5*u + 15, 3*u = -2*f - 2*u - 22 for f.
-1
Suppose 2*z = a + 158 - 404, -4*a + 3*z = -959. Suppose -4*l = -260 + a. Solve -3 - l = 5*r - 4*u, -2 = -2*u for r.
-1
Let j be 0/(-12 - (33 - 20)). Solve -5*m - 5*p + 65 - 20 = j, -5*p = -25 for m.
4
Let y(p) = -p**3 - 17*p**2 - 6*p + 30. Let n be y(-17). Let m = -118 + n. Suppose 0 = -4*t + 2*t + 6. Solve h + 8 = 4*j, m = 5*j - t*h + 4 for j.
2
Let d = 11591 - 11568. Suppose 3*m = -0*m + 12. Solve -3*l - 1 = 5*w, 0*w - 5*l = -m*w - d for w.
-2
Let c = -26 - -25. Let a be ((c - -4) + (2 - 12))*-2. Let n = 83 - 81. Solve n*w + 11 = 3*v, w - 5*v - a = -10*v for w.
-1
Let w be ((-5)/(-10))/(145/(-50) + 3). Solve 5*t = -17 - 3, -5*t = 5*k - w for k.
5
Suppose 1 = -d - n, 99*d - 104*d + 2*n = -30. Solve 0 = -d*c - 17*h + 15*h - 24, -5*h - 20 = 0 for c.
-4
Let l(a) = -a**3 + 7*a**2 - 6*a + 8. Let m be l(6). Let y(t) = -9 - 2*t + m - t. Let o be y(-2). Solve -1 = o*p - w + 3, 0 = -3*p + w - 2 for p.
-1
Suppose -22*f = 136*f - 2686. Solve -9 = 3*z + f*i - 18*i, 4*z - i = -12 for z.
-3
Suppose -2*i = -4*t + 34, 2*t - 2 = 5*t + 4*i. Suppose 51*j + t = 53*j. Suppose 3*g + 1 = 10. Solve u + 4*m - 9 = -25, 3*u = j*m - g for u.
-4
Suppose 648 = 7*k + 91*k - 26*k. Solve 5*h + k = -p, -3*p + 10 + 3 = -5*h for p.
1
Let a(z) = -z**3 + 9*z**2 - 11*z + 3. Let s be a(0). Solve 3*t - 56 = 5*w - 36, -5*t = s*w - 22 for w.
-1
Let g(d) = 2*d + 25. Let x be g(-11). Solve -12 = 5*l + x*q, 2*l + q = -0*q - 5 for l.
-3
Let i = 1418 - 1416. Solve 2*x - 124 = i*o - 134, -1 = 4*o + 3*x for o.
2
Let i(l) = 17*l - 61. Let g be i(5). Suppose 23*y + 3 = g*y. Solve w + 2*w - 3 = -y*q, 0 = w + 3*q - 7 for w.
-2
Let i = 3212 + -3210. Solve 6 = 2*d - 2*f, -4*f - 31 + 27 = -i*d for d.
4
Suppose 1738*p = 1682*p + 175 + 273. Solve 2*t = -5*y + 5*t + 8, -4*y + p = -4*t for y.
1
Let l be 7/5 + 498/830. Solve 25 = 2*a - 5*z, -l*a - 1 - 9 = 2*z for a.
0
Let l be 50/15*(-12)/(-8). Suppose 0 = l*o - 3*o - 36. Suppose 6*m = 3*m + 3*n + o, 5*m = -n + 6. Solve 3*d - 2 = 2*u, -4*u = -4*d - m + 10 for d.
-2
Suppose -2*q - 38 + 58 = 0. Suppose 7*o - 31 + q = 0. Solve -o*p + 13 = -2*m, -3*m - 3*p + 23 = 5 for m.
1
Suppose -4*i = t - 21, 62 + 106 = 5*t - i. Let g(j) = -t*j - 36*j + 70*j + 30. Let d be g(-7). Solve z + 3*s - 8 = 0, -5*z + s = -s - d for z.
5
Suppose 166*f = 177*f - 22. Let q be 18/8 - (-1)/(-4). Suppose q*x - 10 = -5*z, 6*x - f*x = z + 20. Solve 2*m - 2*o - 10 = 0, z*o - 2*o - 10 = 2*m for m.
0
Suppose 11 = 3*d - 4*i, 0 = d - 2*d + 4*i + 9. Suppose -b + 6 - d = 0. Let w(m) = 4*m + 53. Let n be w(-12). Solve 4*z - 3*r - 13 = b*z, 5*z = -r + n for z.
2
Let i = -3508 - -3522. Solve 0 = -2*k + 24 - i, 3*k = -t + 12 for t.
-3
Let g(h) = h**2 + 7*h + 22. Let n be g(-6). Let r be (3 - 51/(-9))/(n/24). Solve 4*q + 6 = -l - 1, 4*l + r = -q for q.
-1
Let d be 0 + -3 - 99 - 78/(-13). Let q = d + 111. Solve 0 = 5*c - 3*m - 9, -c = m + 4*m + q for c.
0
Let n(j) = j + 30. Let g be -1 - 1*(2 + 25). Let x be n(g). Solve 0 = 5*b + x*c + 20, c = 4*b - c - 2 for b.
-2
Suppose -5*b + 25 = 5*f, 0 = 5*b + f - 39 + 34. Solve -3*n + r + 19 = 0, 0 = -5*n - 5*r + 5 - b for n.
5
Let n be -4 + (4/10)/((-5)/(-25)). Let r be n*2*(-8)/4. Let g(p) = p**3 - 7*p**2 + 5*p + 8. Let t be g(6). Solve 4*z + 7 = w, r = t*w - 6*z + z for w.
-1
Let b(k) = -2*k**2 + k + 82. Let u be b(0). Let w = u + -77. Let s be 1/((-4)/6 + 1). Solve 2 = 5*a - s, w = 4*t + 5*a for t.
0
Let s be 2/(-3) - (2 - (-4 - (-52)/6)). Solve -3*f - 5*h + 1 = 0, -4*f - 5*h - s = -0*f for f.
-3
Let q = -317 - -319. Suppose q*g - 464 = -462. Solve w - i + g = 0, -24 = -5*w - 5*i + 11 for w.
3
Let j be (-6)/((2/(-2))/((-30)/(-60))). Solve 11*m - 15*m = -3*f + 9, m - j*f = 0 for m.
-3
Let p = 372 + -366. Suppose 0 = -5*m - 5*r + 45, -5*m - 2*r = -p*r - 9. Solve 5*z - 21 = 3*z - m*s, -z = -2*s + 3 for z.
3
Let u be (-1)/(-2)