
Let c(w) be the third derivative of 119*w**4/24 - 5*w**3/6 + w**2. Suppose -14 - 18 = 9*s - 41*s. Is 23 a factor of c(s)?
False
Let n be (0/(-6))/(1*-2). Suppose 0 = 10*f - n*f - 1350. Is 5 a factor of f?
True
Let t(k) = -2*k**3 + 27*k**2 + 36*k + 688. Is 15 a factor of t(-22)?
True
Suppose -54*t + 231006 = -552858. Does 76 divide t?
True
Suppose 106*w - 309210 - 690692 + 166212 = 0. Does 19 divide w?
False
Suppose 300*q - 301*q + 1 = 0. Does 3 divide (8 + -12 + 7)*(q + 2)?
True
Let i = 674 - 396. Let p = -25 + i. Is 27 a factor of p?
False
Suppose 3*r = -2*r + 30. Let p be (r/12 + 1)/(6/404). Let u = p - -32. Does 6 divide u?
False
Suppose -73 = -c - 289. Let v be (-14)/(-42) + 2414/(-6). Let u = c - v. Is 13 a factor of u?
False
Is (-5)/(-1)*(3 + -4331*1/(-5)) a multiple of 82?
True
Suppose -58262 = -41*m + 39*m + 5*i, m - 3*i - 29133 = 0. Is m a multiple of 14?
False
Let g(r) = 150*r**2 - 2*r + 5. Is 5 a factor of g(3)?
False
Let m(o) = 373*o**2 - 13*o + 32. Is m(3) a multiple of 36?
False
Let b(g) = 5*g - 21. Let i be b(-7). Let h = -41 - i. Suppose h = -3*x + 6*x. Is x even?
False
Let l(a) be the third derivative of -a**6/10 - 2*a**5/15 - a**4/4 + a**3/3 + 2*a**2 + 169. Is l(-5) a multiple of 18?
True
Let w(u) = -8*u**3 - 3*u**2 - u - 1. Let j(f) = 4 + 5*f + 10 - 2 - 7*f. Let z be j(7). Is w(z) a multiple of 21?
False
Suppose 5*i = -d - 4*d + 965, -3*d + 963 = 5*i. Let q be (-3 - -6 - -11) + (3 - 3). Suppose 16*w - q*w = i. Does 12 divide w?
True
Let w(n) = 17*n**2 - 4*n - 10 + 2*n**3 + 3*n**2 - 2*n. Suppose -924*b + 907*b = 153. Does 22 divide w(b)?
False
Let f = 61 + -142. Let x = f + 108. Is 3 a factor of x?
True
Let q = -34777 - -57559. Does 19 divide q?
False
Let a(h) = -h**2 - 10*h + 34. Let j be a(-13). Is 8 a factor of 148 - (7 - (j - -11))?
False
Suppose 0 = -2*h + h + 41. Let q(l) = -27*l - 173. Let v be q(-6). Let x = v + h. Does 15 divide x?
True
Let p = -33426 - -41076. Is 90 a factor of p?
True
Let t(j) = -141*j - 21. Suppose -4*c + 4*o + 12 = 0, 3*c = 12*o - 8*o + 14. Is 36 a factor of t(c)?
False
Let h(l) = 74*l**2 + 5*l + 3. Suppose -13*o + 20 = -3*o. Is h(o) a multiple of 32?
False
Suppose 5*l + 5*u = 24910, 4*l + 2*u + 4967 = 5*l. Suppose -r + 8*r = l. Is 8 a factor of r?
False
Let w = 480 - 321. Let d = w + -125. Let g = 61 - d. Is 9 a factor of g?
True
Suppose 188*k = 72*k + 231652. Is k a multiple of 14?
False
Is 6 a factor of 39413/3 - (-19 + 448/24)?
False
Let g = -13 - -18. Suppose 7 = -3*a - g, -x - 3*a - 9 = 0. Suppose 0 = -2*u + x*h + 25 - 8, -4*h = -4. Is u a multiple of 7?
False
Suppose -83089 - 22011 = -39*c + 488753. Is c a multiple of 84?
False
Let n be 4 + (11/(-33) - 1/(-3)). Suppose 4*c - n*v + 100 = -0*c, 0 = -4*c + v - 103. Let q = 64 + c. Is q a multiple of 5?
False
Let u = -105 - -21. Suppose 5*j = 656*p - 654*p - 214, 0 = 5*p - 4*j - 586. Let a = u + p. Is 19 a factor of a?
True
Suppose 0 = -4*v - y + 10438, 3*y = -3*v - 1376 + 9191. Is v a multiple of 7?
True
Let b be 1*18/(-99)*-11. Let s be (-228)/(-10)*(-5)/(-1). Suppose 152 = 4*o + 5*z, b*o + o + z = s. Is 38 a factor of o?
True
Let a be -16*((-1)/((-16)/(-148)) - -3). Suppose 5*u = -t - 0*t + 50, a = t - 5*u. Is 15 a factor of t?
True
Let l be (-713)/(-23) + 1 + 0. Let c = l - 29. Does 29 divide (c + 1)*(5 + 24)?
True
Suppose 8*o - 3802 = 5*o + 4*i, 0 = -4*o - 4*i + 5032. Suppose 322 = 36*x - o. Does 5 divide x?
False
Is 23 a factor of 6 - 4/3*(-49827)/34?
False
Suppose -25*p + 6*p = 2*p - 161238. Is 3 a factor of p?
False
Suppose -3*z + 6800 = -3*m - 6076, -2*z + m + 8587 = 0. Is 8 a factor of z?
False
Suppose 18*z - 4 = 16*z. Suppose 4*d = 3*s - 220, -3*d + 5*d = -z. Is s a multiple of 18?
True
Suppose -x + u - 6*u + 40 = 0, -4*u = -3*x + 25. Suppose x*q + 4*i = 14*q - 7, 5*i - 10 = 5*q. Does 7 divide (28/q)/((70/135)/(-7))?
True
Let a = 108 - 104. Suppose -5*w + 4*i = -3044, -a*i - 612 = -0*w - w. Is w a multiple of 13?
False
Suppose -3 = -3*s - 4*t + t, 2*s - t = 2. Is 16 a factor of s + -1 + 1178 - (-130 + 129)?
False
Is 38 a factor of (-6)/(-15) - 1727776/(-160)?
False
Let y be 8 - (-2 + 10 + -567). Suppose 6*m = 1575 + y. Is m a multiple of 46?
False
Let f(o) = 82*o**2 - 110*o + 1244. Does 7 divide f(21)?
False
Let t(k) be the first derivative of -k**5/20 + 7*k**4/12 + 11*k**3/6 - 3*k**2/2 - 16*k - 1. Let a(w) be the first derivative of t(w). Is 7 a factor of a(8)?
True
Let p(w) = -11*w**2 - 27*w - 107. Let j be p(-4). Let n = -65 - j. Is 3 a factor of n?
False
Let d(j) = 246*j**2 + 8*j + 7. Let g be d(-1). Let t = g - -19. Is 22 a factor of t?
True
Let s(o) be the second derivative of -o**5/20 + o**4/3 + 5*o**3/6 - 2*o**2 + 9*o + 2. Is 22 a factor of s(-3)?
True
Is 2/(-41) - (-262963935)/33210 - (-1)/(-6) a multiple of 26?
False
Let n be 34/8 + 4 + 85/(-20). Suppose -n*p + 19 = -5*c, 3*c + 2*p + 13 = -16. Let t(h) = -9*h + 7. Is 12 a factor of t(c)?
False
Let q = -6525 - -9459. Is 9 a factor of q?
True
Suppose -89*l = -83*l - 324. Suppose -l = -5*g + 941. Is 12 a factor of g?
False
Let v be -23*(-18)/(-2)*-1. Let x = v + 41. Does 90 divide x?
False
Suppose -3*q + g + 30607 - 8898 = 0, -2*q - 5*g + 14501 = 0. Is 22 a factor of q?
True
Let m(n) = -n**3 + 2*n**2 + n + 109. Let u be m(0). Let k = u - 138. Let d(g) = g**3 + 31*g**2 + 55*g - 29. Is 8 a factor of d(k)?
False
Let i be 2/(-15) - (-11090)/(-75). Let b = -113 + 465. Let z = i + b. Is 34 a factor of z?
True
Suppose 99 - 117 = -9*n. Suppose 0 = -n*p - 5*g + 879, -p - 2*g - 1347 = -4*p. Is p a multiple of 9?
False
Suppose 5*z - 5609 = -276*c + 275*c, 2*z - 16840 = -3*c. Is c a multiple of 30?
False
Let t(y) = 121*y**3 - 2*y**2 + 1. Let v = 48 - 47. Let x be t(v). Suppose 0 = 7*m - x - 104. Is m a multiple of 16?
True
Let o = 1982 + -1447. Does 107 divide o?
True
Let j(k) = 65*k**2 + 3*k - 1. Let h be j(1). Suppose 73 + h = 5*s. Is s a multiple of 4?
True
Let q = -33 - -30. Let p be ((-8)/6)/(1*q/9). Suppose f - p*f = 2*t - 38, -5*t = -5*f - 120. Is t a multiple of 5?
False
Suppose -32 + 39 = -n - 2*b, 0 = -2*n + b - 24. Is -3 + 8 - n/((-66)/(-1764)) a multiple of 21?
False
Suppose -11*z = -135*z - 62*z + 3147678. Is z a multiple of 143?
False
Let n = 1502 + 739. Is 27 a factor of n?
True
Let j(a) = 3*a**2 - 13*a + 843. Does 85 divide j(0)?
False
Suppose 6*g + 2*j - 2659 = 1061, -5*g + 3100 = -j. Is 34 a factor of g?
False
Let h = 8608 + -7852. Does 12 divide h?
True
Let g(c) = c**3 - 18*c**2 - 10. Let o be g(19). Let b = -279 + o. Is 9 a factor of b?
True
Let i(z) = 3*z**3 - 22*z**2 + 8*z - 33. Let l(x) = 4*x**3 - 32*x**2 + 12*x - 50. Let w(n) = -7*i(n) + 5*l(n). Is 2 a factor of w(-7)?
True
Let y be 3/(-6) - (2 - 46/(-4)). Let w(k) = -k**2 - 14*k + 20. Let p be w(y). Suppose 4*r - p = 196. Is 9 a factor of r?
True
Let n be (72/15 - 6)*(-5)/2. Let d(k) = -n*k - 6 + 14 - 1. Is 9 a factor of d(-5)?
False
Suppose 55*t - 59136 = -33*t. Does 16 divide t?
True
Let q = -653 + 340. Let a(h) = 40*h - 2669. Let z be a(64). Let v = z - q. Is 53 a factor of v?
False
Let x = 73 + -104. Let u = x + 34. Suppose -u*p + 303 + 165 = 0. Is 12 a factor of p?
True
Suppose -2130 = -3*w + 3*i, -5*w - 2*i + 3578 = -0*i. Let u = -264 + w. Is 30 a factor of u?
True
Let h(k) = 5*k**2 - 3*k + 2. Let t be h(3). Suppose -11*z = -20*z + 3384. Is z/t - 28/(-266) even?
True
Let b be -674*-2*21/28. Let s = b - 307. Does 44 divide s?
True
Let i(j) = -116*j - 1702. Is i(-68) a multiple of 6?
True
Let v = 4934 - 357. Is v a multiple of 23?
True
Suppose -12 = -b + 2*a, -4*a - 3 = -2*b - 7*a. Suppose -652 = -5*j + 2*r, -b*j = -4*j + 4*r - 280. Does 18 divide j?
False
Suppose -65*v = -69*v + 4704. Suppose v + 1290 = 18*g. Is g a multiple of 22?
False
Let k = 2588 + -1392. Does 52 divide k?
True
Suppose 2*i + 4 - 2 = 0. Let k(y) be the third derivative of 31*y**5/12 - y**4/12 - y**3/3 - 6*y**2 - 222. Is 19 a factor of k(i)?
False
Let x(a) = -2*a**3 + 18*a**2 + 12*a + 21. Let y(q) = -q**3 + 9*q**2 + 6*q + 10. Let d(k) = -2*x(k) + 5*y(k). Let u be d(9). Let n = u - 6. Does 28 divide n?
True
Let i = -2710 - -3770. Is 9 a factor of i?
False
Suppose 4*b - 38455 = 5*o - 1707, 3*b = 37*o + 27827. Does 46 divide b?
False
Let t = -2071 - -8087. Is 64 a factor of t?
True
Suppose 11*w - 4719 = -2*w. Let d = 824 - w. Suppose -3