ltiple of 18?
False
Let h(b) = -b**2. Let i(x) = -4*x**2 + x - 3. Let a(o) = -2*h(o) - i(o). Suppose 15 = 5*f - l, 3*f + 4*l + l - 9 = 0. Is 27 a factor of a(f)?
True
Let y = -653 + 1214. Does 15 divide y?
False
Let j = -155 - -164. Let h(n) = -29*n. Let x be h(-2). Let q = j + x. Does 21 divide q?
False
Let h be 0 - (-3 + 1 + -2). Suppose d = h*d - 180. Is d a multiple of 20?
True
Let z(x) = 1 + 4 + 0*x**2 + x**2 + 4 - 3*x. Is 11 a factor of z(-5)?
False
Let w = 11 - 7. Suppose 0 = 4*p + 3*t - 33 - 27, -w*p - 4*t = -56. Does 9 divide p?
True
Suppose 5 = -t + 1, 3*k - 79 = -5*t. Suppose i - k - 75 = 0. Let m = i + -56. Does 23 divide m?
False
Let s = -87 + 123. Let h = 3 + s. Does 4 divide h?
False
Let a(m) = 7*m**3 - 4*m**2 - 6*m + 23. Let b(z) = -27 + 9*z - 8 + 15*z**2 - 9*z**2 - 11*z**3. Let y(h) = -8*a(h) - 5*b(h). Is y(-4) a multiple of 19?
False
Suppose -31*j + 66*j = 40250. Is j a multiple of 25?
True
Let d be 63/(-42)*1*-2498. Does 27 divide d/18 - (-2)/(-12)?
False
Suppose 8*x + 28 = 10*x. Is 4 a factor of x?
False
Suppose 0 = -484*s + 508*s - 49920. Does 32 divide s?
True
Suppose 7*w = 25 + 143. Let b = 1 + w. Does 16 divide b?
False
Let l(y) = 11*y**2 + 2*y - 6. Is 3 a factor of l(2)?
True
Suppose 5*a + v + v = 11, 0 = a + 3*v - 10. Let f(m) = 14*m + 1. Let l be f(a). Suppose i = 2*j - 35, 2*j - 3*i - 18 = l. Is j a multiple of 18?
True
Does 9 divide 3161 - 1/3*33?
True
Let b = -88 + 133. Suppose -4*v - v + k + b = 0, -v + 25 = 3*k. Let m = 18 + v. Is 28 a factor of m?
True
Suppose 12 = -3*n + 6*n. Let i(c) = c**3 - 5*c**2 - 5*c. Let g be i(n). Let l = -4 - g. Does 16 divide l?
True
Let i(r) = 2*r**2 + 8*r - 25. Suppose 5*z = j - 1, j = -4*z + 3*z + 7. Does 15 divide i(j)?
False
Let m = 503 - 222. Does 32 divide m?
False
Let g(a) = 2*a**2 + 4*a - 4. Let y be g(-3). Suppose 2*i = -z + 8, 5 + 3 = 3*z + y*i. Suppose 2*q = -3*v + 123, 2*q - 3*v + 32 - 125 = z. Does 27 divide q?
True
Let g = 976 + 57. Does 63 divide g?
False
Let a = 20 - -21. Suppose -a*u - 1365 = -46*u. Does 39 divide u?
True
Let h(v) = 3*v**3 - 2*v + 5*v - 11 + 4*v + 2*v - 7*v**2. Let z(s) = -4*s**3 + 7*s**2 - 9*s + 12. Let i(m) = 3*h(m) + 2*z(m). Is i(6) a multiple of 2?
False
Let d(k) = 13*k**2 - 4*k - 7. Suppose -5*w - 1 = 3*f, 5 = -4*f - w + 15. Does 8 divide d(f)?
False
Does 22 divide (192/240)/(2/3245)?
True
Suppose -148*v + 3510 = -130*v. Does 15 divide v?
True
Suppose -12*z + l = -7*z - 42, 4*z = 5*l + 42. Suppose 480 = -z*n + 1768. Is 7 a factor of n?
True
Suppose -5*g + 107 + 83 = 0. Suppose -2*m = m + i - g, -16 = -m - 2*i. Is 4 a factor of m?
True
Suppose -2*j = -3*u - 143 - 155, -162 = -j - 5*u. Suppose v = -3*l + 76 + j, 4*l + 2*v = 302. Is 7 a factor of l?
True
Let f = 148 - 98. Suppose 5*g + 3*b = -f, -20 = -2*g + 4*g + b. Let i(v) = 2*v**2 + 15*v + 10. Is 10 a factor of i(g)?
True
Let q be (-8)/((-4)/38 - 0). Let v = 17 - -3. Suppose 4*y + v + 70 = 5*n, -4*n + q = -4*y. Is n a multiple of 14?
True
Let u(g) = g**2 - g - 6. Let k be u(-9). Suppose -156 = -3*w + k. Is 20 a factor of w?
True
Suppose 0*c = c - 1. Suppose -c = -u + 33. Is u a multiple of 11?
False
Let n be (-4)/5*10/(-4). Suppose -10 = 2*h - 3*d - 51, -d = n*h - 53. Suppose -169 + h = -3*y. Is y a multiple of 25?
False
Let f(g) = 2*g + 8. Let a be f(-10). Let w be (2 + -1)/((-4)/a). Suppose -q = -w*d + 16, 0 = 5*q - 10*q - 5. Is d a multiple of 5?
True
Let u = 27 + -24. Is 17 a factor of (4/14)/(u/609)?
False
Suppose -185 + 75 = -3*x - 2*k, -x = -k - 30. Let u = 51 - x. Does 5 divide u?
False
Suppose 9*z + 3*b + 6671 = 13*z, 2*z - 3303 = -5*b. Does 24 divide z?
False
Let u be (-21)/(-14) - (-5)/2. Suppose -u*z + 300 = -540. Does 15 divide z?
True
Let g be (68/6)/(10/(-180)). Let s = -116 - g. Does 8 divide s?
True
Let u(f) = 8*f + 30. Let d be u(8). Let b = d - -7. Is 31 a factor of b?
False
Suppose 2*u + 4*v - 1472 = 2*v, 2*u - 4*v = 1466. Is u a multiple of 105?
True
Suppose 0 = -2*u + 5*b + 16, -5*u - b + 5*b = -40. Let y = u - -63. Does 14 divide y?
False
Let p(o) = -o**2 + 7*o - 5. Let z be p(2). Let k be (-2)/z*(64 - -1). Let x = k - -59. Is x a multiple of 11?
True
Is ((6/4)/(-3))/((-13)/5798) a multiple of 13?
False
Let h = -38 - -1960. Is 31 a factor of h?
True
Let b(q) = 11*q**2 + 5*q - 14. Let u be b(4). Suppose -k = -w + u, 732 = 4*w + k - 6*k. Is w a multiple of 9?
False
Let c(w) = w**3 + 6*w**2 + 4*w + 6. Let x be c(-5). Suppose 2*y + v - 223 = -x, 5*y = v + 530. Suppose 6 = 3*j, 5*z = -2*j + y + 13. Is 7 a factor of z?
False
Let y be (-22 - 6)*(-2)/4. Let j(t) = 0 + 5*t - 3*t - 7. Is j(y) a multiple of 7?
True
Suppose 8*k - 7*k = 3. Suppose p - 3 = 5*p - k*d, -2*p - d = -1. Suppose 3*g - 20 - 22 = p. Is g a multiple of 7?
True
Suppose 0*g - 3*g - 9 = 0. Let j be 14 + (g - (-2 - 2)). Let r = j - 8. Is 2 a factor of r?
False
Let a(m) = -m**2 + 20*m - 18. Is a(17) a multiple of 8?
False
Let j(v) = 2*v - 16. Let a be j(8). Suppose a = 5*p - 7*p + 316. Suppose 5*t = 10, -2*z + 0*z + p = 5*t. Does 14 divide z?
False
Is 0/(-21) - (-2 - 526) a multiple of 10?
False
Let o(n) = -2*n**2 + 5*n - 3. Let j be o(3). Let x = j - -11. Suppose -k = 5*b - 288, -3*k = x*b - 327 + 33. Does 19 divide b?
True
Let t(u) = 6*u**2 - 8*u - 1. Let s(m) = -5*m**2 + 7*m + 2. Let v(a) = -5*s(a) - 4*t(a). Let l be v(4). Is l/(4/(-47))*2 a multiple of 13?
False
Suppose -38 = 11*z - 5. Does 8 divide -2 + 40 - z - 1?
True
Suppose i + 2135 = 5*w, -5*i - 961 = -2*w - 107. Does 17 divide w?
False
Let g = 58 - 54. Suppose -g*j + 5*q = q - 272, j = -5*q + 50. Does 13 divide j?
True
Let d(y) = -y**2 + 48*y + 88. Does 17 divide d(35)?
False
Let l(a) = 12*a**2 + 25*a - 112. Is l(7) a multiple of 13?
False
Suppose 0 = 2*a - 0*v - 3*v - 15, 3*v - 6 = -5*a. Suppose -5*t - 383 = -a*x, -x + 4*t = -2*x + 156. Is 34 a factor of x?
True
Suppose 11*a = 13*a + 6. Let i(c) = 16*c**2 - 8. Is i(a) a multiple of 31?
False
Let g(u) = -u**3 - 6*u**2 - 13*u - 7. Let b = 28 - 33. Is g(b) a multiple of 33?
True
Let g = 1 - -17. Let l be (1/3)/((-2)/g). Let x(h) = -h**2 - 4*h + 3. Is x(l) a multiple of 6?
True
Let k be 0*(-2 - (-10)/6). Let b be 3 - 6 - (k - 3). Suppose -162 = -3*r - 2*r + s, -5*r - 3*s + 154 = b. Is r a multiple of 14?
False
Suppose -5*o + 200 = -0*o. Is o a multiple of 3?
False
Is 3108/63*372/8 a multiple of 9?
False
Let g = -6 + 11. Suppose -g*c - 56 = 9. Let a = c - -28. Is a a multiple of 4?
False
Let c be (7*2*(-1)/(-2))/1. Is 29 a factor of (146 - 1) + 49/c + -7?
True
Let j(p) = -2*p**3 - 2*p**2 + p. Let i be j(-2). Suppose 22 = 5*k - f - 23, -2*f = 2*k - i. Is 2 a factor of k?
True
Let f = 88 + 350. Is f a multiple of 22?
False
Suppose -11*w + 25*w - 23940 = 0. Is w a multiple of 30?
True
Let p(r) = r**2 - 5*r + 7. Let a be p(4). Let d(k) = 7*k**3 + 5*k**2 - 7*k. Is 51 a factor of d(a)?
False
Let x(c) = c + 9. Let l be x(-6). Let s(z) = -4*z**2 + 5*z**2 + 2 - z**l + 11*z + 7*z**2. Does 10 divide s(9)?
True
Let b(o) = o**3 + o**2 - o + 3. Let n be b(-2). Let f be n/(-2)*6 - 3. Is 10 a factor of f/21 - 456/(-28)?
False
Let a(f) = -4*f + 15. Let g be a(-6). Suppose -g*r + 37*r + 228 = 0. Is 38 a factor of r?
True
Suppose -640 - 6213 = -11*n. Is n a multiple of 20?
False
Let s(m) = m + 11. Let z be s(20). Suppose 47 = 2*f + i, -f - 2*i + z = i. Is f a multiple of 4?
False
Suppose -33 = -6*t + 111. Is 6 a factor of t?
True
Suppose 5*o - 278 = 922. Is o a multiple of 10?
True
Let p be (-8)/6*63/(-6). Let n(o) = 2*o**3 + 4*o**2 - 4*o + 1. Let y be n(1). Let w = p - y. Does 6 divide w?
False
Suppose -2*k + 4 = -2*g, -2*g + 7*g + 5*k = 0. Is 21 - 0 - (g - -4) a multiple of 9?
True
Suppose -5*q - 20 = 2*t - 6, t + 9 = -3*q. Suppose -t*p + 335 = 5*i, 4*p - 500 = 4*i - 0*i. Is p a multiple of 40?
True
Suppose 28 = 5*a + 2*d, -11 = -4*a + d + 1. Suppose 4*u = -4*x + 3 + 5, -a*x = -2*u + 16. Suppose u - 124 = -3*c. Is c a multiple of 17?
False
Is 14 a factor of (-7)/(-28) - (0 - 215/4)?
False
Let u = 1998 + -1133. Is 10 a factor of u?
False
Is 6*((-1444)/(-12) - (-1)/6) a multiple of 4?
False
Let c(j) = -4*j**3 + j**2. Let i be c(-1). Suppose i - 1 = -2*r. Is (r - (-3)/9)*-3 a multiple of 5?
True
Let w(y) be the third derivative of y**6/120 + y**5/60 + y**4/12 - 2*y**3/3 + 4*y**2. Does 6 divide w(2)?
True
Suppose 5*y + 5*t 