et t be z(20). Suppose -5*n - 4*m + 3 = -24, 0 = n - m. Solve -n*s - t = s for s.
-1
Suppose -6*n + 3*p - 69 = -11*n, 3*n = 3*p + 27. Solve 4*h = h + n for h.
4
Let c(s) = s**3 + 5*s**2 + 2. Let y = 29 - 34. Let i be c(y). Solve q - 6 = -i for q.
4
Let z be (-8)/(-36) + (-50)/(-18). Suppose -p = -2*j + 4*p + 40, -3*j = -z*p - 60. Solve 2*v - j = -2*v for v.
5
Suppose 5*h = -8 - 67. Let a be 32/(-240) - (-73)/h. Let k be (-2)/a*5 + 0. Solve 4 = -n + k*n for n.
4
Suppose 20 = 5*d, -2*q + 4*q + 2*d = 8. Solve k + 5 = -q for k.
-5
Suppose -9*v + 114*v - 1995 = 0. Solve v*i = 24*i - 20 for i.
4
Suppose -2*m = m - 18. Solve 8*f - 6 = m*f for f.
3
Let u(k) = 2*k**2 - 17*k + 40. Let b be u(9). Let i = b + -47. Solve 0 = -q - i for q.
-2
Let i be 1 - -2 - 1 - 5. Let u be ((-6)/(-9))/(i/(-54)). Suppose 4 = 14*w - u*w. Solve 0 = j + w*j for j.
0
Let d(t) be the first derivative of t**2 - 3*t + 30. Suppose 25 = 5*c + 5. Let s be d(c). Solve -i + 12 = -s*i for i.
-3
Let c(a) = -a - 12. Let p be c(-12). Suppose -v = 3*b - 61, -2*v + v + 1 = p. Solve r + 4*r - b = 0 for r.
4
Suppose 1 + 13 = 5*z + 2*j, -28 = -4*z + 4*j. Suppose -n - 4*t + 15 = -0*n, 0 = z*n - t - 9. Suppose 0 = -l + n*l - 24. Solve 5*p - l = p for p.
3
Let c = 567 + -567. Let l be (-1)/(-4) + 2/(-8). Let n = -4 - -7. Solve -3*u + n + c = l for u.
1
Let s(t) = t**3 - 22*t**2 + 2*t - 41. Let r be s(22). Solve 0 = r*x + 1 + 5 for x.
-2
Let f(k) = 3*k**2 - k - 1. Let s be f(-1). Suppose -s*g - 2 + 14 = 0. Let r(u) = 3*u - 6. Let w be r(g). Solve 0 = w*c - 4*c + 10 for c.
-5
Suppose -16 = -9*n - 4*r, 12*r - 11*r = n - 9. Suppose 4 = 4*h + 4*o, 5*o - 33 = 2*h - 14. Let k be (h/(-1))/((-2)/(-2)). Solve -w = -k + n for w.
-2
Let x(v) = v**2 - 1. Let d be x(2). Let r = 26 - 26. Suppose r = -d*y + 6*y. Solve c + 4*c + 25 = y for c.
-5
Suppose -6 = 3*m - 4*t, -2 = m - 2*t + 3*t. Let d be -2*1*m/4. Solve -u - 2 - d = 0 for u.
-3
Let t be 64/28 + 4/(-14). Suppose -d - 5*b + 18 = 0, 0*d = t*d + b. Let l be d - (-23 + (3 - 2)). Solve v - l = -3*v for v.
5
Let n be 6 + (-2 - (3 + -2)). Suppose n = f - 1. Suppose 2*j - 3*q - 25 = -f*q, -3*j = -5*q - 70. Solve -2*x = x + j for x.
-5
Suppose -4*l = 5*f + l - 55, 4*l + 10 = 5*f. Let g(v) = -5*v + 7. Let z be g(1). Let q be (1/(-2))/(4/(-8)) + z. Solve 9 = q*d - f for d.
5
Suppose 3 = 2*x + 3. Let o = 21 - x. Solve -1 = -5*b - o for b.
-4
Suppose 5 = 4*d + 3*m, -13*d + m = -12*d - 10. Solve -3*h = d + 7 for h.
-4
Let f be (64/(-12))/8*90/(-20). Solve 0 = -2*b - f - 7 for b.
-5
Suppose r - 12 = -3*r. Suppose n + r*n = 32. Solve -8 = -4*a + n for a.
4
Let g = 366 + -527. Let r = g + 163. Solve -i = r*i for i.
0
Suppose -3*j = -3*l - 2*l + 216, 0 = 4*l - 3*j - 174. Suppose l*o - 60 = 37*o. Solve 2*y = -y + o for y.
4
Let q be 0*3/(-30)*-5. Suppose -g = 4, -r + g = -q*g - 6. Solve -r*l = 2*l + 4 for l.
-1
Suppose -3 = 5*b - u - 22, 4*b - 2*u = 20. Let o be 3*-1 + (b - -5). Suppose -o*l - 5*m - 5 = 0, -2*l + 14 = -3*m + 1. Solve 0*y - 6 = l*y for y.
-3
Suppose 0*b = -3*z - 2*b + 4, -4*z = 4*b - 4. Let l(n) = -4*n + 0 - 1 + 1. Let u be l(-1). Solve u*h - 6 = z*h for h.
3
Let h be 29 + (-4 - 5/(-5)). Let o = h + -26. Solve o*y + 2 = y for y.
2
Let t = -699 + 760. Solve 75 = -7*h + t for h.
-2
Let q = 22 + -13. Let a(s) = 20*s**2 + 58*s + 5. Let d be a(-3). Solve -d + q = u for u.
-2
Suppose 5*a - 114 = -2*n, -193 = -7*a + 3*n - 16. Solve 0 = 4*t + a - 20 for t.
-1
Suppose -r - 7 - 17 = 0. Let h be r/(-36)*1*3. Let n = -5 - -8. Solve -h*q - n*q - 15 = 0 for q.
-3
Let l(v) = 4*v**2 - 7*v + 5. Let b(h) = 5*h**2 - 7*h + 5. Let o(y) = 5*b(y) - 6*l(y). Let p be o(-8). Solve -20 = -p*f - 2*f for f.
4
Let f(c) = c**2 - 6*c + 7. Let y be f(5). Let s be y + 1 + -3 - 1. Let g = s + 1. Solve g = -2*p + 3 + 7 for p.
5
Let i(s) = 5*s**2 - 88*s - 26. Let y be i(18). Solve 3*b = 8*b - y for b.
2
Let l(t) = 2*t**3 + 3*t**2 - 17*t + 8. Let i be l(3). Solve 10 = -7*w + i for w.
4
Suppose -m = -6*m. Let j be 1 - 0/5 - 4/(-2). Solve w + j*w = m for w.
0
Suppose 0 = 5*g - 2*b + 5*b - 9, b = 3*g - 11. Suppose -6 = -2*a + 3*s, -5*s - g + 13 = 0. Solve -q = -a*q - 15 for q.
-3
Let w(b) = 7*b**2 + 6*b + 2. Let h be w(-4). Suppose -h = -7*p + p. Solve 2*n + 3*n - p = 0 for n.
3
Suppose 36*a + 108 = 54*a. Solve -25*t = -23*t + a for t.
-3
Suppose x - 4*i = -5*i - 53, -3*x = i + 149. Let q = 54 + x. Solve -q*k + 5*k - 2 = 0 for k.
-2
Let b be 119/35 - 6/15. Suppose 0 = -b*f - 0*f. Solve f = -2*q - 0 - 8 for q.
-4
Let s(b) = -b**3 + b + 9. Let z be s(0). Suppose d = z*d - 8. Solve -d = 2*h + 5 for h.
-3
Let s be (-68)/(-11) - 2 - 100/550. Solve l + s = 6 for l.
2
Let x be 3 - (-1 + 0 + 2). Let o(f) = -3*f + 105. Let j be o(33). Solve x*b - 12 = j*b for b.
-3
Let c(p) = p**2 - 20*p + 102. Let r be c(8). Solve 9*t - r*t = -3 for t.
-1
Suppose -4*m = -5*p - 16, 2*m - 16 = -2*p - 2*m. Solve 6*x + p*x = 0 for x.
0
Suppose 10*j = 3*f + 7*j + 9, -12 = -4*f - 4*j. Solve f = -0*v + 5*v + 20 for v.
-4
Let d = -100 - -106. Suppose -4*b = m + 6, m + 4*b + 42 = d*m. Solve m + 0 = 3*y for y.
2
Suppose 76 = 7*a + 41. Suppose -3*z + 7 = 3*o - 2, 8 = 2*z + 4*o. Solve a*d - 17 = -z for d.
3
Let r be -1 - (-4 + 2 + 4). Let q(h) = -9*h - 7. Let d be q(r). Solve -3*y = y - d for y.
5
Let f be -7 - -4 - (-75)/5. Let n = f + -5. Solve 5 = -2*i + n*i for i.
1
Let j(y) = y**3 - 12*y**2 - 13*y + 2. Let p be j(13). Solve 0 = m - p*m + 5 for m.
5
Suppose 34*t - 36*t + 5*l + 13 = 0, -4*t + 18 = -2*l. Suppose -w = -5*w + 40. Let k = 1 - 1. Solve -q - t*q + w = k for q.
2
Let z(a) be the first derivative of -a**3/3 + 2*a**2 + 4*a - 2. Let q be z(4). Suppose -7*i = -2*i - 10. Solve -q*l = -i*l for l.
0
Let i(z) be the second derivative of -z**4/12 + z**3 + 2*z**2 - 9*z. Let s be i(6). Solve 12 = -4*y + s for y.
-2
Let d be 1035/180 + -2 + 9/4. Solve -18 = d*b - 6 for b.
-2
Let g = 2 - -1. Suppose -c - 2 = -g*c. Solve 5*r + c = -4 for r.
-1
Suppose -3*k = 3*k - 840. Suppose 6*o = 13*o - k. Solve 3*t = -t + o for t.
5
Let m be (-135)/(-35) - 5/(-35) - -1. Solve 4 = x - m*x for x.
-1
Let c be (-3)/2*(2 + -4). Suppose -z - 13 = -t, 3*t + 4*z - 31 = c*z. Solve 5 + t = -4*b for b.
-4
Suppose 0 = j + 3*q - 5 - 1, 0 = -q - 1. Suppose 63*g - 372 = -61*g. Solve 0*w = g*w + j for w.
-3
Let m = -8 - -10. Let c(i) = m + 1 - 4*i - 3. Let y be c(-1). Solve -r = -y*r - 9 for r.
-3
Let v(u) = u**3 + 5*u**2 + 5*u + 1. Let f be v(-4). Let m = f + 3. Let n be (2 - m)/(6/33). Solve -3*t = 1 + n for t.
-4
Suppose 0 = -4*w + 12. Suppose -w*f + 45 = -0*f. Suppose -2*o - 3*o = -f. Solve 7 - o = c for c.
4
Let o(h) = h**3 - 20*h**2 + 52*h - 17. Let q be o(17). Solve -3*t + q*t + 3 = 0 for t.
1
Let s be (3/3 - -4) + -9 + 10. Solve -2*l - s = 2 for l.
-4
Let x(g) = 5*g**2 - g. Let v = 2 - 3. Let f be x(v). Let a be (-3*(-1)/(-3))/(-1). Solve -f = -w - a for w.
5
Let k(d) = 6*d**2 + 2*d + 4. Let x be k(-3). Suppose -7*g + x + 32 = 0. Solve 8 = 5*h - g for h.
4
Let b be (-4)/(-3) + (-44)/33. Solve -5*z + b*z = 0 for z.
0
Suppose 10 = 2*d - 3*s, -27*s + 10 = -32*s. Solve -6 = d*t - 2 for t.
-2
Let t = -1343 - -1349. Solve t*p = p for p.
0
Let i be 15/9 + (-2)/(-6). Suppose p + 4 = t, -t + 9 = -0*t + 4*p. Suppose 5*u - 18 = -4*y, -t*u + 5*y + 36 = -9. Solve i*b + b = u for b.
2
Let a(z) = z**2 - 3*z + 4. Let c be a(4). Suppose 4*v = l + 3*v - c, 2*l - 22 = -4*v. Solve -2*y + l = -1 for y.
5
Let o(u) = u**2 - 3*u - 4. Let r be o(4). Let p be 14 - 16 - (r - 10). Solve 0 = 5*b + 7 + p for b.
-3
Let r(i) = -i + 18. Let v be r(7). Let m(c) = -c**2 + 10*c + 16. Let d be m(v). Solve b = -0*b + d for b.
5
Let k(b) = -3*b + 31. Let o be k(10). Solve u - 6 = -o for u.
5
Suppose 7*q = 3*q + 20. Suppose 0 = q*u + i + 2*i - 28, 3*u - i = 14. Suppose -3*f = -5*k - 14, -9*k = -4*k + u. Solve -3*d + f = -0 for d.
1
Suppose s + 4*y - 22 = 0, 3*y = 7*y - 4. Solve -11*l + 2*l - s = 0 for l.
-2
Let f(t) = 2 + 3*t + 1 + 4*t + 0*t - 2*t**3 + 13*t**2. Let q be f(7). Suppose 0 = q*a + 4*d - 22, 5*d - 26 = -4*a + a. Solve -a = -s + 2 for s.
4
Let m = -1 + 3. Let z = -71 - -86. Suppose -4*v - 3 + z = 0. Solve v = m*h - 3*h for h.
-3
Suppose 4 = -17*t + 13*t - 2*p, 3*p = 5*t - 17. Let w(a) = a - 1. Let g be w(6). Suppose -3*k + g + t = 0. Solve -6*b = -k*b for b.
0
Let q(z) = z**3 +