 - 3*l. Suppose 93 = 6*y - 99. Let p = y - d. Does 3 divide p?
True
Suppose 5*n = -4*h + 199, 2*h = -n + h + 40. Is 11 a factor of n?
False
Let t = -3 - -228. Does 15 divide t?
True
Let f be (-1 + 0)*16/(-2). Suppose u = 4*o - 2, 8*u + f = o + 4*u. Suppose o = -2*g - 0 + 170. Does 17 divide g?
True
Let k = -23 + 13. Let d(t) = -t - 28. Let r be d(0). Let f = k - r. Is f a multiple of 4?
False
Suppose -2*z = -h + 8, 10 + 10 = -5*z. Let v be 1 - h - (-2 + 5). Does 2 divide 0 - (-15)/(-6)*v?
False
Let f(w) = 3*w - 12. Let s be f(9). Suppose 0 = -i - 4*g + s, 4*g + 5 = -3. Does 5 divide i?
False
Let w = 614 + -98. Is w a multiple of 33?
False
Suppose 260 = -61*t + 66*t. Is 8 a factor of t?
False
Let q be ((-8)/22)/2 - (-195840)/220. Suppose 5*m = 0, q = 3*j - 4*m + 185. Does 47 divide j?
True
Let s = -251 - -411. Suppose -40 + s = 5*x. Is x a multiple of 8?
True
Let a(r) = -r**2 + 5*r + 1. Let w be a(4). Let q be (-75)/(-12) - (-6)/(-24). Suppose -w*k + 3*k = 4*v - q, 4*k + v = 19. Is k a multiple of 5?
True
Suppose -2 + 11 = 3*a. Let q(t) = -9*t - 4. Let r be q(a). Let p = r + 40. Is p a multiple of 3?
True
Let y(n) = -61*n - 2. Let w be y(-7). Suppose -5*p = -0*p - 5*g - w, -4*g = -5*p + 425. Is 9 a factor of p?
False
Let t(r) = 2*r**3 - 29*r**2 - 14*r + 213. Is t(20) a multiple of 172?
False
Is (42/(-15) - -3) + 108/10 a multiple of 3?
False
Let w = -46 + 48. Suppose -a - 61 = -j, w*j - a = -2*j + 241. Does 13 divide j?
False
Let k(d) be the first derivative of -29*d**2/2 - 16*d + 24. Does 6 divide k(-2)?
True
Suppose 0 = 2*k - k + 13. Let y = k - -43. Is ((-12)/(-10))/(3/y) a multiple of 12?
True
Let r = -14 + 24. Suppose 0 = -3*i - 2*h + 8, -5*i - 5*h + r = -0*i. Suppose -55 = -i*u + 5*a, -u + 5*a + 26 = 1. Is u a multiple of 10?
True
Suppose -22 = -4*h + 4*k + 2, 2*h = -2*k - 4. Let m be (h/(-4))/((-7)/42). Suppose 3*s + 0 = 3, -36 = -3*w + m*s. Does 13 divide w?
True
Suppose -5*g + 2995 = 5*f, -f + 557 = 3*g - 1230. Does 66 divide g?
True
Suppose -4*l + 17*l = 0. Suppose 3*i - 916 = -l*i - 4*t, -i + 4*t = -284. Is i a multiple of 50?
True
Let v(j) = -54*j + 389. Is 7 a factor of v(-16)?
True
Let q be (-9)/6 - (-1011)/6. Let t = -80 + q. Is 29 a factor of t*(1 - (-1 + 1))?
True
Let y(j) = 3*j**3 - 66*j**2 + 16*j + 26. Does 6 divide y(22)?
True
Suppose -5*u = -7*w + 4*w - 218, -170 = -4*u - 2*w. Does 7 divide u?
False
Suppose -2135 = -4*r + 617. Is 43 a factor of r?
True
Let z(y) = -y**2 - 19*y + 3. Let k be z(-19). Suppose v = k*u + 51, 7*v - 3*u - 231 = 3*v. Is 6 a factor of v?
True
Let p = -84 + 81. Is 13 a factor of (p/(-2) - -3)*(-86)/(-3)?
False
Let x(g) be the third derivative of g**6/120 - 7*g**5/60 + g**4/4 - g**3/3 + 9*g**2. Let h be x(6). Does 3 divide 21/2 + 1/h?
False
Let b(k) = -8 + 9*k - 9*k**2 - k**3 + 0*k**3 - 4*k + 4*k. Let a be b(-10). Suppose 5*x - 4*l = 100, -130 = -5*x - 0*x - a*l. Is x a multiple of 6?
True
Suppose 0 = -14*o + 4*o - 150. Let w(q) = -q**3 - 15*q**2 - 2*q - 6. Is 7 a factor of w(o)?
False
Let p be (2 - 2)/((-2)/4*-4). Suppose p = 5*q - q - 16. Is q a multiple of 2?
True
Let w = -12 - -4. Let k(q) = -q**3 - 7*q**2 + 8*q + 2. Let o be k(w). Let m = o + 12. Does 10 divide m?
False
Is 32 a factor of (-97 + 1)*30/(-9)?
True
Suppose 5*c = -u + 56, 5*u + 10 - 190 = -5*c. Let v = u - 16. Is 5 a factor of v?
True
Let o = -17 + 9. Let x(k) = -k**2 - 12*k + 22. Is x(o) a multiple of 15?
False
Suppose -4*x + 327 = -3*l, -x + 540 = -5*l + 4*x. Suppose -111 = -d + 41. Let f = d + l. Does 12 divide f?
False
Let q(g) = -114*g + 19. Let r(f) = -19*f + 3. Let l(c) = 3*q(c) - 19*r(c). Is l(2) a multiple of 16?
False
Let h(a) = 12*a**2 + a - 2. Let b be h(-5). Suppose -b = -4*o + 323. Is o a multiple of 26?
False
Suppose 38 = 2*y + 10. Let g = 64 + -61. Suppose 4*h = -5*w + 255, -g*w - 157 - y = -3*h. Is h a multiple of 17?
False
Suppose 3*z - z + 2417 = 5*t, 5*t = -4*z + 2411. Is 69 a factor of t?
True
Is 39 a factor of 2719/5 - 4 - (-2)/10?
False
Let d(n) = 7*n**2 - 2*n + 7. Let k(a) = 15*a**2 - 5*a + 15. Let q(i) = -9*d(i) + 4*k(i). Let c be q(-4). Let w = 73 + c. Is 8 a factor of w?
False
Let g be (-15)/(-6)*(0 + 14). Suppose 2*v - 4*s = s + g, s = 4*v - 25. Suppose -25 = -4*z + 3*z + v*i, 0 = 3*z - 3*i - 63. Does 7 divide z?
False
Suppose -2*d = -11*d + 423. Does 16 divide d?
False
Let y(v) = 474*v**3 - v**2 + 2*v - 4. Does 11 divide y(1)?
False
Is 3/35*30*(-140)/(-2) a multiple of 12?
True
Let y(a) = -73*a**3 + 3*a + 2. Let z be y(-1). Suppose 6*h = h + 15. Suppose -s - z = -h*s. Is 19 a factor of s?
False
Let p(i) be the first derivative of 4*i**3/3 + i**2/2 - 3*i + 16. Suppose -2*s = -3*t - 15, s - 5*s + 15 = -t. Does 12 divide p(s)?
True
Suppose -4*p - 2*v - 38 = 0, -4*v - 6 - 22 = 4*p. Let f be (56/p)/(6/(-9)). Let d(k) = k**2 - 4*k - 7. Does 14 divide d(f)?
True
Suppose 3*m - 3 = 6, -4*m = -5*k + 2053. Is k a multiple of 15?
False
Let k = 270 + -120. Suppose -2*a - 3*t + 119 = 0, -2*a - a + 5*t + k = 0. Is 16 a factor of a?
False
Let y be (-18)/(-4)*12 - 4. Let b = y - 26. Is ((-3)/2)/((-2)/b) a multiple of 9?
True
Suppose 0 = 3*x - 5*w + 19 + 23, 3*w = 4*x + 67. Does 9 divide 66 + 0 - (-15 - x)?
False
Let n(z) = -32*z**2 + 3*z - 1. Let r be n(1). Let l = r + 38. Does 4 divide l?
True
Let y be (-50)/40*(-4 + 0). Let m(t) = -t + 5. Let r be m(y). Suppose r = -l + 23 + 13. Is l a multiple of 18?
True
Suppose 0 = 30*p - 4739 - 1291. Is 24 a factor of p?
False
Let q be (-18)/(-10) + (-5)/(-25). Let d(n) = -4 + 3*n + q - n. Is 9 a factor of d(10)?
True
Let l(d) = 9*d + 1. Let v be (6/(-10))/((-3)/(-45)). Let f = -1 - v. Is 16 a factor of l(f)?
False
Suppose -2*m + 14 = -5*k, -3*m + 2*k = -2*m - 6. Suppose 4*j + 12 = 0, -4 = -g + m*j + 5. Suppose -5*v - 5*z = -190, 49 = -4*v + g*z + 187. Is 18 a factor of v?
True
Suppose 0 = k + 6*k - 35. Suppose 0*l - k*p + 228 = 4*l, -5*l - p + 264 = 0. Does 20 divide l?
False
Is 15/(-60) - 3/(12/(-829)) a multiple of 9?
True
Let g(h) be the first derivative of h**4/4 - 4*h**3 + 17*h**2/2 - 7*h - 17. Is 24 a factor of g(11)?
False
Suppose 2*h = -4*i + 2396, 2*h = -2*i - 3*h + 1182. Is i a multiple of 10?
False
Suppose 2430 = 7*h + 2*h. Let j = -186 + h. Does 12 divide j?
True
Suppose -12794 + 2628 = -17*u. Is 25 a factor of u?
False
Let q = -236 + 1137. Does 53 divide q?
True
Suppose -13*b = -15*b. Is (b - 1/4)/(1/(-52)) even?
False
Let j(k) = -k**2 + 63*k + 134. Does 24 divide j(27)?
False
Let x(t) = -5*t + 2. Let u be x(-1). Suppose 0 = -0*g - u*g + 154. Is g a multiple of 7?
False
Let x be 1/(2 + 27/(-15)). Let c(h) = 4*h + 6 - h**3 + 5*h + 3248*h**2 - 3243*h**2. Is 17 a factor of c(x)?
True
Suppose -7 = -2*v - 3. Let f(l) = l - 28. Let g be f(31). Suppose g*a - 54 = -2*d, v*a = -2*a. Is 10 a factor of d?
False
Let c(g) = -g**2 - 11*g - 3. Let m be c(-9). Let i be 6/(-15) + 6/m. Suppose -h + 28 = -i*h. Is h a multiple of 14?
True
Let l be 7/2*(-340)/(-119). Let r(h) = 6*h - 34. Is r(l) a multiple of 24?
False
Let t = -607 - -80. Let y = -352 - t. Suppose m + 4*m - y = 0. Is 14 a factor of m?
False
Let v(t) = t**2 + 7*t + 4. Let n be v(-6). Let f = n - -4. Suppose -218 = -5*o - 2*w, -3*o - o = f*w - 176. Is o a multiple of 14?
True
Is ((-1120)/196)/(2/(-28)) a multiple of 2?
True
Suppose q + 4*q = 0. Suppose q = 5*o - 13 - 2. Is 11 a factor of 1*(-11*o)/(-1)?
True
Let v = -85 + 90. Suppose 0 = 2*f + v*f - 77. Is 8 a factor of f?
False
Suppose -6*w = -11*w + 130. Suppose -4*x + 3*x + 1 = 0. Let a = x + w. Is a a multiple of 16?
False
Let n be (-55)/(-15) + 4/3. Suppose 1177 = n*y - 58. Is 15 a factor of y?
False
Suppose t + 0*o - 74 = -o, 236 = 3*t - 4*o. Suppose -5*b = -2*v - 252, -4*v + 200 = 5*b - t. Let d = -25 + b. Is d a multiple of 6?
False
Let n be (-1)/(((-10)/(-6))/(-5)). Suppose 2*x = n*h - 204, 0*x = h + 2*x - 60. Suppose -h = -3*o - 0*o. Does 22 divide o?
True
Suppose -6*s = -22 - 32. Let r = -6 + s. Suppose -r*i + 6*i - 219 = 0. Is i a multiple of 24?
False
Let s(o) = -o**3 - 7*o**2 - 8*o + 6. Let g be s(-6). Does 35 divide 1894/18 - 4/g?
True
Suppose -11 = c + x, -46 = 6*c - 2*c + 5*x. Let t be (6/c)/((-6)/45). Suppose -16 = -t*j + 14. Is 6 a factor of j?
True
Let x be 1*(0 + 1 + 1). Suppose 6*j - 3*j = 4*f + 316, -4*j + 5*f = -422. Suppose -h + j = x*h. Does 18 d