t q(m) = -m**3 + 49*m**2 + 231*m - 142. Is 17 a factor of q(51)?
False
Suppose -7*o + 2*o + 261 = -q, 4*q = -4. Let f = o + -46. Does 13 divide (f/8)/((-2)/(-104))?
True
Let p = 81188 + -45870. Is p a multiple of 187?
False
Let m(x) = -x**3 + 20*x**2 + 28*x + 5. Suppose 7 = 4*r - 1. Let i be 18 + (-12)/(-8)*r. Is m(i) a multiple of 19?
True
Suppose -z + 4*v = z - 18, -5*v = 5*z - 15. Suppose z = 9*x - 4. Is 8 a factor of (((-468)/8)/9)/(x/(-16))?
True
Let d = 248 + -243. Let q(p) = 23*p + 25. Is q(d) a multiple of 10?
True
Let i(k) = 198*k**2 + 13374*k + 60. Is i(-69) a multiple of 22?
True
Suppose -3*v = -0*v - 5*m - 73, -5*v = 3*m - 167. Let d = -29 + v. Suppose 64 = 4*c - 0*c - 4*h, -3*h = d*c - 22. Does 2 divide c?
True
Let s be ((-5864)/10)/((-37)/(-185)). Is (s/(-6))/(13 - 296/24) a multiple of 60?
False
Let o(y) = -181*y - 89. Suppose 0 = -b + s - 6, s = 4*b + 17 + 4. Does 17 divide o(b)?
True
Let j = -76 - -78. Suppose 0*v + 5*v = -5*m + 315, 4 = j*v. Is m a multiple of 9?
False
Let o(c) = c**2 + 18*c - 416. Is 32 a factor of o(-48)?
True
Suppose 483*k - 7648550 = 2915626. Is k a multiple of 32?
False
Suppose 23*j - 21*j = 0. Suppose 5*s - s - 568 = j. Does 4 divide s?
False
Suppose -5*k = -3*i + 2999, 2041 = 22*i - 20*i + 5*k. Is i a multiple of 32?
False
Suppose 0 = -18*x + 148 + 122. Let d(v) = 2*v**2 - 3*v - 77. Is d(x) a multiple of 41?
True
Let k be 11/((-55)/(-3230)) - 2. Let f = 704 - k. Does 15 divide f?
True
Let p(a) = 6*a**2 - 4*a + 22. Let u be p(7). Suppose u = 2*z + 3*k, -2*k - k + 150 = z. Suppose 3*b - 39 = z. Is b a multiple of 7?
False
Suppose 2*m - v = 304, 4*m + 0*v = 5*v + 608. Let p = 308 - 219. Let t = m - p. Is 7 a factor of t?
True
Let z(v) = 70*v - 11. Let u be z(-2). Let a = 18 - 108. Let c = a - u. Is 37 a factor of c?
False
Let o(u) = 17*u + 167. Let t be 1*156/(-15)*80/(-32). Is 7 a factor of o(t)?
True
Let u(x) = -2 + 5 + 3 - 7*x + 2*x**2. Let h be (-2380)/255*(-1 - 1/(-4)). Is 11 a factor of u(h)?
True
Let j(p) = p**3 - 11*p**2 + 12*p - 16. Let r be j(10). Suppose 73 = 3*o - r*a - 130, o - 53 = 5*a. Is o a multiple of 2?
False
Is 37 a factor of ((-124)/12 + 11)/(((-15)/7119)/(-5))?
False
Let j be (-4 + 1)/((-3)/(-8145)*-3). Suppose 8*r + j = 23*r. Is r a multiple of 25?
False
Let v = 54 + -56. Let k be (-1 + 0 - v)*-59. Let u = -11 - k. Is 16 a factor of u?
True
Does 57 divide (-3)/(63/(-12)) + 535056/336 + 3?
True
Suppose 2*k + 254 = 44. Let x be 3/(-2)*(k/9 + 5). Does 10 divide 2/10 - (-578)/x?
False
Let p = -1443 - -8062. Does 8 divide p?
False
Suppose 7983 = -5*f + 14*f. Is f a multiple of 15?
False
Let x be 4/18 + (-306)/(-81). Suppose n - x*j - 791 = 0, -4*n + 425 = 3*j - 2701. Is n a multiple of 27?
True
Let m(v) = v**3 - 2*v**2 + 5*v + 3. Let f be m(6). Suppose 6*u + f = -3. Let y = 38 + u. Is y even?
True
Let z(x) = -x**3 + 17*x**2 + 6*x + 5. Suppose 59 = 2*n + 5*y, -5*y + 3 = -n - 5. Is 6 a factor of z(n)?
False
Let s = -248 - -253. Suppose x - 3 = 0, x = -3*y - 2*y + 128. Suppose -p + 5*j = -16, 43 + y = 3*p - s*j. Is 13 a factor of p?
True
Suppose c - 63 + 2 = -5*p, -2*p + 29 = 5*c. Is (-5 + 11)*2*3/p a multiple of 2?
False
Suppose -6*m + 4*u - 22 = -m, -2*u = -3*m - 12. Let v = 9 - 7. Is (-4 - m)*(215/v)/(-5) a multiple of 28?
False
Let d be 2/(-6) + 142/(-6). Let y(j) = -6*j**3 + 28*j**2 + 3*j + 33. Let k be y(5). Is k*(-9)/(-12)*d a multiple of 36?
True
Let j = 50 - 47. Suppose p = -j*l + 12 - 1, 5*l - 25 = -3*p. Suppose 2*u + p*r = 3*u - 71, -5*u + 355 = r. Is 8 a factor of u?
False
Let n(r) = 2*r - 44. Let k = 45 + -22. Let c be n(k). Suppose -5*j = -c*u - 132 - 3, j + 3*u - 27 = 0. Is 9 a factor of j?
True
Suppose 0 = -3*o - 10*o + 247. Suppose -7*p - o*p = -3510. Is p a multiple of 27?
True
Suppose -15*l + 4728 = -23172. Is l a multiple of 5?
True
Let k(n) = 12*n**2 - 92*n + 778. Does 15 divide k(8)?
True
Let g = -61 - -138. Let t = g - 77. Suppose t = -8*v + 37 + 27. Is 7 a factor of v?
False
Let v = -171 - -3491. Is v a multiple of 83?
True
Let h(x) = 164*x + 24. Let k be h(6). Suppose 1011*f - 3441 = k*f. Is 64 a factor of f?
False
Suppose -304*h - 40 = -309*h. Suppose h = -2*i + 2*r, 2*i - 3*r = -8 - 3. Does 20 divide i*5/35 - 282/(-14)?
True
Suppose 5*g = -8 - 32. Does 4 divide (g - -4) + ((-144)/3)/(-2)?
True
Suppose -6114 = -23*u + 22*u - 5*u. Is u a multiple of 18?
False
Suppose -s = -v - 148, -v + 38*s = 43*s + 136. Let n = 4 - v. Is 15 a factor of n?
True
Let z = -161 - -3. Let o = z - -166. Is o even?
True
Let n = 4373 + -4067. Is 34 a factor of n?
True
Suppose 5*t - 40 = 60. Let z = t - 27. Does 7 divide 2/z - (1410/(-35) - -5)?
True
Suppose 447269 - 162500 = 9*k. Does 199 divide k?
True
Let l be -1 - (0 + -1)*(-88)/(-8). Does 29 divide ((-40832)/(-110))/(4/l)?
True
Let u = -9332 + 22247. Is u a multiple of 9?
True
Suppose 0 = h - 4, -34*r + 1832 = -30*r + 3*h. Suppose -4*l - r = 5*p - 1966, -2*l + 733 = -5*p. Is 67 a factor of l?
False
Suppose 20*p = 14*p + 264. Suppose 2*x + a - 34 + 5 = 0, a - p = -3*x. Does 28 divide (-58)/(-8)*(x + -7)?
False
Does 10 divide (-40516)/(-12) - 374/(-102)?
True
Suppose -138*z + 95*z = -287584. Does 88 divide z?
True
Let d = -797 + 799. Suppose -4*b - 36 + 268 = 5*h, d*b = -5*h + 106. Does 7 divide b?
True
Let r(y) = 193*y**2 + 195*y - 940. Is r(5) a multiple of 135?
True
Let c = -179 + 181. Is 17 a factor of c/(2/35) - (1 - 0)?
True
Let t(n) be the second derivative of n**3/6 + 70*n**2 + 16*n. Does 8 divide t(28)?
True
Let y = -461 + 470. Suppose 263 = -y*z + 5195. Is z a multiple of 6?
False
Suppose 3*w - 21 = -3*g, -2*w + 4*g + 1 + 1 = 0. Suppose -4*z + 96 = 3*c, w*c + 5*z - z - 168 = 0. Is c a multiple of 36?
True
Suppose 672*x - 675*x = -15990. Does 13 divide x?
True
Suppose -2345 - 195 = -5*o. Let n = o - 273. Is n a multiple of 5?
True
Suppose 30*i - 8 = 29*i. Suppose 0 = -i*m + 540 + 532. Is m a multiple of 47?
False
Let q = 605 + -614. Let u(m) = -99*m - 79. Is 18 a factor of u(q)?
False
Suppose 12*r - 334727 = -w - 106658, -4*w = 2*r - 38000. Is 86 a factor of r?
True
Does 42 divide (-50584)/(-10) + (-10)/275*11?
False
Let v(q) be the third derivative of q**6/120 - 11*q**5/60 - 17*q**4/24 - q**3 + 3*q**2. Let l be 3/(6/13)*2. Does 20 divide v(l)?
False
Let i(d) = d**3 + 10*d**2 - 7*d - 3. Suppose 20 = -135*z + 133*z. Is i(z) a multiple of 12?
False
Is 4/(-22) + ((-234112)/(-176) - -8) a multiple of 42?
False
Suppose -4*x + 4*c = -32, -x + 4*c = 2*c - 11. Suppose 0 = -x*t - 4*a - 0*a + 442, -452 = -5*t + a. Let q = 106 - t. Is 2 a factor of q?
True
Suppose -3*o = -o - 122. Let v = -59 + o. Suppose 5*t - v*l - 1040 = 0, l = 5*t - 4*l - 1040. Is t a multiple of 26?
True
Suppose 5*u = 4*o - 587 - 280, -o = 4*u - 222. Let s = o - 156. Let c = s - -15. Is c a multiple of 11?
True
Let s be 24 + (2 + (-8)/4)/2. Suppose -3980 = -s*w + 14*w. Is w a multiple of 86?
False
Suppose -2*s - 192 = -2*w + s, 2*s + 376 = 4*w. Suppose -4*l = -5*l + h + w, -2*l - 5*h = -207. Does 27 divide l?
False
Let c(w) be the second derivative of -2*w**3/3 - 13*w**2/2 + 32*w. Let j be c(-6). Let l = j - -7. Does 18 divide l?
True
Let q(l) = -43*l + 8 + 45*l**2 - 6 + l**3 - 41*l**2. Is 14 a factor of q(-6)?
False
Let q(v) = -v**2 - 3*v + 12. Let u be q(-6). Let j be ((-588)/15 + -1)/(u/30). Let r = -108 + j. Does 25 divide r?
False
Let o = -413 - -470. Suppose 47*j + 2580 = o*j. Is 54 a factor of j?
False
Let o = -124 + 430. Let a = o + -123. Does 31 divide a?
False
Does 38 divide (-2862)/15*((-2844)/24 + 16)?
False
Suppose -229*o - 107*o = 3023854 - 10288174. Is 188 a factor of o?
True
Suppose 6*d + 83*d - 446167 + 128170 = 0. Does 39 divide d?
False
Let m(s) = -s**3 + 28*s**2 - 36*s - 2. Does 12 divide m(15)?
False
Suppose r - 3*r = 3*g - 169, 3*g = 9. Let b = -77 + r. Let m(v) = 3*v**3 - 2*v**2 - 6*v + 1. Is 18 a factor of m(b)?
False
Let s(v) = v**3 - 156*v**2 + 135*v - 4906. Does 14 divide s(156)?
False
Let a(f) = -f**3 + 6*f**2 + 10*f - 69. Let j be a(4). Let n = -5 + 4. Is (4/(1 + j) - 14)*n a multiple of 3?
False
Let s(t) = -59*t + 92. Let q be s(-5). Is 8 a factor of (-2)/32*4 - q/(-12)?
True
Let f be (-3)/3 + (4 - 2). Suppose -q - 5*l + 34 = 0, l = -1 - f. Is 19 a factor of q?
False
Suppose -a - 1606 = -5*p + 3114, -p + 3*a = -944. Does 16 divide p?