 v = x - f. Solve 4*q - v*n + 4 = -0*n, -q - 3*n - 17 = 0 for q.
-5
Let j be ((-1460)/584)/(-2 + 3/2). Solve 15 = p + 4*l, -5*p + l - j = 25 for p.
-5
Let l = -16725 - -16729. Solve -2*y + 4*y + 2 = 2*c, -l*y = 4 for c.
0
Suppose 34*d + 550 = 84*d. Solve 4*b - z + d = 0, 5*z = -b - 10 + 23 for b.
-2
Suppose 16 - 20 = -2*i + 2*y, 4*i + 3*y = 36. Solve -9 = -3*f, -k + i*k = 4*f + 13 for k.
5
Let u(n) = 2*n**2 + 12*n**2 + 20 - 4*n - 8*n**2 + 6 + n**3. Let b be u(-7). Solve 3 = 2*s + b*w - 5, -2*w = -3*s - 7 for s.
-1
Let v be (-12)/27*(-2)/8*18. Solve v*x = 4*u + 12, 3*u - 20 = 3*x - 29 for u.
-3
Suppose 4*u - 79 = -71. Let y be (-6)/((8/(-2))/u). Solve h = -0*b - 2*b - 2, 0 = -3*b - y*h + 3 for b.
-3
Suppose -s + 188 = 4*h + 1669, 3*h + 1111 = -s. Let z = -367 - h. Suppose -n - n + 16 = 0. Solve z*b + n = -a, -9 = 3*b - 0 for a.
1
Suppose 55 = 12*p - 17*p. Let m(z) = -z**2 - 9*z + 29. Let j be m(p). Suppose 45 = 2*r + j*r. Solve 3*o = -o - 4*b, -b - r = -4*o for o.
1
Suppose 3*a = 27*a - 11424. Let x = a + -473. Solve 4*c + 10 = -5*j - 11, 0 = x*c - 2*j - 13 for c.
1
Suppose 5 = c - s, -7 + 52 = 5*c + 5*s. Let u = 14 + -11. Suppose 0 = u*d + t - 6, -2*d - 5*t - 21 = -4*d. Solve 2*n = f - c, 3*n + 11 + 4 = d*f for n.
-2
Suppose -5*w - 3*j = -27, 5*j + 14 = -2*w + 10*j. Suppose -3*m + 4*k + 1 = 5*k, 3*k = -5*m + w. Solve 4*l + 0*l + 3*i = 16, 2*l - 2*i + 6 = m for l.
1
Let u = -89 + 160. Let w = 35 + 39. Let d = w - u. Solve 6 = -m + 4*v, 0 = -5*m + d*v + 4 for m.
2
Let p = 22909 - 22908. Solve 4 = -j - g + p, -2*j - 16 = -3*g for j.
-5
Let r = -67 - -119. Suppose -y + 3*y - r = 0. Let q be 19 - (-15)/(225/(-210)). Solve -3*p + p = -q*b + y, -23 = 5*p - 2*b for p.
-3
Let w = 654265 + -654263. Let q = -1 + 1. Solve -3*r - i + 3 = q, 4*r - 6 = -0*r - w*i for r.
0
Let z = -128 + 132. Suppose 2*m + 20 = 2. Let v be (1 + -4)*21/m. Solve a + 2*s = v*s - 28, -26 = 2*a - z*s for a.
-3
Suppose 7 = -q + 4*p, -21*q = -18*q - 2*p - 29. Solve 2*l = q - 11, 2*u + 5*l - 7 = 0 for u.
1
Suppose 143*k + 17*k = 320. Solve 4*l = -2*y - k, 2*y + 4 = 10 for l.
-2
Let t be -4 - 0 - (-47)/(-94)*20/(-1). Solve -15 = -t*j + 7*j + 4*a, j - 21 = 5*a for j.
1
Suppose h - 2*h = -12. Suppose 7 = 2*u - 4*z + 9, -8 = -4*z. Suppose 23*i + u - 3 = 0. Solve i = -5*p + 5*r + 6 - 46, -r = -2*p - h for p.
-4
Let n be 17 + -9 + 3/(-3). Let a(k) = -10 - 2*k**2 - 4 - 5*k + 17 + 3*k**2. Let t be a(5). Solve -y + n*h - 15 = 2*h, -t*h + 32 = 4*y for y.
5
Let l = 4278 + -4248. Let n = -32 - -19. Let c = n - -34. Solve 2*f - l = 5*m, 5*f + 2*m - c = m for f.
5
Let n = -52 - -136. Suppose 4*c - 9*z + 6*z + 327 = 0, 5*c + 408 = 4*z. Let u = c + n. Solve 2*b + 3*t = -0*t - 3, u = 4*b - 3*t - 21 for b.
3
Let x = 48429 + -48426. Solve -8 = -x*f - 12*t + 13*t, 2*f + 5*t - 28 = 0 for f.
4
Let w be (42/147)/(-1*(-2)/14). Solve -5*m = 2*s - w, s + m = -2*m + 1 for s.
1
Suppose 18 = -4*x + 4*s + 10, 2*x + 10 = 4*s. Solve -13*a + 9*a - 3*n + x = 0, -4*n - 4 = 0 for a.
1
Let o be (-47)/(-4) - 33/44. Suppose -3*u = -4*d, -8*u + d = -o*u + 15. Solve p + 1 = -k - 1, 4*p - u*k = 0 for p.
-1
Suppose 0 = -s + 95 - 23. Let f be (-6)/((-10)/12*s/160). Solve q + 3*h = -f, q + q + 17 = -3*h for q.
-1
Suppose 0 = 2*l, 10 = -u + 5*l - 23. Let t = -42 - u. Let p be ((-3)/t + 4/(-12))/2. Solve 0 = -5*v + 25, 3*x = v - 17 - p for x.
-4
Suppose 25*o + 39*o = 192. Solve 0 = -2*t + 3*r - 12, -t + 7*r - 16 = o*r for t.
0
Let p be (-535)/2 - (-2)/4. Let h = 270 + p. Solve 5*l + 11 - 1 = 4*z, 0 = -4*l + z + h for l.
2
Let s = 17 - 18. Let l be -3 + s + (-16 - -20). Suppose l = t - 3*t + 6. Solve -3*d + v = 4, 6*d - t*d - 4 = -v for d.
0
Suppose -7 = -i - t + 2, -3*i = -4*t - 6. Let g(h) = 6*h - 31. Let c be g(i). Solve -w - c*a = -7, -3*w + 2*a + 10 = 6*a for w.
2
Suppose 5*d = 8*d - 6. Let g be 6*4/(-8) - -23. Suppose 5*v - 50 = -g. Solve 2*c + v = 3*w + d, 2*w = 3*c + 1 for w.
2
Suppose -5*b - 2*q = -8, -2*q = -5*b + 6 + 6. Suppose 0 = 2*a + 2*t, b*t + 28 = 2*a - 3*t. Solve -2*w + 3 = -a*v - 17, 4*w + 3*v + 4 = 0 for w.
2
Suppose 5*z - 10 = -5*s, -40*z + 36*z = -4*s + 8. Solve -5*t - 4 = 4*a, 2*t - 7 + 5 = s*a for t.
0
Suppose 14*j - 30 = 8*j. Suppose j*o - 2*s - 71 = 0, 8 = o + 2*s - 11. Solve -2*q = 6*n - n - o, 3*n + 3*q - 18 = 0 for n.
1
Let k(r) be the third derivative of r**6/120 + r**5/15 + r**4/12 + 70*r**2. Let c be k(-3). Solve -3 = 4*x - 3*x - s, c*x + 3*s = 9 for x.
0
Let m = -18053 + 18057. Solve 3*t + 13 = -b, m*b + 2*t + 13 - 1 = 0 for b.
-1
Suppose 6*h = 1254 + 120. Suppose -3*q - h - 186 = 5*m, -2*q - 265 = m. Let j = -101 - q. Solve 0 = 3*n - 6, 5*a - 7*n = -5*n - j for a.
-5
Let a(i) = -74*i + 6. Let g be a(-1). Suppose l = -15*l + g. Solve -5*c = -4*s - 15, -l*s = -0*s - c + 3 for s.
0
Let i = 7148 + -7131. Suppose 2*x - 57 = -5*y - 0*x, 2*y = 3*x + 19. Suppose -3*t = -w + 2*w - i, -w - y = -4*t. Solve -4 = -t*l + 2*f - 34, -10 = l - f for l.
-5
Let c be (-35)/(-11) + 72/(-396). Suppose -6*u = -4*u, c*t + 4*u - 48 = 0. Solve -5*v - b = -0*v, -t = -v + 3*b for v.
1
Let w(j) = -28*j + 42. Let s be (-10 - -7) + 6 + 2 + -4. Let t be w(s). Solve 3*p + 1 = 5*b - 1, t = -b - 3*p for b.
-2
Suppose 5254*j + 300 = 5304*j. Solve -3*w = 8*z - j*z + 6, 17 = -2*w + 3*z for w.
-4
Let q(t) = -64*t - 9. Let v be q(-3). Suppose -3*z - v + 39 = 0. Let x be (324/z)/(6/(-16)). Solve 0 = 5*w + j - x, -4*j + 2*j = w for w.
4
Let r(x) = -111*x + 8663. Let d be r(78). Solve 2*c + d*o = 14 - 0, 0 = -3*c + 4*o - 2 for c.
2
Suppose -2 = -7*g - 72. Let r(h) = h**2 + 12*h + 23. Let p be r(g). Solve 4*w - p*x = -29, 3*w + 6*x = x for w.
-5
Let g = 745 - 736. Suppose 391*p - 388*p = g. Solve l = -3*z, 3 + 7 = -z + p*l for z.
-1
Let u = -1610 + 1610. Solve 2*j - s = u, j = -2*s - 5 + 15 for j.
2
Let i(j) = j**3 + 21*j**2 + 67*j. Let w be i(-4). Let d be (-2)/(-1) + (2 - 2). Solve -t - 5*p + 8 = d*t, 2*t = -3*p + w for t.
-4
Let c be (-217)/(-31)*3/3*9. Suppose 142*z - c = 121*z. Let h be 0/(-2) + -2 + 7. Solve 5*i = -2*s + 19, h*s - 4*s = -z*i + 11 for s.
2
Suppose -f = 2*w - 7, -4*w + 40 = w - 5*f. Suppose 29 = 3*c + w*v - 0, -4*c = -3*v. Solve 0 = 5*h - r - 6 + 4, -3*h = -c*r + 6 for h.
1
Suppose 0 = 2*b - 5*z - 34, 5*b = -16*z + 11*z + 50. Let s = 921 - 916. Solve -u = -s*q + 18, 2*u = -5*q + u + b for q.
3
Let x(n) = 27*n - 20. Let b be x(1). Suppose p = -3, b*y - 24 = 2*y + 3*p. Solve 27 = 3*h + 3*z, -y*h + 5*z = -0*z + 5 for h.
5
Let y(u) = 187*u + 374. Let a be y(-2). Solve a = 5*v + h + 4, 112*v + h = 118*v + 7 for v.
-1
Let z be (3294/(-1281))/(3/(-7)). Solve -z = -4*x + 3*b, b - 51 + 55 = 2*x for x.
3
Suppose -3*c = -8*c. Suppose 4*r = -c*r + 72. Let w = r - 16. Solve y + 4*m - 4 = 0, 5*y + w*m - 10 = 10 for y.
4
Let m = 8060 + -8046. Solve 3*z - 19 = m*p - 12*p, 3*z = p + 14 for z.
3
Suppose -22 = -5*h + 3. Let r(t) = -1 + 0 + 13 - 2*t. Let j be r(4). Solve 5*i - 15 = 0, -h*i + 13 = -j*x - 6 for x.
-1
Let w = 425 + -376. Let b = -44 + w. Solve -3*u + 9 = -3*s, 2*u - b*s + 5 = u for u.
5
Let b(i) be the third derivative of 7*i**6/120 + i**5/30 + i**4/8 - i**3/2 - 54*i**2. Let y be b(1). Solve 2*g - 4*g - 12 = -2*m, g - y = -2*m for g.
-1
Suppose -14 = -4*w - 2*o, -12*w + 14*w - 5*o = -11. Suppose -2*n - w*k + 6 = -0*n, 0 = -4*n + k + 27. Solve -5*m - 2 = 2*c, 0 = -n*c + 2*c + 4*m + 24 for c.
4
Let v = -226 + 231. Suppose -5*x = 3*s - 19, -14 = -v*s - 5*x + 11. Solve -3*h - 3 - 12 = s*k, 0 = -3*k - 6 for h.
-3
Suppose -2*m = 42*f - 40*f + 4, m = -2*f + 3. Solve -4*o - 21 = -f*q, 4*q - 6*q + 13 = 3*o for o.
1
Let d(a) = 6*a**2 - 83*a + 187. Let y be d(11). Solve 4*v + y*v - 10 = 2*l, 3*v = l + 7 for v.
2
Suppose 0 = -4*y - 5*v + 61, -y - 2*v = -2 - 17. Solve y - 5 = -q + 4*p, -3*p + 3 = -q for q.
0
Suppose -186*f + 144*f + 84 = 0. Solve 0 = a + f*p - 3, 2*a - 4*p = -0*a + 22 for a.
7
Let k(z) = 8*z**3 - 55*z**2 - 3*z - 24. Let r be k(7). Solve 2*f - r*l = 12, -f + 3*l = 4*f + 5 for f.
-4
Let f = -7375 - -7378. Solve -5*c + 2 = -5*z - 3*c, 4*c = f*z - 10 for z.
-2
Let n = -220 - -224. Suppose -n*g = -x - 1, -2*x = -g - g - 4. Solve -4*t - c = 10, -2 = 8*t - 4*t - x*c for t.
-2
Let o be ((-96)/51 - (-34)/(-289)) + 4. Solve 0 = 15*s - 20*s, -8 = o*m - 3*s for m.
-4
Let q = 16 + -11. Suppose 2*v - 4*s - 82 = 0, v + 0*v + s = 26