 + 144. Let m be ((-14)/4)/((-1)/4). Suppose -n + p*h = 2, -3*n + m = -7*h + 2*h. Does 3 divide n?
False
Let x = -50 + 80. Suppose -3*t + 0*t + 3*g = -57, 5*t + 4*g - 140 = 0. Let i = x - t. Is 4 a factor of i?
False
Let f = 16 + -9. Suppose 116 = 3*t - f*t. Let p = t + 70. Does 7 divide p?
False
Is -2*9/(-24) + (-166221)/(-132) a multiple of 63?
True
Let n = 39 + -37. Is ((-20)/8)/(n/(-40)) a multiple of 18?
False
Let d(m) = -m**2 + 9*m + 11. Let w be d(8). Suppose 0 = -2*c + 3*z - 2, z = 4*c - w + 3. Let l = -1 + c. Is 4 a factor of l?
True
Suppose 13*z = 17*z + 24. Suppose 4*u - 7*u - 18 = 0. Is 24 a factor of ((-140)/u)/((-2)/z)?
False
Let i(u) = -2 + 2*u**2 - 1 - 9*u + 8. Suppose -6*f + 30 = -f. Is 14 a factor of i(f)?
False
Suppose 4*g = -395 + 407. Suppose -395 = -3*q - 5*h + 239, -g*q + 3*h + 594 = 0. Is q a multiple of 15?
False
Let j(f) be the third derivative of 0*f + 5/24*f**4 + 3*f**2 + 0 - 1/10*f**5 + 1/120*f**6 - 7/6*f**3. Is 11 a factor of j(6)?
False
Does 27 divide (-3678)/(-4) + 27/(-18)?
True
Suppose 0 = -16*r + 11*r + 65. Suppose -4*k + 143 = -r. Let d = k - 22. Does 12 divide d?
False
Let n(f) = 2022*f + 31. Let a be n(3). Does 14 divide (-4)/(-16) + a/28?
False
Let h = 3385 - 2382. Is 17 a factor of h?
True
Let o be (-11 + 18/3)*(-4)/(-5). Does 9 divide ((-215)/o - -1) + 12/(-16)?
True
Is 62 a factor of 22 - 17 - (-197 + -1)?
False
Let q(g) = 21*g**2 - 2*g - 27. Let m(b) = 10*b**2 - b - 13. Let h(a) = 7*m(a) - 3*q(a). Is 20 a factor of h(-4)?
False
Let k = -4012 + 7117. Is k a multiple of 21?
False
Let l(g) = -g**3 + 12*g**2 - 8*g + 13. Let x be l(9). Let k(b) = 6*b - 6. Let n be k(2). Does 15 divide x/n + 16/(-24)?
True
Is 38 a factor of (19*8/76)/(4/4166)?
False
Let w(i) = 5*i**2 + 27*i + 11. Suppose 10 + 20 = -5*v. Is 2 a factor of w(v)?
False
Suppose -14*h + 12442 = 5*k - 16*h, -2*k - h = -4984. Does 90 divide k?
False
Let m(n) = -4*n**3 - 11*n**2 + 25*n + 26. Is 41 a factor of m(-8)?
False
Let f = 2144 - 2177. Let i = -15 - 307. Is i/(-6) + (-44)/f a multiple of 13?
False
Does 42 divide -2268*(-10 + 11 + -2)?
True
Let s(g) = 6*g**2 + 9*g + 1. Is 3 a factor of s(-4)?
False
Suppose -d = -5*f + 3*d + 190, 0 = 4*d + 20. Does 34 divide f?
True
Let a = 333 - 135. Suppose 21*o - 15*o - 18 = 0. Suppose 3*k = -2*g + 93, k = 5*g - o*k - a. Does 13 divide g?
False
Suppose -2290 = -17*o + 1212. Is o a multiple of 12?
False
Let o(u) = -u**2 - 4*u + 7. Let m be o(-5). Suppose -m*p = -p - 149. Is p a multiple of 27?
False
Suppose -2*f + 6 = -4*v, -3*f - 6 = v - 29. Let o(l) = -l**2 - 7*l - 3. Let i be o(-6). Suppose -108 = -f*c + i*c. Does 13 divide c?
False
Let l be (1 - 4 - -11) + -6. Let r(d) = 47*d + 1. Let g be r(2). Is 9 a factor of l/(-3 + g/31)?
False
Is 3 a factor of (-9 - -4)*(-4 + -69)?
False
Let c be (-90)/24*(-1 - 3). Let w = c + -8. Is 54/1 + (w - 7) a multiple of 22?
False
Let g(u) = -22*u - 11. Is 22 a factor of g(-9)?
False
Let t(i) be the first derivative of 27*i**4/4 + i - 15. Suppose -f = -2*f + 1. Is t(f) a multiple of 8?
False
Let k = 279 - 135. Is 9 a factor of k?
True
Let y = 1121 + -689. Is 44 a factor of y?
False
Suppose c = -4*x + 1365, 3*c - 7*c - 320 = -x. Is x a multiple of 10?
True
Let n(r) = -r + 31. Let d(y) = 4*y + 2. Let i be d(1). Is n(i) a multiple of 2?
False
Suppose -2*o - 3*t + 0 + 1 = 0, -3*o - 2*t - 6 = 0. Does 4 divide (-80)/(-2) - (-1 + o)?
False
Suppose g - 6*g + 75 = 0. Let w = 23 - g. Let s = w + -1. Is s even?
False
Suppose 2*r - 2*m - 2587 - 157 = 0, 4*r - 5490 = 2*m. Does 14 divide r?
False
Suppose 47*z - 43*z - 1488 = 0. Is z a multiple of 5?
False
Let w = 83 - 45. Suppose -8*k = -6*k - w. Is k a multiple of 12?
False
Let i(u) = 680*u. Let y be i(1). Suppose 9*d - 4*d + y = 0. Does 6 divide d/(-12) - 1/3?
False
Suppose 6*n = -0*n - 144. Is (385/(-44))/(1/n) a multiple of 12?
False
Let i = -35 - -37. Suppose -4*s = i*g - 168, s + 23 = g + 71. Does 17 divide s?
False
Let k = -249 - -444. Is k a multiple of 15?
True
Suppose -2*v - 2*l + 44 = 8, -3*l + 32 = 2*v. Let z = v - -2. Is z a multiple of 5?
False
Let l(f) = -f**3 + 5*f**2 + 7*f + 22. Let x be l(8). Let t = -75 - x. Is 35 a factor of t?
False
Let s be 1*2/3*3. Suppose s*v - 2*i - 21 = -i, -3*v + 9 = 3*i. Is 4 a factor of v?
True
Suppose 0 = 5*c - o - 1, 0 = -3*c - 0*c - 2*o - 2. Suppose -5*v - s + 240 = c, -2*s = 3*v + 2*s - 144. Does 12 divide v?
True
Suppose 2*z + 4*i = -6, 4*z - 3*i - 8 - 24 = 0. Let o be 1*(24 - -1)/z. Suppose 9 + 1 = 5*b, 118 = 3*t + o*b. Does 9 divide t?
True
Suppose -14544 - 7401 = -19*i. Is i a multiple of 18?
False
Let s = -1962 + 2001. Does 13 divide s?
True
Let u(a) = 12*a**2 - 11*a + 1. Is 72 a factor of u(9)?
False
Suppose -5*i = -n - 395, -5*i + 6*n + 375 = n. Let z = i + 16. Does 14 divide z?
False
Suppose -7*w + 3*w + 3*n + 10 = 0, -2*n = -3*w + 7. Is 16 a factor of (102/(-24))/(w/(-8))?
False
Let a be 4/1 - (-268 - 21). Suppose -4*h + 2*s + a = 49, 2*s + 55 = h. Is 4 a factor of h?
False
Does 44 divide ((-8140)/(-16))/(-1 + (-25)/(-20))?
False
Let g(f) = 2*f**3 + 22*f**2 + f + 22. Does 28 divide g(-8)?
False
Let a be 116 + (4/18 - 87/27). Let o = -71 + a. Does 7 divide o?
True
Suppose -1168*m = -1161*m - 6293. Is 13 a factor of m?
False
Let p(n) = 2*n - 3. Suppose -3 = -4*l + u + 4, 3*l - u = 5. Suppose 5*w + 14 = l*k - 18, 4*k + w - 20 = 0. Is 7 a factor of p(k)?
False
Let d(g) be the second derivative of -g**5/20 - 5*g**4/6 + 2*g**3 + 8*g**2 - 5*g. Is 4 a factor of d(-11)?
False
Let q = 3 - 1. Let d be -3 - (q + 10/(-2)). Suppose 5*i + d*o = 4*o + 62, 0 = 4*i + 5*o - 25. Does 5 divide i?
True
Suppose -4*h + 4782 = z, -4*z - 2447 = -2*h - 47. Is 16 a factor of h?
False
Let i(l) = 11*l + 1. Suppose -2 = -r + 8. Suppose 0 = p + 4*p - r. Does 5 divide i(p)?
False
Let z(o) be the first derivative of 17*o**2/2 + 3. Let i be z(2). Let r = 57 - i. Does 16 divide r?
False
Let j(c) = c**3 + 16*c**2 + 16*c + 17. Let y be j(-15). Suppose y*a - 2 = a. Suppose 2*i - 2*m = 26, 0 = a*i + 7*m - 3*m + 4. Is 5 a factor of i?
False
Let d(m) = -m**2 + 6*m - 1. Let x be d(5). Let c be (4 + -4)/(-2 + x). Suppose c = 4*r - 130 - 42. Is r a multiple of 13?
False
Suppose -2*x + 5*n = -7, 0*x + 2*x - 15 = -3*n. Suppose 5*q - 324 = x. Does 15 divide q?
False
Suppose -33*k - 21231 + 110991 = 0. Is 85 a factor of k?
True
Let b(l) = -l**3 - 9*l**2 - 14*l + 5. Let y be b(-7). Suppose -y*n + 107 = h, -6*h + 3*h = -4*n + 78. Is n a multiple of 11?
False
Let l be (2 - (-2)/(-2)) + 2. Suppose -3*v = 4*k - 360, 296 = l*v - 4*k - 88. Suppose 3*z - 3*w - w = v, -z + 48 = 2*w. Is 11 a factor of z?
True
Let u = -264 + 1439. Is 42 a factor of u?
False
Suppose -o + 236 = 2*d, 20 = -o - 4*o. Let m = d + -79. Does 15 divide m?
False
Suppose 49 = 7*o + 14. Suppose -o*l + l = -528. Is 33 a factor of l?
True
Suppose -58*b = -57*b - 532. Is b a multiple of 14?
True
Suppose -37*j + 18355 = -27377. Is 12 a factor of j?
True
Let r = 358 - 260. Does 5 divide r?
False
Suppose -13*b + 8*b + 570 = 0. Let w = 0 + b. Is w a multiple of 19?
True
Suppose 0 = -5*g + 22 - 2. Is 912/6 + g/2 a multiple of 11?
True
Let u = 184 - 46. Is u*((-21)/9 + 4) a multiple of 30?
False
Let f(p) = -5*p + 8*p + 0*p - 2 + 12*p**2. Is 24 a factor of f(-3)?
False
Let y(w) = -93*w - 18. Does 12 divide y(-2)?
True
Is (0 + 58)*(-4)/(-8) - 1 a multiple of 19?
False
Let g = 41 - 37. Suppose g*c = 7 + 25. Does 6 divide c?
False
Let z = 148 - 188. Does 8 divide 49 + ((-1)/(-2))/(5/z)?
False
Let r = -14 - 18. Let p = r + -28. Let y = 91 + p. Is 12 a factor of y?
False
Suppose -3*p = -0*p - 201. Let w = p - -59. Does 18 divide w?
True
Let s be (-38)/6 - 4/(-12). Is 50 - (-3)/(s/(-4)) a multiple of 6?
False
Let p = 2 - 22. Let b = 22 + p. Suppose -2*t = b*o - 66 - 64, -3*o - 5*t + 193 = 0. Does 22 divide o?
True
Let k be (6/(-21))/((-3)/21)*1. Let a(g) = 13*g**3 - 5*g**2. Does 14 divide a(k)?
True
Let f = -219 + 536. Is f a multiple of 14?
False
Let c = 15 + -13. Suppose -6 = -c*p + 3*p. Is 15 a factor of (-3)/p*-1*-30?
True
Suppose -6*o + o = 3*p - 688, 5*o = p + 704. Suppose 19*r - 20*r + 4 = 0. Suppose 0 = -r*a - a + o. Is 28 a factor of a?
True
Let k(f) = -f**3 + 11*f**2 - f + 14. Let w be k(11). Suppose -r = -w*i + 2*i + 171, -2*r = 2*i - 354. Suppose a - 3*p = -p + 37, p