t + 20. Does 3 divide d(5)?
False
Does 29 divide (-5 - 702)*17/(-119)?
False
Let u be (14/21)/((-2)/(-27)). Suppose 4*b = 5*a + 3111, -25 = -u*a + 4*a. Does 9 divide b?
False
Let o(y) = -50*y - 1843. Let l be o(-41). Let f(a) = -a. Let x be f(-4). Suppose -505 = -x*s + l. Is s a multiple of 39?
False
Let p = 559 + 621. Does 20 divide p?
True
Let s(h) = -h**3 + 8*h**2 + 13*h - 6. Let y(u) = 3*u**3 - 25*u**2 - 39*u + 17. Let v(j) = -11*s(j) - 4*y(j). Does 11 divide v(10)?
False
Let f(d) = 2*d**3 - d**2 - 2*d + 26. Let k be f(-7). Let y = k + 1048. Does 12 divide y?
False
Let v be 69/46*(0 - 4/(-3)). Suppose -w - v*w = -w. Suppose 0 = 5*p - 25, w = 3*k - p - 4*p - 29. Does 18 divide k?
True
Suppose -5*c + 0*c = -5*x + 80, 4*c = 3*x - 49. Let y be 2 + (18/(-15))/((-6)/x). Suppose 3*j = y*i - 240, -2*j = -i + 21 + 34. Is 15 a factor of i?
True
Is 24 a factor of ((-2160)/75)/((-4)/730)?
True
Suppose -25*l + 68 = -1532. Suppose -7*i + l = -3*i. Is 4 a factor of i?
True
Suppose 2*y + 8668 = 3*h, 0 = 3*h + 27*y - 24*y - 8658. Is h a multiple of 38?
True
Let o be 462/(-9) - 2/3. Let t = o + 30. Let g(z) = -5*z - 46. Is 8 a factor of g(t)?
True
Let o(p) = -p**3 + 4*p**2 + 22*p + 11. Is o(-9) even?
True
Is 3226/(-2 + 3) + 6/1 a multiple of 53?
False
Let g(u) = 617*u**2 + 12*u - 24. Let q be g(2). Suppose 4*a = 4*j + q, -2*a = 4*j - 730 - 474. Is 52 a factor of a?
False
Let k(i) be the third derivative of -5*i**4/24 - 4*i**3/3 - 19*i**2. Let j be k(5). Let v = -13 - j. Is 8 a factor of v?
False
Let p(x) = x**3 - 2*x + 2. Let g be p(2). Let y be ((-2)/g)/((-12)/(-72)). Does 25 divide (2345/20 - 0) + y/8?
False
Let m be -3 - (-35 + 3)/(2/6). Let l = 629 - m. Is l a multiple of 33?
False
Suppose 33*b - 32*b + 81 = 2*d, 2*d - 3*b = 75. Is 35 - (-1 + d/7) a multiple of 5?
True
Let u = -34 - -37. Let m(a) = 10*a - 11*a + 3*a**2 - a**3 + 7 + u*a**2. Is m(4) a multiple of 35?
True
Let u(w) = w**3 - 30*w**2 + 8*w + 65. Let b be u(29). Let c = 583 + b. Does 3 divide c?
True
Let q = 15572 - 10992. Is 20 a factor of q?
True
Let u = 563 - -28. Let i = u + -386. Is i a multiple of 5?
True
Suppose -115*b = 60*b. Suppose 5*g = -c + 11, 0*c = -g + 5*c + 23. Suppose b*s + g*s = 375. Is s a multiple of 21?
False
Suppose -c - 45 = -6*c. Let q(a) = c - 16 - a + 5 + 5. Is 4 a factor of q(-2)?
False
Suppose 2*z + 2*y = 14, 4*z - 18 = 2*z - 4*y. Suppose 2*c = -z*r + 247 + 66, -248 = -4*r - c. Is r a multiple of 2?
False
Let s(i) = -i**2 - 16*i + 5. Let r be s(-16). Suppose r*a + 5*m = -30, -6 = 4*a - 5*a - 4*m. Is 4/a + (-424)/(-10) a multiple of 16?
False
Let m be ((-87)/58)/(6/(-16)). Let w be 131 - (m/4 + -3). Suppose 2*u + 45 = w. Is 4 a factor of u?
True
Suppose 9*a + 75 = 21. Let y be (a/8)/((-2)/(-1216)). Is 19 a factor of y/(-16)*(-8)/(-6)?
True
Let v = -2156 + 4276. Is v a multiple of 8?
True
Suppose -492627 - 34647 = -18*f. Does 84 divide f?
False
Suppose 20*x - 143 = 17. Suppose -x*i + 4426 = 674. Is i a multiple of 7?
True
Let p = 686 + -1193. Let w = -174 - p. Is w a multiple of 79?
False
Let n = -72 - -72. Suppose n = -4*c + 16, -4*j = -j - c - 1367. Is j a multiple of 13?
False
Does 23 divide (-94388)/4*(4 - 5) - -8?
False
Let w = 90107 + -29597. Does 241 divide w?
False
Suppose 4*w - b - 1 + 2 = 0, -5*w - 5*b + 30 = 0. Let s(r) = 1 - 1 - 7 - w - 20*r. Is 4 a factor of s(-2)?
True
Let y = 132 + -123. Let s be y + 1 + -6 - (-4)/1. Suppose s*g - 62 = 82. Is g a multiple of 3?
True
Let m(k) = -1833*k + 117. Let c(q) = 141*q - 9. Let h(z) = -27*c(z) - 2*m(z). Let f(u) = u + 1. Let s(l) = 12*f(l) - h(l). Is s(1) a multiple of 12?
True
Suppose -24 = -3*m, n = -21*m + 14*m + 81901. Is n a multiple of 51?
False
Suppose -9*c = -3*c - 210. Suppose -6*g + 7 = -c. Is 31 a factor of (154 - -1)/(7/g)?
True
Does 38 divide (-38532)/169*(-2 + -45)?
True
Let g(w) = -2*w**2 + 6*w + 7. Let u be g(-2). Let d be u/(325/180)*-75. Suppose 6*l = 3*l + d. Does 28 divide l?
False
Let z = 4243 - 3563. Is 170 a factor of z?
True
Suppose -9*h = 2 + 25. Does 6 divide (-757)/h + 1/9*-3?
True
Let h(a) = -a - 7. Let i be h(-10). Suppose -138 = 4*q - i*b - 45, -2*b + 46 = -2*q. Let s = q - -32. Is s even?
True
Suppose 16851*o - 16831*o - 450400 = 0. Is o a multiple of 5?
True
Let a be (-2 + 0)/((-4)/158). Let p be ((-6)/(-10) + (-24 - -25))*25. Let l = a - p. Is 7 a factor of l?
False
Suppose -113*z - 97*z + 666262 = -6821918. Is 14 a factor of z?
True
Suppose 2205 + 207 = -12*t. Let z = 405 + t. Is 17 a factor of z?
True
Is 23 a factor of ((-25)/10)/((-1)/1858)?
False
Let f = -46 - -55. Suppose 2*i - 24 = -f*p + 4*p, -3*p + i + 10 = 0. Suppose p*h - 4*m - 147 = 9, 5*m = 2*h - 69. Is h a multiple of 21?
True
Suppose 5*t = -j + 1247, -j - 4*j - 15 = 0. Let x = t + -190. Does 3 divide x?
True
Is 45 a factor of 54885/5 - 2 - (-3)/1 - 2?
False
Let b = -2986 - -4666. Suppose 0 = -12*f + 3360 + b. Does 14 divide f?
True
Suppose 4*q = t - 3*t + 304, t = 4*q - 316. Let x = 451 - 451. Suppose 2*u - 2 - q = x. Is u a multiple of 20?
True
Let l(r) be the second derivative of -17*r + 2*r**2 - 5/6*r**3 + 0 + 71/12*r**4. Does 10 divide l(1)?
True
Let h = 6 - 3. Let u(f) = -181*f - 85. Let r be u(-2). Suppose h*m - r - 98 = 0. Is 19 a factor of m?
False
Let p(n) = 7*n**2 - 18*n + 35. Does 106 divide p(-18)?
False
Suppose -87 + 67 = -2*f. Suppose 18*b = f*b + 400. Does 6 divide b?
False
Let n be ((-4)/(-7))/((-12)/(-42)) + 67. Let i = n - -162. Does 14 divide i?
False
Suppose 2*t - 54 = f, -3*t + 0*f = -4*f - 81. Suppose -2*z + z - 5*k + t = 0, 20 = -4*k. Is 13 a factor of z?
True
Let q(m) be the second derivative of -m**5/20 - m**4/6 + m**3/6 - m**2 - m - 11. Is q(-6) a multiple of 68?
True
Let s(r) = 2*r**3 - 219*r**2 - 91*r + 808. Is s(110) a multiple of 46?
True
Suppose 4*f = 12 - 0. Suppose 0 = -f*k - k + 12. Suppose -4*r = q - 217, -2*q + 164 = k*r - 0*q. Is 5 a factor of r?
False
Suppose -y + 20 = 12. Suppose -y*u = 151 - 895. Is u a multiple of 4?
False
Let s(q) = 168*q - 31. Let r = -65 + 73. Is s(r) a multiple of 13?
True
Suppose 103*p - 237 - 93 = 803. Is p a multiple of 2?
False
Let f(w) = -2*w**3 + 16*w**2 + 7*w - 3. Let m be f(8). Suppose 2*a = m + 765. Suppose -2*o - 83 = -n - a, -3*o + 3*n = -486. Does 11 divide o?
False
Suppose -29*w - 150 = -59*w. Suppose y - 330 = 2*q, -w*y - q + 2693 = 1076. Is y a multiple of 9?
True
Suppose -y + 126 = -24. Is (-14)/3*y/(-7) a multiple of 5?
True
Is 12 a factor of (-52)/494 - (-5 - 499404/76)?
True
Let l(b) = 53*b**2 + 2*b + 18. Does 19 divide l(-15)?
True
Let c(d) = 630*d - 5. Let j be c(1). Let z = 895 - j. Is z a multiple of 14?
False
Suppose 41 - 31 = -3*y - 4*f, 0 = -5*f - 20. Suppose 6*d = y*q + d - 151, -q - 4*d + 82 = 0. Does 12 divide q?
False
Let c be -3 + ((-21)/(-6))/(6/228). Suppose 4*n + c = -5*l + 404, -n + l = -73. Is 26 a factor of n?
False
Is 6/(-36) - (2/12 - 270860/15) a multiple of 13?
True
Is 23 a factor of 14888/4 - (-8 + 4)?
True
Let s(h) = h**3 - 3*h**2 + 4*h - 1. Let c be s(4). Suppose 4 = -b - n, -b = -2*b - 2*n - 2. Let p = b + c. Does 3 divide p?
False
Let b(v) = -v**3 - v. Let d be b(0). Let l(a) = -2*a + d*a + 7*a - 59. Is 16 a factor of l(18)?
False
Suppose h + 4*h - 215 = -z, z - 83 = -2*h. Let n(b) = -3*b**3 + b**2 - 3*b. Let v be n(3). Let u = h - v. Is 25 a factor of u?
True
Suppose t = 6*t - 60. Suppose 21*c = t*c + 2052. Is c a multiple of 6?
True
Suppose -6*u + 14 = -5*u. Suppose 0 = -u*l + 10*l + 60. Is 2 a factor of l?
False
Suppose 0 = -1102*c + 1090*c + 22920. Is 5 a factor of c?
True
Suppose -l - 8*x + 10*x + 9897 = 0, 0 = -l + 5*x + 9921. Is l a multiple of 41?
True
Does 59 divide 5/(50/(-11472))*(-2 + 5/(-10))?
False
Suppose 0 = -5*v + 11*j - 75*j + 30828, -2*v - 5*j = -12496. Is 4 a factor of v?
True
Suppose -l + 3*r + r = -6199, 80887 = 13*l - 2*r. Is l a multiple of 49?
True
Is 3 + 273/13 + 21 a multiple of 5?
True
Let y(t) = -2*t**2 - 47*t + 20. Let r be y(-23). Suppose 3*w - r = -61. Let s = 77 + w. Is 15 a factor of s?
False
Suppose 10*c = 15*c. Let u(f) = 2*f**2 - f + 287. Let p be u(c). Suppose 2*j = 21 + p. Is 14 a factor of j?
True
Suppose 3*r + 144 = 5*w - 112, 2*w + 2*r - 96 = 0. Let u = w + -44. Does 7 divide 1*(u + -4) + 27?
False
Let o = 11365 + 5249. Does 213 divide o?
True
Let o be (-19329)/(-5