 3*x**2 + 4*x + 85. Is 12 a factor of n(6)?
False
Suppose 5640 = 2*t + 2*u, -3*t + 25*u - 30*u + 8466 = 0. Is t a multiple of 12?
False
Suppose -66*m = 260*m - 91*m - 2982385. Is m a multiple of 57?
False
Let u = 3852 + 3198. Is 6 a factor of u?
True
Let r = -15278 + 51002. Does 39 divide r?
True
Let r(l) = -l**3 - 6*l**2 - 8*l + 6. Let i be r(-3). Suppose 4*o = -i*q + 4*q - 4, -2*q = -4*o. Does 37 divide 127*(-2 - q)/2*1?
False
Let v = 914 - 428. Suppose 726 = 6*f - 3*f - 3*k, 2*f - 3*k = v. Is f a multiple of 60?
True
Let o(u) = 14*u**3 + 18*u**2 - 8*u - 10. Is 26 a factor of o(6)?
True
Suppose -28174 - 9104 = -25*o - 2453. Is o a multiple of 4?
False
Suppose -u + 6 = 5*t - 5*u, -2*t - u + 5 = 0. Suppose -330 = -3*c - 5*r, -c + 0*r + t*r + 110 = 0. Is 10 a factor of c?
True
Let o = 4712 + 6966. Is o a multiple of 176?
False
Does 46 divide -3*(-14651)/21*(-10)/(-7)?
True
Suppose -97*l + 66*l = -215326. Is 46 a factor of l?
True
Does 18 divide 508261/156 - (-9)/(-108)?
True
Suppose 194*d - 1016183 = -24*d + 1247747. Is 22 a factor of d?
False
Suppose 10*q - 130 - 450 = 0. Suppose 0*c + 49 = c + 3*f, 0 = 2*c + 2*f - 78. Let h = q + c. Is h a multiple of 23?
True
Suppose -49*q + 36*q - 4511 = 0. Let h = q + 612. Is h a multiple of 11?
False
Suppose -10*y + 987 = -3*y. Let g = y + -60. Is 7 a factor of g?
False
Is 88781/33 + (-8)/6 a multiple of 34?
False
Is (-1)/(-23 + 8606400/374192) a multiple of 91?
True
Let d(b) = 230*b - 784. Is 31 a factor of d(7)?
False
Suppose 0 = 3*n - 10*n + 28. Suppose 2*w + 4*t + 22 = n*w, 0 = 5*w - 5*t - 40. Suppose -36 = -h - w*m + 136, h - m = 142. Does 7 divide h?
True
Let x = 461 - 451. Is 20 a factor of (3 + (-201)/6)/(x/(-40))?
False
Let g be 40/15*(3 + 9/(-6)). Suppose 11 + 5 = g*x. Suppose 0 = x*i + 39 - 779. Does 37 divide i?
True
Let o = 9926 + -6286. Is 56 a factor of o?
True
Let x be 4028/(-8)*(3 + -5). Suppose -4*q - x = -1127. Does 10 divide q?
True
Suppose 2*x = 5*h - 833, 3*x - 3*h = -416 - 820. Let v be (x/3)/(8/(-24)). Suppose 10*q - 1459 + v = 0. Is q a multiple of 21?
True
Let m be ((-1)/((-2)/84))/2. Let i = m - 23. Is 13 a factor of 237*-1*(-2)/(-12)*i?
False
Let v be (-8 - 17)*(-4)/10. Suppose 5 - v = -u. Suppose -u*y + 16 = -y. Is y a multiple of 2?
True
Suppose m = -5*q + 1740, 8*q + 8580 = 5*m + 3*q. Is m a multiple of 8?
True
Does 16 divide (4 - 36/(-6))*8/5?
True
Let v be (-3 + -183)*(-3 - (-5)/10). Suppose -p + v = 154. Let l = p + -56. Is l a multiple of 16?
False
Is 3409494/693 + (-16)/(-168) a multiple of 23?
False
Suppose -4*r + 9 = 1. Suppose 9*x - r*x = 1400. Suppose -5*y = -x - 30. Is 5 a factor of y?
False
Does 132 divide 20/(-140) + 91479/21?
True
Let f be (4968/483)/((-6)/(-112)). Suppose -4*w + 3*x = -7*w + f, 3*w = -x + 184. Is 8 a factor of w?
False
Let o(k) = -k**3 + 9*k**2 + 24*k - 6. Let r be o(11). Suppose -4*y + 8*y = -r. Is 19 a factor of y*(-1 + -51 + 2)?
False
Let j be (6/4)/(-1 - 104/(-96)). Let x = j + 114. Is 22 a factor of x?
True
Let u(h) be the second derivative of 5*h**4/12 + 7*h**3/6 + 12*h**2 + 36*h. Let k be u(-12). Suppose -5*w = -10*w + k. Is w a multiple of 33?
True
Let g be 14660/36 + 4/(-18). Let c = g - 237. Suppose -3*o - 328 = -3*p + c, o = 4*p - 652. Is 27 a factor of p?
True
Let g = 57 + -52. Suppose 6*q - g*q - 315 = 0. Is q a multiple of 21?
True
Let d = -6 + 71. Let n = d + -72. Is (-612)/(-84) + 2/n a multiple of 6?
False
Let i(u) = -2*u**3 + 9*u**2 + u. Let c be i(8). Let o = c + 472. Is o a multiple of 32?
True
Let u(s) be the first derivative of s**5/30 - 37*s**3/6 - 13*s**2 - 33. Let n(r) be the second derivative of u(r). Is 11 a factor of n(8)?
False
Let n be 11*(-11)/(-33)*(-1 + 40). Is 13 a factor of -1 - (-2039)/13 - (-22)/n?
True
Suppose -h = -2*j + 41, 0*j - 101 = -5*j + 2*h. Suppose -1092 = j*a - 22*a. Is 18 a factor of a?
False
Let n = 37 - 126. Let k = -10980 + 10929. Let p = k - n. Does 9 divide p?
False
Suppose 0 = 7*j - 3*j + d + 76, j = -4*d - 34. Let q = 69 + j. Does 12 divide q?
False
Suppose 46*q + 385280 = 174*q. Does 86 divide q?
True
Does 114 divide (5924 - 8 - -10) + 4 + -2?
True
Suppose -174 - 138 = -4*p. Let v = 438 + -427. Suppose -v*g + 8*g = -p. Does 13 divide g?
True
Let r(q) = 5 - 106*q + 10 - 6 - 3. Is r(-3) a multiple of 27?
True
Suppose 0 = -140*j + 128*j. Let l = -2 - -6. Suppose -2*o - n = -0*o - 9, j = -2*o - l*n. Is 3 a factor of o?
True
Suppose -35 = 6*j + 25. Let c be 1 + -2*j/4. Is ((-8)/c)/(-1*(-2)/(-66)) a multiple of 11?
True
Let x(r) = -3*r**3 + 99*r**2 + 5*r + 123. Does 12 divide x(33)?
True
Suppose -7*o + 520 = -3*o - 2*k, -140 = -o - 2*k. Is 7/(42/o) - -5 a multiple of 3?
True
Let k(o) = 6*o**3 - 10*o**2 + 10*o + 63. Let l be k(-12). Is (-1 - -3)/((-30)/l) a multiple of 33?
False
Suppose -10*v + o + 1555 = -8*v, -4*v + 3115 = -3*o. Is 25 a factor of v?
True
Suppose -24*s + 35 = -13. Suppose 3*n = s*h + 63, -6*n = -5*n - 2*h - 21. Does 17 divide n?
False
Suppose -4*k - 2*q = -1446, 2*k - 4*q = 346 + 362. Suppose -2*v = -6*v + k. Does 19 divide v?
False
Suppose -8 = -z + 2*k, -3*z - 3*k = 2*z - 40. Suppose -4*t = -2*m - z, 4*m - m + 2*t = 4. Suppose 3*p + 4 - 103 = m. Does 8 divide p?
False
Suppose -45 = 4*j - 241. Suppose -3*f = -0*f - 3*v - 96, v - j = -2*f. Does 6 divide f?
False
Let t = -34 - -36. Suppose -m = -t*m + 12. Let p = m + 3. Does 5 divide p?
True
Let g be -590*(18 + -19) - -10. Let v be 2 + (-2 + 1)*0. Suppose -v*y + g = 4*y. Does 10 divide y?
True
Suppose 3*y - 356 = 244. Does 7 divide (-9)/(-3)*y/60?
False
Does 13 divide 4/3 + 853895/651?
True
Let a(h) = -2*h - 14. Let r be a(-10). Let l(f) = -11*f**2 + f. Let v be l(1). Is 16/v*(-104 - r) a multiple of 18?
False
Let h be -252*(1 + 5 - 7). Suppose -244*x - 232 = -h*x. Is x a multiple of 4?
False
Let z(l) = -5*l - 16. Let g be z(-4). Suppose -2*u = -a + 1228, -5*a - 3989 = g*u - 10059. Is a a multiple of 45?
False
Let v(t) = 12*t**2 + 27*t - 246. Is v(9) a multiple of 35?
False
Let x(h) = 2*h**2 - 27*h - 21. Let v be x(11). Let c = 122 + v. Let i = c - 42. Is i a multiple of 4?
True
Suppose 1 - 16 = 3*i, g + 2*i + 10 = 0. Suppose 5*j + 2*f = 4895, -f = j - g*j - 976. Does 26 divide j?
False
Suppose -45*h = -50*h - 75. Let c be 36/h - (-8)/20. Is 29 a factor of 276*((-40)/(-264) + c/(-11))?
False
Let a = -100 + 95. Let b(z) = z**3 + 7*z**2 + 8*z - 10. Let j be b(a). Suppose k = -j*s + 5*s + 7, 2*s - 6 = 0. Does 22 divide k?
True
Is (-16 - -20) + -2 + 5066/2 a multiple of 7?
False
Suppose 0 = -5*j + w + 18483, 2*j - 8216 = -4*w - 836. Is j a multiple of 7?
True
Let v(b) be the second derivative of 41*b**4/12 - 4*b**3/3 + 13*b**2/2 + 3*b - 8. Does 12 divide v(2)?
False
Suppose -63*q + 174*q - 92*q - 11856 = 0. Is 78 a factor of q?
True
Let i(p) be the second derivative of -3*p**5/20 + p**4/6 + 11*p**3/2 + 67*p**2 + 16*p. Is i(-4) a multiple of 25?
False
Let d = -142 + 139. Does 6 divide (d - (-91)/5)/(7/70)?
False
Suppose -55*n + 28*n + 348867 = 0. Does 11 divide n?
False
Suppose -5*g - 1363 = -11*g + 8591. Does 33 divide g?
False
Let z(y) = -y**2 + 18*y - 23. Suppose -4*t = 6*t - 90. Is z(t) even?
True
Is 14338 - (-1 - (-12 - -28)) a multiple of 33?
True
Let z(m) = -969*m + 3357. Is z(-7) a multiple of 65?
True
Suppose 0 = -11*n - 1027 + 3271. Is 3 a factor of (n/(-2))/(13/(65/(-10)))?
True
Suppose 0 = 2*i + 2, -3*m + 12*i = 7*i - 122. Suppose -m*p = -41*p + 14. Is p a multiple of 7?
True
Let y(m) = -4*m**2 + 10*m + 28. Let c(g) = 3*g**2 - 10*g - 27. Let d(u) = 3*c(u) + 2*y(u). Let r be 459/36 + (-1)/(-4). Is 14 a factor of d(r)?
True
Suppose 4*b - 144 = m - 5*m, -3*m + 5*b = -92. Suppose -162 = -4*n - m. Is 45/(-24) + 2 + 700/n a multiple of 11?
True
Let w(f) = 3305*f + 1795. Is w(8) a multiple of 208?
False
Suppose 3*k + 40*x - 102471 = 44*x, 0 = -2*k - 4*x + 68334. Does 177 divide k?
True
Let p(d) = d**2 + 5*d - 10. Suppose -8*h - 39 = 1. Let w be p(h). Let k = 21 - w. Does 14 divide k?
False
Suppose 4*i = -0*i + 3*c + 7525, 0 = 3*i - 5*c - 5652. Suppose 10*d + 5*b = 6*d + i, 10 = -2*b. Is d a multiple of 23?
False
Suppose 4*k = 2*u + 9762, -3*k = 3*u - 9741 + 2424. Is k a multiple of 40?
True
Let t be 10/((-6)/(-4)*(-24)/(-18)). Suppose 4*b = 3*n + 486, -t*b = -n - 778 + 176. Is b a multiple of 12?
True
Let j = 32 + -25. Supp