-4*t - 4*m + 8 = 0 for t.
-3
Let u = 1 + 9. Suppose 7*k + 231 = 63. Let g = -20 - k. Solve 3*a - u = -5*t + 3, 0 = 2*t - g*a for t.
2
Let d be (9/27)/(11/165). Solve 0 = -c - b + 2, -d = -5*b - 15 for c.
4
Let y(l) = l**2 - 1. Suppose -4 = 2*g + 2*j, -5*g + 1 - 19 = -3*j. Let b be y(g). Solve 2*q - 4*p - 4 = 0, -4*q + 0*p + b = p for q.
2
Let k be -6 - -17 - (-81)/(-9). Solve -2*b = b + r - 15, 0 = 2*b - k*r - 10 for b.
5
Suppose 99*d - 116*d + 374 = 0. Let k be 2 - (0 + 0)*1. Solve -d = -3*a + 4*u, 2*a - 4 - 8 = k*u for a.
2
Suppose -5*x = 15 - 0. Let h be -12*((-9)/(-6))/x. Solve -h = 5*r + 4*m, -5*m - 5 = 5*r - 0*r for r.
-2
Let j be 1*-8*3*(-6)/36. Let r = -5 + 5. Suppose 3*f + 3*x - 12 = r, 5*f + 4 - 33 = 4*x. Solve -3*b + 0*b + f*t - 37 = 0, 4*t = j*b + 36 for b.
-4
Suppose 3*o - 2 = 22. Suppose 8 = 4*d + 2*p, -8*p + 10 = 5*d - 3*p. Solve 2*b - r = -4*r - 16, 0 = d*r + o for b.
-2
Let t = -1 + 25. Suppose -16 = -5*l + t. Suppose 0 = 4*s - s + c - l, 5*s - c = 0. Solve 0 = 4*n + 4*w - 4, w - 2*w = -3*n - s for n.
0
Let p(l) be the second derivative of -10*l + 1/20*l**5 - 2/3*l**3 - 1/2*l**4 - 1/2*l**2 + 0. Let f be p(7). Solve -4*j + z = 3*z - f, -z = j - 6 for j.
4
Let b be ((-2)/(-4))/(-1)*0. Suppose b*y + 3*y = -3. Let t be 6*y/(-4)*2. Solve p = 3*c - 7*c + 3, 0 = t*c - p - 11 for c.
2
Let d be -3*1/(-3)*(1 + 1). Solve d*l + l + s + 13 = 0, l + 4*s = -19 for l.
-3
Let r(j) = j**3 + 4*j**2 - 6*j - 5. Let t be r(-5). Solve t = -3*v + 4*x - 2, 4*x + 14 - 2 = -4*v for v.
-2
Let j(r) = -3*r**2 - 3*r + 2*r + 4*r**2 - 20 + 0*r**2. Let u be j(-4). Solve 3*q + 8 = -0*c + 4*c, -2*c + 2*q + 2 = u for c.
5
Let d = 34 + 8. Suppose -5*s = -48 - d. Let v(a) = 9*a - 10. Let w be v(5). Solve 5*m + s = -4*n - 19, 4*m + 5*n = -w for m.
-5
Suppose 4*f = -12, 5*a - 4*f = 9 + 13. Solve -4*n = -6*u + 3*u + 13, a*n = 4*u - 14 for u.
3
Let g(m) = 7*m - 58. Let u be g(15). Let v = 71 - u. Solve -2*l + 5*j - 5 = 0, -5*j = 4*l + v + 1 for l.
-5
Suppose -30*u = -34*u - 5*y + 5, 0 = 3*u - y + 1. Solve u = -4*j - j + 4*f - 6, 0 = 2*j + 4*f - 20 for j.
2
Suppose -2*m + 3*m - 1 = 0, -4*h + m + 7 = 0. Let t be (15/(-9))/(h/18*-3). Solve 4*g = -g + t*s + 30, -6 = 3*s for g.
4
Let m = 356 - 340. Solve 2*j = -5*g - 13, -j + 4*j + m = -4*g for g.
-1
Let z = -5 - -5. Let a = 4 + z. Let t be 1 + (-1 - 0) + 0. Solve -6*d + 4*d - a = 3*f, 5*f + 10 = t for d.
1
Suppose -586*p + 585*p = -1. Solve 2*l - 11 = -p, -g - l + 4 = 0 for g.
-1
Suppose 2*m - 101 = -3*m - s, -2*s = 5*m - 102. Suppose -m = j - 11*j. Solve 4*k = -g - 0 + j, 6 = 3*g - 2*k for g.
2
Suppose -4*h = b - 2*h - 4, -5*b + 4*h + 6 = 0. Solve -5*r - 5*j + 9 = -16, -b*r + 4*j + 4 = 0 for r.
4
Suppose 9*p = 6*p - 5*m - 257, -5*p - 2*m = 422. Let g be (1 - 20/16) + p/(-16). Solve -3*q - 5*j - 19 = 0, -23 = 5*q - 4*q + g*j for q.
2
Let j be (-30)/1485*-9 + 9/11. Solve -3*z + 4*c + 5 = -c, -2*z - c - j = 0 for z.
0
Let p be -1*(-4 - 12/(-4)). Let v(j) = 4*j**2 - 3*j + 2. Let x be v(p). Solve -5*y + 9 = -2*k, -x*k = -k - y - 3 for k.
3
Let x = -186 - -195. Solve 2*d = -2*d + 4*o - 16, -d - 4*o - x = 0 for d.
-5
Let k be (-13)/((-20)/110 - 9/11). Solve 2*j - 28 = -5*t, 1 = 2*j - 5*t + k for j.
4
Let r(b) = -b**2 - 9*b + 7. Let z(w) = w**2 + 10*w - 7. Let k(x) = -3*r(x) - 2*z(x). Let f be k(-8). Solve -2*o = 4*p - 18, -p - 4*o - f + 23 = 0 for p.
2
Suppose 5*j - 5 = -2*v, -3*j + 3 = 4*v - 0. Suppose 4*y + 8 = 4*o, -5*y = -3*o + 2*o + 2. Solve 3*b + i + 15 = -v*b, -5*i - 15 = y for b.
-4
Let u = -76 - -81. Suppose -u*x = -q - 51, 34 = 3*x - 2*q - 2*q. Solve f + 7*m + x = 2*m, -5*m - 15 = 2*f for f.
-5
Let u(o) = -3*o**2 + 2. Let v be u(2). Let p = v - -12. Solve -p*k - 2 = 2*y, -k = -y - 3*k - 4 for y.
2
Let j(c) = -2*c**2 + 5*c + 6. Let l be j(-1). Let h = l + 4. Solve -4 = -2*g - h*x, g - 2*x - 2*x = 2 for g.
2
Let k(y) = 0*y - 1 + 3 - y. Let j = 1 - 1. Let g be k(j). Solve w + 2 = 0, 0*o = 5*o + g*w - 11 for o.
3
Let y = 19 - 39. Let v be (y/8)/(1/(-2)). Suppose 0*g - v*g + 55 = 0. Solve 2*h = j - g, -2*j = -2*h - 3*h - 27 for h.
-5
Suppose 0 = 3*a - 4*y - 23, a - 2*a - 2*y = -1. Let m(h) = 3*h - 4. Let b be m(7). Solve -2*v + 6*v - 22 = a*g, -g = -5*v + b for v.
3
Suppose -4*f = 4*w - 5*f - 11, 0 = -2*w + 4*f + 16. Suppose -3*z = 4*r - 29, r - 5*z = -8 - w. Solve 3*s - r = -2, -4 = -3*i - s for i.
1
Let c be (0 - 114/(-10)) + 2/(-5). Let z = -11 + c. Solve 2*k + 6 = -0*k + 2*x, -5*x - 5 = z for k.
-4
Suppose -5*r = -6*r + 2. Let p(u) = u**2 + 11*u + 26. Let f be p(-8). Solve 0 = -o - 3*l + r*l, f*l = -o for o.
0
Let f(n) = -n - 8. Let u be (39/(-6))/(4/8). Let x be f(u). Solve x*p = -y, -p = y + y for p.
0
Let v(p) = p**3 + 7*p**2 + 4*p - 8. Let y be v(-6). Let c be 56/y*1 + 3. Let w = -3 - -6. Solve -2*s + w*x = -c, 3*s = 3*x + 7 + 14 for s.
4
Let q(p) = -3*p + 2. Let o = -111 - -111. Let d be q(o). Solve 4*w - 3 - 17 = 0, 3*w = d*r + 11 for r.
2
Suppose 0 = 3*z + 2*v, 0 = 6*z - 8*z - 3*v. Solve z*n - 5*g + 21 = -4*n, 3*n + 3*g - 18 = 0 for n.
1
Suppose -5*i + 3*v - 6*v = -140, v = 5*i - 120. Solve -3*u = -3*m + 24, 2*u = 4*m + m - i for m.
3
Let l(i) be the first derivative of -i**2/2 - 4*i + 20. Suppose -3*v - 2*v - 40 = 0. Let s be l(v). Solve 4*c + s*a = 40, -5*c + 2*a - 5 = -4*c for c.
5
Suppose 4*z - 3*t - 31 = 0, -20*z - 4*t = -19*z + 16. Solve q - 1 = -z*m - 16, 2*m + q + 5 = 0 for m.
-5
Suppose t = -4*q - q - 20, -4*t + 3*q + 35 = 0. Let w(x) = x**2 - 3*x - 10. Let b be w(t). Let j = 21 - -2. Solve -5*k + u + j = b, 0*k - 5*u - 15 = -5*k for k.
5
Let h = -43 - -48. Let j be 24/(-60) - (-27)/h. Solve -d + 1 = -i, i + 3*d = j*i + 3 for i.
0
Let k = -922 - -934. Solve 2*v - k = 2*y, -y - 15 = -6*y - 4*v for y.
-1
Let c = 464 + -459. Solve q = 2*i - 15, 0*q + 15 = -2*i - c*q for i.
5
Let w(u) = -u**3 - 26*u**2 + 56*u + 2. Let j be w(-28). Solve -5*g + 10*p - 16 = 6*p, 3*g + 8 = j*p for g.
0
Let u = 21 - 18. Suppose -4*b + 2*z = 4*z + 10, -z = -3*b - 5. Let p be 3 + (b - 1) + 5. Solve p*x - u*t + 10 = 0, 0*t - 40 = 4*x + 4*t for x.
-5
Let x(a) = a**3 + 7*a**2 - 5*a + 3. Let s be x(-7). Let j = 41 - s. Solve -4*c - 2*g + 8 = 0, 3*g + 1 = j*c + 4 for c.
1
Let w be (-21)/35 - ((-52)/(-10))/(-2). Solve -5*x - 15 = -w*b - 2, 4*x = -2*b + 4 for b.
4
Let s be 112/11 + 8/(-44). Suppose 5*g = -s*g. Solve l - 2*c = -0*c + 2, g = -2*l + 3*c + 2 for l.
-2
Let x(i) = -4*i + 84. Let g be x(21). Solve -4*p = 4*s - 16, g*s - 10 = -5*p + 5*s for p.
3
Let m be (39 + 4/(-2))*-2. Suppose a = -z - 49, a - 2*z - z + 29 = 0. Let f = a - m. Solve 5*h = -5*n - f, -2*h + 8 = 2*n - 5*h for n.
-2
Let t be (-2)/4*(-7 - -3). Let w(z) = z - 4*z - z + 5*z. Let f be w(3). Solve 2 = -t*o - f*x, 0 = -3*x + x for o.
-1
Let v be -2 + (405/25 - (-1)/(-5)). Suppose 4*r - 22 = -v. Solve -10 = -p - p, -r*q = p - 1 for q.
-2
Let z(v) = v - 1. Suppose 2*h + 3*h = 25. Let r(q) = q**2 - 3*q - 7. Let p be r(h). Let j be z(p). Solve -2*o + j = 3*b - 14, b = 4*o - 18 for b.
2
Let u = -40 - -70. Suppose 0 = -24*t + u*t - 6. Solve -n + m = -t, n + m = 5*n + 2 for n.
-1
Let y(q) = -q**2 - 6*q - 5. Let l be y(-3). Suppose -3*o = o + 4, 4*x + l*o = 28. Solve -4 + x = p - v, -3*v - 11 = -4*p for p.
-1
Let c be (-4*3)/(-6)*1. Solve 3*w - 10 = 5*m - 26, m + c*w + 2 = 0 for m.
2
Let r = 283 + -281. Let g = 6 + -6. Let c be -1 - -1 - -5*1. Solve a = -3*p + 7, -3*a + r*p - 3*p + c = g for a.
1
Let d = 19 - 17. Suppose 6 = f + d*f. Suppose 0 = -5*t + 2 - 17, 0 = -4*j - 3*t + 3. Solve 0 = y + j*v - 7, -4*v + f = 2*y + 3*y for y.
-2
Let s be 2259/207 + -7 + 4/46. Let o be 16/6 + 2/6. Solve -w + 7 - o = z, 3*w = -s*z + 15 for z.
3
Suppose -3*d + 179 = -286. Let s = d + -123. Solve -3*a - s = 5*p - p, 5*a + 35 = -3*p for a.
-4
Suppose -2*k + 4*w + 24 = 0, 3*k - 3*w - 7 = 7*k. Solve -3*b = j + 15, -k*b - b = -5*j - 3 for b.
-4
Suppose 3*o = u + 3*u + 22, -5*u = 20. Let t = o - -13. Solve -5*k = -4*g, -5*k - 4*g - t = -5*g for k.
-4
Suppose -126 = -77*z + 56*z. Solve -i + 3*b = -2, -3*i + 0*b = -3*b - z for i.
2
Suppose 4*f - 3*w - 5 = 0, 0 = 5*f + 11*w - 14*w - 7. Solve f*t + 2*p - 8 = -2, -12 = -5*t - 4*p for t.
0
Let m = -6 - -8. Let u = -26 - -23. Let g(b) = -b**2 - 6*b - 3. Let o be g(u). Solve a = -k + 1 + 1, -3*a + o = -m*k for k.
0
Suppose 290 = -2*q - 2*n, 2*n = -5*q 