198*l + 2217. Is 41 a factor of w(-12)?
True
Let g = -3232 + 4068. Is 19 a factor of g?
True
Let a = 86 + -51. Let f be (-3)/1 - -9 - 3/3. Suppose -a = -0*m - f*m. Does 7 divide m?
True
Let w = -936 - -855. Suppose 3*h - 327 - 24 = 0. Let q = w + h. Does 18 divide q?
True
Let c = 6186 + -3954. Does 93 divide c?
True
Suppose -o + 4*s + 184 = -3*o, 3*o + s = -276. Let k = 150 + o. Let y = k - 22. Does 6 divide y?
True
Let c be (-9)/2*(-20)/(-30). Does 27 divide c + 3 + 1 - -782?
True
Let q(x) = 5*x - 45. Let r(l) = -l**3 + 7*l**2 + 5*l - 22. Let v be r(7). Is q(v) a multiple of 13?
False
Let n(w) = -4*w**3 - 177*w**2 - 59*w + 40. Is 13 a factor of n(-44)?
False
Let r(i) = 2*i**2 + 3*i. Let h be r(2). Suppose -f + 18*p - h*p = -884, -2*f - 3*p = -1713. Does 9 divide f?
True
Let w(g) = 2*g**2 - 24*g + 20. Let m be w(12). Suppose 81*u - 82*u + m = 0. Is 6 a factor of u?
False
Is 18 a factor of (-304)/(-190)*(-2)/(-8)*(-5 + 64840)?
False
Let g = -16 + 19. Suppose -3*c + 4*k + 1 = 0, 5*k - 65 = -4*c - 12. Suppose -g*f = -c*f + 336. Is 21 a factor of f?
True
Suppose -32 = 9*a + 139. Let r = 24 - a. Suppose -r*h + 40*h + 18 = 0. Is h even?
True
Let c = 30859 - 19152. Is c a multiple of 28?
False
Suppose 17*k + k - 109200 = -8*k. Does 210 divide k?
True
Suppose -120 = -h - 22. Let p = h - 98. Suppose 4*b - 7*b + 69 = p. Does 11 divide b?
False
Suppose 1912 = -3*m - 4*y, 3*m + 2856 - 952 = 4*y. Let f = -241 - m. Is f a multiple of 50?
False
Let r be (-76)/(-12) - (8/(-12) - -1). Suppose j + 2 = -4*u - 0*j, 3*u - 3*j = r. Suppose 5*w - 258 - 72 = u. Is w a multiple of 22?
True
Suppose -3*f + 34*m - 35*m = 615, -f - 212 = -2*m. Let i = 237 + f. Does 6 divide i?
False
Let l be 60/(-16) + (-1)/4. Let z be (36/15)/(l/(-10)). Suppose -z*a + 100 = -a. Is a a multiple of 20?
True
Let j(o) = 39*o + 66. Let i(m) = m**2 + 3*m + 1. Let f be i(-4). Suppose 3*h + 5*t = 6 + 7, f*t + 35 = 5*h. Is 15 a factor of j(h)?
True
Let h(j) = 483*j + 59. Does 21 divide h(2)?
False
Is 66 a factor of 7886/(117/5 - 23)?
False
Let l be 1/((-5)/45)*2/3. Let q = 60 - l. Is (q/(-9))/(1/(-3)) a multiple of 22?
True
Let b be (-1 + 3 + 406)*(-10)/(-30). Let m = b - -453. Does 31 divide m?
True
Let x(t) be the first derivative of -2*t**2 + 20*t + 1. Let a be x(-12). Suppose -4*i = 2*m - a, 2*i = -5*m - 3*i + 175. Is 36 a factor of m?
True
Let k = 11634 + -8432. Is k a multiple of 3?
False
Let g = -14 - -99. Let w = -108 + g. Let r = w + 32. Does 3 divide r?
True
Is 3 a factor of -17 + 22 + 289 + 0?
True
Let p be 1*(-6)/(-12)*-14. Is 223 + 1 + p/(-1) a multiple of 7?
True
Suppose 98*f - 48993 - 153258 = 101157. Is f a multiple of 24?
True
Let p = 24 - 12. Let r be ((-8)/p)/((-2)/18). Does 6 divide 1/(3/r) - -55?
False
Is 2*(-95)/(-10)*65 a multiple of 28?
False
Let a(c) = -204*c**2 + 20 + 214*c**2 + 3*c - 3*c. Does 26 divide a(4)?
False
Is 7 a factor of (-30090)/(-2) + -6 + 0?
False
Let i = 49 - 45. Let w be 2 - (2/8*i - 3). Suppose -w*n + 3*s + 678 + 83 = 0, -s = 2*n - 373. Is 47 a factor of n?
True
Suppose 5*a - 20 = 0, -2*a = -s + 1322 + 102. Is ((-7)/(-14))/(2/s - 0) a multiple of 43?
False
Let b be (1 - 3)/(2/(-4)). Let t be ((-2)/(-4)*20/(-5))/(-1). Suppose 3*l - b = t*l, -73 = -i - 4*l. Is i a multiple of 19?
True
Suppose 0 = -3*r + 1336*m - 1338*m + 164034, -m = 3. Is 10 a factor of r?
True
Let o(l) = -l**2 + 6*l - 8. Let q be o(3). Is 12 a factor of 48/(7 - q) + 93?
False
Let w = 5418 + 3906. Does 37 divide w?
True
Let d(n) = n**2 + 7*n + 74. Let f = 19 + -25. Does 10 divide d(f)?
False
Is 60/(-50)*(2/(-15))/((-19)/(-40850)) a multiple of 3?
False
Let w be 15/(-6) + 4 + (-22)/4. Is 828/115*(-50)/w a multiple of 9?
True
Let s(f) = -702*f - 254. Let n be s(-6). Suppose -15*l + n = -212. Is l a multiple of 2?
True
Let t(a) be the third derivative of 0 + 43*a**2 + 3/8*a**4 - 1/10*a**5 + 0*a**3 + 0*a + 1/30*a**6. Is 32 a factor of t(4)?
False
Suppose 0*c = 5*c. Suppose c = 3*o, -2*o + 144 = -4*b + 5*b. Is b a multiple of 39?
False
Let a = -61 + 19. Let s = -37 - a. Let h(r) = 4*r**2 + 3*r - 6. Does 12 divide h(s)?
False
Is 21 a factor of ((-212)/(-159) + (-155)/(-3))/((-2)/(-42))?
True
Suppose 4*m = -3*i - 261, 16*i - 12*i - 2*m = -326. Let j = i + 445. Is j a multiple of 31?
False
Let u = -369 - -358. Let i(c) be the third derivative of c**5/60 + c**4/3 - 11*c**3/6 - c**2. Does 8 divide i(u)?
False
Let q(i) = 37*i**2 - 4*i + 1. Let r be q(-1). Let m = r - -194. Is m a multiple of 3?
False
Let w = -3454 - -3815. Is 6 a factor of w?
False
Let t = 456 - 452. Suppose -3*s - 55 = -q, -t*s = 28*q - 33*q + 253. Does 7 divide q?
True
Let o(p) be the first derivative of 101*p**3/3 - 3*p**2 + 8*p + 31. Let l be o(2). Let c = l + -243. Is 9 a factor of c?
False
Suppose 2*k = 4*j + 1360, 4*k - 83 = 4*j + 2641. Let p = -307 + k. Does 15 divide p?
True
Let y = -15190 - -24836. Does 14 divide y?
True
Suppose 4567*j - 1932 = 4565*j. Is j a multiple of 8?
False
Let d = 1225 - -10445. Does 10 divide d?
True
Let g = -9 + 4. Let x(c) = 14*c + 17. Let k(d) = 64*d + 84. Let o(l) = 3*k(l) - 14*x(l). Does 14 divide o(g)?
False
Let q(x) = -x**3 - 5*x**2 - 5*x - 97. Does 15 divide q(-11)?
False
Suppose 4*s - 4*r = r + 45, 0 = -s + r + 10. Suppose 56 = s*a - 4*a - 3*b, 0 = -4*a + b + 191. Is 12 a factor of a?
False
Suppose 5*f - 40 = 5*k, -2*k - 15 = 2*f - 3*f. Let s be (-1986)/k - (1 + 36/(-28)). Suppose 11*g - 387 = s. Is 18 a factor of g?
False
Suppose o + 90*u - 4531 = 92*u, -18098 = -4*o - 5*u. Is 37 a factor of o?
False
Let t(j) = 2*j**3 - 3*j**2 + 2*j + 6. Let l = 34 - 32. Suppose -4*a + v = -8, l*a - 13 - 13 = -5*v. Is t(a) a multiple of 13?
True
Suppose 15 = -3*i, -2*i + 23205 = 12*y - 75317. Is y a multiple of 119?
True
Suppose -d - 3*x + 26 = 18, -5*d = -3*x - 4. Suppose d*o = 594 + 126. Is 10 a factor of o?
True
Suppose 0 = 5*p + 4*a - 13159, -41*a + 8 = -43*a. Is p a multiple of 5?
True
Let o = -24456 + 42528. Is o a multiple of 12?
True
Let d(z) = -z**2 - 11*z - 15. Suppose -3*x = 4*s + 2*x + 11, 0 = -2*s + 5*x - 43. Let a be d(s). Suppose y - 2*y = -5*f - 46, -2*y = -a*f - 78. Does 6 divide y?
True
Suppose -4*b = 4*q - 12, -b + 2*q + 3 = -3. Suppose -b*h = -2*h - 154. Suppose 2*o - 2*t = 26, -5*o - t = -o - h. Does 4 divide o?
False
Suppose 44*k - 83*k - 3*k = -517104. Is 8 a factor of k?
True
Suppose c = -2*l - 0*c + 2, -3*l + 4*c = -14. Suppose n - 52 + l = 0. Does 21 divide n?
False
Let t be (-2)/1 + (-2 - 1)*4. Does 15 divide 10 + t - -1*79?
True
Let y = -5521 + 24106. Does 174 divide y?
False
Suppose 132*u = 207*u - 64050. Is 9 a factor of u?
False
Is 26/78 + (-36785)/(-21) a multiple of 43?
False
Let q be (-15)/10 + 62/(-4). Let u = -13 - q. Suppose -2*o = u*b - 94, 3*b + b = 5*o - 249. Is o a multiple of 9?
False
Suppose 2*v - 1640 - 2754 = 0. Is 43 a factor of v?
False
Let h = -3 + 9. Let l(v) = -305*v**2 - v + 4. Let m(s) = 609*s**2 + 2*s - 7. Let p(k) = h*m(k) + 11*l(k). Is p(-1) a multiple of 30?
True
Suppose 0 = 2*r + 29 + 1. Let m be r/((-3 - -2)/(-1)). Let o(b) = -11*b - 37. Is o(m) a multiple of 8?
True
Let s(r) = -57*r - 4. Let c be ((-54)/(-9))/(1/(-3)). Let o = c - -14. Is 13 a factor of s(o)?
False
Let t be 5 - (749/(-3) - (-2)/(-6)). Suppose -266*p + 7040 = -t*p. Is 80 a factor of p?
True
Let f = 71 + -48. Let v be (1 - 3)*f/(-2). Suppose 0 = 7*b - 135 + v. Does 4 divide b?
True
Suppose 3*p = 8*p. Suppose p = 5*w - 11*w. Let q(i) = -5*i + 104. Is 9 a factor of q(w)?
False
Let w(r) = r**3 + 39*r**2 + 35*r + 19. Does 25 divide w(-17)?
False
Let f be 9*((-78)/(-4) + 5/(-10)). Let c = -91 + f. Is 5 a factor of c?
True
Let c(o) = 6*o + 57. Let p be c(17). Suppose -z + 153 - p = 0. Does 35 divide z/(-1)*(-105)/(-6)?
True
Suppose 3*k = -5*f + 37, 23 = 5*k + 3. Suppose 2940 = 2*c + f*c. Suppose -c = -2*x - 3*x. Does 21 divide x?
True
Suppose 31 - 4 = -o. Let x = o + 30. Suppose -6*f + 135 = x*f. Is 5 a factor of f?
True
Let p(d) = 5*d - 49. Let u be (2 - -4)*1 + 6. Does 11 divide p(u)?
True
Let g = 64 + -61. Suppose 0 = 4*o - 20, 0*a + 1390 = g*a - o. Does 15 divide a?
True
Let b(n) = -46*n**3 - 11*n**2 - 14*n - 60. Is 47 a factor of b(-7)?
False
Let q(d) = 3*d - 12. Let s be q(0). Let j(a) = 2*a + 28. Let z be j(s). Suppose 4*t - 676 = -z*u, -5*t - 4*u + 865 = -9*u. Is t a multipl