 = -3*s. Is n a multiple of 9?
True
Let k(f) = f**3 - 5*f**2 - f + 4. Let o be k(5). Let t(a) = 39*a**2 + a. Does 19 divide t(o)?
True
Let d = 38 - 24. Let y be (-4)/(-6) - 23/3. Let p = d + y. Is 7 a factor of p?
True
Let m = -24 - -123. Is 7 a factor of 2061/m + (-2)/(-11)?
True
Let m be 3*186/9*2. Let n = m - 80. Is 11 a factor of n?
True
Let b(c) = -13*c - 4. Let a = 8 - 12. Is 16 a factor of b(a)?
True
Let l = -92 - -165. Is l a multiple of 10?
False
Let z = 3 + 23. Is z a multiple of 24?
False
Let x = 75 + -43. Suppose -5*i + x + 88 = 0. Let r = -17 + i. Is r a multiple of 7?
True
Let i(p) = -10*p + 2. Let l = -10 + 7. Is i(l) a multiple of 11?
False
Let p(z) = -9*z - 15. Suppose 2*w = -4*d - 25 - 5, 3 = -3*d + 5*w. Does 15 divide p(d)?
False
Let f(u) = -11*u - u**2 + 0*u**2 - 2*u. Suppose -l - 4 - 8 = 0. Does 5 divide f(l)?
False
Let z(h) = -11*h + 1. Is 9 a factor of z(-4)?
True
Is 3 a factor of 6*10/330 - 416/(-11)?
False
Suppose 180 = 9*m - 6*m. Does 20 divide m?
True
Let t(w) = 3*w - 6. Let z(r) = 5*r - 9. Let f(x) = -8*t(x) + 5*z(x). Is f(0) a multiple of 2?
False
Let p = 19 + -22. Does 10 divide 1068/36 - 1/p?
True
Let y = 27 - 15. Is y a multiple of 12?
True
Is 7 a factor of (-5)/((-25)/310) + -1?
False
Let x = -36 - -19. Let s = -10 - x. Does 4 divide s?
False
Suppose 0 = -4*f - f. Suppose f = -2*s + 60 - 26. Does 9 divide s?
False
Let s = 16 + 10. Is 16 a factor of -3 + s/3*3?
False
Suppose -3*a + 135 = c, -a - 4*c + 144 = 2*a. Let f be (-92)/3 - 2/(-3). Let i = f + a. Is 5 a factor of i?
False
Let s be (-2)/4 + 65/(-2). Let q be s/11 + 0/2. Is 3 a factor of q - (20 + -2)/(-2)?
True
Suppose -x + 105 = -0*x. Suppose i + 32 = -2*y + x, 0 = -2*i + 2. Is 13 a factor of y?
False
Let o(h) = 2*h**2 + 6*h - 6. Let c be o(6). Let n = 52 + -102. Let v = n + c. Is v a multiple of 26?
True
Let v(w) = -5*w - 3. Suppose -2*d + 12 - 36 = 2*q, 3*d + 22 = -q. Let k be v(q). Is 15 a factor of (k/(-10))/(6/(-75))?
False
Let m = 45 + -28. Is m a multiple of 2?
False
Let z be 2/(-10) + 4/20. Let u = 5 + z. Is 5 a factor of u?
True
Let w(q) = 23*q**2 + 2*q + 1. Does 20 divide w(-1)?
False
Let z be (3/(-9))/((-1)/12). Suppose -u - 30 = 2*u + 4*f, -40 = z*u - f. Let c = 14 + u. Is c even?
True
Let j(i) = 3*i - 12. Let z be j(5). Does 4 divide (-6)/z - (-10 - -1)?
False
Let v be 3*-1*(-2)/6. Let q(t) be the second derivative of 3*t**5/10 + t**4/12 - t**2/2 - 11*t. Does 3 divide q(v)?
True
Let w(k) = 19*k**2 + 1. Does 10 divide w(-1)?
True
Suppose 5*x + s - 297 = 0, 25 = 4*x - s - 218. Is 10 a factor of x?
True
Suppose -l = 2*l - 657. Is l a multiple of 69?
False
Let a(q) = -2*q**3 - q. Let v = 3 + -2. Let c be a(v). Does 6 divide -51*(0 - (-1)/c)?
False
Let q(b) = 5*b**3 - 2*b**2 + 1. Let r be q(-1). Let h be r/(-21) + (-1062)/(-7). Suppose h = -0*s + 4*s. Is s a multiple of 19?
True
Let s(q) = -q**2 - 12*q - 2. Let v be s(-8). Suppose -j + v = 2*w - 4*j, j = -3*w + 56. Is w a multiple of 10?
False
Suppose 0*x = 3*x. Suppose -l - 2*f = l + 20, x = -2*f. Let g(b) = b**3 + 9*b**2 - 13*b - 8. Is 11 a factor of g(l)?
True
Let v(f) = 0*f - f**2 + 0*f**2 + f**3 - f - 2*f**3 + 27. Does 18 divide v(0)?
False
Suppose 2*s - 8 - 4 = 0. Suppose 3*g - s*g = -54. Is 16 a factor of g?
False
Let i = 18 - -9. Suppose -4*n - i = -299. Let l = n - 35. Is 13 a factor of l?
False
Suppose 2*h - 8 = 2*x - h, 0 = -2*x + 4*h - 8. Let u be 8 + 2 + x + 2. Suppose 50 = u*m - 3*m. Is 10 a factor of m?
True
Suppose 80 = 3*w + 2*p + 10, 2*w - 2*p - 60 = 0. Does 13 divide w?
True
Let y be -88 - (0 + 3) - -2. Let n = -52 - y. Is n a multiple of 21?
False
Let n(q) = 14*q**2 - q - 1. Does 6 divide n(-1)?
False
Suppose 4*j - 7 - 17 = -4*r, 0 = 5*j - 4*r - 66. Is j even?
True
Let g(a) = a**2 - 4*a - 1. Let k be g(6). Suppose -k = t - 38. Does 9 divide t?
True
Let t(n) be the first derivative of -n**4 - n**3/3 + n**2/2 + n - 1. Let y be t(-1). Suppose -2*d + 3*d + 35 = s, -y*s + 81 = 5*d. Is s a multiple of 9?
False
Let j(n) = 7*n + 8. Let m(f) = -6*f - 7. Let t(s) = -4*j(s) - 5*m(s). Is 7 a factor of t(2)?
True
Suppose s + 2 = -s, -5*i = -2*s - 87. Suppose 4*w = 5*f + i, -3*w = -0*f - 4*f - 12. Is 8 a factor of w?
True
Let j be 6/4*80/3. Let d = 64 - j. Is d a multiple of 8?
True
Suppose 0*c - v = -2*c + 244, 2*v = -3*c + 359. Does 16 divide c?
False
Let s be (-60)/(-14) - (-8)/(-28). Let t be 2*(1 - 2) - 0. Is 56/t*(-2)/s a multiple of 14?
True
Suppose -4*y - 2*p = -42 - 130, 212 = 5*y + p. Does 21 divide y?
True
Let s be (2/2)/((-3)/(-6)). Let y(i) = 1 + s*i**2 + 4*i + 0*i - 4*i**3 - 2*i + 0*i**3. Does 2 divide y(-1)?
False
Let w(c) = 0*c - c - 9 + 47*c**2 + 9. Is 16 a factor of w(-1)?
True
Let f = 13 - 51. Let k = -15 - 45. Let b = f - k. Does 11 divide b?
True
Suppose -c + 3*c - 2*j = 206, 3*c = -j + 293. Suppose -5*a - 2*n = -c, 2*a - n - 33 = -4*n. Is a a multiple of 7?
True
Suppose -2*p = -0*p - 12. Let h(d) be the first derivative of 3*d**2/2 - 3*d + 13. Is h(p) a multiple of 6?
False
Let o = 72 + -42. Is o a multiple of 8?
False
Let q(s) = -s**3 - 9*s**2 + s + 12. Let y be q(-9). Suppose 2*k + 2*c = -21 + 61, k - 20 = -y*c. Does 10 divide k?
True
Suppose -15*f = -12*f - 180. Is 30 a factor of f?
True
Let a(y) = 5 - 1 + 6*y - 2. Let c be a(4). Suppose -x + c + 0 = 0. Does 12 divide x?
False
Suppose 54 = 3*v + 5*f + 8, -4*v + 2*f + 18 = 0. Suppose 0 = 6*c - v*c + 10. Does 10 divide c?
True
Suppose l + 0*l - 2 = 0, -4*w + 5*l + 462 = 0. Is w a multiple of 14?
False
Let n = 1 - -1. Suppose 0 = -n*o - 3*o + 10. Is 18 a factor of (o - (-1)/(-2))*26?
False
Suppose -4*s + 130 = -2*o, 3*s - 2*o - 30 = 65. Suppose 2*z + 6*f - f - s = 0, -f + 10 = z. Let n = z - -17. Is n a multiple of 11?
True
Let w be (-16)/10 - (-6)/10. Let v = 72 + w. Suppose 5*a + v = 196. Is a a multiple of 14?
False
Let g = 9 - 4. Suppose g*f = 125 - 25. Does 11 divide f?
False
Suppose 0 = 3*v - 6*v + 9. Suppose -159 = -v*u - 0*u. Is u a multiple of 11?
False
Let g be (0 - 0)/(4 - 2). Let h(w) = w**2 - 7. Let p be h(g). Is 4 a factor of (-2)/7 - 58/p?
True
Is 2 a factor of 8/(0 + -4) - -19?
False
Suppose -72*v + 180 = -69*v. Does 20 divide v?
True
Let m = -11 + 15. Suppose 4*i - 14 + 2 = -t, -4*t = m*i - 48. Is t a multiple of 12?
True
Let t(j) = j**3 - 4*j**2 - 7*j + 12. Let f be t(6). Suppose -61 = 5*c - 181. Let y = f - c. Is 6 a factor of y?
True
Suppose -g - 7 = 4*t, 3*g - 29 = -10*t + 8*t. Is 13 a factor of g?
True
Let b(w) = -w**2 - 16*w - 4. Let j be b(-7). Let u be (-2)/(-8) - (-165)/(-20). Let x = j + u. Is 17 a factor of x?
True
Let k(w) = -26*w + 17. Let d(h) = -h**3 + h. Let r(s) = 6*d(s) + k(s). Let q(x) = -2*x**3 - 7*x + 6. Let l(u) = 17*q(u) - 6*r(u). Is l(2) a multiple of 18?
True
Let d = 5 + -2. Suppose -d*s - s - 28 = 0. Let o(j) = j**3 + 6*j**2 - 9*j - 5. Is 9 a factor of o(s)?
True
Suppose 3*g - 579 + 159 = 0. Does 28 divide g?
True
Is (-6)/(-27) + ((-808)/(-9) - 2) a multiple of 22?
True
Let z = 157 + -88. Does 3 divide z?
True
Suppose 6 = 2*u + 4*x, 2 - 1 = u + 4*x. Suppose -y + 54 - u = 0. Let t = y - 30. Is t a multiple of 19?
True
Let m(z) = z - 3. Let d be m(6). Let r(p) be the second derivative of p**4/6 - p**3/6 + 21*p. Does 4 divide r(d)?
False
Let j(n) = 2*n**3 + n**2 - 2*n + 1. Let b be j(1). Is b - (0 + 104/(-4)) a multiple of 8?
False
Let u = -7 - -10. Suppose 0 = -u*k - 0*k + 9. Is (-2)/(k/(-33)*2) a multiple of 8?
False
Let u(p) = 5*p**3 - 3*p**2 + 6*p + 3. Let y(b) = -4*b**3 + 4*b**2 - 5*b - 4. Let t(a) = 3*u(a) + 4*y(a). Is 17 a factor of t(6)?
True
Let t = 7 + -2. Suppose -3*h - 4*m = m - 48, -m = t*h - 80. Does 16 divide h?
True
Let x be 3/7 - (-7504)/98. Is 2142/x - (-4)/22 a multiple of 14?
True
Let l(y) = y**2 + 10*y - 52. Is l(8) a multiple of 12?
False
Is 272/10 + (-15)/75 a multiple of 9?
True
Let k(p) = 5*p**2 - 15*p + 16. Is 17 a factor of k(5)?
False
Let z = 5 + 2. Let g be 480/14 - 2/z. Suppose 4*f - g = 22. Is f a multiple of 6?
False
Let y be -3 - (-1 - 0/(-2)). Let p be (-6)/12 + 6/(-4). Is y + -1 + (-30)/p a multiple of 6?
True
Suppose -2*i = -2*s - 44, 0 = 3*i - 0*s - 5*s - 58. Suppose 0 = z + 2*t - i, 4*t - 86 = -3*z + 6*t. Is 14 a factor of z?
True
Suppose -4*l + 164 = -4*o, 179 = l + 3*l + o. Is 11 a factor of l?
True
Let t(c) = -c**2 + 5*c - 4. Let n be 