s 15 divide b?
True
Let j(i) be the second derivative of -i**5/20 + 2*i**4/3 - 2*i**3 + 5*i**2 + i. Suppose 2*y - 18*d = -13*d + 27, -y = 2*d. Does 2 divide j(y)?
True
Let t(c) = -30*c + 812. Let g be t(0). Suppose 48*a - 41*a - g = 0. Does 12 divide a?
False
Suppose 0 = -4*l - 3*v + 526, -4*l = -2*v - v - 514. Suppose -6*j + 3*u = -j - 686, j = 3*u + l. Suppose 4*b = j - 7. Does 6 divide b?
False
Let a = -21 + 26. Suppose -3*w = -a*f + 14 + 4, -2*w = 5*f - 13. Suppose 4*u = 4*k + 908, k = 5*u - f*k - 1138. Is 18 a factor of u?
False
Suppose -4*s + 492 = -2*l - 1126, s - 402 = 3*l. Suppose -11*x = s - 2484. Is x a multiple of 7?
True
Let a(m) = -m**3 - 3*m**2 + 6*m + 4. Let p be a(-4). Let t(b) = b**2 - 26*b - 35. Let x be t(27). Is 2 a factor of 1 - x - p/(-4)?
True
Suppose 0 = -4*o - 3*i + 38, -i - 24 - 22 = -4*o. Suppose -o*p + 16 = 5. Is (21 - p)/((-12)/126*-7) a multiple of 3?
True
Let a be 17880/330 + ((-8)/22)/2. Let u = a - 54. Suppose 8*t - 1000 + 400 = u. Does 8 divide t?
False
Is 20 a factor of (-1 + 1 + (-10 - (-8 + 18)))*-87?
True
Is ((-255)/170)/((-1)/2086) + 1 a multiple of 11?
False
Let y(b) = -21*b + 56. Let g(r) = -18*r + 57. Let c(k) = 4*g(k) - 3*y(k). Does 56 divide c(-29)?
False
Is 235 a factor of (93*55)/(75/500)?
False
Suppose -g - 10*g = 3*g. Suppose g = 4*a + 10*p - 6*p - 3108, -3*a = -2*p - 2346. Does 30 divide a?
True
Suppose 3*a + 30419 = 49238. Does 51 divide a?
True
Suppose 3*k + 53 = 2*f + 2*f, -2*f - 2*k + 30 = 0. Suppose -1 + 127 = -f*n. Let m(a) = -a**2 - 13*a - 22. Does 2 divide m(n)?
True
Let d(s) = 174*s**2 - 247*s + 107. Is d(15) a multiple of 101?
True
Suppose 0 = -3*t - 3, 5*i - 2*t = 32 + 5. Suppose 768 = -4*v + i*v. Does 19 divide v?
False
Suppose 9*v = 6*v - 15. Let b be (-1)/2*0/v. Is 17 a factor of 34*(2 + 2 + -2 + b)?
True
Suppose 4 = -15*f - 131. Is 46 a factor of 7/((-49)/(-21))*(-2208)/f?
True
Let s be (40/(-15))/(-4)*18/4. Suppose -2*v + 2*k = 2*v + 2, 5*v - k - 5 = 0. Suppose -5*g = -s*r - 594, 2*g + r = -v*g + 482. Is g a multiple of 15?
True
Let o = 20 + -59. Let u = -11 - o. Suppose q = -16 + u. Does 6 divide q?
True
Let g(k) = k**3 + 2*k**2 - 4*k + 3. Let z be g(3). Let o = -17 + z. Is o a multiple of 4?
False
Is 10 a factor of (4 - -512)*(-38 + 43)?
True
Does 16 divide (201 + -89)/((-4)/(-268))?
True
Suppose -11312498 - 17532052 = -630*a. Does 10 divide a?
False
Let n(j) = -40 - 10*j**2 + 22*j**2 - 10*j**2 + 16*j. Does 42 divide n(-19)?
True
Let y(l) = -2*l**3 - 7*l**2 - 3*l + 16. Suppose -10*g = -6*g + 20. Let k be y(g). Suppose 5*t - k = 389. Does 16 divide t?
False
Let s(h) = 17*h**2 + 959*h - 19. Does 31 divide s(-63)?
True
Let l be (8/3)/(((-84)/(-3375))/14). Let c = -873 + l. Is c a multiple of 11?
True
Does 32 divide -12 + 88874 - ((-14)/8 + (-8)/32)?
True
Suppose 0 = 2*k + 2*p + 14, 5*p + 19 = -4*k - 13. Does 20 divide (-33)/(-22)*(-440)/k?
True
Suppose -4*y - 2*p + 26067 = 5655, 2*y - 10218 = p. Is y a multiple of 21?
False
Let x be (-84)/(-15)*255/2. Suppose 138*s + x = 136*s. Let a = s - -523. Does 13 divide a?
False
Let t = -61 - -65. Suppose o = 3*m + 663, o - m = -t*m + 633. Is 21 a factor of o?
False
Is 35 a factor of (-960)/(-2) - (-2 + 7)*18/(-30)?
False
Let r(n) be the second derivative of n**4/6 - n**3/2 - 51*n**2 + 10*n - 9. Does 25 divide r(24)?
False
Suppose 65*o - 181*o = -86*o - 102630. Is 11 a factor of o?
True
Let g = -14260 + 16205. Is 58 a factor of g?
False
Let h = 174 - 165. Suppose 0 = 7*g + h*g - 1024. Is g a multiple of 4?
True
Let q(z) = -z**3 - 17*z**2 - 21*z - 54. Let l be q(-16). Let g = -51 - l. Let c = g + 171. Is 5 a factor of c?
False
Let c = 929 + -361. Suppose 132 + c = 5*a + 3*v, -700 = -5*a - 4*v. Is a a multiple of 7?
True
Let i = -42 - -44. Suppose -x + 5*x - 20 = 4*y, 0 = 2*x + i*y + 6. Is -10*(16/(-4) - x) a multiple of 10?
True
Let b(n) = -58*n + 4837. Is 4 a factor of b(-43)?
False
Suppose 5*d + 106*p = 119*p + 119340, 0 = -3*d - 5*p + 71604. Is d a multiple of 36?
True
Let s(v) = 68*v. Let b be 20/(-5) + 2 + (2 - -1). Is s(b) a multiple of 17?
True
Suppose 6*u - 2*u = -64. Let c be u*-5*131/(-4). Is 8/(-36) + c/(-45) a multiple of 12?
False
Let o = 1748 + -1035. Let n = 1448 - o. Does 49 divide n?
True
Let p be 717*(11 + -5)/(-6). Let w = 1310 + p. Is 11 a factor of w?
False
Let u = -3995 + 6667. Is u a multiple of 14?
False
Suppose -5*g + 30174 = 4*j, 12071 = 16*g - 14*g + 3*j. Is 14 a factor of g?
True
Let q be (1/5)/(4/40). Suppose y - q*l = 15, 0*y - 20 = -3*y + l. Does 25 divide (-31 - -1)/((-2)/y)?
True
Let p(g) = -g**3 - 5*g**2 + 2*g - 4. Let r be p(-5). Let w = 46 + r. Is 7 a factor of w/24 - 101/(-3)?
True
Suppose 0 = -3*r + t + t + 93, 0 = r + 2*t - 31. Let o = r - 58. Is 8 a factor of 3 - 2830/(-18) - (-6)/o?
True
Let b be ((-76)/190)/((-2)/5). Let n(a) = 94*a**2 + 2*a. Does 4 divide n(b)?
True
Suppose y + 73453 = 4*s, 1430*y + 36722 = 2*s + 1434*y. Does 164 divide s?
False
Let g(z) = z. Let k(u) = 10*u + 10. Let q(v) = 5*g(v) - k(v). Let m be q(-6). Let n = m + 93. Is n a multiple of 35?
False
Suppose -6*m - 13 = -37. Let k be (-4 + 17 + -5)*2/m. Suppose 0 = -5*x - 15, 99 = 3*q + x + k*x. Is 29 a factor of q?
False
Let r be 40*12/(0 - 2) - -2. Let z = -453 - r. Is z/(-3) - (-2)/12*2 a multiple of 12?
True
Let m = 3508 - 2684. Is m a multiple of 9?
False
Let l(g) = 6*g + 8. Let s(v) = -v. Let p(j) = l(j) + 5*s(j). Let d be p(-3). Suppose 0 = -d*c - h - 7 + 57, -c + 24 = 3*h. Is c a multiple of 8?
False
Let d(z) = 8*z**3 - 8*z + 2. Let b(j) = -4*j - 56. Let h be b(-15). Let c be d(h). Suppose 6*w = -5*l + 3*w + c, 0 = 3*l - 4*w - 266. Is l a multiple of 14?
False
Does 4 divide -3 - (-2102)/6*((-6 - -3) + 6)?
True
Suppose -3368 = -3*x - 2*u, -3*x + 3344 = -2*u - 2*u. Suppose -9*z + x = -z. Is z a multiple of 13?
False
Let f = -161 + 450. Let c = 561 - f. Does 8 divide c?
True
Suppose 0 = 4*s + 3*w - 59, -s - 2*s + 4*w + 63 = 0. Let v = 29 - s. Is (16/v)/((-1)/(-12)) a multiple of 8?
True
Let p = -1680 + 1675. Suppose -3*r + 6 = 2*l, -2*r + 8 = 3*r + 4*l. Is 0 + 19 + r + p a multiple of 4?
False
Suppose -20*o - 5*o = 6275. Let h = o + 432. Is 10 a factor of h?
False
Suppose -3 = -8*l + 69. Is 16 a factor of 176 + (-5 - (4 - l))?
True
Suppose -y - 52 = -5*y + 4*h, 0 = -2*h - 8. Is (66 - (-72)/y)*19/2 a multiple of 75?
False
Suppose p + 1 = 2*d + 20, 10 = -5*d. Suppose 14*o + 721 = p*o. Does 43 divide o?
False
Let j(z) be the second derivative of -z**5/20 + 11*z**4/6 - 7*z**3/2 + 5*z**2/2 - 4*z. Suppose -63 = -3*b + 4*y, 6*b - 84 = 2*b - y. Is j(b) a multiple of 5?
True
Let x be (-21)/14*(-30)/9. Suppose -m + 214 = -2*n - 157, 362 = m - x*n. Is 15 a factor of m?
False
Suppose 10*r - 34451 = 26749. Is 30 a factor of r?
True
Let o be (2240/2156 + (-4)/22)*14. Let d(x) = -3*x**3 - 15 - 13*x**2 + 14*x + 0*x**3 + 4*x**3. Is d(o) a multiple of 9?
True
Let s be (-17 - -18)/((-2)/(-11 + 1)). Suppose 0 = 26*d - 24*d + s*q - 376, -5*d - 2*q = -982. Is d a multiple of 33?
True
Suppose -8*j = 103 + 113. Is (-3 - j)/(-1 - 29/(-28)) a multiple of 7?
True
Suppose -6*t + 40191 = -24609. Is t a multiple of 120?
True
Let b(c) = 20 - 113*c - 111*c - 116*c + 349*c. Is b(18) a multiple of 7?
True
Let k = -45 - -41. Is (32/k - -7) + 946 a multiple of 9?
True
Does 9 divide (3/6)/((-720986)/360500 + 2)?
False
Let s be (-4)/(4 + -2) + 4. Suppose n + m = -s*n + 791, -3*n = -m - 793. Is 33 a factor of n?
True
Suppose -5*l - 9896 = -4*x, -5*l + 2*l = 0. Suppose -3*y - 2*y + 2*o + x = 0, -9 = -3*o. Is y a multiple of 17?
False
Suppose 52*x + 43*x - 309064 + 23399 = 0. Is 97 a factor of x?
True
Let x = -5186 - -12170. Does 36 divide x?
True
Let g(f) = f**3 + 4*f**2 - 44*f + 229. Does 23 divide g(7)?
True
Let n be ((-6)/(-36)*-3)/((-2)/12). Suppose -v + n*o + 180 = -117, -2*o = v - 297. Does 27 divide v?
True
Let j(u) = -5*u - 33. Let x be j(-8). Suppose -3*c + 6*c - 4*z = 18, c + 3*z = -x. Suppose -220 = -c*v + 56. Is 23 a factor of v?
True
Suppose -4*a + 3*t - 28 = t, 3*a + 3*t = -30. Is 14 a factor of (-68628)/(-112) + 6/a?
False
Suppose 0 = 5*a - 15, -18*a - 3834 = -5*t - 21*a. Let s = -9 + t. Does 108 divide s?
True
Let y = -12993 - -26333. Does 10 divide y?
True
Is 2344*12/(-3)*(-322)/184 a multiple of 21?
False
Suppose 3*t = 12, -5*i + 4*i + 4*t + 26