 3/(-1) - -2. Suppose -3*v = 3*c - 429, -2*c + 2*v + 155 = -c. Suppose b = -8*d - c + 459. Does 4 divide d?
False
Suppose w - 2*t = 278, 11*t - 2 = 13*t. Let b = w - 196. Is 9 a factor of b?
False
Let j(u) be the third derivative of u**4/24 + 29*u**3/2 + 10*u**2 + 3*u. Is 11 a factor of j(14)?
False
Let l = -26 - -36. Suppose 3*u + l*m - 126 = 5*m, -m = 0. Is u a multiple of 5?
False
Let p(r) = 17*r**2 - 4*r - 49. Is p(22) a multiple of 31?
True
Let g = -10849 + 24316. Is 201 a factor of g?
True
Let h(g) = 6*g**3 - 57*g**2 - 13*g + 20. Let s(b) = -3*b**3 + 29*b**2 + 7*b - 9. Let o(c) = -3*h(c) - 5*s(c). Is 56 a factor of o(5)?
True
Let m be (3 - -1)/((-14)/(-224)). Is 15 a factor of ((-109)/(-4))/(8/m)?
False
Let n(y) = -14*y + 790. Let c be n(0). Let x = -775 + c. Does 2 divide x?
False
Suppose 14 + 14 = 7*q. Suppose b + 2*w - 279 = 0, 0*w = -4*b - q*w + 1116. Does 8 divide b?
False
Let r(o) = o**3 + 6*o**2 - 6*o + 20. Let l be r(6). Let s = l - 66. Is 13 a factor of s?
False
Let a = 29 - 18. Suppose 0 = -4*w, 77*w = 4*p + 76*w - 5940. Suppose a*s - p - 1089 = 0. Is s a multiple of 13?
True
Is 69 a factor of (-91233)/(-15) - 25/125?
False
Let g = -376 - -332. Is 15 a factor of g*(12/(-54) - (-212)/(-18))?
False
Let y = -411 + 414. Suppose -4*j + 2*m - 428 = -2026, y*m + 797 = 2*j. Does 20 divide j?
True
Let u(s) = 5*s**3 + 63 + 7*s**3 + 3*s**2 + 2*s - 21*s**3 + 8*s**3. Let j be u(0). Suppose -2*y = 2*x - 38, 2*x = 5*x + y - j. Does 11 divide x?
True
Let y = -26873 - -36340. Does 3 divide y?
False
Let q(b) = 14 + 191*b + 23*b**2 + 28 - 200*b - 14. Does 16 divide q(3)?
True
Let m(r) = r + 1. Let c(x) = x + 2. Let q(j) = 2*c(j) - 3*m(j). Let g be (-144)/9 - 8/2. Is q(g) a multiple of 2?
False
Let x(h) = -4201*h + 7. Let k be x(-1). Suppose 1365*c - k = 1361*c. Does 12 divide c?
False
Suppose -197 = 5*t + 4*q, -2*t + 2*q = 31 + 55. Let l(a) = -a**3 - 42*a**2 - 45*a - 73. Is 31 a factor of l(t)?
False
Let m(n) = -18*n - 34*n - 14 + 1 + 6*n**2 + 1. Does 17 divide m(10)?
True
Let a = 57 + -55. Let h(g) = 237*g**2 - g - 7. Is h(a) a multiple of 28?
False
Let s = -19314 - -48311. Does 259 divide s?
False
Suppose 29*w - 28*w = s - 16262, -6 = -2*w. Does 10 divide s?
False
Suppose 272 = 6*j + 1796. Let n = 289 + j. Is 7 a factor of n?
True
Let z(l) = l**3 + 14*l**2 + 12*l - 3. Let k(h) = -7*h + 81. Let o be k(13). Is z(o) a multiple of 42?
False
Let f(n) = 92*n - 1. Let s be f(4). Let b = -99 + s. Does 27 divide b?
False
Let d = -490 - -164. Let k = d + 639. Is 68 a factor of k?
False
Suppose -4*q = -3*a + 1442, 0 = -4*a - 4*q + 2*q + 1908. Suppose 8*u - a = 6*u + 2*d, -d = 0. Does 16 divide u?
False
Let r be ((-1)/(-5))/(7/70). Let u(m) = 14*m**2 + 15*m + 5*m**2 - 2 - 11*m. Is 9 a factor of u(r)?
False
Let p be -2*7959/(-28)*4/(-6). Let b = p + 389. Is 5 a factor of b?
True
Suppose 0 = -r - 2*n + 82832, -3776*r - 3*n - 248424 = -3779*r. Is 16 a factor of r?
True
Suppose -3*f = w - 13667, -3*f - 4*w + 13677 = -w. Suppose -4*z = -15*z + f. Suppose -6*c + z + 510 = 0. Is 11 a factor of c?
True
Does 42 divide ((-58425)/45 - 8)*-3?
False
Suppose 5598 = 3*q + 2*k, -4*k - 27 + 3 = 0. Does 5 divide q?
True
Let h(t) = -t**3 + 6*t**2 + 2*t + 3. Let x be h(6). Suppose -x*d + 10*d - 2440 = 0. Does 23 divide (6/(-4))/(-2 + (-970)/d)?
False
Let c(r) be the first derivative of r**6/120 - r**5/30 - r**4/4 - 4*r**3/3 + 27. Let z(j) be the third derivative of c(j). Is z(4) a multiple of 6?
False
Let f be -4 - -3 - (4 + -5). Let o(b) = b**3 + b**2 + b - 3. Let t be o(f). Let h(m) = -6*m**3 + m**2 - 2*m - 3. Is h(t) a multiple of 16?
False
Let i = 14357 + -8195. Is i a multiple of 13?
True
Let i = -34123 - -40381. Does 25 divide i?
False
Suppose 0 = 2*g - 3871 - 437. Suppose -7*f + 6358 + g = 0. Is f a multiple of 76?
True
Suppose t = -2*o + 2*t + 1, -5*o + 10 = -t. Let k be (-1 - 1)/(-1 + 0 - 0). Suppose -k*m - o*c + 94 = c, 0 = -2*m + c + 94. Is m a multiple of 47?
True
Let k = 21354 + -11808. Is 69 a factor of k?
False
Let p(k) = -k**2 - 2*k + 1330. Let l be p(0). Suppose -9*j + l = -1154. Is j a multiple of 12?
True
Let b(t) = 10 - 16*t - 2*t - 5 + 8*t. Does 25 divide b(-27)?
True
Is 332 a factor of (-2)/(-23) - (-113577596)/3082?
True
Let u(z) = -z**2 - 19 - 16*z + 63 - 49 + 9*z**3. Is u(5) a multiple of 86?
False
Suppose 4*x - 2398 = -3*j - 186, -4*x = -5*j - 2180. Suppose -x - 150 = -7*g. Is 5 a factor of g?
True
Suppose -u + 143668 = 13*u. Suppose -d = -15*d + u. Is 10 a factor of d?
False
Let c(h) = h**2 - 3*h + 4. Let m be (-26)/(-12) - 17/102. Suppose -3*a + m*o + 19 = 49, 0 = 4*o. Does 31 divide c(a)?
False
Let b = 108357 - 62817. Does 15 divide b?
True
Suppose 35 = -469*q + 464*q, -r + 4*q + 9200 = 0. Is 6 a factor of r?
False
Suppose 506 - 521 = -5*h, 2*z = 3*h + 36463. Is z a multiple of 97?
True
Let v = 33592 - 25563. Is 16 a factor of v?
False
Suppose 5*i = 3*h + 35 + 4, -i + 5 = -2*h. Suppose -3*q + 583 = i*c - 5*c, -2*c + 305 = -3*q. Does 37 divide c?
True
Let t = -152 + 152. Suppose -17*o + 4*o + 780 = t. Is 12 a factor of o?
True
Let s(g) = -34*g**3 - 6*g**2 - 7*g - 4. Is s(-3) a multiple of 7?
False
Does 5 divide (15/10)/((-9)/(-18))*1560?
True
Let i(n) = n**2 + 4*n - 18. Let h be i(-7). Suppose 10 = 2*o, 0 = -h*k - 2*o - 23 - 96. Let v = k + 120. Is v a multiple of 11?
True
Let p(a) be the third derivative of -a**5/60 + 5*a**4/24 + 10*a**3/3 - 5*a**2. Let h = -1 + 7. Does 6 divide p(h)?
False
Suppose -l + 28 = 3*l + 4*b, -4*b + 8 = -l. Suppose 2*u - 110 = 4*q, -l = 3*q - 1. Let c = u - -42. Is 15 a factor of c?
False
Let j(f) = 3*f - 11. Let h(r) = 18*r - 78. Let q(l) = 6*h(l) - 44*j(l). Is 13 a factor of q(-8)?
True
Let b(v) = 3*v + 2. Let r be b(0). Suppose -28 = -r*m - 0*m. Suppose -432 = m*t - 17*t. Is t a multiple of 18?
True
Let a(u) = -u**3 - 5*u**2 + 4*u - 3. Let v be a(1). Is 24 a factor of (-15 - 1390)*4/v?
False
Does 26 divide -6 + -2 - (-25578)/(-21 - -30)?
True
Let a(f) = -436*f**3 + 8*f**2 + 11*f. Does 7 divide a(-2)?
False
Let n = 4595 - 3531. Is n a multiple of 14?
True
Let w(j) = -18*j - 588. Does 42 divide w(-77)?
True
Suppose 8*f = 3*f + 1565. Let c = -24 + f. Is c a multiple of 20?
False
Let u = 22 - 21. Let h be 2 + -9 + 5 - (-56)/u. Let b = h - 38. Does 4 divide b?
True
Suppose -2*x = -y + 11476, 3*x - 34383 = 24*y - 27*y. Is y a multiple of 182?
True
Let w(q) = q + 8. Let h be w(-4). Suppose 3*t + 9 = -c, 2*c - h*t - 17 = 5*c. Is (c - 88)*(-1)/1 a multiple of 13?
True
Is 146 a factor of 9/15 + (-531434)/(-35) - 438/1022?
True
Let m = 929 + 2503. Is m a multiple of 88?
True
Let h(v) = v**3 - 76*v**2 - 197*v - 66. Is h(79) a multiple of 182?
True
Suppose -82*o - 6732 = -60*o. Does 8 divide -65 - o - (-18)/2?
False
Suppose 0 = -7*a + 12*a - 5, 3*c + 4*a = 19. Let q(i) = 3*i**2 + 19*i - 40. Does 13 divide q(c)?
True
Suppose 7*f + 19 = -2. Let o be (-14)/f + (-1)/(-3). Suppose 0 = -o*b - 0*b + 5, -b = -3*i + 389. Does 12 divide i?
False
Suppose 11 + 49 = 5*m. Suppose -2*a + m*a = 150. Is a a multiple of 3?
True
Is (-245)/441 + 91896/27 a multiple of 41?
True
Let u(r) = -r**3 - 9*r**2 - 10*r - 22. Let m be u(-8). Let j = m - -193. Does 18 divide j?
False
Let d(h) = h**2 - 13*h + 12. Suppose 0 = 2*u + 5 - 29. Let k be d(u). Suppose -2*p - 5*n = -150 - 72, k = -3*p + 4*n + 356. Is p a multiple of 25?
False
Let r be (-43 - 2) + -7 + 7. Let l = -41 - r. Does 19 divide (-28)/(-24)*-4*(-42)/l?
False
Let x be 5 - (1 + 2/(-1)). Let f(l) = -l**3 + 11*l**2 - 23*l + 4. Does 8 divide f(x)?
False
Suppose 5*d - 33*i - 11323 = -35*i, 6821 = 3*d + 8*i. Is 31 a factor of d?
True
Let c(k) = 792*k - 131. Let r be c(3). Suppose -3642 - r = -29*b. Is 29 a factor of b?
True
Let h(b) = 2*b**3 + 2*b**2 + 2. Let a be h(2). Let q(x) = x**2 - 22. Let f be q(5). Does 2 divide (a/f)/(10/6 + -1)?
False
Suppose -15*t + 44582 = -3058. Is t a multiple of 8?
True
Let t(i) = 3*i**3 + 3*i**2 + 8*i + 25. Let s = -713 + 718. Does 16 divide t(s)?
False
Let a = 7 + -96. Let v = a - -217. Is v a multiple of 16?
True
Suppose -4*l + 52 = 5*p - 0*l, 0 = 3*p + l - 27. Suppose 0 = y - p - 6. Is y a multiple of 3?
False
Let n be 9 - (8 + 5) - (0 + -406). Let y = n - 220. Is y a multiple of 14?
True
Let k(a) = 3*a**2 - 13*a + 26. Is 133 a factor of k(27)?
True
Let u(k) = -10