m, -2*q - h = h - 8 for q.
4
Let o = 52 + -48. Suppose -o*m - 8 = 0, 3*k + 2*m - 54 - 77 = 0. Solve k = -4*u + 5*i, 4*i = -u + i + 10 for u.
-5
Suppose -655*u - 276 = -2278 - 1273. Solve u*o + 19 = 4*k, 0*o - o = 3*k for o.
-3
Suppose -7*o = o. Let p be (-27)/4 - 21/84. Let l be ((-6)/p)/((-12)/(-84)). Solve o*s - 10 = -2*s, -2*s + l = -q for q.
4
Let w(m) = -2*m**3 + 65*m**2 - 333*m - 125. Let q be w(26). Let z = 11 - 1. Solve -5*v - y - 5 = -3*v, q*v = -2*y - z for v.
0
Let y(r) = 152*r - 3797. Let n be y(25). Solve -5*x - 5*l = 25, 5*l + 10 = -2*x - n for x.
-4
Let s = -426 - -430. Suppose -5*c + s*j = 9*j - 80, 5*j = 5*c - 50. Solve 0 = -5*w + 3*k + c, 5*w + 0*k = -5*k + 45 for w.
5
Suppose 4*f - 2*h - 78 = 0, -3*f + 12*h - 15*h = -45. Solve -2*v = -2*k + 12, -v + f = -16*k + 19*k for v.
0
Let f(m) = 329*m - 655. Let z be f(2). Solve 6*v - z*w - 12 = 9*v, 17 = -3*v - 4*w for v.
1
Suppose 5*o = -6*f + 18, 3*o + 3 = 4*o + f. Suppose 0 = 4*s + 8 - 16. Suppose 0 = 5*y - 5*x, 1 = -s*y - 4*x + 13. Solve 2*b + q = -o*q, -5*b = y*q for b.
0
Let y = 197 - 192. Solve -y*b - 6 = 2*k - 4, 4*b = k - 12 for b.
-2
Suppose -1174 = 4*x + x + 3*r, 2*r + 232 = -x. Let q = x + 238. Solve 0 = -q*z - 2*z - 2*g - 18, -3*g = 3*z + 12 for z.
-5
Suppose 5*i + 3*k - 27 = 0, 0 = -3*i - 3*k + 24 - 3. Solve 14*w = 9*w + i*f + 37, -16 = -4*w - f for w.
5
Let n be (-962)/(-39)*18/(-4). Let c = n + 115. Let p be ((-12)/(-8))/(2/c). Solve 2*z + 2 = -2*d, -3*d = -7*z + p*z + 31 for z.
4
Let n(s) = -s + 12. Suppose -19 = -4*v + 3*x, v + 3 = 2*v + x. Let r be n(v). Suppose 5*h = -r*h + 65. Solve -h*b - j = -10*b + 24, -2*b - 12 = 5*j for b.
4
Let g(n) = 104*n - 5610. Let s be g(54). Solve 0 = 4*x - 8, c - 5*x + s = -3 for c.
1
Let n = -2258 + 2285. Solve 3*f - l = 11, f + n*l - 25*l = 6 for f.
4
Let j(y) = 12*y - 130. Let s be j(11). Suppose 2*z = -z + 6. Solve -4*l - 4 = s*h, -2*l + 6 = h - z*h for h.
-4
Let p = -465 + 673. Let v = 212 - p. Solve -4*t + 6 - 2 = -b, 0 = -b + 3*t - v for b.
-4
Let f be -15*1/4*(-6 - -2). Suppose -43 = f*h - 13. Let v be 4/((4 + h)/2). Solve 5*d = -p + v + 16, 0 = -5*p - 3*d - 10 for p.
-5
Suppose 836 = -565*q + 576*q. Let h be 437/q + (-9)/12. Let c = 18 - 13. Solve -h*k - 2*p = -28, -p = -2*k + c - 1 for k.
4
Let g = 39100 - 39070. Solve -g*l = -27*l + 5*k - 25, -4*l + 3*k = 15 for l.
0
Suppose -5*r - 6 = -t, t + 39*r - 37*r = 13. Suppose -v + 0*v = 0. Suppose 0 = f - 3 - v. Solve 0 = -o - 2*z - 13, 4*z + t = -2*o + f*o for o.
-5
Suppose 0 = v - 0*v + 1. Let g = v - -33. Suppose 0 = 3*t - 5*c - g, -2*t - 7*c - 12 = -2*c. Solve 6*n - 5*n = m - 4, 0 = -2*n - 2*m - t for n.
-3
Suppose 0 = -5*q - 6*q + 88. Suppose 2*y - 2 = q. Solve 2*h + 3*t + 10 = t, 0 = -y*h + 5*t + 25 for h.
0
Let o = 55 - 47. Suppose o*c - 10*c + 10 = 0. Suppose -c*g = -23 + 8. Solve 0*v - 13 = -g*v - 5*k, v = -k + 3 for v.
1
Let u be (-162 + (1 - -3))*-1. Let f = -223 + u. Let h = 75 + f. Solve -2*a = h, 3*g + 28 = g - 4*a for g.
-4
Let w be (-25)/(-7) - 0 - 5116/8953. Solve 3*s + 5*x = 10*x - 36, 4*s = w*x - 26 for s.
-2
Let p(i) = -i - 2. Let c be p(2). Let h = 6 + c. Let m be (0 - (-2)/(-4))/((-1)/6). Solve -h*q = 2*q + 16, -m*r + q = -13 for r.
3
Suppose -4*w + 8 = -4*h, 3*h - 2 = 2*w - 4. Let y be (h/4)/(2/8). Solve -11 = k + y*u, -2*u + 4*u - 7 = 5*k for k.
-3
Suppose 2185 = -t - 4*t. Let g be (t/(-38))/(1/(-2)). Let f = g - -26. Solve -2*k + 12 = -2*n, -f + 11 = -2*n + k for n.
-2
Let z = 673 + -668. Solve z = 20*d - 25*d + t, 4*d + 5 = t for d.
0
Let a(w) = -w**3 - 4*w**2 - 3*w - 9. Let h be a(-4). Suppose 0 = 13*d - 84 + 45. Solve -5*o - 3*p - 2*p = 0, h*p = d*o - 24 for o.
4
Let z = 27896 - 27895. Solve -p - z = 2*x, 0 = 5*x + 41*p - 42*p - 15 for x.
2
Let b = -9582 + 9615. Solve -38*k - 2*g = -b*k - 8, -6 = -5*k - 4*g for k.
2
Let k(f) = -f**2 - 11*f - 22. Let r be k(-7). Suppose -4*t = -6*t + r. Suppose -2*n = t*n. Solve n*b = 3*b - q + 4, 5*q + 6 = 2*b for b.
-2
Let l be (-3 - -5) + 6*(-10)/(-4). Let d = 482 - 477. Solve d = -4*h + 3*r, -4*r + l = 4*h + 1 for h.
1
Suppose -2*u - 4 = -0*u. Let s be (6/(48/28))/(u/(-4)). Let a = s + -2. Solve p + 0 + 26 = -5*h, a*p = -h - 10 for h.
-5
Let k(x) = 6*x**2 + 398*x - 401. Let p be k(1). Let i = -2 + 7. Let m(v) = -v + 7. Let d be m(i). Solve -11 = -p*c - 2*f, 0*c = -d*c + 3*f + 16 for c.
5
Let w = 8813 + -8810. Solve -t + 2 = -j, 3*j = -w*t + 6 - 0 for t.
2
Let p be (3/(-21)*0)/2. Solve -15 = 2*f - 7*f, p = -5*r + f - 3 for r.
0
Let r(z) = 2*z - 6. Let y be r(4). Suppose -v = 0, 0*l + 2*v + 14 = -2*l + 18. Solve -d - 1 = 5*o + 20, l*d + 2 = -y*o for o.
-5
Let c(x) = -x**3 + 5*x**2 + 7*x - 4. Let d be c(6). Let k = -385 + 389. Solve -5*g = d*p - k*p - 21, -5*p - 6 = 3*g for p.
-3
Let w = 16 - -6. Suppose -12*o = -101 + 257. Let g = w + o. Solve -g + 24 = -u + 2*c, 0 = 4*u + c + 15 for u.
-5
Suppose 13*z - 26*z = 4498. Let o = z - -348. Solve 0 = 2*h + 3*h + 2*n + 10, 0 = -o*h - 2*n - 10 for h.
0
Let h(s) = s**2 + 17*s - 46. Let d be h(-19). Let a be 64/112 - d/(-14). Let z be (-9)/9*(0 + -2). Solve 5*f + z*y = -0*y - 23, a = -4*f + 4*y + 4 for f.
-3
Let o = -3540 + 3542. Solve o*a + 3 + 1 = k, -k + 5*a = -4 for k.
4
Suppose 2*q - 5*q + 6 = 0. Let a be ((-63)/(-56))/(-4 - 52/(-16))*-2. Solve 2*s - 4 = q*w, -w + 0*w = -a*s + 2 for w.
-2
Suppose -22 + 127 = -3*c. Let g(t) = t**2 + 3*t - 2. Let h be g(-8). Let f = c + h. Solve 0 = 4*n + j + f*j, n = -2*j - 3 for n.
3
Let k be 2/(6/9) - (-2 + 0). Suppose -2*i + 0 = -5*p - 2, 5*i - 75 = -k*p. Let a = i + 7. Solve 0 = 3*l + 6 - a, 3*t = 2*l - 23 for t.
-5
Suppose 0 = -123*l + 115*l + 64. Solve -4*n - 5*t = -10, 5 = n + 4*t + l for n.
5
Let m(q) = 10*q - 15. Let y be m(7). Suppose -y*g = -78*g + 253. Solve 5*f - g = k + 2*f, -23 = 3*k - 4*f for k.
-5
Suppose -44*c + 123 = 58*c - 183. Solve -38*p = 2*v - 33*p + 13, v + c*p = -7 for v.
-4
Suppose 21 = 3*d - 75. Let i = d + 0. Solve -5*c - i + 4 = -3*b, -3*b = c + 2 for c.
-5
Let x = -48 + 50. Let r be x/(-10) + 3*(-29)/15. Let b be ((-7 - r)/(-1))/(2/4). Solve 5*z - 26 = -2*y, -y + 5*y = -b*z + 20 for y.
3
Suppose 51*g = -49*g + 23*g. Solve 4*r = -3*x - 11 + 1, g = 4*r + 16 for x.
2
Suppose 256 - 1 = 5*u. Let o = -54 + u. Let q be (1 - (-5)/o)*-3. Solve 2*j = -q*a - 10, 4 = -6*j + 2*j + 4*a for j.
-3
Suppose 4*f = 6 + 102. Suppose f*c - 37*c + 20 = 0. Solve -c*x + l + 4 = -6*x, 2*l - 10 = x for x.
-2
Let m = 86 - 77. Let o be 7 + -11 - -2 - (-3 - 1). Solve 3*y = -3*s + o*s + 3, -5*y - 3*s = -m for y.
0
Suppose 83*l + 1978 = 129*l. Solve -45*c = -d - l*c + 9, -12 = -3*d + 3*c for d.
-1
Let h(q) = -4*q**2 - 30*q + 2*q**2 + 4*q**2 + 6 + q**2. Let l be h(10). Solve 2*f + f - 9 = 2*c, l = 2*f - 4*c for f.
3
Let j be ((-32)/6 - -7)/(2/6). Let x be 2/(-3) + (-350)/(-21). Solve -a - j*k = -2 - x, -3*a - k + 12 = 0 for a.
3
Suppose -3*k + 96*d + 1 = 100*d, -3*d - 15 = 0. Solve 2*w - 5*c + 19 = 0, -4*w + 25 + k = 4*c for w.
3
Let n = -24 - -45. Let s(r) = r - 2*r + 0*r + 44 - r. Let b be s(n). Solve -5*m - u + 3*u = -18, -3*u - 16 = -b*m for m.
2
Let g be (2/(-8))/(158/40 + -4). Suppose 4*b + g - 4 = -o, -o + 2 = b. Solve 4*y = 3*r + 20, -o*r = -r + y - 5 for r.
0
Let y = -24 - -35. Let p(s) = s - 8. Let v be p(y). Let d = -38 - -38. Solve 4*x - n - 14 - 1 = d, 0 = -3*x + v*n for x.
5
Let h be 3 + -11 + 13 + 7. Suppose 0 = -3*j - 0 + h. Solve 5 = 3*k - 4*v, 7*k - j*k = 3*v + 3 for k.
-1
Let x = 15396 + -15396. Solve 4*o = 2*t + 10 - x, -4*t = 4*o - 28 for t.
3
Let f = 513 + -510. Suppose -15 = -f*s + 21. Solve -n - n - s = -4*b, 5*n = 4*b for b.
5
Suppose 2*t + 2*h - 10 = 0, t - 2*h = 2 - 3. Solve -42*l - 8 = -39*l + p, 0 = t*l + 3*p + 6 for l.
-3
Suppose 9 = 2*t + 2*m - 29, 2*m = 3*t - 52. Solve 4*a + 23 = 5*x, 2*a = 4*x - a - t for x.
3
Let d be ((-114)/10)/(8/10 + -1). Let a = -52 + d. Solve 3*f = -4*v + 19, a*v - 3*f + f = 18 for v.
4
Suppose 59*z + 28 = 60*z + a, 3*a = -5*z + 132. Solve 0 = -3*g - 2*k - z + 4, -k = 4 for g.
-4
Suppose -112*z + 333*z - 663 = 0. Solve -11 = -z*o - 19*t + 18*t, -3*o + 2*t + 5 = 0 for o.
3
Let f(r) = 2*r + 3. Let k be f(-11). Let x = k + 17. Let u be -3 - 2/(-4*x/(-20)). Solve u*i = -2*i - 4*z + 20, -1 = 3*i - z for i.
1
Let k be 3/6 + 15/6. Suppose 28 = 3*h + 1. Let l be h - 8/(-4) - 6. Solve -y - 