/((-1)/14). Let l(q) = q**3 + 11*q**2 - 4*q - 21. Let x be l(-5). Let b = h + x. Is b a multiple of 18?
False
Let a(p) = 40048*p**3 + 52*p - 50. Is a(1) a multiple of 225?
True
Suppose 5*n = -10 + 210. Suppose -38*p - 4 = -n*p. Suppose 0 = -p*y - 5*k + 112 + 31, -208 = -3*y - k. Is y a multiple of 24?
False
Is 13 a factor of 6 - ((-2)/(-6))/(15/(-993645))?
True
Let w = 8149 + -1842. Suppose -637 = 5*v - w. Is 27 a factor of v?
True
Suppose 0 = -13*h + 3318 + 5509. Is h a multiple of 4?
False
Suppose -3*l = 3*n - 7551, -7*n + 2505 = -6*n - 2*l. Is 16 a factor of n?
False
Let g(m) = 2*m**2 - 53*m + 6. Is 22 a factor of g(-36)?
False
Let a(p) = -2*p**3 - 21*p**2 + 35*p + 50. Does 33 divide a(-13)?
False
Let r = 167 - 161. Let t(l) be the third derivative of -l**6/120 + 2*l**5/15 + l**4/24 + 2*l**3 + l**2. Is t(r) a multiple of 30?
True
Suppose 3*n - n = 8. Suppose -4*f = n*w - 14 + 2, 3*w + 5*f = 11. Suppose 7*g = w*g - 4*j + 46, g - 6 = -4*j. Is g a multiple of 5?
True
Let m(r) = -r**3 - 11 + 8*r - r**3 + 3*r**2 + r**3. Let f be m(4). Suppose f*y = 20 + 45. Is 3 a factor of y?
False
Suppose -w + 26894 = -5*x, 4*w - 2*x - 18823 - 88843 = 0. Is w a multiple of 27?
True
Suppose 2*o + 113570 = 86*o - 24022. Does 12 divide o?
False
Suppose -151*d + 35359 = -196*d + 246589. Is d a multiple of 13?
False
Let x(v) = -183*v**3 + 9*v**2 + 6*v - 40. Is x(-3) a multiple of 19?
False
Suppose 0 = -u - 8*f + 3*f, 0 = -2*u - 4*f. Suppose 2*m - 6*m - 8 = u. Is 29 a factor of 0 + (0 - m) - 136*-1?
False
Does 5 divide (162/12 - 6)*(-13 - 0 - -3339)?
True
Is ((1866/(-15))/(36/2940))/(4/(-6)) a multiple of 7?
True
Suppose -130 = -3*t + 383. Let m = 286 - t. Is ((-44)/10)/((-46)/m) even?
False
Let w = 20 - 18. Suppose -2*c - w*q = -6*q, c + 25 = -3*q. Does 29 divide 2/c*-1 + 1158/10?
True
Let x = 31121 - 14894. Suppose -13*g = -283 - x. Is 20 a factor of g?
False
Let o = -4697 - -4797. Is 5 a factor of o?
True
Suppose -3*m + 8957 = 2*g, 0 = -6*m + 2*g - 9579 + 27469. Is m a multiple of 7?
False
Let x be 18/(-15)*140/6. Let k = 323 + x. Does 13 divide k?
False
Let l = 893 - 363. Let k = l - -23. Let f = -315 + k. Is 14 a factor of f?
True
Let g = -6931 - -8467. Is 227 a factor of g?
False
Suppose -4 = o - 19. Suppose -10*u + 15*u - o = 0. Suppose u*k = -117 + 489. Does 22 divide k?
False
Suppose 0 = -c + r + 32102, -146*c + 151*c = 2*r + 160504. Does 10 divide c?
True
Let n = 2 + 14. Let j = n - -18. Let r = -12 + j. Is 22 a factor of r?
True
Suppose 28*z - 322 = 14*z. Suppose -36*i = -z*i - 1872. Is 5 a factor of i?
False
Let x(o) = -20*o - 55 - 19 - 148 - 55. Does 14 divide x(-34)?
False
Is 39622/55 + (-20)/50 a multiple of 5?
True
Let o = 4318 + -3226. Is 12 a factor of o?
True
Suppose -m - 16 = 5*d - d, 0 = 5*d + m + 20. Let r(w) = w**3 + w**2 + 7*w + 7. Let z be r(d). Let y = 169 + z. Is y a multiple of 7?
False
Let j = 3835 - 3086. Does 107 divide j?
True
Let p be 15/9 + (-2)/(-6). Suppose 2*d - 1314 = -4*y, -p*y = 3*y - d - 1653. Does 33 divide y?
True
Suppose -9*p - b = -38145, -6*b - 6 = -5*b. Is 27 a factor of p?
True
Let x = 277 + -277. Suppose -3*j + z + 1330 = 0, 4*j - z - 772 - 1000 = x. Does 34 divide j?
True
Let m(c) = 53*c**2 + 2*c + 3. Let o be m(-1). Suppose o = 70*k - 64*k. Does 3 divide k?
True
Suppose 6*s + 139600 = 16*s + 6*s. Is s a multiple of 12?
False
Does 17 divide (-17328152)/(-2128) - ((-2)/(-1))/(-28)?
True
Let d(r) be the third derivative of -r**6/20 + r**5/60 - r**4/4 + 4*r**3/3 + 5*r**2. Let l be d(-4). Suppose 6*o - l = -3*o. Is 8 a factor of o?
True
Suppose -l = -2*o + 11, 2*l + 13 = 3. Suppose -495 = -o*y - 93. Is y a multiple of 5?
False
Suppose -51*t + 54*t - 5*l = 2685, 4*l + 888 = t. Does 50 divide t?
True
Let n = -2665 - -3535. Does 5 divide n?
True
Let x(g) = 63*g**2 + 64*g + 279. Is 7 a factor of x(-6)?
True
Let u = -2769 - -2804. Let g be (10/3)/((-3)/(-216)). Suppose 0 = -u*x + 39*x - g. Is x a multiple of 6?
True
Suppose 54049 = 18*s - 72581. Is 17 a factor of s?
False
Let z = 625 + -391. Let s = 398 - z. Suppose 2*c - s = -4*t, 5*c = -0*c + 2*t + 422. Is 14 a factor of c?
True
Suppose p = -15*r + 17*r + 13616, -p - 4*r + 13604 = 0. Does 83 divide p?
True
Suppose 2*s = -5*w + 27, -3*w + 5*s = 3*s - 29. Let f(c) = c**3 - c**2 - 15*c - 6. Is 10 a factor of f(w)?
False
Let p be 6679/4 - -1 - (-36)/(-48). Suppose 0 = 3*s - 301 - p. Suppose -s = -6*l - 27. Does 16 divide l?
False
Suppose -8*p + 6*p - 4 = 0, b + 3*p = -1. Suppose -2*u + b + 155 = 0. Is 10 a factor of u?
True
Suppose 3*n = 5*z - 1169, 3*n + 545 + 615 = -4*z. Let d = 856 + n. Is d a multiple of 21?
False
Is 97 a factor of -1*((-667 - 13) + 1)?
True
Suppose p = 8 - 2. Suppose -p*i + 22 + 2 = 0. Suppose i*m - 5*a - 273 + 71 = 0, 5*m + 2*a = 236. Is m a multiple of 12?
True
Let z(t) = 5*t**2 + 31. Let y be ((-38)/19)/(2/7). Let a be z(y). Suppose -2*x + 5*k = k - a, 2*k + 534 = 4*x. Does 14 divide x?
False
Let x(g) = -2583*g + 2126. Is x(-18) a multiple of 70?
False
Let g(c) = c**3 - 35*c**2 - 74*c + 2. Let v be g(37). Does 9 divide (288/160)/(v/230)?
True
Let v = 93 - 90. Suppose p + 5 = 0, -p - 2 = 2*u - v. Suppose -3*s = -2*k - 207, -u*k - 112 - 26 = -2*s. Does 8 divide s?
False
Let m be 16/88 + (-60)/(-33). Suppose 2*z - 153 = m*n - 5*n, -n + 78 = z. Suppose -10*v = -v - z. Is 4 a factor of v?
False
Let u(r) = -9*r + 223. Let a be u(25). Is (1035/92)/(a/(-56)) a multiple of 21?
True
Let y(l) be the second derivative of 14*l**3/3 + 57*l**2/2 - 221*l. Does 3 divide y(6)?
True
Suppose 0 = -3*g + 4*g - 9. Let k(o) = -o + 2. Let w(i) = 15*i - 37. Let v(j) = 3*k(j) + w(j). Does 11 divide v(g)?
True
Suppose -8*k - 24 = -11*k. Suppose 7*s - k*s = -360. Suppose 8*b - s = 5*b. Is b a multiple of 30?
True
Let t(v) = 3*v - 12 + 8*v + 0*v - v. Let f be t(3). Is (-4)/f + 4878/81 a multiple of 21?
False
Let j be (51/68)/((-6)/(-16)). Let k be (-3)/(-2*1/76*j). Let f = 109 - k. Is f a multiple of 13?
True
Suppose 0 = b + 2*r - r - 3, 0 = 5*b + 4*r - 17. Let v be ((-6)/4)/(b/90)*1. Let l = v - -55. Is l a multiple of 9?
False
Suppose x - 5*y - 23 - 44 = 0, y - 37 = -x. Let v be 2/x*-6 + 360/(-14). Let k = v + 50. Is 2 a factor of k?
True
Suppose 5*x + 15 = 2*i, 4*i + 4*x - 72 = 28. Let a(w) = 3*w**2 - 46*w + 19. Let s be a(i). Suppose n + 2*l - 110 = 0, -s = -3*n - 3*l + 28. Is 27 a factor of n?
True
Suppose 114*p - 890889 - 1644248 = -798233. Is p a multiple of 103?
False
Suppose -5*q + 2 = -8. Let n be (72/(-90))/(q/10). Does 13 divide n/(-24) - (-605)/6?
False
Let n = 204 + 419. Let r be 7*(-24)/(-28)*-63. Let m = r + n. Is m a multiple of 35?
True
Is 17 a factor of (-9)/36 + 36725/20?
True
Suppose -44 = -4*l + 80. Let h = -23 + l. Does 9 divide (1 - (-51)/6)*h?
False
Suppose -1 = x, -3*x - 27 - 32 = -4*w. Let n = -11 + w. Suppose -2*a + 50 = v, n*v + a = -3*a + 148. Does 24 divide v?
True
Let u(w) = -2*w**2 + 115*w - 141. Is u(29) a multiple of 36?
True
Let b = -22 + 5. Let y = b + 23. Is 1 - (-200)/(y - 2) - -1 a multiple of 20?
False
Let o be 860/6*(-51)/(-34). Let b = o - 114. Is b a multiple of 13?
False
Let q = 10110 - 9971. Does 2 divide q?
False
Suppose 2*f - 3*m = 6*f + 3592, 898 = -f - 3*m. Let g = 1729 + f. Is 13 a factor of g?
False
Suppose 2*m - 1 = -0*i + 3*i, -i - m + 8 = 0. Suppose -t + 61 = i*x, -33 - 49 = -4*x - t. Is 3 a factor of x?
True
Let m(i) = 5229*i + 62. Is 43 a factor of m(1)?
False
Suppose 4*p + 4 = -2*l, -4*p - 28 = -4*l + 2*l. Suppose -8*y = -5*u - l*y + 4654, 2*u + y = 1858. Is u a multiple of 15?
True
Suppose 345 = 3*d - 4*h, 0*h + 345 = 3*d - 2*h. Suppose 2*j = 4*l - d - 1451, -5*j + 5 = 0. Is l a multiple of 14?
True
Suppose 32*t - 24*t = 0. Suppose t = 10*l - 7*l + 66. Is (-242)/((-26)/22 + (-4)/l) a multiple of 11?
True
Let o = -4526 + 6414. Suppose -4*a = -4*w - o, -a - 16*w + 12*w = -472. Does 59 divide a?
True
Suppose 1201*r - 12628 = 1187*r. Does 24 divide r?
False
Suppose 2*l = -6*q + 6713 + 437, -2*l - 3596 = -3*q. Is 3 a factor of q?
True
Does 3 divide (-982020)/(-108) - (-14)/63 - 11?
False
Let i(j) = 63*j + 4768. Does 8 divide i(88)?
True
Let g = -154 - -166. Let r(d) = -d**3 + 17*d**2 - 41*d + 27. Does 15 divide r(g)?
True
Suppose -57*t - 10 = -52*t, -35624 = -4*o + 4*t. Does 21 divide o?
True
Suppose 2*z = -2*z + 56. Suppose