*v + 217. Does 9 divide m?
False
Let w(d) = -d**2 - 13*d + 17. Let r be w(-13). Suppose 15 = h - 3*m - 2*m, h - 3*m = r. Is h a multiple of 10?
True
Let c(v) = 29*v + 17. Is 25 a factor of c(1)?
False
Let h(l) = 12*l**2 + l - 2. Let r = 13 - 11. Suppose 6 = -r*g + 5*m - 3*m, g = -m - 1. Is h(g) a multiple of 22?
True
Suppose r = 34 - 12. Is (4*1)/(r/143) a multiple of 13?
True
Suppose 2*m - 3 = 1. Suppose -r = m*r. Suppose r*i = i - 44. Is i a multiple of 20?
False
Suppose 3 = -k + 4*c, -5*k - 5*c = -88 + 28. Let r be ((-42)/9)/((-6)/k). Let s(m) = 6*m - 1. Does 31 divide s(r)?
False
Let z(d) be the first derivative of d**2 + 23*d + 10. Let p be z(-10). Suppose 132 = p*t + 6. Is 21 a factor of t?
True
Suppose 4*s - 22 = -3*t + 14, 4*s = 3*t + 12. Does 8 divide 3 + 69/6*s*1?
True
Let a(n) = 18*n + 2. Let w be a(-2). Let o = 72 + w. Is 19 a factor of o?
True
Suppose -428*j = -433*j + 2310. Is 6 a factor of j?
True
Let p be (-5)/15*3*0. Does 5 divide 63 + (-10)/5 + p?
False
Suppose 4*k + 1221 = w, -w + 369 + 817 = 3*k. Is 45 a factor of w?
False
Let y = 1184 - 840. Does 8 divide y?
True
Let x(z) = z**2 + 17*z + 28. Let k be x(-7). Is 16 a factor of (174/k + 5)*56?
True
Suppose 120*p = 110*p + 1200. Does 6 divide p?
True
Suppose 0 = v + 2*a + a + 1, 3*a = -6. Does 3 divide (v - 2)*(6 + 1)?
True
Let n(y) = y**2 - 3*y - 2. Suppose 0 = -4*w + 21 + 3. Is n(w) a multiple of 4?
True
Let k = 24 + -21. Suppose k = -m + 17. Does 5 divide m?
False
Suppose 0 = -2*r - 4*r + 114. Is 2 a factor of r?
False
Let x be (-3 - -16) + -3 - 1. Suppose 2*w + 4 = 3*w. Suppose w*t + 20 = x*t. Is t even?
True
Let f = 258 + -139. Let t(h) = -h + 1. Let m be t(-4). Suppose -m*v = -3*b + f, -3*b + v = -59 - 44. Is 22 a factor of b?
False
Let r(k) be the third derivative of 13*k**5/60 - k**4/3 + k**3/3 + 3*k**2. Is r(3) a multiple of 19?
True
Let w = 31 + -33. Is 16 a factor of (3/w)/(2/(-40))?
False
Let d = -906 - -1852. Does 5 divide d?
False
Let t(o) = o**3 - 4*o**2 - 6*o - 7. Suppose -n - 407 = -4*y - 57, n - 266 = -3*y. Let v be y/14 - 2/7. Is 14 a factor of t(v)?
False
Let a be 5*(-8)/(-20)*1. Suppose 2*q - 4*q + 18 = a*j, -2*j = -3*q + 2. Suppose -u + q = -0*u. Is u even?
True
Let l = 1011 + -850. Does 17 divide l?
False
Let w be (-1 - -3) + -2 + 2. Is 12*(17/4 - w) a multiple of 4?
False
Let z be 4/(-30) + (-546)/(-45). Suppose 0 = s - 7*s + z. Suppose 0 = s*l - 18 + 2. Does 8 divide l?
True
Let c = 179 - 170. Let r(f) = -4*f - 18. Let j(x) = -8*x - 37. Let a(l) = -3*j(l) + 5*r(l). Is a(c) a multiple of 19?
True
Suppose -5*y - 4*x + 1416 = 0, 2*y + 2*y - 1124 = -x. Is 20 a factor of y?
True
Let p(o) = o**3 + 8*o**2 + 5*o - 11. Let w be p(-7). Does 3 divide w/2 + (-225)/(-18)?
False
Let v(j) = -j**2 + 6*j + 20. Let n be v(10). Is 15 a factor of (-5 + n)/(-1 - 2/(-4))?
False
Let p(a) be the third derivative of a**5/20 - a**4/8 - a**3/3 + 6*a**2. Is p(-2) a multiple of 3?
False
Let n(l) = 2*l**3 - 13*l**2 - 1 - 2*l**3 + 10*l + l**3 + 23*l**2. Is 19 a factor of n(-7)?
True
Let u(d) = 66*d + 4. Let o(b) = -14*b - 1. Let i(q) = -14*o(q) - 3*u(q). Suppose 19 = -2*a - 1. Is i(a) a multiple of 14?
False
Let i(k) = 69 - 3*k + k + 4*k - k. Is i(11) a multiple of 6?
False
Let i = -4 - -8. Suppose i*w + 2*n - 112 = 4*n, 0 = -2*w - n + 60. Does 7 divide w?
False
Suppose -5*y - 5 = -0*y, 0 = -3*m - 3*y. Suppose -3*t - 4 + m = 0. Is t*(-4)/((-8)/(-26)) a multiple of 13?
True
Let b(t) = t**2 + 7*t. Let i be b(-8). Let q(r) = r**3 - 9*r**2 + 11*r - 10. Is 5 a factor of q(i)?
False
Suppose -4*p + 2*l = -0*l + 392, 505 = -5*p - 5*l. Let v = 144 - p. Suppose 0 = -5*m - 5*o + v + 107, -3 = 3*o. Is m a multiple of 9?
False
Let k(c) = 4*c**2 - 96*c + 32. Let y(w) = w**2 - 24*w + 8. Let h(s) = 2*k(s) - 9*y(s). Does 12 divide h(22)?
True
Suppose -3*a + 11 = -1. Let h(g) = -g**3 + 9*g**2 - 3*g + 4. Let l be h(a). Let i = -28 + l. Is 10 a factor of i?
False
Let r(x) = x**2 - x**3 - 6 + 0*x**2 + x**2 + 7. Is r(-2) a multiple of 13?
False
Let r(q) = -14*q + 67. Does 13 divide r(-3)?
False
Let p be (-16)/(-3) + (-5)/15. Suppose -5*l - 15 = -4*l - p*a, 9 = l + a. Is l a multiple of 4?
False
Let t = 68 + 491. Does 43 divide t?
True
Suppose 0 = 2*h + 2*j + 46 + 68, 109 = -2*h - 3*j. Let n = h + 88. Is n a multiple of 13?
True
Let a(l) = 2*l**2 + 2*l + 6. Let u be a(0). Let f be ((-2)/u)/((-2)/84). Let q = f - -22. Is q a multiple of 18?
True
Suppose -5*p + 15*y - 11*y + 11028 = 0, -6 = -2*y. Is p a multiple of 46?
True
Let q(n) = 4*n**3 + n**2 + 18*n + 29. Does 14 divide q(7)?
False
Is 30*9/54 + 1329 a multiple of 29?
True
Let s be 2/3*2175/2. Suppose -j = -u + 185, 2*j = 4*u + 3*j - s. Suppose 5*m - 2*a = u, -m + 5*a = -2*m + 58. Is m a multiple of 19?
True
Suppose 0 = 3*u, -4*g + 0*u + 4*u + 24 = 0. Suppose -4*v = -22 + g. Is (1/(-3))/(v/(-204)) a multiple of 7?
False
Suppose 0 = -c + 5, -702 = -4*h - 0*h - 2*c. Is 29 a factor of h?
False
Let b(a) = 14*a + 36. Is b(6) a multiple of 17?
False
Suppose 5*g - 1071 = -3*d, -49 = -3*g + 3*d + 608. Is g a multiple of 4?
True
Is (-9)/15 + (-24092)/(-20) + 11 a multiple of 9?
True
Is 103 a factor of ((-1442)/6)/((-42)/126)?
True
Suppose -3085 = -5*u - 0*w + 5*w, -w = 5*u - 3091. Let x be u/11 - 26/143. Let h = x + -30. Does 10 divide h?
False
Suppose -7*f = 7*f - 2772. Is 6 a factor of f?
True
Suppose 7*p - 10*p = -b + 227, 4*b - 908 = 5*p. Is 40 a factor of b?
False
Let p(k) = k**3 + 6*k**2 + 4*k - 3. Let x be p(-5). Let w(n) = 4 + x*n + 2*n**2 + 5*n**3 + 4*n**2 - 5 - 4*n**3. Is w(-5) a multiple of 14?
True
Suppose -43*f + 56*f = 78. Does 3 divide f?
True
Let m = 710 - 446. Suppose -2*j + 3*j - 4 = 0, 2*a = 3*j + m. Does 23 divide a?
True
Let t = 351 - 80. Let s = -103 + t. Is 28 a factor of s?
True
Let l = -754 - -1615. Is 34 a factor of l?
False
Let l = -1 + -11. Let q = 192 + -122. Let a = l + q. Does 29 divide a?
True
Let v = 62 + -57. Suppose v*h + 140 = 9*h. Does 7 divide h?
True
Let w(x) = x**2 - 3*x + 960. Is 15 a factor of w(0)?
True
Suppose -14*o = -19*o + 2250. Does 4 divide o?
False
Let n = -1361 + 2927. Is n a multiple of 27?
True
Let b(k) = 6*k**2 + 8*k + 4. Suppose -4*l - 22 = -14. Does 12 divide b(l)?
True
Let x(h) = -5*h + 25. Let j(k) = 4*k - 3. Let d be j(-2). Is x(d) a multiple of 11?
False
Let f(q) = -q**3 + 13*q**2 - 4. Let h be f(6). Let d = h - 129. Does 21 divide d?
False
Does 13 divide 100/450 + 3625/9?
True
Let q be -9 + -5 + 4 + -1. Let v = q - -189. Suppose -18 = 5*y - v. Is 7 a factor of y?
False
Let y(c) = 12*c - 15*c + 5*c - 3 + 97*c**3. Does 8 divide y(1)?
True
Let q(w) = w**2 + 4*w + 22. Does 18 divide q(-8)?
True
Suppose -3*l + 3*d + 291 = 0, 0 = 2*l - 5*l + 2*d + 293. Is l a multiple of 11?
True
Let a = -71 + 82. Suppose a*n - 48 = 8*n. Is n a multiple of 4?
True
Suppose -6*t - 4*z + 104 = -5*t, -2*t = 5*z - 196. Suppose 2*d = 3*d - t. Is 11 a factor of d?
True
Let w = 16 + 20. Suppose 0 = -5*q - 3*g - w, 3*g - 12 = 5*q - 2*q. Is 206/6 + (-4)/q a multiple of 18?
False
Let r = -471 + 713. Is r a multiple of 11?
True
Let i(b) = -b**2 + 9*b - 11. Let n be i(7). Suppose -2*h - 89 = -m, -4*h + n*h = -1. Is m a multiple of 31?
False
Is (36/(-10))/((-102)/340) a multiple of 12?
True
Suppose 0 = 5*c + 2*l - 1652, 3*c - 864 = -5*l + 131. Is 9 a factor of c?
False
Let x be 19/4 - (-11)/44. Let k(z) = 854*z + 5. Let q be k(x). Is 1/(-4) - q/(-76) a multiple of 14?
True
Suppose -21*k + 35250 = 10365. Is 79 a factor of k?
True
Let h(t) = -t**3 - 16*t**2 - 9*t + 11. Is h(-16) a multiple of 43?
False
Let s = 14 - 10. Suppose -9*m + 5*m = -s. Is 3 a factor of 8 - -4 - 1/m?
False
Let z be (4 + -3)/((-3)/(-21)). Suppose 49 + 140 = z*o. Is o a multiple of 7?
False
Let b = 205 - 180. Is 25 a factor of b?
True
Let s(b) = -2*b**3 + 4*b**2 + b + 4. Let a = 42 - 46. Is s(a) a multiple of 48?
True
Let a = -138 - -150. Let q = -6 + 17. Let x = q + a. Does 23 divide x?
True
Let g(m) = 3*m**2 + 6*m - 10. Let b = 13 - 133. Let h be 28/6*b/(-140). Is g(h) a multiple of 22?
False
Let w(s) = 2*s**3 + 41*s**2 + s - 27. Is 32 a factor of w(-20)?
False
Suppose 2*q - 2 = q - 2*l, -5 = -5*l. Suppose q = x - 3 + 2, -3*x = -r + 129. Is r a multiple of 44?
True
Let o(t) = 70*t + 1. Let k(z) = 71*z + 2. Let f(y) = -4*k(y) + 5*o(y). Is 21 a factor of f(1)?
Tr