Let d be m(3). Solve 2*z - 4*b + 6 = 2, d = 3*b - 6 for z.
2
Let r = -21 - 25. Let t = -8 + r. Let k = t - -57. Solve -2*w - 2*o - 2*o - 16 = 0, 0 = -k*w - 4*o - 18 for w.
-2
Let h = 1472 + -1472. Solve 4*b + 3*y = 32, -4*b + y - 3*y + 28 = h for b.
5
Let g(u) = -93*u - 14132. Let j be g(-152). Solve 5*o + 47 = j*m + 10, 0 = -3*o - m - 12 for o.
-5
Suppose -40 - 194 = -u - 12*u. Solve 14 = 2*q + 4*b + u, 5*q = -5*b for q.
2
Let f be (-22)/(-176) + (-10)/80. Solve f = 2*u - 4*j + 6, 0 = 5*j for u.
-3
Let j(d) be the third derivative of d**5/60 - 23*d**4/24 + 61*d**3/6 - 135*d**2. Let i be j(20). Solve -5*p + 4*h = -i, -4*p + 2*h = -2*h for p.
1
Suppose 4*d + 4*x - 218 = -30, 0 = 4*d - 2*x - 218. Suppose -26*h + 26 = -d. Solve h*a - 6 = 2*l - 0*a, l + 3*a - 15 = 0 for l.
3
Suppose -a - 2 + 6 = 0, -2*i + 2*a + 196 = 0. Let n(y) = -98*y. Let h be n(-1). Let z = i - h. Solve 3*j - 3*b + 6*b = 0, -z*j + 12 = -2*b for j.
2
Let c(z) = -z**2 - 13*z + 21. Suppose 42 = 28*s - 31*s. Let p be c(s). Solve -m + 8 = 2*h, p*h + 4*m - 7 = 4*h for h.
5
Suppose 40*b + 20 = 20. Solve 4*k - 26 = -3*w, 4*w = k - b + 3 for k.
5
Let w(a) = -a**3 - 6*a**2 + 26*a - 9. Let r be w(-9). Solve -5*y + 3*f = f, -2*f - 10 = r for y.
-2
Let i(p) = p**3 + p**2 - 109*p + 16. Let n be i(-11). Solve v = -n*k + 1, -v = v + 8 for k.
1
Suppose 0 = -y - 158 + 157, -6 = -z + 3*y. Solve -2*h - 5 = -z*x, 5*h - 14*x - 4 = -12*x for h.
2
Suppose 915 = 5*a + 3*x + 900, -6 = -2*a - 5*x. Solve u - 2*m + 1 = 0, a*u + 248 - 225 = -4*m for u.
-5
Suppose 3*h - 14 = 7. Let g = 217 + -221. Let a be (-1 - -7) + g/3*3. Solve a*i - 4*f = 10, -4*f - 9 - h = 0 for i.
-3
Let q be 1/(-1)*(2 + 2 - 1). Let m be 15/q - (-6 + (-1 - -1)). Solve -2*k - t + m = 0, 3*k - 2*t = -2*k + 16 for k.
2
Suppose -3*y - 6 = 0, -6*t + 2*t + 5*y + 10 = 0. Suppose -4*w + 3*b = -t*w + 15, -4*w - 25 = -5*b. Solve 4*d - z + w*z = -11, -4 = 4*z for d.
-3
Let s be (2/(-4))/(20 - 5543/276). Solve 0 = 5*d + 2*u - 9 - s, 2*u + 35 = 5*d for d.
5
Suppose 5*c = 4*r - 2407, 807 = -3*c + 2*r - 638. Let s = c + 488. Solve 5*k - 22 = -2*f, -4*f + 0*f + 24 = s*k for f.
1
Suppose -781*c = -702*c - 237. Solve -20 = -2*o - 4*v, c*o - 35*v = -31*v for o.
4
Suppose z = 2 + 1. Let n = -26070 + 26078. Let d(b) = 2*b**3 - 3*b**2 - b + 2. Let y be d(2). Solve 3*t = -7 - n, y*g = z*t + 3 for g.
-3
Suppose 11*x + 6 = 8*x. Let m be ((-3)/((-6)/x))/((-12)/36). Solve -m*q - 4 = 5*b - q, q = -2 for b.
0
Let j(x) = x**2 - x + 17. Let b be j(8). Let l = 79 - b. Suppose 2*a = 5*a - l. Solve -12 = 3*s + 3*g, a*g + 22 = -5*s - g for s.
-5
Let h(j) = j**2 + 7*j - 144. Let u be h(-8). Let f(i) = 9*i - 5. Let t be f(5). Let b be 0/((-6)/15 - u/t). Solve -a - 2 = 5*l - 23, -l - 2*a + 6 = b for l.
4
Suppose z - 13 = 2*o, -4*o = -2*o + 4. Let m be z/(-27)*0/(-2). Solve m = -5*y + 5*n + 5, y - 5*n + 0 - 9 = 0 for y.
-1
Let h(t) = -t**2 - 22*t - 58. Let n be h(-19). Let g be ((-80)/(-24))/(n/(-6)*5). Solve 0 = 3*k + 4*c + 6, -4*k - 6 = g*c - 2 for k.
2
Let b = -10919 - -10929. Solve 5*f - 8 = -4*i, 0 = 7*f - b*f - 4*i + 8 for f.
0
Let t be ((-2820)/180)/(10/9 - 1). Let i = 141 + t. Solve -5 = 4*l - v + 3, -4*l - 2*v - 8 = i for l.
-2
Let t be 9 - (-5)/4*(-3584)/640. Let q be -1*1*1*-5. Solve -1 = -f + t*i - 2, 5*f = q*i for f.
1
Suppose -5*g = -5, 5*k - 2*g - 46 = 2*k. Suppose k*u = -9*u + 75. Solve -u*s - j - 13 = 2*s, 0 = 5*s - j + 17 for s.
-3
Suppose -11*c = -7*c - 184. Let q be (-4 + 7)*(-43)/3. Let o = q + c. Solve 3*m - 3*w = 6, o*m = -2*m + 2*w + 19 for m.
5
Suppose 39*s = 887 + 49. Solve -2*p - 4*v - s = 0, -4*p + 5*v + 6 = -24 for p.
0
Let i = 2842 - 2837. Solve -i*h + 3*h - 5 = -5*c, -c - 5*h - 26 = 0 for c.
-1
Let a be (-180)/(-16) + (-365)/292. Solve -2*v = 5*x - 22, -2*v + a - 12 = x for x.
6
Let h = -951 - -333. Let b = h - -622. Solve -4*q = b*i + 24, -2*i - 18 = 2*q + 3*i for q.
-4
Let l = -45 - -63. Let a be (-1714)/l + 32/144. Let g be (-2)/(-4) - a/38. Solve 4*z = 4*p + 28, 0 = -z + g*z - p - 12 for z.
5
Let f be (-14 - -13)/6*0. Solve f*u = -u + 4*y, 0 = -4*y for u.
0
Let j(z) = -4*z**3 + 8*z**2 - 9*z - 1. Let c(o) = o**3 - o**2 + o + 1. Let n(h) = 3*c(h) + j(h). Let w be n(2). Solve -f - 1 = -w*p, 2 = -4*f + 4*p - 2 for f.
-1
Suppose 43 = 6*u - 47. Solve 5*t + 3 = 3*z, -4*t - z + 16 = u for t.
0
Let g be (-6 + (-99)/(-2))/(6/4). Let y = -24 + g. Solve -2*t = y*f + 6 - 21, -2*f = -5*t - 6 for f.
3
Let q(u) = -2*u**3 - 68*u**2 - 569*u + 22. Let j be q(-19). Solve 9*i = -2*t + 7*i, 0 = -j*t + 3*i for t.
0
Let o = -112 + 129. Suppose 0 = 4*t - h - 15, -10 - o = -4*t + 5*h. Solve -5*j - v + t*v = 17, 14 = -5*j - v for j.
-3
Let p(f) = f**3 - 7*f**2 + 6*f + 23. Let i be p(5). Solve -i*j + 2*u + 15 = 5*u, 0 = 5*j + 3*u - 15 for j.
0
Let s be (-175)/(-20) + (-2)/(-10*(-16)/60). Let z = 3 + -5. Let w be (z + 1)*s/(-2). Solve -4*g - i = w, -2 + 1 = g - i for g.
-1
Let b be (-185)/74*12/5. Let l = 8 + b. Solve -2*i - l*i - 14 = -3*h, -h = 3*i + 17 for h.
-2
Let s be (-2)/(-6) - ((-260)/(-6))/(-2). Suppose 3*q + 2*p - s - 15 = 0, q - 19 = p. Solve q = 3*n + 3*c, 0*n + 7 = 3*n + c for n.
1
Let j(z) = -8*z - 30. Let i be j(-10). Suppose -d = -5*m - 0*m + 244, m + d - i = 0. Let o = 51 - m. Solve 3*b - o = -v, -2*b + 3*b = v + 6 for b.
2
Let f be (-1)/2*(-4)/1. Let z be (-530)/(-110) + 2/11. Suppose 2*k - z*b = 16, 5*k + b - 41 = -1. Solve -5*u + 3*i + k = -7, f*u = -i - 5 for u.
0
Let f(w) = 2*w**3 + 57*w**2 + 81*w + 25. Let o be f(-27). Solve -4*b - 14 = -3*c, -5*b + o = -8*b - 5*c for b.
-5
Let x = -80 + 86. Suppose -k = 2*m + 2, -m - 15*k + x = -18*k. Solve -4*w + 2*v + 14 = m, 21 = -5*w - 5*v + 1 for w.
1
Let p be 8/(3*(-26)/39) - -6. Solve n + w = -7 + 1, -2*n + p*w = -4 for n.
-2
Suppose -1438 - 1092 = 10*h. Let m = h - -255. Solve f - 5 = -0*f + d, m*f - 3*d = 14 for f.
1
Suppose 142 = -199*f + 200*f. Let g = 147 - f. Solve -s = -2*h + g, -h + s = 3*h - 13 for h.
4
Let l = 319 + -1256. Let x = l - -951. Solve -2*c - 6 = -2*t, 2*c + 4*t = 2*t - x for c.
-5
Let d(o) = -o**2 + 5*o + 3. Let j be d(5). Suppose f = -3*z + 1, j*z = -z + f + 13. Solve -z*a - 2 = -4*u, 2 - 3 = -5*u + a for u.
0
Let t(o) = -329*o + 4279. Let v be t(13). Solve 2*a + v = -2*s, -8*s = a - 4*s - 8 for a.
-4
Let m(l) = 1024*l - 12285. Let n be m(12). Solve 2*s + 9 = -s - n*g, 3*s + 9 = 3*g for s.
-3
Let k(v) = v**3 - v**2 + 2*v - 3. Let p be k(2). Suppose 0 = p*f - 5, -5 = -4*r + r + f. Solve 3*h + q = r*q + 18, 2 = -2*h - 4*q for h.
5
Let t = 1500 - 1474. Solve 0 = d - 5*w - t, -11 = -0*d + 4*d + 3*w for d.
1
Let t = 264 - 185. Let f = -75 + t. Solve -6*v + v - 30 = 4*c, 0 = f*v + 8 for c.
-5
Suppose -227*v = -228*v. Solve 2*x = -2*x + 3*i - 14, v = -3*x - 2*i - 19 for x.
-5
Suppose -4*s - 3*k = 4, -3*k - 2 = 2*s - 2*k. Let d = -4 - s. Let i be (-4)/(-14) - (300/(-28) + d). Solve 3*c - 2*n + 5 = -n, 5*n = 2*c - i for c.
-3
Let z be ((-4)/5)/(649/65 + -10). Let r be (z/(-65))/(2/(-5)). Solve -t - 5*q = 16, r*t - q + 8 = -5*q for t.
4
Suppose -7*r = 2*c + 3*c, -24*r = -20*r - 4*c. Solve -2*d = w + 5 - 7, w - d - 2 = r for w.
2
Suppose 2*d + 8 = 4*y, 3*d = -y - 0*d + 9. Let s be (-7 - (-36)/y)*1. Solve 2*q - 18 = 2*b, 0 = -s*q + 2*b + 30 - 0 for q.
4
Suppose -13*n + 3*x - 24 = -10*n, 5*x - 40 = n. Solve -4*s = -5*o - 14, 5*s - 3 = -o - n for o.
-2
Suppose 4*w = 2*d - d - 40, 4*d - 61 = 5*w. Let s be (-10)/((-50)/w)*-5. Solve -3 - 5 = -3*b - c, 3*c = 2*b - s for b.
3
Let s = 18451 + -18411. Solve 15 = -5*u, 59*u - s = 5*y + 64*u for y.
-5
Suppose 11 - 18 = 7*x. Let o be ((4 - 3)*0)/x. Solve 3*w + o*c + 17 = 5*c, -2*w = 4*c + 4 for w.
-4
Let f = 616 + -611. Let j = -8 + 8. Suppose -2 = 2*m + 3*v, j = -f*m + 5*v - 21 + 66. Solve m*g + z = -15, -3*g = -4*z + 38 - 6 for g.
-4
Suppose i + 3*i = -5*j + 4, 4 = 3*j + 2*i. Suppose 13 = h + 3*c, -j*c + 10 = -8*h + 9*h. Solve 3*l = k + 3*k - h, -4*k + 8 = 4*l for k.
4
Let f = -43 - -61. Let c = -41561 - -41564. Solve 0*b + c*d - f = -b, 1 = 2*b - d for b.
3
Suppose 18*u - 6*u = 336. Suppose 34*j - u*j = 702. Suppose j = 11*l - 59. Solve 2*k = 5*m + 27, l = k + 3*m - 6*m for k.
1
Let d be -7 + 9 - (-5 - (34 + -13)). Solve 0 = -3*n + 3*r + 6, -d*n + 23*n - 2*r - 18 = 0 for n.
-2
Let v = 5379 - 5377. Solve -5*s = -v*x, 38*x + s = 35*x for x.
0
Let 