rue
Let f(w) be the second derivative of 10*w**3/3 - 19*w. Does 5 divide f(4)?
True
Let i(u) = -15*u**3 - u**2 + 1. Let m be i(1). Let j be (-7)/(m/(-12) - 1). Let n = -10 - j. Is n a multiple of 17?
False
Suppose 2*x + 34 = 2*j, 4*j + 12 = -3*x + 66. Suppose -6*q - 810 = -j*q. Is 30 a factor of q?
True
Suppose 511 = 2*o + 3*q, 0 = -5*o + 2*o + 2*q + 747. Does 24 divide o?
False
Let h(j) = -4*j**2 - 17*j + 1. Let k be h(-4). Suppose 16*x = k*x + 1661. Is 12 a factor of x?
False
Suppose -2*v = -8*v + 1344. Does 28 divide v?
True
Let f be (-48)/(-26) + 22/143. Suppose 176 = f*z - h - 137, 492 = 3*z + 3*h. Suppose z = 4*j + 27. Is j a multiple of 11?
True
Let d(s) be the third derivative of s**5/60 + s**4/12 - s**3/3 - 8*s**2. Is 3 a factor of d(-6)?
False
Let w be (-6)/10 + 513/(-95). Is 17 a factor of (-4075)/10*w/15?
False
Let z be (0 + 2)/((-4)/22). Let d = z - -16. Suppose d*c - 205 = 5. Does 14 divide c?
True
Let u(v) = -v**3 + 10*v**2 - 15*v - 2. Let f be u(8). Does 12 divide 4/f - 2130/(-45)?
True
Let b = -48 + 44. Is 15 a factor of 96/(-40)*50/b?
True
Let o be (-2)/(-3) + (-16)/(-12). Suppose -o*g = 0, -2*c + 10 = 3*c - 2*g. Is 19 + (1 - -2 - c) a multiple of 10?
True
Let h(u) = 3*u + 32. Let z be h(-10). Suppose 3*w + 3*r - 108 = 0, -z*r = -4*w + 3*w + 24. Does 16 divide w?
True
Let n(j) = j**2 + 18*j + 25. Let s be n(-17). Suppose s*w - 348 = 564. Does 23 divide w?
False
Let z(q) = -q**3 + q**2 + 16*q - 18. Is 27 a factor of z(-8)?
False
Let j be 3 + -4 - (0 + -9). Let k be (-7 + j)/(1/52). Suppose 2*o - 162 = -k. Is o a multiple of 11?
True
Let l(i) = i**2 + 8*i - 76. Is 8 a factor of l(18)?
True
Let m be (12 - 0)/((-2)/6). Let r be (-9)/m + 342/8. Suppose -5*t = -3*x + 95, 2*t - r = -2*x + 15. Does 7 divide x?
False
Suppose -5*s - 408 = -3*p, -4*s + 250 = 4*p - 2*p. Is (-3)/(-12)*0 - (-1 - p) a multiple of 24?
False
Suppose -4*t + 1059 = -2*o + 93, t - 3*o - 249 = 0. Is t a multiple of 40?
True
Suppose -2*q - q + 84 = 0. Suppose -8*t = -244 + q. Is 9 a factor of t?
True
Let t = -159 + 350. Does 12 divide t?
False
Suppose 2*o + 3*a = -35 + 146, 10 = 2*a. Does 48 divide o?
True
Let p(l) = l**3 - 10*l**2 - 10*l - 6. Let o be p(11). Suppose -o*j + 45 = -0*j. Does 3 divide j?
True
Let g(b) = 3*b**2 - 8*b + 4. Let c = -26 + 21. Is g(c) a multiple of 11?
False
Let c(o) = -2*o**3 + 4*o**2 + 28*o - 8. Is 19 a factor of c(-5)?
False
Let o = 68 + -35. Suppose l - o = -4*v + 2*l, 0 = 2*l + 2. Is 8 a factor of v?
True
Suppose -786 = -y - 252. Is y a multiple of 89?
True
Let w(t) = t + 1. Let x be w(9). Let u = 15 + -12. Is ((-30)/x)/(u/(-32)) a multiple of 16?
True
Let k(w) be the first derivative of 20*w**3/3 + w**2/2 + 6. Let r be 9/(-18)*2*1. Does 4 divide k(r)?
False
Suppose 5*s - 2*z - 25 = -4, z = 2*s - 9. Suppose 3 = s*a + 3*b, 0 = 5*b - 5 - 10. Is (-536)/(-32) - a/8 a multiple of 12?
False
Is 21 a factor of (0 + 126/(-8))/((-3)/36)?
True
Suppose -2*q + h - 17 = -3*q, -5*q = -h - 55. Suppose -2*m + 100 = -q. Is 8 a factor of m?
True
Let u(s) be the third derivative of -s**5/30 - 11*s**4/24 + 5*s**3/3 + 5*s**2. Let g be u(-6). Let i(l) = l**3 - l**2 - 4*l - 4. Does 4 divide i(g)?
True
Suppose 7143 = 35*m - 24042. Is m a multiple of 37?
False
Let q(h) = h**2 - 9*h - 14. Let x be q(10). Let c(i) = i**3 + i**2 + 2. Let l(w) = 2*w**3 + 8*w**2 - 3*w + 6. Let s(t) = -c(t) + l(t). Is s(x) a multiple of 16?
True
Is 1 + -4 + (19 - -1410) a multiple of 16?
False
Suppose 0 = x + 603 + 503. Does 18 divide (-8)/48 + x/(-12)?
False
Let w(c) = 2*c**2 + 2 + 4*c + 9 - 4. Does 12 divide w(5)?
False
Let m(o) be the third derivative of o**5/30 - o**4/8 + o**3 + 3*o**2. Is 5 a factor of m(6)?
True
Let j(f) = -5*f**3 - f**2 + f + 1. Let d be j(-1). Suppose 4*a + 7 = p, 3*p + a - 4 = -d*a. Suppose -p*x = 2*x - 120. Does 8 divide x?
True
Suppose -2*i - 48 = z, 3*z - 98 = 4*i + 4*z. Does 18 divide i*1*6/(-5)?
False
Suppose 220 = 4*n - 2*u - 3614, n - 4*u = 948. Is n a multiple of 42?
False
Let k be 2786/(-77) - ((-6)/33 + 0). Is 112*(10/12 + (-24)/k) a multiple of 14?
True
Let a = 42 - -102. Is 36 a factor of a?
True
Suppose -468 = -2*d - 2*n, 2*n - 643 = -5*d + 536. Suppose -5*q + 128 = -d. Is q a multiple of 16?
False
Let w(z) = -z - 2. Let i be w(-5). Let d(k) = 3*k**3 - 3*k**2 + 7. Is d(i) a multiple of 15?
False
Let u(g) = 6*g**2 - 2*g - 2. Let w be (4/20)/((-2)/(-20)). Does 18 divide u(w)?
True
Let k(c) = 3*c**3 + c**2 - 1. Let f be k(1). Let a(y) = -y**2 - y + 10. Let p be a(-3). Suppose f*t + 3*i = 60, -88 = -3*t + p*i - 0*i. Is t a multiple of 16?
False
Is 39 a factor of (-1 - -6)*1*534/10?
False
Does 37 divide ((-635)/25 - 1)/((-3)/10)?
False
Suppose -1245 + 6825 = 3*x. Is x a multiple of 60?
True
Let x = -41 + 289. Is x a multiple of 63?
False
Is (7 - -252)*2 + 1*4 a multiple of 29?
True
Suppose -5*x - 48 = -2*d, 0*x + 4*d - 46 = 5*x. Let j = 16 + x. Suppose -18 + j = -4*f. Does 2 divide f?
False
Let q = -19 + 9. Let l(c) = -2*c - 4. Let k be l(q). Let a = 2 + k. Is 6 a factor of a?
True
Let v(z) = -10*z + 104. Let k be v(15). Let n(r) = -9*r - 1. Let h be n(3). Let p = h - k. Is 5 a factor of p?
False
Let o(a) = -2 - 9*a**2 + 3 - 2*a**2 + a**3 - 2. Let k be o(11). Let g(h) = -42*h - 1. Is 13 a factor of g(k)?
False
Let x(a) = 4*a**2 - 21 - 7*a**2 + 2*a**2. Let t be x(0). Let i = t + 29. Does 5 divide i?
False
Let m(x) be the second derivative of 109*x**3/6 - x**2 - 5*x. Does 30 divide m(1)?
False
Suppose -5*q = 4*p - 683, 2*q = -3*q + 4*p + 667. Is 45 a factor of q?
True
Suppose -3*z = -2*x + 26 - 152, z - 3*x = 35. Does 3 divide z?
False
Let r(f) = f**3 + 14*f**2 - 13*f - 28. Let m be 2/7 - (-2 - (-570)/35). Is 14 a factor of r(m)?
True
Suppose 28*z - 17280 = -8*z. Is z a multiple of 48?
True
Let i = 293 - -251. Let o = i + -277. Does 21 divide o?
False
Let x = 1763 + -1043. Suppose -7*h + x = 41. Is 15 a factor of h?
False
Let v(f) = -f**3 + 36*f**2 - 47*f + 55. Is 27 a factor of v(34)?
False
Let b = -55 + 81. Suppose -24*g - 108 = -b*g. Is 11 a factor of g?
False
Let p(y) = -y**2 + y + 1. Let d(i) = -i**3 + i**2 + 4*i - 3. Let g(k) = d(k) + 4*p(k). Is 10 a factor of g(-5)?
False
Suppose -12785 - 9369 = -22*t. Is 24 a factor of t?
False
Suppose 3*p - 4102 = 296. Does 41 divide p?
False
Suppose 24 = -5*c - p, c + 2*p + 2*p + 20 = 0. Is -5*(207/(-15) + c) a multiple of 5?
False
Let r(z) = -z**2 + 5*z + 5. Let c be r(7). Let m be 2/6 + (-42)/c. Suppose -4*o = -2*o - 6, 0 = m*a - 4*o - 528. Does 36 divide a?
True
Does 12 divide 4248/15 + (12/(-30))/2?
False
Let h = 112 + 24. Is h a multiple of 5?
False
Let i(h) = -h**2 + 16*h - 36. Is i(5) a multiple of 4?
False
Suppose 9*n - 509 = 868. Is 21 a factor of n?
False
Let u = 41 - -83. Suppose -3*z + 164 = -u. Is 24 a factor of z?
True
Let j = 525 - 294. Is 7 a factor of j?
True
Suppose 1012*s = 1001*s + 5401. Does 20 divide s?
False
Suppose -2*p - 5*s = 26 - 66, -s = -3*p + 60. Suppose 4 = -a + 3*l - 8, a - p = -5*l. Is 17 a factor of (a + 0 + -29)/(-1)?
False
Is 5 a factor of 305 + 12/16 + 4/16?
False
Let k be ((-26)/(-10) - 2)/(5/50). Let p = 6 + k. Is p a multiple of 2?
True
Suppose 44*s = 22*s + 2486. Suppose -2*m + 4*m + 160 = 0. Let w = s + m. Does 9 divide w?
False
Let q(b) = b**2 + 8*b - 16. Is q(12) a multiple of 5?
False
Let b(g) = 7*g**3 - 3*g**2 + 8*g + 6. Is 24 a factor of b(3)?
True
Let t = -15 - -26. Suppose 5*o - 8 = 3*o. Suppose -21 - t = -o*c. Does 7 divide c?
False
Does 14 divide (-633)/((4/12)/((-2)/6))?
False
Let o = 0 + 0. Suppose 3*i + 2*i - 15 = o. Suppose 0*g = -i*g + 240. Is 22 a factor of g?
False
Let w be (-5)/1*(-16)/10. Suppose w*y - 10*y = -24. Does 12 divide 6/9 + 268/y?
False
Let y be (-4)/(-18) - 8/36. Does 12 divide 104 - -49 - (y - 6)/2?
True
Suppose -2*d + 4*d + 18 = 4*r, r = 2*d + 9. Does 29 divide d*(-2)/(-9)*-87?
True
Suppose -26*d + 28*d = 24. Does 43 divide -6*(d/15 + 1214/(-30))?
False
Suppose 2*s = -3*i - 138, -5*i + 2*s - 255 = -3*s. Suppose -7*r - 63 - 42 = 0. Does 21 divide i/(-10)*r/(-2)?
False
Let u be 8*(11/(-4) + 3). Suppose 3*y - u*c - 38 = 9, -c - 61 = -4*y. Let f = -8 + y. Does 7 divide f?
True
Let g = -20 - -12. Let y = 11 + g. Suppose y*z = 2*d - 41, 5*d + 4*z - 48 = 4*d. Is 14 a factor of d?
True
Let g(m) = -9*m + 63. Is g(-12) a multiple of 9?
Tru