+ 658 = 0. Is m a multiple of 14?
False
Let t be (-836)/10 + 4/(-10). Does 30 divide 160 - ((-2)/7 - t/(-49))?
False
Let p(v) be the third derivative of 7/12*v**4 + 0 - 1/60*v**5 + 5*v**2 - 1/2*v**3 + 0*v. Is 17 a factor of p(12)?
False
Suppose 0 = 2*v + 2, 2*q - 4*q - 4*v = -586. Is 10 a factor of q?
False
Let w = -7 + 9. Let p be -3 + w - (1 + -6). Suppose 4*i = 2*s - 60, p*s - i + 2*i - 120 = 0. Is 15 a factor of s?
True
Let i(p) = -p**3 - 3*p**2 - p - 3. Let u be i(-4). Suppose -u*n - 396 = -21*n. Is 15 a factor of n?
False
Let m(w) = 3*w**2 - 18*w - 13. Let s be m(11). Suppose -2*f + 7*f + 132 = 4*j, 5*j - 3*f = s. Is j a multiple of 14?
True
Let c = 7 - 4. Suppose -43*d = -42*d - 36. Suppose -d = -c*v + 237. Is 27 a factor of v?
False
Let t = 169 + 275. Is 41 a factor of t?
False
Suppose 0 = r - 5*r. Let h = 28 - r. Is h a multiple of 14?
True
Let p(n) = -n**3 - 8*n**2 - n - 34. Does 6 divide p(-9)?
False
Suppose 0 = -j - 3*k - 12 + 29, 3*j - 2*k - 7 = 0. Let t be (4/j)/(4/10). Suppose -t*v + 174 = -0*v. Does 30 divide v?
False
Let l(i) = -8*i**3 - 2*i**2 - 14*i - 24. Is 52 a factor of l(-6)?
True
Does 10 divide 16/(-8) - -1 - 36*-6?
False
Let y be 0*(2 - (-1 - -4)). Suppose -5*k + 335 + 250 = y. Does 17 divide k?
False
Suppose 23*j = 2933 + 1851. Does 6 divide j?
False
Let n(c) = -c**3 + 28*c**2 + c + 36. Is 18 a factor of n(27)?
True
Let h = -287 - -828. Is 2 a factor of h?
False
Let h(o) be the third derivative of o**5/15 - 11*o**4/24 + 17*o**3/6 + o**2 - 3*o. Is 17 a factor of h(7)?
True
Let x(v) = -5*v - 10. Let f be x(-4). Let n(w) = 11*w + 13. Let y be n(f). Suppose 6*g - 75 = y. Does 11 divide g?
True
Suppose 8 = 4*h, h = -o - 1 + 12. Let g be 1/(-3) - (-21)/o. Suppose g*k + 235 = 7*k. Is k a multiple of 15?
False
Suppose 131040 = 65*g - 26*g. Is g a multiple of 105?
True
Suppose -4*x + x = -g + 93, -4*g + 52 = -2*x. Let k be -104 - 3*(-4)/6. Let j = x - k. Is 14 a factor of j?
True
Let s(x) be the first derivative of -x**4/4 - x**3 + 5*x**2/2 + 6*x + 1. Let p be s(-4). Is 42 - (p + -2)/(-1) a multiple of 16?
False
Suppose 5*y - 69 = -54. Suppose -6*z = y*d - 3*z - 792, -12 = 4*z. Is d a multiple of 19?
False
Suppose -1558 = 2*o - 1882. Is 18 a factor of o?
True
Let t be 42/(-28)*(-14 - 0). Suppose h = t + 9. Does 6 divide h?
True
Let o(j) = j**3 + 17*j**2 + 35*j + 22. Is o(-9) a multiple of 12?
False
Suppose 24*a = 25*a - 17. Is a even?
False
Suppose 0*t = -4*t - 152. Let w = 39 - t. Is 27 a factor of w?
False
Let t(y) = -15*y**3 + 1. Let o be t(-1). Suppose 2*r = 5*m - o, -2*r - 2*m + 2 = -10. Suppose r*u + 139 = 359. Is u a multiple of 31?
False
Suppose g - 4*m + 816 = 3*g, 0 = 5*g - m - 1996. Suppose -2*n - y + 272 = 3*y, 3*n + 2*y - g = 0. Is 30 a factor of n?
False
Let z = -1864 - -3764. Does 76 divide z?
True
Let d(h) = 178*h**2 - 3*h - 10. Let v be d(-2). Suppose 0 = 4*s - 3*g - v, 0*s - 3*s = 3*g - 531. Is s a multiple of 53?
False
Suppose 3*r - 35 = -2*r. Suppose 32 - r = c. Is 3 a factor of c?
False
Does 5 divide 138/4 - 11/(-22)?
True
Suppose -49*b = -33644 - 31869. Is b a multiple of 117?
False
Suppose -i - 3*i - 4*p - 12 = 0, 0 = -i - 3*p - 9. Let w(y) = y**3 - y**2 - y + 115. Let l be w(i). Suppose l = 5*h - 0. Is 11 a factor of h?
False
Suppose 5*p + 135 = 2*q + 3*q, 0 = 2*q + p - 51. Let v = 18 + q. Is v a multiple of 11?
True
Let v = 126 - -10. Suppose -v = -4*y - 4*y. Is y even?
False
Does 21 divide 3397 + (2 - 35/7)?
False
Let c be (-2)/(-2) + (2 - 0). Let l(x) = -2*x + x**c - 2*x + 1 + 5*x + x**2 - 6*x**2. Is l(6) a multiple of 11?
False
Let b(o) = 200*o**2 - 35*o - 127. Is b(-4) a multiple of 17?
True
Let w(r) = -r - 11. Let l be w(-8). Let j be 2 - (1 - (-9)/l). Suppose -j*b - 225 = -7*b. Is b a multiple of 25?
True
Let q(t) = 5*t**2 - 4*t - 10. Let r be q(8). Let o = -5 + 5. Suppose 6*m - r - 70 = o. Does 29 divide m?
True
Let r = -38 + 48. Suppose r = 5*k, -2*k + 38 = 4*v + 3*k. Does 2 divide v?
False
Suppose 314 = g + l, -5 = 6*l - l. Is g a multiple of 21?
True
Let q be (13 + 1)*(-4)/(-14). Suppose 3*j + q*n - 404 = -j, 0 = -5*j + 4*n + 523. Is 25 a factor of j?
False
Suppose 4*z + 17 = -g, 3*g - g + 2*z + 28 = 0. Let b = g - -4. Let o(a) = -a**3 - 7*a**2 + 10*a - 9. Is o(b) a multiple of 21?
True
Let m = 74 + -43. Let d(y) = y**3 + 33*y**2 + 32*y + 1. Let v be d(-32). Let r = v + m. Is r a multiple of 16?
True
Suppose 8*x - 255 = 3*x. Let f(n) = 5*n + 4. Let m be f(-3). Let g = x + m. Is g a multiple of 13?
False
Suppose 0*d - 2*d - 2 = 0. Is 72 + (d - -2) + 9/(-3) a multiple of 35?
True
Let h(k) = -14*k - 34. Let n = -29 + 24. Does 12 divide h(n)?
True
Let y(i) = 9*i - 29. Let u be y(13). Suppose -3*j - 63 = -h, 4*h - 216 = -j + u. Is 17 a factor of h?
False
Let f be (0 - 1)*(0 + -2). Suppose f*j - 8 = 0, 3*m - 3 = 2*j + j. Suppose p - 87 = -0*p - 4*h, 5*p - 390 = -m*h. Is p a multiple of 15?
True
Suppose 2*s + 90 = 5*s - 3*j, -190 = -5*s - 3*j. Is s a multiple of 5?
True
Suppose 4*q + 0*q + 4 = 0. Suppose -3*z - 4*i + 2 = 0, 5*i = 3*z + 9 + 7. Does 13 divide q*(z - 39/1)?
False
Suppose r + 4*r - 1321 = -3*d, -4*r = 4*d - 1748. Suppose 2*b + 2*n - d = 0, 3*b - 5*b = 4*n - 440. Is b a multiple of 12?
False
Suppose -4 = -8*j + 396. Let r = j - 16. Is r a multiple of 12?
False
Suppose -3*d - 21 = -87. Suppose -y + 10 = -d. Is y a multiple of 8?
True
Let f be ((-3)/(-2))/(5/(-50)). Let z be (-6)/(-24) + f/12. Is 25 + -1 + z + 3 a multiple of 26?
True
Suppose -4118 = -8*z - 1086. Is z a multiple of 12?
False
Let h be (12/(-3))/1 + 9. Does 20 divide (-16)/(-40) + 233/h?
False
Suppose 0 = -j + 3, -v - 1799 = -2*j - j. Does 18 divide 3/6 + (v/4)/(-5)?
True
Suppose a + 223 = 4*k, 3*k - a = 5*k - 113. Suppose 0 = r + 8*r - 54. Suppose 2*m - r = k. Is 20 a factor of m?
False
Suppose 53 = 5*d - 3*g - 167, -2*g = d - 44. Let a = 158 + -85. Suppose d = h - a. Is h a multiple of 39?
True
Suppose -1 + 70 = t - 2*b, 4*t + 5*b - 250 = 0. Is 17 a factor of t?
False
Suppose -d - 1176 = -5*d. Is d a multiple of 21?
True
Does 3 divide 2635/51 + (-3 - 14/(-6))?
True
Suppose -t + 3*v + v = -302, -v = t - 282. Does 32 divide t?
False
Let h be -52 - (0 + -1)*3. Let v = -26 - h. Is v a multiple of 16?
False
Let a(v) = v + 16. Let j be a(-11). Let z be j/2*4/10. Let c = 14 - z. Does 13 divide c?
True
Let x(u) = -2*u - 11. Let g be (-17 - 1)/(5/5). Is 6 a factor of x(g)?
False
Let z(x) = x**3 + 12*x**2 - 8*x - 9. Is 17 a factor of z(-6)?
True
Is 41 a factor of 5 + 24/60 + 2513/5?
False
Let d = 6 + -3. Is 28 + (-8)/6*d a multiple of 8?
True
Let r be (-3)/9 + 28/12. Suppose 5*f = -0*k - k + 525, -r*k = f - 105. Is 15 a factor of f?
True
Suppose 0 = 3*g - 7 - 5. Suppose 3*n + 0*n = -g*i + 56, -5*i + n = -70. Is i a multiple of 4?
False
Let x(m) = -m - 1. Let k(c) = -192*c - 3. Let l(b) = k(b) - 4*x(b). Let a be l(-1). Let n = 267 - a. Is n a multiple of 13?
True
Let p = -19 - -11. Let i = -2 - p. Does 23 divide i*((-28)/(-3) - 0)?
False
Let m(w) = 4*w**2 + 156*w - 68. Is 2 a factor of m(-40)?
True
Let m be ((-48)/60)/((-4)/(-490)). Let s = 36 - 64. Let t = s - m. Is 26 a factor of t?
False
Let m be ((-12)/15)/(3/(1*-15)). Suppose f + 4*p = 36, f - 4*f - m*p + 100 = 0. Is 8 a factor of f?
True
Let q = 1293 - 838. Is q a multiple of 25?
False
Let l be (-2 + 3)/((-2)/(-42)). Does 4 divide (-6)/l - (-51)/7?
False
Let l = -14 + 21. Let g(a) = -18*a**2 - 19*a**2 - 8 + 11*a - 9*a**2 + 45*a**2. Is 5 a factor of g(l)?
True
Suppose 71*d - 66*d = 40. Let z(u) = 25*u + 34. Does 30 divide z(d)?
False
Suppose 0 = 3*h - 9481 + 5848. Is h a multiple of 5?
False
Suppose 72 = -4*y + 4*c, 0*y - 26 = y - 5*c. Let h = -8 - y. Does 5 divide h?
False
Let g(b) = -4*b + 89. Let v be g(9). Let x = 52 + v. Is x a multiple of 46?
False
Let s be (-4 + 5)*(-3 + -35)/2. Let y = -1 - s. Is 2 a factor of y?
True
Let f be (22/55)/(2/60). Let m = f + 228. Is m a multiple of 20?
True
Let t(c) be the third derivative of -c**5/30 + c**4/6 - c**3/3 - 4*c**2. Let m be t(2). Let x(r) = -4*r**3 - 2*r**2 + 2*r + 3. Does 23 divide x(m)?
True
Is 6/(-9) - (-132968)/66 a multiple of 38?
True
Let a be (4 - (-56)/(-6))/(2/12). Is a/(-14) - (-22)/(-77) a multiple of 2?
True
Let s be (1*-13)/((-2)/(-2)). Suppose -42 - 6 = 6*q. Let g = q - s. Does 2 divide g?
False
Let m(r) = -3