 Let l = c - -41. Suppose 14 = a - l*r - 39, -3*a + 79 = r. Is a a multiple of 14?
True
Let b(d) = 55*d**3 + 54*d**3 - 13*d**2 + 20 - 16*d - 107*d**3. Does 40 divide b(10)?
True
Let v = 303 + -452. Let k = -35 - v. Suppose -2*l - 2*o + k = 0, -l + 8*o = 3*o - 39. Does 39 divide l?
False
Let h(t) = -51*t**3 - t**2 + 13*t - 13. Is h(-5) a multiple of 56?
True
Let b = -1306 + 3642. Is 163 a factor of b?
False
Suppose j + 3*y = 192, -4*j = -7*j - 2*y + 576. Suppose -4*w - 60 = j. Let n = 109 + w. Is n a multiple of 15?
False
Let n be ((-7644)/63)/(2/(-3)). Suppose 0 = 4*w - 11*w + n. Suppose -23*b = -w*b + 396. Is b a multiple of 12?
True
Suppose 3*z - 5 = 5*r, 0*z - 3*z - 4 = 4*r. Suppose -4*v + 1596 = -c - 986, z = -c + 2. Is v a multiple of 17?
True
Let f = -9314 + 18662. Does 82 divide f?
True
Suppose 0 = 5*h - 4*u - 1332, -806 = -3*h - 25*u + 24*u. Does 3 divide h?
False
Let d be 16/(-24) - 65/(-3). Let s = 11 - d. Let x = s + 31. Is x a multiple of 4?
False
Suppose 0 = 31*m - 126193 - 458866 - 491261. Is 14 a factor of m?
True
Suppose -6*f = -10*f. Suppose f = -i + 411 + 22. Does 48 divide i?
False
Let o(t) = 4*t**2 - t - 6. Let q be o(-2). Suppose -154 = -q*n + 278. Is n a multiple of 3?
True
Suppose 4*u + 4*u = 176. Let y be (-22 + u)/(4/(-2)). Suppose y = -2*w - 0*w - 5*m - 3, -w - 6 = 4*m. Is w a multiple of 6?
True
Let o(t) = t**3 - t**2 - 2*t + 3. Suppose -20 = -5*k + 2*y, k + 5*y = -9 - 14. Let p be o(k). Suppose 2*h + 5*w = 69, -2*w + p*w = -h + 36. Is 7 a factor of h?
False
Let i be -185*(4/(-10) - (10 - 10)). Suppose -i + 214 = 5*b. Does 22 divide 2471/b - 2/8?
True
Let k(r) = -r**3 - 27*r**2 - 27*r - 22. Let x be k(-26). Suppose -2*c + 6204 = x*c. Suppose -230 - c = -8*f. Is f a multiple of 25?
False
Let g(x) = x**2 - 4*x + 2. Let u be g(2). Does 4 divide (u/1)/(98/(-7693))?
False
Let v be 2/(-4) + 1/((-2)/(-5)). Suppose 2*a = 4*z + 424, -3*a + z + 624 = -v*z. Is a a multiple of 6?
True
Let q = 5601 + -3093. Is 12 a factor of q?
True
Let w = -37982 + 41431. Is 8 a factor of w?
False
Suppose -74720 = -5*g + 5*k, 18333 = 2*g + 2*k - 11547. Does 62 divide g?
True
Let x be 6 - (-1)/(4/(-48))*-66. Is 19 a factor of (x/(-3))/(3/(105/(-14)))?
True
Let o = -1488 - -2704. Is 38 a factor of o?
True
Let h be (-8)/(-20)*5 - (7 + -251). Let q = h - -87. Does 37 divide q?
True
Let u(i) = -i**3 - i**2 - 2*i + 262. Let s be u(0). Let x be (3 + s/(-8))*4/(-1). Let f = x + -41. Does 13 divide f?
True
Suppose 0*f + 42 = 7*f. Let g(v) = 11*v + 27. Is 29 a factor of g(f)?
False
Let h = 55 + -52. Suppose h*m + m - 204 = 0. Suppose y - m = -4*t, 6 = -t + 2*y + 21. Is t even?
False
Let x(l) = 9*l - 118. Let b(d) = d**3 + 22*d**2 - 50*d - 33. Let w be b(-24). Is 5 a factor of x(w)?
False
Suppose 3*g = -3*c + 29625, -2*g + c + 8395 = -11361. Is 17 a factor of g?
True
Let h = 252 + -247. Does 39 divide h/(-15) - (3 + 3189/(-9))?
True
Suppose x - 5 = 5*w, -2*x - 2*w + 65 = -w. Is 15 a factor of x/10 + -2*590/(-4)?
False
Suppose 0 = 7*c - 2*c + 30, 0 = -5*a + 2*c + 59442. Is 14 a factor of a?
True
Let u be (-2316)/(-24)*(0 - 2). Let l = 114 - u. Is 65 a factor of l?
False
Let f(a) = -177*a - 23. Let i be f(-3). Suppose 0 = 13*d - 9*d - i. Does 37 divide d?
False
Let t = -28 + 10. Is 2/4 + ((-6489)/t - 4) a multiple of 15?
False
Let n = 2482 - 1190. Let w = n - 874. Suppose -2*j + 220 = 5*p, 5*j - p = j + w. Is j a multiple of 21?
True
Suppose 0 = -k + 3*k - o - 213, 528 = 5*k + 2*o. Let m = k + -106. Suppose 0 = -z, -85 = -5*g - m*g - 2*z. Is 3 a factor of g?
False
Suppose 3*w = 4*j - 141154, 2*w - 70584 = -1099*j + 1097*j. Is 8 a factor of j?
False
Let m be (-2)/(-6) + (-3)/9. Suppose m = 10*q - 13*q + 1161. Is 11 a factor of q?
False
Let d(q) = -q + 13. Let y be d(17). Let m = 0 - y. Is 3 a factor of 25 + (1 - m) - 3?
False
Let w be (-923)/(-7) + 3/21 + 0. Suppose 3*v + 3*b = b + w, 3*v - 2*b - 120 = 0. Is 14 a factor of v?
True
Let j(n) = 1845*n + 5277. Is j(0) a multiple of 33?
False
Let d(l) = 108*l**2 + 208*l + 138. Is d(15) a multiple of 18?
True
Let r = 26 - 27. Let w be (r + 10/5)/((-2)/(-10)). Is -1 + w - (-134 - 0) a multiple of 42?
False
Does 12 divide 7 + (9 - -2273) + (2 - 0)?
False
Let s be 270/(-50) - -5 - 4227/(-5). Suppose -29*p - s = -42*p. Is 2 a factor of p?
False
Let y = -287 - -291. Let c be 21/6 - (-2)/(-4). Suppose y*p - 63 = -m + 41, -3*m = c*p - 87. Does 5 divide p?
True
Suppose -3*k - 4912 = -2*j, -2*j - 16*k = -15*k - 4936. Is 85 a factor of j?
True
Let w = 17466 + -7963. Is w a multiple of 43?
True
Suppose 5162 = 11*c - 5335 - 10403. Is c a multiple of 19?
True
Suppose 12*p - 8 - 940 = 0. Suppose -76*c = -p*c + 576. Is c a multiple of 6?
True
Suppose 4*f - 3*o - 9345 - 27005 = 0, -4*f - 3*o + 36338 = 0. Is f a multiple of 22?
True
Let k be 2/10 + 2/(-10). Suppose k = -8*p - 739 + 3899. Suppose 5*t - p = -j, t = -4*j + 49 + 11. Does 18 divide t?
False
Suppose q + t - 3657 = 0, 0 = 5*q - 2*t - 3128 - 15185. Is 6 a factor of q?
False
Let o(m) = -m**3 - 3*m**2 + 10*m + 10. Let s(u) be the third derivative of u**4/24 + 27*u**2. Let n be s(-5). Is o(n) even?
True
Let k = 311 - 311. Let o(b) = -8*b**3 + 7*b**2 + b - 29. Let j(t) = -7*t**3 + 6*t**2 + t - 30. Let u(x) = -6*j(x) + 5*o(x). Is 7 a factor of u(k)?
True
Let a(l) = 40*l - 17. Let n be a(1). Let c(x) = -x**3 + 22*x**2 + 40*x - 17. Is 22 a factor of c(n)?
True
Let u = -25480 - -40391. Is u a multiple of 13?
True
Suppose b - u - 545 = 2317, 0 = 5*b + 5*u - 14280. Does 2 divide b?
False
Let t(c) = c**2 + c. Let a be t(-3). Suppose 0 = a*q + 3*q - 486. Suppose 9*f = 162 - q. Is 3 a factor of f?
True
Let q = 80140 + -31015. Does 360 divide q?
False
Let p(u) = 14*u - 6. Let t be p(3). Suppose d + t = -8*d. Is (-266)/(-6) - d/(-12) a multiple of 11?
True
Suppose 46*c - 20963 - 6959 = 0. Is 3 a factor of c?
False
Let v = 370 + -366. Is v/14 - 83025/(-105) a multiple of 43?
False
Suppose 4 = -4*g + 12. Does 60 divide (-224369)/(-623) - g/14?
True
Let r = -48 - -61. Let m = 211 + r. Is m a multiple of 56?
True
Suppose 3*s = -2*s - h + 26, 16 = 3*s + h. Suppose 4*q - 3*q - 139 = 5*j, 0 = j + s*q + 33. Is 3 a factor of (j/(-5))/(26/65)?
False
Suppose 0 = -2746*f + 2704*f + 534580 - 47716. Is f a multiple of 46?
True
Let s(u) = u**2 - 2*u + 1. Let y be 2/5 + 261/(-15). Let i = y + 12. Is 36 a factor of s(i)?
True
Let d(n) = -4*n - 3. Let h be d(1). Let x(l) = -l**2 - 8*l + 5. Let r be x(h). Suppose y - o - 10 - r = 0, -4*y + 118 = 2*o. Is 3 a factor of y?
True
Let n(u) be the third derivative of -u**5/60 + u**4/3 + u**3/2 - 96*u**2. Does 4 divide n(6)?
False
Let l(p) = p**3 + 10*p**2 - p - 10. Let g be l(-10). Suppose 3*o = f + 2, 3*f - 8 - 4 = g. Suppose o*v = -5*z + 160, z = -5*v + 373 + 73. Does 29 divide v?
False
Let l = 1203 - 833. Suppose -10*s + 940 + l = 0. Is s a multiple of 14?
False
Suppose 20*o - 66347 - 32413 = 0. Is o a multiple of 10?
False
Let u = 60 + 6. Let s = u + -62. Suppose s*j + t + t = 390, -5*t + 111 = j. Is j a multiple of 16?
True
Let j be ((-12)/4)/((30/(-128))/(-5)). Let n = j + 224. Suppose 0*y = 5*y - n. Is y a multiple of 16?
True
Let t = 132 + -339. Let q = t + 291. Does 6 divide (10/30)/(2/q)?
False
Suppose -26*w + 36208 = 5*w. Is w a multiple of 73?
True
Suppose 14*o - 18*o + 32 = 0. Let y(d) = -d**3 + 8*d**2. Let z be y(o). Suppose -v + c + 37 = -z*v, -c = 3*v - 123. Does 8 divide v?
True
Suppose -3*o + 1538*g - 1541*g + 4395 = 0, -3*g = -5*o + 7285. Does 10 divide o?
True
Let g(f) = -24947*f - 19. Is 16 a factor of g(-1)?
True
Let m(y) = 3*y**3 - 14*y**2 + 30*y - 10. Suppose 0 = 3*z + 5*l - 19, -3 = -2*z + 2*l + 15. Let c be m(z). Suppose 322 = -2*p + c. Is p a multiple of 18?
False
Let w = 1475 + 779. Suppose 14*c - w = 7*c. Does 24 divide c?
False
Suppose 0*r = -4*r - 16, 56 = 3*z + r. Suppose 0 = -2*k - z*k + 2728. Is k a multiple of 8?
False
Let w(g) = g**2 - 16*g + 52. Let r be w(4). Is 31 a factor of -3*((-108)/4 - r)?
True
Suppose -15*x + 17*x - 61006 = -4*u, -5*u + x + 76254 = 0. Is u a multiple of 50?
False
Is (14/21*-3)/((-16)/344) a multiple of 43?
True
Let d(t) = -t**3 + 4*t**2 + 5*t + 2. Let b be d(5). Suppose -7*z + b = -19. Suppose 19 = 2*f - 2*s + z, -5*f + 2*s + 46 = 0. Is f a multiple of 3?
False
Let z(f) = 15*f**2 - 10*f - 21. Let 