True
Let o(s) = -24*s**2 - 14*s - 7. Let j(b) = b**2 - b - 1. Let i(d) = -3*j(d) + o(d). Let v be i(8). Is 14 a factor of (4/10)/((-13)/v)?
True
Suppose 7*u - 2*u = 0. Suppose u = -4*w - 4, 6*p + w + 2121 = p. Is 2 a factor of 2/9 + p/(-36)?
True
Let g(n) = n - 2*n - 10*n**2 + n**3 - 2*n + 4 - 5*n. Does 13 divide g(11)?
False
Let b(s) be the second derivative of 0 - 2/3*s**3 - 3/2*s**2 - 3*s. Is 9 a factor of b(-7)?
False
Let l(c) = 60*c + 59*c - 114*c. Is 5 a factor of l(9)?
True
Let b be (-1 - (1 + -3))*6. Suppose d = b + 3. Suppose -d*w = -7*w - 10. Does 5 divide w?
True
Let g = 20 + -18. Suppose 0 = -g*m + 2, 2*m = 5*b + m - 479. Suppose 60 + b = 6*q. Is q a multiple of 13?
True
Suppose -5*x = 2*c - 37, 4*x = 2*c - 3*c + 26. Let l = c + -4. Suppose a - l = 18. Is a a multiple of 6?
False
Let v be (-2 - -4 - 3)*6. Let u be (-1)/v + 41/6. Suppose -72 = -10*y + u*y. Does 11 divide y?
False
Let v(y) = 12*y + 200. Is v(18) a multiple of 33?
False
Let f be ((-2)/(-2) - -3)*305/4. Suppose 4*p - f - 127 = 0. Does 9 divide p?
True
Suppose -78*z = -80*z + 1216. Is z a multiple of 15?
False
Let u = 22 - 23. Let y be (63 - -10) + (3 - u). Is -1 + (-4 - y*-1) a multiple of 12?
True
Let j = 5282 + -1865. Is j a multiple of 67?
True
Let b(j) = j - 15. Let l be b(20). Suppose 0 = l*q - 334 - 421. Does 11 divide q?
False
Let s = -36 - -127. Does 39 divide s?
False
Let i = 6 + -2. Suppose i*n - 24 = 2*u, -7*n + 4*u + 36 = -2*n. Suppose 0 = n*b - 16, -2*o + 5 = -b - 7. Does 8 divide o?
True
Suppose -2*y = -j + 264, 0*j = -3*j + 3*y + 801. Is 15 a factor of j?
True
Suppose 5*l - 3*v + 335 = -2*v, 3*l - v + 199 = 0. Let p = l + 28. Is 10 a factor of p/(-6)*(-3 + 6)?
True
Let f = -188 - -275. Suppose 4*p + 4*j = 33 + 55, -3*j = 4*p - f. Is p a multiple of 12?
False
Let p(b) = 15*b**2 + 15*b + 22. Does 35 divide p(-5)?
False
Let t(x) = 2*x + 11. Let b be t(-5). Is (1 - -2) + (26 - b) a multiple of 4?
True
Let z = 22 + -14. Suppose z*s = 2*s + 12. Suppose -3*n - 5*t = -91, 0*n - 4*n = s*t - 98. Is n a multiple of 10?
False
Let t(s) = 10*s + 78. Is 3 a factor of t(-5)?
False
Let q(a) = a**3 - 6*a**2 - a + 9. Let s be q(6). Suppose 0*j = s*b - j - 6, 2*b + j = 4. Suppose -2*l - 2*w = -14, b*l - 2*w - 16 = -5*w. Does 5 divide l?
True
Let r be 4/1*2*(-20)/32. Let p = 133 - r. Does 23 divide p?
True
Suppose 8*r - 11548 = 19356. Is r a multiple of 22?
False
Let c(r) = -52*r - 274. Is c(-38) a multiple of 30?
False
Let g(y) = y**2 - y - 2. Suppose 3*w = 4*q + 4*w - 6, -2*w = -q + 6. Let b be g(q). Is (b - (2 + 7))*-3 a multiple of 12?
False
Suppose 0 = -n + 2*g + 26, -3*g + 17 = 4*n - 2*n. Let o be (n/6)/(6/9). Suppose o*z + z = 310. Is 8 a factor of z?
False
Let a(w) = -w**2 + 30*w + 136. Is a(30) a multiple of 17?
True
Let q(s) = -52*s - 190. Is q(-22) a multiple of 9?
True
Suppose -72 = -y - 4*o, 0 = 3*y + 3*o + o - 200. Let a = y + 89. Does 11 divide a?
False
Let p = 12 - 9. Suppose w - 2 = 3*y - 0*y, w = -p*y + 32. Is w a multiple of 17?
True
Let l(n) = -n**3 + 17*n**2 - 33*n - 15. Is 20 a factor of l(11)?
False
Suppose 4*i + 3*c + 367 - 2275 = 0, -3*c = 5*i - 2382. Is i a multiple of 17?
False
Let o = 7 + -3. Suppose 0 = 4*c + 2*h - 3*h - 6, -2*h - 8 = -o*c. Let s = 7 - c. Is s a multiple of 2?
True
Let i(j) = -j + 2. Let y be i(-9). Suppose y*n - 447 - 48 = 0. Does 8 divide n?
False
Let f be ((256/12)/(-8))/(4/(-138)). Let x = 263 - f. Is x a multiple of 16?
False
Let l(b) = -b**2 + 9*b - 17. Let g be l(5). Suppose -g*z - 1 = -19. Is z a multiple of 6?
True
Let k = 284 + -264. Does 20 divide k?
True
Suppose -2*m - 3*m + 10 = 0. Suppose 425 = 7*h - m*h. Is h a multiple of 9?
False
Suppose -z + 5*z - 16 = 0. Let x be z - 4/(-8)*-4. Let m = 15 + x. Is m a multiple of 7?
False
Is 57 a factor of (-50)/5 + 6 - 2*-230?
True
Suppose -2*t + 62 = -238. Let a = 264 - 256. Is 17 a factor of t/a - (-8)/32?
False
Does 26 divide (22 - 26)*1497/(-12)?
False
Let d = 1847 + -1700. Does 15 divide d?
False
Does 7 divide (-3)/(-6) + (-1509)/(-6)?
True
Is 80/32*2/1 a multiple of 2?
False
Suppose 0 = -4*o + 3*m + 743 + 42, m = 5. Does 10 divide o?
True
Let h(x) be the third derivative of 5*x**4/24 + 11*x**3/6 - 9*x**2. Is 6 a factor of h(5)?
True
Suppose o - 4*o - 3*h + 1206 = 0, 2*o - 802 = -h. Is o a multiple of 16?
True
Let t(d) = d**3 - d**2 + 1. Let r be t(2). Suppose 9 = -r*g - 6. Is 11 a factor of ((-1)/3)/(g/171)?
False
Is ((-5)/15)/(3/(-378)) a multiple of 6?
True
Suppose -4*z + 4*j = -76, -3*j + 1 - 40 = -2*z. Suppose -6*p - z = -7*p. Is p a multiple of 18?
True
Let q = -1764 - -2891. Is 23 a factor of q?
True
Let f(o) = 13*o**2 + 20*o + 13. Let k(c) = -3*c**2 - 5*c - 3. Let h be -2*(-1 + 0/2). Let p(v) = h*f(v) + 9*k(v). Is p(-2) a multiple of 2?
False
Suppose 0 = -6*u + u + 35. Suppose 5*o + 23 = -u. Does 10 divide (-6)/o + (2 - -27)?
True
Let y = 1071 - 273. Is 57 a factor of y?
True
Let n(f) = 2*f**3 - f**2 + 2*f - 1. Let a be n(1). Suppose -7*w + 201 = 117. Let d = w + a. Is d a multiple of 12?
False
Suppose 4*h - 870 = -94. Is 64 a factor of h?
False
Suppose 6 = 4*c + 14. Is 5 a factor of (-1)/(1/c)*133/14?
False
Let c(f) = f**2 - 8*f - 2. Let q be c(8). Let r(z) = -16*z + 2. Let b be r(q). Is 765/b - 3/(-2) a multiple of 14?
False
Let s(b) be the second derivative of b**5/20 + b**4/12 - b**3/6 + 31*b**2/2 - b. Suppose 0 = -2*v + g + 2, 4*v - 10 = 3*v + 5*g. Does 12 divide s(v)?
False
Suppose -2*y + 7 = -n, -y - y + 6 = -2*n. Does 15 divide (1 + -3 - 0)/(y/(-30))?
True
Suppose 3 = 4*k - 3*k. Suppose 0 = -5*n + 17 - 2, k*f = -4*n + 42. Suppose -12 = -x + f. Does 17 divide x?
False
Suppose 3*f = 5*m + 19, -21 = -f + 5*m + 2. Is 27 a factor of ((-27)/2)/(1 + 3/f)?
True
Is 21696/56 + (-27)/63 a multiple of 30?
False
Does 4 divide (36/(-30))/((-62548)/(-15640) - 4)?
True
Let l = 874 - 672. Is l a multiple of 11?
False
Let w = -2471 + 3284. Does 12 divide w?
False
Let w = 33 + -21. Suppose -2*n + 4*u + w = -14, -5*n + u + 83 = 0. Is 2 a factor of n?
False
Suppose -34*h + 25*h + 45 = 0. Suppose 10*b + h*q = 7*b + 514, q - 331 = -2*b. Is 7 a factor of b?
False
Let o(x) = x - 4. Let s(i) = i**3 - i**2 + i - 2. Let a be s(2). Let h be o(a). Suppose -j + 2*j - 45 = h. Is j a multiple of 15?
True
Let b = 1149 + -793. Is b a multiple of 89?
True
Let x be ((-26)/(-10) + 1)*5. Let q be (-314)/(-6) - 6/x. Is (-3)/(-2)*1*q a multiple of 26?
True
Let x(p) = -p**3 + 10*p**2 - 7*p + 14. Let s be x(10). Let n = 94 + s. Suppose -5*y + 64 = 2*q, -3*y + 5*q + n = y. Is 6 a factor of y?
True
Let h = 1021 - 608. Is 41 a factor of h?
False
Let x be 3 + ((-2)/(-2) - 4). Suppose -2*f + 9 + 23 = x. Does 6 divide f?
False
Let x(l) be the second derivative of -41*l**5/10 + l**4/6 + l**3/3 + l**2/2 - 19*l. Is x(-1) a multiple of 4?
False
Let a = -86 - -86. Suppose a*i = -7*i + 161. Is i a multiple of 2?
False
Suppose -528 = -14*a + 12*a. Is 33 a factor of a?
True
Let i be (-6 - -9)*1*196/(-6). Is 7/(i/36)*-7 even?
True
Is ((-75576)/360 - (-4)/(-10))*-3 a multiple of 5?
False
Let v = 97 + -73. Is 8 a factor of v?
True
Let j = 85 + -56. Let a = j + -27. Suppose -49 = m - a*m. Does 7 divide m?
True
Suppose -10*y + 753 = -237. Does 9 divide y?
True
Suppose -5*h = -15, 3*h - 6*h + 13641 = 3*p. Is 46 a factor of p/40*15/6?
False
Let l be 48/9 + 11/(-33). Suppose v - 6*v - 295 = -5*s, 4*v - 106 = -2*s. Suppose 253 = l*t - s. Is 14 a factor of t?
False
Suppose 199*z = 207*z - 2640. Is z a multiple of 33?
True
Let z = -1031 + 2475. Is z a multiple of 38?
True
Suppose 1504 = 89*u - 81*u. Is 32 a factor of u?
False
Let x(q) = 9*q + 23. Let z be x(-3). Let r(h) = h**2 + 7. Let i be r(0). Is z/(-2 + 12/i) a multiple of 7?
True
Let m(r) = 24*r**2 + 16*r + 39. Does 8 divide m(-3)?
False
Let m be (-14)/21 - (-128)/(-6). Let f = 38 - m. Let n = 125 - f. Is n a multiple of 27?
False
Suppose -3*m + 5*s = 9*s + 35, 5 = -s. Does 13 divide (12/m)/((-6)/260)?
True
Let j = 694 - 468. Suppose 4*h + 5*n + j = 6*h, -h - 4*n = -126. Is h a multiple of 10?
False
Let k(t) = -t**3 - 3*t**2 - 3*t - 4. Let o(n) = n**3 + 14*n**2 - 4. Let m be o(-14). Let l be k(m). Suppose 15*y - 16*y + l = 0. Is 12 a factor of y?
True
Let r(b) = 5*b**3 - b**2 - 9. Let q(i) = -9*i**3 + 2*i**2 + i + 17. Let w(h) = -4*q(h) - 7*r(h). Is w(4) a multip