w, -4*l - y = 4*w for w.
0
Let x(s) = -s - 10. Let q be x(-15). Suppose -3*m + 144 = q*m. Let o = 23 - m. Solve -h + o*f - 15 = 8, 5*h - 4*f = -10 for h.
2
Let p be (3 - (-1 - -1))/((-1)/(-45)). Let j = -141 + p. Let o be (-15)/j*(16/(-10))/(-1). Solve 0 = o*f - 16, -1 = 2*t - f + 1 for t.
1
Let y = 2987 - 2983. Solve -t = -0*t - p + 4, t = y*p - 4 for t.
-4
Let x be ((-225)/(-9) + -25)*(-1)/(-2). Solve x = -3*p - 10*f + 7*f, -2*f = 2 for p.
1
Suppose 0 = -2*w + o + 343 - 75, 5*o - 700 = -5*w. Suppose j - x - 3 - 24 = 0, -5*j + 4*x + w = 0. Solve -5*t + t - 2*v = j, 4*t + 5*v = -40 for t.
-5
Suppose 5*o - 5*v = 30, -2*v - v - 3 = 0. Let g be 0*((-10)/(-90)*-63 + (-128)/(-18)). Solve -o*d + 2 = -2*w, 5*d + 4*w + 4 = -g*d for d.
0
Let u(g) = -141*g + 4145. Let f be u(29). Solve 5*k = 59*q - f*q, 3*k + 6 = 3*q for k.
3
Suppose -4*u - 4*x = -24, 5*u - 12 - 2 = -x. Solve -5 = -u*a + w, 5*a + 8*w - 4*w - 32 = 0 for a.
4
Let t = -354 + 357. Solve 4*g - 12 = -2*m, -t*g + 8 = 2 for m.
2
Let j = 5076 + -5075. Solve 0 = -t + 2*r - j, 0 = -t + 4*r - 5 for t.
3
Let q(c) = -c**2 - 4*c + 7. Let o be q(-5). Let z be 1502/(-8) - 63/(-84). Let n = z - -190. Solve -n*g = -o*a + g + 6, 0 = g for a.
3
Suppose -5*p + 13 + 7 = 0. Let h(r) = r**3 - 15*r**2 + 14*r + 12. Let n be h(14). Suppose 0 = 6*w - n - 132. Solve 5*o - 2*f = -0*o + w, -o + 12 = -p*f for o.
4
Suppose -22 = -2*r - 2*x, 33*r + 58 = 38*r + 2*x. Let n = 39 + -21. Solve -b + 4*y + 6 + r = 0, 3*b = 3*y + n for b.
2
Suppose c = 5*x - 7*x + 503, -x + 253 = c. Solve 0 = -2*o + 2*k - 12, 2*o + 247*k - x*k = -12 for o.
-6
Suppose 10*u - 8*u - 5*a - 116 = 0, 179 = 3*u - 5*a. Let f = 66 - u. Solve -3*r - f*k + 1 = 7, -3*r + 3*k = 0 for r.
-1
Suppose -41*q + 1 = -44*q + 13. Solve -2*m + w = -w + 6, -20 = q*m + 4*w for m.
-4
Let f(m) = -2*m**2 + 9*m + 2. Let y be f(-13). Let i = 457 + y. Solve -2*l - 4*p = i, -2*p - 1 = 5*l - p for l.
0
Let b be -8*4*7/(-56) + 0. Suppose 2*t = -b*u + 2, -2 = 8*u - 3*u - 2*t. Suppose 0*m + 2*m - 32 = 0. Solve 5*l - 2*r - 18 + 4 = u, -5*l + m = -3*r for l.
2
Let q = 3032 - 3028. Solve -5*z + 13 = -4*k, -k = -2*z + q*z for z.
1
Let n = 45726 - 45724. Suppose -4*j - 2*d = 6, -j - 5*d = j + 23. Solve 0 = 3*i + n*t + j, 3*i + t = -0 + 4 for i.
3
Let a be ((-8)/(-16))/(2/8). Suppose -2*z + 34 + 4 = 5*k, -5*z - 21 = -a*k. Solve -2*m = -4*h - k, -3*h = 3*m + 2*m + 6 for m.
0
Let h(z) = -7*z**2 + 7 + 44*z + 18*z - 2*z**2. Let q be h(7). Solve q = 4*w - 8, 0 = -m + 2*w - 3*w + 4 for m.
2
Let m = -3 + -4. Let q be ((-8)/(-14))/((-2)/m). Let s(x) = -55*x + 6107. Let j be s(111). Solve j*u - 10 = 2*b, 3*b + q*b = 3*u - 19 for b.
-2
Let s(d) = -2*d**2 + 13*d + 49. Let v be s(9). Let w = v + -4. Suppose 0*a - 27 = -b + 4*a, 4*a - 11 = -b. Solve w = -5*y + 3*x + b, -5*x = -3*y - x + 7 for y.
5
Suppose 0 = -5*c - 4*a + 16 + 1, -43 = -9*c - a. Let o(z) = z. Let q be o(1). Solve -3*x = i - 3, -2 = -c*i - 3*x + q for i.
0
Let z = -2620 - -2629. Suppose u + 15 = 4*x, 2*x - 3*u - 1 = x. Suppose x*j - 16 + 0 = 0. Solve -j*w - 1 = 5*a - 0, -3*w - a = z for w.
-4
Let t be (98/21)/(((-4)/(-30))/(1/5)). Solve o - s + 10*s - 31 = 0, -o = 3*s - t for o.
-5
Suppose 19*h - 24*h = -415. Let p be h/(-9) + 8/36. Let j be 51/153 + 3/(p/(-14)). Solve u = -2*k - 2, -2*u + j*k - 6 = 7 for u.
-4
Let n be 2 - (-40)/8 - (1 - (-84)/(-7)). Solve 15 = n*b - 20*b + 5*m, -1 = -m for b.
-5
Suppose 164 = 2*u + 4*d, 0*u + d = -u + 81. Let l(q) = -150*q + 72*q + u*q + 16. Let f be l(-6). Solve -3*j - f*w = 8, 3*w + w = -j - 8 for j.
0
Let t = -149 + 153. Suppose 0 = p - 5*j + 6, -2*j + 25 - 5 = t*p. Suppose 7 = c + 2. Solve 3*i - p*h = -7, 0 = 3*i + 3*h + c + 16 for i.
-5
Let l = 97 + -92. Let q be 1 - (l - 0) - (2 + -7). Solve 0 = 2*p - 2*t - 18 + 4, -t + q = 3*p for p.
2
Let g(h) be the second derivative of 7/2*h**2 - 1/12*h**4 + 0 - 1/20*h**5 + 4*h + 7/6*h**3. Let d be g(-3). Solve 2*q = 8, -16 = d*m - 0*q - q for m.
-3
Let x be 12 + (-6)/(-4)*76/(-57). Let y(n) = n**2 - 12*n + 22. Let f be y(x). Solve 8 = -f*t - 3*i, -2*i - 10 = 2*t + 2*i for t.
-1
Let i be ((-1)/3)/((-5)/1125). Let r = i + -75. Suppose -4*h = c - 19, r*h = -3*h + 4*c. Solve 2*a + 2 = h*t, 2*a + 17 = -a - t for a.
-5
Let o be (6/15)/(1/55). Suppose 5*i = 5*k - 15, 13*i - 30 = 9*i - 2*k. Solve 2*z + d - o = -2*z, i*d = -z + 13 for z.
5
Let c(t) = -6*t**2 - 4*t + 4. Let q be c(-4). Let z = -70 - q. Suppose 2*n = 4*s - z, 0 = -5*n + s + 8 + 13. Solve -n*o + 2*x = -x - 15, -o = 3*x - 3 for o.
3
Suppose -4*r + 2*g = 3*g - 47, -r + 17 = 2*g. Suppose 5*k - r*d = -7*d + 32, -d = 2*k - 5. Solve 2*c - k*l = -2, 2*c + l = c + 8 for c.
5
Suppose -6*p = -2*h - 2*p, 5*h - 9 = p. Suppose -h*v + 8 + 4 = 0. Suppose -v*m + 8 = 2. Solve m + 5 = 3*f, 3*j = -4*f + 20 for j.
4
Let t = -2103 - -2107. Solve 21*w = 4*g + 24*w - 14, 4*g - t*w = 0 for g.
2
Let j(z) = -1120*z + 4483. Let b be j(4). Solve -4*l - g + b*g - 6 = 0, -2*l - 15 = 3*g for l.
-3
Suppose 0 = -j - 2*d - 9, 16*j - 5*d - 24 = 18*j. Solve -o = 5*w - 12, -2*o - j*o = 5*w for w.
3
Let k be 1/7 + 779/133. Solve 25 = -5*h + 3*p + k, 4*p = -4*h - 28 for h.
-5
Let q be 53889/21229 + ((-24)/(-26))/2. Solve -48*v = -43*v + 2*k - 6, -q*k = -v + 8 for v.
2
Let f be 42/(15 - 8) - 0*(-8)/24. Solve 0 = -3*n + 4*n - j + 2, 0 = -5*n + 4*j - f for n.
2
Suppose 3*m = -0*m + 60. Suppose -9*w + 81 - 54 = 0. Suppose 4*t + w*b + 1 = 6, t = -3*b - 1. Solve -2*y = 5*h - 4*h, -t*y + 4*h = m for y.
-2
Let r(j) = 3*j**2 + 8*j + 7. Let b be r(-1). Suppose 2*a - 3*n = 8, 4*a + b*n = 5*n + 16. Solve -t + 4*c + 7 = 0, 0 = -t - c + 2*c + a for t.
3
Suppose -3*j + 26*j = -3*j + 182. Solve 0 = a + 19 - 18, -o + 5*a = -j for o.
2
Let o(c) = -157*c - 6582. Let v be o(-42). Suppose 2*x - y = 3 + 3, -x = -4*y + 11. Solve -3*t = 3*z + v, -11 = -x*z + 2*t - 3 for z.
0
Let h be (-6)/(-4)*(-40)/(-15). Suppose 0*d - 5*d = 4*m - 24, -2*m + h*d + 38 = 0. Let b = m - 7. Solve 5*f - 2*s = -17, -7 = -3*s - b for f.
-3
Suppose -2*y = 5*s - 33, 5*y = -2*s + 7*s - 40. Suppose 0 = -5*z + s*z - 10. Solve 3*l + z = -2*j, -6 = -0*l + 2*l + 4*j for l.
-1
Let t be 1/(-3) + (-28)/(-12). Suppose -2*n = 23*n - 775. Suppose -3*l - 24 = -4*j, 0*l + n = 5*j - 4*l. Solve 7 = -5*q - 8, -j*z = t*q for z.
2
Let c(y) = y + 3. Let a be c(1). Let b(l) = 3*l**2 - 11*l + 6*l**2 - 7 - l**3 + a*l**2 - 3. Let i be b(12). Solve -k = -2*r + 1, 5*k - 2*r - i - 1 = 0 for k.
1
Let x = -34 - -36. Suppose 0 = -3*m + 4*o + 19 - 7, -x*m - o - 3 = 0. Suppose m = 11*q - 14*q + 9. Solve g = i + 1, -2*g - 2*i = -q*g for g.
2
Let d = 104893 - 104884. Let r be (0*(-1)/3)/1. Solve r = 4*t + p + 7 + 5, 3*t = p - d for t.
-3
Suppose -40*y - 2691 = -49*y. Let h = -297 + y. Solve 2*k - 6*k = 4*w - 40, -h*k = -2*w for k.
5
Let y(d) = -2*d**3 + 12*d**2 - 12*d + 15. Let n = 67 + -62. Let t be y(n). Solve -5*i + t*b = -5, -3*b + 12 = i + i for i.
3
Let p(a) = -a**3 + 3*a**2 + 3*a - 7. Let t be p(3). Suppose -5*j = -t*z - 92, 16 = 11*z - 7*z. Solve -2*c = 2*f + 2 + 8, -5*f + j = -4*c for f.
0
Let z be 44/(-11) - (-8)/2 - -11. Let a be 7 - ((1 - 7) + z). Solve 5*h - k - 7 = -3, a*k = 2 for h.
1
Suppose -35*t + 14 = 5*m - 37*t, -3*m + 9 = -t. Solve 4*y = -0*y - m, -6*y = -2*i for i.
-3
Suppose 0 = -33*i + 63*i + 12030. Let s = i - -403. Solve -2*u - s*z = 4, -2*u - z - 4*z = -5 for u.
-5
Let r = 5805 - 5805. Solve 0 = -2*o + c - 10, r = 4*o - 8*o + 3*c - 22 for o.
-4
Let k = 9 + -4. Suppose 46*c - 136 = 12*c. Solve 0*y + 4*y + 8 = -k*m, c = -2*y for m.
0
Suppose -6*n = -n - 5*i - 40, 4 = 3*n + i. Solve -b - k = -18 + 19, -k - 13 = -n*b for b.
3
Suppose 828*w - 862*w + 1530 = 0. Solve -3*k - 4*g = 38 - w, -g + 3 = k for k.
5
Let q = 86 - 79. Suppose 3*l + q = b, 14*l + 3 = b + 10*l. Suppose -33 = -b*j + 8*j. Solve 1 = -3*n + n - k, 5*n + j = -3*k for n.
0
Suppose 2*g = 6*g - f + 324, 96 = -g + 4*f. Let m = 0 + 87. Let a = m + g. Solve -5*i + 5 = 5*n - 0*n, -n + a = 3*i for i.
3
Suppose 82 = 10*m - 698. Let x = m + -74. Solve 5*i + 3*q = -16, 2*i - x*q - 5 = -1 for i.
-2
Suppose t = -z - 1, -2*z + 49 = 4*t + 67. Solve 3*v = 3*c + 21, -26 + z = c - 4*v for c.
-3
Let h = 5 + 0. Suppose 4*g + 1952*n - 1948*n = -12, 3*g - 27 = 3*n. Solve -y = 2*y - l - 7, g*y - h = -l for y.
2
Let n be (15/(-3) + 7)/((-8)/(-28)). So