 2*y. Solve y = -3*j - z + x for j.
-4
Let v be (-3)/(12/(-19)) + 21/(-28). Solve -6 = 2*o - v for o.
-1
Suppose -2*z + 2*j = -4, z = -0*z - 2*j - 10. Let o be 6 + 2/z + 1. Suppose -3*y - 21 = -o*y. Solve 0 = 3*d - y*d - 16 for d.
-4
Suppose 0 = -r - 15 + 3. Let k = 74 + -59. Let t = k + r. Solve -t*f - 6 = -f for f.
-3
Let f be (46/(-1))/(6/12). Let b = f - -95. Solve 1 = b*g - 11 for g.
4
Let r(w) = -5*w + 100. Let j be r(18). Solve -4*c - j = -2*c for c.
-5
Let n(r) = -r**3 - 2*r**2 + 2*r - 9. Suppose -y = -0*y + 4. Let b be n(y). Solve 3*w + b - 6 = 0 for w.
-3
Let i = -151 + 151. Solve -b - 2 = -i for b.
-2
Let t be ((81/15)/3)/((-15)/(-25)). Solve -22 = t*y - 16 for y.
-2
Let r = 1507 + -1477. Solve -9*a + r = -3*a for a.
5
Suppose 5*m = 4*n + 5, 25 = 2*m + 3*m. Suppose 15 = -3*c, 5*s + n*c = 2*s - 19. Suppose -3*r + v = -4, -s*r + r = 4*v - 10. Solve r*a + 4 = 6*a for a.
1
Suppose 3*k - 4*r - 74 = 0, 0 = -4*k - 3*r + 62 + 20. Solve -10 = -27*h + k*h for h.
2
Suppose 35*b - 41*b - 72 = 0. Suppose -180 = -2*o - o. Let p be 8/b - o/(-9). Solve -s = -p*s for s.
0
Let u(r) = 7*r + 122. Let v be u(-17). Solve 0 = 4*n - n - v for n.
1
Suppose 0 = -23*v - 0 + 184. Solve 0 = -9*c - v - 1 for c.
-1
Suppose 0 = -2*k - 4 + 10. Suppose k*w + 5 = 4*w. Solve -w*g + 3*g = -6 for g.
3
Let f(p) = 8*p + 2. Let x be f(2). Suppose 2*q - 3*q - 2*l = -x, -13 = -q - l. Solve -q = -3*h + h for h.
4
Let w be (8/(-20) + 4/10)/2. Solve 6*a + 13 + 17 = w for a.
-5
Let h = -241 + 244. Solve h*l - 4 = 2 for l.
2
Let j(k) = k**3 + 6*k**2 + k + 7. Suppose 4*l - 4 = 4. Suppose 18 = -w - l*w. Let d be j(w). Solve -3*g - 10 = -d for g.
-3
Let g be 3/(-1) - 0 - -3. Suppose -9*d + 14 + 40 = 0. Solve -2*m + d*m + 8 = g for m.
-2
Suppose -w - 4*w = -15. Suppose 0 = -w*g + 4*g - 6. Let i(r) = -r**3 - 18*r**2 + 2*r + 50. Let u be i(-18). Solve -4*k = -u - g for k.
5
Let m = -8695 - -8699. Suppose -4*o + 3 = -g, o + 3*g - 6 = -2*o. Solve 0 = h - m - o for h.
5
Let p be ((-25)/2)/(11/(-22)). Let y = p + -22. Solve 0 = -y*d + 6 - 15 for d.
-3
Suppose 16*m = 11*m + 10. Solve -c + 2 = -m for c.
4
Suppose 15*m - 12*m = 6. Let c be (6/6 - -6) + -5. Solve -c*q = m*q for q.
0
Suppose -14 = -2*p - 2*d, -4*d = -0*p + p - 22. Let g = 62 + -61. Solve 0 = -u - p + g for u.
-1
Let m(i) = -8*i + 91. Let o be m(11). Solve -3*v + 9 - o = 0 for v.
2
Let h = -12 - -6. Let j = h + 10. Suppose 9 - j = p. Solve -8 = -x + p*x for x.
-2
Suppose 0 = l + 2*k - 8 - 1, 5*k = 2*l + 9. Suppose r + l*m - 14 = -0*m, 2*m = r + 1. Solve 0*s = -r*s for s.
0
Suppose -3*n = 4*w + 3, 0*w - 3*n = -w + 18. Suppose -29*j + 29*j + 504 = 21*j. Solve 9 - j = w*a for a.
-5
Let c(f) = -f**3 - f**2. Let u be c(-2). Suppose w = -o + 5, -u*o + 2 = 3*w - 10. Solve -4*n + w = -4 for n.
3
Let q be -2 + 3 + -3 - 12/(-2). Suppose 4*z + 4 = 0, -o - q*o + 4*z + 49 = 0. Solve 3*l - 6*l + o = 0 for l.
3
Let i(a) = a**3 - a**2 + 6. Let p be i(-3). Let r = p + 35. Solve -10 = r*y - 0*y for y.
-2
Let t be (2 - 0) + (-12)/(-4). Suppose t*n - 4*c + c - 210 = 0, 0 = 4*n - c - 161. Suppose 5*r + 0*f = f + n, -3*r + f + 23 = 0. Solve 3*w - w = -r for w.
-4
Let y(r) = -14*r + 5. Let l be y(0). Solve 1 + 4 = l*d for d.
1
Suppose 0 = -7*y + 3*y - 164. Let f = 41 + y. Solve -10*l + 6*l = f for l.
0
Suppose -10*b = -3*z - 9*b + 202, 4 = -4*b. Solve z*j = 66*j - 4 for j.
-4
Let s be (3 + -2)*(-16 - -4). Let o = 12 + s. Let g be (-15 - o)*(-7)/21. Solve 0 = -0*x - g*x - 10 for x.
-2
Suppose 3 = -4*s + 3*s + c, 9 = 3*c. Solve s = 4*x - x + 5*x for x.
0
Let t(r) = 3*r**2 - 4*r - 14. Let g be t(-2). Solve g*i - 4 = 14 for i.
3
Let l = 884 - 881. Solve -2*q - 7 = -l for q.
-2
Suppose 4*o - o + 15 = 0, f - 3*o = 15. Suppose f = 4*w - 8. Solve w*r - 6*r = -12 for r.
3
Let q be 1065/10 - 6/4. Let b = q - 99. Solve -2*v = v - b for v.
2
Let o be 2/(-8) - (66/(-8) + 3). Solve 0 = 3*s - o*s + 4 for s.
2
Let m(w) = -w. Let o be m(-3). Suppose -l + 6 = -p + 2*l, -o*p + 3 = -2*l. Let s = 3 - p. Solve -2*u + 6*u = s for u.
0
Let k = 783 + -779. Solve -w + 2*w - k = 0 for w.
4
Suppose -2*s + 4 = -0*s. Let l be -2 + -1 + 1 + s. Solve 2*q + 0*q = l for q.
0
Let m(k) = 33*k**2 + 1. Let t be m(2). Suppose 5*n - s - 69 = t, -3*n - 3*s = -114. Suppose -a + n = 3*a. Solve 2 = 3*j - a for j.
4
Suppose -61 - 29 = -3*l. Let a(y) = l + 5*y - 8*y + 2*y. Let q be a(15). Solve -d = 4*d + q for d.
-3
Let v = -4 + 14. Let c(w) = -4*w - 16. Let s be c(-6). Let y = v - s. Solve b + 0 - y = 0 for b.
2
Suppose -2*n + 78 = -114. Suppose 0*f = 5*j - 2*f - n, -12 = 4*f. Suppose -15 = j*i - 23*i. Solve 1 = u - i for u.
4
Let o = -1 - 17. Let z be 56/(-16)*o/21. Suppose 7 = -z*s - 3*g + 1, 2*s + g = 0. Solve l - 15 = -s*l for l.
5
Let f be (-2 + 1)/((-6)/30). Solve 8*v - 3*v + f = 0 for v.
-1
Suppose -5*j = -2*v + 49, -v - 8 - 8 = 2*j. Let w = -11 - -20. Let t = w + j. Solve -h + t*h = 0 for h.
0
Let j(p) = 10*p - 424. Let q be j(44). Solve 26 = -q*i - 22 for i.
-3
Let f = -792 + 882. Solve -5*g + f - 115 = 0 for g.
-5
Let g be (-678)/(-8) + 7/28. Solve -g*y = -83*y + 2 for y.
-1
Let z(y) = y**2 + 15*y + 7. Let m be z(-13). Let i = m - -21. Suppose -2*g = -0*g. Solve g*s = i*s + 10 for s.
-5
Suppose 12*t + 1098 - 162 = 0. Let w = t - -82. Let s be 1 + -1 - (0 - 9). Solve 0 = w*v - s*v + 25 for v.
5
Let o be 160/35 - 8/14. Solve -4 = -6*u + o*u for u.
2
Suppose 2*r - 6 = -0*r. Suppose 4*x = 2*u - 4, -r*u + 2*x = 5*x - 6. Solve 0 = -u*y + 8 for y.
4
Let l(t) = 3*t**2 - 4*t - 3. Let m be l(-2). Solve -m*d - 29 - 39 = 0 for d.
-4
Let g = 1645 + -1637. Solve g*k = -6*k + 42 for k.
3
Suppose -4*r = 3*b - 89, 2*r + 3*b + 2 = 51. Suppose -29*c + r*c = -45. Solve 4*d - 7 = c for d.
3
Let k = -21 - -29. Let f be (-6)/k*28/(-21). Solve y = -2 + f for y.
-1
Let d(p) = p**3 + p**2 - p - 72. Suppose -5*l + 4*z = -12, 4*l + 4*z + 12 = l. Let o be d(l). Let c be ((-10)/6)/(6/o). Solve 4*r + r = c for r.
4
Let l = 34 + -34. Let x(b) = 5*b - 2. Let c be x(1). Let q = -1 + c. Solve -q*u = -l*u - 10 for u.
5
Let x = 1590 + -1548. Solve x = 7*a + 14 for a.
4
Suppose 2*t - 3*r - 2*r + 2 = 0, -4*t - 3*r = -22. Suppose 2*k + 21 = 3*y + 6, -5*k - t*y = -20. Let m = 231 + -228. Solve -n + k = -m for n.
3
Suppose -4*v - 5*m = -5*v + 12, 0 = 2*v - m - 6. Solve 12 = -4*n - v*n for n.
-2
Suppose -4*q - 8 = 0, 0 = t - 3*q + 3 - 93. Solve -2*d = t - 86 for d.
1
Let q be (-1 + -4)*(0 - (-21)/(-35)). Let t(j) be the second derivative of j**5/20 - j**4/4 + j**3/6 - j**2 + j. Let r be t(q). Solve 0*g = g - r for g.
1
Suppose -8 = -4*h, -h = 5*b - 0*h + 73. Let g be 7 + (b + 0)/5. Solve g*f - 5*f - 1 = 0 for f.
-1
Let o(i) = -3*i + 49. Let s be o(16). Solve -5*d + 4*d - s = 0 for d.
-1
Let v = -24 - -30. Let s be v/2 + -20 + 19. Suppose 4*q = -3*w + 26 + s, -2*q + 16 = 2*w. Solve w*m - 2*m = -8 for m.
-4
Let g be (-1)/(-4) - 2/8. Suppose 30*j = 9*j + 42. Suppose 4*l - 19 = 5*m + 38, -4*l - 2*m = -22. Solve g = j*w - 4*w - l for w.
-4
Let t = -21 - -25. Suppose -t*b - 4 = -8. Solve 5*v = b + 4 for v.
1
Suppose 6*y - 48 = -18. Solve 0*g = y*g - 20 for g.
4
Let f(u) = -25*u - 298. Let a be f(-13). Solve d = -a + 32 for d.
5
Suppose 3 = 2*i - 5. Suppose -5*k + 7 = 2*h, k - 3*h + 3 = 18. Suppose -5*f + 67 = i*t, 0 = 3*t + k + 3. Solve -4*y = -9*y - f for y.
-3
Suppose -12*r + 8*r - 20 = 0. Let h be (-3)/3 - (-6 - r). Solve 0*v + v + 4 = h for v.
-4
Suppose 0*i = 3*h + 3*i - 195, -255 = -4*h - 3*i. Suppose 40 = 2*y + 4*o, 4*y - h = -0*o - 4*o. Solve y + 0 = -2*c for c.
-5
Suppose 0 = 459*x - 458*x. Solve x*d = 4*d + 12 for d.
-3
Suppose 0 = -3*x + x + 4. Suppose 0*m = x*m - 86. Let r = m + -39. Solve r = 3*n - 2 for n.
2
Suppose 8*z = 10*z + 122. Let y = 61 + z. Solve 5*x - 8 - 2 = y for x.
2
Let d = -53 + 66. Suppose -31 = -d*l - 5. Solve -9 = l*r - 5*r for r.
3
Suppose -13*s - 1342 = -74*s. Solve -2*x + 13*x = s for x.
2
Let n be 4/((-64)/(-20)) + (-315)/(-20). Solve 19*f - 4 = n*f for f.
2
Suppose -79 = 4*r + 21. Let j be (-2)/5 - 35/r. Suppose -71 = -5*h - j. Solve 0 = -3*u + 5 - h for u.
-3
Let s(y) = -10*y - 40. Let j be s(-4). Solve j = -5*w + w - 4 for w.
-1
Let y = -189 + 199. Solve 20 = 5*x - y*x for x.
-4
Let d = -21 + 21. Let u(m) = -m**3 + 14*m**2 - 2*m + 33. Let r be u(14). Solve -c - r = -d for c.
-5
Let y = -43