 = -6*m**2 - 83*m + 17. Let l be h(-14). Suppose 12 = 26*p - 29*p + l*i, -2*p = 3*i - 12. Solve p = 2*s - z + 8, z + 4 = -s - s for s.
-3
Let y = 69 - 72. Let q = y + 5. Solve 5*v = -4*l - 40, -q*l - 5*v - 35 = l for l.
-5
Let d(v) = -18*v + 20. Let j be d(1). Solve -p - 8 = -2*r, -5*p - 6 = -r - j for r.
4
Let r = 108 + -118. Suppose -k - 5 = 1. Let f = k - r. Solve 4*l = -3*m + 13 - f, 4*l = -5*m + 15 for m.
3
Let k(o) = 2*o**3 + o**2. Let n be k(1). Solve -5 = -5*r + b + 4*b, n*r + 5 = 5*b for r.
5
Let u be ((-24)/(-5))/((-15)/(600/(-16))). Let v be (-16)/(-6)*u*(-1)/(-8). Solve 5*z = -0*o - o + 21, -41 = -5*z + v*o for z.
5
Suppose 53*t - 102 - 28 = 82. Solve -4*q = -t, 0 = -0*p + 3*p - q + 4 for p.
-1
Let n(t) = -61*t + 2596. Let y be n(42). Solve -y = 5*q + 4*b - 19, 4*q = 4*b - 12 for q.
-3
Suppose -24 - 10 = -3*f + 2*h, -3*f + 3*h + 33 = 0. Suppose f*j + 27 - 87 = 0. Solve n + j*y = -21, 0 = 5*n - 2*y + 3*y - 15 for n.
4
Suppose -i + 14*c + 7 = 15*c, -7 = 3*i - 4*c. Suppose 2*r - 20 = 5*w, 16 = 2*r - 0*w - i*w. Solve 3*y - 1 - 1 = -5*j, 4*j + r*y - 12 = 0 for j.
-2
Let u be ((-2)/26)/(41/(-82)) - 445/(-65). Solve -4*h - 5*l + 18 = 0, 2*l + 2 = -4*h + u*l for h.
2
Let q be 6264/28 + 12/42. Let n = -219 + q. Solve -10 - 15 = -3*s - n*z, -4*s - 4*z + 20 = 0 for s.
0
Suppose -n = 2*g + 101, -5*g = 3*n - 2*g + 312. Let z = n - -127. Solve -f - a = -3, 4*f + 5*a + 4 - z = 0 for f.
-1
Suppose 14*f - 17*f - 72 = 0. Let r be ((-111)/9)/(-1) + f/18. Let m = -8 + r. Solve m*x + 4*l - 15 = -l, -5*l = -15 for x.
0
Let s = 326 - 310. Suppose 4*m - s = 0, 16*m - 15*m + 12 = v. Solve 2*x - v = -5*a, -a - a - 2*x = -10 for a.
2
Suppose 2695*m - 2643*m = 0. Let q = -3 + 8. Solve -5*a + 5*o - 25 = m, 5*a + 5 = 4*a - q*o for a.
-5
Let h be ((-2)/(-2))/((-1)/(-2)). Let k = -76187 - -76190. Solve k*i + 6 + 0 = -h*t, 5*t = i + 2 for i.
-2
Let d be -17 - 2704/(-96) - 2/12. Suppose d*g + 5 = 3*n + 7*g, 1 = g. Solve 0 = 2*u + n*l + 2, 4*u - 11 = u - l for u.
5
Let o be ((-7 - -1)/(-18))/((-2)/((-180)/6)). Solve 9*r = -j + 4*r + 32, -o*j = 3*r - 28 for j.
2
Let b(k) = 41*k - 203. Let q be b(6). Suppose q*i = 49*i. Solve i = h - 3*r + 2, -5*h + 3*r = -10*h - 10 for h.
-2
Let m be 20/10 - 8 - -10. Solve 4*p = p - 3*l, -14 = m*p - 3*l for p.
-2
Let s(w) = -w**3 + 8*w**2 - 211*w + 1993. Let l be s(9). Solve 0 = -4*t + 4*z - 4, 21*t - 26*t + z = l for t.
-3
Suppose 24*h - 980 = -11*h. Suppose -h - 53 = -27*g. Solve -3*d + 15 = 0, u - 6 = d - g*d for u.
-4
Suppose -69*r - 38 = -245. Solve -5*k - 6*d + 28 = -r*d, -9 = -k - 4*d for k.
5
Let h = -4 + 7. Let w be 2/27*-3 + 12/54. Suppose w*l = -l + h. Solve 2*v + 4*x = 8 + 8, 0 = l*v - 2*x + 16 for v.
-2
Let o be (10/(-5))/((-2)/3). Suppose -9 = -4*i + 3*n, 3*i + 2*i = -o*n - 9. Suppose 9*b + 62 - 197 = i. Solve -2*q = l - 8, -2*l + b = q - 7*l for q.
5
Let m(a) = -9*a + 2. Let c be m(5). Let q = -33 - c. Suppose 0 = q*s - 16 - 24. Solve -23 = 4*i - 5*x, i + s*x - 10 = -0*i for i.
-2
Suppose -f - 7 = 6*h - 2*h, -5*h - 15 = -5*f. Suppose m = f + 1. Solve 2 = -v - 2*y - 1, m*v + 5*y = -9 for v.
3
Suppose -3*m + 0 = 15, 3*r - 5*m = 67. Let t be ((-26)/39 + -2)*1/(-2)*3. Solve 2*z + 2*z = 2*h + 14, -z = -t*h - r for z.
2
Let j = 705 - 700. Solve -2*n = -j*a - 8 + 3, 3*n - 10 = 5*a for a.
1
Let i be (-34)/(-6) + (-1480)/888. Solve -3*v = 3*q + 6, i*q + 24 = 4*v + 8 for v.
1
Suppose 46 = 8*b + 14. Let t = -883 - -887. Suppose -j + 4*d = -2*j + 4, -4*d - 76 = -3*j. Solve -2*x - 4 = 4*n, -t*x + 0*n - j = -b*n for x.
-4
Let k = -4504 + 4523. Solve -5*n - 3*i + k = -0*n, 8 = 2*n + i for n.
5
Let a = 15 + -7. Suppose 702*y + 18 - 18 = 0. Solve -5*p - 10 = y, 3*o + o - 4*p + a = 0 for o.
-4
Let v = 11 - 7. Let d = -1454 - -1456. Suppose 4*k = r + v*r + 8, k + d*r = 2. Solve -2*h = -b - 1, -k*h + 19 = 3*h + 3*b for h.
2
Suppose -3*l = -7*l + 8. Let x(u) = 27*u + u**3 - 25*u + 4 - l. Let t be x(0). Solve t*z + 2*r = -10, -5*z + 0*r - 3*r = 19 for z.
-2
Suppose 2240 = 2*r + 32*r + 106*r. Solve -11 = -5*u - q, 5*u + 2*q = r - 4 for u.
2
Suppose 5*y - 3*n - 43 = 0, -8 + 46 = 4*y - 3*n. Suppose -35 = -5*r + 5*o, 5*o = 4*r - 9 - 24. Solve 5 = -x - r*s - 0, 8 = y*x - s for x.
1
Let h = -3972 + 3977. Solve 0 = -5*p + 10, -h*v = -7*v - 2*p + 2 for v.
-1
Let d(x) = x**2 + 36*x + 301. Let c be d(-13). Solve -4*u + y = 11, -4*y + 12 = c*u - 8*y for u.
-4
Let o(g) = g**2 + 4*g + 2. Let b be o(-4). Let v = 224 - 200. Suppose 2*t = -6*t + v. Solve 11 = -3*m - b*l + t*l, -5*m - 17 = -l for m.
-3
Let m be 6/4 + 3/(48/(-136)). Let t(p) = -p**2 - 6*p + 10. Let f be t(m). Solve -3*u = 3*b - 5 + 2, -f = -3*u for b.
0
Let a = -395 + 397. Solve -2*h + 12 = 2*p, -153 + 159 = -a*h + 4*p for h.
3
Suppose 0 = 6*a - 196 + 244, -2*f + a + 16 = 0. Solve -5*l = -4*v - 11, -v = -f*v + 4*l - 8 for v.
-4
Suppose 3914*p - 3906*p - 16 = 0. Solve a + 36*w = 37*w + p, -4*w - 6 = -3*a for a.
2
Let h be 224/(-48)*6/(-7). Suppose 7*t - 24 = h*t. Suppose 0 = t*r - 13*r. Solve 16 = -4*v, -3*k + r*k + 4*v = -31 for k.
5
Let f = -31672 - -31676. Solve -7*u - 8 = -5*u, f*l = -3*u + 4 for l.
4
Suppose 17 = -6*t + 47. Let x be (-2 - 3) + t + 12 + 5. Solve 0 = -5*y - 4*n + 24, -5*y + 0*y + x = -3*n for y.
4
Suppose 5*q = 20, 4*j + q = 5*j. Let o be 36/(-162) - j/(-18). Suppose 2*t + 0*t = 4*z + 4, 0 = t + 3*z - 7. Solve o = -4*s + n + 9, 3*s - 3 = -2*n + t*n for s.
3
Suppose -34 = -2*p - 3*b + 6*b, 8*b = 13*b. Solve 3*o = -3*k - 21, 35*o + p = 39*o - 5*k for o.
-2
Suppose 2*w = -3*w + 225. Let u = w - 60. Let x = 21 + u. Solve -c - 2*c + 6 = 3*z, 3*z - 4*c = x for z.
2
Let b = 82 - 79. Suppose -5*y = y - 42. Solve y*j = 3*j - 5*n - 35, b*n - 11 = 4*j for j.
-5
Let o be (-19 - -16 - (-1 + 1)) + 7. Suppose -o*m + b + 8 = 0, -2*m = m - 2*b - 6. Solve -m*q + p = -6, -3*q + p - 4*p = -9 for q.
3
Suppose 4*f - 188 = -43*f. Solve 0 = -4*h + 12, -h = -f*y - 3 - 4 for y.
-1
Let g = -504 + 510. Suppose -2*o + 11 = -z, 0 = 3*o - 18*z + 21*z + g. Solve 0*j - o*j = 2*k, -3*k = 2*j + 5 for j.
2
Suppose 35*k + 572 = 1447. Solve 2*i = -2*x, 30*x = 32*x - 3*i + k for x.
-5
Suppose 3*k - 4 = 2*b, -6*k = -7*k - 5*b + 7. Solve g = -5*a + 8*a + 17, -a = k*g - 6 for a.
-4
Let j = 11262 + -11260. Solve -7*l - 5 = j*z - 2, -4*l + 29 = -5*z for z.
-5
Let g be 9*(-4)/11*319/(-58). Solve -g*k + 22*k = q + 1, 4*q + 4 = 5*k for q.
-1
Let n be 2 + -4 + (58 - 2). Suppose -5*s + 2*f + 368 = 0, 268 = 4*s - 37*f + 42*f. Let c = s - n. Solve -3*a = -7*a - m + c, -3*a + 4*m = -4 for a.
4
Let h be 17 - (9 - 8 - -7). Suppose -24*m + h*m = -5*m. Solve 20 = 4*r + 2*k - m*k, 2*k = 4 for r.
4
Suppose -8*f - 24 = -6*f. Let s = -10 - f. Solve -6 = 2*j, -5*z + j - 9 = -s*z for z.
-4
Let s = -170 + 183. Suppose v - 6 = -3*n, 5*n - 20 = 8*v - s*v. Solve 4*g - 20 = 0, 0*g + v = 3*a + 3*g for a.
-4
Let r(a) = a + 1. Let f be r(1). Let g(y) = -y**3 - 2*y**2 + 3*y. Let k be g(-3). Suppose k = 3*z - 7*z + 44. Solve -z = n - 2*n - 2*m, -f*m = -2*n - 2 for n.
3
Suppose -4*a = 8*a - 0*a. Let h be 4/(16 - 4)*3/(-1). Let y be ((-7)/14 - -5) + h/(-2). Solve y*q - 3*n + 7*n - 1 = 0, 4*q + 4*n = a for q.
1
Suppose l - 8 - 17 = 0. Suppose -4*a = -9*a - l. Let c be (-10)/a*(0 - (-10)/4). Solve 2*y + c*p + 27 = 0, 14 = -4*y - 3*p + p for y.
-1
Let q be (-3)/(-9)*0/(-3). Suppose q = -5*o + 3*y + 26, 2*y + 14 - 6 = o. Solve 2*z + o*i - 5*i = 3, 5*i - 9 = 2*z for z.
3
Suppose 46*m = 51*m. Suppose 3*w + 0*a = -a + 26, -w + 3*a = -2. Suppose 4*r - 4 - w = m. Solve -3*p + n + 17 = -4*n, 5*p - 7 = r*n for p.
-1
Let w = 137 - 53. Let z = -84 + w. Suppose z = -2*h + 9*h - 14. Solve -4 = 4*k + h*a, 2*a = k + 2 - 1 for k.
-1
Suppose -18*w + 15 = 31*w - 44*w. Solve 0*o - w*d - 17 = o, -2*o - d = 9 for o.
-2
Let t = 3 - -1. Let z(u) = 3*u**3 - 52*u. Let d be z(0). Solve 4*w + d + 29 = 5*o, -t*o = -4*w - 24 for w.
-1
Suppose -4*i - 91 = -2*y - 101, y = -4*i + 25. Solve -3*r = -l - 0*l + 9, -l = i*r + 15 for r.
-3
Suppose -3*m - 4*f - 46 = -235, 4*m = 5*f + 190. Solve 0 = -5*p + 25, 53*p + 35 = 5*k + m*p for k.
5
Let k(a) = 12*a**2 - 23*a + 10. Let p(z) = 8*z**2 - 15*z + 7. Let n(f) = -5*k(f) + 7*p(f). Let l be n(1). Solve 16 = 4*o + 6*j - 7*j, 4*o + l*j = 40 for o.
5
Let r(q) = -18*q + 24. Let i be r(1). Suppose 0 = 3*u - 2*t + i*t - 29, -11 = 3*u - 4*t