 -2 - 2, 0 = -t*n - 2*c + 12 for n.
2
Suppose 5*y - 3*q - 62 = 0, -1302*y + 50 = -1298*y - 2*q. Solve 25 - y = 3*l + 2*x, -4*l - 2*x + 14 = 0 for l.
2
Let l be (12/(-9))/(4/(-6)). Let v be -11 - -24*14/21. Suppose 35 = 5*a - 3*r, -2*a + 3*r = 2*a - 31. Solve -t - v*g = -30, a*t - 3*g - 3 = l for t.
5
Let t(i) = 4*i + 6. Let y be t(-1). Suppose q = 4 - y. Suppose 13*u + q = 28. Solve -2*r + 12 = -u*h + 4, 3*r - h = 6 for r.
1
Let z(k) = -7*k + 182. Let j be z(28). Let l be j/(-98) + 83/7. Solve -2*f + 6 = 2*i, 2*f - l = -5*i - 0 for f.
1
Let k = 3 - -7. Suppose -f + 55 = k*f. Solve -3*s - 16 = -2*b, 3*s + f*b + 1 + 1 = 0 for s.
-4
Suppose 0 = 5*t - 15, 24*h - 27*h - 3*t + 30 = 0. Solve -h = -5*m - 3*c - 0*c, 4*m = 3*c + 38 for m.
5
Let a(w) = 8*w + 6. Let g be a(0). Suppose 0 = -l + 4*d - 4 + 22, 5*l - g = -d. Solve -3*j = -j + 2*q - 4, -j = l*q - 3 for j.
1
Suppose -102*s = -63*s - 1560. Suppose 128 + 32 = s*v. Solve -6 = 2*y, -2*y + y = v*w - 9 for w.
3
Suppose -f + 4 = -q, -f - 3*q - 2*q - 8 = 0. Let h be -3 + 0 + -12*f/(-4). Let b be (-10)/(-4)*(-24)/(-15). Solve 0 = 2*i - 3*y + 13, -h*i + b*y = 8 + 10 for i.
-2
Let l(q) = -233*q - 464. Let b be l(-2). Solve 3*o = 2*i - 4, b*i - 45 = 5*o - 37 for i.
-1
Let a = -1238 - -1241. Solve -i - l + 4 = 0, -a*l = 7*i - 2*i - 14 for i.
1
Let j(v) = 4*v - 77. Let o(t) = 2*t**2 + 3*t - 42. Let s be o(5). Let g be j(s). Suppose 19 = 2*r + g. Solve -y = -2*z - 3, -2*y - 3*z = -r*z + 9 for y.
-3
Suppose -36*r + 588 = -134*r. Let p(u) be the third derivative of -5*u**4/24 - 9*u**3/2 - u**2. Let j be p(r). Solve 3*s - 3 + 0 = -j*h, 19 = -5*s + 3*h for s.
-2
Suppose -9*h + 1220 = 72*h - 2506. Solve 2*p = 4*o - 18, h = -o + 3*p + 63 for o.
2
Let o = 12904 - 12583. Solve o*u - p = 323*u + 2, 3*p = -3*u - 6 for u.
0
Let i = 0 - -3. Let u = 298 - 278. Suppose 0 = 49*p - 54*p + u. Solve -5*c + 3*m + 12 + p = 0, -30 = -i*c - 5*m for c.
5
Let g be (14/(126/(-27)))/((-21)/56). Solve 5*p + 16 = -3*k + 24, -g = -k - 3*p for k.
-4
Let l be ((-4)/(-3))/(2/9). Let f(u) = 77 + 8*u - 159 + 48. Let k be f(5). Solve -9 = -3*o + 3*b, l*b - 5*b = 4*o - k for o.
1
Let a = -132 - -134. Let t be 16*((-25)/(-20)*a - 2). Solve -4*u + t = -d, -5*d - u + 4 = u for d.
0
Let f(v) = -v**3 + 25*v**2 - 5*v + 130. Suppose 4*t - 97 = 3*r, -47*t + 124 = -42*t - r. Let u be f(t). Solve 0*g - g - 7 = u*y, -2*y = 2*g + 6 for y.
-1
Suppose 0*k - 7*k = 7. Let r be (3 + (1 - 8))*k. Suppose -3*b + a - r*a = -18, b - 4 = a. Solve 0*o + 5 = -2*o + 3*l, b*o + 4*l - 45 = 0 for o.
5
Suppose -2*a = -3*b - 9 - 7, 3*a + 4*b - 7 = 0. Let y = 507753 - 507748. Solve o = s - a, -o = -5*s + 9*s - y for o.
-3
Let p(u) = -27*u + 380. Let s be p(14). Solve -2*r - 2*q = -4*q - 10, -3*r + 5 = s*q for r.
3
Let d = 10285 + -10277. Solve z - d = -r, 3*r - 51*z = -48*z + 6 for r.
5
Let n be (18/(-21))/(-3) + (-329)/(-49). Suppose -5*j + 20 = 5*d, 4*j = 2*d + n + 3. Solve 7 - 4 = -4*c - u, -j*u + 15 = 0 for c.
-2
Let b be (-4)/14 - (-5)/(140/1016). Suppose -4*w = -5*x + b - 11, -15 = -2*w - 3*x. Suppose 4*y - 22 + 14 = w. Solve k = -k, y*s - 5*k = -4 for s.
-2
Let n(o) = -o**3 + 6*o**2 - 5*o + 3. Let t be n(5). Solve 5*a = 2*y - 5, -8*y + 5*y + 3*a + t = 0 for y.
0
Suppose -2*j = -j - 2*i, 5*i + 15 = 0. Let x be (-13 + 9)*j/8. Suppose x*l = 3*c - l - 4, 4*l = -2*c - 4. Solve 0 = 2*o + q - 15, 0 = o - c*o - 4*q + 15 for o.
5
Let m be (-17*1)/(8/24) + 0. Let y = -45 - m. Suppose -5*u - 2*x = -y*x - 20, -12 = -3*u - x. Solve -2*o = 2*j - 14, 0 = 4*o - u*j - 0*j - 12 for o.
5
Let y = -28676 - -28678. Solve 13 = -3*o + 5*s, -y*o + s + 13 - 17 = 0 for o.
-1
Suppose 0 = -5*l - 3*f + 44, 5*f - 1477 = -2*l - 1448. Solve -3*s + l = -3*d - d, 3*d - 3*s + 3 = 0 for d.
-4
Suppose c + 20 = 5*c. Let z = c + -1. Suppose -8*r + 68 = -z. Solve 2*n - l = 11, 0*n - 2*n - l + r = 0 for n.
5
Let j(k) = -2*k**2 - 18*k - 34. Let b be j(-6). Suppose 5 = b*f - 3. Solve -3*q = -0*v + 2*v + 17, f*q - 5*v + 15 = 0 for q.
-5
Let k be (-4)/8*-2 + 58. Let d = -43 + k. Suppose 4*u - z = z - 8, 4*z - d = -2*u. Solve 0 = v - u*v - s - 3, -2*v - s + 9 = 0 for v.
4
Let h be 2/14*-2 + 276/(-161). Let r be h/(12/18)*-1. Solve 0 = v + 4*v, 0 = -2*d - r*v - 10 for d.
-5
Let y be ((-4)/(-6))/(3/108). Suppose -5*w = 637 + 63. Let f = w - -145. Solve 3*a + f*i - 2*i - y = 0, 0 = -2*a + 2*i for a.
4
Let v(y) = -y**3 - 3*y**2 + 56*y - 6. Let d be v(6). Suppose 2*m - 15 = -5*c, 0 = d*c - 7*c + 5*m + 30. Solve 5*o = -c*a + 15, 3*a + 0*a - o - 9 = 0 for a.
3
Let b be (-71 - -83)/(1*4). Solve 4*d - 3*k - 7 - 5 = 0, -9 = -b*d + 3*k for d.
3
Let p = -227 - -351. Suppose p = -2*q + 20. Let v be (15/(-13) - -1) + (-112)/q. Solve -v*l - 4*r - 16 = 0, 0 = 5*l - 0*l - 2*r + 16 for l.
-4
Suppose 3*d + 667 - 676 = 0. Solve 3*m + 5*a + 22 = 0, a = m + 5 - d for m.
-4
Suppose -3*w + 4*h + 7 = 0, h = 3*w - 17 + 4. Solve -7*r + 4 = 5*o - 6*r, -2*r + 3 = w*o for o.
1
Suppose 2*t + 95*w - 92*w - 18 = 0, -2*w = -4. Solve 0 = 3*r + 2*m + 2, 2*m - t = -5*r + 6*r for r.
-2
Let y = 13658 + -13658. Solve 4*q - h - 47 + 72 = y, 0 = -3*h + 15 for q.
-5
Suppose 2 = 4*r - 10. Suppose 0 = l + 5*m - 7, -3*m = -5*l + 2*m + 35. Solve -d - 4*n - 15 = 0, l*d + 6 = 2*d + r*n for d.
-3
Let s be 0*(-4)/220*-11. Solve -5*v - 10 = 13*n, -4*v - 2*n - 8 = -s for v.
-2
Let q be 9/(-6) + (-70)/(-28). Suppose 31 = 15*l + q. Solve -3*n - l*p - p - 3 = 0, n + 11 = 4*p for n.
-3
Let d = -10473 - -10475. Solve -d*j + 5*t + 35 = 0, 61 - 56 = 4*j + 3*t for j.
5
Let f be 9 - (-3 + 3 - -5). Suppose 34 = 5*c + 2*b, c = 2*b - 6*b - f. Solve 4 = -2*m + 4*n, -2*n = -m + 3*n - c for m.
2
Let p = 20 - 17. Let t(f) = -f**2 + 5*f + 2*f - 3*f**3 - 10*f - 8*f**p - 1. Let g be t(-1). Solve 4*h - 4*b + 3 = -5, -g = -4*b for h.
1
Suppose 20 = u + 4*x, -12*u - 5*x = -14*u - 12. Solve u*n + 5*q + 33 = 0, -n - 3*q + q = 12 for n.
-2
Suppose 0 = -42*a + 44*a - 2. Let g be (-5 + -3 + 8)/(a/(-1)). Solve 4*i = 8*i - z - 17, -i + 2*z + 6 = g for i.
4
Suppose 4*z = 2*a - 18, -107 + 101 = 2*a + 4*z. Solve 4*u + 8 - 4 = -a*r, -4*u - 16 = 0 for r.
4
Let q = -741 + 1284. Let g = -541 + q. Solve -l - 5*p = 4 - 25, -5*p + 22 = g*l for l.
1
Let x(g) be the first derivative of 8*g**2 + 17 - 10*g + 1/3*g**3. Let n be x(-17). Solve 2*o - 2*h = -n*h - 11, -7 = 2*o + h for o.
-3
Let g(u) = 3*u**2 + 5*u + 2. Let b = 16 + -20. Let t be g(b). Suppose 5*s = -5*m + t, 3*m = -2*s + 21 - 7. Solve 2*a - d - 7 = 4*d, 0 = -m*d - 2 for a.
1
Let n = -2564 - -2578. Solve -4*l + n = 21*y - 20*y, -4*y - 4 = l for l.
4
Let f(r) = -r - 12. Let x be f(-11). Let s(k) = -48*k**2 + k + 24*k**2 + 0 + 1 + 29*k**2. Let o be s(x). Solve 11 = 3*z - 2*u, -5*u - o = -z - 2*z for z.
5
Let x(v) = 4*v**2 + 141*v + 47. Let t be x(-35). Solve t*d = 5*n + 11*d + 19, -8 = -2*d for n.
-3
Let p be ((-88)/6)/(1/3). Suppose 5*m + 7 = -3. Let o be 24/m*11/p. Solve a + 0*z - 6 = z, 0 = -2*a + o*z + 15 for a.
3
Let p = -16 - -18. Suppose 150*y - 156*y = -72. Suppose 2*w - 7 = -1. Solve -y = -w*q - p*f, 7*f = 2*f for q.
4
Let m = 266 - 252. Suppose -m*z + 5*z = -18. Let i be 1 + (0 - (-1 + 0)). Solve i*y = -l - 7, z*l = 3*y - 0*y for y.
-2
Let p be 11 - -2 - (3 - (-16)/8). Suppose -k + p = 3*k. Solve k*h + 4*s = 20, 2*h = -s - 0 + 11 for h.
4
Let r(c) = -c**2 - 465*c + 8698. Let l be r(18). Solve -m + 3*i - l = -24, -m - 5*i - 20 = 0 for m.
5
Let a(b) = b**2 - 15*b + 91. Let q be a(10). Suppose v - q = -23. Solve 2*r - 4*m - v = 0, 0*m + 3*m = -12 for r.
1
Let z(t) = 326*t + 331. Let j be z(-1). Solve 4*c - 46 = 3*n - 38, j*c + 5 = 0 for n.
-4
Let z = 360 + -355. Let l be -5 - 55/z*-1. Solve 2*q - 8 - l = -4*s, -2*q = 5*s - 17 for q.
1
Let f(k) = -9*k + 38. Let m be f(4). Let w be 3 + m + (6 - 7). Solve w*p + 4*g - 3 = -7, 0 = 3*g + 15 for p.
4
Let y = 4050 + -4045. Solve -4*d = -2*l + 3 + 17, -y*d = -4*l + 28 for l.
2
Suppose 4*g = 4*j - 2 + 42, 38 = -g - 5*j. Solve 0 = -2*u - 4*s - g, 15 = 3*u - 5*s + 2*s for u.
3
Let p be (-2 + 2 - (-18)/(-3)) + -3. Let o be (p - -7)*(-3)/2. Let d(k) = -k**2 + 4*k + 4. Let s be d(4). Solve 2*i = s*i + 4*w - 22, -w + 18 = o*i for i.
5
Let i be ((-35)/(-42))/((-5)/(-60)). Let n be (-38)/(-6) + -1 + (-5)/15. Solve 2*f + t = f - n, t = 4*f + i for f.
-3
Suppose -10*g = -17*g + 1603. Let b = -226 + g. Solve 