3*m**2 + 3*m**2 - 7*m - 4 + m**2. Is 3 a factor of w(10)?
False
Suppose x = -3*x - 24. Let v = x + 21. Suppose 38 - v = 2*p + r, 0 = -4*p - r + 41. Is 3 a factor of p?
True
Let i(h) be the first derivative of h**3/3 + 9*h**2/2 + 22*h - 19. Is i(-15) a multiple of 42?
False
Suppose 0 = -49*g + 52*g - 4830. Is 23 a factor of g?
True
Let w(o) = o**3 - 5*o**2 + o + 3. Let n = -8 + 11. Suppose -n*a + 12 = 2*d, 12 = 2*d - 7*a + 3*a. Is 12 a factor of w(d)?
False
Let x(u) = u**2 - 55*u + 57. Is x(59) a multiple of 5?
False
Suppose -5*b = b. Suppose 0*t + 2*t - 30 = b. Is t a multiple of 10?
False
Suppose -17*w = -38*w + 20727. Is w a multiple of 62?
False
Is (1304/20 - 1)/((-5)/(-25)) a multiple of 51?
False
Suppose -35*w - 30 = -30*w. Is 9 a factor of (1/2)/(w/(-216))?
True
Suppose -16*n = -14*n - 4*k - 2954, 0 = -4*n + 5*k + 5896. Is n a multiple of 60?
False
Let s(l) = l**2 - 11*l + 22. Let m be s(9). Is 1/m + 1045/44 a multiple of 5?
False
Let y(d) = 80*d + 14. Let g be y(4). Suppose 544 = 5*z + 2*n, 5*n = -3*z - 0*n + g. Is z a multiple of 41?
False
Let l(m) = -4*m - 14. Let r be l(-7). Suppose -h - 819 = -r*h. Is 21 a factor of h?
True
Let b be (-260)/(-45) - 4/(-18). Suppose -5*h - 10 = -b*h. Is h even?
True
Suppose -3*n = -5*d - 32, 5*n - 54 = 3*d - 6. Let i = n - 5. Suppose 5*s = 2*y + 77 + 117, i*y - 30 = -s. Is s a multiple of 18?
False
Suppose 5*u = -3*p - 6, -3*p + 23 = -4*u + 2. Is 2 a factor of (u/(1 + 8/(-12)))/(-1)?
False
Suppose 0 = -u + 2*u + 1, -38 = -3*t + 5*u. Suppose 0 = r + t*r - 192. Is 3 a factor of r?
False
Let h(i) = -2*i**3 + 33*i**2 - 55*i + 22. Is h(13) a multiple of 10?
True
Let b be (8/4)/(2/(-28)). Let d be 7/b - 106/(-8). Is 13 a factor of 1 - (0 - (d + 0))?
False
Suppose -3*x - x = 4*b, -2*b = 0. Suppose -f + 2 = x, -3*f = 3*p + 1 + 2. Let a(v) = v**2 - 8*v + 2. Is a(p) a multiple of 11?
False
Suppose 2*b - 981 = 5*s, -4*s - 5*b = -4*b + 777. Is s/(-15) + 0 + 3*1 a multiple of 10?
False
Suppose 2*x - 5*x - 19 = -4*l, 0 = 4*l + x - 15. Suppose n - j - l = 0, -j = n + 3*j - 9. Suppose -5*g + 2*t + 25 - 3 = 0, -g + t + n = 0. Is 3 a factor of g?
False
Let o(y) = 4*y. Let h be o(3). Let z = h + -10. Suppose 0*g - 40 = -z*l - g, 0 = 2*l + 2*g - 36. Does 11 divide l?
True
Suppose 968 + 76 = -18*d. Let w be (-5)/(10/9)*-22. Let s = w + d. Does 6 divide s?
False
Let c(r) = 4*r**2 + 130*r + 37. Does 37 divide c(-37)?
True
Let r(f) = -f**2 - 4*f + 8. Let a(v) = 3*v - 8. Let t(h) = 4*a(h) + 3*r(h). Let d be t(-4). Does 14 divide (4 - 6) + (3 - d)?
False
Let d = 38 + -39. Is 38 + 0 + -2 + d a multiple of 9?
False
Suppose 4*y = a - y - 10, -y - 26 = -5*a. Let r = -162 + 236. Suppose -a*n = -36 - r. Is n a multiple of 9?
False
Suppose 2*t - 436 = 386. Is 34 a factor of t?
False
Let w be 1275/6*8/10. Let l = w + -78. Suppose 4*i = 2*g - l, 5*g = 2*i + i + 195. Does 9 divide g?
True
Let g(f) = -29*f + 741. Does 19 divide g(-14)?
False
Let j(l) = -l**3 - 5*l**2 - 8*l - 14. Let k be j(-4). Suppose -610 = -3*d - k*d. Does 14 divide d?
False
Let c(u) = 3*u**2 - u + 8. Let o be -3*(-5)/(45/12). Let v be c(o). Suppose 3*s = 7*s - v. Is s a multiple of 10?
False
Let h = 914 + -827. Is h a multiple of 13?
False
Suppose -4*m = -525 - 3187. Let r be 6/(12/m*4). Is r/3 - 6/(-18) a multiple of 13?
True
Let w(s) = s + 2. Let z be w(5). Let g = 11 - z. Suppose -q + g*u + 38 = 0, 3*q - 29 = 5*u + 78. Does 17 divide q?
True
Let u = -10 - 7. Let z = -10 - u. Does 4 divide z?
False
Let p(d) = d**3 + 6*d**2 - 4*d + 5. Let s be p(-5). Let h(x) = -s*x + 1 + 1 - 2. Is 10 a factor of h(-1)?
True
Let c(i) = -2*i + 34. Let b(q) be the first derivative of q**3/3 + 5*q**2 + 5. Let f be b(-10). Is 17 a factor of c(f)?
True
Let h = -32 + 42. Suppose h*w - 5*g - 197 = 6*w, 2*g + 53 = w. Is 6 a factor of w?
False
Let k(r) be the first derivative of -7*r**4/24 - 4*r**3/3 + 7*r**2/2 - 7. Let g(o) be the second derivative of k(o). Is 27 a factor of g(-10)?
False
Suppose m - 2*i - 11 = 0, m - 20 = -3*i + 6. Let j(s) = -s**2 + 20*s - 14. Does 8 divide j(m)?
False
Let r = 25 - -76. Let v = r + 95. Does 50 divide v?
False
Let a(h) = 7*h + 6. Let k be a(-14). Let z = k - -109. Is z a multiple of 7?
False
Let r(v) = -5*v. Let t be r(5). Let h = 14 - t. Does 8 divide h?
False
Let q(c) = -c**3 + 11*c**2 - 13*c + 10. Let r be q(8). Let i = r - 44. Suppose -n + 119 = 5*x, -3*n + 5*n = -2*x + i. Is x a multiple of 23?
True
Let c = -10 - -15. Suppose 2*o - c*m = -2*m + 1, 5*o - 5*m = -5. Let a = o - -15. Does 2 divide a?
False
Let w be 39/(-1) - 12/(-4). Let r = 16 - w. Does 13 divide r?
True
Let m be 9/12*2*2. Suppose -g + m*y + 112 = 3*g, -g = -2*y - 33. Is g a multiple of 15?
False
Let h(c) = c + 14. Let j = -24 + 30. Is h(j) a multiple of 20?
True
Suppose 0 = 2*p - 5*p + 18. Is (-543)/p*-2 - 11/11 a multiple of 9?
True
Let d be -3 - (-1*(-12)/(-3))/(-1). Is 38 a factor of d + 118 + 2/((-6)/(-9))?
True
Let p = -12 - -16. Suppose p*w - 100 = 4*q, 2*w - 5*q - 44 = -0*q. Suppose 5*y = w + 33. Is y a multiple of 5?
False
Suppose -2*h + 218 = z + 35, 2*h - 10 = 0. Is z a multiple of 19?
False
Suppose 4*q = -6*q + 60. Is 6 a factor of q?
True
Suppose 5*n = 18 - 3. Let q = -13 + n. Is 22 a factor of 1*63 - (q - -9)?
False
Suppose 86*s - 156 = 80*s. Is 5 a factor of s?
False
Let t(h) = 57*h - 108. Is 8 a factor of t(8)?
False
Let b be 339*(28/(-12) + 2). Let o be (-1 + (-2)/(-3))*21/1. Let f = o - b. Is 14 a factor of f?
False
Let q = 5145 - 2385. Does 120 divide q?
True
Let a = 6 + -6. Suppose 0*i + i - 2 = a. Suppose -5*q - 30 = -i*w - 0*w, w + 2*q = 6. Does 10 divide w?
True
Suppose -139 + 7 = 3*y. Let n = -31 - y. Let m = -7 + n. Does 6 divide m?
True
Let v = 82 - 80. Is 482/4 - v/(-4) - 4 a multiple of 13?
True
Let c = 68 + -69. Does 8 divide (51 - -1) + -3 + 0 + c?
True
Suppose 4*u = -4*g + 8724, -1057 = -u - 2*g + 1127. Does 16 divide u?
False
Suppose 14*i + 437 = 1263. Suppose 0 = i*j - 61*j + 136. Does 4 divide j?
True
Suppose -5*x + 115 - 75 = 0. Suppose 5*y + x*n - 261 = 12*n, 212 = 4*y - 4*n. Is y a multiple of 4?
False
Let z(y) = -y**3 - 25*y**2 - 31*y - 36. Is 12 a factor of z(-24)?
True
Suppose 0 = -4*r - 4*s + 1832, 0 = 4*r - s - 2065 + 233. Does 18 divide r?
False
Suppose -3*k = k - 300. Suppose 0 = -u - k - 101. Does 7 divide u/(-12)*(-12)/(-8)?
False
Let u = 33 + -28. Is 3 a factor of ((-6)/u)/((-14)/105)?
True
Let g(j) = 16*j - 56. Does 45 divide g(26)?
True
Let k = 1848 - 1308. Does 36 divide k?
True
Let z(m) = -m**3 - 23*m**2 + 24*m + 34. Let p be z(-24). Suppose p*c + 504 = 38*c. Does 7 divide c?
True
Let n = -18 + 33. Suppose 11*a + 244 = n*a. Does 10 divide a?
False
Let m(r) = -2*r**3 + 71*r**2 - r + 245. Is 13 a factor of m(34)?
True
Suppose 3*v - 53 = -2*c, -81 = 6*c - 9*c - 3*v. Suppose -c = -44*k + 43*k. Is k a multiple of 4?
True
Suppose 0 = -11*f + 9*f + 6. Suppose 3*w - 9 = -b - 0*b, w - f = b. Does 3 divide w?
True
Suppose 12*v + 2016 = 26*v. Is v a multiple of 18?
True
Suppose 39 = 2*k - 21. Let v = 52 - k. Is v a multiple of 4?
False
Let v(g) = 5*g**2 - 6*g - 26. Is 57 a factor of v(-8)?
True
Let p be ((-8)/10)/(2/(-5)). Suppose -p*o + 4*o = 1380. Suppose 0 = 7*g - o + 214. Is 17 a factor of g?
True
Let u be 10/8 + 42/56. Suppose -5*l = u*p - 10*l - 135, l = p - 66. Suppose p = 3*m + 5. Is 10 a factor of m?
True
Let a(w) = -2*w**3 + w**2 + 4*w. Suppose 8 = 2*g - 3*m, -3*m + m = -2*g + 4. Let o = g - 1. Is 19 a factor of a(o)?
False
Is -76 + 76 - (6*1803)/(-3) a multiple of 35?
False
Suppose -3*r + 4 = -5*h, 6*h - r = h + 2. Is 2 a factor of 301/28 - h - 2/(-8)?
True
Is 2/(-6) + ((-777)/(-9))/7 a multiple of 6?
True
Let j = 35 - -77. Is ((-1)/2)/((-8)/j) a multiple of 2?
False
Let l(z) = -17 + 27 + 11*z**2 - 11 + z. Is l(2) a multiple of 24?
False
Let r(d) = 163*d + 199. Is r(11) a multiple of 12?
True
Is 64 a factor of 4 + (-152)/44 + (-733530)/(-231)?
False
Suppose 0 = 18*h - 10*h - 392. Is h a multiple of 14?
False
Is 22055/99 + 6/27 a multiple of 35?
False
Let x be ((-13)/(-26) - (-6)/(-4))*-39. Suppose 8 = -h + x. Is h a multiple of 31?
True
Is (-6448 - (-2 + -8))*1/(-3) a multiple of 29?
True
Is 17 a factor of (-3)/18 + 43*(-152)/(-48)?
True
Let v be 7/((-14)/8)*1053/(-4). Suppose 6*z = -3*z + v. Does 23 divide z?
False
Let t = -558 + 9