 = z, 0 = -3*w - z - 3*z + 4 for w.
-4
Suppose 4*a - 16 + 8 = 0. Suppose -a*i + 0*i = -8. Solve i = 3*o + 2*k + 2*k, -o = 2*k - 2 for o.
0
Let b be 4 + (-4)/(-7 - -11). Solve -2*z + 2 = a, -4 = a - b*a + 5*z for a.
2
Let f(l) = -2*l - 2. Let y be f(-3). Suppose 0 = x - 0*x - 4. Suppose x*i - 10 = 22. Solve -y*n + 4 = 2*k, 4*k - 2*n + 3*n = i for k.
2
Suppose 2*f - v + 78 = -4*v, 0 = -4*f - 4*v - 148. Let g = -29 - f. Solve 2 = 3*y + g*l - 3, 1 = 3*y + 2*l for y.
-1
Suppose -5*i = -5*l - 10, 4*i - 4 = 5*l + 2. Solve -5*d = -20, 2*f + i*d - 14 = f for f.
-2
Let l be (-135)/(-36) + 1/4. Let b be 3/l - 76/16. Let h be b/6 + 47/3. Solve -q + 5*p - 12 = 3*q, 0 = 5*q - p + h for q.
-3
Let r = 26 + -16. Suppose 5*j + 8 - 23 = 0. Let f be (-1 - (-15)/25)/((-6)/30). Solve -4*b = 5*y + r, 3*b - f*b + y + j = 0 for b.
-5
Let a(x) = -x**3 + 5*x**2 - 8*x + 7. Let f be a(2). Solve 4*b = 3*y, 2*y + 0 + 1 = f*b for y.
4
Let r be (-4)/14 - (-4 + 1492/(-28)). Let i = r + -53. Solve -16 = -i*c - 4*q, -3*c + 6 = c + 2*q for c.
-1
Let q = 9 - 7. Let a be (-1 - q) + 5 + 14. Let g be 2 + -4 + 1 + 1. Solve g = 2*z + w, 3*w = -z + 3*z + a for z.
-2
Let l(c) = c**2 - 3*c - 13. Let g be l(-4). Suppose -7*t = -2*t - g. Solve t*p - 2 = z - 0*z, z = 5*p - 4 for z.
1
Let q = -23 - -23. Suppose 1 = -q*t + t. Solve d - 2*j + t = 0, -d - 2*j = 2*d - 5 for d.
1
Suppose 2*d - 16*a - 9 = -15*a, -5*a = 2*d + 21. Solve 0 = -d*l - 0*l - y + 9, 3*l = 5*y + 20 for l.
5
Suppose 422 = 16*o + 374. Solve -14 = 2*g - 5*t, 12 = -0*g - 3*g + o*t for g.
-2
Let x(c) = 2*c**3 - 7*c**2 + 4*c - 1. Let v be x(3). Let d(z) = z**3 + 2 - 3*z**2 + 0 - 5 + 3*z. Let l be d(3). Solve -v*g = 5*r - 9, -3*r - g + l = r for r.
1
Let s = -40 + 45. Solve 5*y - a = -5 - 1, -s*y + 4*a = 9 for y.
-1
Let h = -25 + 21. Let n be 0/((h - -2)/1). Suppose -4 = -2*z - n*z. Solve -s - 2*s + 6 = -z*p, -5*p = -3*s + 15 for s.
0
Suppose q + 0*q = -5*r + 18, 5*r - 21 = -2*q. Solve -r = 4*i - 3*i, h + 2*i = -2 for h.
4
Let o = -6 - -11. Suppose 213 = -o*h - 67. Let d be ((-2)/4)/(7/h). Solve 2 = -f - 2*f - d*y, 0 = 3*f - 4*y - 14 for f.
2
Let i be 4 - (-8 + 17) - (-2 + -3). Solve a = 5*v - 3*a + 45, 2*v + 2*a = i for v.
-5
Let n(p) = -3*p**2 + 18*p + 3. Let r be n(6). Let f(v) = -v**3 + 4*v**2 - v - 4. Let w be f(3). Suppose r*m = w*m + 2. Solve m*k = -10, q - 11 - 10 = 5*k for q.
-4
Let g(u) = 3 + 10*u - 15*u + 4 + 6*u. Suppose 3 = -2*r - 1. Let j be g(r). Solve 0 = c + 5*a + 24, -j*c + a = 16 - 0 for c.
-4
Let r = 281 + -277. Solve -3*k + 21 = -r*f - 4, -3*f = -5*k + 27 for f.
-4
Let b = 60 + -59. Let g be ((0/1)/b)/(5 - 3). Solve g = f + k + 3*k - 9, 0 = -2*f + k - 9 for f.
-3
Let l = -98 - -107. Suppose 4*s - l = -1. Solve s*z = 4*i - 18, -21 = 4*z - 0*i - 3*i for z.
-3
Let m(c) = 32*c + 4. Let r be m(3). Suppose r = -s + 5*s. Let d = s + -25. Solve -w - 22 = 5*y - d*y, -5*w - y + 10 = 0 for w.
3
Suppose 2*p + 2*p = 24. Let i be p*(-3 + 14/4). Suppose 0 = -4*t - t + 5, -5*z = 4*t - 24. Solve -4*w = 8, -2*j - i*j + 2*w = -z for j.
0
Suppose -z = -3*r - 21, -5*z + 2*r = -23 - 17. Solve 12 = -k + 4*m, -z*m = 4*k - 2*m + 8 for k.
-4
Let m(x) = -x**2 + 14*x - 14. Let k be m(12). Let b = k - -14. Let c be b - ((-12)/(-4))/1. Solve 5*v = -2*n - c, 0 = 2*v - 0*n + 2*n + 6 for v.
-5
Let q be (-1 - 1)/(2/15). Let c = 26 + q. Solve -y + r - 2*r + 4 = 0, -2*r = -y - c for y.
-1
Let f be (18/(-15))/((-6)/20*2). Solve -4*v - f - 10 = 0, -5*k = -2*v - 16 for k.
2
Let d(y) = -45 + 26 + 0*y**2 + 12*y**2 - 9*y - y**3. Let c be d(11). Solve c*j + r = 3*r + 10, 0 = -3*j - 3*r - 15 for j.
0
Let s = 30 - 24. Let n = -3 + s. Let q(v) = v. Let g be q(4). Solve -3*h - 3 = -g*i, 0*h = n*i - 3*h - 3 for i.
0
Suppose -15*v - 16 + 76 = 0. Solve v*x + 5 = 3*a, a + 4 = -2*x + 3*a for x.
1
Suppose 40 = q + 3*a, -3*a + 142 = 4*q - 0*a. Suppose -2*z + 4*z + q = 2*v, 3*z - 29 = -2*v. Solve 2*h - 4*j + v = 0, -3*h + 3 = j - 1 for h.
0
Let s(d) = -8*d**2 + d. Let c be s(1). Let l be ((-8)/14)/(-1 + (-6)/c). Solve g = l*o - 1, -1 + 4 = -3*g - 2*o for g.
-1
Let y(a) = -7*a**3 - a**2 + 1. Let s be y(-1). Solve m - k + s = -6*k, 4*m = k - 7 for m.
-2
Suppose -2*b + 6 = -36*q + 38*q, 2*q = -2. Solve 0 = -j + b*k + 17, -4*j - 2*k - 22 = -0 for j.
-3
Suppose 12*c + 10*c - 154 = 0. Solve 3*i + 7 = 4*u, 5*i - c = -u + 12 for u.
4
Let r = 1 + -1. Let l(f) = 34*f + 717. Let a be l(-21). Solve -3*s + a = -2*h - r*h, 2*s - 2*h - 2 = 0 for s.
1
Let z(a) be the second derivative of 17*a**4/12 - a**3/2 - a**2/2 + 16*a. Let m be z(1). Solve 0 = -5*v - 3*w - m + 4, 4*v = 2*w + 6 for v.
0
Suppose -24 = -x - 73. Let i = -9 - x. Solve -4 = 5*t - 4*z, 7*t - 2*t + 5*z + i = 0 for t.
-4
Let p(t) = t**2 - 13. Let o be p(4). Suppose -z = -k + 3, -k - 2 = -o*k + 4*z. Solve 0 = k*v + 2*i - 30, -4*i + 40 = 7*v - 2*v for v.
4
Suppose 0 = -711*k + 717*k - 18. Solve 0 = 2*l + 4*d + d - 4, -4*l + k*d + 8 = 0 for l.
2
Let j be (-10)/45*-12*6/8. Solve -11*k + 7*k - 3 = 3*t, 2 = -j*t - 3*k for t.
-1
Suppose 6*l = -0*l - 78. Let r = l + 28. Solve 4*k - r = -2*x - x, -2*x - 7 = -3*k for x.
1
Let x(z) = 25*z. Let s be x(-1). Suppose 85 = -6*m - 83. Let w = s - m. Solve w*g = -h + 5*g - 2, -5*g + 5 = -2*h for h.
0
Let g = -384 + 386. Solve 0*b - b - g*h + 4 = 0, -4 = -b - h for b.
4
Let b(t) = t**3 + 7*t**2 + 2. Let f be b(-7). Solve 18 = -4*y + f*y + 2*l, -l - 1 = y for y.
-5
Let b be (-2 - (-1015)/45) + (-12)/(-27). Solve -5*o + 6*x - 2*x = b, -4*o - x = 21 for o.
-5
Let l be 3/3 + 10 + 2 - 3. Suppose 3*h - 27 = -3*p, 3*p - 3 = 6*h - 3*h. Suppose 0 = -8*w + h*w + 32. Solve -3*y + w*c - 3*c - 26 = 0, 0 = -y + 2*c - l for y.
-2
Suppose -40*p + 27*p + 221 = 0. Solve 4*b - p = 3*h - b, h + b = 5 for h.
1
Let d be -3 + 3 - 2/(-2). Let j be (0 + d - -1) + -2. Suppose j*x = -x + 10. Solve b = 3*t - 2*b, -2*t = 3*b - x for t.
2
Suppose 4*t - 3*n = 7, t - 2*t - 4*n + 16 = 0. Solve -2*x - 15 = -5*c + 12, -t*c + 21 = -x for c.
5
Let s be -7 - ((-176)/14 + 84/(-196)). Solve -5*c = -8*c - y + s, -5*c + 24 = -3*y for c.
3
Suppose -32*l = -34*l. Solve 5*i - 3*v + 28 = l, -i - 7 = -4*v + 2*v for i.
-5
Let x(o) = 76*o - 147. Let n be x(2). Solve 0 = l - 2*w - 1, n*l + 1 = -5*w + 6 for l.
1
Let k = -41 - -33. Let q be (-6)/k + 24/(-32). Solve -4*t + 2*m - 26 = 0, q*m = -2*t - 2*m - 4 for t.
-5
Let d = -681 + 684. Solve d = u + 2*h, -12*h = 4*u - 7*h for u.
-5
Let j = -1194 + 1197. Solve 5*z + j*l - 6 = 8*z, 3*l + 3 = 0 for z.
-3
Suppose -6 - 14 = 5*g. Let x be 99/2 - (-2)/g. Suppose 3*p - 5 = x. Solve 0*b = -3*b - 4*c + 14, -2*c = -4*b - p for b.
-2
Let w = -52 + 54. Solve 11 = 5*v - 3*d, -w*v = 3*v + 5*d + 5 for v.
1
Suppose 8*m = 11*m - 3, 0 = -5*j + m + 9. Solve -s - 4*t - 5 = 0, -j*s - t = -3*s for s.
-1
Suppose 2 = b - 4. Suppose -b*z + 3 = -9. Solve -z*l + 2*g + g = 13, -5*l = -4*g + 15 for l.
1
Let t(r) = 2*r**2 + 78*r + 89. Let n be t(-38). Solve -7 = -w - 3*q, n = -w - 4*w + q for w.
-2
Let w = -137 - -141. Solve w*b - 9 + 2 = -5*s, s - 2*b = 7 for s.
3
Suppose 1 = j - 1. Suppose -3*n = -h - 1 - j, 0 = 4*h - 4*n + 4. Let p = 3 - h. Solve 0 = 3*w + p*i, 0 = -5*w + 2*i - 6 - 15 for w.
-3
Let a(q) = 7 - 2*q**2 - 5*q - q + 14*q. Let f be a(4). Suppose -2*t - 2*x = -0*t, 2*t - 5*x - 14 = 0. Solve 0 = -b + t*o - 0*o - f, 4*b - o = 7 for b.
3
Let f = 25 - 29. Let x = f + 7. Solve r - 11 = -3*q, x*q - 7 = 2*r - 2 for q.
3
Suppose -5*k = -9*k. Suppose 5*s + 4*c - 13 = 0, 2*s + k*s - 4*c + 6 = 0. Solve h + 2*r - s = 0, 2*r - 16 = -5*h - 3 for h.
3
Suppose -35 = -84*c + 77*c. Solve c*v + 15 = f, 0*f - 2*f + 10 = 0 for v.
-2
Suppose 8*r - 4*r = 2*w + 10, 5*r + 5*w - 35 = 0. Solve 4*x - 2*x + 6 = 0, -r = 5*v - 2*x for v.
-2
Let o(h) be the second derivative of h**5/20 + 7*h**4/12 + 4*h**3/3 + 15*h**2/2 - 17*h. Let y be o(-6). Solve 5*s = 4*l - 32, -3*l - y*s - 3 = -0*l for l.
3
Suppose 0 = 15*f - 34 - 41. Solve -2*h = f*m - 3 - 18, -3*m = -2*h - 3 for h.
3
Let j = 1 - -3. Suppose 2*u = 6*u - 8. Suppose u*a = 4*a - 18. Solve -3*d = 3*m - 3 + a, j*d + 5 = -3*m for m.
-3
Suppose -2*v + 7 = 1. Suppose -2*a = -m + 5, -v*m = -2*a - a - 15. Suppose a = 3*f - f. Solve 4*w + 4*b = f, 2*w + 3*b - 2 + 6 = 0 for w.
4
Suppose 4*d = d. Suppose 5*g = -5*b + 115, 5*g - 94 = -4*b - 7. Let c = -25 + b. Solve -c*k = -d*x - x - 11, 