
Let p = -2465 - -2475. Solve 3*s + 35 - 29 = 5*c, -c + p = -5*s for s.
-2
Suppose -74*p + 5*s + 15 = -73*p, -4*s = p + 3. Solve 0 = -5*l + p*m - 25, 0 = -3*l + 5*m - 7 - 6 for l.
-6
Let j(b) = 15*b - 49. Let l be j(13). Let x = 169 - l. Solve -k + 3*k = 5*g + 17, 0 = 3*g + 2*k + x for g.
-5
Let x = 57 + 8. Let p = -63 + x. Solve -24 = 4*v - h - 3*h, 6 = -p*v - h for v.
-4
Let x = -4282 - -4284. Solve -2*a + w - x = 2*w, 0 = -5*a + 4*w - 18 for a.
-2
Let p be 4 + ((-10)/4)/(((-225)/20)/(-9)). Solve 2*r + 7*d + 16 - 13 = 0, -p*d + 22 = -4*r for r.
-5
Suppose 210*u = 207*u + 6. Suppose 0 = -4*a, -a - 3 = u*c - 9. Solve -2*q + 2*w + w = 15, 24 = -5*q + c*w for q.
-3
Let j(n) = 1392*n - 6956. Let z be j(5). Solve 4*r - 2 = 2*g, -g = 7 - z for r.
-1
Let p(x) = 32*x + 3. Let g be p(1). Let f = -16 + g. Suppose -f*w + 8 = -17*w. Solve 2*u = -c - 10, -w*u - 22 = -6 for c.
-2
Let q = 2114 + -2088. Solve 2*l + 5*g = -17, -2*l - q*g = -25*g + 5 for l.
-1
Suppose 0 = -m - 5*s + 7*s + 20, 2*m - s = 43. Solve 4*r - a = 6 - m, r + 25 = -5*a for r.
-5
Suppose -83*b = -120*b + 111. Solve -12 = -3*g + b*h, g - 24 = 18*h - 13*h for g.
-1
Suppose -30 = -2*s + 4*o, -5*s - 162*o = -165*o - 33. Solve -l + 15 = -s*z + 8, 0 = 3*z + 3*l + 27 for z.
-4
Suppose 1402 = -5*k + 5*s - 468, 4*k = -2*s - 1514. Let z = k + 379. Solve -z*o - 4*p = -12, 3*o + 2*p - 10 = -4 for o.
0
Let f be (-2)/(-7) + (-3069)/(-63). Let b be 308/f + (-4)/14. Suppose b*w = w + 3*v + 18, -3*v = -2*w + 9. Solve -i = -5*i + 12, -w*i + 6 = -z for z.
3
Let b be 240/(36 - 28)*-2*(-1)/12. Solve -n = -b*x - 6 - 17, n = -2*x - 12 for n.
-2
Suppose 28*n - 4243 = -3879. Solve 2*l + n = 2*h - 3, -2*h + 10 = -l for h.
2
Let i(x) = 4*x + 49. Let s(n) = n + 12. Let t(v) = -2*i(v) + 9*s(v). Let g be t(-7). Let o = 95 - 90. Solve 5*z - z - 32 = -o*d, -15 = -z - g*d for z.
3
Suppose 12*h - 6*h = 1818. Let j = 306 - h. Solve -s = 3*b - 9, 4*s - j*s + 11 = 2*b for s.
-3
Suppose 5*r = 35 - 15. Suppose r*b = -b. Let l be -1 - (-9 + 1 + b). Solve -4*n = -5*j + l, -4*n + 8 = 4*j - 12 for n.
2
Suppose 0*j - 4*j = -144. Let b(i) = -i**2 - 4*i. Let a be b(-3). Let h be 12 - 5 - 8/4*(-63)/(-18). Solve 5*x - 4*q = j, -4*x - q + a*q + 24 = h for x.
4
Let v(k) = k**2 - 9*k + 17. Let x be 2/9 + (-128)/9. Let c be x/1*1/(-2). Let o be v(c). Solve o*g + 0*h + 6 = h, g = -5*h + 14 for g.
-1
Suppose 0 = 3*f + 6 - 0. Let h be 6 + 4 + -8 - (f - 1). Suppose 0 = 4*l - 7 - 13. Solve 4*w = 2*o - 2, 2*o + 5*w + l = h*o for o.
5
Suppose 1925 = 18*m + 431. Let g = 65 - m. Let o be (-30)/8*24/g. Solve -f - o*i = -i - 7, 4 = f + i for f.
3
Let r(f) = 8*f + 57*f**3 - 58*f**3 + 8*f**2 + f - 6 - 5*f. Let x = -5 + 13. Let t be r(x). Solve 3*b = 3*p - 18, p = 6*p - 3*b - t for p.
4
Let o(w) = w - 16*w + 4 - 4*w + 2*w**2 + 4. Let f be o(10). Solve 3*k + 17 = 3*x - 1, 5*k = 2*x - f for k.
-2
Let j(b) be the third derivative of b**6/60 - b**5/12 + b**4/8 - b**3/3 + b**2. Let i be j(2). Suppose r - 3 = -i*r. Solve 3*c = 5*x - 13, -c + x + 0 = r for c.
-1
Let f be -26 - 5 - (0 - -2 - 1). Let w = f + 42. Suppose -2*q - w = -4*q. Solve 5 = y - q*u + 23, -3 = -u for y.
-3
Suppose 3*g = 3*k - 123, 2*k + k + g = 139. Let s be (24/(-36))/((-2)/234). Let z = s - k. Solve -4*f - z = -5*a, 3*f - f + 3*a - 11 = 0 for f.
-2
Let g be 6/70*15 - (-8)/(-28). Solve -g = -2*m - 7, 2*m = -3*r for r.
2
Let c be (92/(-322))/(2/(-21)). Solve -22*k = -21*k - 4*g + 17, c*k = -5*g + 34 for k.
3
Let u = -2186 + 2188. Solve 3*w + 24 = -7*r - 9, 0 = u*w + 4*r + 20 for w.
-4
Let i = -5466 + 5472. Solve 5*c - a + 19 + 2 = 0, -4*a = -2*c + i for c.
-5
Suppose 2*h - 32 = 4*l, 2*h - 18 = 3*l + 7. Solve -h*k + 2 + 8 = 4*x, -5 = -k - 3*x for k.
5
Let s = -204 + 208. Suppose s*a = -4*a + 16. Suppose -13 = -4*f + 7. Solve a*w - 1 = 3*j, w - 5 = j + f*w for j.
-1
Let j be -21 + 24 + (-12)/(-4). Solve 5*g = 9*g + 2*c + 12, 4*g - c = -j for g.
-2
Suppose -l + 81 = -a + 5*a, 0 = -5*l + 5*a + 430. Let r = l - 70. Solve 5*n + 4*p = 18 + 14, 0 = 3*n + p - r for n.
4
Suppose x = 2*c + 6*x - 14, 2*c - 6 = -x. Solve -5 = 4*k - 3*n, -4*k + n - 17 + c = 0 for k.
-5
Let s be (-1040)/(-56) + ((-2)/4 - (-52)/56). Solve s = 2*r - 5*f + 2*f, 0 = -2*r + 4*f + 22 for r.
5
Let h = -201 + 189. Let q be (-12)/9 - (-4 - (-4)/h). Solve -4*u = -4*r - 36, -6*r + q*r - u = 7 for r.
-4
Suppose 7661 = 61*h + 7539. Solve 23*b - 24*b = -1, b + 1 = -h*n for n.
-1
Let l be (-131)/(-393)*(-78)/(-2). Let r be (-6)/3*(-18)/12. Solve -h - r*h + l = y, y + 5 = 5*h for h.
2
Let o = -10808 + 10811. Solve 0 = -3*x + o*p - 9, 4*x - 2*p = -p - 18 for x.
-5
Suppose 0 = -64*d - 124*d + 940. Solve 3*k = 5*g - 14, 0 = d*g + 4*k + 14 - 7 for g.
1
Let i(l) = l**3 + 8*l**2 + 8*l - 4. Let d be i(-6). Let t(a) = a**3 + 86*a**2 - 78*a - 6. Let g be t(1). Solve -g*h + d = -o - o, -o = h for h.
4
Suppose 0 = -a - 4*h - 16, 5*a - 2*a - 5*h = 37. Let k(f) = -13*f + 858. Let q be k(65). Solve a*i + 3*d - q = 2*d, i = 5*d - 23 for i.
2
Suppose -3*n + 206 = -4*n + 4*z, -4*n = -5*z + 769. Let x = 189 + n. Solve -2*r + x*b + 2 = -7, 2*r - 6 = 2*b for r.
0
Let d(w) = -w - 6. Let y be d(-8). Let b = 273 - 243. Let f be 8/(-2 + b/5 + -2). Solve -6 = y*h + h + 5*v, 5*h = -f*v - 10 for h.
-2
Suppose 0 = 2*z - 2*t - 3*t - 52, 5*z - 4*t - 164 = 0. Let n be 212/8 + 18/z. Solve -3*a - n = -5*p, 0*p + 6 = -2*p - 3*a for p.
3
Suppose 9*d = 8*d + p + 19, 29 = 2*d + p. Let z = -27 - -31. Solve 3*w - 5*l - d = -3*l, 7 = -z*w - 3*l for w.
2
Suppose 9*z = 10*z + 99. Let w be 1/((-3)/z) - -2. Let q = w + -33. Solve 3*l = -2*x + q + 5, 0 = l - x + 1 for l.
1
Let c(f) = 6*f + 119. Let d be c(-19). Solve 3*b = -5*t + 5*b + 10, b + d = -3*t for t.
0
Let y be 2 + (0 - 1) + 13. Let u(d) = -d + 16. Let j be u(10). Suppose -2*g - 3*l + y = -j*l, 4*l + 14 = -2*g. Solve -3*f = -5*o + 11 - g, 3*o = -f + 6 for o.
2
Let x be ((-1)/(-3))/((-5)/(-360)*6). Let w = -13 - -15. Let y be (w/(-4))/((-2)/12). Solve 3*k - q = y, -x*k - q = -2 - 2 for k.
1
Let h(a) = 2*a**3 + 29*a**2 + 13*a - 10. Let k be h(-14). Suppose 4*r = -16, 6 = -2*b - 4*r - k. Solve 5*j - 4*s - 8 = 0, -4*j + 5 = -s + b for j.
0
Let k be 6/(-4) + 1106/28. Let r be ((-88)/(-55))/8 - k/(-10). Solve -4*h + 4*c + r + 20 = 0, -2*h + 15 = -5*c for h.
5
Let l be (-24)/(-30)*(-10)/(-4). Solve 2*f - l = -3*d + d, 0 = f for d.
1
Let r = -4491 - -4499. Solve -7*s + 2*s - 5*j - 10 = 0, 2*j = -r for s.
2
Let p = -4591 - -4603. Solve 3*q + p = 2*o + 10, 2*o + 2 = 2*q for o.
-5
Let c be 2/(-9) - (-58)/18. Let q = -72 + 71. Let t be -2 - -7 - q/(-1). Solve -3*x - 13 = c*p + x, -t*p + 5*x = -24 for p.
1
Suppose -7528 = 7*f - 7542. Solve -3*r - 399*s - 6 = -396*s, f*s + 19 = 3*r for r.
3
Let f be 152/26 - (-14)/91. Suppose -4*w - q + f = q, w + 2*q = 0. Let p be w*(11/(-55))/(2/(-35)). Solve -3*x + 4*u - p = -0*u, 22 = -4*x - u for x.
-5
Let x(f) = -f**3 + 5*f**2 - 9. Let o be x(4). Let l(t) = -2*t + 17. Let s be l(o). Solve 3*v - s*i - 2*i + 16 = 0, -i - 2 = 2*v for v.
-2
Suppose 0 = -f - 278*f + 558. Solve 5*w - 18 = b, 16*b - 4 = 18*b - f*w for b.
2
Suppose 78 = 3*p + 2*y, -p + 24*y + 39 = 29*y. Solve 2*r + 10 = 67*t - 64*t, -4*r = 5*t - p for t.
4
Suppose 90 = 17*h + 5. Solve 0 = y, -2*z = z - h*y - 12 for z.
4
Suppose 306 = -17*l + 578. Solve -15*k + l*k = -5*v - 26, 5*k = 2*v + 5 for k.
-1
Let r be -16 + 1 + -140 + 159. Solve 13*k - 10*k + f = -5, -r*k + f - 16 = 0 for k.
-3
Suppose -49 = -8*o + 63. Suppose n - 2*a + o = 2*n, 118 = 5*n - 2*a. Solve 4*i + 5*z + 41 = 0, -3*i + 6*i + 2*z = -n for i.
-4
Suppose 2*x - 123 = -351. Let v = x + 114. Solve -2*o - 3*y - 17 = v, -2*o + o + 4*y = -19 for o.
-1
Suppose -33*l + 72*l + 46*l + 44*l = 0. Solve -4*w + 2*s + 24 = l, 4*w + 17 = 9*w + 4*s for w.
5
Let z(x) = -15*x**2 + 315*x + 3. Let u be z(21). Let j be 2/(-3) - (-4)/6. Solve v - 2*k = u*k, j = v + k for v.
0
Let x(i) = i**2 - i - 417. Let g be x(-20). Solve 2*t + n - g = -2*n, 2*t - 5 = -n for t.
3
Suppose -2*p - 336 = 5*h, 3*h + p + 333 = -2*h. Let j = 67 + h. Solve -g = t - j, -2*t - 7 + 4 = g for g.
5
Let r(k) = -5*k**2 - 97*k - 36. Let b be r(-19). Solve -z - 11 - 9 = -3*h, b*h + 10 = -4*z for z.
-5
Suppose 239*l - 1596 - 2706 = 0. Solve -l*f = -15*f + 2*u + 11, -2*f + 5*u = 1 for f.
-3
Suppose 3*d - 16 = u - d, 0 = 4*u