*t - 4*t = -7, 3*j + 9 = i*t for j.
-1
Let r(z) = -z**3 - 7*z**2 - 6*z + 4. Suppose -2*v - 24 = 2*v. Let l be r(v). Solve -4*b + 4 = 3*g, 3*b - 2*g = l*b - 1 for b.
1
Let l = -38 - 51. Let k = l + 93. Solve -a = -4*w - 10, -4*a - k*w - 14 = 6 for a.
-2
Let c = 248 + -248. Solve 5*x - 3*y + 1 = 0, -2*x + y = -c*y + 1 for x.
-2
Let u = 46 + -12. Let a = u - 34. Solve 2*y - 18 = 4*z, 0 = -a*y - 2*y + z + 12 for y.
5
Let g = 31 - 28. Suppose -4*x - 5*f = -35, -5*x + g*f + 37 = 7*f. Suppose -5*n + 20 = -5*l, x + 1 = n + l. Solve -r = -3*u + r + 1, n*u = 5*r for u.
1
Let w(u) = -4*u - 5. Let c be w(-2). Suppose -3*s + 4 = -2. Suppose s*v = -v. Solve k = 4*f - 17, c*k - 2*f = -v*f - 11 for k.
-1
Suppose -4*q + 5*f + 21 = -14, 2*q - 3*f = 19. Solve -z + 15 = 2*w, -18 = w - q*z + 2 for w.
5
Let x(y) = -31*y**2 - 4*y + 3. Let s(f) = 62*f**2 + 9*f - 7. Let h(n) = -3*s(n) - 7*x(n). Let z be h(1). Solve -z = -3*o + 4*t, 3*o - 3*t - 10 = 17 for o.
4
Let t be 3 - (1/2)/((-1)/4). Solve 0 = t*a - 3*w - 32, -4*a = -2*w + 3*w - 12 for a.
4
Let d be 9*(160/45)/4. Solve -5*m + b = -d, 10 = 2*b + 3*b for m.
2
Let h(f) = -f + 1. Let a be h(0). Solve o + 3*x - a = 0, -o - 3*x - 7 = -2*o for o.
4
Let m(j) be the first derivative of -j**3/3 - 5*j**2/2 - 3*j - 46. Let n be m(-3). Solve 3*x + 2*v + 12 = -x, 0 = n*x + v + 9 for x.
-3
Let l = 1026 - 1006. Solve -a - l = -3*z, 2*a = 5*z - 18 - 17 for a.
-5
Suppose 73*v + 46*v = 238. Solve 3*k - i = -3, 5*k - v*i = 3*i - 5 for k.
-1
Let d(g) = -g**3 + 6*g**2 + 6. Let a be d(6). Let m = 26 + -10. Let l be (0/m)/((1 - 2)*3). Solve -k + 5*i = 17, k - 3*i + 3 + a = l for k.
3
Let w(p) = 13*p**3 - 14*p**3 + 23 - 20 + 11*p**2. Let s be w(11). Solve h = 4*a + 16, -1 = 2*a + s*h - 7 for a.
-3
Suppose 12 = 4*j + 4*y, 0 = 3*j + y - 0 - 3. Suppose 0 = 3*r + n + 2*n - 6, -4*n = j. Solve u + 6*t - r*t - 16 = 0, -u - 24 = -4*t for u.
-4
Suppose -2*g - o + 11 = -0, -4*o + 26 = 2*g. Let s(r) be the first derivative of r**2 - 4*r - 3. Let v be s(g). Solve 2*q = 8, -23 = -3*k - v*q - 0*q for k.
5
Let z be 1/(-3) - 136/(-12). Let h = 14 - z. Suppose -h*w = -8*w. Solve -5*g = -w*g + 4*d + 10, -3*g = 3*d + 9 for g.
2
Suppose 2*w = 4*w - 12. Suppose -4*p = -7*p + w. Let s be (-1 + 1)/(-1 + p). Solve -3*m - k - 5 = s, 0*m - 5*k + 23 = -m for m.
-3
Let u be -1*(-3 + 4/(-12)*3). Suppose 3*i + 2 = -4*g - 1, -u*g + 2*i + 22 = 0. Solve -p - g*b = 6 + 1, -p - 3 = b for p.
-1
Let i = -166 + 170. Suppose 3*f = 5*b - 13, -6*f - 10 = -i*b - 4*f. Solve -2*u - 6 = 2*u - 5*k, b*u + k - 4 = 0 for u.
1
Let v = 2121 + -2118. Solve 0 = 4*d - 3*l + 5, v*d - 10 = 2*d + 3*l for d.
-5
Let u = 61 + -59. Solve -3*w + u*x = 5*x - 3, -5*x + 5 = -w for w.
0
Let j be 0 - ((1 - 3) + 4). Let p(k) = -5*k + 3. Let f be p(j). Suppose 6*z - f = -1. Solve -2*c = 3*n + 19, z*c - 20 = 3*c + 5*n for c.
-5
Suppose 5*d + 25 + 25 = 0. Suppose -19*h = 132 + 77. Let f = d - h. Solve -2*z = -a + f, -z - 8 = -a - 2*a for z.
1
Let q be (1 - 0/3)/((-1)/(-1)). Let b be ((q - 1)/(-4))/(-4 - -6). Solve b = w - 5*k - 27, 4*w - 2*w = -4*k - 16 for w.
2
Suppose -3 = -r + 4*r. Suppose 2*x - 5*y + 31 = 0, 0*x - 4*x + 5*y = 47. Let k be x/r*(-12)/(-24). Solve 1 = 3*q - 0*j - j, j = -k for q.
-1
Let h be -28*(-3)/6 + 1 + 1. Suppose 6*r - 28 = -h. Solve -18 = -3*z - r*u - 2*u, -5*u + 9 = -3*z for z.
2
Let c = 0 - 2. Let i be ((1 + -1)/(-1))/c. Suppose i = 3*b - 19 + 7. Solve 2*f - 35 = b*f + 5*t, 5*t + 10 = 3*f for f.
-5
Let o = 42 + 0. Suppose 38 = 20*s - o. Solve -2*h - 5 = 3*j - 13, 10 = 3*j + s*h for j.
2
Let f be 35/14 + (-95)/(-38). Suppose 9 = -3*n + 5*b, -3*b = -3*n - 3 - 0. Suppose -n*o + 6 = -10. Solve -5*g - 4*h + o*h = 3, 3 = f*g - h for g.
1
Suppose 69 = -11*d + 34*d. Let w(u) = 0 + 2*u**2 + 2*u + 2 + 3*u. Let q be w(-3). Solve -3*f + 5 = -q*i - 2, -d*f - 4*i = -16 for f.
4
Let t(o) = o**2 + 6*o - 2. Let j be t(-6). Let w be (1 - 0)*(9 + j). Suppose -8 = -5*r + w. Solve -12 = -2*h + 5*h + r*q, 5*h - 30 = 5*q for h.
1
Let n(t) = 13*t**2 - t. Let m be n(-1). Let j be m - (-2)/((-4)/(-2)). Let h be (-24)/(-7) - j/35. Solve -3*g - 6 = -h*z, 0 = -2*z + z - 5*g - 22 for z.
-2
Let b = -10 + 7. Let c be b/8 - 35/(-8). Solve 2*m + 6 = -5*x, -2*x + c*x = -2*m for x.
-2
Suppose -3*x - 48 = n - 41, -3*n + 19 = x. Solve -2*o + 2*h - n = 0, -4*o - 3*h - 4 = -2 for o.
-2
Let k = -3145 + 3151. Solve 2*x = 5*u - 28, -5*u = -k*u + 4 for x.
-4
Suppose -4*k - 2*r + 32 = -5*r, -3*k = -r - 24. Suppose 0 = 3*c - k*c + 45. Solve 5*q = 5*m, c = m + m - 5*q for m.
-3
Let g(p) = -p**3 + p**2 + p + 2. Let b be g(0). Let r(k) = -2*k - 7. Let t be r(-5). Suppose 6*m + 0*m - t*m = 0. Solve b*d + 5*v = m, 4*v = 5*d - 4*d for d.
0
Let j(f) be the first derivative of f**2 - 17*f + 4. Let r = 97 - 86. Let k be j(r). Solve -5*d + k*b = 5, -d - 4*b + 0*b = -19 for d.
3
Suppose -g - 5*m - 3 = 0, -4*g = -5*g - 2*m. Solve -2*o = -5*b - 3*o - 13, -3*b - 12 = g*o for b.
-2
Let r(b) = -b**2 - 29*b + 3. Let w be r(0). Suppose 4*c + 5*s = 11, -6*s = -2*s + 4. Solve 0 = -z - m + c, w*z = -z + 5*m + 7 for z.
3
Let k(c) = -c**2 + 13*c + 2. Let m be k(8). Suppose 7*q = q + m. Solve -2*o - q = x, -2*o + 5*o + 3 = -4*x for o.
-5
Suppose t = -i + 57, 4*i = 2*t + 2*t - 252. Let d = 62 - t. Suppose -f + 4 = 1. Solve -s - x = -4, s + f*x - d = 4*x for s.
3
Let q(u) = -u**3 - 21*u**2 + 20*u - 44. Let d be q(-22). Solve -2*a + 35 = 5*s, -3*a + s + d*s = -10 for a.
5
Let m = 3 - -1. Let o be (-28)/((-3)/(m + -1) + -1). Solve -3*s - 4*j - 6 = 8, -o = 5*s + 2*j for s.
-2
Suppose 0 = -2*o - 5*f + 42, -105 = -5*o + 3*f - f. Let z(i) = -25*i**2 + 5*i - 2. Let h be z(2). Let w = 95 + h. Solve -2*v = g - 0 - 12, 3*v - o = -w*g for g.
2
Let q(a) = 2*a - 4. Let h be 47/9 + (-16)/72. Let p be q(h). Suppose 3*s + 10 = -u, 2*s = u - s - 20. Solve u*o = 0, 3*r = p*r - 3*o - 12 for r.
4
Let u(y) = y**2 - 6*y + 9. Let k be u(5). Solve -k*c = -2*c - a, c - 18 = -4*a for c.
2
Suppose 4*l - 2*i + 41 = l, 0 = -4*l + 3*i - 55. Let y = l - -21. Suppose 0 = 5*m - y*m. Solve s - 2 = -m*s, -2*s = -h - 3 for h.
1
Let h(y) = -14*y + 355. Let i be h(25). Solve 0 = -4*t + 2*a - 10, -2*t - a - i = 10 for t.
-5
Let h = -742 + 745. Solve 2*i = -o - 11, -h*i + i = -3*o + 7 for i.
-5
Suppose 39 = 5*a + 14. Let u be -2 - (-115)/25 - 3/a. Solve w = 0, 2*r - 10 = u*w - 2 for r.
4
Let h(m) = 2*m**2 - 5*m - 25. Let r be h(6). Suppose 11 = 7*u - r. Solve 21 = 5*v - u*g, -6*g = 5*v - 3*g - 28 for v.
5
Suppose -u = x - 4 + 13, -3*x = -2*u + 2. Let b be x/20 + 36/30. Suppose -5*h + 4 + 11 = 0. Solve -4*r + a = 6, -2*a + h - b = -3*r for r.
-2
Let f(z) = 2*z**2 - 1. Let j = -5 - -4. Let k be f(j). Let l = 3 + -1. Solve -3*y = -l*o + 4, 2 = -5*o + y - k for o.
-1
Let g be (6/(-4))/3*0. Suppose 18*w - 3850 = -92*w. Solve -t = 4*t + 20, 3*a + 5*t + w = g for a.
-5
Let r = 74 + -70. Suppose 3*v + r = 10. Solve -3*n - 4*h = n + 8, v*n + 7 = -h for n.
-5
Let a = 71 - 64. Let j(s) be the second derivative of -s**4/6 + 13*s**3/6 + 9*s**2/2 - 2*s. Let t be j(a). Solve 5*w - t*l + 4 + 3 = 0, l = w + 2 for w.
-1
Suppose -3*x + 2*z - 8 = 0, -7*x + 2*x = -4*z + 14. Let c = x + 8. Solve t = 2*m + c, 5*m = -0*m - 3*t + 7 for m.
-1
Suppose -50 = -a - 4*a. Suppose -13 = -w + 2*n, -4*n = -2*n + a. Solve -2*q + 11 = -x - 3, -12 = w*x for q.
5
Suppose -221*y + 4 = -220*y. Solve -4*h = -5*w + 9, -3*h = y*w - 0*w - 1 for w.
1
Let h(y) = y**2 + 14*y - 30. Let m be h(-16). Suppose 4*w - m*s = 10, 3*s + 8 = -4*w - 7. Solve -4*p + 12 = -5*q, 2*q + 3*p - 3 - 6 = w for q.
0
Let k(i) = i - 8. Let w(t) = t - 7. Let g(p) = -4*k(p) + 5*w(p). Let s be g(5). Suppose 0 = -f - 0 + s. Solve 4*v - u - 3 = f*v, -5*v = -5*u for v.
3
Let v be (-1 - -6) + 47 + -51. Solve -p = 2*n + 11, -v - 1 = p - n for p.
-5
Let w(a) = a**3 + a**2 - 3*a - 1. Let z be w(-2). Suppose -z = 6*n - 25. Solve -v = 3*d - 6*v - 30, 0 = -n*d - 2*v + 14 for d.
5
Suppose 2*t - 2 = v + t, -v - 3*t = -14. Suppose -2*d + d - v*n + 2 = 0, 4*n = 5*d - 10. Solve -3*y = 2*h + 6, 0*h + d*h - 3*y + 6 = 0 for h.
-3
Let b be 170/20*54/153. Let a = 3 - -2. Solve 4*g = -b*u - 7, -a = -5*u - g + 6 for u.
3
Suppose 2*z - 3*z + 2 = 0. Let o be 0*(3/z + -2). Let c = 10 - 8. Solve 5*n - 2*a - 1 - 23 = o, 2*n - 4 = -c*a for n.
4
Suppose 277*u - 243*u - 136 = 0. Solve 4*z