et b be 16/(1 + (-2 - -3)). Let z(g) = -g**3 + 10*g**2 - 10*g - 9. Is z(b) a multiple of 10?
False
Suppose -3*a = -117 - 6. Is 12 a factor of a?
False
Let w = 1 - -2. Let n = -1 + w. Suppose 14 + 22 = n*p. Is 11 a factor of p?
False
Suppose z = -0 + 2. Suppose z*p + 2*l = 36, -5*l - 70 = -6*p + p. Is p + 0/(0 - 2) a multiple of 6?
False
Suppose -3*p + p - 3*z = -18, 3*p - 1 = 2*z. Suppose 0 = -r - p*r + 112. Is r a multiple of 15?
False
Let h(t) = -7*t + 26*t**2 - 3 + 3*t - 19*t**2. Is h(-2) a multiple of 11?
True
Let i(k) = -k**2 - 23. Let u be i(0). Let r = u - -71. Is r a multiple of 11?
False
Suppose -2*u = 2*u + 3*t + 41, -34 = 3*u - t. Let s = 19 + u. Is s a multiple of 4?
True
Suppose -v = -2, -5*a + 3*v = v - 111. Does 4 divide a?
False
Let o(f) = 19*f**3 - f**2 - f - 6. Is o(2) a multiple of 35?
True
Let t(o) = -o**3 - 8*o**2 + 8*o. Let n(j) = -j**3 + j + 1. Let g(v) = 2*n(v) - t(v). Is 11 a factor of g(4)?
False
Suppose 4*f - 18 = -3*s + 2, s - f = 2. Suppose -4*y - 42 = -4*w - y, -s*w - 3*y + 30 = 0. Is 4 a factor of w?
False
Let x(s) = s**3 + 4*s**2 - 8*s - 5. Let n be x(-6). Let f = 47 + n. Is f a multiple of 9?
True
Let s be ((-34)/4)/(2/(-4)). Suppose 4*m = -s - 111. Let v = -15 - m. Is v a multiple of 9?
False
Let o(q) = -q**2 - 5*q + 2. Let v = -8 + 2. Let f be o(v). Is 15 a factor of 3/f*(-36 - 4)?
True
Is (130/6)/(1/9*3) a multiple of 17?
False
Suppose -h = 4*o - 2, 7*o = 3*h + 2*o + 45. Let r = h + 18. Is r even?
True
Let l be (-2 - -15)/(-3 + 2). Let i = l + 41. Is 20 a factor of i?
False
Let i = 2 + 2. Suppose 36 = i*m - 2*m. Is 7 a factor of m?
False
Suppose k + 5*i = -2*k + 73, 3*k - 5*i = 53. Is k/5 - 8/40 even?
True
Let b = 14 + -11. Suppose -143 = -b*u + 5*d, 5*d + 28 - 115 = -2*u. Does 9 divide u?
False
Suppose -3*v + 5*v = 5*c - 421, 2*v - 4 = 0. Is c a multiple of 17?
True
Let x(v) = 6*v - 4. Let y(o) = 0*o - 6*o - 6 + 5*o. Let i be y(-10). Does 20 divide x(i)?
True
Let f(s) = 6*s**2 + 2*s - 2. Does 4 divide f(-2)?
False
Suppose -l + 3 = 5*g, 0 = -5*g + 3*l + 5 - 14. Suppose q + q - 18 = g. Is 9 a factor of q?
True
Let m(d) = 9*d - 1. Let w be m(1). Let q(r) = 2*r**2 - r + 2. Let c be q(-4). Let h = c - w. Is h a multiple of 15?
True
Is 24/(-10)*2/6*-140 a multiple of 7?
True
Let q be (-92)/(-28) + 4/(-14). Let a(t) = -t**3 + 5*t**2 - 5*t + 3. Does 5 divide a(q)?
False
Let k(o) = 106 + 2*o**2 + 5*o**2 + o - 107. Is k(1) a multiple of 7?
True
Does 16 divide (4 - -2)*56/21?
True
Suppose 4*i + k = 139, 0 = -5*i - 0*i + 3*k + 195. Does 20 divide i?
False
Let x(w) = -43*w - 6. Is x(-2) a multiple of 8?
True
Suppose x - 12 = -3*x. Suppose x = 3*y - 3. Does 3 divide 1/(-2)*(y + -16)?
False
Let y be (-2*3)/3 + 5. Suppose y*b = 4*g + 11 + 20, -g - 9 = -b. Let x = b + 3. Is 8 a factor of x?
True
Let j(n) = n**2 - 2*n - 22. Does 13 divide j(8)?
True
Let q(o) = -10*o - 26. Does 34 divide q(-6)?
True
Let h(l) = 3*l**2 + l + 6. Is h(-6) a multiple of 18?
True
Let b = 0 - -7. Suppose 0 = -3*n + b*n - 96. Is 12 a factor of n?
True
Let w(a) = -a - 1. Let g be w(-2). Is (-36)/(-4) - 1/g a multiple of 7?
False
Let n(b) = -b**2 - 16*b + 16. Let v(t) = 2*t**2 + 17*t - 16. Let u(h) = -3*n(h) - 2*v(h). Does 9 divide u(11)?
False
Suppose 5*u - 4*n = 12 + 18, u - 6 = -2*n. Suppose -3*x = -4*p + 37, -x + 3*x = -u. Is 2 a factor of p?
False
Let n = -10 - -100. Let v = n + -54. Suppose 0 = -2*l - 10 + v. Is 13 a factor of l?
True
Suppose 6*x - 3*x + 5*r + 32 = 0, 5*x + 24 = -r. Does 15 divide 81 + 1/(-2)*x?
False
Let q = -9 + 39. Is q a multiple of 6?
True
Let i(j) = -j - 4. Let h be i(-4). Suppose 5*w - 2*r + 244 = h, -4*r + 56 = 5*w + 288. Let z = -22 - w. Does 13 divide z?
True
Let a(s) = s**3 - 12*s**2 - 19*s - 21. Is 21 a factor of a(14)?
True
Let b be (0 - -2 - 3) + 3. Suppose 4*a + 6 = -6, -41 = -b*j - a. Does 18 divide j?
False
Let j(f) = 14*f. Let i be j(-7). Let c = -70 - i. Suppose -4*b + 8*b = c. Is 3 a factor of b?
False
Let v(t) = 7*t + 6. Let r be v(-3). Is 15 a factor of 1/(3/r)*-10?
False
Let k(n) = -2*n**2 + 2*n + 1. Let o be k(2). Let w(v) be the first derivative of -v**4/2 - 4*v**3/3 + v**2 + 2*v - 3. Does 5 divide w(o)?
False
Let n = -17 + 27. Let r = 17 - n. Does 3 divide r?
False
Let u = -1 - -4. Does 3 divide u?
True
Let x be ((-15)/5)/((-3)/34). Suppose -4*f - w = f - 94, 2*f + 4*w = x. Does 6 divide f?
False
Let o = -25 + 39. Let x = -9 + o. Suppose -3*j + 47 + 30 = -2*f, j + x*f = 20. Does 17 divide j?
False
Suppose -w - 3*f = -16, 0*w + 2*w - 4*f = 12. Is 13 a factor of 3/(2 - 1) + w?
True
Let b(x) be the third derivative of x**5/60 + 5*x**4/24 - x**3/6 - 5*x**2. Does 4 divide b(-6)?
False
Suppose 5*a = 733 + 32. Is a a multiple of 17?
True
Suppose 4*u = 5*l, 0 = -l + u - 2*u. Suppose -3*d - 46 + 196 = l. Does 13 divide d?
False
Suppose -m + 5*m - 2*d = 20, -4*m + 20 = 5*d. Suppose m*t - 1 = 14. Is 4 a factor of ((-6)/t)/(4/(-18))?
False
Let b(a) be the second derivative of -a**6/360 + 3*a**5/40 - a**4/4 - 2*a. Let r(s) be the third derivative of b(s). Does 11 divide r(-8)?
False
Let n be (1 - -4)*(-1 + 2). Suppose 2*r - 3*m - 3 = -0*m, -2*r + n*m = -9. Does 11 divide (-3 - -28) + 0 + r?
True
Let v = 37 + 11. Suppose 3*y + 2*y - 82 = -4*w, 3*w - v = 3*y. Does 18 divide w?
True
Let m(d) = -d**3 - 4*d**2 + 3*d + 5. Let s be m(-4). Let p = -3 - s. Suppose p*n - 75 = -19. Is 9 a factor of n?
False
Let s(f) = -3*f**3 - 12*f**2 + 6*f + 1. Does 29 divide s(-6)?
False
Suppose v - 5 = 79. Does 42 divide v?
True
Suppose 3*h - 51 = -3*n, -2*n - 44 = -4*h - 0*h. Is h a multiple of 3?
False
Suppose -4*h + 35 = -3*i - 0*i, 10 = h - 2*i. Is 3 a factor of h?
False
Let j(i) = -i**2 + 14*i + 14. Is 13 a factor of j(7)?
False
Suppose 3*x - 3 = 4*x. Does 7 divide ((-65)/x)/(-5)*-3?
False
Let m = 130 + 16. Is 16 a factor of m?
False
Let z(a) = a - 1. Let u be z(3). Suppose -u*c + 5 = -c. Suppose -f - y + 84 = 3*y, -c*f + 375 = 5*y. Is 21 a factor of f?
False
Does 10 divide 0 - -101 - 0/(-4)?
False
Suppose 0 = 4*w + 4*j - 132, -11*w + j = -8*w - 83. Is 3 a factor of w?
False
Let r(h) = 3*h**2 + h + 1. Let m be r(-1). Let c be (-2 - -2)*(-1)/m. Suppose c*q - q + 21 = 0. Does 8 divide q?
False
Suppose 0 = -y - 2*y + 12. Suppose n + 0*n - 44 = -q, n + y*q = 35. Does 24 divide n?
False
Let a be (-4)/1*3/(-4). Suppose -z - 2*z - 55 = 5*k, z = -a*k - 37. Is 4 a factor of (k/(-4))/((-2)/(-4))?
False
Let y(f) = -11*f + 1. Let o be y(1). Let n be 6/33 + 978/66. Let d = o + n. Is d a multiple of 5?
True
Let s(f) = -2*f - 4. Suppose 0 = -4*r + 6*r - 6. Let w be 11/(-2) - r/6. Is s(w) a multiple of 4?
True
Let z(w) = w**3 + 8*w**2 - 9*w + 1. Let v be z(-8). Let a be (1 - -1 - v) + 1. Let b = a + 100. Is b a multiple of 18?
False
Let n(k) = -k**3 - 8*k**2 + 9*k + 4. Let c be n(-9). Let h(q) = 2*q**3 + 1 - 3*q**3 + q**2 + 3 - 4*q + c*q**2. Is 2 a factor of h(4)?
True
Let g(s) = s**3 - 7*s**2 - 7*s - 2. Is g(9) a multiple of 17?
False
Let t be (-58)/7 + 6/21. Let v be (-9)/(-4) - (-2)/t. Does 10 divide (-53)/(-3) + v/(-3)?
False
Suppose -5*t = -8*t + 165. Is t a multiple of 11?
True
Suppose 0 = -2*o - 2*j + 88, 3*j + 105 + 51 = 3*o. Suppose -4*v = -8*v + o. Is v a multiple of 3?
True
Suppose 5*k = 2*k - 12. Let r = 9 + k. Is r a multiple of 4?
False
Suppose -14 = -4*t - 6. Suppose -z = 4*m - t*z - 26, -3*m - 5*z + 31 = 0. Does 7 divide m?
True
Suppose 5*z + 6 = 31. Let y(x) = -2*x - z + 1 + x**2 + 2*x**2. Does 17 divide y(3)?
True
Suppose 4*d = 90 + 2. Does 11 divide d?
False
Suppose 2*r + 3 = 11. Suppose -3*x - r*u = -63, 21 = -3*x + 4*x + 3*u. Does 21 divide x?
True
Let u(b) = -b + 5. Let y be u(-9). Suppose x - 6*t = -t + 14, y = x - t. Is 8 a factor of x?
False
Let n(d) = -23*d**2 + 1. Let r be n(-1). Let x = -103 + 158. Let l = x + r. Is 12 a factor of l?
False
Let b(z) = z - 1. Let a(q) = 6*q + 9. Let y(r) = a(r) + 6*b(r). Let o(d) = d**3 - 4*d**2 - 5*d + 3. Let k be o(5). Is y(k) a multiple of 13?
True
Let m be ((-3)/(-1))/((-24)/32). Let c = 14 - m. Does 13 divide c?
False
Is 6 a factor of -6*2/(-4) + 21?
True
Let q be (13 - 15) + (-1 - -18). Suppose -83 = -2*g - q. Is g a multiple of 10?
False
Suppose 66 = 6*j - 78. Does 21 divide j?
False
Let l be (-110)/4*2/1. Suppose 0 = -0*b + b - 83. Let i = b + l. Is 18 a factor of i?
False
Let i 