pose -y + 49 = -3*v. Does 13 divide v?
False
Suppose 0 = -2785*d + 2824*d - 322842. Does 82 divide d?
False
Let d(t) = -58*t. Let c be d(0). Suppose 0*k - 25 = k. Does 12 divide 4/10 + c + (-615)/k?
False
Let h(o) = -o**3 + 64*o**2 - 198*o + 111. Is 11 a factor of h(59)?
False
Let w(s) = -25*s - 160. Let t be w(-7). Suppose -21*m + t*m = -1296. Is m a multiple of 18?
True
Does 66 divide (-3500 + 34)/(1/((-3)/6))?
False
Let f = 286 + -148. Suppose -61 = t + f. Let v = t + 451. Is 12 a factor of v?
True
Let d(z) = -2*z**3 + 2*z**2 - 101*z + 979. Is d(0) a multiple of 3?
False
Let n = 28438 - 15131. Is 10 a factor of n?
False
Let f = 1907 + 1057. Is 19 a factor of f?
True
Let f(l) = -6*l - 1. Let x be f(-1). Suppose 14 + 1 = 5*g - 3*s, x*s + 25 = -4*g. Suppose g = -3*o - o + 84. Does 18 divide o?
False
Let u be 1/(((-336)/10)/8 - -4). Does 42 divide (-148)/u*80/32?
False
Let x(r) = 2*r**2 + 10*r + 17. Let f(w) = -w**2 + w - 1. Let h(k) = -f(k) - x(k). Let a be h(-10). Is (-3 + 1 - -5)*(-104)/a a multiple of 28?
False
Let o(a) = -234*a - 742. Is o(-15) a multiple of 8?
True
Let d = -120 + 120. Let m(q) = q**2 + q + 120. Is 15 a factor of m(d)?
True
Let q(d) = -40*d**3 + 36*d**2 + 37*d - 33. Is 16 a factor of q(-8)?
False
Suppose 153*x - 735098 = 15*x + 277822. Is x a multiple of 3?
False
Suppose 0 = u - 1597 - 681. Suppose 10*r - 4*l = 14*r - 4548, -2*r - 3*l + u = 0. Is 42 a factor of r?
False
Let d be (4 - 11/2)*-6. Let v be 20/3 + 3/d. Suppose 14 + v = i. Is i a multiple of 8?
False
Suppose 0 = 12*x + 16462 + 1670. Let a = -487 - x. Does 15 divide a?
False
Let j(z) = -z**2 + 8*z + 3. Let c be j(8). Suppose r + 41 = -3*d, c*r + 2*d - 38 + 161 = 0. Let f = -15 - r. Is f a multiple of 3?
False
Suppose -4*q - 2*x = 582, 224 - 643 = 3*q + 5*x. Let d = q + -17. Is 5 a factor of (5/(-3))/(11/d)?
True
Let t(f) be the third derivative of -f**6/120 - f**5/30 - f**4/12 + 1001*f**3/6 + 139*f**2. Does 34 divide t(0)?
False
Is 80 a factor of 4*1/2 - (-1 + 9 + -486)?
True
Let n = 114 + -59. Let y(x) = 0*x - n*x**2 + 56*x**2 - x**3 + x + 93. Does 22 divide y(0)?
False
Is -2062*((8 - 345/30) + -1 + 4) a multiple of 9?
False
Suppose -2*b = 4, 5*o - 57 = 2*b - b. Suppose 912 = p - k, -o*p - k + 2720 = -8*p. Does 19 divide p?
False
Let w = -464 - -1052. Let o = w - 420. Does 7 divide o?
True
Suppose -2*r + 316 = 3*v, -r + 3*v + 6 + 134 = 0. Suppose 0 = -3*g + 3*c + 210, g = 3*g + 2*c - r. Suppose 0 = 5*i + g - 448. Does 15 divide i?
True
Let o(q) = -1. Let m(d) = -198*d**3 - 4*d**2 - d + 5. Let j(c) = m(c) + 4*o(c). Is 26 a factor of j(-1)?
False
Let n = -6655 - -6866. Is 35 a factor of n?
False
Let o = 3776 + 1732. Is 4 a factor of o?
True
Let k(b) = -2*b - 23. Let o be k(-13). Suppose 0 = -o*t + 18 + 18. Let p = 18 + t. Is 3 a factor of p?
True
Suppose 5*f - 20 = -3*h, -4*f - 29 = -45. Let b(z) = -2*z**2 - 2*z + 22. Does 11 divide b(h)?
True
Suppose 0 = 29*j - 43 - 1204. Suppose 249 = 2*o - j. Is o a multiple of 24?
False
Suppose -806*m + 46349864 + 22105328 = 0. Is 17 a factor of m?
True
Suppose -3*i + 24899 - 7043 = 5*i. Does 6 divide i?
True
Let l(h) be the third derivative of 89*h**5/60 - h**4/4 - 7*h**3/6 - h**2. Suppose -10 = 700*b - 690*b. Is l(b) a multiple of 8?
True
Suppose 0 = -29*h + 33331 + 63761. Is h a multiple of 62?
True
Does 12 divide -19 + 4 + 6 + 3 + 5574?
True
Let z(q) = -4*q**2 + q. Let x be z(-1). Let c be x/(-15) + (-1)/3. Suppose c = -4*y + 59 + 361. Is y a multiple of 7?
True
Let t(b) = 9 - 20*b + 2*b**2 - 7 + 2 - 3*b**2. Let f be t(-20). Suppose 26 = r + f*s, -r - s + 71 = -6*s. Is r a multiple of 6?
False
Let k be 0/(-3 - (-1 - (0 + 1))). Suppose 4*o - 315 = 2*m + 723, -o - 4*m + 264 = k. Is 24 a factor of o?
False
Suppose 2*c - 15593 - 24599 = -4*q, c - q - 20084 = 0. Is c a multiple of 108?
True
Let u = -7285 + 12361. Does 27 divide u?
True
Suppose 0 = 12*v - 13*v + 108. Suppose 2*m - v = 2*w + 310, -m = 3*w + 643. Let l = 374 + w. Is l a multiple of 27?
False
Let u(g) = g**3 - 38*g**2 + 10*g - 779. Is 59 a factor of u(43)?
False
Let m(b) = b**3 - b**2 - b + 6. Let y be -1*2/(-1) - (-15 + 15). Let w be ((-2)/(y/3))/(24/(-32)). Is 48 a factor of m(w)?
False
Let c(a) = a**2 - 7*a + 5. Let x be c(7). Let h(z) = 7*z + 3*z + z - 12*z + x + 6*z**2. Does 14 divide h(3)?
True
Let b = -312 + 336. Let f be 6/(-15) + (-347)/(-5). Let n = f - b. Is n a multiple of 7?
False
Let d(l) = l**3 - l**2 + 5*l - 3. Let s be d(3). Let o be 8 + (-40)/((-10)/(-1)). Suppose -o*i + s = -38. Is 2 a factor of i?
False
Suppose 0 = 4*b - 9 - 15. Suppose -4*l = -4*x + b*x - 950, 2*x + 2*l - 950 = 0. Does 17 divide x?
False
Let y be -38 - 0 - (-22 + 21). Let t = -32 - y. Suppose 145 - 35 = t*z. Is z a multiple of 6?
False
Does 24 divide (-1)/(123/(-51619)*4/24)?
False
Let x = 364 - 29. Let s = x - 228. Suppose -6*b = -199 - s. Is b a multiple of 17?
True
Let h(j) be the third derivative of j**6/20 - j**5/15 + 5*j**4/24 - j**3/6 - 9*j**2. Does 14 divide h(3)?
True
Suppose n + 0*n = 9. Suppose -2*d - n + 4 = -3*j, 50 = 5*j + 5*d. Suppose -j*a = -a - 200. Is a a multiple of 10?
True
Let j = -1238 - -1335. Let b = -25 + -44. Let g = j + b. Is 4 a factor of g?
True
Let x be (-9)/(-15) - (-72)/30. Suppose 772 = x*t - 4*r - 1105, t = 4*r + 615. Is 15 a factor of t?
False
Suppose -3*g + 29*f - 27*f = -50045, 0 = -7*g - 3*f + 116718. Is g a multiple of 155?
False
Let f(p) = p**3 - 5*p**2 + 7*p. Let w be (-2)/2 - -1*4. Is f(w) even?
False
Let s(q) = 68*q**2 + 23*q + 153. Is 112 a factor of s(12)?
False
Let m(w) = -w**3 - 10*w**2 - 8*w + 16. Let j be m(-8). Let n = 59 + j. Suppose -916 - 943 = -n*k. Does 31 divide k?
False
Is ((-6408)/(-45))/(1837/10230 - (-1)/(-6)) a multiple of 62?
True
Suppose 0 = 4*u - 5*b - 60, -2*b = -7*b. Let z(a) = -a**3 + 14*a**2 + 15*a + 2. Let w be z(u). Suppose -w*i - 4*i = -144. Is 24 a factor of i?
True
Let s be (-4 - (-2 + (-24)/15))*-5. Suppose 0 = -4*j - 2*a - 2*a + 208, 92 = s*j + 5*a. Does 40 divide j?
False
Suppose 3*p = -b + 5, 0 = 2*p + b - 1 - 2. Suppose 26 = 8*z + p. Suppose -3*f - 4*k = -28 + z, -3 = -5*f + 3*k. Is f even?
False
Suppose r - 1957 = -3*n - 0*n, 5*n = 4*r + 3256. Suppose 5*t = -n - 173. Let v = t + 291. Is 18 a factor of v?
True
Let a be (-5)/((-45)/78)*72. Suppose 5*d - a = 13*d. Let q = -54 - d. Is 3 a factor of q?
True
Let p = 44481 + -23325. Does 43 divide p?
True
Let g(h) = -18*h**2 + 36*h + 44. Let t(z) = -2*z**2 + 2*z. Let x(f) = -g(f) + 6*t(f). Does 13 divide x(-7)?
False
Suppose 2*v + 4*n + 49 = -31, -4*v = -n + 124. Let i = v + 78. Let b = -36 + i. Is b even?
True
Suppose -3*s - 64 = -s. Let d be (-13)/4 - 8/s. Is ((-9)/2 - -3)*58/d a multiple of 8?
False
Is 6 a factor of -6*321*((-2 - 13) + 8)?
True
Let g = -301 - -430. Let s = 233 - g. Is 13 a factor of s?
True
Suppose -3*k = 52*d - 54*d - 26291, -8 = 2*d. Is 127 a factor of k?
False
Suppose -2*r - 2400 = -7*r. Suppose y + 29 = x, -2*x - y + 67 = x. Suppose x*a = 18*a + r. Is a a multiple of 5?
True
Let b be (-6)/1 - (-31 - -29). Let r(a) = 5*a**2 + 4*a + 12. Let m be r(b). Suppose -5*x + 4*w = -136 - 20, -5*w - m = -2*x. Does 6 divide x?
False
Let y(h) = -h**2 + h + 32. Let r be y(5). Let a be 11472/18*9/r. Suppose 0 = -7*l + 145 + a. Does 7 divide l?
False
Suppose -114*m + 30009 = -254193. Does 9 divide m?
True
Suppose w = -4*w + 4*y + 789, -4*w + 3*y = -631. Suppose 2*k - w = -3*p, 232 = -3*p + 7*p - 3*k. Does 2 divide p?
False
Suppose -36 = 2*z - z. Let s = z - -62. Is 13 a factor of s?
True
Suppose -4*u + 16590 = 2*z, -5*u = 214*z - 216*z - 20724. Does 38 divide u?
False
Suppose 5*c = -3*f + 25, -c + 120 - 115 = 5*f. Let d(u) = 9*u**3 + u. Let j be d(1). Suppose -95 = -c*s + j. Is s a multiple of 21?
True
Let l(f) = 6*f**3 + 10*f**2 - 6*f - 5. Let x(o) = -6*o**3 - 9*o**2 + 6*o + 3. Let w(m) = -2*l(m) - 3*x(m). Does 16 divide w(5)?
True
Let t be (-6)/24 + 3/12. Let d be (1 + 1)/(2/379). Suppose t = -3*n - 5*q + 4*q + d, 0 = -2*n + q + 261. Is 22 a factor of n?
False
Let t(y) = 11941*y**2 + 15*y + 19. Is 16 a factor of t(-1)?
False
Suppose 12*j - 1904 - 2204 = 3188. Does 37 divide j?
False
Let p = -55 + 56. Is 63 + (-1)/(2*p/6) a multiple of 3?
True
Let s(v) = v**2 - 17*v + 42. Let i be s(14). Suppose -62*z + 57*z = i. Suppose z = 3*d - 2*o - 353, -d