+ 3 = 0 for k.
1
Let t(w) = -w + 10. Let o be t(8). Solve -5*b = -12 + o for b.
2
Suppose 2*z + 4*t - 16 = -0*z, 2*z - 3*t + 5 = 0. Solve 0 = 2*h - h - z for h.
2
Suppose -4*o - o = 0. Let b be (18/(-15))/((-1)/5). Let g = b + -4. Solve o = 4*a + g - 22 for a.
5
Let x be ((0/(-5))/(-3))/1. Solve 0 = -4*q - x - 4 for q.
-1
Let r(a) = -2*a + 2 + 11*a - 1. Let w be r(1). Solve 6*m = 4*m + w for m.
5
Let t = -39 - -41. Solve 0*o = -t*o for o.
0
Suppose 5*x = d + 24, 2*x + 5*d = -16 + 4. Solve x*g - 3*g = 3 for g.
3
Let c(l) = -l + 2. Let y be -4 + (2 - 0) + -1. Let n be c(y). Let h = -4 - -8. Solve n*q + h = 19 for q.
3
Let h = 21 + -6. Let j = -14 + h. Solve -g - 2 + j = 0 for g.
-1
Suppose -5*m = -3*p + 4*p - 1, -5 = 5*m. Solve -4 = p*c - 2*c for c.
-1
Suppose 0 = m - 5*m. Let n be (-75)/(-9) - (-6)/9. Solve 3*o + 0 - n = m for o.
3
Suppose 3*x = 68 - 23. Solve 5*t - x = -0*t for t.
3
Let j be (-65)/(-10) - 2/4. Solve -4*z + j = 14 for z.
-2
Suppose 0 = -4*i - 3*f + 23, i + f - 22 = -3*f. Solve 2 = -i*m - 6 for m.
-4
Suppose 8 = -a + 5*a. Let k(d) = d**2 - 2*d + 3. Let l be k(a). Solve -l*h - 2 - 4 = 0 for h.
-2
Suppose -w - 3*w - v + 2 = 0, -2*w + 6 = 3*v. Solve w = -5*o + 10 - 0 for o.
2
Suppose 4*b = -b + 15. Suppose -b*f + 4*f - 3 = 0. Let h = -3 + 5. Solve 0 = -h*n + f*n - 2 for n.
2
Let g = 18 - 18. Solve g*v = -4*v for v.
0
Suppose a - 4*z = -0*a + 25, 3*z + 15 = 0. Suppose b = -a*p - 3, 0*b + 9 = -3*p - 3*b. Solve 3*u + 9 = -p*u for u.
-3
Let v = -69 - -73. Solve -v*y = -2*y - 6 for y.
3
Suppose -v = -f - 21, v - 9 = 3*f + f. Solve -6*l = -l + v for l.
-5
Let f(u) = -5*u - 5. Let v(m) = 4*m + 5. Let b(k) = 5*f(k) + 6*v(k). Let d be b(0). Let l be 18/d - 6/(-15). Solve 0*t + 2*t - l = 0 for t.
2
Let p(y) = y**3 + 8*y**2 + 5*y - 10. Let g be p(-7). Let z be (1 + 1)/(2/1). Solve 0 = 3*k - g + z for k.
1
Let h(t) = 3*t - 1. Let s be h(3). Suppose 3*l + 6 = 2*a + a, l = 4*a - s. Solve k - 7 + 2 = l for k.
5
Suppose 3*s = -n + 1 - 6, -27 = -3*n + 5*s. Solve 3*k = n*k - 4 for k.
4
Let q = 5 - 1. Suppose u = -4*s - 5 - q, -4*u + 24 = s. Solve 2*g - u*g = 0 for g.
0
Let z = 0 - -4. Suppose 4*t + 21 = -k + z*k, -3*t - 7 = -k. Suppose 0 = k*p - 2*p. Solve s - 2*s + 5 = p for s.
5
Let g(m) = m - 9. Let j be g(13). Solve 5 = j*v - 3*v for v.
5
Let v(n) = -3*n - 4. Let i be v(-2). Solve 0 = -i*r + 1 - 11 for r.
-5
Suppose -a + 9 = -0. Solve 3*z = -0 + a for z.
3
Suppose 3 - 13 = 5*m. Let u = 4 - m. Let j(d) = d**3 - 6*d**2 - d + 8. Let t be j(u). Solve -8 - t = 5*r for r.
-2
Let y = -2 + 4. Let v = -2 - -5. Suppose 2*j + 0*j - r = 8, 8 = 2*j - v*r. Solve -j*d = -y*d + 8 for d.
-4
Let y be (6 - 1) + (3 - 0). Suppose -a = a - y. Solve -7*z = -a*z + 12 for z.
-4
Let g be 3 + (-12)/4 - 0. Solve g = -5*p + p - 20 for p.
-5
Let y be 1*(0 - (-22 - 1)). Let k = -18 + y. Solve -2*u = 3*u + k for u.
-1
Let j(w) = -w + 27. Let q be j(21). Solve -3*a + q*a = 0 for a.
0
Let h = -26 + 51. Let k(l) = l**2 - 3*l - 2. Let t be k(4). Solve 0 = t*o + 3*o + h for o.
-5
Let t(y) = -y + 9. Let l be t(7). Suppose l*q - 14 = -0*q. Solve -1 + q = -3*h for h.
-2
Let i(x) = x**2 - 5*x - 3. Let p be i(6). Let f be 6/(-5)*1*-5. Let v = f - p. Solve -15 = -3*y - v for y.
4
Let q(u) = -u - 1. Let h be q(-4). Suppose 0 = -0*j + 3*j - 3. Solve h = -o - j for o.
-4
Suppose 4*c - 42 = -5*o, -c - c = 5*o - 36. Solve n + o = -n for n.
-3
Let f(o) = o - 15. Let d be f(15). Solve d*m + 10 = 5*m for m.
2
Let a = 5 + 2. Let f = a + -4. Solve c = -f*c + 12 for c.
3
Let y be (3/6 - 2)*-2. Suppose 7*f = y*f + 16. Solve -1 = -5*z + f for z.
1
Suppose -3*x + 3 = f, -10 = 5*x + 5*f - 5. Solve x*p + 0 = 6 for p.
3
Suppose -p - 3*m = 6, -4*m - 6 = -2. Let r = p - -5. Solve -2*a - r*a = 0 for a.
0
Let r be (2/(-4))/((-4)/(-48)). Let k(n) = n + 13. Let b be k(r). Solve 0 = b*w - 2*w for w.
0
Let o(p) = p**2 - p - 2. Let w be o(-2). Let t be w/6 - (-50)/15. Let i be ((-20)/(-30))/((-1)/(-3)). Solve -t = c - i*c for c.
4
Let b(a) be the third derivative of a**5/60 + 7*a**4/24 + a**3/3 + 2*a**2. Let i be b(-5). Let x be (-4)/16 - 2/i. Solve x = -4*j - 19 + 7 for j.
-3
Let j = -8 - -11. Suppose j*b = -b + 48. Let g be 69/b + 2/8. Solve v + 2*v = g for v.
2
Suppose 3*b + 2*b - 4*d = 31, -4*d - 22 = -2*b. Solve 7*l = b*l for l.
0
Suppose -3*u = -8*u + 35. Suppose -u = 3*b - 22. Solve 0 = -b*v + 5 - 20 for v.
-3
Let c be (-1 + (2 - -2))/1. Suppose -2*y + 5*p + 11 + 5 = 0, -5*p = 0. Solve 5*u - y + c = 0 for u.
1
Suppose 2*p - 4*h - 4 = 0, p = -4*p - h + 43. Let b be 22/p - 4/(-16). Solve -2*c + c + b = 0 for c.
3
Let a(i) = 6*i - 2. Let g be a(-3). Let z = 28 + g. Solve -d = d - z for d.
4
Suppose -4*u + 3*t + 21 = 0, u + 2*u = -4*t - 3. Suppose 3 = -3*j, -3*c + 2*j + 8 = 6*j. Let d = c - u. Solve d + 5 = -3*k for k.
-2
Let m = 5 + -5. Let j = 4 + 4. Solve -j + m = 2*f for f.
-4
Let l(q) = q**3 - 24*q**2 + 24*q - 21. Let h be l(23). Solve -4*r + h*r + 10 = 0 for r.
5
Let h(d) = -d**2 - 11*d - 4. Suppose 0 = 4*o + 8, -2*o - 1 = 4*c - 17. Suppose -2*x + s = 2*x + 36, 0 = -c*x + s - 44. Let u be h(x). Solve a = -4*a - u for a.
-4
Let u(w) = w**2 - 4*w - 3. Let q be u(5). Suppose 0 = -q*s + 8, -a + 3*a + 24 = 4*s. Let v be (-16)/12*6/a. Solve -3*z + v = -z for z.
1
Let m be (1/(-3))/(4/(-120)). Solve -p = -3*p + m for p.
5
Suppose -3*r = -0*r - 9. Solve 7 + 8 = r*w for w.
5
Let a(o) = -o**3 + 11*o**2 + o - 9. Let w be a(11). Solve w*z = 9 + 1 for z.
5
Suppose 0 = -5*x - 0*v - 3*v + 39, x + v - 9 = 0. Suppose 0 = 6*a - a. Suppose a = -4*u + 6*u - 14. Solve x = -y + u for y.
1
Let f be 6 + -1 + (8 - 8). Solve 0 = 2*h + 1 - f for h.
2
Let k(f) = -f. Let m(q) = -5*q**2 + 2*q - 1. Let o be m(1). Let t be k(o). Solve 10 = 2*z - t*z for z.
-5
Let z = -7 + 9. Suppose d = -z*x + 4*d - 7, 0 = -2*x + 5*d - 13. Solve 3*w = 13 - x for w.
4
Let t(y) = y**2 - y - 3. Let m be t(3). Suppose m*q + 1 = 10, 2*z - 5*q - 9 = 0. Solve 3*u + u - z = 0 for u.
3
Let n = 61 - 56. Solve -n*u - 3 = 12 for u.
-3
Let r be 2 - ((-10)/2 - -3). Suppose -4*l + 5 = -3*p + 37, 6 = r*p + 2*l. Solve 5*d - 5 = p*d for d.
5
Let l(v) = 2*v - 6. Let x be l(7). Suppose -3*h - b = 29, x = -2*h + b - 8. Let i be 2/(-7)*(2 + h). Solve -i*k = 10 - 4 for k.
-3
Let u = -9 - -11. Suppose -3*j = u*j. Solve -7*a + 2*a + 25 = j for a.
5
Let y = -15 + 18. Solve -y*v + 5 = 2 for v.
1
Let g(w) = -w**3 + 4*w**2 - 4. Let s be g(2). Solve -1 + s = 3*k for k.
1
Let s(g) = g + 8. Suppose -i = 2*i + 15. Let a be s(i). Solve 2*h - 10 = -a*h for h.
2
Suppose 0 = 14*j - 11*j - 15. Let d be (-3)/1 - -2 - -1. Solve -k = -d*k + j for k.
-5
Let l(x) = 3*x**3 - 2*x + 1. Let g be l(1). Solve -g - 6 = 4*z for z.
-2
Let f(r) = 9*r**2 - 1. Let m be f(1). Suppose m = 5*g - 12. Solve -7 = -g*x - 23 for x.
-4
Let c = -2 - -12. Suppose -3*l - 2 = -t + 2*l, -t + l = -c. Suppose -t = 2*u - 5*u. Solve u*i + 2 = 2*i for i.
-1
Suppose -4*v - 636 = -4*l, l + 5*v - 244 = -55. Let u be l/14 - (-8)/28. Solve u = 2*g + 2*g for g.
3
Let l be 2*(-3 - ((-30)/4 - -3)). Solve l*j = -2*j + 10 for j.
2
Let g be -3 - 1/(-3 + 2). Let c = -2 - g. Solve c = -2*n + n + 2 for n.
2
Suppose 4*t - 2 - 22 = 0. Suppose -b + 4*b - t = 0. Let y be 0 + -1 + -1 + b. Solve -3*h - h = y for h.
0
Let d(t) = -3 - 2*t - 4*t + 9*t. Let b be d(2). Let w be (3 - -1)*(1 + 0). Solve -w*p + b = -7*p for p.
-1
Suppose 2*i = -3*i - 4*z, 0 = -i + 4*z + 24. Let p = -1 - -1. Solve -i*a = -p*a for a.
0
Let b be 142/9 - (-2 + 32/18). Let u be 0 + 0 - (0 + 0). Solve -5*k + k - b = u for k.
-4
Suppose -3*k = -4*k. Suppose -5*o + 18 + 7 = k. Solve -4*n = -o*n - 5 for n.
-5
Let u be (-117)/(-12) - 3/4. Let p(q) = 4*q + q - 9 - q. Let m be p(u). Solve -m + 12 = 3*y for y.
-5
Let b(j) = -2*j - 5. Let s be b(-4). Solve -s*l = -7*l + 4 for l.
1
Let j be 3/(2 + 21/(-15)). Solve 0 = -n - j + 1 for n.
-4
Suppose 3*v - 10*v = 2*v. Solve v = -2*f - 2*f for f.
0
Let a(q) be the third derivative of q**5/60 - 5*q**4/24 + 2*q**3/3 + 4*q**2. Let t be a(4). Solve -5*z + 20 = -t for z.
4
Let l be (6/10)/(4*(-6)/(-480)). Solve 0 = -3*b + 7*b + l for b.
-3
Let y = 37 - 22. Let u be (6/(-1) + 2)*-3. Let m be u/(-66) - 2/(-11). Solve m = -2*j - j - y for j.
-5
Let z be 54/8 + 4/(-32)*6. Let t be 7/1*(-2 - -4). Solve -2*d - z = -t for d.
4
Let f = 93 - 93. S