s o/(-12) + (-12)/(-72) a multiple of 6?
True
Suppose -6*q + 167 = 35. Suppose v + 5*w = q, 2*v + 0*v - 3*w + 8 = 0. Suppose -v*p + 75 = -p. Does 15 divide p?
True
Is (3209 + -20)/(24/28*7/2) a multiple of 47?
False
Let i = -5457 - -10129. Is 73 a factor of i?
True
Let j(t) = -t**3 - 11*t**2 + 6*t + 4. Let z(n) = n**2 - 13*n - 12. Let a be z(13). Let p be j(a). Does 9 divide p - (-2)/(-6)*9?
False
Suppose 33937 = -2*j + 42709 + 44864. Is 54 a factor of j?
False
Suppose -20*g = 429 + 451. Let h = g - -104. Is 6 a factor of h?
True
Suppose 0 = 5*t + 4*o - 520, -2*t + 231 = -8*o + 5*o. Suppose -8*r - t = -9*r. Does 6 divide r?
True
Suppose 4*m + 1580 = 2*j + 84, 3*j + 3*m = 2244. Let y = j - 138. Does 10 divide y?
True
Let n be (-35)/(-14)*(-16)/(-10). Suppose -4*g - 29 + 0 = y, -4*g = n*y + 20. Is 5 a factor of (g + 9)*10/1?
True
Suppose 0 = -3*i - 0*i + 3. Suppose 386*o + 870 = 371*o. Does 12 divide (-24)/((-4)/i)*o/(-4)?
False
Suppose 0 = 35*o - 551703 - 1597542. Is 34 a factor of o?
False
Let v(c) = -c**3 - 9*c**2 - 6. Let l be v(-9). Let x be (70 - (l + 3)) + 1. Let d = x + 54. Does 19 divide d?
False
Let j = -467 - -453. Let c(g) = -g**3 - 11*g**2 + 26*g - 35. Is 7 a factor of c(j)?
True
Suppose -2*f - 2*x = -1608, 3*f + 2*x = -0*f + 2413. Suppose -18*a = -13*a + f. Let w = a - -329. Is 29 a factor of w?
False
Is -1*(-4178 + (-72)/6) a multiple of 51?
False
Let m(o) = o**3 + 6*o**2 + o + 2. Let y be m(-6). Let s = 69 + -60. Is 24 a factor of (y + 41)*s/3?
False
Let w be ((-4260)/(-18) - 2)*3. Suppose -k - p = 2*k - 524, -4*p + w = 4*k. Is 58 a factor of k?
True
Let h = 95 + -95. Suppose -5*n = 5*s - 340, 2*s + h*s = -4*n + 276. Is 7 a factor of n?
True
Let q(h) = -520*h - 2496. Is 17 a factor of q(-32)?
True
Let s(j) = 57*j**3 + 3*j**2 - 2*j - 8. Is s(2) a multiple of 4?
True
Suppose 3*v - 64 = 2*z + v, -5*z - 154 = -2*v. Let p = -30 - z. Suppose 0 = -3*q - 5*o + 86, 0 = -p*q + 3*q + 3*o - 78. Is q a multiple of 21?
False
Is 4 a factor of (0 - -603)/(42/168)?
True
Let p be (-12)/(-10)*70/3. Suppose -4*z = 5*w - p, -5*z - 2*w + 3*w + 6 = 0. Is (z - -8)/(12/66) a multiple of 23?
False
Let k = -3267 + 10496. Is k a multiple of 117?
False
Suppose 236*r - 79 = 235*r. Suppose r = 5*y + o, -2*y + o + 34 = -o. Is y even?
True
Suppose -4*v = -a - 935 - 111, -5*v + 1316 = 3*a. Suppose -3*k + 314 = -v. Is 26 a factor of 1 - (-1 - -4) - k/(-1)?
False
Let k(c) = -17*c + 8. Let g be k(-4). Let a(d) = -76 + 32*d + g + 88*d. Does 20 divide a(1)?
True
Let q(h) = 2 + h**3 + 4*h**2 + 4 + 4*h**2 - 30*h**2 - 5*h. Does 10 divide q(23)?
True
Suppose -15*u - 15 - 15 = 0. Is 111/3 + 6*u/(-4) a multiple of 40?
True
Suppose 9 = 15*a + 39. Let b(m) = -37*m**3 - 9*m - 15. Is 20 a factor of b(a)?
False
Suppose -24*d + 71608 = -26600. Is 124 a factor of d?
True
Suppose 13*x + 31 = 200. Suppose 2*w = 13 - x. Suppose w = 5*t + 4 - 94. Does 18 divide t?
True
Let k = 2495 + 305. Does 9 divide k?
False
Let g(n) = 441*n + 4596. Is 26 a factor of g(-6)?
True
Suppose 2*z + 168944 = 19*z - 164766. Is z a multiple of 17?
False
Suppose -c + 4*g = -2098, -4*c + 2256 = 5*g - 6241. Is c a multiple of 69?
False
Let d be (((-56)/4)/(-2))/((-3)/(-6)). Suppose -5*t = 3*v - 21, 2*t = -0*t - 4*v + d. Is (-1)/((9/(-30))/t) a multiple of 8?
False
Suppose 3*d = -4*v + 65076, 438*v - 108444 = -5*d + 434*v. Is d a multiple of 156?
True
Suppose 3*s + 3*l = 3 + 21, 0 = s - 2*l - 20. Let p be (-2)/(8/s) - -1. Does 23 divide p/(-7) - (-962)/14?
True
Let m(h) be the second derivative of h**4/12 + 7*h**3/6 - 108*h**2 + 72*h + 2. Is m(20) a multiple of 10?
False
Suppose 0 = -4*p + 10 + 10. Let h(a) = 10*a + 8*a - a**2 - p*a - 5 + a. Is 7 a factor of h(4)?
True
Let d be 215/(-20) - (-6)/8. Let o be (2 + d/(-3))/(23/3312). Suppose -u - 11*u = -o. Is 16 a factor of u?
True
Let o be 7/(21/15) - -913. Suppose 9*m - 11*m + o = 0. Is m a multiple of 24?
False
Let a = -11523 - -16213. Is a a multiple of 14?
True
Let c(p) = 6*p - 22. Let w be c(5). Suppose -2*q + 1426 = -5*q + g, -4*g = w. Is 36 a factor of (6/(-4))/(2 + 959/q)?
False
Let r(h) = h**3 - 4*h + 49. Let w be r(0). Does 6 divide (w + 1 - 0)/(31/186)?
True
Let m(k) = k**2 - 11*k - 31. Let q be m(9). Let l = 89 + q. Suppose -l = b - 2*b. Does 11 divide b?
False
Let n(w) = -1. Let v(d) = -286*d - 2. Let x(k) = 10*n(k) - v(k). Is x(1) a multiple of 13?
False
Let w(k) be the third derivative of 7*k**5/60 + k**4/12 - 83*k**3/6 + 40*k**2. Does 37 divide w(7)?
False
Suppose -3*g = 4*q + 15, 11*g - 7*g = -5*q - 20. Let x(l) = l**3 + 3*l**2 - 19*l - 10. Is x(g) a multiple of 4?
False
Let j = 4799 + -3895. Does 113 divide j?
True
Let a = 48 - -6065. Is a a multiple of 22?
False
Suppose 5*x + w + 4*w = 65, 4*w - 22 = -2*x. Does 41 divide 3174/x*(-10)/(-4)?
False
Suppose -5*g + 21990 = -30178 - 13982. Is 18 a factor of g?
True
Let v be (-4 + 52/16)*-4. Suppose 0 = -4*t - 0*t - v*h + 348, 87 = t - 4*h. Is 7 a factor of (-2)/((18/t)/(-3))?
False
Let p be -1 + -2 + 10/40*2076. Let l = p - 185. Is 70 a factor of l?
False
Is 9 a factor of ((-254817)/(-437) + 2/(-19))*9?
True
Let b(t) be the second derivative of 85*t**4/12 - t**3/3 - 3*t**2/2 + 9*t - 5. Does 10 divide b(-1)?
False
Is 50 a factor of (5/(-2))/(59/(-97940))?
True
Let i(c) = -c**3 - 7*c**2 - 4*c - 2. Let s be i(-5). Let o be s/(-56) - 3013/(-7). Let t = o - 221. Does 35 divide t?
True
Let y(u) = -u**3 + 10*u**2 - u + 15. Let l be y(10). Suppose 2*g + 0*b - 15 = -b, -l = -5*b. Suppose 75 = g*a - 450. Is 15 a factor of a?
True
Let g(d) = d**2 + 16*d - 9. Let j be g(-29). Suppose 369*m = j*m + 30. Does 2 divide m?
True
Let d(t) = 3*t**2 - t + 124. Let x(b) = -b + 16. Let z be x(16). Let j be d(z). Let h = 213 - j. Is h a multiple of 20?
False
Let z(x) = 58*x - 526. Is z(16) a multiple of 5?
False
Let c = 6506 - 3287. Let g = c + -2193. Does 46 divide g?
False
Let u(k) = 20*k**2 + 3*k + 505. Does 11 divide u(-27)?
True
Let t be 2890/17 + 2 + 1. Does 9 divide (-1)/2*(-25 - t)?
True
Suppose -20*g + 34104 = 18*g - 26*g. Does 29 divide g?
True
Let x = 543 + 430. Suppose -4*l - 5*i = -2824 + x, -3*l = -3*i - 1368. Is l a multiple of 13?
False
Suppose 4*u = -j - 41, -3*u - 4*j - 14 = 20. Suppose -3*d + 2*a + 60 = -158, -4*d + 290 = -3*a. Let w = u + d. Is w a multiple of 16?
True
Suppose 667 + 8153 = 10*v. Suppose 3*p - v = -11*p. Is 21 a factor of p?
True
Let v = -311 - -313. Suppose 8*s - o = 7*s + 272, 3*s - 816 = v*o. Is 34 a factor of s?
True
Suppose 5*u = -t + 8 + 83, -5*u = 15. Let a = 179 + t. Is 5 a factor of a?
True
Suppose -4*x + 3 = -4*t + 19, 2*x - t + 9 = 0. Let u be (1 - x/2)*(-24 + 26). Suppose -2*i = -u*i + 240. Is i a multiple of 24?
True
Let r(n) = 12*n**3 + 25*n**2 - 25*n + 92. Let s(z) = -7*z**3 - 13*z**2 + 13*z - 46. Let x(p) = -4*r(p) - 7*s(p). Is x(13) a multiple of 44?
False
Let n = 294 - 97. Let m = 395 - n. Is 18 a factor of m?
True
Let d be 10/50 + (-1)/(-10)*18. Suppose 4*x + 88 = 5*n, d*n = 2*x - 0*x + 36. Let s(p) = -p + 43. Is 3 a factor of s(n)?
True
Let z be 1 - (1 + -3*1). Let f be 114*13/104 + 1 + (-10)/8. Suppose -s + z + f = 5*j, -3*j = -4*s + 22. Does 7 divide s?
True
Suppose -97*q - 1012088 = -217*q + 43*q. Is q a multiple of 62?
True
Suppose -3*d + 4*c - 89 + 3090 = 0, 4*d + 3*c - 4043 = 0. Suppose d = 5*n + 267. Is 16 a factor of n?
False
Let a be (-44)/110 + 12/5. Suppose 4*c - 711 = -5*l, 182 + 151 = a*c - 5*l. Is c a multiple of 17?
False
Suppose -4*x + 6744 = -4*k, 0*k - 8454 = -5*x + 2*k. Is 176 a factor of x?
False
Let p = -775 + 5366. Suppose -979 = 3*o - p. Is o a multiple of 61?
False
Suppose 2*q + 3*v - 41404 = 0, 6938 = q + 4*v - 13784. Is q a multiple of 12?
False
Let p = -118 - -128. Let j(l) = p*l**2 - 14*l + 5*l + 16 - 4*l**2. Does 9 divide j(4)?
False
Let z = -96275 + 161195. Does 15 divide z?
True
Let g(j) = j**2 + 14*j + 179. Let l be g(0). Let z = 293 - l. Does 6 divide z?
True
Let w be ((-13)/4)/(7/1988). Let c = -633 - w. Does 29 divide c?
True
Is 43 a factor of -1 + -1 + 9762 + 28 + -14 + -13?
True
Let g(j) = -2*j**2 - j + 44. Let v be -2 - 2 - -6 - (-2 + 4). Let c be g(v). Let b = -14 + c. Is 15 a factor of b?
True
Let t(v) = -6 - 23*v + 41*v - 14*v. Let u be t(12). Is 11 a factor of -65*(12/14)/((-30)/u)?
False
Let n = -692 + 1386. Let b = n + -