tiple of 21?
False
Let p(w) = -12*w + 9. Let a(y) = y**3 - 12*y**2 + 20*y. Let h be a(10). Suppose -2*o - 4 = n, o - n = -h*o - 2. Does 10 divide p(o)?
False
Suppose -21*z - 75776 = -5*u, -20 + 19 = z. Is u a multiple of 22?
False
Let j be 65/(-15) - -4 - 61648/(-12). Let o be j/5 + (-21)/(-35). Suppose -3*m - m - 2*c + o = 0, 5*m - 4*c = 1311. Is 37 a factor of m?
True
Suppose 4*a - 12 = 0, -2*a = 3*k + 14 - 5. Let s = -19 - k. Is 12 a factor of 191 + (3/1)/(s + 17)?
True
Suppose -4 = -0*x - 4*x - q, 4*q - 16 = 4*x. Suppose 2*u + 2*l - 514 = x, 17*u - 19*u = -l - 508. Does 51 divide u?
True
Suppose 2*z + 13 = 25. Let v be (z/(-4))/3 - 249/(-2). Let r = v - 52. Is r a multiple of 32?
False
Let s(j) = 3*j + 44. Let w = 15 - 29. Let o be s(w). Suppose o*u = 29 + 145. Is 9 a factor of u?
False
Let o = 122 - 120. Suppose -q - o*d = -506, -4*d - 1893 = -5*q + 637. Does 22 divide q?
True
Suppose -3*j + 7 = -5, -3*l + 3*j = -62130. Is l a multiple of 53?
False
Suppose -14*g + 12*g + 2244 = 4*g. Is g a multiple of 22?
True
Let a = 10343 + -7790. Does 75 divide a?
False
Let v(m) = 3*m**2 + 3*m - 7. Suppose -13*p + 22*p + 63 = 0. Let i(a) = -a - 13. Let r be i(p). Is v(r) a multiple of 14?
False
Suppose -11*w = -34*w + 1679. Let k = w - -5. Is k a multiple of 26?
True
Suppose -5861 = -3*t - f, 4*f + 4721 + 3099 = 4*t. Is t a multiple of 79?
False
Is 80/((672/(-54) - -12)/(138/(-9))) a multiple of 4?
True
Let r be 5 + -2*1/1. Let k be (8 - r) + (-4)/((-4)/(-2)). Suppose -4*q - k*x + x = -404, -2*q + 2*x + 208 = 0. Is q a multiple of 7?
False
Let w = 4444 + -2800. Is w a multiple of 6?
True
Let s be 1/(-5 + (-4976)/(-995)). Suppose -30*y + s = -25*y. Does 56 divide y?
False
Let l = -148 - -133. Is 11 a factor of (-4960)/(-75) - (-2)/l?
True
Suppose 0 = 3027*g - 2974*g - 817896. Is g a multiple of 54?
False
Suppose 4*s - 5*s + 104 = 5*d, 0 = -3*s - 4*d + 356. Let r = s - 46. Is r a multiple of 39?
True
Let h(b) = 23*b**2 - 4*b + 11. Suppose -c - 262 + 266 = 0. Does 33 divide h(c)?
True
Let p(m) = -35*m + 81. Let i be p(-17). Let h = 1135 - i. Is 25 a factor of h?
False
Suppose 0 = 165*m - 60918 - 3550437. Is 72 a factor of m?
False
Suppose -2*r + 3*z + 12422 = 0, 4*r - 10148 - 14674 = -5*z. Is 22 a factor of r?
False
Suppose -2*o - 4*w = -24, -o - 9*w + 24 = -4*w. Let u be (-3)/(o/(32/(-6))). Suppose 576 = 2*x + u*x. Is 24 a factor of x?
True
Let q(g) = -11*g - 12. Suppose 3*t = -4*t + 168. Suppose 2*z = -t - 0. Is 12 a factor of q(z)?
True
Let o = 12066 - 5472. Is 21 a factor of o?
True
Let l(b) = b**3 + 23*b**2 + b + 26. Let m be l(-23). Suppose -15 = -5*c, -2 + 14 = m*a + 2*c. Suppose 45 = r - 3*j, a*j = -r + j + 57. Is 27 a factor of r?
True
Let r(c) = -13*c + 26. Let i = 120 - 131. Is r(i) a multiple of 13?
True
Let u(c) be the second derivative of -c**5/10 + 2*c**4/3 - 4*c**3/3 - 35*c**2 - 39*c. Does 19 divide u(-7)?
True
Let k(v) = -43430*v**3 - 2*v**2 + 7*v + 8. Is 11 a factor of k(-1)?
False
Suppose -75*o = -60*o - 237180. Is o a multiple of 236?
True
Suppose 102*k + 25*k - 533649 - 800232 = 0. Is 40 a factor of k?
False
Suppose -4*h + 23739 = 33*v - 28*v, -23721 = -5*v - h. Does 103 divide v?
False
Suppose 6*c - 1195 = -3583. Is 0 + 0/(-1) + 3 - c a multiple of 21?
False
Let t be (-24)/21 - (-154)/49. Suppose -4*r + 3*x + 316 = -35, -x - 177 = -t*r. Does 8 divide r?
False
Let t(l) be the third derivative of -l**5/60 + l**4/8 - l**3/2 + 12*l**2. Let r be t(3). Let q(b) = -4*b**3 - 2*b**2. Does 30 divide q(r)?
True
Is 15 a factor of (3108/48 - 17)/((-2)/(-104))?
False
Suppose -39*j + 1252125 + 162923 = -1549615. Does 13 divide j?
False
Let l = -192 - -189. Is 12 a factor of (-4 - ((-25)/5 + l)) + 356?
True
Let o = -4889 + 5700. Is o a multiple of 6?
False
Suppose 144*t = 119*t - 100. Does 96 divide (-30)/45*(3 - (-2934)/t)?
False
Let z(d) = -71*d**3 - 11*d**2 - 19*d + 35. Is z(-6) a multiple of 56?
False
Let f = -2 + -1. Let x be f/(4 + -1) + -37. Let h = x - -67. Is 4 a factor of h?
False
Let q = 409 - 449. Does 22 divide 240/q - (-248 - 1)?
False
Does 174 divide (2 - (-850)/(-119))*4060/(-6)?
True
Let g(v) = v**2 + 6*v + 3. Let z be g(-7). Suppose z*i = 579 + 1. Is i a multiple of 58?
True
Let z(x) = -457*x**3 + 20*x**2 + 31*x - 2. Does 124 divide z(-3)?
False
Let c(d) = 8*d + 2. Let u be c(5). Let l = u + -43. Is 13 a factor of l/4 - (-1 + (-905)/20)?
False
Suppose 0 = 2*v + 5*f - 514, -263 - 789 = -4*v - 4*f. Let i = -83 + v. Does 17 divide i?
False
Let b = 13265 + -10171. Does 12 divide b?
False
Suppose -s = -4*i + 59 - 11831, -5*i + 58910 = 5*s. Does 95 divide s?
True
Suppose -20 = -3*b - b + 4*j, 0 = -2*b - 5*j - 11. Suppose 5*f + b*x - 5085 = 0, f - x - 642 = 375. Is 9 a factor of f?
True
Let m(d) = d**2 + 11*d + 29. Let t(a) be the second derivative of 5*a**3/3 + 29*a**2/2 + 17*a. Let g(l) = 5*m(l) - 6*t(l). Is 12 a factor of g(-5)?
False
Let o = -127 + 135. Let w(n) = -n**2 + 12*n - 26. Let i be w(o). Does 8 divide (-48)/(i/(-3) + 1)?
True
Is 28 a factor of (-5663175)/(-126) + (-25)/30?
False
Let c = -887 - -955. Suppose -c = 12*b - 1556. Does 4 divide b?
True
Let b(o) = -o**3 - 15*o**2 - 27*o - 10. Let g be b(-13). Suppose 0 = -8*r + 3*r + 740. Suppose -175 = -v + g*y, 2*v + r - 478 = y. Is 18 a factor of v?
False
Suppose -3*u - 7*b + 12318 = -10*b, 4*b + 12319 = 3*u. Does 154 divide u?
False
Suppose -3*d + 78769 = 4*l, 3*l + 131272 = 32*d - 27*d. Is d a multiple of 9?
False
Let z(h) = 2*h - 21. Let i be z(18). Let o = 18 - i. Suppose 3*q + 5*m = 211, -7*m + 6*m = -o*q + 235. Is 7 a factor of q?
True
Let t(v) = -3*v**3 - 5*v - 4. Let p be t(-1). Let x(o) = 12*o**2 + 5*o - 5. Does 18 divide x(p)?
False
Is 21 a factor of (-3156)/(-18)*((-181)/(-14) - (-104)/182)?
False
Does 129 divide -7 - (-170 + (24/(-6) - -8))?
False
Let v be (-2)/(-4) + (-30)/(-4) - 3. Suppose 526 = v*x - 164. Let i = 316 - x. Is i a multiple of 37?
False
Let h(o) = 5*o**2 - 29*o - 327. Let k be h(-8). Suppose 3*q + 420 = -0*q. Let y = k + q. Is 12 a factor of y?
False
Suppose -4 = 2*k - 24. Let x(w) = 2*w - 17. Let d be x(k). Suppose -25 = -3*g - 2*g + 4*t, g + 6 = d*t. Does 4 divide g?
False
Suppose 34*q = -1513 + 11033. Suppose 2*f + 66 = 60, -5*w + 5*f + q = 0. Is 53 a factor of w?
True
Let l(c) = c - 2. Let d be l(5). Suppose -12 = -d*r - 9. Is 615/21 + r - 8/28 a multiple of 15?
True
Let p(i) = 2*i**2 - 2*i - 18. Let q = -429 + 424. Does 7 divide p(q)?
True
Let m(t) = 7*t**2 - 100*t + 8. Does 11 divide m(-45)?
False
Let j = -287 + 272. Does 13 divide 1765/15 + 10/j?
True
Let n(l) = -63*l**3 - 2*l**2 - 2*l - 1. Suppose -4*r - 7 + 0 = 3*x, 5*r + 5*x = -10. Let u be n(r). Let f = u - 45. Is f a multiple of 14?
False
Suppose 0 = 3*c + 4*n - 9*n, 0 = c + n. Suppose 4*f - d - 14 = c, 2*d = 3*f - 3 - 5. Suppose 0 = 5*l + f*h - 217, 0*h + 4*h - 12 = 0. Is 6 a factor of l?
False
Let n = 10299 - 9873. Is 6 a factor of n?
True
Let f(y) = y**2 + 12*y. Let q be (8/10)/(24/120). Suppose 3*p - 3*l + 42 = -l, -2*l = q*p + 70. Is f(p) a multiple of 7?
False
Let z(y) = -155*y - 1922. Is z(-58) a multiple of 31?
True
Let j(x) = 2*x**2 + 12*x - 7. Let q be (74/14 + 2/(-7))*-4. Let d = -27 - q. Is j(d) even?
False
Suppose -45*u + 484500 = 57*u. Is 57 a factor of u?
False
Let l(g) = 2 - 79*g**2 - 46*g**2 + 0. Let r be l(2). Let y = -326 - r. Is 43 a factor of y?
True
Suppose -5*t - 4*b + 2921 = 0, b = -5*t - b + 2923. Suppose -3*x + t = -588. Is 17 a factor of x?
True
Let t(k) = -k**2 - k + 3. Let x be t(0). Suppose 0 = 3*n - 5*s - 91, -x*n - 2*s = -6*n + 94. Does 3 divide n?
False
Let v(k) = -k**3 + 13*k**2 - 11*k - 5. Let r be 12/9*(10 + -1). Let p be v(r). Suppose -3*a + p = -29. Is a a multiple of 7?
False
Let q(y) = -92*y + 120. Let f(r) = 37*r - 341. Let i be f(9). Is 36 a factor of q(i)?
False
Let d(v) = -v**3 - 14*v**2 + 32*v + 38. Let c be 4*(-11)/(66/24). Is d(c) a multiple of 6?
False
Suppose 0 = -p + 61 - 67. Does 15 divide (-4)/(-48)*2 + (-1889)/p?
True
Let m(l) = 1174*l**2 - 6*l + 10. Let j be m(5). Suppose 45*h + j = 78470. Is 13 a factor of h?
True
Suppose -292911 = -436*j + 5106605 - 681996. Does 4 divide j?
True
Let n = 281 + 9. Suppose -7*o - d + 280 = -3*o, 2*o - 140 = d. Let u = n - o. Is 22 a factor of u?
True
Let d = 153864 - 76759. Is d a multiple of 35?
T