+ 4*j. Is o a multiple of 16?
True
Let x be (-6)/12*(4/2 + -30). Let r = 29 - 15. Let q = r + x. Does 15 divide q?
False
Let w(p) = -29*p + 3. Let l(d) = 86*d - 8. Let j(n) = -3*l(n) - 8*w(n). Let c be j(-2). Let b = 13 + c. Is 13 a factor of b?
True
Let k = 3 - -1. Let a = -213 - -205. Does 5 divide (-10)/a*(k + 0)?
True
Let w(q) = -157*q**3 - 2*q**2 + q + 3. Let b be w(-1). Suppose 2*p - 165 = -b. Is p even?
True
Suppose -1312*p = -1315*p + 291. Is p even?
False
Suppose 17*h - 25*h + 424 = 0. Is 2 a factor of h?
False
Let o(b) = b**3 + 27*b**2 - 95*b - 76. Does 10 divide o(-26)?
True
Let r(h) = 3*h**2 + 32*h - 13. Is r(-22) a multiple of 23?
False
Let g = 416 - 243. Let i = g + -124. Is 15 a factor of i?
False
Suppose -13*q + 6*q + 1323 = 0. Is q/9 - (3 + -6) a multiple of 12?
True
Let k(t) = -3*t - 24. Suppose -7*f + 50 = -12*f. Is 2 a factor of k(f)?
True
Let w = -654 + 956. Is w a multiple of 10?
False
Suppose 5*t + w = -0*w - 101, 3*t + 47 = -4*w. Let f = t - -41. Does 20 divide f?
True
Let i = -74 - -54. Let r = i - -90. Is 35 a factor of r?
True
Let a = -41 - -62. Is a a multiple of 3?
True
Suppose -5*f - 422 = 3*q - 122, -534 = 5*q - 3*f. Let x = -73 - q. Let r = -7 + x. Does 25 divide r?
True
Let y(v) = -326*v - 8. Does 36 divide y(-4)?
True
Let m(i) = -i + 3. Let b be m(-3). Suppose -3*z + 12 = 4*c, 5*z - b = -2*c + 14. Suppose -3*r + 5*y + 19 = y, 0 = z*r - 4*y - 32. Does 13 divide r?
True
Suppose -f = -84 + 34. Suppose -b = -4*n + 791, 4*n + 4*b + f = 846. Is 13 a factor of n?
False
Let x be 1/(10/8 + -1). Let s = x + 10. Is s even?
True
Let z be (-2)/12 - (-499)/6. Suppose 0 = -7*r - z + 419. Is 24 a factor of r?
True
Let y = 9 - 7. Suppose -4*p - 3*l = -8*l - 279, -4*p + 270 = -y*l. Suppose -5*h = -4*u - 104, 2*h - p = -2*u - 10. Does 12 divide h?
True
Let t(x) be the first derivative of x**5/60 + 5*x**4/8 + 19*x**3/6 - 7*x**2/2 + 6. Let p(n) be the second derivative of t(n). Does 2 divide p(-14)?
False
Is 2 a factor of (-153)/357 - (-2663)/7?
True
Let l be (4/(-3))/((-2)/(-21)). Is 210/4 + 7/l a multiple of 13?
True
Let y(z) = -55*z - 161. Is 2 a factor of y(-8)?
False
Suppose 0*o + 18 = -4*o + 3*n, -2*n - 4 = 0. Let j be (4/o)/(8/(-36)). Suppose 120 = j*c - c. Does 30 divide c?
True
Suppose 2*p = a - 113, -3*a = 4*p - 3*p - 311. Suppose r - a = 5*h, r + 0*r + 3*h = 145. Is r a multiple of 7?
False
Let k = -30 - -27. Let o(h) = -15*h + 9. Let u(c) = -14*c + 8. Let t(v) = k*o(v) + 4*u(v). Is 13 a factor of t(-9)?
True
Let v be (5518/31)/((-1)/(5 + 1)). Does 9 divide 3 - (4/(-6) + v/18)?
True
Suppose -4*o + 3*q + 0*q - 16 = 0, -4*o - 20 = -4*q. Let t(n) = 2*n + 0 + n**2 - 50*n**3 + 1 + 14*n**3. Does 16 divide t(o)?
False
Suppose -13*a + 28*a = 16875. Is a a multiple of 19?
False
Let m(f) = -f**2 - 3*f + 14. Let i be m(4). Is 7 a factor of (-270)/i + (-10)/35?
False
Let h(g) = g**2 + 10*g - 211. Is 10 a factor of h(11)?
True
Let n(y) = -8*y**3 + 3*y**2 + 6*y + 7. Is n(-3) a multiple of 8?
True
Let y(j) = -j**3 + 12*j**2 + 15*j - 3. Let a be y(12). Let c = a + -100. Is 18 a factor of c?
False
Let q be 1 + 195 + 2 + 18/(-6). Suppose 2*f - 3*p - q = 0, 5 = 2*p - 1. Is f a multiple of 34?
True
Let t(g) = -5 + 4*g**2 - 3*g**2 + 3. Let n be t(2). Suppose 38 = n*k - 0*k. Is k a multiple of 10?
False
Let w(g) = 9*g**2 + 6*g - 18. Let i be 4/((-9)/((-27)/(-6))). Let p(r) = -4*r**2 - 3*r + 9. Let k(a) = i*w(a) - 5*p(a). Does 6 divide k(-5)?
False
Let b(u) = -u**2 - 10*u - 7. Let s = 157 + -97. Suppose -j = m + 6, 4*m - 5*j + s = -m. Does 2 divide b(m)?
True
Let u = -499 - -851. Is 9 a factor of u?
False
Suppose -137*k = -140*k + 1008. Is k a multiple of 4?
True
Suppose 2*p = -3*s + 6 - 1, 35 = 3*p - s. Suppose -6*i - 20 = -p*i. Let x = 2 + i. Does 6 divide x?
False
Suppose c - a - 114 = 0, -a = 4*c + 2*a - 428. Let k = 114 - c. Is 4 a factor of k?
True
Let n(v) = 50*v - 224. Does 14 divide n(5)?
False
Let a(h) be the second derivative of -h**5/20 - 2*h**4/3 + h**3/2 - 9*h**2/2 + 9*h. Is 9 a factor of a(-9)?
True
Suppose 0 = -2*p + 11*p - 36. Suppose 0 = -p*a + 333 - 73. Is 8 a factor of a?
False
Let n be (3 - 21/6)/((-4)/24). Is n + -3 + 1*(0 + 35) a multiple of 35?
True
Suppose -j = -3*r + 326 + 2861, 0 = -j - 1. Is 18 a factor of r?
True
Let y(w) = -10*w - 33. Let j be 13/((-65)/92) - 2/(-5). Does 19 divide y(j)?
False
Suppose -n = r - 521, -2*r - 3*n = -1091 + 53. Is 45 a factor of r?
False
Let y = 49 - 29. Suppose q - 648 = -4*p - 2*q, 0 = -5*q + y. Suppose -5*g + x + p = 0, 4*g - 5*x - 36 = 87. Is 7 a factor of g?
False
Suppose -2*w - 2 = -3*w. Let o be (5/5)/(1/w). Suppose -296 = -o*u - 2*u. Does 29 divide u?
False
Let t(j) = -j**3 - 20*j**2 - 24*j - 47. Let s be t(-19). Let o = s + 117. Does 15 divide o?
True
Suppose -4*k = -17*k - 312. Is (0 + 291)*(-8)/k a multiple of 11?
False
Let b = -396 + 524. Does 2 divide b?
True
Suppose -z + 1738 = 5*p, z - 2442 + 700 = -p. Is z a multiple of 21?
True
Let q = 397 + -97. Is 30 a factor of q?
True
Is 10 a factor of (-12*(-70)/(-30))/(2/(-85))?
True
Let q = -654 - -467. Let l = 327 + q. Does 14 divide l?
True
Suppose -2*k - n = -0*n - 126, 3*k - 2*n - 175 = 0. Suppose -k = 5*h + 39. Does 13 divide 19/(-2)*(h - -14)?
False
Let h = 1 + 2. Suppose 0 = -m + o + 8, -2*o + 4*o = h*m - 20. Suppose -2*v + m = -56. Does 10 divide v?
True
Let m(x) = 2*x**3 + 24*x**2 + x - 3. Let d be m(-12). Suppose -5*k = 5*w - 55, 0*w - 3*w + 4*k + 12 = 0. Let n = w - d. Does 15 divide n?
False
Let q(l) = -l**2 - 7*l - 7. Let m be q(-4). Suppose 0 = -h + n + 16, -3*h - 30 = -m*h + n. Is 14 a factor of h?
True
Let d(h) be the second derivative of h**4/12 - h**3/3 - 4*h**2 + 82*h. Let q(z) = 7*z**2 - 2*z + 1. Let t be q(1). Is 16 a factor of d(t)?
True
Suppose -2*m - 8 = -5*w + 10, 3*w - 26 = 5*m. Suppose 3*y - 118 = -w*o, 7*o = 3*o - y + 236. Does 19 divide o?
False
Let v(s) = s**3 + 4*s**2 - 6*s + 4. Suppose -25 = -2*w - 3*w, 4*w = -2*i + 8. Let x = -11 - i. Does 5 divide v(x)?
False
Suppose -2496 = -1611*k + 1608*k. Does 19 divide k?
False
Does 30 divide 26/(-104) - (-3981)/4?
False
Does 49 divide (6 - 5)/(13/7605)?
False
Let u(a) be the first derivative of a**2/2 + a + 12. Let n be u(-2). Does 18 divide 2 + (67 - (n + -2))?
True
Suppose 5*g - 2*w - 3341 = 3090, -4*g = -4*w - 5140. Is g a multiple of 99?
True
Let d(a) = 1303*a + 9. Is d(1) a multiple of 27?
False
Let f(m) = -2*m**2 + 25*m + 17. Let d be f(13). Suppose 14*u = d*u + 2390. Is 12 a factor of u?
False
Is -60*2*(-102)/9 a multiple of 16?
True
Is (4/(-2) + 3)/(11/8789) a multiple of 64?
False
Suppose 5*n + 466 + 170 = 2*o, -3*n - 1286 = -4*o. Does 19 divide o?
True
Let p be 27 + -44 - (0 - -1). Let r = 3 - p. Is r a multiple of 7?
True
Is -10053*(-3)/9 - 3*2 a multiple of 15?
True
Let n(z) = 2*z**2 - 2*z. Let q be n(2). Suppose q*s - 4 = 6*s. Let u = s + 14. Is 8 a factor of u?
False
Suppose 9*i - 15*i = -276. Does 8 divide i?
False
Suppose 0 = 48*a - 52*a + 84. Does 3 divide a?
True
Let j = 966 - 957. Is j a multiple of 9?
True
Suppose 3*j + 2*j = 50. Suppose j*c - 12 = 7*c. Suppose 0 = 2*f + 2*o - 14 - 0, 0 = c*o + 12. Is 5 a factor of f?
True
Let t(b) be the second derivative of b**3/6 + 3*b. Let d be t(4). Suppose d*j = 318 - 54. Is j a multiple of 20?
False
Let a(f) = -179*f - 244. Is 31 a factor of a(-5)?
True
Let h = 29 + -30. Is 16 a factor of 65 + (-5 - h) - -3?
True
Let s(p) = -17*p + 5*p - 11*p - 1 - 3. Let o be s(4). Let w = o + 175. Does 17 divide w?
False
Let n(p) = 9*p**2 + 2*p + 2. Let c(m) = m**3 - 12*m**2 - 13*m - 4. Let v be c(13). Let h be n(v). Let s = h - 68. Does 14 divide s?
True
Let q(x) = 16*x**3 - 20*x**2 - 3*x + 10. Does 13 divide q(4)?
True
Let x be 68/10 + 2/10. Let i be 2/x - (-176)/(-77). Let r = i + 21. Is 19 a factor of r?
True
Suppose 39 + 3 = 3*n. Suppose 4*c = 4*o + 172, -45 + n = -c - 2*o. Suppose -12 = -d - 3*k + 4*k, -3*d + 4*k = -c. Is d a multiple of 2?
False
Let h(z) be the first derivative of 3/4*z**4 + 1 - 3*z + 2*z**2 - 2/3*z**3. Is h(2) a multiple of 10?
False
Let g(n) = -3*n**3 - 17*n**2 - 15*n + 14. Does 47 divide g(-11)?
True
Let p(u) = -u**3 + 2*u**2 + u + 1. Let h be p(2). Let v = h + -11. Is 23 a factor of 238/3 + v/(-12)?
False
Suppose 0 = 3*h - 5*h + 4. Suppose 5*r - n + h*n - 10 = 0, 25 = 5*r - 2*n