(o). Suppose 52*b - 75 = 29. Is 27 a factor of l(b)?
True
Suppose -84 = -8*o + 12. Suppose o*h - 134 = 10*h. Let i = h - 47. Is 20 a factor of i?
True
Let c(y) = y**2 - 4*y - 60. Let a be c(0). Let i = a - -69. Let w(n) = n**3 - 10*n**2 + 11*n + 19. Is 8 a factor of w(i)?
False
Let f = -45 - -41. Let h(r) = 3*r + 15. Let c be h(f). Suppose -z + 2*q + 442 = 3*z, 3*z - 339 = c*q. Is 12 a factor of z?
True
Suppose -4*k + 5*c = -1047, -288 = -k - 0*c - 4*c. Let g = k + 325. Is 71 a factor of g?
False
Suppose k - 40 = -266. Let d = k + 305. Is d even?
False
Let l(o) = -2*o - 12. Let f be l(-9). Let r(x) = 3 + 8 - 132*x + 133*x. Is r(f) a multiple of 4?
False
Suppose -3*v + 0*v - 3*w + 39 = 0, 2*v = -w + 22. Suppose v = 5*g - 1. Is 21 a factor of (2 + (-3 - g))*-27?
False
Suppose -27 = -7*a + 1450. Let p = 1 - a. Let x = -114 - p. Does 24 divide x?
True
Suppose 32 - 52 = -2*t. Suppose t*i - 1812 = 1708. Does 11 divide i?
True
Let c(l) = 4*l + 64. Suppose 0 = -0*b + 2*b + 30. Let i be c(b). Suppose s - 115 = -i*s. Is s a multiple of 10?
False
Suppose 0 = -p + 2*b - 5*b - 4, 2*p - 2*b - 8 = 0. Suppose -5 + 15 = 2*d, -175 = -p*w - d. Is 34 a factor of w?
False
Suppose 10*l - 27 + 257 = 0. Suppose -13 = 4*q + 5*y, -q - 5*y + 9 = 1. Let c = q - l. Is 9 a factor of c?
False
Suppose 2*p - 2271 = -3*z, 2*p = -5*z + 1195 + 1070. Is 15 a factor of p?
True
Let l(i) = -352*i - 1316. Is 67 a factor of l(-41)?
False
Suppose 4*x + k - 14 = 0, -2*k - 76 + 80 = 2*x. Suppose 57 = -5*w + 357. Let f = w - x. Does 6 divide f?
False
Let k be (-23)/(-5) + ((-88)/(-20) - 4). Suppose 3*n - n + 4*i - 142 = 0, k*n + i = 400. Suppose 0 = -5*f - 26 + n. Is 10 a factor of f?
False
Let u = 15534 + -6291. Is u a multiple of 39?
True
Suppose 384 = 12*i - 4*i. Suppose p - 128 = i. Does 22 divide p?
True
Let o(q) = -q**3 + 8*q**2 + 3*q + 13. Let z be o(6). Let d = 298 - z. Let f = -120 + d. Is 30 a factor of f?
False
Suppose -194*g = -179*g - 21870. Is g a multiple of 162?
True
Let u be 0/(3 + -2) + 20. Is (-11 + 244/u)/(3/2390) a multiple of 46?
False
Let a be (-4)/(-152) + 28539/5738. Suppose 5*j - 6 - 4 = 0. Suppose 15 = a*l, -v - j*l - 3*l = -174. Does 11 divide v?
False
Let w be (-13 - 1)*(0 + 234/(-21)). Let l(j) = 2*j + 8*j**2 - w - 153 - j**3 + 311. Does 26 divide l(5)?
False
Let w = -53 + 56. Suppose -l = 5*t - 867, 0 = -t - l + w*l + 180. Suppose f - t = 101. Is f a multiple of 55?
True
Let a = 1738 + 8720. Is 21 a factor of a?
True
Suppose -3*f + 3*j - 12 = 0, -10 - 4 = 2*f + 4*j. Let a(n) = -n**3 - 3*n**2 + 9*n + 15. Is a(f) a multiple of 5?
True
Let n = 4429 + -1892. Is n a multiple of 30?
False
Is (-366)/(-9)*(3/5 - (-1710)/25) a multiple of 4?
False
Suppose -3*b + 6*b - 55 = 4*c, -2*b = -c - 20. Let g(r) be the second derivative of -17*r**3/3 - 4*r**2 + 163*r. Does 42 divide g(c)?
False
Let x(r) = 9*r**2 - 5*r + 28. Let w(n) = -16*n**2 + 10*n - 56. Let y(o) = -4*w(o) - 7*x(o). Does 8 divide y(-15)?
True
Let u(z) = -195*z - 185*z + 13 + 384*z. Suppose -a = -v + 7, -5*v = -2*a - 35 - 6. Is 40 a factor of u(v)?
False
Suppose -3*i = -4*v + 42, 9*i - 5*v = 5*i - 57. Is 22 a factor of (-2771)/(-6) + (-1 - 21/i)?
True
Let o(f) = -f**3 + 4*f**2 - 7*f + 8. Let u be o(2). Suppose -u*y = -76 - 344. Is y a multiple of 30?
True
Let l = -47 + 145. Let q = -82 + l. Let j(k) = k**3 - 13*k**2 - 35*k - 37. Does 18 divide j(q)?
False
Let o = -525 + 1000. Suppose -5 = 4*a - t, -4*t + 20 = 4*a - a. Suppose -4*g + 109 = n, -4*n - 3*g = -a*n - o. Does 9 divide n?
False
Let s = 8 + -5. Let r(y) = 21*y**3 + 2*y**2 + 2*y + 3. Let q be r(s). Suppose q = 35*f - 32*f. Does 29 divide f?
False
Suppose 698*y + 77 = 709*y. Suppose y*u = -1851 + 4707. Does 30 divide u?
False
Let p be (-3*3)/(807/102 + -8). Suppose -98*c = -p*c + 4716. Is 54 a factor of c?
False
Suppose 0 = -6*p + 3 - 21. Let c be (p/(-3 + 0))/((-2)/(-8)). Suppose 0 = -c*a - 0*a + 712. Is a a multiple of 20?
False
Suppose -5*v - 18 = -8. Let y be 1848 + v/4*-4 + 3. Suppose y = 9*u - 127. Is 44 a factor of u?
True
Suppose -2*g + 38*o + 8430 = 40*o, 4*o - 12648 = -3*g. Is g a multiple of 26?
True
Suppose 456*u - 452*u - 55571 = -3*k, 0 = -2*u + 4*k + 27736. Does 53 divide u?
True
Suppose -3*y + 8*y = 70. Suppose 5*d - y*d = 945. Let c = d - -232. Is 13 a factor of c?
False
Suppose 4*d - 2034 = 622. Is 39 a factor of d?
False
Suppose -10*p + 940 = -0*p. Suppose -9*o + 7*o + p = 0. Is 47 a factor of o?
True
Suppose 14770 = 3*p + 5*a, -6*p + 2*a + 9820 = -4*p. Suppose 1411 - p = -3*s. Is s a multiple of 55?
False
Suppose 2*w + 12 = 4*l, -3*w + 7 + 7 = 2*l. Let d be -22*1*2/l. Does 2 divide (1 + d/2)/(9/(-60))?
True
Suppose -198*b - 95076 + 290106 = 0. Is 4 a factor of b?
False
Let g(a) = -386*a - 38. Let t be g(-6). Suppose -20*y = -6722 - t. Is y a multiple of 45?
True
Suppose -75 = 11*c + 4*c, -3*z + 2*c + 90808 = 0. Is z a multiple of 37?
True
Suppose -36*l + 47*l = 6127. Let k = -244 + l. Does 48 divide k?
False
Let d = 52419 - 36498. Is d a multiple of 10?
False
Let m be (-286)/(-65) - (-4)/(-10). Let n be 561 + 9/(9/m). Suppose 6*s - n + 229 = 0. Is s a multiple of 14?
True
Let w(y) = -y**3 + 23*y**2 - 32*y + 49. Is 111 a factor of w(-16)?
True
Let v = -40 + 52. Suppose m + 2*w = v, -m = m - 4*w + 16. Suppose m*b + 205 = 663. Is b a multiple of 22?
False
Let m(h) = h**3 + 89*h**2 + 146*h + 431. Does 7 divide m(-87)?
False
Suppose 0 = -3*n - 2*w + 38, 0 = -3*n - 2*w + 4*w + 22. Suppose -n*u - 1296 = -13*u. Does 48 divide u?
True
Suppose 3*w = 2*r + 29196, -2*r - 14583 = 5*w - 63259. Is w a multiple of 11?
False
Let l(o) = 6*o**3 + 3*o**2 + 3. Let h be l(-3). Let f be ((-40)/12)/(2/h). Let i = f - 156. Is i a multiple of 14?
False
Let p = 88 - 84. Suppose 3*c + i = p*c - 962, 2*i = -c + 968. Is 19 a factor of c?
False
Let i(k) be the third derivative of k**4/6 - 4*k**3/3 - 13*k**2. Let b be i(5). Suppose -v = -b - 60. Does 20 divide v?
False
Let r be (-21)/(-14)*(-52)/6. Let x be 21008/(-338) - 2/r. Let i = -48 - x. Does 14 divide i?
True
Let w(n) = -5*n**3 - 112*n**2 - 27*n - 84. Is w(-25) a multiple of 97?
False
Let f be (20 - -1)*(-123)/9. Suppose -k - 583 = 5*p + 1676, -2*k - 459 = p. Let n = f - p. Is n a multiple of 34?
False
Let i = 32 + -28. Suppose 2*p = -2*j + 3*j + 346, 8 = -i*j. Let w = 285 - p. Is 31 a factor of w?
False
Let n = -419 - -724. Let v = n - 153. Is 33 a factor of v?
False
Suppose 11 = 85*d - 74*d. Is 7128/(-330)*d/((-2)/15) a multiple of 9?
True
Suppose 38*o + 13*o = 1033413. Is o a multiple of 23?
True
Let p(l) = -6*l**3 - 4*l**2 + 52*l + 53. Is p(-14) a multiple of 82?
False
Suppose 2*c = 0, c - 2*c = -3*v. Let d(t) = -t. Let w(x) = -3*x - 32. Let i(a) = 2*d(a) - w(a). Is 8 a factor of i(v)?
True
Suppose 630253 = -410*w + 3701973. Is 18 a factor of w?
False
Let z = -3182 + 4780. Is z a multiple of 8?
False
Does 3 divide (-246)/(-8*4/20 + (-9)/(-15))?
True
Suppose 34*o = 83*o + 44*o - 157263. Is o a multiple of 89?
True
Suppose -t + 8*t = 686. Suppose 2*z + 0*z - t = 0. Does 7 divide z?
True
Let w be 14*(-11)/((-66)/(-6)). Let y be (-9)/(-6)*(-236)/(-6). Let z = w + y. Is 15 a factor of z?
True
Suppose 55*p - 102*p + 119*p = 2016. Let i = -4 + 6. Is 16 a factor of 3096/p - ((-30)/21 + i)?
False
Let m(s) = -2*s**3 + 17*s**2 - 7*s + 29. Is m(7) a multiple of 19?
False
Suppose -26*m - 353752 = -1311228. Does 8 divide m?
False
Let u = -84 + 86. Let f be (0 + -2)*(u - 77/14). Suppose f*m - 8*m = -78. Is 13 a factor of m?
True
Suppose -2*d = -p, 5*p + 6 - 1 = 5*d. Suppose 10*m - 5*m + 60 = 0. Is 10 a factor of (10/m*-28)/(p/(-6))?
True
Suppose 4*q + 5*b = 32, 3*q = 4*b - 5 + 60. Suppose -4*k - q = -l, 2*l + 0*k = -k - 1. Is 15 a factor of (l*-796)/(-4) + -3?
False
Let d be (3 - 13)*-73*5/10. Suppose -2*t + 5*t - 2*w - 214 = 0, -5*w + d = 5*t. Is 9 a factor of t?
True
Suppose 2*f = -2*f + 5*i + 15, 0 = f + 2*i + 6. Let x(b) be the third derivative of -b**6/120 + b**5/30 + b**4/24 + 9*b**3 + 108*b**2. Is x(f) a multiple of 9?
True
Let i be (-8)/2 + 20 + -11. Let z = 865 - 573. Suppose 2*d - z = -i*j + 5*d, 3*d = -4*j + 212. Is j a multiple of 8?
True
Suppose -5*n + 21 = 2*j - 23, -66 = -3*j + n. Suppose 3*v = j - 16. Suppose v*i = -5*g + 418, 173 = 4*g + 5*i - 158. Does 17 divide g?
False
Let v = -56 - -100. Suppo