Does 27 divide m?
False
Let y(b) = -293*b + 15. Does 28 divide y(-1)?
True
Is 15 a factor of 3/((-273)/(-135) + -2)?
True
Suppose 2*v - 7 = 1. Suppose -3*n - 9 = 0, n - 119 = -v*z - 2*n. Suppose -2*j = 2*t + 2*t - z, -j = 4*t - 10. Does 22 divide j?
True
Let s(p) = 13*p - 5. Let n(b) = -6*b + 2. Let g(z) = 5*n(z) + 2*s(z). Let k(o) = -o**3 + 6*o**2 - 7*o + 4. Let v be k(5). Is 12 a factor of g(v)?
True
Let q be (3 + (-5 - -3))/(-1). Is 25 a factor of (1/1 - -55) + q?
False
Let d be -139 - 0 - (7 - 6). Is 35 a factor of d/(-6)*(-21)/(-7)?
True
Let p(a) = 7*a + 8*a - 2 - 9*a + 12*a. Suppose -v + 7 = -0*v - 3*y, -v - 4*y - 7 = 0. Is 8 a factor of p(v)?
True
Let s(k) = 13*k + 22. Let b = 18 - 15. Is s(b) a multiple of 13?
False
Let x = -275 - -405. Does 10 divide x?
True
Let h(y) = 4*y**2 - 206*y - 80. Is 9 a factor of h(56)?
False
Let j(f) be the second derivative of f**5/30 - 5*f**3/6 + 2*f**2 - f. Let b(r) be the first derivative of j(r). Is b(-4) a multiple of 9?
True
Let g be 475/(-11) + (-10)/(-55). Let a = -20 - g. Is 4 a factor of a?
False
Suppose 5*k - 34*l + 33*l - 3553 = 0, -3561 = -5*k - 3*l. Is k a multiple of 29?
False
Suppose 108 = 2*s + 5*p, -270 = -5*s - 7*p + 2*p. Suppose -3*o + 5*o - s = 0. Let b = -10 + o. Is b a multiple of 7?
False
Let r(m) = -301*m**2 - 3*m - 4. Let z be r(-1). Is 2 a factor of (-5)/25 + z/(-10)?
True
Let s(v) = -v**2 + 20*v - 7. Let o be s(15). Let w = o - 41. Is 5 a factor of w?
False
Suppose 0*q = 5*q - 470. Let n = -58 + q. Suppose -n = 4*h - 8*h. Does 3 divide h?
True
Let o(f) = f**2 + 16*f - 2. Let c = 42 + -59. Is o(c) even?
False
Suppose 0*a = 5*a - 5*z - 255, -a + 39 = 2*z. Let k be a/4 + (-24)/32. Suppose -27 - k = -2*i. Is i a multiple of 13?
False
Let s(j) = -4*j + 39. Let g be s(9). Suppose g*w - p - 375 = -0*p, -2*w + 5*p = -237. Is 42 a factor of w?
True
Suppose 4*z = 2*z - 864. Let m = -306 - z. Suppose a + m = 4*a. Is 14 a factor of a?
True
Does 14 divide 2 - -3530 - (-2 + -4 - 2)?
False
Suppose -2*t = t + 9, 2*w + 3*t - 195 = 0. Does 51 divide w?
True
Suppose 8*j - 10 = 3*j. Let n be (3/j)/((-3)/4). Does 6 divide 40/(-2 - -6) - n?
True
Suppose 5*c = 3*v - 5 + 23, -v + 11 = 4*c. Is 3 a factor of (-2)/(-6)*c - -3?
False
Let k = -1 - 15. Let g(q) = -q**2 - 17*q - 16. Let y be g(k). Let i = 3 + y. Does 2 divide i?
False
Does 2 divide (-2)/8 - 135/(-12)?
False
Let n be (-8)/5*(-35)/2. Let r be (-7)/n + 231/(-4). Let j = -28 - r. Is j a multiple of 10?
True
Let d be (-8)/(-3) + (-1)/(-3). Suppose -y - 79 = -d*s - 0*y, y - 121 = -5*s. Does 15 divide s?
False
Suppose -5*u - 25 = -5*a, -u - 13 = 3*a - 6*a. Let v = 6 - a. Suppose -v*m = -3*m + 12. Is m a multiple of 7?
False
Let u(n) = -379*n**3 - 3*n**2 - 3*n - 1. Let x be u(-1). Suppose -s - 6*h + 3*h = -70, -5*s = h - x. Does 10 divide s?
False
Suppose 0 = 3*i + 191 - 1244. Is 13 a factor of i?
True
Let o be 1 + 0/(-2) + -1. Suppose -3*j + o*j = -9. Suppose j*f = 7*f - 252. Is 17 a factor of f?
False
Let z(d) = 4*d**2 + d + 6. Is 3 a factor of z(3)?
True
Let s be 6/((1/(-2))/(14/42)). Does 10 divide 10 - (s/1 - -4)?
True
Let v(b) = 33*b - 8. Let y be ((-44)/(-10) + -4)*10. Is 16 a factor of v(y)?
False
Suppose 5*h - 320 = r - 4*r, h + 5 = 0. Is 3 a factor of r?
False
Let y(f) = -f**2 + 2*f. Let o = 0 - 2. Let p be y(o). Let c(i) = -i**3 - 7*i**2 + 6*i - 9. Is c(p) a multiple of 7?
True
Suppose -5*c + 3*g = -3*c + 24, 0 = -3*c - 4*g - 19. Let y be -4*(-4)/(-8)*c. Let u = -6 + y. Is u a multiple of 7?
False
Suppose -5*y - 5 = -6*y. Suppose -y*x = 8 - 33. Let a(g) = 7*g - 14. Is a(x) a multiple of 6?
False
Suppose 0 = z + 3*t + 100, -z - 2*t - 105 = -0*t. Let d = -65 - z. Does 10 divide d?
True
Suppose 9*t = 14*t. Does 17 divide (t - 1)/(18/(-1224))?
True
Let y(b) = -b**3 + 6*b**2 - b + 12. Let q(v) = 3*v**3 - 12*v**2 + 3*v - 23. Let x(u) = 2*q(u) + 5*y(u). Let w be x(-6). Is 22 a factor of w/(-28) - (-1604)/28?
False
Let j = 326 + -25. Is j a multiple of 17?
False
Let y be ((-6)/9)/((-2)/9). Suppose -3*q = u - 26, -y*q - 2*u - 20 = -6*q. Let f(z) = -z**3 + 8*z**2 + 10. Is 8 a factor of f(q)?
False
Suppose -20 = -4*k, -4*k = -6*c - k + 6369. Does 28 divide c?
True
Suppose 17 = -2*w + 5*w + 4*v, -w - 4*v = -11. Suppose c = -w*c + 16. Is c - (-2 + -1 + -25) a multiple of 16?
True
Let p = 735 - 9. Is 11 a factor of p?
True
Suppose -6*c + 3724 = 4*i - 10*c, -i + 3*c = -927. Suppose 7*p - 299 = i. Is 11 a factor of p?
True
Suppose 3*j - 7*j + 12 = 0. Let b be j + 1 + -2 + -2. Suppose -370 = -5*a + 5*s, -2*a + 5*s + 11 + 128 = b. Is a a multiple of 23?
False
Let l = -52 - -55. Let c = -475 + 261. Is 24 a factor of (-1)/3 - c/l?
False
Does 24 divide -5 + (-108)/(-2) + (-5)/(-5)?
False
Let x be 14/4 - 0 - 4/8. Suppose j - 3*q = 192, -x*j = -j - 4*q - 392. Is j a multiple of 12?
True
Suppose 4*v = 11 - 39. Let p = 12 + v. Suppose f + 36 = p*f. Is 6 a factor of f?
False
Let m = 9 + -4. Suppose -12*f - 197 + 245 = 0. Suppose -f*p + 2*c + 176 = 0, -4*c + 220 = m*p - c. Is 11 a factor of p?
True
Let r be (-6)/(-27) + 23450/(-63). Suppose 0*q = -2*q - 2, -5*q = -4*c + 17. Does 10 divide (-1)/c - r/36?
True
Let w(p) = -p**2 + 48*p - 268. Is 11 a factor of w(29)?
False
Let p be 1164/15 + ((-16)/10 - -2). Let o = -58 + p. Does 9 divide o?
False
Let j be (2/4)/((-2)/344). Let d(i) = 41*i + 7. Let r be d(-1). Let w = r - j. Is 13 a factor of w?
True
Suppose -825 = -2*s + 3*r + 232, -3*r = -3*s + 1593. Is s a multiple of 67?
True
Let x(i) = -3*i - 4. Let q(u) = 3*u + 3. Let g be q(-2). Let a be x(g). Suppose 5*b + 11 = -y + 49, 3*y - 84 = -a*b. Does 13 divide y?
False
Suppose 2*t + 0 + 20 = 0. Is 20/(-6)*96/t a multiple of 8?
True
Let g = 128 + 422. Does 11 divide g?
True
Let w(a) = 2*a**2 - 13*a - 54. Is w(28) a multiple of 23?
True
Suppose 5*n + 11*i = 14433, i = n + 5*i - 2892. Is n a multiple of 24?
True
Let m(s) = s**3 - 2*s**2 - 6*s - 13. Let h be m(6). Suppose 269 = 4*r - h. Does 10 divide r?
False
Let v be (-20)/(-15) + 402/9. Suppose -4*w = -58 - v. Is 13 a factor of w?
True
Is (-1)/(-2)*(-2048)/(-32) a multiple of 3?
False
Suppose -476*z = -474*z - 360. Is z a multiple of 9?
True
Let y = -135 + 170. Is 11 a factor of y?
False
Suppose 744 = 3*s - 4*p, 5*p - 427 - 92 = -2*s. Is s a multiple of 14?
True
Let b(j) = 8*j - 25. Let n be b(11). Suppose 4*x = 5*x + n. Let d = 2 - x. Does 11 divide d?
False
Let q(g) = -3*g + 38. Let c be q(12). Suppose -c*z = 2*z - 100. Is 5 a factor of z?
True
Let d(k) be the third derivative of k**6/24 + k**5/60 - k**4/24 - 4*k**2. Let n be d(1). Suppose 3*w - 211 = -n*p, 2*p - w = 7*p - 207. Does 21 divide p?
False
Suppose 0 = 2*y + 3 + 5, -1042 = -2*r + 2*y. Suppose -5*k + 4*m + 800 = 0, -3*k - 3*m = 2*m - r. Suppose 4*d - k = -4*x, 5*d - x - 201 = -4*x. Does 9 divide d?
False
Let u(n) = -11*n**2 + 3*n - 7. Let g(w) = 44*w**2 - 12*w + 28. Let r(q) = -2*g(q) - 9*u(q). Is 20 a factor of r(-3)?
False
Suppose 87*q + 32400 = 102*q. Is q a multiple of 9?
True
Let f be (1/2)/(6/(-312)). Let t = 98 + f. Is t a multiple of 6?
True
Is 44 a factor of 11000/11 - (-45)/(-5)?
False
Suppose n - 2*n = -2, 1926 = 3*t - 3*n. Is t a multiple of 7?
True
Suppose 3*r - m + 250 = 3691, 3*r + 5*m = 3441. Is r a multiple of 115?
False
Let t(n) = 154*n**2 - 7*n - 4. Is 26 a factor of t(2)?
True
Suppose n + 43 = 4. Let m = n - -86. Is 19 a factor of m?
False
Let m be 4/(-1)*(-22)/44. Suppose 3*j - 67 = -2*j - m*u, -3*j + 5*u + 65 = 0. Is j a multiple of 3?
True
Let y(m) = -m + 3. Let b be y(10). Does 17 divide 6/(-14) - 325/b?
False
Suppose -17*b + 63 = -10*b. Suppose b*y = 615 - 120. Is 4 a factor of y?
False
Let j(d) = 24*d**2 - 2*d - 1. Suppose 2*a = a + 5. Let z(s) = -s + 4. Let m be z(a). Does 20 divide j(m)?
False
Let p = -21 + 44. Let n(w) = -5*w - 65. Let t be n(-17). Let y = p - t. Does 2 divide y?
False
Let v be (-12)/6*(-21)/(-6). Is (-2)/6*(v + -2) even?
False
Does 3 divide 309 + (-1 - (8 - 5)) - -1?
True
Let o be (3 + (-9)/2)/(6/(-20)). Suppose -u - 3*p = -84, p - 153 = 3*u - o*u. Is u a multiple of 25?
True
Does 14 divide 137/(2/2) - (-27)/9?
True
Let r(c) = -3*c**3 + 3*c**2 - 3*c - 4. Let v be r(-3). Let u be (-1)/(2/(-3))*2. Suppose -u*n - 2*n + m + 185 = 0, 3*n - m = v. Is 16 a factor of n?
False
Suppose 0*i - i = 3*i. Suppose i = n - 0*