 1200 = 0. Suppose -4*b = -1967 + s. Suppose -2*f = 5*q - 367, 5*q - 2*f - b - 41 = 0. Does 22 divide q?
False
Let l = 27 - 21. Let r = 46 - l. Is 7 a factor of r?
False
Is (13050/(-4))/(-3) - (-15)/30 a multiple of 64?
True
Does 14 divide (-14 + 13)/(2/(-764))?
False
Let h(b) = -3*b**2 + 98*b + 10. Is 10 a factor of h(26)?
True
Suppose 0 = o + 2 - 5, -161 = -4*s + o. Suppose 3*r - 48 = 3*a, 2*r - a - s = -10. Is r a multiple of 15?
True
Let z = -767 + 795. Let j = 3 - -4. Is 32 a factor of 12/z + 326/j?
False
Let f be 4 - (9 - 2) - -53. Let g = f + -24. Does 26 divide g?
True
Let p(a) = 6*a**2 - 13*a + 5. Is 19 a factor of p(10)?
True
Let t(n) = 43 - 5*n + 11*n + 0*n + 2*n. Is t(16) a multiple of 8?
False
Is 40/2 + (1 + -4 - 1) a multiple of 7?
False
Is 0 + 475 + (7 - 11) a multiple of 9?
False
Let p(w) = 53*w**3 + 2*w**2 + 10*w - 20. Does 27 divide p(2)?
True
Suppose 5*q = -63 - 7. Let z = q - -40. Suppose -2*b + 0*b + z = 0. Does 8 divide b?
False
Let v(r) = r**3 - 3*r**2 - 4*r - 2. Let t be v(5). Suppose 4*n = -2*k - 0*k + 36, -t = -2*n + 4*k. Suppose -b + n = -13. Is b a multiple of 23?
True
Let y = -2 + 5. Suppose z + 1 = -y*h, h - 1 = z - 4. Suppose 3*m = -z*i + 101, 4*i - 2*m = m + 229. Is i a multiple of 17?
False
Let t = 64 - 59. Suppose -7 = 2*m - m + 5*x, 0 = t*m + 2*x - 80. Is m a multiple of 5?
False
Let l(c) = -c**3 - 4*c**2 + 4*c + 2. Let w be l(-4). Let u be -7*(4 + 76/w). Let y = 31 - u. Is 15 a factor of y?
False
Let p(a) = 35*a - 1. Let g be p(3). Let q = g - 94. Does 7 divide q?
False
Let q = 85 + -70. Suppose q*p = 10*p + 965. Is p a multiple of 15?
False
Let c = -3 - 32. Is 16 a factor of 5/c - (-1360)/14?
False
Suppose i + 3*k = 71, 5*i - 317 = 7*k - 3*k. Let q = 144 - i. Let f = q - 45. Is f a multiple of 17?
True
Let c(x) = x**3 + 3*x**2 - 42. Is c(12) a multiple of 18?
False
Let i(u) = -798*u**3 - u**2 - 3*u - 2. Let t be i(-1). Suppose -3*q = 11*q - t. Is 11 a factor of q?
False
Suppose 4*w + 8 = 16. Suppose o - 2*o = -q - 42, -5*o = -w*q - 198. Let d = o - 30. Is 4 a factor of d?
True
Let w be (-5523)/(-12) + (-2)/8. Does 3 divide w/50 + 2/(-10)?
True
Let n(q) be the second derivative of q**5/10 - q**4/2 + q**3/6 - 3*q**2 + 11*q. Is 27 a factor of n(5)?
False
Let b = 10 + -3. Suppose -10 = 2*d, 0 = g - 0*d - d - b. Is 7 a factor of (54*g/4)/1?
False
Suppose -455 = 6*p - p. Let r = 221 + p. Is 54 a factor of r?
False
Let s(f) = -f**3 + 15*f**2 + 29*f - 12. Does 79 divide s(16)?
False
Is 5 a factor of 4 - 37155/(-45) - (-2)/6?
True
Suppose -4*b - 5*f + 294 = -1125, 4*f = -20. Is b a multiple of 30?
False
Suppose -2*y + 533 = 5*u, -2*y - 6*u = -3*u - 531. Does 44 divide y?
True
Let o = 1366 - -449. Is 33 a factor of o?
True
Suppose 2*r - 94 = 8*g - 7*g, -128 = -3*r - 5*g. Does 46 divide r?
True
Let j(g) = g - 1. Let u be j(6). Suppose -u = 4*b - 1. Is (0 - (-3 - b)) + 8 even?
True
Suppose -k = -2*k + 16. Let t be (-161)/4 + 4/k. Let y = 2 - t. Does 12 divide y?
False
Let n(c) = -2*c + 14. Let m be n(6). Suppose m*g = 7*g - 505. Does 12 divide g?
False
Let p be ((-3666)/(-188))/((-6)/(-16)). Let g = -41 - -13. Let v = g + p. Is 5 a factor of v?
False
Suppose -53 - 479 = -2*d. Suppose 3*b - d = 4*n - 0*n, 0 = -4*b - 3*n + 363. Is b a multiple of 30?
True
Suppose -5*k + 458 = -4*v, 15*k - 452 = 10*k + v. Is 45 a factor of k?
True
Let m = 320 - -240. Suppose -m = -6*u + 40. Is 25 a factor of u?
True
Let l be -13*4/((-16)/4). Let h = l - 9. Suppose 2*c + 2 = 4*c, 0 = h*v + 4*c - 72. Is 8 a factor of v?
False
Let a = 563 - 419. Is a a multiple of 48?
True
Let q = -23 - -59. Suppose 0*o + 2*o - q = 0. Suppose -3*l + o = -2*l. Does 18 divide l?
True
Let f(z) = -83*z**3 + z**2 - 3*z - 9. Does 95 divide f(-2)?
True
Let g be (-7)/(14/(-12)) + -3. Suppose -a + 2 = g. Let d(c) = 19*c**2 - 1. Is d(a) a multiple of 18?
True
Let n(t) = 6*t + 1110. Does 42 divide n(0)?
False
Suppose 2600*j - 5265 = 2595*j. Is j a multiple of 81?
True
Let c(g) = -4*g**3 - g. Let v be 10/(-8) - (-11)/44. Let n be c(v). Suppose 3*r = -4*x + 18, -n*r - 13 + 3 = 0. Is 6 a factor of x?
True
Let u = -1123 - -1912. Does 24 divide u?
False
Let i(q) = 3*q - 20. Let u be i(7). Let l(z) = 35*z + 3. Does 38 divide l(u)?
True
Suppose -2*a - 276 = -2272. Is 12 a factor of a?
False
Suppose 5*f - 11 = 39. Does 18 divide (f - -2)/3*9?
True
Suppose -16616 = -4*z + h, -2*z = h - 6*h - 8308. Is z/14 - 30/(-105) a multiple of 13?
False
Suppose -21028 = -48*t + 15260. Does 9 divide t?
True
Is (-24)/32 + (-4 - (-5244)/16) a multiple of 51?
False
Let b = -149 - -303. Is b a multiple of 7?
True
Suppose -5*k = 15, 3*d - 2*k = -5*k + 915. Does 11 divide d?
True
Let o be (-136)/(-10) + (-4)/(-10). Suppose 38 = o*q - 13*q. Let s = q + -17. Is 7 a factor of s?
True
Let n(m) = -m**3 - 7*m**2 - 23*m - 2. Let y be n(-5). Suppose -2*z + 122 + 214 = 0. Suppose d = 3*a + y, 0 = 3*d - 0*a - 2*a - z. Does 17 divide d?
False
Let y(v) = -v**3 - 12*v**2 - v - 12. Let q be y(-12). Suppose q = i - 227 + 82. Is i a multiple of 6?
False
Let m(n) = -5*n**2 + 4*n**2 + 0*n + 2*n + n**3 - 3 + 4*n**2. Let g be m(-3). Let w = 14 + g. Is w a multiple of 2?
False
Suppose 59*x = 56*x + 525. Is 25 a factor of x?
True
Let d(v) = 29*v**2 - 12*v - 22. Is 85 a factor of d(7)?
False
Let u(f) = 10*f - 3. Let k be u(3). Let c(y) = -12*y + 147. Let q be c(6). Suppose d = q - k. Is d a multiple of 10?
False
Let m(l) = 8*l**3 + l - 16*l**3 + 7*l**3 + 18*l**2 + 16. Does 11 divide m(18)?
False
Let a be 19*1 - 2/2. Let x = -712 - -709. Let o = a + x. Is o a multiple of 11?
False
Let a = 40 - 5. Suppose 45 + a = 4*c. Suppose 2*t - c = -5*d, 3*t + 2 = -2*d + 21. Is 3 a factor of t?
False
Suppose 5*g - f + 32 = 0, 5*f - 6 - 22 = 3*g. Let a be -1 + -1 + 2 - 12. Is (-4)/g + (-364)/a a multiple of 8?
False
Suppose -2*u + 0*u + 4 = 0. Let t = u + 3. Suppose p - t*i - 5 = -2*i, -5*p + 76 = 2*i. Does 11 divide p?
False
Let a(o) = -414*o + 227. Is 26 a factor of a(-5)?
False
Suppose -4*k - 52 - 208 = -4*y, -2*k - 110 = 2*y. Let p = k + 115. Is 11 a factor of p?
True
Let b be (11/(385/(-60)))/(5/105). Let r be (-4 + -1)*12/(-10). Let w = r - b. Is 21 a factor of w?
True
Is 7 a factor of 4/(-3) + 12654/54?
False
Is 10 a factor of 3/6*2 - -1091?
False
Suppose 0*t = -a - 2*t - 2, 12 = -4*t. Let s be -1*4*(-21)/12. Suppose 0 = a*y - s*y + 33. Is y a multiple of 11?
True
Let w(a) = 13*a**3 - 34*a**2 + 21*a. Let s(i) = 4*i**3 - 11*i**2 + 7*i. Let z(u) = 7*s(u) - 2*w(u). Is z(6) a multiple of 44?
False
Suppose 3*b - 21 = -6*v + 3*v, -3*b + 3*v = 9. Suppose 2*r = -0*l - 4*l + 364, -b*l = 0. Is 14 a factor of r?
True
Suppose -4*q - 4392 + 5740 = 0. Is q a multiple of 18?
False
Suppose 3*a + 2694 = 5*z - 8977, 5*z = -3*a + 11689. Is 15 a factor of z?
False
Let r(j) be the third derivative of -71*j**6/120 + j**5/30 + j**4/8 + j**3/3 + 40*j**2. Does 18 divide r(-1)?
True
Let d(t) = t + 8. Let g be d(-5). Let m(q) = 21*q + 1. Let c be m(g). Suppose 0*a - 2*a + c = 0. Is 8 a factor of a?
True
Let u = -53 + 40. Let l = u - -63. Is l a multiple of 8?
False
Let g = 47 - 40. Let u = g - -19. Is u a multiple of 13?
True
Let u be (-1)/(-3) - 640/(-15). Suppose -19 + u = 4*z. Does 3 divide z?
True
Suppose -2*d = -3 - 1. Suppose d*b - 5*a = 8, b + 0*a - 13 = -2*a. Suppose -8*c = -b*c + 24. Does 8 divide c?
True
Let n = -246 - -302. Is n a multiple of 11?
False
Let w = 0 + 3. Suppose -2*r + 9 = -6*r - 3*m, 0 = -5*r + 5*m - 55. Is 5 a factor of -1 + r + w + 13?
False
Let c = -109 - -107. Is 16 a factor of (-1*15/(-9))/(c/(-126))?
False
Let d = -560 + 885. Let m = d - 201. Does 31 divide m?
True
Does 39 divide (10 - 10170/(-20)) + 1/2?
False
Let f be ((-26)/(-39))/((-2)/(-114)). Let t = 24 - f. Let b = 98 - t. Does 24 divide b?
False
Let l(s) = -4*s - 11. Let z(u) = 11*u + 34. Let k(b) = 7*l(b) + 2*z(b). Suppose t + 8 = m, 3*m + 14 = -3*t + 2. Is k(t) a multiple of 7?
False
Let t(y) = y + 9. Let z be t(-7). Suppose 0 = -c - 2*b - 71, z*c + 78 = b - 59. Let k = c + 97. Is 14 a factor of k?
True
Suppose 369 = 7*l - 6*l. Suppose l = -6*j + 15*j. Is 13 a factor of j?
False
Let f = 4589 - 3161. Is 28 a factor of f?
True
Let w = 40 + -35. Suppose -260 = -4*v + p + 3*p, -3*v - w*p + 171 = 0. Is 31 a factor of v?
True
Let z(u) = -4*u**2 - 3 + 2*u**2 + u**2 