+ 0 = 2*b + 1 for v.
3
Suppose 14 = 5*k - 4*n, 0*n = 4*k - n - 9. Suppose 2*l - 36 = 4*p, 4*l - 4*p - 66 = -k*p. Solve -5*c + 24 = -b, -l = -3*c + 3*b - 2*b for c.
4
Let n be 2 - 2/(-3 - -4). Suppose n*q - q = -43. Let t = -32 + q. Solve 0 = 5*r - 3*h - t, 0*r - 4*r + 25 = 3*h for r.
4
Let f = -39 + 30. Let r(s) = -s**3 - 8*s**2 + 8*s - 7. Let d be r(f). Solve c + 17 = -4*n, 2*n - 3*c + 25 = d*c for n.
-5
Let b(y) = -y + 19. Let x be b(0). Let l = -19 + x. Solve 4*z + 15 = -6*g + g, l = -2*g - 2*z - 8 for g.
1
Let t = -2119 - -2124. Let z(s) = -3*s + s**2 - s - 7 + 0*s. Let h be z(6). Solve -t*a + 0*a + 5*r = -h, -3*a - 3*r + 27 = 0 for a.
5
Let n(a) = -20*a + 67. Let r(v) = -7*v + 22. Let g(p) = -3*n(p) + 8*r(p). Let x be g(7). Solve -i - i = -s - x, 0 = -2*i + 2*s + 4 for i.
1
Let n = 298 - 292. Solve 11*o - n*o - 8 = l, -8 = -4*o for l.
2
Let i be 24/(-18)*18/(-8). Suppose 5 = -5*y + 5*d, d + 7 = 3*y + i*d. Solve u = 4 + y, 5*w + 2*u - 25 = 0 for w.
3
Let b(r) = -5*r - 184. Let o be b(-38). Solve o = -5*u + 3*n - 2, 4*u = -n - 20 for u.
-4
Let q(t) = -t - 1. Suppose 7*c - 2*c = -35. Let x be q(c). Suppose -3*u - l + 9 = 0, -2*l - 11 = u + 3*l. Solve -x = -5*o - h, 0 = 3*o + 3*h - u + 10 for o.
2
Let b = 252 + -250. Solve -b*o + x + 1 = 10, -4*o - 3*x = 23 for o.
-5
Let t be (0 + 14/(-6))*-9. Let c = -669 + 670. Suppose 4*s + t = c, -h = -s - 21. Solve 3*y - 5*f - h = -46, 0 = -4*y + f - 23 for y.
-5
Let s = 98 + -96. Suppose -s*q - 8 = 0, q - 1 = -g - 0*q. Solve 2*z - l - 20 = 3*l, g*z - 2*l - 18 = 0 for z.
2
Let i be (7/7)/(2/14). Let f = -7 + i. Let q be (-2 + 7 + f)*1. Solve -4*t + q*x - 4 = 0, 5*t - x = x - 5 for t.
-1
Let m be -11 - (2 - 4/1). Let g = m + 13. Suppose d + 12 = 3*x, -7*d + 16 = 4*x - g*d. Solve 3*o = -0*o - x*y + 6, 0 = y for o.
2
Let b(y) = 2*y + 67*y**3 - 66*y**3 + 7*y**2 + 13*y**2 + 45. Let w be b(-20). Let k be (2/4 + -1)*-10. Solve k*f = -0*n - n, 0 = -5*n + w*f + 30 for n.
5
Suppose -6*x - 4*x + 780 = 0. Let z = x - 75. Solve -4*n = -z*p - 1, -4*p = 3*n - 7*n for n.
1
Suppose -3 + 9 = 3*v. Suppose 0 = v*q - 3*q. Suppose -a + 3 = 2*w, -w - 12 = -q*w + 5*a. Solve w*s + 3*k = -21, -2*s + 4*s + 5*k = -26 for s.
-3
Let a be 3/6*10/(-1). Let z(q) = q**2 + 5*q - 3. Let t be z(a). Let p be (2/t)/(2/(-12)). Solve 14 = -0*u + p*u - 2*c, 0 = -2*u - c + 5 for u.
3
Let n(a) = a + 4*a - 21 + 14. Let u be n(6). Solve 5*b + g + u = -g, g + 14 = -3*b for b.
-5
Let b = 19 - 14. Suppose 5*q - 3*o = 41 - 12, -5*q = 5*o - b. Solve 0 = -4*n - 16, n - 21 = -q*g - g for g.
5
Suppose 0*f - 2*f = -10. Suppose -c + 6*c = 105. Suppose -2*o + 4*n = -12, 4*o + 19*n - 14*n = -2. Solve 3 = -2*r - u, 4 = -o*r - f*u + c for r.
-4
Let r(u) = u**2 + 9*u. Let n be r(-9). Suppose -q = -5 + 1, -14 = -3*l - 2*q. Suppose -l = b - 7. Solve n = 4*v - 3*j - 4 + 24, -b = v - j for v.
-5
Let r = -267 - -267. Solve r = -7*u + 3*u + 4, 4*k = 2*u - 6 for k.
-1
Let r(m) = -6*m + 42. Let x be r(7). Let k be 5 - (-1 - (3 + -4)). Solve 4*t = -x*v + v + 18, -22 = v - k*t for v.
-2
Suppose -16*l + 56 - 24 = 0. Solve 3*g = 2*a - 4, -5*g + 0*g - 12 = l*a for g.
-2
Suppose 0 = 12*s - 137 + 113. Solve 12*k - 11*k = -2*b + 7, s*b = -4*k + 22 for b.
1
Suppose 0 = 3*z - 8*z + 15. Let v = -29 + 27. Let u be v*(5 - 3 - 4). Solve u*h - 3*k = 22, -4*k - z = -2*h + 13 for h.
4
Let y(g) = 2*g**2 + 11*g - 59. Let k be y(-9). Solve 0 = -5*p - k*t - 0*t + 18, 5*p - 12 = -t for p.
2
Suppose 6 = 5*w - 4*o, -5*w + 3*o + 1 = -6. Solve 5*d + 2*b = 1, -4*d + 0*b = 3*b + w for d.
1
Let l = 13 - 9. Let g = 2 - 2. Suppose g = -4*k - 0*k + 20. Solve -3*y - 2 = o + 2, 0 = k*y - l*o + 1 for y.
-1
Suppose 5*n - 10 = 3*u, 9*n - 4*u + 0*u = 25. Solve 2*m - 28 = 5*b, 0 = 6*b - 10*b - n*m + 4 for b.
-4
Let w(k) = 2*k - 4. Suppose -m - 15 = -4*m. Let g be w(m). Suppose 4*i + g*d - 4*d = 0, 3*d + 12 = 0. Solve -i*v - 5 = -3*b, -5 = 4*b - 4*v - 13 for b.
1
Suppose -5*j + 1 = -94. Suppose -8*k = -9*k + 15. Let z = j - k. Solve -13 = -5*v - 2*m - 1, -2*v - 3*m = z for v.
4
Suppose -3*j - 3*l = -0*j - 12, -5*j = -2*l + 8. Let h be (0 + 0)/(2 + 1). Suppose h = 4*q - 4 - 4. Solve -2*g + j*g - i = -6, -g + q*i = 7 for g.
1
Suppose 57 - 82 = -5*m. Solve 0 = m*u - 10, -4*u + 24 = 4*f - 0*u for f.
4
Let a(w) = 4*w + 10. Let x be a(-2). Solve 2*c + s = 13, x*c - 3*c - 10 = -5*s for c.
5
Suppose 4*w - 24 = -8. Suppose -4*l = w - 16. Let g be (6 - 3)*(-20)/(-18)*3. Solve l*r + 2*q - g = -31, 5*q = r - 10 for r.
-5
Let g = -187 + 193. Solve b = 4*n - 15, 0 = g*b - 2*b - 5*n + 27 for b.
-3
Let q = -10 - -13. Suppose 4*p - 36 = -5*n, 7*p - q*p = -3*n + 28. Suppose -n*m - 3*y + 12 = 1, m + y = 3. Solve 5*k - m - 10 = j, 18 = j + 5*k for j.
3
Suppose -5*b = 4*g - 60, -4*g + g - 4*b + 44 = 0. Solve -q - 5*f - g = 0, 0*q = -q - 3*f - 10 for q.
5
Let w be (15/((-5)/5))/(-7 - -4). Solve 5*u = 2*i + 3 + 11, 0 = w*i + u + 8 for i.
-2
Let w be (-2400)/(-256) - 2/32*6. Solve w = 4*q + 2*d - 3, 0 = 3*d - 12 for q.
1
Let t(n) = -13 + 4 + 6*n - 3*n - 13. Let u be t(0). Let f be (-33)/u*(-20)/(-6). Solve -4 - 33 = f*c - 4*s, 0 = -4*c + 2*s - 26 for c.
-5
Let c = 1903 - 1903. Solve c = 4*t + 3*m, 3*m = t + 2*m - 7 for t.
3
Suppose -2*t = -q - 0*q - 4, 0 = -q + 3*t - 6. Let a be (1 - -6)*(10 + 5/((-280)/544)). Solve 5*i + 5*c + 15 = -q*i, -5*i + a*c + 13 = 0 for i.
1
Let v(y) = -y + 10. Let c(g) = -4*g + 50. Let a(d) = 6*c(d) - 28*v(d). Let w be a(-4). Solve 6*u - 3*u - 2*r + 17 = 0, -w*r + 14 = -2*u for u.
-5
Let r(f) = -f**2 - 7*f + 11. Let a be r(-9). Let o = 12 + a. Suppose -y + 4*w + 12 = w, o*w - 5 = 0. Solve y + 2 = 3*u - 5*n, -4 = 4*n for u.
4
Let q = 4 + 0. Suppose 4*l - 3*b = -4*b + 1, l - 4*b = -q. Solve 20 = -p + 5*p, -4*r + 2*p + 6 = l for r.
4
Let l(s) = 3*s**2 - 2*s - 2. Let q be l(2). Let z = 17 - q. Suppose z = 2*y - 1. Solve -3*u - y*t - 3 = -3*t, 17 = -5*u - 2*t for u.
-5
Suppose 13*o - 34 = 31. Suppose -5*z + 2*w = -o, -z - 11 - 6 = -4*w. Solve 2*u - z*j = 7, u + j = 4*j + 2 for u.
5
Let v(c) = -9*c + 8. Let l be v(-1). Solve 5*h + 4*r = -0*r + l, h - 3*r = -8 for h.
1
Let q(n) be the third derivative of -n**5/60 + n**4/12 + 5*n**3/6 - 4*n**2. Let g be q(2). Solve -3*k = -y - g, 6*y - 5*k = y + 5 for y.
4
Let r = 192 + -190. Solve -r*q - 18 = 4*f - 6, 4*f - 2*q = -4 for f.
-2
Suppose x + 2*x + 52 = -5*r, -5*x - 2*r - 112 = 0. Let p be (-17)/34 + (-78)/4. Let h = p - x. Solve -3*a + 17 = i, 2*i - h*a = -3*i - 10 for i.
2
Suppose -u + 7 = 4*p - 6, -u - 14 = -5*p. Let f be (24/20)/((-24)/(-60)). Solve -2*i + p*h - 8 = 0, f*i + 3*h = h + 1 for i.
-1
Let a(z) = 0*z**2 + 8*z**2 - z + 7*z**3 - 2*z**3 - 7*z**2. Let v be a(1). Solve 0 = 2*f - 3*q - 0 - v, 3*q = -4*f + 19 for f.
4
Let u = -1309 + 1311. Solve 4*k = 7 + 13, u*k = -b + 6 for b.
-4
Let a(i) = i**3 + 10*i**2 + 6*i - 1. Let w be a(-7). Let m be (w/(-182))/(0 - (-1)/(-7)). Solve 5*c - 29 = n, -3*n - m*c + 0*c + 8 = 0 for n.
-4
Let t = 7 - 2. Let w be (-10)/6*(-11 + 2). Let k be ((-68)/442)/((-4)/104). Solve -w = -5*o - k*p, -12 = -5*o + o + t*p for o.
3
Let n be -12 - -12 - (-12 + 1). Let k(b) = b**2 - 12*b + 11. Let y be k(n). Solve g - 9 = 5*a - g, y = -5*a + 3*g - 6 for a.
-3
Let h(p) = -p**2 + 8*p + 14. Let l be ((-1)/(-4)*9)/((-2)/(-8)). Let x be h(l). Solve 0 = x*c - 8*c + 4*s + 4, 4*c + 24 = -2*s for c.
-4
Let n(y) = -y**2 - 2*y + 2. Let d be n(0). Let l = -1 + 3. Suppose -z = l*z. Solve 0*b - 3*b = -4*q - 19, -d*b - q + 9 = z for b.
5
Let a be (4 + -2)*(-2 - -6). Suppose -4*q = -5*u + a*u - 2, -3*u = 5*q - 1. Solve -8 = p - u*f, -p + 2*f + 3*f - 23 = 0 for p.
2
Suppose 0*h - 2*h - 24 = -w, -3*h - 4*w - 36 = 0. Let k be 4/h - (-140)/15. Solve 5*g - 2*g = 5*v + 34, -2*g - 3*v - k = 0 for g.
3
Let a = -16 + 15. Let s(g) = -34*g**2 - 2*g - 1. Let k be s(a). Let h be (-22)/k + (-4)/(-3). Solve 4*b = -h*v - 3 + 1, 2*b - 2 = -4*v for v.
1
Let k = -18 + 20. Let o be -1*(k - 2)/4. Solve 3*r = 4*h - 17, -2*h + 0*r + 2*r + 10 = o for h.
2
Suppose 40 = -17*o + 27*o. Suppose -c - 2*l - 10 + 4 = 0, -c + 24 = -o*l. Solve -2*h = c*v - 2, 0*v + 3 = -3*h - 4*v for h.
-5
Let d = 300 - 295. Solve 0 - 8 = 2*w, -2*y + 16 = -d*w for y.
-2
Suppose 0 = -2*z, -2*b - 4*z = -6 + 2. Let w = -26 + 48. Suppose -9*s = -w - 5. Solve b*x - 2 = -2*o, -2*x - s*o = 3*x - 1 for x.
-1
Let u