multiple of 39?
False
Suppose -u = -4*q - 37 - 24, 5*u - 269 = 2*q. Suppose 46*s - u*s - 7 = 0. Let t(h) = -71*h**3 - 3*h**2 - h + 1. Does 14 divide t(s)?
True
Let g(q) = 7*q**2 + 118*q - 664. Is 34 a factor of g(-62)?
False
Let g be ((-102)/(-119))/((-61)/21 - -3). Let y(t) = t**3 - 10*t**2 + 13*t - 15. Is 4 a factor of y(g)?
False
Is 60 a factor of -77*-25*60/35?
True
Let t(s) = -s**3 + s**2 - 3*s - 9. Let v be t(-6). Suppose -2*r + 427 = 3*l, 2*l - 733 = -3*l + 2*r. Let p = v - l. Does 33 divide p?
False
Let f = 13598 - 1565. Is f a multiple of 7?
True
Suppose -29*m + 27605 + 53276 = 0. Is 17 a factor of m?
False
Does 4 divide (0 + 12 - (-14)/(28/(-10))) + 15270?
False
Suppose -9 = -2*a - 1. Suppose 0 = 2*t - 2*q - 140, 0*t + a*t - 295 = -q. Suppose -3*g - 118 = -y + 2*g, -y + t = 4*g. Does 14 divide y?
False
Let j be (-357)/35*(6 + -1). Let x(v) = -4*v**2 - 4*v + 9. Let l be x(4). Let h = j - l. Is h a multiple of 5?
True
Suppose -177*v = -172*v + 45. Let k(b) = b**3 + 11*b**2 + 2*b - 49. Does 9 divide k(v)?
False
Does 4 divide (360/(-21))/(22/(-2618))?
True
Let a(v) = -71*v + 1237. Is a(-14) a multiple of 3?
False
Does 43 divide 38071 - ((-240)/(-150) + 8/20)?
False
Suppose 7*i - 3036 + 75 = 0. Let c = 824 - i. Does 34 divide c?
False
Suppose 0 = 3*q + 8*q - 14828. Suppose 1708 = 5*j - 2*u, -4*j + 2*u = 5*u - q. Suppose v + j = 4*t, -t - 12 = -2*v - 97. Does 14 divide t?
False
Let h = -600 - -813. Suppose 10*i = h + 157. Is i even?
False
Let a(h) be the third derivative of 0 + 0*h + 1/120*h**6 - 1/60*h**5 + 56/3*h**3 + 0*h**4 + 5*h**2. Does 28 divide a(0)?
True
Does 8 divide (4460 - 4)*(-42)/(-168)?
False
Let h = 5 + -7. Let x(a) = 13*a - 23. Let f be x(0). Is (f + (-9)/(-6)*-1)*h a multiple of 8?
False
Let g(f) = 4405*f + 319. Is 15 a factor of g(9)?
False
Let i(d) = 12 - 3 - 4*d + 24 - 11. Let y be i(5). Suppose -345 - 95 = -y*o. Is o a multiple of 38?
False
Let n = -7 + -103. Let h = 85 + n. Is 32 a factor of (12 - h) + 0/(-2)?
False
Let o(z) = z**2 - 20*z + 50. Let u be o(17). Let f(n) = 384*n**2 + 3*n + 4. Does 51 divide f(u)?
False
Suppose 148*n - 136*n - 36 = 0. Suppose 6*x - 1215 = -n*x. Is x a multiple of 27?
True
Let d(o) = 9*o**3 - 31*o - 9. Does 11 divide d(8)?
False
Let d = 62 - 58. Suppose -d*t + 15 = -1. Does 6 divide 42/t*(-92)/(-161)?
True
Let t(j) = -2478*j**3 + 26*j**2 + 34*j + 9. Is 21 a factor of t(-1)?
False
Let o(d) = 5*d - 8. Let h(x) = 9*x - 15. Let m = 42 + -48. Let w(p) = m*h(p) + 11*o(p). Is 15 a factor of w(13)?
True
Suppose -649334 = -126*c + 606382. Does 118 divide c?
False
Let o(g) = 985 + 41*g**2 - 491 - 2*g - 491. Does 21 divide o(1)?
True
Let f(i) = 16*i**2 - 49*i + 814. Is 13 a factor of f(18)?
False
Suppose -l + 33 = -7. Let k be l/(-3)*(-3)/(-4)*-6. Is (7/(-42) - 2/(-12)) + k a multiple of 5?
True
Let m(a) = -a + 6. Let u be m(-2). Let x(f) = 5*f + 42. Let p be x(u). Suppose 2*g - 202 - p = 0. Is g a multiple of 28?
False
Let w = -67 + -2. Let n = w - -161. Is 46 a factor of n?
True
Let h(q) = q**3 - 4*q**2 - 29*q - 14. Let p be h(9). Suppose 491 = 3*k - p. Is k a multiple of 33?
False
Is 2336/(((-245)/588)/(60/(-8))) a multiple of 16?
True
Let a(q) = -q**3 + 48*q**2 + 254*q + 5. Does 2 divide a(-5)?
True
Let x = 3236 + 4465. Is 15 a factor of x?
False
Suppose 1553 = -10*p + 383. Let z be (-6 + 0/2)*663/p. Is z + (-3 - -4) - -5 a multiple of 9?
False
Let u = -6 - -10. Let f = 354 + -331. Suppose u*b - t = 37 + f, 4*b - 60 = -4*t. Is 5 a factor of b?
True
Let s(a) = -12*a - 8. Let p(q) = q**3 - 6*q**2 + 5*q + 3. Let z be p(5). Suppose -f - 2*o = -4, -f - z*o + 2 = -7. Is 12 a factor of s(f)?
False
Let a(s) = -s - 1. Let j be a(8). Let x(q) = q**2 + 6*q - 24. Let n be x(j). Suppose -3*b - n*o + 495 = 0, 266 + 430 = 4*b - 5*o. Is 14 a factor of b?
False
Let h = -67 - -65. Let p(i) be the first derivative of -81*i**2/2 - 11*i - 7. Does 34 divide p(h)?
False
Suppose -204 = 5*v - 59. Let p = -45 - v. Is 3 a factor of 0 + (27 - p/(-4))?
False
Let b(n) = -8*n**3 + n**2 + n + 1. Let f be 70/(-4)*32/20. Let l = f + 27. Is 2 a factor of b(l)?
False
Suppose f - 5 = 3*j + 4, 4*f - 6 = 2*j. Suppose -3*b + 8 - 20 = f, -656 = -m - b. Does 15 divide m?
True
Suppose 108497 = 27*x - 54367. Is x a multiple of 29?
True
Suppose -3*c + 51571 = 2*p, 69*c = 3*p + 73*c - 77356. Is p a multiple of 11?
True
Suppose 6102 = 3*r + 5*v, 15*v + 2034 = r + 12*v. Does 113 divide r?
True
Let y be 0*(2/(-2))/(-6 + 7). Suppose 4*p + 23 - 35 = y. Suppose 0*c - 31 = -a - p*c, 4*a - 4*c - 172 = 0. Is 13 a factor of a?
False
Suppose 231513 = 85*w - 525412. Is 36 a factor of w?
False
Suppose -494*u + 498*u - 13782 = -2*s, -u = 1. Does 17 divide s?
False
Suppose 0 = -3*p - 3*p - 12. Let f(l) = -l**3 - 2*l**2 + l + 5. Let s be f(p). Is (-2 + 411/9)*s a multiple of 20?
False
Suppose 4*f - 903 - 1909 = -4*y, 0 = -3*f + 2*y + 2114. Does 44 divide f?
True
Let j(o) = -8*o**3 + 164*o**2 - 28*o + 13. Is 11 a factor of j(20)?
False
Let l(y) = 28*y**2 + 19*y + 5. Let z(v) = -v - 17. Let w be z(-14). Is 20 a factor of l(w)?
True
Let v(q) = -q**3 + 19*q**2 + 43*q + 2. Let a be v(21). Is -1*(1 - (-144)/(-3))*a a multiple of 47?
True
Suppose y - 995 = 3*h, -y + 4849 = 4*y + 3*h. Does 13 divide y?
False
Let j be 6/27 + 6*68/108. Let o be -1 - -1 - (17/(-1) - j). Is 8 a factor of (35/o)/((-2)/(-126))?
False
Let x = -865 + 1667. Does 13 divide ((-4)/14 - (-66)/84)*x?
False
Let c(x) = -x**2 - 21*x - 695. Let f be c(0). Let h = f + 1014. Is h a multiple of 29?
True
Let m be 5*(92/20 - 5) + -300. Let f = -246 - m. Is f a multiple of 56?
True
Let w(y) = -y**2 - y - 1. Let n(j) = j**3 - 3*j**2 + 14*j + 9. Let g(z) = -n(z) - 5*w(z). Is 12 a factor of g(4)?
True
Suppose -2*v + 4*q = -22734, 3*v - 5*q = 16720 + 17386. Is v a multiple of 14?
False
Let s(p) = 222*p**2 - 5*p + 90. Is s(10) a multiple of 20?
True
Let h(d) = 139*d + 2282. Is h(20) a multiple of 48?
False
Let b = 127 + -74. Let y(q) = 4*q + 75. Let g be y(-19). Is 7 a factor of (g - 2) + (b - 2)?
False
Let u = 123 - 80. Suppose 657 + u = 5*v. Is 12 a factor of v?
False
Suppose 0 = 3*x - 4*g - 7048, -19*x + 14*x - 4*g = -11704. Is 3 a factor of x?
False
Let c(q) be the first derivative of 27*q**2/2 + 22*q + 16. Let x be c(6). Let u = x + -109. Is 15 a factor of u?
True
Suppose -5*w - 4 + 34 = 3*o, 0 = 5*w + 2*o - 25. Is 5 a factor of w/(-9) - 602/(-6)?
True
Let c(j) = -3*j - 106. Let h be c(-28). Does 12 divide -242*3*(h/(-6) - 4)?
False
Suppose -40*q - 4538 = -86578. Is 7 a factor of q?
True
Suppose 0*q = -2*q + 4*o - 994, q = 5*o - 509. Let r = 799 + q. Let w = 530 - r. Is 11 a factor of w?
True
Suppose -10 = -p + 4*n, 9 + 8 = p + 3*n. Let z = 42 + p. Is 4 a factor of z?
True
Let s(g) = -10*g**2 - 16*g + 21. Let i(v) = -v**2 - v. Let r(x) = 5*i(x) - s(x). Let p be r(4). Let b = -43 + p. Is 16 a factor of b?
False
Let t = -5100 + 7476. Is t a multiple of 108?
True
Suppose 380*h + 357 = 383*h. Is 17 a factor of h?
True
Let p(d) = d**2 + 14*d + 18. Let a be p(-13). Suppose 5*o = -3*n + 101, a*o - 133 = -7*n + 3*n. Let k = 136 - n. Is 13 a factor of k?
True
Suppose -d + 4*g + 43 = 0, -10*d + 8*d = -2*g - 98. Let n = d - 40. Is 4 a factor of n?
False
Does 34 divide (-628)/1727 - 270036/(-22)?
True
Let p(i) = 2*i + 21. Let w be p(-10). Let u be 5/(-2)*(w + (-22)/10). Is u/(-6)*(-168 - -2) a multiple of 24?
False
Let y be 6/(-18)*(-148 - -1). Let p = 35 - y. Is 21 a factor of (-888)/(-21) + p/49?
True
Suppose -224 + 897 = -3*j + 5*t, j - t + 225 = 0. Let v = -165 - j. Is 6 a factor of v?
False
Let c = -1131 - -760. Let w = c + -174. Is 56 a factor of (-9)/3*(w/(-15))/(-1)?
False
Let c be (26/65)/((-2)/(-10)). Suppose -2*y + 8 = 0, -32 - 36 = 4*d + c*y. Let j = d - -58. Is j a multiple of 13?
True
Suppose -50*o + 27544 = -15*o - 27*o. Is 11 a factor of o?
True
Suppose -13*j + 169 + 6929 = 0. Suppose 2*i = 3*p + p - j, 0 = -5*p - 3*i + 677. Is p a multiple of 8?
True
Let n = 982 + 958. Is n a multiple of 10?
True
Let m = 505 + 47887. Does 23 divide m?
True
Let r(f) = -f**3 + 10*f**2 - 3*f - 11. Let s = -38 + 47. Let b be r(s). Suppose -z + 45 = -2*d - b, -2*d - 408 = -5*z. Is z a multiple of 20?
True
Suppose 0 = -y + 7000 - 588. Suppose -3*m = -31*m + y. Is 23 a factor of m?
False
Suppose -731*j + 2069808 = -30