et x be q/6 + h/6. Solve 5*t + 20 = -x*t for t.
-4
Suppose -15 = -4*y - q, 4*y + 3*q - 17 = -y. Suppose c + y*c + d - 11 = 0, 5*d = -4*c + 13. Solve c*o = 4*o - 10 for o.
5
Let d = -17 + 20. Suppose d*s - 8*s = 0. Solve -5*t + 15 + 10 = s for t.
5
Let k(c) be the second derivative of 5*c**4/12 - 8*c. Let t be k(-1). Solve -6*r + t*r = -2 for r.
2
Let n = 13 + 2. Let v(f) be the second derivative of -f**5/20 - 5*f**4/6 - 3*f**3/2 + 2*f. Let a be v(-9). Solve 5*q = -a*q - n for q.
-3
Let l = -12 - -24. Solve 2*p - l = -p for p.
4
Let u = -7 - -11. Let d be (1 - 1)*1/2. Let p = d - -2. Solve x - u = p*x for x.
-4
Suppose -89 - 55 = 3*h. Let t = -28 - h. Solve -c - 3*c = -t for c.
5
Suppose -2*t - 1 = -4*t - d, 3*t = d + 9. Solve -t*n - 4 = -3*n for n.
4
Let c(z) be the third derivative of z**4/12 - 2*z**3/3 + z**2. Let s be c(3). Suppose 0 = 5*h + 20, 5*d - s*h = 17 + 26. Solve d*a = 4*a for a.
0
Let d = 17 - 13. Suppose 3*h + 5 = 8. Solve d*a = h + 3 for a.
1
Let y be (2*(-3)/(-18)*15)/1. Solve -12 = -y*u + 3 for u.
3
Let u(g) = -g**2 + 10*g + 3. Let y be u(10). Suppose -y*o + 6 = -12. Solve 0 = k - o*k - 15 for k.
-3
Let n = 15 + -3. Solve -7*t = -3*t + n for t.
-3
Suppose -2*x + 6*x - u = 25, 2*u = 4*x - 22. Solve x*j + 5 = 2*j for j.
-1
Suppose -4*v = -0 - 20. Solve 0*u = v*u + 20 for u.
-4
Let l(w) = w**3 + 8*w**2 + 2. Let g be l(-8). Suppose -g*k + 30 = k. Solve 2*f = -0 + k for f.
5
Suppose -3*v - 4*t + 35 = 0, -2*v + 7*v = t + 20. Suppose -3*o - 1 = 2*l - 54, -35 = -o - v*l. Let z be (-21)/(-15) + (-6)/o. Solve 0 = c + z - 2 for c.
1
Suppose -90 = -4*n + 2*n. Suppose -2*q + 3*q = 5*c - 3, 0 = -5*c + 2*q + 6. Suppose c = -p - 2*p + n. Solve 7*j - p = 2*j for j.
3
Let f be (-8)/3*(-9 - -6). Let w be (f/32)/(1/4). Solve 4*s = 3*s - w for s.
-1
Let v(r) = -r**2 + 7*r + 3. Let y be v(7). Let g = 2 - y. Let w be (0/1)/3*g. Solve f - 4*f - 3 = w for f.
-1
Suppose -3*a + 0*a - 22 = -4*z, -z + 6 = -a. Solve -q = -2*q + z for q.
4
Let l = 15 - -10. Solve -s - l = -6*s for s.
5
Let m = -4 - -6. Suppose -m = -2*r + 4*r - 3*j, 3*r - 2*j = 2. Solve r*y = 1 + 1 for y.
1
Let q = 3 - 0. Let i be (-5)/(-15) + (-1)/q. Solve 2*k + 1 + 7 = i for k.
-4
Let a = -7 + 9. Let w be (1 - a) + (1 - -7). Suppose 0 = 2*k - 9 + 1. Solve -w - 13 = -k*y for y.
5
Let y be 427/35 + 2/(-10). Let w be 6 - (-2 - 0)*-1. Solve w*h = h + y for h.
4
Let a = 11 - 7. Solve -x - a*x = 20 for x.
-4
Let m = 13 - 13. Solve -4*l + m*l = -4 for l.
1
Let c be ((-2)/6)/(1/(-39)). Let i = c + -11. Solve 0 = -i*r - 3*r - 15 for r.
-3
Let n(b) = -b**2 + b**2 + 14 + 3*b**2 - 2*b**2 - 11*b. Let d be n(10). Solve -d*s = -2*s for s.
0
Let a = 13 + -13. Solve a = -0*m + 3*m + 6 for m.
-2
Let l = 14 + -5. Solve 6*y = 3*y - l for y.
-3
Let k(i) = -i + 16. Let l be k(14). Solve 0 = -h + l*h - 4 for h.
4
Let n = -128 + 128. Solve h + 0*h - 2 = n for h.
2
Let v = -11 - -5. Let q be -3*(-3 + (-10)/v). Solve 3 + 1 = -q*y for y.
-1
Let k(d) = -3*d + 4. Let t be k(2). Let h = t + 10. Solve -3*x = -h*x + 5 for x.
1
Suppose 0*i = 4*i - 16. Let z be (0 - -1) + (1 - 19). Let m = z + 32. Solve -p = i*p - m for p.
3
Let u be (-5 - -6)/((-3)/(-15)). Suppose 2*i + 2*i = 3*w + 25, i + 11 = -5*w. Solve 5*s + u = i*s for s.
-5
Let l(q) = -q**2 + 10*q - 9. Let u be l(8). Suppose 2*f - u = 11. Solve -f - 6 = -5*k for k.
3
Suppose -h + 4 = -0*h. Suppose 2*b - u + 4 = -5*u, 4*u = -4*b + 12. Solve b + h = 4*c for c.
3
Let b be 315/10 + (-1)/2. Let t = b - 17. Suppose t = 5*z - d, -3*d = 4*z - 0*d + 4. Solve 2*r + z*r = 16 for r.
4
Suppose 4*h = -76 + 716. Suppose -4*b + h = 4*v, 0*v + 3*v - 108 = b. Let k = v + -26. Solve 0 = 5*r + k - 36 for r.
5
Let a be (-2)/(2 + (-23)/11). Suppose 5*i + a = k - 4*k, -5*k - 3*i - 10 = 0. Suppose 3*p - o = -k - 4, -3*p + 10 = 2*o. Solve -2*t = -p - 8 for t.
4
Let a be (3 + -4)/((-1)/3). Let c be (-3 - -2)*2 + 5. Solve 0 = -3*h + c + a for h.
2
Let b = 14 + -17. Let u = b + 11. Solve j - u = -j for j.
4
Let t(x) be the third derivative of x**5/60 - x**4/2 - 11*x**3/6 + 8*x**2. Let b be t(13). Solve 0*c - 6 = -b*c for c.
3
Let a = -731 - -756. Let u = 0 - 1. Let b be 5 - (1 + -1)/u. Solve -b = 4*h - a for h.
5
Suppose -w - 2 - 1 = 3*p, -1 = 5*p + 3*w. Let j be (-6)/3 - (p + -3). Solve 0 = z + j for z.
-3
Let j(a) = -4*a**2 - 19*a + 4. Let z be j(-4). Solve 5*o + z = o for o.
-4
Let c = -3 + 7. Solve c*f = 6*f for f.
0
Suppose 3*f + 7 = -m, -31 = -4*m + 2*f + 11. Let i(j) = -j - 2. Let p be i(-4). Let o be -2*(-1)/p*0. Solve o = 3*a - m + 2 for a.
2
Let o be 48/32 + (-26)/(-4). Solve 0*d - 4*d - o = 0 for d.
-2
Suppose -10*c + 12 = -7*c. Suppose -14 = -c*w + 18. Solve -h + w = h for h.
4
Suppose -4*m = m. Solve m*k = 4*k + 8 for k.
-2
Let i = -6 - -18. Let f be ((-6)/(-9))/(2/i). Solve 3 = -3*z + f*z for z.
3
Let o = -13 - -15. Solve -1 - 5 = -o*i for i.
3
Let a(w) = 7*w + 65. Let h be a(-9). Solve -6*t = -h*t for t.
0
Suppose 30 = 3*t + 2*t. Suppose 0 = b - t*b. Solve 3*x = -b*x for x.
0
Suppose 59*k - 13 - 164 = 0. Let p = -1 + 4. Suppose p*a = -a + 8. Solve a = -x - k for x.
-5
Suppose -3*t + 3 = -6. Solve t*a = a - 2 for a.
-1
Let b be 2/8 - 33/(-12). Suppose 0 = b*g + 2*g + 60. Let o be g/(-8) - 1/2. Solve 5*a = -4 - o for a.
-1
Let f(w) = -w**3 - 5*w**2 + 4*w - 3. Let q be f(-6). Solve q*l - 4*l - 15 = 0 for l.
3
Let x be (-5)/(-2 - -7) - -8. Solve -5*n - 18 = x for n.
-5
Let b be (-1 + 1)*6/(-24). Solve b = -g - g + 10 for g.
5
Let r be -3*(-1)/(-2)*-2. Solve r*k + 0 = 6 for k.
2
Let q be (1/(-2) - 0)*8. Let h = 6 + q. Solve -h*o - 25 = 3*o for o.
-5
Suppose 4*g + 7*o - 41 = 2*o, -19 = -g - 3*o. Solve 2 = g*w + 14 for w.
-3
Let n be 26/10 - (-2)/5. Suppose -2*p - 2 = -n*p. Suppose p*g - r - r = 22, 28 = 2*g - 4*r. Solve -3*b - g = 1 for b.
-3
Suppose 12*z + 84 = 16*z. Solve 0 = -4*b - 1 + z for b.
5
Suppose u + a = 2, 4*a - 13 + 5 = -u. Let x be (-72)/72 - (-1 + -4 + 1). Solve x*f + 6 + 0 = u for f.
-2
Let s be (0 + 2)/(4/8). Let f be s/16 + 3/(-12). Solve f*b + 8 = -2*b for b.
-4
Suppose -5*u = 2*c - 37, 4*c - 4*u - 2 - 2 = 0. Let n = c + 5. Suppose 4*z + 3 - n = 0. Solve -2 = -y + z for y.
4
Let f be (-1)/(-4) + (-19)/(-4). Let w(o) = 2*o - 6. Let q be w(f). Suppose 2*r + 6 = 4*p - 4, q*p + 2*r - 14 = 0. Solve 2 = p*v + 5 for v.
-1
Let n be 4/(-3)*(3 - 9). Let v be (n - (0 + 0))/2. Suppose -v*t - 2*d = -2*t - 40, 5*t - 80 = -d. Solve 5*a - 2*a = -t for a.
-5
Let n(g) = g**3 + 7*g**2 - g - 3. Let m be n(-7). Suppose -h - m*h = 15. Let z be -2*(-8 + 3 - h). Solve 0*s + z = -s for s.
-4
Let a = -1 - -1. Suppose 0 = -5*g - j + 24, -5*j + a*j + 4 = -4*g. Let f be (-3)/9*(2 + -5). Solve f + g = 5*n for n.
1
Let y be (-7)/(-14) - 5/(-2). Suppose 59 = -y*a + 2. Let r = -11 - a. Solve r = -5*j - 7 for j.
-3
Suppose -5*f + 2 + 8 = 0. Solve -18 = 5*r + f for r.
-4
Let s(o) = o**2 - 10*o + 10. Let b be s(7). Let z be 12/66 - (-2)/b. Solve 3*d + 6 = -z for d.
-2
Let n(b) = -2*b**2 + 9*b - 2. Let f be n(4). Solve w + w = -f for w.
-1
Suppose 4*j - 5*f + 0*f + 12 = 0, 0 = j + 3*f - 14. Solve -n - j + 3 = 0 for n.
1
Let i(j) = 3 + 7 - 7*j - 1 - 2*j + j**2. Let t be i(10). Solve 5*b - t = 6 for b.
5
Let r(t) = -t - 5. Let d be r(-4). Let a be (-1 - d - -1)/(-1). Let h be 17 + (-2 - -2) + a. Solve -4*f = h + 4 for f.
-5
Suppose 3*r + 3 - 12 = 0. Let a be (-2)/3 + 2/r. Solve -w = -a*w for w.
0
Let x = 3 + -7. Let j be x*((-9)/4 - -2). Let r(k) = -k + 2. Let h be r(-3). Solve -6 = h*n - j for n.
-1
Let p = 79 - 51. Suppose n + p = 5*n. Solve 27 - n = 5*r for r.
4
Suppose -5*n + 5*p = 0, 0 = -2*n - 0*n - 5*p + 28. Let w = -7 + 11. Let v be (4/5)/((-1)/(-5)). Solve 0 = n*j - w - v for j.
2
Suppose 0 = 10*q - 12*q + 8. Solve 0 = q*t - 4 + 24 for t.
-5
Suppose -l + 0*l = -2. Let f = l + 0. Solve -f*m = -m for m.
0
Suppose 4*n - 2*n + 4 = 0. Let k = -5 + 8. Let j be (1/n)/(k/(-72)). Solve 2*i = -2*i - j for i.
-3
Suppose 2*u = -u + 15, 5*v = 5*u - 5. Solve 5 = -v*c + 17 for c.
3
Let h = 2 - -1. Let o(w) = -3*w**3 - w**2 + 4*w + 3. Let r be o(-2). Suppose -j - x + 3*x = -r, -j = h*x + 10. Solve -j = 6*k - k for k.
-1
Let j(a) = -a**3 - 6*a**2 + 4. Let i be j(-6). Suppose i*r + 4 = 5*r. Suppose 0 = -r*p - 4*x, -5*p + 5*x = -3*p. Solve p = 4*d + 3 + 5 for d.
-2
Let d = 83 + -77. Solve 0 = -t + 4*t + d fo