+ l = z + 4*z. Is (-1)/((-4)/840*z) a multiple of 10?
True
Suppose 2*f + 3 = -3*c, f - 6 + 3 = 3*c. Let h(d) = -179*d - 4. Is 25 a factor of h(c)?
True
Suppose -5*k + 3*b + 4359 + 6059 = 0, 4 = b. Is k a multiple of 64?
False
Let g = 28 + -16. Let o(p) = p**3 - 10*p**2 - 10*p - 26. Does 17 divide o(g)?
False
Suppose 2*v - 2*z + 5*z = 9, -v - 5*z + 1 = 0. Let r be (0 - 1)/((-14)/490). Suppose -v*a + a + r = 0. Does 6 divide a?
False
Let a(i) = -i**3 - 7*i**2 + 5*i + 2. Let v = 4 - -17. Let j = 13 - v. Is a(j) a multiple of 26?
True
Let x = -7 + 12. Suppose 9*h = 13*h - 8. Suppose x = b + 3*a - 44, 3*b - 169 = h*a. Does 22 divide b?
False
Is 43 - (30/(-20))/(1/2) a multiple of 24?
False
Let n = -219 - -420. Does 8 divide n?
False
Let b(i) = 2*i - 11. Let q(p) = -p + 3. Let m be q(-3). Let d be b(m). Does 23 divide 0 - d - 0 - -67?
False
Suppose 3*a + 2*n - 30 - 54 = 0, -5*n - 75 = -2*a. Let s be 21/3 + -3 + 1. Suppose -3*x = -x - 4*f - a, -4*x - s*f = -60. Is x a multiple of 5?
True
Suppose v - 7*v = -198. Is (88/v)/((-1)/(-18)) a multiple of 12?
True
Does 20 divide (-1)/(-6) - -3*958/36?
True
Suppose 0 = 3*y + 322 - 34. Let a be (-1)/(4/(y/3)). Does 3 divide 4/(a/(-6)) - -9?
True
Let a(l) be the third derivative of l**7/840 + l**6/180 - l**5/30 + l**4/6 + l**2. Let n(p) be the second derivative of a(p). Is 8 a factor of n(-4)?
False
Let k(y) = 3*y**2 - 17*y - 23. Suppose -2*u = -u - 8. Is k(u) a multiple of 6?
False
Let c be 0 - (-1)/(-3*(-4)/60). Suppose 0 = -4*w - 5*v + 306, -2*v = -c + 1. Is 37 a factor of w?
True
Suppose 0 = -5*m + m. Suppose c + 25 - 116 = m. Does 13 divide c?
True
Suppose 5*t = -4*x + 11790, -t + 2*x + 1970 = -388. Does 131 divide t?
True
Suppose 0 = 3*j + 4*c - 1 - 37, -2*j + 44 = -2*c. Let v be 3/(-9) - (-42)/j. Suppose 4*i + 3 = i, 0 = v*k - 2*i - 74. Is 8 a factor of k?
False
Let u(k) = -k - 8. Let c be u(-12). Suppose n - 4*h + 190 = 4*n, c*n - 2*h - 224 = 0. Is 8 a factor of n?
False
Suppose -3629 = -4*k - 141. Suppose 5*y = -3*y + k. Does 19 divide y?
False
Let h = 5 + -2. Suppose -h*w = 2*g - 38, 0*w - 51 = -4*w - 3*g. Suppose 0 = -4*x + w, 4*q + 2*x = 4*x + 58. Is q a multiple of 4?
True
Let b = 61 - 33. Let w(t) = -28*t - 3. Let h be w(-2). Let l = h - b. Does 18 divide l?
False
Suppose 1310 - 295 = 5*x. Let l = x - 92. Does 13 divide l?
False
Let l be (-12 - -13)*-1*2. Let h = -114 + 73. Is (1 + h)*1/l a multiple of 7?
False
Suppose -16 + 304 = 6*s. Let q = 11 + -8. Suppose -k = q*k - s. Is 9 a factor of k?
False
Suppose 2*b + 224 = 1100. Is b a multiple of 19?
False
Let y be (16 + -8)*(-1)/(-8). Suppose y - 11 = -5*c. Suppose -4 = c*v - 52. Is v a multiple of 8?
True
Suppose 0 = g + 4 - 9. Suppose 4*x = g*x - 29. Is 6 a factor of x?
False
Suppose 0 = -3*w - 4*m + 240, 3*w - 5*m = -2*w + 400. Suppose -5*x = -w + 30. Is x a multiple of 3?
False
Let v(d) = -d**2 + 7*d + 7. Let w be v(7). Suppose -5*t = 2*o - w*t - 100, 2*t = -3*o + 140. Is o a multiple of 16?
True
Suppose 42679 = 66*v + v. Does 3 divide v?
False
Suppose -b - 7 = -p - 2, -3*b - 16 = -4*p. Let d(c) = 58*c**3 + 3*c - 3. Is d(p) a multiple of 32?
False
Let c be (0 - -4) + 180 + 6. Suppose -4*i + c = i. Suppose -10 = -m + 6*m, 4*t - i = 3*m. Is 4 a factor of t?
True
Let k(m) = m**2 + m + 2. Let x be k(-2). Suppose 4*i = -x*q + 112, -3*i = -4*q + 18 - 137. Is 11 a factor of i?
True
Suppose -w = 2*l + l - 9, 2*w - 2 = 2*l. Suppose 0 = 4*q - 2*s - 86, l*q - 71 = -2*q - s. Does 2 divide q?
False
Suppose 4*c = f + 117 - 32, -4*c = 3*f + 239. Let n = f - -317. Is n a multiple of 25?
False
Let q(m) be the second derivative of m**5/20 + 3*m**4/4 - 11*m**3/6 - 10*m. Let w be q(-10). Suppose -4*j = -5*j + w. Does 10 divide j?
True
Let r(a) = -2*a**3 - 11*a**2 + 12*a + 2. Let n be r(-9). Suppose 0 = -3*d - 4*v + 682, -v - n - 246 = -3*d. Suppose -5*c + 8*c - d = 0. Does 26 divide c?
True
Let x(k) = -3*k**2 - 10*k + 21. Let w(o) = o**2. Let p(g) = 2*w(g) + x(g). Does 15 divide p(-9)?
True
Let i(c) = -c - 1. Let l(k) = 4*k - 18. Let v(y) = -4*i(y) + 2*l(y). Is v(15) a multiple of 21?
False
Suppose 4*c + 5*s - 26 = 0, 0*c - 20 = -3*c - 4*s. Suppose 49 + 143 = -c*j. Is 21 a factor of j/(0 + 3/(-6))?
False
Let r be (16/2 + -3)*7 + -2. Let g(x) = x + 8. Let q be g(-5). Suppose q*s = r + 30. Is s a multiple of 8?
False
Let z(b) = -b**2 + 8*b + 12. Let c be z(9). Suppose -c*p = -14 + 2. Suppose -2*g - 19 = 2*v - 61, -16 = -v + p*g. Is v a multiple of 11?
False
Suppose -4*v + 108 = v - 3*j, -80 = -4*v + 4*j. Does 6 divide v?
True
Let l = -4 - -27. Let o = -21 + l. Suppose 24 = h + 2*v, 4*v = o*h + h - 122. Is h a multiple of 8?
False
Let j(s) = -s**2 + 12*s + 8. Suppose 0 = 2*l + 3*f - 27, l - 5*f = -1 + 8. Let g be j(l). Let c = g + 4. Does 12 divide c?
True
Let p = -23 + 26. Suppose -321 = -3*v + 6*z - p*z, -2*z = -3*v + 316. Is 17 a factor of v?
True
Suppose 379 = 2*j - 3*k - 11, 0 = 2*j - 5*k - 394. Let m = -136 + j. Is m a multiple of 10?
False
Suppose 1 - 16 = 5*u. Let v(r) = r**2 - 1. Is 4 a factor of v(u)?
True
Let f = -74 - -14. Is 16 a factor of 9/(3 + -6) + (-2 - f)?
False
Let t(g) = 6*g + 9. Suppose -4 = l - 3*l. Does 6 divide t(l)?
False
Is 710 + 220 + -3 + (-1 - -1) a multiple of 21?
False
Suppose -124 = -4*j + 108. Suppose -4*x + j = 10. Does 3 divide x?
True
Let h(i) = i + 13. Let o be h(-7). Suppose 162 = -o*l + 12*l. Is 16 a factor of l?
False
Suppose 5*x + 0*x = -v - 201, 0 = -4*x + 8. Let z = 309 + v. Is z a multiple of 33?
False
Suppose -3*z + 3*w + 165 = 0, 4*z - 228 = 3*w - w. Let k = 122 - z. Suppose -2*b + 3 = -k. Is 7 a factor of b?
False
Is 27 a factor of 1*(-5)/10*-710?
False
Let u = -119 + 153. Is 17 a factor of u?
True
Let u(l) be the third derivative of l**6/120 + 13*l**5/60 + 19*l**4/24 + 4*l**3/3 - 9*l**2. Is u(-11) a multiple of 10?
False
Let v(p) = -132*p - 112. Let f(a) = -53*a - 45. Let c(y) = 12*f(y) - 5*v(y). Does 8 divide c(3)?
False
Suppose -8*u - 1611 = -17*u. Let v = u - 116. Does 36 divide v?
False
Let p be (-576)/(2 + 1) + 1. Is 10 a factor of (20/(-12))/(p/(-48) - 4)?
True
Let u = -1066 - -2434. Is u a multiple of 9?
True
Suppose -4*l + 4*o + 20 = 0, -4*l - l + 49 = 3*o. Let p(r) = 3*r**2 - 12*r + 28. Does 22 divide p(l)?
False
Suppose 0 = -12*y + 1466 + 1126. Is y a multiple of 27?
True
Suppose -19*n - 17*n + 19584 = 0. Is n a multiple of 17?
True
Let u(h) = 22*h + 2. Let r be u(6). Let k = 211 - r. Is k a multiple of 30?
False
Suppose -5*v = -v - 20. Suppose 5*i + v*q = i + 111, i + 3*q - 26 = 0. Does 9 divide i?
False
Suppose 7*y - 112 = 5*y. Suppose y = 2*c - c. Does 8 divide c?
True
Suppose -6*o + 1541 = -7. Is 43 a factor of o?
True
Let x = 1226 + -818. Is x a multiple of 10?
False
Suppose j + 5*h + 30 = -8, 84 = -3*j - 5*h. Let s(l) = l**3 + 22*l**2 - 29*l - 29. Is s(j) a multiple of 23?
False
Suppose -71 = -3*s + 391. Is s a multiple of 80?
False
Let t be 8/10 - (59930/(-50))/13. Let r = -128 + 274. Let q = r - t. Is 13 a factor of q?
False
Let u(z) = z**3 - 4*z**2 - 6*z + 7. Let p be u(5). Suppose -w + 135 = p*c, 3*w - 533 = -w - c. Suppose 6 = -5*b - 2*f + w, b = -5*f + 7. Is 14 a factor of b?
False
Let h(q) = -4*q + 19. Let m(l) = l - 1. Let a(k) = h(k) + 5*m(k). Let x be a(-9). Suppose -3*r + 3*d = -156, -14 = -x*d + 6. Does 25 divide r?
False
Let u = 38 + -34. Suppose -u*b + 120 = 5*h, -96 = -3*h - h + 2*b. Does 8 divide h?
True
Let a = -56 + 61. Does 8 divide -1 + 126 + -2 + a?
True
Let v = -64 - -92. Is 21 a factor of v?
False
Suppose -5*h = 20, 6*b - 4*b = 4*h + 22. Let l(u) = 48*u**2 + 21*u. Let r(c) = -7*c**2 - 3*c. Let f(k) = 4*l(k) + 27*r(k). Is f(b) a multiple of 12?
True
Let c = -210 + 224. Is c a multiple of 13?
False
Let t(o) = 5*o + 25. Let y be t(-5). Suppose 4*s + 163 - 559 = y. Is 51 a factor of s?
False
Let i = 316 + -141. Let r = -121 + i. Does 3 divide r?
True
Let b(a) = a**3 + 6*a**2 - 2*a - 7. Suppose -15*m + 13*m = 12. Let w be b(m). Suppose 3*f - w*f = -100. Is 11 a factor of f?
False
Suppose 0 = -4*v + 3*d + 140, -2*d = -4*v + 2*d + 144. Suppose 5*q - v = -2*x, 5*x - 5*q - 6 = 39. Is 3 a factor of x?
False
Suppose 0 = 39*g - 45*g + 420. Is 10 a factor of g?
True
Suppose -3*s = 1 - 16. Suppose 0 = g - s. Suppose q = -b + 13, -q - 102 + 19 = -g*b. Is 8 a factor of b?
True
Let w = -51 - -