e -c + 111 = -m. Let q = c + -62. Is q a multiple of 11?
False
Let l(z) = -z**2 - 80*z - 339. Is 15 a factor of l(-44)?
True
Suppose 0 = -0*u - u + 4. Suppose u*g + 0*g = -32. Let a = g - -13. Is 3 a factor of a?
False
Let k = 17 - 20. Let m(r) = -r**3 + 5*r**2 + 3*r + 3. Is m(k) a multiple of 22?
True
Let n = 222 - -536. Is 28 a factor of n?
False
Suppose 4*n + 996 = v, n - 2*n - 3999 = -4*v. Does 8 divide v?
True
Let a(b) = -b**2 + 48*b + 175. Does 12 divide a(42)?
False
Let w = 3571 - 1429. Let i(o) = 2*o**2 + 58*o - 4. Let m be i(-30). Is 2/(-8) + w/m a multiple of 19?
True
Suppose 4*j = 12*j - 1008. Does 14 divide j?
True
Suppose 0 = -3*a - 4*z + 1318, -2*a = 2*z - 320 - 556. Is 14 a factor of a?
True
Let h(y) = 7*y + 46. Does 11 divide h(14)?
False
Let q be (2 - -1)*(-44)/(-33). Let p = 34 + q. Does 38 divide p?
True
Suppose 33*s = 3*s + 10440. Is 12 a factor of s?
True
Suppose 6*u - 5*u = 1057. Is 7 a factor of u?
True
Let f = 1254 + -750. Is f a multiple of 21?
True
Suppose y - 3*l + 18 = -5*l, -l = -4*y - 117. Is 8/y - ((-11640)/(-14))/(-5) a multiple of 49?
False
Let u = 3476 - 250. Is u a multiple of 19?
False
Does 39 divide (7*(-8)/(-28) - 15)*-54?
True
Let x = 33 + 96. Suppose 4 = 2*m, m + 99 = u - x. Does 28 divide u?
False
Suppose 3*q - 3 = 0, 6*m - m = 2*q + 13. Let g(v) = v**2 + v - 4. Let j be g(-3). Suppose d + m - 5 = 0, -j*c = -d - 6. Does 2 divide c?
True
Let x(o) = 4*o**2 - 7*o + 9. Let s(i) = -i - 9. Let m be s(-12). Does 10 divide x(m)?
False
Let k be (15/(-9))/(1/(-3)). Suppose 0*v = 3*v - k*n - 80, n - 152 = -5*v. Is 9 a factor of v?
False
Let u(y) be the second derivative of y**5/20 - y**4 + 5*y**2/2 - 14*y. Let v be 16*2*(-3)/(-8). Is u(v) even?
False
Let y = 14 + -8. Is 7 a factor of y/(-18) + 106/3?
True
Let x = 51 + -63. Suppose 2*n + 37 = -29. Let k = x - n. Is k a multiple of 21?
True
Suppose -12*u - 9*u + 1386 = 0. Suppose 63*f + 381 = u*f. Does 10 divide f?
False
Let a be -4*(-4)/(-8) - -319. Suppose 118 = 5*z - a. Is z a multiple of 36?
False
Let v be (-1610)/(-50) + (-1)/5. Let l = v + -16. Does 2 divide ((-1)/(-2))/(2/l)?
True
Let o be ((-3)/(-9))/(2/(-930)). Let w = 287 + o. Is w a multiple of 44?
True
Suppose -3*i - 15 = -27. Suppose 0 = 2*c - 5*c - 12, i*c = -3*g + 8. Does 6 divide g?
False
Let s(z) = z + 9. Let v be s(-9). Suppose -9*a + 5*a + 72 = v. Is 86/18 - (-4)/a a multiple of 3?
False
Suppose 2*d + z = 2288, 2*d - z + 89 = 2377. Is 62 a factor of d?
False
Let s be ((-2)/3)/(4/(-54)). Suppose 0 = -2*m + 2*q + 32, 3*m + 3*q + s = 57. Suppose -2*u + m = -u. Is u a multiple of 10?
False
Let m(g) = 4*g**2 - 28*g - 7. Let b be m(7). Does 24 divide 28/b*(-2)/8*109?
False
Suppose -r + 0*r = 0. Suppose -2*a = -3*a - 2*k + 109, 3*k + 12 = r. Is a a multiple of 18?
False
Let d = 698 - 358. Is d a multiple of 4?
True
Suppose -k = -2*s - 2*k + 16, -2*s + 2*k = -4. Suppose -4*n + 2*x - 6*x = -540, 2*x = -5*n + 690. Suppose v + n = s*v. Is 7 a factor of v?
True
Suppose -v - 185 = 4*m - 746, 5*v = m - 135. Is m a multiple of 10?
True
Let g(y) = -2*y**3 - 2 - 6 + 3*y**3 - 5*y**2 + 2 + 2*y. Let p be g(5). Does 6 divide 228/(-8)*p/(-6)?
False
Let c(s) = s. Let f be c(9). Suppose 0 = 4*g - f*g. Suppose -5*i + i + 88 = 2*t, g = 3*t + 5*i - 128. Is 9 a factor of t?
True
Let c = -31 + 51. Is 24 a factor of (-2)/5 - (-1448)/c?
True
Let x = -1130 + 3175. Is x a multiple of 5?
True
Let y(r) = r**3 - 49*r**2 + 74*r + 24. Is y(48) a multiple of 24?
True
Suppose 668 = 4*f - 1912. Is 15 a factor of f?
True
Suppose 2*m = -3*w + 110, 5*m + 2*w - 65 - 199 = 0. Let l = 134 - m. Suppose -3*i + i = -l. Is i a multiple of 10?
False
Suppose 11*w + 120 - 725 = 0. Does 12 divide w?
False
Suppose 2*k - 26 = 2*m - 194, k = 5*m - 436. Suppose m = 2*r + 8. Does 8 divide r?
True
Let p be (-1)/9 - (-21890)/99. Suppose -2*i + p = -5*l, 2*l + 57 + 55 = i. Is i a multiple of 59?
True
Suppose 3*b + 5*h = 19, -3*b + 2 = -2*h - 3. Let k(l) = -l**2 - 3*l**3 + 4*l + 1 + 0*l + 4*l**3. Is 15 a factor of k(b)?
False
Let r(v) = -v + 1. Let j be r(-5). Let m(a) = 9 + 203*a - 202*a - 5. Is m(j) a multiple of 6?
False
Suppose 3*s - 4 = -3*k + 2*k, -2*k + 8 = 4*s. Let r = s + 0. Suppose 2*i + 2*t - 82 = r, 0 = -0*i - 2*i + t + 79. Does 20 divide i?
True
Let l = 3265 - 2237. Does 15 divide l?
False
Let t(m) = 192*m**3 - 2. Does 5 divide t(1)?
True
Suppose -3600 = -3*b - 15*b. Is b a multiple of 3?
False
Suppose 0 = 2*w - 4*w + 2. Let b(s) = 88*s. Does 11 divide b(w)?
True
Suppose -9*l - 800 = 7*l. Let r = l - -85. Is r a multiple of 7?
True
Suppose f = 2*t - 8, 0*f = 5*t + 2*f - 2. Suppose 0 = -2*p + 2, 4*b - 428 = b - t*p. Does 22 divide b?
False
Let u(k) = k**3 - k**2 + 4*k + 7. Let l be u(5). Suppose -2*o - 4*f + 29 = -l, -2*o + 4*f = -132. Is 12 a factor of o?
True
Let x(t) = -3*t**3 - 6*t**2 - 4*t + 4. Is x(-4) a multiple of 59?
False
Suppose -7*n - 30327 = -18*n. Is 23 a factor of n?
False
Let g(f) = 30*f**3 - 7*f**2 - f + 5. Is 29 a factor of g(3)?
False
Suppose 4*w = 5 - 1. Suppose -w = g - 8. Let n = g + -5. Is n even?
True
Suppose -h + 8*h - 21 = 0. Suppose -m = -h*u - 75, 193 = 4*m - m - u. Does 21 divide m?
True
Is -4 + 7 - 4440/(-6) a multiple of 12?
False
Suppose -w = 3*b - 23, 3*b + 2*b - 5*w - 5 = 0. Suppose 0 = b*u - u - 380. Does 18 divide u?
False
Let s(n) = -2*n + 207. Let i be s(0). Suppose 4*u + i = 4*d + 35, 0 = -5*d + u + 231. Let r = d + -13. Does 9 divide r?
False
Let x be (134/(-8))/((5 - 1)/(-16)). Suppose m = x + 17. Is 14 a factor of m?
True
Suppose -5*x + 515 = 5*u, -6*u + 4*u = 10. Is x a multiple of 18?
True
Suppose 0 = -2*j - g - g + 2160, -j + 5*g = -1056. Suppose -j = 5*b - 201. Does 10 divide ((-6)/5)/(7/b)?
True
Let g = -63 + 68. Suppose -199 = -g*z - 49. Is 3 a factor of z?
True
Let f(u) = -u**2 - 8*u + 11. Let t be f(-9). Let k = 2 - t. Suppose -4*r + 264 - 32 = k. Does 19 divide r?
False
Suppose 3*l + 4*y = 685, 0 = 4*l - 3*l - y - 240. Suppose v - 1 - 128 = 0. Suppose v = 4*x - l. Is 15 a factor of x?
False
Suppose 9750 = -2*r + 27*r. Is r a multiple of 65?
True
Suppose 153 = 3*f + 3*b, 0 = -5*f - 2*b + 18 + 252. Suppose a + 3*a - f = 0. Is a a multiple of 7?
True
Suppose -7 = -3*v + 2. Suppose 3*r + d = -26, -v*r + 1 = 5*d + 11. Let s = 5 - r. Is s a multiple of 15?
True
Does 15 divide (4 + 1394)*(11/(-3) - -4)?
False
Let u(m) be the second derivative of -m**5/10 + m**4/2 + m**3/3 + m. Let n be u(6). Does 3 divide n/(-20) - 2/10?
False
Is (675/(-20))/(5 - 421/84) a multiple of 81?
True
Let k(o) = -o**2 - 3*o + 7. Let f be k(-3). Suppose -f*c + 6 = -5*c. Suppose 91 = -b + c*b + 5*g, -3*b + 2*g = -108. Is b a multiple of 12?
False
Let s = -23 + 28. Suppose -s*h = 5*a - 15, 2*a - h - 7 = -1. Suppose -a*r + 16 + 77 = 0. Does 11 divide r?
False
Suppose -3*c = -4*r - 72, -4*c + 86 = -3*r + r. Does 5 divide c/(-1)*(-9 - -8)?
True
Let y(f) = f**2 - 2*f + 4. Let v be y(-4). Let n be 2/8 + 273/v. Suppose -5*l + 45 = n. Is l a multiple of 3?
False
Suppose -12 = 5*i - 2*w + w, 6 = i - 3*w. Let k(l) = -3 - 5 - 13*l + 13. Is k(i) a multiple of 22?
True
Let o(j) = 4*j**2 + 17*j - 33. Does 8 divide o(9)?
False
Suppose 2*n + h - 309 = -0*h, -5*h + 765 = 5*n. Suppose -w + n = w. Is 39 a factor of w?
True
Suppose 0 = -5*v - 25, v - 2*v = u + 121. Is 0 - (-3)/((-12)/u) a multiple of 11?
False
Suppose 0 = 3*x + 4*j - 4624, 2*x - 2*j = 805 + 2301. Does 8 divide x?
False
Is -10*1*3*(-5)/15 a multiple of 10?
True
Suppose -13*y + 2*y - 2035 = 0. Let f = y + 289. Is 13 a factor of f?
True
Suppose -4*d + 13*d = 22473. Is 11 a factor of d?
True
Let w be -6 + (0 - -49) + 2/1. Let r(v) = v**3 - 4*v**2 + 2. Let a be r(5). Suppose -2*j - 3*z + a + w = 0, -180 = -5*j + 3*z. Is j a multiple of 15?
False
Let h(d) = -d**2 + 3 + 5*d - 4*d**3 + 7*d**2 + 5*d**3. Is h(-4) a multiple of 5?
True
Suppose 2*x + 3*i = 254, x - 4*x - 4*i = -382. Suppose 0 = -8*z + x + 590. Is 18 a factor of z?
True
Is ((-1)/(-3))/((-5)/(-8625)*1) a multiple of 9?
False
Let p(x) = -x**3 + 7*x**2 - 4*x - 9. Let s be p(6). Is 55 - 3*(-1)/s a multiple of 28?
True
Let p(z) = 256*z**2 - 48*z - 100. Is p(-2) a multiple of 10?
True
Suppose -25 = 3*m - 5*u + 106, 4*m + 140 = -2*u. Let y = 46 + m. Is y even?
False
Is 36/(-1)*(-25)/3 a multiple of 25?
True
Is (5 + 202/(-14))*-28 a 