 - 2*u = -3*u - 122, -304 = -5*w + 3*u. Let g = w - 56. Does 4 divide g?
False
Let d(p) = -p**3 + 7*p**2 + 4*p - 23. Let h be d(7). Is 46 + 2 + ((-5)/(-1) - h) a multiple of 24?
True
Let g = 29 + -16. Let o(i) = -7*i - 10*i - 1 - i**2 - g*i**3 + 16*i. Does 42 divide o(-2)?
False
Is 8 a factor of ((-2928)/72)/(4/(-6))?
False
Suppose 4*s = -g + 19, 4*g + 3*s = -s + 64. Is g a multiple of 3?
True
Suppose -316 + 1422 = 7*u. Is 3 a factor of u?
False
Let z be (-6)/(-1 + 2/(-4)). Suppose -43 = z*v - 3*h, -v + 5*h = 2*v + 24. Does 8 divide (-7 + 6)/(1/v)?
False
Let s(q) = 2*q + 27. Let d be s(-12). Suppose d*g - g = 108. Is g a multiple of 8?
False
Let p = -435 - -995. Is p a multiple of 21?
False
Let t(w) = -496*w - 66. Is t(-4) a multiple of 64?
False
Suppose -3 = 4*h - 3*c + 5, 0 = 2*h + c - 6. Suppose -q + 1 = 2*y, -3*q = -2*y - 18 - h. Is (-3 - y/(-2)) + 25 a multiple of 11?
False
Suppose 5*t - 3*h + 8*h = 0, -5*h = -4*t + 45. Suppose x = t*m + 3*x - 15, x = 0. Is 29 a factor of ((-58)/m)/(6/(-27))?
True
Is (2231/(-92))/(2/(-24)) a multiple of 5?
False
Suppose -a - a = 3*s - 3, -5*a - 15 = 0. Suppose -s*m + 5*m = 20. Is m a multiple of 5?
True
Let d(p) = -p. Let i(m) = 23*m. Let y(w) = 91*w - 1. Let n(s) = -9*i(s) + 2*y(s). Let k(c) = 2*d(c) - n(c). Is 18 a factor of k(1)?
False
Let v be ((-9)/6)/(-3)*0. Suppose 0 = 4*y - c - 813, v = 2*y - 0*c + 3*c - 403. Suppose 3*o = 5*d - y, 5 + 110 = 3*d + 5*o. Does 10 divide d?
True
Suppose 4*u - g = 1721, 0*u = u - 5*g - 454. Is 33 a factor of u?
True
Suppose 1247*w - 234 = 1245*w. Is 19 a factor of w?
False
Suppose -4818 - 791 = -4*q + 5*t, -2*t - 2806 = -2*q. Is q a multiple of 19?
True
Suppose -57 = -3*q + 2*r, -r = 3*q - 7*q + 71. Let i = -13 + q. Is i even?
True
Let w(a) = 7*a + 2. Is 15 a factor of w(2)?
False
Let w(u) = -u**2 - 2*u + 7. Let t be w(-3). Suppose -1 + 12 = o + t*f, 33 = 4*o + 5*f. Let z = 18 - o. Is 7 a factor of z?
False
Suppose -4*k = -2*u - 326, 0*k + 1 = -k. Is 11 a factor of ((-80)/12 + 5)*u?
True
Let m(v) = -v**2 + 7*v + 13. Let f be m(10). Let l = f - -19. Suppose -264 = -5*k + 4*w, l*w + 104 = 3*k - k. Is 21 a factor of k?
False
Let h = -5890 + 9766. Is 114 a factor of h?
True
Let w(d) = -d**3 - 20*d**2 + 30*d - 32. Is w(-22) a multiple of 12?
True
Let v = -15 + 15. Suppose -l - 2 = l + h, 4*l + 3*h = v. Is 12 a factor of 0 - (l - (-3 - -24))?
True
Let y = 2 - -5. Let k = y - -34. Is k a multiple of 2?
False
Let w = 27 + -25. Suppose -5*q + w*x + 906 = -10*q, -900 = 5*q + 5*x. Let s = q + 289. Is 26 a factor of s?
False
Let k = -5 - -35. Suppose -k - 87 = -3*i. Let m = i + -24. Does 5 divide m?
True
Suppose 6 = a - 58. Let m = 74 - a. Is 2 a factor of m?
True
Let x(c) = -c**3 - 18*c**2 - 18*c + 23. Let t(s) = -3*s + 31. Let w be t(16). Does 10 divide x(w)?
True
Suppose -j + 2895 = 2*x, 9*x = 6*x + 4*j + 4337. Does 28 divide x?
False
Let i(r) = 2*r**2 - 32*r - 14. Let g be i(16). Let b = g + 33. Is 3 a factor of b?
False
Let p(h) = -2*h**2 - 14*h + 20. Does 2 divide p(-5)?
True
Suppose 0 = 2*k - 2*x, -2*k + 3*k + 3*x + 12 = 0. Let b(q) = -q**3 - 2*q**2 + 3. Is 6 a factor of b(k)?
True
Suppose 9 = 3*d, 5*m - 5*d = -0*m + 45. Is m a multiple of 3?
True
Let l(w) = 4*w**2 - 16*w - 64. Does 3 divide l(-5)?
False
Suppose 14 = q + 3*q - 3*s, 4*q + 2*s = 24. Suppose 4*y + 172 - 6 = b, -3*b + q*y + 526 = 0. Does 14 divide b?
True
Suppose -q + 0*q - 2*h = -283, -857 = -3*q - 4*h. Suppose -93 = -2*a + q. Does 48 divide a?
True
Let u(c) = 2*c**2 - 11*c - 3. Let d be u(6). Suppose -f + 64 = -d*z, 3*f - f = -2*z + 160. Is f a multiple of 4?
True
Suppose -5*j + 637 = -63. Is 5 a factor of j?
True
Let c = -5668 + 8150. Is 17 a factor of c?
True
Let p be 2/(-12) + 28/24. Let j be (2/4)/(p/4). Suppose 0*i + 395 = 4*i + 5*y, -j*y + 6 = 0. Does 20 divide i?
False
Let q(v) = -v - 6*v + 1 - 21*v**3 + 20*v**3 + 0 + 8*v**2. Let m be -2*-1*5/2. Is q(m) a multiple of 10?
False
Let m = -160 + 255. Let y = -55 + -3. Let v = m + y. Does 15 divide v?
False
Let r be ((-18)/4)/(6/(-8)). Let j(w) = 3 - 4 - 6*w**2 - 26*w**3 + w**2 + 27*w**3. Does 7 divide j(r)?
True
Let n(h) = -h**2 - 21*h - 11. Let q be n(-9). Let r be ((-6)/(-10))/((-4)/20). Is 0 + (q - 1) - r a multiple of 23?
False
Let l = -15 + 13. Does 20 divide (1332/30)/(l*(-2)/20)?
False
Let a(p) = 262*p**2 - p + 1. Suppose -2*i - 7 = -3*c, -6*i + i + 2*c - 1 = 0. Does 33 divide a(i)?
False
Let l be ((-8)/(-12))/((-1)/(-6)). Suppose -m - 4*u = 13, l*m - u = -0*u - 1. Does 3 divide -1 + 2 - 3/m?
False
Let y(n) = 60*n**2 - n - 1. Let o(m) = m + 13. Let u be o(-14). Is 15 a factor of y(u)?
True
Is 11 a factor of 6*(-130)/(-12)*3?
False
Suppose -r - 2*h = -14, -2*r - 2*r - 3*h = -31. Is 5 a factor of 44/2 - (r + -4)?
False
Suppose 0 = q - 4*j - 1892, 5001 = 4*q + j - 2482. Does 39 divide q?
True
Is 10 a factor of 2132/123*(-30)/(-4)?
True
Let q = -6 + 168. Let r be ((-4)/2 - -1) + 1. Is 18 a factor of 1/(r - (-3)/q)?
True
Let c be -40*((-51)/12 - -1). Let h = c + -28. Is 25 a factor of h?
False
Let s = 9 + 311. Is s a multiple of 45?
False
Suppose 0 = 5*z + 41 - 66. Suppose z*s = -3*o + 4*o - 94, -5*o + 5*s + 430 = 0. Is o a multiple of 7?
True
Let s be 82/(-6) + (-2)/(-3). Let x be (-72)/(-12)*7/(-2). Let n = s - x. Does 6 divide n?
False
Let g(t) = -t**3 - 3*t**2 - 35*t - 201. Is g(-6) a multiple of 7?
False
Let b(l) = 1250*l + 2. Is b(2) a multiple of 18?
True
Suppose -2*u = 4*l + u - 24, -3 = 3*l - 3*u. Suppose 5*w - l = 57. Is 8 a factor of w?
False
Let a = -9 - -7. Is 13 a factor of 0 + a + 1 - -14?
True
Let f = 491 + -73. Let v be 42/4 - (-6)/(-4). Suppose -f = -v*p - 40. Is 22 a factor of p?
False
Suppose 7*q + 0*q = 3542. Suppose -7*n + q = 72. Does 7 divide n?
False
Let f = 7727 + -3493. Does 58 divide f?
True
Suppose h = -5*t + 10*t + 894, 3519 = 4*h - t. Does 31 divide h?
False
Suppose 374*m + 3162 = 405*m. Does 3 divide m?
True
Let f(u) = 6*u**2 - 2*u - 21. Let b(w) = -5*w**2 + w + 23. Let h(y) = -4*b(y) - 3*f(y). Is 24 a factor of h(13)?
False
Is 3 - 2 - 2553/(-6)*2 a multiple of 12?
True
Let o(c) = -c**2 + c. Let b(m) = 7*m**2 - m + 1. Let n(h) = b(h) + 4*o(h). Let p be n(-1). Let z(f) = 29*f**2 - 2*f + 1. Does 6 divide z(p)?
False
Suppose 4*a - 495 = x, -477 = -6*a + 2*a - 5*x. Suppose 5*v - 4*d - 168 = 0, -3*v + 2*d - 7*d + a = 0. Does 12 divide v?
True
Let c be 30/(-4) + (-1)/2. Let a be -5 + (-51)/(-9) - 14/3. Does 9 divide ((-6)/c)/(a/(-288))?
True
Let w(o) = o. Let b be w(3). Suppose -4*s = -2*f - 2*s + 40, b*s = -12. Is f a multiple of 8?
True
Let j = -475 - -931. Is 11 a factor of j?
False
Suppose -2*p - 188 = -306. Does 59 divide p?
True
Let b be (-14)/10 - 32/(-80). Does 13 divide 4/(4/61) - b?
False
Suppose 5*d + 3*w - 2 = 2, 2*d + 5*w + 6 = 0. Is 19 a factor of 3*d/14 + 2900/28?
False
Is 9 a factor of ((-5)/(60/171))/(21/(-504))?
True
Suppose 7*q + 28 = 11*q. Suppose -q*w = -5*w - 154. Is w a multiple of 14?
False
Suppose -1 - 3 = -2*j. Suppose -3*n - 1 = -j*m - 40, 24 = 2*n - 2*m. Is n a multiple of 3?
True
Let b(u) = u**2 - 6*u + 4. Let p be b(3). Let j(m) = -2*m - 7. Let r be j(p). Let d(n) = n**2 + 4*n - 1. Does 10 divide d(r)?
True
Let s be 5 + 31/(-6) - (-1)/6. Suppose -4*c - 3*h + 313 = s, -2*c = -7*c + 2*h + 374. Is 38 a factor of c?
True
Let n be 10*(2 + (-56)/20). Is ((-6)/n)/(((-4)/1)/(-176)) a multiple of 11?
True
Suppose -175 = -2*o + 115. Suppose 0 = 2*r + u - 58, 0*r = 5*r - u - o. Does 11 divide r?
False
Suppose -2*z + 120 = 5*m - 8*m, z - 55 = -m. Does 26 divide z?
False
Let z = 1077 - 781. Is 4 a factor of z?
True
Suppose -783 = -l + 4*m, -l + 444 + 341 = -2*m. Is l a multiple of 74?
False
Suppose -13 = c + 104. Is 12 a factor of 26/c - (-2 - 760/18)?
False
Let w be 1/2*(-6)/(-1). Suppose 3*j - 3*g - 3 = 0, 5*j + w*g - 4 - 1 = 0. Let i = j + 34. Is 15 a factor of i?
False
Let t(u) = 6*u - 32. Let a be t(17). Suppose a = 7*g - 42. Does 4 divide g?
True
Let k = 120 + -117. Suppose -149 + 428 = k*f. Is 31 a factor of f?
True
Suppose 27 = 3*u + 4*t - 444, 4*u + 4*t = 632. Suppose -7*p + 126 = -u. Does 41 divide p?
True
Suppose -y - 5*i + 28 = 0, -52 = -4*y - 9*i + 4*i. Let r be (-45)/(-15) + (0 - 1). Does 18 divide 357/12 + r/y?
False
Suppose -3*q + 4 = 2*q - 4*g, 2*q - g = 1. Suppose 0*m - 7 = -4*m + n, -m - 