tiple of 105?
True
Let t(v) be the second derivative of -v**5/20 - v**3/6 - 5*v**2 - v. Suppose 4*k - 30 = 7*g, -730 + 712 = 2*k + 2*g. Is 8 a factor of t(k)?
False
Let p(r) = 65*r**2 + 255*r - 3. Is p(9) a multiple of 11?
True
Suppose 0 = -3*c - 3*f + 15, 3*f = -4*c - 0*f + 19. Let l(o) = o**3 - 3*o**2 - 2*o - 7. Let h be l(c). Suppose -r + 36 + h = 0. Does 13 divide r?
False
Let t(s) = -s**3 - 9*s**2 + 6*s - 21. Let w be t(-10). Suppose -16 - w = -7*k. Suppose 5*y + 4*x - 584 = 0, -k*y + 3*x = -459 - 118. Does 29 divide y?
True
Let j = 361 - -469. Let q = j - 374. Does 57 divide q?
True
Let u(l) = -8*l - 2. Let q be u(-1). Let b be (6*q - (2 - 5)) + -3. Let r = b + -24. Is 2 a factor of r?
True
Let h = -10 + 5. Let k be -2 + 0 - h - 1 - -3. Suppose 5*s + 2*x = 381, 3*s + k*x + 1 = 241. Is s a multiple of 6?
False
Let y(h) = h**2 + 16*h + 47. Let x(w) = -3*w - 58. Let f be x(-15). Is 2 a factor of y(f)?
True
Is 75 a factor of (-12)/14 - (-600666)/77?
True
Suppose -5*t - q + 2307 = 0, 3*q + q = -3*t + 1374. Suppose 3*d = c + 4*d - t, -2*d = -c + 474. Let v = -306 + c. Is 20 a factor of v?
True
Let o(n) = -255*n - 5. Let i be o(-3). Suppose -l - 4*l = -i. Does 8 divide l?
True
Let m = -1422 - -1790. Is 23 a factor of m?
True
Let w(z) = 2*z + 11*z**2 + 0*z - 3 + z - 2 - z**3. Suppose -12*o - 10 = -13*o. Is w(o) a multiple of 25?
True
Suppose -75*k + 77*k - 8 = 0. Suppose -1322 = -2*o + k*m, -3*o + 3*m + 528 = -1470. Does 61 divide o?
True
Let o = -4 + 0. Let r(x) = -6*x**3 + 2*x**2 + 24. Is 55 a factor of r(o)?
True
Suppose -68 = -43*t + 26*t. Suppose -427 - 508 = -t*p + 5*j, 0 = -p - 3*j + 255. Is 11 a factor of p?
False
Let u = 13 + 14. Let g be -3 + 20/8 + 8*(-84)/(-192). Suppose -87 = -g*a + u. Is 9 a factor of a?
False
Let t = 2194 + 8243. Is t a multiple of 19?
False
Suppose 4*i - 8 = -5*v + 9, -3*v + 19 = -2*i. Let r be (i/(-2))/((-2)/(-206)). Suppose q = -3*x + 212, 2*x = -q + r + 39. Is x a multiple of 13?
False
Let q = -497 - -845. Is 2 a factor of (q/10)/((-33)/(-110))?
True
Let l(u) = 5799*u**3 - 2*u**2 + u - 1. Is l(1) a multiple of 8?
False
Suppose -5*j - 1782 + 7657 = -2*u, -3*j + 4*u + 3539 = 0. Let h = j + -691. Is 21 a factor of h?
False
Let b be (9 - 3) + (-612)/(-4). Let l = 180 - b. Is l a multiple of 12?
False
Let y = -53 + 55. Let w be (-54)/12*y/3*-1. Suppose -6*n + 1467 = w*n. Is 41 a factor of n?
False
Let m be (16/40)/(2/400). Let o be ((-12)/16)/((-15)/m). Suppose -o*p + 140 = v + 3*v, -31 = -p + v. Does 11 divide p?
True
Let x(q) be the second derivative of 2*q - 1/6*q**3 + 1/2*q**4 + 0 - 3/2*q**2 + 1/20*q**5. Is 3 a factor of x(-6)?
True
Suppose -255*s = -643*s + 15659680. Does 35 divide s?
False
Does 308 divide 347311413/6399 - (2/(-2))/9?
False
Is 2 a factor of (-88642)/(-615) + 2/(-15)?
True
Let m(o) = -2*o**3 + 4*o**2 - 2*o. Let w be m(2). Let l be 26/6 + w + 771/9. Let b = -74 + l. Does 12 divide b?
True
Let j = -4490 - -19828. Is j a multiple of 27?
False
Let c(t) = 3*t**2 - t - 1. Let v be c(-1). Let l(f) be the first derivative of 12*f**2 - 9*f - 649. Is 21 a factor of l(v)?
True
Let o(g) = 66*g**3 + 3*g**2 - g - 2. Let r be o(-1). Is 22 a factor of (r/(-48))/((-2)/(-99))?
True
Suppose -91*h - 120025 = -99*h + 158527. Is h a multiple of 216?
False
Suppose 24864 = 6*p - 3*p + 3*u, 5*p = 2*u + 41482. Is p a multiple of 11?
True
Let p = -10287 - -13419. Is 27 a factor of p?
True
Let w be 684/11 + (-6)/33. Suppose -9*s - 31 = -76. Suppose 5*y - 4*m = -2 + w, 5*m = s*y - 60. Does 4 divide y?
True
Let d = -6134 + 7105. Does 2 divide d?
False
Let k(r) = -6222*r - 3385. Is 8 a factor of k(-2)?
False
Let r be (-6)/10 + (5 - 6/(-10)). Suppose -2*q = 0, -b = -0*b - r*q - 287. Is b a multiple of 13?
False
Let i = 2738 + 305. Suppose -5*q - 593 + i = 0. Is 49 a factor of q?
True
Let y(u) = 202*u**2 - 17*u - 152. Is 25 a factor of y(9)?
False
Suppose x - 1094 = -q, -4*x + 6*x - 1094 = -q. Is q a multiple of 41?
False
Suppose -7 = 11*b - 16*b - 2*n, 0 = -4*b + 4*n. Is 329 - (-5 - b)/6 a multiple of 10?
True
Suppose -4*q = 5*k - 13465, 4*q + 4*k - 2211 - 11249 = 0. Is 28 a factor of q?
True
Suppose 187*h - 175144 = 26816. Is 20 a factor of h?
True
Let s(i) = -i**3 - 10*i**2 + 9*i - 22. Let j be s(-11). Suppose 5*b - 895 = -4*k - j*k, -3*b = -2*k + 475. Is 46 a factor of k?
True
Suppose -3*c + p - 130 = -6*c, 220 = 5*c + 5*p. Suppose -588 = s - c*s. Is s even?
True
Let h = -2849 - -5203. Does 18 divide h?
False
Let w = -235 - -211. Is -55 - -50 - (w - -1) a multiple of 9?
True
Suppose -45799 - 4920 = -2*k + x, -2*k = 3*x - 50747. Does 13 divide k?
True
Suppose 2*v - 27126 = -3*p + 28422, -5*v + 138849 = 4*p. Is v a multiple of 15?
True
Suppose -5*s + 6*s = 3. Let k be 2 - -26 - (s - 4). Suppose 14 = -c + k. Is c a multiple of 5?
True
Let h = -1689 + 689. Let m = -313 - h. Is m a multiple of 6?
False
Let q be ((-5568)/(-18))/(4/(-246)). Is q/(-88) + 6/(-33) a multiple of 18?
True
Let l(p) = 63*p + 277. Does 6 divide l(109)?
False
Suppose 51450 + 2310 = 12*w. Is w a multiple of 40?
True
Suppose 13*q = 9019 + 237. Suppose d - 24 - 5 = -5*j, -4*d + 6 = -2*j. Suppose j*b - 165 = 2*g - q, 0 = -3*g + 5*b + 808. Is g a multiple of 29?
True
Suppose 30*t = 31*t - 1158. Suppose r - 4*r = -t. Does 12 divide r?
False
Suppose -68*u = -82*u - 2184. Let g = 431 + u. Is g a multiple of 16?
False
Suppose -457*v + 24 = -456*v. Suppose 936 - 24 = v*s. Is 3 a factor of s?
False
Suppose g = c + 2 - 12, -2*c - 3*g = -10. Is 17 a factor of (132/(-8) + c)/((-2)/4)?
True
Let g(u) = u**2 + 43*u - 240. Let n be g(-48). Suppose -13 = -3*l + 77. Suppose 4*p + 4*i - l + 2 = 0, -p - 3*i + 11 = n. Is p a multiple of 5?
True
Let r = 1167 - 650. Suppose -5*d - 363 - 1202 = -3*p, 0 = p - 4*d - r. Is 15 a factor of p?
True
Let a(p) = 8*p + 3. Let u be a(-3). Let d be u/(-2)*(-3)/((-18)/16). Suppose d*r = 33*r - 275. Is r a multiple of 13?
False
Let r be -5 + 66/14 - (-6 + 520/(-56)). Let k(j) be the second derivative of 4*j**3/3 - 19*j**2/2 + 2*j. Does 18 divide k(r)?
False
Let l = 121 + -110. Let v(p) = p**2 - 8*p + 57. Is 10 a factor of v(l)?
True
Let j = -108 + 114. Suppose -228 - 204 = -j*m. Is 4 a factor of m?
True
Is 7 - (-24)/(-3) - -2026*(-2)/(-4) a multiple of 23?
True
Let l be 6/4 + (-63)/6. Let d = 89 + l. Is 2432/d - 3/(-5) a multiple of 10?
False
Suppose 42*i + 4*l = 44*i - 131484, i - 5*l = 65760. Does 42 divide i?
True
Let a = -29138 + 34488. Is a a multiple of 18?
False
Let x(l) be the second derivative of 27*l**5/10 - l**4/6 - l**3/3 + 30*l. Let t be x(-1). Let c = 109 + t. Is c a multiple of 23?
False
Suppose -5*a = -7*x + 11*x + 139, -90 = 3*x - a. Let h = 29 - x. Is h a multiple of 2?
True
Let p = 22 + -24. Let r be p/4 + 35/10. Suppose -2*a + r*k + 273 = 0, -6*a - 4*k - 412 = -9*a. Is 12 a factor of a?
True
Suppose -18*d + 18*d = -30*d + 647490. Is d a multiple of 191?
True
Let w(a) = a**3 - 5*a**2 - 5*a. Let g be w(6). Suppose g*k - 156 = 2*k. Suppose 4*y = 3*c + k, 2*c - 12 = -2*c. Is y a multiple of 10?
False
Let z(v) = -2*v**2 - 1. Let g be z(3). Let d(y) = -2*y**2 + 54*y - 213. Let k be d(6). Let a = k + g. Is a a multiple of 7?
False
Let w = 503 - 499. Does 11 divide 0 + 126*w + -2?
False
Suppose 81 - 11 = 5*q. Let h = -10 + q. Let p(a) = 2*a**3 - 2*a**2 - 2*a - 4. Is 42 a factor of p(h)?
True
Let y = -19 - -15. Let o be y*18/(-16)*2. Suppose 2*p - p = o. Is 3 a factor of p?
True
Suppose 0 = -q - 5*s + 20196, 10*q = 14*q + 3*s - 80869. Does 277 divide q?
True
Let q(p) = -p**3 + 61*p**2 + 9*p + 522. Does 30 divide q(54)?
True
Let t(x) = 5*x**2 - 15*x - 14. Let q = -95 + 85. Let l be t(q). Suppose -3*h - 140 = v - 2*v, l = 5*v + h. Is v a multiple of 32?
True
Suppose -24*t = -62 - 106. Does 40 divide 1682/t - (-34)/(-119)?
True
Let m(u) = -6*u - 91. Let r be m(-17). Let w(q) = -2*q**3 + 23*q**2 + 9*q + 10. Does 26 divide w(r)?
False
Suppose 22*v - 14*v = -72. Let q be 4 + (-3)/v*-3. Suppose -7*w - 2*j - 314 = -12*w, 0 = -5*w - q*j + 329. Is w a multiple of 17?
False
Let u be (-2)/(-10) + (-906)/30. Let h be ((-105)/u)/(0 - (-1)/122). Suppose -5*f - 2*f + h = 0. Is f a multiple of 5?
False
Suppose n - l = -4*n + 436, -l + 444 = 5*n. Let h = 1569 + -1511. Let v = n + h. Is v a multiple of 16?
False
Let c(k) = 754*k**3 - 3*k**2 + 26*k