Let q(g) = g**3 + 3*g**2. Let w be q(-2). Let u = 8 - 10. Is (u/w)/(8/(-176)) a multiple of 3?
False
Let d = 1 - -4. Suppose 0 = -2*z - 4*a + 2*a + 4, 0 = 3*z + d*a + 4. Suppose 9*p = z*p + 56. Is 14 a factor of p?
True
Suppose -5*d + b + 1504 = 0, 32*d - 1208 = 28*d + 2*b. Does 60 divide d?
True
Let m be 1*(-3)/2*-118. Suppose -k - l + 236 = 3*k, 0 = 3*k - 4*l - m. Does 5 divide k?
False
Suppose 0*m - 3*m - 42 = 0. Let x be -4*(17/4 + -4). Does 19 divide x*(-4 + -1 + m)?
True
Let q = 19 - 21. Let d be 1 + 68 + q - 1. Suppose d = 4*b - 122. Is 16 a factor of b?
False
Suppose -l - l = d - 30, -24 = -2*d + 5*l. Let i = d + 78. Is i a multiple of 25?
True
Is 5 a factor of -1 + 1 + 180 + 0/(-4)?
True
Let h = -278 + 516. Does 42 divide h?
False
Suppose 1008 = 2*k + 7*k. Let o(c) = c**3 - c**2. Let q be o(0). Suppose 0 = -3*r - f + 68, -5*r + 0*f - f + k = q. Does 11 divide r?
True
Let n = 265 + 152. Is 8 a factor of n?
False
Let v be (-2 + (0 - -2))/((-3)/(-1)). Suppose 6*p - 269 - 73 = v. Does 15 divide p?
False
Suppose 3*f - 6*q + 3*q = 264, -8 = 2*q. Is f a multiple of 8?
False
Suppose -2*n = -3*p - 1034, 134*n - 132*n + 4*p - 1062 = 0. Is n a multiple of 45?
False
Let a(c) = -c**2 - 4*c + 4. Let x be a(-4). Suppose 13 + 3 = x*o. Suppose -n - 2*q = o*n - 170, -5*n + 145 = -3*q. Does 8 divide n?
True
Let w(z) = 3*z - 2*z + 0*z**2 - z**2 - 30 - 152. Let p be w(0). Let n = -119 - p. Is n a multiple of 21?
True
Let p = -186 - -119. Let q = -28 - p. Is 12 a factor of q?
False
Suppose 6*k = 4*k + 12. Let d be (k/(-4))/((-1)/(-10)). Is d/35 - (-366)/21 a multiple of 3?
False
Suppose -t + 1078 = 13*t. Is 11 a factor of t?
True
Let m = -56 - -116. Suppose 0 = k + 32 - 39. Let i = m - k. Does 18 divide i?
False
Let c(h) = h**3 + 7*h**2 + 7*h + 8. Let y be c(-6). Let k be ((-8)/y - -2)*5. Is (63/(-35))/(2/k) a multiple of 3?
True
Let k(d) = 99*d**3 + 6*d**2 - 25*d + 77. Is 53 a factor of k(3)?
False
Let t(y) = 2*y**2 - 3*y - 8. Let j be t(-2). Suppose 0 = j*c - 48 - 0. Is c a multiple of 7?
False
Let u = -8 + 331. Is u a multiple of 48?
False
Let q(x) = x**3 - 35*x**2 + 34*x - 158. Does 12 divide q(35)?
True
Suppose 4*s = x + 1502 - 1, 4*x = -2*s + 764. Is s a multiple of 47?
True
Let b be 1/(-4) - (36/(-16) - 1). Suppose -2*d - 5*r = -6*d + 85, 2*d = -b*r + 59. Does 5 divide d?
True
Is 2 a factor of (55/(-5))/22 - 65/(-2)?
True
Suppose 4176 = 55*z - 26*z. Is z a multiple of 6?
True
Let k = 5572 - 3892. Is 12 a factor of k?
True
Suppose -27*n + 5*n = -3718. Is n a multiple of 13?
True
Suppose 2*d = -0*d - 3*m + 9, 2*m = 4*d - 10. Suppose d*i = -t - 2*t + 6, 15 = -5*t. Let n(a) = a**3 - 4*a**2 - 2*a - 8. Does 2 divide n(i)?
False
Suppose i - 3*f = 4, -5*i + 5*f - 11 + 31 = 0. Suppose 0 = -i*p + 2*p + 6. Suppose -8*o + p*o + 95 = 0. Is 5 a factor of o?
False
Suppose 0 = 10*o + 59 - 389. Is o a multiple of 5?
False
Let f(g) = 2*g + 10. Let z be f(5). Let h = z - 8. Does 2 divide h?
True
Let l(i) = -1 - 22*i**2 + 54*i**2 + 66*i**2 - 13*i**2. Suppose 2*q = q + 2, q - 7 = -5*j. Does 28 divide l(j)?
True
Suppose 4*m + 25 = 9*m. Suppose -4*q + 3*v + 16 = 7*v, 0 = -q - m*v - 8. Is 2 a factor of q?
False
Suppose -5*t - 293 = -5*m + 207, 4*t - 8 = 0. Is m a multiple of 17?
True
Let a(y) = -y**2 - y. Let i(o) = 2*o**2 - 9*o - 4. Let k(c) = 3*a(c) + i(c). Does 9 divide k(-6)?
False
Suppose -2*r - 3*r + 91 = 3*i, i + 4*r = 35. Let q be ((-49)/(-21))/(1/i). Let o = q + -8. Does 11 divide o?
True
Suppose -48*g - 2415 = -55*g. Does 5 divide g?
True
Is (0/(-1) - -2)/((-3)/(-183)) a multiple of 12?
False
Is 14 a factor of -21 - -18 - 241/(-1)?
True
Let w(b) = b**3 + 9*b**2 - 25*b - 14. Let m(g) = g**2 + 8*g - 20. Let o be m(-9). Does 6 divide w(o)?
False
Let f(b) = 9*b**2 - 5*b - 6. Does 38 divide f(-5)?
False
Let x(j) = -j**3 + 10*j**2 - 9*j + 3. Let h be x(9). Suppose l = 2*u + 5 + 3, -h*l + u + 14 = 0. Suppose 5*z - c = 54, -3*z + 49 = -l*c + 3. Does 5 divide z?
True
Suppose 0 = -5*y + 4*m - 26, 0 = -y - 6*m + 4*m - 8. Let j be y/5*70/(-21). Suppose 0 = -j*h, -118 - 62 = -4*f - 4*h. Is f a multiple of 12?
False
Does 3 divide ((-6)/(-3))/((-65)/(-1586))*15?
True
Let l = 6 - 10. Let a be 4*17*l/(-1). Does 7 divide (-4)/20 + a/10?
False
Suppose 5*r + 4 = -2*q, 2*r = -4*q + q - 6. Suppose -o + 387 - 101 = r. Let c = o + -178. Is c a multiple of 31?
False
Suppose -19*q - 15661 + 38879 = 0. Is q a multiple of 47?
True
Suppose 92196 = 33*g + 3*g. Is 30 a factor of g?
False
Let r(t) = t**2 - t - 3. Suppose -3*l - 27 = -11*q + 15*q, -2*q = 5*l + 59. Does 7 divide r(l)?
False
Suppose -513*u + 58800 = -464*u. Is 40 a factor of u?
True
Suppose -107*s + 30720 = -43*s. Is 10 a factor of s?
True
Suppose -5*r = -7*r + 4. Suppose 0 = 4*g - s - 4*s - 48, 2*g + 4*s + r = 0. Suppose 0 = 4*b + 2*x - 58, -5*b + 72 = 5*x + g. Does 16 divide b?
True
Let z be (3/2)/((-12)/(-16)). Suppose -z*o - 3*h = 2*o - 25, -2*h = 2. Does 21 divide (7 - 1)*(-1 + o)?
False
Let k(j) = 16*j + 18. Let l(z) = -15*z - 19. Let w(v) = -2*k(v) - 3*l(v). Does 25 divide w(8)?
True
Let w = -80 - -130. Suppose -2*l + 251 = 3*z, -z + w = -2*l - 39. Is 17 a factor of z?
True
Let u = -30 + 35. Suppose -3 = -y + 2*y. Does 9 divide 22 + y + 0 + u?
False
Let m(h) = h**3 + h**2 + 4. Let n be m(0). Suppose 0 = -5*f + c + 105, -n*f = -c + 18 - 103. Let q = f + -3. Does 10 divide q?
False
Let m = -76 + 82. Suppose 2*q - 556 = -2*d, -d = q - m*q - 302. Is 45 a factor of d?
False
Suppose -5*w + 5*v + 16 = -4, -5*w + 16 = -3*v. Let a(p) = -5 + p**3 + p**2 + 0*p**2 - 4*p - 7*p - 8*p**w. Is 19 a factor of a(9)?
False
Let g = 288 - 188. Suppose g = 2*k - 40. Is k a multiple of 15?
False
Suppose -11*x + 6 = -12*x. Let d(i) = i**3 + 5*i**2 - 9*i - 16. Does 2 divide d(x)?
True
Suppose -z = 2*l - 1364, 3440 = 10*l - 5*l - 5*z. Is l a multiple of 12?
True
Suppose -48 = 3*j - 0*j. Let w = -11 - j. Suppose -w*l - 48 = -6*l. Does 8 divide l?
True
Suppose -4*p = -10 - 6. Suppose -8 = p*k, -3*l - 2*k = k - 54. Suppose t = -3*t + l. Is 2 a factor of t?
False
Suppose -d + 65 = -165. Suppose -4*p - d = -2*t, -t - 3*p + 68 = -72. Suppose t = -10*v + 15*v. Is v a multiple of 5?
True
Let t = 60 - 52. Suppose 0 = 2*i - 8 - t. Is 4 a factor of i?
True
Let i(z) = -z**3 - 4*z**2 + 8*z + 10. Let f be i(-4). Let v = -38 - f. Does 12 divide (-852)/v + (-2)/8?
False
Suppose 5*a = 15 - 0. Suppose 2*u + 4 = -2*n, 7*n = 4*u + 2*n - 28. Is (a + -4 + u)*47 a multiple of 26?
False
Let t(w) = 14*w - 8. Is t(22) a multiple of 6?
True
Suppose 0 = 5*g + 4*b + 2, 5*b + 4 = -4*g - 3. Suppose g*d - 1 = 3*d, -a - 5*d + 262 = 0. Is 40 a factor of a?
False
Let h = 869 + -495. Does 44 divide h?
False
Suppose 3*o = -5*a + 5353, -5*a - 3527 = 41*o - 43*o. Is o a multiple of 18?
False
Suppose 32*w + 43247 = 91*w. Does 33 divide w?
False
Let d(r) = r**2 + 3*r - 7. Let w be d(3). Suppose -1 = z - x + 4, z + w = -5*x. Is (-393)/z + (-5)/10 a multiple of 21?
False
Is 70 a factor of 0 + 0 - (-7)/((-14)/(-1172))?
False
Let o(c) = -12*c + 10. Let p = 13 + -19. Let a be o(p). Does 5 divide a/5 + 18/(-45)?
False
Let y be (3 + -2)*-18*(-1)/1. Suppose y*a - 228 = 14*a. Is 10 a factor of a?
False
Let v be (4/3 + 2)*(4 + -1). Suppose -v*n + 2*n = -192. Is 20 a factor of n?
False
Suppose -19 = -5*f + 6. Suppose 50 = f*d - 0*d. Is d a multiple of 6?
False
Let w = 374 + 231. Is w a multiple of 3?
False
Let a be ((-54)/12)/(9/(-24)). Is (-3 - 36/(-8))*a a multiple of 6?
True
Let l(r) = 2*r**2 - 35*r + 19. Does 8 divide l(23)?
True
Let m = -24 - -24. Suppose -2*y + m*p + 10 = 5*p, 0 = 2*y - p + 2. Suppose y = 3*r + 191 - 518. Is 23 a factor of r?
False
Let d(c) = 1 - 2*c - 3*c + 22*c**2 - 2 + 2*c. Is d(-2) a multiple of 20?
False
Does 27 divide (-485)/85*-71 - (-4)/(-34)?
True
Let r(n) = 2789*n**3 + 9*n**2 - 19*n + 11. Is 9 a factor of r(1)?
True
Let r = -42 - -88. Let g(k) = -k**3 + 7*k**2 - 5*k - 6. Let u be g(6). Suppose -3*d + r + 92 = u. Does 26 divide d?
False
Let h = -263 + 1079. Is 17 a factor of h?
True
Let c be 2/(0 + 5/25). Suppose 833 + 1217 = c*x. Is x a multiple of 41?
True
Suppose -q + 53 = 2*d, -163 - 7 = -5*d + 5*q. Suppose -2*l - 10 = 3*l. Let p = d + l. Is p a multiple of 9?
True
Let q(u) = -u**2 + 9*u - 8. Let c be q(8). Suppose -2*n + 4*n - 50 = c. Suppose -3*j + 4*j = -3*m