*l - u*b + 4, -3*l + 10 = c*b - 2*b for l.
0
Let n be (-32 + 30)*(4/(-2) - -1). Solve 2*s + n*s + 5*k = 7, -3*k = -9 for s.
-2
Suppose -3*y + 1 + 4 = -10. Solve -z + 4*z + 10 = y*b, -15 = -b - 2*z for b.
5
Let o(k) = 26*k - 99. Let f be o(4). Solve -f*h = -3*s - 10, -5*h = 264 - 289 for s.
5
Let t(q) = -q**2 + 8*q + 1. Let n be t(7). Suppose -y + n = 6. Solve 5*r - r - 3*d = 27, y*r + 5*d = -19 for r.
3
Let g be 80/30 + -3 - (-10)/3. Solve 4*q = 6*b - 32, -g*q - 25 = -4*b - 3 for q.
-2
Suppose -11*y = -3*y - y - 25*y. Solve y = -5*d + 15, -42*l = -37*l - 2*d + 31 for l.
-5
Let c = 467 + -464. Suppose -c*h = 2 - 11. Solve -h*d = -3*w - 9, -7 = 2*w + 2*w + d for w.
-2
Suppose 84*x + 78*x - 39 = 149*x. Solve -5 = -3*f - 3*o + 5*o, 2*o = -x*f - 11 for f.
-1
Let n(y) = -y**3 + 16*y**2 + 3. Let g(m) = 9*m + 16. Let a be g(12). Suppose 0 = 6*i - a + 28. Let o be n(i). Solve o*c = 4*h + 5, 4*c + 4*h - 17 + 1 = 0 for c.
3
Let t = 9257 - 9257. Solve 0 = 5*l + 13*n - 14*n + 1, t = 3*n + 12 for l.
-1
Let i(r) = 3*r - 1. Let b(z) = 26*z + 137. Let u(o) = b(o) - 6*i(o). Let j be u(-16). Solve 5*q + 0*s + 5 = -2*s, -5*q = -2*s - j for q.
1
Suppose 3*r + 8*r - 5*r = 0. Let c(q) = q**3 - q**2 - 6*q + 2. Let p be c(r). Solve 3*a - 25 = 5*w, -p*a - 3*w - 10 = -w for a.
0
Let a(u) = -u**3 - 8*u**2 - 8*u + 8. Let t be -1 + 3 + -13 + 4. Let x be a(t). Let c be 4*(x/20 - 0). Solve c*v = -d, -v + 3*d = 3*v + 13 for v.
-1
Let h = 3786 - 3784. Solve -3*j = h*w + 11, 0*j + w = j - 3 for j.
-1
Let o be 3/6 - 45/(-10). Let g = -13 + 18. Suppose -3*c + 4*m + 10 = -4*c, 3*m = -g*c + 1. Solve p + p + 10 = -2*l, -c*p + o = -3*l for l.
-3
Let l = -117 - -120. Suppose 142 - 161 = -m. Solve -l*x = -2*a + 3*a - 14, -2*a - 3*x + m = 0 for a.
5
Suppose 4260 = -23*j + 4375. Let p(l) = -l**3 + 12*l**2 - 12*l + 15. Let y be p(11). Solve -3*i - 2*r - 3 = 0, y*i + 5 = -i + j*r for i.
-1
Let v(l) = 2*l + 115. Let n be v(-56). Suppose 0 = 4*g - y - 92, -2*g = 4*y - 38 - 26. Solve 8 = j + 3*f - 4, -n*f + g = -3*j for j.
-3
Let u = 19 - 31. Let w = 17 + u. Suppose -4*t - 8 = 4*d, -3*t - 18 = -4*d + 3*d. Solve 5*a + 9 = -d*j, 7 = -w*a - 7*j + 3*j for a.
-3
Let t be ((-24)/(-28))/(6/56). Suppose -t = 3*s - 7*s. Let h be 5/2 - (-1)/s. Solve 0 = -4*v + j + 1, -h*j - 17 = v + v for v.
-1
Suppose 5*w + 1044 - 1082 = -3*b, 0 = -5*w - 5*b + 30. Solve 2*k + 4*j = 6, 0 = -5*k - 11*j + w*j - 21 for k.
-5
Suppose 2*k = h - 3, 2*k + 4*h = -0*k + 12. Suppose -4*b + 15 + 1 = k. Solve -2*u - s - b*s + 22 = 0, 14 = 2*u + 3*s for u.
1
Suppose 25*r = 9*r + 80. Suppose 0 = -2*u - r*y + 13, u + 0*u + y = 14. Solve -k = -5*b + 3*k - 21, u = -4*b + k for b.
-5
Let k = 15647 + -15632. Solve -4*s - 37 = g - 39, -3*s = -2*g + k for g.
6
Let h(r) = r**3 + 2*r**2 - 4*r - 1. Let n be h(-3). Suppose -73*f = -91*f - 270. Let c be ((-264)/99)/(f/9 + 1). Solve m - c*s - 8 = s, 0 = m - 2*s - n for m.
-2
Suppose -4*t = 47 + 5. Let o = -94 - t. Let n be (-18)/o + 43/9. Solve -3*r + r + 4 = -3*y, 0 = 5*y - n*r for y.
-4
Let r be 5 + (5/((-25)/(-5)))/1. Let f be ((-22)/(-3))/11 + (-4)/r. Let o = 5 + -3. Solve 2*g - n + 1 = -f*n, o*g + 4*n + 6 = 0 for g.
-1
Suppose 13*s - 174 = 216. Solve 18 = 2*y + 6*x - 4*x, 2*x = -5*y + s for y.
4
Let z = 396 - 263. Let f = z - 188. Let u = f - -57. Solve -u*k + 20 = -3*x, -k + x + 8 = -0*x for k.
4
Let h = -12011 - -12015. Solve 5*g - h*j = -19, -3*g + 4 = -6*g - 5*j for g.
-3
Let y(l) = l**2 - 8*l - 25. Let k be y(10). Let d be (-198)/4*10/k. Let v = 101 - d. Solve 4*h - 2*a + 2 + 8 = 0, -3*h - v = 4*a for h.
-2
Suppose -4 = h + 8*y - 9*y, -2*y + 8 = 5*h. Let w = 5 + 6. Let a(l) = -l + 14. Let j be a(w). Solve t = -0*o + 4*o + 4, h = 3*t + j*o + 18 for t.
-4
Let m be 217/6 - (-2)/(-12). Let x = 40 - m. Suppose -21 = -4*t + 5*n, -9 = -2*t + x*n + 3. Solve -3*a = 2*b + 20, 4*b + 2*a + 8 = t*a for b.
-4
Suppose n = m - 10, 2*m = -5*n - 13 - 16. Solve -4*i - 12 = -j, 0 = -m*i + j - 0*j - 8 for i.
-4
Let m be (-116)/1*(-11 - (-441)/42). Suppose 8 = 2*t, 6*t = i + 4*t + 61. Let v = i + m. Solve -z - 25 = -3*q + 4*z, -v*q - 15 = 3*z for q.
0
Let s = -73 - -102. Suppose 103 + s = 4*d. Suppose d*g - 32*g = 2. Solve 0 = -r + 5*v, -v + 2*v = -g*r + 11 for r.
5
Let q = -134 + 166. Suppose -5*b - 4 + 29 = 0. Suppose 0 = 3*y - 2*p - 21, 6 = y + b*p - 1. Solve 3*j + 5*h + 3 = -q, -j + y = -3*h for j.
-5
Let y be 3/18 + 113/6. Let k be 2 - -2 - 0/y. Solve k - 19 = r - 3*h, -5*r = 3*h + 3 for r.
-3
Let d(c) = 3*c**3 - 26*c**2 + 17*c - 3. Let y be d(8). Solve 32 - 36 = -4*u - 3*m, y*u + 3*m - 8 = 0 for u.
4
Let s be 12 + (-25)/5 + 3/(-1). Solve -2*x + s = 8*z - 5*z, 0 = -x - 1 for z.
2
Suppose -4*v = 4*y, -4*y = -v + 10 + 10. Suppose -261*q + 257*q - 2824 = 0. Let a = q + 708. Solve -v*x = -a*x + 4*g - 6, -3*g = 0 for x.
3
Suppose -5*i + 8*i - 42 = 0. Suppose 2*q = -i*q + 352. Solve o = -2*z - 8, 4*z + q = -0*z + o for z.
-5
Let j(p) = p + 113. Let y be j(-8). Let z = y - 95. Solve -f - 5*x - z = 0, -f - 4*x + 1 = 9 for f.
0
Suppose 2*f = 4*f - 6. Suppose x = 3*k + 16 - 75, 0 = k + f*x - 23. Let t = k + -18. Solve 0 = y + 4*a + 8, -9 = -t*y + a + 2 for y.
4
Let y be (45 - 0)/(36/48). Let j be y/36 - (-4)/(-6). Suppose -1 = 3*d - j. Solve 4*r = -2*b + 14, d = -0*b + 2*b - 6 for r.
2
Let z = -4464 - -4465. Solve 4*i - 2*a + 3 = z, 0 = -4*i + 3*a - 5 for i.
1
Suppose y + 2 = 0, 130 + 58 = g + 2*y. Let j = 219 - g. Let f(v) = -v**2 + 5*v - 2. Let k be f(4). Solve -k*d = -5*h + j, 0 = -h + d + 2 + 4 for h.
5
Let c = 222 + -294. Let s be 8/c*15*(0 + -3). Solve 0 = -2*w + 5*j + 6, -4*j = -s*w + j + 15 for w.
3
Let v = 28726 - 28723. Solve 2*j - 5*l - 20 = 0, -v*j - 34 = 3*l - 1 for j.
-5
Let c be 8/(-6)*((5 - 9) + 1). Let s be 4 + (c - 4) + -1. Let w be 10/(1 + 0) - 0. Solve -5*x - 17 = 2*p, -w = s*x - p + 9 for x.
-5
Let u be ((-5)/((-5)/21))/((-12)/(-176)). Let b = u - 292. Solve 4*r + 0*r = h, 0 = 4*r + 3*h - b for r.
1
Let f = 362 + -678. Let a = 338 + f. Solve h = -2, -5*h - a = -o - 2*o for o.
4
Let t(x) be the second derivative of 17*x**3/6 - 117*x**2 - 2*x - 72. Let u be t(14). Solve w = 2*v, -5*w + 5*v - u - 1 = 0 for w.
-2
Suppose -5*j + 4*j + 18 = 0. Suppose 0 = -4*s + j + 2. Let r(o) = o**3 + o**2 - 17*o + 24. Let v be r(4). Solve -8 + v = 5*k - 4*g, 0 = 3*k - s*g - 22 for k.
4
Suppose -5*v - 5 = -4*b, -7 = -4*b - 5*v - 52. Let x be 2/b + (-2792)/20. Let i be x/21*6/(-5). Solve 0*m = -t - 3*m, -i = -3*t - m for t.
3
Let g(j) = -24*j - 213. Let m be g(-9). Solve 0 = m*v + b - 10 + 8, 0 = 2*v + 2*b for v.
1
Let v = 1827 - 1826. Solve 3*m + 4*i = 2*m - 7, -i = m + v for m.
1
Let v be (6 - 2)/(2/108). Let m = v + -214. Solve 0 = -a + 4, -2*l - m*a = -0*a - 4 for l.
-2
Let b = 4412 + -4410. Solve 6*c + 3*n - 34 = c, -1 = c - b*n for c.
5
Let h = 46 + -26. Let r = -25 - -29. Suppose 90*y - 67*y = 115. Solve -f - 4*a = 15, r*f - 4 + h = -y*a for f.
1
Let m(j) = j**3 - 7*j**2 + 3*j + 9. Let h be m(7). Let f = h + -14. Suppose 12*s - 21 = 27. Solve 13 = -2*q - s*t - 11, 2*q - f = 4*t for q.
-2
Suppose -15 = -5*q + 5*x, -3*q - 3*x + 9 = -8*x. Solve -y + 2*g + 12 = 0, 117 = q*y + 4*g + 121 for y.
4
Let t = -332 + -165. Let o = t + 499. Solve 0 = p + o*q - 2, 2*p - p - 3*q + 8 = 0 for p.
-2
Let j be (-72)/27*210/(-8). Suppose -5*z + 2*u + 5 = -60, -5*u = 3*z - j. Suppose 6*v + z = 183. Solve 0 = 2*p - 5*s + v, 0*p + 3*p - s + 16 = 0 for p.
-4
Suppose -239 + 266 = -45*w + 162. Solve -7*z = w*s - 2*z - 22, 4*s = z + 14 for s.
4
Let n(l) = 2 - 6 - 6 + 13 + 3*l**2 - 9. Let b(w) = -2*w + 1. Let p be b(-1). Let y be n(p). Solve 4*z - 20 = -4*m, 2*z = -3*z - m + y for z.
4
Let t = -100 - -145. Suppose 5*j = -4*o + j + 156, 2*o - 78 = -4*j. Let q = t - o. Solve 0 = -5*x + 5, c - 17 = q*c + 3*x for c.
-4
Let y = -14117 + 14122. Solve -b = b, -j - y*b = -1 for j.
1
Suppose 0 = 3*g - z - 136 + 125, 0 = 3*g - 3*z - 15. Solve -f - g*t + 12 = 0, -4*f - 7 = 3*t - 28 for f.
3
Suppose 6*i - 2*y - 40 = -6*y, -4*i + 3*y = 13. Solve 3*w - i*o - 10 = 0, 4*o = -4*w + 25 - 5 for w.
4
Let k(s) = 52*s**3 + 4*s + 41 - s**2 - 3*s + 41 - 83. Let z be k(1). Suppose 4*y = y + z. Solve 2*c + 0*w = 3*w + y, 5*w = -15 for c.
4
Let b(u) = -74*u + 143*u - 70*u + 7. Let z be b(5). Solve 2*l + z = -5*d + 11, 4*l + 4*d = 12 for l.
2
Let v(b) = 5*b