2
Let c = -527 + 530. Solve 5*j + 1 = 2*h - 2, 3*h - c*j = 9 for h.
4
Let g(p) = -62*p - 305. Let q be g(-5). Solve 6 = -2*w - 0*w - 4*f, q = 5*f for w.
-5
Let p = -40 - -35. Let h be 6/p*(-35)/21. Suppose h*y - 3*j = -0*y - 2, -5*y + 5*j = 0. Solve g - 4*c + y*c + 9 = 0, -2*c = -4*g - 18 for g.
-3
Let j(l) = -l**3 + l - 1. Let g(y) = 7*y**3 - 14*y**2 - 5*y + 9. Let f(a) = g(a) + 5*j(a). Let b be f(7). Solve 3*h - h - 3*x + 4 = 0, 0 = 2*h + b*x - 24 for h.
4
Suppose 2*w = -7*i + 5*i + 6, 5*i - w - 15 = 0. Solve -5*g + 4*h + 27 = 0, -2*g - 6 = -i*g + h for g.
3
Let z(n) = -n - 9. Let m be 58/(-5) + -1 + 34/(-85). Let x be z(m). Solve -v - 3*p - 1 = -9, 5*p = x*v + 2 for v.
2
Suppose 1867*d - 1878*d + 33 = 0. Solve -13 = -d*x + 4*u + 11, 0 = 4*x + 4*u - 4 for x.
4
Suppose 182 = 19*l + 87. Suppose 1 = 5*z - 14. Solve -h + z*r = -6*h + 6, -l*h = 5*r for h.
3
Let r be (-2)/(-10) - 38/(-10). Let g = 197 - 195. Suppose 3*v + 3*y + 2 = -2*y, -5*v - 5*y = -10. Solve x + r = -u, v*x + 8 = -g*u + 3*x for u.
-4
Suppose -4*v = -2*s - 6, 0 = 2*v + 4*s - 0 + 12. Let o = -1681 + 1686. Solve 3 = -f - f + g, 4*f + o*g + 13 = v for f.
-2
Suppose -13*a + 16 = -5*a. Suppose -7*l = -a - 19. Solve -5*f + f + 40 = 4*u, 0 = -l*f + 3*u for f.
5
Let r = 20 + -18. Let w be (-3)/3 + r + 3. Suppose 0*x + 16 = w*x. Solve -2*f + 6 = l - 5*f, 0 = l + 2*f + x for l.
0
Let l(j) = 2*j**2 + 8*j - 46. Let h be l(5). Let c be 27/12 - (-33)/h. Solve -2*v + 10 = c*b - 7*b, 4*v - 20 = b for b.
0
Let i be 2 - 2*(-3)/6. Suppose 2*l - i*l = 7. Let o = l - -11. Solve -3*h - 8 = 2*j + 1, -o*h + 4*j + 8 = 0 for h.
-1
Let o be -7*(-12 - (-76)/7). Solve -a - 3*j + o = 0, 5*a + j = -5 + 17 for a.
2
Let c(h) be the third derivative of -2*h**2 - 1/60*h**5 + 0 + 2/3*h**3 + 0*h - 1/8*h**4. Let n be c(-4). Solve -2*r + j - 8 = n, -5*r - 4*j + 4 = -2 for r.
-2
Let x be 6*1 + (-10 - -14). Let z = x + -5. Solve 0 = 5*n + 3*f + 22, -2*n + z*f - 1 = 14 for n.
-5
Let w(z) = 14*z - 418. Let v be w(30). Solve l = o, -v*l = 2*l - o + 9 for l.
-3
Suppose -2*i + 16 = -4*g - 38, -4*i + 147 = 5*g. Suppose 5*j = t - i, 5*j + 3*t = -8 - 13. Let c = j - -8. Solve -5*q + 4*q = -5*h + c, -4 = -5*h + 2*q for h.
0
Let w(h) = -4*h + 2. Let p be w(-6). Let r be 214/10 + p/(-65). Let j = r - 18. Solve -q - s - 7 = 0, -2*q + 1 = -j*q + s for q.
-4
Suppose 11 = 16*g - 53. Let h(m) = m**2 + 6. Let r be h(0). Solve -3*o + 6 = 3*k, 2*k + 3*k = -g*o + r for k.
-2
Let c be 46/10 + 5*(-18)/(-225). Solve -c*u = 4*r - 15, 0*r - 2*u = -3*r + 17 for r.
5
Suppose -2*s - 73 - 81 = 0. Let w be (-4)/22 - 168/s. Solve -4*b = -3*f - 11 - 8, w*b = f + 7 for f.
-5
Let k(y) = y**3 + 5*y**2 - 13*y + 3. Let i be k(2). Suppose 0*f = -5*f + 30. Solve f + 15 = 5*x + 3*b, 0 = 5*x + i*b - 25 for x.
3
Suppose -w - 2*o = -0*o - 5, -15 = 3*o. Suppose -10*f = -w*f + 35. Solve l - f*g = -3*g - 16, -20 = -5*g for l.
0
Let x = 101 - 101. Suppose x = 9*j - 4*j - 10. Solve -2 = d + 5*r + 1, -j*d = 5*r + 1 for d.
2
Suppose 8*p = 9*p + 2. Let b be 1 + 1 + 5 + p. Solve -40 = -b*l + 5*s, 3*l + l - 5*s = 36 for l.
4
Let i be 4*28/48 + 3/(-9). Solve -i - 7 = -u + 5*v, -9 = -3*u - 3*v for u.
4
Let u = 35 + -29. Suppose 0 = u*v - 20 - 16. Suppose 0 = d + 2*z - 6, -7*d = -2*d + 2*z - 14. Solve 3*j - 14 = 7*j - d*g, -g + v = -j for j.
-1
Suppose -4*l + 12 = 0, -x + 5*l = 13 - 1. Solve -3*i - x*j - 9 = -0, 19 = 2*i - 3*j for i.
2
Let k(c) = 3*c**2 - 8*c - 10. Let y be k(4). Solve 0*b = 2*b + 5*v, -2*v = 2*b + y for b.
-5
Suppose -83*b = -70*b. Solve 4*k + 2*z + 10 = 0, -5 + b = -5*k + z for k.
0
Let v be (2 - -1)*(-1)/(-1). Suppose -v*b - 41 = 4*m - 4, -7 = b - 4*m. Let w = -9 - b. Solve -3*g + p + 3 = -w*g, 5*g - 3*p - 5 = 0 for g.
-2
Let n be (-14)/(-3) - 2/(-6). Suppose 29*y + 5*g + 5 = 24*y, 0 = -y + 4*g + 4. Solve 2*i = 5*f + 21, y = n*f - 4*i + 26 + 1 for f.
-3
Suppose -13*n = 10*n - 23. Solve 16 - n = 5*w - 5*c, w + 4*c + 2 = 0 for w.
2
Suppose -k = 2*o - 17, 5*o + 5*k - 1 = 9*o. Solve 0 = -5*u - 4 - o, -3*i - 3 = 3*u for i.
1
Suppose 0 = g - 3*g. Suppose 2*v = 2*h, g = 4*h - 9*h + v + 8. Suppose -1 - 5 = -h*c. Solve 4*i - 3 = 4*l - 7, 5*l - 13 = -c*i for l.
2
Suppose -36 = -2*w - w - b, -5*w + 3*b + 46 = 0. Suppose 2*p + 3 = 19. Suppose u = -u + p. Solve -3*k + 19 = -u*x, x + 2*k + w = 4*k for x.
-1
Suppose 4*x - 17 - 15 = 0. Let m(u) = -u**3 + 8*u**2 - u + 9. Let d be m(x). Suppose 3*r + 9 = i, 2*r + 5 = d. Solve o = -4*a + 16 - 1, 23 = -i*o + 5*a for o.
-1
Let d = 14 + -6. Suppose d*g - 10*g + 8 = 0. Suppose 50 = b + 2*o, -4*b - g*o = -0*o - 216. Solve j - 15 = 2*l, -8 = 5*j - 5*l - b for j.
5
Suppose z + 1 = 4. Suppose 0*b = -z*g - 5*b + 7, -5*g = -3*b - 23. Suppose 0 = g*u + 2*s - 16, -5*s + 15 = 6*u - u. Solve -4*p + u*h = -4 - 17, 0 = h + 5 for p.
-1
Let m = 24 + -20. Suppose 3 = -m*v + 19. Suppose 5*l - 8 + 0 = -3*r, -4*r = 2*l + 8. Solve 3*i = v*g + 31, -5*g = l*i - 2*i + 10 for g.
-4
Let g be (-4)/22 - (-72)/33. Let s be g/1 + (-20)/(-4). Suppose 3*y + 12 = s*y. Solve 2*f + y*c = 9, -f = 2*f - c + 3 for f.
0
Let c(j) = j**2 - 14*j + 24. Let n be c(12). Let f be (n + -1)*4*3/(-6). Solve -2 = f*v - 3*z, -v = v - 2*z - 2 for v.
5
Suppose -5*k - 6 = 2*b - 10*k, -2*k = -2*b. Let o be b/6 + (-2)/6. Suppose o*x = 5*x. Solve x = 2*d - 4*z - 22, 17 = -d - 2*z - 3*z for d.
3
Let l = 32 + -23. Suppose -14 = -n - l. Suppose n*c = -0*c. Solve o = 4*i + i + 10, c = -5*i - 3*o + 10 for i.
-1
Let g be (-275)/(-110) - 10/(-4). Solve -2*k + 5*u - 23 = 0, -2*u - 20 = -g*k - 5*u for k.
1
Let h be 22 + (-2 - (3 - 5)). Let v be (-4)/h - 228/(-44). Suppose 0 = -k + v*k. Solve r + t = k, -3*r + 5 = -4*r + 4*t for r.
-1
Let u = 2 - -1. Suppose -134 = 3*q + u*g - 2*g, -g = q + 42. Let t be q/(-6) - (-2)/(-3). Solve -m - t = 3*j + 4, 2*j + 9 = m for m.
1
Let n = -139 - -144. Solve -d + 4*y + 4 = 0, n*d + 0*y - 20 = -y for d.
4
Suppose 22 - 1 = 7*q. Suppose 0 = 4*h + b - 7, 0 = 4*h - 5*b + b - 12. Solve 0 = 2*t - i + 3, q*t + h*i - 7*i + 1 = 0 for t.
-2
Let y be (((-165)/(-20))/11)/((-9)/(-84)). Solve 0 = -2*h - 4, y = 4*m + 5*h - 3 for m.
5
Let u = 10 - -3. Let t = -5 + u. Let p be (-1)/3*72/(-3). Solve d + 0 = -4*z - t, -p = -4*z + 3*d for z.
-1
Suppose -3*w = -a - 8, -2*w - 5 + 8 = -a. Solve -5*z - 2 = -p + 1, -a = 3*z + 2*p for z.
-1
Let q(p) be the third derivative of -p**4/12 - 5*p**3/6 + 8*p**2. Let u be q(-5). Solve 2 = -2*k, 0 = u*l + 4*k + k - 20 for l.
5
Suppose 3*b - 2*n + 2 = 4*b, 2*n + 22 = 2*b. Let r be 3/(-4)*(-1)/2*b. Solve 3*d + 3 = -g, -1 = -3*g + r*d + 2 for g.
0
Suppose -2*k = -k - 16. Let c(n) = -k*n - 6 - 2 - n**2 + 10*n. Let h be c(-4). Solve h = -2*w + 5*u + 5, 0 = -4*w + u + 2*u + 17 for w.
5
Let n be ((-35)/10 + 5)/(12/136). Solve -14 = -3*y + v, -12*y + 15*y - n = -2*v for y.
5
Suppose 60*u = 117*u - 171. Solve -i - 7 = -2*y, -2*i = u*i + y - 9 for i.
1
Let y be (-13)/6 - 125/150. Suppose 2*c - 20 = -4*t, 3*t - 3*c - 21 = -6*c. Let n = t + y. Solve 3*k - 4*m - 13 = n, 2*k - 12 = -k + 3*m for k.
3
Suppose 3*s + 2*k - 62 = 0, -s + 5*k - 24 + 39 = 0. Solve 4*c - 4*f + s = 0, -5*c = -3*f + 10 + 13 for c.
-4
Let a = -24 - -28. Suppose 6 = -r + a*r. Solve -n = r*n + 4*o + 11, 2*o = -n - 3 for n.
-5
Let q(j) = -j**3 + 9*j**2 - 20*j + 3. Let i be q(5). Solve -i*w + 5*g + 4 = -24, w - 16 = 3*g for w.
1
Suppose -5*z = -2*l + 10, l + l = 4*z + 10. Let n = l - -3. Solve -4*g = 5*v - n - 9, 0 = v - 1 for g.
3
Let l(i) be the third derivative of i**5/10 - i**4/24 + 26*i**2. Let j be l(-1). Solve -n + 0*m = -m - j, 0 = 3*n + 2*m + 4 for n.
2
Let i(m) = -m**2 - 45*m - 26. Let f be i(-44). Solve 5*n = 2*q, 4*q + n + f = -4 for q.
-5
Let v be 6 - 745/(-25) - (-1)/5. Let c be v/(-6)*(-3 + 2/4). Solve s + 20 = -4*l, 2*s + 3*s - c = 3*l for l.
-5
Let y = 110 - 114. Let l be (-30)/(-1 + y/8). Solve 5*r - l = -5*c, -2*r = 5*c - 19 + 2 for c.
3
Let i = 93 + -81. Solve -u + p - 4*p + i = 0, -4*p = 2*u - 16 for u.
0
Let f(z) = 2*z**2 - 10*z + 1. Let c be f(5). Solve -v + m = -4*v + c, -5*m + 5 = -4*v for v.
0
Suppose -5*f - 3*r + 177 = 0, -218 = -5*f - 2*r - 45. Solve 7*u - 4*y + f = 2*u, u + 7 = y for u.
-5
Suppose 3*u - 8 = -u. Let q be (3/(-9))/((-5)/165). Suppose -3*k - 2 + q = 0. Solve k = 3*z - b, -z + u*b - 3 = 3*b for z.
0
Let b = 112 + -68. Let p = b - 41. Solve 