of t?
True
Let g = 22289 + -11189. Is g a multiple of 20?
True
Let v be (1 + 20/(-8))/(1/(-2)). Suppose 1 = s, -v*x = -3*s + 46 - 424. Is x a multiple of 6?
False
Suppose 2*r = -3*u - 1631 + 7654, -3*u - 4*r = -6019. Is 6 a factor of u?
False
Suppose 0*k = 5*x - 2*k - 13, 4*x = 3*k + 9. Let q be (-10)/((-5)/630*x). Let z = q - 263. Does 36 divide z?
False
Suppose 2248798 = 90*u - 1487102. Is u a multiple of 35?
True
Let z be (45/(-12)*6)/((-4)/56). Let n = z - 154. Let p = 328 - n. Is p a multiple of 20?
False
Suppose -2*h + 5*l + 18134 = 0, -l - 4*l + 9082 = h. Suppose -10*g = 11*g - h. Is g a multiple of 24?
True
Let w(u) = 65*u - 191. Let j(b) = -2*b - 9. Let c be j(-8). Does 8 divide w(c)?
True
Let s(r) = 3*r**2 - 8*r - 22. Let k(o) = o**3 - 10*o**2 - 23*o - 14. Let n be k(12). Let t be 6/n + (12 - 15). Does 12 divide s(t)?
False
Let o(w) = 413*w**2 - 1. Suppose 6*y = 4*l + 4*y + 14, -17 = -3*l - 4*y. Does 4 divide o(l)?
True
Let u be 365/2 - 5*(-27)/(-90). Suppose 899 = 5*r - u. Does 11 divide r?
False
Let z(a) be the first derivative of -35*a**2/2 - 115*a - 81. Is z(-9) a multiple of 4?
True
Let x(k) = 850*k**3 + 3*k**2 + 9*k + 10. Does 37 divide x(3)?
True
Is 12 a factor of (-93459)/(-15) - -28*8/160?
False
Suppose 0 = 3*w - 166 - 110. Let t = w + -89. Suppose -756 = -4*j - 4*v, t*v = -2*j + 4*v + 372. Is 28 a factor of j?
False
Suppose -6*x - 6214 = 7*x. Is 38 a factor of x*3*(-6)/12?
False
Let n = 20939 + -7709. Is n a multiple of 126?
True
Let f(u) = -u**3 - 6*u**2 - 2*u - 2. Let v be f(-5). Let h = v - -12. Is (3 - h/(-20))/((-1)/(-60)) a multiple of 31?
False
Suppose -r - 8 = 2*l, l + 0 = 4*r - 4. Suppose r = j - 5*j - 3*n + 431, 2*n - 218 = -2*j. Does 20 divide j?
False
Does 12 divide (-2)/(-29) + (-6315*363/(-261) - -1)?
True
Suppose -412 = -4*u - 6*k + 732, 0 = -4*u + 4*k + 1104. Does 35 divide u?
True
Suppose -4*x = -630 + 2210. Let i = x + 671. Does 13 divide i?
False
Is (-10566)/(-63)*((-42)/9)/(20/(-30)) a multiple of 16?
False
Suppose -188*m = -186*m + 5*k - 47803, -95573 = -4*m + k. Is m a multiple of 14?
False
Suppose 232 = 23*c + 6*c. Let x be 4/((-2)/(2 + -4)). Suppose c + 124 = x*v. Does 33 divide v?
True
Let z(n) = -n**3 + 8*n**2 + 185*n + 1195. Does 3 divide z(-8)?
False
Let k(b) = -37*b**3 + 11*b**2 + 41*b + 97. Does 11 divide k(-5)?
False
Suppose 4*y + 5*r = 277742, -110943 = -2*y - 5*r + 27913. Is y a multiple of 14?
False
Let g be 1 + 2 + (-27)/(-3)*-2. Let z be (-57)/(-5) - (-6)/g. Suppose 14*c - z*c = 120. Does 5 divide c?
True
Suppose 2*w - 3*n - 2*n = 25, -5*n - 25 = -5*w. Suppose -d = 0, 3*a - 6*a - d + 1584 = w. Is 66 a factor of a?
True
Let r(q) = -2*q**3 - q**2 + 61*q - 9. Let c(t) = -t**3 + 30*t - 4. Let k(b) = 9*c(b) - 4*r(b). Is 6 a factor of k(6)?
True
Let j be (2/(-3))/((-12)/20304). Suppose 0 = -134*a + 130*a + j. Is a a multiple of 16?
False
Let s = 4740 + -1540. Is 25 a factor of s?
True
Suppose 5*j = -4*k + 73232, -92*k + 97*k - 91540 = 4*j. Is k a multiple of 46?
True
Let p = 2201 - 1551. Let f = p + -593. Is f a multiple of 3?
True
Suppose 60 = -5*f + 485. Let y be ((-2)/16*4)/((-3)/12). Suppose 2*k - y*h - f = 197, 3*k = -4*h + 402. Is 31 a factor of k?
False
Suppose -2*u + 9 - 13 = 0. Let v be (30/9 + -3)/(u/(-6)). Is 15 a factor of (135/(-90))/(v*(-1)/24)?
False
Let g(m) = 1552*m + 323. Is g(4) a multiple of 19?
False
Let q = -6685 - -9592. Is 19 a factor of q?
True
Suppose 136*j - 94*j - 61488 = 0. Does 15 divide j?
False
Suppose 0 = -5*u - 2*d + 3090, 955 = 2*u - 5*d - 310. Is u a multiple of 2?
True
Is 13 a factor of -40*(-11374)/(-705)*(-6)/(-8)*-26?
True
Let i(y) = 23*y + 186. Suppose 4*r - 7 - 13 = 0, 0 = -2*f - 2*r + 62. Is i(f) a multiple of 28?
True
Let g = -809 - -829. Is (-220)/(-6)*((-150)/g + 9) a multiple of 2?
False
Suppose b - 7 = -4. Suppose 5*a = -2*x + 13, 5*x - b*a - 23 = -6*a. Suppose 0 = -3*j - d - 0*d + 195, -3*j - x*d = -204. Is j a multiple of 16?
True
Suppose -48*c = -5*c - 3*c - 314800. Does 39 divide c?
False
Let g(x) = -x**3 - 12*x**2 - 28*x + 21. Let v be g(-4). Let k(i) = i**2 - 5*i + 4. Let a be k(6). Suppose 2*z + v*h + a = 0, -2*h + 22 - 5 = 5*z. Is z even?
False
Is 18 a factor of (-929822)/(-12) + (-585)/(-702)?
False
Suppose -4*p - 47 = 269. Let r be 4 + (-24)/5 + p/(-5). Suppose m + r = 57. Does 6 divide m?
True
Let s(q) = 2*q**2 + 8*q + 15. Let m be (-6)/(-4) - (0 + (-30)/(-4)). Let z be s(m). Suppose -2*b + 117 = z. Does 13 divide b?
True
Suppose -1466897 = -50*f - 522925 + 750228. Is 172 a factor of f?
True
Let j(n) = n**3 + 17*n**2 + 30*n. Let u = -34 + 19. Let d be j(u). Suppose -4*c - c + r + 50 = d, -r - 30 = -3*c. Does 2 divide c?
True
Let b be (-1)/(-1) + 540/20. Suppose 0 = 4*f + b + 52. Let m = f + 76. Does 4 divide m?
True
Suppose -7*z = -12*z - 1950. Does 4 divide (-4)/(-30) - 30368/z?
False
Let n = -15 - -25. Let o = 7792 - 7810. Does 30 divide n/(-6) + (-3270)/o?
True
Let j(v) = 31*v**3 - 2*v**2 - 56*v + 237. Is 62 a factor of j(5)?
True
Suppose -99*p = -100*p + 3. Let z = -443 - -647. Suppose -f = p*f - z. Is 17 a factor of f?
True
Let o be 719 - ((-6)/(-3) + 0). Suppose 0 = -7*v - v + 32. Suppose 5*g - v*c = o, -g - 3*c + 155 = 2*c. Does 29 divide g?
True
Suppose -5*q + t + 55 = 0, -t + 0 = -5. Suppose 5*n = -5*b + 420, 14*b - 174 = q*b + n. Is 5 a factor of b?
False
Is 2/(-26) + ((-96696)/1580)/(78/(-36200)) a multiple of 17?
False
Let w(t) = -2061*t + 19329. Is 8 a factor of w(7)?
False
Let l be -2 - -2 - (5 + -7). Let d be 1/l*0/((-6)/3). Suppose d = -y + 27 + 8. Does 7 divide y?
True
Let w = 5 - 9. Let r be w/(0 - -4) + -335. Does 15 divide ((-2)/(-4))/((-40)/r)*15?
False
Let j be (-2)/(-4) - 686/(-4). Let q(w) = 120*w + 1126. Let c be q(-10). Let u = c + j. Is 14 a factor of u?
True
Let v(a) = 2*a**3 + 20*a**2 - 163*a - 3. Is v(8) a multiple of 6?
False
Let g = 20 - 41. Let o = g - -24. Suppose b + o = 37. Is 6 a factor of b?
False
Let d = 3 + 2. Let t(o) = -4 + 10*o + 5 + 4 + 8. Is 13 a factor of t(d)?
False
Is 12/((-48)/(-28)) + 4166 a multiple of 43?
False
Let z = 30 - 30. Suppose -6*w = 5*r - 2*w + 27, -3*w = -4*r - 34. Let t = z - r. Is 7 a factor of t?
True
Let w(n) = -n**3 - 19*n**2 - 18*n + 8. Let m be w(-18). Let i(v) = -6*v + m - 51 + 27 + 3*v. Does 29 divide i(-15)?
True
Let q(u) = 8*u**2 - 4*u + 9. Suppose -16 = 3*g - 0*a + a, 4*a = 5*g + 21. Let p be q(g). Suppose 0 = -2*t - y + p, y + 4 = 5*y. Is 41 a factor of t?
False
Let w(i) = i**3 + 54*i**2 - 434*i + 153. Is w(28) a multiple of 161?
False
Let q(z) = 7*z**2 + 12*z + 65. Let p(a) = 6*a**2 + 12*a + 62. Let g(r) = 6*p(r) - 5*q(r). Is 12 a factor of g(-11)?
True
Suppose 2564 = 2*o + 4*r, 3*o + 3*r - 3886 = 5*r. Does 17 divide o?
True
Let i = 36 + 5. Suppose 0 = -3*o - 2*y - 20 + 30, 2*y - 4 = -2*o. Let z = i - o. Is 5 a factor of z?
True
Suppose -20*s + 6442 = -16*s + 2*j, 3*j + 4845 = 3*s. Is 52 a factor of s?
True
Let q = -2620 - -9798. Does 97 divide q?
True
Let y be ((-21)/(-35))/((-5)/(-2825)). Is 24 a factor of y/(-12)*1*(-36)/9?
False
Let d be -1*(21 + 1 - 8). Is (-72964)/(-406) - 4/d a multiple of 30?
True
Suppose 240*z - 690 = 139470. Does 8 divide z?
True
Let j(k) = 2*k**2 - 2 + 2*k + 1 - 2. Suppose 5*z + 38 = -4*i, 7 - 1 = -2*z + 3*i. Is 19 a factor of j(z)?
True
Let h(u) = 6*u**2 + 3*u + 5. Let n be h(-3). Suppose f - 3*f + n = 0. Suppose 2*k - 4*k = 2*b - 350, -5*b + f = 0. Is k a multiple of 16?
False
Is 25 a factor of (-234990)/(-84)*(-124)/(-10)?
False
Suppose -3*p - 9 = -3*q + 33, -q = 5*p - 2. Let g(l) = -4*l**3 - q*l - 12*l**2 + 8 + l**2 - 3*l**3 + 6*l**3. Is 4 a factor of g(-10)?
True
Let h(o) = 63*o + 6. Let v be h(-2). Let r = -108 - v. Suppose -r*i = -1606 - 1406. Does 21 divide i?
False
Suppose -4*z - p + 28466 = -3415, -3*z - 4*p + 23901 = 0. Is 159 a factor of z?
False
Is 16 a factor of (-141 - -1)*8204/(-35)?
True
Let w = 728 - 357. Suppose 5*h - 461 = -4*y, 8*h - 4*h + y = w. Is 4 a factor of h?
False
Let j(m) = -1. Let d(i) = 44*i - 15. Let c(q) = -d(q) + 6*j(q). Does 11 divide c(-13)?
False
Suppose 6*g - 77 = -65. Is (45 + -46)/(g/(-328)) a multiple of 5?
False
Let v(i) = 26*i + 52. Suppose -3*d - 4*d = 854. Let h = d - -128. Does 25 divide v(h)?
False
Let y = 34422 + -22730. Is y a multiple of 158?
True
Does 53 divide 2193/(-9)*48/8*-