of ((-824)/(-12))/(-6*(-3)/i)?
False
Let m = -31 - -35. Suppose -3*q + 121 = -2*s + m*s, -5*s = -4*q + 192. Let x = q + -26. Does 7 divide x?
False
Suppose 0 = 5*m - 5*i - 20, 8 = m + 3*i - 6*i. Suppose -h - 513 = -f + m*h, -4*f + 4*h + 2028 = 0. Suppose 3*z + 3*z = f. Is 12 a factor of z?
True
Let c(o) = 55*o**3 - 5*o + 4. Suppose w - 4*q + 12 = -4*w, 0 = -2*q - 4. Let k be ((-1)/w)/(2/8). Is c(k) a multiple of 6?
True
Is 63 a factor of (-12342)/4*4/(8/(-4))?
False
Let a(w) = 26*w - 11*w + 25*w - 4*w**2 + 11*w + 15. Is 11 a factor of a(11)?
False
Let w = -607 - -603. Is 84434/703 + w/(-38)*-1 a multiple of 10?
True
Suppose -2*r = y + 33, 0 = 5*r - 3*y + 53 + 13. Does 5 divide (2968/15)/1 - 2/r?
False
Suppose -2*g - 3*l + 256 = -348, -5*l = g - 316. Let k = g + -14. Is k a multiple of 47?
True
Let g be (3 - (5 - 4))*16/2. Is 74*14*4/g a multiple of 37?
True
Suppose w = -2*t - 257, 5*t + 5*w = 381 - 1021. Does 5 divide (-2)/(-8 - 1029/t)?
False
Suppose 0 = -5*i + 72 - 282. Is 19 a factor of -6 - 13830/i - (-4)/(-14)?
True
Is 9 a factor of (-298)/(-16)*138 + ((-658)/(-56) - 12)?
False
Let u = 6703 + -6671. Let r = 1 + 7. Does 3 divide 40/u - (-190)/r?
False
Let n = 85 + 274. Does 40 divide (1/(-5))/(7/(-35)) + n?
True
Suppose 4*k = 3*h - 8*h + 4770, -2*h + 4*k = -1936. Let j = h + -954. Is j a multiple of 2?
True
Let k be (0 - 540/8)*12/(-10). Let p = 228 - k. Does 6 divide p?
False
Suppose -10*d + 15*d = 540. Is 2565/d - 2/(-8) a multiple of 3?
True
Suppose 2*a = 4*f + 8772, -4*a + 14*f = 10*f - 17552. Is a a multiple of 16?
False
Let j = -5326 - -8046. Does 20 divide j?
True
Let o(g) = g**3 + 7*g**2 - 8*g + 9. Let i be -3 + -3 - (-6)/(-3). Let p be o(i). Suppose 0 = 8*r - p*r + 78. Does 39 divide r?
True
Let i(a) = 3*a + 11. Let l(v) = -9*v - 32. Let g(j) = 7*i(j) + 2*l(j). Let o = 106 - 87. Is g(o) a multiple of 10?
True
Let q(x) = -56*x - 78. Suppose -5*y - 17 - 18 = 5*h, h - 1 = y. Does 9 divide q(h)?
True
Suppose 3*d = 4*s + 104451, 0 = -d - 32*s + 37*s + 34795. Does 199 divide d?
True
Suppose -92*g - 902728 = -168*g. Is g a multiple of 10?
False
Is 9 a factor of ((-1902)/12)/(3/(-12))?
False
Let o = 9350 - 5105. Let k = -2912 + o. Does 114 divide k?
False
Let m = 156 + -49. Let s = m + -333. Let f = s + 473. Is 13 a factor of f?
True
Let u(r) = 19*r**2 - 3*r - 2. Let b be u(3). Let m = 273 - b. Is 3 a factor of m?
False
Suppose 41*i - 35*i - 2394 = 0. Suppose 427 = j - a + 20, -i = -j - a. Suppose 2*w = 15*w - j. Is 3 a factor of w?
False
Let w(u) = 17*u**2 + 12*u + 27. Let m be (20/(-50) - 0)/(2/30). Is w(m) a multiple of 7?
True
Let i be (-180)/15*((-10)/8 - 0). Suppose i*a - 14*a + 15 = 0. Is 2 a factor of (-70)/6*18/a?
True
Let b(w) = -2*w + 4. Let i be b(-2). Let c(z) = -i*z + 19*z + 45*z**2 - 44*z**2 + 2. Is 7 a factor of c(-12)?
True
Let b be 1 - ((-4)/(-4) - 3) - -5. Suppose 3*o - 135 = b*o - 4*c, o + 3*c = -8. Let w(i) = -i**2 - 27*i + 30. Is 18 a factor of w(o)?
False
Does 10 divide ((-12)/(-10))/(36/(-270)*18/(-38264))?
False
Let z be (-3 - -2) + -2 + 15. Let m(j) = 21*j + 98. Is m(z) a multiple of 49?
False
Suppose -h = 10 + 30. Suppose -11*a + 6960 = 130*a - 25*a. Let c = a + h. Is 10 a factor of c?
True
Let x(q) = 15*q + 24. Let r be x(8). Suppose -b = -2*i - r, i = -4*b + 139 + 392. Suppose 3*c - 7*c - b = -3*u, c = u - 46. Is 10 a factor of u?
True
Let x(z) = z**3 + 8*z**2 + 2*z + 17. Let d be x(-6). Suppose -t = -45 - d. Is 17 a factor of t?
False
Suppose 5*h + 3*w - 1977 = 0, -10*w + 5*w + 413 = h. Let r = h - 298. Does 9 divide r?
False
Is (63/(-2))/((-30)/760) a multiple of 21?
True
Let m be -3*(1 + (-10)/6). Suppose -72 = m*a + 14. Let l = 69 + a. Is l even?
True
Let v(m) = m**3 + 60*m**2 - 426*m + 271. Is v(-61) a multiple of 36?
True
Let r = -4 + -32. Let j = -38 - r. Is 28 a factor of -1*90*-2 - 1*j?
False
Let m = 66 + 134. Is 5 a factor of m?
True
Let l = 168 + -58. Suppose -l*r = -113*r + 612. Is r a multiple of 17?
True
Let s(t) = -t + 23. Let g be s(12). Suppose 13*c - g*c + 5*x = 2597, 0 = -x - 5. Does 69 divide c?
True
Suppose -6*i = -12 - 18. Suppose -3*p - 4*u + 229 + 307 = 0, -i*p + 874 = -3*u. Is 22 a factor of p?
True
Let k(c) = 2 + 3*c**2 + c**3 + 92*c + 5*c**2 - 125*c. Let v be k(6). Let p = v + -204. Is 26 a factor of p?
True
Let k = -828 + 827. Is 26 a factor of ((-382)/(-7))/(k/(-7))?
False
Let r(l) = 2*l**2 - 8*l + 645. Does 5 divide r(-36)?
True
Let j be -3 + 4 + 158 - (-2)/2. Suppose 0 = 4*c - 40 + j. Let x = 38 + c. Does 7 divide x?
False
Suppose -3*y - 25*l + 23*l + 15668 = 0, -2*y - 4*l + 10456 = 0. Is 145 a factor of y?
True
Suppose 123*j = 105*j + 124200. Is j a multiple of 15?
True
Let d(y) = 201*y - 68. Is d(4) a multiple of 8?
True
Suppose 814 = 118*h - 114*h + 5*x, 0 = -3*h - 4*x + 611. Does 2 divide h?
False
Let h = -21 + 23. Suppose h = -3*f + 8. Suppose -135 = f*m - 367. Is 29 a factor of m?
True
Suppose -27238 = -11*q - 2763. Suppose -q = -5*n + 4*m, 44*m = -3*n + 42*m + 1357. Is n a multiple of 13?
False
Let z = 502 - 832. Let r = 1083 + z. Does 19 divide r?
False
Let i = 117 + -120. Let a be ((-112)/i)/((-16)/(-72)). Let j = a + -58. Does 22 divide j?
True
Suppose n = -5*o + 9379, 33*n = 31*n - 2. Is 5 a factor of o?
False
Let l be 1/2*(-4 + 4). Suppose -4*j + 175 + 1745 = l. Is 32 a factor of j?
True
Suppose -287*g + 289*g = 2970. Does 15 divide g?
True
Suppose -19286*l + 2820 = -19274*l. Does 5 divide l?
True
Suppose 353*y - 355*y = -2*j + 54474, 3*j = -3*y + 81747. Is 67 a factor of j?
False
Let z(w) be the third derivative of 11*w**4/6 - 23*w**3/2 - 15*w**2. Does 17 divide z(12)?
True
Let y = 5 - 40. Let b = y + 218. Suppose -2*l = 3*w - 103, 3*l - 6*l + 5*w + b = 0. Is 8 a factor of l?
True
Suppose 1594 = 6*k - 2432. Let a = k - -149. Is 41 a factor of a?
True
Let d(f) = -f**2 - 16*f - 59. Let w be d(-12). Let t(j) = -j**3 - 10*j**2 + 8*j + 7. Does 40 divide t(w)?
True
Let t(y) = 6*y**2 + 4*y - 32. Let v be t(-7). Is 8 a factor of (-2)/4*(-3 + -3) + v?
False
Suppose 3*j - 47*w - 18434 = -52*w, 5*j + 4*w - 30693 = 0. Does 21 divide j?
False
Suppose -151627 + 51667 = -42*g. Is 140 a factor of g?
True
Suppose -4*b - 4*w + 28976 = -37812, 2*b - 3*w - 33434 = 0. Is 13 a factor of b?
True
Let h(p) = 17 - 23 - 10*p - p**3 + 19*p - 9*p**2. Let s be h(-10). Suppose -2*g + s*g = -4*f + 68, g = -5*f + 85. Is f a multiple of 17?
True
Let b = 17041 - 10774. Is b a multiple of 13?
False
Let f(y) = 2*y**3 - 8*y**2 + 22*y - 98. Let w be f(5). Suppose 0 = i - 0*i + 16. Let m = i + w. Is 23 a factor of m?
True
Suppose -2 - 8 = -p. Let k be (165/(-7))/(-15) - (-9)/21. Is 5 a factor of p/(-15)*(-195)/k?
True
Let c(y) = y**2 + y + 16. Let g = -4 - -23. Suppose g = 3*w - 5. Does 15 divide c(w)?
False
Suppose -4*u + s = -18569, 3*u - 13928 = 14*s - 13*s. Is 91 a factor of u?
True
Let q(g) = -8*g - 20. Let m be q(10). Is 8 a factor of (217/62)/((-2)/m)?
False
Suppose -27*v + 12*v + 49134 = -9006. Does 57 divide v?
True
Is 14 a factor of (47/(-4) - -12) + 10987/4?
False
Let g = 39 - 39. Let c be (-25 - -17)*(g + 1). Let o = c - -14. Is 6 a factor of o?
True
Let d = 27893 + -15906. Is 199 a factor of d?
False
Let b = -12786 - -22445. Does 39 divide b?
False
Let h be ((-2)/(-3))/(((-92)/228)/(-23)). Let g(a) = -2*a**2 + 80*a. Does 13 divide g(h)?
False
Suppose -7*r - 12 = -3*r, r = 3*l - 6. Let x be (l/1)/(-1 + 0). Is 15 a factor of (-134)/(-3) - x/3?
True
Let m = -41 + 37. Let w(p) = -2*p**2 - 7*p - 20. Let o be w(m). Let z = o + 96. Is 34 a factor of z?
False
Let d(v) = 7*v**3 + 5*v**2 - 19*v - 268. Is 8 a factor of d(10)?
False
Suppose 21213 = 3*p + 2*h, 2*p - 14122 = h + h. Is 204 a factor of p?
False
Suppose 6275 + 2905 = 3*f + 4*i, -6*i + 36 = 0. Does 109 divide f?
True
Suppose 3*p + 27 = 2*f, 5*p - 12 = 3*f - 50. Suppose 0*i - 3*i - 3*q + f = 0, 3*i + 5*q - 17 = 0. Suppose -i*v - 70 = -331. Is v a multiple of 10?
False
Suppose -b + 326 = -u, 4*u - 1390 = -4*b - 78. Is b a multiple of 28?
False
Let h(y) = 71*y**2 + 4*y + 5. Let q be h(-3). Suppose 2*i = -0*i + 2*g + q, -5*i + 4*g = -1579. Is 63 a factor of i?
True
Suppose -3 = 5*v - 2*q, -5*v - q + 9 = -0. Let o = 615 - 615. Is (-3 - -2)*v + (o - -81) a multiple of 8?
True
Let w(p) = -1321*p - 2677. Does 12 divide w(-13)?
True
Is 18 a factor 