 = 12 - 18 for v.
0
Let q(i) = 14*i - 4. Suppose -27 + 47 = -5*b. Let n be q(b). Let m = -55 - n. Solve 0 = -3*x - u - m - 1, -2*x - 2*u = 8 for x.
-1
Suppose -3*i + 82 = -4*c, -4*i + 9 = c - 56. Solve 0 = -5*l + 4*h - 12, -5*l + h + i = -9*l for l.
-4
Suppose h - 4*i = 6*h - 26, -2*h + 8 = i. Let p be (-8)/(-18) - 59/(-9). Solve -h*u + p = y, 2*y + 0*y = -2 for u.
4
Let n be 25/((-6 - -5)*1/7). Let q = -170 - n. Solve -5*z - 20 = q*m, 4*z - m - m + 16 = 0 for z.
-4
Let t be ((-12)/(-10))/(2/65). Let q = -26 + t. Suppose -q*m = -9*m - 20. Solve -3*n = 2*i + 14, 2*n + 18 = -m*i + 3*n for i.
-4
Let p(f) = f**3 + 19*f**2 - 24*f - 60. Let y be p(-20). Suppose 4*s - y = -d, 0 = s - 6*d + 9*d - 5. Solve -m = s*i + 6 + 4, -m - 3*i = 6 for m.
0
Let l(m) = 3*m - 17. Let p(q) = -q**3 + 6*q**2 - 6*q + 11. Let u be p(5). Suppose 22 + u = 4*v. Let f be l(v). Solve f*w = -5*r + w + 6, -r + 2 = w for r.
0
Let g be 0 + (-10 - -17) - 0/1. Solve -5*m - p = g - 2, -6 = -2*m - 2*p for m.
-2
Let i be (23 + -24)*(-4 + 0). Suppose 3*h - 3*g - 106 = -2*h, 0 = i*h + 2*g - 76. Solve -2*b = 3*t + 17, 0*t - 3*t - h = 5*b for t.
-5
Let h = 26744 - 26742. Let d(p) = -p**2 + 3. Let b be d(0). Let q = -3 - -4. Solve -h*j = z + j + q, -z - 4*j - b = 0 for z.
5
Let r = -77 + 65. Let h be (-6)/33 + r/(-66). Solve 0 = 3*s - 3, 0 = -g - h*g - 2*s + 2 for g.
0
Let u = 6 - 6. Suppose u = -9*m + m + 16. Solve h + t + 4*t + 23 = 0, -m*t = h + 8 for h.
2
Let v be (12/(-20))/(46/(-230)). Suppose 2*w + 27 = 5*w. Solve -v*b + 2*n + w = 1, 4*b - 18 = -n for b.
4
Let s(r) = 20*r - 12*r**3 - 4*r**2 + 13*r**3 + 4 - 17*r. Let x be s(3). Let f be (x/6)/((-2)/(-3)). Solve 2*j + 16 = -4*b, b = 2*j - 5*j + f for b.
-5
Let t be 4/8*((-11 - 1) + -2). Let s(b) = 8*b + 25. Let a be s(t). Let g = 35 + a. Solve -4*z + 6*i - 16 = i, -19 = -3*z - g*i for z.
1
Suppose 3*d = -p - 31, d - p + 14 = -5*p. Let s(r) = r**3 + 10*r**2. Let b be s(d). Solve -3*h + b = 3*k - 3, -7 = -3*h + k for h.
2
Let t(k) = -k**3 - 4*k**2 - 107*k + 2. Let v be t(0). Solve 9*y = -2*r - 4*y + 62, v*y = r + 3 for r.
5
Suppose -4594 = -6*j - 1222. Let k = j - 559. Solve 0 = -4*h + 3*q - 11, -k*q + 26 = 3*h + 8 for h.
1
Let g(y) = 5*y + 60. Let u be g(20). Let q = -98 + u. Let v = 66 - q. Solve -2*o + 13 = o - v*n, 0 = 2*o + 2*n + 10 for o.
-1
Suppose 8*b = 3*b, b - 261 = -3*q. Let k = q - 87. Let c be 1*2 + 5 + -4. Solve k = -3*p - 5*r + 22, -c*p + 3*r - 2*r - 8 = 0 for p.
-1
Let p(x) = -4*x - 187. Let u be p(-48). Solve u*c + 0*c = 3*i - 15, 2*c + 6 = 4*i for c.
-3
Let t = 104 - 98. Suppose -1 = 2*s + 11. Let p be s*3/12*t/(-3). Solve -2*w - 4 = 3*o + p, 3*w + 14 = -o for o.
1
Suppose -232 + 352 = 24*r. Solve 20*p - 19*p + o = 2, 4*o = r*p - 37 for p.
5
Let w(q) be the third derivative of 23*q**4/24 - 2*q**3/3 + 3*q**2. Let a = 314 - 313. Let h be w(a). Solve 5*l = 2*r - h - 7, -5*r + 11 = l for l.
-4
Suppose 43*l - 46*l = 204. Let h = 30 + l. Let z = -35 - h. Solve m + 12 = 5*m - 2*i, 3*m - 15 = z*i for m.
1
Suppose 0 = -3*y - 5*p + 70, 0 = 5*y - 4*p - 9 - 83. Let h be y/6*(-72)/(-10). Let m = -22 + h. Solve b - 5 = -2*n - 4*b, 8 = m*n + 2*b for n.
5
Let m be 3/(6/(-4)) + 108*22/594. Let l(z) = -z**3 + 5*z**2 + 2*z - 5. Let f be l(5). Solve -f*b + 5*i = -20, 16 = 5*b - i - m*i for b.
2
Let h = -96 - -98. Let r = 539 + -531. Solve 2 = 2*b - 4*n + r, n = h*b for b.
1
Let z(q) = q**3 - 54*q**2 - 31*q - 1317. Let u be z(55). Solve -2*g = -u*h + 10, -8 = -2*h - h + g for h.
2
Let t be 4/3 - 136/102. Suppose t = 18*n - 178 + 106. Solve 0 = 5*a + 3*c + 2*c - 25, -3*a = -n*c - 1 for a.
3
Let n(d) = 2*d**2 + 6*d - 19. Suppose -2*b + 4*s = -10, 4*s = 3*s - 1. Let f be n(b). Solve x + 4*w = f, 2 = w - 1 for x.
5
Suppose -s - 2*w + 11 + 12 = 0, -s - 4 = -w. Solve -s*v = -4*d - 21, 61*d - v = 60*d - 4 for d.
1
Suppose 4*l + 2*o - 56 = 0, -4*l - 4*o + 47 = -13. Suppose -7*q - 25*q = -1376. Suppose q*r - 87*r + 132 = 0. Solve 4*n + l = n + s, -r = n + s for n.
-4
Suppose -2*b - h = -1, 8*h - 6*h = -6. Suppose 8*a = 7*a + b. Solve g - 8 = -2*v, 26 = -a*g + 6*g + 5*v for g.
4
Let c(x) = -x**3 - 55*x**2 + 54*x - 106. Let n be c(-56). Solve -3*w = 3*a - 18, 3*a - w = -n + 4 for a.
1
Let i(x) = -2*x**3 - 8*x**2 + 9. Let q be i(-4). Suppose -q*n + 3*n = -24. Solve p + 5*f + 5 = 0, p + 2*f + 19 = n*p for p.
5
Let s(a) = -2*a**2 + 13*a - 9. Let g be s(6). Let t be g*(-8)/12*(-5)/(-2). Solve -v = -t*i - 15, 4*v - 19 = 1 for i.
-2
Suppose -5*o + 10 = 4*j, -5*j = -o - 3*o + 8. Solve -5*n = -o*w - 3, 2*w + 2*n - 10 = 5*w for w.
-4
Suppose 3*q = -25 + 19, -3*z = -5*q - 70. Suppose 2*d - 3 = 1. Solve -4*x + 5*m = 20, z = d*x + m + 4*m for x.
0
Suppose -4*q + 58 = 2*v, -105 = -51*q + 42*q + 4*v. Solve 4*h - 24 = 4*l, -l - 4*h + 27 = q for l.
-2
Let y(d) = -d**2 + 34*d - 30. Let s be y(33). Solve -4*g + 7 = -3*c - s, 5*g - 24 = -2*c for g.
4
Let t be (3 - -10) + (51 - 60). Solve 3*x = -s - 7, t*s + x - 3*x - 28 = 0 for s.
5
Let t(v) = v + 18. Let k be t(-9). Let c = k - 4. Suppose 12 = -c*d + 27. Solve -2*x = x - d, -2*x = -4*n + 18 for n.
5
Let m(w) = -w**3 - 2*w**2 + 188*w + 565. Let d be m(-3). Solve v + d = -2*f - f, -v + 22 = -5*f for f.
-4
Let d(v) = -3*v + 1. Let g(m) = -5*m + 2. Let p(w) = 2*d(w) - 3*g(w). Let u be p(1). Solve 4*f - n = -4*n + 7, u*n + 11 = -f for f.
4
Let y = 3164 + -3161. Solve -y*j = -5*r - 25, r = j + 1 - 6 for j.
0
Let g(s) = 51*s**2 - 1328*s + 96. Let c be g(26). Solve -3*y - 1 = -u, -y + 47*u - 3 = c*u for y.
0
Suppose 21*v + 286*v - 921 = 0. Solve -i - 5*p - 16 = 0, v*i - 39 = 5*p - 7 for i.
4
Let n = 10584 - 10582. Solve 5*y + n*t + 46 = 71, -y = 2*t - 13 for y.
3
Let s(k) = 402*k + 2010. Let f be s(-5). Solve 4*i + 4*q + 5 + 11 = f, -3*i - 5*q = 12 for i.
-4
Suppose -51*r = -118 + 16. Solve 3*p - 3*j - 22 = r*j, 3*p - j - 14 = 0 for p.
4
Let a(n) = -133*n - 793. Let j be a(-6). Solve 2*k + 21 = -j*r, 2*r = -4*k + 7*k + 3 for k.
-3
Suppose 2*r - 219 = f, 3*r = -0*r + 5*f + 311. Suppose 0*b + 7*b = r. Let t = 20 - b. Solve 4*s = -2*i + 4, s + s + t*i - 14 = 0 for s.
-1
Suppose 5*d + 2 = -2*k, 158*d - 3*k - 28 = 153*d. Solve -3*h + 13 = 5*v + 1, h = -d*v + 5 for h.
-1
Suppose 35*g - 2466 + 2291 = 0. Solve 2*r - g*o + 120 - 153 = 0, -5*o - 21 = r for r.
4
Let c = -112910 + 112922. Let k(z) = z**2 - 4*z + 2. Let v be k(3). Let m be 6/(6/2) + v. Solve 0 = 5*x - 3*f + c, 3*x - 2*f - m = -8 for x.
-3
Let h(s) = 4*s + 225. Let o be h(-55). Solve -w + 12*n - 1 = 9*n, 3*w - o*n - 5 = 0 for w.
5
Let j be ((-56)/18)/((-26)/117). Suppose -30*f = -j*f - 32. Solve -5*u + 19 = f*n, 4*u - 4 - 2 = 3*n for n.
2
Let b be 4*1*(-5)/(-4). Let n(h) = -7*h**2 - 143*h + 22. Let r be n(-20). Suppose -11*d + r = 82. Solve d = -0*u - u + l - 1, -b = 4*u - 3*l for u.
-2
Suppose -4*j + 39 = -5*x, 3*j - 142*x - 12 = -144*x. Solve j*u - 13 = 10*u + h, -5*u - 23 = -h for u.
-4
Let q(r) = 11*r - 284. Let x be q(26). Suppose x*t = 2*z + 8, -13*t + 18*t - 27 = -2*z. Solve m + 2 - 13 = -4*l, z = 2*l + 5*m for l.
3
Suppose 3*a - 5 = 3*d - 23, 4*d = a + 21. Let w be (-55 - -55)/(-10 - 0). Solve w = k - 3*v, d*v + 0 = -5 for k.
-3
Suppose -33*g + 10 = -31*g. Suppose -2*z - 3*z - 80 = g*w, 0 = 2*w - 4*z + 56. Let v be (-2)/(-2 - w/15). Solve -5*p - 25 = 0, v*p + 37 = -4*n + 6 for n.
-4
Suppose -46 = -7*j + 4*w, 4*w + 20 = -5*j + 46. Solve -h + 4*b + 37 = -j*h, -5*b = -3*h for h.
-5
Suppose 18*j - 6 - 134 = 130. Solve 0 = 3*i - 3*m - j, -i - 7*m = -9*m - 10 for i.
0
Suppose -4 = 7*u - 46. Let p = -6 + 19. Suppose u = -d + p. Solve 3*m = 4*g + d, 2 = 2*m - 0*m for g.
-1
Suppose -79*t + 151 + 225 = 15*t. Solve -3*o = -g + 8, -9*g = -7*g - t*o - 14 for g.
5
Let b = -9655 - -9659. Solve -a + 4*t + 17 = -b*a, 0 = t + 5 for a.
1
Suppose 9*k + 33 = 14*k + x, 0 = -2*k + x + 23. Suppose -9 = -l - 2*l. Solve f = l*f + k, -5*i = -3*f - 12 for i.
0
Let o(p) = -p**3 + 6*p**2 - 7*p - 3. Let g be ((-18)/12)/(2/(-4)). Let c be o(g). Solve -3*r + 6*r - i = -14, 5*i + 2 = -c*r for r.
-4
Suppose 11*d + 222 = 255. Let w be d/(45/2) + 10293/2115. Solve 0 = -w*i - 3*q + q - 5, i + 2*q - 7 = 0 for i.
-3
Let d be 0/(-3 - (8/(-24))/((-1)/(-15))). Solve -27*l + 31*l = -5*q - 27, -3*l + 2*q - 3 = d for l.
-3
Suppose 20 = 49*w - 29. Solve -14 = 4*y + 2*o, 2*y - 5*o + 12 + w = 0 for y.
-4
Let