3*q + 56. Suppose 2*m - 113 = -75. Let i be p(m). Does 25 divide (i - -21)*(-12)/(-10)*13?
False
Does 10 divide (-5 - (-739188)/(-54))/((-1)/3)?
False
Let n(r) = -14*r + 17. Let k be n(16). Let u = k + 303. Does 24 divide u?
True
Let x be (13/(-3))/((-2)/6). Suppose 0 = -x*s - 34 - 1292. Does 41 divide (-18)/(-15)*5/(-2) - s?
False
Suppose 0*v = v + u + 6, 2*u + 11 = -v. Suppose 2*s = -3*a + s + 186, -3*s = -9. Let w = v + a. Does 12 divide w?
True
Let q(n) = -n**3 + 14*n**2 - 5*n + 49. Let y be q(-8). Suppose 0 = 3*v - 5*v - 6, -5*a + y = -4*v. Is a a multiple of 14?
False
Let d(q) be the third derivative of -40*q**2 + 0*q + 7/24*q**4 + 2/15*q**5 + 0 + 3*q**3. Is 5 a factor of d(-3)?
False
Let a(y) = -2*y**3 + 5*y + 5. Let q be a(-3). Let z = q - 41. Suppose 2*m + 4*x - 340 = 0, z*x - 141 - 34 = -m. Does 32 divide m?
True
Let w be -9*7/(-21)*(-178)/(-6). Suppose 4*p - 112 = -2*i, 13 = -2*i + 5*p + w. Does 24 divide i?
True
Let t(h) = h**3 - 9*h**2 + 4. Let w be t(9). Let b be 7 - (w/10 + 22/(-5)). Suppose b*n - 9*n = 40. Does 2 divide n?
True
Let u = -2682 + 3101. Does 9 divide u?
False
Let g(l) = 117*l**2 - 5*l - 1. Suppose -18 = -15*u - 3*u. Is 3 a factor of g(u)?
True
Let t(o) = -o**3 - 8*o**2 - 9*o - 11. Let a be t(-7). Suppose w + 3 = -j - 2, 10 = a*j - 2*w. Is 9 a factor of 40 - ((-1 - j) + 1)?
False
Let h(x) be the second derivative of 10*x**3/3 + 45*x**2 + 56*x. Is h(7) a multiple of 10?
True
Is 45 a factor of (-5 - (-71702)/3) + (-14)/21?
True
Let i(l) = 7*l - 17. Let b be i(3). Suppose 2*q + 130 = 2*p - 210, 670 = b*p + q. Is 24 a factor of p?
True
Suppose 4*x = -4*v + 56, 0 = -5*v + 3*v + 3*x + 53. Suppose -227 = 6*p + v. Let t = 28 - p. Does 13 divide t?
False
Let r = 1 - 1. Suppose 200 = 419*p - 414*p. Suppose r = t - 111 + p. Is t a multiple of 9?
False
Let n = 20933 + -11495. Is n a multiple of 143?
True
Let x(j) = -2*j**3 - 8*j**2 + 2*j + 15. Let c be 27/(-3) + (-1 - -4). Let z be x(c). Suppose 3*g - z = 183. Is g a multiple of 29?
False
Let m(o) = o + 9. Let t be m(-4). Let k(g) = g**2 - 4*g + 22. Is k(t) a multiple of 6?
False
Suppose 281548 = 239*p + 8132. Is 3 a factor of p?
False
Suppose -3*k - n = -562, 373 = 3*k - n - 181. Suppose -i + 0 = -k. Let c = i + -117. Is 7 a factor of c?
False
Suppose -5*m = -5*l - 25, -3*l - 2*m + 2 = -4*l. Does 31 divide 2/4 - 3396/l?
False
Suppose -z = -n - 2, 3 = 5*n - 2. Suppose z*q - 306 = 165. Let d = -49 + q. Does 27 divide d?
True
Let u(z) be the second derivative of 7*z**4/12 + 4*z**3/3 - 288*z. Is u(6) a multiple of 9?
False
Is 408012/(-1089)*(-31 - -1) a multiple of 40?
True
Suppose -2*d - 1361 = -5*j, -3*j + 4 = j. Let p = d - -768. Does 18 divide p?
True
Let r be (5 - 6)/(-1 - -2). Suppose 28 = -0*y - 2*y. Is y + 10 + 40 + r a multiple of 23?
False
Suppose 8*t + 4 - 12 = 0. Does 32 divide 3*t - 5*(-8 + -17)?
True
Suppose -14202 = -2*t + 4*q, 4*t = -4*q - 13157 + 41489. Is t a multiple of 251?
False
Suppose -5*a = 2*n - 2*a - 3688, 0 = 5*n + 3*a - 9202. Suppose 5*l - 52 = n. Does 9 divide l?
True
Suppose -5*p + 2*y - 1332 = 0, -802 = 3*p + 10*y - 14*y. Is 13 a factor of 7 - 1*(p + 3)?
False
Suppose 0 = -7*i + 1027 - 5. Let v = 245 - i. Is v a multiple of 33?
True
Suppose 0 = -257*k + 230*k + 10314. Is k a multiple of 5?
False
Let w = 534 - 502. Suppose r + 0*i - 3 = -i, 2*r - i = 3. Suppose -r*s = b - 3*b - 4, 2*s + 5*b - w = 0. Does 6 divide s?
True
Let c(h) be the second derivative of -h**5/20 - 5*h**4/12 - 2*h**3/3 + 15*h. Let k be c(-3). Is 11 a factor of 2 + k/20*38*-5?
False
Suppose -5*o + v + 12240 = 0, -17*v + 12240 = 5*o - 11*v. Does 72 divide o?
True
Let g = 228 + -226. Suppose 1025 = 4*h - 5*m, g*h - h - 254 = 2*m. Is 20 a factor of h?
True
Let v = 5070 + -1272. Suppose 6*f = 15*f - v. Does 62 divide f?
False
Let a(r) = 10*r**2 - 4*r - 6. Let q(v) = -v**2 - 11*v - 25. Let m be q(-7). Suppose m*x + 4*x - 35 = 0. Is a(x) a multiple of 14?
True
Let p(l) = -4*l**2 + 25*l - 3. Let z be p(8). Let d = z + 247. Does 33 divide d?
False
Let p = 10 - -13. Suppose 0 = p*k - 22*k - 142. Suppose 57 = m + l - 5*l, -l - k = -2*m. Does 13 divide m?
False
Let c(u) = -1508*u - 106. Is c(-2) even?
True
Let c(p) = 2626*p**2 - 68*p - 86. Is c(-4) a multiple of 176?
False
Suppose -4*o - 195392 = -11*o + 91279. Is o a multiple of 13?
False
Suppose -5*n + 15*a + 1429 = 14*a, -5*n + 1423 = -2*a. Is n a multiple of 7?
True
Suppose 3*y = -3*y + 654. Let m = y - 106. Let s(g) = 13*g**2 - 2*g + 6. Is s(m) a multiple of 9?
True
Suppose -262*k + 234 = -256*k. Let c be 5 - 8 - (-42)/(-2). Let d = k + c. Is d a multiple of 8?
False
Is -1*1336*14/(-2)*3/4 a multiple of 42?
True
Let v = -581 + 84. Let y = -164 - v. Is y a multiple of 37?
True
Let k(i) = i**2 - 6*i - 2. Let s be k(7). Suppose s*j + 5*v - 1 = 3*j, -v + 1 = 0. Does 13 divide ((-40)/(-24))/(j/(-126))?
False
Does 196 divide (2 + 9222/(-7))/((-28)/490)?
False
Let d = 33 + -20. Let a be (d/2)/((-66)/(-12) + -5). Let n(l) = 4*l - 23. Is 4 a factor of n(a)?
False
Suppose 0 = -3*i + 4*i - 2*n + 470, 936 = -2*i + 2*n. Let k = i + 562. Is 24 a factor of k?
True
Suppose 224 = k + 3*k - 80. Is k a multiple of 3?
False
Let f(p) = 2*p**3 + 5*p**2 - 16*p + 58. Let a be f(6). Let r = -304 + a. Is 10 a factor of r?
True
Let a be 2/15 - (-4)/(120/446). Suppose -10*f + 5*f = -a, -4*q + 2*f = -1674. Is 30 a factor of q?
True
Suppose -5*q + 0*d = -2*d + 4234, -4*q + 2*d - 3386 = 0. Let y = -509 - q. Is 78 a factor of y?
False
Suppose -t + 84 = -8*t. Is (-16)/t + 5 + (-725)/(-3) a multiple of 8?
True
Suppose -3*x - 2170 = -5*v + 1638, 4*x = 2*v - 1512. Let m = v + 324. Does 17 divide m?
True
Let v be (-1 - 5)/((-12)/20). Suppose v*u - 2508 = -u. Is u a multiple of 6?
True
Suppose -25 = -2*n - 5*x, -8 = -x - 7. Suppose 23*m - 4329 = n*m. Is 65 a factor of m?
False
Let i(g) = 2*g**3 + 5*g**2 + 5*g + 6. Let t be i(-3). Let k be (0/(-3))/3 - t. Let n = 28 - k. Is n a multiple of 3?
False
Does 77 divide ((-4843)/145)/((-3084)/1540 + 2)?
True
Let p(w) = -3*w**3 + 70*w**2 + 17*w + 25. Is 45 a factor of p(-13)?
True
Suppose 5*p = 5*o - 11870, -517 = -o - 3*p + 1841. Suppose -t + 990 = -3*g + 206, 0 = 3*t - 3*g - o. Is 13 a factor of t?
True
Let r(n) = n**2 + 26*n + 50. Let a be r(-24). Is (-91)/(-1) - 2/(4 - a) a multiple of 10?
True
Let z(v) = v**2 - 7*v + 1. Let r be z(10). Is 17*11/(-44)*(-1 - r) a multiple of 8?
True
Suppose 5*w = -30, -12*w - 17205 = -5*p - 17*w. Is p a multiple of 24?
False
Is 9 a factor of (-2)/(-3)*(-1)/((-74)/1473081)?
False
Suppose w - 47 = -53. Does 2 divide 42/63 - 68/w?
True
Let y be ((-1488)/56)/((-8)/28). Suppose -d = -2*h - 75, -d + 5*h + y = 18. Does 15 divide d?
True
Let t be ((-5)/2)/((-9)/(-2) - 5). Suppose -g + 3*b = -15, -3*g = b - 0 - t. Suppose -294 = -6*f + g*f. Is 40 a factor of f?
False
Suppose -4*w - 304 - 68 = 0. Let a = w + 114. Is 156/((-34)/(-28) + 6/a) a multiple of 13?
True
Let x = -2028 - -4515. Suppose 4*r = -3*l + x, 0 = r + 4*l - 0*l - 638. Suppose -260 = -2*v + g + g, 3*g - r = -5*v. Does 20 divide v?
False
Let c(m) = -m**2 + 16*m + 61. Let t be c(19). Suppose -3*v + t*d + 1138 = 0, d - 1 = 2*d. Is 9 a factor of v?
True
Let g = -353 - -418. Let a = 14 + g. Is 47 a factor of a?
False
Let w = -426 - -430. Suppose -w*y + 946 + 382 = 0. Is 30 a factor of y?
False
Let j(q) = -q**3 + 12*q**2 - 6*q + 36. Let l(y) = -y**2 + 9*y - 9. Let w be l(5). Is j(w) a multiple of 24?
False
Does 50 divide ((-68580)/(-150))/((-1)/(-5))?
False
Let d be 72/(-39) - (-6)/(-39). Is 6 a factor of (-47)/((d/24)/(5/10))?
True
Let i = 296 + -296. Suppose 0 = p + u - 930, -p + 3*u - 272 + 1182 = i. Is 19 a factor of p?
False
Suppose -4*v + 47382 = c, 0 = -2*v + 119*c - 120*c + 23688. Is v a multiple of 15?
False
Let z be ((-24)/(-4) + -6)*1. Suppose z = -251*f + 247*f + 496. Is 31 a factor of f?
True
Let x = 182 - 183. Suppose y = -3*p - 321, 0*p - 93 = p + 5*y. Does 26 divide p/27 - (x*136 - -2)?
True
Let v = 392 + -392. Suppose v = -5*a - 4*p + 1442 + 715, 4*a = 5*p + 1701. Is a a multiple of 16?
False
Suppose 210 = -8*u + 3*u. Let x = -40 - u. Suppose -f + x*g + 1 = -0, -4*g = -f - 3. Does 5 divide f?
True
Suppose -292*f + 80955 = -277*f. Is f a multiple of 75?
False
Suppose -408 = -14*b - 3*b. Suppose -h + b = 73. Let i = -11 - h. Is i 