-4*l + f, 4*l - 5*w = 370. Is 19 a factor of l?
True
Suppose 672*c - 247 = 673*c. Let f = c + 349. Does 5 divide f?
False
Let p be 1424/14 + (-12)/(-42). Suppose c - 6*c = -140. Suppose -5*r + p = -c. Does 26 divide r?
True
Suppose 1129*t - 8085 = 1134*t. Let q = t + 2591. Is 14 a factor of q?
False
Suppose 9*q = -10*q + 1596. Is 80 a factor of 19*((-251)/(-4) - (-21)/q)?
False
Suppose -14*g + 4938 + 42144 = 0. Does 150 divide g?
False
Let n(l) be the third derivative of 23*l**4/12 + 89*l**3/6 + 59*l**2. Is 13 a factor of n(4)?
True
Suppose 5*z + 3*p = 5080, 84*p = -z + 81*p + 1028. Is 20 a factor of z?
False
Let f be 2793 - (-4)/((-24)/(-18)). Suppose 0 = 9*y - f - 1020. Is 26 a factor of y?
False
Let y(h) = 7*h**3 - 32*h**2 + 11*h - 80. Let l(t) = -4*t**3 + 16*t**2 - 5*t + 40. Let v(q) = 5*l(q) + 3*y(q). Does 11 divide v(16)?
True
Let d(b) = 9*b**2 - 2*b - 3. Let r be -45 - (2 + -2)/(4 - 6). Let n = 48 + r. Does 6 divide d(n)?
True
Let x(r) = -r**3 - 24*r**2 + 64*r + 272. Does 10 divide x(-28)?
False
Suppose -3*y + 2421 - 458 = 4*a, -2*a - 1332 = -2*y. Let l(b) = -b + 6. Let m be l(6). Suppose -5*w + 2*n = -y, 3*w + m*w - 390 = -n. Is w a multiple of 39?
False
Let j = 49 + -42. Suppose 3*o - 9 = -0*o + q, -o - j = 3*q. Suppose 139 = 3*w + 4*z, o*z = 5*w + z - 247. Is 4 a factor of w?
False
Suppose 3*k - 4*x + 12 = 0, -x + 1 + 2 = k. Suppose 12 = -m - 30. Is -1 + (k - -37) + 42 + m a multiple of 9?
True
Let w = 80119 + -37183. Is 112 a factor of w?
False
Let n(r) = 7*r**3 - 5*r**2 + 9. Let g be n(-4). Let x = g + 567. Does 8 divide x?
True
Let z(o) = -o**3 - 4*o**2 + 5*o + 7. Let x be z(-5). Suppose x*k = -3*k + 16960. Is 32 a factor of k?
True
Suppose -11*i + 8*i + 1035190 = 62*i. Is 221 a factor of i?
False
Let r(k) = 3*k + 38. Let z be r(-12). Suppose -3*o = z*v - 622, 3*o = 3*v + 72 + 555. Is o a multiple of 16?
True
Let o(p) = -p**2 + p. Let d(r) = -4*r**2 + 15*r + 3. Let q(i) = -d(i) + 5*o(i). Let v be q(-10). Is 74/5 + v/(-15) a multiple of 5?
True
Let k be 3*3/(-27)*-2913. Let v = -693 + k. Does 43 divide ((-20)/40)/((-1)/v)?
False
Let z(f) = -9714*f + 892. Is z(-2) a multiple of 20?
True
Does 32 divide ((-360)/24)/(-90) + 90239/6?
True
Let r(m) be the first derivative of m**6/120 - m**5/5 + m**4 - 23*m**3/6 + 7*m**2/2 + 4. Let c(b) be the second derivative of r(b). Is c(10) a multiple of 3?
False
Let w(c) = -c**3 - c + 76. Let s be w(0). Let q = s + -75. Is (q + -4 - -89) + 2 a multiple of 22?
True
Is 10 a factor of (-11 - -37) + (2264 - -2)?
False
Let u(y) = 80*y**2 + 136*y + 33. Does 37 divide u(-10)?
False
Suppose 5*u + 1259*w - 20245 = 1257*w, -5*u - 4*w = -20255. Does 20 divide u?
False
Is 9 a factor of -3*(-1400920)/(-15)*(-36)/288?
False
Let n be 4/(-6)*10/(10/417). Let s = n - -326. Is 16 a factor of s?
True
Let i = 27577 - 14167. Does 149 divide i?
True
Let o = 48 + -42. Suppose -196 + o = -19*c. Does 61 divide 4/c*1 + (-14553)/(-55)?
False
Let u(g) be the second derivative of g**5/20 + 3*g**4/4 + 3*g**3/2 + 4*g**2 + 5*g. Let v be u(-8). Suppose v = 5*m + s - 621, -5*s = -4 - 1. Does 12 divide m?
False
Suppose 5*y = -3*w + 25, 3*w - y + 5*y = 20. Suppose -4*x + 656 = 4*m, -6 = 2*x - w*x. Suppose 3*v + m = 5*g, -2*g = 4*v + 10 - 82. Is 26 a factor of g?
False
Let h(s) = 2*s**2 + 35*s - 573. Is 33 a factor of h(-47)?
False
Let n(o) = o**3 - 12*o**2 + 22*o - 14. Let k be n(10). Let i(b) = 18*b**2 - b - 8. Is 41 a factor of i(k)?
False
Let b(m) = 96*m + 1106. Does 175 divide b(14)?
True
Suppose 0 = 4*i - 3*a - 7978, -68*i - 10001 = -73*i - a. Is 6 a factor of i?
False
Is 56 a factor of (1323 - 3)*((-55)/(-5) + 3)?
True
Let q be (-12 - (-12 + 2)) + 2*3511. Suppose q = 4*n + 14*n. Does 6 divide n?
True
Let l = 4845 - -25969. Is l a multiple of 217?
True
Suppose -2*j = -5*r + 30717, -5*r = 5*j + 8098 - 38773. Is 30 a factor of r?
False
Let v = -864 - -1398. Let x = v - -775. Is 17 a factor of x?
True
Is 10 a factor of -536*(-12)/8*(-15)/(-9)?
True
Suppose 4*r - 5*k = 12, 2*k - 24 = -3*r + r. Does 5 divide 34 - (6/2 - r)?
False
Suppose -62*m = -1720 - 1256. Is 64/m + (-2956)/(-6) a multiple of 38?
True
Suppose -4*b = 5*c - 35, -7*c + 2*c + 40 = 5*b. Suppose -c*t - 3192 = -6*t. Suppose -m - w = -6*w - 254, 4*w - t = -4*m. Is m a multiple of 44?
True
Suppose -5*c + 198055 = 4*p, -64*p + 61*p = -2*c + 79245. Is c a multiple of 12?
False
Suppose 12*f - 9*f + 2*f - 25090 = 0. Is f a multiple of 26?
True
Let b(k) = -1 - 3*k - 2 + 4 + 2*k**3. Let c be b(2). Does 7 divide (10 - -1)*(c + -6)?
False
Let a = -8088 - -15942. Is 66 a factor of a?
True
Does 12 divide 4/(-12) + 381710/28 + (-3)/18?
True
Let w(x) = -x**3 + 6*x**2 - 5*x - 8. Let m be w(4). Does 86 divide (11*2/m)/((-79)/(-5846))?
False
Suppose 20 = -2*p - 14. Let u(m) = -m**3 - 10*m**2 - 6*m + 11. Let a(w) = -3*w**3 - 29*w**2 - 17*w + 32. Let g(l) = p*u(l) + 6*a(l). Does 5 divide g(-4)?
True
Let x(f) = 65*f - 5. Let r be x(4). Suppose 0*h = -5*h - 5*c + r, -3*c = 2*h - 106. Suppose h - 412 = -5*o. Does 5 divide o?
False
Is 6 a factor of (-4)/((-749)/5355 - (-6 + (-440)/(-75)))?
True
Suppose 4*z = 50*z + 37*z - 1255541. Does 20 divide z?
False
Let v(c) = 355*c - 60. Let m be v(12). Suppose 6*q = 10*q - m. Does 14 divide q?
True
Suppose -11669940 = -687*f + 552*f. Is 11 a factor of f?
False
Let y(f) = f**3 - 6*f**2 - 17*f + 79. Let a be y(4). Is 5 a factor of (a + 7)/2 - -847?
True
Let r = 48 - 45. Suppose 0 = -r*m - m + 592. Suppose -5*v + 5*n = -100, -5*v + 2*n = -m + 42. Is 16 a factor of v?
False
Let x(j) = 100*j - 129. Let o = -224 + 230. Is 19 a factor of x(o)?
False
Let b = 13163 - 8004. Does 6 divide b?
False
Let h(g) = 951*g - 9603. Does 56 divide h(29)?
True
Let i be (-9)/(-2)*(-40)/(-30). Let m(l) = -i*l + 7 + 6*l - 8*l + 12*l**2 - 19. Is 12 a factor of m(-3)?
True
Let f(s) = -s - 9. Let m be f(-11). Let z be (-6)/15 + m/5. Suppose -2*j - 160 = -3*r + r, z = -r + 3*j + 90. Is r a multiple of 19?
False
Is (-1)/(-2) - (57127/(-14) - -13) a multiple of 14?
False
Let b(t) = -3*t**2 + 125*t - 69. Let k be b(41). Suppose k*l - 7*l = 6162. Is 79 a factor of l?
True
Let s(r) = -r**3 + 25*r**2 + r - 25. Let p be s(25). Suppose p = -123*n + 122*n + 528. Is 8 a factor of n?
True
Let h be (((-4)/(-6))/((-12)/(-18)))/(-1). Let w(t) = -595*t - 9. Does 20 divide w(h)?
False
Let d be 2360/(-196) - (-176)/4312. Let j be 83/3 - (-4)/(-6). Is ((-209)/44)/(j/d + 2) even?
False
Does 14 divide (-1748 - 6)/(-1 - (-3 + 3))?
False
Suppose -16 = -8*i + 8. Suppose -3*c - q = 2*c + 463, 0 = 5*c - i*q + 451. Let v = c + 134. Is v a multiple of 11?
False
Is 101/((4 - -2 - 7)/(-22)) a multiple of 101?
True
Suppose -11 = -a - 5*i, 3*a = -i - 3 - 6. Does 10 divide (-32)/(-64) - (606/a + 2)?
True
Let h(b) = -747*b - 2292. Is 8 a factor of h(-12)?
True
Suppose 272 = 2*j + 3*a, 0*a - 395 = -3*j + 2*a. Suppose 171 = -8*k - j. Let o = 106 - k. Is 18 a factor of o?
True
Let d(o) be the first derivative of -o**4/4 - 3*o**3 - 5*o**2 - 18*o + 64. Is d(-10) a multiple of 13?
True
Let f(m) = 71*m**2 + 88*m - 123. Does 28 divide f(13)?
True
Let x be 2/5 - (-152415)/25. Suppose 9*r + 4*r - x = 0. Is 7 a factor of r?
True
Let i(o) = 2*o**2 - 17*o + 87. Is 4 a factor of i(13)?
True
Let h(p) = 3*p**3 + 0*p**2 + 15*p**3 - 3*p**2 + 4*p**2. Let v be (10/(-6) - -2) + 30/18. Is h(v) a multiple of 37?
True
Let s(u) = -12*u - 6*u**3 - 6*u**2 - 12 - 3*u**3 - 2*u**3 + 10*u**3. Let q be s(-4). Suppose 2*p - g - 234 = 0, q*p + 3*g - 145 = 333. Does 20 divide p?
False
Let z be (-1 - 6/(-14))*-7. Suppose 0 = 3*g - 51 - 54. Suppose -z*a = -u - 4 - 6, 2*u = -3*a + g. Does 3 divide u?
False
Suppose 0 = 4*a + 999 - 15135. Suppose 23*p - a = 14153. Is p a multiple of 23?
False
Let g = -6094 + 10774. Does 104 divide g?
True
Suppose i + 5*s - 4*s - 4 = 0, 0 = 2*i - 5*s + 27. Let f(a) = -a**2 - 27*a - 112. Let z be f(-12). Does 16 divide i/(-1) - (5 - z)/1?
True
Let v(q) = -3*q**3 + 16*q**2 + 12*q + 2. Let g be v(6). Is 16 a factor of 326*3/12*g?
False
Let b be 2/2*19222/7. Suppose -b - 1524 = -7*h. Is h a multiple of 16?
False
Is 10 a factor of (-8)/(-10) + 3815148/690?
True
Let b = 3910 + -2690. Is b a multiple of 10?
True
Let z(s) = -s**3 - 8*s**2 + 2*s + 12. Let u be z(-8). Let y(g) = -85*g - 37. Let r be y(u). Suppose r = 5*j - 462.