
Let b be ((-510)/(-20))/((-6)/(-8)). Let x = b + -66. Does 3 divide x/(-80)*30/1?
True
Is 15987 - -15*(7/(-21))/(7/(-7)) a multiple of 4?
True
Suppose -4*b + 4*l = 326 + 66, 0 = -4*b - l - 377. Let j = -95 - b. Is 20 a factor of 74 + 0/(j - (-3 + 5))?
False
Let a = -169 + 266. Suppose -2*j - a = -503. Does 11 divide j?
False
Suppose 0 = -7*g + 47*g - 26680. Does 4 divide g?
False
Suppose -8*i + 93 = 5. Let g(y) = y**2 + 6*y - 12. Is g(i) a multiple of 9?
False
Let q(p) = 9*p**2 + 4*p - 11. Let z be q(8). Let i = z + 140. Does 67 divide i?
True
Let v(k) = -2*k**2 - 109*k - 3. Is v(-20) a multiple of 51?
True
Let y be (0 - 90)/((-87)/58). Suppose -h - 4*h = -y. Does 3 divide h?
True
Suppose 7*a - 21 = 4*a. Suppose -4*w + 5*y = -19, -3*w = -4*w + 2*y + a. Suppose -w = -4*p + 351. Does 11 divide p?
True
Suppose -w - 5*i = 2*w - 15, -5*i + 15 = -2*w. Suppose -5*y = -2*y + l - 282, -2*y - 3*l + 181 = w. Is 57 a factor of y?
False
Let f be (-8995)/(-15) - (-15)/(-9). Let g = f - 332. Is 38 a factor of g?
True
Let u = -609 - -727. Suppose 124*n - 2310 = u*n. Is 86 a factor of n?
False
Suppose 5*r + 4*i = 203497, -5*r - 17*i + 22*i + 203560 = 0. Does 85 divide r?
False
Suppose -3*j + y + 3739 = 0, -9*y = j - 6*y - 1243. Is j a multiple of 9?
False
Let f = 4534 - 2306. Does 143 divide f?
False
Suppose f - 2*g = 156, 0*g - 468 = -3*f - 3*g. Let x = f - -138. Is x a multiple of 13?
False
Does 18 divide 4555440/90 - (-44)/4?
False
Let c(v) = 105*v**2 + 48*v - 540. Is 9 a factor of c(9)?
True
Suppose -3 = 2*d + 9. Let p be (8/d)/((-52)/12 + 4). Suppose 512 = 4*u - p*w + w, 2*u + 4*w = 256. Is u a multiple of 12?
False
Suppose -145833 - 31405 = -27*r + 11006. Is 46 a factor of r?
False
Is -16 + 496/32 - 77073/(-12)*2 a multiple of 15?
False
Suppose t + 3084 = -3*t + z, t = -2*z - 771. Let i = -377 - t. Does 12 divide i?
False
Let p(y) = 6*y - 88. Let w be p(15). Suppose -3*n = -w*o - 2560, 6*n + o + 4255 = 11*n. Does 17 divide n?
True
Let c(k) = -k + 8. Let y be c(6). Does 15 divide (-54621)/(-243) + 3/(27/y)?
True
Suppose 0*f + 2*f + 4 = 0. Let k be (224/(-3))/f*24/2. Suppose -2*z - 2*z = -k. Does 28 divide z?
True
Suppose 27 = -2*y - 5*o - 1, 3*o + 12 = 0. Let i(m) = -8*m**2 + 2*m - 2. Let g(r) = -r**3 - 47*r**2 + 12*r - 6. Let w(j) = g(j) - 6*i(j). Does 20 divide w(y)?
False
Let a be 2 - ((-15)/105 + 1/7). Suppose -a*i = 3*s - 206, 3*i = -2*s + 5*i + 124. Is 6 a factor of s?
True
Let i = -6 + 9. Suppose 0 = 5*z - 5*x - 1675, -333 = 3*z - 4*z + 3*x. Suppose -i*l = 120 - z. Does 6 divide l?
True
Does 27 divide 32795 + (8 - 5) + -20?
True
Suppose 0 = 105*d - 1582903 - 1062467. Is d a multiple of 51?
True
Suppose -8*g - 3242 = -10493 - 43293. Is g a multiple of 7?
False
Suppose 5*j + 738 = -4*j. Is (j/3)/((-4)/24) a multiple of 17?
False
Let i(o) be the third derivative of 17*o**4/8 + 5*o**3/2 + 14*o**2. Is i(5) a multiple of 33?
False
Let z(k) = -2*k + 42. Let n be z(5). Suppose 4*j + 3*y - n = 48, -5*j = -3*y - 73. Is 9 a factor of j?
False
Let j be (-78)/(-104) + (-1 - (-162)/8). Is j*(3 - (-4 + -1)) a multiple of 13?
False
Is (((-114)/(-9))/(-1))/((-55)/2640) a multiple of 16?
True
Let y(p) = 16*p**2 - 3*p - 1. Let r be y(-1). Let i be (r/(-15))/((-4)/10). Suppose 3*f - 6 = -15, 2*t + i*f = 153. Does 26 divide t?
False
Let q(a) = 4*a**2 - 8*a + 6. Let f be q(2). Let s(r) = 5*r**2 - 16*r - 20. Does 16 divide s(f)?
True
Suppose -228*r = -236*r + 32. Suppose -4*p = -d - 4023, 2*p - 2*d = r*p - 2004. Does 15 divide p?
True
Let o(d) = 5726*d + 436. Is 12 a factor of o(2)?
False
Let b(i) be the second derivative of 3/4*i**4 + 0*i**2 + 0 + 1/20*i**5 + 1/3*i**3 + 18*i. Does 17 divide b(-6)?
False
Let u(n) = 56*n**2 + 5*n + 216. Is 8 a factor of u(-8)?
True
Let a(c) = -c**3 + c**2 - 25*c + 232. Does 2 divide a(0)?
True
Suppose 28 = 4*j + 80. Let k = 15 + j. Suppose -3*d - k*d + 330 = 0. Is d a multiple of 8?
False
Is 307 a factor of ((-61235)/15)/(18/(-216))?
False
Suppose 98*b - 93*b = -10. Is (3 - (-77)/(-21))/(b/177) a multiple of 2?
False
Let l be (-92)/6*(-48)/8. Let c = l + -93. Is 25 a factor of c - 2/(-4)*602?
True
Let n be 164 - (-3 + (3 - 1)). Suppose -75 = -5*p + n. Let x = p + -29. Does 19 divide x?
True
Let f(c) = -17*c - 43. Let j be f(-3). Suppose v = -2*a + 196, -j*a - 745 = -4*v - 3*a. Is v a multiple of 19?
True
Let g(x) = -x**2 - 14*x + 10. Let j be g(-15). Let a be ((1 + -3)*j)/((-4)/2). Does 14 divide a*1*(-252)/30?
True
Suppose -5*i - 190 = -o, -i = -2*o + 3 + 332. Does 7 divide 10378/38 + -3 + o/57?
True
Suppose -11*u = 22*u + 20*u - 938736. Is u a multiple of 24?
True
Let z = -182 - -158. Is 6 a factor of -18*-86*(92/z + 4)?
True
Let i(x) = -x**3 + 3*x**2 + 9*x + 10. Let k be i(0). Does 8 divide ((-5)/(5/(-7)))/(k/580)?
False
Let x(l) = 11*l**2 - 11. Suppose 0*o - 5*m = -2*o - 6, -4*o + 40 = 3*m. Let r be x(o). Suppose 5*c - r = -3*c. Is c a multiple of 22?
True
Let d be (-11)/((-110)/(-12))*(-20)/(-6). Let o(v) = -2*v + 8. Let u be o(6). Does 19 divide ((-995)/20 - d)*u?
False
Let h(p) = p**2 + 7*p + 17. Let i(s) be the first derivative of s**3/3 - 2*s**2 - 19*s + 1. Let n be i(6). Is h(n) a multiple of 17?
True
Suppose -6*u + 85*u - 569432 = 0. Does 5 divide u?
False
Let s = 320 + -316. Suppose q = 5*i + s*q - 123, -i = -q - 23. Is i even?
True
Let f = -46 - -22. Let g be f/18*((-30)/(-4))/(-5). Suppose 0*h - 264 = -g*x - 4*h, -4*x - 5*h = -534. Is x a multiple of 8?
True
Suppose -24*a - 3*a = 4*a - 179614. Is 64 a factor of a?
False
Let p(f) = 14*f**2 + 3*f + 6 - 10*f**2 - 4*f**2 + 15*f**2. Is 47 a factor of p(6)?
True
Suppose -2*k = -3*k + 17. Suppose 16*d - k*d + 53 = 0. Suppose -y + d = -6*n + 2*n, -4*y + 260 = -4*n. Does 23 divide y?
True
Is (12414 + -1 + 4)*(-2)/(-6) - -3 a multiple of 109?
True
Let i(r) = -13*r**3 + r**2 - 6*r - 6. Let d(y) = 14*y**3 - y**2 + 8*y + 7. Let z = -112 - -106. Let u(v) = z*d(v) - 7*i(v). Is 18 a factor of u(3)?
True
Suppose 100 = -7*g + 884. Let y = 12 - 8. Suppose -g + 28 = -y*a. Is a a multiple of 6?
False
Let u = 21069 - -7176. Is u a multiple of 42?
False
Suppose 96681 = 88*t - 4878 - 315209. Is t a multiple of 24?
False
Let a(o) = -o**2 - 21*o - 15. Suppose -d + 2*f = -3*f + 3, 5*d + f = 11. Suppose -7*i - 90 = -d*i. Is 8 a factor of a(i)?
False
Suppose 204 = -5*z - 201. Is 36 a factor of z/(-9) + -9 + 270?
False
Let o(s) = -s**2 + 7*s - 1. Let b be o(6). Let c(v) = 66*v + 12 + 12 - 68*v - 5. Is c(b) a multiple of 2?
False
Let z(p) = -p**3 - 8*p**2 + 18*p - 14. Let n be z(-10). Suppose -n*s + 1026 = -1344. Is 12 a factor of s?
False
Let m(v) = -106*v - 211. Let k be m(-6). Let y = k - 155. Is y a multiple of 9?
True
Let i = -49 + 67. Suppose -i*r + 19*r = 0. Suppose r*s + s - 527 = -5*k, 0 = 4*k - 5*s - 439. Is 38 a factor of k?
False
Let f = 521 + -521. Let p = 63 - f. Is p a multiple of 8?
False
Suppose 27*x - 247 - 50 = 0. Suppose 3808 = -7*w + x*w. Does 10 divide w?
False
Let a(d) = 17*d**2 + 20*d**2 + 5*d - 3 - 38*d**2. Let r be a(3). Suppose 0 = 4*b - 5*b + r*j + 29, -5*j = -2*b + 56. Is 6 a factor of b?
False
Does 17 divide 5*(-12)/(-10)*((-34517)/(-21) + -4)?
False
Let l(m) = -15*m**3 - 2*m**2 - 17*m - 29. Let h be 0/(-2 + -6) - (1 + 1). Is 13 a factor of l(h)?
True
Let x(j) = 1499*j**3 + 4*j**2 - 2*j. Let a be x(1). Suppose u = -8*r + 4*r + a, 3*r - 1124 = u. Is 54 a factor of r?
False
Suppose 12*z + 70705 = 5*r + 14*z, 2*z = 5*r - 70705. Does 79 divide r?
True
Suppose 1635*m - 480114 = 1617*m. Does 51 divide m?
True
Let m(l) = -6311*l - 3540. Does 22 divide m(-8)?
True
Does 7 divide ((-14 - -1075) + 4)*1/1?
False
Suppose 0 = -9*m + 34838 + 16084. Is 138 a factor of m?
True
Let j(g) = g**3 + 4*g**2 - 11*g - 17. Let r be j(-5). Suppose -r*y = 214 - 6662. Is 13 a factor of y?
False
Suppose 1231 = 6*v - 4931. Suppose -3*w + v = 2*s + 115, 2*w + 3*s - 603 = 0. Does 34 divide w?
True
Let w = 17825 + -12162. Is w a multiple of 23?
False
Suppose -7 = 3*i + 2, 2*i + 132 = -3*g. Is 12 a factor of 450/(-7*3/g)?
True
Let m = 96 + -90. Suppose 0 = -m*h + 218 + 952. Is h a multiple of 5?
True
Suppose 21*s - 7*s - 1526 = 0. Suppose 108 = 111*x - s*x. Does 9 divide x?
True
Suppose n = -2*n - 4*r + 7, -3*n - 2*r + 5 = 0. Suppose 89 = -5*k - n. Is 3 a factor of 42/k*-6 - -1*2?
False
Suppose -2*b + 7 