5 = 7 for k.
3
Suppose 0 = 5*k - 15 + 5. Suppose -3*s = -k*l - 14, 2*s + 2*l - 5*l = 6. Solve -3*m + s = -0 for m.
2
Let j(o) = o**2 + 9*o + 6. Let y(v) = -v + 17. Let f be y(12). Suppose -18 - 18 = 4*x - 5*w, 45 = -f*x + 4*w. Let q be j(x). Solve 2*s - q + 0 = 0 for s.
3
Let m = 1108 + -1092. Let k be (-3 - -2)*(-1 - 0). Let g = -5 + 10. Solve m = g*q + k for q.
3
Suppose -3*i - 2*i + 36 = 2*d, -2*d = 3*i - 28. Suppose 4*c - 3*c = -r + d, 2*c - 22 = -3*r. Solve 2 = g + r for g.
-4
Suppose -r + 5*r + 31 = d, -2*d + 5*r = -62. Solve 0 = -24*c + 127 - d for c.
4
Suppose -50 = 4*g - 14*g. Solve 15*f - g*f = 40 for f.
4
Let t = -1656 + 1669. Solve 53 = -8*a + t for a.
-5
Let i be 0/(1/(-6 - -5)). Solve -m + i + 5 = 0 for m.
5
Suppose -5*m = 4*o - 1, m - 4*o = 2*m + 3. Let s(w) = w**2 + 2 - 2*w + 1 - 2. Let v be s(m). Solve v = 5*y - y for y.
0
Suppose -2*v = -4*d + 18, -d - d - 16 = 4*v. Suppose d = -2*c + 4. Solve -c = 2*z - 5 for z.
2
Let j be (-1760)/(-70) + 2/(-14). Solve 0 = -18*a + 13*a - j for a.
-5
Suppose -18 + 62 = 4*y. Let h = y - 11. Let q = h - -3. Solve -4*b = -3*b - q for b.
3
Let f(w) = -w**2 + 15*w + 31. Let q be f(16). Solve 6*u = 11*u - q for u.
3
Let p be 3*(1 + -3 - 5). Suppose 13 + 44 = -3*i. Let k = i - p. Solve 4*d + 2 = -k for d.
-1
Let o(j) = 27 + 4 + 7 + 2*j. Let c be o(-17). Solve -5*s = -c + 24 for s.
-4
Let h(f) = 15*f**2 - 10*f + 21. Let u(n) = 7*n**2 - 5*n + 10. Let l(y) = -6*h(y) + 13*u(y). Let r be l(4). Let i be (-6 + 6/3)/(-2). Solve r + i = s for s.
2
Suppose 16 = 3*w - v - 0*v, 4*w - 2*v = 20. Suppose -7*h = -4*h - w, 0 = 2*k - 4*h + 28. Let j be 6/(-4)*k/3. Solve j*a + 15 = -0*a for a.
-3
Let f(b) be the second derivative of -b**3/6 + 13*b**2/2 - 17*b. Let z be f(7). Solve 5*l - 14 = z for l.
4
Let v = -1218 - -549. Let j be 2/8 + v/(-12). Suppose 3*l + s - 2*s - 32 = 0, j = 5*l - 3*s. Solve 2*n + l = 7*n for n.
2
Let y(l) be the first derivative of l**4/4 - 3*l**3 + 9*l**2/2 - 8*l + 12. Let d be y(8). Solve 2*z = -d*z for z.
0
Let i be -6*((-3)/10 + 2/(-10)). Let c be (i/9)/(1/15). Solve -c*h - 13 = 12 for h.
-5
Suppose 16*p - 12 = 12*p. Let o = 0 - -1. Solve -o - p = f for f.
-4
Suppose 5*j = -4 + 114. Let t be (-3)/(6/4)*j/(-11). Solve -t*m - 5 = -17 for m.
3
Suppose i + 3*o + 21 = 3*i, -3*i + 3*o = -27. Solve -9*c + 51 - i = 0 for c.
5
Let k = 718 - 718. Solve 11*g + 8 + 36 = k for g.
-4
Let p(x) be the first derivative of x**2/2 - 5*x + 1. Suppose -20 = -3*c + w, -3*w = 2*c - w. Let i be p(c). Solve i = -0*k + 3*k + 15 for k.
-5
Let k(o) = -2*o - 2. Let f be k(-2). Suppose -5*c - y + 14 = -0*c, -y = -f*c. Suppose -3*l - 5*v = -0*l + 25, -c*l + 25 = -5*v. Solve -3*x = -l*x for x.
0
Let m(x) = 9*x**2 - 2*x + 1. Suppose 3*i = -r, -5*r - 2 - 11 = 2*i. Let k be m(i). Suppose -3*s = -3*o + 6, -o - 2*s - k = -5*o. Solve 7 = o*l + 3 for l.
2
Suppose 2 = -2*x + 30. Let s(n) = 3*n - 42. Let p be s(x). Solve -2*c + p*c + 2 = 0 for c.
1
Suppose 8*z - 48 = -2*n, -4*z - 19 = -5*z + 3*n. Solve 2*d = -z*d for d.
0
Let x = 53 + -28. Let m = x - 24. Suppose -2*t = -5*d - 8, 5*t - 2*d - 19 - m = 0. Solve -9 = s - t for s.
-5
Let m(t) = -t**2 - 19*t - 83. Let g be m(-10). Solve g = 2*s + 1 for s.
3
Suppose a + 9*r - 10 = 11*r, r = 5*a - 23. Solve -5*h + a = -6 for h.
2
Let v be (-5)/(60/(-104)) + 2/6. Suppose -3*q - 5 = 5*a - 40, -q = a - v. Solve 3*b + a = -b for b.
-1
Let a(f) = 5*f + 7. Let d be a(-1). Let p = -1 - -1. Solve -d*r + 6*r = p for r.
0
Suppose 0*x + 13*x = 91. Solve -1 = -6*w + x*w for w.
-1
Let s(p) = -2*p + 21. Let o be s(0). Let q = -19 + o. Solve 0 = -0*k - q*k - 6 for k.
-3
Suppose -2*c + 6*c + 16 = 0. Let b be (-81)/(-36) - (-1)/c. Solve -b*f + 5 + 1 = 0 for f.
3
Let q be 164/16 - 3/12. Solve -q*y + 2 = 52 for y.
-5
Let o = 3 + -3. Suppose o = -0*b + 5*b - 130. Let d be 48/b + 4/26. Solve -x = d*x for x.
0
Let w be (3/9 + 0)/((-4)/(-72)). Suppose i - 8 + w = 0. Solve 4*x + i = -18 for x.
-5
Suppose 5*t = 5*k + 65, 0 = 2*k - 0 - 4. Solve 2*j + 3*j = t for j.
3
Suppose -4*h + 7*h + 18 = 0. Let j be h/27 - 40/(-18). Let l be j - -1 - 6/6. Solve -3*z - 4 = -l*z for z.
-4
Let s = 375 - 365. Suppose 5*q = 4*q. Suppose 5*d - s = -q*d. Solve 0 = 2*j + 8 + d for j.
-5
Suppose 3*x = -12 - 3. Let n be x/(-10) + 18/(-4). Let p be (-1)/n + 46/8. Solve u - 20 = p*u for u.
-4
Suppose s = -2*s - 5*v - 3, 16 = s - 4*v. Suppose -13 = -s*d - 5. Solve 11 = 3*r + d for r.
3
Let d be (24/(-15))/4 - (-2)/5. Let q(w) = -7*w + 10. Let a be q(d). Solve -5 = -5*g + a for g.
3
Let z(d) be the second derivative of -d**5/20 + 3*d**4/4 - 7*d**3/6 - 2*d**2 + 2*d. Let r be z(8). Solve -2 = r*t + 2 for t.
-1
Let w be (6 + -1)*4/10. Let j be (-490)/(-539) + (-30)/33. Solve j*v = -2*v + w for v.
1
Let m(j) = -j**3 + 2*j**2 + 7*j + 3. Let y = 109 - 111. Let v be m(y). Solve 15 = -2*c + v*c for c.
5
Suppose 5 = 5*a + 5*f, 0*a + 4*f = 5*a - 5. Solve 0 = -11*d + 10*d + a for d.
1
Suppose 2*d - 30 = 5*o - 10, 0 = -d + 5*o + 10. Solve d*z = 15*z for z.
0
Suppose -9*q - 321 = -429. Solve -138*v + q = -141*v for v.
-4
Let y(k) = k**3 - 4*k**2 - 5*k - 3. Let u be y(5). Let t(d) = -d**2 - 4*d + 4. Let v be t(u). Solve 0 = v*a - 2*a + 25 for a.
-5
Let l(g) be the second derivative of -g**4/12 + g**3 - g**2/2 + 6*g. Let r be l(5). Solve -b + r*b = 6 for b.
2
Let k = 9 - 9. Let h(i) = -i**2 - i + 1. Let p(l) = l**3 + 5*l**2 + 5*l + 6. Let b(v) = 4*h(v) + p(v). Let x be b(k). Solve -a - a = x for a.
-5
Let w = -1 - -3. Suppose 16 = -0*q - w*q. Let a = -6 - q. Solve 0 = 2*g - 6 + a for g.
2
Suppose -27 - 39 = -33*c. Solve -3*s - 1 = -c*s for s.
-1
Let l = 219 - 210. Solve l*t + 44 = 35 for t.
-1
Let a(v) = v**3 + 16*v**2 + 16*v + 18. Let j be a(-15). Let z(g) = 6*g - 10. Let x be z(j). Solve x = 6*k - 2*k for k.
2
Let u be 1 + (0 - 2) + -3. Let b be (-6)/(0 + u/4). Let a be b*(-1 + (-6)/(-4)). Solve -1 = a*j + 2 for j.
-1
Let y be (-12)/(-18)*(-18)/(-1). Let v = -97 + 100. Suppose -v*x + y = -x - a, -3*x - a + 8 = 0. Solve x - 19 = -5*j for j.
3
Let y = -441 - -461. Solve 32*o - 37*o - y = 0 for o.
-4
Let j be (1*-5)/(-11 - -7 - -3). Solve j*n + 3 = 4*n for n.
-3
Let u = -122 + 65. Let a = 29 + u. Let g = 33 + a. Solve -g*m = -2*m for m.
0
Suppose 0 = -5*c - 3*k - 40, -c + 3*k + 3 = 11. Let z be 0*2/(c/4). Suppose 0 = -4*a - 2*d + 28, -2*d = -z*a + 3*a - 22. Solve -o = -3 + a for o.
-3
Suppose -v = -0*v. Suppose 3*x = -3*s + 5*x + 21, 5*s - 51 = -2*x. Suppose 0 = -v*j - 4*j + k + 15, j + 4*k + s = 0. Solve -2*u - 3 = j for u.
-3
Suppose -3*n - 2*u = -3*u - 11, 12 = 3*u. Solve -3*z = -17 + n for z.
4
Suppose -6*w - 5*y = -5*w + 21, -4*w - 2*y = -6. Solve u = -1 + w for u.
3
Suppose -4*c = -2*h - 6, -c = h + 3*h + 21. Let b be 2/6 + h + 84/18. Solve -15 = -3*l - b for l.
5
Let o(k) = 3*k - 7. Let x be o(3). Suppose 2*z - 1 = -x*y + 3, 2*z = 4. Suppose y = 2*a + 7 - 13. Solve -2*j + a - 1 = 0 for j.
1
Suppose 2*y - 22 = 2*l, 3*y - l = 20 + 9. Solve 3*g = y + 6 for g.
5
Let t = -67 + 72. Suppose 4 = 2*a - 3*h - 9, 0 = t*a + 2*h - 4. Solve a*y + 6 = -0*y for y.
-3
Suppose 0*u - 16 = -4*u. Suppose 9 = u*x + f - 2, 0 = x + 2*f - 1. Let g be (2*x/(-2))/(-1). Solve -g*l = 2*l + 15 for l.
-3
Let s = -29 + 52. Suppose -2*c + f = 1 - 15, 3*c - 2*f = s. Solve -16 - 9 = -c*v for v.
5
Let p(d) = -d**3 + 8*d**2 - 8*d + 16. Let b be p(7). Suppose s + 6 - b = 0. Suppose 0 = s*q - 1 - 5. Solve q + 18 = 5*k for k.
4
Let y(t) = -t**3 - 11*t**2 - 12*t + 6. Let p be y(-10). Let a = p + -38. Let i be (-1 - -3)/((-3)/a). Solve -v = v + i for v.
-4
Let c = -2108 - -2108. Let n = -1 - -2. Solve n = z - c for z.
1
Let b(j) = -5*j**3 + 4*j - 4*j**3 + 8*j**3 - 6*j - 6 - 9*j**2. Let x be b(-9). Solve -2*i = i + x for i.
-4
Let o = -1 + -3. Let k = o - -6. Suppose -2*v + 3*c = k*v - 21, -21 = -2*v + 5*c. Solve v*z = 6*z + 15 for z.
-5
Suppose -13*g + 24 = -12*g. Solve -5*d + g = 29 for d.
-1
Let u be ((-22)/6)/(6/(-18)). Suppose -5*o = -4*o + 3*j + u, 0 = -2*o + 2*j + 18. Solve -o = b - 0*b for b.
-4
Suppose 0 = b - 7 + 3. Suppose -10*f = -187 - 183. Let x = f - 33. Solve -8 = x*k - b for k.
-1
Let f(b) = -b**3 + 6*b**2 + 2*b - 9. Let x be f(6). Suppose 0 = -3*n + 6*n - x. Solve o - 2 = n for o.
3
Suppose -3*w = -2*j + 6, j - 14 = -7*w + 3*w. Suppose 5*v = 2*c + 12, 2*v - j*c = 