 Let p be i(-7). Let o = -65 - p. Let w = o - -86. Is w a multiple of 22?
False
Suppose 3*m - 3294 = 4824. Is 33 a factor of m?
True
Is 105 a factor of -65*(8 + -81 + 10)?
True
Let r be 323/57 - 1/(-3). Does 10 divide 602/r + (-7)/21?
True
Let q(w) = 2*w**2 - 18*w + 18. Let d(n) = -n. Let u(v) = -2*d(v) + q(v). Is u(8) a multiple of 18?
True
Let z = -323 + 656. Suppose z = 4*j + 73. Let d = 94 - j. Does 10 divide d?
False
Suppose 0 = -5*o + 16 - 16. Suppose 4*g + 41 - 105 = o. Is 8 a factor of g?
True
Let d = 143 - 139. Suppose -2*v = 4*g - 8*g - 356, 4*g = d. Is 15 a factor of v?
True
Let d(j) = j**3 + 6*j**2 + 5*j + 6. Let b be d(-5). Suppose -b*z + 10 = -z. Suppose -z*x + 27 + 23 = 0. Does 11 divide x?
False
Let n(w) = 178*w**2 + 14*w - 3. Does 3 divide n(2)?
False
Let g(o) = -4*o + 3 - 2 + 3*o - 3*o. Is g(-2) a multiple of 9?
True
Let o = 125 - 61. Suppose q = n + o, 3*n = -q - 2*n + 40. Is q a multiple of 4?
True
Let d(k) = -6*k - 57. Let r be (72/(-30))/(6/45). Does 42 divide d(r)?
False
Let w be (-7)/((-28)/8) + 6. Suppose 7*a - 16 = -g + 4*a, w = -2*a. Does 5 divide g?
False
Let p(r) = 376*r**2 + 39*r + 74. Does 34 divide p(-2)?
False
Suppose 11*t - 828 - 3385 = 0. Suppose 5*s - t = 3*q, -s + 77 = q - 6. Is s a multiple of 17?
False
Let r be (-1)/(-2*(-1)/2). Let w = 3 + r. Suppose -w*n - 3 + 39 = 0. Is n a multiple of 11?
False
Suppose 0 = -4*m + 2 + 14. Suppose 2*u + 3*g = -u + 186, -216 = -4*u + m*g. Is u a multiple of 10?
False
Let s(o) = o**2 + 18*o - 132. Is s(-47) a multiple of 18?
False
Let l(n) = n**2 + 5*n + 44. Is 37 a factor of l(8)?
True
Let q(t) = 6*t**2 - 9*t + 2. Let y be q(5). Let z = 23 + y. Is 14 a factor of z?
False
Suppose 3*v - 2*f - 292 = 0, 2*v = 4*v - f - 194. Does 16 divide v?
True
Suppose -5*q + 258 - 53 = 0. Let g = q + -24. Let f = g + 6. Is f a multiple of 5?
False
Suppose 262*k = 3*d + 261*k - 575, -2*k + 194 = d. Is 5 a factor of d?
False
Suppose 1 = w + 6. Let l(t) = -t**2 - 8*t - 7. Let p be l(w). Suppose m - p*m = -588. Is 28 a factor of m?
True
Let d(c) = 62*c + 266. Is 37 a factor of d(0)?
False
Suppose -4*d = d - 15. Let v(n) = n**2 + 7*n + 9. Let p be v(9). Suppose d*s = -15 + p. Does 10 divide s?
False
Let x(z) = z**3 + 18*z**2 + 25*z + 21. Let i be x(-12). Suppose -72 = -3*u + i. Is u a multiple of 24?
False
Let s = 76 + -6. Suppose -s = 2*f - 4*f + 5*c, 4*f = 2*c + 108. Suppose -f = -2*y - 7. Does 2 divide y?
False
Let v(o) = -o**2 + 7*o - 9. Let f = 26 + -22. Let c be v(f). Suppose -h = 2*w - 39, -c*h - 2*w = -5*h + 66. Is 17 a factor of h?
False
Let s(z) = -4*z + 2*z - 2 + 0*z + 11*z. Let i be s(4). Suppose -2*h + i - 8 = 0. Is 5 a factor of h?
False
Let f = -31 - -18. Let d = -44 - -74. Let p = f + d. Is 11 a factor of p?
False
Let b(w) be the first derivative of 7*w**4/4 + w**3/6 + 8*w + 1. Let z(k) be the first derivative of b(k). Is 4 a factor of z(-1)?
True
Let z(y) = 12*y**2 - 12*y - 8. Is 21 a factor of z(6)?
False
Is 6 a factor of 242 + (40/(-15))/((-8)/12)?
True
Suppose 0 = -4*t + 360 - 112. Is 5 a factor of t?
False
Let n be (1 - 22)*28/(-12). Suppose 0 = 7*x - n - 70. Is x a multiple of 9?
False
Suppose 20 = -9*a + 11*a. Let v = a - 2. Is 5 a factor of v?
False
Suppose -1271 = -h - 5*r, 2*r = 2*h + h - 3830. Is 29 a factor of h?
True
Suppose -p + 3061 = 4*c - 2050, c + 5*p - 1273 = 0. Is c a multiple of 72?
False
Suppose 3*j = 111 + 333. Let b = j - 44. Suppose -2*c - b = -4*c. Is 13 a factor of c?
True
Is ((-138)/9)/(26/(-507)) a multiple of 8?
False
Let r = 2393 - 1431. Is 26 a factor of r?
True
Suppose 5*x + 4*q - 2205 = 0, 9*x - 10*x + 441 = 3*q. Is 63 a factor of x?
True
Let j = -665 - -1754. Is 9 a factor of j?
True
Does 36 divide 69321/49 + -11 - (-4)/14?
True
Let t be (2/(-14)*-6)/((-6)/(-966)). Suppose -7*z + 6*z + t = 0. Is 23 a factor of z?
True
Suppose 0 = -38*v + 49*v - 8547. Is 37 a factor of v?
True
Let g = -12 - -6. Let n be (16/12)/((-4)/g). Suppose 0*h = -3*o - n*h + 127, 0 = 2*o + h - 85. Is o a multiple of 9?
False
Let j = 6 + 115. Is j a multiple of 59?
False
Let z(o) = 10*o**3 + 19*o**2 - 38*o - 15. Let f be (-66)/9 - (-2)/6. Let k(t) = -3*t**3 - 6*t**2 + 13*t + 5. Let w(y) = f*k(y) - 2*z(y). Does 10 divide w(-6)?
False
Suppose -m - 6*r + 230 = -r, 2*r = 2*m - 460. Suppose 9*t = 7*t + m. Is 13 a factor of t?
False
Let d be 160/24*12/(-5). Does 3 divide ((-30)/4)/(8/d)?
True
Suppose -8 = 4*t - 4. Let x be t/1 + 12 + -1. Suppose -2*d + 4*v = -30, 4*d + 2*v - x = 10. Is 5 a factor of d?
False
Suppose 5*q + 24 = 9*q. Let k be 98/(-21) - (-4)/q. Does 5 divide (-120)/(-16) + (-2)/k?
False
Suppose 8*n - 65 = 2527. Is n a multiple of 13?
False
Suppose 5*a + 4*i - 1378 = 0, 2289 = 5*a - 3*i + 890. Is 43 a factor of a?
False
Let g = 497 + -501. Let s(t) = -t + 16. Let v(m) = 5*m - 64. Let f(y) = 9*s(y) + 2*v(y). Does 3 divide f(g)?
True
Let v(x) = -3*x**3 - 3*x**2 + 4*x + 1. Let q = 13 + -24. Let f(r) = 8*r**3 + 9*r**2 - 12*r - 3. Let l(c) = q*v(c) - 4*f(c). Does 3 divide l(3)?
False
Suppose 4*b + 194 = 3*y, 2*y = -y - 5*b + 149. Is y even?
True
Suppose j = 5*j + 8. Let k = 1 - j. Is -14*k/(-3) - 2 a multiple of 6?
True
Suppose 9*p - 300 = 13*p. Let b = 114 + p. Is 6 a factor of b?
False
Let g = -7 + 10. Suppose -3*u - 159 = -g*k, -4*u = 4*k - 2*u - 182. Let h = k - 19. Is 29 a factor of h?
True
Let d = -6 - 1. Let g be (-18)/(-4) - d/14. Suppose 2 - 28 = -4*o - g*p, -2*p = 4. Is o even?
False
Let i = -352 - -350. Let g(o) = -o**3 + 5*o**2 + 6*o - 2. Let k be g(6). Is 24 a factor of (96 - 4) + i + k?
False
Let z = -69 + 100. Suppose 11*t - z = 2. Is t even?
False
Let a = 7 - 5. Let s be a/4*(0 + 0). Suppose s*r + 3*r = 132. Does 16 divide r?
False
Suppose 16 = -w + 3*w. Is w a multiple of 2?
True
Suppose 4*m + 4*k = -k + 614, -5*m - 3*k + 761 = 0. Is 11 a factor of m?
False
Suppose -45 = -4*w - 3*q, 12 = -5*w - 5*q + 72. Suppose -4*g = -w*g + 415. Does 21 divide g?
False
Suppose -2*y = 4*f - 220, 3*y = 5*f + 34 - 298. Does 13 divide f?
False
Let y = -71 + 97. Is y a multiple of 6?
False
Let g(f) = -3*f + 18. Let u be g(11). Let p = 59 - u. Does 13 divide p?
False
Let o(b) = b**3 - 5*b**2 - 3*b + 8. Let g be o(7). Let q = -48 + g. Suppose 2*p - q = 11. Does 7 divide p?
False
Suppose 2*z - 192 = -4*g + 6*z, 3*z - 206 = -4*g. Does 4 divide g?
False
Let t = 386 - -637. Does 31 divide t?
True
Let v(a) = a**3 + 4*a**2 - 6*a - 7. Let w be v(-4). Suppose -3*r + 46 = -w. Does 21 divide r?
True
Let w be (-12)/8*(-16)/3. Let k be (-6)/24 + 90/w. Suppose -2*u - 3 = -k. Is u even?
True
Let d(b) = -b**3 + 6*b**2 + 20*b - 8. Let m be d(8). Let i be 16/m - 14/(-6). Is 13 a factor of 41 + (-1 - (4 - i))?
True
Let y(l) = -2*l**3 + l**2. Let n be y(1). Is (186/9)/(n/(-3)) a multiple of 13?
False
Let n = 51 + -46. Suppose n*m - 59 = -3*g, 3*m = -1 + 4. Is g a multiple of 11?
False
Let n(a) = -55*a**3 - a**2 + a. Let t be n(1). Let w = t + 96. Let f = w - 20. Does 7 divide f?
True
Let r = 179 - 81. Does 6 divide r?
False
Suppose -3*f + 0*f + 11 = t, -3*f + 8 = 4*t. Suppose 0*u = 3*b + f*u - 55, -2*b + u + 55 = 0. Suppose -m - 2*y + b = 0, y + 3*y = -12. Does 20 divide m?
False
Let p(q) = q**3 + 7*q**2 + 9*q. Let s be p(-5). Suppose s*a + 155 = 2*u, 0 = -u + 5*a + 8 + 82. Is u a multiple of 35?
False
Suppose -t = -5*n - 1 - 4, n = 3*t - 1. Suppose -218 - 217 = -2*b + f, t = -2*b - 4*f + 420. Is b a multiple of 18?
True
Let c(i) = i**2 + 2*i - 9. Let u be 160/(-15)*3/(-2). Let z be 74/(-14) - u/(-56). Does 6 divide c(z)?
True
Let d(c) = -2*c + 16. Let t be d(9). Is (43 - t)/(3/9) a multiple of 41?
False
Let r(m) be the first derivative of m**3/3 + 2*m**2 - 15*m - 27. Is r(-11) a multiple of 22?
False
Let o(u) = 9*u**2 - 5*u - 1. Let a = 11 + -7. Let l be o(a). Suppose -5*d + l = -147. Is 18 a factor of d?
True
Suppose -3*a + 252 = m + 2*m, 4*m = 3*a + 301. Does 13 divide m?
False
Is (-3)/30*-5 - 12714/(-4) a multiple of 11?
True
Suppose -3*q = -8*q + 25. Suppose 0*p = q*p. Suppose p = -i + 4*i - 36. Does 11 divide i?
False
Suppose -19 = -z - 15. Is (222/(-12))/((-2)/z) a multiple of 7?
False
Let v(o) = 84*o**2 - o + 6. Is v(-4) a multiple of 55?
False
Let v = -58 - -99. Let n = -16 + v. Does 5 divide n?
True
Let r be (1 + 15)*(-42)/(-12). Let i = r - 98. Let d = -18 - i. Is 13 a factor o