3
Let k = 144 - 143. Suppose 4*j + 41 = 5*w - 10*w, 0 = 5*w - j + 21. Let b = w - -7. Solve a + 8 = 4*y, 0 = -b*a - 2*y - k - 5 for a.
-4
Let l(z) = z - 1. Let m be l(3). Suppose -6 = -m*i + 3*n, -2*i + i = -4*n - 3. Solve -i*w + 3 = 0, w + 1 = y - 3 for y.
5
Suppose -6*c = -0*c - 234. Let r = c + -34. Solve -r*h + 2 - 13 = 3*b, -h + 3 = -2*b for h.
-1
Let t(f) = f**3 + f**2 - 31*f - 4. Let z be t(-6). Solve 0*w = -w - q + 1, 5 = 5*w + z*q for w.
1
Let k = 5 - 70. Let q = k + 68. Solve 2*o + 2*n - 2 = 0, -4*o + 16 = q*n - 5*n for o.
3
Suppose -200 = -k - 4*k. Let c = -36 + k. Solve -3*m + t + 1 = 0, -3*m - c*t - 19 = -0*m for m.
-1
Let s(y) = -y**2 - 25*y - 36. Let c be s(-23). Solve -3*p = 4*z + c, -2*p + 8*z - 2 = 6*z for p.
-2
Suppose -20*x + 15*x = 0. Let i = 14 + -7. Suppose x = 4*r + i - 23. Solve -4*a - r*t + 3*t = 8, 2*t + 6 = 2*a for a.
-1
Suppose -c + 2*j + 57 = 0, -5*c + 51 + 294 = 5*j. Let v be c/15 - 2/6. Solve 4*a = a - v*t, 5*t = -a + 11 for a.
-4
Let p = -975 + 979. Solve -p*j + 19 = 3*o, -3*o + 22 = 2*j + o for j.
1
Let p(r) be the first derivative of r**3/3 - 4*r**2 + 13*r + 12. Let y be p(6). Solve 2*l - 3*f - 1 - y = 0, 2*f = 4 for l.
4
Let b = 343 + -343. Solve -2*m - u = b, -4*u = -14 + 6 for m.
-1
Suppose 2*v - 4*v = 12. Let p(h) = h**3 + 6*h**2 - 2*h - 8. Let x be p(v). Solve -x*r - k - k = 16, 3*r - 4*k = 10 for r.
-2
Let w(m) = -m**2 + 6*m - 4. Let t be w(1). Suppose 3 = 2*q + t. Solve 0 = p + 4*h + 2, p + 3*h + 2 = q for p.
2
Let l(i) = i**3 + 16*i**2 + 15*i + 2. Let x be l(-15). Solve x*a - 4*s + 0*s = -26, -11 = 2*a - s for a.
-3
Let j = 753 + -748. Suppose -5*f + f + 504 = 0. Suppose -6*c - 2*z = -2*c - f, -2*z - 10 = 0. Solve 3*a = -5*m + c, j*m + 6 - 43 = -4*a for m.
5
Let x = -1780 - -1798. Solve 0*p + x = -4*h - p, -p - 2 = 0 for h.
-4
Let a = -25 - -33. Let n = a + -5. Let d be 114/4 + 4/8. Solve -d = n*z + 5*j, 0*j - 4*j = -z + 13 for z.
-3
Let j(t) = -4*t**3 + 2*t**2 + t. Let n be j(-1). Suppose 1 - n = -2*h. Solve h*y + 11 = y + 4*x, 3*x = -2*y for y.
-3
Let y(b) = -2*b**3 - b**2 + 2. Let w be y(-1). Suppose x - 7 = -4*c + 2, 3 = w*x. Solve -5 = 4*q + 5*z + 26, 2*q = c*z - 2 for q.
-4
Let n(r) = r**3 + 17*r**2 + 54*r + 28. Let o be n(-13). Solve 3*q - 7 = o*m - 2, -3*m = 3*q - 30 for m.
5
Suppose 13*f = -f + 112. Solve -4*v - 3*b = 6, -4*v - 14 - f = -5*b for v.
-3
Suppose 15 = 5*m, 2*n - 3*m - 56 - 45 = 0. Suppose -s + n = -0*s. Suppose 0*x + 3*h + 43 = 4*x, 4*h + s = 5*x. Solve g + 14 = -3*j, -3*j + x - 1 = -3*g for j.
-3
Suppose 27*t - 248 = -35*t. Solve -58*i + 55*i = -3*l + 24, -t*i = -2*l + 24 for l.
4
Let r = -1212 + 1217. Solve 5*t = -3*h + r, -4*t + h + 21 = -0*t for t.
4
Let c be 1/2*(8 + -9 + 1). Solve 2*u - 4*v = -16, -2*u + 5*v - 2*v - 11 = c for u.
2
Let z(t) = -4*t + 6. Let i be z(-4). Suppose i = -f - 4*u + u, 2*f + 34 = -4*u. Let v be 148/28 - (-2)/f. Solve -5*w + 3*y + 4 - 44 = 0, v*w = y - 30 for w.
-5
Let x(k) = -k**3 - 8*k**2 + 7*k - 22. Let i be x(-9). Let z = 5 + i. Solve 5 = 4*n - d, -3 - z = 4*n - 4*d for n.
2
Let k be -3*(3 - 8)*(-32 - -33). Suppose 0 = -n - 1 + 5. Solve -3*y = -k, -n*p - 2*y + 2 = -0 for p.
-2
Let b be (4/(-7))/(2/(-7)). Suppose -2*g = b*g. Let s = 2 - g. Solve -2*a + 15 = 3*a + f, -5*a + s*f = 0 for a.
2
Let g(l) = -l**3 + 9*l**2 + 2*l - 16. Let i be g(9). Solve 2*x = o - 2*o + 8, 0 = -2*x + 2*o + i for x.
3
Suppose 136 = 5*c - 7*c. Let z = -15 + 16. Let s be 2/(z - (-60)/c). Solve -4*h + s = -u, -6*h + 1 = -3*u - 4*h for u.
3
Let l(u) = u**2 - 13*u + 15. Suppose 0 = 3*b - 4*w - 28 + 8, 4*b - 68 = -5*w. Let p be l(b). Solve 3*g = 4*y - 15, 0 = g - p*y - 0 + 10 for g.
-1
Let w(y) = 10*y + 72. Let x be w(-7). Solve 5*u - 12 = -4*a, -x*a + 6*a - 5*u + 28 = 0 for a.
-2
Let l be (7/(-2) + 3)*30/(-15). Solve -i - 4*s - l = 0, 2*s = -4*i - 2*s - 16 for i.
-5
Let b(x) = -x**2 - 19*x + 3. Let z be b(-19). Solve -h + 5 = -z*i, 4*h - i - i - 20 = 0 for h.
5
Let v = 315 + -305. Solve 4*h - 5*g = -v*g + 17, -g = -3*h - 11 for h.
-2
Let s = -71 - -73. Suppose b + 4*f + 12 = -0, -4*f = s*b + 12. Solve b = -5*r - 3*q + 40, 0*q + 10 = -r + 3*q for r.
5
Let m(l) = l + 10. Let n be -10 + -6*(-2)/(-4)*-1. Let b be m(n). Solve -3*x - 5*p - 9 = 0, 2*x - b*p + 0*p + 6 = 0 for x.
-3
Let t be 9/3*(-10)/(-6). Solve -31 = -4*h + h + t*o, 2*h + 4*o + 16 = 0 for h.
2
Suppose -6*q + 6 = -36. Suppose 4*m - q = 4*d - 3, -5*m = d - 11. Solve -4*b = 2*p + 2 + m, 5*b + 5 = -5*p for p.
0
Let k be (10/1)/((-12)/24). Let b = 25 + k. Solve -11 = -b*r + 3*n, -3*r = 2*r - 5*n - 5 for r.
4
Let p = -397 + 401. Let y(u) = -u**3 - 3*u**2 + 2*u + 1. Let i be y(-4). Suppose l = -4*h + i, -l + 8 - 1 = 2*h. Solve -p*x + x = -4*v + 7, 3*x - l = v for x.
3
Let r(q) = -q**2 + 14*q - 12. Let s be r(15). Let d be (-197)/(-8) - s/72. Solve m + 4*a = -5, -5*a - d = 6*m - m for m.
-5
Let p(c) = -c**2 + 25*c + 28. Let v be p(26). Solve -3*n + v*f + 13 = 7*f, f = 3*n - 1 for n.
1
Suppose 2*k = -24*k + 78. Solve -5*a - 3 = -k*m, 8*a - m + 1 = 3*a for a.
0
Let r(v) = v**3 + 7*v**2 - 8*v + 5. Let a be r(-8). Solve y = 2*b + a, 4*y + 2 + 17 = -5*b for y.
-1
Let l = -22 - -25. Suppose -l*g + 12 = g. Solve b - 6 = 6*b + 4*z, -5*b = -g*z - 22 for b.
2
Let k(o) = 3*o**3 + 2*o**2 - 1. Let f be k(1). Let j = -4 + f. Suppose 2*g + 0*h = 5*h + 22, h = 0. Solve c + g = 3*z + 2*z, j = 4*c + 4*z - 28 for c.
4
Suppose -118*t + 107*t + 286 = 0. Solve 2*l - t = -5*w, -4*l - 4*w = w - 32 for l.
3
Let n be (-9)/18*(-32)/8. Solve -2*w + 4*w = -3*c - 1, -2*c - n*w - 2 = 0 for c.
1
Let y(f) = f - 9. Let q(h) = -3*h + 27. Let x(p) = 4*q(p) + 11*y(p). Let t be x(6). Solve 3*a - 8 = -4*m, -2*m + t*a = -10 - 12 for m.
5
Suppose -2*f - 22 = -4*h, -3*h + 15 = 29*f - 30*f. Solve 5*n = -2*d + 19, d - 10 = -h*d for n.
3
Let w(v) = v**3 - 8*v**2 + 8*v + 28. Let i be w(6). Solve -4*u = 2*h + 2*h - 12, 5*u + 3 = i*h for h.
2
Let t(g) = g**2 + 13*g + 42. Let f be t(-8). Solve f*k - 2*n + 9 = 3*n, -k = -n for k.
3
Let o be (-2 - -5)*(6 - 5). Solve -2*s - 5 = 5*f, -8*s = -o*s + f + 24 for s.
-5
Suppose 0 = -27*f + 21*f + 24. Let m = 52 + -46. Solve 4*y = -20, -y - m - f = w for w.
-5
Let i = 79 + 17. Suppose -o + i = 7*o. Solve f + 3*h + 0*h + 14 = 0, 3*f = -3*h - o for f.
1
Let l(f) = f - 17. Let c = 39 - 7. Let y be l(c). Solve 4*o + 40 = -5*b, o + 3*b + y = -2 for o.
-5
Let c(u) = -2*u**2 - 16*u + 10. Let x be (15/(-10))/((-12)/(-64)). Let h be c(x). Solve -g = 5*z - h, z + 18 = 2*z - 3*g for z.
3
Suppose 0 = 63*l - 50*l - 208. Solve -3*b + 5*h + l = -4*b, 4*b = -4*h - 16 for b.
-1
Let x = 15801 - 15801. Let g be (16/5)/(2/10). Suppose 3*q + 34 = 2*c, 5*q = 4*c - 54 - g. Solve 0 = -5*v - c, -3*v + 3 + x = -5*j for j.
-3
Let c = -108 - -112. Solve -3*u - 9 = -q, c*q - 4*u - 10 = 2*q for q.
-3
Let n(g) = 11*g**3 + 6*g**2 - 3*g - 1. Let c be n(1). Solve w - 4*w = 5*h - c, 8 = 4*w + 2*h for w.
1
Let w = -33 + 35. Suppose -5*p = -w + 2. Solve -a - 4 = 0, -y + p*y + a = -9 for y.
5
Suppose 4*t + 15 = 2*f + f, 5*t + 20 = 4*f. Suppose f = 2*q + 1. Suppose -4*r - 2*d = 6, 0 = -d + 2 - 5. Solve r = 2*l - 2*o + 8, -q*l - 4*o = 3 - 1 for l.
-3
Let z = -177 - -177. Solve -4*l - i - 14 = z, -5*l + 2*i = i + 13 for l.
-3
Suppose 3*t = 7*t - 2*g - 28, 0 = 4*t + g - 16. Solve -d + 10*l = t*l - 15, 4*d + 5*l + 15 = 0 for d.
0
Let f(u) = -u**3 - 22*u**2 + 24*u + 28. Let r be f(-23). Solve r*c = 4*p, c + 4*c = -5*p - 45 for c.
-4
Suppose 3*c + 4*u - 8 + 5 = 0, 3*u - 11 = -4*c. Solve -5*n = -t + 7, -c*t - 3*n + 4 + 3 = 0 for t.
2
Let f(h) be the second derivative of h**5/20 - 7*h**4/12 - h**3/6 + 11*h**2/2 + 13*h. Let x be f(7). Solve x*c + 5 = 13, 0 = g + 3*c - 7 for g.
1
Let r = 19 + -10. Solve 5*g = 2*n - 30, -8*n = 4*g - 3*n - r for g.
-4
Let l(d) = d**2 - d - 8. Let o be l(-4). Solve -2*j - 6 = 4*v, -4*j + o = -4*v - 0*j for v.
-2
Let j = 5 + -3. Let m be ((8 - 1)/28)/(2/56). Let u(g) = g**2 - 3*g - 4. Let q be u(4). Solve q = -m*h + j*h + 5*l + 10, -12 = -3*h + l for h.
5
Let a(l) = 2*l + 52. Let h be a(-13). Suppose -5*v - h*v + 372 = 0. Let w be 5 + (0 + -1 - -1). Solve -f + 3*f + v = -4*u, -w*f - 5*u = 20 for f.
-2
Suppose -2*z + 16 = 2*b, -b + 2*z - z = 0. Suppose 0 = -h - v - b, v + 1 = 5*h - 3. Solve -5*s - 14 = 3*r, 4*s + 3*r + 0*r + 13 = h for s.
-1
Suppos