ivide (1 + (-9930)/(-8))/(4/16)?
False
Let s = 20348 - 6259. Is s a multiple of 27?
False
Let a(f) = 4*f**3 - 10*f**2 - 133*f - 6. Is 57 a factor of a(16)?
False
Let o(b) = -2*b + 6. Let l(v) = v - 6. Let c(y) = 3*l(y) + 2*o(y). Let r be c(-9). Suppose -r*n + 423 = -21. Does 25 divide n?
False
Let w be (-6)/18 + (-48)/(-9). Suppose -w*t - 160 = 660. Is 15 a factor of t/(-2) - (-4 + 4)?
False
Suppose -24*x = -88 - 8. Suppose 0 = 2*k + q - 286, 0 = 2*k - 0*q + x*q - 274. Is k a multiple of 28?
False
Let k = 492 - -33. Let s = k - -106. Does 13 divide s?
False
Let y be (130/(-78))/(1/321). Let d = 570 + y. Is 4 a factor of d?
False
Let k(a) = 6 - a**2 - 3 + 2*a**2 + 3*a. Let m be ((-51)/34)/((-1)/2). Is 8 a factor of k(m)?
False
Let l = 27559 - 16540. Is 62 a factor of l?
False
Let m(q) = 178*q**2 + 40*q - 1. Is 7 a factor of m(-5)?
True
Let t(i) = -i + 32. Let c = -28 + 15. Is 45 a factor of t(c)?
True
Let r = 33721 - 22171. Suppose -83*c + r = -68*c. Does 14 divide c?
True
Let s be -1 + 3 + 0 + 28 + -28. Suppose -2*q + 934 = 3*l, s*q = 4*l + 724 - 1974. Is 12 a factor of l?
True
Does 23 divide 1638 + 10*(-2)/4?
True
Suppose -2*u + 11*p + 837 = 6*p, -1679 = -4*u + 5*p. Let r = u + 118. Does 8 divide r?
False
Let j(m) = 60*m**2 - 2*m + 6. Let z be j(-6). Suppose -2*g + 3*x + z = g, -x = 4. Is g a multiple of 63?
False
Let j(a) = 31*a**2 + 14*a - 3. Let p be j(-4). Suppose -4*u + p = -d, -4*u + 4*d - 32 = -484. Does 6 divide u?
True
Let j(q) = q**3 + 11*q**2 - 5*q - 51. Let s be j(-7). Suppose -s*l - 4728 = -184*l. Does 21 divide l?
False
Suppose 2*r = -3*r, -2*v + 8757 = r - 5227. Is 38 a factor of v?
True
Let c(v) be the first derivative of v**4/4 + 3*v**3 - 15*v**2/2 - 10*v - 6. Suppose 3 = -5*x + 8, x = 3*q + 31. Is 10 a factor of c(q)?
True
Let v = 15130 - 4264. Does 33 divide v?
False
Suppose -505 - 139 = -28*n. Suppose -21*d + n*d = 396. Is 8 a factor of d?
False
Let m(p) = p**3 + 8*p**2 - 4*p - 6. Let l = 56 - 64. Does 4 divide m(l)?
False
Let z be (1 - 3) + 5 - (7 - 0). Let a = z - -14. Is 8 a factor of (a + -8)*150/4?
False
Suppose 3*f - 49648 = 2*j, 0 = 2*f - 5*j - 14812 - 18283. Does 25 divide f?
True
Let b be (-5 - -9) + -781 + 3 + 2. Let o = 1222 + b. Is o a multiple of 18?
True
Suppose 2*k = 2*x - 22302, 6919 - 40323 = -3*x - 4*k. Does 19 divide x?
False
Suppose 8*r - 3073 = 23135. Suppose 14*s - s - r = 0. Is 12 a factor of s?
True
Does 2 divide (-177)/(-7) - 25 - 1671*(-1)/7?
False
Suppose -3*b + 6 = 0, 3*w = b - 4*b + 18. Suppose q + w*g = 573 - 145, 2*g - 430 = -q. Is q a multiple of 9?
True
Let x(q) = 3*q**3 - 3*q**2 + q - 3. Let a be x(4). Let n be 5/(5/(-16)) + -89. Let b = a + n. Is 13 a factor of b?
False
Let p(g) = -g**3 + 2*g**2 - 7*g + 8. Let h be p(8). Is (-192636)/h - 2/(-24) a multiple of 27?
False
Suppose 0 = 5*l - 5*x + 11676 + 8479, 0 = -5*l + 4*x - 20158. Is 60 a factor of (-10)/40 - l/8?
False
Let k(p) = 3*p**2 + 13*p. Let z be k(-6). Let c(o) = -o**3 + 28*o**2 + 74*o - 15. Is c(z) a multiple of 15?
True
Let t(u) = -u**3 + 9*u**2 + 6*u + 10. Let z be t(9). Suppose 0*h + z = 8*h. Does 8 divide h?
True
Let h = -940 - -2587. Is 9 a factor of h?
True
Let a(y) = -3*y**3 + y**2 - 2*y - 3. Let n be a(-1). Let u(k) = -k**2 + 24*k - 4. Let z(j) = -j - 1. Let p(q) = n*z(q) + u(q). Does 18 divide p(6)?
False
Let v(p) = 3*p**2 - p - 2. Let x(j) = -j - 24. Let r be x(-23). Let c be v(r). Suppose -s = -3*f - 18 - 16, -86 = -4*s + c*f. Is s a multiple of 12?
False
Let u = -31455 + 36715. Is u a multiple of 5?
True
Let p(h) = 13*h - 59. Let z be p(5). Does 13 divide 2125/45 - z/27?
False
Let c = 8435 - -13307. Does 14 divide c?
True
Suppose 6 = -b - 3*t + 8*t, 4*b + 2*t = 20. Suppose b*f + 36 = 4*q, -f = 2*q + 2*f - 13. Suppose -142 = -4*p + q*j - 10*j, j = 3*p - 109. Is 6 a factor of p?
True
Let a = 2700 - 2578. Does 5 divide a?
False
Suppose 0 = 2*s - 267 + 255. Let a be -2 + 4/s + 532/3. Let t = a - 6. Is t a multiple of 17?
True
Suppose -1069638 = 2860*u - 2883*u. Is u a multiple of 69?
True
Let r = 24 - 28. Let w be (-42)/9 + 8/12 + r. Does 15 divide 2*-1 + 0 + (w - -169)?
False
Suppose 4*h - r = 20, 3*r - 4 = 4*h - 24. Suppose 6*b - 3*b = -2*n - 9, -3 = b - h*n. Does 35 divide (-10)/4*(-45 - b)?
True
Suppose -13*y - 275*y + 6003304 = 1964968. Does 16 divide y?
False
Let z = 321 - 326. Is 48 - (0*z/15)/(-3) a multiple of 8?
True
Let o = 6688 - 390. Does 120 divide o?
False
Suppose 5*d = z - 39, 5*z - 3*d - 135 = 2*d. Suppose -z = -m + 3*l, 0 = 2*m + m - 2*l - 37. Is 16 a factor of (-40)/(-180) - (-529)/m?
False
Suppose 22 = 3*c + 4*f, -2*f + 2 + 6 = 0. Suppose 2*m - 4894 = -5*b, -b - c*b + 4*m + 2952 = 0. Suppose -49*p = -45*p - b. Is p a multiple of 21?
False
Suppose 5*x - 10233 = 5*p + 16927, 0 = 2*x + 4*p - 10852. Is 15 a factor of x?
True
Suppose 3*l = 0, 20 + 8 = 4*q + 2*l. Suppose -4*a = 3*a - q. Does 17 divide (-10)/5 - (-36 + a - 1)?
True
Suppose 0 = -0*g - 4*g + 4*u - 8, -2*g = 5*u - 10. Suppose g*m + 3*m = -h - 292, 5*m = -3*h - 888. Is (-2)/(-4) + -8 + h/(-2) a multiple of 19?
False
Let b be 4/(-30) - 64/(-30). Let k(t) = -3 + 0*t - 6*t + 12*t**2 - 5*t**b. Does 19 divide k(-4)?
True
Suppose -44*u + 48*u - 1276 = 0. Let m = u + -109. Does 42 divide m?
True
Let n = -140 + 219. Let y = -77 + n. Suppose 24 = -3*g + y*m + 341, -5*g = m - 537. Is g a multiple of 30?
False
Let d = 557 + -554. Suppose 3438 = d*x - 3*u + 6*u, x - 2*u - 1149 = 0. Is x a multiple of 105?
False
Let j(n) = -n**3 + 18*n**2 - 32*n - 17. Let y be j(15). Is 10 a factor of (-89)/y - (-541)/2?
True
Let t(z) = -z**3 + 10*z**2 + 29*z + 25. Let q be t(11). Let y = q + -15. Does 8 divide y?
True
Does 12 divide ((-6096)/(-9))/(70/315)?
True
Suppose v - 12 = -9. Suppose r = v*r + 2*r. Does 3 divide (-5)/(10/(-34)) + r?
False
Suppose -3*g + 11 = 41. Let o(r) = -73*r - 89. Is o(g) a multiple of 26?
False
Let d(y) = y**2 + 10*y - 38. Let s be d(14). Is s*(26/4 + -6) a multiple of 8?
False
Let f(y) = 53*y + 20. Let u be f(-6). Let t = u - -332. Is 17 a factor of t?
True
Let a = 2314 - 174. Is a a multiple of 30?
False
Suppose 3*p - p - 76 = 0. Suppose 39*g - p = 41*g. Let l = 23 + g. Does 4 divide l?
True
Let h = -157 + 360. Let a = h + 331. Does 37 divide a?
False
Let z(b) = -b**3 - 3*b**2 + 13*b - 462. Is z(-18) a multiple of 5?
False
Let n = -70 + 72. Let r(d) = d**3 - 3*d**2 + d. Let q be r(n). Is 9 a factor of (-14 + -2)/(q/4)?
False
Let y(m) = -6*m**3 - 10*m**2 + 30*m + 622. Is y(-15) a multiple of 55?
False
Is 46 a factor of (483/28)/((-33)/17512)*-1?
True
Suppose -a - k = -205, -5*a = -0*a - 4*k - 989. Let g = a - -45. Is 10 a factor of g?
False
Suppose -5 = -5*v + 3*o, -2*v - 5*o + 2 = -0*v. Let n be (1*3*v)/(5/(-5)). Let y = 22 + n. Is y a multiple of 3?
False
Let v(l) = 396*l - 1062. Is 61 a factor of v(11)?
True
Let b(k) = -8*k - 41. Let c be b(-10). Let s = c - 28. Does 4 divide s?
False
Let a = 3428 - 3299. Does 43 divide a?
True
Suppose 0 = -192*j + 109*j + 427118. Does 83 divide j?
True
Suppose -7*c + 3*c = -2*g + 366, 5*g + 5*c - 945 = 0. Does 11 divide g?
True
Let f be (-8)/(-14) + 228/42. Suppose 0 = -f*i + 7 + 125. Is 11 a factor of i?
True
Is 12 a factor of -1*(3 - 1)*-1*6752?
False
Suppose -59 = -3*f + 3*k + 25, -3*f + 4*k = -87. Suppose o - 15 = f. Let c = -38 + o. Is 2 a factor of c?
True
Let v(l) = -l**3 + 4*l**2 + 3. Let n be v(5). Let z = n - -21. Is 15 a factor of 1*6*z*(3 - 20)?
False
Let y be (-1*271)/((-1)/4*-4). Let i = y - -575. Is i a multiple of 16?
True
Is (-93176666)/(-1182) - (-2)/(-3) a multiple of 40?
False
Let u = -41 - -47. Suppose -u*c + 3*c + 27 = -3*k, 3*c - 19 = -k. Suppose m = -c*m + 952. Is m a multiple of 17?
True
Let u(g) = -g**2 + 43*g + 16. Let b be u(13). Let q = 862 - b. Is 12 a factor of q?
True
Suppose 0 = -296*r + 292*r + 1936. Is 11 a factor of r?
True
Suppose -4*q = 5*q - 4*q - 8505. Is q a multiple of 9?
True
Suppose 10*h = 293 - 53. Suppose q - h = 3*m, 3*m = q - m - 23. Let y = q - -151. Is y a multiple of 29?
False
Let i(l) = 0*l**2 + l**3 + 4*l**2 + 4 - 3*l**2 + l**2 - 5*l. Let w be i(-3). Suppose w*t + 52 = 14*t. Is 2 a factor of t?
False
Let i = -39 + 42. Suppose -i*o + 972 = -2*z, -4*o + 0*z = -2*z - 1296. Is o a multiple of 27?
True
Let m = 269 - -1065. Suppose 3*y = b + 1526 + 475, -3*