)/5). Suppose -2*f - 2*f = -l*a + 8, 4*a = -3*f + 8. Suppose -4*r + 74 + 258 = f. Does 17 divide r?
False
Suppose -10*s - 4*u = -8*s + 106, 275 = -5*s - 5*u. Is 36 a factor of (-3010)/(-6) + (-133)/s?
True
Let s(r) = 21*r + 318. Let o be s(-10). Is 54 a factor of o*(153/18 - 2)?
True
Let d be (-2 + 24)*((-1)/(-2) - -2). Let k = 11 + d. Is 33 a factor of k?
True
Let w be 2/(-15) + (-564)/(-180). Suppose 2*x + w*x - 180 = 0. Suppose x = 2*u + 6. Does 15 divide u?
True
Let h(u) = u**3 - 21*u**2 - 19*u - 63. Let d be h(22). Does 72 divide d/3*1821/3?
False
Suppose 0*b + 3*o + 21 = 5*b, -5*o - 1 = 3*b. Suppose 4*l - 300 = -b*q, 5*q + 2 - 60 = -l. Is 4 a factor of l?
False
Let t(a) = a**3 - 13*a**2 + 149*a + 319. Does 77 divide t(36)?
False
Let s = -534 + 1047. Let z = 1207 - s. Does 49 divide z?
False
Let y be (-4 + 0)/((-20)/(-30)). Is 36 a factor of (-81)/y*96/(-4 + 7)?
True
Suppose -7*g + 1731 = -2861. Suppose -21*x + g = -19*x. Is 42 a factor of x?
False
Let z = -8600 - -13607. Is z a multiple of 12?
False
Suppose -v = -2*x + 2384, 3*x - 5507 = v - 1933. Is x/(-4)*((-8)/10 + 0) a multiple of 34?
True
Suppose -3*c + j + 51003 = -4688, -4 = -4*j. Is 102 a factor of c?
True
Suppose -5*k = 15, 0*k - 65529 = -5*l - 7*k. Is l a multiple of 19?
True
Let n(q) = -13*q**3 - 8*q**2 - 24*q + 5. Let t(f) = -26*f**3 - 16*f**2 - 48*f + 11. Let g(a) = -11*n(a) + 6*t(a). Is g(-4) a multiple of 21?
False
Let d(y) = -2*y**2 + 5*y - 16. Let s be -4 - ((-66)/(-78) + (-4)/(-26)). Let m(p) = -3*p**2 + 11*p - 31. Let q(b) = s*d(b) + 3*m(b). Is 2 a factor of q(-11)?
True
Suppose 1740 = -182*h + 188*h. Suppose -4*l + h = j, 0 = 3*j + j - 2*l - 1142. Is j a multiple of 26?
True
Let s(k) = -154*k**2 + k. Let f be s(-1). Let a = 160 + f. Suppose -5*t = -0*w + 5*w - 115, w = -a*t + 135. Is 28 a factor of t?
True
Let a = -1858 - -2288. Does 5 divide a?
True
Suppose -19*o - 52430 + 148722 = 0. Is 14 a factor of o?
True
Let o(x) = -7*x + 115. Let b be o(17). Is 23 a factor of 828*1*b/(-8)*1?
True
Suppose 5*z - 2*x - 491 = 640, 5*z - x - 1133 = 0. Let b = z - 63. Does 6 divide b?
False
Suppose 0 = -592*l + 649*l - 1226583. Is 80 a factor of l?
False
Let t = -259 - -502. Let l = 497 - t. Suppose 2*m - l = 102. Is m a multiple of 23?
False
Let c be (25/15)/(15/18). Let b(s) = s + 64. Is 66 a factor of b(c)?
True
Let n(c) = 4*c + 71. Let t be n(-16). Suppose -s + t*s - 264 = 0. Does 12 divide s?
False
Suppose 3565857 - 2405975 = 175*m - 4019768. Does 69 divide m?
False
Let n be 1078/33 - (-2)/6. Let z(q) = -31 - 3*q**2 + 25*q - n*q + 3*q**2 + q**2. Is z(19) a multiple of 13?
False
Suppose 26 = m + 11. Suppose 19*u - m*u = 156. Does 6 divide u?
False
Let z be 56/(-420) + 3/(135/96). Let x = 21 - 31. Is (z + 44/x)/(6/(-315)) a multiple of 42?
True
Suppose 0 = 2*z + 3*p - 13, -p - 6 = 3*z - 5*p. Suppose 3*y + w = -2*y - 200, 80 = -z*y - w. Is ((-198)/55)/(2 - (-86)/y) a multiple of 6?
True
Suppose 3*c + 35929 = 5*y, 2*y = 2*c - 2*y + 23952. Is 48/88 + c/(-22) a multiple of 13?
False
Let s be 4 - 0 - -294*(-8)/12. Let l = s - -250. Does 29 divide l?
True
Suppose -24*a + 14*a + 20 = 0. Suppose 156 = -3*n + 5*i + 1127, a*n - 614 = -5*i. Does 10 divide n?
False
Suppose 3*t - 20517 = 3*a, 3*a + 35794 - 8431 = 4*t. Is 6 a factor of t?
True
Let k be 19101/33 + 28/154. Let q = -536 + k. Is q a multiple of 11?
False
Let i(o) = -78*o**2 - 1776*o + 22. Does 7 divide i(-20)?
False
Let c(g) = -270*g + 74. Is 77 a factor of c(-6)?
True
Suppose 3761249 = 7*y + 172*y - 1743001. Does 10 divide y?
True
Let a be 6 - (11/(-7) + (-18)/42). Let i be 20/a*(-4)/(-5). Suppose 0 = 5*r - i*r - 60. Does 5 divide r?
True
Suppose -5*w - 71964 = -4*z, 277*w + 71956 = 4*z + 274*w. Does 23 divide z?
True
Let p(y) = -70*y**3 + 3*y**2 - 6*y - 17. Let n = 953 + -955. Is p(n) a multiple of 12?
False
Let g be (420/441 - 4/14)*747. Suppose -2*b + g = -q, -5*q - 126 - 141 = -b. Is 13 a factor of b?
True
Suppose -115 = -5*g + 3*p - 6*p, -p + 125 = 5*g. Suppose 0 = -g*b + 29193 - 6833. Is b a multiple of 14?
False
Is 27 a factor of 2/((-20)/(-327521)) - (-8)/(-80)?
False
Let m = -78 + 68. Let r = -7 - m. Is 15 a factor of (-3)/(r + -6) - -43?
False
Suppose -12*c + 5*c - 11*c = -3168. Does 16 divide c?
True
Suppose -1437*r + 1435*r + 2*h = -39086, -58627 = -3*r + h. Is 11 a factor of r?
False
Let j be (-2392)/(-91) + -11 - (-2)/(-7). Suppose -4*i - 20 = 0, 12*s = j*s - 5*i - 3274. Is 41 a factor of s?
False
Let a be (-23)/(552/160)*(-81)/(-6). Is 6 a factor of 161/3 - a/(-54)?
False
Let t(n) = -5*n**3 - 9*n**2 - 42*n - 87. Is t(-9) a multiple of 79?
False
Let p(z) = -62*z**2 + 464 - 67*z**2 + 130*z**2 - 7*z. Does 23 divide p(0)?
False
Suppose 8 - 338 = -30*m. Suppose -4*a - 16*l + 369 = -m*l, -4*a + l + 387 = 0. Is 9 a factor of a?
False
Suppose 12*y = 19*y - 350. Suppose -30 = 4*f - y. Suppose 6*w - f*w = 35. Is 3 a factor of w?
False
Let l = 19081 - 7759. Does 74 divide l?
True
Suppose 23065*h = 23049*h + 30400. Is h a multiple of 25?
True
Let b = 85 + -60. Let i = b - 12. Suppose t = -2*k + 213, -k + 95 = t - i. Is k a multiple of 35?
True
Let x = 26507 - -50617. Is 15 a factor of x?
False
Let t(j) = j**2 + 12*j + 38. Let y be t(-7). Suppose 0*c = -3*c - 12, y*k = -4*c + 1064. Does 54 divide k?
False
Does 181 divide (-34)/((-714)/(-394653))*1/(2/(-2))?
False
Let h = 7945 + -3563. Is h a multiple of 7?
True
Does 9 divide (-5 + 6)/((-38)/(-267064))?
False
Let d = 55 + -52. Let t(v) = v + v**2 - d*v + 10 + 0*v - 16. Does 16 divide t(-5)?
False
Suppose 60*d - 1736 = 29*d. Suppose c + 3*c - 320 = 0. Let k = c + d. Is k a multiple of 34?
True
Let o be ((-2229)/2)/(4/((-56)/21)). Suppose 0 = 5*n - n + i - 584, 5*n - 2*i = o. Is n a multiple of 23?
False
Let y = -189 - -112. Let v = y - -206. Does 43 divide v?
True
Suppose 2*w - 13544 = 4*b, 2*w - 1284 - 12245 = -b. Suppose -23*h - 970 + w = 0. Is h a multiple of 28?
True
Suppose -3*b = 5*n + 8, 0 = 5*n - 4*n + 1. Let j be (26 + -25)/(b/(-13)). Let k = j - -5. Is 18 a factor of k?
True
Let s(h) = -7*h**3 - 190*h**2 + 64*h + 32. Does 35 divide s(-28)?
False
Suppose 7080936 - 2330090 = 248*k - 1372026. Is 7 a factor of k?
True
Let l(h) = -3*h**2 + 77*h + 129. Let t(z) = z**2 - 26*z - 46. Let g(x) = -6*l(x) - 17*t(x). Let y be 6/(-15) + (-214)/(-10). Is g(y) a multiple of 8?
False
Does 48 divide 36455/(-46)*(-1)/(-2)*4/(-5)?
False
Let x(z) = z**3 - 9*z**2 + 25*z + 11. Let n be x(8). Let r be (-740)/(-10)*1/2. Let f = n - r. Is f a multiple of 8?
False
Let j(u) = u**3 - 13*u**2 + 24*u - 142. Let q be j(12). Suppose 2*k + 1458 = q*g, -3*k = -11 + 20. Does 22 divide g?
True
Is (-2 + -1)/6 + (-1203832)/(-112) a multiple of 14?
False
Suppose 0*v + 6*v = 768. Let k = v - 95. Suppose z - k - 104 = 0. Does 11 divide z?
False
Suppose -5*m + 5 + 10 = 0. Let a(u) = 2*u + 4 - u**2 + m*u**2 + 11 - 69. Is 29 a factor of a(-8)?
True
Let w = -3232 - -5536. Is 72 a factor of w?
True
Suppose 7579 = 8*l - 52245. Is 47 a factor of l?
False
Suppose 248*s - 116*s - 1214400 = 0. Is s a multiple of 9?
False
Suppose -4*u + 0*u = 0. Suppose -17*l + 22*l - 10 = u. Suppose -4*n + 556 = 4*i, -l*n - i - 4*i + 272 = 0. Does 47 divide n?
True
Suppose -2*q + 4*q - 3686 = 3*v, 0 = -2*q - 3*v + 3698. Suppose -2*g + 5*j = -1225, -2*g - g + q = j. Suppose 7*i + g = 12*i. Is 12 a factor of i?
False
Suppose 21542 = 42*y - 31*y - 9049. Is y a multiple of 27?
True
Suppose -321 = -3*g - 2*u + 6*u, 2*g + 3*u = 214. Suppose -i + 923 = -g. Suppose -46 = 6*d - i. Is d a multiple of 7?
False
Let j = -99 - -143. Suppose j - 264 = 4*n. Is -3 + (-175)/n + (-986)/(-22) a multiple of 15?
True
Let w(p) = -10*p + 188. Let a be w(20). Does 32 divide -6*(-2 + 40/a)?
True
Let q = 654 + -668. Does 66 divide q/5 - -3 - (-56421)/45?
True
Let q(x) = 21*x + 45. Let k(d) = 6*d + 216. Let t be k(0). Suppose t*i - 12 = 214*i. Is q(i) a multiple of 9?
True
Is 10 + 23752/(-40)*-5 + 3 a multiple of 71?
True
Suppose 107*b + 285 = 108*b. Suppose 5*h + f = -f + b, -5*f - 320 = -5*h. Suppose h*n = 56*n + 870. Is 44 a factor of n?
False
Let d(r) = -7*r**2 + 25*r + 33. Let m(z) = -5*z**2 + 26*z + 34. Let l(b) = -2*d(b) + 3*m(b). Is 24 a factor of l(18)?
True
Let h(v) be the second derivative of 3*v**4 - 10*v**3/3 + 65*v**2/2 + 2*v. Is 16 a factor of h