factor of w?
False
Let t(d) = 2*d**3 - 36*d**2 - 23*d - 10. Is 25 a factor of t(19)?
True
Let x be (0 - -2)/((-4)/34). Is 16 a factor of (x/4)/((-15)/60)?
False
Is 41 a factor of (-14385)/(-39) + 6/39?
True
Let a(w) = 197*w**2 + 75*w - 285. Is 40 a factor of a(4)?
False
Let f(u) = -2*u**2 + 3*u + 85. Is 5 a factor of f(0)?
True
Let h(t) = -t**3 - 5*t**2 - 4*t + 3. Let p be h(-4). Suppose -120 = 2*m - p*m. Is m a multiple of 19?
False
Suppose -2*g + 90 + 313 = 5*t, -5*g + 1051 = -2*t. Is g a multiple of 4?
False
Suppose -j = 4*p - 226, -9*j - 5*p + 1205 = -4*j. Is 41 a factor of j?
True
Suppose -5*g - 109 = -3*y - 0*y, 2*y - g = 75. Suppose -h - 146 = -4*k - 3*h, h - y = -k. Is k a multiple of 35?
True
Suppose 15 = -5*q, 7*q + 2 = -5*h + 3*q. Is ((-2)/2 - h)*-3 a multiple of 9?
True
Let j(m) = -38*m + 50. Does 36 divide j(-7)?
False
Let y = -838 + 1558. Does 18 divide y?
True
Suppose 0 = -11*a + 6*a - 40. Does 5 divide ((-380)/15)/(a/12)?
False
Let u(p) = -p**3 - 6*p**2 - 5*p + 5. Let b be u(-5). Suppose -112 = -5*i + 2*m, -3*m - 30 - 83 = -b*i. Is 22 a factor of i?
True
Suppose -2*t + 6*t - 12 = 0, -3*t - 16 = -5*z. Suppose 3*s - 10 = z. Suppose s*u = -3*a + 155, -a - 256 + 81 = -5*u. Is u a multiple of 17?
True
Let q(a) = 0 - 2 - 1 + a**2 - a + 0*a. Let z be q(-3). Suppose 4*p - 91 = -3*k, -z = 4*k + 3. Does 9 divide p?
False
Does 40 divide 1402/5 - 14/35?
True
Suppose 21*n = 23*n. Suppose n = -f - 7 + 9. Suppose -5*x - 85 = 3*r - 298, -f*r + 44 = x. Is 7 a factor of x?
True
Suppose -6*l - 55 = -l. Let v = l - -15. Suppose 4*j + 40 = 4*y - 48, j - 88 = -v*y. Is y a multiple of 6?
False
Let k = 23 - 15. Suppose -3*x + 23 = k. Suppose x*i - 120 = 2*i. Is 16 a factor of i?
False
Let g(h) = 8*h**3. Let q be g(-1). Let i be (-4 - q)*(-6)/(-4). Suppose -i*o + 4*o + 56 = 0. Does 14 divide o?
True
Let l(q) = 2*q**2 - 4*q + 9. Let o be l(6). Let j = o - 43. Is 7 a factor of j?
True
Let x(p) = -41*p**3 + 5*p**2 + 3*p + 3. Is 15 a factor of x(-2)?
True
Let p(o) = -o**3 - 3*o**2 - 4*o + 1. Let h be p(-3). Let w(z) = -z - 4. Let u be w(h). Let a = -7 - u. Does 2 divide a?
True
Suppose 26 = -2*g + 32. Suppose g*l - 11*l = -1168. Is 11 a factor of l?
False
Suppose -5*i - i = 6. Suppose f = -3*f + 12. Is (i/(-3))/(f/207) a multiple of 10?
False
Let x be 120/(-1)*22/(-55). Does 20 divide (-8)/x - 307/(-6)?
False
Let i be (-4214)/(-105) + 4/(-30). Is 6 a factor of i + -1 + -4 - 0?
False
Let f(v) be the third derivative of v**8/10080 - v**7/1680 - v**6/240 - v**5/12 + 2*v**2. Let p(j) be the third derivative of f(j). Does 11 divide p(4)?
False
Let b(k) = -3*k - 4. Let z be b(-7). Let d = z - 17. Suppose d = -5*x - 15, -4*f - x + 2*x + 163 = 0. Does 8 divide f?
True
Suppose 0 = -72*x + 82*x - 3780. Does 18 divide x?
True
Suppose j = n - 1, -n + 0*n = -5*j - 5. Let m = 44 - n. Is 44 a factor of m?
True
Let c = -5 + 5. Suppose 2*w - 4*w + 134 = c. Suppose 5*t - 129 = -o, -o - o = -3*t + w. Does 5 divide t?
True
Let w(p) = 11 - 6*p + 12 - 3 + 14. Does 9 divide w(-12)?
False
Let r be 6/4*1162/(-21). Let w = 43 + r. Is 7 a factor of 112/w*35/(-2)?
True
Let l = 287 - 153. Let g = 271 - l. Let s = -93 + g. Is s a multiple of 15?
False
Suppose -2*g + 4 = -10. Suppose -51 = -h + g. Is 9 a factor of h?
False
Suppose -4*t + 28 = -2*f + 98, -3*t + 3*f - 48 = 0. Let d = t + 20. Is 12 a factor of ((-8)/20)/(d/(-60))?
True
Let w(l) = l**3 - 8*l**2 - 2*l - 2. Let v be (-6)/(-4)*(-18 + 24). Let i be w(v). Suppose i = k - d, -2*k + 148 = d + 20. Is 7 a factor of k?
True
Let x = 787 + -471. Is x a multiple of 4?
True
Suppose -1 = 5*r - 11. Let h = 146 + -143. Suppose h*j - 169 = r*a, a - 273 = -j - 4*j. Is j a multiple of 11?
True
Let t be 6/(-4)*(-24)/18. Suppose -j - 2*x - 3*x = -100, j = -t*x + 100. Suppose -12*k - j = -14*k. Is 10 a factor of k?
True
Let u be (-1 - 5 - -4)/((-2)/4). Suppose -4*i + 69 = -5*g, -u*i + 68 - 9 = 5*g. Does 8 divide i?
True
Does 6 divide (-2)/4*(-449 + 41)?
True
Suppose 0 = -2*a - 10 - 56. Suppose l + l + 116 = 0. Let m = a - l. Does 10 divide m?
False
Let m(l) = -2*l - 6. Let k be m(-4). Let i(g) = -3*g - 29. Let u be i(-15). Suppose k*d = 12 + u. Is 7 a factor of d?
True
Let l(p) = 3*p**2 + 2. Is l(14) a multiple of 10?
True
Let n(m) = 2*m - 2. Let a be n(5). Does 4 divide 188/a + (-1)/4*-2?
True
Suppose 5*a + 5*s = 0, -a - 2*s - 2 = -0*a. Does 36 divide a/5 + (-4308)/(-30)?
True
Let t(r) = -5*r**2 - 6*r. Let x(v) = -14*v**2 - 18*v. Let w(b) = -11*t(b) + 4*x(b). Let p be w(-5). Is 12 a factor of ((-9)/6)/(p/(-40))?
True
Suppose -2*d - 3*j = -1 - 6, -2*j + 23 = 3*d. Let s = d + -6. Suppose 359 = 4*z - s*t, 5*z - 537 = 4*t - 77. Does 24 divide z?
True
Let h = 17 - 12. Suppose 232 + 368 = h*q. Suppose 2*f = -f + q. Does 16 divide f?
False
Let w be -1 - (5 + (-3 - -2)). Let h(g) = -g**3 - 3*g**2 + 6. Is 7 a factor of h(w)?
True
Let i = -55 + 37. Let u(p) = -p**3 - 19*p**2 - 17*p + 30. Does 4 divide u(i)?
True
Let z be ((-106)/3)/(4/(-30)). Let q = -394 - -404. Suppose 0 = 4*s + 3*j - z, -5*j + 5 = -q. Does 35 divide s?
False
Let o(w) = -7*w**3 - 2*w**2 - w. Let g be o(-1). Let y(d) = 2*d**3 - 7*d**2 - 3*d - 5. Is 14 a factor of y(g)?
False
Let j(d) = 385*d**3 - 2*d**2 - 5*d + 5. Is 5 a factor of j(1)?
False
Let o be 13 - (-3 + 3)*1. Suppose -3*v = 2*k + o, 8*k + 20 = -4*v + 4*k. Is 16 a factor of ((-3)/v - -1)*16?
True
Let r be 5*(3 + -4 - -2). Suppose 5*m + 46 = 3*g, 7 = -2*g - 5*m - 4. Is 57 - 1 - (g - r) a multiple of 27?
True
Let r(g) = 3*g**3 + 28*g**2 + 13*g - 1. Is 23 a factor of r(-6)?
False
Is 22 a factor of -5*126/350*-1585?
False
Let n(v) = -5*v + 170. Is 15 a factor of n(-20)?
True
Let q be 1372/77 + (-6)/(-33). Let w = 9 + q. Is 14 a factor of w?
False
Suppose 0 = -5*d - 20, -f + 135 - 15 = 2*d. Does 19 divide f?
False
Let l(m) = -m**3 - 40*m**2 - 81*m - 76. Does 2 divide l(-38)?
True
Let w(h) = -h**3 - 6*h**2 + 8*h + 3. Let c be w(-7). Let m be 3861/36 - 3/c. Suppose -4*y + m = -4. Is y a multiple of 14?
True
Let t(n) = -5*n**3 + 2*n**2 - 3*n - 14. Let u be t(-4). Suppose 0*z = -5*z + u. Is 35 a factor of z?
True
Suppose 2*r - 4*r = 18. Let c = r + 37. Does 9 divide c/(-182) - (-238)/26?
True
Let f be (-14)/(-4)*(-40)/(-35). Does 14 divide (21/f)/(7 - 725/104)?
True
Suppose -5*w + 633 + 7367 = 0. Is w a multiple of 32?
True
Let m(u) = u - 4. Let x(h) = -h**3 - 5*h**2 - 5*h. Let b be x(-4). Let y be m(b). Suppose 5*n - 4*f = 3, y*n + 2*f = -4*n + 18. Is 3 a factor of n?
True
Let a(t) = t + 12. Let z be a(-12). Suppose z = -5*u - 2*y + 24, -5*u - 2*y + 6*y + 42 = 0. Suppose -s - 160 = -u*s. Is s a multiple of 9?
False
Let h = -53 + 49. Does 31 divide (h + (1 - -4))/((-1)/(-31))?
True
Let f(l) = l - 9. Let p be f(8). Does 17 divide 102*(1 + -1 - p)?
True
Let a(s) = s + 30. Suppose -5 = -k - 1. Suppose 0 = k*w + 2*v + 4, 2*v = -2*w + 3*v + 2. Is 15 a factor of a(w)?
True
Let q = -3 - -1. Let l be (8/16)/(q/(-28)). Does 25 divide (-1 + 82)*(l - 6)?
False
Suppose 4*b = 4*a - 2*a - 8, -a = -b - 4. Let m(t) be the third derivative of -t**5/60 + 25*t**3/6 - 4*t**2. Does 15 divide m(b)?
False
Suppose -5*m = -2710 + 295. Does 69 divide m?
True
Let d(x) = -x**3 - 31*x**2 + 26*x + 106. Is 14 a factor of d(-32)?
False
Let o(d) = 3*d - 9. Let a be o(4). Suppose 72 = 3*k - a*s, -151 = -5*k - 2*s - 31. Suppose t + k = 4*t. Is t even?
True
Let a be ((-304)/(-10))/(8/20). Let t = a - 112. Is 4 a factor of t/(-54) + 44/6?
True
Suppose -5*n + 10 = 0, 2*r + n - 728 = 4*n. Suppose 0 = -3*s - 3*f + 498, -4*f - r = -2*s + f. Is s a multiple of 35?
False
Suppose 12*s - 43*s + 125519 = 0. Is s a multiple of 53?
False
Suppose h - g - 1182 = -0*g, -h + 1197 = 4*g. Suppose -3*l = 2*l - h. Does 36 divide l?
False
Let j(r) = 8*r**2 + 26*r - 16. Is j(-5) a multiple of 6?
True
Suppose 2 = p - 3*a, -4*p + 7*p + 2*a - 17 = 0. Let q be (p*1)/(9 - 8). Suppose 109 - 29 = q*s. Is 16 a factor of s?
True
Suppose -1222*g + 1215*g + 2317 = 0. Is g a multiple of 22?
False
Let f(u) = -110*u**3 + 2*u**2 + 1 + u - 2*u**2 - 160*u**3. Let g be f(-1). Is g/63*(1 - -6) a multiple of 10?
True
Let r(f) = 80*f**2 - 1. Let t be r(2). Suppose -3*b - i - 109 = -t, -2*b + 140 = -2*i. Is b a multiple of 14?
True
Let a be (-14 + -2 + -4)/(4/(-2)). Suppose a*y + 91 = 2851. Is 16 a factor of y?
