 Let z be i(-9). Suppose -154 = -5*w - z. Does 9 divide w?
False
Let v be (0 - 1)*-2 + 19. Let h = 41 + v. Does 16 divide h?
False
Let s(p) = 0*p + 0*p**2 + p + 5 - p**2. Let h(u) = -2*u**2 + 2*u + 10. Let l(a) = 4*h(a) - 7*s(a). Does 4 divide l(0)?
False
Suppose 0 = -2*v - 18 + 172. Is v a multiple of 7?
True
Suppose 1 = 3*g - 77. Is g a multiple of 13?
True
Let i(a) = 10*a - 1. Let c = -4 + -4. Let r be (3/2)/((-6)/c). Is 5 a factor of i(r)?
False
Let v = 74 + -19. Is 10 a factor of v?
False
Let v(g) be the third derivative of -1/2*g**3 + 0 - 1/3*g**4 - 3*g**2 + 0*g + 1/15*g**5 + 1/120*g**6. Is 6 a factor of v(-5)?
True
Let n be 8/(-36) + 47/9. Suppose n*d = 3 + 42. Is 5 a factor of d?
False
Let v(m) be the first derivative of -m**4/6 - 2*m**2 - 1. Let g(l) be the second derivative of v(l). Is 3 a factor of g(-2)?
False
Suppose 0 = 3*i - 849 - 495. Is i a multiple of 27?
False
Let y(u) = -2*u - 3. Let w be (-2)/(3/(30/4)). Let g(c) = c**2 + 5*c - 7. Let r be g(w). Is 6 a factor of y(r)?
False
Let x(r) = 4*r**2 + 8*r - 53. Does 38 divide x(-10)?
False
Suppose -5*g = -0*g - 4*v + 22, v - 3 = 0. Is 14 a factor of 147/6 - g/4?
False
Let t(u) = -u**3 - 8*u**2 - 6*u + 9. Let h(j) = -j**2 - 6*j. Let d be h(-7). Let g be t(d). Suppose -w + g*w - 10 = 0. Does 10 divide w?
True
Let j = -76 + 133. Suppose h = 2*x - 3*x + j, 3*x = 2*h + 176. Suppose -x = -5*f - 8. Is 4 a factor of f?
False
Suppose 0*g + 4*g + 3*r = 23, 4*g - r = 3. Suppose 2*w + w = -g*h + 22, h = w + 1. Suppose 48 = w*q - 0*i - 4*i, 4*q - 3*i - 44 = 0. Is 4 a factor of q?
True
Suppose 0*m + 138 = 6*m. Does 15 divide m?
False
Let k = 10 - 10. Suppose k = -5*y + 4*p + 13 + 45, 12 = 4*p. Is 7 a factor of y?
True
Let s = 10 - -17. Is 7 a factor of s?
False
Let h(m) = m**3 - 4*m**2 - 8*m + 4. Is 25 a factor of h(6)?
False
Let u(q) = 8*q - 13. Is 13 a factor of u(7)?
False
Suppose 29 - 9 = 5*j. Suppose 6*d - 12 = 2*u + 2*d, j*d - 30 = 5*u. Is (u/3 - -2) + 48 a multiple of 16?
True
Suppose -6*z + 27 + 33 = 0. Does 7 divide z?
False
Does 5 divide ((-120)/(-36))/(2/21)?
True
Suppose 5*f - 33 = -8. Suppose -58 = -6*h + f*h. Does 12 divide h?
False
Let m be 15/(-9)*12/2. Let g be (-6 - 2)*m/4. Does 15 divide (-18)/(-2)*g/6?
True
Suppose -4*q = -2*h - 29 - 7, 5*q - h = 51. Let j = q - 0. Is j a multiple of 11?
True
Suppose 0*k + 92 = 2*k. Suppose -4*f + 83 = 5*s - 25, 3*f - 5*s = k. Is f a multiple of 11?
True
Let n = -38 - -55. Does 17 divide n?
True
Is 15 a factor of (0 + 0 + -21)*46/(-6)?
False
Suppose 5*h - 15 = -5*x, -6*x + 2*h = -4*x - 2. Suppose -2*g + 6*g - 2*j - 116 = 0, 62 = 2*g - x*j. Does 16 divide g?
False
Suppose 0 = -x + 9. Is 6/x - (-260)/15 a multiple of 18?
True
Suppose -3*i - i = -216. Let j be i/8 - (-2)/8. Suppose 0 = -4*o + 13 + j. Does 5 divide o?
True
Let i(y) = 29*y**3 - y + 2. Is i(1) a multiple of 15?
True
Let k(d) = -d**2 - 9*d + 3. Let g(u) = -2*u + 6. Let c be g(7). Is 4 a factor of k(c)?
False
Suppose 0 = -2*c + 5*r + 4, -r + 2 + 0 = 0. Does 2 divide c?
False
Let p(j) = 7*j + 1. Let a(b) = 4*b. Let v(k) = 5*a(k) - 3*p(k). Let x be v(-6). Suppose -f - y = -16, f + 5 = x*y + 1. Is f a multiple of 5?
False
Suppose o - 4*o + 2*j = -15, -5*o - 3*j + 44 = 0. Suppose -139 = -3*c + 2*y, 5*y + 2 = o. Is 12 a factor of c?
False
Let m(g) = g + 24. Let f = -6 - -10. Suppose 0*l = -f*l. Is 16 a factor of m(l)?
False
Suppose 8*q = 3*q + 30. Suppose -2*x - 3 = -5*y + 17, -28 = -4*y + 4*x. Suppose -m + y = -q. Does 4 divide m?
True
Suppose 0*x - 2*x = -312. Does 23 divide 4/3*x/8?
False
Suppose 3 = -2*f + 83. Suppose -f + 13 = -y. Is 5 a factor of y?
False
Suppose 0*g = -2*g + 62. Does 9 divide g?
False
Suppose -4*h + 42 = -5*f + 2, -4*h + 64 = f. Let y be (24/10)/(3/h). Suppose y = -2*l + 4, -22 = -i + 3*l. Is i a multiple of 8?
False
Let t be 3*(2 + 15/(-9)). Is 7 a factor of (3 - t)*(-11)/(-2)?
False
Suppose b - 80 = 3*z - z, 0 = z + 4. Is 36 a factor of b?
True
Let b = -3 - -6. Does 8 divide (6/b - -13) + 3?
False
Suppose 5*v = -0*v. Suppose v*a - a = -12. Is 6 a factor of a?
True
Let l = 40 + -29. Is l a multiple of 7?
False
Let q(u) = 8*u**2 + 4. Let s be (3 - 5)/(3/(-3)). Does 14 divide q(s)?
False
Let y(j) = 10*j + 2. Let x be y(5). Let i be (-2 + x)*(-20)/(-8). Suppose 9*k - 4*k + 3*d - 120 = 0, -5*k - 4*d + i = 0. Is 21 a factor of k?
True
Suppose 7*r - 15 = 6*r. Is r a multiple of 3?
True
Suppose 5*z + 20 = -5*s, 2*s = 4*z + 5*s + 20. Let d = -8 - z. Suppose 48 + d = o. Does 16 divide o?
True
Suppose -y + 24 = 3*g, -3*g + 72 = 5*y - 0*g. Let n = 22 - y. Is 10 a factor of n?
True
Let o = -8 + 14. Suppose 3*v - o*v = -183. Suppose v = 5*p - 19. Is 10 a factor of p?
False
Suppose 520 = -6*g + 8*g. Is 18 a factor of g?
False
Is 22 a factor of (-1 - -1) + (-1 - -55)?
False
Suppose 3*l + 15*l - 1728 = 0. Is l a multiple of 12?
True
Let q = 169 + -98. Is q a multiple of 19?
False
Suppose 3*q + 5*k = -2*q + 280, 2*k = -5*q + 280. Suppose 20 = -2*v + q. Does 6 divide v?
True
Let j(y) = y + 6. Let w be j(-9). Let a(t) = -2*t**3 - 3*t**2 + 3. Is 8 a factor of a(w)?
False
Suppose -20 = 5*f - 4*f - 5*k, -3*f - 8 = -2*k. Suppose 5*i + 2*v - 294 = f, v + 66 - 303 = -4*i. Is 21 a factor of i?
False
Let b(s) = 0*s - 4*s + 3*s. Let o(y) = -4. Let u(z) = 4*b(z) + o(z). Is u(-3) a multiple of 7?
False
Let b(v) = v**3 + v + 2. Suppose -2*y + 3*y - 2 = 0. Is 6 a factor of b(y)?
True
Let l = 55 - 25. Is 15 a factor of l?
True
Let l be 5/(15/6) + -1. Let m be -2 + (56 - (l - 3)). Suppose q + 3*k - 42 = 0, 4*q - m = -2*k + 72. Is 10 a factor of q?
True
Let i be (-14)/18 - (-2)/(-9). Let d(h) = 28*h**2 + h + 1. Is 7 a factor of d(i)?
True
Let l = -8 - -13. Suppose l*i - 45 = b - 3*b, -b - 4*i = -24. Does 11 divide b?
False
Suppose d + 160 = -3*d. Does 2 divide (-4)/(-14) + d/(-7)?
True
Suppose 0 = -2*p - 5*s - 2, 0 = -2*p - 2*s - 6 - 2. Let v(x) = -8*x - x**2 + 4 + 0 + x. Is 7 a factor of v(p)?
False
Suppose 8*c - 2983 = -127. Is c a multiple of 51?
True
Suppose 2*g = -2*g. Suppose g = -d + 2*h + 21, 2*h - 117 = -4*d - d. Is 8 a factor of d?
False
Let v(i) = -2*i + 1. Let w be v(-3). Suppose -3*g - w + 1 = -a, a - 2 = -g. Is (1/(-2))/(a/(-24)) a multiple of 4?
True
Does 8 divide 258/4 - ((-5)/(-2) + -2)?
True
Let u(z) = -z**3 + 7*z**2 + 5*z + 7. Let x(n) = -n**2. Let k(r) = -u(r) - 4*x(r). Is k(5) a multiple of 11?
False
Let o be 8 + (-5)/(15/9). Suppose -h = 2*h + 2*t - 40, -h + 22 = o*t. Is 4 a factor of h?
True
Suppose 0 = 8*p + 1548 - 4908. Is p a multiple of 60?
True
Does 12 divide (33*2 - 1) + -3?
False
Suppose 0 = 5*f - 17 + 42, d = -4*f - 23. Let r(z) = 2*z**2 + z - 2. Let g be r(-2). Does 16 divide (-49)/d + g/6?
False
Is 25 a factor of (2/6)/(4/900)?
True
Suppose -2*p + 3*p + 23 = 0. Let r = p + 33. Is 10 a factor of r?
True
Let f = -8 + 23. Is 5 a factor of f?
True
Let d be (-168)/(-20) - 4/10. Suppose 0 = -4*i - d + 36. Does 3 divide i?
False
Let c(s) = -s**2 - 6*s + 6. Let j be c(-6). Let r be (j/4)/(3/4). Suppose -4*n + 50 = r*k + 14, -n = -2*k + 61. Is 14 a factor of k?
True
Suppose -5*h - 4*j - j = -30, -j + 16 = 3*h. Suppose 42 = h*x + 7. Is 7 a factor of x?
True
Suppose -10*n + 8 = -6*n. Suppose n*q + 19 = 3*c - 18, 5*c - q = 64. Is c a multiple of 13?
True
Let r be 6/10 + 24/10. Suppose r*d - 29 = -5. Is 5 a factor of d?
False
Let h(r) = r**2 + 7*r. Let n be h(-8). Suppose l + 3*l = 2*w - n, -w - l = 2. Suppose -5*g + 13 + 22 = w. Is g a multiple of 2?
False
Suppose 5*p - 238 = 102. Suppose 0*n - 2*f = -3*n + p, f = 3*n - 64. Does 10 divide n?
True
Suppose 4*g + 5*v - 83 = 0, 3*v = 3*g - 0*g - 42. Suppose 28 = 3*c - g. Is 10 a factor of c?
False
Let l(y) = y - 4. Let o be l(6). Suppose 13 + 9 = o*n. Is 10 a factor of n?
False
Let q(g) = -9*g**2 + 2*g + 1. Let m be q(-1). Let k = m + 15. Is 3 a factor of k?
False
Let g be 2/(-4)*(3 - 1). Let j = g + 1. Let i = 14 + j. Does 8 divide i?
False
Suppose 8*z = 7*z + 25. Is z a multiple of 5?
True
Let v = -14 + 13. Let j(n) = 13*n**2 + n + 1. Is j(v) a multiple of 13?
True
Let h(a) be the third derivative of 2/3*a**3 + 1/120*a**6 + 1/8*a**4 + 3*a**2 - 1/15*a**5 + 0 + 0*a. Does 8 divide h(4)?
True
Suppose 4*m = 4*g - 252, 4*g + 12*m - 14*m - 248 = 0. Is 10 a factor of g?
False
Suppose 0 = 5*v - 3*f - 13, -7*f = -4*v - 2*f. Let y(d) 