+ 11 - j = 0. Does 6 divide r?
True
Let m be -15 - ((-9)/(-3) - 5). Let g = 18 + m. Suppose 114 = g*l - 2*l. Does 12 divide l?
False
Suppose 5*n - 3 = -2*m - 4, -5*n = 5. Suppose m*i - 46 = -0*i. Is i a multiple of 8?
False
Let y be (-1)/3 - 13/(-39). Suppose -j + 47 = -y*j. Is 8 a factor of j?
False
Let k = 6 - 1. Suppose 0 = f - 10 - k. Is f a multiple of 15?
True
Suppose 2*h - 40 = -0. Is 4 a factor of h?
True
Is (-4 - -2) + 113/1 a multiple of 34?
False
Let b(l) = -l**2 - 8*l - 1. Let h be b(-7). Let o be 9/h*4/3. Is 4 a factor of o/(-4)*12/(-1)?
False
Does 6 divide -4 + 0/(-3) + 40?
True
Is -3*12/(-9) - (1 + -61) a multiple of 54?
False
Suppose h + 2*h = 81. Does 10 divide h?
False
Let r(w) = 4*w**2 - 23*w - 2*w**3 + 1 + 18*w + 3*w**3. Let m be (-10)/3 + 2/(-3). Does 7 divide r(m)?
True
Let j = -47 + 86. Does 9 divide j?
False
Let z be 2870/(-8) - (-24)/32. Let k = -206 - z. Suppose 4*j + 0*j - k = 0. Does 19 divide j?
True
Let v(x) = -2*x**3 - 3*x**2 + x - 3. Let n = 18 + -36. Let i be 12/n*(-18)/(-4). Is v(i) a multiple of 14?
False
Is (-2)/8 - (-22838)/152 a multiple of 30?
True
Let v be 2 - 0 - (2 - 0). Let l(g) = g + 12. Let k be l(v). Suppose 0 = -4*c - k, -c + 2*c = -4*p + 141. Is p a multiple of 13?
False
Let p = 5 + 18. Does 18 divide p?
False
Suppose 0 = -q + 8 + 26. Is q a multiple of 18?
False
Let b be (-5 + 5)/(1 + -2). Let m be b/(1 - -1) - 2. Let j = 12 + m. Does 6 divide j?
False
Let i(x) = -x**2 - 2*x. Let n be i(-5). Let d be (-3)/((27/n)/3). Suppose -3*g = -d - 34. Is 7 a factor of g?
False
Let b(d) be the second derivative of 0 - 1/2*d**3 + d - 1/2*d**2. Does 2 divide b(-2)?
False
Is 17 a factor of (-15)/(-2)*238/21?
True
Let i be (12/(-9) + 0)*-3. Suppose 4*f + 2*b = 4 + i, 5*b - 20 = f. Suppose -3*n + 2*n + 24 = f. Is 12 a factor of n?
True
Let w = 1 - -56. Does 10 divide w?
False
Let r(b) = -7*b - 5. Let q be r(4). Let j = 9 - q. Suppose -4*i + 22 = -j. Is i a multiple of 8?
True
Let a be (-33)/(-2) + (-3)/6. Suppose 4*c = -5*d + 64, -d + a = 3*d. Does 11 divide c?
True
Does 8 divide (-1)/(-4) - (-191)/4?
True
Suppose 2*l + 34 = -4*n, -4*n - 1 = -l + 6. Is 14 a factor of 2166/27 - (-2)/l?
False
Let x = 22 + -10. Is x + -3 + 5 + 1 a multiple of 5?
True
Let k(t) = -3*t**3 + t**2. Let o be k(-1). Suppose -60 - o = -4*l. Is 16 a factor of l?
True
Suppose 22 + 13 = -5*v. Let o(l) = 7*l**2 + 0*l**2 + l**3 - 2*l - 4 + 0*l. Does 10 divide o(v)?
True
Let a(b) = -27*b - 41. Does 22 divide a(-6)?
False
Suppose -148 = -g - 3*g. Let n = 55 - g. Is 18 a factor of n?
True
Let m be 231 - (-2)/(2/(-1)). Suppose 3*n - 161 = -q + 3*q, 5*q - m = -4*n. Is n a multiple of 11?
True
Suppose -4*s + 5*s + 1 = 0. Let w be (1 + 2)/s + 19. Let z = w - 10. Does 6 divide z?
True
Let b(j) be the third derivative of -j**6/120 - 3*j**5/20 + j**4/24 + 11*j**3/6 - 2*j**2. Let i be b(-9). Suppose -2*u = -28 - i. Does 15 divide u?
True
Suppose 5*i = -97 + 342. Does 8 divide i?
False
Suppose 4*i + 0*i + 31 = 5*t, -10 = 4*i + 2*t. Let f be (i/2 + -4)/1. Let v(b) = b**2 + 4*b - 3. Is 9 a factor of v(f)?
True
Let f = 188 + -112. Is 11 a factor of f?
False
Let q(d) = -2*d - 3 + 2*d + 3*d - 4*d. Is 3 a factor of q(-6)?
True
Let u be 1238/10 + (-2)/(-10). Suppose 4*b = 4*p + u, 0*b + 157 = 5*b - 4*p. Does 11 divide b?
True
Suppose -5*o - 3*s - 2*s = 105, 2*o - 2*s = -30. Is 10 a factor of (1 - o)*(-6)/(-6)?
False
Suppose -c - 4 + 0 = 0, -3*c - 1 = -g. Let f = g - -15. Suppose 5*z - 56 = 2*z - f*j, -2*z - 3*j + 39 = 0. Is z a multiple of 4?
True
Suppose 5*d - 7*d = -80. Does 10 divide d?
True
Suppose -3*z = -7*z. Let f be (2/4 + -1)*z. Suppose f*m - 5*m + 95 = 0. Is m a multiple of 10?
False
Let i be ((-9)/(-6))/((-3)/(-6)). Suppose 7*o - 168 = i*o. Does 21 divide o?
True
Let t be 4/14 - (-99)/21. Suppose t*g = -0*g, -3*l + 3*g + 21 = 0. Does 3 divide l?
False
Suppose 0 = -5*b - 0*b. Does 6 divide (2 + b)*38/4?
False
Let x = -29 - -51. Does 6 divide (-260)/(-22) - (-4)/x?
True
Suppose 5*c = 2*c + 15. Let f(t) = 4*t - 1 + 6*t - c*t. Is f(3) a multiple of 14?
True
Let u(t) = -t - 6. Let p be u(-11). Suppose 1 = l, -p*a + 2*l - 4*l = -17. Suppose 2*g - 29 = -a*c + 4*g, 0 = 3*c - 4*g - 19. Does 7 divide c?
False
Let f(l) = 3*l - 3. Let m be f(2). Suppose -g - m*g = -84. Is 21 a factor of g?
True
Let z be (-39)/(-15) - 4/(-10). Suppose 4*r + 2*w = -0*r + 26, -5 = -5*r + z*w. Let h(m) = 4*m - 4. Is 6 a factor of h(r)?
True
Let z = 0 - 4. Is 17 a factor of (68/(-6))/(z/12)?
True
Let q be (-69 + -5)*(-2)/4. Suppose q - 97 = -4*d. Is d a multiple of 15?
True
Let g(w) be the third derivative of w**4/4 + 2*w**3/3 + 3*w**2. Let f be g(3). Suppose 2*j + f = 74. Does 9 divide j?
False
Does 13 divide 117/((-7)/(-2) + -2)?
True
Suppose -d + 4*d = 0. Let i(m) = -m + 49. Is i(d) a multiple of 14?
False
Suppose -4*j - 455 = -3*w, 0 = -w + 5*w - j - 598. Does 14 divide w?
False
Let r(y) = -8*y + 3*y + 3*y. Is r(-6) a multiple of 5?
False
Let z be 1*-1*11*-1. Suppose 0*b + z = b. Suppose 2 = i - b. Is 13 a factor of i?
True
Suppose 7*g + 6*g + 0*g = 0. Let l be (-14 + -1)/((-3)/2). Let y = l + g. Is 8 a factor of y?
False
Let z be 2 + 1/(-1)*-2. Suppose 3*g = z + 2. Suppose 0 + 24 = g*a. Does 12 divide a?
True
Suppose 10*j - 2*j - 408 = 0. Is 17 a factor of j?
True
Let z(v) = v**2 + v + 27. Let l be 2 + (0 - 2 - -2). Let u be (0 + l - 1) + -1. Does 11 divide z(u)?
False
Let c(k) = 19 - k**2 + 0*k**3 + k**3 + 0*k - k + 0*k. Let i be c(0). Suppose 11 = w - i. Does 15 divide w?
True
Suppose -2*c = -j + 3*c - 3, -c + 5 = 0. Is j a multiple of 11?
True
Let n(y) = y**2 - 16*y + 47. Is 9 a factor of n(16)?
False
Suppose 17*b - 2280 = 7*b. Is 12 a factor of b?
True
Suppose 0 = -0*o - o - 6. Let v = 8 + o. Suppose -2*w - 5*x + 1 = -9, 2*w = v*x + 10. Does 3 divide w?
False
Let m be 2 + 4/((-20)/(-315)). Suppose -5*t = -24 - 1. Suppose 4*h = -t*y + 64, 4*y + y - m = -5*h. Is y a multiple of 12?
True
Suppose -3*q - 2 = o - 13, -3*o - q = -49. Suppose -2*l + o = 3*m + 2*l, -l + 17 = 5*m. Suppose n - 40 = -m*n. Is n a multiple of 5?
True
Suppose -2*t - 84 = -z, z + 3*z = -5*t + 310. Let s = -117 + z. Let y = s - -53. Is 16 a factor of y?
True
Suppose j - 2*j + 5*l = 0, 5*j = -3*l + 56. Suppose 0 = -b + 2*b - 10. Does 12 divide j*(0 - (-24)/b)?
True
Let y(z) = -z + 4. Let f be -6*(1 + (-8)/6). Let p be y(f). Suppose -p*d - 2*u = -18, -6*d - 4*u + 46 = -d. Does 5 divide d?
True
Let t(p) = -9*p**3 + 5*p**2 + 5*p - 4. Let m(n) = -8*n**3 + 6*n**2 + 6*n - 5. Let i(y) = 5*m(y) - 6*t(y). Let q be i(-1). Is 17 a factor of (1 + -25)/(q/20)?
False
Let n(c) = c**3 - 4*c**2 - 4*c + 3. Let t be (-4 - -5)/(2/10). Is 3 a factor of n(t)?
False
Let j = 179 + -129. Does 8 divide j?
False
Let a = -14 + 10. Let k be (2/a)/(1/34). Does 16 divide k/(-1) + (5 - 6)?
True
Let d be (2/5)/((-5)/25). Let a = 0 - d. Is 8 a factor of ((-38)/(-4) + -2)*a?
False
Let p = 15 - 26. Let a = -7 - p. Is 4 a factor of a?
True
Suppose -20 = -2*p + 8. Suppose t + 2 + 0 = 0. Is 2 a factor of p/6 + t/(-3)?
False
Let h = -18 + -8. Let q = -15 - h. Does 7 divide q?
False
Suppose 14*i - 676 = 360. Is 9 a factor of i?
False
Let o = -6 - -55. Is o a multiple of 23?
False
Let u(o) = o**3 + 10*o**2 - 13*o - 14. Let m be u(-11). Suppose -3*w - 35 = -m*w. Suppose -h - w + 25 = 0. Is h a multiple of 6?
True
Let w(i) = -i**2 - 18*i + 6. Is 6 a factor of w(-18)?
True
Suppose 2*p - 13 = -1. Suppose 3*g - p = 0, -2*x = -4*x + 2*g + 26. Is 15 a factor of x?
True
Let x(f) = -f**3 + 7*f**2 + 18*f + 3. Is 13 a factor of x(8)?
False
Let m be (-598)/(-8) + (-15)/20. Let t = -49 + m. Does 15 divide t?
False
Suppose 43 = -3*t - 29. Let v = t + 74. Is 14 a factor of v?
False
Is (-7 - -11) + 1*-2 a multiple of 2?
True
Let r(p) be the first derivative of 17*p**3/3 + p**2/2 + 1. Suppose 0 = v + 5*v + 6. Is r(v) a multiple of 8?
True
Suppose 3*t - 28 = -t. Suppose -t*b + 3*b = -168. Suppose -2*p + b = 4. Is 15 a factor of p?
False
Suppose 5*w = -3*n + 283, -4*n + 264 = 5*w - 15. Is 16 a factor of w?
False
Let r be ((-8)/(-10))/((-8)/60). Let h be (-1*1)/(3/r). Suppose -i + 2*c - 144 = -5*i, h*c - 8 = 0. Does 17 divide i?
True
Let p = -10 + 16. Let f(n) = n - 4. Let h be f(p). Does 2 divide (7/2)/(h/4)?
False
Let i(u) be the second derivative of u**5/60 - u**4