54. Suppose -18 = -2*l + 4*r, 32 - b = 5*l - 4*r. Does 5 divide (-12)/(-6) + (9/l - -66)?
False
Let j = 1112 + -831. Is 1*j + -38 + 45 a multiple of 9?
True
Let l = -432 + 437. Let p be (433 - 3) + -2 + 2. Suppose 0*u = -l*u + p. Is 14 a factor of u?
False
Suppose 3*o = 281 - 299, -5*v = -o - 96366. Is v a multiple of 12?
True
Let m be 15*(-1 + 0/(-4)). Let y be (-150)/(55/m + 3). Let b = -117 + y. Is 18 a factor of b?
True
Let g(r) = r**3 + 6*r**2 - 3*r - 20. Let v be g(-6). Is 23 a factor of (-1 - v - -176)*(-40)/(-30)?
False
Let r be 1/((-22)/180) + 6/33. Is (r - -9)/(2/406) a multiple of 5?
False
Suppose 6*g - 18 = -0*g. Suppose -g*q - q - 68 = 0. Let b = q - -59. Does 14 divide b?
True
Suppose 0 = -5*l - 5*y - 0*y + 25, 0 = -3*l + y + 3. Suppose 4*u - 167 = 5*f, 5*u - l*f - 182 = u. Let p = u + -12. Is 4 a factor of p?
True
Suppose 5*x + 9400 = -35*x. Let v = x - -366. Does 2 divide v?
False
Suppose 0 = -0*o - 3*o + 6. Suppose -14 + o = -6*q. Is 2/(-14)*q - (-340)/14 a multiple of 6?
True
Does 27 divide (-3)/2 + 45892/112*6?
True
Let g(i) = -i**3 - 2*i**2 + 6*i - 11. Let u be g(-8). Let b = -71 + u. Does 42 divide b?
False
Let d(z) = -z**3 - 19*z**2 - 19*z + 5. Let u be 20/(-130) - 490/26. Is 14 a factor of d(u)?
False
Suppose 43*q - 102723 + 28804 = 55812. Is q a multiple of 7?
True
Let h be (1 - (-4 - -9))*(-872)/(-16). Let a = -47 - h. Is a a multiple of 26?
False
Let i(x) = -x**2 + 16. Let p be i(-4). Suppose p = -8*o + 36 + 108. Let b = 73 + o. Is b a multiple of 25?
False
Let o(d) = -112*d + 2088. Let s be o(-12). Let h = 2 - -1. Suppose h*y + 10*y = s. Is 22 a factor of y?
True
Let p(s) = 4377*s**2 - 128*s - 67. Does 124 divide p(4)?
False
Suppose -2*w + 2826 = -2*j + 11126, 3*j - 4*w - 12448 = 0. Suppose -k = -4*f + j, -3*f + 4*f - 1029 = -2*k. Does 83 divide f?
False
Let u(w) = w**3 + 14*w**2 - 2*w + 8. Let d(h) = -3*h - 22. Let m be d(-9). Suppose 4*i - 2 = 2, -4*j = -m*i + 41. Is 62 a factor of u(j)?
False
Suppose -2557 - 11060 - 5815 = -7*s. Is s a multiple of 39?
False
Let n be (7 + 1)/(50/125). Let y be (-3)/(-12) - (-5495)/n. Suppose -3*l = 5*o - l - y, 5*o = 4*l + 275. Does 9 divide o?
False
Suppose z = 2*z + 2*v + 144, 294 = -2*z + 2*v. Let n = 174 + z. Is n a multiple of 14?
True
Let j = -189 - -213. Does 16 divide (-11 + (3 - -12))/(2/j)?
True
Suppose 8*x = 9*x - 3. Let v(r) = 7*r**3 - 3*r**2 - 10*r + 6. Is v(x) a multiple of 31?
False
Let j = 8902 + -6949. Is j a multiple of 21?
True
Suppose 21 = 3*d + 3. Let u = d + 2. Is u a multiple of 4?
True
Let r = 44 + -55. Let u = r - -139. Is u a multiple of 8?
True
Let c = -241 + 244. Suppose 5*w = -c*b + 1055, -w + 6*w - 1090 = 4*b. Is 17 a factor of w?
False
Let x = -428 - -454. Suppose 12334 = x*u - 3136. Is u a multiple of 17?
True
Suppose 2*z - 4485 = 5*o - 87046, -2*o + 33018 = -4*z. Does 125 divide o?
False
Let s = 613 - 328. Let h be (32/24)/((-4)/6). Is 7 a factor of (13/h)/(s/(-70) - -4)?
True
Suppose -4*d - f = -5028 - 10861, f - 3976 = -d. Does 5 divide d?
False
Let u(r) = -20*r + 396. Let c be u(49). Let h = 759 + c. Does 7 divide h?
True
Let w be (-1 + 2)/((-3)/(-159)). Suppose -41 + w = 4*a. Suppose -a*h + 82 = -38. Is h a multiple of 8?
True
Suppose -2*u + 5653 = -z, 65*z = 2*u + 62*z - 5663. Is u a multiple of 4?
True
Let r = 55308 + -22748. Is r a multiple of 176?
True
Let c(r) = -3*r**2 + 9*r - 9. Let f be c(2). Let p be 0/(f*(1 - (-2 + 4))). Suppose 4*j + 20 = -0, -3*n - j + 481 = p. Does 18 divide n?
True
Is 52347/13 + 224/728 a multiple of 13?
False
Is 49 a factor of (690/(-25) + 0)/((-2)/245)?
True
Let f be 2*-2*13/(-4)*2. Suppose f*b - 29*b + 129 = 0. Is b a multiple of 43?
True
Suppose -7*t = 7, 3*t + 11044 = 2*u - 7579. Does 95 divide u?
True
Suppose -18*v + 2*v - 11760 = 0. Let r(l) = l**3 - 8*l**2 + 6*l - 3. Let g be r(7). Does 18 divide v/g - (-12)/(-8)?
True
Suppose -5*a = -24 + 34. Let z(w) = -w**3 - 2*w**2 - 2*w - 2. Let o be z(a). Suppose 5*f - 31 = -o*g - 0, 51 = 3*g + 3*f. Is 6 a factor of g?
True
Suppose 9*b - 10*b = 4, 13672 = 2*x - 2*b. Suppose -5*h + x = 3*h. Is 14 a factor of h?
True
Let w = 852 - 848. Suppose w*x = 4*i - 1992, 3*i = -x + 609 + 889. Is 9 a factor of i?
False
Suppose 38*p - 8867 = 36*p + q, -5*p + 22148 = 4*q. Is p a multiple of 8?
True
Suppose -35*y - 52*y = 51*y - 313950. Is y a multiple of 7?
True
Let q(d) = -1 + 2*d + 18*d + 11. Suppose -14*o + 9*o + 60 = 0. Is 50 a factor of q(o)?
True
Does 151 divide (-19)/(((-17)/(2040/16))/((-366)/(-9)))?
False
Suppose -18*b + 381629 = -128635. Is 8 a factor of (-3)/21 - b/(-133)?
False
Let j(d) = 17*d**3 + 16*d**2 - 62*d + 206. Is 21 a factor of j(10)?
True
Let l = 30 - 34. Does 8 divide 1/((-1155)/(-288) + l)?
True
Let d(h) = h + 3. Let o be d(-2). Let g(r) = 10*r. Let l be g(o). Suppose -123 = -s + l. Is 15 a factor of s?
False
Let c(p) = -p**2 - 40*p + 1413. Is c(-34) a multiple of 147?
True
Does 69 divide (-5)/((-20)/(-36)) - (-8042 - -98)?
True
Let k(j) = -610*j + 3100. Does 114 divide k(-8)?
True
Let k(y) be the third derivative of -y**6/120 + 19*y**5/60 - 71*y**4/24 + y**3 + y**2 + 17*y. Is k(13) a multiple of 5?
False
Let v(s) = 68*s**2 - 13*s - 162. Let h be v(-10). Suppose 41*j + h = 50*j. Is j a multiple of 24?
False
Let q be 1 - (-2 + 0 - -1). Suppose q*h + 5 - 29 = 0. Is (-378)/12*h/(-9) a multiple of 14?
True
Suppose -2*q - 6 = 0, w + 5*q - 140 = 21. Suppose -15*d - w = -1751. Is d a multiple of 15?
True
Let o be (119/(-42) - -3) + (-1175)/(-6). Suppose o*r - 190*r - 3246 = 0. Is 36 a factor of r?
False
Suppose 0 = -37*r + 6*r + 230020. Does 53 divide r?
True
Let x(t) = 203*t**2 + 120*t + 1028. Is x(-8) a multiple of 173?
False
Suppose 0 = -50*q + 52*q + 22. Let p(s) be the second derivative of -s**4/12 - 2*s**3 + 7*s**2/2 - s. Is 18 a factor of p(q)?
True
Let j be (-32)/(-24) + 3/(-9) + 0. Let x = 9 - 8. Is 78/2 + j*(-2 + x) a multiple of 19?
True
Let x = 612 - 344. Suppose 5*y + 5*r - x = 6*r, 0 = -2*r + 4. Does 5 divide y?
False
Let z(i) = 16586*i + 353. Is z(1) a multiple of 69?
False
Let s(g) = 43*g + 39. Let r be s(14). Let p = r + -364. Is p a multiple of 12?
False
Let w = 696 - 643. Suppose 0 = 32*q - w*q + 14952. Is q a multiple of 37?
False
Let o(w) = -w**3 + 10*w**2 + 9*w - 88. Let h be o(11). Let p = 13 - h. Is 4 a factor of p?
False
Let f(y) = y**2 - 3*y - 3. Let u(m) = m**2 - 7*m - 6. Let a be u(8). Suppose 2*s = -5*g - 30, 0 = -a*s - 3*s - 2*g - 33. Does 13 divide f(s)?
False
Let g(u) = 177*u - 690. Is g(8) a multiple of 9?
False
Let x(p) be the third derivative of p**6/120 + p**5/60 - 5*p**4/12 + 35*p**3/6 + 37*p**2. Is x(5) a multiple of 15?
True
Suppose -6*l + 34*l = -8*l + 9792. Is 68 a factor of l?
True
Let z(k) = 3*k**2 - 104*k + 361. Is z(51) a multiple of 10?
True
Suppose -5*f + 21*s - 20*s - 3862 = 0, 4*f = s - 3089. Let p = f - -943. Does 10 divide p?
True
Let g(c) = 207*c - 129. Let v be g(5). Suppose -5*u + 4620 + v = -2*q, -u = 2*q - 1098. Does 24 divide u?
True
Suppose 3*u - 65213 = 5*v - 198229, -3*v + 79840 = 2*u. Is 52 a factor of v?
False
Suppose 21*o - 33*o = 0. Suppose -3*c + 256 + 56 = o. Does 13 divide c?
True
Let v = -3677 - -7037. Is 16 a factor of v?
True
Let i = 143 - 139. Does 4 divide -59*-4*(5 - i)?
True
Let m = -116 - -121. Is (2 - 1)*m*964/10 a multiple of 22?
False
Let p(w) = 8*w**3 + 13*w**2 + 53*w - 390. Does 4 divide p(10)?
True
Let p(k) = k**3 + 11*k**2 + 2*k - 18. Let b be p(-13). Let y = -52 - b. Is 15 a factor of y?
True
Suppose 0 = 64*d + 66182 - 82026 - 188508. Is 3 a factor of d?
False
Let l = -4060 + 15214. Does 26 divide l?
True
Let u(i) be the first derivative of -i**4/4 - 11*i**3/3 + 9*i**2/2 - 9. Let h = -18 + 6. Is 36 a factor of u(h)?
True
Let w be ((-25)/15 - -1)*1*9. Is 762*(-6)/108*w a multiple of 27?
False
Let v(z) = -z**2 - 10*z - 21. Let w(t) = t**2 - 3*t. Let s(p) = -v(p) + 3*w(p). Does 10 divide s(3)?
True
Let w(u) be the first derivative of u**4/4 + 17*u**3/3 + 25*u**2/2 - 19*u - 32. Does 24 divide w(-11)?
True
Suppose -2*q = -4*p - q + 6, -2*q = p + 3. Does 19 divide p + (209 - (-3)/(-9)*3)?
True
Suppose -524 - 84 = -8*c. Suppose -2*h + 14 = 3*u - 210, -c = -u - h. Is u a multiple of 5?
False
Suppose -4*v - y = -1, -2*v + 8 - 4 = 4*y. Suppose v = 4*r - 1221 + 301. Does 55 divide r?
False