8) + (-1239)/h?
False
Let f(c) = c**2 - 3*c + 2. Let z be f(4). Suppose -5*r + 2*j + 520 = 0, r - z*j - 81 = -j. Is r a multiple of 23?
False
Suppose -4*i + 75 = -257. Let l = i - 46. Let u = -7 + l. Is u a multiple of 8?
False
Let y(l) = 17*l**3 - l**2 + 3*l - 1. Let u be y(-2). Let q = 236 + u. Is 14 a factor of q?
False
Let n be -2*2/2 - -12. Is 2/(-16)*n*-112 a multiple of 28?
True
Let w(b) be the first derivative of -4*b**3/3 - b**2/2 - 4*b - 6. Let a(s) = -3*s**2 - s - 3. Let v(m) = 6*a(m) - 5*w(m). Is 19 a factor of v(-4)?
True
Let t(m) = -13*m**3 - 7*m + 3. Is 22 a factor of t(-4)?
False
Let m(f) = 3*f**3 - f - 2. Let h be m(3). Suppose -20 = -0*r - r - 2*p, -2*p = 3*r - h. Is 12 a factor of r/126 - 842/(-18)?
False
Let b(g) = g**3 - 13*g**2 + g - 13. Let s be b(13). Suppose 0 = -2*p + 4*k + 198, s = -p + 2*p + k - 105. Is 9 a factor of p?
False
Is 1 + (11 + -3)/(-2) + 179 a multiple of 8?
True
Suppose -m - 71 = z + 13, 3*m - 2*z = -252. Suppose 2*d - 5*g - 288 = 0, 4*d + 0*g + 5*g - 576 = 0. Let k = d + m. Does 12 divide k?
True
Suppose -4*p = -2*d + 6*d - 60, -84 = -5*d + 4*p. Let l = d + -16. Suppose -128 = -l*h - 2*h. Does 16 divide h?
True
Let q(w) = -2*w - 3. Let u be q(2). Let f(k) = 3*k + 5. Let o be f(u). Is 4 a factor of (-268)/o + (-2)/(-8)?
False
Suppose 1653 = 6*k - 927. Is 49 a factor of k?
False
Is 14 a factor of 0 + 45 + 13 + -5?
False
Let f(k) = k**3 - 8*k**2 - 9*k + 4. Let s be f(9). Suppose -4*i = -s - 16. Suppose -7*g + 62 = -i*g. Does 26 divide g?
False
Let k be 1 - (-2 + -59) - 0. Suppose 28 = -3*h - 59. Let u = h + k. Is 15 a factor of u?
False
Let k(l) = -l**2 + 11*l - 20. Let y be k(9). Is 8 a factor of (-952)/(-24) + y/(-6)?
True
Suppose -60*h + 59*h = o - 1003, 5*h - 4*o - 4979 = 0. Is h a multiple of 91?
False
Let m(n) = -n**2 + 10*n + 20. Let a(d) = d + 4. Let r be a(6). Is 2 a factor of m(r)?
True
Let o = -16 - -14. Let k be -2 + 2 - 34/o. Suppose -4 = -m + k. Is m a multiple of 16?
False
Suppose -12*i + 609 = -8583. Is i a multiple of 29?
False
Suppose 2*v = -v - 4*a + 28, 3*a - 8 = v. Suppose 0 = -z + 23 - v. Is z a multiple of 7?
False
Let j = 698 - -1360. Does 14 divide j?
True
Suppose 6*r - 10 = r. Does 5 divide 6*(-2)/r*10*-1?
True
Let c(f) = 2*f. Let b(g) = -g. Let o(k) = -8*b(k) - 3*c(k). Let s be o(1). Suppose -100 = -4*t + 2*r, -s*t - 5*r = -6*t + 100. Is t a multiple of 5?
True
Does 14 divide (-6428)/(-17) + 16/(-136)?
True
Let u be ((-513)/(-36))/(3/4). Suppose 0 = -20*h + u*h + 85. Does 17 divide h?
True
Let b(d) = -d**2 + 9*d + 28. Let r be b(13). Is (24/18)/((-2)/r) a multiple of 4?
True
Let r = 10 + 2. Suppose -10*z + r*z = 6. Suppose -2*s = -z*h - 49, -5*s = -6*s - 4*h - 3. Does 6 divide s?
False
Let n = 3205 + -2024. Is n a multiple of 4?
False
Let z = 100 - -50. Does 29 divide z/3 - (1 - 3)?
False
Let i = 37 + -35. Is (-169)/(-5) + i/10 a multiple of 17?
True
Suppose 4*y - 5*y = -5. Suppose -p - 4*p = -y*m + 390, 5*m - p = 394. Is 4 a factor of m?
False
Suppose -27*x - 3 = -28*x, 0 = -n + x + 861. Does 16 divide n?
True
Let w(p) = -2*p**2 - 10 + 3*p**2 + 0*p + p. Is 23 a factor of w(-11)?
False
Let i(h) be the third derivative of h**6/120 + h**5/4 - 11*h**4/12 - 6*h**3 - 24*h**2. Is i(-16) a multiple of 27?
False
Let d = 45 - -14. Let m = 4 + d. Does 7 divide m?
True
Suppose 4*s - 267 = -4*u + 3*u, -3*s = 5*u - 179. Is 9 a factor of s?
False
Does 63 divide (-5 - (-126)/(-12))*-10?
False
Let a be 4 - (0 - 0/(-4)). Suppose -a*g + 803 = 11. Is g a multiple of 18?
True
Suppose 12*t - 10639 = 4649. Does 13 divide t?
True
Suppose -y - 10912 = -5*y - 5*w, 3*y + 3*w = 8187. Is 14 a factor of y?
False
Let f(b) = b**2 - 23*b + 25. Let m be f(10). Let w = 141 + m. Is w a multiple of 3?
True
Let j(s) = 23*s**2 + 16*s + 18. Is 27 a factor of j(-5)?
True
Let y(w) = -3*w**2 + w. Let d be y(-1). Let q(x) = 12*x. Let n(r) = 11*r + 1. Let u(c) = -6*n(c) + 5*q(c). Is u(d) a multiple of 18?
True
Let x = -391 + 463. Is x a multiple of 36?
True
Let q(c) = 8*c - 16. Let y = 73 - 61. Is 10 a factor of q(y)?
True
Suppose 3348 = 23*x - 14*x. Is x a multiple of 31?
True
Suppose -4*p = -3*o + 41, p - 31 = -2*o + 11. Let v = o - 27. Is ((-54)/(-9))/((-6)/v) a multiple of 7?
False
Let l(q) = -123*q**3 - 3*q**2 - 3*q - 2. Is l(-1) a multiple of 11?
True
Suppose -3*s + 21 + 3 = -3*i, -s = 4*i - 23. Suppose 565 = -6*j + s*j. Is 19 a factor of j?
False
Let m = -232 + 348. Is 11 a factor of m?
False
Let t = 60 + -36. Does 6 divide t?
True
Let s = 25 + -32. Let r = -2 - s. Suppose 4*b + 36 = r*b. Is 36 a factor of b?
True
Suppose -11*v + 197 = -2355. Does 29 divide v?
True
Let a(b) = -b**3 + 21*b**2 + 33*b - 50. Let f be a(22). Let t = -32 + f. Is t a multiple of 8?
True
Let r = 229 - 222. Let a = -106 - -181. Suppose r*o - 2*o = a. Is 11 a factor of o?
False
Suppose o + o = 8. Suppose 4*l + 2*s - 374 = 0, -o*l = 5*s - 35 - 348. Is l a multiple of 48?
False
Let j = 4703 + -2366. Does 49 divide j?
False
Suppose 0 = 5*l - 4*l - 5, -4*l = -2*k + 72. Does 4 divide k?
False
Suppose -5*l + 20*l = 2415. Does 2 divide l?
False
Let k be 120/9*(-135)/(-20). Suppose 0 = -8*o + 6*o + k. Is o a multiple of 15?
True
Let k be 2/(-3)*9/(-2). Suppose 2*z = u + 15, -3*z + 5*u + 24 = k*u. Let b(q) = q**3 - 5*q**2 + 7*q + 2. Is b(z) a multiple of 20?
True
Let o be (21/(-7))/(2/30). Let h be (o/(-12))/(9/24). Let x = 4 + h. Is x a multiple of 2?
True
Let y be 3*1/(-2)*-2. Let q(l) = 1 - l + 5*l**3 - l**3 + 2*l**2 - l + 19*l**y. Does 7 divide q(1)?
False
Let a(d) = -34*d**3 - 1. Let g(y) = y**3 + 9*y**2 - 9*y + 11. Let s be g(-10). Let i be (-10)/15 - s/3. Does 8 divide a(i)?
False
Suppose -4*x - 2*u - 4 = -2, -5*x - 2*u = 2. Let o be 2 + (-6)/((-6)/2). Suppose -3*z + h = -119, -4*h = -x*z - o*z + 172. Is 19 a factor of z?
True
Let i = -181 - -431. Does 3 divide i?
False
Suppose 10*d - 5*n + 4000 = 12*d, 2*d + 3*n - 3996 = 0. Is d a multiple of 15?
True
Let b(j) = j**2 - 12*j + 13. Let x(m) = -m + 3. Let r be x(-6). Let g be b(r). Let q(i) = i**2 + 14*i + 14. Is 8 a factor of q(g)?
False
Let d(c) = 4*c + 1. Let g be d(1). Suppose g*k - 135 = 170. Does 11 divide k?
False
Let q(b) = 23*b**2 - 2*b. Does 3 divide q(1)?
True
Let f(n) = -2*n**2 + 266. Is f(0) a multiple of 38?
True
Let v(n) = -n**3 + 6*n**2 - n. Let l(o) = 2*o**3 + 17*o**2 + 7*o - 6. Let p be l(-8). Is v(p) a multiple of 4?
False
Suppose -k = -5*h + 4, 4*h - 7 = 2*k - 5*k. Is 15 a factor of (-14)/(-6)*(-1 + 46/k)?
True
Suppose 3*g - 79 = 95. Suppose b - 40 = -3*k, 0*b + b = 4*k - g. Suppose -4*z - k = -2*j, 4*j = -j + 5*z + 40. Is 3 a factor of j?
True
Let n(r) = 132*r - 58. Is n(2) a multiple of 11?
False
Suppose a + 3*a = 0. Suppose a = -k + 15. Does 4 divide k?
False
Suppose -2*z + 4*z = 4*c + 29478, -3*z = 5*c + 36875. Is 18 a factor of 8/(-6) - c/57?
False
Suppose -9*r - 44 = -11*r. Let a = 24 - r. Is 12 a factor of (14 + 2)/(a/3)?
True
Let w = 303 + -69. Is 22 a factor of w?
False
Let w(b) = -b**2 - 10*b - 18. Let n be w(-8). Let j(s) = -s**3 - s**2 - s - 2. Let a be j(n). Suppose z - 4 - 3 = f, -f = -a. Does 11 divide z?
True
Suppose -394 = -2*b + 536. Is 10 a factor of b?
False
Let b(f) = f**2 + 4*f - 5. Let z be b(1). Suppose -5*q + 5*c + 190 = 0, z*c = q - 5*c - 38. Does 5 divide q?
False
Suppose 3*t = 5*z - 28, -2*t = -3*z + z + 16. Let k = 6 + t. Suppose -5*j + 21 + 179 = k. Does 15 divide j?
False
Let i be (-2)/((-8)/(-476)) + 4. Let r = i - -209. Is r a multiple of 47?
True
Let a(m) be the third derivative of m**8/20160 - m**7/5040 + 17*m**6/360 + m**5/60 + 5*m**2. Let o(f) be the third derivative of a(f). Is o(0) a multiple of 10?
False
Let q(t) = t**2 + 3*t - 1. Let s be q(2). Suppose -20 = -s*u + 5*u. Suppose 4*f + u*w - 168 = 0, -6*w - 21 = -f - 2*w. Is 9 a factor of f?
False
Let x = 6057 - 3030. Is 37 a factor of x?
False
Let d be (1 - 0)/((-1)/(-15)). Let n = -12 + d. Suppose -3*r = -n*k + 153, 5*k + r + 4*r = 235. Does 11 divide k?
False
Does 71 divide 34353/44 + (-2)/(-8)?
True
Suppose -2*h - 14 - 2 = -4*b, -2*b + 2*h = -8. Suppose -b*o - 83 = -247. Does 21 divide o?
False
Let k(v) = -v**3 + 8*v**2 - v + 10. Let q be k(8). Suppose -30 = -q*j - 2*l, 4*j - 2*j - 35 = -3*l. Let c = 24 - j. Is 7 a factor of c?
True
Suppose 3*q - 1885 = -5*t, 2*t + 3*q - 260 = 4