de h?
True
Let j(q) = 2*q**2 + 15*q + 11. Let c be 1/2*(8/(-4) + 8). Does 22 divide j(c)?
False
Let q(o) = 100*o - 52. Is q(6) a multiple of 11?
False
Suppose -160837 = -253*j + 236*j. Is 25 a factor of j?
False
Suppose 4*a - 1119 = 6333. Suppose -309*u - a = -318*u. Is 9 a factor of u?
True
Suppose -6*z + 1342 = 124. Let n = 515 + -132. Let y = n - z. Is 34 a factor of y?
False
Suppose -3*o = 3*i + 150, -4*i - 234 = 5*o - 7*i. Is 75/((o/(-18))/8) a multiple of 15?
True
Let k = 1126 + 1503. Does 26 divide k?
False
Let j = -2015 + 2528. Does 110 divide j?
False
Let f = -33 - -39. Suppose -b + f*b = -5*k + 4775, -2879 = -3*b + 4*k. Is b a multiple of 29?
True
Let c = 40196 + -18422. Is c a multiple of 114?
True
Let j(n) = -n**2 + 47*n + 10. Let g be j(15). Does 3 divide (-612)/5*g/(-196)?
True
Let v = 60204 - 31721. Is v a multiple of 13?
True
Is 205 a factor of (-5 + 870/(-12))*-180 + -10?
True
Suppose y - 434 = -p + 3*p, 5*p - 859 = -2*y. Suppose 0 = 12*m + y + 60. Let w = 25 - m. Is w a multiple of 11?
True
Let p(k) = 1. Let l(u) = 12*u - 12. Let a(w) = l(w) + 4*p(w). Let h be ((-20)/(-60))/(-1*(-1)/30). Is 27 a factor of a(h)?
False
Let d(n) = 22*n - 136. Let j be -10*(4 - (-156)/(-30)). Is d(j) a multiple of 4?
True
Let k(r) = -r**2 - 91*r - 29. Does 4 divide k(-55)?
False
Suppose k = -46 + 44, -2*v + 15812 = -k. Is v a multiple of 8?
False
Suppose 16*b = 20*b + 2244. Let h = -204 - b. Suppose -4*d + 5*f + 480 = 0, -3*d + h = -0*d - 3*f. Is 29 a factor of d?
False
Suppose -j + 11*v = 6*v - 1124, 3*v - 12 = 0. Is j/(-39)*(-69)/4 a multiple of 51?
False
Suppose -3406 = -4*f + 730. Let s = f - 361. Is s a multiple of 34?
False
Suppose -1308 = -2*v + 3*h + 3796, -2*v + 4*h + 5106 = 0. Is 49 a factor of v?
False
Let n = -147 - -215. Suppose 0 = -7*x + 179 + 563. Let r = x - n. Is 20 a factor of r?
False
Let s = 245 + -253. Does 5 divide s/(-14) + (-25350)/(-105) + -8?
False
Suppose 4*m - 3*i - 492 = 0, 5*i + 259 = 4*m - 233. Let j = m - 198. Let t = -57 - j. Is 6 a factor of t?
True
Let f(t) = 11*t**2 - 49*t - 96. Is 50 a factor of f(22)?
True
Let x = -18376 - -28091. Suppose -x = -7*w - 1959. Is w a multiple of 28?
False
Let k(b) = 9*b**2 - 5*b - 1. Let t be (4 - (-1 - -3))*(2 - 8). Let a be (-1 + -5)*(-4)/t. Does 7 divide k(a)?
False
Let l = 1419 - 324. Does 47 divide l?
False
Let c be 86*10 + -4 + -1. Let u = c + -527. Suppose 0 = -5*p + 2*g + u, 0*g - 16 = 4*g. Is p a multiple of 14?
False
Let x = 9 - 5. Let n = -12 - x. Let a = 40 + n. Is 5 a factor of a?
False
Let d = 717 - 718. Let l(a) be the first derivative of 35*a**3/3 - a**2/2 - a - 1. Is 7 a factor of l(d)?
True
Suppose 2666208 = 60*k + 809808. Is 46 a factor of k?
False
Suppose 88 = 40*c - 29*c. Suppose c*r - 56 - 168 = 0. Is r a multiple of 14?
True
Let z(u) = 98*u**2 - 62*u + 762. Does 13 divide z(14)?
False
Let l(b) = -3*b**3. Let n be l(-1). Suppose 16*a = 12*a + 2*h + 3802, -n*a - 5*h + 2884 = 0. Is 12 a factor of a?
False
Let p(x) = 3*x - 73. Suppose 820 = 13*r + 7*r. Is 7 a factor of p(r)?
False
Let x(w) = 3470*w - 82 + 2*w**2 - 3396*w - 4*w**2 - 74. Is 54 a factor of x(31)?
True
Let k be -2*-3*(-1)/(-3). Let h be k/6*510/(-10). Does 17 divide (0/4 + h)*-7?
True
Let l(i) = i**2 - 3*i - 3. Let v be l(-6). Let r be 30/(-2) - (-153 - -136). Is v - (-3 + (r - 2)) a multiple of 8?
False
Suppose 15*c + 10 = 20*c. Let l(s) = -14*s + 3. Let a be l(c). Let i = 38 + a. Is i a multiple of 7?
False
Let o(k) = k**2 + 43*k - 1530. Does 20 divide o(-158)?
True
Suppose 7*c - 2*c + 26224 = 6*y, -3*y - 5*c = -13142. Is 86 a factor of y?
False
Is 15 a factor of 45/(-18)*(7 - 8589/35)?
False
Suppose 23 - 42 = -4*q - j, -5*j + 11 = -q. Suppose -q*y - 2*m = -2168, 0 = y - 11*m + 8*m - 528. Is y a multiple of 36?
True
Suppose -3*z = 5*u - 6488, 5*z + 1292 = -2*u + 3*u. Let p = u + -375. Does 74 divide p?
False
Let f = 18309 + -12720. Is 4 a factor of f?
False
Let p(l) = -l**3 - 25*l - 22 + 27*l**2 + 3 - 2 + 0. Does 2 divide p(26)?
False
Does 24 divide (-2*2*(-2)/(-8))/((-32)/721888)?
False
Let b = -230 - 19. Let c = -173 - b. Does 21 divide c?
False
Let k(o) = 4*o**3 + 231*o**2 - 88*o - 313. Does 25 divide k(-57)?
True
Suppose -164*w - 28280 = -174*w. Is 202 a factor of w?
True
Suppose 103*w - 212960 = -73*w. Is 59 a factor of w?
False
Let a(x) = -482*x**3 + 2*x**2 - 53*x - 181. Is a(-3) a multiple of 10?
True
Suppose -2*d = 4*s - 1252, -6*s = -4*d - 29 + 2491. Does 2 divide d?
True
Let j be (2/(-8) + (-3)/12)*-66. Suppose j*c - 50240 = -7*c. Is 8 a factor of c?
True
Let u(t) = 8*t**3 - 29*t**2 - 8*t - 1169. Let l(s) = 3*s**3 - 10*s**2 - 3*s - 390. Let b(h) = 11*l(h) - 4*u(h). Does 20 divide b(0)?
False
Suppose 4*d - 16 = 5*a, -d + 12 = 2*d. Suppose 3*c = -p + 87 + 49, 4*c - 4*p - 160 = a. Suppose c = -0*s + 2*s. Is 11 a factor of s?
True
Suppose -4*p - 5*v = -49963, -5*p + 3*v + 62426 = -0*p. Is 93 a factor of p?
False
Let y(v) = 4*v + 10 - 2*v - v**3 - 3*v + 16*v**2 + 11*v. Does 29 divide y(16)?
False
Suppose 82*z - 1501 = -353. Does 3 divide z?
False
Let h(q) = 6*q**3 + 22*q**2 - 146*q + 20. Is h(9) a multiple of 143?
True
Suppose -297*g - 41629 = -316*g. Is g a multiple of 67?
False
Suppose -95*m - 280 - 1215 = -100*m. Is m a multiple of 2?
False
Suppose 3*k = -4*j - 6, 3*k + j - 46 + 52 = 0. Is 60 a factor of 750/(8/(-32)*k)?
True
Let v be ((-6)/(-4))/((-4180)/(-696) - 6). Let d = -156 + v. Is 10 a factor of d?
False
Let y(u) = u**3 + 17*u**2 + 14*u - 34. Let c be y(-16). Is (-1149)/c - 1 - (-50)/(-100) a multiple of 28?
False
Let p(a) = -a**3 - 12*a**2 + 2*a + 24. Let u be p(-12). Suppose u = 2*m + 7*m - 10260. Is 19 a factor of m?
True
Let k = 5313 - 933. Is 30 a factor of k?
True
Let b(k) = 19*k + 77. Let q be b(22). Let f = -14 - -26. Does 17 divide (((-8)/f)/2)/((-3)/q)?
False
Let d(s) = 10*s - 4. Let k be d(3). Suppose 25 = 3*x - k. Suppose x*o - 8*o - 315 = 0. Does 3 divide o?
False
Let k = 48 - 3. Let u be 30/k + 4/3. Is 4 a factor of u/(-2 - (-52)/24)?
True
Let t = -141 - -143. Suppose t*v = v + 184. Is v a multiple of 24?
False
Suppose -372754 - 77542 = -36*r - 8*r. Does 54 divide r?
False
Let o = 2959 + -1054. Is 15 a factor of o?
True
Let r(j) = 28 - 45*j - 2*j**3 - 48*j**2 + 19 + 42*j**2 + 13 - 71*j**2. Is r(-38) a multiple of 77?
False
Let h(t) = -193*t**2 + 6*t + 6. Let c be h(-1). Let s = c + 227. Is 6 a factor of s?
False
Let g(c) = -42*c - 247. Let l be g(-6). Let n be 5/2*2/1. Does 5 divide n + -2 + 2 + l?
True
Suppose -2*w + 471 = -g, -10*w + 6*w - g = -945. Let n = 290 - w. Does 16 divide n?
False
Suppose -5*b = 20, 18080 = -36*t + 40*t + 4*b. Does 116 divide t?
True
Let j be -6 + 5 - 12/4. Is 16 a factor of (7 + j)*1*(-3 - -35)?
True
Let s = -40125 + 73789. Does 13 divide s?
False
Let i(t) be the first derivative of -11*t**2 - 31*t - 18. Does 14 divide i(-8)?
False
Let h(m) = 84*m + 8402. Is h(-81) a multiple of 17?
True
Let m = -307 - -154. Let a = 342 - m. Does 9 divide a?
True
Suppose 0 = 5*q - 60 - 40. Suppose 5*o - 4*l = q, -2*o - 15 = 3*o + 3*l. Suppose o*x = -x + r + 17, 0 = -5*x + r + 85. Is x even?
False
Let i(r) = r + 14. Let w be i(4). Suppose w*b - 1872 = 2*b. Does 4 divide b?
False
Let s be (-60)/10 + 94*4. Suppose 4*q = -u + 175, -3*u + u - 3*q + s = 0. Is 16 a factor of u?
False
Let b = -365 - -368. Suppose b*s - 1315 = -4*m, -5*m - 2*s + 471 = -1164. Is 65 a factor of m?
True
Let g(j) = -16*j**3 - 6*j**2 + 2*j - 3. Let p(y) = 16*y**3 + 7*y**2 - 2*y + 4. Let u(r) = 6*g(r) + 5*p(r). Is 3 a factor of u(-1)?
True
Let s(p) = 1135*p + 2714. Does 85 divide s(8)?
False
Let g(r) = -1 + 0 + 0 + 4*r**3 + 6*r - r**2 - r. Let l(h) = 5*h**3 - h**2 + 5*h - 1. Let m(c) = -3*g(c) + 2*l(c). Does 33 divide m(-4)?
True
Let i = -40 - -23. Let u = i + 29. Let f = 68 - u. Does 7 divide f?
True
Suppose -28*u + 301136 = 18*u + 13*u. Is 88 a factor of u?
True
Is 14 a factor of 125375/(-255)*9/(-5)?
False
Suppose -7*v - 713856 = 21*v - 72*v. Does 156 divide v?
True
Suppose 0 = 4*b + n + 6, 33*n = 2*b + 28*n + 14. Is 49 a factor of b + (-14)/(-4) - (-8289)/18?
False
Is -9720*(-91)/26*(-15)/(-70) a multiple of 15?
True
Suppose 2*h + 4 = 0, -3*k - h + 2*h = -203. Let f = k - 103. Let r = -30 - f. Is r a multiple of 5?
False
Let w(s) = 56*s**2 - 13*s - 846. Is w(-21) a multiple of