e (-43)/(-9) + (-6)/(-27). Suppose 4*c - 3*q - 512 = q, 4*c - n*q - 512 = 0. Does 22 divide c?
False
Suppose -23*a = 8142 - 26312. Is a a multiple of 29?
False
Let o(i) = 5. Let p(k) = -k + 4. Let n(b) = -6*o(b) + 4*p(b). Is 7 a factor of n(-6)?
False
Suppose -6*f - 121 = 23. Let i = -111 + 165. Let k = i - f. Is k a multiple of 13?
True
Let u = 21 + -16. Let p = 22 - u. Suppose -46 + p = -j. Is j a multiple of 9?
False
Is 13 a factor of (-2)/(-9) - (7 + (-13704)/54)?
True
Let j be (-7)/(-21) - (1 - 154/6). Suppose -4*u - j = -177. Does 6 divide u?
False
Let d be -4 - -9 - 6/2. Suppose d*i = 25 + 51. Is i a multiple of 10?
False
Let q be (3 - -56)/(2/8). Suppose -5*l + q + 109 = 0. Is l a multiple of 20?
False
Suppose 656 = 4*u + 104. Let x = u - -9. Does 21 divide x?
True
Let h be 4/(-10)*(6080/2)/(-2). Suppose 5*z - h = -3*z. Does 19 divide z?
True
Let u = 494 + -359. Does 5 divide u?
True
Let u(g) = 46. Let o(r) = -r + 93. Let n(s) = 3*o(s) - 7*u(s). Is n(-19) a multiple of 7?
True
Does 3 divide 102 + 0 + (-3)/3 + 3?
False
Let v(g) = 2*g**3 - 5*g**2 + 3*g. Let h be v(2). Suppose -h*i + 220 = -118. Is 13 a factor of i?
True
Let x(c) = c**2 - c + 1. Let d(h) = 5*h**2 - h - 4. Let g(t) = -d(t) + 6*x(t). Does 3 divide g(6)?
False
Suppose -20 = -2*m - 2*y, 2*m - 10 = -3*m + 3*y. Let f(q) = 5*q + 0*q - 2 - 3*q. Does 4 divide f(m)?
True
Let j(o) = 2*o**2 - 6*o - 5. Let z be j(-4). Let y = z - 35. Is 8 a factor of y?
True
Let s = 1266 + -869. Is s a multiple of 7?
False
Let f = 29 - 29. Suppose z - 59 = -f*z - q, 4*q = 3*z - 184. Suppose 6*c - c - z = 0. Is 12 a factor of c?
True
Let f(c) = 14*c - 47. Suppose -5*x = -4*p + 27, 3*p - 18 - 9 = -3*x. Is f(p) a multiple of 13?
True
Let f(n) = -n**2 - n. Let g(d) = d**3 - 8*d**2 + 16*d + 6. Let k(u) = f(u) + g(u). Does 13 divide k(7)?
True
Suppose 9*p - 442 = 917. Does 5 divide p?
False
Let o = 1597 + -733. Is 18 a factor of o?
True
Let w = 649 - -206. Suppose 553 = 5*m + 4*u - w, 5*m - 1398 = u. Is 14 a factor of m?
True
Let b(w) = -769*w + 425. Does 8 divide b(-3)?
False
Suppose -4834 = -41*f + 15420. Does 13 divide f?
True
Let j(f) = -6*f + 7. Let i(r) = -2*r + 2. Let u(t) = 8*i(t) - 3*j(t). Does 15 divide u(10)?
True
Let s(x) = x**3 - 12*x**2 + 24*x - 21. Let m be s(10). Let o = m - -13. Does 6 divide o?
False
Let w(r) = -r. Let u(q) = 66*q - 1. Let g(i) = -u(i) - 2*w(i). Let h be g(-2). Suppose 3*z = 9, -2*x + h = -z - 2*z. Is x a multiple of 14?
False
Suppose w = -2*w - w. Suppose -7*z + 2*z + 150 = w. Is z a multiple of 15?
True
Let i(b) be the third derivative of 5*b**4/24 - 4*b**3 + 15*b**2. Is i(8) a multiple of 16?
True
Suppose -5*m = -v + 75, -4*m + 197 = 3*v - 5*m. Does 26 divide v?
False
Let s(i) be the third derivative of i**4/4 - 3*i**3/2 - 5*i**2. Is s(5) a multiple of 15?
False
Let s be (7/(-7))/((-5)/10). Let v be 0/(6/3 - 3). Suppose s*q + v*q - 174 = 0. Does 29 divide q?
True
Let m be (0 - 2)/((-2)/3). Let h(j) = -3*j - 70. Let y be h(-25). Suppose -y*o - 70 = -d, 2*d - o - m*o - 116 = 0. Is d a multiple of 25?
True
Let a(v) = -14*v + 41*v - 17*v - 3 - 20*v. Is 11 a factor of a(-6)?
False
Let k = 50 - 103. Let f = k - -141. Is 11 a factor of f?
True
Suppose -3*g + 3*s = -0*g - 15, 3*g + 2*s = 0. Suppose j - g = -6, 8 = 2*h - j. Suppose -h*c + 4*u = -65 - 75, 5*c + 4*u = 420. Is 14 a factor of c?
False
Suppose -20*f = -8744 - 11636. Is 44 a factor of f?
False
Let o(j) = -4*j + 7. Let n be o(2). Let p(b) = -189*b - 1. Let t be p(n). Suppose -7*z = -t - 148. Is z a multiple of 13?
False
Let l(a) = -3*a**2 + 3*a + 16. Let v(k) = 16*k**2 - 14*k - 81. Let g(y) = -11*l(y) - 2*v(y). Does 15 divide g(-8)?
True
Let b(d) = -108*d**3. Let n be b(-1). Suppose -87 - n = -5*r. Is r a multiple of 26?
False
Suppose 0 = -3*o - 5*k + 2575, o = 4*k - 3*k + 861. Does 6 divide o?
False
Let d(q) = q**2 + 8*q + 1. Let n be d(-9). Let p be ((-8)/n)/((-22)/2255). Suppose -4*r + p = -5*a, -r + 13 = -5*a - 0. Does 10 divide r?
False
Let u(a) = 2 + 9*a**2 + 4 - 4 + 3*a - 2*a. Let n be ((-2)/4)/((-8)/(-32)). Is 12 a factor of u(n)?
True
Let j(f) = -f + 5. Suppose -2*b = -6*b - 24. Let p be j(b). Suppose 0*s - s + 2*r - 2 = 0, s + p = 5*r. Does 2 divide s?
True
Is 21 a factor of (8 - 20) + 1030 + -5?
False
Suppose -31*l + 1384 = -383. Is 2 a factor of l?
False
Suppose -11*a + 15*a + 1324 = 0. Let k = a - -581. Does 28 divide k?
False
Let g = 10 - 2. Let x(d) = -2 - d + g + 11. Is 11 a factor of x(0)?
False
Suppose -5*s = 5*v - 5645, 5*v + s - 1266 = 4363. Is v a multiple of 10?
False
Suppose 0 = 8*f + f + 882. Let p = -29 - f. Is p a multiple of 37?
False
Let j(t) = -2*t + 9 + 12*t**2 - 19 + 10. Let g be j(3). Let b = g - 33. Is 17 a factor of b?
False
Let m be ((-30)/(-8))/((-21)/56). Let a = m + 33. Does 3 divide a?
False
Suppose 2*x + 10 = -3*s, -6 = 4*s - 2*x + x. Let w be 10/8*s*4. Is 76/10 - (-6)/w a multiple of 7?
True
Let m(s) = s**3 - 9*s**2 - 3*s + 6. Let a be m(9). Let c = a - -41. Is 4 a factor of c?
True
Let r be (-2)/(4/(-27)) + 2/4. Let g(v) = v**3 - 14*v**2 + 2*v + 1. Is 11 a factor of g(r)?
False
Suppose 3*p - 4*i = 1196, -7*i + 9*i - 392 = -p. Is p a multiple of 66?
True
Let x = -348 - -559. Let g = -116 + x. Is 15 a factor of g?
False
Let i = 1168 - 656. Is i a multiple of 32?
True
Let i(u) = -u**3 + 2*u - 2. Let a be i(-2). Suppose -43 - 67 = -2*m - 5*h, -a*h - 82 = -2*m. Is m a multiple of 27?
False
Let k be 507/12 + 1/(-4). Suppose a - 9 = -i, 2*i - 6*i + k = 5*a. Suppose 7*h - 15 = a*h. Does 15 divide h?
True
Suppose 0 = 2*x - c - 2651, -4*c - 1336 = -6*x + 5*x. Is x a multiple of 34?
False
Let o(w) be the first derivative of w**2 + 2/3*w**3 - 7 - 4*w. Is o(5) a multiple of 14?
True
Suppose -3*q = -q + 2*g - 888, -4*g = -4*q + 1760. Is 13 a factor of q?
True
Suppose 5*x - 57 = 48. Is 10 a factor of x?
False
Let a = -165 + 326. Let n = -6 + 9. Suppose a = 4*i - n. Is i a multiple of 25?
False
Let p(z) = 8*z + 17. Suppose t = 17 - 6. Suppose 2*k = 4*c - t - 19, 3*c = 3*k + 18. Is 14 a factor of p(c)?
False
Suppose -11 = 3*b - 3*j - 5, -5*j - 18 = 2*b. Let k = 9 + b. Suppose 5*s - k*q - 155 = 0, 5*s + 10 - 165 = 3*q. Does 12 divide s?
False
Let c = -134 + 137. Suppose 8*d - 3*d + 2*g = 793, c*d - 476 = -g. Is 10 a factor of d?
False
Let f(n) = 40*n**2 + 10*n + 7. Is f(-1) a multiple of 2?
False
Let o = 1896 + -826. Does 10 divide o?
True
Let d(j) = 2*j + 7. Let l be d(-7). Let z = 72 + l. Is 17 a factor of z?
False
Let p(w) = w**2 - 12*w - 3. Let j(m) = 1. Let v = -1 + 0. Let c(q) = v*p(q) + 4*j(q). Is c(10) a multiple of 27?
True
Let f(s) = s**3 - 8*s**2 - 11*s + 14. Suppose b - v - 14 = 0, -3*b = -0*v + 2*v - 22. Is f(b) a multiple of 18?
False
Let a = 45 + -52. Does 6 divide 6/(-8)*56/a?
True
Suppose -3*d - 6 = 5*c - 18, 0 = 3*c. Suppose -3*s + 0*s + 9 = 3*h, s - 8 = d*h. Suppose 2*a - 18 - 8 = -4*q, 4*a = s*q + 52. Does 13 divide a?
True
Let b = 84 + -56. Suppose 5*g = z + b, 4*z + 37 = -2*g + 7*g. Suppose -g*w + 43 = -227. Is 18 a factor of w?
True
Let i be (-2)/6 - -2*3246/36. Suppose i = -w + 7*w. Is 7 a factor of w?
False
Suppose 0 = 8*l - 602 - 166. Does 5 divide l?
False
Let q(y) = -133*y - 245. Does 57 divide q(-4)?
False
Suppose 0 = 3*x - 21 - 129. Let h = x + -35. Is 5 a factor of h?
True
Let a(m) = 6*m**2 - 6. Let i(t) = t**3 + 5*t - 13. Let o be i(2). Is 6 a factor of a(o)?
True
Let w = -477 + 582. Is 21 a factor of w?
True
Let z be 35/3*(22 + -13). Let o = 166 - z. Does 4 divide o?
False
Let g = -6 + 14. Let j be 356/(-52) - 38/247. Is 3 a factor of (j + 9)/(2/g)?
False
Suppose -w = -8*w + 840. Suppose 5*m - 4*m + 4*f - w = 0, 0 = m + 5*f - 118. Is m a multiple of 32?
True
Let l(z) = 6*z - 16. Let b be l(3). Suppose -4*s + 604 = 4*a, -s = b*a - 167 - 140. Is 12 a factor of a?
True
Let y(f) = 36*f**2 - 16*f - 38. Is 28 a factor of y(-5)?
False
Let c(y) = -30*y - 4. Let d be c(-2). Let g = -26 + d. Suppose o = -3*p + g, -4*p = 5*o + 38 - 199. Is o a multiple of 33?
True
Let j be 2/(-3)*-83*3. Suppose 5*s + j + 49 = 0. Let h = s - -63. Is 10 a factor of h?
True
Let z = 47 - 122. Is (-1)/4 + z/(-12) a multiple of 6?
True
Let i(u) = u**3 - 6*u**2 + 3. Let q be i(6). Suppose 4*a = -q*o + 184, -o - 2 = 2. Does 7 divide a?
True
Suppose -5*i = -2*q + 1855, 3*q + 12*i - 2835 = 9*i. 