 Is 15 a factor of d?
True
Let v be -1 + -2 + 45/144*16. Let i be 2 - 0 - (-6)/3. Suppose -v*c = -i*c + k + 74, 5*c - 5*k = 175. Does 16 divide c?
False
Let p be -1*0/(-1)*(-4)/(-8). Let r be (-2)/(2 + p)*101. Let c = -74 - r. Is c a multiple of 4?
False
Suppose -36*h - 378 = -9*h. Does 42 divide (1108/(-10))/(h/35)?
False
Let w = -9261 + 17789. Does 16 divide w?
True
Let j(v) = -3*v**2 - 96*v + 7. Let z be j(-26). Suppose -55 = 4*a - z. Is 15 a factor of a?
True
Suppose -8*q = 3*h - 12*q - 19235, -2*q = 4*h - 25676. Is h a multiple of 13?
False
Suppose -12*h + 22 = 7174. Let k = -111 - h. Is k a multiple of 69?
False
Let i(c) = -8256 + 8215 - 19*c - 4*c - c**2. Let o = -15 - -5. Is 4 a factor of i(o)?
False
Let l(s) = 13*s**2 - 341*s + 58. Is 207 a factor of l(58)?
True
Suppose w - 421 + 3697 = 6*m, -5*w = 0. Does 13 divide m?
True
Let b(x) = -x**3 - 3*x**2 - 66*x - 67 + 72*x + 80. Is b(-6) a multiple of 20?
False
Let p(z) be the third derivative of -z**6/360 - z**5/10 + 7*z**4/8 - 5*z**3/2 - 6*z**2. Let h(g) be the first derivative of p(g). Is 12 a factor of h(-11)?
False
Let m = -151 + 391. Let b = -165 + m. Is 8 a factor of b?
False
Suppose -5*i = 3*w - 16, 0 = 4*i - 2*w + 6*w - 8. Suppose -6*z + 3*z - 3*a - 516 = 0, -516 = 3*z + i*a. Does 21 divide ((z/(-6))/((-4)/(-6)))/1?
False
Suppose -v + 6*v = -75. Suppose -16*z + 275 = -29. Let n = v + z. Is 4 a factor of n?
True
Suppose -5*z + a + 44902 = 0, 35924 = -96*z + 100*z - 2*a. Is 108 a factor of z?
False
Suppose 0*a = 5*a, 0 = -q - 2*a + 5. Let f = q - 4. Is (7/(-21) - f)/((-4)/162) a multiple of 27?
True
Does 90 divide 10 + -9 + 2 - (-2 + -3430)?
False
Suppose -5*n + 120416 = 4*y, -499*y - 120404 = -5*n - 500*y. Is n a multiple of 16?
True
Does 41 divide (7/(56/(-20)))/(216411/(-30914) + 7)?
True
Suppose 63863 = 12*l + 15*l - 18028. Is l a multiple of 13?
False
Suppose -5*a - 3*i - 3063 + 1056 = 0, 5*a + i + 2009 = 0. Let r = a + 601. Does 20 divide r?
False
Let r = -51 - -58. Suppose 408 = r*n + n. Let o = n - -78. Is 21 a factor of o?
False
Let i = 658 + -654. Suppose 3*n - 17 = 3*t + 19, -i*t = 8. Is n a multiple of 3?
False
Let n(d) = -d**3 + 5*d**2 - 6*d + 3. Let x be n(3). Suppose -23 = 3*q - 5*g, -27 = 5*q - 0*g + x*g. Does 7 divide ((-158)/q)/((-8)/(-24))?
False
Let a(o) = -o**2 - 105*o - 1952. Is 42 a factor of a(-41)?
True
Let n be (-9)/1*(-2 - (0 - 3)). Let c(i) = i**3 + 19*i**2 + 6*i - 13. Let r be c(n). Suppose -2*l - 4*a = -5*l + 534, -4*l - 5*a + r = 0. Is l a multiple of 26?
True
Let i = 1294 + -629. Let s = i - 364. Is 3 a factor of s?
False
Let n(b) = -b**2 + 10*b + 1 - 3 + 6 - 6*b. Let c be n(4). Suppose c*x - 251 = 205. Does 19 divide x?
True
Suppose -3*u - 5*n = -1615, 9*u - 4*u - 2685 = -5*n. Let p = 1270 - u. Does 29 divide p?
False
Suppose 5*i - 1174 = 4*l + 1118, -2836 = 5*l + i. Let p = -257 - l. Does 3 divide p?
False
Let y = 4089 - 2438. Let r = y - 971. Is r a multiple of 38?
False
Let s be 251/3 - 4/6. Suppose -48 = -2*d - 2*k, 2*d - s = -0*d + 5*k. Does 7 divide d/((-2 + 1)*5/(-5))?
False
Let n(t) = 125*t**2 - 139*t + 1110. Is n(8) a multiple of 186?
True
Suppose q = 4*s + 3684, 2*q - 2*s - 6407 = 937. Is q a multiple of 114?
False
Let a(g) = -73*g + 27*g + 37*g + 142 + 3. Is a(-10) a multiple of 39?
False
Suppose 3*q = -2*q - s + 113, -3*q - 2*s = -72. Suppose 0 = -11*w + 11 + q. Is 16 a factor of (-48)/(10/(-3) + w)?
True
Let r(l) = 2*l - 30. Let q(b) = -b + 28. Let d(s) = -2*q(s) - 3*r(s). Let t be d(16). Is 26 a factor of ((-15)/t)/((-2)/(-4)) - -44?
False
Let g = -220 - -1800. Is g a multiple of 7?
False
Let m(u) be the second derivative of u**7/840 + u**6/60 + u**5/120 + 7*u**4/24 - u**3/2 + 23*u. Let f(y) be the second derivative of m(y). Does 4 divide f(-3)?
False
Let y be (-1 + 213/(-9))/(8/(-12)). Suppose -y*h + 300 = -35*h. Does 50 divide h?
True
Let u(h) = -h**2 + 16*h + 4. Let b be u(16). Let d be b/10 + (-7896)/(-35). Suppose 2*f + 2*f + 2*q - d = 0, 0 = 4*f + 3*q - 227. Is 14 a factor of f?
True
Let d(s) = -2*s**2 - 32*s + 9. Let c be d(-17). Let y = 14 - c. Is 3 a factor of y?
True
Suppose -80678 = -18*h + 53175 - 39353. Does 35 divide h?
True
Suppose 479555 = 114*u - 538921. Is u a multiple of 32?
False
Suppose -484*t + 487*t + 3*u - 5676 = 0, -2*t = -4*u - 3766. Is t a multiple of 66?
False
Suppose -v + 15 = 5*w, -66*v + 6 = -63*v + 2*w. Let i(h) = h**2 - 3*h - 2. Let r be i(4). Suppose v = -12*a + r*a + 960. Is a a multiple of 12?
True
Suppose 31 = 4*c + 15. Let p(f) = f**3 + 4*f - 4. Let n be p(c). Let y = -2 + n. Does 11 divide y?
False
Let j = 791 - -707. Is 6 a factor of j?
False
Let n(b) = -49*b**2 - b - 1. Let w(c) = -47*c**2 - 2*c - 1. Let m(x) = 3*n(x) - 4*w(x). Is 77 a factor of m(3)?
True
Suppose 38*c - 208824 = -18*c. Is 13 a factor of c?
False
Suppose 0 = 2*c + 3*h + 35832 - 125524, -2*h = -c + 44832. Does 152 divide c?
True
Let o(h) = 7*h + 18*h**2 + 19*h**2 - 42*h**2 + h**3 + 12. Does 12 divide o(4)?
True
Let u = 101 + -53. Let m = 6 + u. Is 5 + m/(-10) - (-282)/5 a multiple of 8?
True
Is 7 a factor of 5/40*-8*-4193?
True
Let a be 126 + (-23)/(-115)*(-10)/2. Let m = 160 + a. Is m a multiple of 9?
False
Let n(d) = -3*d - 21. Let y be n(-7). Suppose y = 18*q - 9*q - 2583. Does 7 divide q?
True
Is (-3 + 1)*(-3 + (-340)/40)*902 a multiple of 10?
False
Let b(d) = -d**2 + 2*d + 19. Let z be b(5). Suppose 3*f + z*f = 182. Suppose -x + 18 = -n, -3*x + f + 28 = 3*n. Does 3 divide x?
True
Let a be 2/4 + 19/2. Let t be (5 + -3 - 6) + (507 - -1). Suppose t = a*i - i. Is 14 a factor of i?
True
Let x be 3 - (0 - (-1)/(-1)). Let f(d) = -2*d**2 + 11*d + 2. Let q be f(5). Let h = q + x. Does 7 divide h?
False
Let t = -1639 - -4427. Is t a multiple of 34?
True
Is 658/14805 + 866248/45 a multiple of 55?
True
Let n = 5613 + 4271. Does 205 divide n?
False
Let v = 7 + -4. Suppose 12 = 4*b, 6*w - v*w - 135 = -3*b. Is 8 a factor of w?
False
Let k(q) = q**3 - 17*q**2 + 26*q - 73. Is k(17) a multiple of 7?
False
Is 59 a factor of (-11361)/28*4/(-6)*(-20 + 30)?
False
Suppose -11*g - 4003 = -14266. Suppose -w - 1219 = -2*o, -5*w = -3*o + 906 + g. Is 76 a factor of o?
True
Let z = -53 - -55. Suppose 456 = 2*k - 5*d, 2*d = -z*k - 2*d + 420. Let m = 468 - k. Is m a multiple of 11?
False
Let y be 1922/8 + 2/(-8). Suppose 7*n - n = y. Let b = n + 40. Does 16 divide b?
True
Suppose 6*m - 11460 = -6*m. Suppose -8*n + 9595 = m. Is n a multiple of 24?
True
Let h(z) = -384*z + 4080. Is 124 a factor of h(-63)?
True
Suppose -211 = 5*b - 1416. Suppose -b*k - 56 = -242*k. Is 8 a factor of k?
True
Let a = 2470 - -3389. Is a a multiple of 31?
True
Let w(x) = 2*x - 17. Let q be 3/15 + 44/5. Let z be w(q). Suppose -5*u - z + 56 = 0. Is u a multiple of 3?
False
Let r = 1308 + 10176. Does 22 divide r?
True
Suppose j + 3 = 2*q, -q + 4*j - 8 = -3*q. Let r be (q + (-9)/6)*(9 - 1). Suppose 4*i - 118 = -2*c, c = -r*c + 2*i + 319. Is c a multiple of 4?
False
Does 6 divide 131595/186*(-12)/(-5)?
True
Let m be (-10)/(-3)*((-63)/(-6) + -3). Suppose -3*d - 5*a = -133, -3*a - m + 40 = 0. Is d a multiple of 8?
False
Let z(p) = 20203*p**2 + 1484*p + 1. Does 195 divide z(-1)?
True
Let k be (22/4 + -1)*(-68)/102. Suppose 2*q + 2*q = y, -4*q = -4*y + 12. Is 11 a factor of q - (k - (-1 - -107))?
True
Let r be ((-15)/(-2) - 7)*1*8. Suppose -2*w + 0*w = 5*g - 1916, 3*w = r*g + 2920. Suppose 17*o - w = 6*o. Is 11 a factor of o?
True
Let m = 41104 + -22932. Does 118 divide m?
True
Let t be ((-6675)/(-10))/((-6)/12). Let j = t - -1878. Is 26 a factor of j?
False
Is 27 a factor of 664/1494 + (-2)/(-18)*473360?
True
Suppose 27*g = 30*g - 2*b - 4553, -b - 7579 = -5*g. Does 3 divide g?
True
Let f = -240 - -245. Suppose 3*m = 3*q - 237, 0*q - m + 407 = f*q. Does 9 divide q?
True
Suppose 116*s - 10 = 111*s. Suppose 696 = 3*u - 3*c, -372 = -2*u - s*c + 96. Is 12 a factor of u?
False
Let d be ((-10)/5 + 1)/(2/(-12)). Let t(n) = 11*n + 47. Let p be t(d). Suppose -x + p = -31. Does 12 divide x?
True
Let j(c) = -c**2 - 15*c - 9. Let n be j(-16). Let d be (n + 1 - -2)/(-1 - 1). Suppose 5*z - d = 59. Is 7 a factor of z?
True
Suppose 7*f - 6*f = 116. Suppose f = 40*i - 38*i. Suppose z - 24 = -u, 2*u + 10 = -4*z + i. Is u a multiple of 12?
True
Does 132 divide -2 + (-193085)/(-11) - (725/55 + -13)?
Fals