). Suppose y*m - j = -3*m. Is m a multiple of 13?
False
Let g = -33 - -97. Let x(i) = 66 - 66*i + 131*i - g*i. Is 18 a factor of x(24)?
True
Let p = -1285 + 830. Let g = -359 - p. Does 12 divide g?
True
Suppose 0*a = w - 2*a + 25, -53 = 3*w + 5*a. Let b = 13 - w. Is b a multiple of 17?
True
Let w(r) = 10*r**3 + r**2 + r - 2. Let d = -7 - 43. Let b = d + 52. Is w(b) a multiple of 14?
True
Let i(n) = -n**2 + 11*n - 19. Let x be i(8). Suppose -j - 4*f + 31 = 0, x*j = -11*f + 9*f + 209. Is j a multiple of 9?
False
Suppose -5*p - 6*g = -4*g - 26584, -2*p + 10630 = 2*g. Is 25 a factor of p?
False
Suppose x = 3, 4*b = -3*x + 8*x + 14281. Is 22 a factor of b?
False
Suppose 23*l + 14 = 22*l. Does 9 divide (-3650)/l + 24/84?
True
Suppose -5*b + 5*v - 102 = 68, 2*b = -3*v - 93. Let t = -35 - b. Let a(q) = 5*q**2 + 5*q - 2. Does 7 divide a(t)?
True
Let j = 467 + -800. Let r = 0 - j. Is r a multiple of 37?
True
Let w(o) = -2*o**2 + 55*o - 36. Let b(x) = x - 3. Let p(d) = -4*b(d) - w(d). Does 16 divide p(32)?
True
Let r(m) = 6004*m**3 + 5*m**2 + m - 6. Does 38 divide r(1)?
True
Let w(o) = o**2 - 49*o + 488. Let t be w(36). Let v(z) = z**2 + 2*z - 2. Let s be v(-3). Does 9 divide (68/t - s)/(4/30)?
True
Let i be ((-37)/9 - -4) + 262/9. Suppose i*n + 779 = 30*n. Does 19 divide n?
True
Suppose -4*v + 7 = -4*b + 67, -b = 5. Let h(s) = s**2 - 16*s - 36. Does 19 divide h(v)?
True
Let i be -146 + (-1)/((-1)/(-4)). Let a = -74 - i. Is a a multiple of 4?
True
Let n be (4 + -5)/((-1)/(-11)). Let d(j) = -j**3 + 12*j**2 - 18*j + 13. Let x be d(10). Does 31 divide 1 + n/(x/(-90))?
True
Suppose 0*j = j - 4*p - 14, 3*j = 5*p + 21. Suppose -5*u + 42 = -4*y, u - j*u = y - 12. Does 14 divide 1702/u + (-1)/5?
False
Let r = 2287 - 842. Suppose -3*f = -t - t - 1070, -4*f - t = -r. Is f a multiple of 39?
False
Suppose 0 = -0*z + z. Let k = 1990 - 1977. Suppose 0 = -z*p + k*p - 1456. Does 17 divide p?
False
Let t(y) = y**2 - 17*y + 18. Let r be t(16). Suppose -42 = 5*j + r*j. Is 7 a factor of j/10 + (-872)/(-20)?
False
Suppose 3*x - l = 8099, -23*x - 5*l = -19*x - 10805. Does 30 divide x?
True
Suppose -75 = g + 6. Let z be (g/(-4))/(4/(-16)). Let m = z - -201. Is 20 a factor of m?
True
Suppose -11511 - 1521 = -8*n. Is n a multiple of 22?
False
Let z(j) = 2*j**3 - 6*j**2 + 8*j - 1. Let h be (-6)/((-65)/10 - -5). Let v be z(h). Is 36/27*v/2 a multiple of 7?
True
Suppose 18*p + 4068 = 22*p. Suppose -1095 - p = -3*a. Is 11 a factor of a?
True
Let a(l) = -419*l + 984. Is 15 a factor of a(2)?
False
Let q be 306/21 + 16/(-28). Suppose -3*g = -4*l + q, 2 = 2*g - g. Does 11 divide (-7 - -3) + l + 126?
False
Suppose 0 = 5*n - 7*n + 3*t + 17759, -5*n + 5*t + 44415 = 0. Is 70 a factor of n?
True
Suppose 0 = 3*s - 4*y + 177, -3*y + 2*y - 217 = 4*s. Let l = -15 - s. Let r = l - 32. Is r a multiple of 3?
False
Suppose -11 = -4*h + i, -2*h + 19 - 27 = 4*i. Suppose -3*j + 1572 = h*r, -2*r = j + 172 - 700. Is 18 a factor of j?
True
Suppose 10*c = -11*c + 42. Suppose -4*o + 4 = 0, -4*o = l - c*o - 52. Is l a multiple of 34?
False
Let q(d) = d**3 + 28*d**2 - 5*d + 16. Suppose 140 = 343*j - 348*j. Does 7 divide q(j)?
False
Is 5 a factor of 6 + 14/35*(-6085)/(-1)?
True
Let t(f) = 225*f**2 - 30*f - 82. Is 163 a factor of t(-3)?
False
Suppose -375 = t - 4*t. Suppose -t = -3*m + 2*o + 34, 2*m - 3*o = 101. Let g = m + -40. Does 15 divide g?
True
Does 177 divide (2076/7)/(13*42/9555)?
False
Suppose 110320*g + 97920 = 110340*g. Is 102 a factor of g?
True
Let z(i) = -2*i**3 - 9*i**2 + i + 6. Let c be (-9 + 3)/(3 - 2). Let o be z(c). Suppose -4*x - 2*h + 139 = -29, -2*x + o = -5*h. Does 44 divide x?
True
Let x(u) = -12*u - 6*u**2 + 16*u - 9*u + 1 - u**3. Let n be x(-5). Let s(w) = 50*w**3 + 3*w - 2. Does 10 divide s(n)?
False
Suppose -95*h + 18 = -92*h. Suppose 2*u + 1520 = h*u. Is u a multiple of 76?
True
Is (1903/(-5))/((-2667)/1905 - (-12)/10) a multiple of 17?
False
Suppose 49*r = 39*r + 72580. Is r a multiple of 38?
True
Let v be (-840)/(-50)*(-3 + 31/2). Let u = 273 - v. Is u a multiple of 9?
True
Is (1/(3/(-78)))/((-12 + 4)/912) a multiple of 13?
True
Suppose -13*x = x + 70. Is ((-1010)/(-4))/(33/6 + x) a multiple of 70?
False
Does 52 divide 2 + 6644 + 40 + -52 - 11?
False
Suppose -32*t + 24*t + 32 = 0. Suppose -t*h = -2*h + u - 116, 5*u = -10. Is 43 a factor of h?
False
Suppose -18882 = 18*t - 27*t. Does 25 divide (0 - t/(-4)) + 28/56?
True
Let o(d) = 4*d**2 - 13*d - 5. Let u be o(14). Suppose 3*g + 0 = 9. Is 31 a factor of (0 + u)*1/g?
False
Let b(u) = 9*u - 53. Let r be (-13)/(-1)*(48/8 + -5). Is b(r) a multiple of 9?
False
Let r(n) = 31*n**3 - 2*n**2 - 6*n - 3. Let j be r(-2). Let b = 401 + j. Is b a multiple of 22?
True
Suppose 0*l - 4*n = 4*l - 36, 5*n + 27 = l. Does 28 divide 98315/420 - 1/l?
False
Let l(s) = s**2 - 6*s - 14. Suppose 58 - 52 = -u. Let a be l(u). Let h = -51 + a. Is 2 a factor of h?
False
Let m(i) = -33*i**3 + 3*i**2 - 6*i. Is m(-3) a multiple of 39?
True
Let d = -14777 + 21797. Does 6 divide d?
True
Suppose -5*z - 59902 = -3*t, 5*z = -5*t - 756 + 100606. Is t a multiple of 6?
False
Suppose -13*f + 14*f = -171. Let n = 417 + f. Is 7 a factor of n?
False
Let o be 1 - (6 - 2) - 374/(-22). Is ((-208)/o + -4)/((-2)/7) a multiple of 66?
True
Let r(t) be the third derivative of -t**5/10 + 5*t**4/24 - 2*t**3/3 + 27*t**2. Let h be r(2). Is 12 a factor of (-849)/h - (-1)/(-6)?
False
Suppose -5*c + x - 255 = 46, 4*x = 5*c + 289. Let v = -60 - c. Is 24 a factor of 45/v + (-3)/(-2)*-2?
False
Let i be (41/1)/((-25)/50). Let a = 998 + i. Is a a multiple of 32?
False
Let h be (8/10)/(4/10). Let c(r) = 5*r**2 + 102*r - 117. Let l be c(-23). Suppose 0*p + b - l = -h*p, 356 = 4*p - 2*b. Is 30 a factor of p?
True
Is 2 a factor of -28*2*(-12)/96 - 848/(-1)?
False
Let u = -304 - -429. Let y = -81 + u. Is 26 a factor of y?
False
Let b(r) be the second derivative of 7*r - 3/2*r**3 + 0 - 12*r**2. Does 30 divide b(-6)?
True
Suppose -5*q = -2*x + 1168, -3*q - 2*x + 936 = -7*q. Is (-4)/(-12) - (q/6 - -1) a multiple of 5?
False
Let b(j) = -2*j**3 - 4*j**2 + 2*j - 5. Let h be b(-3). Let f(q) = -q**2 + 3*q + 38. Is 5 a factor of f(h)?
True
Let q = 79 + -124. Let x = -44 - q. Let f = 18 + x. Does 19 divide f?
True
Suppose 593*o = 602*o - 126387. Is o a multiple of 21?
False
Let p = 16766 + -12454. Is 28 a factor of p?
True
Let x = 468 + -460. Suppose -x*i = -5*i - 3*n - 3576, -3*n = 4*i - 4747. Is i a multiple of 42?
False
Let h(m) be the second derivative of -m**4/12 - 7*m**3/2 - 17*m**2 + 20*m. Let p be h(-19). Suppose p*i - 3 = 65. Is i a multiple of 6?
False
Suppose 3*m - 290 = -104. Suppose -6370 - m = -6*a. Is a a multiple of 16?
True
Suppose -4*o - 2*c + 262 = 0, -o + 55 = -0*o - 3*c. Suppose 0 = n + 3*t - 35, -2*n + t = 5*t - o. Is (0 - 4) + -2 + n a multiple of 4?
True
Suppose 5*x - l - 4584 = 0, -x = 4*l - 322 - 620. Is 18 a factor of x?
True
Let a(k) be the second derivative of k**4/12 - 5*k**3/3 + 875*k**2/2 - 10*k. Is a(0) a multiple of 35?
True
Suppose -62*z = -70*z + 7832. Does 9 divide z?
False
Let i(h) = h**3 - 10*h**2 + 7*h - 10. Let q(d) = 2*d**2 - 4. Let g be q(-2). Suppose -2*p + 22 = 3*n, n - 3*p = g*n - 18. Does 15 divide i(n)?
True
Let o(z) = -z**2 + 22*z + 201. Let y be o(-7). Does 25 divide 75/(y/(144/(-8)))?
True
Suppose -188*i = -192*i - 24, -5*i + 4884 = s. Is s a multiple of 26?
True
Let v(u) be the first derivative of 2*u**3/3 - 13*u**2/2 + 24*u + 13. Is v(5) a multiple of 9?
True
Let p(f) = 19 - 8*f - 9*f + 35*f + 155 - 10*f. Is 9 a factor of p(0)?
False
Let r(w) be the first derivative of 17*w**2/2 - 14*w - 69. Is r(9) a multiple of 22?
False
Let g(l) = 6*l**2 + 73*l + 3. Let z be g(-13). Suppose -65*s + z*s - 810 = 0. Is s a multiple of 15?
True
Suppose -63375 = 6*t - 21*t. Suppose -5*c + t - 1690 = 0. Is 13 a factor of c?
True
Suppose 4*h - 4*t = 13940, -1082 - 9369 = -3*h - t. Let b = h + -2364. Is 16 a factor of b?
True
Let r(m) = m**3 - 6*m**2 + 5*m + 16. Let j be r(6). Suppose -z - a + 120 = 0, -z + j = -4*a - 69. Is z a multiple of 6?
False
Suppose -14*l - 9 = -17*l. Suppose -4*q + 138 = l*h, 5*q - 3*q = -2*h + 92. Does 12 divide h?
False
Suppose 1 = -3*l + 2*s + 3, 4*s = -16. Let g be ((-28)/(-5))/(-4*l/20). Does 3 divide 176/g - (-33)/77?
False
Let l = 18140 - 136