ivative of -11*v**2/2 + 18*v + 11. Suppose 5 = -5*f + 3*z - 31, -24 = 2*f + 2*z. Is 46 a factor of s(f)?
False
Let p(r) be the first derivative of 3*r**2/2 + 15*r + 68. Does 39 divide p(21)?
True
Suppose -2*n = -4*z + 130, 3*z + 10*n - 95 = 12*n. Suppose 37*f - z*f - 68 = 0. Is f a multiple of 34?
True
Let q be (3/(-2))/(-3) - (-87)/(-6). Let b = q + 30. Does 11 divide b?
False
Let x(d) = 1921*d**2 + 106*d - 323. Is x(3) a multiple of 14?
False
Let j be 0 - (6 - (9 - 4)). Let a(m) = -849*m**3 + m**2 + m - 1. Let g be a(j). Let l = -579 + g. Is 40 a factor of l?
False
Let a be (4/4)/1*0. Suppose a = s + s + 28. Does 23 divide 1842/8 + s/56?
True
Let l(y) be the third derivative of -5*y**4/8 + 3*y**3/2 + 37*y**2. Let a be l(1). Is 13 a factor of ((-28)/(-3))/(a/(-27))?
False
Let q = 101 - 96. Suppose 2*o - 2*r = 75 + 51, q*r + 126 = 2*o. Does 9 divide o?
True
Let o = 121 - -64. Suppose 6*m = 2*m + n + 235, -3*m = n - o. Is 10 a factor of m?
True
Is 11 a factor of 3/((-145)/29 + (-162476)/(-32494))?
True
Let j(m) = 2*m - 20. Let h be j(7). Let a be (-926)/h - (-12)/(-36). Suppose 2*f = 4*f - 3*d - a, -4*f + 4*d = -300. Is f a multiple of 16?
False
Suppose -4*w = -4*d - 8, 14 = 3*w + 2*d - 7. Suppose 5*y + 96 = 2*s + 4, w*y = 3*s - 148. Is 14 a factor of s?
True
Let b = -333 + 339. Suppose 5933 = b*u + 11*u. Does 46 divide u?
False
Let q(p) = -45*p - 40. Let r be q(-8). Is 74/(6 - r/55) a multiple of 11?
True
Let w(m) = 31*m - 1203*m**2 - 3 - 6 + 1213*m**2. Is 44 a factor of w(-7)?
True
Suppose -4 = -5*i + 2*u + u, -2*i = -2*u. Suppose 0 = i*p + 17 + 1117. Does 9 divide 20/(-6)*p/105?
True
Let t = -87 - -78. Let z(x) be the third derivative of -x**6/120 - x**5/6 - 11*x**4/24 + 6*x**2. Is z(t) a multiple of 4?
False
Let j = 9517 + -5454. Is j a multiple of 10?
False
Suppose 0 = -9*b + 27 + 9. Suppose 3*h = b*m - 49, 0 = 2*h - 2*m + 31 + 3. Is (-6 - h/3)/((-1)/(-258)) a multiple of 6?
False
Suppose -332776 = -251*h + 38202. Does 5 divide h?
False
Suppose 0 = -11*i + 24*i - 52. Suppose -i*o + 421 = -59. Is 7 a factor of o?
False
Suppose -9*w + 2*w = 448. Let p = -64 - w. Suppose -4*b + 2*o + 3*o + 390 = p, b - 102 = -o. Is 10 a factor of b?
True
Is (92/(-28) - -3 - 0) + (-166330)/(-35) a multiple of 63?
False
Let i(r) = -1335*r - 4724. Does 10 divide i(-33)?
False
Suppose 3*h + k = 12028, -h - 2*k = -1618 - 2398. Is 13 a factor of h?
False
Let i(x) = -x**3 + 2 + 9*x - 18 + 8 - 6*x**2. Does 12 divide i(-8)?
True
Let p(b) = -35*b + b + 23*b. Does 9 divide p(-18)?
True
Let k(j) = -27*j**3 + 28*j**3 + 2*j + 2 + 3*j**2 - 4*j**2 - 1. Let x be k(-2). Is 45 a factor of (-108)/x*-1*(-29 + 4)?
True
Suppose 60 = 2*o + 2*k, -33 = -5*o + 4*o - 2*k. Suppose -o*y - 198 = -25*y. Let z = y + 185. Is z a multiple of 15?
False
Let f(x) = -5*x + 14. Let v be f(-22). Suppose -o - 16 - 14 = -w, 3*o + v = 4*w. Is 5 a factor of w?
False
Let n(s) = 59*s**2 + 5*s - 189. Is 15 a factor of n(11)?
True
Let i(y) be the third derivative of y**4/12 - y**3 + 13*y**2 - 2. Let n = 12 + -5. Is 4 a factor of i(n)?
True
Let g(q) = 3*q**2 + 13*q - 30. Let a be g(2). Is (1418/a - 2) + (-70)/56 a multiple of 9?
False
Suppose 124*z - 3284684 = 59*z - 48*z. Is 159 a factor of z?
False
Let g = 31 - 27. Suppose -p = -2*o - 574, 523 = -g*p + 2*o + 2831. Suppose 6*n = -50 + p. Does 22 divide n?
True
Let t(x) = -x**3 + 7*x**2 - x + 8. Let c be t(7). Let k(j) = -1. Let i(l) = -29*l + 6. Let w(f) = c*i(f) - 6*k(f). Does 9 divide w(-2)?
False
Let g(v) = 35*v**3 - 3*v**2 + 7*v + 11. Is 5 a factor of g(3)?
True
Let v be (-1 - 2) + (-8)/3*-3. Let d(k) = k - 12. Let a be d(14). Suppose -v*o = -2*i + 93, o - 5 + a = 0. Is i a multiple of 20?
False
Suppose 7*y = 5*y + 17*y. Suppose y = 5*d - d, 609 = 3*j - 4*d. Suppose 0 = 2*r + s - j, 0 = -3*r - 3*s + 207 + 96. Is r a multiple of 34?
True
Let g = 548 - 286. Let d(x) = -x**2 - 10*x + 18. Let l be d(-11). Suppose l*n = 5*n + g. Is 15 a factor of n?
False
Let o(p) = 141*p + 256. Is 19 a factor of o(6)?
True
Suppose 23*g + 8552 - 102119 - 81969 = 0. Is g a multiple of 18?
True
Suppose -3*i - 1 = 2*t - 10, -4*i - 5*t = -12. Let p(x) = 41*x**2 + 6*x + 3. Is 5 a factor of p(i)?
True
Let x be (-16*5/(-120))/((-2)/(-15)). Suppose -457 = -x*d - 3*h + 164, -237 = -2*d - 5*h. Is 11 a factor of d?
False
Let x = -15 + -4. Let h = x + 85. Suppose k = -4*y + 2*k + 247, -h = -y - 4*k. Is 11 a factor of y?
False
Suppose -5*a + 6*i - 11*i = -19490, 11687 = 3*a - 4*i. Is 40 a factor of a?
False
Let j = 137 + 393. Suppose -3*f + 2*i - 18 = -j, -5*i + 148 = f. Does 24 divide f?
True
Suppose 0 = 5*n - 8*p + 4*p - 14016, 0 = 2*n + 2*p - 5592. Does 9 divide 36/((-3)/7 + 1620/n)?
False
Let w = 14 - 18. Let f(y) = 7*y + 25. Let u be f(w). Let v(s) = -s**2 - 6*s - 4. Is v(u) a multiple of 3?
False
Let n = 13048 - 10990. Is 11 a factor of n?
False
Suppose 7*y = -5*t + 3*y + 60, -5*y - 24 = -2*t. Suppose 3*o = 2*d - t, -d = o + 4*o - 19. Is d a multiple of 9?
True
Is -1 - (-1 + 92690/(-20) + (-3)/2) a multiple of 47?
False
Let o(j) = -3*j + 39. Let l be o(13). Suppose -2*z + 440 = -l*z. Suppose d = 5*d - z. Does 8 divide d?
False
Let i = -2749 + 2807. Suppose 0 = -4*u + 6 + 2. Suppose 4*s - u*s + 3*r = 16, 5*s = -3*r + i. Is 14 a factor of s?
True
Let b(y) = -y**3 + 30*y**2 - 109*y + 12. Is b(9) a multiple of 6?
True
Let f = -6672 + 6794. Is 7 a factor of f?
False
Let a = 13 + -9. Let c be (-4)/(-8) + 14/a. Suppose c*f - 5*i - 314 = 0, -2*f + 3*i + 152 = -2*i. Is 27 a factor of f?
True
Let k(q) = 10*q + 16. Let a be k(6). Is 19 a factor of (a/(-5))/((-28)/70)?
True
Let f = 703 - 366. Suppose 5*w = -f + 537. Is w a multiple of 5?
True
Is 2 a factor of (2397/(-102))/(2/(-548))?
False
Suppose 19*a - 16*a - i = 24800, -5*i + 41360 = 5*a. Does 13 divide a?
True
Suppose 8*p - 7*p - 5 = 0. Suppose -51 = -4*i - 5*y, -3*y + 2*y = -p*i + 71. Is 1 - -1 - (i*99)/(-7) a multiple of 27?
False
Let x = 182 + -177. Suppose h - 4*h - r + 693 = 0, x*h + 2*r = 1156. Is h a multiple of 16?
False
Let z(s) = 169*s**2 - 11*s - 67. Let n be z(-4). Let c = n - 1289. Is 20 a factor of c?
False
Suppose -2*j - 2*d + 640 = 3*j, 640 = 5*j + 5*d. Let z = j - 180. Let i = 13 - z. Does 13 divide i?
True
Suppose -4*s + 288 - 244 = 0. Suppose s*g = 12*g - 2. Is 2 a factor of g?
True
Let u = 17 - 15. Suppose -5*o + 359 = 2*r, -4*r - 7*o + 713 = -u*o. Does 22 divide r?
False
Let p(w) = 125*w - 493. Is 10 a factor of p(22)?
False
Let r(k) = -4*k + 73. Let d be r(10). Suppose 0 = -d*n + 38*n - 1085. Does 25 divide n?
False
Is 63 + -59 + 1842*(0 - (-93)/9) a multiple of 32?
False
Let y(r) = -302*r + 592. Is y(-7) a multiple of 66?
True
Let m(t) be the third derivative of -t**4/24 + 7*t**3/6 + 15*t**2. Let a be m(4). Suppose -2*j + 37 = a*q, -16 = -q - 2*j + 5*j. Does 6 divide q?
False
Suppose 0 = -2*q + 2, 0 = 26*v - 31*v + 5*q + 2380. Is v + 20/6*12/(-8) a multiple of 19?
False
Let c(m) = m**3 - 20*m**2 - 190*m + 77. Is c(31) a multiple of 40?
False
Suppose -920 = -3*g - 4*p, -6*g + 5*p + 1475 = -g. Let a = -30 + g. Is a a multiple of 27?
True
Does 8 divide -16 + (43 - 24) + 12026 + (-1 - 0)?
False
Suppose 0*g = 3*w - g + 1354, 2*w = g - 903. Let j = w + 589. Does 31 divide j?
False
Let m be 0/((-3 - 2) + 6). Suppose 2*f + 2*n + 2 = m, -2*f - 4*n + 0 = 2. Does 3 divide (-2 - ((-51)/3 - 1)) + f?
True
Suppose 13*m = 24 - 102. Is -6 - 4/(-2) - m - -1037 a multiple of 27?
False
Suppose -171*y = -110*y - 1126548. Is y a multiple of 81?
True
Suppose -k = -3*m - 164, -4*m = 3*k - 52 - 388. Suppose -14*w + k = -12*w. Suppose -z + w = t - 2*z, -3*z - 370 = -5*t. Is 10 a factor of t?
False
Suppose -8*z = 6 - 6. Let n(t) = 4*t + 11. Let v be n(z). Let m(d) = -d**3 + 12*d**2 + 4*d - 3. Is 38 a factor of m(v)?
False
Let d(b) = b - 12. Let c be d(9). Let j(m) = 2*m**3 + 2. Let g be j(c). Let s = 77 + g. Is s a multiple of 16?
False
Let a(c) = c**3 - 14*c - 6*c**2 - 4 + 6*c + 17. Let z be a(7). Suppose z = -r + 18. Does 3 divide r?
True
Suppose 0 = -5*p + 2*g + 14, -2 = 3*p - 5*g - 18. Suppose -p*a = i - 36, 3*i - 83 - 15 = -4*a. Is 7 a factor of i?
False
Let h be (-84)/(-36) + (4/6 - 0). Let p be h/(-12) - 68/(-16). Suppose 0 = p*y - 4, -3*y = -3*q + 2*y + 58. Does 2 divide q?
False
Let a(b) = -284*b - 2633. Is 4 a factor of a(-24)?