ose t = -9*p + 401. Is 15 a factor of p?
True
Let r(s) = 738*s**2 - 38*s + 50. Is r(2) a multiple of 14?
True
Suppose -166 + 40 = -21*j. Does 3 divide (255/(-25))/(j/(-30))?
True
Suppose 1336 = -2*l - 2*l. Let z = -190 - l. Is z a multiple of 16?
True
Let c be 28 + (2/2 - 5). Let k = c + -20. Suppose 2*l = 3*w + 94, -4*l + k*w - 26 + 206 = 0. Is 5 a factor of l?
False
Does 41 divide (-30)/(-27) + 705718/234?
False
Suppose -r - 14099 = -3*g + 29145, -2*g + 28856 = -6*r. Does 203 divide g?
True
Let v(h) = -41*h - 2. Let l be v(-2). Let q be 48/84 + ((-3997)/49 - (0 + 0)). Does 25 divide (162/(-72))/(q/l + 1)?
False
Let w(j) = -280*j + 112. Let v be w(-6). Suppose 5*x - u - 1530 - 261 = 0, -v = -5*x + 2*u. Is 10 a factor of x?
False
Suppose 0 = -1449*g + 1446*g + 4710. Let j = 2290 - g. Does 90 divide j?
True
Suppose 2*k + 9 = 4*y + y, 2 = -4*y - 3*k. Let a(t) be the first derivative of 33*t**4/2 - 2*t**3/3 + t**2/2 + 4. Is a(y) a multiple of 10?
False
Suppose 2*s + 252 = 342. Suppose 0 = 29*l - s*l + 9024. Is 18 a factor of l?
False
Suppose 37*q - 22*q + 10395 = 0. Let o = -387 - q. Does 34 divide o?
True
Suppose -9*c = 2 + 628. Let u be c/(-15) + (-1)/(-3). Suppose 5*y - 89 = -3*p - 23, 0 = u*y + 15. Is 9 a factor of p?
True
Let m be (-1 - 2) + 10*285/75. Suppose -m*l = 2685 - 28305. Is l a multiple of 12?
True
Let z(q) = 7*q**2 - 270*q - 596. Is z(65) a multiple of 11?
True
Suppose 55 = -7*g + 18*g. Is g/(-1)*(3888/5)/(-9) a multiple of 18?
True
Let h(m) = 17*m**3 - 21*m**2 + 2*m + 10. Is 32 a factor of h(9)?
True
Is (5 - 50 - 3)*(-3 + 3714/(-24)) a multiple of 163?
False
Suppose -4*f - 24432 = -16*f. Suppose 0 = 5*o - f + 296. Is o a multiple of 10?
False
Let q = 237 - 185. Suppose 4680 = -q*b + 58*b. Is b a multiple of 13?
True
Let k = 7288 - 5722. Is k a multiple of 27?
True
Let j(l) = 108*l + 10 + 41 - 15. Is 9 a factor of j(2)?
True
Let s(t) = 2*t**3 + 2*t**2 - 2*t - 1. Let a be s(2). Suppose -a*w - 24 = -21*w. Suppose -175 = -17*q + w*q. Is q a multiple of 5?
True
Let y(u) = -u**3 + 46*u**2 - 90*u + 90. Let g be y(44). Suppose -h + g*x = -461, 0*x = -5*h + 3*x + 2284. Is h a multiple of 16?
False
Suppose 2*h - 2*n - 11960 = 0, 5*h - 14036 = 2*n + 15867. Is h a multiple of 61?
False
Let u(t) = -38*t + 35. Let z be u(-8). Suppose 5*h + b = -0*h + 837, 2*h - b - z = 0. Is 5 a factor of h?
False
Does 63 divide 2462/(12*((-1)/(-2) + (-13)/39))?
False
Let j(i) = i**3 - 15*i**2 + 2*i + 13. Let s be j(15). Let r = s - 43. Suppose 5*b = 3*y + y - 369, r = -b - 1. Does 12 divide y?
False
Suppose 0 = z + 4*p - 5, -4*z - 2*p = 3*p - 31. Suppose -5*d - 2*t + 7 = 0, 0 = -4*t - z - 7. Is 16 a factor of ((-194)/d)/(2/(-3))?
False
Let o(x) = -x**3 - 16*x**2 + 15*x + 12. Let d be o(-17). Suppose -d*c - 190 = -47*c. Is 19 a factor of c?
True
Let k(j) = j**3 + 42*j**2 + 126*j - 155. Does 49 divide k(-20)?
True
Let q = -434 + 536. Suppose 0*k - 5*k = -20. Suppose -2 = 2*p, 0 = -3*v + k*p - 26 + q. Does 6 divide v?
True
Suppose -5*c + 50 = -2*w + 5*w, 5*c = -5*w + 60. Suppose c*b = 2*b + 1320. Does 12 divide b?
True
Suppose 1789 = 3*w - 2045. Let d = w - 700. Does 21 divide d?
False
Let m(z) = 2*z**2 - 6*z - 5. Let p be m(-1). Suppose 3*d + p*g = 12, -5*g + 0*g + 21 = 4*d. Is (d - (-6)/3) + 98 a multiple of 10?
False
Let u(v) = 118*v - 2. Let o be u(-1). Let z = o - -260. Is 12 a factor of z?
False
Suppose -4 = -2*d - 0*d. Suppose 4*m - 61 = -5*v, v - 28 = -3*v + d*m. Is 23 a factor of (-6)/v - (-462)/18?
False
Let k(f) = 85*f**2 + 34*f + 118. Does 33 divide k(7)?
True
Let w = 6025 - -1189. Is 14 a factor of w?
False
Suppose -22668 = 37*o - 49*o. Is 4 a factor of o?
False
Let f(d) = d**3 - 13*d**2 + 11*d + 17. Let z be f(12). Suppose 4*x - 306 - 1077 = -z*w, -5*w = -3*x + 1046. Is 20 a factor of x?
False
Suppose 4*l = -3*j + 34582 + 22999, j = 4*l - 57569. Is l a multiple of 17?
False
Suppose -d - 5*y - 39 = 0, -d + 57 = -4*d + 5*y. Is (-4976)/d + 5/(45/6) a multiple of 6?
False
Suppose 0 = 5*a - 25 - 65. Let o = -14 + a. Suppose o*n + 2*i + 287 - 991 = 0, 5*i = 20. Is 38 a factor of n?
False
Let d(a) = -10*a**2 - 90*a + 2. Let t be d(-9). Suppose t*l - 418 = -34. Is l a multiple of 64?
True
Let n(o) = -80*o - 8. Let r = -237 + 235. Is n(r) a multiple of 8?
True
Let v be -6 - ((-1 - 150) + 1). Suppose -t - 128 = -5*t + 4*p, 0 = -4*t - 4*p + v. Is t a multiple of 17?
True
Suppose -3*d + 15*y = 11*y - 769, 263 = d + 2*y. Suppose 716 = 3*z - d. Does 13 divide z?
True
Suppose -3*j - t + 100 = 0, 4*t = 3*j - 8 - 117. Let u = j - 31. Suppose u - 51 = -d. Is 12 a factor of d?
False
Let x(u) = 3*u**3 - 25*u**2 + 57*u - 252. Is x(18) a multiple of 18?
True
Let y(w) = -38*w**2 - 36*w**2 + 111*w**2 - 6 - 39*w**2 - 2*w. Let g be y(-4). Let a = 26 - g. Is 14 a factor of a?
True
Let u(t) = -t**2 - 9*t - 3. Let k be u(-8). Suppose 4*q = 4*i - 92, 3*i - k*q - 58 = i. Is 2 a factor of i?
False
Let m(v) = 1450*v**2 - 51*v - 2. Does 8 divide m(1)?
False
Let o be 849/(-3) - 2*2. Let s = o - -560. Suppose -9*g - s = -12*g. Is 13 a factor of g?
True
Let z = -41127 + 52075. Does 23 divide z?
True
Suppose 0 = -702*s + 706*s + 2*k - 8944, -3*s + 6719 = -4*k. Is s a multiple of 6?
False
Suppose 4*l + 12*l = 11*l + 39095. Is 132 a factor of l?
False
Let u = -57 - -76. Let n(a) = a**3 - 18*a**2 - 6*a + 38. Does 24 divide n(u)?
False
Let p = 17307 + -5406. Is p a multiple of 115?
False
Let v be 5*(6/9)/(2/3). Suppose v*n + 123 = -82. Let c = n - -61. Does 5 divide c?
True
Let l(z) be the first derivative of -33*z**2/2 + 204*z + 264. Is 48 a factor of l(-4)?
True
Suppose -5*a = -171 + 31. Suppose 18 = -5*o + a. Suppose 142 = 4*s - n, 2*n = -s - o*s + 112. Is s a multiple of 12?
True
Suppose -4*j = -2*l - 74321 - 45639, 0 = -3*l + 18. Is 89 a factor of j?
True
Let g be (6/(-4))/(6/8). Let h(o) = 18 + 15 + 2*o - 11*o**3 - o**2 + 15 - 50. Does 9 divide h(g)?
False
Suppose -218551 + 54283 = -27*z. Does 18 divide z?
True
Let w(a) = a**2 - 4. Let v be w(3). Suppose 0*t - 1125 = -v*t. Does 45 divide t?
True
Let j be 0 + (-11)/(-2) + (-4)/8. Suppose 0 = j*r - 2298 - 352. Does 35 divide r?
False
Let q(b) = -14*b - 6. Let a be q(-1). Does 37 divide 2282/a - (-5)/(-180)*9?
False
Let j(v) be the first derivative of v**6/36 + v**4/12 + v**3/3 + 23. Let d(m) be the third derivative of j(m). Is 12 a factor of d(3)?
False
Suppose 2*g - 7*g = h - 579, -2*g + 3*h = -218. Suppose -g*s = -121*s + 7530. Is s a multiple of 20?
False
Let c = -119 - -77. Let a be 28/c - 34/(-6). Is 3 a factor of 42 + -42 + a*(2 - 0)?
False
Let a = -342 - -394. Suppose -14*s + 10*s = -5*q - 169, 2*s + 4*q = a. Does 9 divide s?
True
Let y = 8 - -15. Suppose 4*j + 73 = -y. Is 16 a factor of (0 + j/10)/((-6)/80)?
True
Let n = 4157 - 1250. Does 115 divide n?
False
Suppose 0*a + 100 = -4*a. Let d = 31 + a. Suppose -241 = -d*c + 47. Is c a multiple of 16?
True
Let d be 1/((-4)/2206) + 167/334. Let m = -397 - d. Is m a multiple of 11?
True
Does 56 divide 15/(7185525/560560 + -13 + (-2)/(-11))?
True
Let b(j) = 3*j**2 + 32*j + 137. Let s(z) = 55*z - 392. Let c be s(7). Is b(c) a multiple of 12?
True
Let l(p) = -p**2 + 7*p + 6. Let u be l(0). Suppose -u*v + 577 + 563 = 0. Does 29 divide v?
False
Suppose -4*j - 2*o + 14 = 0, 0*o + 2*o = -3*j + 10. Suppose 41 = j*h - 271. Is h + 3 + -2 + 2 a multiple of 12?
False
Let y = -43 - -49. Suppose 5*z + 4 = y*z. Suppose -3*l + 147 = -3*x - 0*x, 5*l + z*x = 236. Does 16 divide l?
True
Suppose 0 = -c + h + 153, -150 = -c + 2*h + 2*h. Let r = c - 38. Is r a multiple of 28?
False
Let k(w) = 2*w + 21. Let z be k(-6). Suppose 0 = -2*o + z*o - 21. Suppose -o*j + 7 = -113. Is j a multiple of 8?
True
Let r(x) = -52*x**2 - 1670*x - 109. Is r(-32) even?
False
Let t(c) = 14370*c**2 - 658*c + 658. Is 9 a factor of t(1)?
False
Suppose 0 = 5*i + 5*b - 1357 - 18, -3*i + 830 = 4*b. Suppose 2*g - 120 = i. Suppose 0 = -2*p + g + 333. Is p a multiple of 24?
True
Let h = -41 + 46. Does 2 divide (3/h + (-8)/40)*30?
True
Let r be -5*(-5)/25 + 71. Suppose 6*u - 5*u = -j - r, 0 = 2*j + 4*u + 146. Let x = j + 108. Does 11 divide x?
False
Let p(h) = h**3 + 8*h**2 + 10*h - 10. Suppose -30 = 3*x + 2*x. Let r be p(x). Is 38 a factor of r/3 - (-3632)/24?
True
Let z = -24 - -15. Is ((-21)/z)/7 + 130/6 a multiple of 14?
False
