uppose 4*r + 5*i = 531, -5*r + 881 = -4*i + u. Does 14 divide r - ((-4)/6 + 121/33)?
True
Suppose 5*p - 286397 = -4*r, 5*p - 155449 = -3*r + 130955. Does 15 divide p?
True
Suppose 570*y - 574*y + 216 = 0. Does 18 divide 9/(y/148)*18?
False
Suppose -3*h - l + 629 = 0, -6*h = -h + 5*l - 1065. Suppose -210*n + 780 = -h*n. Is 15 a factor of n?
True
Let v(a) = -6*a**3 + 139*a**2 - 13*a + 52. Does 84 divide v(20)?
True
Let t be ((-48)/15)/(3/(-105)) - -1. Suppose 5*d + t = 3*n - 0*n, -3*d - 12 = 0. Suppose -2*z - 347 + n = -5*k, 0 = -2*k + z + 127. Is 13 a factor of k?
False
Let f = -73 - -77. Let j(w) = -w**3 + 5*w**2 + 9*w - 22. Let s be j(f). Suppose -26*i = -s*i + 196. Is 9 a factor of i?
False
Suppose 577 = -4*u + 801. Suppose 5*m = -0*m + 50. Let s = m + u. Does 11 divide s?
True
Suppose -43*q + 41*q = -3*h - 6191, -6161 = -2*q - 3*h. Is 3 a factor of q?
False
Let p(n) = 202*n + 6720. Does 32 divide p(0)?
True
Let v = -137 - 175. Let n = v + 572. Is n a multiple of 10?
True
Let o = 151 + -146. Suppose -a + 2*z + 77 = 0, -143 = -3*a + o*z + 88. Does 5 divide a?
False
Suppose 2*r + 4 = 4*l + 3*r, 2*l + 2*r = -4. Suppose -l*a + 666 = -2*f, 10 = -2*f - 0. Is a a multiple of 25?
False
Let o(z) = -z**3 - 8*z**2 + 22*z - 16. Let m be (-4)/(-18) - ((-800)/45 - -6). Suppose 74 + 58 = -m*f. Does 15 divide o(f)?
True
Is 11 a factor of (693102080/(-462))/(-32) - 4/(-42)?
True
Let u = -18 + 23. Suppose 2*r = -u*r. Let p = 12 - r. Does 2 divide p?
True
Suppose -131085 - 73711 - 467414 = -194*c. Does 63 divide c?
True
Let x be 29*(-1 + 0) - -2. Let z = -402 - -329. Let t = x - z. Does 23 divide t?
True
Let l = -6131 + 33664. Does 12 divide l?
False
Let o(w) = 2*w**2 + 24*w + 44. Let t be o(-10). Suppose t*c = 711 - 283. Is 6 a factor of c?
False
Let j(p) = 330*p**2 + 322*p - 978. Does 174 divide j(3)?
True
Suppose -4*d - 4*h + 7680 = 0, d - 1528 = 5*h + 386. Is d a multiple of 25?
False
Is 58 a factor of (-116936)/(-36) + (-9 - (-4 + 86/(-18)))?
True
Let w(l) = -42*l + 26. Let z be w(-3). Suppose 242 = 5*v + 3*h + 30, 2*h = 4*v - z. Is 4 a factor of v?
True
Let a(y) be the third derivative of -y**6/120 + y**5/6 + 11*y**4/24 + 5*y**3/3 - 36*y**2. Let p be a(11). Suppose 0*f + 420 = p*f. Does 14 divide f?
True
Is 10 a factor of 10843 - 1 - (-72)/16*2?
False
Let y be 574/9 + 0 + 2/9. Let s = y - 64. Suppose -c + 8 = -5*c, s = -5*b - c + 333. Is 14 a factor of b?
False
Let w(h) = -h**3 - 25*h**2 - 63*h + 41. Is 2 a factor of w(-26)?
False
Suppose c + 4454 = 3*r, -3*r + 183*c = 188*c - 4442. Is r a multiple of 67?
False
Is 85 a factor of (4 + -9 - -481)*(365/10 - -6)?
True
Let v = -24 - -45. Suppose 751 = 93*s - 491 + 219. Let h = s + v. Is h a multiple of 16?
True
Let m = 328 - 326. Suppose 2*f - 360 - 1046 = -5*y, -m*y - f = -563. Does 28 divide y?
True
Suppose -2*q + 0*v + 3*v = -9, 6 = -5*q - 2*v. Let l(y) = y**3 + 9*y**2 + y - 23. Let n be l(-7). Suppose z + q*z = 1, n = p - 4*z. Is p a multiple of 4?
True
Let h = 1870 + -1719. Does 41 divide h?
False
Suppose 25 = 2*f + 19. Suppose 3*w - f*l + 3 = 0, -4*l = 4*w + w - 22. Suppose -2*y + 38 = w*x - 0*x, -4*y + 74 = 3*x. Is y a multiple of 3?
False
Let b(y) = -y**2 + 12*y - 11. Let z be b(10). Let h(l) = 9*l**2 - 3*l - 45. Is 13 a factor of h(z)?
False
Let i(l) = -l**3 + 14*l**2 - 12*l + 97. Let z be i(13). Let q = -11 + z. Does 10 divide q?
False
Let q(s) = -476*s**2 + 6*s - 1. Let z be q(1). Let m = 509 + z. Is m a multiple of 19?
True
Let s(a) = -134*a**2 - a + 2. Let f be s(1). Let p = 164 + f. Is 10 a factor of p?
False
Let u = 67 + -63. Let o be 0/u - -4*24. Let i = o + -32. Is i a multiple of 11?
False
Let c = -185 - -188. Suppose -4*k = 3*p - 257 - 104, -5*k + 458 = -c*p. Does 2 divide k?
False
Let j(h) = 2*h**2 - 9*h + 48. Suppose 5*a + 2 = 7, -5*k = 4*a - 64. Does 19 divide j(k)?
True
Does 24 divide ((-95)/(-3))/(100/6600)?
False
Suppose -4*o + 16 - 5 = 3*s, 5*s = o - 20. Let b be 10 - (-4 - s - -3). Is (b - 7)/((-38)/40 + 1) a multiple of 2?
True
Suppose -7409*o - 4132238 = -7492*o. Does 11 divide o?
True
Let o(b) = -4*b**3 - 15*b**2 - 7*b - 37. Is o(-10) a multiple of 217?
False
Suppose -27*c + 191202 = -16*c. Does 16 divide c?
False
Let r = 8677 - 4818. Is 13 a factor of r?
False
Suppose -2*j + 30*o - 33*o + 1736 = 0, 0 = 3*j - o - 2626. Does 8 divide j?
False
Is 114 a factor of (-107*(-1 + 495/(-18)))/(2/24)?
True
Suppose -59*v - f - 79214 = -61*v, -4*f + 158404 = 4*v. Is v a multiple of 67?
False
Suppose -4*t + b + 0*b + 6 = 0, 5*t = 5*b + 15. Let q be ((2 - -1)*t)/((-30)/(-20)). Suppose q*m - 4*m = -3*l - 417, -4*l + 1054 = 5*m. Does 42 divide m?
True
Suppose -o + 3456 - 481 = -4*h, -5*o + 2*h = -14947. Is o a multiple of 15?
False
Let v(z) = 2*z**2 + 2*z - 2. Let d be v(-3). Suppose 5*b - b + 16 = -5*j, 2*b = -3*j - d. Is 1*((-3)/b + 41) a multiple of 19?
True
Suppose -32*s = -34*s + o + 13534, 6776 = s - 5*o. Does 16 divide s?
False
Let x(c) = -8*c - 52. Let q be x(-7). Suppose -4*h - 544 = -q*w + 96, -5*h = 3*w - 448. Is 26 a factor of w?
True
Suppose -14 = 8*o + 58. Is 18 a factor of 3504/108 - (-4)/o?
False
Let f(i) = i**2 + 17*i + 3. Let y be f(-17). Suppose -22 = -o - y*h + 14, 4*h = 0. Let l = 60 + o. Is l a multiple of 16?
True
Let x(a) = a**2 + 10*a + 4. Let k be x(-8). Does 11 divide (9/(135/3940))/((-8)/k)?
False
Suppose q + 150 = -5*o + 750, -o - q + 116 = 0. Does 18 divide o - (3/(-1) + -2)?
True
Let s = -74 - -89. Suppose -s*r - 3 = -16*r. Suppose -312 - 282 = -r*m. Does 33 divide m?
True
Suppose -3*w + 0*g + 40 = -g, 0 = 4*g - 20. Suppose -w*y + 14*y + 608 = 0. Is 32 a factor of y?
True
Let x(v) = -7*v - 13. Let r be x(-3). Suppose r*t = -20 - 28. Does 40 divide (-2)/6 + (-698)/t?
False
Let w = -343 + 670. Suppose -5*i = 27 - w. Does 2 divide i?
True
Let f = -1695 - -6574. Does 3 divide f?
False
Let p = 68 - 65. Let y be (-735)/(-3) - (-1 + -3). Suppose -p*h + y = 3*x, x - 2*x = 4. Is 29 a factor of h?
True
Suppose 38 = 4*i - 38. Suppose -i*a + 4455 = -10*a. Is a a multiple of 11?
True
Let q = 9356 + 11619. Does 68 divide q?
False
Let a(n) = n**2 + 9*n + 3. Let m be a(7). Suppose m = q - 26. Let j = -49 + q. Is j a multiple of 46?
True
Let p = 20 + -16. Let u(k) = 6*k - 8. Let m be u(p). Let f = m - 8. Is f a multiple of 8?
True
Let v(g) = g**3 - 2*g**2 - 2*g - 30. Let r be v(0). Let o = 29 + r. Let c(q) = -264*q**3 + q**2 + 2*q + 1. Is c(o) a multiple of 19?
False
Let r = -250 + 255. Suppose 5*n - 465 = -r*j, 2*n = -j + 6 + 92. Does 4 divide j?
True
Let g = 127 + -199. Is 66 a factor of 96/g + (-3572)/(-6)?
True
Let q = 570 - 399. Is 3 a factor of q?
True
Suppose 0 = -5*b + d + 31, 2*b + 2*b - 40 = -3*d. Let n(j) = -455*j + 13*j**2 - 4 - 663*j - 2*j**3 + 4 + 1133*j. Is n(b) a multiple of 3?
False
Let l(y) be the second derivative of y**5/20 + 11*y**4/12 - y**3 - y**2 - 37*y. Is l(-8) a multiple of 7?
True
Suppose 6*x = f + 9*x - 1382, 4*f - 5588 = -2*x. Is 8 a factor of f?
True
Let b(u) = u**2 - 3*u + 1. Let c be 1 - (-52)/12 - 4/(-6). Let k be b(c). Suppose 5*l - k = p - 126, 2*p - 3*l - 242 = 0. Is p a multiple of 32?
False
Suppose 12*a = -13197 - 2655. Let z = a + 1958. Is z a multiple of 14?
False
Let q = 2631 + -1427. Is q a multiple of 3?
False
Suppose 0 = -2*n - 2*n - 3*w + 3, 2*n + 3*w - 9 = 0. Let c(o) = o**3 + o**2 - 6*o. Let b be c(n). Suppose 108 = 4*r - b*r. Is 9 a factor of r?
True
Suppose -282 = 1241*a - 1235*a. Does 5 divide 3/(3/(-2)) - (a - -22)?
False
Is 57 a factor of 2/20 - (-2744283)/470?
False
Suppose -18*n = -262*n + 4900008. Does 88 divide n?
False
Let v(u) = -12*u + 42. Let s be v(-13). Let t = s - 58. Is t a multiple of 35?
True
Is 75/(-50) + 53283/(-15)*(-90)/12 a multiple of 45?
True
Let v(r) = 94*r + 81. Let d = 126 - 123. Does 13 divide v(d)?
False
Let j = -80 - -43. Let p = j + 42. Suppose 8*q - 369 = p*q. Does 37 divide q?
False
Let p = 393 + -390. Suppose p*v - g - 1010 = 0, -5*v + g = -1388 - 294. Is v a multiple of 16?
True
Let q = -353 - -395. Does 53 divide 146*(80/q + (-8)/(-84))?
False
Let d be (-91767)/(-13) + (1 - 2 - 2). Suppose -7*r + 14*r - d = 0. Is r a multiple of 18?
True
Let q(t) = 32*t**2 - 4*t + 4. Let k be q(-4). Suppose 0 = 22*h - 29*h + k. Suppose 6*r = 3*r - 5*u + 63, -h = -4*r - 4*u. Does 16 divide r?
True
Suppose 11*t