 Does 11 divide j(-21)?
True
Suppose 4*t - 278 = 398. Does 3 divide t?
False
Let o(y) = 32*y**2 + 3*y + 2. Let t be (6/2 - 4 - -2)*-2. Does 31 divide o(t)?
True
Let w = -6 + 10. Suppose 5*k - 4 = w*k. Suppose k*j = -j + 320. Is j a multiple of 16?
True
Suppose -371 = -6*g + 943. Is 26 a factor of g?
False
Let l = -98 + 117. Let i be (1*-8 - -1) + 0. Let x = i + l. Does 6 divide x?
True
Let w = 287 - -42. Does 15 divide w?
False
Let t = 23 + -19. Let a = t - -23. Does 27 divide a?
True
Let g = 105 + -309. Let l = g - -384. Suppose -18 = h - l. Does 33 divide h?
False
Let o be 100/15*(-12)/(-10). Suppose 0 = 2*x - 0 - o. Suppose -x*y + 49 = -79. Is y a multiple of 8?
True
Suppose 3 + 312 = -5*u. Let c = -48 - u. Is c even?
False
Let m be (-81)/(-6)*12/9. Let f(p) = 2*p + 16. Is 16 a factor of f(m)?
False
Let l be (3 - (-2)/(-4))*2. Let c(p) be the third derivative of p**5/15 - p**4/3 + 2*p**3 + p**2. Does 24 divide c(l)?
True
Is 43 a factor of -10 + 70*217/14?
True
Is 2/((-65)/(-40) + 3/(-2)) a multiple of 4?
True
Let z(c) = 2*c**2 + 58*c + 8. Is z(-29) a multiple of 7?
False
Suppose -n - 3*p + 8 = 0, -23 = n - 5*n - 3*p. Suppose 0 = -6*c + c - 4*u + 124, -4*c + n*u = -132. Suppose -c = -z - z. Is z a multiple of 14?
True
Suppose 2690 = 4*i - 2*z, -i + 4*z = -3*i + 1350. Is 12 a factor of i?
False
Suppose -2*o + 6*o = -24. Let r be (3/o)/((-4)/16). Suppose u = -2*u - r*b + 23, 0 = 3*u - b - 20. Is u a multiple of 2?
False
Let i(v) = 2*v + 41. Let g be i(-18). Let m(s) = s**2 - 4*s - 1. Let a be m(5). Suppose 4*b - 16 = -a, 3*k - 135 = g*b. Does 25 divide k?
True
Let j(d) = -22*d + 38. Let i be j(5). Is 10 a factor of (-2 - i/30)*350?
True
Let x(a) = -17*a**2 + a - 9. Let k be x(-4). Let b = k - -501. Does 17 divide b?
False
Does 22 divide (204/(-10))/((-58)/10150)?
False
Suppose 3*r = 2*p + 557, -3*r + 556 = p - 2*p. Let y = r - 45. Is y a multiple of 14?
True
Suppose -z - 2*r + 53 = 0, -2*z = -3*r - 2*r - 70. Suppose 0 = 33*q - 28*q - z. Does 9 divide q?
True
Let d = 235 + -150. Is d/(-1)*12/(-30) a multiple of 10?
False
Let x = 13 + -12. Let i be ((-6)/8)/(x/(-20)). Suppose 0 = 3*k - 0*k - i. Is k a multiple of 2?
False
Suppose 0 = -15*t + 16*t - 252. Does 16 divide t?
False
Let h(p) = -p**2 - 17*p + 4. Let v be h(-18). Is ((-20)/(-2))/((-2)/v) + 2 a multiple of 18?
True
Suppose g - 3*g + 162 = 0. Does 30 divide g/(0 - 2 - (-14)/4)?
False
Let z(i) be the third derivative of 3*i**4/8 + 8*i**2. Let f be z(2). Suppose -w = -3*w + f. Is 2 a factor of w?
False
Let q(x) = 2*x + 9. Let d be q(4). Suppose -4*p + 15 = -d. Does 3 divide p?
False
Let y(s) = -16*s + 50. Suppose -2*q + 5*k = -4, -2 = 2*q - 3*k + 2. Does 14 divide y(q)?
False
Suppose 2*w - 834 - 430 = 0. Is w a multiple of 8?
True
Let r = -264 - -278. Suppose 5*y - n = -28, 2*n + 32 = -4*y - 2*n. Let u = r + y. Is u a multiple of 4?
True
Is (6 + -6 - 5) + 219 + 4 a multiple of 4?
False
Let i(w) = 2*w**3 - 2*w**2 + 5*w - 11. Is i(7) a multiple of 9?
True
Let d = 612 - 352. Does 10 divide d?
True
Let x be 10/25 - (-33)/5. Suppose x*n = 12*n - 220. Is n a multiple of 22?
True
Let g(v) = 28*v - 21. Does 11 divide g(20)?
True
Suppose -h - 18 = f - 5*f, 5*f + 3*h = 14. Suppose -f*d + 4 = -2*d. Let t = 21 + d. Does 14 divide t?
False
Suppose 2*a = 318 + 162. Suppose -4*t + 2 = 18. Does 18 divide (a/(-70))/(t/42)?
True
Let r(a) = -a**2 - 5*a + 3. Let w be r(-4). Let b be ((-56)/10)/(w/(-35)). Let c = -21 + b. Does 7 divide c?
True
Let h = -9 - -18. Suppose -3*r - h = -6*r. Suppose -32 = r*p - 185. Is 27 a factor of p?
False
Suppose -1306 = 31*n - 34*n + m, 2*n - 2*m = 868. Is 21 a factor of n?
False
Let i(l) = 3*l**3 - l**2 - 2*l + 1. Let j be i(-2). Let s be 664/(-72) + (-8)/(-36). Let z = s - j. Is 13 a factor of z?
False
Let l(q) be the first derivative of 25*q**2/2 - q + 29. Let v be (-6)/(-4)*2 - 2. Is l(v) a multiple of 21?
False
Let w(i) = i**3 - 2*i**2 + 2. Let d(j) = -j**2 + 2*j + 2. Let g be d(2). Let f be w(g). Let o(l) = 14*l**2 - 4*l. Does 28 divide o(f)?
False
Is (-50)/75 + (0 - (-4378)/6) a multiple of 19?
False
Let x(o) = -96*o + 26. Let b be x(8). Is 9 a factor of 1 + b/(-6) - (-12)/9?
True
Let o = 2650 - 2530. Does 8 divide o?
True
Let o = -253 + 277. Let f = -4 - -7. Let h = f + o. Is h a multiple of 6?
False
Let w(b) = -b**3 - 3*b**2 - 4*b - 4. Let q be w(-3). Let l = q + -3. Suppose k = 1, l*u - 27 = 3*u + k. Is 14 a factor of u?
True
Let k be (2*(8 + -3))/2. Suppose 0 = -u - k. Let s(b) = b**3 + 6*b**2 + 3*b + 4. Does 7 divide s(u)?
True
Let k = 1282 - 507. Is k a multiple of 26?
False
Let z = -1149 - -1629. Is 32 a factor of z?
True
Suppose 0 = -16*r + 22*r - 732. Let u = r - 50. Is 18 a factor of u?
True
Let c(v) = 2*v**2 + 62*v + 119. Let a be c(-29). Let q be 1/((-2)/4)*-10. Suppose a*n + q = 7*n. Does 5 divide n?
True
Suppose -41*z = -12*z - 13717. Is 43 a factor of z?
True
Suppose 12 = 4*f - 2*d, 0 = -4*d - 14 - 2. Is ((-351)/234)/(f*2/(-300)) a multiple of 15?
True
Suppose -5*h - w + 5*w + 146 = 0, -w = -5*h + 149. Let v = -58 + h. Let a = 52 + v. Does 16 divide a?
False
Let g be 1/((-7)/(-2) + -4). Is 13 a factor of g/(-12) + 22/12 + 24?
True
Suppose g - 3*g + 299 = x, 0 = 5*g + 3*x - 746. Is 8 a factor of g?
False
Let j(i) = -3*i**2 + i + 1. Let a = 8 - 9. Let f be j(a). Let s(y) = y**2 - 1. Is 7 a factor of s(f)?
False
Suppose 0 = -5*f - y + 580, 0*f - 3*y + 570 = 5*f. Is f a multiple of 22?
False
Suppose -8 = -k - 68. Let p = k + 112. Suppose 0 = -9*t + 10*t - p. Is 26 a factor of t?
True
Suppose 5*b - 2*m + 4*m = 6283, -5*b + 4*m = -6259. Is b a multiple of 90?
False
Let m(r) = -r**3 + 10*r**2 + 15*r - 12. Let x be m(11). Suppose -28 = -3*k + x. Suppose 5*d = k + 130. Does 15 divide d?
True
Let l be 5*(-2)/8*-4. Suppose -313 = -l*m - 13. Does 30 divide m?
True
Suppose -5*n = 25 - 15. Let c be -4 + (2 - (n - 3)). Suppose -c*q - 5*j - 24 = -77, 4*j - 60 = -4*q. Is 3 a factor of q?
False
Let g(r) = r**3 - 10*r**2 + 6*r - 7. Let j be g(9). Is -2*2 - (12 + j) a multiple of 4?
False
Suppose 2 = m + 4. Let u be 4/(m + 30/14). Suppose 110 = l - u. Does 28 divide l?
False
Suppose -o - 2*f + 13 = 0, -o + 0*f + 2*f - 7 = 0. Suppose 609 = 5*m - 4*k, -5*m = -k + 2*k - 604. Suppose d + d = o*y + m, -5*d + 4*y = -292. Does 14 divide d?
True
Let n(u) = 7*u**3 - 12*u**2 + 17*u + 11. Is n(6) a multiple of 36?
False
Let b(u) = -3*u**3 - 2*u**2 + 3. Let j be b(-1). Suppose 0 = r - t - 28, -63 = -j*r + t + 46. Is r a multiple of 4?
False
Is 5/5*(-2 - (-51 - -6)) a multiple of 3?
False
Suppose 4*x + 3*i - 33 = 0, -2*x - 4*i = 2*x - 36. Let z be (1 - 1)*3/x. Suppose 2*u = -0*u + 4*b + 80, z = 5*u + 4*b - 144. Is u a multiple of 8?
True
Let n be ((-6)/(-4)*-1)/((-3)/(-6)). Does 53 divide n/1 - (-11)/(11/268)?
True
Suppose -11*v + 2448 = v. Is 12 a factor of v?
True
Is 10 a factor of 126/630 + (2328/(-10))/(-1)?
False
Suppose 5*l - 11 - 14 = 0. Let v(a) = a**2 - 3*a + 9. Is v(l) a multiple of 6?
False
Let n = -407 + 1242. Does 15 divide n?
False
Suppose -5*r = -y - 371, y - 8 = -y. Is 24 a factor of r + (-5)/(5/2)?
False
Suppose 38*r - 5424 = 34*r. Is 21 a factor of r?
False
Let d = -168 - -158. Let v(i) = 13 - i**3 + 6*i + 6*i + 0*i**3 - 8*i**2. Does 31 divide v(d)?
True
Does 12 divide 5362/14 + (-9)/1?
False
Suppose 8*u = 4*u + 152. Let x = u - 35. Does 13 divide 182/21*(6 - x)?
True
Let v(m) = 5*m - 4. Let t be v(-8). Let n = 2 + 0. Does 13 divide (2/1)/n - t?
False
Let x be 8*((-15)/(-4))/5. Suppose a - x - 70 = t, 3*a - 2*t = 232. Suppose -3*y + a = y. Is 6 a factor of y?
False
Suppose 8 + 34 = -2*f. Let k = f + 22. Does 3 divide ((-1)/(-2))/(k/6)?
True
Suppose -x + 3212 = -4*r + 14789, 2*r - x = 5789. Does 42 divide r?
False
Let p(g) = 37*g + 98. Does 32 divide p(6)?
True
Suppose 0 = -10*a + 6*a + 96. Suppose 1 = -3*k - 4*v, -k + 5*v + a = -1. Suppose 4*n = 5 + 3, n = -k*g + 82. Is g a multiple of 8?
True
Let i(m) be the second derivative of 3*m**3 + 2*m**2 + 7*m. Is 8 a factor of i(2)?
True
Suppose 5*m - 22*m = -6579. Does 46 divide m?
False
Let l = -815 + 892. Does 7 divide l?
True
Let h = -36 - -15. Let o = h - -27. Suppose d + 145 = o*d. Is d a multiple of 9?
False
Suppose -2*r + 363 = -3*b, r - 25*b = -27*b + 164. Does 20 divide r?
False
Let d = 1435 + -952. Is d a multiple