9 = 4*i, 5*i = 3*i + 5*t - x for i.
-4
Let u be (-8 - 1)*4*(-12)/(-8). Let y be (-15)/20 - u/8. Solve -y*l + w = -2*l, 12 = 3*w for l.
1
Suppose 4*w - w = 2*b - 4, -3*b + 6 = -2*w. Let i = -236 - -240. Suppose -3*v + 2 + 5 = i*x, 16 = x - 4*v. Solve -5*d + 4*h - 20 = -4, w = x*d - 4*h + 12 for d.
-4
Let m be (55/(-22))/((-2)/(-4)) - (16 + -47). Solve -10*t + 9*t = -6*o - 33, 4*o + m = 2*t for t.
3
Suppose 444 = -23*q - 545. Let u be q/(-215) + 27/15. Solve -z = -3*s + 7, -u*s = -0*s - 4 for z.
-1
Let m be (-7)/(-4)*(-3 - -7). Suppose 3*z + 10 = -i + m*z, -5*i = 4*z - 22. Solve -11 - 14 = 5*v, i*g + v = -9 for g.
-2
Suppose 2*r = -3*u - 8 - 1, -5*u - 40 = -5*r. Solve n = -2*k - r*n + 8, -k - 5 = -n for k.
-2
Let q(w) = -19*w**3 + 2*w + 1. Let n be q(-1). Solve 4*x - 5*j + n = 0, x = 5*x - j + 10 for x.
-2
Suppose 0 = 23*g - 45*g + 242. Solve 4*z = 3*o + 21, -3*o + 2 = g for z.
3
Let h = 10 + -8. Suppose 1 = j - 4. Suppose 2*f + 2*k + 0*k = h, j*f - 25 = 5*k. Solve -3*z - f = 3*b, 3*z - 5 = -b - 0*z for b.
-4
Let g be ((-3 - -3) + 3)/1. Let z(p) = 11 + 127*p + 120*p + p**2 - 251*p. Let s be z(3). Solve -g*x = 5*c - 17, s = -0*x + x + 4*c for x.
4
Suppose h + 40 = w, -2*h - 68 + 2 = 5*w. Let v = 41 + h. Solve 4*a - 5*k - 14 = 0, 0 = -v*a + a - k for a.
1
Let g(c) = 2*c**2 - 18*c + 54. Let z be g(4). Suppose -z = -d + 3*s, -18 = -14*d + 9*d + 2*s. Solve k = 0, 3*l - 6 = d*k - 21 for l.
-5
Suppose -5*y = 2*b - 2, -8*y + 7*y = -5*b - 22. Suppose -w = -4*r - 8, y*w - 10 = r + 4*r. Solve w = -2*s - 2*v + 8 + 2, 4*v - 16 = -2*s for s.
2
Suppose 48*h = 59*h - 50*h + 156. Solve -66*l + 61*l - 5*u = -25, -h*l = 3*u - 15 for l.
0
Suppose -4*z + 59 = 3*b, -3*b = -5*z + 2*b + 65. Let a = -753 + 756. Solve -z = t + a*g + g, -20 = 4*t + 4*g for t.
-2
Let j = -9 - -16. Let i(f) = -f**2 - 6*f + 5. Let z be i(-5). Let b be (-15)/5 - (-3 - 0). Solve 2*a + 4*h - z = b, 2*a + j*h - 2*h = 10 for a.
5
Suppose -2*i + 7 = 5*t, 3*t - i - 1 = 4*t. Let j = 171 + -161. Suppose 143 = 17*s - j. Solve -5*a + s = t*d - 4, -3*d - 4*a = -11 for d.
1
Let t be (-3536)/(-5) - (-4)/5. Suppose 11*p - t = -708. Solve 4*x = 5*n + 21, p = 6*x - 7*x + n + 5 for x.
4
Let q be (3/(-12))/((135/(-940))/27). Solve 17 = -5*o + b, 42*o = q*o + 5*b + 35 for o.
-4
Suppose 866 = -11*a + 85. Let i = 77 + a. Let s be (i/(-15))/(2/(-10)). Solve -6 = -s*x + 2*z, 5*x - z = -5 - 0 for x.
-2
Let k be 2/(-6)*-3 - (-4 + 7 - 3). Solve -3*c - a = -k, -1 = 5*c + 5*a + 14 for c.
2
Suppose -u - 207 = -6*q + 3*q, 5*q - 417 = 2*u. Let p = u - -217. Solve z + y = 5, 3*z + y = 4*z + p for z.
2
Let m(a) = -98*a**2 - 2059*a - 21. Let b be m(-21). Solve 2*y + 2*u + 6 = 0, 196*y - 193*y - 4*u + 9 = b for y.
-3
Let k(n) = n**3 - 5*n - 2. Let f be k(-2). Solve -h + 6 = 2*h + 3*i, f = -3*h - 2*i + 6 for h.
2
Let f = -2457 + 2463. Solve -4*v = -3*o + f, 31*v - 2*o - 7 = 32*v for v.
-3
Let j = -25979 + 25982. Let o be 2*3*6/9. Suppose 3*r - 20 = 5*g, o*g = 2*r - 0*g - 12. Solve 2*v - 3*h - r = h, -j*v - 12 = 3*h for v.
-1
Suppose -2*t = i + t - 11, 5*i + 3*t = 91. Suppose -2*b + 3*d - d = -i, 2*b - 25 = 3*d. Solve a + b*r = -30, r + 31 = -4*a + 6 for a.
-5
Let h(p) = 16*p - 36. Let x be h(6). Suppose 69*q - x*q - 162 = 0. Solve -5*g + 4*y + q = 0, 0*g - 5*y = -g + 12 for g.
2
Let o(j) = -j**3 + 4*j**2 - j - 4. Let a be o(3). Let i = -4087 + 4092. Solve -5*l = -i, -a*x - 2*l = -4*x - 6 for x.
-2
Suppose -2*b - o = -13, -2881*b + 2883*b + 5*o - 25 = 0. Solve 0 = 5*p + b*a + 30, -p + 143*a - 146*a - 8 = 0 for p.
-5
Suppose 7*w - 9*w = 0. Let v(d) = -371*d + 12245. Let h be v(33). Solve -3*p = -4*j - 24 + 10, h*p + 4 = w for j.
-5
Let y be (-1*2/3)/(20/(-90)) + 0. Let h = 24 + -10. Solve -4*g = m - 6, 2*g + y*g - 2*m = h for g.
2
Suppose -20*y - 1512 = -23*y - 33*y. Solve -12 = -39*h + y*h, 5*h = 5*d - 15 for d.
-1
Let x = -519 - -955. Suppose x*r + 12 = 439*r. Solve -m - 29 = r*m + 3*p, -p = 3*m + 15 for m.
-4
Let s be (-1)/(0/2 - (-18)/180). Let c be -45*1/(-6)*(-8)/s. Let p(f) = f**2 + 6*f - 5. Let a be p(-7). Solve 13 = -v + 3*j, -a*v = -2*j + 4*j - c for v.
-1
Let d = -5 - -9. Suppose -v = -a + 2 + 6, -d*a + 34 = -3*v. Let n = -71444 + 71444. Solve n = -3*p - 4*s + 3*s - 17, -2*s - a = 0 for p.
-4
Let a(y) = -3*y**2 + 0*y**3 - 90 - 4*y + 0*y**3 + 89 - y**3. Let n be a(-2). Solve v = 5*f - 7 - n, -25 = -2*v - 5*f for v.
5
Let c be -3 + 13/((-156)/(-96)). Solve c*u - 4*n = -27, 0 = 2*u - 7*n + 2*n + 21 for u.
-3
Suppose 4*d = 9*d - 315. Suppose 0 = t - 0*t - d. Suppose 5*g = -4*g + t. Solve 0*u + 2*u - 5*b + 14 = 0, 2*b + g = 5*u for u.
3
Let x be (-3)/(-1) + -2 - -4. Let q(c) = c**3 - 4*c**2 - 4*c - 3. Let t be q(x). Suppose 14*r - 15 = 13. Solve t*v - r = 2*f, -3*v = -3*f - 4*v - 15 for f.
-4
Let v be -15 + (0 + -3 - -7). Let p = -24 - v. Let g = 19 + p. Solve -3*l - 7 = -j, g*l + 3*j = 5*l - 19 for l.
-4
Let q(x) = x - 4. Let k be q(4). Suppose 0 = 4*s + v, 2*s + k*v = 5*v. Let l be ((-1)/2)/((-2)/40). Solve -4*y - 2*m = -0*m + l, 2*y + 2*m + 4 = s for y.
-3
Suppose 3*y - 7*n + 3*n + 8 = 0, -11 = -4*y + n. Solve 4*x - 10 = 2*z, 38*z - 3*x + y = 33*z for z.
1
Suppose 3*l = -3*h - 0*l + 30, -38 = -3*h - 5*l. Suppose -3*y = -y - h. Solve 6*j = j + 5*m + 25, -4*j + 6 = y*m for j.
3
Suppose -5*f = -3*b + 5*b - 32, 0 = 4*b + 2*f - 80. Suppose b = -37*g + 169. Solve 0*v - 4*v = -16, -g*a + 4 = v for a.
0
Let p be (5/(-3))/((-1)/2 - (-7)/42). Solve -3*r = p*c - 2*r + 27, -5*c + 2*r - 21 = 0 for c.
-5
Let u = 3244 + -3244. Solve 5*k = 4*c - u*c + 9, 5*k - 25 = 0 for c.
4
Let k be ((-324)/(-10))/((-8)/(-20)). Let r = -81 + k. Suppose 5*p - 25 = -3*y, r = -2*p + 2*y + 9 + 1. Solve 4 = 2*o - 2*q, 3*o + 2 = 4*o + p*q for o.
2
Let l = 28 + -10. Let t = -57 + 43. Let v = l + t. Solve -v*u = -3*u, -3*n + 3*u - 6 = 0 for n.
-2
Let h(m) = -6*m + 152. Suppose s + 2*s - 2*p - 85 = 0, -4*p - 45 = -s. Let i be h(s). Solve -10 = 2*b, -5*f + i*b = -1 + 16 for f.
-5
Let l(o) = -5*o + 43. Let w be l(7). Suppose -w = 5*f - 4*r, -2*f = -8*r + 7*r + 2. Let c be (-30)/(-9)*12/10. Solve c*p - 32 = -5*v, f + 3 = -3*p + 3*v for p.
3
Let j(n) = -4*n + 63. Let d(v) = v**3 + 4*v**2 - 14*v + 3. Let s be d(-6). Let i be j(s). Solve 4*x = 3*a - a + 20, 0 = i*a + x + 9 for a.
-4
Let n(d) be the third derivative of d**4/6 - 5*d**3/6 - 9*d**2. Let p be n(3). Suppose -5*k = -4*k - p. Solve 0 = -4*q - q + 4*f - k, -2*q - f - 8 = 0 for q.
-3
Let b = -41 - -49. Suppose -2*n = 4*t - 4, 3*n - 4*t = -8*t + b. Solve -w = -d - n*w - 10, -2*w - 18 = -5*d for d.
2
Let v(r) = -6*r**2 - 3*r + 1. Let t(p) = -p**2 + p + 3. Let i(y) = 2*t(y) - v(y). Let o be i(-1). Solve -4*z = 5*u + 17, -4*z + o*u = -0 + 8 for z.
-3
Suppose -2*k + 19 = 2*k - 3*d, -k = -d - 5. Solve 5*w = 20, -k*q = 6*w - 8*w + 12 for q.
-1
Let l(p) = 10*p**2 + p + 1. Let s(d) = 19 - 10 - 3*d**2 - 9. Let o(m) = -2*l(m) - 7*s(m). Let t be o(7). Solve -3*a = b + 7, 3*a = a + 5*b - t for a.
-4
Let f(d) = d**2 - 5*d + 6. Let n be f(5). Suppose 5*a - 33 + 93 = 0. Let q be a*(-6)/12*(-2)/(-4). Solve q*j - 18 = 2*t - j, -2*t = -j + n for t.
-1
Let h(v) = v**2 + v + 2. Let y be h(-1). Suppose -f = y*f - 15. Suppose 0*q = 2*q - 2*i - 18, -2*i = -5*q + 30. Solve q*b + 3 = -f*g, -7 = -5*g + b - 0*b for g.
1
Let m = -23065 - -23074. Solve c + 3 = -7*o + 6*o, m = 2*o - c for o.
2
Let o(g) = -g**3 - 12*g**2 - 6. Let l be o(-10). Let x = l - -209. Solve -3*i - 3*y = 0, 2*i - 3 - 1 = -x*y for i.
-4
Let p be 15/(-5 - -65)*(-4 + 4). Solve -3*w = -26*r + 25*r - 10, p = -r - 2*w for r.
-4
Suppose -4*t = 10*t + 11998. Let f = t + 861. Solve m = 5*w + 3 + 17, f*m = 2*w + 8 for w.
-4
Let v(r) = -r**3 - 5*r**2 + 4*r + 38. Let s be v(-4). Solve 4*w - 6*w = 3*z + s, 3*z = -w - 9 for z.
-4
Suppose 0 = 5*t - 24*t - 5 + 43. Solve 0 = -2*f - 3*z + 2, -3*z - 18 = -t*f - f for f.
4
Let d(x) be the second derivative of -x**4/3 - 15*x**3/2 - 9*x**2/2 - x + 11. Let f be d(-11). Let t = -6 + 10. Solve -5*u = -0*s + 2*s + 4, s = t*u - f for s.
-2
Suppose -j - 3*p + 34 = 0, -10 + 12 = -2*p. Solve -4*i = -9*i - 2*r - 5, 0 = -4*i + 5*r - j for i.
-3
Suppose 4*m = 2*n - 182, 3*n + 4*m = -93 + 356. Let k = 95 - n. Suppose -16*d + k*d = 0. Solve 5*l - 2*a - 3 + 29 = d, 0 = 5*l - a + 23 for l.
-4
Let f(a) = -5*a + 2*a + a + 55 - 3*a. Let p(v) = -7*v**