
False
Let o(k) = 2*k**2 + 2. Let n(f) = f**3 - 25*f**2 - 2*f + 124. Let v(h) = -n(h) - 2*o(h). Does 22 divide v(18)?
True
Suppose 416 = 5*n + 4*i, -3*i + 70 = 202*n - 201*n. Is n a multiple of 4?
True
Suppose 0 = 10*x + 9 - 49. Is 6 a factor of (-84 - 0)/((-1)/x*1)?
True
Let z(m) = -2*m**2 - 56*m - 12. Let c be z(-9). Let x = c + 1719. Is 11 a factor of x?
False
Let m(b) = 4 + 47 - 5 + 11*b. Is m(-3) a multiple of 5?
False
Let b(w) be the third derivative of 0*w - 1/60*w**5 + 0 - 3/4*w**4 - 4*w**2 - 1/6*w**3. Does 23 divide b(-13)?
False
Let i(r) = -r**3 - 17*r**2 - r - 15. Let l be i(-17). Suppose 5*c - 2*c - l*w = 20, 0 = 2*c - w - 15. Is c a multiple of 5?
True
Let p(b) be the second derivative of 3*b**5/10 + b**4/6 + b**3/6 + 15*b**2/2 - 5*b - 7. Is 19 a factor of p(4)?
False
Let c(i) = -36*i**3 + 4*i**2 - 21*i - 13. Is c(-5) a multiple of 41?
False
Let s(u) be the third derivative of -u**4/2 - 5*u**3/3 + 19*u**2. Let k be s(-9). Does 32 divide (-2 - -1 - 1)/((-4)/k)?
False
Let t be (3/5)/((9 - 5)/120). Is 33 a factor of 2/12 + 4641/t + -4?
False
Suppose 11*g = 13*g - 12. Suppose -g*n = -5*n + 2*j - 54, -5*j + 104 = 2*n. Is n a multiple of 17?
False
Suppose 2212 - 56 = 7*d. Suppose d = t + j - 3*j, -4*t - 3*j = -1254. Does 34 divide t?
False
Let b = 44516 + -17860. Does 14 divide b?
True
Let x(h) = -66*h**3 + 11*h + 33. Is 13 a factor of x(-5)?
False
Let l be (-91)/(-42) + 1/(-6). Let r be ((-344)/(-20) - 2)/(l/5). Let u = 160 - r. Does 23 divide u?
False
Let k(o) = 16*o**3 - 8*o**2 - 4*o - 11. Is k(6) a multiple of 40?
False
Let i = 119 + -14. Let m = -15 + i. Does 10 divide m?
True
Let f(i) = -4*i**3 + 19*i**2 - 11*i + 6. Let r be f(4). Is 32 + 4 + r + -8 a multiple of 3?
False
Suppose 1327736 = -2529*w + 2588*w. Is 29 a factor of w?
True
Let r(o) = 337*o + 12227. Is 189 a factor of r(158)?
False
Let a = 318 + 1369. Suppose 4*u - a = -3*u. Does 30 divide u?
False
Let w(u) = 21*u**2 + 54*u - 341. Is 4 a factor of w(6)?
False
Let h = 630 + -271. Is 41/164 - h/(-4) a multiple of 5?
True
Let d be (13/3 + -4)/(1/12). Let b(a) = a**2 - 10*a + 30. Let z be b(d). Suppose 69 = z*g - 117. Is 2 a factor of g?
False
Let u(h) = -39*h + 93. Suppose -35 = 13*x - 6*x. Is 18 a factor of u(x)?
True
Suppose -7*v + 4*v = -21. Suppose 6*q - 6*q + v*q = 0. Suppose -5*l - 29 + 99 = q. Is l even?
True
Let s = 2196 - -10354. Is 57 a factor of s?
False
Let o(b) = -277*b + 161. Let z be o(-9). Suppose 4*k - z = -5*p, 0 = -5*k + 25*p - 26*p + 3307. Is 41 a factor of k?
False
Suppose 188 = 4*n + 5*s - 4113, 5*n - 3*s = 5404. Is n a multiple of 53?
False
Is (1846/39 + -6)*99 a multiple of 6?
True
Let n(u) = u**3 + 5*u**2 + 2*u + 8. Let o be n(-5). Let a be ((-7)/5 + o/(-5))/1. Is 8 a factor of (-11)/5*(a + -4)?
False
Suppose -5*q = 5*h - 90915, 3137 = h - 3*q - 15074. Is h a multiple of 107?
True
Is 94 a factor of 7144/(((-2)/5)/(19 + 576/(-30)))?
True
Let a(b) be the third derivative of b**6/120 - b**5/12 - b**4/3 - 13*b**3/3 - 44*b**2. Does 31 divide a(10)?
False
Suppose -5*h = -4*z - 40, z - 4*z = 0. Suppose 760 = 11*q + h*q. Is q a multiple of 20?
True
Is 69 a factor of (-6993)/12*39/((-624)/448)?
False
Does 119 divide (-120)/(-16)*(-20)/(-25) - -6180?
False
Let h(v) = 135*v - 88. Let b = 608 + -602. Does 38 divide h(b)?
True
Suppose -9*m - 41784 = -11*m + 6*f, 0 = 2*m - 4*f - 41786. Is m a multiple of 35?
True
Let p(l) = 4*l**2 + 12*l + 10. Suppose -5*k = j + 23, 6*k + 5*j + 35 = k. Let c be p(k). Suppose 3*u - 37 - 48 = -2*a, u - c = -3*a. Does 22 divide u?
False
Let o(p) be the first derivative of -p**4/4 - 3*p**2/2 - 7*p + 29. Is o(-6) a multiple of 29?
False
Let q(x) = 8*x - 9. Let r be q(8). Suppose r + 57 = 4*d. Is d a multiple of 14?
True
Suppose -4*n = -3*f - 76, -n = n + 4. Let l = 28 + f. Suppose -3 = -h, l = -2*q - h + 6*h + 13. Does 7 divide q?
True
Let m(q) = 29*q - 238. Let b(f) = -7*f + 60. Let u(w) = -9*b(w) - 2*m(w). Is u(19) a multiple of 31?
True
Let c(y) = 0*y - 4554 + 4469 + 41*y. Is 57 a factor of c(31)?
False
Let x(j) be the second derivative of -2/3*j**3 + 55*j**2 + 37*j + 0. Does 10 divide x(0)?
True
Let x = 706 - 666. Suppose 18183 = -11*b + x*b. Is 18 a factor of b?
False
Let f = -327 + 304. Is (480/9)/(f/(-207)) a multiple of 20?
True
Let g(h) = 42*h - 9. Let q be 4/18 - (-671)/99. Suppose -5*a - 4 = -q*a. Does 17 divide g(a)?
False
Suppose -3*c = -2*d + 21, 4 = 4*d - 3*c - 29. Suppose d*y - 2450 = 988. Does 24 divide y?
False
Suppose 2299*r - 768 = 2287*r. Is r a multiple of 4?
True
Let f be ((-10)/25 + 0)*-4535. Suppose 17*m = f + 3983. Does 11 divide m?
True
Let u = -4960 + 6764. Is u a multiple of 11?
True
Let m(r) = -4*r**3 - 14*r**2 - 11*r - 21. Let o(z) = -z**3 - 14 - 13*z - 15*z**2 - 4*z**3 - 8. Let q(n) = -4*m(n) + 3*o(n). Does 11 divide q(-8)?
False
Suppose 2*l + 8*s = 8578, 3*s - 27334 = -5*l - 5821. Is 7 a factor of l?
True
Let z(g) = 149*g - 404. Does 10 divide z(19)?
False
Let g = -958 + 1770. Let s(j) = -2*j**3 - 2*j**2 - 8*j + 8. Let k be s(-7). Suppose 0 = 5*v - a - g, 2*v + 2*v - 2*a = k. Does 9 divide v?
True
Let v(u) = 41*u**2 + 2*u - 4. Let m be v(5). Suppose 9*z - m = 994. Does 45 divide z?
True
Let r(z) = 2*z**2 + 2*z - 40. Let x be r(-5). Suppose 3 - 5 = l, -2*g - 5*l + 242 = x. Does 29 divide g?
False
Let a(q) = 2*q - 2. Let l be a(-4). Let c(o) = 23*o. Let m(p) = 75*p + 27. Let v(u) = 3*c(u) - m(u). Is v(l) a multiple of 11?
True
Let r = -5262 - -7395. Does 60 divide r?
False
Let v(k) = k**2 + 16*k - 534. Let x be v(-31). Let b = 232 - 155. Let y = b - x. Is y a multiple of 11?
False
Let n(d) = d**2 - 8*d + 512. Let f(j) = -j - 1. Let a be f(-1). Is 4 a factor of n(a)?
True
Suppose 104*v = 132*v - 32006 + 1514. Is v even?
False
Is (15 - (-25 - -10))/((-2)/(-8)) a multiple of 2?
True
Let g(s) = s**3 + 9*s**2 - 8*s + 18. Let p be g(-10). Is (-3)/p*(-752)/(-6) a multiple of 58?
False
Suppose -210*o + 12 = -212*o, -2*o = q - 22675. Does 49 divide q?
True
Suppose -134*c + 129233 + 25939 = 0. Is 13 a factor of c?
False
Let m(o) = 233*o**2 + 8*o + 66. Is m(-4) a multiple of 59?
False
Suppose -4*u + 108868 = 4*c, -42*c + 3*u - 108867 = -46*c. Is 28 a factor of c?
True
Let v = -48 + 76. Suppose -v*d + 33*d = 7570. Suppose -16*k = 170 - d. Is 7 a factor of k?
True
Suppose -2*p = 75 + 45. Let n = -21 - p. Is n a multiple of 39?
True
Let j be (-9)/(((-60)/(-70))/(8/7)). Is ((-18)/j - -7)*164 a multiple of 41?
True
Let c(p) = p**3 + 6*p**2 + 12*p + 19. Let i be c(-4). Suppose z + 6*d - 7*d - 29 = 0, 0 = 4*z + i*d - 151. Is z a multiple of 24?
False
Suppose -3873 = 5*a - 6*a + 3*t, a + t - 3857 = 0. Does 39 divide a?
True
Let i(x) = 5*x**2 - 187*x + 502. Does 8 divide i(-42)?
True
Suppose 18*f - 3255 = 13*f. Let y = -287 + f. Does 13 divide y?
True
Suppose -156*b + 417293 = 119333. Is b a multiple of 10?
True
Let k(t) = -2905*t**3 + 11*t**2 + 14*t - 2. Does 77 divide k(-2)?
True
Is 5076 - (-34 - (-31 - -19)) a multiple of 12?
False
Let c be ((-54)/15)/((-3)/(-10)). Let n = c + 15. Suppose -n*m + 129 = -261. Does 17 divide m?
False
Let s = 3309 - -74. Is s a multiple of 22?
False
Suppose 19*y + 19069 = 80473 + 50620. Is y a multiple of 5?
False
Suppose 12*t - 7640 = -440. Suppose 22*r - 12*r - t = 0. Is r a multiple of 3?
True
Suppose -4*j + 26465 = -5*v, 3*j - 4*v - 23139 + 3291 = 0. Suppose 0 = 9*k + 545 - j. Does 9 divide k?
True
Suppose -5*d + m + 1865 - 77 = 0, 5*m = -4*d + 1413. Does 7 divide d?
True
Suppose -2*v = -12*b + 16*b - 11170, -4*b + 4*v + 11140 = 0. Does 30 divide b?
True
Let v(w) = -274*w - 5208. Is v(-36) a multiple of 16?
True
Does 24 divide 3*(-47 + 3)*(-8)/2?
True
Let i = -5 + 3. Let z be (-3)/i + 51/34. Suppose -2*w - z*w = -70. Does 3 divide w?
False
Let w be 5 + -9 - -52*1. Let f = -29 + 17. Let r = w - f. Does 10 divide r?
True
Is 7 a factor of (-173049)/(-111) - (1 + 4)?
True
Suppose 0*w + w = 54. Suppose 0 = 3*i + 9*f - 14*f - 204, 6*f = 4*i - 276. Let m = i - w. Does 8 divide m?
True
Let v(h) = -5*h - 150. Let r be v(-31). Suppose -3705 = -r*u - 0*u - 3*a, u + a - 743 = 0. Is u a multiple of 41?
True
Let g(o) = 293*o**3 - 17*o - 77. Is g(5) a multiple of 140?
False
Let c(u) be the second derivative of u**4/12 - 2*u**3/3 + u**2 + 19*u. Let m be c(10). Let b = m + -33. Is 24 a factor of b?
F