 - 2*z = -0*w + 21, w = -o*z + 1 for w.
-5
Let b be ((-8)/12)/(22/6 + -4). Suppose -v - 12 = -2*o, 3*o - b*v = o + 10. Solve 0 = -3*n + o + 8, 5*y + 3*n = 15 for y.
0
Let y be ((-252)/(-396))/((-3)/(-33)). Solve 2*b = -10, -3*t + y*b = 11*b + 35 for t.
-5
Let a be (-13 - -12 - -4)*(-1 + 42). Suppose 107 = -8*y + a. Solve 0 = -3*g - p - p + 7, y*g - 9 = 3*p for g.
3
Suppose 172*u - 638 = 411 + 327. Solve 3*z + u*c - 6*c = 27, -3*z = -4*c + 9 for z.
5
Let z(g) = -7*g - 35. Let i be z(-6). Let q be 20/40 + i/2. Solve 0 = -4*t - 5*v + 12, q*t - v = 3*v - 24 for t.
-2
Let p = -19607 + 19614. Solve 0 = 4*d + 20, 5*h = p*d - 8*d - 30 for h.
-5
Let r = -27 + -13. Suppose 2*w - 5*x + 153 = -2*w, -4*w + 3*x - 151 = 0. Let b = w - r. Solve -y + b*y = -u + 5, 5*u = 15 for y.
1
Let q(g) = -22*g**3 + 111*g**2 - 18. Let z be q(5). Solve 0 = 2*u + 2, 0 = p - u + 1 - z for p.
5
Suppose 0 = -6*m - 2983 + 3031. Let a = 483 - 483. Solve -m*d = -3*d - 5*v - 35, a = -3*d - 5*v - 3 for d.
4
Suppose 0 = 4*f, 4*f - 219 - 786 = 3*a. Let s = a - -338. Solve s*d = q + 5, -3*q = 2*d - 0*d + 15 for d.
0
Suppose 0 = -65*p + 415 - 220. Let m(b) = b - 3. Let g be m(5). Suppose -3*i - 5 = -6*i + g*w, 4*i + 2*w - 30 = 0. Solve n - p = 3*d, -n + 4*n = -5*d - i for n.
0
Suppose -3*n = -344 - 676. Suppose -37*p + 47*p = n. Solve -3*w - p = -3*z - 2*z, -2*z + w + 13 = 0 for z.
5
Let n = -2509 + 2512. Solve 2*s + 2 = -6, -3*o - n*s = 18 for o.
-2
Let u(n) = -n + 1. Let z be u(1). Let b = 299 - 296. Suppose 0 = 2*a - 4, b*a = -10*h + 6*h + 26. Solve -4*r - h = t, -2*t + 8 = -r - z*r for t.
3
Suppose 232*s + 1026 = 346*s. Solve -s = -g + 2*a, -7*a = -8*a - 4 for g.
1
Let p = -5 + 8. Suppose r - 2*g - 14 = -5*g, -2*r - 5*g = -24. Let o = -546 + 565. Solve -r*v - o = 5*j - v, 24 = -4*j - p*v for j.
-3
Let c(b) = -b**2 - 76*b + 1922. Let d be c(-96). Solve 13 = -d*y + h, -y + 26*h = 30*h - 16 for y.
-4
Let v(z) = 19*z + 94. Let u be v(-5). Let f be (-24)/(-60) + (u - 26/(-10)). Solve f*c = -4*w - 16, 4*c - 1 = w + 3 for w.
-4
Let n = -696 - -486. Let k = -210 - n. Solve 0 = -m - k*m - 5, 3*r - 5*m - 19 = 0 for r.
-2
Suppose 12 = -4*y + 32. Suppose 0 = 4*l - 2*i, i + 0*i + 3 = y*l. Let c = 1 + l. Solve -q + 22 = q + 3*w, -c*q + w = -6 for q.
5
Suppose 207*t - 14 = 200*t. Solve -g - 3*q + 6 = t*g, 2*g - 2*q - 4 = 0 for g.
2
Let x be 5 - 18 - (-63 - -45). Solve d + x*h = 6*d + 10, 0 = 5*d - 3*h + 10 for d.
-2
Let y = 6805 - 6794. Solve 0 = -3*s, -4*s - 31 = 4*u - y for u.
-5
Let u = 45 - 24. Suppose -u*z = 84 - 189. Suppose 2*x = 3*x + 4*v - 14, 5*v - 17 = -x. Solve 4*f - z*q = 17, -q = 4*f - x*q - 13 for f.
3
Suppose 3*u - 6 = -3*t, t - 3 + 4 = 2*u. Let d be (1 - t)*8/8. Let z be (-39)/6*(-2 - d). Solve -v + 3*g - 6 = z, -2*v + g = 13 for v.
-4
Suppose -50 = 5*g + 155. Suppose -a - 120 = 3*c - 4*a, 5*a - 156 = 4*c. Let h = g - c. Solve 6*b + 3*m = h*b + 18, -2*b = 5*m - 18 for b.
4
Let n be 163 + ((-60)/(-6) + -4 - 0). Solve -4*a = -2*r - 195 + n, 4*r + 32 = 3*a for r.
-5
Suppose -232954*c + 232973*c - 38 = 0. Solve -5*h - 2*l - 8 = 0, -35*h + 38*h + c*l + 4 = 0 for h.
-2
Let g be (-3)/5 - (-7)/(105/24). Solve -g = 4*d + 3*i, -6*i + 4*i = d - 1 for d.
-1
Let k(a) = a**3 - 51*a**2 + a - 49. Let p be k(51). Solve -2*f + p = f - w, -5*f = w - 14 for f.
2
Let g = -12193 - -12216. Solve -3*l + l = -5*n - g, 3*l = 5*n + 27 for l.
4
Let y be ((-32)/12)/(-2)*3 + 0. Let q be -5 + 6 + (y*1 - 0). Suppose q*h = 0, -4*h + 3 = z - 0*z. Solve -4*m + 2*c = -m - 1, z*m - 5*c = 16 for m.
-3
Let y = -14 + 20. Suppose -14*x + y = -12*x. Let l = 11 + -9. Solve -c + p = 2*p - 4, 0 = -l*c - x*p + 11 for c.
1
Let s be (-14)/(-49) + (-290)/(-14) - 1. Suppose -5*q = -q - 12, -3*q + 9 = -3*l. Let y = l + 3. Solve -s = -5*v - t, -2*v - 3*v + 10 = y*t for v.
5
Let m be 35/14*(-16)/(-10). Suppose 3*h + m = -4*q - 36, 0 = 5*h. Let r = -7 - q. Solve -5*z = r*v, -5*v - z + 0 = -22 for v.
5
Let q = -3652 + 3656. Solve -2*c + 4*f - q = -3*c, 5*f - 6 = -c for c.
-4
Suppose -138 = -163*x + 160*x. Let y be -11*(0 + 0 + x + -47). Solve -5*m + 3*t + 34 = 0, -4*m + t = -y - 12 for m.
5
Let z = -25207 + 25209. Solve d + 2*d = -2*n + z, -2*d + 5*n = 5 for d.
0
Let t = -3579 + 3579. Solve -4 = -4*n - q, t = -3*n + 2*n + 5*q - 20 for n.
0
Suppose -160*x + 2*g = -165*x + 22, 3*g = x - 18. Let y = 0 + 5. Solve 5 = -2*f + 3*w, -3*f = -y*w + x*w - 20 for f.
5
Let y(r) = -33*r**2 - 2*r**3 + 1460*r - 11 - 1477*r + 0*r**3. Let o be y(-16). Solve 0 = 4*x - 3*x - o*w - 11, 0 = -5*x + 5*w + 15 for x.
1
Let p(v) = 35*v + 98. Let z be p(-6). Let d = -108 - z. Solve -2*g + 0*g = -2*n - d, -2*n - 6 = -g for n.
-4
Let b be 4959/285 + 16/10. Solve l + 4*w - 17 = -9, -4*l - b = -w for l.
-4
Let d be 92/69*1/2*12. Solve 14*w - 4*n - d = 10*w, 0 = 5*w + 3*n - 10 for w.
2
Let x(p) = p + 4. Let h be x(-2). Suppose -1 = k + 2*t + 1, 4*k = h*t + 12. Let w be 0*1/(-3)*1/k. Solve 5*g + 5*j - 40 = w, -5*g - j + 23 = -1 for g.
4
Let y = 699 - 1244. Let z = 547 + y. Solve -z*g = 6, 5*n - 2*n = 3*g + 24 for n.
5
Let g(t) = -t + 7. Let o be g(3). Suppose -3*j + o*s = 6*s - 16, -5*j = -2*s. Solve 17 = 3*b - j*a, 1 = a - 2*a for b.
5
Let a = 523 - 303. Let l = a + -218. Solve 0 = -2*q - 8, 3*j - 2*q - l*q = 22 for j.
2
Let p(j) = 253*j - 739. Let o be p(3). Solve -o = 4*v, -4*f + 0*f - 2*v - 2 = 0 for f.
2
Let s = -1 - -11. Suppose 259 + 191 = 3*l. Let k be (1/2)/(25/l). Solve s = -w + k*z + 2, -5 = -5*z for w.
-5
Suppose 19*c + 64 + 76 = 178. Solve 0 = -5*g + c*d - 8 - 12, -5*d = g - 23 for g.
-2
Suppose 0 = -j - 0*j + 3*u + 123, -267 = -2*j - u. Let w = 148 - j. Solve -3*b + 3*z + 8 = -2*z, -5*z - w = -b for b.
-4
Suppose -5*m - 10 = -35. Suppose -m*u - 10 + 30 = 0. Let o be 18 - (u + -2 + -2). Solve -4*x = 2*t + o, 3 = 2*x - t + 6 for x.
-3
Let r(k) = k**2 - 22. Let t = -39 - -34. Let g be r(t). Let o(a) = -a. Let z be o(0). Solve -s + 16 = -5*u, s + 0*s + g*u + 16 = z for s.
-4
Let p(h) = -53*h - 18*h + 41*h + 514. Let n be p(17). Let s be 2*(7/2 + -2). Solve -3*z - 15 = -4*q, -s*q + n*z + 15 = z for q.
0
Suppose -2*f + 6 = -4*u + 8, 2*u = 2*f - 4. Let s = 18 - 3. Suppose 5*g + 0 = s. Solve -5 = 2*q - u*b, -b - 2 = 2*q - g*b for q.
2
Suppose 5*n + 4 = 19, 4*l - 12 = -4*n. Suppose 2*b + 6 = -0*p - p, 5*b + 20 = l. Solve -3 = 4*q + p*i + 11, 12 = 3*q - 3*i for q.
-1
Let t = 9426 + -9406. Solve 5*h - 4 = p + 15, -t = 5*p for h.
3
Let s(z) = -z**2 + 20*z - 58. Suppose 2*d - 90 = -58. Let k be s(d). Solve 4*f - k = -6*r + r, 3*r - 2 = -4*f for f.
-1
Suppose 0 = 5*l - 5, -1 = 3*z + 467*l - 468*l. Solve b + 21*a = 25*a - 11, z = -4*b - 3*a - 6 for b.
-3
Suppose 0 = -4*b - 11 + 151. Suppose 2*n - z = 5, 0 = -n - 4*z - 4 + 2. Solve -2*o + n*k = 3*o + b, 5*k = 25 for o.
-5
Let s = -9035 - -9059. Solve s*u - 19 = 21*u - 4*b, -b + 16 = 3*u for u.
5
Let r = -332 - -337. Solve -5*u + 1 - 6 = -k, 0 = 5*u - 2*k + r for u.
-1
Let s be (-1 - 2) + (-13)/(65/30). Let z be (-8)/(-12)*(s + 15). Solve -4*d + 40 = -5*t, -z*t - 2*d - d - 1 = 0 for t.
-4
Suppose -4*u + 4 = 0, -13*u + 263 = 3*t - 14*u. Let d be t/(-154)*98/(-4). Suppose 12*i = d*i - 36. Solve -15 + 3 = -h - 4*p, p + i = 5*h for h.
4
Let s be 8*(1 - (-16)/64)*1/10. Solve 9*n - 12*n = -3*b - 9, -5*n + s = -3*b for b.
-7
Suppose p = 5*o - 243, -2*p - 6 = -5*p. Let a = -28 + o. Solve -2*t + 5*v - 24 + 5 = 0, 0 = 3*t - 5*v + a for t.
-2
Let h = -136 - -141. Suppose -w + h*w - 34 = -5*g, 4*g - 21 = 3*w. Let l(m) = -m + 2. Let y be l(-2). Solve -2*a = o + g, -y*a + 13 = -5*o - 3 for o.
-4
Let t = -2 - -5. Suppose 0 = -23*b + 7*b + 208. Solve y - 2*y = t*a - b, -4*y + 4 = 0 for a.
4
Suppose 5*c = 8 + 7. Suppose 4*s + s - 2*p = -274, c*p - 168 = 3*s. Let g = 54 + s. Solve -5*b + 10 = g, 5*u - b = -4*b - 19 for u.
-5
Let o(x) = 14*x + 46. Let c be o(-3). Let s be (-2)/(-8) + (-1445)/20. Let a = s - -74. Solve -q - a*d - 4 = 0, 2 = -3*q + d + c for q.
0
Let b(m) be the third derivative of 29*m**4/24 - m**3 - 3*m**2. Let s be b(2). Let t = -48 + s. Solve 2*n - 8 = 4*w, t = -w + 3*n - 3 for w.
-1
Suppose 3*u = 5*o + 4*u, 0 = -5*o + 4*u. Suppose -j + 33*j = 288. Let q be -5 - ((-135)/j)/3. Solve 4*t + 8 = -q*y + 4*y, t + 4 = o for y.
-2
Let c be 10/3*((-60)/32)/(185/(-148)). Solve -10*u - h + 19 = -c*u, 0 = -h - 1 for u.
4
Suppos