tor of (d - 5)*(-16)/(-6)?
False
Let m(d) be the first derivative of -5*d**2/2 + 35*d - 92. Let j = -9 + 3. Is 11 a factor of m(j)?
False
Let c = 5436 - 1197. Does 18 divide c?
False
Let o = -40 + 27. Let l = 16 + o. Suppose 5*g - l*d - 258 = 0, d = -5*g - 0*d + 274. Is 14 a factor of g?
False
Let n be 247*(-1)/2*1584/(-8). Is 13 a factor of n/(-66)*2/(-3)?
True
Let s(a) = 3*a**2 - 746*a + 69. Does 27 divide s(-42)?
True
Let d(s) = s**3 - 109*s**2 + 71*s + 70. Is d(111) a multiple of 56?
False
Let y be ((-3)/(-3))/(2/(-24)). Let p be y/9*(-29 + 2). Suppose p = -2*j + 6*j. Is j a multiple of 3?
True
Let w be 1/(84/20 + -4). Suppose w*m = -20, -2*m = -2*d + 2*m + 24. Suppose -2*s - d*u + 48 = 0, 5*s + u + 23 = 7*s. Does 3 divide s?
False
Is 25 a factor of (-22)/(-99) - 121261/(-63)?
True
Let o(z) = -445*z**2 - 13*z - 12. Let d be o(-1). Let j = -264 - d. Is 30 a factor of j?
True
Let g(b) = -32*b + 2. Suppose -6*i + 13 - 1 = 0. Suppose 3*y + i*y + 33 = 2*w, 0 = -2*y - 3*w + 2. Is g(y) a multiple of 18?
True
Let y(p) = -p**3 + 21*p**2 - 21*p + 22. Let g be y(20). Does 4 divide g/(14/1617) - -1?
True
Let v = -46 - -61. Let r be 190*(57/v + -3). Let x = r - 11. Is x a multiple of 11?
False
Suppose 2*t + 9*t = 5082. Is 12 a factor of t/42 + 0 + 1?
True
Let v = 1221 - 689. Is 3 a factor of v?
False
Let u(z) be the first derivative of -8*z**2 - 21*z - 2. Let x be u(6). Let a = x + 204. Is a a multiple of 29?
True
Does 14 divide ((-3311)/(-129))/((-4)/(-192))?
True
Suppose 75*w - 4*m + 11736 = 76*w, -5*w + 5*m + 58830 = 0. Is 70 a factor of w?
True
Suppose 0 = -2*j - 5*d + 59, -5*j + d = -3 - 104. Suppose 3*h + 3*p = 178 - j, p = 5. Is h even?
False
Let r(o) = -6*o**3 - 7*o**2 - 3*o + 12. Let k be r(-4). Does 37 divide (36/(-8))/3*k/(-12)?
True
Suppose 2*p = 3*v + 37567, -63*p + 67*p + 2*v = 75126. Does 9 divide p?
False
Suppose 4*b - 1309 = -k, 31 - 21 = -5*b. Is 87 a factor of k?
False
Let m = 625 + -367. Suppose 5*s = -3*t - 264, 4*t - t + m = -3*s. Let r = 242 + t. Is r a multiple of 15?
False
Suppose -d + 37 = 5*q - 24, 2*d - 4*q = 108. Let f = -29 + d. Does 11 divide (140/(-12) - -3)/((-3)/f)?
False
Let f(h) = -870*h - 3929. Is 8 a factor of f(-6)?
False
Let d(t) = -t**2 - 2*t + 7. Let r be d(-3). Suppose -5*q + q - r*z = 0, -3*q - 10 = 5*z. Let h = q + 19. Does 24 divide h?
True
Let o(a) = -5*a**2 - a**3 + a**3 + a**3 + 5*a**2 - 52*a - 6 + 17*a**2. Is o(-19) a multiple of 26?
True
Let v = 6629 - -13040. Is 17 a factor of v?
True
Suppose -267 = -13*g + 1917. Suppose 12*r = 11*r + g. Is r a multiple of 21?
True
Let h(y) = y**3 + 2*y**2 + 1. Let f(g) = 3*g**3 + 17*g**2 - 7*g + 2. Let z(k) = -f(k) + 6*h(k). Let p be 4/(2 + -4 - -3). Is z(p) a multiple of 36?
True
Suppose 1746990 = 115*y + 26*y. Is 70 a factor of y?
True
Let o = -6 - -49. Let x = 310 - o. Suppose 3*t + 15 + 163 = 2*w, t = 3*w - x. Does 27 divide w?
False
Let j(h) = -2*h**2 + 6*h + 5. Let g be j(-2). Let s be (-73)/g + 8/60. Suppose -s*f = -t + 2*t - 14, -2*t + 4*f = -56. Does 8 divide t?
True
Let k(l) = 4*l + 40. Let t be k(7). Let w = t + -53. Is w a multiple of 15?
True
Is (-90)/8*(-396 + -7 + 19) a multiple of 15?
True
Let d(p) = 34*p - 429. Let a be d(14). Let i = 2 + -2. Let u = a - i. Does 9 divide u?
False
Suppose -4 = 5*a + 4*x, 2*a + 0*x = x - 12. Let q be -1 + 2 + a + (38 - 0). Is ((-108)/10)/((-7)/q) a multiple of 21?
False
Let o = -2564 + 4128. Does 68 divide o?
True
Suppose 0 = 4*p + 2*r - 22178, p - 5*r = -4*r + 5537. Does 5 divide p?
False
Let k(r) be the second derivative of r**4/12 + 2*r**3 + 10*r**2 - 3*r. Suppose 38 = -2*m + 8. Is k(m) a multiple of 14?
False
Let x(p) = -3*p**2 - p**3 - 4*p**2 - 8*p - 2 + p**2 + 2*p. Let n be ((-34)/4 + 4)*(-4)/(-3). Is x(n) a multiple of 26?
False
Suppose 5*q + 588 = -5*p - 387, 5*q - 4*p + 975 = 0. Is 3 a factor of ((-16)/(-10))/((-26)/q)?
True
Suppose -2*d + d = -2. Suppose -q = -3*s + 11, s - d*q + 2 = -1. Suppose -s*c = -2*c - 24. Is 3 a factor of c?
False
Suppose -25 = 5*u, 0 = -4*s + 2*u - 5451 + 26069. Is 46 a factor of s?
True
Let m(q) = q**2 - q - 17. Let o be m(5). Suppose 14*x + 11 = o*x. Does 7 divide 17 - ((0 - 0) + x)?
False
Suppose q - 2*i - 68 = 0, 0 = -2*i - 27 + 37. Let v = q - -122. Is v a multiple of 41?
False
Suppose -5*c = -3*c. Let s(w) = -5*w**2 + w - 71. Let b(l) = -22*l**2 + 4*l - 282. Let f(z) = 2*b(z) - 9*s(z). Is f(c) a multiple of 15?
True
Is (3 - 12)/(-27) - (-8465)/3 a multiple of 166?
True
Let k = 40747 + -33587. Is 79 a factor of k?
False
Suppose 10820 - 2280 = 2*a + 4*s, 2*s = 3*a - 12858. Is 105 a factor of a?
False
Suppose -2*i + 11 - 1 = 0. Suppose -2*r + i*t + 1055 = 0, r = 5*t + 771 - 256. Is 60 a factor of r?
True
Suppose 2*f = f + 8. Suppose 4*b + f = 4*s, 5*s = -4*b + 2*b + 31. Suppose 185 - s = 5*a. Does 9 divide a?
True
Let r(o) = -3*o**3 - 66*o**2 - 26*o - 62. Let f be r(-21). Let s = f - -843. Does 4 divide s?
True
Let c be 4/(-66)*-3 + (-80)/(-44). Suppose -5*t + 20 = 0, 3*o - c*t - 1209 - 883 = 0. Is o a multiple of 20?
True
Suppose -31*o - 152 = -23*o. Let j = 11 - 12. Let h = j - o. Is h a multiple of 6?
True
Suppose 66794 = 194*b - 181*b. Is 10 a factor of b?
False
Is ((-19)/2 + 8)*100/(-5) a multiple of 10?
True
Let r = -12886 + 12969. Does 11 divide r?
False
Suppose 4*d - 8 = 2*x, -3*x + x = d - 2. Let f = 4 + x. Suppose 2*r = 3*u - 260, 5*u - 411 = f*r + 25. Does 30 divide u?
False
Let y(i) = -2*i + 12. Let a be y(0). Let x(q) = 10*q + 72. Does 5 divide x(a)?
False
Let t be (5 - 2)/(6/4). Suppose -4*y + 3*i + 5 = -1, -t*y + 3*i = -6. Suppose 3*b = -4*x + 124 + 309, 2*x + 2*b - 214 = y. Is x a multiple of 14?
True
Suppose -756 = -0*i - 3*i. Let p = 18872 - 18237. Suppose 5*z - p = -5*r, -z = -3*r + 109 + i. Is 29 a factor of r?
False
Let v(t) = 1. Let m(n) = n**2 + 24*n + 5. Let q(y) = m(y) + 5*v(y). Let a be q(-24). Suppose -14*f = -a*f - 180. Does 5 divide f?
True
Suppose 8*h = -5*p + 9*h + 1612, -2*p + 652 = 2*h. Let l = -136 + p. Is l a multiple of 7?
False
Suppose -a = -2*w - 20, -1 + 7 = 3*w. Suppose -12 + a = 3*b, 0 = 2*z - 4*b - 2192. Is 48 a factor of z?
True
Let l = -53310 - -84068. Is l a multiple of 182?
True
Let r(i) be the third derivative of i**6/120 + 8*i**5/15 - 15*i**4/8 - 31*i**3/6 + i**2 - 8*i. Does 27 divide r(-33)?
False
Let j(f) = -f**3 - 7*f**2 - 10*f - 9. Let s be j(-6). Let c be 70/s - (-1)/3. Suppose -c*y + 17 = -103. Does 10 divide y?
False
Suppose 44*n - 42*n - 2*g + 2 = 0, -n - 3*g = -23. Let b(c) = 34*c**3 + 2*c**2 - c. Let u be b(2). Suppose n*l = 27 + u. Does 23 divide l?
False
Let g = 256 - 362. Does 9 divide (-49)/(-98) - 2/(8/g)?
True
Let l = -235 + 237. Let v be (0/3)/(1*-1). Suppose 0 = -l*f + 3*f + 4*i - 104, -2*f + 2*i + 178 = v. Is 23 a factor of f?
True
Let c(x) = 73*x**2 + 71*x + 1323. Is c(-20) a multiple of 69?
False
Let l(i) be the third derivative of 11*i**4/24 - 17*i**3/3 - 4*i**2. Let m be l(-10). Is 6 a factor of (m/(-21))/((-3)/(-21))?
True
Suppose -9*d + 656 = -d. Suppose -3*u = -3, -3*i = 3*u - 5*u - d. Is 14 a factor of i?
True
Let m(h) = 56*h - 707. Let y(u) = -7*u + 88. Let f(x) = -6*m(x) - 49*y(x). Is 7 a factor of f(24)?
True
Suppose -62*b + 2*n = -67*b + 170581, 5*n = 5*b - 170595. Is 313 a factor of b?
True
Let d(p) = 14*p**3 + 5*p**2 - 19*p + 12. Does 81 divide d(6)?
False
Let d(r) = -3*r + 23. Let a be d(7). Suppose 2 - 5 = 3*w, a*w = -3*x + 34. Suppose -5*z + 63 = -x. Does 7 divide z?
False
Let v(o) = o**3 - 3*o**2 - 11*o + 5. Let n be v(5). Suppose n = 5*q - 5*s - 15 - 125, -s = 3. Is 5 a factor of q?
True
Let t(m) be the third derivative of -m**4/12 + 2*m**3/3 - m**2. Let l be t(-12). Suppose -53 = -s - 5*j, 0 = 4*s + 2*j - 112 - l. Is s a multiple of 11?
True
Let n = -199 + 228. Suppose -38*t + n*t + 2295 = 0. Is t a multiple of 15?
True
Let t(a) be the second derivative of -a**6/720 + a**5/30 + 11*a**4/12 - 4*a. Let h(p) be the third derivative of t(p). Is h(-6) a multiple of 5?
True
Let m(q) = 254*q + 3310. Is 122 a factor of m(35)?
True
Suppose 413 = 5*f - 217. Suppose 0 = -4*c + 46 - f. Let s = c + 70. Is 4 a factor of s?
False
Let g = 47589 + -18077. Is g a multiple of 183?
False
Let s = -37 + 42. Suppose -s*y = -2*w + 168, -w - y + 156 = w. Is w a multiple of 7?
False
Let q(r) = r + 10. Let w be q(-8).