19 divide (-8 - (-11 + 1))*(84 + 2)?
False
Let p(q) be the third derivative of -q**6/120 + q**5/20 + q**4/24 - q**3/6 - 2*q**2. Let g be p(3). Suppose 0 = -g*k + 7*k - 435. Is 29 a factor of k?
True
Suppose 0 = -o - 1, -30*o + 25*o - 4620 = -5*j. Does 13 divide j?
True
Suppose 15039 + 13473 = 27*r. Is r a multiple of 24?
True
Let c = -3791 + 5372. Does 22 divide c?
False
Suppose -5*u - 13 + 34 = -3*o, 15 = u + 3*o. Suppose u*p - 46 - 50 = 0. Is 10 a factor of p?
False
Let c(n) = -5*n - 2. Let h be c(1). Let j = 29 - h. Is j a multiple of 6?
True
Let u(b) = 4*b**3 + 6*b**2 - 5*b - 2. Let p(z) = z**3 + z**2. Let c(y) = 3*p(y) - u(y). Let m be (-10)/(-6)*(-4 + 1). Is 9 a factor of c(m)?
True
Suppose -3*f + 2*f = -4*m + 13, 4*m + 4*f + 12 = 0. Does 29 divide (299 - (8 + -4)) + m + 1?
False
Let f(j) = 2*j**3 - j**2 - 2*j + 1. Let q be f(2). Let h(z) = -z + 15. Let a be h(q). Is (-27)/6*(-20)/a a multiple of 8?
False
Let g(i) = -288*i + 5. Let h be g(-2). Suppose -5*c - 2*c = -h. Is c a multiple of 19?
False
Suppose -5*z - 65 = 5*v, 5*v + 4 - 11 = 3*z. Let s = z - -14. Suppose 0*t - s*t + 30 = 0. Is t a multiple of 6?
True
Is 4 a factor of 579/18 + (-35)/210?
True
Let a = 11 - 16. Does 12 divide a/2*(-3382)/95?
False
Is 8/((11/(-22))/((-174)/8)) a multiple of 12?
True
Suppose 4*f = 2*v + 3562, 2*v = 5*f + 18 - 4473. Is f a multiple of 27?
False
Does 17 divide -17*(-144 + (9 - 14))?
True
Does 25 divide (-74)/259 + 2804/14?
True
Is 11/2*6 - (-10 - -7) a multiple of 24?
False
Let o(y) = -7*y**2 - 6*y - 6. Let g be o(-3). Let n = 135 + g. Is n a multiple of 14?
True
Suppose -5*d - 4*i = -51, 4*i = d + i + 5. Suppose o - 5*a - 158 = 0, -4*o + d*a + 590 = 8*a. Is o a multiple of 31?
False
Let n = 14 + -14. Let p = 3 + n. Suppose c + 3*k = -c + 151, -p = -k. Does 21 divide c?
False
Suppose 22 - 10 = 2*n + z, -4*z - 48 = -4*n. Let s = 5 - n. Is (-14)/(-2)*1 - s a multiple of 10?
True
Let i(s) = s + 2. Let y be i(-10). Let j(u) = -4*u - 6. Is j(y) a multiple of 13?
True
Suppose 2733 = 5*r + 3*g, 0 = -22*r + 17*r - g + 2731. Is r a multiple of 3?
True
Let t(h) = h**2 + 2. Let p be t(0). Suppose -5*u + 0*b + 2*b + 29 = 0, 14 = 2*u - 2*b. Suppose -u*v + p*w + 130 = 0, 2*v = -3*v - w + 130. Is 9 a factor of v?
False
Suppose -6*p = -10*p - 2*s + 6556, -3*s = 4*p - 6558. Is p a multiple of 14?
True
Let a(x) = -2*x**2 - 18*x + 5. Let t be a(-9). Suppose -t*q - 176 + 786 = 0. Is 16 a factor of q?
False
Is ((-48)/(-9))/((-23)/(-4761)) a multiple of 40?
False
Let u(w) = -w + 3. Let s be u(0). Suppose -s*c + 2*i + 3 = -1, -4*i = 3*c - 10. Suppose -51 = -c*z - 9. Is 21 a factor of z?
True
Let u(d) = 16*d - 3. Let i be u(-2). Does 7 divide (i/10)/(2/(-84))?
True
Suppose -3*s + 4*l + 7760 = 0, -2584 = -s - 6*l + 8*l. Does 36 divide s?
True
Let h = -42 + 58. Let n = h - -58. Is n a multiple of 16?
False
Suppose 16 + 14 = 3*l. Let h(i) = 4*i + 2. Let d be h(4). Let z = d - l. Does 3 divide z?
False
Let h(f) = 94*f + 6. Let u be h(1). Suppose -27*x + 25*x + u = 0. Is 10 a factor of x?
True
Let u be -1*(-7)/(28/8). Suppose -u*b = -0*k + k - 36, -3*k - 20 = -2*b. Is 8 a factor of b?
True
Let u = -194 - -594. Is 16 a factor of u?
True
Let t(d) = -3*d + 22. Let r be t(7). Is 16 a factor of ((-48)/5 - 3 - r)*-5?
False
Suppose 1253 = 3*t - 43. Let z = t - 299. Is 21 a factor of z?
False
Let s(j) = -2*j - 7. Let f be s(-14). Does 6 divide 6/f + 876/21?
True
Suppose 3*i - 4*n - 1513 = 0, -2*i - 189 = -3*n - 1199. Does 5 divide i?
False
Is (-1294)/(-2) + (-6)/(30/25) a multiple of 3?
True
Let m = -632 + 1042. Does 49 divide m?
False
Let s = -44 + 137. Let r = s + -48. Is r a multiple of 10?
False
Let u(l) = -l**2 - 2*l + 4. Let p be u(-3). Let x be -2 - (8 - p)*-1. Let w(z) = z**3 - z**2 - 6*z + 1. Does 23 divide w(x)?
False
Let v(o) = -o**2 + 15*o - 1. Let s(m) = m - 4. Let a be s(12). Is v(a) a multiple of 11?
True
Suppose 3*a - 15 = 0, -2*s = 2*s + 5*a - 1125. Suppose -2*k = 4*q - 161 - 105, -k = -4*q + s. Does 17 divide q?
True
Suppose v - 4*z + 0*z = 4, -z = 5. Let k be (-2)/((4/v)/1). Suppose 2*l + 72 = k*l. Is 3 a factor of l?
True
Let q(n) = 5*n - 11. Let w be q(5). Suppose -5*k - 26 = w. Is 16 a factor of (-5 - 3)*(2 + k)?
True
Let u = 103 + -22. Suppose -4*o = -3*y + 298 + 40, -4*o + 118 = y. Let r = y - u. Does 33 divide r?
True
Let b be 546*(-2 - 22/(-4)). Suppose -26 = -2*a + 128. Is 5 a factor of b/a + (-2)/(-11)?
True
Suppose 668 = 4*t + 3*u - 61, -5*u + 555 = 3*t. Let a(d) = 6*d - 33. Let w be a(6). Suppose -5*q = 3*s - t, w*q + q = -s + 144. Is q a multiple of 9?
True
Does 72 divide 1551 + 1 - 0/(-2 - -1)?
False
Suppose -10*v = -148 + 58. Does 3 divide v?
True
Is 10 a factor of ((-2190)/10)/(3/(-16))?
False
Let f be (4*1)/(6/15). Let d(i) = -i**2 + 11*i + 5. Is d(f) a multiple of 5?
True
Let s = -583 - -1033. Is s a multiple of 18?
True
Let d(m) = 2*m**2 - 2*m + 39. Does 49 divide d(18)?
False
Suppose 22963 = -2*m + 7523. Does 7 divide m/(-110) - (-4)/(-22)?
True
Let n = 232 - 26. Is n a multiple of 15?
False
Let s(m) = -m**2 + 17*m - 6. Suppose -f - f - 4*w + 48 = 0, 4*f + 3*w - 76 = 0. Does 10 divide s(f)?
True
Suppose -4*u + 1508 = -5*l, 4*l = -0*u - 3*u + 1162. Does 5 divide u?
False
Let t(g) = g - 1. Let q(f) = 5*f + 4. Let s(k) = -q(k) + 3*t(k). Let h be s(-17). Is 5 a factor of (-728)/(-36) + (-6)/h?
True
Let u(o) = 7*o - 8. Let h(w) = 27*w - 19. Let m(d) = -26*d + 20. Let l(x) = -5*h(x) - 6*m(x). Let r(b) = 4*l(b) - 11*u(b). Does 15 divide r(6)?
True
Let p = -8 + 13. Suppose w = 3*x - p*x - 36, -5*w - 60 = 4*x. Let s = -11 - x. Does 3 divide s?
True
Suppose 20 = 6*z - 64. Let q be (-1)/7 - (-2)/z. Suppose -5*w + 8*w - 306 = q. Is 17 a factor of w?
True
Suppose -3*k - 5*p + 761 = 0, 7*k - 3*p - 1034 = 3*k. Let a = k + -17. Is 20 a factor of a?
True
Let o = -212 + 244. Is 4 a factor of o?
True
Let p = 18 - 3. Suppose 11*i + 372 = p*i. Is i a multiple of 12?
False
Let q = -414 - -767. Is 34 a factor of q?
False
Does 31 divide -543*(4/12 + -2)?
False
Let m = 233 - 138. Does 19 divide m?
True
Suppose 72 = 2*r - q - 28, -5*r - q = -236. Let y = r + 37. Does 29 divide y?
False
Let s = 83 + -34. Let o = -46 + s. Is o a multiple of 3?
True
Suppose 19*j + 1173 = 3453. Is j a multiple of 10?
True
Suppose 5*j + 60 = -5*k, -3*k = 5*j + 93 - 31. Let o = 19 + j. Suppose o*y - 7*y = -49. Does 14 divide y?
False
Let t be (0 - 4/5)/((-16)/40). Let p(g) = 15*g**2 - g + 2. Is 6 a factor of p(t)?
True
Let n be 0 + (-44)/(-1) + -4 + 3. Let t = 85 - n. Is t a multiple of 18?
False
Let j = -1115 - -2040. Is j a multiple of 27?
False
Let f(v) = 4*v**2 - 5*v - 4. Let p(h) = -h**3 - 3*h**2 + 11*h + 2. Let n be p(-5). Does 7 divide f(n)?
False
Is 2 a factor of (-225072)/(-324)*(-3)/(-4)?
False
Let v = 331 + 533. Suppose 0*j - v = -12*j. Is 16 a factor of j?
False
Let j be 0 + -3 + 17 + -4. Suppose -5*y = -70 + j. Let b = y + -5. Does 5 divide b?
False
Let s(t) be the second derivative of t**5/20 + 11*t**4/12 + t**3 - 9*t**2/2 - t - 50. Is s(-10) a multiple of 16?
False
Let q(k) = 21*k**3 - 13*k**2 + 40. Does 98 divide q(4)?
True
Suppose -6*l + 11*l - 225 = 0. Suppose 4*t = 9*t - l. Does 2 divide (-9)/t*13*-1?
False
Let p(c) = 191*c - 114. Is 54 a factor of p(3)?
False
Let o(m) = m**3 + 3*m**2 - 3*m - 1. Let r be o(-4). Suppose -2*q = -6, q + 641 + 436 = 4*w. Does 21 divide ((-3)/r)/(2/w)?
False
Let m be (-4)/(-6) - (217/(-21) - 4). Is 6 a factor of m/(-2)*(37/(-5) + 1)?
True
Suppose -9*x - 18810 = -28*x. Does 18 divide x?
True
Suppose -531*j + 15944 = -523*j. Does 22 divide j?
False
Let m(c) = -28*c**2 + 4*c + 7. Let j(f) = 42*f**2 - 6*f - 11. Let k(g) = -5*j(g) - 8*m(g). Does 8 divide k(-1)?
False
Suppose -z - 2*k = 3*k + 69, -5*z + 4*k = 200. Let v = 11 - 5. Let w = v - z. Does 12 divide w?
False
Suppose 40 = 3*m + y, 3*m - 66 = -2*m - 2*y. Suppose 0 = 3*x - m + 8. Suppose -x + 27 = 5*j. Is j a multiple of 5?
True
Suppose -s + x + 31 = -0*s, 0 = 2*s - 3*x - 60. Let y be 21/(-27)*-35 - 4/18. Suppose -2*b = -s - y. Is 15 a factor of b?
True
Let r(z) = -z**2 + 9*z - 25. Suppose 2*g - 3 = -29. Let n(v) = -2*v**2 + 19*v - 50. Let t(b) = g*r(b) + 6*n(b). Does 20 divide t(10)?
False
Suppose -j = r - 9, 9 = -6*r + 2*r + 5*j. Suppose r*a = 3*v - 265, -v + 6*a = 3*a - 80. Is 19 a factor of