 factor of v(u)?
False
Let y = -138 - -251. Suppose -3*k + 6*k + w - y = 0, -31 = -k - 2*w. Is k a multiple of 6?
False
Does 77 divide 108*(-12 - -78)*21/6?
True
Suppose 104*i - 696719 = 629881 + 745600. Is 120 a factor of i?
False
Let t = 54 - 119. Let y = 67 + t. Does 11 divide (77/y)/((-8)/(-16))?
True
Suppose -5*v = -5*c - 21795, 0 = 31*v - 30*v + 3*c - 4371. Is v a multiple of 39?
False
Let i(q) = -50 + 51*q**2 - 44*q - 2*q**3 - 28*q**2 + 9 + 3*q**3. Is i(-24) a multiple of 48?
False
Is 35 a factor of ((-2460)/40)/(21/(-2198))?
False
Suppose 540*o - 537*o = 4008. Suppose 5 = -5*v, o = 3*m + 4*v - 1114. Is 31 a factor of m?
False
Suppose 23*f = 21 + 25. Suppose 2 = -f*z, 2*p - 51 - 543 = -4*z. Does 13 divide p?
True
Let b(z) = 39*z + 3. Let c be b(4). Let r = 698 - 805. Let u = r + c. Does 9 divide u?
False
Let d = 185 - 128. Let z(n) = -n**3 + 5*n**2 + 68*n - 22. Let c be z(11). Suppose 2*s = p - d, -p - 2*s + 69 = -c*p. Is 4 a factor of p?
False
Let j = 181 - 175. Is (-1640)/(-48) - 1/j a multiple of 7?
False
Let k(s) be the third derivative of 5*s**4/12 - 29*s**3/6 + 2*s**2 + 19*s. Does 3 divide k(5)?
True
Suppose -2*b + 25*w - 30*w = -16, 0 = -5*w + 20. Does 86 divide 28/8 + (-1541)/b?
True
Does 14 divide 0 + 1 + (0 - 5) - (-3239 + 11)?
False
Let p be (888/(-20))/(18/(-45)). Let o = p + 320. Is o a multiple of 28?
False
Suppose 30*l = 29*l - 1. Does 16 divide 5*((-43)/l - -5)?
True
Suppose -5*g = -2*j + 8900, -8 = -12*g + 8*g. Does 45 divide j?
True
Let m = 32 - -4. Suppose -5*t - 4*z + 216 = 0, -2*t + m = -z - 40. Let y = t + 70. Does 16 divide y?
False
Let q = -21 - -29. Suppose -o = q*o + 4014. Let l = -183 - o. Is 23 a factor of l?
False
Suppose 24308 - 80043 = -38*i + 113631. Does 64 divide i?
False
Suppose -40*y = -2*f - 36*y + 58316, 0 = -f - 4*y + 29128. Does 14 divide f?
True
Suppose 0 = 5*z + h - 650, 9*z + 5*h - 650 = 4*z. Let g = z + -11. Is 16 a factor of g?
False
Suppose 4*s - 945 = 9*s. Let i = 339 + s. Is 10 a factor of i?
True
Let f(c) = -5*c + 4. Let h(g) = g**3 - 9*g**2 - 11*g + 14. Let u be h(10). Let z(y) = y**2 - y - 16. Let w be z(u). Is f(w) a multiple of 6?
True
Let z = -122 - -125. Let b = -6 + 17. Suppose 133 = z*t - b. Does 8 divide t?
True
Suppose 54*u - 488560 = -88636. Is u a multiple of 10?
False
Suppose -2*r + 3637 = -3*j, -4*j - 3636 = -11*r + 9*r. Is r a multiple of 26?
True
Does 2 divide ((-18)/12)/(57655/(-7202) + 8)?
False
Suppose 10*l - 5769 = 7*l + 3*b, 7*b - 7659 = -4*l. Does 30 divide l?
True
Let f(z) = 6*z**2 + 23*z - 640. Is 6 a factor of f(-33)?
False
Let v(r) be the third derivative of -17/6*r**3 + 0*r + 0 + 5/24*r**4 + 2*r**2. Does 54 divide v(25)?
True
Let u(l) = -102*l + 24 - 103*l + 213*l. Let a be u(-3). Is 4 a factor of a/1*(-4)/8 + 22?
False
Suppose -2*r = -10 + 6. Suppose 0*p - 4 = 2*p, 3*b - r*p = 619. Does 41 divide b?
True
Is (-6)/8 - (-106698)/24 a multiple of 35?
True
Let r(j) = 55*j - 380. Let u be r(7). Suppose -19*w = -20*w - 2*a + 561, 0 = w - u*a - 547. Does 17 divide w?
False
Let r be -4*(8/(-2) + 15/(-20)). Suppose 2*l + r*l - 1764 = 0. Is 12 a factor of l?
True
Let s be 4/10 + 10*(-20)/(-125). Suppose 6*c + u - 2077 = s*c, -1553 = -3*c + 4*u. Suppose c + 41 = 8*n. Is 10 a factor of n?
True
Let o(y) be the second derivative of y**4/6 - y**3/2 + y**2/2 + 524*y - 1. Suppose -4*f - 4 + 16 = 0. Is o(f) a multiple of 2?
True
Let x = -788 - -844. Suppose -48*f + x*f = 9608. Is 79 a factor of f?
False
Suppose 0 = -2*k - 10, -1185 = -291*c + 286*c - 3*k. Is c a multiple of 12?
True
Is ((-10)/(-8))/(8/(-14512))*(-1 + -1) a multiple of 163?
False
Is -7 - (8334/21)/((-10)/70) a multiple of 4?
False
Suppose 0 = 2*t - d + 82, -5*t - 24*d = -22*d + 223. Let k = 68 + -11. Let l = t + k. Does 7 divide l?
True
Let j = 85262 - 34863. Is 26 a factor of j?
False
Is 15 a factor of (-14)/((-55)/(3927825/46))?
True
Does 25 divide ((-3984)/(-10) - 39) + (-7)/5?
False
Suppose -3666 = -10*i + 774. Let k = i + -284. Does 3 divide k?
False
Suppose 0*m + 2*m + 2*v + 6 = 0, -2*v = 5*m. Suppose -11*x + 6*x + 60 = 0. Let w = x - m. Is w a multiple of 4?
False
Suppose -5*o = 2*a - 17331, 9*a + o = 8*a + 8676. Is a a multiple of 22?
False
Let k(r) = -r + 1. Let u(o) = -4*o - 53. Let z(q) = -3*k(q) - u(q). Let i be z(-7). Is (37 - -8) + (1 - 1 - i) a multiple of 44?
True
Let s(n) = -7*n**3 - 10*n**2 + 13*n + 7. Let w(b) = -12*b**3 - 19*b**2 + 25*b + 12. Let p(a) = -7*s(a) + 4*w(a). Suppose 0 = 4*d - 5*d + 5. Does 19 divide p(d)?
True
Let t = 13060 - 5605. Does 15 divide t?
True
Is (198/(-22) + 3)*(-1)/((-9)/(-44385)) a multiple of 22?
True
Let c(y) = 2*y**3 - 30*y**2 + 20*y - 69. Is c(16) a multiple of 109?
True
Let f(a) = -a**2 + a + 24. Let q be f(5). Suppose -q*y + 6*y - 339 = 5*k, -2*k + 480 = 3*y. Does 27 divide y?
True
Let l(v) = -2*v**2 - 55*v + 9. Let q be l(-7). Let a = q + 17. Is a a multiple of 15?
False
Suppose -s + 5 = -28*r + 32*r, -10 = r + 4*s. Suppose 0 = -6*d - r*d + 432. Is 9 a factor of d?
True
Let y = 44475 + -29971. Is 49 a factor of y?
True
Let u = 1 - 64. Let l = u - -96. Let h = l - -52. Is 46 a factor of h?
False
Suppose 4*h = -0*l - 2*l - 28, -23 = 3*h + l. Let o be (-65)/39*h/5. Suppose -4*z + 659 = -o*y, -2*z + 671 = 2*z + y. Is z a multiple of 16?
False
Is 26 a factor of 288/384 + 133637/4?
True
Let j(z) = 7*z - 25. Let o be j(6). Suppose -o + 41 = 8*h. Suppose -2*n = 4*q - 97 + 11, h*n - 2*q = 97. Is 7 a factor of n?
True
Let d(b) = 6*b - 7. Let x(r) = 6*r - 8. Let y(h) = -2*h - 22. Let s be y(-9). Let o(g) = s*x(g) + 6*d(g). Is 20 a factor of o(12)?
False
Let p be (-2880)/225 + (48/(-10))/4. Let i(v) = -2*v - 3. Let t be i(-2). Is 33 a factor of (t - p/6)*(-1536)/(-20)?
False
Let j be (3 - 37)/(-1 + -1). Suppose -j*u = -24*u + 1890. Does 27 divide u?
True
Let i = -51 - 257. Let q = i + 358. Is 10 a factor of q?
True
Let l(o) = -o**3 - 18*o**2 + 25*o - 8. Is l(-21) a multiple of 10?
True
Let p(j) = -317 - 334 - 40*j + 632 + j**3 - 34*j**2. Does 35 divide p(36)?
False
Let w = -596 - -1141. Let t = 4 + -1. Is w/15 - 1/t a multiple of 3?
True
Is (-66 - -145)*(-26)/((-8)/(-5) - 2) a multiple of 13?
True
Is (72/11)/((-2250)/(-57750)) a multiple of 24?
True
Let d = 278 - 373. Let a = d - -195. Does 5 divide a?
True
Let u(z) = 15*z - 117. Let i = 111 + -80. Does 58 divide u(i)?
True
Suppose 0 = -91*d + 71*d + 5660. Is 51 a factor of d?
False
Let q(m) = -m**2 + 3*m + 1531. Let v be q(0). Let g = v + -1017. Does 32 divide g/7 - 24/(-42)?
False
Suppose -1503*a + 1424*a + 1006460 = 0. Does 10 divide a?
True
Suppose 620*j - 300*j - 309*j = 3223. Does 5 divide j?
False
Let w = 2529 + 3284. Does 18 divide w?
False
Suppose -5*z + 33248 = 4*t, -4*t - 28*z + 26*z + 33248 = 0. Does 63 divide t?
False
Let c = 6396 - 4604. Does 56 divide c?
True
Let j be ((-327)/(-9))/(0 + 2/48). Suppose 0 = 2*i + 148 - j. Suppose 2*t + 2*g = -2*t + i, -178 = -2*t + 2*g. Does 18 divide t?
True
Let c = 547 - 545. Suppose t + q - 83 - 251 = 0, 2*q = c*t - 648. Is t a multiple of 7?
True
Suppose -57146 = -4*o + c, -2*c = 5*o - 62704 - 8748. Is o a multiple of 12?
False
Is 6 a factor of (-144 - 1)*294/(-35)?
True
Suppose 126319 = 3*s + 5*j, -3*s = -0*s + 2*j - 126322. Is s a multiple of 348?
True
Suppose 8*m - 92443 = 151157. Is m a multiple of 30?
True
Suppose 0 = b - 54 + 51. Suppose -2*g - t + 685 = 0, -b*t = 5*g + t - 1714. Is g a multiple of 57?
True
Suppose 2*l - 523 = -343. Let c = -56 + l. Does 3 divide c?
False
Suppose 2*l - 18 = -3*p, -4*l + 14 = p - 2. Suppose 0*b = l*b + 4*z - 1164, 3*b - 4*z = 1140. Suppose b = 7*x - 3*x. Does 37 divide x?
False
Suppose 67225 = 13*o + o + 11*o. Is o a multiple of 13?
False
Let a(q) = 9*q**2 + 18*q - 30. Suppose -o + 12 = -n, -2*o = -5*n + 24 - 69. Does 21 divide a(n)?
False
Let r be (6/3 - 12/5)*-5. Suppose -2*s - r*i = -548, 2*i = -5*s - 185 + 1543. Suppose -10*v = -v - s. Does 6 divide v?
True
Let r(a) be the first derivative of 9*a**2 + 27*a - 34. Let b be r(19). Suppose b - 9 = 5*t. Does 12 divide t?
True
Let y = 29 - 27. Suppose p - 2*i = y*i + 25, 0 = -4*p - 4*i. Suppose p*z - 236 = r + 192, -3*z - r = -252. Is 12 a factor of z?
False
Let v = 17269 - 13643. Is 9 a factor of v?
False
Suppose 0 = -66*p + 201271 + 210635. Does 6 divide p?
False
Suppose -8*a = -