9*x + 147. Does 10 divide m(25)?
False
Let b = 103 + -104. Is 1029/7 + b/((-2)/(-4)) a multiple of 12?
False
Let t(q) be the first derivative of 5*q**3/3 - 2*q**2 - 25*q - 7. Let b be t(11). Suppose b = 4*p - 5*g + 41, 0 = -3*p + 4*g + 372. Does 15 divide p?
True
Let b(k) = 5*k - 48. Let z be b(8). Let p(o) = -7*o + 59. Is p(z) a multiple of 23?
True
Let a = 25 - 25. Suppose a*y = -2*y + 462. Does 12 divide y?
False
Suppose 2*g + 1 = -o, -o + 5*g = -2 - 4. Let v(w) be the third derivative of 83*w**4/24 - w**3/2 + 24*w**2 - 3*w. Is v(o) a multiple of 5?
True
Let v(b) = -b**3 + 6*b**2 - b + 2. Let u be v(4). Let a = -22 + u. Let k(j) = 4*j - 8. Is k(a) a multiple of 5?
False
Suppose 4*p = -3*h + 10, 5*p + 9 = -2*h + 25. Suppose v - 164 = 2*y - 0*y, -v + 164 = p*y. Suppose 2*r - 168 = -4*q, -4*q + 2*r + v = 5*r. Does 11 divide q?
True
Suppose 4*g - g + 24 = 0. Let q = g + 12. Suppose d - q - 44 = 0. Is d a multiple of 15?
False
Let c(w) = 24*w + 1. Suppose -o = 3*o + 3*x + 3, o - 18 = 3*x. Let d be o/1 + -1*1. Does 8 divide c(d)?
False
Let w(l) = 14 + 40 - 53*l + 32*l. Let p be w(-22). Suppose 4*r = -g + 6*g + 398, 5*r = -3*g + p. Is r a multiple of 17?
True
Let u = 17797 - 16364. Does 13 divide u?
False
Does 36 divide 2*-2 + -32 + 481?
False
Let o(i) = i**3 - 7*i**2 - 343*i + 3. Is 26 a factor of o(25)?
True
Let n = -59873 - -91440. Does 68 divide n?
False
Let z = -159 - -182. Let p = 24 + z. Does 3 divide p?
False
Let n(q) = -2*q**3 + 9*q**2 - 5*q + 8. Let d be n(4). Let i be (0/(d + 0))/2. Suppose -6*p + p = -3*a - 262, p - 4*a - 66 = i. Does 10 divide p?
True
Suppose 109*f - 29*f = 880. Let d(h) = -2*h - 2. Let t be d(-10). Suppose -z + t = -f. Is z a multiple of 5?
False
Let f = 102 + -81. Suppose 20*n = 17*n + f. Suppose -2*w + n*w = 200. Is 22 a factor of w?
False
Let d(j) = 62*j - 111 + 49 + 46. Is 19 a factor of d(5)?
False
Suppose 5*y + 2*v - 8392 = 0, 4*y + 131*v - 6707 = 136*v. Is y a multiple of 6?
False
Suppose 25399 = 3*u + 5*l, -3*l + 430 = -u + 8915. Does 37 divide u?
True
Suppose -2*j = j - 6. Let t(u) = -2*u + 4*u**2 + 4*u - 11 - 3*u**j. Is t(-6) a multiple of 2?
False
Let z = -4863 + 9138. Does 9 divide z?
True
Suppose -568247 = -14*i - 2*i - 70327. Does 20 divide i?
True
Suppose -16 + 4 = -6*z. Let h(n) = 3*n + 12 - 7*n**2 + n**2 - n**3 + 0*n + z*n**3. Is 12 a factor of h(7)?
False
Let s = 3361 + 12233. Is s a multiple of 113?
True
Let g = -810 - -7144. Is 26 a factor of g?
False
Suppose 7*w - 6 = 4*w, 0 = 4*u - 3*w + 6. Suppose d + 4*z - 13 = 0, -4*d - z + 82 = -u*z. Is 17 a factor of d?
False
Let p = 12446 + 3345. Is 26 a factor of p?
False
Suppose 0 = -7*z + 9*z + 3*j - 16182, 3*j = -5*z + 40428. Is 210 a factor of z?
False
Let z be ((-1)/(-1))/(5 - (-15512)/(-3104)). Let y = z - -83. Is y a multiple of 25?
False
Let o = 11558 - 7992. Is o a multiple of 11?
False
Let o = -115 - -242. Suppose -o = -5*q + 1378. Is 43 a factor of q?
True
Let q(j) = j - 1. Let s(k) = -k**2 - 2. Let c(h) = -6*q(h) + s(h). Let y be c(-6). Is (y + -6 + (-44)/1)*-1 a multiple of 10?
False
Let n = 24372 + 25476. Is 24 a factor of n?
True
Let q = -327 - -477. Suppose -52*j + 57*j = q. Suppose 2*k - 78 = j. Does 18 divide k?
True
Suppose 39726 = 2*z + 3*a, -6*z = 2*a - 67340 - 51880. Does 16 divide z?
True
Let j(q) = -q**2 + 2. Let t be j(0). Suppose 46 = t*s - 62. Suppose 5*m - 3*r - s = -r, -5*r = 3*m - 20. Is 10 a factor of m?
True
Suppose -33*t + 26309 = -87607. Does 107 divide t?
False
Let d(a) = 470*a**2 + 64*a - 130. Is 9 a factor of d(2)?
False
Let j(a) = 4*a - 16. Let m be j(5). Suppose p + 5*k - 177 = 0, -2*p = -3*p + m*k + 159. Suppose 4*r = 513 + p. Is r a multiple of 37?
False
Let c(y) be the second derivative of -11*y**3/2 + 443*y**2/2 - y + 42. Is c(13) even?
True
Suppose -19628 = -19*r - 4434 + 16498. Is r a multiple of 5?
False
Suppose 8*s = 7*s - 5*l + 926, 5*l = -5*s + 4530. Is 86 a factor of s?
False
Let h(q) be the second derivative of -5*q**3/6 + 3*q**2/2 + 9*q. Let s be h(-12). Suppose -3*v = -s - 201. Does 8 divide v?
True
Let l(k) = 2*k - 10. Let c be l(6). Let b(n) = 32*n - 3. Let i be b(c). Let z = -49 + i. Does 4 divide z?
True
Let f(y) = -1173*y**3 + 3*y**2 + 36*y + 33. Is f(-1) a multiple of 69?
True
Let l(i) = -i**3 - 7*i**2 - 35*i - 19. Let r(t) = 13*t + 94. Let o be r(-8). Is l(o) a multiple of 52?
False
Let j(c) = 6*c**2 - 33*c + 4. Let r be j(6). Let k = 12 - r. Is 31 a factor of (k/(-30))/((-1)/(-651))?
True
Suppose -20*w + 19190 = 1190. Does 3 divide w?
True
Let a = 4712 - 1330. Is a a multiple of 178?
True
Does 28 divide 10/30 - (-109180)/60?
True
Suppose -178*i - 37410 = -183*i. Does 174 divide i?
True
Does 21 divide 1656 + (-3 - (-7 + -5))?
False
Suppose -l = 2*f - 11 + 2, 3*l - 3*f - 36 = 0. Let v(y) = 1 - y - y**2 + 0*y - l*y + 3. Does 4 divide v(-9)?
False
Suppose -43*p = -172549 + 23769. Does 52 divide p?
False
Let h(i) = 35 + 10*i - 31*i - 84 - 34. Is h(-29) a multiple of 61?
False
Does 68 divide (1/(2/326))/(588/45 - 13)?
False
Let z(w) = w**3 - 33*w**2 + w - 31. Let v be z(33). Suppose -2*i + 1084 = v*n, 2*i + n = -2*i + 2159. Is i a multiple of 20?
False
Does 54 divide ((-9944)/(-12) - (-1 - 6))*6?
False
Is 28 a factor of ((-46)/92)/(2/(-4476))?
False
Let c(r) = 3*r - 3*r + 5*r - 50. Let t be c(13). Suppose -t*m + 14*m + 48 = 0. Is m a multiple of 3?
True
Let w = 9186 + -4043. Is w a multiple of 37?
True
Suppose -4*s + 4*c + 39732 = 0, -7*s + 2*s + 49728 = 4*c. Is 20 a factor of s?
True
Suppose -21*n - 30 + 156 = 0. Let h = 1 + -2. Is (n - -17)/((-1)/h) a multiple of 3?
False
Is (33060/(-150))/((-2)/10) a multiple of 65?
False
Let j = -363 + 29. Let p = j + 419. Is p a multiple of 2?
False
Let w(c) = -12*c + 146. Let v(j) = -6*j + 72. Let s(r) = 7*v(r) - 3*w(r). Is s(-26) a multiple of 25?
False
Let l = -1817 - -2030. Is 3 a factor of l?
True
Let i(d) = -38*d + 268. Let a be i(7). Let l = 15 - a. Does 3 divide l?
False
Suppose 4*z + 28268 = -2*m + 10*m, -2*m + 7053 = -3*z. Is m a multiple of 27?
True
Suppose -2948476 = -52*t - 639104. Is t a multiple of 80?
False
Let m = -4822 + 5092. Does 10 divide m?
True
Let t(v) be the third derivative of -v**6/120 + 4*v**5/15 + 5*v**4/4 + 22*v**3/3 - 81*v**2. Is t(17) a multiple of 29?
False
Let r(a) = -325*a + 177. Is r(-13) a multiple of 71?
True
Is 6 + 211650/198 - 4/(-66) a multiple of 3?
False
Does 19 divide 220/8*138282/285?
False
Suppose -5*q + 5*a + 48145 = 0, -21*q + 20*q - 5*a + 9611 = 0. Is 22 a factor of q?
False
Let f(o) = 5*o**2 + o + 2. Let z = 76 - 67. Let m be (-2)/(-8) + z/(-4). Is 20 a factor of f(m)?
True
Let a(r) = r - 10 - 2 - 6*r**3 + 3*r**3 - r**2. Is a(-3) a multiple of 19?
True
Let n = 1049 - -76. Suppose -5787 = -9*i - n. Is 73 a factor of i?
False
Suppose -o + 328 = 39. Let q = 112 + o. Is q a multiple of 21?
False
Let m(v) = -35*v + 14. Suppose 2*f = 4*f - 32. Suppose -13*a + 9*a - f = 0. Does 22 divide m(a)?
True
Does 18 divide ((-8)/6)/4 + -125397*28/(-756)?
True
Suppose -18195*l = -18186*l - 1251. Is 4 a factor of l?
False
Let f(d) = -3*d**3 - 2*d**2 - 42*d + 18. Let x(l) = -2*l**3 - 2*l**2 - 41*l + 17. Let t(q) = 3*f(q) - 4*x(q). Does 7 divide t(7)?
True
Suppose -2*p + 1143 = 5*g, -6*g + 5*g + 227 = 2*p. Suppose -2*f - 2*x + 542 - 114 = 0, -g = -f - 4*x. Does 19 divide f?
True
Suppose 339*i - 331*i = 2040. Let p(f) = -135*f**2 - 2*f + 1. Let h be p(1). Let m = h + i. Is 11 a factor of m?
False
Suppose -6*i + 10 = -i. Suppose 2*z - 569 = 5*b, 3*b + 867 = i*z + z. Suppose -3*d = -6*d + 2*a + 422, -4*a = -2*d + z. Does 10 divide d?
False
Suppose -5*u + 7 = -8. Suppose 3*i - 7*i = 3*l - 996, -u*i - 5*l = -747. Does 12 divide i?
False
Let m be (-48)/(-15) + (-4)/(-5). Let r be -8 + m + 1 + 1/1. Does 32 divide (186 - r)/4*(0 - -1)?
False
Suppose -115*d + 1809408 = 141*d. Is d a multiple of 38?
True
Suppose -10330527 = -280*a + 1401753. Is 236 a factor of a?
False
Let z = -722 + 1232. Suppose -4*g + 423 = -j, 5*g = -0*g - 5*j + z. Is g a multiple of 5?
True
Let f be ((-18)/45)/(2/(-20)). Suppose -f*l = -2*s - 39 + 7, 4*l + s = 32. Suppose 231 = 5*a + 3*b, 4*a + b = l*a - 178. Is a a multiple of 15?
True
Suppose 0 = 5*y + n - 120, 2*y + 4*n - 24 = y. Suppose 0*x - 226 = 2*p + 2*x, 2*p + 205 = 5*x. Does 19 divide 3/(y/p)*-1*12?
False
Su