*4/3 - k**3/3 + 2*k**2. Let v = 53 + -59. Is 22 a factor of i(v)?
True
Let p = 12 - 11. Let s be 1 + 2 + p/(-1). Suppose 0 = -s*t + 49 - 1. Is 8 a factor of t?
True
Suppose 0 = n + v - 103, -2*v = -4*n + 4 + 378. Does 10 divide n?
False
Let x(z) = 3*z**3 + 5*z**2 - 29*z - 21. Is 17 a factor of x(8)?
False
Let j(w) = 47*w**2 + 19*w - 170. Is j(7) a multiple of 43?
False
Suppose 0 = 7*d + 919 - 3124. Is d a multiple of 15?
True
Suppose -577 = -d - 2*i, 2*d + 2*i - 2845 = -3*d. Does 9 divide d?
True
Let w = 0 + 4. Suppose 2*t + 145 = -x + 389, -3*x = -w*t + 498. Does 28 divide t?
False
Let l(w) = w**3 + 5*w**2 - 2*w - 5. Let a be l(-5). Suppose 735 = a*m + 5*q, -2*m + 3*q - 153 = -3*m. Is 16 a factor of m?
True
Let t be (-22)/(-55) + 23/5. Suppose -2*i + t*i = 24. Suppose 3*b - i = 13. Is b a multiple of 3?
False
Let f be 2/(-12)*3 + (-150)/4. Let c = f - -57. Does 4 divide c?
False
Let f be (-42)/12*(-12)/3. Let b = f - 16. Is ((-144)/10)/(b/10) a multiple of 12?
True
Let v = -398 + 422. Is 6 a factor of v?
True
Let o(b) = 5*b**2 - 14*b + 5. Let h be o(3). Suppose 4*m - 192 = 4*t, -2*m = 4*t - h*t - 100. Does 12 divide m?
False
Let j(i) = 5*i**2 - 15*i + 52. Is 14 a factor of j(9)?
True
Let r = 1857 + -1362. Does 34 divide r?
False
Let h be 1*(30/2 - 2). Suppose 55 = 6*c + h. Is c a multiple of 3?
False
Suppose 245 = 18*p - 23*p. Let k = 61 + p. Is 3 a factor of k?
True
Is 4 a factor of 2/(-22) - 109504/(-352)?
False
Is 4 a factor of 328 - (-50)/(-10 - 0)?
False
Let m(o) = o**2 - o. Suppose -y + 5*y = 0. Let r be m(y). Suppose 0 = -i + 2*c + 50, i = -r*i - 2*c + 38. Is 22 a factor of i?
True
Suppose g - 65*g = -12416. Does 7 divide g?
False
Suppose 0*b + 2*b = 4. Let l(u) = -u**3 - 14*u**2 + 13*u - 25. Let o be l(-15). Suppose b*k - o*a = 27, -5*a = -19 - 6. Is 5 a factor of k?
False
Suppose 11*b = 7*b - 48. Let j(k) = k**3 + 13*k**2 + 7*k - 14. Is 13 a factor of j(b)?
False
Suppose 5 = -3*k - 1. Let v be 5*3*k/2. Is (-11)/((v/6)/5) a multiple of 8?
False
Suppose 3*g - 53 - 43 = 0. Let v be (-1 + 4)/((-3)/(-82)). Let h = v - g. Does 10 divide h?
True
Let i(u) = u**3 + 6*u**2 - 17*u - 4. Let n be i(-8). Suppose 7*w - 2*w - 164 = -n*l, -5*l + 37 = w. Does 20 divide w?
False
Suppose 8*y = 12*y - 20. Suppose y - 47 = -3*q. Is 2 a factor of q?
True
Suppose -7*w = -2*w - 3*c - 237, -2*w - 5*c = -101. Suppose i - 5*r = w, -3*i = -2*i + r - 66. Is i a multiple of 28?
False
Suppose 4*z + 308 = t, -2*t - 2*z + 0*z = -646. Suppose 0 = -5*c - 2*p + 407, 4*c + 7*p = 4*p + t. Is c a multiple of 23?
False
Let q(b) = 6*b**3 + 4*b**2 - 2*b. Let y be q(-2). Is 36 a factor of (-5608)/y - 14/49?
False
Is 80 a factor of ((-375)/300)/((-1)/1536)?
True
Let f = 53 - 65. Is 4 a factor of (-3 + (-62)/(-6))/((-2)/f)?
True
Is 36 a factor of (1493 - (-5)/(-1) - 2) + -3?
False
Suppose -l = -13*l + 780. Is l a multiple of 4?
False
Let s(u) = 109*u + 24. Let x be s(-6). Is (2 + 3)/((-10)/x) a multiple of 15?
True
Suppose -k + 90 = -6*k. Let o = 22 + k. Does 30 divide (-1186)/(-16) + o/(-32)?
False
Let p(y) = y**3 + 4*y**2 - y - 1. Let r be 5*(12/(-5))/3. Let k be p(r). Suppose 0*m + 4*m - 60 = -k*t, -45 = -3*t + m. Is 4 a factor of t?
True
Let b be (4/5)/((-4)/(-10)). Is b/(-1)*(-21)/6 a multiple of 7?
True
Let q(v) = 3 - 2 + v + 13 - 3. Does 5 divide q(19)?
True
Suppose 6*r - 152 = 160. Let s = r + 59. Is s a multiple of 19?
False
Is ((-3)/(-5))/((-12)/(-380)) a multiple of 2?
False
Let a = 1236 - 300. Is 78 a factor of a?
True
Suppose -2866 - 434 = -5*n. Suppose h + n = 5*h. Is h a multiple of 15?
True
Let g = -244 + 417. Is g a multiple of 56?
False
Suppose 0 = -4*i + 4*w - 16, -i + w + 26 = -6*i. Let t be (-4)/i*10/4. Suppose -t*j - 4*r + 60 = 0, 9*r + 159 = 4*j + 4*r. Is 9 a factor of j?
True
Let y be (-4)/(-5) + 42/10. Suppose 0 = -2*j + y*r - 13, r = -j - 2 + 13. Suppose -130 = -j*o + o. Is o a multiple of 13?
True
Suppose 0 = w + 6*w - 1260. Does 15 divide w?
True
Let n(u) = -66*u - 37. Does 25 divide n(-7)?
True
Let x(p) = -p**3 - p**2 - 3*p + 1. Let k be x(-3). Let h = 68 - k. Does 12 divide h?
False
Let w be (10/4)/((-40)/(-32)). Let x(r) = -w*r - 59 + 58 - 5*r. Is 16 a factor of x(-7)?
True
Let c be ((-1 - 0)*-30)/1. Let g = c + -6. Suppose -g = -i - 2*b, 5*i - 144 = i + 4*b. Does 30 divide i?
False
Suppose 0 = 3*z + 5*u - 3*u - 10, -3*u = 3. Let o(q) = 3*q**2 - 7*q - 1. Does 17 divide o(z)?
False
Let j(z) = z + 12. Let v be j(-10). Let l be 8 - (-2 + v + 3). Let y = l - 1. Does 2 divide y?
True
Is 4/(-12) - 26835/(-45) a multiple of 12?
False
Let r(y) = 2*y + 12. Let x be r(-6). Suppose x*w + 2*w + 62 = 3*m, 0 = m - w - 19. Suppose -3*g + m = -g. Does 3 divide g?
True
Let n(m) = -4*m**2. Let q be n(-7). Does 26 divide (q/(-12))/((-4)/(-24))?
False
Let z = -40 + 320. Is 10 a factor of z?
True
Let k be 127 + 3 - 3 - 5. Let y = 212 - k. Is 15 a factor of y?
True
Suppose 72*d - 246 = 66*d. Is d a multiple of 10?
False
Is 13 a factor of (-4 - -3) + (11 - -289)?
True
Let u be (-27)/3*12/(-9). Let o be 10/3 + u/18. Suppose -5*k + o*k = -16. Does 16 divide k?
True
Suppose 18*p = 13*p + 570. Suppose -2*x + p = -0*x. Is x a multiple of 35?
False
Suppose -83*y = -90*y + 5887. Is y a multiple of 12?
False
Suppose -2*u + 2978 = d + 3*d, -4*d + 2975 = 3*u. Suppose 4*f - 570 = q + 34, -q = 5*f - d. Does 33 divide f?
False
Let q(t) = -7*t**2 - 3*t**2 - t**3 + 0*t**2 + 14 + 9*t. Does 9 divide q(-11)?
True
Let i = 1058 + -953. Is i a multiple of 2?
False
Suppose 0 = -s + 4*z + 336, 59*z = 4*s + 61*z - 1416. Does 22 divide s?
True
Let y(o) = -o**3 + 4*o**2 + 7*o - 11. Is y(4) a multiple of 4?
False
Suppose -20*r + 2*r = -14040. Does 60 divide r?
True
Let c be (4 + -1 - -29) + -1. Is -2*(-3)/(-30) + c/5 a multiple of 6?
True
Suppose -2*x - t = -0*x - 2, -x + 10 = -4*t. Let n be 14/21*15/x. Suppose 5*g = -5*v + 180, 2*v = 2*g - n*g + 76. Is 12 a factor of v?
False
Suppose -w = 3*w - 24. Let r be (0 + 9/w)*6. Let u = r + 10. Does 8 divide u?
False
Let u(q) be the second derivative of -q**4/12 + 5*q**3/3 - 2*q**2 + 3*q. Let w be u(9). Suppose -4*x - 319 = -w*m, -4*m + 6*x + 257 = x. Is m a multiple of 21?
True
Suppose 1360 = -2*l + 7*l + 3*a, 0 = -4*l + a + 1088. Suppose -p + 2*p = 3*n - l, -2*p = 5*n - 457. Is n a multiple of 13?
True
Let a = -1406 - -1511. Is 14 a factor of a?
False
Let l(j) = -10*j. Let t be l(-3). Suppose 0 = 3*i - 9, 3*a + 3 = -i + 6*i. Suppose -a*y = -5*y + t. Is 13 a factor of y?
False
Let r = -3696 - -6978. Suppose 681 - r = -17*z. Is z a multiple of 16?
False
Suppose -53 = 2*w - 683. Suppose 20 = 243*t - 239*t. Suppose -t*v = -0*v - w. Does 24 divide v?
False
Let v(o) = 3*o**2 + 49*o + 120. Does 52 divide v(20)?
False
Let q(f) = -3*f**3 - 2*f**2 - 3*f - 1. Suppose 3*z = -8 + 23. Let v = z - 7. Does 7 divide q(v)?
True
Let k be 3 + -1 + 3 + 27/(-3). Let g(i) = -5*i + 6. Is 26 a factor of g(k)?
True
Let h(s) = 3*s**2 - s + 40. Is h(-8) a multiple of 20?
True
Suppose f - 4*f + 1176 = 0. Suppose -2*v + f = 6*v. Does 21 divide v?
False
Let m be 54/(-8) + 3*2/(-24). Let i(r) = -5 + r**2 - 2*r + 2*r + 4*r. Is 8 a factor of i(m)?
True
Let h(m) be the third derivative of 5*m**4/24 + 5*m**3/3 - 7*m**2. Does 10 divide h(5)?
False
Let w(b) = -14*b + 3. Let f be w(-4). Let j = f + -30. Is j a multiple of 6?
False
Let a = -8 + 16. Suppose -m = f - a, 2*f + m = 3*f - 2. Suppose f*t + 10 = 3*u - 9, -2*u + 3*t + 12 = 0. Is u a multiple of 3?
True
Suppose z = 26 - 23. Suppose 48 = 3*r + z*h, -2*r - h + 73 = 2*r. Is r a multiple of 2?
False
Suppose -4*x = -11 - 5. Suppose -2*k + 2*d + 1 = 19, 0 = -5*k - x*d - 18. Does 2 divide (-3)/k*(12 - -4)?
True
Let h(n) = -n**2 - 27*n + 28. Let i be h(-12). Does 16 divide ((-2)/2)/((-13)/i)?
True
Let r = 9 - 7. Let b be (2/3)/(r/(-3)). Let q = b + 18. Does 17 divide q?
True
Let o(a) = -a**3 - 4*a**2 - 3*a - 6. Let t be o(-5). Suppose 14 = 4*f + 2. Suppose 2*d = f*p + 104, -d - t = -2*d - 3*p. Is d a multiple of 23?
True
Let x be (3 + 0)*(1 - (-8)/(-3)). Let h(s) = -2*s**3 - 3*s**2 + 15*s + 5. Does 15 divide h(x)?
True
Let p be (4/((-24)/9))/((-9)/12). Suppose -2*r = -f + p*f - 130, -4*r + 668 = 5*f. Does 21 divide f?
False
Suppose o = 2*b - 268, -4*o - 4*b = -0*o + 1048. Let r = 372 + o. Does 18 divide r?
True
Suppose 0 = 5*l + 4*d - 12