 39 a factor of -9 + 164 + (t - -1)?
True
Is 594/3267 + 149552/22 a multiple of 33?
True
Let t = -14 + 14. Let f be 0 - t - -1 - -99. Is 4 a factor of f/26 + 6/39?
True
Let s(m) = -8*m - 51. Let p(r) = r**2 + 15*r - 9. Let h be p(-15). Is 13 a factor of s(h)?
False
Let s = 3 - -13. Is 15 a factor of ((-40)/6)/(9/((-5832)/s))?
True
Suppose -22*p = -27*p + 45. Let r be (p/(-6))/(12/(-416)). Let f = r + -16. Is f a multiple of 9?
True
Let c = 26591 + -25283. Is 6 a factor of c?
True
Suppose 13*x - 420 = 16*x. Let m = -92 - x. Is m a multiple of 8?
True
Let i be (-2 - (1 + -6)) + -1. Suppose -2*v - w + 37 = 0, -2*v + w = -i*w - 25. Suppose v*c - 110 = 12*c. Is c a multiple of 9?
False
Suppose 11985*k - 2*j + 25343 = 11990*k, 0 = k + 3*j - 5066. Does 54 divide k?
False
Let k be -1*(-2)/(-10) - 42/(-10). Let j = -386 - -580. Suppose k*q - j = 126. Is q a multiple of 10?
True
Let i be (3/(-3))/(3*(-4)/168). Suppose -b + 151 = i. Does 7 divide b?
False
Let o be (-658)/3 - 2/(-6). Let s = -2578 + 2912. Let i = s + o. Does 18 divide i?
False
Let h(x) = 4*x**2 + 3*x + 3. Let v be h(-2). Let t be 53/3*(8 + -4 - v). Let p = t + 237. Is 39 a factor of p?
True
Let y(r) = -2*r + 24. Let j be y(6). Suppose -j*v + 5880 = 8*v. Is v a multiple of 6?
True
Let r = 7053 - 511. Suppose -4*m + r + 1362 = 0. Is 13 a factor of m?
True
Suppose -69*u - 5*t - 9183 = -71*u, 3*u + t - 13732 = 0. Does 43 divide u?
False
Let g(t) = -7*t**3 + 4*t**2 + 2*t - 1. Let h(q) = -q**3 - q**2 + q - 1. Let j(m) = -g(m) + 5*h(m). Let s be j(4). Is ((-9)/(-12) + (-124)/16)*s a multiple of 7?
True
Let x(z) = 25*z + 52. Suppose 4*l = 4*a + 56, 0 = 10*l - 14*l - a + 51. Is 29 a factor of x(l)?
True
Let f(l) be the third derivative of 7/12*l**5 - 42*l**2 + 0*l - 5/2*l**3 + 0 - 5/24*l**4. Is f(-2) a multiple of 10?
False
Suppose -1047*p + 1043*p = -944. Let r = p + -53. Is r a multiple of 52?
False
Suppose -2*w = 3*w + 330. Let x = -38 - w. Is 24 - x - (-105 + 0) a multiple of 20?
False
Let j(g) = 24*g**2 + 4*g + 4. Let k be 19/(-5) + (-4)/20. Let w(b) = -23*b**2 - 3*b - 4. Let s(z) = k*w(z) - 3*j(z). Is s(-2) a multiple of 14?
True
Let s(x) = 31*x**2 - x + 4. Let g be s(2). Let m = g - 222. Let k = -60 - m. Does 36 divide k?
True
Let t = 89216 - 61087. Does 85 divide t?
False
Suppose -2*q - 64 = -0*q. Suppose 54*k - 43 = -4*y + 57*k, y + 5*k - 5 = 0. Is (-144)/(-5) - (q/y - -3) a multiple of 3?
False
Suppose -b + 8*z + 14986 = 4*z, -5*b + 2*z = -74858. Suppose 3*y + 12*y = b. Is 19 a factor of y?
False
Let g be (1 - 3) + 30 + -44800. Does 23 divide g/(-132) + (-3)/((-33)/(-2))?
False
Let a = -202 + 390. Let n = -13 + a. Is n a multiple of 35?
True
Let i(s) = 497*s**2 + 11*s - 40. Is 25 a factor of i(-3)?
True
Let l(s) = 65*s**3 + 4*s**2 - 44*s + 81. Is l(9) a multiple of 18?
True
Let j(h) be the second derivative of -7*h**6/120 - h**5/20 + h**4/6 + 6*h**2 + 34*h. Let o(p) be the first derivative of j(p). Does 36 divide o(-2)?
True
Let o be ((-6)/(-4))/((-12)/208). Let a(t) = t + 136. Is 12 a factor of a(o)?
False
Suppose m + 9 = 2*f, m = -3*f - m + 10. Suppose k = -f*g + 96, -3*g = -5*k + 535 - 32. Is 5 a factor of k?
True
Suppose 15*r - 34*r = -58482. Suppose -43*w + r = -34*w. Is 19 a factor of w?
True
Suppose 199*d - 181173 = 32155. Is d a multiple of 68?
False
Let z(i) = -8 + 22 + 63*i - 64*i + 5*i**2. Let a be z(-14). Suppose 0 = -6*g + 12*g - a. Does 21 divide g?
True
Suppose f + 73 = 4*x - 5, 4*f = 2*x - 46. Let z = x - 9. Is ((-4)/5)/(z/(-825)) a multiple of 35?
False
Let u(d) = -d**2 - 25*d - 30. Does 16 divide u(-18)?
True
Suppose -3*k = 7 - 19. Suppose -k*q - 199 = -3*q. Let d = q + 333. Is d a multiple of 18?
False
Suppose 2779 = 13*y - 6*y. Let g = y - 163. Is 6 a factor of g?
True
Let w = 24 - 29. Does 2 divide 4/(-20) + (-76)/w?
False
Let t be -4*(28/(-8) - -4). Let l be (4*t)/(2/(-1)). Is (64/(-12))/(l/(-72)) a multiple of 24?
True
Suppose l + 12*l - 16718 = 0. Suppose 14*x - l = 940. Does 17 divide x?
False
Let y = -617 + 622. Does 21 divide (21/y)/(31/9765)?
True
Let n(o) = o**3 + 79*o**2 + 72*o - 108. Does 15 divide n(-28)?
True
Let q(a) = -a**3 + 87*a**2 + 187*a + 201. Is q(89) a multiple of 6?
True
Let y be 6/(-7)*(-2695)/33. Is 11 a factor of 1012/(90/y + 6/(-21))?
True
Suppose -43*b - 5*b - 7*b + 162800 = 0. Is 16 a factor of b?
True
Suppose v = 5*h - 131714, 3*v + 396 = 369. Does 15 divide h?
False
Let b = 3635 - 2500. Does 9 divide b?
False
Let a(r) = -364*r + 4. Let q be a(-1). Suppose -4*p - 560 = q. Let l = -53 - p. Is l a multiple of 32?
False
Let m = -13564 + 19937. Is m a multiple of 6?
False
Let f(q) = -6870*q - 1950. Is f(-6) a multiple of 88?
False
Suppose 572 - 112 = -10*x. Let d = x + 50. Suppose 380 = d*l + 140. Is l a multiple of 15?
True
Let o(w) = -20*w**2 + 2*w. Let c be o(-1). Let x be ((-656)/c - (-8)/44) + 3. Suppose -66 = x*s - 34*s. Is s a multiple of 11?
True
Let z = 1579 + -1125. Let x = z - 178. Is x a multiple of 46?
True
Suppose d - 634 = -3*l, 230 = -d + 5*l + 880. Suppose -34*y + 32*y = -d. Is 16 a factor of y?
True
Suppose 10*s = -1175 - 65. Let m be -1 + 2 - 1076/4. Let h = s - m. Is h a multiple of 24?
True
Suppose 10 = -14*u + 4*u. Suppose 5*a + 3 + 7 = 0. Is 6 a factor of ((-688)/(-32))/(u/a)?
False
Suppose 0 = -3*m, -7 = 3*t - 5*m + 8. Let o(b) = 9*b**2 - 4*b - 20. Does 9 divide o(t)?
True
Suppose -5072 = -2*u + 5466. Suppose -6*m + 311 = -u. Is 12 a factor of m?
False
Suppose 13 = r + 4*d - 2139, 3*r + 2*d = 6456. Let q = r - 1506. Is 10 a factor of q?
False
Suppose 13*x - 236 = -171. Suppose -x*i = -0*i + 4*q - 68, 0 = 3*i - 5*q - 63. Is i a multiple of 5?
False
Suppose -3*h + 14060 = h. Suppose 7*z + 867 + h = 0. Let i = z - -932. Does 18 divide i?
True
Suppose 4*t - 22 + 2 = 0. Suppose -t*s + 5*h + 15 = 0, 9 = 3*s - 4*h - h. Suppose s*g + 28 = l + 4*g, -24 = -l - 3*g. Is l a multiple of 10?
True
Suppose -2*h - g - 20 = 5, 5*h - 4*g + 56 = 0. Let i = h - -9. Does 2 divide (-4)/18 + 200/9 + i?
False
Suppose 388977 + 919680 = 132*z + 347037. Does 47 divide z?
True
Let z(w) = -3286*w - 771. Is 47 a factor of z(-7)?
True
Let x = 29 - 21. Suppose -4*m - x = -3*s - 4, m + 5*s = -24. Is 940/12 + m/(-6)*1 a multiple of 9?
False
Suppose -3*n = 2*a - 6450, -5*a - 5*n + 5674 = -10436. Is a a multiple of 26?
False
Suppose 0 = -4*d + 2*j + 2, 13*j = 2*d + 15*j + 2. Suppose d = g - 329 - 16. Is g a multiple of 15?
True
Suppose -2*u + 3*f + 3961 = 0, 3940 = 79*u - 77*u + 4*f. Is u a multiple of 13?
True
Let z(w) be the second derivative of 11*w**3/6 + 5*w**2/2 + w. Let c(f) = f. Let y be c(5). Is 20 a factor of z(y)?
True
Let b = 97 + -91. Let v(g) = -g**3 + 19*g**2 - 5*g - 22. Is 31 a factor of v(b)?
False
Let s(m) = -m**2 + 4*m + 13. Let w be s(6). Let r be ((-124)/12)/(w/(-3)). Suppose r*o + 20 = 35*o. Is o a multiple of 3?
False
Let u = 86 + -57. Let b = u + -27. Suppose 0*g = 2*l + 4*g - 260, -265 = -b*l + g. Is 13 a factor of l?
False
Suppose -8*q + 10*q = -4*t + 9400, 4*q = 2*t + 18850. Is q a multiple of 15?
True
Suppose 17*q - 63 = 14*q. Suppose -q = -4*h - 77. Let u = h + 47. Does 6 divide u?
False
Let d be 12/90 + 43/15. Let x(w) = 48 + w**2 + 4*w**3 - 37 - d*w - 5*w**3 - 5*w**2. Is x(-3) a multiple of 11?
True
Let k(u) = 79*u**2 - 18*u + 5. Suppose 3*h + 2*n = -176 + 174, 5*n = 4*h + 18. Does 7 divide k(h)?
True
Let n(i) = i**3 + 8*i**2 + 3*i + 24. Let c be n(-8). Suppose c = -3*a + 5*g - 10*g - 13, a + 3*g = -11. Suppose a*u - 14 = 22. Is 6 a factor of u?
False
Let z = 9646 - -5432. Is 7 a factor of z?
True
Let k = -440 + 1190. Suppose 19*v = 14*v + k. Is 5 a factor of v?
True
Let j(v) = -27*v - 34. Let b(g) = 10*g + 68. Let f be b(-7). Is 20 a factor of j(f)?
True
Suppose p = -3*l + 3 + 5, -4 = -2*p. Suppose -5*k = -3*k - 6. Suppose 0 = -l*n - k*c + 217, 3*n + n - 5*c = 445. Is n a multiple of 20?
False
Does 13 divide (0 + (-118302)/(-8))*((-17)/3 + 7)?
False
Suppose 110*v - 3625545 = -109*v. Is v a multiple of 55?
True
Let u(k) = 8*k - 20. Let f = 65 + -62. Let c be u(f). Suppose 0 = -c*m - 4*y + 536, -2*m - 6*y + 267 = -3*y. Does 9 divide m?
True
Let f(v) be the first derivative of -v**4/2 - 4*v**3/3 + 7*v**2/2 + 8*v - 4. Let c be f(-4). Suppose 5*k - 5*d - 25 = 50, 2*k - c = -5*d. Is 5 a factor of k?
False
Suppose 11*r - 1058