(-2) - v). Suppose a + i = 3*r, 2*r - 269 - 47 = 2*a. Is 20 a factor of r?
True
Suppose -z - 2*z = -111. Let r = 58 + z. Is 9 a factor of r/(-2)*(-48)/30?
False
Suppose g - 2 = -0, 2*h + 32 = 2*g. Let x(m) = m**3 + 19*m - 213. Let s be x(5). Is 4 a factor of h/7 - -1*s?
False
Let n(w) = 292*w + 17. Let s be n(20). Suppose -3*o + 5*t - 1884 + s = 0, t + 2658 = 2*o. Does 33 divide o?
False
Let l = -15 - -51. Let m = l - 42. Let v = 33 + m. Is v a multiple of 4?
False
Let a(b) = -1950*b - 6975. Is a(-11) a multiple of 9?
False
Suppose -457*m - 455*m + 1848 = -911*m. Is 12 a factor of m?
True
Let c be (-2)/(-12) + (-5)/30. Suppose -2*q + 654 + 172 = c. Is 23 a factor of q?
False
Let x(c) = 2*c**2 - 4*c + 9898. Is x(0) a multiple of 52?
False
Suppose k + 3*k - 12 = 2*a, 0 = -4*a - k - 69. Let r be ((-828)/a - 0) + (-3)/(-12). Let j = r - 30. Does 22 divide j?
True
Suppose 2 + 6 = -2*o, 4*j - 36 = 2*o. Let t = 7 - j. Suppose -2*z + 11*z - 1107 = t. Is 41 a factor of z?
True
Let r(y) = -27*y**2 - y**3 + 7*y**2 - 11 + 2*y**3 - y - 2*y**3. Let s = -28 - -8. Is r(s) a multiple of 8?
False
Suppose -4 - 6 = h. Does 4 divide ((-58)/5)/(-4*(-1)/h)?
False
Let z = 18 + -28. Let y(q) = -q**3 - 7*q**2 - 3*q + 2. Let s(r) = 2*r**3 + 13*r**2 + 7*r - 3. Let d(f) = -4*s(f) - 9*y(f). Does 14 divide d(z)?
False
Let o(b) = -b**3 - 15*b**2 - 13*b - 16. Let p be o(-6). Let r = -41 - p. Is r a multiple of 17?
True
Let g(i) = -i**3 + 7*i**2 + 8*i + 7. Let u be g(7). Suppose 0*h = -h + u. Is h a multiple of 6?
False
Suppose 11*j - 2282 = 34304. Is 64 a factor of j?
False
Let k(l) = 95*l**2 - 56*l - 31. Is 8 a factor of k(-7)?
True
Does 34 divide ((-442)/(-39))/((-3)/(-8361))?
True
Suppose -250 = 3*m + 53. Let y = 105 + m. Is 10 a factor of (-33 - -3)*-4*2/y?
True
Let x(k) be the second derivative of k**5/10 - k**4/2 + 7*k**3/3 - 52*k**2 - 210*k. Is 4 a factor of x(6)?
True
Suppose 2*u + y = 17, u = 3*y - y - 4. Suppose -3*x = -x - u*x. Suppose x = -0*r + r - 11. Is r even?
False
Suppose -1113*q = -1114*q + 31192. Is q a multiple of 7?
True
Let p(v) = -v**3 - 18*v**2 + 18*v - 47. Let s be p(-19). Let h(g) = -45*g - 356. Is 8 a factor of h(s)?
True
Let p be 3*(-3 + -5 + 6). Let b = p + 174. Does 21 divide b?
True
Let u = 537 + -609. Let v = u - -241. Is 11 a factor of v?
False
Let j(v) = v**3 - 5*v**2 + 5*v + 2. Let s be j(3). Let x be ((-3)/(9/(-186)))/s. Let c = 110 + x. Is c a multiple of 16?
True
Let l = -19474 + 23197. Is l a multiple of 17?
True
Is (-7497)/(-5) + 912/570 a multiple of 137?
False
Suppose u + 33*w = 36*w + 83, 2*w - 194 = -3*u. Is u a multiple of 68?
True
Let m = -585 - -238. Is 6 a factor of 2*5/(-20)*(m + -1)?
True
Let n(o) = -7 + 60*o**2 - 10*o - 61*o**2 + 93*o**2. Is n(3) a multiple of 49?
False
Let q(f) = 249*f + 6. Let u be q(2). Suppose 0 = 326*x - 328*x + u. Does 12 divide x?
True
Suppose -30*t + 114759 = -273141. Is 10 a factor of t?
True
Let v(j) = 14*j**2 - 9*j - 10. Suppose 4 - 28 = 4*c. Let r be v(c). Let b = -273 + r. Does 11 divide b?
True
Let t = 16058 + -8705. Is 57 a factor of t?
True
Let j = 77472 - 50046. Is 21 a factor of j?
True
Suppose -14*h + 23*h + 13630 = 19*h. Is h a multiple of 47?
True
Let w = 107 + -124. Let i(j) = j**3 + 17*j**2 - 8*j + 8. Is i(w) a multiple of 12?
True
Let u be 4 - (-1)/((-8)/(-6) + -1). Suppose x = -u*x + 32. Is 14 a factor of ((-804)/(-30))/(x/10)?
False
Let j = -2556 + 4879. Is j a multiple of 5?
False
Let j(r) = 29*r - 2330. Does 16 divide j(96)?
False
Suppose 103*s + 4896984 = 217*s. Does 22 divide s?
False
Let r = -16 - 100. Let s = r - -190. Does 43 divide s?
False
Suppose j - 4*r - 22 = 0, 4*j + 3*r = r + 160. Is 3 a factor of -2*j*(6/(-4) + 1)?
False
Let r = -1022 + 270. Let u = r - -1305. Is 25 a factor of u?
False
Let m(n) = n - 16. Let d be m(18). Let b(x) = 28*x + 6. Let p be b(d). Suppose -3*t + p = 8. Is 12 a factor of t?
False
Does 44 divide (121 - -104)/((-5)/(-845))?
False
Let w be 17/(170/60) + 12926/2. Suppose -10*t + 11 = -w. Is 24 a factor of t?
True
Let j(k) = 11*k**2 + 2*k + 5. Let s(x) = 54*x**2 + 9*x + 26. Let r(d) = 11*j(d) - 2*s(d). Suppose -51 = 21*m - 9. Is 20 a factor of r(m)?
False
Suppose -10*v = 5*q - 7*v - 1538, -2*q + 612 = 2*v. Suppose 21*j - 5098 = -q. Is 38 a factor of j?
True
Suppose -250452 = -66*r - 42*r. Is r a multiple of 29?
False
Let o(a) = -2*a**2 + 204*a - 1118. Is 11 a factor of o(57)?
False
Let b(u) be the second derivative of u**4/12 - u**3/3 + 10*u**2 + 54*u. Is b(7) a multiple of 10?
False
Let c(h) = -514*h - 1219. Is 54 a factor of c(-12)?
False
Let i(d) = 134*d**2 + 5*d + 18. Is i(-8) a multiple of 47?
True
Let g(n) = -2*n**3 + 169*n**2 - 54*n + 268. Is 4 a factor of g(84)?
True
Let w(x) = 13*x + 50. Let g = 33 - 25. Suppose -b - 2*y = -3*b + g, -5*b - y = -32. Is 8 a factor of w(b)?
True
Let p = 8636 - 8517. Suppose 5*b - 5*w = -15, 0 = -5*b + 3*w - 7*w - 24. Is (p - (-5 - b)) + 0 a multiple of 12?
True
Does 15 divide (-2)/(((-34)/3045)/17)?
True
Let q be ((-6)/(-4))/(9/30). Suppose -q*m = 2*s + 35, s = 5*s. Does 17 divide (-3)/m*7/(-2)*-24?
False
Suppose 3 = 3*b - 9, b = -t - 23. Let g = 32 + t. Suppose -172 = -g*o - 4*i, 0 = 3*o - o - 2*i - 76. Is 12 a factor of o?
True
Let b(i) = 954*i**2 - 4*i - 5. Is b(-1) a multiple of 23?
False
Let g = -7 + 72. Let k = -16 - 23. Let w = k + g. Does 10 divide w?
False
Let t(r) = 77*r**2 + 110*r + 845. Is t(-8) a multiple of 21?
True
Let x be (-166)/(-8) - (72/(-32))/9. Let c(r) = 19*r + 139. Does 55 divide c(x)?
False
Suppose 87626 = 38*h - 395164. Is 55 a factor of h?
True
Suppose -76*l + 475031 = -96793. Does 57 divide l?
True
Suppose 3*u = 3*l + 21, 29 = 8*u - 3*u + l. Is (-612)/24*(-32)/u a multiple of 45?
False
Let t = -67 + 149. Suppose i = 3*c + t, -2*c = -i + 77 + 2. Is 3 a factor of i?
False
Suppose -4*a - 2*i = -287 - 2795, i = 3. Suppose -2*x + 5*x = 4*c - 1075, -5*x - 256 = -c. Suppose c + a = 13*w. Does 20 divide w?
True
Let j(o) be the first derivative of 2*o**2 + 62*o + 20. Is 6 a factor of j(-5)?
True
Let q(t) = 13*t**2 + 71*t + 906. Is 8 a factor of q(-10)?
True
Let j = 11 + 14. Let x = j + 31. Is 2 a factor of x?
True
Let p = -876 + 645. Let u = 281 + p. Is u a multiple of 2?
True
Suppose 5*r = u + 1277, -15 = -4*u - 3. Suppose -r = -4*q - 4*f, -f - 232 = -4*q + f. Suppose -3*m + 240 = -q. Is 37 a factor of m?
False
Let a(p) = 89*p**2 - 16*p - 19. Let x be a(-3). Let v = -527 + x. Is 12 a factor of v?
False
Is (-20)/(-14) + -1 - 3199220/(-140) a multiple of 90?
False
Let p = 9 + -6. Suppose -5*i = 3*q - 30, -7*i - 12 = -p*i. Is 25 a factor of q*((-28)/(-12) + (0 - -1))?
True
Let s(u) = -u**2 - 34*u + 35. Let q be s(-35). Suppose -o - 1246 + 1499 = q. Is 11 a factor of o?
True
Let j be (3 - 2)*81/9. Suppose 41 + 4 = j*m. Suppose 4*g + m*l = -33 + 141, -2*g = -5*l - 84. Is g a multiple of 8?
True
Let w be 65/9 - 46/207. Does 16 divide 56/(10/45 - w/72)?
True
Suppose 2*f + l - 99 = 0, -47*f + 45*f + 81 = -5*l. Let x = 186 + f. Is x a multiple of 18?
True
Suppose 2*p = 2*k - 4*k - 396, -4*p + 559 = -3*k. Let b = k - -255. Does 7 divide b?
False
Let r(l) = -4*l - 51. Let n be r(-14). Suppose -t = -5*q + 6, 1 = q + n*t + 5. Is 13 a factor of ((-778)/(-10) - q) + (-6)/(-30)?
False
Let o = 112 + -91. Suppose 38 = 2*v + 4*c, -4*c = 5*v - 3*c - 50. Does 15 divide -20 + o + 6*(-2 + v)?
False
Suppose j - 4*y - 4 = -1, -2*j - 3*y = -6. Let n be (-1 - (j - (2 - -1))) + 966. Suppose 0 = 18*c - 23*c + n. Is 42 a factor of c?
False
Suppose 13*c = 17*c - 364. Let q = c + -88. Suppose 2*n - 445 - 170 = 5*z, -n + 291 = q*z. Is 30 a factor of n?
True
Suppose -6*t + 5*t - 24 = -2*m, 28 = -2*t - m. Is 6/8 + (-12276)/t + -2 a multiple of 12?
False
Suppose 0 = -39*h - 7890 - 573. Let n = h + 342. Is 6 a factor of n?
False
Let s(p) = 2*p**3 - p**2 - 36*p - 6. Let g be s(-6). Let l = g + 641. Is l a multiple of 43?
False
Let l(a) = 23*a**2 - 4*a - 11. Let k be l(8). Let o be 5/10*18*(-8)/(-6). Suppose -o*b + k + 47 = 0. Is 19 a factor of b?
False
Let d = 6620 + -1256. Is d a multiple of 17?
False
Let b = -24 + 58. Let l be -2 + -1 - (-1)/(5/340). Let g = l + b. Does 8 divide g?
False
Suppose 2*z + 282 = 4*z. Suppose z - 445 = -4*i. Suppose 0*y - 3*m - 48 = -3*y, -4*y + m = -i. Does 10 divide y?
True
Let a be 73/((1 