-31592 - -41733. Is j a multiple of 7?
False
Let x(b) be the first derivative of 5*b**2 - b + 14. Let w(o) = 11*o - 2. Let q(f) = 6*w(f) - 4*x(f). Is q(4) a multiple of 12?
True
Suppose 19 = c + 104. Let r = 17 - c. Is r a multiple of 34?
True
Suppose -5*y = -4*w + 23, 4*y + 5 = -5*w + 3. Let b(p) be the first derivative of 3*p**4/4 - p**3 + 2*p**2 - 2*p + 2. Does 9 divide b(w)?
True
Let z be (-28)/(-154) - 383/(-11). Suppose -114 = -38*l + z*l. Is l a multiple of 38?
True
Does 16 divide 6 + ((-48)/(-64))/(89055/(-29688) - -3)?
True
Let v = -189 - -189. Suppose v = 2*h - 448 + 148. Does 30 divide h?
True
Let m(w) be the first derivative of 118*w**3 + w**2 - 2*w - 11. Let d be m(1). Suppose n + d = 7*n. Does 14 divide n?
False
Suppose -3*m + 582 = -2*f, -2*m + 281 = -f + 2*m. Let o = -289 - f. Is o a multiple of 4?
True
Suppose -4*v + 723 = -3*a, -5*a - 883 = -3*v + 311. Is 17 a factor of (-4)/(a/59 + 4)?
False
Suppose 2*t - 87 = -3*q - 23, 5*q = -4*t + 128. Is 14 a factor of (-361)/(-2) + (1200/t)/25?
True
Let a(y) = 331*y + 73. Let q(d) = -165*d - 37. Let t(l) = -4*a(l) - 7*q(l). Is t(-3) a multiple of 79?
True
Let n = 281 + -300. Is 4 a factor of 8 - 1 - 3154/n?
False
Does 25 divide (7 - ((-25293 - 4) + 1)) + 1*-3?
True
Let a be 31976/140 - 2/5. Suppose -219*l - a = -221*l. Does 28 divide l?
False
Let b(x) = x**2 + x + 2. Let l(u) = 5*u**2 + 11*u + 18. Let j(f) = -4*b(f) + l(f). Is j(-15) a multiple of 13?
True
Does 55 divide 1429 + 7/105*15?
True
Let m(n) = 9*n**2 + 13*n + 14. Let z be m(13). Is 71 a factor of (45/(-6))/(6/z*-3)?
True
Suppose 5*c - 3*l = -139, -380*c + 379*c + 5*l = 41. Let u = 6 + -3. Does 14 divide u/2 - 533/c?
False
Suppose -5*y - 2*k = -39108, 106*y + 5*k - 7794 = 105*y. Does 54 divide y?
False
Let w = 208 + -215. Is ((-147)/(-1))/w*-26 a multiple of 21?
True
Suppose -5*q - v = -188, 5*q - 109 - 87 = 3*v. Suppose 0 = 5*d - q - 107. Suppose 56 = 5*x - d. Is x a multiple of 17?
True
Let b(i) = -3*i**3 - 28*i**2 - 191*i - 39. Is 5 a factor of b(-12)?
True
Let w = -15606 + 18128. Is w a multiple of 97?
True
Suppose -62*p = -399716 - 57782. Is p a multiple of 32?
False
Suppose -4 = 81*h - 82*h. Suppose 0 = 5*t + i - 252, h*t - 3*i = -4*i + 202. Is t a multiple of 12?
False
Let d(b) = 7*b**2 - 8*b**2 + 2*b + 2*b**2 + 34 + 21. Is d(12) a multiple of 19?
False
Let m = -57 + 61. Suppose 0 = m*u - 5*u + 4, 2*s + 6 = -u. Is (s - -3 - 3)*(-1 + -9) a multiple of 17?
False
Suppose 0*y - 3*g = -y - 4, -5*g + 8 = -y. Is y/((-9)/(-369) + 0) a multiple of 5?
False
Let x(a) = 8*a**2 + a - 3. Let n be x(-2). Suppose 0 = -4*m + n - 447. Let p = 43 - m. Is 37 a factor of p?
True
Let l = 93 - 74. Let h = l + 68. Is h a multiple of 5?
False
Let l(g) be the first derivative of 5*g**3/3 - 13*g**2/2 - 142*g - 206. Does 48 divide l(17)?
False
Let v(p) = -p**3 + 101*p**2 - 1780*p - 161. Is 12 a factor of v(76)?
False
Let n(q) = -1616*q - 3. Let t be n(-1). Suppose 2*h = -3*w + t, 1088 = 2*w + 2*h + 12. Is w a multiple of 18?
False
Suppose t + 122 = -278. Let w be (3 - 5)/(5/t). Suppose -10*o = -5*o - w. Is 13 a factor of o?
False
Let h be (7 + (-51)/9)*(3 + 0). Is 75 a factor of h/(-6) - (-87890)/165?
False
Suppose -7914 = -13*s - 0*s + 6945. Does 11 divide s?
False
Is 5 a factor of (16/(-36))/(2/(-1206))?
False
Suppose 46*g = 42*g + 3416. Suppose -2*l - 2*m + 580 = 0, 5*l - g = -m + 580. Does 11 divide l?
True
Suppose 0 = 433*r - 423*r - 250. Suppose -5*q + r*q - 4960 = 0. Does 8 divide q?
True
Suppose -49*x - 9232 = -35*x - 68424. Is x a multiple of 28?
True
Let r(o) = 6*o + 148. Let x be (-7)/((-7)/3)*14/(-3). Is r(x) a multiple of 29?
False
Let f(j) = -3*j**2 - 11 + 31*j - 38*j - 6*j**2 + 5*j**3. Is f(5) a multiple of 32?
False
Let i(d) = -d**3 + 12*d**2 - 11*d + 2. Let k be i(11). Let t be ((-9)/((-45)/(-124)))/(k/(-5)). Let x = t - 14. Is 3 a factor of x?
True
Let n = -1 + 1. Let s be 21*(n - (-1)/(-3)). Does 6 divide ((539/s)/(2 - 3))/1?
False
Suppose -19*r = 4628 + 882. Let v = 355 + r. Is 5 a factor of v?
True
Let p(v) = -v**2 - v. Let r(j) = 146*j**2 - 2*j - 1. Let a(s) = -p(s) + r(s). Let f be a(-1). Suppose -3*z + m = -143, z + f = 4*z + 3*m. Is 12 a factor of z?
True
Let d(k) = 66*k**2 + 13*k + 13. Let o be d(-4). Suppose 2*h - 186 = f + 497, 3*h + f = o. Is h a multiple of 34?
True
Let g(q) = -q**3 - 10*q**2 - 3*q + 31. Let x be g(-10). Suppose 2*t - 113 = -x. Suppose 0 = t*j - 23*j - 351. Does 13 divide j?
True
Let k be (-536)/(-18) - 2/(-9). Let m be 7 + 1/(1/(-22)). Let u = m + k. Does 8 divide u?
False
Let o(c) = 2*c**2 - 25*c + 33. Let p be o(31). Let y = p + -640. Is 60 a factor of y?
True
Let b = 58705 - 29841. Does 11 divide b?
True
Let p(r) be the second derivative of -r**5/20 - 11*r**4/12 + r**3 - r**2 - 20*r + 2. Is 10 a factor of p(-13)?
False
Suppose 21 = u + 5*k, 2*u = 5*k - 3*k + 18. Let y(l) = -3*l - 3*l - 4*l + u - 6 - l**2. Does 29 divide y(-6)?
True
Suppose -5789 + 1213 = -2*v - 5*p, p - 6903 = -3*v. Is v a multiple of 42?
False
Is (158 + -165)*6/(-14)*2*66 a multiple of 4?
True
Suppose -4383 = 115*f - 124*f. Suppose 3*b - 542 - f = 0. Does 7 divide b?
True
Suppose -2*s + 58686 = 4*x, 507 - 511 = 4*s. Is 6 a factor of x?
False
Let y(f) be the second derivative of f**3/6 + 23*f**2/2 + 8*f. Let v be y(-18). Suppose -156 = -v*p + 59. Is 5 a factor of p?
False
Let v(i) = -2*i**3 - 5*i**2 + 12*i + 3. Let c be v(-4). Suppose 4*w + 8*z = 11*z + 588, -138 = -w + c*z. Does 15 divide w?
True
Let a(z) = 94*z + 39. Let v be a(21). Suppose -23*f + 12*f + v = 0. Does 18 divide f?
False
Suppose -4*k + 4*x + 2500 = -7876, -k + 2582 = -5*x. Does 53 divide k?
True
Suppose -8943 = -14*s + 11763. Is 17 a factor of s?
True
Is 60 a factor of (744/(-279))/((-3)/9072)?
False
Let n(g) = 346*g**2 - 4*g + 3. Let u(o) = o**3 - 7*o**2 - 3*o + 22. Let t be u(7). Is n(t) a multiple of 15?
True
Suppose -29*r + 4507 + 388 = -117601. Is 192 a factor of r?
True
Let q be ((-585)/(-6))/(-13)*668/(-6). Suppose z = 6*z - q. Does 10 divide z?
False
Let c(f) = 24*f**2 + 38*f - 13. Is 46 a factor of c(-12)?
False
Let d = -258 - -155. Let w = d + 96. Is 7 a factor of (-42)/(-1) - (0 + w - -7)?
True
Suppose -96*m - 94069 = -498037. Is m a multiple of 3?
False
Suppose -8*k = -k + 26*k - 17820. Does 9 divide k?
True
Suppose 15*r + 38*r = 4*r + 36015. Suppose 3*p - 29 = -x - x, 4*x = -p - 7. Suppose -18*j + r = -p*j. Is 10 a factor of j?
False
Let k(i) = -5*i**3 - 3*i**2 + 2*i + 23. Let s be k(-5). Suppose 0 = 2*f - s + 399. Is 15 a factor of f?
False
Let y be (-2 - (-2)/5)/(16/(-1240)). Let m = y + 86. Is m a multiple of 20?
False
Suppose 8*p - 5*q - 21 = 4*p, -2*p = 2*q - 6. Suppose -p*r = -4*g + 432, -4*g - 3*r + 536 - 69 = 0. Suppose 435 = 7*x + g. Does 23 divide x?
True
Let c = -248 + 353. Is c/3 + 4/(-1) + 3 a multiple of 3?
False
Let x(d) = d**2 + 16*d + 21. Let f be x(-14). Does 22 divide (-6)/(-42) + (-1847)/f?
True
Suppose -i + 21 = 5*m, -4*m + 31*i = 32*i - 16. Suppose -m*s + 203 = -3*g - 51, 48 = s - 2*g. Does 13 divide s?
True
Is 7 + (3 - 10) - -1643 a multiple of 2?
False
Let t be 715/(-99) + 7 - (-280)/45. Let c(x) = -5*x - 3. Let f(z) = -15*z - 9. Let p(y) = 11*c(y) - 4*f(y). Does 3 divide p(t)?
True
Suppose -54*p = -62*p + 40. Suppose 0 = 3*c + p*y - 126, 168 = 4*c + 3*y + y. Is 42 a factor of c?
True
Let f(b) = -526*b - 10. Let h be f(-4). Suppose 5*w - h = -5*p + 3*p, -2*w + 846 = 5*p. Is 19 a factor of w?
True
Suppose -s + 291 = -5*h + 17, 0 = 4*s + 5*h - 971. Does 19 divide s?
False
Suppose -8 = -3*n + 5*a, -n + 3*a - 2*a = 0. Let t be 1/(10/n) + (-462)/(-30). Suppose -3*v + 225 = -t. Is 16 a factor of v?
True
Let m = -1286 + 7532. Does 18 divide m?
True
Suppose -46*o + 14 = -45*o. Suppose -o*i - 130 = -9*i. Let f = i - -92. Does 7 divide f?
False
Let g(j) = 4*j**2 - 53*j + 62. Let y be g(12). Let f(t) = 47*t**3 - 5*t**2 + 8*t - 7. Is 55 a factor of f(y)?
False
Let p(v) = v**2 - 9*v + 20. Let b be p(6). Let h(u) = u**3 + 4*u**2 + 2*u**2 - 9*u + 7 + u**2 - 8*u**b. Does 19 divide h(6)?
True
Let b(l) = 1 + 8*l - 10*l**3 - 21*l - 9*l**2 + 9*l**3. Let o be b(-7). Is 17 - o/(-3)*(-3)/(-2) a multiple of 8?
False
Let o = 54 + 19. Suppose 3*c - 51 = -5*g + 57, 5*c - 5*g = 140. Let j = o - c. Is 21 a factor of j?
True
Suppose 240*c + 35100 = 253*