-q**3 - 2*q**2 + 7*q + 30. Let z be x(-5). Suppose -4*n + 0*n = 0. Let g = n + z. Is 14 a factor of g?
True
Let b(k) = 10*k**2 - 48*k - 39. Is b(12) a multiple of 11?
True
Is 2 + (3 - -4021) - 2 a multiple of 100?
False
Let y(j) = -3*j**3 + j + 25. Let b be y(-4). Let o = b + -205. Is o a multiple of 4?
True
Let f(h) = 6*h**2 + 21*h + 7. Let w be f(-3). Is (-560)/w - (-13)/(117/(-36)) a multiple of 43?
False
Let j(c) = 2*c**2 - 88*c - 1618. Does 208 divide j(-131)?
False
Let t(y) = -y. Let u(w) = 523*w**3 + 8*w + 4. Let f(c) = -4*t(c) - u(c). Is 11 a factor of f(-1)?
False
Suppose 4*v = -w + 17, 0 = 5*w + 4*v - 8*v - 13. Suppose 2*d - 1805 - 121 = -w*z, -962 = -d - 3*z. Is d a multiple of 46?
False
Suppose -8*l = -11*l - 690. Let p = 412 + l. Is 22 a factor of p?
False
Is 1 - -5 - (0 - (361 + -3)) a multiple of 3?
False
Let h(c) = c**2 + 24*c + 44. Let y be h(-22). Suppose 135*o - 128*o - 98 = y. Is 4 a factor of o?
False
Let a = -158 - -314. Is 19 a factor of (-2 - -3) + (a - -4)?
False
Let w(n) = -n**3 + 5*n**2 + 2*n - 22. Let f be w(4). Suppose -15*j + 13*j + 5*r = -2113, -f*r - 2110 = -2*j. Is 26 a factor of j?
False
Let u(g) = 180*g**2 - 136*g + 714. Is 28 a factor of u(5)?
False
Let l(d) = -d**3 + d**2 + 2*d + 23. Let o be l(0). Let m = o - -334. Does 47 divide m?
False
Suppose -153 = -2*j + p, 0*p - 20 = 4*p. Suppose 2*r - j = 5*a - 574, -5*r = 25. Is a a multiple of 54?
False
Let f be 184779/(-105) - (-16)/20. Let j = -354 - f. Is 111 a factor of j?
False
Suppose -4*o + w = -2*w - 257, -o = 4*w - 88. Let r = o - 63. Suppose 3*p + r*x - 170 = 33, 172 = 2*p - 4*x. Is 19 a factor of p?
True
Suppose -10 = 3*f - 4*q, -q = -f + 3*f - 8. Suppose 4*r - 8 - 200 = 3*n, -4*r + 212 = -f*n. Let l = 104 - r. Is l a multiple of 17?
False
Suppose 2*o + 0 = 2. Suppose 6*x - o = 689. Does 23 divide x?
True
Let c(m) = 7*m**2 + 0 + m - 2*m**2 + 2. Let a be c(-2). Let q = 26 + a. Does 23 divide q?
True
Suppose -43692 + 52923 = 17*i. Is 6 a factor of i?
False
Suppose -3*m = -6*m + v + 724, -4*m = -3*v - 967. Suppose 2*z - 529 - m = 0. Suppose 0 = -80*d + 75*d + z. Is d a multiple of 7?
True
Let y be (3/(-8))/(49/(-392)). Suppose y*h - 1866 = 1464. Is 15 a factor of h?
True
Let d(o) = 3*o. Let h(z) = -51*z + 1. Let s(p) = -18*d(p) - 2*h(p). Is 9 a factor of s(1)?
False
Let f = 651 - -1938. Does 58 divide f?
False
Let k be (17 - 12) + (-4)/2. Let x = 55 - k. Suppose a - 48 = -3*u, 2*a + x = 3*a - u. Does 26 divide a?
False
Suppose 0 = -5*g + 4*u - 541, 199 = -3*g - u - 112. Let j = -41 - g. Is j a multiple of 32?
True
Suppose 11*w - 741315 + 161970 = -54*w. Does 118 divide w?
False
Does 18 divide 6557 - (-6 - -23) - 3*2?
True
Suppose 4*d = 3*r - d - 35, 2*r = 4*d + 26. Suppose r*g + 25 = 0, -u + 2*g = 172 - 437. Does 24 divide u?
False
Let i = 1633 + 23367. Is 100 a factor of i?
True
Is 11 a factor of ((-5490)/35)/(1/(-21)) + -5?
True
Let q be (-2)/(-7) + (-1006)/(-7). Suppose 10*p = 4*p - q. Is 29 a factor of p/5*(-4 - (-8)/(-3))?
False
Suppose 0 = 4*x - 5*w - 27234, 33*x - 32*x - w - 6810 = 0. Does 142 divide x?
True
Suppose 0 = 222*f - 8155956 + 1147194. Does 18 divide f?
False
Let v = -1820 + 1865. Suppose 0*w = -5*f + w + 292, -71 = -f - 4*w. Let h = f - v. Is 14 a factor of h?
True
Let w(c) = c**3 + 28*c**2 - 126*c - 204. Is w(-22) a multiple of 48?
True
Suppose 35*s + 69768 = -15*s + 908368. Does 14 divide s?
True
Let k be (-2 - 1)/((-6)/8). Let s(b) = -3*b**3 - 6*b**2 - b - 2. Let m(z) = z**3 + z**2 - z + 1. Let x(j) = 4*m(j) + s(j). Is 7 a factor of x(k)?
True
Let d = -2430 - -5979. Is d a multiple of 16?
False
Let u = 5010 + 2465. Does 65 divide u?
True
Suppose p + p + 2*h = 2486, -4*h + 16105 = 13*p. Is p a multiple of 9?
False
Let t = 21406 + 4531. Is t a multiple of 114?
False
Let s be (116 - 0)/(28/42). Suppose 0 = 6*v - s - 72. Does 16 divide v?
False
Let u(y) = -20*y + 209. Let w be u(-10). Suppose 410*m - 900 = w*m. Is m a multiple of 36?
True
Suppose 142*n + 4994 = 153*n. Suppose n - 150 = 4*s. Is s a multiple of 19?
True
Let o(u) = 7*u**3 + 86*u**2 - 38*u + 16. Is 19 a factor of o(-12)?
True
Let u(k) = 3*k**2 + 2*k - 1. Let x be u(1). Let o be 95/15 - 22/(-33). Suppose 30 = s - x*w, -o*w = -5*s - 3*w + 118. Is s a multiple of 22?
True
Let w(y) = -27*y - 9. Let j be w(-15). Let c = -236 + j. Does 14 divide c?
False
Let p(u) = u - 4. Suppose -t + 2*d = 13, -45 = 3*t + 5*d - 6. Let v be p(t). Let m = v + 33. Does 2 divide m?
True
Let m(d) = -22*d + 33. Let w(r) = -45*r + 65. Let k(v) = -9*m(v) + 4*w(v). Let i(l) = -8*l**3 + 205*l**2 + 78*l + 9. Let q be i(26). Does 41 divide k(q)?
False
Suppose -81*d - 4587 = 10*d - 165475. Is 84 a factor of d?
False
Is (-352)/((-27)/(1620/8)) a multiple of 30?
True
Let p(i) = -4*i - 1120*i**2 + 1280*i**2 + 5*i. Is 9 a factor of p(1)?
False
Suppose -8*b + 41534 = -3*b - 4*s, 6*s = 2*b - 16596. Does 147 divide b?
False
Let j = -145 + 148. Suppose -4*s + j*y + 954 = 0, 0 = -5*s + y + 886 + 312. Does 30 divide s?
True
Let v = -396 - -390. Does 26 divide 10710/36 + 1*(-9)/v?
False
Let q be (3/2 - 1)/((-12)/(-96)). Suppose 3*z + g - 265 = 130, -z + q*g = -149. Is z a multiple of 9?
False
Suppose 4*q - 40 = 24. Let p(t) = -14*t**2 + 7*t + 4. Let r be p(-1). Let v = q - r. Does 33 divide v?
True
Suppose 8*i - 7*i = 4270. Is 61 a factor of i?
True
Suppose 0 = 4*b - 4, 2*y = 4*b + 622 + 18. Suppose 2*l + 3*q - y = 0, 4*q - 326 = -2*l - q. Does 14 divide l?
False
Let s = 712 + 2680. Is s a multiple of 8?
True
Suppose -8*b - 2*o - 30 = -12*b, 5*b - 5*o - 40 = 0. Does 24 divide (18 - b) + -9 + 1 + 621?
True
Does 56 divide 2/14 - 35/((-245)/56972)?
False
Let v(a) = -a**3 - 8*a**2 + 11*a + 28. Suppose -4*x - 2*y = 34, -3*y - 10 = -4*x - 49. Does 7 divide v(x)?
False
Let t(h) = -9*h - 5. Let c be ((-4)/(-12))/((-6)/18). Let g be t(c). Suppose -g*d + 7*n + 564 = 2*n, -3*d + 404 = n. Does 17 divide d?
True
Let p(u) = u + 53. Let f be p(-20). Suppose -123 = k + f. Let q = -75 - k. Is q a multiple of 27?
True
Let w be 12/30 + (26/10 - 0). Suppose b = -4*u + 260, -w*b + u - 110 + 942 = 0. Suppose -359 = -5*h + b. Is 31 a factor of h?
False
Suppose 3*u - 5 = -2*j, -5*u + 8 = 3*j - 2. Suppose -2*c = 4*b - 654, u*b = 5*c - 4 + 784. Does 18 divide b?
False
Suppose 6*m = 9*m + 291. Let l = 7 + m. Is (l/(-25))/(6/100) a multiple of 6?
True
Suppose -2*l - 24 = 5*o + 51, 2*l = -3*o - 65. Let r = 119 - l. Let c = r - 95. Is c a multiple of 27?
False
Suppose 0 = -99*g + 869157 + 128763. Is g a multiple of 36?
True
Suppose 37*t + 8 = 39*t. Let f be t/(-10) - (-3456)/(-10). Let l = 643 + f. Is l a multiple of 62?
False
Suppose -302*g = -286*g - 88160. Does 145 divide g?
True
Suppose -6 - 10 = -2*p. Let g = -4945 + 4941. Is 10 a factor of p/(-12)*12*25/g?
True
Let c be (4 - (0 + 2))/(2/4). Suppose 8*x = c*x. Is 36 a factor of (-36)/(1 + (-3 - -1) + x)?
True
Let h = 14586 - 8450. Let q = h - 2392. Is (q/(-15))/(-4) - 3/(-5) a multiple of 21?
True
Let c(m) = 915*m**3 + 2*m**2 + 37*m - 73. Does 21 divide c(2)?
True
Let f = 1194 - 280. Suppose 3*y = -5*a + 2937, -y - 3267 + f = -4*a. Does 14 divide a?
True
Suppose 0 = -q - r + 2546, 2*q - 3*r = 2123 + 2969. Suppose -5*n - 226 = -q. Is 17 a factor of n?
False
Is 75 a factor of ((-1304)/6)/(((-884)/(-2295))/(-26))?
False
Suppose -4*u - 2*j + 6*j = -328, -2*j = 5*u - 389. Let x = u + 88. Is 5 a factor of x?
False
Let n = 35259 - 26682. Does 11 divide n?
False
Let g be (((-24)/(-10))/(-4))/((-4)/80). Is 16 a factor of (g/15)/((-11)/(-11880))?
True
Suppose 5*r = a + 9, 6 = 3*a - 10*r + 6*r. Suppose 2*t - 44 = -3*m, -4*t - a*m = -5*m - 68. Does 4 divide t?
True
Suppose -6*n + 5*n = -81. Let p(m) = 16*m + 20. Let a be p(6). Let f = a - n. Is f a multiple of 5?
True
Let n = -6506 + 8116. Does 2 divide n?
True
Let w(n) = -10*n**3 - 1. Let x be w(-1). Let t(c) = c + 81. Is 11 a factor of t(x)?
False
Let r = -34 + 36. Suppose 0 = r*z + 40 - 32. Does 31 divide (-3936)/(-72) + z/6?
False
Suppose 0 = 4*u - 7*u - 141. Let j = -47 - u. Suppose j = 3*h - 9. Is h a multiple of 3?
True
Suppose -30*x + 489949 + 112820 = 137469. Is 110 a factor of x?
True
Is 103 a factor of (0 + 5)*(38440/50)/2?
False
Suppose 0 = 3*o - 214 + 7. Let w = 79 - o. Suppose -2*b + 4*r + w + 46 = 0, b = 3*r + 33. Is 18 a factor of b?
T