ve 4 = s*r + 1 for r.
1
Suppose 3*k - g = -4 + 9, -g = -5*k + 5. Solve k = 5*q - 4*q for q.
0
Suppose 6*d - 2*d = 0. Suppose 3*z - 7*z + 8 = d. Solve -2 = -z*g - 12 for g.
-5
Suppose f - 2*f - 3*p = -13, 3*f + 3*p - 27 = 0. Solve -3 = -5*g + f for g.
2
Suppose -8*f + 40 = -4*f. Suppose f = l + l. Suppose -k = -l*a - 4, -2*k + 2*a = -3*a - 33. Solve -5*q + 9 = k for q.
-4
Let w = 4 - 2. Solve p - w = 2 for p.
4
Let z = 0 + 0. Suppose 3*g - 2*p = p - 9, -5*g + 3*p - 9 = z. Suppose -12 = -4*u - 2*q - 0*q, 0 = -3*u + 4*q - 2. Solve u*f + 6 + 0 = g for f.
-3
Suppose 0 = 3*u - 41 - 46. Let s = u + -17. Solve -5*n - 3 = s for n.
-3
Suppose -5*v + 4 = -4*v. Solve 1 = g + v for g.
-3
Let w(g) be the second derivative of -g**3/6 - 5*g**2/2 + g. Let m be w(-4). Let l = m + 4. Solve 4 = -t + l*t for t.
2
Let t(r) = -2*r**2 - 19*r**3 + 8*r**3 + 3*r**2. Let l be t(1). Let j be (-16)/l*15/6. Solve 2*v + j = -0 for v.
-2
Let r(c) = c**3 - 4*c**2 + 4*c - 1. Let t be r(3). Let p(m) = 3*m + 4 - 2*m + 4*m - m**t. Let u be p(5). Solve -6 = k - u*k for k.
2
Suppose -5*x = 1 - 26. Solve -x*u = -u for u.
0
Let p(f) = -f**2 - 10*f - 6. Let m be p(-9). Let h be 10*(-4)/(-8) - m. Solve 2*x - h = -0*x for x.
1
Suppose 8*v = 3*v + 10. Suppose 0 = -2*f - v*f. Solve f = -s - s for s.
0
Let l = 31 + -29. Solve -3*x = l*x + 5 for x.
-1
Let k be 0/6*(-2)/(-8). Solve 3*d = -k*d - 6 for d.
-2
Let q = 7 - 4. Let p be 3/6*(3 + 11). Solve -p = q*y - 22 for y.
5
Let i be 50/40 + 10/(-8). Solve i = -r - 3 - 0 for r.
-3
Suppose 5*x = 6 + 9. Suppose 0 = -4*s - 4*g + 2*g - 6, -4*s + x*g + 9 = 0. Solve -b + 5 = -s for b.
5
Suppose 5*g = -13 + 73. Let b = -1 - -1. Solve 0 = -b*v + 3*v - g for v.
4
Let o be (-30)/9*12/10. Let p(s) be the second derivative of s**4/12 + 2*s**3/3 + 3*s**2/2 - s. Let x be p(o). Solve 0*r = -x*r + 15 for r.
5
Let h be 4/(-7) - (-545)/35. Solve -2*j - j = -h for j.
5
Suppose -5*u - 16 + 4 = -2*y, -4*y = 2*u. Let x be (-1 - -1)/(2/u). Suppose 4*g - 64 = -5*f, g - 3*f - 1 - 15 = x. Solve 2*q + g = -2*q for q.
-4
Let z(x) = x**3 - 2*x**2 - 2*x + 2. Let v be z(3). Suppose -v = -y - 1. Suppose -k = -y*k. Solve -5*g - 21 + 1 = k for g.
-4
Let v(d) = d**2 + 4*d - 30. Let x be v(4). Solve x*z - z = 0 for z.
0
Suppose -23 - 31 = -2*q. Let r = q + -15. Solve o + 3*o - r = 0 for o.
3
Let d(j) = -j**3 - 2*j**2 + 5*j. Let q be d(-4). Suppose -o = -b - q - 3, 5*o - 55 = b. Solve 0*t - o = -5*t for t.
2
Suppose 0 = -6*v + 2*v + 60. Suppose l + 4*l - v = 0. Solve d - l = -0*d for d.
3
Suppose -2*o + 5*c = -25, -3*c + 4 - 33 = -4*o. Solve 0 = 3*n - o - 7 for n.
4
Suppose 8*t = 10*t - 30. Suppose -3 = -2*v + 7. Solve -v*l = t - 5 for l.
-2
Let x(s) = -3*s - 9. Let c be x(-6). Suppose -3*b = -4*j + c, 2*j - 5*b = -0*j + 1. Solve j*g = -6 - 6 for g.
-4
Suppose 30 = 2*q + q. Let j = q + -7. Solve -2*x = -5*x + j for x.
1
Suppose 2*g - g = 0. Solve -3*x + g*x = 6 for x.
-2
Suppose -5*q = -11 - 4. Suppose 2*t + 2*t + 72 = 4*v, 4*v - 5*t - 75 = 0. Solve -q*s = 2*s + v for s.
-3
Let x be (-50)/(-2 + (-1 - (-2 - -1))). Solve -2*t = 3*t - x for t.
5
Suppose -4*a = 2*c - 20, -c - 3*a - 21 = -4*c. Let w = -3 + c. Let q = w + -1. Solve q*u = -1 - 3 for u.
-1
Suppose -5*c = -4*i - 2 - 3, -3*c + i + 10 = 0. Solve c*z - 7*z = -4 for z.
2
Let u = -26 - -36. Suppose 4*j = -2*c + 4, -5*j = -3*j + 4*c + u. Solve 2*g = 3*g + j for g.
-3
Suppose c - 5 + 0 = 0. Suppose 0 = -2*l - c*b + 2*b - 5, 2*b = 2*l. Let v be (l + -2)*1/(-1). Solve 9 = 3*m - v for m.
4
Let c(d) = -d**3 - d**2 - d + 4. Let m(f) = -f - 1. Let j be m(-1). Let k be c(j). Solve 0*w - 12 = k*w for w.
-3
Let r(f) = 2*f + 2. Let m be r(0). Solve -m*h - 5 = -3*h for h.
5
Suppose 4*f - 14 = 2*n, -3*f - 16 = -7*f. Suppose -3*i = -4*u - 1, 4*i - 4 = 5*u - u. Let z = i - n. Solve z = -s - 0*s for s.
-2
Let m(j) = -3*j - 28. Let d be m(-12). Solve -3*s + 20 = -d*s for s.
-4
Let u be (-1)/(-1)*-3*(-35)/21. Solve -c = u - 2 for c.
-3
Let u(p) be the third derivative of -p**6/120 - 7*p**5/60 - p**4/24 - 2*p**3/3 - 10*p**2. Let o be u(-7). Solve o*r - 7 - 2 = 0 for r.
3
Suppose -2*n - 3 = 5. Let w be (-1)/n + 21/12. Solve -w*q = q for q.
0
Suppose -225 = 4*q - 73. Let v be q/(-9) + 4/(-18). Solve -3*h + v = h for h.
1
Suppose -2*d - 2*d - 4*q = -32, 19 = 5*d - 2*q. Suppose 0 = 4*u - d*k, 0*u - 5*k = -5*u. Solve 5*r - 15 + 0 = u for r.
3
Let m be -1*(-1)/(-3)*0. Suppose -q - 3*q + 4 = m. Suppose -s + 3*s - 2 = 0. Solve s = k - q for k.
2
Let j(a) = -a. Suppose -5*m - 10 = -25. Let x be j(m). Let r be -2 + x + (4 - -1). Solve -8 = -r*b - 2*b for b.
4
Let t = -1 + 5. Let h be t + 4/(-2) - 3. Let r = 3 - h. Solve r*q = -0*q - 12 for q.
-3
Suppose 0 - 28 = -4*w. Solve w*t - 2*t + 15 = 0 for t.
-3
Let h(s) = s**2 + 10*s + 3. Let f be h(-10). Solve -3*l - 6 = -f for l.
-1
Suppose -4 + 14 = k. Suppose -4*s + k + 30 = 0. Solve s = -2*o - 0*o for o.
-5
Let s = 10 + -5. Let o = s - 0. Solve 0 = o*d - 3 - 7 for d.
2
Suppose 3 = 3*j - 3. Suppose -h = -2*r - 1 + 2, -2*r + 16 = j*h. Solve r*a = 2*a + 2 for a.
2
Let y(n) = 2*n**2 + 7*n - 5. Let p be y(-6). Let l(b) = -2*b - 9. Let a be l(-9). Solve -a*f + 4*f = p for f.
-5
Let y(t) = t**2 - 5*t - 3. Let c be y(6). Solve 2*z - 2 = c*z for z.
-2
Suppose 0 = 4*o - 3*u + 4, -2 = 3*o - 4*u + 8. Solve 0 = -3*j - o - 13 for j.
-5
Let j(l) = l**3 + 3*l**2 + 3*l + 4. Let w be j(-2). Solve 0 = -0*u - w*u for u.
0
Let m(v) = v**3 - 6*v**2 - 6*v. Let q be m(7). Let y(h) = 3*h - 11. Let o be y(q). Solve -o = -3*t + 5*t for t.
-5
Suppose 0 = 3*i - 3, -3*a = -4*a + i + 7. Solve -a = 3*d + 1 for d.
-3
Let s be (-4)/(1 - 3)*1. Suppose 6*r - 5*r = 0. Solve r = -2*w + s for w.
1
Suppose -2*z - z = 0. Suppose -5*a - 2 = -4*h, -5 = 2*h - h - 4*a. Suppose -17 = -5*c - 0*r - h*r, -2*c + 14 = 3*r. Solve 5*x - c - 19 = z for x.
4
Suppose 2*s = 4*g + 16, -3*s + 19 + 5 = -g. Solve s*t - 3*t = 10 for t.
2
Let i(u) = u**3 - 14*u**2 - 13*u - 17. Let q be i(15). Solve -5*n + q = -2 for n.
3
Suppose -2*r - 5*d + 36 = 0, -2*r - 8 = -r - 4*d. Let m be (-2)/11 + 171/33. Suppose 20 = 2*p + m*b - b, -2*b + 10 = 0. Solve p = q + q + r for q.
-4
Let g(r) = r**2 + 4*r + 1. Let j be g(-4). Suppose 2*x + j = -1. Let s be x - 1/((-2)/12). Solve s*n = -5 - 15 for n.
-4
Suppose 0*j = -3*z + 2*j + 7, -2*j + 8 = 0. Suppose 2*g = 5*t + 47, 0 = -5*g + z*t + 31 + 79. Let r be 6/g + (-66)/(-14). Solve -r*c - 1 = 9 for c.
-2
Let f(p) = p**2 + 6*p + 7. Suppose -3*i - 4 - 14 = 0. Let s be f(i). Let u = s - 4. Solve x - u = -4 for x.
-1
Let v(r) = r**2 + 6*r + 7. Let f be v(-4). Let s be 2/(-4)*f*10. Solve s*i - 4 = i for i.
1
Let x be 0/1 - 42/(-7). Let q be -29 + (2 + -3)/(-1). Let f = q - -48. Solve 0 = -w + x*w + f for w.
-4
Suppose -18 = -2*u + 2*s, -2*s = 5*u + 1 - 74. Let y = u - 11. Solve -y*a = a - 3 for a.
1
Let f be -3*(33/(-9) + 3). Solve v + 6 = -f*v for v.
-2
Suppose 0 = -5*z - j - 38, 3*z + 16 = -j - 3*j. Let m = z - -16. Suppose -3*h = h + 2*p - m, -4*p = -8. Solve -h = -4*o + 3*o for o.
1
Let l(q) = 8*q - 62. Let g be l(8). Let y be (-2)/((-1)/2*1). Solve -g*j = 2*j - y for j.
1
Suppose -y + 5*u = -6, -5*u - 78 = -5*y - 4*u. Solve y = 3*w + w for w.
4
Let m = 13 + -13. Solve 2*j + m = -4 for j.
-2
Let o be (-1 - (-2 + 0))/(1 - 0). Solve -a - 2 = -o for a.
-1
Suppose 0*h = 5*h - 80. Suppose -4*q = -k - h, 0 = -4*q - 3*k + 2*k + 8. Solve -3*f + 0 = -q for f.
1
Let u(s) = 2*s**2 - s. Let w be u(1). Suppose x + w - 2 = 0. Solve 0 = -4*k - x - 3 for k.
-1
Suppose -2 = -2*w - 0. Let a be w + 2 + 1/1. Suppose j + 18 = a*j. Solve 3*p = p + j for p.
3
Let u be (6/8)/(6/24). Solve -u*j = -6*j + 15 for j.
5
Suppose 2*x + 1 = 2*z + 11, -3*x = -4*z - 25. Let t be 72/(-15)*z/4. Solve -3*y = -3 + t for y.
-3
Let k = -18 + 19. Solve 0 = q + k for q.
-1
Let k(a) = a**3 - 9*a**2 - a + 3. Let o be k(9). Let d be (-1)/(-3) - 22/o. Suppose 0 = -5*c + 4*c. Solve c*p = -d*p for p.
0
Let m be 5/(15/6) + 0. Suppose 0 = -3*p + 4*r - 22, -4*p - 3*r - 4 = -m*r. Let i be (p - (-8 - -1)) + -2. Solve 4*y = y - i for y.
-1
Suppose 2*p - 34 = -3*h - 2*p, 5*h = 3*p + 18. Suppose 95 - 28 = 3*u + 5*j, -50 = -5*u + 4*j. Let x = u - 10. Solve 2 = -x*v - h for v.
-2
Suppose 5*o - 3 = 12. Solve -3 = o*q - 0 for q.
-1
Let l = -5 - -7. Suppose 0 = -l*b - 2*b + 4. Let m = 1 - b. Solve -3