7 divide c?
True
Let b = -8 - 11. Let d = -14 - b. Suppose 0 = -3*w + 4*a + 27, -d*a + 15 = -0*a. Is w a multiple of 13?
True
Suppose -5*q = 3*o - 2469, 3*q + 4*o = 2*o + 1481. Suppose 1595 + q = 10*d. Is d a multiple of 19?
True
Suppose -2*h - 6*h - 64 = 0. Is 3 a factor of 3 - (h/28 + (-208)/7)?
True
Let y = -163 + 168. Suppose -y*g - i + 985 = 4*i, 0 = 2*i - 10. Is 8 a factor of g?
True
Is (-5 + (-4)/(-2))/((-170)/215730) a multiple of 27?
True
Let f(b) be the first derivative of -b**3/3 + 7*b**2 + 15*b - 1. Let w be f(15). Does 28 divide 2 + -4 + w + 104?
False
Suppose -17 = -3*h + 3*p + 31, 2*p + 68 = 4*h. Suppose 3*y - 3 - h = 0. Suppose 296 - 86 = y*g. Is 8 a factor of g?
False
Suppose -69*c + 25704 = -48*c. Is c a multiple of 34?
True
Suppose 0 = -2*p + 52 - 30. Suppose 0*m - 2*s + p = 3*m, 2*s = 2. Does 12 divide (-1)/(3/(-387)*m)?
False
Let w be (-346)/(-5)*(-3 + -2). Let b = -186 - w. Is 10 a factor of b?
True
Let a(v) be the third derivative of v**4/24 + v**3/6 + 5*v**2. Let f be a(3). Suppose -f*i = -2*i - 46. Is 14 a factor of i?
False
Let g = -16 - -58. Let s = g + 78. Is s a multiple of 6?
True
Suppose 0 = 5*b + 102 - 37. Let q = b + 10. Is q - (2 + -2 + -60) a multiple of 11?
False
Suppose 0 = -5*w + 2*x - 10, -8 + 2 = 3*w + x. Let z(u) = -89*u + 2. Does 45 divide z(w)?
True
Let z = 5 - 2. Suppose -r + 128 = b, 0*r - z*b + 516 = 4*r. Is 7 a factor of r?
False
Suppose -5*k - 4*d + 4078 = 0, -3*k - 4062 = -8*k + 4*d. Is 22 a factor of k?
True
Suppose -3*i + 20 = 2*i, 4*s + 180 = 5*i. Let u = s + 46. Is u even?
True
Let p(q) = q**2 + 4*q - 9. Let t be p(-9). Suppose -y = -2*w - t, -3*y - 2*y - 41 = 3*w. Does 13 divide (-2 + 0)*(-3 + w)?
False
Suppose -2*o - 6 = -4*o. Suppose -o*m + 113 = -2*n, 0 = 2*m + n - 49 - 38. Is m a multiple of 6?
False
Is -1*(-5 + -2260 + -8) a multiple of 68?
False
Suppose -3*a - 6 = -3*r, 2*r + a - 3 = 10. Suppose 21 = c + 2*k, 0 = k - r*k - 12. Does 27 divide c?
True
Suppose 4*v - 4*m + 8 = 0, v = -5*m + 3*m - 14. Let d(b) = b**3 + b**2 + 1. Let y be d(-2). Is (-30)/y*v/(-5) a multiple of 7?
False
Let o(c) = c**3 + 21*c**2 + 23*c - 42. Is o(-19) a multiple of 27?
True
Suppose 0 = 5*u + q - 210, 2*u - q = -2*u + 168. Let z be 20/3*3/2. Suppose z = 4*r - u. Is 13 a factor of r?
True
Let l(y) = 6*y - 17. Let h be l(17). Let x = h + -8. Is x a multiple of 22?
False
Suppose 27*z + 72 = 450. Suppose 2*t = -0 + 20. Is (4 - t/4)*z a multiple of 4?
False
Suppose 41 = 2*m - 19. Let y = m + -7. Let i = y - 3. Is 10 a factor of i?
True
Suppose 0 = -f + 7 - 4. Suppose p + r + 5 = f*p, 2*p = 5*r + 9. Suppose p*k = 5*u - 127, -k - 50 = 2*u - 4*u. Is u a multiple of 9?
True
Let r be 6/21 + 1040/(-14). Let p be -123*(6/42 + 12/14). Let s = r - p. Is 17 a factor of s?
False
Suppose 162 = 5*p - 4*p. Does 6 divide p?
True
Suppose -2*o = -4*o + 32. Let w be 3/4 + 1604/o. Let f = w - 54. Is f a multiple of 13?
False
Let o = 54 + 125. Does 17 divide o?
False
Suppose 6*f - f = -20. Let a be 40 + (-1)/(f/(-12)). Suppose 0 = 3*t - 14 - a. Does 8 divide t?
False
Let t(j) = j**2. Let n(d) = -d**2 + 14*d + 11. Let k(p) = p**3 + 8*p**2 - 2. Let u be k(-8). Let x(c) = u*t(c) - n(c). Does 12 divide x(-7)?
False
Suppose -9361 = -12*r + 1763. Does 11 divide r?
False
Let a(g) = -7*g**2 - 7*g - 2. Let u(f) = 13*f**2 + 13*f + 4. Let o(n) = 7*a(n) + 4*u(n). Let q be (-26)/6 - (-2)/(-3). Does 22 divide o(q)?
False
Let g = 2 - -2. Suppose 8*d - 120 = g*d. Is d a multiple of 5?
True
Suppose 83*z = 79*z - 5*p + 7475, -5*p = z - 1880. Does 36 divide z?
False
Let n = 76 + -76. Suppose -4*p - 3*p + 56 = n. Is p a multiple of 2?
True
Let s = 113 + -29. Is s a multiple of 28?
True
Let o = 97 + -35. Let i = o - 47. Does 15 divide i?
True
Suppose 2*t + 2*m - 8 = 0, 7*t - 4*m = 2*t + 20. Let q = 7 - t. Suppose -q*a = -5*a + 202. Is a a multiple of 19?
False
Let m be 1 - 1 - 1 - -5. Let x(j) = 7*j**2 - 21*j + 64. Let v(l) = 2*l**2 - 7*l + 22. Let b(z) = -17*v(z) + 6*x(z). Is b(m) a multiple of 22?
True
Let n(l) = 20*l - 3. Let r be n(4). Suppose -2*v - r = 85. Let t = 143 + v. Is 24 a factor of t?
False
Let t(v) = -2*v**2 - 8*v + 2. Let c(b) = -b + 1. Let a(u) = c(u) - t(u). Let w be a(-12). Let r = -139 + w. Does 12 divide r?
False
Suppose -26*d = -23*d. Is (-12 + 1)/(d + -1) a multiple of 3?
False
Let u = -7 + 7. Suppose -2*q + 31 - 11 = u. Is q a multiple of 10?
True
Let k = -10 - -52. Suppose 4*r - 5 = -2*x + 25, -2*x = -2*r - 54. Let z = k - x. Is z a multiple of 6?
False
Let d(j) = -j**3 + 3*j**2 + 4*j + 1. Let s be d(4). Let l(x) = 4*x. Let n be l(s). Suppose n*r - 36 = -4*q, 4*q - 5 - 26 = -5*r. Is q a multiple of 11?
False
Let w = -1 - 7. Let v = 32 + -20. Let l = v + w. Is 3 a factor of l?
False
Is 2 a factor of (121 - -6) + 1 + (5 - 4)?
False
Let i(a) = -3*a - 3. Let v be i(-2). Suppose -5*w = -v*w. Is 16 a factor of 47 + (3 + w)/3?
True
Suppose 4*w - 610 = 3*w. Suppose -o = 2*h + 3*h - 143, 0 = 4*o + h - w. Is 17 a factor of (-8)/3*o/(-12)?
True
Let n = -91 - -753. Does 8 divide n?
False
Let d be 76/(2 - 0) - (-11 + 13). Does 12 divide 660/d - (-4)/(-3)?
False
Let k(i) = 5*i**3 - i**2 - 9*i + 6. Let l be k(3). Let x = 356 - l. Does 47 divide x?
False
Suppose -2*i + 2*w + 844 = 0, 2*w = 5*i + 3*w - 2086. Is i a multiple of 16?
False
Let z = -48 + 134. Suppose 4*f = -20, z = k - 4*f + f. Is 15 a factor of k?
False
Suppose -2*k + 10 = 0, -4*n + 2500 = -k + 269. Is n a multiple of 15?
False
Suppose -5*h - 11 = 4*y + 634, -3*h = y + 380. Let u = h - -184. Let b = u - 20. Is b a multiple of 11?
False
Let r = 42 + -38. Suppose -5*l - 357 = -2*u, l = -0*l - r*u - 89. Let y = l + 123. Is y a multiple of 10?
True
Let c(y) = y**3 + 8*y**2 + 9*y - 14. Let o be c(-8). Let r = o + 149. Is 7 a factor of r?
True
Is 6 a factor of -7 + 81 + -7 - (-1 + 4)?
False
Let v = 165 - 102. Is v a multiple of 7?
True
Let u be (-3)/6*(-316)/(-2). Let p = 127 + u. Is p a multiple of 8?
True
Suppose 0*w + 3*w = -3*x + 15, 15 = 3*x - 5*w. Suppose q - 191 = p, -x*p = -q + 37 + 146. Is 18 a factor of q?
False
Let g(z) = 38*z - 152. Is 8 a factor of g(12)?
True
Suppose -16 = 6*c - 2*c, 3*c + 14 = 2*m. Does 5 divide m/((-1640)/548 + 3)?
False
Suppose 0 = 4*g - 4 - 0. Let d be ((-8)/20)/(g/5). Let z = 20 + d. Is z a multiple of 9?
True
Let z(h) = -h**3 + 7*h**2 - 5*h - 6. Let i be z(6). Suppose -2*x = -0*k - 4*k - 40, 4*k + 80 = 4*x. Suppose 2*d - 6*d + x = i. Is d even?
False
Suppose q = 5*l - 4*q + 170, 0 = -3*l - 2*q - 127. Let h be ((10 - 6) + -3)/((-1)/11). Let y = h - l. Is y a multiple of 14?
True
Let q(x) = -3*x**2 - 2*x + 9. Let f(v) = 8*v**2 + 7*v - 26. Let a(c) = -6*f(c) - 17*q(c). Let y(i) be the first derivative of a(i). Does 16 divide y(5)?
False
Let h(q) = 4*q + 2. Let p be h(3). Let u = 20 - p. Does 3 divide u?
True
Suppose 5375 = 5*a - 4*v - 4323, -3*v + 9684 = 5*a. Does 16 divide a?
False
Suppose n - 4 - 1 = -2*z, 5*z - 25 = 0. Let y = n + 20. Is (y - 2) + (-7 - -7) a multiple of 13?
True
Let h(n) = -3*n - 5. Let t(a) = a**3 + 5*a**2 + a - 5. Let s be t(-4). Suppose -4*o + 5*o = -s. Does 5 divide h(o)?
False
Suppose -3*w = -10*w + 8197. Let n = w - 811. Does 40 divide n?
True
Let g(z) = -6*z + 0 + 7*z**2 + 0*z - 1 + 3*z. Let d be g(4). Suppose 4*x = -c + 200, 3*x - d - 51 = -5*c. Is x a multiple of 18?
False
Let h(m) = -11*m + 18. Let c be h(-10). Suppose 0 = 2*s - 6*s + c. Suppose 0 = -3*j + 34 + s. Is 15 a factor of j?
False
Let k be ((-2)/7)/((-6)/42). Let g(z) = -6*z**2 + 4*z - 3. Let m be g(k). Let b = -9 - m. Does 6 divide b?
False
Suppose 205 = -2*h + 1367. Does 7 divide h?
True
Let s be (4 + 11)*(0 - 12/(-5)). Is 6920/s - (-3)/(54/(-4)) a multiple of 48?
True
Let h = 720 - -2602. Is h a multiple of 22?
True
Is (67 + -39)/(1/40) a multiple of 20?
True
Let o(r) = r**2 + 16*r + 86. Is o(-13) even?
False
Suppose -24*o - 143 = -1103. Suppose 2*w - 7 = p, -w - 1 = -2*w + 3*p. Suppose -3*j - j = -w*r + o, -30 = -3*r + 5*j. Does 9 divide r?
False
Suppose 0 = 198*g - 192*g - 2298. Is g a multiple of 26?
False
Let c(o) = 2*o. Let y(f) = 7*f - 2. Let r(m) = -2*c(m) + 2*y(m). Let i be r(4). Suppose 3*a - 5*a - 2*l = -i, -3*a = -5*l - 54. Is 15 a factor of a?
False
Let v(w) = -w - 3. Let z be v(-7). Let m = 8 + z. Does 6 divide m?
True
Suppose 106 = 5*d + 11*q