50 - -60. Solve o = -k - z*k for k.
-2
Let c = 1143 + -1139. Solve c - 2 = y for y.
2
Suppose -1 = -g + 6. Suppose 3*s + 4 = g. Solve 0 = 3*b + 5 + s for b.
-2
Let c be (3 + (-21)/14)*2. Solve -k = -5*k + c*k for k.
0
Let c(n) = -n**3 + 23*n**2 + n + 4. Let y be c(23). Solve -y + 12 = -3*a for a.
5
Suppose 0 = 8*s - 3*s + 4*p - 35, 3*p + 48 = 3*s. Let w = s - 14. Let z(u) = -2*u - 2. Let l be z(w). Solve 3*f = 7 - l for f.
1
Let a(g) = -4*g + 7. Let h be a(-2). Solve 8*d - 1 = h for d.
2
Let g(o) = o**3 + 14*o**2 + 11*o - 2. Let b be g(-13). Suppose -5 = -t - b. Let s = t - -21. Solve 0*w + 10 = -s*w for w.
-5
Let m be ((-10)/4)/(1/(-2)). Let o = 343 + -343. Solve m + o = 5*z for z.
1
Let w(m) be the first derivative of -m**4/4 + m**2/2 + 4*m - 28. Let k be w(-2). Solve z + k = -z for z.
-5
Let j be ((0 - -2)*(-3 - 3))/(-2). Solve -5*o - j = -21 for o.
3
Suppose 2*s + s + 9 = 0. Let a be (-4)/(5/(-17 + s)). Solve 17*v = 13*v - a for v.
-4
Let n = -29 - -40. Let a be 3*(7 + -2 + -4). Suppose -4*k - 2*q + 13 = -q, -a*k = 2*q - n. Solve 2*d + 7 + k = 0 for d.
-5
Let i be (6 - 1)*18/10. Let q(b) = 8*b + 122. Let p be q(-15). Solve -5*l + p*l = i for l.
-3
Let d be -2*(-1)/(4/30). Let s = d + -6. Suppose -s*r + 14*r = 0. Solve r = -2*g - 3*g + 25 for g.
5
Suppose 0 = -12*h + 10*h + 6. Suppose 3*q - b + 14 = 0, q - b = -h - 5. Let y be 0*(-2 - q) - 0. Solve -3*v + y*v = 9 for v.
-3
Suppose -s = 47*s - 2352. Solve 14*u + 7 = -s for u.
-4
Suppose 229 = 17*i + 8. Solve i = -3*x - 2 for x.
-5
Let m = -13 - -17. Let y be -10*(-2)/m - 2. Suppose 5*r - 8*r + y = 0. Solve b + r = 6 for b.
5
Suppose 18*v = -2*v. Solve -15*b + 8*b + 28 = v for b.
4
Let h(b) = -b + 8. Let j be h(0). Let t(u) = -j*u + 7*u + 22 + 0. Let v be t(12). Solve -l + v = l for l.
5
Suppose 2*h + y + 24 = 0, -h - 4*y + 2 = -0*h. Let k = 37 + h. Suppose o + 22 = d - 3*o, 0 = 4*d - 3*o - k. Solve -a = -d*a for a.
0
Let l(k) = k**2 + 27*k + 167. Let w be l(-21). Solve -w + 35 = 2*j for j.
-3
Let c = -14 - 0. Let f(l) = 3*l + 42. Let p be f(c). Solve p = -m - m for m.
0
Let r be ((-2)/(-3))/((-18)/(-81)). Suppose y - r*y + 8 = 0. Solve y*z - 1 = 3 for z.
1
Let g be -21*((-16)/(-12) + -1). Let z = 8 + g. Solve -z = -f - 5 for f.
-4
Suppose 3*i - 18 = -4*h, -3*i + 7*i + h - 11 = 0. Let z be i*(-2)/20 - (-273)/65. Solve -z*n + n = -6 for n.
2
Suppose 4*h + 3*t = 0, 9*h - 31 = 4*h + 4*t. Solve -h*y + 6 = 3 for y.
1
Let w be (1 + -11)*(-2)/(-2). Let b be (10/(-2))/(2/w). Let k = -21 + b. Solve 0*u + 8 = -k*u for u.
-2
Let i be 90/60*(23/3 - 1). Solve -13*q + 18*q = -i for q.
-2
Suppose -4*b - 6*b + 150 = 0. Solve -b = 6*y - 3*y for y.
-5
Let s = 2 - 1. Suppose 0 = 3*l + 1 + 8, -2*r - 2*l = 0. Suppose -s = w - 0*w + q, 0 = r*q + 15. Solve 0 = w*t + 2 + 10 for t.
-3
Suppose -6*f + 33*f = 540. Solve -14 = -f*z + 6 for z.
1
Let s = 370 + -368. Solve 0 = s*o + 19 - 17 for o.
-1
Let g be 2/9 + (-225)/(-81). Suppose 0*h = -h - 3*a + 17, 37 = 5*h + g*a. Let i = 9 - h. Solve i*d - 18 + 2 = 0 for d.
4
Suppose 6 - 22 = -4*j. Let a(x) = 4 + j*x + 0*x - 3*x + 3. Let h be a(-5). Solve -4*g = -h*g for g.
0
Let r(v) = -v**2 - 10*v - 6. Let o be r(-9). Suppose -o*t + p = -p - 2, 2*t = 5*p - 17. Suppose 4*f + 5 = 1, 2*x + t*f - 6 = 0. Solve x*h = 3 + 12 for h.
3
Let r(v) = v**3 + 7*v**2 - 4*v + 8. Let j be r(-8). Let o = -16 - j. Suppose -7*y - 6 = -o*y. Solve 0 - y = 2*h for h.
-3
Let d = 5 - 1. Suppose -7*m + d*m = 9. Let q be (7 - (-3)/m)/2. Solve a = -q*a for a.
0
Suppose s - 2*s = 0. Let a be 2 - ((s - -1) + -7). Let w = a - -4. Solve 0*q = -3*q - w for q.
-4
Let i = -3092 - -3096. Suppose 2*q - 13 = -5*w, q - 2*w = -4*w + 5. Let t = 6 + q. Solve -i*p - t = -3*p for p.
-5
Let m(v) = 2*v**2 + 3*v - 31. Let y(c) = -c**2 - 2*c + 15. Let q(l) = 2*m(l) + 5*y(l). Let n be q(-6). Solve n - 4 = -k for k.
3
Let i = -9 - -9. Suppose 7*q - 8*q + 32 = i. Suppose -5*p + 7*p - q = 0. Solve -p = -c - 3*c for c.
4
Let m be (-21)/14 + (-36)/(-8). Solve -m*a + 1 = 4 for a.
-1
Let h be 0 + 2 + (-6)/(-6). Suppose 3*w + 4*c = 35, 33 = w - 4*c - 0*c. Let d = 29 - w. Solve 0 = -3*i - d + h for i.
-3
Suppose -3*j - 4*c = 16, 4*c - 12 = 3*j + 7*c. Solve 3*h + 2 - 14 = j for h.
4
Let k(a) = -7*a - 1. Let f be k(-4). Suppose -35 + 15 = -10*n. Suppose 13 + 11 = 4*q - 4*t, 2*q = -5*t + 5. Solve q*g + n = f for g.
5
Suppose 8 = -3*o + 5*i, i = -3*o - o + 20. Suppose 0 = -0*r - o*r. Suppose r = -2*u - n + 39, 0 = -4*u + u - 5*n + 55. Solve 0 = -j - 4*j - u for j.
-4
Let v(p) = 2*p**3 - 6*p**2 + 8*p - 5. Let d be v(2). Solve 7*o - d*o = -4 for o.
-1
Let u(a) = -a**2 + 6*a - 6. Let j be u(4). Suppose -5*g - i + 4 - 8 = 0, -3*i = g + 12. Solve g = 4*q + 6 - j for q.
-1
Let o = 67 - 67. Solve o = f - 11 + 13 for f.
-2
Let h = 31 + -28. Suppose -3*f - 24 - 12 = v, -h*f = -5*v - 126. Let u = 28 + v. Solve -p + u - 5 = 0 for p.
-4
Let b = 460 - 448. Solve b = -4*w - 0 for w.
-3
Suppose -5*h + 0*h = -15. Solve 1 = -4*p - h for p.
-1
Let s(y) = -131*y - 909. Let r be s(-7). Let c = -10 + 17. Solve c*m - r = 3*m for m.
2
Suppose 5*z + 3*q = -1 + 24, 23 = z - 4*q. Let c be z + -3 + -1 - 20. Let b = 21 + c. Solve r + 25 = -b*r for r.
-5
Suppose -5*k + 77 - 72 = 0. Solve -5*z - k = 19 for z.
-4
Let t(i) = -i**3 - 9*i**2 - i - 5. Let w be t(-9). Suppose 0 = 3*p + 15, 0 = -0*x - x + 3*p + 18. Suppose 0*n = x*n. Solve n = -4*a - 4 - w for a.
-2
Suppose -4*f = -3*f - 5*y - 5, 0 = 2*f + 5*y - 70. Let u be f - ((-20)/35 - 36/(-14)). Solve u = 4*b + 3 for b.
5
Suppose 3*u + 5*n = 193, 78 = -2*u - n + 202. Let k = u - 60. Solve -3 + k = w for w.
-2
Suppose 3*l + 4*c - 19 = 0, -4*l + 2*c - 6 + 46 = 0. Suppose l*s + 270 = 4*s. Let h be (-12)/s - (-34)/9. Solve a = -h*a - 10 for a.
-2
Let i be -109 + ((-2)/(-6) - 44/(-12)). Let w = -104 - i. Solve w = 3*v + 4 for v.
-1
Suppose 0 = 8927*u - 8935*u. Solve u = 20*s - 27 + 7 for s.
1
Let r = 172 + -162. Solve -w - r = -8 for w.
-2
Let w(v) be the second derivative of -v**3/6 - 7*v**2/2 + 3*v. Let r be w(-9). Solve -r*t = 1 - 5 for t.
2
Suppose l = 6*l - 5*g - 90, 3*l - 5*g - 60 = 0. Suppose 4*b + 3*t = 7*b - l, 2*t = 10. Suppose 3*r - b = -2*f, 5*r + 20 = 4*f + r. Solve -f*y = -y for y.
0
Let j(n) = n**2 - 1. Let r = 9 + -12. Let z be j(r). Solve 0 = z*g - 3*g for g.
0
Suppose -5 = f + 3*a, -a - 3*a - 12 = 0. Solve -4*b = -0 - f for b.
1
Suppose -4*o + 99 - 83 = 0. Solve 2*r = -2*r + o for r.
1
Suppose 3*m = 5*m. Suppose 2*x + m*x = 7*x. Solve 1 = -z - x for z.
-1
Let l(t) = -t + 13. Let w be l(-3). Solve 18*f - w*f = -2 for f.
-1
Let c = -85 + 87. Suppose -41 = -4*d + 3*o, 2*d + c*o = -d + 18. Solve w = 13 - d for w.
5
Let q = 1 + 3. Let h(k) = 39*k + 314. Let p be h(-8). Solve -p*l - q = -0*l for l.
-2
Let d be 0*(-7 + 9 + -3). Solve -6*j = -d*j - 18 for j.
3
Suppose 0 = -5*z + 4*h + 11, 3*z + 2*h = 8 + 3. Suppose -c - z*c = -48. Solve 3*v + c = 3 for v.
-3
Let w(l) = l**2 + 22*l + 118. Let d be w(-8). Solve -5*i + d = -14 for i.
4
Let f(t) be the third derivative of -t**4/12 - t**3 - 8*t**2. Let l be f(-4). Suppose -1 = l*a - 5. Solve 0 = -y - a*y + 9 for y.
3
Suppose 16*w = 40*w - 120. Solve -6 = -2*g + w*g for g.
-2
Let x be 4 + 5 + -2 + -3. Let y = x + 6. Solve y = 2*v + 3*v for v.
2
Let h(n) = 5*n - 2*n + 7*n - n**2 + 2. Let s be h(7). Let k = s + -23. Solve -q = -k*q for q.
0
Suppose 193 = 10*h - 57. Solve k + h = 6*k for k.
5
Let b(k) be the second derivative of k**4/12 - 5*k**3/3 + 9*k**2 + 29*k. Let w be b(9). Solve -6*u = -3*u + w for u.
-3
Suppose -5*g - 14 = -y, 3*y - 28 + 5 = -4*g. Solve -10 = 4*z - y*z for z.
2
Let p be 1 + 1 + 9 + -2. Let s(y) = -2*y**2 - 22*y - 30. Let d be s(-9). Solve -p = -3*h + d for h.
5
Suppose -2*a + c + 35 = 2*c, 5*a + 3*c - 88 = 0. Let o = a - 13. Solve 2*x - x = o for x.
4
Suppose -2*c - 3*t + 23 = 5, 3*t = 5*c - 3. Suppose c*b + 3*g = 6*g + 33, -4*g + 100 = 5*b. Solve b*p - 14*p + 2 = 0 for p.
-1
Let b(h) = h**3 - 25*h**2 - 28*h + 54. Let w be b(26). Let z be ((-6)/(-18)*3)/(1/w). Solve 0 = -z*q + 6*q + 20 for q.
-5
Let l(u) = -2*u - 30. Let i be l(-16). Suppose -w = i*h - 11, 0*h - 5*w = -3*h + 10. Solve -2*t = -h*t + 12 for t.
4
Let w(b) = b**3 - 11*b**2 - 27*b + 28. Let j be w(13). Solve 0 = 16*s - j*s + 5 for s.
-5
Let n(p) = -3*p - 16. Suppose -4*y - 5*w = -11 +