c = -5*d + 3*c + 10, -q*d + 30 = c for d.
5
Let i = -4 + 6. Let q be (-35 - 1133/(-33))/(1/(0 + 6)). Let v be i - q/10*(-80)/(-8). Solve 3*g + v = 2*k + 5*g, -5*g = -20 for k.
-1
Suppose -3*m - 4*m = 0. Suppose m = -v + 4*o + 4, 5*v - 3*o + 65 = -0*o. Let y be (-78)/52*v/6. Solve h - 3*w - 2 - 3 = 0, 3*h + y*w = 2 for h.
2
Let c = 192 + -199. Let x be c/2*(-5 - (-189)/49). Suppose 4*n - 23 + 7 = 0. Solve -x*d = w - 17, n*d - 26 = 3*w - w for w.
-3
Suppose -2*l + 141*k = 132*k + 44, 0 = -3*l - 4*k + 39. Solve -2*z = -l*p + 2*z + 14, 0 = -5*p - z - 16 for p.
-2
Let n be ((-395)/25 + (-45)/(-25))*(-2)/14. Solve 6 = 3*u - 3*b, -5*b - 11 + 10 = -n*u for u.
3
Let o = -25465 + 25467. Solve 3*t = -o*h - 21, -3*t + 136*h - 3 = 132*h for t.
-5
Suppose 99 = 91*u - 265. Solve 4*a = u*g + 8, 0 = 3*g - 8*a + 7*a + 10 for g.
-4
Let t(u) = -47*u - 89. Let x be t(-2). Suppose 0 = 2*h + q - 11, 5*h + 0*q + 2*q = 26. Let r = 29 - 23. Solve -h*j = x*w - r, j + 4*j + 9 = 2*w for j.
-1
Suppose 19*d - 16*d = 69. Suppose g + 2*i - 28 = 0, 5*g + 27*i - d*i = 122. Solve 3*c + t - 4*t - 18 = 0, -3*c - 5*t - g = 0 for c.
1
Let y be ((-1)/3)/((-14)/84). Solve y*i = 4*t - 280 + 286, 5*i + 2*t - 3 = 0 for i.
1
Suppose 4*u = a - 21 + 105, -a = 3*u + 119. Let y = -99 - a. Solve 0*k + 3*k = -d + y, -5*k = 5*d - 25 for d.
5
Let j = -190 + 295. Suppose -96*c - j = -101*c. Solve p - 3*x + 8*x + c = 0, -5*x = 25 for p.
4
Let q(x) = -x**3 - 9*x**2 + 68*x + 615. Let n be q(-9). Solve d - n*j = 13, 0 = -5*d + 10*d - j - 23 for d.
4
Suppose -4*f - 2*m - 1020 = 0, -19*f + 18*f - 233 = -5*m. Let o = -250 - f. Solve 4*s = -q + 20, -o*s + 4*s = -3*q + 16 for q.
4
Suppose 22*f - 1035 = -23*f - 405. Solve f - 2 = 2*o + 2*a, 2*a = -4*o + 20 for o.
4
Let f = 7 + -4. Let m(u) = -u - 9. Let q(n) = -n**2 - 2*n + 2. Let o be q(3). Let w be m(o). Solve 0 = -f*b + w*v + 8, -5*v - 23 = 3*b + 14 for b.
-4
Suppose -3*b + 4*b - 2 = 0. Let y be (-6)/4*(8/(-12) - b). Solve -4*p + 5*w = y*w + 9, 3*w + 18 = -3*p for p.
-3
Suppose -15*t - 27263 = -27323. Solve -t*m - 3*g = -8*m - 26, 2*m - 3*g = -16 for m.
-5
Suppose -8*r + 6 = -5*r. Suppose 23 = -u + r*u + 4*q, -q = 4*u - 17. Solve u*w - 5*o + 14 = 4*w, -5*w - 4*o = -28 for w.
4
Let t = 2195 - 2190. Solve -20*q + 25*q + 2*w - 8 = 0, -20 = -t*w for q.
0
Suppose 5*k - 11 = -2*j, -14 = -5*k + 1. Let u be 6 + (12/j - 0). Solve 4*w - l + 11 = 0, 5*w - 2*l + 5 + 8 = u for w.
-3
Let s be 11 + (168/(-30) - (-15)/25). Solve -4 = -t, 5*a - s = 7*a - 4*t for a.
5
Suppose 5*y + 11 = d, 6*y + 10 = 2*d + 8*y. Let q be (-26)/6*5/((-10)/d). Solve 2*p - 3*m = -22, -p + 2*m + 0*m = q for p.
-5
Suppose -197 + 72 = -2*f + r, -5*f + 290 = 5*r. Suppose -3*v = 5*h - 7, -f*v + 64*v - 1 = -2*h. Solve -2*z + 0*z = -s + 2, -2*z = -3*s - h for z.
-2
Suppose 3 = -5*s + v - 4*v, v = -1. Let g(x) = x**2 + 7*x - 39. Let n be g(-11). Solve 4*u + 4 + 7 = -3*l, s = n*l - 2*u + 1 for l.
-1
Let b(j) = -49*j**2 - j + 1. Let c be b(1). Let n = 8150 - 8099. Let g = n + c. Solve -x = -g*t + 7, x = -3*x - 5*t + 24 for x.
1
Let m(r) = 3*r + 11 - 5 + 2*r**2 - 5 - 3. Let q be m(-2). Solve l = -g + 5*l - 11, q = -4*g - 2*l + 10 for g.
1
Suppose -3*p - p + 12 = 0. Let v be 3/p + 1 + 1. Suppose -v*d + d = n - 16, 2*d - 22 = -2*n. Solve x - 2*b + 3 = 0, -4*x - n = -0*x - 2*b for x.
-1
Let y = -5688 - -5696. Solve 4*v - 4*t + 8 = 0, -y*v + 13*v - t + 26 = 0 for v.
-6
Suppose 0 = -2*a + 2*t + 24, -t = 53*a - 57*a + 54. Solve -4*h + 21 = -c, -4*h + a - 8 = 2*c for h.
4
Let x be (3/((-45)/3828))/(2/(-5)). Let g = x + -636. Solve -g*n + 10 = -4*n, -4*w + 10 = -2*n for w.
0
Suppose -32*w - 30*w = 122*w - 920. Solve x + 3*l = w*l - 12, -2*x + 12 = 5*l for x.
-4
Suppose 0 = 2*j - 4, 125*j = 5*p + 121*j - 17. Solve 4*q + 25 = p*k, 15 = 5*q + 45*k - 42*k for q.
0
Let k(r) = 9*r + 63. Let v be k(-5). Suppose -29*w + v = -40. Solve -w*m - 21 + 8 = 5*g, 5*m - 3*g = 14 for m.
1
Suppose -20*w + 23*w + 2*j = 12, -w = -j + 6. Let x = 13 + -4. Solve w = 5*u - 3*t + 6, -4*u + x*u = 5*t for u.
-3
Let x(d) = -3*d + 6*d + 3*d + 10*d - 4*d - 85. Let y be x(8). Solve 0 = 5*a - h + 3 - 20, 0 = -3*a + h + y for a.
3
Let i be (43/(-69) + (-1)/23)/(1/(-3)). Solve 0 = i*u + t - 10, -5*t + 6 + 20 = 2*u for u.
3
Suppose 3*m + 43 = 33 + 25. Solve c + m*g - 19 = -0*c, 3 = g for c.
4
Let m(q) = -14*q**3 - 3*q**2 - 2*q. Let u be m(-1). Suppose -40 = 3*t - u*t. Solve k + 0*x + 3*x = -t, k - 2*x = 6 for k.
2
Let z be (-36)/6 - (9 - (4 + 13)). Solve -25 = 5*r - z*h - h, h = r + 5 for r.
-5
Let j = 277 + -261. Suppose -12*q + 20*q - j = 0. Solve 12 = -4*i, 4*r - 3*i - q*i - 7 = 0 for r.
-2
Suppose -5 = -k + 4*x - 2, -12 = -4*k - 5*x. Suppose 10 = 5*g, -33*w + 28*w = 2*g - 99. Let s = 19 - w. Solve s = -2*d + 5*d - k*n - 6, n = -3*d + 14 for d.
4
Suppose 0 = -3*s - 9*s + 252. Let g be (13 + -9)*s/28. Solve 5*o = l + 8, 2*l - g*o = -2*l + 2 for l.
2
Let f(v) = -4*v + 127. Let t be f(-18). Suppose t*x - 6 = 197*x. Solve 0 = 2*p - 5*m + x*m, -4*m = -p + 12 for p.
-4
Suppose 3*n + 5*x = -11, 5*n - 11*x = -7*x + 31. Suppose o = -d + 2 - 4, -d + n*o = -14. Solve 1 = 3*z - d*m, -3 + 5 = 2*m for z.
1
Let i(p) = -p**2 + 34*p - 68. Let j be i(30). Suppose 4*t - 3*y - 21 = 0, 2*t + j = 5*t + 5*y. Solve 0 = -2*l - 4*x, -5*x - t = 1 for l.
4
Suppose 0 = -426*u + 408*u + 126. Solve 2*p - 105 + 97 = -2*d, 4*d - 5*p = u for d.
3
Let p = -7242 + 7244. Let b = 8 - -2. Solve -3*i + 1 + 3 = z, p*i - b = 3*z for i.
2
Let i(b) = 2*b - 23. Let x be i(8). Let w be 78/273 - (12/x + 0). Solve -r - 3*t - w = 7, 5*r - 2*t = -11 for r.
-3
Suppose 173*d - 4*v = 174*d - 16, 3*v = -5*d + 12. Suppose -u + 20 = 4*u. Solve u*x - 5 = 3*t - d*t, -10 = -5*t + 3*x for t.
5
Let w be (4/(-38) - (-106)/(-76))/((-15)/30). Solve 5 = r - 4*m, -w*r + 3*m = -1 + 4 for r.
-3
Suppose -3*q + 2 = -4*q. Let h be (-3 + 2)*-2 - q. Let b = 5229 - 5227. Solve i = -3*r - 4, -h*r - 1 = -r - b*i for r.
-1
Suppose 2*c = -0*c + 36. Suppose -2*k = -4*k + c. Suppose -21*x + 9*x = -144. Solve -2*t = 2*n + x, 4*t + 0*n = n - k for t.
-3
Let z(g) be the first derivative of -17 + 47*g - 5/2*g**2. Let w be z(9). Solve -x + 6 = -w*d, 0*x - 3*d + 1 = -4*x for x.
-4
Suppose 29 = 2*c - 79. Let m = 61 - c. Suppose 2*d + 75 = m*d. Solve y + 2 = 2*r, 6*y - 5*r = y - d for y.
-4
Suppose 0 = 66*u - 48*u + 378. Let q be (-3)/((-8)/((-560)/u)). Solve -2*d + q = 0, n + 2*d = 6 + 4 for n.
0
Suppose 348*t - 361*t = 17 - 82. Solve 5*z + 4*d = z, 4 = -t*z - 3*d for z.
-2
Let k = -12 - -17. Suppose 2*s - 15 = k*o - 2, 3*o = -s - 10. Let f be o + 22 - (2 + -4). Solve 2*v - 3*v + 16 = 4*b, -3*b + f = 3*v for v.
4
Suppose -3318*f - 66 = -3340*f. Solve 2*p - 16 = -4*m, -f*m - 40 = -52 for p.
0
Let c(q) be the third derivative of q**6/120 + q**5/10 + q**3/3 - 4*q**2 - 4*q. Let y be c(-6). Solve 5*x - 3*u = -14, -2*x - 4*u + y*u = 12 for x.
-4
Let s = -27754 + 27754. Solve -22*n = -w - 23*n, s = w - 2*n + 3 for w.
-1
Let s be 7175/(-49) + 4/(-7). Let m = -138 - s. Solve -m = -3*c, 4*f + 4 + 2 = 2*c for f.
0
Let n = -29 - -33. Suppose -n*i + 137 + 223 = 0. Let u = 96 - i. Solve 0 = 5*k - 2*j + 14, k + 3*j = -j + u for k.
-2
Suppose v = 3*a + 4 - 1, 3 = 5*v - 3*a. Suppose -n + 4 = -v*n. Suppose n*y + 3*t - 11 = 0, -2*t = -y + t + 14. Solve s = -4*o + 3*s + 6, -27 = 2*o + y*s for o.
-1
Let r be ((-32)/3)/(12/108*-6). Solve 20*i + 2*o = r*i - 16, 0 = -4*i + 3*o + 4 for i.
-2
Suppose -2*i - 4*c + c + 22 = 0, 3*i + 2*c - 28 = 0. Suppose -3*p + 4 = -2*a - 0*p, -i = -4*a + 2*p. Solve 5*n + 2*j - 16 = 0, 5*j - 2 = n - a*n for n.
4
Suppose 4 - 13 = -3*w, 0 = u - w + 6. Let y be u/(-6) - 138/(-12). Solve 3*k + y = -5*b - 0*b, 5*b + k + 4 = 0 for b.
0
Let f = 3884 + -3882. Solve 3*r = 4*m + 11, 0*r - f = 4*r + 3*m for r.
1
Let h(a) = -a**3 + 25*a**2 - 19*a - 115. Let n be h(24). Solve -7 = -4*u - g - 3, 2*g + 5 = n*u for u.
1
Let z(r) = 0 + 2 + 5414*r - 2*r**2 - 5396*r. Let w be z(9). Solve 5*h + 3*g - 27 = 0, -2*h = -0*h - 2*g + w for h.
3
Let n(o) = -o**3 + 13*o**2 - 19*o - 31. Let j be n(11). Let q be (-4*j/20)/(3/(-30)). Solve -r = -5*f + 17, 0 = q*r - 3*r + 5*f - 23 for r.
3
Let j be 13 - ((-110)/(-5) - 14). Solve 0 = j*w - d - 8, -4*w + 3*w + 4 = d for w.
2
Let m = -211 + 233. Let k(g) = 7*g - 132. Let p be k(m). Solve p = 4*h + 2*q,