pose y + 4*y = -t + 1, 0 = -h*y - t + 1. Solve 4*f - 12 = -3*l - y*f, -5*l + 20 = f for l.
4
Suppose 0 = -2*p - 2*u + 14, -4*u = -4*p - 4 - 8. Let b be (-3)/(-1) - (-2 + 2). Solve 6 = p*s - b*k, -4*s + k + 3 = 1 for s.
0
Let f(l) = 10*l - 7. Let i be f(2). Let h = 13 - i. Solve m - a = -2, h = -4*a + a + 12 for m.
2
Let a(g) = 2*g**2 - 19*g + 65. Let v be a(8). Let c(q) = -q**2 + 36*q + 207. Let t be c(v). Solve -t*l = -d - 0 - 2, -8 = 4*d - 2*l for d.
-2
Let q(i) = 3*i. Let c be q(1). Let d = -2 + 41. Let g = d + -37. Solve 0 = -g*h + 2*l + c - 9, h + 7 = 3*l for h.
-1
Suppose -3*q = 2*i - 3*i + 232, -i = 5. Suppose -112 = -2*c + 46. Let p = q + c. Solve d - 3*g = -2, 5*d + p*d + g = 6 for d.
1
Let o = 2640 - 2640. Let y(c) = -c**2 + c + 9. Let s be y(0). Suppose -4*u + s = -u. Solve 3*r + 3*q + 0*q - 9 = 0, o = u*q for r.
3
Let a(k) = 3*k**2 - 2*k**2 - 2*k + 28 - 28. Let n be a(5). Suppose v = 4*v - n. Solve 2*c - 4*c = x - 14, -5*c + 5 = -v*x for x.
4
Let w(f) = 4*f + 5. Let x be w(0). Suppose 3*a = -2 + x. Solve -5*s - 2 - a = h, 5*s + 9 = 2*h for s.
-1
Let d = 8 - 17. Let w be ((-3)/d)/(1/15). Let a be 7/(-11 - -172)*0. Solve -w*z + 21 = -0*o - o, a = -2*z + 10 for o.
4
Let t(m) = -m**2 - 3*m + 4. Let z be t(-4). Let g = 1080 - 1059. Suppose z = g*c - 20*c. Solve 4*r - 8 = c, 18 = 4*a + 3*r + 2*r for a.
2
Let x(g) = g**2 - 6*g + 4. Let s be x(6). Let a be s*(-4 + (-145)/(-20)). Suppose 3 + a = z. Solve 4*r + 11 = -3*k - z, -2*k = r + 13 for r.
-3
Let n(a) = a**3 + 5*a**2 - 27*a - 133. Let w be n(-5). Solve 0 = -w*c + 5*c, 4*r - r + 3*c = 0 for r.
0
Let k(i) = 4759*i + 19036. Let c be k(-4). Suppose 0*h + 3*h + 5*t - 25 = 0, 3*h + t - 17 = 0. Solve 0 = -h*g - 3*f - c + 10, -2*f = 2*g for g.
5
Let q(o) = -o + 36. Let i = 156 + -143. Let r be q(i). Solve 5*l - r = c, 19 = -0*l + 4*l - c for l.
4
Suppose 5 = 5*l - 7*q + 2*q, 9 = 3*l + 3*q. Solve 4*b = 6*b - l*m + 2, 0 = 2*b - 4*m + 6 for b.
1
Suppose 1928*q = -801*q - 94*q + 56460. Let r be (-4)/10 + (-4)/(-10). Solve a + 3*a + q = r, 2*a - 15 = 5*g for g.
-5
Suppose -968 = -200*j + 79*j. Solve -3*r = -6, -4*r = -2*y + 7*y - j for y.
0
Let z(d) = -d**2 + 44*d - 380. Let j be z(12). Solve -7*t + 4*q + 16 = -5*t, j*t + 2*q - 22 = 0 for t.
6
Let k = 62 - 38. Let q = k - 21. Solve 0 = -4*b - f + 2, -b = -q*b + 5*f + 12 for b.
1
Let i(d) = -59*d**2 - d**3 - 3*d + 55*d**2 + 3 + 8*d. Let k be (1 + 18/(-4) + 3)*10. Let g be i(k). Solve -g*p + 30 = -5*l, 4*p + 2 - 7 = -5*l for p.
5
Let s = -13309 - -13309. Solve 2*j = r + 3*j + 5, -5*j = s for r.
-5
Suppose -22*i - 2*a + 2718 = -18*i, i + a = 680. Let n = -657 + i. Solve -t + n = -5*q + t, 5*t = 4*q + 21 for q.
-4
Suppose 0 = 2*c - 32 - 176. Let o(t) = -2*t**2 + 2*t**2 + 4 + c*t - 97*t - t**2. Let j be o(7). Solve 2*f - 3*h + 7 = -0*f, 0 = f - j*h + 11 for f.
1
Let h(j) = j**3 - 2*j**2 + 3. Let n be h(0). Suppose -2*c + 37 = 3*r, -5*r - 4*c = -62 - n. Solve -i - r = -3*p - 0, -5*p + i = -17 for p.
4
Let u(y) be the second derivative of y**4/12 - 3*y**2/2 + y + 5. Let k be u(-5). Solve h + 2*r - 6*r - 8 = 0, 2*r = 5*h - k for h.
4
Suppose 0 = j + 3*v - 19, 2*j + 16 = j + 4*v. Suppose 5*w = -4*q - 0*q + 18, j = q + w. Solve 5*s - q = -4*o, 0*s = s - 2 for o.
-2
Suppose -2*j + 3 + 5 = 3*d, 5*d - 15 = -5*j. Suppose -4*o - 6 = -2*a - 5*o, d*a - 10 = o. Solve k = -2, -4*l + 5*k + 2 = -a for l.
-1
Let a = 1393 - 1391. Solve a*h - 23 = 3*u, 5*h = 8*h - 12 for u.
-5
Suppose -17*w + 91 = -58 - 55. Solve 0 = 2*f + 5*l - 7, 17*l - w*l = f + 19 for f.
-4
Suppose 8*a - c + 5 = 9*a, -18 = -4*a - 3*c. Suppose 2*y = -5*k - a, 4 = -7*k + 3*k. Solve y = -2*v + 3, 17 = 4*s + v for s.
4
Let w = 255 + -251. Suppose x + 4*b + 0*b - 24 = 0, 0 = -w*x + 5*b - 9. Solve m = k - x*k + 17, 0 = -m - 2*k + 12 for m.
2
Let w(x) = -2*x**2 - 2*x + 8. Let q be w(-5). Let o = q + 36. Solve -r + 1 = 4*l + 6, o*l = 5*r - 23 for r.
3
Let d(u) = u**2 + 74*u - 1228. Let f be d(14). Solve 5*q + 4*w = -6, 66*q + f*w - 12 = 70*q for q.
-2
Suppose -6*k + k - 30 = -5*c, 2*k - 16 = -5*c. Let y = k - -5. Suppose -23*r = -30*r + 49. Solve -5*l = -4*h + r, -y*l + 0*l + 15 = 4*h for l.
1
Let q = 2410 + -2404. Let y(c) = 3*c - 3. Let u be y(5). Suppose 3*t - 5*w - u = 0, -5*t = w - q*w - 30. Solve 4*j - 3*a - 3 = 6, -t = -j + 3*a for j.
0
Suppose 10373 = 43*j - 20*j. Let a = j - 441. Solve 0 = 2*f + a, -4*k + 12 = -4*f - 24 for k.
4
Let w = 279 - 263. Suppose w*k + 0*k = 0. Solve -10 = 2*p - b, k*b = -5*b + 20 for p.
-3
Let y be -1 + 36*1 - (1 - -1). Suppose -d = 24 - y. Solve 2*k = 3*n - n - 14, 3*k - d = -3*n for n.
5
Suppose -6*i = -18*i + 36. Suppose -4*r + 2*x = 7*x + 7, r + 1 = -x. Solve 5*v - 5*s = -13 - r, -3 = v - i*s for v.
-3
Suppose 3*c + 5*z + 182 = 0, 0 = -3*c - z + 34 - 224. Let s = 93 + c. Solve -5*v + s = -v - 5*n, -2*n - 8 = 2*v for v.
1
Let b(f) = 7*f**2 + 386*f - 385. Let i be b(1). Solve 4*j - 3*j + 4*c = -7, -i = 4*c for j.
1
Let h = 74 + -74. Suppose -2*a - 6 = -0, h = -5*r + 5*a + 25. Let w = 8 - 5. Solve r*p + w*p - 36 = 4*j, -2*j = p + 4 for j.
-4
Suppose 0 = 4*j + 3*p - 0*p - 42, -2*p = -3*j + 23. Suppose -42 = -2*r - 4*z + j*z, 42 = 2*r + 4*z. Solve -4*b = 2*m - 5*m - r, -15 = 5*m for b.
3
Let p(c) = 4*c**2 - 271*c + 1285. Let l be p(5). Solve -3*g = 4*t + 17, -5*t - 31 = -3*g - l for t.
-2
Let i(b) = -b**3 + 18*b**2 + 18*b + 25. Suppose 6 - 196 = -10*t. Let q be i(t). Suppose 2*d + q = 5*d. Solve 3*m - 19 = -3*o + d*o, 4*m = -3*o + 32 for o.
4
Let a(r) = r**2 - 1597. Let n be a(-40). Solve -f + 14 = n*q - 6*q, f + 16 = -2*q for q.
-6
Suppose v + 5 = 3*n, -5*n + 259*v - 5 = 264*v. Solve -n = -k - 3*y, 0 = -8*k + 6*k - 5*y for k.
-5
Let p(h) = h**3 - 4*h**2 - 11*h - 10. Let d be p(6). Let c be (-7 + 3 + (-1 - d))*-2. Solve o + 7 = 2*w, -2*w - 6 = -c*o - 3*w for o.
1
Suppose 801*i - 175 = 776*i. Solve 3*f - 11 = q, -i = 4*f - 5*f + q for f.
2
Let v(o) = o**3 - 19*o**2 + 68*o + 33. Let i be v(14). Solve -3*j + 2*h + 9 = -h, 0 = -4*j - i*h + 30 for j.
5
Let v(b) = b**3 - 34*b**2 - b + 34. Let s be v(34). Let t = 12 + 14. Let x = t + -14. Solve s = -5*d - 4*j, 2*j + 2 - x = 0 for d.
-4
Let r(a) = 15*a - 345. Let n be r(23). Let l be -1*3/2*-2. Solve -5*j + 4*q - 27 = n, 5*j + q + 3*q + l = 0 for j.
-3
Let f = -566 - -586. Let y(d) = -d - 6. Let l be y(-8). Let p be (f/70)/(l/14). Solve -4*o + 5 = -3*k + 2, -5*k = p*o - 21 for o.
3
Let g(l) = 3*l - 8. Suppose -4*k = -2*o - 24, -5*k + 12 = -4*o - 12. Suppose k*i + 1 - 33 = 0. Let r be g(i). Solve -16 = r*c, 2*x = 4*x - c - 12 for x.
4
Let b be 2/28*58 - (-14)/(-98). Suppose b*s = a + 6 + 3, -s - 12 = -5*a. Solve 0 = s*c - 3, -c + 2 = -0*d - d for d.
-1
Suppose 4*z = -4*z + 264. Suppose -z = 5*w - 138. Let x = -21 + w. Solve 4*o - 6 = -2*g - 0*o, x = 2*g + o for g.
-1
Let k = -2058 - -2075. Solve -7*o + 3*o = a - k, -4*o + 18 = 2*a for a.
1
Let z be (-14)/4 + 3 - 63/(-2). Suppose -3*a + 20 + z = 0. Let v = 17 - a. Solve -4*o + 3*l - 3 = 0, -3*l = -5*o - 3 - v for o.
0
Let k = 89 - 86. Let a(h) = 4*h**2 + 5*h - 3*h - 7 + 3*h**k - 4*h**3 - 5*h**2. Let x be a(-3). Solve -j - 4*y = -2*y - x, y = 3*j + 6 for j.
-1
Let a be 139 + 4 + (-5)/1. Let u = a - 129. Solve 0 = -0*c + c - 3*p + 5, -5*c = 2*p - u for c.
1
Let j(v) = -v**2 + 2*v + 16. Suppose -4*c + 3*f = 0, -2*c = 2*c + 5*f. Let m be j(c). Solve -4*q = g + m, -15 = 6*q - q for g.
-4
Suppose 0 = z + t - 2*t + 3, -4*z - 2*t = 0. Let y be 3 + 2/z - -4. Solve -a - 8 = -2*q, 0 = -5*q - 0*a + y*a + 20 for q.
4
Let q(i) = -i**2 + 13*i + 8. Let g be q(14). Let v = -10 - g. Let s be 2 + v/4 + 1. Solve -5*t = -10, 3*t - 5 = -n + s for n.
1
Suppose 0 = s + 2*k - 3, -16 + 14 = -s - k. Let r be s/(-11) + (-300)/(-33). Solve 4*b - 12 = -4*m, -5*b - 3*m = -8*b + r for b.
3
Let l(t) = -t**2 - 46*t + 2961. Let a be l(-82). Solve 3*b + i - 101 = -106, 0 = -3*b + 3*i - a for b.
-2
Suppose 4*z = 2*o + 140, 2*z - o = 4*o + 62. Let g be 404/z - (11/9 + -1). Suppose -195 = -4*x - g*x. Solve 4*k - 5*v - 10 - 1 = 0, 5*v = -2*k + x for k.
4
Let o be (2/5)/(55/2200). Suppose 13*a - o = 9*a. Solve x - 3 = 4*l, 2*l + 4 = a*x + 20 for l.
-2
Suppose 115*q - 69 - 365 = 26. Solve -3*m + 3*l + 16 = 4*l, -2*l = -q*m + 8 for m.
4
Suppose -3*r + 8 = r. Suppose 77589*x + 178 = 77615*x - 82. Solve 3*n = 2*p + 5, r*n 