= i - 9, -y*k + 45 = 5*i - 22. Is 4 a factor of i?
False
Suppose -3*m = -3*w, -5*m = -29 + 4. Suppose 4*f = -c, -4*f = -w*f - 4*c - 15. Is (3 + (-98)/(-2))/(f - -1) a multiple of 6?
False
Suppose 6*c - 13*c = 4*c - 12705. Does 77 divide c?
True
Let w = 16967 - 11980. Does 114 divide w?
False
Let i = 2085 - 455. Is 22 a factor of i?
False
Suppose -p = 4*q - 292, -5*p - 94 - 74 = -2*q. Let b = 76 - q. Suppose -2*v + 388 = b*v. Is v a multiple of 13?
False
Suppose -9894 = -4*w - 2330. Does 34 divide w?
False
Suppose 0 = -2188*m + 2190*m - 5170. Is 28 a factor of m?
False
Suppose 4*c - 5*b = -7*b + 255678, 4*b = 3*c - 191742. Does 26 divide c?
False
Suppose -x - 5 = -3*b, -3*x - 20 = b + x. Suppose -j + 2 = 3*o + 5, 4*j - 5*o - 73 = b. Suppose -3*i = -4*f - 175, -3*f = i - j - 42. Is i a multiple of 19?
True
Let c = -478 + 811. Suppose 5*j = -6*j + 1826. Let h = c - j. Is 16 a factor of h?
False
Let i(s) = 51*s + 20. Let g = -68 + 73. Let v be i(g). Does 8 divide 2/(-2) - v/(-5)?
False
Suppose 109 = -a + 115. Does 29 divide 662 + a + (0 - (-4 + 5))?
True
Let c be (6/4)/(2/(-12)). Does 6 divide 21/c*-3 + 305?
True
Suppose -42*t - 6*t + 1002140 = 130*t. Is t a multiple of 10?
True
Let s(v) = 83*v**3 + 3*v**2 + 688*v - 2056. Is 8 a factor of s(3)?
False
Suppose 3*i + 12*b - 27 = 9*b, -3*i = 4*b - 32. Suppose -5*r + 50 = -80. Suppose r = i*d - 10. Is d a multiple of 3?
True
Suppose 5*g = n - 54 - 37, -4*g - 3*n = 69. Let o = 23 + g. Suppose t + 3*l + 0*l = 33, 0 = o*t + 5*l - 135. Is 4 a factor of t?
True
Is -2 + 48/18 + (1581902/6)/7 a multiple of 81?
True
Suppose 0 = -8*h + 5*h + 3*n + 74742, -4*h - 7*n = -99612. Does 10 divide h?
True
Let b(d) = -81*d + 3. Suppose 35 = -2*k - 5*w, -15 = 4*k + 11*w - 12*w. Is 51 a factor of b(k)?
True
Let z = 901 + 679. Is z a multiple of 6?
False
Suppose -6*o - 3*i - 1305 = -2*o, 2*o + 652 = -2*i. Let g(s) = -8*s**3 - 2*s**2 + 1. Let y be g(3). Let r = y - o. Is 21 a factor of r?
False
Suppose 0 = -5*i - 5, -h - 17 = 2*i - 12. Does 14 divide (-1766 - -2)/(-3) - h?
False
Let j = -229 + 41. Let f = j - -572. Is 48 a factor of f?
True
Suppose 3 = -3*w + 63. Suppose w = 10*y - 30. Suppose -47 = -p - 8*f + 6*f, 0 = f + y. Is 6 a factor of p?
False
Is 30 a factor of ((-97)/(-291))/((-4)/(-105852))?
False
Let f(y) = 13*y + 176*y**2 - 351*y**2 + 176*y**2 + 6. Is f(-13) a multiple of 3?
True
Let f(w) = 9*w**2 - 40*w - 16. Let a be f(26). Suppose -5*n + a = 7*n. Is 12 a factor of n?
False
Let h be 26 - 29 - (-15 + 1). Does 10 divide (1*15)/(2100/(-192) + h)?
True
Let r(p) be the second derivative of -49*p**3/6 + p**2 - p + 8. Is 25 a factor of r(-2)?
True
Let m(a) = -a**2 - 12*a + 1. Let u be m(-9). Let l(c) = -c**3 - 5*c**2 - 8*c. Let n be l(-7). Suppose -u*x = -30*x + n. Does 29 divide x?
False
Suppose 2*m + 158 = -3*x, 0 = -4*m - 4*x - 226 - 82. Let b = m + 256. Is b a multiple of 17?
False
Let a = 124 - 263. Let b be (6 - 5376/(-27)) + 3/(-27). Let y = a + b. Is y a multiple of 30?
False
Let i be (-1 - 3) + 2 + 22. Suppose 4 + i = -8*b. Is 14 a factor of (-1036)/(-8) + b/(-6)?
False
Let w(t) = t**2 - 3*t - 14. Suppose -3*f + 99 = 4*l, 3*l - 74 - 2 = -4*f. Suppose 0 = 3*u, 4*a + u - 6*u + l = 0. Does 20 divide w(a)?
True
Suppose -2*c - 348*v + 346*v = -19882, -3*c + 29825 = v. Is 35 a factor of c?
False
Does 30 divide (-5112870)/(-195) + 32/208?
True
Let m = -80 - -78. Let p be m*-7*4/(-4). Let q = 58 - p. Does 9 divide q?
True
Suppose 5*l - 2*l - 147 = -5*v, 5*l + 125 = 4*v. Let p be 135/v*4/3 + -3. Suppose 2*r + p - 55 = 0. Is r a multiple of 7?
False
Let v be (15/(-12))/((-9)/108). Let m be 47/v - 8/60. Suppose m*l = 2*i + i + 330, -200 = -2*l - 3*i. Does 16 divide l?
False
Is 30886 + (-4*88/(-32) - 9) a multiple of 78?
True
Suppose -7*r = -6*r - 569. Let p = 994 - r. Does 17 divide p?
True
Let w be -1*3/(-15)*-5. Let p be 1 + 1 + 1/w. Is p - -104*1 - -2 a multiple of 31?
False
Let p be ((-20)/(-40))/((-2)/128). Let a be (p/(-36))/((-4)/(-18)). Suppose 0 = 4*j + 20, a*z + j + 17 = 96. Does 10 divide z?
False
Let a(d) = 6*d + 990. Does 6 divide a(-84)?
True
Suppose 2*b - 103 = 3*b. Suppose 3*k + 4*i = -214 - 333, k = -3*i - 179. Let p = b - k. Does 12 divide p?
False
Let a be 2/(-5) + (-168)/(-20) + -2. Suppose a*p - 16*p + 1120 = 0. Is p a multiple of 8?
True
Suppose -1990*u + 31736 = -1980*u + 3456. Is 7 a factor of u?
True
Let b = -5679 + 11386. Is 73 a factor of b?
False
Suppose -h + 2*q = -1319 - 3559, -h + 4885 = 5*q. Suppose 6*b = 4*l + 2*b - h, b - 1224 = -l. Is 36 a factor of l?
False
Let v = -40 - -42. Suppose -v*r - 4*d - 93 - 59 = 0, 4*r = 3*d - 271. Is 216/(-21)*r/15 a multiple of 16?
True
Let z(i) = -1055*i**3 + 8*i**2 + 8*i + 6. Is 46 a factor of z(-2)?
False
Let w = 18 - 24. Let x(a) = 2*a + 14. Let s be x(w). Suppose -s*p + p = -169. Is p a multiple of 25?
False
Let y = -443 - -403. Let x(t) = -t**3 - 41*t**2 - 61*t + 31. Does 13 divide x(y)?
True
Suppose 0 = 59*l - 60*l - 2807. Does 52 divide l/(-3) - (-12 + 455/39)?
True
Let t(p) be the first derivative of 9*p**2 - 75*p - 2. Does 14 divide t(5)?
False
Suppose 2308*j - 157757 = 2289*j. Is j a multiple of 14?
False
Suppose 180743 + 311137 = 64*k + 74088. Is 2 a factor of k?
True
Suppose -181*x = -179*x + 12. Does 43 divide 42*(646/57 + 4/x)?
False
Let x = -61 - -131. Suppose 76*o = x*o + 3840. Does 10 divide o?
True
Let h(r) be the first derivative of r**4/4 - 9*r**2 + 60*r + 144. Does 12 divide h(9)?
False
Suppose -3*d - 5*x = -73, 4*d - 14*x - 44 = -10*x. Suppose s = d + 32. Is 16 a factor of s?
True
Suppose 4*b + v + 3*v = 232, -2*b = 5*v - 113. Suppose 4*i = -l + 4 + b, 3*l + 2*i - 209 = 0. Does 15 divide l?
False
Let b = -390 + 413. Suppose b*z - 6711 + 1559 = 0. Is z a multiple of 7?
True
Is (-9 - (-2 - 4))/((-1)/28) a multiple of 28?
True
Suppose 800 = 5*d + 4*m - 2*m, 2*d = -5*m + 341. Suppose -2*x + 71 = 287. Let o = d + x. Is 20 a factor of o?
False
Let m(w) = 9*w - 112. Let v be m(13). Suppose 0 = v*b - 47 - 628. Is 15 a factor of b?
True
Suppose -34*l + 38*l - 23977 = -5*a, -2*l - 3*a + 11987 = 0. Suppose -2*p + 207 = 3*t - l, -t - 2*p = -2063. Is t a multiple of 15?
False
Let w = 2269 + 5486. Is 5 a factor of w?
True
Let f be (-2)/1 + 2 + 0. Let c = 619 - 615. Suppose 0 = c*v + 3*d - 170, d - 86 = -2*v - f*d. Does 11 divide v?
True
Let r(d) = -d**2 - 11*d - 3. Let t be r(-9). Suppose -3*w = -51 + t. Suppose 11*j + 30 = w*j. Is j a multiple of 5?
True
Suppose 0 = -5*f - 2*o + 697, 0 = -3*o + 3. Let k = f + -97. Does 12 divide k?
False
Suppose 23*v = -57373 + 172235. Does 13 divide v?
False
Is 8 a factor of 48/(-21) + (-5178448)/(-154)?
True
Suppose -26*g + 27*g - 21 = 3*t, -5 = t. Suppose -s - g*s = -644. Is 4 a factor of s?
True
Let m(b) = 32*b**2 - 10*b + 72. Is 17 a factor of m(-11)?
False
Let n be (-206)/(-8) + 40/160. Suppose -27*q = -n*q - 47. Does 17 divide q?
False
Let u = 16213 - 7090. Does 199 divide u?
False
Suppose -36*f - 12 = -38*f. Suppose -8 = 2*y - 4*y - 4*p, -3*p + f = 0. Suppose -5*c + 22 + 73 = y. Is 5 a factor of c?
False
Let u(b) = 389*b + 9003. Is 22 a factor of u(-8)?
False
Is -8 + 23/((-759)/(-308)) - 7696/(-6) a multiple of 16?
False
Suppose 55*u - 2*t = 58*u - 563, -4*u = 5*t - 760. Is u a multiple of 10?
False
Let z(l) = -16*l**3 - 7*l**2 + 2*l - 199. Is z(-9) a multiple of 136?
True
Let v(x) = 22*x - 184. Let j be v(8). Does 49 divide j + 1 + 59 - 3?
True
Let d(u) = -267 - 103*u + 259 - 27*u. Does 32 divide d(-4)?
True
Suppose 0 = 5*q + 15, -2*f - 2*q - q = -19143. Is 19 a factor of f?
True
Let g(a) = -a**3 + 15*a**2 - 24*a - 27. Let y be g(12). Suppose 3*h = 5*i + 251, i - y = -2*h + 72. Is 8 a factor of h?
False
Let d(y) = y**2 + 3*y - 6. Let s be d(-5). Let o be (32/(-40))/(s/30). Does 9 divide (-4)/o + 532/12?
True
Let y = 8429 + -4141. Is y a multiple of 7?
False
Let a be (-8)/12 - (-275)/3. Suppose 0 = 4*p - 4*j - 524, p = 2*j + 132 + 1. Let v = p - a. Is 19 a factor of v?
True
Let j be ((-2)/6)/((-7)/12705). Let c(l) = 47*l**2 - j + l + 4*l + 597. Does 38 divide c(2)?
True
Let i = 268 - 263. Suppose 0 = -m - i*q + 65, 5*q = 4*m - 140 - 145. Does 7 divide m?
True
Let r(u) = u**2 - 26*u + 145. Let m be r(18). Does 15 divide m/(-4) + 159345/180?
True
Let y(q) = 121*q**2 - 105*q + 364. Is 20 a factor of y