-5*c + 12 + 5 = -4*m. Let u = -2388 - -2380. Is 7 a factor of u/((-28)/m + -4)?
False
Is 32 a factor of (-958)/(-10) - 6*(-4)/120?
True
Let o(r) = 26*r**2 - 83*r - 91. Is o(15) a multiple of 74?
True
Let d = 90 - 75. Let p(q) = 1 - d - 12*q - 35*q + 9. Is p(-2) a multiple of 21?
False
Let x(i) = 206*i**3 + 28*i**2 - 103*i + 36. Does 48 divide x(4)?
False
Let g(m) be the second derivative of -m**5/10 + 46*m**2 + 5*m - 1. Is g(0) a multiple of 25?
False
Suppose 5*g + 2*b = 9900, -209*b + 212*b = -15. Is 32 a factor of g?
False
Let h be ((-1112)/3)/(-4) - (-4)/(-6). Suppose -8*s + h = -228. Does 2 divide s?
True
Let z(h) = 4*h + 31. Let w be z(-18). Let n = 61 - w. Does 20 divide n?
False
Suppose 4*d + 5*j - 837 = 0, -26*d + 204 = -25*d + 3*j. Suppose 0 = 5*w + d - 483. Is w a multiple of 18?
True
Suppose -2*n + 6*n - 4*b - 2756 = 0, n - 686 = -2*b. Suppose 0 = -2*p + 4*a + n, -2*a - 77 + 1413 = 4*p. Is p a multiple of 12?
True
Suppose 2*k - 3*l - 58 = -l, -4*k + 124 = 4*l. Suppose -k*t + 8293 = 1093. Does 48 divide t?
True
Let c(j) = -97 - 19 + 29 - 155 + 15*j - 22. Is c(21) a multiple of 41?
False
Suppose -100 = -4*o + 268. Is 4 a factor of o?
True
Suppose 0 = -2*k + 7*k - 50. Let h(q) = -q**3 + 64*q**2 - 17*q + 1085. Let y be h(64). Does 12 divide y/6 + 125/k?
True
Suppose 11*q - 357 = 8*q. Let i = q - -122. Suppose 0 = 4*m + 4*t - 492, 0*m - 3*t = -2*m + i. Is 14 a factor of m?
False
Suppose 3*w + 823 = 9673. Suppose -86*g = -91*g + w. Is 34 a factor of g?
False
Suppose 0 = -5*w + 12 + 13. Is 11 a factor of w*(-4)/30 - (-2446)/6?
True
Let u(v) = 3*v**3 - 5*v**2 - 20*v - 61. Let f be u(-4). Suppose -1370 = -3*g + 3*w - 2*w, g + 4*w = 461. Let p = g + f. Is 57 a factor of p?
False
Suppose 12*a - 11*a - 5625 = -h, 5*a + 2*h = 28098. Is 108 a factor of a?
True
Suppose -2707 = -q - 4*z, -13*z - 5370 = -2*q - 10*z. Does 69 divide q?
True
Let g(s) = s**3 - s**2 + 2*s + 47. Suppose 16 = -5*d + 1, -2*b - 101 = 3*d. Let q = -46 - b. Is 8 a factor of g(q)?
False
Suppose 8*f + 4*x = 12*f - 1280, -5*f + 1580 = -x. Is f a multiple of 35?
True
Suppose -k + 4*s + 88 = 286, -4*k = 5*s + 708. Let a = k - -1293. Is a a multiple of 11?
True
Let i(p) = 3*p + 10. Let j(c) = 4*c + 9. Let w(m) = -5*i(m) + 6*j(m). Let q be w(-1). Let s(l) = -8*l - 9. Does 7 divide s(q)?
False
Suppose 4*f - 3*g + 8 = 5*f, -1 = 3*f + 4*g. Let m be (f - 3)/5 + 1/1. Is 9 a factor of 132 - -2 - (3 + m)?
False
Let u(z) = 6*z**3 - 12*z**2 + 4*z + 12. Is 9 a factor of u(6)?
True
Is 49 a factor of 260*(43/(-5) - -13)?
False
Let z = 8036 - 4004. Is z a multiple of 63?
True
Let z = 1828 + -532. Is 50 a factor of z?
False
Let t(a) = 89*a**2 - 17*a - 2. Let q be t(2). Suppose -6*n + 26*n - q = 0. Does 8 divide n?
True
Let n(j) be the third derivative of j**5/60 - j**4/12 + 5*j**3/6 + 32*j**2. Is 3 a factor of n(-3)?
False
Let j = -15449 - -41357. Is 127 a factor of j?
True
Let i be 1*-5*(-4)/(-10). Let m(h) = -33 + 11 + 24 - 4*h. Does 5 divide m(i)?
True
Is ((-3055)/(-94) - 28)*(-162920)/(-18) a multiple of 15?
False
Is (-11951)/(-7) + (15 - (-856)/(-56)) a multiple of 19?
False
Let v = -43760 + 62633. Does 16 divide v?
False
Let n = -1027 + 1176. Is 27 a factor of n?
False
Let r = -3766 - -7132. Is 18 a factor of r?
True
Suppose -2*a - 4*w + 237 + 15321 = 0, -a = -2*w - 7803. Does 49 divide a?
True
Let c = -748 + 763. Does 8 divide (126/c)/(1/20)?
True
Let y(m) = 0 + 59*m - 44 - 10*m - 27. Is y(11) a multiple of 12?
True
Suppose d = 6*d - 10. Is 10 a factor of 309/d*(4 - 2)?
False
Suppose -3*l + 6 = -15. Let g be 2/l - 1928/(-14). Let w = 247 - g. Is 21 a factor of w?
False
Let a = -240 + 285. Suppose -a*p = -30*p - 17430. Is p a multiple of 13?
False
Suppose 17*k - 10 - 24 = 0. Suppose k*w - 75 = 313. Does 13 divide w?
False
Let m = 97 + -88. Suppose -p + 13 = -2*c + 7*c, 0 = -2*p + 6. Is 30/m*33/c a multiple of 22?
False
Let v be 3/(-2)*(-20)/30. Let d(k) = -4*k**2 + 4*k - 3. Let t be d(v). Is ((-17)/3)/(t/18) a multiple of 17?
True
Let q(o) = 114*o**3 - 3*o**2 + 15*o - 6. Let k(n) = -115*n**3 + 2*n**2 - 15*n + 7. Let v(d) = 5*k(d) + 6*q(d). Is 13 a factor of v(2)?
False
Let g = 5708 - 4718. Is g a multiple of 66?
True
Let k = 10359 + -5936. Does 27 divide k?
False
Let v(l) = -467*l + 145*l + 161*l + 10 + 132*l. Let u be (24/10 + -2)*-5. Is 9 a factor of v(u)?
False
Suppose -2563 = -23*r - 608. Suppose 1771 = -74*x + r*x. Is x a multiple of 7?
True
Let v = -25 - -13. Let t(a) = -a**3 + 22*a**2 - 12*a - 21. Let g be t(21). Let x = v + g. Is 27 a factor of x?
False
Let i = 11528 - 7248. Does 49 divide i?
False
Suppose 12*c - 14*c - 2*f + 20378 = 0, 2*c - 2*f - 20366 = 0. Does 68 divide c?
False
Suppose 21*u - 99584 = 92692. Is 21 a factor of u?
True
Suppose 2*q + 10 = -3*t, t - q + 3*q = -10. Suppose t = -6*f - 29 + 785. Is f a multiple of 20?
False
Suppose 16*d + 104 = 20*d. Suppose -23*h - 60 = -d*h. Suppose -672 = h*c - 24*c. Does 24 divide c?
True
Suppose 0 = 5*k - 19 - 6. Suppose -m + k*q = 12, -75 + 243 = -5*m - 2*q. Let c = 44 + m. Does 4 divide c?
True
Suppose 10*k + 108 + 102 = 0. Is 5 a factor of (-914)/(-14) - ((-69)/k + -3)?
True
Let w = 1209 - -7704. Is w a multiple of 151?
False
Let h be (-519)/(-15) - (-9)/(-15). Let y = h - 45. Let q = 25 + y. Is 4 a factor of q?
False
Suppose 2*p = z + 244, -5*p = -6*p - 2*z + 112. Let s = p + -18. Is 34 a factor of s?
True
Let y = 685 - 349. Let o = -47 + y. Is 76 a factor of o?
False
Suppose 5*g - 8*c + 11*c = 6564, -g = 5*c - 1326. Suppose -2*p + 3*y + 3291 = 3*p, -2*p + 3*y = -g. Is 22 a factor of p?
True
Let r(z) = -z**3 + 64*z**2 - 432*z - 421. Is r(37) a multiple of 76?
False
Let p = -3315 + 8848. Is p a multiple of 40?
False
Let w = -48 - -48. Suppose w = -3*p - 111 - 48. Let m = p + 116. Is m a multiple of 7?
True
Suppose -3*d - c + 11012 = 0, -3*c = -27*d + 26*d + 3684. Is d a multiple of 6?
True
Suppose -o - 12*t + 9*t = 12, -4*o = 4*t + 16. Suppose 3*q - 1138 = 5*f - 4905, 4*f + q - 3017 = o. Does 12 divide f?
False
Does 31 divide -2*28604*3/96*4/(-1)?
False
Let u = 307 + -197. Let h = -8 + u. Does 6 divide h?
True
Suppose i - d - 4 = -2, 0 = 4*i + 2*d - 32. Let p be (-1)/(i/(-9)) - 12/(-8). Suppose s + 102 = p*s. Is s a multiple of 9?
False
Let h(o) = 3*o - 10. Let p(w) = -w**3 + 5*w**2 - 3*w - 7. Let f be p(3). Let l be ((f/5)/1)/(24/360). Is 4 a factor of h(l)?
True
Suppose 0 = 3*o - 5*o + 424. Suppose -4*n = 3*p - 169, 0*p + 4*p - o = -5*n. Suppose -v - v = -n. Does 12 divide v?
False
Let i = -15989 - -30575. Is i a multiple of 39?
True
Suppose -3*s - 3*x = -37 - 260, -x - 325 = -3*s. Is 53 a factor of s?
True
Let i(c) = 16*c + 201. Let l(p) = 18*p + 201. Let v(r) = 4*i(r) - 3*l(r). Is v(-14) a multiple of 5?
False
Suppose -883424 = -267*j + 1134319 + 867993. Is 193 a factor of j?
True
Let x(g) = -8*g + 27. Let b be x(-7). Let k = b + -76. Suppose 2*z = -3*r + 371, -z + 10*r = k*r - 199. Is z a multiple of 38?
True
Let m(o) = -o**2 + 1. Let y(d) = -d**2 + d + 3. Let k be 24/14 - 2/(-7). Let x(p) = k*y(p) - 6*m(p). Does 12 divide x(3)?
False
Let t(x) = x**3 + 6*x**2 + 7*x - 1. Let k be t(-4). Suppose -668 = -5*c - y - y, -5*y = k*c - 416. Is c a multiple of 6?
True
Suppose -5*y + 5*i + 6229 + 151 = 0, 2545 = 2*y + 5*i. Suppose 5*v - 33 = -8, -y = -2*x + v. Does 80 divide x?
True
Let r be ((-1)/3)/(2*(-4)/24). Does 4 divide (-4887)/(-162) + r/(-6)?
False
Suppose 7*m - 4*z = 12*m - 33798, 4*m - 2*z - 27028 = 0. Does 31 divide m?
True
Suppose 3*j = 18*j - 78781 - 13289. Does 22 divide j?
True
Suppose -4*v + 0*v = 0. Let a(l) be the third derivative of l**6/120 - l**5/60 + 26*l**3 + 47*l**2 - 16*l. Is a(v) a multiple of 26?
True
Let k = 29 + -25. Let r = k - 8. Is (r/12)/(1/(-81)) a multiple of 9?
True
Let o(z) be the third derivative of z**6/120 + 5*z**5/12 - 4*z**4/3 + 5*z**3/6 + 2*z**2 + 31. Is o(-26) a multiple of 7?
True
Let k(y) = y. Let g be k(6). Let v(b) = -b**3 + 7*b**2 + 10*b - 5. Let a be v(g). Suppose -4*s + 96 = 2*w, 2*s + 5 - a = -2*w. Is 9 a factor of w?
False
Let d(n) = -n**2 + 13*n + 16. Let k be d(16). Let c be (-2)/k*-2*-8. Suppose 0 = h - c, 2*v - h + 2*h - 33 = 0. Does 15 divide v?
False
Suppose -12 = -2*v - 20. Let l be ((-24)/(-15))/(v/(-40)). Suppose -7*h + l*h = 153. Is 17 a factor of h?
True
Let s(p) = 