d + 3 = 4*s for s.
3
Let u be (2 - -25)*(-2)/(-6). Let v = 16 - u. Solve v*r - 2*r = 0 for r.
0
Let r(a) = 4*a. Let x be r(4). Let t be 4/x + (-22)/(-8). Solve 0 = -o + t*o + 6 for o.
-3
Let x(c) = -c**3 - c**2 - c - 1. Let v(n) = -3*n**3 - 6*n**2 - 2*n. Let w(f) = -v(f) + 2*x(f). Let g be w(-4). Let y = g - -4. Solve 1 = -y*k + 7 for k.
3
Let c be (-5)/15 - (-8)/6. Suppose -j + 5 = 15. Let a be j/(-70) + 13/7. Solve a*q + c = 5 for q.
2
Let k(w) = -w**2. Let n be k(0). Let t = 3 + 1. Suppose t*p - 25 = -p. Solve n*m + p = -m for m.
-5
Suppose -3*h + 9 = 3*y - 5*y, 3*y - 29 = -4*h. Solve -h*w - 8 = -w for w.
-2
Let m be (-58)/(-18) - 12/54. Suppose y = m*y. Solve y = -w + 3*w - 4 for w.
2
Let h(i) = -i**2 + i. Let x be h(2). Let t be x/(6/(-3))*0. Let z be (t - -1)/1 - -4. Solve -27 = z*m - 7 for m.
-4
Suppose w + 5*b = 20, 3*b = 5*w - 0*b + 12. Let c(m) be the third derivative of -m**4/12 - 4*m**3/3 - 3*m**2. Let x be c(-8). Solve -x = 2*a - w*a for a.
-4
Suppose -3*c + s = 3*s - 4, 0 = -5*c - 4*s + 6. Solve -j = c*j for j.
0
Let p = 11 - 11. Solve -3*g + p*g - 6 = 0 for g.
-2
Let f(d) = -d - 4. Let b be f(-4). Solve b = z + z - 4 for z.
2
Let i = -16 - -10. Let n = i + 8. Solve n*y = -3 - 3 for y.
-3
Suppose -3*v - 11 = -5*o, 2*o + 7 = -2*v + 7*v. Solve -2*m + 2 + o = 0 for m.
3
Let i = 35 + -29. Solve o + i = -o for o.
-3
Suppose 2*p - 3*b = 2*b + 2, -2*b = 2*p - 16. Suppose -7 = -2*s - 1. Suppose 3*g - 60 = -p*x + s*x, 3*g = 2*x - 15. Solve n - 6*n = x for n.
-3
Let r(z) = -3*z - 13. Let g be r(11). Let j be g/(-10) - 12/20. Solve -j*b + 10 = b for b.
2
Suppose 3*n + 5*f - 8 = -n, 0 = 3*n + 4*f - 5. Solve -5*l - 12 + n = 0 for l.
-1
Let y be ((-4)/10)/(1/(-5)). Let l = -12 + 15. Solve -l*a = y*a + 20 for a.
-4
Let c be (6 + (-3 - -2))/1. Suppose -3*m - 49 = -5*m + 5*l, -3*m = -5*l - 61. Let o = -1 - -1. Solve x - c*x - m = o for x.
-3
Let j(a) = -3*a + 3. Let o be j(-3). Suppose -4*z = p + p + o, p - 4*z = 24. Solve p*m + 19 - 3 = 0 for m.
-4
Suppose 2*w - 3*n = -0 + 2, 5*w = 2*n + 5. Let d(m) = -m**3 - m**2 + 3. Let i = 7 - 7. Let g be d(i). Solve -j + g = -w for j.
4
Suppose 0 = 3*j - 0 - 9. Suppose -j*s - 6 = -h, -3*h = -8*h - 5*s - 10. Solve h*n = -3*n for n.
0
Let b(t) = 3*t**3 - 2*t + 1. Let a be b(1). Suppose -a*i = -i - 4. Solve 2 = i*v - 2 for v.
1
Let c be ((-1)/3)/((-1)/9). Suppose 3*k - 10 = -5*w, -2*w + 0*k + 2*k + 4 = 0. Solve -c*j + 10 = w*j for j.
2
Suppose 4*f + 2*o - 3*o = 4, 4*f = 2*o + 8. Suppose -5*y = -f*y. Solve 2*c - 4*c - 4 = y for c.
-2
Let t be (-4)/2 - (3 - 7). Let g = t - -1. Let d(a) = a**2 + 9*a + 12. Let n be d(-8). Solve 4*k - n = g*k for k.
4
Suppose -z - z = 4, 0 = -4*x + 3*z + 230. Suppose -2*n + 4*j = -x, -80 = -6*n + n - 5*j. Suppose 3*r = 4*p - r - 12, 3*r = 3. Solve -p*v + n = -0 for v.
5
Let a = 8 + 1. Solve -3*q = -0*q - a for q.
3
Suppose 5*q = -3*i + 13 + 14, -2 = 2*q - 2*i. Solve q = 3*p - 0 for p.
1
Suppose 0 = -9*b + 4*b + 30. Suppose -b*n = -2*n. Solve n*x - 2 = -2*x for x.
1
Let f = -13 - -18. Let w be (-25)/10*(-6)/f. Solve -3 = -0*y - w*y for y.
1
Suppose 0 = -3*k + 5*k - 6. Suppose -45 = -k*c + 30. Solve -u - c = 4*u for u.
-5
Let p be -1 + 0 + 10 + 3. Let s be (1 - 5)*(-2)/(-16)*-4. Solve -2*m - p = s*m for m.
-3
Let o = 14 + -10. Let i = o + -2. Solve w - 5 = i*w for w.
-5
Let d be 20/30*(-9)/2. Let q = 9 + d. Solve 0 = 2*k + 2 - q for k.
2
Let v be 9 - (2 + -2)/2. Solve 0 = 3*k - v + 3 for k.
2
Let w be (-6)/(-10) - (-22)/55. Suppose 0 = -2*y + 4*y + 3*m + 1, -y - 5 = 3*m. Solve -y*k = -w - 11 for k.
3
Suppose 3*p = 5*i - 2, 0 = 3*i - i - 8. Solve 3 = s + p for s.
-3
Let c = -64 - -66. Solve c = l + 1 for l.
1
Let i = 0 - 0. Let v = -208 - -210. Suppose -u - 6 = -2*c, -2*c = -0*c - 3*u - 10. Solve v = c*w - i for w.
1
Let d = -61 + 65. Solve 4*z - 5*z + d = 0 for z.
4
Let g = 5 + 1. Let s = g - 5. Solve 0 = 5*r - s - 4 for r.
1
Let h = 2 - -5. Suppose h*u - 2*m = 2*u + 8, -4*m - 16 = 4*u. Let x be (-2)/10 - 2/(-10). Solve 2*b + x*b + 8 = u for b.
-4
Let n = 25 - 17. Suppose 0 - 12 = 3*w. Let q = w + n. Solve 9*k - q*k = -10 for k.
-2
Let w(a) = -a**2 + 6*a + 5 + 4*a - 4*a. Let t be w(5). Solve t = -3*x + x for x.
-5
Suppose 3*c - 4*c = 0. Let g(z) = z**3 - 2*z**2 + 6. Let o be g(c). Solve -2*q + 0*q = -o for q.
3
Suppose 2*b = -b - 2*u - 1, 3 = 3*b + 3*u. Let r = 0 - b. Suppose -4*f + 10 = f + 4*v, -5*f + r*v + 10 = 0. Solve -2 = -f*p + p for p.
2
Let q(y) = -y**3 + 5*y**2 + 5*y + 13. Let n(i) = -i**2 - i. Let u(a) = -3*n(a) + q(a). Let z be u(9). Let k(m) = m - 2. Let x be k(3). Solve x = -z*p + 5 for p.
1
Let u be -10 - 1 - (1 - 2). Let z = u - -17. Let c = -2 + z. Solve -2*l + c = -5 for l.
5
Let u = -116 - -120. Solve -u*d = -3*d for d.
0
Let w be (26/10 - (-14)/35)*1. Solve h - 7 = -w for h.
4
Let o(v) = -2*v + 0*v - 2*v**2 - 7 - v**3 - 4*v**2 + 0*v. Let g be o(-6). Suppose -2*z + g*z = 0. Solve z*d - 1 = -d for d.
1
Let n = -5 - -1. Let l be 0 + n/2 + 6. Suppose -l*r + 14 = -2. Solve 0*i - r*i - 12 = 0 for i.
-3
Let o(k) be the third derivative of k**6/8 - k**4/24 - k**3/6 - 2*k**2. Let h be o(-1). Let x be (6/(-15))/(1/h). Solve -x = 3*a - 6*a for a.
2
Let f be (22 + -16)*(-1)/(-2). Solve -f*t = -t - 10 for t.
5
Let t be 1/((-6)/(-22)) + (-14)/21. Solve 0 = -2*y + t*y - 2 for y.
2
Suppose 4*u - b = -5*b + 12, -4*u + 2*b = -6. Suppose 0*v = -u*v + 12. Solve y - v = -1 for y.
5
Let b = -80 - -84. Solve a = -b*a for a.
0
Let m be 4/(-10) + (-34)/(-10). Suppose -27 = -h - 5*c, -3*c = 2*h + m*h - 25. Let p(k) = 2*k - 7. Let y be p(5). Solve y = 5*a - h*a for a.
1
Suppose -p + 7 = v, 7*v - 11*v = -p + 22. Solve -p = 3*w - 1 for w.
-3
Let l be (6/4)/(6/8). Let g(a) = 2*a - 4. Let c be g(l). Solve c = -6*z + 3*z + 15 for z.
5
Let k = 1 + 3. Suppose 0 = 2*g, -k*m - 15 = -5*m - 2*g. Let x be 10/m - (-13)/3. Solve -x*j = 5 - 0 for j.
-1
Let m = 60 - 55. Solve 3*o = -4 - m for o.
-3
Let x be ((-14)/8)/(1/(-8)). Suppose 11*d + 2 - 13 = 0. Solve -3*o - x = d for o.
-5
Let s be (-2)/3 + 16/(-3). Let c(i) = -i**3 - 7*i**2 - 8*i - 2. Let b be c(s). Let l(m) = -m**2 + 12. Let v be l(3). Solve -2*g - b = v*g for g.
-2
Suppose -2*a = 3*q + 4 - 0, 4*q + 8 = -2*a. Let c(b) = 15*b**2 + 2*b - 1. Let w be c(1). Solve 0 = -4*m + w - a for m.
3
Suppose 14*t = 16*t - 10. Solve t*c = c for c.
0
Let y be 0 + 1 + (-1 - -2). Let s = y + 0. Suppose 47 - 19 = 5*j + 4*o, s*j - 6 = o. Solve w = -j*w - 5 for w.
-1
Suppose -7*z = -2*z + 20. Let g(i) = -i**2 - 3*i + 4. Let a be g(z). Solve a = -j - 3 + 8 for j.
5
Suppose 24 = 4*r - t + 4*t, 3*r + 3 = 3*t. Suppose 16 + 2 = r*f. Let x(q) = q**3 - 7*q**2 + 6*q + 4. Let h be x(f). Solve h*n - 1 = 11 for n.
3
Suppose 0 = 7*o - 4*o - 114. Suppose 2*h + 2*h + 5*s = 76, -2*h + o = 4*s. Suppose -3*z = -2*q + 21, 3*q - 2 = z + h. Solve -i - q = -1 for i.
-5
Suppose -3*r + 5 = 4*b, b = 5*r + 3 + 4. Solve -s - 6 = b*s for s.
-2
Let j = -4 - -9. Suppose 6 = j*x - 2*x. Suppose -3*m + 3 = -x*m. Solve -n = 2*n + m for n.
-1
Let r be (12/(-8))/((-3)/(-4)). Let p = 3 - r. Solve -p*f = 2 + 8 for f.
-2
Let f be -3 - 12/(16/(-4)). Solve f = 2*h - 4*h - 4 for h.
-2
Let u be (-1 - 6)/(10/(-20)). Suppose u = 3*w - 4. Solve -r + w = -3*r for r.
-3
Suppose 4 = 2*f - 6. Suppose 7 = f*d - 8. Solve -7 = d*u + 2 for u.
-3
Suppose 5*x - 2*v = -6, -4*x - 8 = 3*v + 6. Let h be 2*(x - (-6 - 0)). Solve -3*n - h = 4 for n.
-4
Let m(g) = -g + 11. Let d be m(6). Let b = d - 1. Solve -5 = b*j - 1 for j.
-1
Let j = 4 - 2. Solve r + 0 = -j for r.
-2
Let v(o) = -9 + o**2 + o - 3*o - 2. Let s be v(5). Solve -s = -5*j + j for j.
1
Let p = -1 + 2. Let o be (3/1 - 1)/p. Solve -4*u = o - 14 for u.
3
Let v(a) = -a**2 + a + 5. Let u be v(0). Let i = 1 + u. Solve 2 = -4*y + i*y for y.
1
Suppose -6*y - 2*y = -4*y. Solve -k + y = 1 for k.
-1
Let d = -18 + 21. Solve -2*j - d*j = 0 for j.
0
Suppose -4*j = w - 5*j - 3, -3*w - 5*j = -17. Solve -6 = -w*g - 22 for g.
-4
Let v be (-2 - 2)/(-1 + 0). Let d = -412 + 412. Solve -q - v*q - 20 = d for q.
-4
Let i(l) = -l**2 + 6*l - 3. Let w be i(2). Let t = -12 - -18. Suppose 2*v = -3*k + t*k + w, 2*v = -k + 9. Solve v*b = 3*b + 2 for b.
2
Let c = -12 - -16. Solve 5 = c*p + p for p.
1
Suppose 3*g - 6 = 3. Suppose g = 2*j - j. Let x(i) = -2*i + 1. Let n be x(-3). Solve -r - j 