-10 - -63. Let r = t - z. Does 4 divide r?
False
Suppose 74*q + 269*q - 2403401 = 0. Is q a multiple of 35?
False
Suppose 21*p - 23*p = -1288. Suppose 1684 + p = -12*t. Let u = -96 - t. Is 22 a factor of u?
False
Suppose -436 = -8*k - 292. Suppose -8*v + k*v - 1050 = 0. Does 15 divide v?
True
Let o(w) = 21*w - 5. Let s be o(4). Suppose -6*r + s = -1001. Suppose -3*a + 198 + r = 0. Is a a multiple of 7?
True
Let l(j) be the second derivative of 1/2*j**3 + 0 + 9*j + j**2. Is l(1) a multiple of 5?
True
Let o be 1207 + 2 - 2 - -5. Suppose 16*v - o = -252. Is 27 a factor of v?
False
Does 3 divide 25/((-275)/33) + 2/((-4)/(-1918))?
False
Suppose -h - 2*f - 6824 = -6*h, -3*h + f = -4094. Is 6 a factor of h?
False
Suppose -3*z - 149 = -2*h, -2*h - 8*z + 184 = -4*z. Is (-10 - -11) + (0 - -2) + h a multiple of 37?
False
Let t = 41 - 37. Suppose 20 = -4*y, 3*r - t*r = 4*y - 640. Suppose 12*k - r = k. Is k a multiple of 15?
True
Let i = 2326 + 1018. Is 38 a factor of i?
True
Let c = 40291 + 2977. Does 116 divide c?
True
Let m(k) = -2*k**3 - 16*k**2 - 13*k - 4. Let p be m(-6). Does 38 divide 1368/(-28)*p/15?
True
Let w be (3/(-4) + 1)/((-12)/(-96)). Is 8 a factor of (8 + w)*20*(-4 + 5)?
True
Suppose 59*h = -1275 + 53478 + 142910. Does 11 divide h?
False
Let r = -31 - -109. Suppose -3 = -t, -3*s + 2*t - r = -5*s. Is 12 a factor of s*1/(12/44)?
True
Let p(c) = -c**2 - 4*c + 11. Let t be p(-9). Let y be -1*(-3 + 2) - t. Is 15 a factor of (y/1)/(3/9)?
True
Suppose -93911 - 9756 = -83*v. Is 16 a factor of v?
False
Let g(q) = -q**3 + 9*q**2 - 11*q + 1. Let j be g(7). Suppose -m = 3*n - 816, 23*n + 5*m = j*n + 272. Does 34 divide n?
True
Suppose -359*s = 1709615 - 5616629 - 1898016. Is 10 a factor of s?
True
Is (-6 + -10*(-72)/315)/(2/(-7322)) a multiple of 45?
False
Let c be (-12)/(-5) - (-36)/(-90). Let l be (-2)/(-1*c/77). Let t = l + -14. Does 7 divide t?
True
Let b(f) = 22*f + 203. Let d(m) = 44*m + 407. Let p(r) = -11*b(r) + 5*d(r). Is 41 a factor of p(-12)?
False
Let g = -855 - 440. Let d = -467 - g. Is d a multiple of 23?
True
Suppose 7*l - 5 - 30 = 0. Suppose -8*u + 7*u = l, 0 = -5*j - 3*u + 815. Does 9 divide j?
False
Suppose -132*v - 6*v - 79638 + 2122452 = 0. Is v a multiple of 34?
False
Let d be ((-15)/(-3) - 2)/(-1). Does 13 divide d/(0 - 1/159) + 4?
True
Suppose 0 = 1456*p - 1470*p + 613956. Does 179 divide p?
False
Let d(k) = -272*k - 496. Is d(-18) a multiple of 80?
True
Suppose 22*v - 19*v + 14508 = 4*l, -4*l - 5*v + 14508 = 0. Does 96 divide l?
False
Suppose 2024*x + 25488 = 2051*x. Is x a multiple of 8?
True
Let y(q) = -128*q**3 + 5*q**2 - 2*q - 3. Let s(k) = 25*k + 274. Let u be s(-11). Is 66 a factor of y(u)?
True
Let a(r) = r**3 - 39*r**2 - 135*r + 130. Is a(45) a multiple of 10?
False
Let k(n) be the first derivative of n**4/4 - 13*n**3/3 - n**2 - 42*n - 21. Is k(14) a multiple of 9?
True
Suppose 2*q = -3*q - 5*m + 15, -3*m = -4*q + 12. Suppose 3*v + 3*u = 6, 4 = q*v + 3*u - u. Suppose v = -2*l + 24 + 2. Does 5 divide l?
False
Let b be 16 + -16 + -4 + -1. Let s(p) = -p**3 - p**2 - p - 9. Let y be s(b). Suppose -j = -c + 2*c - y, 4*j + 2*c - 390 = 0. Is 9 a factor of j?
True
Let c = 27244 - 25264. Is c a multiple of 60?
True
Let l = 60 + -24. Let p be 5 + ((-6)/4)/(27/l). Suppose 0 = -p*x + 1 + 62. Is x a multiple of 21?
True
Let r be 1 + 180/22 - 432/2376. Let x(m) be the third derivative of m**6/120 - 2*m**5/15 - m**4/12 - 11*m**3/6 + m**2. Is x(r) a multiple of 12?
False
Let x(n) = -16*n - 25. Let f(p) = -3*p - 5. Let h(t) = 22*f(t) - 4*x(t). Let k be h(-6). Suppose -k*s + 219 = 2*s + l, -270 = -5*s - 2*l. Does 12 divide s?
False
Is 5 a factor of ((-265)/(-265))/(1/901)?
False
Let q(h) = -5*h**2 - 195*h - 175. Does 9 divide q(-32)?
True
Suppose 4*d - g = 2659, 70*g = d + 73*g - 655. Let i = 1185 - d. Is 55 a factor of i?
False
Suppose 0*v - 59 = -2*v - t, -4*v = 4*t - 116. Suppose 0 = -2*f - 3*j - v, -2*j + j = f + 15. Does 41 divide ((-369)/(-15))/(-1*3/f)?
True
Let j be (-4)/(-42) + (-6338)/(-42). Let m = j - -129. Is m a multiple of 7?
True
Let w be 15/35 - (-11)/7. Let o(b) = -2*b - 2*b**2 + 2*b**2 - b**2 + 10*b**2 + w. Is 9 a factor of o(2)?
False
Let n be -6*((-18)/81)/(4/6). Suppose -b + 6 = n*b. Suppose 5*m = 2*h + 18, -m = b*m - h - 11. Is 4 a factor of m?
True
Suppose -2*r - 167 = 2*y + 71, -5*r + 5*y = 635. Let p = 529 + r. Does 33 divide p?
False
Suppose -675 = -28*y + 3*y. Let u = 260 - y. Does 51 divide u?
False
Let z be 3/18 - (-1988)/24. Let p = -348 + 487. Let o = p - z. Is o a multiple of 7?
True
Let r be (884/65 - 10)*10/6. Is 81/r*(-27 + 29) a multiple of 5?
False
Let w be -1*(-9 - 9 - -4). Is 14 a factor of (-308)/88*(-1852)/w?
False
Let y(j) = -j**3 + 20*j**2 - 85*j + 6. Let p be y(14). Is (-14)/8*(2880/9)/p a multiple of 34?
False
Suppose -32*m = -5*b - 30*m + 9161, -2*b - m = -3659. Is 19 a factor of b?
False
Suppose 24 = -9*x + 69. Suppose -x*q + 11 = -919. Does 11 divide q?
False
Let j = -198 - -192. Let o(l) = 44*l**2 + 71*l - 2. Does 17 divide o(j)?
True
Let z(h) = -3*h - 41. Let a be z(-19). Suppose -a*v + 1962 = -7*v. Is 30 a factor of v?
False
Let f(d) = -3*d**3 + 5*d**2 + 7*d + 5. Let j be f(-3). Let b(v) = 29*v - 1. Let c be b(1). Suppose -4*p - 5*s = -j, -s + c = 4*p - 3*p. Is p a multiple of 10?
True
Let a = 1582 - -1230. Does 5 divide a?
False
Let w = 64589 + -41039. Does 50 divide w?
True
Suppose -612 = -3*v + 3*p, 0 = 2*v + p - 171 - 222. Suppose 2*i - v = -0*i - 3*j, 2*i - 169 = 3*j. Is 8 a factor of 128 - 0 - i/23?
False
Let f be 4 - (84/(-14) - (-4 - -2)). Suppose 3*u + 900 = f*u. Is 15 a factor of u?
True
Let u be 288/(12/2)*(-30)/(-9). Suppose 2*k - 80 = u. Is k a multiple of 24?
True
Suppose v + 2*x = -4*v + 1445, 4*v = 2*x + 1174. Suppose 215 = z + 16. Let d = v - z. Is 17 a factor of d?
False
Let r(w) = -w**3 - 59*w**2 - 171*w - 1749. Does 215 divide r(-63)?
False
Let g(n) = -n**2 - 9*n + 42. Let w be g(3). Is 61 - 21/w*-2 a multiple of 34?
True
Let u(b) = 182*b**2 - 473*b + 2360. Is 9 a factor of u(5)?
True
Let z = -3624 - -4502. Is 36 a factor of z?
False
Suppose 4*j = -4*r, -2*j - 9 + 1 = -2*r. Suppose 0*f + 408 = r*f. Does 17 divide f?
True
Let u = -212 - -712. Suppose 3*i - 7*i - u = -4*k, -5*k + i = -629. Is 9 a factor of k?
True
Suppose -27*d - 12 = -33*d. Suppose -s = -4*c - 248, -800 = -3*s + d*c - 4*c. Is s a multiple of 19?
False
Let w be (-12)/9*(-9)/(-6). Is (-3)/(-6) + (-249)/w + -3 a multiple of 4?
False
Let f(d) = 2*d**3 - 26*d**2 + 4*d - 48. Let g be f(13). Suppose 3439 = g*q + q + 3*i, i = 2*q - 1380. Is q a multiple of 25?
False
Let r(y) be the first derivative of y**6/36 - 3*y**5/40 + 5*y**4/24 - 8*y**3/3 + 16. Let q(m) be the third derivative of r(m). Is q(3) a multiple of 15?
False
Let n = 995 - -3227. Does 24 divide n?
False
Let l(n) = 2*n**3 - 76*n**2 - 74*n - 26. Is l(44) a multiple of 150?
True
Let h = -3452 + 6707. Suppose 441 = 24*g - h. Does 13 divide g?
False
Suppose -4*d + 5*f + 29 = 0, -f = 5*d + f - 61. Suppose 2*q + s = d, -3*q + 2*s + s + 3 = 0. Suppose -60 - 28 = -q*v. Does 22 divide v?
True
Suppose -4*d = -d - 15. Does 21 divide 193*d - (-16)/((-16)/3)?
False
Suppose 4*o + 5*s + 88 - 25 = 0, s = -3. Let x be -3 + (-20)/o*3. Suppose x*m + 6 - 60 = 0. Is m a multiple of 12?
False
Suppose 3*q - 4812 = -3*c + 21990, 17874 = 2*q + 3*c. Is q a multiple of 186?
True
Suppose 0 = 2*h - 5*m - 24661, 237*m - 7 = 236*m. Is h a multiple of 28?
True
Suppose 104 = -2*f - 30. Let r = -63 - f. Suppose -3*a = r*a - 308. Is 10 a factor of a?
False
Let t be (3 - 11)*(-2)/4 - -1. Let d(v) = 5*v**2 + 7*v - 19. Let u be d(t). Suppose -136*g + 139*g = u. Does 4 divide g?
False
Let s(t) = t**3 - 2*t**2 - t - 6. Let x be s(3). Suppose x = 2*g - 137 - 251. Let u = -99 + g. Is u a multiple of 18?
False
Let q(v) = v**3 - 10*v**2 - 4*v + 37. Let c be q(10). Is 99/66*(-184)/c a multiple of 4?
True
Let y = 16436 - 13940. Is y a multiple of 2?
True
Let b be (-4)/3*14/21*-27. Suppose -1843 = -b*x + 5*x. Is x a multiple of 9?
False
Let y = 322 + -319. Suppose v = -3*q + 669, y*q - 8*v + 3*v = 687. Does 16 divide q?
True
Suppose -305*o - 48469 - 19391 = -422*o. Does 8 divide o?
False
Let j(y) = 10 + 11 + 0*y + 2*y - 4*y. Let n be j(3). Does 7 divide (28/6)/(10/n)?
True
Let d = 6254 + -5