 3*j = -4*k + 692. Is k a multiple of 27?
False
Let l(y) be the second derivative of 2*y**3/3 - y**2 + y. Suppose 3*s + 4 = 13. Is 10 a factor of l(s)?
True
Let f(c) = -c + 15. Let t be f(3). Is 8 a factor of 1*72*8/t?
True
Suppose 0 = n + u - 16, u = -5*n - 0*u + 88. Let f be (n/27)/(2/(-3)). Does 12 divide 1*18 + 2 + f?
False
Does 6 divide 2140/(-9 + (12 - 1))?
False
Suppose 3*b - 1443 = -5*i, 4*b + 284 = 3*i - 2*i. Does 36 divide i?
True
Suppose -5*b + 677 = 4*y, 188 = -16*y + 17*y - 5*b. Is y a multiple of 8?
False
Let t = 624 + 360. Is 18 a factor of 26/(-91) - (-2 - t/14)?
True
Is 4 a factor of (16/(-3))/((-4)/6)*62?
True
Is (279/(-18) + 2)*-38 a multiple of 24?
False
Let s = -39 - -64. Suppose 0 = z - 5*t - 23, -3*z + 3*t = -s + 4. Suppose 92 = z*l - 31. Does 14 divide l?
False
Suppose -6*h - 400 = -550. Does 2 divide h?
False
Let r(p) = 11 + 33 + 70*p - 104*p. Is r(-6) a multiple of 31?
True
Suppose -38*b + 46*b - 4992 = 0. Is 13 a factor of b?
True
Let s(q) = -q**3 + 28*q**2 + 6*q - 113. Does 9 divide s(23)?
False
Suppose -5*t = -2*y - 770, -4*t = t - 3*y - 765. Is t a multiple of 26?
True
Let g(d) be the third derivative of -d**6/120 + d**5/30 + d**4/24 - d**3/6 + 12*d**2. Is 19 a factor of g(-4)?
False
Suppose -152 = -4*q - 9*j + 11*j, 32 = q - 2*j. Let w(x) = 22*x**3 + 2*x**2 + 2*x + 1. Let f be w(-1). Let d = f + q. Does 7 divide d?
False
Suppose -2*l + 0*k + 4*k - 56 = 0, -5*l - 5*k - 170 = 0. Let g = -28 - l. Suppose -i + s + 70 = 0, -g*i + 310 = 2*s - 0*s. Is i a multiple of 15?
True
Suppose -g - 5*b = -4*g + 393, 636 = 5*g - 2*b. Is g a multiple of 18?
True
Suppose -2*q + 85 - 355 = -v, 0 = -4*q + 4. Does 9 divide v?
False
Let m(v) = -56*v - 17. Does 25 divide m(-7)?
True
Let g(p) be the third derivative of p**7/2520 + 23*p**6/720 + 11*p**5/60 - 7*p**2. Let i(m) be the third derivative of g(m). Is 12 a factor of i(12)?
False
Let v = 1276 - 727. Is v a multiple of 9?
True
Suppose 2*u - 24 = 18. Suppose 0 = -0*v - 3*v + u. Let d(z) = z**2 - 2*z - 12. Is d(v) a multiple of 4?
False
Suppose -1498 = -6*l + 20. Does 6 divide l?
False
Suppose -5*k + 4*k = 0. Suppose -2*p - 5070 + 414 = k. Does 13 divide p/(-30) - 4/(-10)?
True
Let r(k) = k**3 + 12*k**2 + 11*k + 2. Let o be r(-11). Suppose 0 = -3*l + 3*d - d + 56, -52 = -3*l - o*d. Is l a multiple of 9?
True
Suppose -3*g + 94 = -281. Suppose 4*l - g = 367. Is l a multiple of 18?
False
Let y = 911 - 571. Is 68 a factor of y?
True
Suppose -3*t + 438 = -270. Does 47 divide t?
False
Let j be -65 - (4 - 1 - 1). Let c be (-2)/(-4)*0 + j. Let z = -41 - c. Does 8 divide z?
False
Let s = 662 - 407. Is s a multiple of 40?
False
Let t(h) = 43*h**2 - 20*h + 33. Let g be t(2). Suppose -3*x - 3*f + 8*f - 300 = 0, 5*x = 5*f - 490. Let d = x + g. Does 14 divide d?
True
Let y = -6 - -78. Let k = 82 - y. Does 10 divide k?
True
Let n = 193 - 132. Suppose u = 2*j + n, j - 2*j + 2 = 0. Let b = -14 + u. Is b a multiple of 19?
False
Suppose 3*j + 3*y - 1956 = 0, -y = -67 + 63. Is j a multiple of 4?
True
Let u be 0/(2 - 4 - -3). Suppose u = 4*n + 2*r - 300, -5*n + 375 = 5*r - 4*r. Is n a multiple of 15?
True
Let q(z) be the first derivative of -z**4/4 + 4*z**3 + 3*z**2/2 - 2*z - 4. Let h be q(7). Is 11 a factor of ((-1)/3)/((-8)/h)?
True
Is 51 a factor of (-102 - -524) + (8 - -1)?
False
Suppose -26*r = -12*r - 1960. Is r a multiple of 35?
True
Let x = 760 + -200. Is 40 a factor of x?
True
Suppose p + 2*d = 434, 0 = 4*p + d + 944 - 2673. Is p a multiple of 27?
True
Suppose c + 0 = -6. Suppose 3*n = -2*r - r - 3789, r + 1265 = n. Does 13 divide r/(-96) - (-1)/c?
True
Suppose 2*f + 2*t = f + 67, 5*t + 216 = 4*f. Let y = 18 + -48. Let l = f + y. Is l a multiple of 23?
False
Let j = 107 + -53. Suppose -y - 13 = -j. Is 15 a factor of y?
False
Let j(k) = -112*k + 21. Is j(-3) a multiple of 45?
False
Let f(k) = -14*k - 1. Let u be f(1). Let r be 3/4 - 1725/92. Let s = u - r. Is 3 a factor of s?
True
Is 58/(-6)*(35 - 128) a multiple of 5?
False
Let f be (-6 + 4 + 37)*-5. Let d = 262 + f. Is 22 a factor of d?
False
Is -4 + 2 + -57*4/(-6) even?
True
Suppose -15*b + 3081 = -12*b. Is 15 a factor of b?
False
Let d be 15/5 + -11 + 4. Does 3 divide d*(57/(-12) + -2)?
True
Suppose -5*x + i = 5*i - 12, 3*x - 9 = -3*i. Is 24 + -27 - (x + -189) a multiple of 24?
False
Let w(a) = 2 - 15*a - 4 + 11*a**2 - 21*a**3 + 22*a**3. Is w(-12) a multiple of 11?
False
Let f = -56 - -57. Does 21 divide (-2)/(f*(-1)/111)?
False
Let h = 47 + -10. Let a(y) = 4*y + 10. Let v be a(-4). Let z = h - v. Is 14 a factor of z?
False
Let s be 4/(-2) - -3 - -2*39. Suppose -r = -2*z + 4*r + s, 4*r + 4 = 0. Is z even?
False
Let l = 599 - 119. Is l a multiple of 12?
True
Suppose 30 = -2*j + 8*j. Let t(r) = 9*r**2 - 4*r + 1. Is t(j) a multiple of 13?
False
Let z be ((-3)/6)/(3/(-60)). Let t = z - -11. Is 5 a factor of t?
False
Let v(u) = 4 + 17*u + 0 + 0*u**2 + 2*u**2 - u**2. Does 21 divide v(-19)?
True
Suppose -13 = 2*h - 21, 2*n + 8*h - 3364 = 0. Is 92 a factor of n?
False
Let p be (-1560)/(-132) + (-2)/(-11). Let q be (p/(-10))/(8/(-20)). Suppose -5*z = 3*g - 4*g + 30, 2*g = q*z + 46. Does 13 divide g?
False
Suppose 5*o = 35 + 60. Suppose 0 = -2*s - 0*s - 14. Let r = s + o. Is 4 a factor of r?
True
Suppose 5*b = 277 + 343. Let a = -75 + b. Is a a multiple of 6?
False
Is 13 a factor of ((-504)/63)/((-6)/3813)?
False
Suppose -5 = -7*h - 26. Let m be -27*48/27*h. Suppose y + 2*y - m = 0. Is 12 a factor of y?
True
Let p = -601 - -1048. Is 15 a factor of p?
False
Suppose -3*g + 13 = -2*g + h, 5*h + 16 = 4*g. Is 7 a factor of 312/g*(3/6 - -1)?
False
Let t = -12 + 15. Let l = t - -2. Suppose -21 = -l*n + 234. Does 13 divide n?
False
Suppose 1520 = 212*h - 210*h. Is h a multiple of 76?
True
Suppose 2*i - 128 = -6*i. Suppose -320 = 11*u - i*u. Is u a multiple of 5?
False
Let z be (-374)/(-55) + 2/10. Does 42 divide -2*(2877/(-6))/z?
False
Suppose -5*y + 4345 = 4*v, v - 1085 = -8*y + 7*y. Does 36 divide v?
True
Let r(w) = w**3 + 20*w**2 - w - 45. Is 5 a factor of r(-10)?
True
Is 28 a factor of 4/(-16) - (-1 - (-9505)/(-20))?
True
Suppose -5*a + 6 = 6*h - 4*h, a + 12 = 4*h. Suppose h*k - 90 = -0*k. Is k a multiple of 30?
True
Suppose -52*d + 55*d = 1143. Is d a multiple of 13?
False
Let i be (-20)/(-4)*(-771)/(-15). Suppose 2*q - 3*n = 96, -5*q = 3*n - 25 - i. Is 18 a factor of q?
True
Let f be -8*(8/(-1) - -4). Suppose 80 = -27*y + f*y. Is y a multiple of 8?
True
Suppose -4*w + 2*a - 31 - 9 = 0, 5*a = w + 10. Let s = w - -12. Is 14 a factor of ((-222)/(-24))/(s/8)?
False
Suppose 0 = s - 3*r, 4 - 9 = 2*s - r. Is 5 a factor of (s + -1 - -35) + -1?
True
Let t(b) = -73*b**3 + 22*b**2 + 20 + 74*b**3 + 34*b - 10*b. Let s be t(-21). Let d = 76 - s. Does 30 divide d?
False
Let d be (-3*1)/((-5)/15). Suppose 3*p = -d + 81. Let g = p + -1. Does 16 divide g?
False
Suppose -4*z - c = -z - 636, -3*z + 636 = 5*c. Does 3 divide z?
False
Suppose 18*z = 20*z + 8. Is z*(((-18)/(-4))/3 - 2) even?
True
Let r be (1*-3)/(15/(-20)). Suppose 3*j + m - 39 - 52 = 0, -5*m = 2*j - 65. Suppose v + j = r*v. Is v a multiple of 5?
True
Suppose -363 = 2*v - 2171. Is 14 a factor of v?
False
Let a = -16 + 19. Suppose -3*m - 108 = -a*z - 2*z, -4 = -z + 5*m. Let s = 29 - z. Does 5 divide s?
True
Let t be (147/14)/((-6)/40). Let w = 101 + t. Is (-2)/2*(-4 - w) a multiple of 14?
False
Suppose 5*z = -4*p + 519 + 1193, -z + 3*p + 331 = 0. Is 5 a factor of z?
True
Let m be 216/14 - (-45)/(-105). Let n = m + 5. Does 10 divide n?
True
Suppose p = 5*p - 16. Suppose 29 = p*o - 19. Is 9/o*-2*-12 a multiple of 6?
True
Suppose -2*z + 70 = 3*z. Suppose u + 1 = z. Is 13 a factor of u?
True
Let a(x) be the second derivative of x**4/12 + 7*x**3/6 + 11*x**2/2 - 7*x. Let i(v) = -3*v + 35. Let l be i(14). Is a(l) a multiple of 3?
False
Let y(a) be the third derivative of a**5/15 + a**4/4 - 2*a**3/3 + 24*a**2. Is 18 a factor of y(2)?
False
Suppose 70 + 108 = y - 4*c, 5*y + 3*c - 821 = 0. Let f = y - 89. Is 4/(-14) - (-869)/f a multiple of 11?
True
Suppose -9*a + 2735 = -424. Is 11 a factor of a?
False
Let p(z) = -124*z**2 - 5*z + 31. Let m(q) = 25*q**2 + q - 6. Let i(h) = 11*m(h) + 2*p(h). Does 17 divide i(-2)?
True
Suppose 7*v - 5*v = 0. Suppose v = -4*z + 2*z. Let m(j) = -j**3 + j**2 + j + 6. Is 4 a factor of m(z)