 + 3*p. Suppose 0 = 2*c + b - 702, 0 = -5*c + b + 2359 - 604. Let x = l + c. Is 21 a factor of x?
True
Let k(p) = 5*p**2 - 16*p + 143. Is 10 a factor of k(-28)?
False
Let y(r) be the second derivative of r**4/12 + 25*r**3/6 + 8*r**2 + 40*r. Let n be y(-19). Is n/(-4)*(0 - (6 - 8)) a multiple of 9?
False
Is (-2)/20 - (-6)/(-15) - (-962105)/386 a multiple of 7?
True
Let h be 10038/33 - 1*(-6)/(-33). Suppose 0 = h*q - 302*q - 124. Does 2 divide q?
True
Let m(o) = 8*o**2 - o - 6. Suppose 30 = -6*i + i. Is 24 a factor of m(i)?
True
Is 16 a factor of 6031*1/5 + -17*(-116)/2465?
False
Let v(w) = -w**2 + 6*w + 9. Let n be v(-6). Suppose -3*c = -3*l + 279, 5*l - 4*c - 81 - 389 = 0. Let x = l + n. Does 5 divide x?
True
Let l be ((-3)/12 - 12/16)*-2. Let d(i) = 157*i**2 - 22*i + 39. Does 26 divide d(l)?
False
Let t = 4026 - 3841. Is t a multiple of 30?
False
Suppose 2*k + 0*w = 4*w + 88, 3*k - 99 = -5*w. Let s = k + -28. Let y(i) = 3*i**2 - 17*i - 22. Is 27 a factor of y(s)?
True
Let u(j) = 4*j + 5. Let k(o) = -8*o - 11. Let d(h) = 6*k(h) + 13*u(h). Let z be d(0). Does 25 divide 24 - (z - (-4 + 4))?
True
Suppose w - 6 = z, -w + 9 = -0*w - 2*z. Suppose 0 = -w*f - 0 - 27. Is 1*(2/(-6) - 1119/f) a multiple of 41?
False
Let h be -3 - -9 - 0/(-6). Suppose -5*i + h = 3*m - 120, 4*m + 2*i - 168 = 0. Is 7 a factor of m?
True
Let n(w) = 7*w**3 - 14*w**2 - w - 64. Let b(j) = -6*j**3 + 13*j**2 + 63. Let f(y) = -6*b(y) - 5*n(y). Is 34 a factor of f(9)?
True
Suppose -356*l + 359*l - 61644 = 0. Is l a multiple of 17?
False
Let i be (20/6)/((-11)/(-1056)). Suppose -14*r + 60 = -2*r. Suppose h - r*h + i = 0. Is 9 a factor of h?
False
Let s(j) = 48*j + 44. Let r be s(13). Let u = r - 346. Is 11 a factor of u?
False
Suppose 2*f - 25 = -3*f, -4*i - 2*f = -34. Let c(o) = -5*o**2 + 5*o - 13. Let b(u) = -9*u**2 + 9*u - 25. Let n(l) = 6*b(l) - 11*c(l). Is 6 a factor of n(i)?
False
Let z(o) = 195*o**2 + 461*o - 9. Does 8 divide z(-5)?
False
Let b = -9307 - -14551. Is b a multiple of 115?
False
Let h = -271 - -151. Let o = 118 + h. Is 14 a factor of 181 - 7 - ((o - 0) + 4)?
False
Let c be 1817/(-7) - (-72)/126. Let t = c - -414. Does 11 divide t?
False
Let w(a) = 2*a**2 - 17*a - 30. Let g be w(10). Suppose d - 26 = -3*t - 10, g = -2*t - 8. Is d a multiple of 2?
True
Suppose 0 = 16*t - 172711 - 290777. Does 200 divide t?
False
Let k = 16 - 12. Suppose -4*w = -k*l - 92, 3*l = -l - 5*w - 137. Does 14 divide (l/(-3))/((-82)/21 - -4)?
True
Let l = 69 + -63. Suppose 5*v - l = 4. Suppose -8 = -4*z, z - 154 = -v*i - z. Is 25 a factor of i?
True
Let k = -134 - -137. Suppose k*y = -3*y. Suppose 5*m = -p + 6*p + 100, -m - p + 18 = y. Does 2 divide m?
False
Suppose -5426 = 8*d + 78. Is 36 a factor of (-344)/d + (774/(-4))/(-3)?
False
Let p be 18/12*368/(-24). Is (76/(-19))/(2/p) a multiple of 11?
False
Suppose 5*n = 2*q + 2*q + 13, 5*n + 2*q = 31. Suppose 0 = -n*i + 4*k - 2, i - 8 = -0*k - 2*k. Suppose -i*j + 312 = 3*w, 4*j = j - 2*w + 458. Does 30 divide j?
True
Let i(g) be the third derivative of -g**6/120 - g**5/20 - 13*g**4/24 - 46*g**2. Is 41 a factor of i(-7)?
True
Let w(c) = -c + 7. Let m be w(3). Suppose 2*p = m*p. Suppose -5*b + 215 = 3*g, 2 = -p*b + 2*b. Does 38 divide g?
False
Let l = 11284 - -1246. Does 54 divide l?
False
Suppose 16*z + 360841 = -2*z + 31*z. Does 41 divide z?
True
Suppose 121*j - 5616459 = 2260359 - 1972986. Does 19 divide j?
True
Let x(j) = -j**2 + 16*j - 3. Let s be x(11). Let r be (-4)/(-6) - s/(-12). Suppose -r*b + 6 = -24. Is b a multiple of 2?
True
Suppose -13*u = 15 + 115. Let a(j) = j**3 + 8*j**2 - 20*j + 3. Let p be a(u). Let v = p - -99. Does 17 divide v?
True
Let k be (13/3)/(21/1008). Let l = k + -133. Is 8 a factor of l?
False
Suppose -2*u - 11799 = -3*z, -z + 5*z - 15734 = 2*u. Suppose -z = -16*s + 433. Does 7 divide s?
True
Let p(x) = 147*x + 451. Is 5 a factor of p(9)?
False
Let j be 2/7 + (-64)/28. Is 128/((2 - -1)/((-33)/j)) a multiple of 64?
True
Let p(h) = -h**3 + 20*h**2 - 15*h - 1. Let l be p(20). Let c be (-8)/20*(l - -1). Suppose 4*v - 6*v = -c. Is 10 a factor of v?
True
Suppose -5*j - 2*b = -33510, -2597 - 10618 = -2*j + 37*b. Does 20 divide j?
True
Let v(g) = -g**3 + 5*g**2 - 4*g + 5. Let s be v(4). Suppose -4*l + z = -119, s*l + 4*z - 154 = -0*z. Does 15 divide l?
True
Let w = -72718 + 110093. Is w a multiple of 120?
False
Let j = -19 - -15. Let a be 4460/18 + j/(-18). Suppose -4*n + 4*u + a = 0, -n - 2*u + 62 = -u. Does 31 divide n?
True
Suppose -3*w + 42 = 3*b, 5*w - 8*w + 22 = -b. Suppose 4*j + 3*t = w*j - 675, 4*j + 2*t = 518. Is 12 a factor of j?
True
Let g(d) = 2*d**3 - d**2 + 3*d - 3. Let s be g(3). Suppose 353*l + 871 = 420*l. Suppose l*k - s = 10*k. Is k a multiple of 2?
False
Suppose -380 = 27*c - 65*c. Suppose 0 = -c*b + 10170 + 3870. Is b a multiple of 13?
True
Let h be 4/(-6)*(-75)/(-10). Let f(y) = -2*y + 7. Let l(s) = 2*s - 6. Let o(z) = h*l(z) - 6*f(z). Is o(22) a multiple of 25?
False
Let r(f) be the third derivative of f**4/24 + 7*f**3/3 + 22*f**2. Let p be r(-5). Suppose 0 = -v - 2*j + 47, -p = j - 4*j. Is 8 a factor of v?
False
Is 1275111/63 + 128/112 a multiple of 13?
True
Suppose 0 = 5*q - 2*d + 425, -4*q - d - 450 + 97 = 0. Let k = q + 63. Does 39 divide (-610)/(-4)*8*(-6)/k?
False
Suppose 43*c - 320282 - 337102 = 0. Does 26 divide c?
True
Suppose 64*z = 105268 + 393662 - 101106. Does 28 divide z?
True
Suppose 0 = 6*u - 22 - 8. Suppose -5*m - 3*k = -2094, 0 = m + 4*k - u*k - 422. Does 42 divide m?
True
Let k = -4951 + 7424. Is 37 a factor of k?
False
Suppose -3*o = -9, 0 = -4*t - o + 4*o - 69. Let l = -14 - t. Is (-1 + 22 - l)*1 a multiple of 8?
False
Let c(v) = 2*v - 1. Suppose -5*m - 8 = -3*o - 0, 2*o - 1 = -m. Let k be c(o). Let f(j) = 126*j**2 - j + 1. Does 14 divide f(k)?
True
Let w = -552 - -316. Let d = 152 + w. Let s = d + 194. Is s a multiple of 29?
False
Let v = -62 - -287. Is v/(-150)*(-143 - -1) a multiple of 4?
False
Let p be (285/114)/(0 - (-5)/12). Is 2 + (-3)/p + 166/4 even?
False
Let t = 390 + -175. Let g = -173 + t. Is 8 a factor of g?
False
Let z(l) = 1140*l + 2395. Does 90 divide z(18)?
False
Suppose 0 = -c - 59 + 284. Let p = 57 - -328. Let v = p - c. Is 10 a factor of v?
True
Let v be (1 + 16/(-5))/((-12)/60). Suppose v*n = -3*t + 6*n + 3012, 2*t + 3*n - 2007 = 0. Does 64 divide t?
False
Suppose -18*a = -29*a. Suppose 9*n - 207 - 684 = a. Is n a multiple of 19?
False
Suppose -5*x + 0*w + 2*w = -14, -2*x - 1 = -3*w. Suppose -r + 6*r - 1065 = -2*m, x*m - 1075 = -5*r. Let v = r + -73. Is v a multiple of 23?
True
Suppose 3*q - 17 = -m, -5*m = -0*m + q - 43. Let s be (12/m)/((-1)/(-4)). Is 783/18 - s/8*2 a multiple of 14?
True
Does 85 divide 0 - 3/(-1) - (45 + -255)?
False
Suppose -2*u + 2*m = 0, 3*u - 36*m - 20 = -37*m. Suppose -88 - 252 = -u*y. Is 9 a factor of y?
False
Let a(j) = -6*j + 66. Let s be a(-25). Let z = s - -568. Does 7 divide z?
True
Suppose 272 = -18*y + 17*y - 2*o, -2*y - 3*o = 539. Let i = y - -366. Is 26 a factor of i?
True
Let m = -24 + 28. Suppose -8 = 4*t + 4*x, -x - m = 1. Is 3 + t/6*124 a multiple of 22?
False
Let t(o) be the third derivative of -o**5/60 - o**4/6 + 17*o**3/6 + 90*o**2. Suppose z = 2*z + 4. Is t(z) a multiple of 3?
False
Let s = 3451 + 977. Is 6 a factor of s?
True
Let u be 3 + -3 - 82 - 2. Suppose -2*v + 0 + 14 = 2*s, 0 = -5*v + 3*s + 51. Let l = v - u. Is l a multiple of 25?
False
Let o(r) = 3*r - 60. Let q be o(17). Is 16 a factor of 210/q*(-216)/21?
True
Let b(a) = 13*a**3 + 20*a**2 - 28*a + 262. Is b(14) a multiple of 19?
False
Suppose -6*n + 6472 + 2438 = 0. Suppose 3*i - n = a, -a - 9 = -4*a. Suppose -l = -4*u + 502, l = 4*u + 3*l - i. Is 25 a factor of u?
True
Suppose -4*k + 43*k = -3*k + 1092. Is 13 a factor of k?
True
Suppose 3*k - 12 = -0. Let t = 461 - 188. Suppose -3*b + 0*n - k*n + t = 0, 0 = 5*n. Is b a multiple of 13?
True
Suppose -3*f + t = -49267 - 69765, 198382 = 5*f - 4*t. Is f a multiple of 36?
False
Suppose -4*n = z - n - 49, n = -5*z + 315. Let b = -59 + z. Suppose -2*o - 5*f = -30, -7 = -o - b*f + 3. Is 5 a factor of o?
True
Suppose 10119 = 3*r + 17*i, 0 = r - 5*i - 83 - 3258. Is r a multiple of 98?
False
Let y be ((-1620)/14 - 6)/(1/(-7)). Suppose 7*t + y = 19*t. Does 2 divide t?
False
Suppose -7630 = 27*t - 1618 - 65277. Is t