= d*k - i*k for k.
0
Let l be (-4 + 4/2)/(2/(-9)). Solve -l*t = 6 - 15 for t.
1
Suppose -q - 3*c + 16 = -3, 4 = -4*q + 4*c. Let b(p) = -2*p - 8. Let r be b(-4). Solve r = 3*n + q - 7 for n.
1
Suppose 0 = 8*g - 30 - 26. Suppose 5 = g*c - 2*c. Solve -c = d - 2*d for d.
1
Let n be (-2 - -5)*(2 + -1)/1. Solve n*a + 6 = 9*a for a.
1
Let d(s) = 2*s + 1. Let b be d(1). Suppose 3*u = 3*m - b, 0 = -2*u + 2*m + m - 6. Solve -u*r - 2 = -8 for r.
2
Let t be (-10)/(40/(-12))*1/(-3). Let c be 2 + 2 + t - 1. Solve -c - 8 = 5*r for r.
-2
Suppose 5*h + 20 = 5*d, 5*d - 20 = 4*h + 2. Solve -3*m - 15 = -d*m for m.
5
Suppose -4*f = 3*z - 25, -20 + 0 = -5*f. Suppose -2 = -0*q - q. Suppose 35*j - 24 = 29*j. Solve -q*h = -z*h + j for h.
4
Let k(h) = -h**2 - 8*h - 1. Let y be k(-6). Let t(s) = -2*s - 26. Let r be t(-15). Suppose -4*z = -0*z - r. Solve z = -5*a + y for a.
2
Let m be (-7)/(3/1 - 4). Suppose -3*o - 12 = -m*o. Solve 8 = -o*u - u for u.
-2
Suppose -3 + 2 = t. Let p = 1 - t. Let b be -9*(-16)/24*(-3 + 4). Solve 4 = -p*q + b for q.
1
Suppose -4*o - 2*r + 10 = 0, 4*o - 2*r = -0*r + 6. Let i = -48 - -51. Solve i*k = o*k for k.
0
Let b(s) = -s**2 - 9*s + 22. Let n(d) = d - 7. Let v be n(-4). Let k be b(v). Solve k = 2*r + 2 + 4 for r.
-3
Let m be 24/(-8) + 2*1. Let h(k) = 4*k**2 - k - 2. Let v be h(m). Suppose 5 = v*f - 7. Solve -f*i = -i for i.
0
Suppose -31*l + 38*l = 63. Solve 2*i + 21 = l*i for i.
3
Let w = -34 + 38. Suppose -2*c - 5 = 3*p, -4*c + w*p = 6 - 46. Solve 0*z - c = -5*z for z.
1
Suppose 0 = -7*q + 4*q + 6. Let c be 2 - (-1)/(q/48). Suppose g = 4*a + 2 - 22, -c = -a - 5*g. Solve -t - 1 = -a for t.
5
Let f = 182 - 104. Let k be 13/f - 1/6. Suppose k = -4*d + 16 + 84. Solve -4*b + d = b for b.
5
Let d be 1 - (-5 - (-5 - -3)). Solve s + d*s = 0 for s.
0
Let p = 441 - 434. Solve p*a - 39 + 11 = 0 for a.
4
Let z be (120/28)/(1/7). Let s be (3/(-2))/((-3)/z). Solve -3*p + s = -0*p for p.
5
Let t = 2666 - 2657. Solve -t*v + 18 = -15*v for v.
-3
Let c(l) = -l**2 - 2. Let m be c(-2). Let u be ((-9)/m)/(27/90). Solve u*t = 22 - 7 for t.
3
Suppose 0 = -q + 4*y + 1 - 0, -5*y - 5 = -2*q. Let h(i) = -i + 17. Let s be h(17). Let j be s + -2*(-3)/3. Solve 3 = -q*l + j*l for l.
-1
Let z = 52 - 39. Let h = 13 - z. Let r be 28/8 + (-2)/(-4). Solve h = -r*i - 0*i + 12 for i.
3
Suppose 4*j + 20 = 9*j. Suppose -5*y - j*c = -y - 12, 2*y - 8 = -4*c. Suppose y*z = 17 - 9. Solve -z*a = -6 - 6 for a.
3
Let c = 4 - -44. Let i = c - 46. Solve -i*m = 2*m + 12 for m.
-3
Let u(c) = -c**2 + 7*c + 24. Let z be u(7). Let b = z + -12. Solve -4*t + b = -t for t.
4
Suppose 0 = 8*y + 13 - 13. Solve y = -5*v - 13 - 2 for v.
-3
Let s(d) = 6*d**2 + 36*d + 5. Let n be s(-6). Suppose -8 = h - n*h. Solve -h = -2*q - 0 for q.
1
Let c(i) = i**3 - 13*i**2 - 2*i + 60. Let h be c(13). Solve h*k - 30*k = 4 for k.
1
Suppose 4*f + 45 = 19*f. Let t be (f + (-6 - -5))/((-1)/(-1)). Solve t*q = -1 - 7 for q.
-4
Let l be -6 + ((-39)/(-5) - 19/(-95)). Solve 6 - 14 = l*w for w.
-4
Suppose -184*b + 181*b = -63. Solve -2*v - 15 + b = 0 for v.
3
Suppose -81 = -26*y + 17*y. Solve 3 + y = -4*g for g.
-3
Suppose 13 = -4*n + 5*n - o, 4*n + 2*o - 64 = 0. Suppose m = u - 3*m - n, -5*u = -2*m - 21. Solve u = -2*l - 3 for l.
-3
Let i(u) = u**3 - 11*u**2 + 12*u + 3. Let v(o) = -o**2 + 9*o + 2. Let p be v(12). Let g be p/(-4) + 15/10. Let n be i(g). Solve 5*j + 2 + n = 0 for j.
-5
Let q(p) = -p**3 + 5*p**2 + 49*p + 13. Let c be q(10). Solve -c*i + 5 = -4 for i.
3
Suppose -p + 1 = -2*q, 3*p - 4 + 1 = q. Solve q = -2*f - f + f for f.
0
Let s be -2*(-4 + 5 + -11). Suppose 2*d = s*d. Solve d = 2*h - h for h.
0
Let z(t) = t**3 - t**2 - 7*t + 4. Let c be z(3). Solve -6*y + c - 25 = 0 for y.
-4
Let b(u) = 13*u - 87. Let s be b(7). Solve 0 = s*c + c + 20 for c.
-4
Suppose 28 = 2*t + c, 0 = 4*t - 3*t - 5*c - 14. Suppose 0 = t*z - 7*z - 63. Solve z*y - 5 = 4*y for y.
1
Let z(s) = -s**3 - 3*s**2 + 4*s. Let q be z(-4). Suppose -5*u + 4*u + 62 = q. Suppose 4*r - 72 = 2*k, 4*r - u = -4*k + 34. Solve -5*l + 5 = r for l.
-3
Suppose -4*m - 4*t = -68, 2*m + 2*t = t + 31. Suppose 0*h - m = -7*h. Solve h*g = -g for g.
0
Suppose -4*j = -2*m - 121 + 31, 39 = 2*j + 5*m. Let b = j + -17. Suppose -b*n - w = -11 - 5, -2*w - 13 = -5*n. Solve 7 = n*s + 1 for s.
2
Let v be 6 + (-1 - 2) + 2. Let j(s) = 8*s**2 + 1. Let r be j(-1). Let c = 16 - r. Solve -v*h - 2 + c = 0 for h.
1
Suppose 13974*c = 13973*c + 23. Solve 8 = 15*o - c*o for o.
-1
Let z(v) = 4*v**2 + 10*v + 4. Let u be z(-2). Solve u = 7*s - 2*s - 25 for s.
5
Let v be 6/6 + 38 - (2 + -1). Suppose -4*j + j - 12 = -3*z, 4*j - v = -5*z. Suppose 6 = d + 2*d. Solve -d*l - 8 = -z*l for l.
2
Let r = 79 + -75. Suppose 0 = -2*w - z + 2, 5*w + r*z - 8 = -6. Solve 8 = w*l - 2 for l.
5
Suppose 38 = 5*a - 2*c, -32 = -3*a + 5*c + 6. Solve 9*u + 3 = a*u for u.
-1
Let q be ((-3)/(3/(-16)))/((-4)/(-10)). Suppose -i - 4*i = -q. Solve -2*l = -6*l + i for l.
2
Let d(g) be the second derivative of -g**4/12 + g**3/2 + 3*g**2/2 + 13*g. Suppose -3*m + 1 + 8 = 0. Let k be d(m). Solve -2*h - k*h - 25 = 0 for h.
-5
Suppose 0 = -2*z + 2*c + 40, 20 = z + 10*c - 5*c. Let u(a) = -a**2 + 5*a + 5. Let g be u(5). Solve 0 = g*n - z - 0 for n.
4
Let v = 1257 - 1257. Solve f - 112 + 107 = v for f.
5
Let u = 1561 - 1553. Solve u = 15*g - 13*g for g.
4
Let f be (0/(-4 + 2))/2. Suppose 5*j + t - 125 = f, j - 4*t - 41 = -t. Let y = j + -6. Solve 0 = i + 4*i - y for i.
4
Let m(t) = -t**2 + 57*t - 306. Let y be m(6). Solve y = 3*h + 7 + 8 for h.
-5
Suppose -2*i + 26 = 3*q, 2*i - 4*q = q - 6. Suppose 2*x - 2 = l, -16*l + 15*l - 2*x + 2 = 0. Solve l = 4*h + 1 + i for h.
-2
Suppose 23*x = 29*x - 42. Solve 0 = -4*w + x*w - 3 for w.
1
Let o = 39 + -24. Let j = 17 + -13. Suppose -3*d - j = -4*f, -f + 2*f = d. Solve -f*t + 5 + o = 0 for t.
5
Let v be 4/6*3*13. Let w = v + -23. Suppose -3*t - 5*x - 1 = 12, 31 = 4*t - w*x. Solve 2*k - 4*k = t for k.
-2
Let v = -67 + 69. Suppose -15 = i + 3*z + v*z, i = 5*z + 15. Solve i = -2*x - 6 - 2 for x.
-4
Let h(m) = m + 8. Let p = 4 - 8. Let a be h(p). Suppose -10 = -3*j + 4*c, 0 = -3*j + 2*j + a*c + 6. Solve -4 = 2*b + j for b.
-3
Suppose 3*y - h + 20 = 4*y, 3*h - 3 = 0. Suppose 23*s - y*s = 0. Solve s = -3*k - 0 + 15 for k.
5
Suppose 5*c + 11 = 5*a + 31, -5*a - 5*c = -30. Let q be a + 2/((-4)/(-2)). Solve -q*z = z - 3 for z.
1
Let m(u) = 2*u**2 + 17*u + 27. Let r(d) = 3*d**2 + 26*d + 41. Let y(f) = -8*m(f) + 5*r(f). Let s be y(-5). Let o = s - -10. Solve -o = -3*l - l for l.
1
Let j(b) = b**3 + 5*b**2 - 7*b - 3. Suppose -k = 5 + 1. Let n be j(k). Solve n*i - 4*i - 5 = 0 for i.
-5
Let d be (-6)/225*-5 + (-16)/120. Solve d = -24*m + 28*m + 20 for m.
-5
Suppose -30*i + 34*i = 112. Suppose -i = -4*r - 4. Solve -6*y - r = -3*y for y.
-2
Let p(u) = u**2 + 5*u + 6. Let k be p(-4). Suppose 4*b - k = 14. Solve -b*z = 3 + 9 for z.
-3
Let j be (-25)/5 - 32/(-4). Solve 3 + 6 = -j*g for g.
-3
Let o be (10/(-8) - -1) + (-473)/(-4). Let n = -113 + o. Solve 8 = -n*y + 3*y for y.
-4
Suppose 0 = -2*m + 4*d - 330, m + 320 = -m - d. Let h be m/(-8) - 7/56. Solve -h = -5*o - 0 for o.
4
Let j be 1/2 + (-225)/(-30). Solve -j = 7*p + 20 for p.
-4
Let i(x) = 6*x - 6. Let m be i(5). Let a = -24 + m. Suppose 5*d = 23 - 3. Solve -z = -a*z - d for z.
4
Let b be (-2)/32 - (-297)/144. Solve -b*o + 6 = -0 for o.
3
Suppose 0*j - 4*j + 56 = 0. Let m be 3/3 + j/7. Solve m*a + 3 = 15 for a.
4
Let j(z) = z + 4. Let u(y) = y. Let x(s) = -5*s. Let q(k) = -6*u(k) - x(k). Let b be q(4). Let r be j(b). Solve r = -4*d - d - 10 for d.
-2
Suppose 4*n - 1 = 7. Suppose 0 = -2*j + 3*y + 13 - 0, -2*j + n*y = -10. Solve -2*a - j*a = 12 for a.
-3
Let b be (-35)/(-14)*8/10. Suppose 0 = -2*l + 16 + b. Solve -l*c + 15 = -4*c for c.
3
Let o(h) = 3*h - 3. Let l be o(2). Suppose -l*z - 2*z = -25. Suppose -p + 2*r = 1, 6*p + z*r = p + 70. Solve -4*u - 7 - p = 0 for u.
-4
Let p(o) = -17*o + 144. Let z be p(8). Let a be 2 + 0 - 10/(-2). Solve -a*h + 3*h = z for h.
-2
Let v = -21 - -21. Suppose v*s - 5*s = 45. Let l = s - -13. Solve -l*n - 3 - 1 = 0 for n.
-1
Suppose 10*s - 24 = -4. Solve 0 = -s*j - 3*j for j.
0
Let m be (-4)/(-2) - -1*2. Suppose 0 = 2*b - b + 7. Let g be (-42)/49*(0 + b). Solve m*h = 6*h - g for h.
3
Let x(i) = -i**2 + 6*i - 1. Let j be