 + 6, 5*y + 6 = 5*x + z for x.
0
Let f be -64 + (-1 - -1)/(-2). Let g = 116 + f. Suppose 4*b - 4 = g. Solve c = -4*w - b, -1 = 4*w + 3*c + 9 for w.
-4
Suppose -9 = -6*r + 3*r. Suppose -3*b + s = 5, r*b + s + 3 = -4. Let q be (-1 + 1)/(-1 - b). Solve 2*a - 2 + 0 = k, 2*k + 4 = q for a.
0
Let v be ((-12)/(-18))/((-6)/(-9)). Let g(q) = -q**2 + 3*q + 3. Let j be g(3). Let n = j - v. Solve -n*d = d + m + 5, -4*d - 3*m = 5 for d.
-2
Suppose -2*d = -1 - 17. Suppose -s - d = -4*s. Solve -5*h + 25 = 0, -5*h = 7*k - s*k - 9 for k.
-4
Let g be (1 - 0)*4 + -1. Let y = 15 + -9. Suppose 0 = 3*w - 0 - y. Solve -w*r + g*r - x - 6 = 0, 4*r - 3*x - 20 = 0 for r.
2
Let t = 9 + -6. Let i(j) = -j**3 + 4*j**2 - 4*j + 3. Let c be i(t). Solve 0 = -3*f + 2*m + 10, -2*f + f - 4*m - 20 = c for f.
0
Let j = -35 + 55. Solve -8 + j = 3*g, 3*o = -2*g - 7 for o.
-5
Let u(y) = y - 4. Let z be u(0). Let c be z*1/(-2) + 0. Suppose -8 = -c*p - 2*p. Solve w - 4*w - 16 = -5*b, -2*w = p*b - 16 for w.
3
Let f(r) = r. Let z be f(-2). Let d = z + 5. Let o(a) = -a**2 - 4*a + 1. Let k be o(-4). Solve -b + k = -0*b - h, -2*h = d*b - 23 for b.
5
Let m = -17 + 29. Let q = -35 + 58. Suppose 4*v = 1 + q. Solve -2 = -3*h + 4*z - v, 2*h - 5*z + m = 0 for h.
4
Let j(f) = f - 6. Let m be j(8). Solve -2*k + 4*x = -0*x + 16, 0 = -4*k + m*x - 8 for k.
0
Suppose 5*w = y + 12 + 2, -4*w = -4*y - 8. Suppose -m + 1 = -2*m + 4*s, 3*s - 12 = -w*m. Solve -m*v = 2*z - 2 + 6, z + 2*v + 1 = 0 for z.
-5
Let t = -36 - -41. Solve -t*g = -3*n - 2, -4*g - n + 7 = 2 for g.
1
Let d(m) = m**3 - 12*m**2 + 11*m + 14. Suppose -5*u = -4*h - 67, u - 56 = -3*u + 4*h. Let z be d(u). Solve -j = 3*g - z, -j - 11 = 5*g - 35 for g.
5
Suppose -5*k + 81 = -4*o, -3*k + 8*o = 3*o - 46. Let a = k + -12. Solve -2*y - 26 = -5*j, -5*j + 30 + a = -5*y for y.
-3
Let b = -3 + 6. Solve 0 = -3*y - 2*y - 4*l - b, 3*y = 2*l - 15 for y.
-3
Let p(q) be the second derivative of -q**5/20 + q**4/6 - q**3/3 + q**2/2 - 10*q. Let s = 2 + -1. Let t be p(s). Solve -4*x - 16 = t, n + x = -3*x - 14 for n.
2
Suppose 2*w = 3*z, -5*z - 2*w = -0*w. Suppose o - 8 = -o. Suppose 3*a = -0*c + 2*c - o, -a = -c + 3. Solve -x - 5*q - 25 = z, -10 = 3*x + a*x + 2*q for x.
0
Let t = -4 + -37. Let r = 59 + t. Solve 0 = -4*f + 5*c - 40, 1 = 5*f + 2*c + r for f.
-5
Suppose 19 = 5*g + 4. Suppose 26 = 5*s - 19. Suppose -51 = -3*o + s. Solve -2 = 2*p, 2*p = -5*k - g*p + o for k.
5
Let z = -5 - -8. Let c(q) = -q**2 + 4*q - 2. Let d be c(z). Let g be (0*3/(-9))/d. Solve g = 2*o + 5*k + 7, -o + 2*o - 5*k - 19 = 0 for o.
4
Let p(b) = -b**2 + 12*b - 15. Let u be p(10). Suppose u*x - 10*x = -10. Solve 4*z + 7 = 5*v - 25, -2*v = x*z - 2 for v.
4
Suppose -5 = -3*a + 1. Suppose -a*j + 6*j = 0. Solve 0 = 4*g - j*g - m + 11, -13 = 4*g + m for g.
-3
Suppose 2*k + 3*t + 0*t - 2 = 0, t + 10 = 2*k. Suppose 5*q - 2*n + 0*n - 14 = 0, -k*q - 5*n = 2. Solve -26 = 3*s - q*s + 5*z, -18 = 3*s + 3*z for s.
-1
Let r = 22 - 17. Solve x + w = -6, -3*x - 6 = -4*w + r for x.
-5
Suppose 5*d + 2*f = -3, 4*f - 2*f + 13 = 5*d. Let k = 4 + d. Solve 2*n + 0*y = 2*y - 12, 5*n + k*y = -20 for n.
-5
Let d = -52 - -72. Solve -10 = -2*a, 3*a = -5*g + d + 20 for g.
5
Let f = -15 - -23. Let m = -5 + f. Solve -2*j + m = 2*j - 5*c, 4*c = j - 9 for j.
-3
Let u = 45 + -30. Suppose 0 = 5*d - u + 5. Solve -j + d = 6, x + 6 = -2*j for x.
2
Let a = -17 - -31. Let d be (3 - 1)*(-7)/2. Let b = d + a. Solve -5*r - 2*g = -g + 17, b = r - 5*g for r.
-3
Suppose 0 = 10*m - 52 + 12. Solve 4*c + 2*z + 3 = -1, 0 = -m*z - 8 for c.
0
Suppose 0 = 3*t - 0*t - 15. Suppose -2*c - t*z = c + 10, 2*z + 4 = -3*c. Solve -5 = -5*m, 5*x + 2*m - m - 6 = c for x.
1
Let y be (6 - 5) + (-1 - -3). Suppose -5*g = y*x - 74, 4*x + 0*x + 53 = 5*g. Let v = 22 - g. Solve h = 5*o - 15, -6*h = 3*o - 4*h - v for o.
3
Let g be (-10)/(-20)*(-1 + 1). Solve 4*v - 4 - 8 = 2*z, g = 4*z for v.
3
Let f = 47 - 45. Solve 6*a - 5*a - 1 = f*g, -2*g - a + 1 = 0 for g.
0
Let b(k) = -14*k + 15*k**2 - 3*k**2 - 23*k**3 + 15*k**3 - 8 + 9*k**3. Let a be b(-13). Solve 0 = -3*u - 4*p - 7, a*p + 5 = -3*u - 0*p for u.
-5
Let f(b) = -b**2 - 5*b - 3. Let w be f(-3). Suppose w*j = 4*p - p + 9, 2*j - 4*p = 8. Let i be 0 - 1 - -1 - 0. Solve -2*g + 0*g = i, 0 = -2*l - 5*g + j for l.
1
Let q = -41 - -89. Suppose 2*i - q = 72. Suppose -5*m = -m - i. Solve -2*v + 5*a + 18 = 0, -4*v + 5*v - 4*a = m for v.
-1
Let s(p) = 5*p**2 - 4*p - 4. Let a be s(-2). Solve -d + 4*d = -3*g - a, -3*d - 5*g = 32 for d.
-4
Suppose 3*n + w = 12, n + w + 4*w - 18 = 0. Let y = -6 + 11. Suppose y*o - 30 = 5*r, -3*o = -5*o - 2*r - 4. Solve -n*c + 17 = -4*z - o, 3*c = z + 7 for c.
1
Let x be ((-3)/1 - 0) + 7. Let t be 3 - (-3 - 27/3). Suppose -k + t = x*k. Solve k*i = -0*i - 5*w + 14, 3*i + w = 10 for i.
3
Let i(r) = r + 9. Let l be i(-5). Suppose 5*a - 18 = 2*a. Suppose 2*g + 24 = 4*u - 24, 4*g + a = -u. Solve 0 = -5*d + 5*f + u, -l*f - 8 + 2 = -5*d for d.
-2
Let k(r) = r - 8. Let b be k(6). Let y be -1 + (b + 8)/3. Let h be (0 - 1)/y - -4. Solve -g + 4*i - 23 = 0, -5*g + h*i = 32 - 2 for g.
-3
Let a be 12/(-15*(-6)/30). Let m(i) = -3 + 2*i + 3*i - 3*i. Let q be m(4). Solve 5*b - b - 3*x = q, 0 = -4*x + a for b.
2
Suppose 3*j - 5*d + 410 = -2*j, 3*d = -5*j - 370. Let n be (-14)/4*44/j. Solve 2*p = p + n*a + 10, -5*p = -2*a - 10 for p.
0
Let o = 19 - 11. Let r(q) = -q**3 + 13*q**2 - 12*q + 11. Let u be r(12). Let p = u - o. Solve 14 = p*s + 5, m = s for m.
3
Let l = -6 - -6. Solve 5*k + 4*p + 23 = l, -5*k + 3*p - 9 = -0*p for k.
-3
Let a be (-8)/6*6/(-4). Let p(g) = -g + 3. Let m be p(0). Let o = m + a. Solve 4*b + j - 12 = 5*j, 0 = 4*b + o*j + 33 for b.
-2
Let b(o) = -o**2 + 5*o + 8. Let w be b(6). Let r be w + -2 - (-2 + -6). Solve -u - r = 4*x, -x - 19 = -4*u - 0*x for u.
4
Let p be (-10)/4*(-16)/20. Suppose -2*q = p*q. Solve 4*v = 2*v + 4, q = -5*j + 2*v - 14 for j.
-2
Let i = -15 - -25. Let j be (i/20)/((-1)/(-6)). Solve 3*c + 38 = 4*q + 7, 0 = j*c + 4*q - 1 for c.
-5
Suppose 5*f - 3*f - 60 = 0. Let r = 3 - 7. Let b(u) = u + 9. Let q be b(r). Solve -q*w = 4*k + f, -2*w + 2 = -k + 1 for k.
-5
Let v = 5 - -2. Let i = -4 + v. Suppose -2*n + 4 = -0*r + r, 5*r + 3*n - 13 = 0. Solve 5*o - 16 = i*u + 3*o, -r*o = -5*u - 20 for u.
-2
Let n = 39 - 36. Solve -5*i + 14 = n*r, i + 2*r + 2 = 3*r for i.
1
Let g(i) = -7*i + 88. Let q be g(12). Solve -3*f + 40 = q*s + 2*f, 0 = -5*s + 5*f + 5 for s.
5
Suppose l + 14 = 19. Solve 2*b + l*z - 6 = 12, 3*z = -b + 11 for b.
-1
Let n(i) = -i**3 - 7*i**2 + 7*i - 4. Let p be n(-8). Suppose 15 = p*f + 5*u - 7, -2*u + 13 = 3*f. Solve 1 = j + f*d - 7, 2*d = -3*j + 17 for j.
5
Let f = -8 - -10. Suppose 3 = f*w - 1. Let b be 0 - (-1 - -3 - 5). Solve u - 1 = b*p, 7*p = -2*u + 4*p + w for u.
1
Let i be (5 + 1)/(-1 + 2). Let v = -12 - -15. Suppose v*d + i = -3*p, 4*d - p - 3*p = 24. Solve -d*o - 3*u = 2*u + 3, -2*o - 2*u = 0 for o.
1
Suppose -5*g + 0 = x + 5, -2*x - 5 = 5*g. Suppose 0 = y - x - 3. Solve y*m = -2*w - 2*w - 19, -3*w - 5*m = 17 for w.
-4
Let f be (-8)/(-5) - (-4)/10. Let o = -19 + f. Let h = o - -28. Solve i + 2 = -0*i + 2*j, i + h = 5*j for i.
4
Let w = -40 + 55. Solve z = -3, 4*z + w = -5*s - 22 for s.
-5
Suppose 9*q = 16*q - 56. Solve q = -5*m + z + 26, -6 = m + 3*z for m.
3
Let c(d) = -2*d - 3. Let t be c(-5). Let g(y) = y**3 - 6*y**2 - 7*y + 17. Let w be g(t). Solve l = -5*a - 13, l - 2*l = -5*a - w for a.
-3
Let f(u) = u**3 - 5*u**2 - 3*u + 15. Let o be f(5). Solve -4*r + o*r + 22 = 3*m, -5*m + 2*r = -2 for m.
2
Let o be -16 - (-7)/((-14)/(-8)). Let s be (8/o)/(1/(-9)). Let f = -2 + 3. Solve u = -0 + f, -3*x - s = 3*u for x.
-3
Let q(o) = -5*o**2 + 13*o - 2. Let u(k) = -4*k**2 + 12*k - 1. Let i(b) = 5*q(b) - 6*u(b). Let n be i(-6). Solve -5*z - 8 = -n*p - 2*z, z = p - 3 for p.
1
Suppose 4*h + 0*h = 16. Suppose -21 = h*c - 5*c. Solve 4*s = 5*y - 24 - c, -5*s - 3*y - 10 = 0 for s.
-5
Suppose 4*d = -0*d. Let k = d + 3. Solve -w = 3*n + 14, 5*n - k*w = -2*w - 18 for n.
-4
Suppose -2*r = -4*r + 6, -4*r = 5*k - 337. Let a = -45 + k. Solve 5*c + 0*f - 5*f = -20, 5*c - 4*f + a = 0 for c.
-4
Suppose j - w - 4*w = -15, -j - 2*w + 6 = 0. Let u = -3 + 6. Suppose 5*h - 21 = -4*d + 30, -2*d + 9 = -3*h. Solve 2*b - 7 = f, 2*b = u*f - j*b + d for f.
-1
Suppose 2*d - 14 = -2*p, 12 = 2*d