 Is (18/x)/((-1)/(-639)) a multiple of 43?
False
Let q be 69/(-92) + (-858)/8. Let g = 398 + q. Is 5 a factor of g?
True
Let o(c) = -2*c + 50. Let d be o(-8). Does 14 divide 14256/d - 6/2?
False
Let g = -52 - -38. Let x be 1*(-1)/2*-2. Does 7 divide (1/x)/((-1)/g)?
True
Let u = -322 - -1363. Suppose 0 = -5*k - w + 1039, 3*w + 4 = -5*k + u. Does 16 divide k?
True
Let c = -535 + 629. Suppose 0 = c*q - 79*q - 4410. Does 12 divide q?
False
Let q = 4138 - 3523. Is q a multiple of 4?
False
Suppose 17 = 3*o - 5*s, -o - 2*o - 4*s = -8. Suppose 2*m - 270 = -o*m. Does 16 divide 15/m + 382/6?
True
Suppose -4*l + a - 39 = 0, 4*a = 5*l + 25 + 32. Let v(i) = i**2 - 26*i - 40. Is 11 a factor of v(l)?
True
Let a be (-1)/(-10) + (-182)/20. Let i(b) = -69*b - 10. Does 47 divide i(a)?
True
Let u be 21/(-105) - (-16)/5. Let i be (0*(-1)/5)/(u*1). Is (110/(-33))/((-1)/60 + i) a multiple of 52?
False
Suppose g - 3*w - 445 = 0, 4*g - w - 757 - 1045 = 0. Suppose -8*m + g = 3*m. Is 41 a factor of m?
True
Suppose 172 + 172 = d. Suppose -5*l - 6*i + 586 = -9*i, -3*l = 2*i - d. Is l a multiple of 6?
False
Let t = 518 - -49. Let l = t + -276. Is 8 a factor of l?
False
Let i(g) = 153*g**3 + 14*g**2 - 10*g + 33. Does 12 divide i(3)?
True
Let n = 7460 + -1518. Is n a multiple of 17?
False
Let t(k) = 361*k - 3111. Is t(11) a multiple of 9?
False
Let u(x) = -35*x + 24. Let z be u(-2). Suppose -91*l = -z*l + 5646. Is 32 a factor of l?
False
Let n = 942 + -446. Suppose -8*v + n = -6*v. Suppose -2*x + 26 + v = 0. Is 43 a factor of x?
False
Suppose -10*n - 74030 + 368030 = 0. Does 12 divide n?
True
Let p be (-1)/(186/(-46) - -4). Suppose p*v - 3120 = -3*v. Does 15 divide v?
True
Let z(a) = 1226*a**3 + 75*a**2 - 16*a + 3. Is 12 a factor of z(3)?
True
Let q(b) = -44*b - 5. Suppose 7*x + 18 = x. Is q(x) a multiple of 5?
False
Let x be ((-64)/(-5))/(2/25). Let g = -81 + x. Is 3 a factor of g?
False
Let v(t) = 327*t + 7518. Does 50 divide v(-5)?
False
Suppose -5*a - 5*g + 40495 = -17460, 4*a - 2*g = 46370. Does 63 divide a?
True
Let z(b) = -b**3 - 48*b**2 - 19*b - 10. Is 13 a factor of z(-49)?
False
Is (-47616)/(-2048)*(2 - ((-65832)/(-9))/(-4)) a multiple of 31?
True
Let c(i) = 19*i + 0 + 0*i - 24*i**2 + 34*i**2 + 1. Is c(6) a multiple of 21?
False
Let h(f) = 6*f**2 - 2*f - 4. Let q = -66 + 131. Let n = q - 68. Is h(n) a multiple of 14?
True
Let o(v) = 4*v**2 - 20*v + 42. Let q be o(6). Does 16 divide 519/18 + 11/q?
False
Let n(x) = x**2 - 68*x - 5026. Does 6 divide n(-49)?
False
Suppose 0 = 19*q + 2518 + 1928. Let u = -203 - q. Is u a multiple of 31?
True
Let h(n) be the second derivative of -7*n**3/6 + 107*n**2/2 - 63*n. Is 4 a factor of h(9)?
True
Let k(j) = 9*j - 25. Suppose -u + 50 = -5*g + 130, 5*g - 5*u - 60 = 0. Does 16 divide k(g)?
True
Suppose -4*d = 5*u - 367, 5*d = d - 4*u + 364. Let s be (12/(-15))/((d/(-420))/(-11)). Is 9 a factor of s*((-2)/7)/(6/36)?
True
Suppose 12*c - 10*c + 1130 = 0. Let u = c + 345. Let r = -129 - u. Does 13 divide r?
True
Let c be 2/(2*(-1)/7). Let l(n) = n**3 + 7*n**2 - 15*n - 6. Let f be l(c). Suppose 10*h - f = 41. Is h even?
True
Let f = 47 + -41. Suppose -l - 1 = -h, f*l - l + 17 = h. Does 4 divide (-21)/(2 - 5) + h?
True
Let w be (-8)/(-16)*-328 + -7. Is 87 a factor of (-4)/(-6) - 342057/w?
True
Is 11 a factor of ((-6)/5 - -1) + -29*142766/(-170)?
True
Does 80 divide 6*3/(-9) + 13*222?
False
Suppose -14*i = -10*i + 20, -5*b + 31300 = 4*i. Is 32 a factor of b?
False
Let z(g) = g**2 - 19*g + 61. Let y be z(4). Does 3 divide y/(-6) - (17144/(-48) + -13)?
False
Suppose -2 = v, 0 = -r + v + 4. Suppose 5*x + 935 = 5*m, r*m + 5*x - 350 = x. Is 32 a factor of m?
False
Let l(n) = 23*n - 155. Let k be ((-40)/25)/((-2)/15). Is 11 a factor of l(k)?
True
Suppose 26*t - 1149 = 25*t. Let j = -689 + t. Does 46 divide j?
True
Let y = 59 - 54. Suppose -5*d = 4*p - 12, d + 0*p - 14 = y*p. Suppose 3*f - 179 = w, 0*f + 2*w + 236 = d*f. Is 11 a factor of f?
False
Let w = -346 + 352. Is (4 + (-13)/2)*(w + -24) a multiple of 15?
True
Suppose 3*y = -c + 5*c + 48, 2*c + 54 = 3*y. Suppose 0 = -y*h + 23004 - 2564. Is h a multiple of 14?
True
Suppose 17*j = 22*j - 20. Suppose 3*o + 291 = -4*q, q - j*q = o + 92. Let w = 269 + o. Is w a multiple of 28?
True
Suppose -14*b - 12039 = -41045 - 59558. Is b a multiple of 7?
False
Suppose 99*a + 48 = 87*a. Is 1885*(a/(-18))/(75/135) a multiple of 26?
True
Suppose j + 191*h = 194*h + 7474, 2*h - 29868 = -4*j. Is j a multiple of 117?
False
Let a be ((-10)/(-3))/(4/6). Suppose 0 = -b + 3, -b = a*p - 0*b - 38. Suppose -p*o + 101 = -4. Is o a multiple of 4?
False
Suppose -7*p = -3*p - 408. Suppose -2*a - 100 = 3*x - 7*x, 207 = -4*a + x. Let b = p + a. Does 17 divide b?
False
Let o be (-28)/(-42) + (-2)/(-3)*-4. Let w(s) = -132*s - 8. Is 16 a factor of w(o)?
True
Suppose -5636 + 1457 = 7*r. Let n = 1293 + r. Is n a multiple of 8?
True
Suppose 1360 = 5*h + 5*h. Let p = -92 + 166. Let x = h - p. Is x a multiple of 12?
False
Let d be 0 + -6 + 801 - 0. Suppose t = -6*x + x + 970, -4*x = -3*t - d. Does 7 divide x?
False
Does 4 divide 24/3 - 4659*(4 + -5)?
False
Suppose -129369 - 44831 = -8*a. Does 67 divide a?
True
Does 30 divide (93410/70 - -7)/(4/28 - 0)?
True
Let n be 1*-1 - (95491 - 1)/(-10). Suppose -21*s + 7*s = -n. Does 18 divide s?
False
Let k = 338 + 384. Suppose -141 = -3*p + z + k, 0 = 3*p + 2*z - 857. Does 27 divide p?
False
Let u be (84/(-56))/(-1 - (-5)/8). Suppose -8*t = -u*t + 5*m - 375, -4*m = -t + 120. Is 15 a factor of t?
False
Let d = -5602 - -6837. Is d a multiple of 65?
True
Let q be (12 + -189)/((-3)/(-5)). Let g = 335 + q. Does 5 divide g?
True
Suppose 0 = -3*i + l + 18534, 4*i + 26*l - 24686 = 23*l. Is i a multiple of 4?
True
Let g(n) = n**3 - 15*n**2 - 34*n - 5. Let v be g(14). Is (v + 5)*5/(-3) a multiple of 26?
False
Does 30 divide (-46962)/(-261) - (-4)/58?
True
Let w(t) = 4*t**2 - 8*t - 8. Let v be w(-1). Suppose 3*o - 4*q - 2035 + 459 = 0, -5*q + 2060 = v*o. Is o a multiple of 10?
True
Suppose -5*z + 22 = x, -4*z - 67*x = -64*x - 22. Suppose -178 = -n - 0*n + c, 0 = -z*n + c + 706. Does 11 divide n?
True
Let v be (-2)/(-4) + -3 + (-573)/(-6). Let c be (-1)/((1 + 2)/(-6)). Suppose 0 = 5*p, c*j + j = 3*p + v. Is j a multiple of 12?
False
Suppose 4*m - 5*v - 172 = 0, -2*v = 4*m - 5*v - 180. Is 12 a factor of (26358/m - 9) + (-2)/16?
True
Let w(d) = -93*d**2 + 531*d + 606*d**2 - 530*d - 1. Let t be w(1). Suppose -8 = -4*p, -2*r - 4*p + t = 83. Does 37 divide r?
False
Let m(l) = l**3 + 12*l**2 + 6. Let g be m(-12). Let f(k) = -2 + 7*k - 2 - 8 - 2. Does 4 divide f(g)?
True
Suppose 8*t = 1609 - 137. Let q = 1402 - t. Does 29 divide q?
True
Let u = -77 - -114. Let m = u - 33. Suppose -m*x - x = -455. Is 10 a factor of x?
False
Suppose b + 5*p = 2*b + 3, -b - p = -3. Let o be -14 - b - (-2 - 0). Let t = o + 34. Is t a multiple of 20?
True
Let h = 834 + -832. Suppose 0 = h*x + 2*o - 442 - 404, 5*x - o - 2097 = 0. Is 14 a factor of x?
True
Does 18 divide (-25*(-1 - 0))/(38*(-40)/(-487920))?
False
Suppose 498 = -2*f + 5*f - r, -3*f - 2*r = -507. Suppose 4*c - 771 = -f. Does 16 divide c?
False
Let b be -3*(14/(-21) + (-1 - -1)). Suppose 2*t - 7*t + 1001 = b*a, -2*t = 2*a - 1004. Is 8 a factor of a?
False
Let y(n) = 2*n**2 - n + 35. Let s be y(0). Let x = s + -32. Suppose 0 = k + x, 2*o - 5*o + 282 = -4*k. Is 18 a factor of o?
True
Suppose -4*d + 30*t - 35*t = -29255, -t - 14617 = -2*d. Does 170 divide d?
True
Let l(i) = i**3 - 2*i**2 - 5*i + 4. Let v be l(6). Let k(p) = 3*p + 119. Let z be k(-37). Suppose -z*d + v = -138. Does 20 divide d?
False
Let y = -78 + 81. Let m be (y + (-7)/2)*114. Let t = m - -70. Is 13 a factor of t?
True
Suppose 0 = 3*p + y - 5*y - 13, 5*y = 3*p - 17. Does 5 divide p - (-5 + -111)*1?
True
Let p = 79 + -74. Suppose 0 = p*a + 2*b - 652, 5*b = -4*a + 447 + 61. Is 9 a factor of a?
False
Let m be (-39)/(-21) - 3/(-21). Suppose 4*o = m*h + 6*o - 42, -28 = -2*h + 5*o. Suppose h = z + 7. Is z a multiple of 5?
False
Let a = 13460 - 11284. Is 136 a factor of a?
True
Let r(s) = -s**3 + 20*s**2 - 10*s - 9. Let f be r(14). Suppose -5*c = 117 - f. Is c a multiple of 26?
True
Suppose -16*l + 118552 = -17*f + 19*f, l + 5*f = 7390. Is l a multiple of 10?
True
Suppose -128 = 4*c - 32. Is (-24)/(c/(-6)) + 30