 = -90*p - 324. Is y(-27) a multiple of 78?
True
Let r(y) = y**2 + 8*y + 2. Let n be r(-5). Let q(m) = -12*m - 139. Let f be q(-13). Let u = f + n. Is u a multiple of 2?
True
Suppose -2135 - 3951 = -2*h - 2*t, -3*t + 12167 = 4*h. Is 49 a factor of h?
True
Is 29 a factor of (295/1)/(166/1162)?
False
Let k = 16 - 12. Suppose 3*r - 1339 = -k*c, -2*r + 451 = -r - c. Suppose 3*t = 2*m + r, -3*t - m - 4*m + 421 = 0. Is 21 a factor of t?
True
Let q(k) = 9374*k + 321. Does 35 divide q(1)?
True
Let a = -438 + 442. Suppose w - 589 = 190. Suppose -a*h = 139 - w. Is h a multiple of 36?
False
Let a be ((-495)/6)/11*14*1. Let l be ((-84)/49)/(2/a). Suppose j = -4*z + l, -3*j = -2*z + j + 36. Is z a multiple of 6?
False
Is (-232)/(-754) + 220550/26 a multiple of 15?
False
Let m(k) = 2563*k**2 + 44*k - 149. Is 17 a factor of m(3)?
False
Let n = 48466 + 34429. Does 281 divide n?
True
Let w(z) = 2*z**2 - 12*z + 12. Let g be (3 + -4)*3 + 8. Let k be w(g). Does 18 divide (23/k*-4)/(5/(-15))?
False
Let k(f) = -13*f - 11. Let q be k(-2). Let n be (-4030)/7 + q/((-840)/16). Is (4/(-8))/((-3)/n*-2) a multiple of 16?
True
Let d = 92 + -76. Suppose -3*u = g + 4*g + 4, -3*g = -5*u + d. Does 11 divide (-176)/4*(-1 + (-2)/u)?
True
Suppose 126*n + 8 = 130*n. Suppose 6*y - n*y = 1436. Does 50 divide y?
False
Let i(j) = 4*j**3 - 8*j**2 + 9*j - 5. Let n(r) = r**3 - 1. Let m(h) = i(h) - 3*n(h). Let s be m(7). Suppose -4*c - 1064 = -s*c. Is 25 a factor of c?
False
Suppose 3*w = 6 - 0. Suppose -7*v - w = -6*v. Is (279/45)/(v/(-30)) a multiple of 14?
False
Suppose 3*f - 5*o - 13555 = 29087, 0 = f - o - 14212. Does 6 divide f?
False
Is 29 a factor of (-831222)/(-486) + 2/3?
True
Let p(y) = 5*y - 3. Let x be p(12). Let d = x + -55. Suppose 18 = -d*a + 76. Is 10 a factor of a?
False
Let o = 12590 - 8517. Does 4 divide o?
False
Suppose 6*r + 12 = 3*r. Let a be -1 + r + 9 - 9. Let d(n) = -38*n - 55. Is d(a) a multiple of 39?
False
Let b(v) = -2*v**2 - 9*v + 1. Suppose -3*a = 5*f - 4*a + 16, -a = 4*f + 20. Let m be b(f). Suppose -2*n - 4*q - 46 = -m*n, -3*q = 5*n - 67. Is 2 a factor of n?
True
Let p(l) = l**3 - 7*l**2 + 9*l - 9. Let a be p(6). Suppose -14*t + 11*t + a = 0. Suppose 0 = 4*j - 4*x - 220, -j + 105 = j + t*x. Does 8 divide j?
False
Suppose -2*l + 142 = -4*y, 3*y + 383 = 2*l + 3*l. Suppose 4*t - 168 = -5*d + l, -2*t + 131 = d. Suppose 0 = 6*c - 2*c - t. Does 17 divide c?
True
Suppose -6*f - 49698 = -17*f. Is 85 a factor of f?
False
Is (9 + 17073)*((-2)/25 - 840/(-1125)) a multiple of 52?
True
Let y(p) = -p**3 - 36*p**2 + 5*p + 173. Let r be y(-36). Let i(q) = -18*q + 33. Let w(j) = j. Let d(c) = i(c) + 9*w(c). Is d(r) a multiple of 9?
False
Let m(n) = 2*n**2 - n. Let h be m(1). Let z(x) = x**3 - h + 6*x**2 + 0*x**2 - 6 - 8*x - 4*x**2. Does 6 divide z(4)?
False
Let h = -1912 - -6255. Is h a multiple of 43?
True
Suppose -4*g - g = -435. Let i(j) = -28 + 79 - 30 + j + g. Is i(0) a multiple of 12?
True
Let v = 113 - 63. Let h(y) = -2*y**2 + 117*y + 38. Let o be h(57). Let t = o - v. Is t a multiple of 32?
False
Let h(l) = -l**2 + 8*l - 12. Let z be h(3). Let q be (576/2 - z)*2/6. Is 14 a factor of 13224/q - 8/(-10)?
True
Suppose 5*q + 5*s - 340 = 0, -5*s = -3*q + 5*q - 136. Suppose -q = -6*g + 130. Is (-1974)/(-33) - ((-105)/g - -3) a multiple of 9?
False
Suppose 4*g - 110 = 2*b, -5*b + 3*g - 283 = g. Let y be ((-96)/(-10))/(1/(-5)). Let l = y - b. Does 9 divide l?
True
Let t(w) = 3*w**3 - 3*w**2 + w + 2. Let m = -45 - -45. Suppose m = -6*x + 4 + 14. Is 6 a factor of t(x)?
False
Suppose 16307 + 44873 = -7*o. Does 23 divide (-8)/4*o/40?
True
Suppose -3*h = -2*q + 21 - 6, q - 5*h = 18. Suppose -q*t + 19831 = -41. Does 32 divide (-4)/(-26) + t/208?
True
Suppose -204183 = -19*n - 44*n. Is n a multiple of 11?
False
Let h = 47 + 5. Let r = h - 47. Suppose 0 = 14*d - r*d - 1044. Is 43 a factor of d?
False
Let o = 275 + -298. Let d = 166 - o. Does 27 divide d?
True
Let z = -17 - -111. Let g = z - 41. Is g a multiple of 53?
True
Suppose 17541 + 3970 = 134*p - 5557. Is 25 a factor of p?
False
Let d be (-66)/(-44)*-6*1. Is 7 a factor of (d + (-644)/(-35))/((-2)/(-50))?
False
Suppose -2*q - 16780 = -5*b, -20 = 2*q - 10. Does 21 divide b?
False
Suppose 4*c = -3*c + 28. Let h be -1 - ((-10)/c)/((-6)/(-12)). Suppose 291 = h*g + 67. Does 10 divide g?
False
Let r(t) = -t**3 + 11*t**2 + 11*t + 14. Let m be r(12). Is (3 - m)*13*66/3 a multiple of 13?
True
Does 11 divide (-650)/26 + 601 - -7?
True
Suppose 0 = 15*d - 28*d + 52. Suppose 2*b = -4*z + 5198, 547 = z - d*b - 757. Is z a multiple of 20?
True
Suppose 134*z - 5597280 = -250*z + 46*z. Is 240 a factor of z?
True
Let f(j) = 63*j + 6*j**2 - 72*j - 6 - 5*j**2. Is 2 a factor of f(-3)?
True
Let u be 3 - 132 - 21/3. Suppose -14 = -3*q - 0*q - o, -q - 2*o = -8. Is u/(-12)*q/(4/3) a multiple of 3?
False
Is ((-335109)/148)/((-6)/16) a multiple of 40?
False
Let o = 39765 - 26707. Is 248 a factor of o?
False
Suppose 8*g - 912 = -880. Is (290/(-1))/(-4 + g - 2) a multiple of 6?
False
Let t(m) = -m. Let a(c) = -31*c**2 + 8*c + 33. Let k(b) = -a(b) + t(b). Is k(-3) a multiple of 91?
True
Let z = -264 + 124. Let j = 144 + z. Suppose 6*c = f + j*c - 32, -2*c = 5*f - 220. Does 14 divide f?
True
Let w be 4/(-18) + 1918/126. Suppose w*g + 446 - 3371 = 0. Does 13 divide g?
True
Let d = 92914 - 64381. Is 36 a factor of d?
False
Let d(a) = 20*a + 7. Let f be d(4). Let q be ((-6)/(-8))/((-1)/(-4)) + f. Suppose 5*g = -2*s + 949, -3*s = -g + 93 + q. Is 19 a factor of g?
False
Let i be 1/4 - (-2276680)/224. Suppose 2940 = -12*o + i. Is 30 a factor of o?
False
Does 42 divide (-13 - -16) + (9812/6 - 9/27)?
True
Suppose 0*p - 4*u = -3*p - 7, -3*p = -5*u + 11. Suppose 9*g = -p*c + 4*g + 949, -3*g = -2*c + 620. Is c a multiple of 11?
False
Let t be 0 + 28/4 + -3. Suppose -4*h + t*u = 796, h = 3*h + 3*u + 408. Let o = -30 - h. Is 19 a factor of o?
True
Suppose 3*j - 7*j + 15397 = 5*d, 0 = -j + d + 3856. Does 30 divide j?
False
Suppose -2 = v, 10*v - 550 = -q + 12*v. Is q a multiple of 78?
True
Suppose 30 = -m + 96. Suppose -1 + 3 = 2*v, 4*d - m = -2*v. Does 16 divide d?
True
Does 74 divide ((-57)/9)/(14/(-48)*(-20)/(-5180))?
True
Let r(f) = -f**3 + 5*f + 4755. Let v be r(0). Is 22 a factor of v/65 + 14/(-91)?
False
Let n(m) be the third derivative of 127*m**4/24 - 13*m**3/3 + 4*m**2 - 14*m. Is 24 a factor of n(5)?
False
Let d be (37 + -16)*(-2 - (-70)/6). Suppose -6*x - d + 701 = 0. Is 2 a factor of x?
False
Let c(o) = -o**3 + 75*o**2 - 54*o + 895. Is 33 a factor of c(70)?
True
Suppose 3602 = 2*l + 4*s, 106*s + 8 = 108*s. Is l a multiple of 11?
True
Let k = -196 + 286. Let h = k - 30. Suppose 100 - 10 = 3*c + 3*q, 2*c = 3*q + h. Does 26 divide c?
False
Suppose 5*q + 5*y = 61320, -6*q + 4*y = -4*q - 24492. Does 54 divide q?
True
Suppose 7*i - 25 - 3 = 0. Let c(j) = 2*j - 4*j - 2*j + i. Does 2 divide c(-3)?
True
Suppose 0 = -8*t + 3*t - 35. Let c = -77 - t. Let u = c - -108. Is 2 a factor of u?
True
Let r(l) = l**3 - 9*l**2 + 13*l - 12. Let u = 59 + -57. Suppose -3*g + 21 = 3*f, 2*g - 4*f - 24 = u. Is 21 a factor of r(g)?
True
Let u(r) = 83*r - 2. Let y be u(1). Suppose -3*i - 137 = x, -142 = 5*i - x + y. Let b = -5 - i. Does 13 divide b?
False
Let c(u) = 19*u**3 - 3*u**2 + 3*u + 2. Let a be (-174)/2*((-60)/18 - -4). Let p = -56 - a. Is 15 a factor of c(p)?
False
Suppose -228*k - 54*k + 4863372 = 0. Does 54 divide k?
False
Let k be (-15)/6*4/(-2). Let w be (k - 4)/((-2)/(-10)). Suppose -3 = -w*g + 47. Does 3 divide g?
False
Let c = 43 - 39. Suppose -7*f + 2*f = c*p - 932, 0 = -3*f + 2*p + 568. Is f a multiple of 35?
False
Suppose -10*u + 5*u - 25500 = -5*n, 2*n = -3*u + 10175. Is n even?
False
Let k be (-4)/1 + (17 - (3 + -4)). Suppose -k*o = -5*v - 10*o + 1925, -3*v = -5*o - 1155. Is v a multiple of 19?
False
Let v be (-5)/(-4 + 12/8). Suppose -4*g - 16 = -v*y, 3*g - 4*y + 1 = -16. Let d(k) = -13*k + 1. Is 10 a factor of d(g)?
True
Suppose -b = -123 - 477. Let r = b - 348. Does 42 divide r?
True
Let h = -858 + 1464. Is 42 a factor of h?
False
Suppose -3*a = 3*z - 157 - 365, 0 = 2*a - 8. Let x = 616 + z. Suppose 14*u = 17*u - x. Is 16 a factor of u?
False
Let o be ((-44)/(-110))/((-2)/(-2060)). Suppose 4*a + a + 1016 = 4*i, -5*a - 992 = 2*i. Let j = o + a. Is j a multipl