ultiple of 26?
True
Let n(o) = o**3 + 11*o**2 - 5*o + 5. Suppose -2*f - 123 = -5*f. Suppose y = -0*y + k - 8, -4*y - f = -k. Is n(y) a multiple of 10?
True
Let i(z) = 3*z + 26. Let m be i(-8). Is 12 a factor of 8*13 - (-1 + m)/1?
False
Let q(c) be the second derivative of -c**6/360 + 13*c**5/120 + 5*c**4/24 - c**3/2 - c. Let p(a) be the second derivative of q(a). Is 3 a factor of p(13)?
False
Suppose -2*h + 5*h + 66 = 0. Let t(x) = -108*x - 7. Let m be t(-1). Let w = m + h. Is w a multiple of 24?
False
Let n(f) be the first derivative of 98*f**3/3 - f**2/2 - f - 7. Is 14 a factor of n(-1)?
True
Let j = 25 - 21. Suppose 356 = 4*s - 4*v, -j*v = 4*s - 3*s - 64. Does 14 divide s?
True
Let n be (-1)/(3 + (-640)/213). Let t = -23 + n. Is 17 a factor of t?
False
Let k(o) = -o**3 + 3*o**2 + 5*o - 5. Let m be k(3). Is 19 a factor of (-24)/(-10) + -2 - (-266)/m?
False
Let k = 29 + -27. Let t be (5/(-10))/(k/(-8)). Suppose -3*w + 4*f + 128 = -f, w = -t*f + 39. Does 7 divide w?
False
Let c = -17 - -8. Let g be 2/(-2) - (c - -3). Suppose -109 = -3*r + g. Is 38 a factor of r?
True
Let c(y) = 6*y**2 + 1 - 7*y + 2 + 3*y. Is 5 a factor of c(2)?
False
Suppose 0 = u + 4*a + 249, -4*u + a - 4*a = 970. Let y(z) = -z**3 + 4*z**2 - 3*z + 7. Let d be y(7). Let r = d - u. Is r a multiple of 27?
False
Suppose -4*t = 5*i - 117, -2*t + 5*i - 7*i = -60. Does 16 divide t?
False
Let u be (6/(-1))/(-5 - 66/(-15)). Let j(q) = q**3 - 10*q**2 + 2*q + 22. Is 28 a factor of j(u)?
False
Suppose -39*i - 1023 = -40*i. Is 33 a factor of i?
True
Let x(a) = 3*a**2 - 3*a - 2. Let b(l) = l**2 + 8*l + 5. Let z be b(-8). Suppose -2*p - 9 = -0*p - z*k, p = k. Does 8 divide x(p)?
True
Let m(i) = 58*i**3 - i**2 - 2*i + 2. Is m(1) a multiple of 15?
False
Suppose -229 = 4*h - 5*h. Does 13 divide h?
False
Let k(g) = 19*g - 162. Is 14 a factor of k(18)?
False
Let o(l) = 6*l - 15. Let k be o(6). Suppose -4*t - k = -3*v - t, -2 = t. Suppose -3*r + 89 = s + 33, -v*r = -3*s - 84. Is r a multiple of 14?
False
Suppose 10 + 6 = 4*z, -5*j + 1600 = -5*z. Is j a multiple of 54?
True
Let p(l) = 97*l - 2. Let q be p(1). Suppose 5*a = -2*m - 0*m + q, -a = 2*m - 11. Is a a multiple of 3?
True
Let n be 0/(3/((-3)/(-2))). Suppose 0*v - 3*v + 3*t + 63 = n, v - 4*t = 30. Suppose -w + 5*w = -d + 33, 2*d - v = -2*w. Is 3 a factor of w?
False
Let f = 31 - 26. Suppose -5*m - 3*y + 484 = -0*m, f*y = -10. Suppose 4*l + b - 214 + 23 = 0, -2*l + m = -2*b. Is l a multiple of 24?
True
Suppose -1 = b - 3. Suppose 3*r - 47 = 3*v - 317, 2*r + b = 0. Is v a multiple of 21?
False
Let q(n) = n**2 - 31*n + 19. Let z be q(22). Let i = z + 335. Is i a multiple of 24?
False
Let l = -4 + 7. Is 4 a factor of -1*(l*-2 - 1)?
False
Let a(w) = -w**2 + 9*w - 15. Let z be a(6). Suppose z*f + 4 = -8. Let u(b) = -12*b - 6. Does 21 divide u(f)?
True
Suppose 5*q - 7 - 28 = 5*k, 0 = -5*q - 3*k + 19. Suppose q*l - 2 = 4*p - 84, -4*l = -p + 26. Does 18 divide -2 + 1 + (p - -1)?
True
Let f(r) = 112*r + 576. Is 8 a factor of f(24)?
True
Suppose -1407 = 11*s - 18*s. Is s a multiple of 46?
False
Suppose -4*d + 3 = -5. Suppose -d*i = -5*i + 45. Does 15 divide i?
True
Let s be -1 + 0 + -11 + (-2 - -1). Does 17 divide s/((-390)/1548) - (-6)/(-10)?
True
Let n = -15 - -19. Suppose 0 = 3*c - 0*c - n*a - 56, 4*c - 78 = 2*a. Does 30 divide c/2*114/12?
False
Let w(d) = -4 - d**3 + 2*d + 2*d**2 - 3*d**2 + 8*d**2 - 2*d**2. Let o be w(5). Does 14 divide ((-7)/(-2))/(o/108)?
False
Let z(i) = -2*i**2 - 17*i - 5. Let p be z(-8). Suppose -2*h - 3*x + 103 = 0, -2*h - p*h + 2*x = -248. Does 10 divide h?
True
Let d = 1013 + 175. Does 9 divide d?
True
Let w be (-2373)/(-7)*(-4)/6. Let u = w - -511. Is 51 a factor of u?
False
Suppose 0 = 29*v - 7859 + 29. Is 2 a factor of v?
True
Let m = 8 - 1. Suppose m*v + 16 = -v. Is 12 a factor of (2 - v/(-5))*30?
True
Suppose -t = -4*t - 3*p + 2070, 4*t + 5*p = 2757. Suppose 5*x - t = 372. Suppose -3*f + x = 3*a, -3*a - f + 2*f + 229 = 0. Is 18 a factor of a?
False
Let y = -30 + -18. Let f = 148 + y. Does 25 divide f?
True
Let z = 1900 + -1302. Is z a multiple of 26?
True
Let z be 2*-2*65/52. Let m(t) = 2*t**3 + 5*t**2 + 8*t + 1. Let k(s) = 3*s**3 + 11*s**2 + 17*s + 1. Let w(c) = z*m(c) + 3*k(c). Does 16 divide w(9)?
True
Let p(d) = -d**3 + 0*d**2 + d + 3*d**3 - 2 - 2*d**2 - d**2. Let a be p(2). Suppose -162 - 14 = -4*x + a*f, -x - f = -42. Is 13 a factor of x?
False
Let r(l) = 17*l**2 + 1. Suppose 5*i - 2*t = 5, -2*i + 3*t = 2 - 4. Does 4 divide r(i)?
False
Let k = 66 - 66. Does 7 divide k - -22 - (4 - 3)?
True
Let z = -1116 + 1287. Is 16 a factor of z?
False
Let c(l) = 29*l - 98. Is c(4) a multiple of 3?
True
Suppose 3*b + 39 = -3*f + 162, 3*b - 163 = 5*f. Does 9 divide b?
False
Let f = 19 + -9. Suppose f*l - 120 = 5*l. Does 8 divide l?
True
Let x = -332 + 708. Is 2 a factor of x?
True
Suppose 10*f = -7777 + 23897. Is 52 a factor of f?
True
Let t = -910 + 1873. Does 7 divide t?
False
Let o be 1*11 + (-7)/7*3. Let j(t) be the third derivative of t**4/8 + 2*t**3 + t**2. Is j(o) a multiple of 21?
False
Let u(t) = -2*t**3 - 5*t**2 + 2*t - 4. Let a be u(-4). Let y be a/(-7)*280/(-15). Suppose 4*o = 2*g - y, 2*g - 38 - 58 = 5*o. Does 12 divide g?
True
Let q be (2/(-4))/(7/(-42)). Let r(v) = -2*v**3 + 3*v + 23*v**2 + 4 - 2*v**3 + 5*v**q - 37*v**2. Is r(14) a multiple of 23?
True
Let h = -9 - -14. Suppose -t + 5 = 2*m, -h*m + 11 = t - 0. Suppose 2*i + 54 = 2*o - 2*i, 2*o = m*i + 44. Is 5 a factor of o?
False
Let m(u) = 3*u**2 + 4*u - 1. Let a be m(-3). Let v(h) = h**2 - 8*h - 3. Let l be v(a). Suppose 4*s - l = 23. Is 26 a factor of s?
True
Let m(f) = -3*f**3 - 2*f**2 + 8*f + 6. Is 67 a factor of m(-4)?
True
Let i(z) = 2*z + 571. Does 7 divide i(24)?
False
Let t(d) be the first derivative of -d**3/3 - 7*d**2/2 + 2*d - 202. Suppose -5*n + 1 = -r - 8, -5*r - 17 = 3*n. Is 13 a factor of t(r)?
False
Suppose -3*j - 2*o = -975, -4*o - 1300 = -4*j - 0*j. Suppose 75 + j = 5*w. Suppose -w + 28 = -4*t. Is 13 a factor of t?
True
Let r be (4/6)/(1 - 1347/1341). Let q = -57 - r. Is q a multiple of 11?
False
Suppose 11*v - 3496 = 7*v. Is 23 a factor of v?
True
Let h(u) be the third derivative of u**6/120 + 7*u**5/60 + u**4/12 + u**3/3 - 3*u**2. Let j be h(-7). Is j/18 + (-34)/(-6) a multiple of 5?
True
Does 6 divide (-117)/(-5)*(-20)/(-6)?
True
Let q(a) = 1078*a**2 + 19*a. Is 21 a factor of q(-1)?
False
Let q = -169 + 294. Does 17 divide q?
False
Let n = -1549 + 3684. Does 35 divide n?
True
Let a be 1 + -3 - (-17 + 11). Let w be (-6)/a*(-192)/9. Suppose 0 = -3*m + 76 + w. Does 11 divide m?
False
Suppose 5*x = -5*l + 3670, 3*l = 6*l - 5*x - 2178. Is l a multiple of 9?
False
Let n be (3 - -1) + 69*(-8)/(-6). Does 17 divide (n/14 + -2)*14?
True
Let f = 18 + -63. Let k be (7 - 2)*72/f. Let n = k + 33. Is 5 a factor of n?
True
Let o(l) = -l**3 + l**2 - 2*l + 7. Let m be o(0). Suppose 0 = 3*i + m - 115. Is i a multiple of 4?
True
Let j be 171/76 - (-2)/(-8). Suppose 0 = j*b - 9*b + 910. Does 13 divide b?
True
Suppose 36*f - 5605 = 4187. Is f a multiple of 17?
True
Let a(j) = j**3 - j**2 + 4*j + 622. Is 7 a factor of a(0)?
False
Let m(a) = -28*a**3 - 3*a**2 - 5*a + 5. Let r(t) = 27*t**3 + 2*t**2 + 4*t - 4. Let v(b) = 2*m(b) + 3*r(b). Does 5 divide v(1)?
True
Let y(s) = 4*s**2 - 11*s + 23. Does 6 divide y(4)?
False
Is (-3)/(9/(-561)) + 2 a multiple of 7?
True
Let l be 1/(-4) + (-117)/(-36). Suppose 0 = -0*v + l*v - 69. Let j = v - -13. Is 9 a factor of j?
True
Suppose -7*h + 5 = -16. Does 6 divide -12*20/(-2 - h)?
True
Let v(j) = 3*j - 8. Let d be v(3). Is 13 a factor of (18/(-15))/((-3)/390*d)?
True
Let h = 110 - 75. Suppose 302 = -36*w + 14. Let u = h + w. Does 9 divide u?
True
Suppose -122*s + 135*s = 1638. Is 4 a factor of s?
False
Let t(z) be the first derivative of -z**2/2 - 6*z + 12. Is 2 a factor of t(-9)?
False
Let i(d) = 9*d - 33. Let z be i(4). Suppose -8*l = -z*f - 3*l + 88, 25 = -5*l. Does 21 divide f?
True
Let p be (-210)/10*(-2)/(-3). Is 3 a factor of ((-24)/p)/(3/21)?
True
Let g = 0 - -19. Let o(d) = 7*d + 34. Let u(i) = -5*i - 32. Let w(p) = -3*o(p) - 4*u(p). Does 2 divide w(g)?
False
Let y(a) = -3 + 17*a - 19*a - a**2 + a**3 - a**2. Let b be y(3). Suppose -3*n + 115 + 35 = b. Does 13 divide n?
False
Suppose 0 = -14*l + 15*l. Suppose 2*n = 