 -2*p. Is 46 a factor of p?
True
Let t(l) = l**3 - 8*l**2 + l + 13. Let x be t(6). Let r = x - -1396. Suppose -11*o + 1374 = -r. Is 52 a factor of o?
False
Let w = 497 - -330. Suppose 7*o - 244 = w. Is 10 a factor of o?
False
Let j be -2 + (-238)/(-18) + (-18)/81. Let m be (j + -6)*42/15. Let s = m - -6. Is 7 a factor of s?
False
Let z(l) = -158*l**3 + 7*l**2 - 74*l + 80. Does 16 divide z(-8)?
True
Suppose -7*w - 7 = -6*w. Let t be w/(-42) - (-158)/(-24)*-34. Suppose -18*v = -22*v + t. Does 5 divide v?
False
Is (6 - 4)/(40/25640) a multiple of 77?
False
Let o(r) = 58*r - 9. Let y be o(7). Suppose 16610 - 17134 = -2*l. Let w = y - l. Does 10 divide w?
False
Suppose -6*x + 4669 = x. Let k = -587 + x. Does 4 divide k?
True
Suppose -4*k = -3*p + 377, -4*p + 471 = -0*p + k. Let v = 181 - p. Is v*(10/(-4) + 3)*1 a multiple of 2?
False
Let v be (8 - 10)*(0 - 1)/2. Is v + (-2)/(-6)*(488 + 19) a multiple of 10?
True
Let s(n) = 32*n**3 - n**2 + 6*n + 12. Let f = -288 + 291. Is s(f) a multiple of 15?
True
Let z = 11583 - 7426. Is 81 a factor of z?
False
Let z(v) = -148*v + v**2 + 148*v - 24. Let i be z(-7). Suppose -4*g + i + 115 = 0. Does 7 divide g?
True
Suppose -3*f = -2*x + 15299, -5*x + 3*f = -10142 - 28092. Is x a multiple of 31?
False
Let n = -488 - -923. Is 4 a factor of n?
False
Is 26 a factor of (-897)/(11 - 207/18)?
True
Suppose 5*a + 4*d = 19411, d + 20465 - 1074 = 5*a. Is a a multiple of 11?
False
Suppose -5*u = 5*x + 5, -5*x = 3*u - 10 + 9. Does 11 divide (x + 0)/((1 - 4)/(-423))?
False
Let o(k) = 8*k**2 - 7*k - 2. Let b be o(3). Let c = b + -43. Suppose 0 = c*s - 142 - 98. Is s a multiple of 14?
False
Let n = 17596 + -11596. Does 24 divide n?
True
Suppose -201894 = 32*a - 298*a. Is a a multiple of 27?
False
Suppose 1 - 21 = 5*m. Let w be ((-116)/2 + -2)*22/m. Suppose 0 = 3*h - 12 - w. Does 6 divide h?
True
Let q = 22300 + -13629. Does 80 divide q?
False
Suppose -16*q + 2*q + 210 = 0. Suppose 0 = y + 18 - q. Let n(u) = -40*u - 22. Is n(y) a multiple of 4?
False
Let x(j) = 3*j**3 - 4*j**2 + 7*j - 10. Let d be x(3). Let v = -66 + d. Is (-450)/v + -1*1 a multiple of 22?
True
Let g = 5184 + -3188. Suppose 13*k + g = 7014. Is 20 a factor of k?
False
Is (-3)/(2/(-168)*10/(280/21)) a multiple of 7?
True
Suppose 95*l - 92*l + 3*v - 6123 = 0, 4*l + 3*v = 8169. Is 76 a factor of l?
False
Suppose 4*z = 4*p - 5*p + 1069, 4*z + 4*p - 1072 = 0. Suppose 2*x - 4*v - z = 771, 4*v + 2613 = 5*x. Does 8 divide x?
False
Suppose -3*h = -0*n + 2*n - 23629, 0 = -2*h - 5*n + 15738. Does 68 divide h?
False
Suppose -26*g - 25 = -31*g. Suppose -210 = -g*o - 0*o. Let f = o + -33. Does 3 divide f?
True
Let x(b) = -3*b**2 + 4*b + 7. Suppose -5*m - 7 = 3*w, 5*m + 13 = 2*w + 1. Let d be x(m). Let c(j) = -14*j + 35. Is 25 a factor of c(d)?
False
Let n(f) = f**2 - 3*f - 9. Let h be n(5). Is (-39)/(-24)*586 - h/4 a multiple of 76?
False
Does 17 divide 5 - (0 + 3 + (-49)/(-7)) - -3885?
False
Let w(a) = a**2 + 6. Let h(g) = -6*g**3 - 2*g**2 + g + 1. Let x be h(1). Is w(x) a multiple of 7?
True
Suppose 52*c = u + 51*c - 5347, -4*u = 2*c - 21394. Is 61 a factor of u?
False
Let p be 4 - ((-8)/6)/((-1)/(-3)). Let u(j) = j**3 - 7*j**2 - 12*j + 36. Let i be u(p). Suppose -2*t + i*g = 2*t - 416, -3*g - 209 = -2*t. Does 23 divide t?
False
Let v(i) be the second derivative of i**5/5 + 5*i**3/6 - 5*i**2/2 - i + 2876. Let r = -4 + 6. Does 2 divide v(r)?
False
Let y(s) be the third derivative of s**7/2520 + s**5/6 + 18*s**2. Let j(p) be the third derivative of y(p). Is j(6) even?
True
Suppose -45*p + 6074 = 25*p - 26896. Does 4 divide p?
False
Let r = 259 - 165. Let v = r + 256. Is 14 a factor of v?
True
Let v(x) = 2485*x + 488. Does 5 divide v(5)?
False
Let l(z) be the third derivative of 11*z**5/30 - 7*z**4/3 + z**3/2 - 20*z**2 - 3*z. Is l(6) a multiple of 17?
True
Suppose 0*w - 30*w - 18960 = 0. Let y = w + 818. Does 2 divide y?
True
Suppose 5*f - 1144 = n, -f + 5*n = 4*f - 1140. Let o = f - 174. Is 5 a factor of o?
True
Suppose 636*h - 630*h - 24 = 0. Suppose 0 = -3*k - h*a + 408, 0 = 5*k - 2*k + 2*a - 402. Does 37 divide k?
False
Let t = -34 + 49. Is (1655/t + -1)*3 a multiple of 9?
False
Let u = 22059 - 21771. Does 18 divide u?
True
Let h(c) = c**3 - 32*c**2 + 21*c + 319. Let y be h(31). Let l(r) be the first derivative of 4*r**2 + 6*r - 1. Does 13 divide l(y)?
True
Let t be -8 + -10 + 13 - (-984)/3. Is 9518/17 - (-38)/t a multiple of 112?
True
Is 6/8 + (248583/(-656))/(3/(-4)) a multiple of 23?
True
Let x be ((-375)/(-3))/(0 - 1). Suppose a + 2*f = 168, -5*a + 896 = -306*f + 302*f. Let g = a + x. Is 3 a factor of g?
True
Suppose 14874 + 9494 = 8*g. Does 59 divide g?
False
Let n(y) = -y**3 + 35*y**2 + 78*y - 77. Let q be n(37). Let j = 1276 + q. Is 76 a factor of j?
False
Let i(w) = w**3 + 14*w**2 - 15*w + 2. Let n be i(-15). Suppose -17*r + 7020 = -n*r. Is r a multiple of 17?
False
Let o = -70 + 30. Suppose 219 - 59 = -8*l. Let f = l - o. Is 16 a factor of f?
False
Let t be 993/4 + 2/(-8) + 0. Let i = t - 56. Is i a multiple of 32?
True
Suppose v = -6 + 5. Let r(n) = -12*n - 8. Let y be r(v). Does 10 divide (6/y)/((-1)/(-14)) - 4?
False
Suppose -36 + 10 = -2*x. Suppose 10*s = -7 - x. Is 3 - 5 - (-49 + s) a multiple of 12?
False
Let t(c) = -c**3 - 7*c**2 - 4*c - 23. Let b be t(-7). Is 43 a factor of 674 + (-9)/((-9)/b)?
False
Let p be (-22476)/(-10) - 6/(-15). Suppose 5*t + 4*o - 87 = 0, 28*t + 5*o = 27*t + 30. Suppose -p = -23*m + t*m. Does 55 divide m?
False
Let t(d) = -d**2 - d + 4. Let w be t(0). Suppose 13*m - 13620 = -47*m. Suppose 97 + m = w*c. Is c a multiple of 14?
False
Suppose -3*u - 5*c = -49062, 2*u + 10*c - 1336 = 31392. Is u a multiple of 144?
False
Let x(s) = 2*s**3 - 19*s**2 - 13*s + 3. Let i(p) = p**3 - 10*p**2 - 7*p + 2. Let k(n) = -11*i(n) + 6*x(n). Let q be k(-2). Let a = q + 69. Does 27 divide a?
False
Suppose 343288 = -42*f + 1758100. Is f a multiple of 53?
False
Suppose 0*q - 6*q + 11332 = -2*q. Does 11 divide q?
False
Let c = -396 + 246. Let h = -121 - c. Is 9 a factor of h?
False
Suppose -3*y = 5*r - 38, -3*r = -5*y - 22 - 28. Let t be (-4)/(7/((-35)/r)). Suppose c + 176 = -0*s + t*s, 2*s + 2*c = 176. Is 18 a factor of s?
False
Suppose h - o - 4*o = 15, 15 = -4*h - 5*o. Let a be 3 - (0/3 + h). Suppose -5*j + 797 = a*n - 5*n, 5*n = -5*j + 825. Is j a multiple of 40?
False
Let l = -711 - -1264. Let m = l - 305. Does 9 divide m?
False
Suppose 0 = c - 6*c + 2*g - 2, 2*c - 3*g = -3. Suppose -7*j = -c*j - 63. Suppose 4*r = j*r - 50. Does 6 divide r?
False
Suppose -69 + 49 = -2*l. Does 4 divide 5199/15 + ((-16)/l - -2)?
False
Suppose -l + 2*l = m + 234, -5*m + 222 = l. Let n = l + -139. Is 11 a factor of n?
False
Is 27 a factor of ((-9)/15)/1 + (-36)/150*-57490?
True
Let t(i) = i**2 + i - 1. Let z(d) = -4*d**2 + 9*d - 2. Let n(y) = -t(y) - z(y). Let w be n(6). Let g = 87 - w. Does 12 divide g?
True
Suppose 11*x - 3314 = -168. Let j = x - 252. Is 17 a factor of j?
True
Let t(k) = k**2 + 2*k - 92. Let l be t(8). Is (104 - (-4 - l)) + 6 a multiple of 8?
False
Let u(n) = 149*n + 3537. Does 72 divide u(27)?
True
Does 217 divide 1/(-7) - (-36407606)/1498?
True
Let g(x) = -45*x + 86 + 73*x - 40*x. Does 14 divide g(-8)?
True
Suppose -v - 1 = -t, -5*v + t - 6*t - 5 = 0. Let k be -3 - (-1 - v) - -68. Suppose -3*p - 47 = -4*f - 242, -p + k = -3*f. Is 10 a factor of p?
False
Let l = 66908 - 26120. Is l a multiple of 206?
True
Let o be 178/(-801) + (-320)/18. Let m(w) be the second derivative of -w**4/12 - 31*w**3/6 - 12*w**2 + w. Is 13 a factor of m(o)?
False
Suppose 17804*a - 17825*a + 37331 + 29428 = 0. Is a a multiple of 13?
False
Suppose -3*d + 84225 = -3*i, 3*d - 2*i = 4242 + 79987. Is 43 a factor of d?
True
Suppose 931476 = -1868*n + 1946*n. Is n a multiple of 73?
False
Let x = -63 + 65. Let j(z) = -29*z**x + 22*z**2 + 4 + 15*z + 14*z**2 - z**3. Does 6 divide j(8)?
True
Let m(g) = 7915*g + 276. Is m(2) a multiple of 33?
False
Let n be ((-33)/11)/(2/22). Let j = n + 213. Is 5 a factor of j?
True
Let f be (-2)/(((-64)/3052)/8). Suppose 15*z = 8*z + f. Is 6 a factor of z?
False
Suppose 2*j + 516 = 2552. Suppose 20*z + j = 21378. Is 19 a factor of z?
False
Let l(x) = -x**3 + 17*x**2 - x + 20. Let v be l(17). Suppose 0 = -2*w - 4*f + 62, -f - v*f = -4*w + 124. Does 26 di