ppose 0 = -2*a - 11 + 17. Suppose -p = -4*i - 128, -a*p + 46 + 306 = 4*i. Is 21 a factor of p?
False
Let p(d) = -52*d**3 - d. Let m be p(1). Let s = -35 - m. Suppose -4*c + s = -c. Is c a multiple of 3?
True
Let u(n) = -5*n**2 - n + 1. Let b be u(2). Let v = b + 7. Is 10 a factor of (-2)/7 + (-438)/v?
False
Let w(m) = 12*m + 21. Is w(-1) a multiple of 9?
True
Suppose -5*k = 5*s + 110, 7 = 2*s - k + 63. Let v = s - -79. Is 23 a factor of v?
False
Suppose 2*i - 54 = -v + 3*v, 5*v = -4*i + 108. Suppose 0 = 3*x - i. Suppose -12*m + 162 = -x*m. Is m a multiple of 18?
True
Let x = 17 - 12. Suppose -x*a + 113 = -147. Is (a - 1)/3 + -3 a multiple of 13?
False
Suppose 0 = -20*f + 23*f - 24. Is f/6*(-156)/(-20)*15 a multiple of 26?
True
Let k be ((-3)/(-2))/((9/138)/(-3)). Is 8 a factor of 1*((-6)/(-9))/((-2)/k)?
False
Suppose -u = 3*u - 128. Suppose g + 8 = u. Is 24 a factor of g?
True
Suppose 1051*i - 1052*i + 1436 = 0. Is 14 a factor of i?
False
Let p = 5 + -18. Let r(f) = -7*f - 22. Let x be r(p). Suppose -x - 17 = -w. Does 19 divide w?
False
Let k = -30 - -34. Suppose -k*h = -9*h + 45. Does 9 divide h?
True
Does 25 divide 8/((3 - -1)/156)?
False
Suppose 0 = 19*z - 65*z + 19780. Is 77 a factor of z?
False
Suppose 3*f - 3168 = -33*f. Is 8 a factor of f?
True
Suppose 0*l + 15 = -3*l. Let s(t) = 7*t**2 + 4*t + 13. Let m(c) = 13*c**2 + 8*c + 25. Let u(o) = 6*m(o) - 11*s(o). Is 12 a factor of u(l)?
True
Let r(x) be the first derivative of 4*x**3 + 2*x**2 + 3*x - 9. Is r(-1) a multiple of 11?
True
Let o(q) = 3*q**2 + 6*q + 13 - 6*q**2 + 6*q**2. Is o(-6) a multiple of 17?
True
Let k = 244 - 90. Is 11 a factor of k?
True
Let p = 9 - 5. Let w = 23 + p. Does 3 divide w?
True
Suppose 0 = -5*f + 5*c + 125, 0*f + 133 = 5*f - 3*c. Is f a multiple of 29?
True
Suppose -4*s - 20 = 0, 0*c - 350 = -c + s. Let i = 489 - c. Is i a multiple of 30?
False
Let l be ((-18)/(-12) + 1)*-2. Is 148*((2 - 1) + 5 + l) a multiple of 20?
False
Let v(b) = 22*b**3 - b**2 + 2*b - 3. Does 8 divide v(1)?
False
Is 4/(-42) + (-139152)/(-504) a multiple of 12?
True
Let g(a) = 7*a**2 + 8*a - 8. Is 3 a factor of g(-5)?
False
Let q(y) = 4*y**3 + 10*y**2 - y. Let f be q(4). Suppose -3*o - 316 = -4*u + 94, -4*u + 4*o + f = 0. Is 15 a factor of u?
False
Let u(t) = 58*t**2 + 16*t - 31. Is u(3) a multiple of 17?
False
Let b(j) = j**2 + j + 5. Let o be b(9). Suppose 4*t + a - 719 = 1774, 0 = 3*t - a - 1868. Suppose 3*d + o = x, -3*d + t - 148 = 5*x. Is x a multiple of 16?
False
Let o(g) = 8*g**2 + 23*g - 316. Is o(10) a multiple of 34?
True
Let d(v) = v - 64. Let u be d(26). Let w = 46 + -117. Let y = u - w. Does 22 divide y?
False
Let m = -20 - -22. Suppose 0 = -o + k + 41, -m*o - 3*o + k = -209. Is o a multiple of 14?
True
Let o(p) = 4*p**2 - 77*p + 25. Is o(23) a multiple of 10?
True
Let s(j) = 21 - 5 + 5*j**2 - 8*j + 0. Does 17 divide s(6)?
False
Let z(u) = -95*u + 577. Is z(-14) a multiple of 25?
False
Let u be 4/(-12) + (-76)/(-12). Suppose u*k = 4*k + 76. Does 20 divide k?
False
Let t(y) be the second derivative of y**3/3 + 7*y**2 - 78*y. Let s = -1 + -5. Is t(s) even?
True
Let f be (5568/72)/(3/(18/4)). Suppose 4*u = v - 128, -v + 0*u - 2*u + f = 0. Is v a multiple of 15?
True
Suppose 16 = 4*i - 4*g, -i + 0 = -2*g - 5. Is 9 a factor of 11*i*(7 - 4)?
True
Is 47 a factor of 1211 - (-77)/22*(-4)/(-7)?
False
Suppose -4*i - 2*j = i - 17, 3*j + 32 = 4*i. Suppose -4*f + 26 = -4*n - 214, -i*f = 4*n - 336. Is 13 a factor of f?
False
Suppose 3*i - 367 = -5*y, -3*y - 106 = -2*i + 107. Is (1*(-2)/(-6))/(1/i) a multiple of 10?
False
Let p(k) = k - 10. Let f be 10 + 0 + 9/3. Let g be p(f). Suppose 0*q = -2*q + b + 130, -g*b + 6 = 0. Does 22 divide q?
True
Does 25 divide ((-11928)/63)/((-32)/12 + 2)?
False
Let u(j) = -787*j + 9. Is u(-3) a multiple of 15?
True
Let h(c) = -2*c**3 + 7*c**2 - 2*c + 3. Let o be h(3). Let i be o*(-4)/(-6) + 62. Suppose -j + i = 5*v, 0*j - 2*v - 96 = -2*j. Is j a multiple of 12?
False
Let q = 172 - -26. Is 22 a factor of q?
True
Let t(s) = 2*s**3 - 2*s**2 + 2*s - 24. Let w(p) = 2*p**3 - 3*p**2 + 3*p - 25. Let y(j) = -3*t(j) + 2*w(j). Does 22 divide y(0)?
True
Let m = 5194 + -2386. Does 36 divide m?
True
Let n(f) = -f**3 + 9*f**2 + 3*f + 6. Let g be n(7). Suppose -g = -4*t + 2*t - 5*v, -56 = -t + 4*v. Is 16 a factor of t?
False
Let n(t) = -10 - 27*t - 1 - 5 + 11*t. Does 23 divide n(-6)?
False
Let b = -107 - 42. Let m = 211 + b. Is m a multiple of 26?
False
Suppose 22*j - 3512 + 696 = 0. Does 8 divide j?
True
Is 25 a factor of (-131)/(-5) - 18/15?
True
Suppose 6*s = 27 - 9. Suppose -5*y + 67 = 2*l, -4*l + 5*l - 33 = -s*y. Does 6 divide l?
True
Suppose 2*f - 4*p + 3*p = 3, 3*p = -5*f + 35. Suppose 5*v - 5 = 4*v, -f*m + 329 = v. Is 27 a factor of m?
True
Is 0 + (-4 - -7) - 1063/(-1) a multiple of 66?
False
Let k(n) = -2268*n**3 + n**2 - 9*n - 8. Is k(-1) a multiple of 17?
False
Let w(z) = -12*z + 5. Let h be w(-3). Let l = -17 + h. Suppose -4*d - l + 112 = 0. Is 22 a factor of d?
True
Let f = 8 + -17. Let j be 4 - f*15/(-9). Let o = 13 - j. Is 6 a factor of o?
True
Let a = 227 - 151. Let l = -40 + a. Does 24 divide l*2*3/9?
True
Let w = 487 + -97. Suppose -w = -x - 4*x. Does 26 divide x?
True
Let w be (2/7)/(2/28). Suppose 7*z + 8 = 3*z, 3*h + w*z - 16 = 0. Suppose -45 - h = -3*g + 2*l, -g + 14 = 3*l. Is 5 a factor of g?
False
Let g(b) = -6*b + 24. Suppose 6*r + 185 = r + 3*w, -3*r = 4*w + 140. Let t = 27 + r. Is 17 a factor of g(t)?
True
Let u(g) = g**3 - 23*g**2 + 26*g + 37. Is 5 a factor of u(22)?
True
Let u(s) = -4*s + 39*s**2 + 41*s**2 - 79*s**2 - 1 + 3. Let z be u(4). Suppose -2*k = z*k + c - 88, 5*k = c + 119. Is 23 a factor of k?
True
Suppose 5*x - 52 = -7. Let z be ((-75)/x)/((-4)/(-12)). Is 10 a factor of 15/z - 376/(-10)?
False
Let f = 0 + 13. Let y(x) = 7*x**3 - 2*x**2 + x. Let w be y(1). Let j = f + w. Is 16 a factor of j?
False
Is 4482/12*(9 - 7) a multiple of 31?
False
Let l(m) = m**3 - m**2 - m - 5. Let p be l(0). Let d(y) = y**3 + 5*y**2 - y + 5. Let c be d(-5). Let k = c - p. Is 5 a factor of k?
True
Let d(u) = 0*u**3 + u**3 + 4*u + 10*u**2 + 1 - 2*u**3 - 6. Does 11 divide d(10)?
False
Let m(b) = -65*b**3 - 2*b**2 - 3*b - 2. Let s be (28/42)/(2/(-3)). Let t be m(s). Let g = t + -38. Is g a multiple of 13?
True
Suppose 0 = -0*d - 9*d + 81. Suppose d*q = 10*q - 177. Is q a multiple of 15?
False
Let s = -483 + 2352. Is 7 a factor of s?
True
Is 7 a factor of 0 - (0 - -1)*-2529?
False
Suppose 54*o = 35*o + 56392. Does 53 divide o?
True
Let u = -18 - -20. Is (u - 10/4)/(8/(-432)) a multiple of 4?
False
Let v be ((-8)/6)/(14/(-231)). Let l = 35 - v. Suppose 2*s - l = 43. Is 14 a factor of s?
True
Let c be (-1 - -3)*27/(-18). Is 2 + (c/2)/(24/(-352)) a multiple of 8?
True
Let j be (-1092)/(-16) - (-9)/12. Let p = 139 - j. Is p a multiple of 45?
False
Let t = 8 - 5. Suppose -3*s - s = -5*m - 441, t*s - 331 = 4*m. Let i = s - 77. Does 8 divide i?
True
Let c(l) = -11*l - 94. Is 24 a factor of c(-29)?
False
Let q(f) = 75*f - 100. Does 25 divide q(13)?
True
Let m(w) = 2*w**2 - 5*w + 29. Is m(11) a multiple of 17?
False
Let h(o) be the first derivative of o**3 - o**2/2 - o - 4. Is h(-1) a multiple of 2?
False
Let o be 2/(-6) - (-104)/6. Let r = 0 - 7. Let l = r + o. Does 4 divide l?
False
Let l(x) = -3*x**2 + 0*x + 28*x**3 - x + 3 + x**2 - 1. Is l(1) a multiple of 9?
True
Let s be (-4)/(3 - 26/6). Suppose 64 = s*u - 2. Does 22 divide u?
True
Let a be 7/1 + -6 + 3. Suppose 3*g + 4 = -t - 12, -5*t = -a*g + 175. Is (-1 - t)/(17 + -15) a multiple of 2?
False
Suppose -5*o - 3*p = -9285, -2*o - 4*p - 1922 = -5650. Is o a multiple of 13?
False
Let j = -70 - -113. Suppose j = 3*q - 5*z, -q + z + 14 = 3. Is q a multiple of 2?
True
Let k(r) = -r**3 + 12*r + 138. Is 40 a factor of k(-9)?
False
Let b(u) be the third derivative of u**5/5 + 5*u**4/24 + 2*u**3/3 - 22*u**2. Does 7 divide b(-2)?
True
Let b be (-25)/(-75)*(-129 - 0). Let d = b - -95. Does 26 divide d?
True
Suppose 0 = k - 20*k + 1463. Is k a multiple of 4?
False
Let y(l) = 13*l**2 + 7*l - 6. Let a be y(-6). Suppose -7*o + a = -2*o. Suppose 4*c + 0*c = -m + 36, 4*c = -3*m + o. Is m a multiple of 8?
True
Is 90/135 - 758/(-6) a multiple of 2?
False
Is ((-2)/8)/(76/(-419216)) a multiple of 92?
False
Let f be (375/10)/((-5)/(-10)