uppose 3*z + s*z = 10. Suppose z*j - 20 = -4*y - 0*j, -j = y - 5. Solve -2 = y*a + 8 for a.
-2
Suppose 5*n = 38 + 12. Solve n - 6 = 2*z for z.
2
Let b(c) = c**2 - 30*c + 107. Let d be b(26). Solve 42 = -d*i + 30 for i.
-4
Suppose 0*z - 2*z + 6 = 0. Let r be 9/27 + (-1)/z. Suppose q + 8 = 4*h, -q = q - 8. Solve 3 = -h*a - r for a.
-1
Let k(y) = y**2 - 2*y. Let n be k(3). Suppose -5*g - n*o + 2 = 0, 2*g - 3*g = -o - 2. Solve -5 = -3*v + g for v.
2
Suppose -19 = -3*x - 4*q, 7 = x + q - 0*q. Solve x*i - 6 - 21 = 0 for i.
3
Suppose 8*p - 216 = -120. Solve 74*g - p = 78*g for g.
-3
Let t = -19 + 53. Let k be (-2)/(-9) - ((-17)/119 - (-458)/(-126)). Solve -k*f + t = 14 for f.
5
Let j be 1 + 10 - 6 - 2. Suppose -14 = -6*a + 16. Solve -j*h - 2*h - a = 0 for h.
-1
Let h = -37 + 48. Suppose 80 = -3*u + h*u. Solve -5*g - u = -0*g for g.
-2
Suppose y = 5*d - 4*y - 90, -20 = 4*y. Solve 28*q - d*q = -45 for q.
-3
Suppose -i = 0, 60 = 4*p + p - 2*i. Solve -5*d - p - 13 = 0 for d.
-5
Let x(i) = 2*i**2 + i. Let n be 1*(10/2)/(-1). Let b be (n + 2)/3*-1. Let h be x(b). Solve d = h*d + 8 for d.
-4
Let m(z) = -3*z - 2 - 6 + 2. Suppose 8*q - 3 + 35 = 0. Let v be m(q). Solve 2*y + v = 14 for y.
4
Suppose -9*c = -4*c - 20. Let t = 45 + -43. Let h(i) = i**2 + i - 2. Let z be h(-4). Solve -t*j - z = -c for j.
-3
Suppose -66 = -2*d + 4*d. Let r = d - -33. Solve r*i + 3*i + 15 = 0 for i.
-5
Suppose -2*w + 17 + 1 = 0. Let a(v) be the third derivative of v**4/12 - v**3/3 - 3*v**2. Let u be a(w). Solve 2*y + 2*y = u for y.
4
Suppose -5*z - 175 = 3*o, -o + 0*o = -3*z - 91. Let x be ((-48)/z)/((-3)/(-8)). Solve -c = -x*c + 12 for c.
4
Let q = 993 - 979. Solve q + 14 = 7*g for g.
4
Let a = -50 + 60. Solve -a - 10 = 10*j for j.
-2
Suppose 0 = -4*a - 5*k + 30, 5*a - k = -0*k + 23. Solve 9*j - 12 = a*j for j.
3
Let o(h) = -6*h - 22 + 3*h + 10*h. Let b be o(6). Solve 0 = -3*f - f - b for f.
-5
Suppose 0 = j + j - 10, -s + 4*j - 18 = 0. Let h be (-2)/3*-3*1. Let v be (h/2)/(2/14). Solve s*u + v = -3 for u.
-5
Suppose -2*b = -b - 5. Suppose -b*v - 77 = 23. Let q be ((-3)/(-5))/((-4)/v). Solve q = d - 2*d for d.
-3
Let t be ((-14)/(-4))/(2/4). Suppose -5*m - 3*j = -t*j - 14, 0 = -4*j + 16. Solve 0 = -3*h - 0*h + m for h.
2
Let k(x) = x + 13. Let j be (-117)/36 - 3/4. Let i(m) = -m**2 - 2*m - 2. Let s be i(j). Let h be k(s). Solve 3 = h*d - 12 for d.
5
Suppose 0 = 4*y + y - 100. Let n(b) = -2*b**3 - 5*b**2 + 8*b - 7. Let j be n(2). Let w be j*(-3)/9 + -6. Solve 0 = -w*z - z - y for z.
-5
Let b = 1 - -2. Suppose -63*z - 21 = -462. Solve z*i - b*i - 20 = 0 for i.
5
Suppose -107*a = -108*a + 103. Solve -6*y + 85 - a = 0 for y.
-3
Let o be 4 + 15 + -2 + -4. Suppose -4*y = -p - o, -5*y + 4*p + 19 = -0*y. Solve 4 = y*w - 8 for w.
4
Let x = 1648 - 1643. Solve 17 = 4*b + x for b.
3
Suppose 0 = 2*a - 2 - 4. Suppose -s - 5*m = -17, 0 - 8 = 2*s - 4*m. Let w be -1 + 4/((-8)/(-18)). Solve -s = a*y - w for y.
2
Let a(n) = n**2 - 5*n - 6. Let u be a(6). Suppose -8*t = -5*t. Suppose 3*g = -2*m - t*g + 1, -5*g = 5*m - 5. Solve m = -2*z - u for z.
-1
Suppose -5*z - 3*c = 171, -z + 0*z - 4*c = 41. Let a = z - -35. Solve a + 0 = -2*m for m.
-1
Let v(f) = -f + 5. Let l be v(0). Suppose 289 = -3*q + h - 301, -2*q + l*h = 415. Let x be q/26*4/(-5). Solve x = -b - b for b.
-3
Let v = -74 + 80. Let x(q) = 4*q. Let m be x(4). Solve -5*g - v = -m for g.
2
Let c = 5 - -5. Suppose c + 10 = -4*m. Let z(a) = -a + 2. Let d be z(m). Solve 3 = -2*j + d for j.
2
Suppose -3*f + 57 = 21. Suppose 4*g = -m + f, 14 = -0*g + g + 3*m. Solve x = -g*x for x.
0
Suppose -z = -2*d + 5, 2*z = 2*d + 4*z - 14. Solve -d*h + 16 = 4 for h.
3
Let f = 547 + -530. Solve -f = k - 18*k for k.
1
Suppose -59 = -3*d + 21*o - 16*o, -o = -5*d + 113. Solve d*l = 17*l - 12 for l.
-2
Let g(r) be the first derivative of r**6/180 + r**5/24 + r**3/3 - 6. Let s(p) be the third derivative of g(p). Let d be s(-3). Solve d*b = 2 - 11 for b.
-3
Let h(v) = -17 - 6 - 2*v + 2. Let a be h(-12). Solve a*m + 4 = 19 for m.
5
Let a(y) = -y**3 - 7*y**2 - 10*y + 7. Let m be (4 - 7) + 2 + 3. Suppose 2*d - v + 15 = 0, -m*v + 15 = v. Let u be a(d). Solve 5*k + u + 18 = 0 for k.
-5
Let p = -265 - -276. Solve -21*y + p*y = 20 for y.
-2
Let o(a) = a**3 + 6*a**2 + 4*a + 1. Let u be o(-5). Let h be 154/66 - ((-1)/(-1))/3. Solve h*l - u = -l for l.
2
Let m(k) = 3*k + 20. Let r be m(-8). Let q be (3/r)/(4/(-16)). Solve -5*f + 7 = -q for f.
2
Let f(y) = -y + 20. Let j be f(16). Suppose 8 = -4*h - 4*c, -5*c - 16 = -h + j*h. Suppose -4 = -h*r - r. Solve -11 - r = 4*s for s.
-3
Let a = 962 + -875. Solve -a = -18*x + 47*x for x.
-3
Let c(h) = h**2 + 15*h + 21. Let z be c(-14). Suppose 3*y + 28 = z*y. Solve -2*w = y - 17 for w.
5
Let j = 0 - 0. Let i(p) = -10*p - 4. Let z be i(-1). Let x = z - 4. Solve j = -4*c - x + 6 for c.
1
Let i be (2 + -1)*0*(-6 + 5). Suppose -3*r + 6 = -i*r. Solve p + r + 0 = 0 for p.
-2
Let z = -1051 - -1086. Solve -38*f + z*f - 6 = 0 for f.
-2
Suppose -5*s - 5*w - 20 = 0, 45*w = 5*s + 49*w + 14. Let c = 1 - 1. Solve b + 0*b - s = c for b.
2
Let x(t) = -t**2 + 9*t - 4. Let k(i) = i**2 - 3*i - 2. Let f be k(5). Let p be x(f). Solve -2*u = -4 - p for u.
4
Let j(w) = -3*w + 3*w + 4*w - 1 - 3. Let o = 1 - -1. Let s be j(o). Solve -s*h = -0*h - 12 for h.
3
Let r = 2 - 6. Let t be (r - 30/(-9))*6. Let d = 4 + t. Solve 4*n - 16 = -d*n for n.
4
Let o(b) be the second derivative of -b**3/3 + b**2 + 4*b. Let f be o(-1). Solve 4*m - 3*m = -f for m.
-4
Suppose 2*y - 20 = -3*m, y = -0*m - 5*m + 17. Solve 32 = -y*v + 25 for v.
-1
Let m be 4/(8 + 0)*0. Solve -2*z + 5*z + 3 = m for z.
-1
Suppose -5*q = 5 - 15. Suppose 0 = 4*c + 4*g - 17 - 31, -q*c = g - 24. Suppose 0 = -5*k + 9*k - c. Solve -1 - k = -2*d for d.
2
Let t = -1 - -4. Suppose 3*j + 3*i + 6 = 0, -5*i = 120*j - 123*j + 26. Let d be (-1 + -1 + 1)*-1. Solve t*p = -j - d for p.
-1
Let u = -762 + 765. Solve -u*v = -16 + 19 for v.
-1
Let y be 7/(21/(-24))*(3 + -4). Solve 18 = -y*n - 22 for n.
-5
Let y be (-96)/18 - -6 - (-2)/(-3). Solve y = -0*n + 2*n + 4 for n.
-2
Let d be 1 + -1 + 15 + -12. Suppose d*h - 20 = -h. Solve -l + h - 10 = 0 for l.
-5
Suppose z - 4*z = 5*a - 30, -4*z - a + 57 = 0. Let i be (12/z)/(4/30). Suppose i*w - 7*w = -15. Solve w = -4*y - y for y.
-3
Let q(i) = 2657*i**2 + 2 - 2658*i**2 - 12*i + 0. Let h be q(0). Suppose 4*c = -a - 4, a + 2*c + 0 = -2. Solve a = b + h - 3 for b.
1
Let b = 2050 - 2042. Solve 50 = b*u + 58 for u.
-1
Suppose 30*y + 599 - 2069 = 0. Solve y*c - 36*c + 39 = 0 for c.
-3
Let q = -109 + 114. Solve -q*a + 8*a = 0 for a.
0
Suppose 4 = 5*v + 19. Let i = 14 + v. Solve 4*c - 1 = i for c.
3
Let s be (2/(-1) - -1)*(8 + -8). Solve -14*w + 1 - 1 = s for w.
0
Suppose 4*t - 2 = 6. Let m be (-56)/12 - (-4)/6 - -11. Let p be m - (112/(-40) - (-1)/(-5)). Solve t*z - p = 7*z for z.
-2
Suppose 5 = k + 3. Suppose -4*l = 4*n + n + k, 2*n = -2*l. Solve 5*t - 8 = l for t.
2
Let w be (-20)/(-30) + (-84)/(-9). Solve 5 = -3*h - w for h.
-5
Let d be (-16)/48*-1*(9 - 0). Suppose 3*z = q - 4, -1 = z - 2*q + 7. Solve -d = -k - z for k.
3
Suppose -4*c = 5*y - 33, -3 = 4*c + 2*y - 21. Suppose -7*n = -c*n + 25. Let z be (-2 - 1) + (n - -10). Solve -g = z*g - 9 for g.
3
Suppose -7*v + 11*v = 8. Suppose 3*q - v*q = 0. Solve q - 1 = b for b.
-1
Let b(l) = 2*l**3 - 3*l**2 - l + 2. Let p be b(2). Suppose 3*j - 15 = -3*s + p*s, -18 = -5*j + 4*s. Solve j + 4 = 5*y for y.
2
Let d(g) = -g**2 + 13*g - 8. Let r be d(12). Suppose 2*i = -3*i - r*b, -3*b + 5 = 5*i. Solve -i*o - 18 - 2 = 0 for o.
-5
Suppose 18 = 5*k - 7. Suppose -2 = 2*w + 6, -k*y + 2*w + 88 = 0. Suppose f + 4*q - 16 = 0, 0 = -5*q + q + y. Solve f = 5*x - 2*x for x.
0
Let g be 0 + 5 + 0/(-1). Let w(i) = -33*i**2 - 2*i - 4. Let t be w(2). Let z be t/21*(-2 - (-3)/6). Solve -g*b = -z*b for b.
0
Let s be 26/6 - 4/(-6). Let y be 9/s + (-5)/(-25). Solve -12 = -p - y*p for p.
4
Suppose 3*z = 15, -2*b - 124 - 45 = -5*z. Let k = b - -73. Solve -1 - k = 2*n for n.
-1
Let b(y) = -y**2 + 7*y - 6. Let l be b(5). Suppose 5*s - l*s = 4. Let f be (s/8)/(2/12). Solve 0*a = -a - f for a.
-3
Suppose -4*c - 4*n = -20, -5*c - 10 = -n - n. Suppose -r + 10 - 7 = c. Solve 2*s - 1 = -r for s.
-1
Let x be (-2)/5 + (-10 - 708/(-20)). Solve -k + x = 23 for k.
2
Suppose -23*o