
False
Let q(k) = 3620*k - 2387. Is 29 a factor of q(4)?
True
Suppose 0 = -m - 2*s - 1779 + 9051, 2*m - 2*s - 14544 = 0. Is m a multiple of 72?
True
Let o be 4 + 25/(-6) - (-31)/6. Suppose -20*j - o*j = -800. Does 32 divide j?
True
Suppose -51*h = -15*h - 171216. Is 29 a factor of h?
True
Let j be (24/4 + -2)*(-72)/16. Let v(a) = 2*a**2 + 32*a - 6. Is 10 a factor of v(j)?
False
Let b(f) = -11*f - 10*f - 8 - 6*f + 19*f. Is b(-4) a multiple of 12?
True
Suppose 4*c = d + 4, 5*d - 28 = -3*c - c. Let h be d/(-32) - 2/(-16). Suppose 37 = -5*g - 3*l + 96, h = -5*g - l + 63. Does 5 divide g?
False
Suppose -3*w - 4760 = -6*d + 7426, -3*d + 2*w + 6090 = 0. Is 6 a factor of d?
True
Suppose -16*z + 53207 = 9639. Is 22 a factor of z?
False
Let x(k) be the third derivative of 3*k**6/10 - k**5/3 - k**4/8 + k**3 + 168*k**2. Is 32 a factor of x(3)?
False
Let a be 3/(-12) - (-429)/4. Suppose 0 = 106*y - 105*y + a. Let l = y + 120. Is l a multiple of 3?
False
Suppose 4*s + 66*x + 1284 = 61*x, -x + 982 = -3*s. Let y = s - -688. Does 18 divide y?
False
Let n(f) = 22*f**3 + 2*f**2 - 8*f + 45. Is n(5) a multiple of 3?
True
Let i = 590 - 584. Let s(q) = 145*q + 68. Is 18 a factor of s(i)?
False
Suppose 5*h = -3*a + 3864, 133*h = 5*a + 138*h - 6420. Is 37 a factor of a?
False
Suppose 5*t + 3*m - 213 = 0, 0*t = -2*t - m + 85. Let a(w) = -6*w**2 + 4*w**2 + 14*w - 2*w**2 + t + 5*w**2. Does 6 divide a(-12)?
True
Suppose 5781*l = 5776*l + 249000. Is 300 a factor of l?
True
Suppose -4*u - 3*y + 10383 = 1724, u = 4*y + 2179. Is u a multiple of 23?
False
Let b = -168 + 172. Does 33 divide (-72)/27*(-846)/b?
False
Let t(b) = 29*b**2 + 157*b - 3556. Is t(38) a multiple of 122?
True
Let v(t) = 111*t - 47. Let a(k) = 56*k - 25. Let y(x) = 7*a(x) - 4*v(x). Let r be (-5)/(-2)*(-3 + 1). Does 13 divide y(r)?
True
Let r(t) = -578*t + 1260. Is r(0) a multiple of 20?
True
Let u(a) = 2*a - a**3 + 2*a**3 - 11*a**2 + 3 - 7 + 1. Suppose -s = 4*s - 55. Is u(s) a multiple of 7?
False
Let d(a) be the first derivative of -a**3/3 + 27*a**2/2 + 159*a - 10. Is 13 a factor of d(27)?
False
Let s = -38 - -40. Suppose 25 = 5*j - 2*w, 4*w - 7 = -s*j - 21. Suppose -j*v - 7 = -2*q + 23, -4*v + 16 = 2*q. Is q a multiple of 6?
True
Let k be (270/8)/(15/(-40)). Let h be ((-6)/(-15))/((-12)/k). Let t(x) = 55*x + 10. Is t(h) a multiple of 24?
False
Let r(k) = -k + 12. Let g be r(9). Suppose -29 = g*d - 23. Is (66/3 + -3)*d/(-1) a multiple of 14?
False
Suppose -3*x + 174 = 2*o, o = -5*x - 4 + 301. Suppose 2*k = 12*k + x. Does 49 divide k/(-10) - 2048/(-20)?
False
Is 29 a factor of (-87)/(-783) - (-33146)/9?
True
Is 23544/3052*11326/6 a multiple of 136?
False
Let x = 16221 - 8398. Is 58 a factor of x?
False
Suppose 70794 = -30*u - 15*u + 355689. Does 13 divide u?
True
Let h = -627 + 624. Is 29 a factor of (-3)/24 - h/48*6962?
True
Suppose -219*z - 134*z + 4829760 = -2*z. Is 12 a factor of z?
False
Let t be 2 + 12/(-7) + 8/(-28). Suppose 125 = -5*o + 5*l + 785, l = t. Is 1/((-4)/o*3)*-8 a multiple of 22?
True
Let a(i) = -2*i**2 + 67*i - 23. Let x be a(29). Let o = x + -107. Does 13 divide o?
False
Let f(b) be the third derivative of 17/24*b**4 - 25/6*b**3 - 29*b**2 + 0 + 0*b. Is 15 a factor of f(5)?
True
Does 19 divide 2/29 - (-180)/1595 - (-89444)/44?
True
Let i(m) = -1108*m - 77. Let x be i(-4). Suppose -8*b = 995 - x. Is 30 a factor of b?
True
Let u(i) = -i**3 - 11*i**2 - 4*i + 12. Suppose -n - 198 = -7*n. Suppose 0 = -0*k - 3*k - n. Is u(k) a multiple of 15?
False
Let t(m) = -40*m - 120. Suppose a + 4*q + 39 = -4*a, 3*q + 21 = -3*a. Is 16 a factor of t(a)?
True
Let k(b) = 628*b + 64. Let r be k(10). Suppose 9*u + 800 = r. Is (1/4 + u/32)*12 a multiple of 18?
True
Let o(k) = -k**3 + 16*k**2 + 7*k - 29. Suppose -7*f + 12*f - 75 = 2*h, -3*h - 15 = -f. Is 43 a factor of o(f)?
True
Let f = -20 - -462. Let g = 655 - f. Suppose 4*b - 275 = g. Is 14 a factor of b?
False
Suppose -5 = 2*h - 3*x, 4*h - 2*x + 2 = 4. Suppose -2*c + h*d - 37 = 13, -3*d = -c - 35. Does 5 divide c/3*9/(-2)?
True
Suppose 0 = 3*c - 2*f - 104318, -2*c + 2*f + 52063 + 17485 = 0. Does 122 divide c?
True
Suppose -5*k - 1864 = -3*v, -2*k - 1570 = 4*v - 4116. Is 4 a factor of v?
False
Suppose -43*i + 18 = -41*i. Does 13 divide -8 + 560/72 - (-3251)/i?
False
Suppose -3*k - 5*h + 42 + 178 = 0, -5*k = -h - 348. Does 5 divide k?
True
Let b(s) = -178*s**3 - 3*s - 3. Let h(q) = 357*q**3 + 5*q + 5. Let w(k) = -7*b(k) - 4*h(k). Let v(r) = -2*r**2 + r + 5. Let m be v(2). Is 15 a factor of w(m)?
False
Suppose -71*a = -5557 - 5022. Let v be 0 + 0 + 2 - -125. Suppose -v = -4*t + a. Does 7 divide t?
False
Suppose -2*m - 2*m + 312 = 0. Let y = m - 25. Suppose 8*r - 4*r - y = -s, -s = 3. Is r a multiple of 7?
True
Let y = 19 - 14. Suppose i = -3*g + 12, g + y*i - 2*i - 4 = 0. Suppose v - 5*v = -3*k - 288, k = g*v - 288. Does 12 divide v?
True
Let f be (-70)/(-6) - 1*6/(-18). Suppose -f*b = -156 - 2952. Is b a multiple of 7?
True
Suppose -54*s + 8*s = -1020143 - 1224703. Is s a multiple of 24?
False
Let o = -12578 + 14985. Is o a multiple of 5?
False
Let y(i) = -607*i**3 + i**2 - 35*i - 91. Does 44 divide y(-3)?
True
Let r be ((-258)/(-4))/((-90)/2640). Let x = r - -3231. Is x a multiple of 21?
False
Suppose -3*t - 5*x - 13 = 0, -5*t = -0*t - x - 25. Suppose 2*m - 4*m = -4*h - 624, -2*m = t*h - 608. Is m a multiple of 52?
False
Let u = 27331 - 9452. Is 48 a factor of u?
False
Let v = 1129 + 4594. Does 143 divide v?
False
Let x(c) = -3*c**2 + 18*c - 14. Let h(y) = -3*y**2 + 17*y - 15. Let v(s) = -4*h(s) + 5*x(s). Does 2 divide v(6)?
True
Let m be (9 + 0 + -5)/(-2 + 0). Let b be 3420/(-14) + 3/((-21)/m). Let h = -131 - b. Is h a multiple of 11?
False
Let a(j) = -22 + 6 - j**2 - 38 + 7 - 15*j. Let n be a(-9). Is (10 - -1)/(n*(-1)/(-210)) a multiple of 15?
True
Let w(y) = -y**3 - 20*y**2 - 26*y - 49. Let c be w(-21). Let s = -314 + c. Is 24 a factor of s?
True
Let u(a) = -a**3 + 29*a**2 - 96*a + 16. Is u(18) a multiple of 37?
False
Let l(k) = -3*k**3 + 18*k**2 - 35. Let b be l(6). Is 6 a factor of ((-194)/5)/(14/b)?
False
Let a = -111 - -199. Let u be (-16)/a + (-171)/(-33). Suppose -u*m = -232 - 868. Is 22 a factor of m?
True
Let a(x) = 3*x**2 - x - 17. Suppose -6*z - 44 + 2 = 0. Let i be a(z). Suppose 4*u - 188 = -4*c, 3*c + 3*u - i = -u. Is c a multiple of 8?
False
Suppose -210 = -3*d - 63. Let p = d - -68. Is p a multiple of 9?
True
Let c be 2480/(-18) + (-3)/(81/6). Let g = c - -292. Does 35 divide g?
False
Suppose -24*s = -362659 - 346469. Is s a multiple of 95?
False
Suppose 0 = a + 2*u - 6995, -25*a - 4*u + 27992 = -21*a. Is 5 a factor of a?
False
Let u(n) = -n**3 - 8*n**2 + 9*n + 12. Let c(g) = -g**3 + 7*g**2 - 7*g + 2. Let d be c(5). Suppose 4*t = -d - 19. Does 3 divide u(t)?
True
Suppose -134898 = 17*h - 357*h + 23202. Does 15 divide h?
True
Let u = -20463 - -39943. Is u a multiple of 4?
True
Suppose 0 = -2*w + v + 420, -6*v + 644 = 3*w - 11*v. Suppose -w*z - 638 = -210*z. Is 39 a factor of z?
False
Suppose -4*y = -2*f - 32, 2*f = -4*y - 38 + 6. Let n = f - -29. Suppose n*l - 684 = 7*l. Does 19 divide l?
True
Is 105980/120 - (-3)/(-3)*3/18 even?
False
Let v = 7701 + 1902. Does 33 divide v?
True
Let n(s) = -15*s**2 + 59*s + 121. Let y be n(-2). Let k = 159 - 98. Let b = y + k. Is b a multiple of 4?
True
Suppose -925*i - x + 318651 = -921*i, x + 398307 = 5*i. Is 374 a factor of i?
True
Does 24 divide (2/(-3) + (-56)/(-48))/(17/304368)?
True
Suppose -3009*a + 2833858 = -2953*a - 825350. Is a a multiple of 30?
False
Let z(t) = -t**3 - 4*t**2 + 8*t + 6. Let b be z(-8). Suppose 4*m - 2*u + 390 = -110, 632 = -5*m - u. Let v = b + m. Is v a multiple of 12?
True
Suppose -2*i = 5*c - 7062, -2*c - 28*i + 23*i + 2808 = 0. Is 101 a factor of c?
True
Let h be (-7)/6 - (100/(-24) - -4). Let m(u) = u**2 + 2*u - 3. Let k be m(-4). Is (-7)/(h*k/15) a multiple of 3?
True
Is -5 - 4265/(-1) - (3 - 3) a multiple of 31?
False
Let a = -28 + 23. Let k be (-8)/(-20) - (-77)/a. Let y = 25 + k. Does 5 divide y?
True
Let z = 7845 + -3870. Does 53 divide z?
True
Let q = -16 + 14. Let i be ((-3)/(-6)*q)/((-1)/21). Is 6 a factor of 3/(-7) + 387/i?
True
Let c = -11709 - -17212. Is 118 a factor of c?
False
Let h be (-37)/(-8) - 30/(-80). Suppose 3*w - w = 3*i - 287, 3*w + 477 = h*i. Do