Let n(q) = 2*q**3 - 45*q**2 - 11*q + 12. Does 18 divide n(24)?
True
Let r = 1847 + -547. Is r a multiple of 65?
True
Suppose -3*f - 2*f + 45 = 0. Let q(w) = -w**2 + 8*w + 9. Let d be q(f). Suppose d = 4*s - 0*s - 20. Is s a multiple of 2?
False
Let o be (4/8)/((-2)/(-112)). Let x = 190 - 127. Let w = x - o. Is w a multiple of 10?
False
Let j = 76 - 86. Is 11 a factor of (-2 + 4/6)/(j/120)?
False
Let n(f) = 9*f**3 - f**2 + 1. Let p be n(1). Let q = p + -3. Let z = q - -16. Does 5 divide z?
False
Suppose 2*w + 29 = -j, j + 2*j + 73 = w. Let o = -5 + j. Let z = o + 57. Is 9 a factor of z?
True
Suppose -3*t = -2 + 5, -2*t = -3*n + 53. Is 8 a factor of n?
False
Let u be -7 - -4 - 145 - -4. Let r = -83 - u. Let f = r + -34. Is 9 a factor of f?
True
Suppose 0 = -619*u + 609*u + 310. Is 4 a factor of u?
False
Let x(u) = -5*u + 1. Let v = -9 + 0. Is x(v) a multiple of 5?
False
Suppose 0*a = -4*a - 112. Suppose 2*r - 7 = -53. Let p = r - a. Does 5 divide p?
True
Suppose 2*t = -5*p + 70, t - 96 = -2*t - 3*p. Suppose 0*n = 4*n - 240. Suppose -h = 3*j - n, h - t = 5*j + 30. Is 10 a factor of h?
True
Is (140/8)/(1/4) a multiple of 7?
True
Let m(f) = f**3 - 10*f**2 + 28*f - 3. Is m(9) a multiple of 6?
True
Let a(n) = -n**2 - 8*n + 18. Let c be a(-8). Is 18 a factor of 1 - 24/c - 758/(-6)?
True
Is 25 a factor of (-125)/(5 + -13 + 7)?
True
Is 528/(4 + 8) + -10 a multiple of 9?
False
Suppose 3*m + 21 = 9. Let n be (-3 - (-51)/12)*m. Let q = 11 + n. Is q a multiple of 6?
True
Let m(b) be the first derivative of 3*b**2/2 + 22*b + 22. Is 16 a factor of m(5)?
False
Does 11 divide 15/(-180) + 6591/36?
False
Let p(o) = 2*o + 5. Let h be p(13). Suppose h = 3*i + 1. Does 7 divide (-166)/(-12) + i/60?
True
Let m = -361 + 526. Does 39 divide m?
False
Suppose 2*u - 1368 = -i, -2*i - 4698 = -5*u - 1287. Is 11 a factor of u?
False
Let w(m) = -29*m + 37. Is w(-20) a multiple of 40?
False
Suppose -3*q - 4*j + 146 = 2*q, -2*j + 148 = 5*q. Let w = -27 + q. Suppose -4*i + 4*z = -w*i - 38, -3*i - z + 140 = 0. Is i a multiple of 23?
True
Let h(c) = -c**3 + 2*c + 40. Let b be 0/(0 + (2 - -1)). Does 10 divide h(b)?
True
Let s(q) = -2*q**2 - 2 + 3*q + 3*q**3 - 2*q**3 + 3*q**2. Suppose 0 = 5*m + 2*m - 14. Does 10 divide s(m)?
False
Let g = 4091 + -2799. Does 15 divide g?
False
Suppose -728 = -2*w + a - 181, 0 = 3*w + 5*a - 814. Is 39 a factor of w?
True
Let r(f) be the second derivative of -4*f**4/3 - f**3/6 - f. Let y be r(-2). Is (-24)/32 + y/(-8) a multiple of 2?
False
Let n be 20/4*2/5. Suppose n*b - 50 = 3*b. Is b/(2/(-1 - 0)) a multiple of 25?
True
Let v = 1778 + -705. Does 29 divide v?
True
Suppose 20*d - 2815 = 2485. Is d a multiple of 53?
True
Let d be 18018/72 - 2/8. Suppose -14*o = -9*o - d. Is 17 a factor of o?
False
Is (25/((-175)/2184))/(-2) a multiple of 26?
True
Let r(d) = 2*d**2 + 35*d - 23. Is 17 a factor of r(13)?
False
Let p = 2383 + 29. Is p a multiple of 12?
True
Let x(f) = -3 + 2*f - 4*f + 3*f**2 - 2*f**2 - 6. Does 7 divide x(-7)?
False
Suppose -2*p - 12 + 56 = 0. Is p*((-12)/(-8) + -1) a multiple of 3?
False
Let u = 38 - 34. Let x(z) = -z + 3. Let q be x(0). Suppose -q*t + o = -43, -u*o + 18 = -2. Is t a multiple of 16?
True
Let n be (-7 - -9)*1/2. Let r be ((-1 + n)/(-3))/2. Does 18 divide r + -1*(-162)/3?
True
Let a(j) = -200*j + 82. Is 20 a factor of a(-7)?
False
Let d be ((-8)/5)/((-10)/25). Suppose -4*q - 346 = -k - d*k, -4*q + 248 = 4*k. Suppose -y - 2*j + k = 0, 0 = 3*y - 3*j - 198. Is 15 a factor of y?
False
Suppose -4 = -3*v + 131. Does 8 divide v?
False
Let n(h) = -h + 73. Is 8 a factor of n(-15)?
True
Let h = 99 - -173. Is 34 a factor of h?
True
Let j(l) = -l**3 + 6*l**2 - 3*l. Let a be j(6). Let f be (-3)/2*702/81. Let c = f - a. Does 5 divide c?
True
Let m(z) = z**2 - 10*z - 5. Let t be m(10). Let h(c) = 7*c**2 + 4*c + 5. Let q be h(t). Suppose 2*k + 26 = q. Is 17 a factor of k?
False
Let m = -130 + 172. Does 21 divide m?
True
Let o be 12 - (-8)/(-6)*3. Let m be (-4*(-12)/o)/1. Is 9 a factor of (-1)/m + 361/6?
False
Suppose 0*f + 192 = 2*f. Does 13 divide f?
False
Let u(g) = -g - 11. Let h be u(-11). Suppose h = 8*f - 3*f - 25. Is (-27)/(-18)*(f + 1) even?
False
Suppose -3*m - 24 = -6*m. Let g(k) = -12*k + m*k + 34*k + 22*k. Does 26 divide g(1)?
True
Let b(i) = 2*i**3 - 2*i + 2. Let r be b(2). Let k be (-36)/r*42/(-6). Suppose -4*p + k = -54. Is p a multiple of 6?
True
Suppose -355*c = -356*c + 440. Is 5 a factor of c?
True
Let f(x) = -x**3 + 8*x**2 + 6*x. Let n(l) = l**3 - 13*l**2 + 13*l - 7. Let a be n(12). Is f(a) a multiple of 35?
True
Suppose 0 = i + 5 - 6. Let x(v) = 17*v**3 + v**2 - v. Does 17 divide x(i)?
True
Suppose 4*z + 5*i = -8, -3*i + 19 = z - 7*i. Suppose z*c + g - 634 = 0, 5*g - 6 = -16. Does 48 divide c?
False
Let u be (18/9)/(4/350 + 0). Suppose -38*p = -33*p - u. Does 7 divide p?
True
Let w(s) = -s**3 - 2*s**2 + 5*s - 2. Let b be w(-6). Suppose b + 288 = 5*m. Does 24 divide m?
False
Is 10*(244/8 + 7) a multiple of 15?
True
Let n = -1907 + 6149. Is n a multiple of 14?
True
Let h be (-66)/11*4/(-6). Is (-36)/(-2)*10/h a multiple of 42?
False
Suppose 2*t = 3*m - 239, -5*m = -m - 2*t - 320. Does 6 divide (0 + 8/6)*m/2?
True
Suppose -9 = -2*k - 4*d - d, -3 = -3*d. Suppose f + 14 = -k*z - z, 5*z = 3*f - 28. Is z/(-20) + (-62)/(-8) a multiple of 3?
False
Suppose -v - 76*h = -80*h - 608, -4*h = -2*v + 1196. Is 12 a factor of v?
True
Suppose -3*s = -6*s - 24. Let l = 18 + s. Is l a multiple of 4?
False
Let b be -3 + 187 + -5 + 1. Let n = b + -95. Is n a multiple of 33?
False
Let h(r) = 2*r**2 + r. Let k be h(3). Suppose 0 = 2*d - 3*d + k. Is 21 a factor of d - (6/(-3) - -2)?
True
Suppose 0 = p - 0*p - 3. Suppose -r - 2 = -0*r + z, 0 = -2*r + p*z + 16. Suppose -r*s - 19 = -77. Is 13 a factor of s?
False
Let h = 32 - 4. Is h/(-3)*2/8*-6 a multiple of 6?
False
Let l = 8 + -6. Suppose 5*w = w + 5*f + 36, 0 = -4*w - l*f + 36. Suppose -4 = -h + b, 4*b - w = -2*h + 11. Does 5 divide h?
False
Does 6 divide -5 + 434/8 + 20/(-80)?
False
Let z = 27 - 32. Let c = 10 + z. Is 4 a factor of c?
False
Let n = 9 - -358. Is n a multiple of 38?
False
Let f be (1 + -2)*(-1 + 6). Does 3 divide (-1)/(f + (-145)/(-30))?
True
Suppose 0*s + 370 = 3*s - x, s - 2*x = 115. Does 25 divide s/2*(-16)/(-10)?
True
Let f(u) = u**3 + 12*u**2 + 10*u + 10. Let x be f(-10). Suppose -5*r = 3*c - 168 - 9, 2*c = 3*r - x. Suppose -6*q = -2*q - r. Does 7 divide q?
False
Suppose 15 = 2*y - y. Let n(s) = s**2 - 3. Let b be n(0). Let j = b + y. Is j a multiple of 6?
True
Suppose -7*z + 9 = -4*z. Suppose g - 30 = -4*g - z*x, 25 = 5*g + 4*x. Is g a multiple of 2?
False
Is 15 a factor of (2 + -16)/(-7) + 448?
True
Let o be (-3 - -1) + (-9 - 2). Let v = o - -21. Let u = 8 + v. Does 5 divide u?
False
Is 10 a factor of (3 + (-3 - 1))*-70*1?
True
Suppose -2 = -m - 0*m. Let i be (-4)/(-2*(-2)/(-4)). Is 2 a factor of i/m*6/4?
False
Let c = 887 + -57. Is c a multiple of 9?
False
Let x(z) = -z**3 - 26*z**2 - 39*z - 60. Is 50 a factor of x(-25)?
False
Suppose 29*r - 64 = 33*r. Let i(u) = -10*u - 38. Does 12 divide i(r)?
False
Let w(z) = 469*z + 18. Is w(6) a multiple of 16?
True
Let s(z) = 4*z**2 + 21*z - 14. Let w(p) = 10*p**2 + 43*p - 27. Let x(k) = -7*s(k) + 3*w(k). Let n(j) = -j**2 + 7*j + 5. Let v be n(6). Is 14 a factor of x(v)?
False
Let i(m) = -20*m**3 - m - 1. Let l be i(-1). Let z(k) = k**3 - 2*k**2 - 15*k + 2. Let x be z(6). Suppose 6 = 2*f + h - x, -f + 5*h = -l. Is 12 a factor of f?
False
Let x = -158 - -228. Suppose 0 = -5*w + 6*w. Suppose 0 = z - w*z - x. Is 14 a factor of z?
True
Let o(x) = 12*x + 299. Does 53 divide o(6)?
True
Suppose 2*r + 2 + 2 = 2*q, 2*q = 4*r - 2. Suppose 0 = u - 4, -2*u = -x - r*u + 84. Is x a multiple of 20?
True
Let p(b) = b**3 + 8*b**2 + 4*b + 4. Let j be p(-7). Let t(y) = 8*y + 10. Let v be t(-7). Let z = j - v. Is z a multiple of 30?
False
Let m be 999/(-8) - 4/32. Let x = m - -244. Is 8 a factor of x?
False
Suppose 37083 - 7158 = 19*j. Is j a multiple of 75?
True
Let r = 155 + -131. Is 12 a factor of r?
True
Suppose 4*x + 122 = 26. Let c be ((-2)/(-8))/((-2)/x). Suppose -7*i = -c*i - 28. Does 2 divide i?
False
Let x(u) = -u**3 + 13*u**2 - u + 15. Let t be x(13). Suppose t*p = -4*g + 334, -701 = -4*p + 2*g - 33. Is p a multiple of 17?
False
Suppose