Solve r*d = -0*d for d.
0
Let d = -68 - -70. Solve -5*k - d = 3 for k.
-1
Suppose 5*j + 20 = -20. Let q(w) = w**2 + 8*w. Let r be q(j). Solve r*u - 6 = -2*u for u.
3
Suppose 6 + 8 = 7*j. Solve -y = 3 - j for y.
-1
Let w be (-6 + 10)*(-15)/(-12). Let k = 13 + -13. Solve -c = -k - w for c.
5
Let x be 8/(-12)*-3*1. Suppose -4*w + 36 = -4*h, -x*w + 12 = -3*h - 11. Solve 0 = u - w + 5 for u.
-1
Suppose -2 = 5*t - 12. Solve -t*m + 2 = 8 for m.
-3
Suppose -2*a + 6 = h + 2*a, -h + 7 = 3*a. Suppose 4*f + f = h. Solve r + f = 1 for r.
-1
Suppose 3*y - 54 = y. Let i = y - 19. Let z = i + -5. Solve 4*j - z*j = -5 for j.
-5
Suppose -6 = 3*n - 5*d - 1, 4*n - 12 = 2*d. Solve -19 + 4 = -n*h for h.
3
Let w be ((-1)/(-2))/(5/30). Let s be (1*w)/(6/20). Solve 2*x + s = 4*x for x.
5
Let y(t) = -2*t - 7. Let c be y(-6). Let s = 5 + 0. Suppose -2*q = -c*g - 15, -5*q + s*g + 29 = g. Solve 3*d = q*d + 10 for d.
-5
Suppose -5*d + 3 - 25 = -2*b, 2*d = -b - 7. Solve 1 = -x - b for x.
-2
Let u = -54 + 58. Solve -2*t + u + 0 = 0 for t.
2
Let z be -3 + (17 - (1 + 3)). Solve -4*h = h - z for h.
2
Let a = 1 - 1. Let y(w) = 2*w + 0*w - 3*w + 2. Let d be y(a). Solve -m - 2 = -d*m for m.
2
Suppose 0*n = n - 16. Solve 0 = c - 5*c + n for c.
4
Let k be -2 - (0 + -2 - 3). Solve -k*a = -1 + 4 for a.
-1
Let t be 0/((-1)/(1/(-2))). Suppose b + q - 9 = 0, -b - 3*q - q + 21 = t. Solve b*r - 9 = -29 for r.
-4
Let q(n) = -n - 9. Let w be q(-14). Solve -w*i + 8 = 18 for i.
-2
Let v = 14 - 12. Suppose -40 = -4*w + 4*t, v*w + t = 2*t + 15. Solve -2*m = w - 1 for m.
-2
Suppose -2*v + 6 = -v. Suppose 3 + v = -3*a - 3*m, 3*a - 3 = m. Solve s + s + 10 = a for s.
-5
Let i = 24 + -16. Solve -5*q = 12 + i for q.
-4
Suppose -4*y = 2*v - 12, 4*v - 4*y - y = -41. Let r(x) = 2*x**2 + 5*x - 3. Let h be r(v). Solve -4*z + 20 = -h*z for z.
-4
Let f be (-5)/10*1*-6. Solve 3*d - f + 12 = 0 for d.
-3
Let u(f) = -f**3 - 3*f**2 + 3. Let q be u(-3). Solve 0 = 3*s + q for s.
-1
Suppose 0 = -2*b + 2 + 6. Solve -g - b = -1 for g.
-3
Let x = -128 + 129. Solve -3*v - x + 4 = 0 for v.
1
Let w be 1/3*15*4. Solve 5*s + w = s for s.
-5
Let s = 29 + -21. Suppose -3*c + s = c. Solve 2*o = -c*o + 12 for o.
3
Let i(c) = -c**3 - 8*c**2 - 7*c + 2. Let n be i(-7). Let y(g) = -g**2 + 3*g - 2. Let x be y(n). Let z be (-2)/6 - 16/(-3). Solve t - z*t + 16 = x for t.
4
Suppose 0 = 4*i + i - 65. Solve i + 3 = 4*n for n.
4
Let y be 36/(-63)*(-21)/6. Solve 0 = y*l + 10 for l.
-5
Suppose 6*m + 44 = 2*m. Let u = m + 16. Solve -7 = u*v - 27 for v.
4
Let u(f) = 2*f**3 - 4*f**2 + 3*f - 1. Let b be u(2). Suppose -b*m = -3*m - 8. Solve 7*w - 9 = m*w for w.
3
Suppose v - 30 = -v. Solve 2*k = -k - v for k.
-5
Suppose -5*u = -2*k - 11, 3 = u - 2. Solve -k*g = -11*g for g.
0
Let n(a) = a**2 + 1. Let w be n(-1). Solve w = c + 3 for c.
-1
Let u = -16 + 23. Let m be (-2)/u - (-23)/7. Solve -2 = m*n + 1 for n.
-1
Suppose -a = -3*a + k + 3, -2*a - 4*k + 18 = 0. Solve 0 = -a*b - b - 16 for b.
-4
Let x = -4 + 6. Let z(m) = -m + 10. Let f be (3/(-9))/((-1)/18). Let u be z(f). Solve 0 = -x*c + c - u for c.
-4
Let q(l) be the third derivative of l**6/120 - l**5/60 + l**4/8 - l**3/2 - 2*l**2. Let v be q(2). Solve v = s + 3 for s.
4
Suppose -2*b + 2*k + 2*k = 12, -3*b = -4*k + 8. Let a = -1 + b. Suppose -j = 5*g - 16, j - 7 = -5*g + a*g. Solve -m + 1 = -j for m.
2
Let o be 25*(-1)/(-4)*-4. Let j be -9*(1 - -4)/5. Let t be 4/18 + o/j. Solve t*f + 6 = -6 for f.
-4
Let m = -1 - -3. Let h be 2/(-3) + (-32)/(-3). Solve -h + 4 = m*y for y.
-3
Let n be -2 + (-7)/(-5) + (-9)/(-15). Solve n = -3*i - 0*i + 3 for i.
1
Let c(w) = -w**2 - 8*w - 10. Let b be c(-7). Let u be (b - -4) + (0 - -1). Suppose a = -u*a. Solve n + a = 1 for n.
1
Let x be (6/8)/(9/24). Solve -x*b = -b + 4 for b.
-4
Let a be (-2 - (-12)/3 - 2)/(-2). Solve g + a = 3 for g.
3
Let n be -4 - 5*6/15. Let z be (4/n + 1)*15. Solve -z*o + 12 = -o for o.
3
Let y(a) = a**2 - 9*a + 7. Let r be y(8). Let o = -1 - r. Solve 5*c + 8 - 3 = o for c.
-1
Let u(b) = b**3 - 4*b**2 + 4*b - 3. Let n be u(3). Solve n = -a - a for a.
0
Suppose 5*a - 60 = 6*y - y, 0 = 2*y - 4*a + 26. Let h = -6 - y. Suppose 0 = h*l - 4*c - 8, 2*c + 6 = -5*l + 2. Solve l = 2*u - 0*u + 2 for u.
-1
Let d = 7 - 3. Let o = -7 - -13. Solve -d*a - 2 = -o for a.
1
Let q be 6*(-40)/(-15) - -2. Solve -q = -5*p + 7 for p.
5
Suppose -5*n + 6 = -4*l - 9, 0 = -2*n + 3*l + 13. Let q be 45/10 - n/2. Suppose -3*h + 10 = 2*h. Solve -h*g = -q*g for g.
0
Suppose 2*c - 4*c = 0. Let s be (c - 1)*(-1 + -4). Solve 10 + s = 5*q for q.
3
Let m(x) = -6*x. Let s(k) = -7*k. Let w be (-2)/(6/3)*5. Let q(d) = w*s(d) + 6*m(d). Let y be q(-5). Solve 2*n - 3 = -y for n.
-1
Suppose -p = b - 2, -2*p + 3*p = 5*b + 8. Solve z = -p*z + 12 for z.
3
Let s = -4 - -9. Let a = -3 + s. Let q be 4*2/4 - -2. Solve q*z - a - 10 = 0 for z.
3
Let z(x) = x + 17. Suppose 2*k - 5*k - 42 = 0. Let j be z(k). Solve j*a = -3 - 0 for a.
-1
Let l(o) = -o**3 + 5*o**2 - 3*o + 1. Let u be l(3). Let p be 335/4 - 3/(-12). Let w be ((-10)/6)/((-4)/p). Solve -u = -5*a - w for a.
-5
Let o = 8 - -2. Let t = 14 - o. Solve -t*i - 1 + 5 = 0 for i.
1
Let t = 123 + -123. Solve -3*p = -12 - t for p.
4
Let v(f) be the first derivative of 2 + 12*f - 11/2*f**2 - 1/3*f**3. Let d be v(-12). Solve 0*w + w - 5 = d for w.
5
Let w(y) = 3*y**3 - y**2 + 5*y - 5. Let b be w(2). Solve -b = -4*v - 9 for v.
4
Suppose 0 = -j + 2*j. Suppose 4*t + 5*m + 14 = -15, j = 5*t - 2*m - 5. Let r be (-1)/t*24/6. Solve 5*n + r = -1 for n.
-1
Let h = 2 - 0. Suppose b - 4*b + 15 = 0. Suppose 0 = -4*z + b*o + 15 + 9, -2*z + 12 = -4*o. Solve -z - h = -2*c for c.
4
Let b be (-1 + 2)*(-3)/3. Let i(m) = -m + 0*m + 0*m**3 + m**2 + m**3. Let c be i(b). Solve -a = c + 3 for a.
-4
Let l = -10 + 13. Suppose 0 = l*d - 2*h - 12, -d - 5*h + 4 = -0. Solve -4*i - 4 = d for i.
-2
Let p be (0 - -2)*18/4. Let y = -9 + p. Solve -2*a - 2 - 2 = y for a.
-2
Let v(r) = -r**3 - 3*r**2 + 2. Let k be v(-3). Let j be (0 - 1)/((-3)/9). Solve 15 = j*l + k*l for l.
3
Let b = 10 - 6. Let x = 7 - b. Solve x*t = -17 + 2 for t.
-5
Let o(n) = -n + 9 - 9 + n**2 + 4*n. Let d be o(-3). Solve -3*a + a + 10 = d for a.
5
Suppose -2*t = t - 9. Suppose 2*r = s - t, 0 = 4*r - 2*s - 2*s + 4. Let n be 2 - (4 + r + 0). Solve n*a = 4*a for a.
0
Let n(b) = b**2 - 4*b - 6. Let o be n(6). Let i = -2 - -4. Let q(a) = a**2 + 2. Let w be q(i). Solve -4*t - w = o for t.
-3
Let m(l) = -l**3 + 4*l**2 + 3. Let h be m(3). Solve z - h = -2*z for z.
4
Let a = -15 - -23. Suppose -4*b + 0*b + 4*h - 12 = 0, b - 3 = -h. Suppose 6*g - a*g = b. Solve 0 = -g*x + 4*x + 8 for x.
-2
Let x = 1 + 2. Suppose x*z + 2*c = 28, -c + 48 = 5*z + 3*c. Suppose p + 3*s + 6 = -0*s, z = -3*p - 4*s. Solve -r + 6*r = p for r.
0
Let n = -5 - -8. Let q be (n/9)/(1/6). Solve q*m = -m + 15 for m.
5
Let s be 3 - (1 + -4 + -9). Solve -s = -m - 2*m for m.
5
Suppose -s - 2*s = 2*n - 1, 2*n + 4*s + 2 = 0. Suppose 5*g - 13 = -3. Suppose -n + g = -b. Solve 2*p - b*p = -2 for p.
2
Let t = -12 - -14. Solve -t*r = -7*r for r.
0
Suppose 0 = -4*s + 5*s - 6. Suppose -56 = -2*i - 3*n, 4*n - 33 - 100 = -5*i. Solve -g + s*g = -i for g.
-5
Suppose -5*z + 21 = -r + 5*r, 2*r = 4*z + 4. Let g(s) = s**3 + 4*s**2 - 2*s - 1. Let b be g(-4). Solve b = r*k + 27 for k.
-5
Suppose -2*d + 25 = -3*y, 20 = -5*y + 3*d - 22. Let j(r) = -r**3 + 7*r**2 - 7*r - 1. Let h be j(6). Let m = h - y. Solve 0 = -c - c + m for c.
1
Let v be -4*2/(-4) - -1. Let n = -7 - -12. Suppose 0 = 3*w, -n*c = -4*w + 8*w - 40. Solve -c*x = -v*x - 5 for x.
1
Suppose 4*v = 2*v + l + 9, -2*v - 3*l = 3. Solve t - v*t = 4 for t.
-2
Suppose 0 = -5*u + 2*u + 18. Solve u*t = t - 15 for t.
-3
Let s(p) be the first derivative of -2*p**2 - 6*p - 2. Let v be s(-4). Solve -v = -4*k + 6 for k.
4
Let p(i) = 8*i**2 - i + 1. Let l be p(-1). Solve 5*x - l = 3*x for x.
5
Let a(s) = -s**2 - 7*s + 2. Let h be a(-7). Suppose -h*i = -i. Solve -2*j + 3 - 1 = i for j.
1
Suppose 4*u = 2*u, 3*h + u - 36 = 0. Suppose 0 = o + 5*r - h, -3*r + 7*r = 2*o - 24. Let y = o - 7. Solve -3*q + 4 = -y*q for q.
-2
Let y be (-4)/(-6) - 16/24. Solve y*i + 6 = 2*i for i.
3
Let u(q) = -q - 3. Let b be u(-5). Suppose -4*f + b*t = -10, -4*f + 15 = 3*t - 6*t. Let r = -6 - -6. Solve r = -f*g - 2*g + 10 for g.
5
Suppose i = -0 + 