 - 21 = -3*k. Let x = 45 + -50. Let i = x - u. Does 10 divide i?
True
Suppose -3*g - a + 637 = 0, 0*a = -3*a + 3. Is g a multiple of 17?
False
Is (-3 - -1)/(-2) - 180/(-20) a multiple of 8?
False
Let y(p) = 50*p + 3010. Is 35 a factor of y(0)?
True
Let b(z) = -50*z + 5. Is b(-2) a multiple of 3?
True
Let d be (1 - 0) + 2*44. Let h = d + -41. Does 12 divide h?
True
Let d be 18/(-63) + (-4)/(-14). Suppose -2*q - 2*q = w - 40, -3*w - q + 87 = d. Suppose 0 = -3*j + j + w. Does 7 divide j?
True
Suppose -5*z = -25 - 25. Is 12 a factor of (-472)/20*z/(-4)?
False
Let a(s) = 5*s**2. Let y be a(-1). Suppose 0 = y*w + f - 843, -12*w + 3*f - 177 = -13*w. Does 28 divide w?
True
Suppose 0 = -9*m - 940 + 3055. Is 47 a factor of m?
True
Let w(p) = p**3 - 14*p**2 + 14*p - 15. Let o be w(13). Let i(q) = 11*q**2 + 5*q + 4. Does 7 divide i(o)?
False
Let p(q) = 64*q**2 - 2*q - 4. Let a be p(-2). Suppose -a - 148 = -4*v. Is 12 a factor of v?
False
Suppose 0*x - 2*x + 64 = 0. Let w = x + -23. Is w/3*208/12 a multiple of 13?
True
Let n = 29 - 27. Suppose -6*i + 58 = -2*i + n*b, -i - 2 = -5*b. Does 13 divide i?
True
Suppose -2*z + 52 = 5*b, -4*z + 51 + 101 = -2*b. Is 18 a factor of z?
True
Let g be (2/(-2))/((-4)/(-20)). Let s(m) = 6*m**3 - 16*m**2 + 4*m - 2. Let f(x) = -x**3 + x**2 + x - 1. Let r(q) = g*f(q) - s(q). Is r(10) a multiple of 5?
False
Suppose -1220 = 9*s - 5684. Does 4 divide s?
True
Suppose 0 = 4*y - 4*o - 20, y + 7*o = 2*o + 11. Suppose -y*f - 103 = -403. Is 12 a factor of f?
False
Suppose -2*d = 4*z - 92, 5*z - 2*d = -7 + 131. Suppose l + 5*k - 10 = 8, -2*k - z = -2*l. Is 12 a factor of l?
False
Let o(l) = 5*l**2 + 22*l + 30. Is o(-30) a multiple of 18?
True
Does 27 divide ((-8)/(80/135))/(1/(-42))?
True
Let j be -151 - ((-52)/16 + (-1)/(-4)). Let u = -123 - j. Is u even?
False
Does 2 divide (5 - (5 + -2)) + 36?
True
Suppose 5*h + 4*q = 148, 5*h - 4*q = -9*q + 150. Let t(r) = 37*r + 1. Let j be t(1). Suppose 3*v - j = h. Does 11 divide v?
True
Let m = 116 + -117. Does 10 divide 162*(m + 16/12)?
False
Suppose -3*b = -1953 - 507. Is b a multiple of 10?
True
Let l(j) = 99*j**2 + j + 1. Let v be l(-1). Let i be (-2)/(30/v)*-10. Let o = i + -34. Does 8 divide o?
True
Suppose 2*c = -5*n + 18, 2*c = -2*c - 3*n + 22. Suppose 0 = c*j + 5*s - 136 - 36, 0 = -4*s. Does 3 divide j?
False
Let k(p) = p**2 + 2*p + 9. Let w be k(-7). Suppose 4*v = 5*v - 5. Suppose s - w = v*l, -3*s + l + 188 = -0*s. Is 18 a factor of s?
False
Suppose 0 = -5*i - 2*m + 552, -10*i + 2*m + 232 = -8*i. Is 4 a factor of i?
True
Let b be 54/(-24)*(1 - 5). Suppose b*u = 14*u - 875. Suppose -3*z - 112 = -4*p, -5*p - 5*z + 0*z + u = 0. Does 8 divide p?
False
Suppose 0 = -5*t + 4*v - 3*v + 371, t = 3*v + 63. Let h = t - 54. Does 12 divide h?
False
Let g(o) = -o**3 - o**2 - 2*o - 4. Let c be g(-2). Let u(j) = 6*j + 6. Does 5 divide u(c)?
True
Suppose z + 36 = s, 3*z = -3*s + z + 113. Is s a multiple of 10?
False
Let l(x) be the first derivative of -3*x**4/4 - 2*x**3/3 - x**2/2 - 5*x - 4. Let u(d) = -d**3 - 14*d**2 - d - 17. Let j be u(-14). Does 30 divide l(j)?
False
Let z(h) = 18*h**3 + 32*h**2 + 6*h - 12. Let o(i) = 12*i**3 + 21*i**2 + 4*i - 8. Let b(t) = 7*o(t) - 5*z(t). Does 34 divide b(-4)?
False
Is (-90)/(-108) + (-1687)/(-6) a multiple of 21?
False
Is -47 + 56 - 76/(-1) a multiple of 28?
False
Suppose 51 + 21 = 4*a. Suppose -a + 6 = -3*n. Suppose 7 = n*d - 105. Is 8 a factor of d?
False
Suppose -192 = 4*v - 640. Let j = -23 + v. Is 21 a factor of j?
False
Let d = 1033 + -589. Is 81 a factor of d?
False
Let k = -4 + 10. Suppose -p + 21 = -4*x - 6, 0 = 2*x + k. Suppose -3*n + 49 = -5*v, -n + v + 2*v = -p. Is n a multiple of 9?
True
Suppose i - 3*g - 942 = -4*i, -2*i + 4*g = -374. Does 21 divide i?
True
Is 14 a factor of (-502)/(-2) - (-4 - 2 - -7)?
False
Let i(u) be the third derivative of u**5/60 - 11*u**4/24 + 29*u**3/6 + 7*u**2 + 3. Is 4 a factor of i(13)?
False
Suppose -2*z + 150 = -z. Is z a multiple of 15?
True
Suppose 0 = 3*o - 7*o - 32. Let s = o + 10. Is s + (8 - 0/(-1)) a multiple of 10?
True
Let s be 135*-1 + (0 - 0). Suppose -7*m + 3*m = 4, -n - 5*m + 4 = 0. Is -95*n/(s/6) a multiple of 12?
False
Suppose -x - 2*x + 126 = -q, -8 = -2*x. Let w = q - -168. Is 9 a factor of w?
True
Let b = 228 - 112. Let r = 239 - b. Does 16 divide r?
False
Let h(o) = o**3 - 5*o**2 - o - 2. Let k be h(7). Let t = k + -10. Is 25 a factor of t?
False
Let t be (-2 + 2)/(0 - 2). Suppose -2*j + 0*j + 24 = t. Is 12 a factor of (2 - -1 - j)*-3?
False
Let j = 12 + -20. Let k(y) = 2*y**2 + y - 3. Let i be k(j). Suppose 4*m + 0*m = 4*u - 156, 3*m - i = -3*u. Is 13 a factor of u?
True
Let z(w) = 3*w + 66. Let o be z(0). Suppose -145 = -o*f + 65*f. Is f a multiple of 27?
False
Suppose 1 - 37 = -6*s. Suppose -700 = p - s*p. Is 35 a factor of p?
True
Let x = 1 - -3. Let k be x/14 + (-185)/35. Let p = k + 19. Does 3 divide p?
False
Suppose -10610 = -5*k + 2*f - 3067, -k + 1503 = f. Does 111 divide k?
False
Suppose 2*f + 19*g = 18*g + 2662, 5*g = -4*f + 5318. Is f a multiple of 3?
True
Suppose -46*b + 90 = -51*b. Is 15/90 + (-1095)/b + -1 a multiple of 4?
True
Let x be 25*2*(1 + 9/(-6)). Does 8 divide ((-60)/x)/(-4) + 166/10?
True
Is 13 a factor of 38/(((-216)/(-117))/12)?
True
Let h be -4 - 20*(1 + -2). Suppose -8*d + 320 = -h. Does 11 divide d?
False
Suppose 4*n + 3*w - 1320 = 0, -10*n + 5*w - 990 = -13*n. Does 3 divide n?
True
Suppose -111 = -17*m + 195. Does 6 divide m?
True
Let r = 80 - 77. Suppose 2*k + 0*k - 2*n = 78, 5*k - 155 = -r*n. Is 21 a factor of k?
False
Let n(c) = c - 51*c**2 + 9*c**3 + c + 47*c**2. Let x be n(2). Is 10 a factor of -16*(3 - x/16)?
False
Let f(p) = 2*p + 10. Let q be f(10). Let v = q + 3. Does 15 divide v?
False
Let w = 2774 + -1417. Is w a multiple of 26?
False
Does 31 divide (-20)/(-12)*-12*(-30 + -1)?
True
Let m = 199 - 74. Suppose 11 = n - m. Is n a multiple of 27?
False
Let s be (-2 - -3)*(-1 - -89). Let i = 50 - s. Is 3/12 - i/8 even?
False
Let o = -56 + 55. Is 18 a factor of (6*o)/(-3) - (-5 - 101)?
True
Suppose 1 = -s - 6. Let z be 8/10 + s/(-35). Is 23 a factor of 477/12 + z/4?
False
Let t(h) = h**2 + 9*h - 1. Let y be t(-10). Suppose -112 = -y*j + 14. Does 5 divide j?
False
Let x = 37 - 33. Suppose 4*f = 3*i + 8 + 72, -f + 20 = -x*i. Does 5 divide f?
True
Let m(c) = c**3 + 17*c**2 - 56*c - 37. Is m(-17) a multiple of 11?
False
Let x be 6/(-5)*10/(-3). Let g be (2/x)/((-4)/(-32)). Suppose 4*h - 60 = g*s - 0*s, 5*h = -s + 57. Is 3 a factor of h?
True
Let g(h) = -4*h**3 - 13*h**2 + 9*h + 7. Let v(s) = 2*s**3 + 6*s**2 - 4*s - 3. Let n(y) = 2*g(y) + 5*v(y). Does 11 divide n(3)?
False
Let r(i) = -i**3. Let f(o) = 5*o**3 + 10*o**2 + 6*o - 33. Let d(a) = f(a) + 4*r(a). Is 18 a factor of d(-8)?
False
Let s be ((-8)/(-2))/(4/(-56)). Let p be (-8 - 16/10)/(4/50). Let h = s - p. Does 16 divide h?
True
Suppose 4*o - 277 = 5*d + 853, d + 226 = -o. Let p = -136 - d. Does 45 divide p?
True
Let b(y) = 2*y**2 + 8*y + 90. Is b(13) a multiple of 12?
False
Let x(a) = 8*a + 17. Let i be x(8). Suppose q + 2*q - i = 0. Is 7 a factor of q?
False
Let h be 2/4*8/2. Suppose 3*u = -0*u - 2*s + 7, -s + 5 = h*u. Suppose -u*o + 87 = -0*o. Is o a multiple of 29?
True
Suppose -3*j + 762 = -0*j + 3*k, 5*j + 4*k = 1267. Does 49 divide j?
False
Let z(c) = -3*c**3. Let f be z(-1). Suppose -4 = -3*l + 8, 12 = -5*n + f*l. Suppose 2*d - 33 - 7 = n. Is d a multiple of 10?
True
Is 450/125*(-390)/(-9) a multiple of 39?
True
Let x = 60 + -104. Let n = 112 + x. Suppose -3*l = -n - 76. Is 16 a factor of l?
True
Suppose 10*m = 38 - 18. Suppose 5*n - 16 + 1 = 0. Suppose n*q = 3, q + 62 = x - m*q. Is x a multiple of 27?
False
Suppose -457 = -3*o - 4*g, 2*o - 3*g - 338 = g. Is 10 a factor of o?
False
Let y(z) = -106*z**3 + z**2. Let u be y(-1). Let m = u + -75. Is m a multiple of 8?
True
Suppose 0*n - 1808 = 16*n. Let c = 240 + n. Does 19 divide c?
False
Let d be -4 + 6 + -4 + -25. Let y = -30 - d. Is 3 a factor of -19*(-4 + y + 6)?
False
Suppose -4*t - 10517 = -5*o, -12*o + 10*o - 5*t + 4220 = 0. Is 16 a factor of o?
False
Is 6 a factor of 54/(-6)*((-265)/3 - -1)?
True
Let z(s) be the third derivative of s**5/30 + s**4/24 - 2*s**3/3 + 8*s**2. Is z(-3) a multiple of 4?
False
Suppose 28 = k - 4*t, -4*k + 2*t + 95 = 3*t. 