*d = -t for n.
2
Let v = 8237 - 8196. Solve -g - 5*c - 10 = 0, 39*g - v*g - 6 = 3*c for g.
0
Let n = -176 - -178. Let u(m) = -4*m - 8. Let c(q) = q + 3. Let r(t) = 10*c(t) + 3*u(t). Let x be r(n). Solve 2*i + 17 = -3*f, 4*f + 20 + 0 = -x*i for f.
-3
Let j(l) = 746*l - 2226. Let s be j(3). Solve b + 3*y = -15, -21*y - s = -18*y for b.
-3
Let q = 18 + -20. Let f be 1 + q + 4/4. Suppose -i = -4 - f. Solve 3*k + 1 = i*n, 0 = -3*n - 5*k + 48 - 11 for n.
4
Suppose -17*f - 30 = -20*f + 3*l, 0 = -2*f + 5*l + 35. Solve 9 = f*j - 4*g, 10 + 1 = 3*j - g for j.
5
Suppose 10*d + 14*d = -5*d + 435. Solve 4*v = -r + 25, -29*r + 27*r + d = v for r.
5
Suppose 2*k - 2*m - 72 = 0, -15*k + 4*m + 113 = -12*k. Let v = -25 + k. Solve 2*u - 3*u - x + v = 0, 2*x = -u + 9 for u.
3
Let t = 34273 - 34271. Suppose -2*b - 7 = -3*b. Solve -h - b = -t*v + 4*v, h + v + 2 = 0 for h.
3
Suppose -5*q - 3 = -6*q. Suppose -6*b = -q*b + 21. Let z be (-2)/b - 286/(-77). Solve 4*s - 3*t = s + 6, -2 = -s + z*t for s.
2
Let o be 9/2 + 152/304. Solve 7*n + o*v = 6*n, -4*v = 4*n - 16 for n.
5
Suppose -5*m + 4*i - 268 = -m, 5*m + 5*i = -375. Let h = m + 77. Solve -2*f - 3*c = -h*c + 11, 4*c - 15 = 3*f for f.
-1
Let m(q) = -q**3 + 9*q**2 - q + 13. Let j be m(9). Let f be 4/6 + j/3. Suppose 0 = -4*w + 2 + 26. Solve 0 = f*a + 5*n - w, -a - 5*n + 6 = -0 for a.
1
Suppose 0 = -223*t + 226*t - 15. Solve -15 = -4*b - t*d, -b + 3*d - 4 = 5 for b.
0
Suppose -2*f + 4*f - 60 = 0. Let r = -90 + 96. Let x be (2/(-6))/(1/6) + r. Solve 10 = 3*t + t + 2*q, 0 = 2*t - x*q - f for t.
5
Let v(w) = 60 + 43 + 8*w - 179 + 44. Let x be v(6). Solve 3*m = 3*y - 15, 5*y - 3*m - x = -7*m for y.
4
Let i(g) = g**3 + 46*g**2 - 69*g - 1029. Let m be i(-47). Solve 0 = -5*b - m*q - 45, 0 = -3*b + 8*b - 5*q + 5 for b.
-5
Suppose 3*i = -u + 2*u + 8, i - 3*u = 0. Suppose 2*y = i*y. Suppose -2*m - 4*p = -3*m + 26, 4*m - 3*p - 65 = y. Solve 4*k = 2*z + m, -4*z + 0 = -4*k + 12 for z.
1
Let y(q) = q**3 + 7*q**2 + q + 16. Let p be y(-7). Suppose -12 = -12*g + p*g + h, 5*g + 3*h - 6 = 0. Solve a = 4*s - 0*s - 19, g*s = 3*a + 12 for a.
1
Let a be -5 - (-543)/21 - 42/49. Solve 4*s - a = -7*p + 9*p, 0 = 5*s - 2*p - 23 for s.
3
Let f(t) = 3*t + 72. Let w be f(18). Let o be ((-2)/3)/((-12)/w). Solve u = -x + o, -u - 4*u + 26 = 2*x for x.
3
Let b = 2685 + -2676. Solve b*o - 11*o = -j + 3, j - 9 = 4*o for o.
-3
Let l = 10016 - 10013. Solve -s = l*c + 2*s, -4*c - 3*s + 4 = 0 for c.
4
Suppose 0 = -p + n + 3, 3*p - 39 = -n - 2*n. Suppose 0*q + p = 2*q. Suppose -42*g = -44*g + 70. Solve 5*k - g = 3*r, -24 = 3*r - q*k + 7 for r.
-5
Suppose -68*z + 38*z = -50*z. Let c(f) = f**3 - 6*f**2 + f - 2. Let h be c(6). Solve -5*x + 6 = -4*k, z*x - h = 3*k - 4*x for k.
-4
Let s(r) = r**2 + 11*r - 26. Let i be s(-13). Let g be (i/(6 - 5))/(-1 + -1). Solve -2 + g = -2*h + q, 4*q = -4*h + 16 for h.
2
Let c(l) = l**2 - 28*l + 79. Let z be c(3). Solve -4*p + 6 = 2*o, 8*p - 12 = z*o + 4*p for o.
-1
Let j be 4*((-426)/(-8))/3. Suppose -5*g - j + 26 = 0. Let o be (g/6 - -1)*0. Solve 0 = 5*r - o*w + 2*w + 19, -2*w + 11 = -5*r for r.
-3
Suppose 0 = -4*v - 0*v. Suppose -336 = 94*n - 91*n. Let i = -110 - n. Solve -3*g + v*g - 2*t = -i, 18 = 4*g - 5*t for g.
2
Let n be (-10)/(-60) - 5/(-4)*2/(-15). Solve -20*q + 21*q - 1 = n, 10 = -3*y - 2*q for y.
-4
Suppose 69*h - 54*h = 0. Suppose h = -1256*g + 1261*g - 70. Solve 0 = -2*t + 2*v - 0*v + 14, 3*v - g = -4*t for t.
5
Suppose -2*n - 7 = -37. Suppose -21*j = -n*j - 30. Solve 1 - 11 = -j*z + 5*b, -4*b - 20 = 2*z for z.
-2
Let a = -107 - 109. Let d = a - -219. Solve -b - 5*y - 2 = -d*y, -19 = 4*b - 3*y for b.
-4
Suppose -5*h + 87 = 2*i, -4*h - 3*i - 1093 = -1171. Solve h = 3*l - y, l + 0*y = -4*y + 5 for l.
5
Let b(s) = s**2 - 8*s + 6. Let u be b(8). Suppose -v - 3 + u = 0. Suppose 4*m - 3*p = 8, -v*p + 18 = 6. Solve m*d - 9 - 21 = 5*w, -2*w - 17 = -3*d for d.
5
Let f = 1 + 5. Suppose -59*v - 15 = -54*v. Let p be (-7 + -2)*1/v. Solve -c = 0, -3 = f*m - p*m + 4*c for m.
-1
Let z be -13 - -5 - -14 - 4. Solve h = 1, -z*h = -5*t - 6*h + 24 for t.
4
Suppose 5 + 25 = 5*m. Let s be (-4)/8 - (-2 - (-3)/m). Suppose 17 = -11*l + 72. Solve 8 = -4*r, -s = -t - 3*r - l for t.
2
Let x be (-2)/(-5) - 63/(-5). Let v = x + -9. Let b(h) = -h**3 + 161*h**2 + 281*h - 87. Let l be b(-2). Solve 4 + 13 = -n - 4*z, -z + v = l*n for n.
3
Suppose 16*y - 11*y - 30 = 0. Suppose 3*m - y*m = 24. Let t be (-28 + 2)*(-12)/m*-1. Solve 0 = 5*l - 2*z + 16 - t, 4*l + 5*z + 8 = 0 for l.
3
Suppose 6*v + 170 = v. Let l = v - -35. Suppose 21 - l = 4*z. Solve 2*a = -3*n - 9, -2*a + 3*n - 2*n - z = 0 for a.
-3
Suppose -4*q + 11*q = 196. Suppose 6*g - v = 3*g - q, -4 = 2*v. Let p be g/((-4 - -6) + -4). Solve 0 = -p*i + 2*x - 10 - 4, 0 = -3*x - 9 for i.
-4
Let k be 35/(-14)*190/(-25). Suppose -11*d = -30 + k. Solve x - n = -3, -d = x + 2*x - n for x.
1
Let h(j) = j**3 + 6*j**2 - 2*j + 7. Let i be h(-6). Let f be (0 - -31) + (17 - 14). Let k be f/8 + 3*6/(-72). Solve m - k*w + i = 0, 3*m = w + w - 7 for m.
1
Let k = 1413 - 1410. Solve 5*g = -k*r - 1, 0 = 3*g - 2*r + 5 + 7 for g.
-2
Let l be (1*4)/(3/(-12)*-2). Suppose 0 = k - 13 + l. Solve 0 = -m - k*w - 20, 2*m - 9 = 5*m - 2*w for m.
-5
Let f = -247 + 241. Let w be -5 + -1 + 2 - f. Solve w*m - z + 10 = 2*z, 15 = -3*m + z for m.
-5
Let g be (-1)/(-2) + (-28)/(-8). Suppose -2*m + 3*v + 51 = 0, -v - 77 = -g*m - 0*v. Suppose m*s = 16*s + 8. Solve 3 = -4*u + n, -s*n - 7 = 3*u - 0 for u.
-1
Let c(t) = t**2 + 10*t + 13. Let x be c(0). Solve -a - 4*o + 5*o = 5, -5*a + o - x = 0 for a.
-2
Suppose -2*s + 1 + 23 = 0. Suppose 4*q - 16 = 4*y, 4*y - q = -19 - 9. Let w = s + y. Solve -w*j + j = 0, 0 = 5*h - 5*j - 20 for h.
4
Suppose -4*u + h = -2*u - 1186, h + 2965 = 5*u. Let m = -589 + u. Solve -3*d = -n - 10, 0 = -d + 3*d - m for n.
-4
Let b = 5 - 11. Let x(w) be the second derivative of -w**3/6 - 3*w**2/2 + 257*w. Let q be x(b). Solve 5*t = 2*h, 4*h = h + q*t for h.
0
Let h(d) = 3*d**3 + 3*d**2 - 5*d - 3. Let y be h(-3). Let l be ((-141)/6*-2)/1. Let s = l + y. Solve 5*b + 4 = 2*b - 5*n, 8 = -b + s*n for b.
-3
Suppose 81 = -33*d - 18. Let n be (-1)/d*5*36/30. Solve n*t + 6 = 4*u, -5*u + 2*t + 5 = -5 for u.
4
Let l = -355 + 355. Suppose l*t + 21 = 7*t. Solve 0 = -t*x + 5*b + 14, 0*x - 2*b - 4 = -2*x for x.
-2
Let d be ((-3)/(-2)*(-2260)/30)/(-1). Let n = d - 110. Solve 0 = s + 5*v - 24, 4*s + n*v + v - 32 = 0 for s.
4
Let l be 2/(-8) + (-82)/(-8). Suppose 7*q = -48 + 90. Let d(i) = i + 6. Let m be d(-3). Solve 2*w = -0*w - m*h + q, 5*h = 5*w + l for w.
0
Let q(v) = v**2 + 8*v - 1008. Let o be q(28). Solve 0 = -0*g - 2*g - 10, -3*m + g - 10 = o for m.
-5
Suppose -3*z - 8 = -m - 5, 5*z = -5*m + 55. Suppose 3 = -3*c + m. Solve 4*i - 2*g + 8 = -6*g, -2*g = -c*i for i.
-1
Let r(k) = 2*k**3 + 62*k**2 - 2*k - 41. Let o be r(-31). Suppose -4*i + 33 = b, 3*i - 6*i - 2*b = -o. Solve 5*d + 2*v = 7*v - 5, 4*v = 5*d + i for d.
-5
Let v be -6 + 5 - (3 - 11). Let i be (12 - 1064/98)/(2/v). Solve 3*x = -i*b - 32, 0 = 3*b - 2*x + 4 + 3 for b.
-5
Suppose 5*m - 4*x + 984 = 0, m - 6*m = 2*x + 978. Let u be (2 + m/12)*(-1 - 2). Suppose 0 = 8*r + 11 - u. Solve -s + 4*b - 12 = 0, -2*s - b - r = b for s.
-4
Let w(r) = -r**2 + 29. Let t be w(-5). Let m(s) = s**3 + 7*s**2 - 41*s - 8. Let n be m(t). Solve n*v = -4*f - 4, -7 = -v + 2*f + 4 for v.
3
Let u be 16/(-20) + 312/65. Suppose -6*m - 6*m = u*m. Solve 2*p + 8 = -2, m = -4*r - 3*p - 19 for r.
-1
Let c be (2 - 5)*(-244)/183. Solve -5*x - 4*v = 5 + 16, -c*x - 2*v - 18 = 0 for x.
-5
Let a(f) = -f**3 + 8*f**2 - 4*f - 3. Let g = 139 - 64. Let m = g - 68. Let p be a(m). Solve -5*b = s + p, -2 = -0*b - b - 3*s for b.
-4
Suppose -4*s + 5*z - 23 = -0*s, -2*s = -4*z + 16. Suppose -671 + 651 = -5*y. Let k be (4 - 22/y)*s. Solve -3*n + 3*c + k = 0, 3*n + 0*c = c - 5 for n.
-3
Suppose 20*h + x - 3 = 17*h, 16 = 2*h - 4*x. Solve 16 = 4*m - u, -9 = -h*m + 3*u + 9 for m.
3
Suppose 63*i = -24*i + 39*i. Solve 8*x + 2*w + 14 = 3*x, x - 5*w - 8 = i for x.
-2
Let a be (-16)/88 + (-180)/(-22) + (-35)/7. Solve -t - 7 = -a*g + 4, 3*t - g = 7 for t.
4
Suppose 3*m + f = -f + 249, f = 3*m - 249. Let o = 88 - m. Solve 2*x - 3*c + 16 = 3, o*c - 30 = 5*x for x.
-5
Let l be (10/6)/((-19)/(-684)*12). Solve a - 20 = l*z, -a - 6*z 