divide x?
False
Let m be ((-3)/6)/((-9)/(-540)). Let k = 46 - m. Is k a multiple of 12?
False
Suppose 10*n - 6*n + 5*c - 168 = 0, 0 = -4*n + 5*c + 168. Suppose 0 = -4*u - u. Let a = u + n. Is 42 a factor of a?
True
Suppose -x + 31 = v, 5*x - 4*v - 266 = -93. Suppose -x = -2*s - s. Is s even?
False
Is -11*(-32)/88 - (3 - 2552) a multiple of 37?
True
Suppose 0 = 2827*p - 2818*p - 17658. Is 7 a factor of p?
False
Suppose -5*c + 4 = -3*c + 2*w, 2*c = w + 13. Suppose -4*s + 5*i = -1750, -c*i = -44*s + 49*s - 2210. Does 20 divide s?
True
Let i(t) = -4*t**3 - 32*t**2 - 69. Let p(n) = -n**3 + n**2 + n. Let q(w) = -i(w) + 5*p(w). Is q(37) a multiple of 11?
False
Let g(i) = 2*i - 1. Let d be g(-7). Let s(r) = -8*r - 81. Is s(d) a multiple of 13?
True
Let j = 21064 + -8003. Is 37 a factor of j?
True
Suppose 2*g - 27708 = -2*f, -2*f + 127*g = 126*g - 27699. Is f a multiple of 53?
False
Suppose 1751160 + 1375575 = -19*l + 134*l. Does 57 divide l?
True
Let k = 5771 - 4007. Is 28 a factor of k?
True
Let q = 2434 - 1159. Let b = q + -742. Is 41 a factor of b?
True
Let p be (-15)/20 - (-10232)/32. Suppose 9 = 3*m, -m = -l + m + p. Is 51 a factor of l?
False
Suppose 0 = 5*x + k - 9, -x - 4*k - 14 = -6*x. Does 3 divide (-11 + 28)/(x/34)?
False
Suppose 2*a + 132 = -3*p, 0 = -0*a - 2*a + 5*p - 164. Suppose -22*f = -25*f + 321. Let u = f + a. Is 7 a factor of u?
True
Let d(y) = y**3 + 56*y**2 - 11*y - 105. Is d(-56) a multiple of 3?
False
Does 13 divide ((-52)/(-7))/((-28)/(-9898))?
True
Let a be (1 - 3)*(-126)/36. Let y(b) = 3*b - 19. Let f be y(a). Is 8 a factor of -2 + 3 + 35 + f?
False
Suppose 3*l = -5*c + 67, -4*l + 2*l + 4*c + 74 = 0. Let b = l - 27. Suppose -t = -3*t + 3*o + 20, o - 4 = -b*t. Is t even?
True
Suppose 11114 = 2*x + 2*x - 3*i, 0 = 2*x + 6*i - 5542. Is x a multiple of 57?
False
Let h = -8 + 17. Let z be h + (-6)/2 - 0. Suppose a = -f + z*a + 33, -45 = -5*f - 5*a. Does 2 divide f?
False
Let x(r) = 2*r + 79. Let s be x(0). Let i = 84 - s. Suppose -i*a + 362 = -208. Does 38 divide a?
True
Let c be (-14)/(-21)*(-33)/2. Let f be -10*(22/c)/(1 - 5). Does 8 divide (-5)/(f/44) + 7 + -3?
True
Let p be (-1)/(-2 - -4) + (-450)/(-4). Suppose x + 7*x = -p. Let j(s) = -s**2 - 17*s - 30. Does 12 divide j(x)?
True
Let d = 102 - 102. Suppose u + 1 - 6 = d. Let v(p) = 58*p - 25. Is v(u) a multiple of 40?
False
Suppose 738 = 13*v - 315. Let h = -79 + v. Let t(u) = 18*u**3 - 2*u**2 - 4*u + 3. Is 54 a factor of t(h)?
False
Let l = 3392 + -1707. Is 5 a factor of l?
True
Let z(p) be the second derivative of -19*p**3 - 5*p - 6. Does 39 divide z(-3)?
False
Let c = -15784 - -36058. Does 186 divide c?
True
Is 10 a factor of ((-26)/14 - -1) + (-974516)/(-217)?
True
Suppose 4*z - 4 = -5*o, 33*z - 30*z = 5*o + 3. Suppose v - 20 = 5*u - 3*v, 3*v = -2*u - 8. Is 2 a factor of z*(-45)/10*u?
True
Let m be (-6)/18*3*759. Let d = m - -1526. Is 59 a factor of d?
True
Let g = -1048 - -1773. Is 33 a factor of g - 2*(-4)/8?
True
Let s = 331 - 317. Suppose 337 = i + p, -5*i + 1677 = 11*p - s*p. Is 24 a factor of i?
True
Let j(q) = -8 + 7*q - 5*q - 9 + 7*q. Let d(t) = -5*t - 17. Let o be d(-7). Is 34 a factor of j(o)?
False
Suppose -767535 = -436*n + 1796083 + 1404854. Does 12 divide n?
False
Let c(z) = -z**3 - 16*z**2 + 83*z - 39. Let q be c(-20). Let v(p) = -209*p**3 + p**2 - 1. Let u be v(-1). Let t = u + q. Does 49 divide t?
False
Suppose 149 = l + q - 238, 3*l + 4*q - 1158 = 0. Let w = l - 189. Is 7 a factor of w?
False
Is 30 a factor of (((-12580)/(-119))/((-6)/(-21)))/((-2)/(-6))?
True
Let u(y) = 15*y**2 + 11*y + 28. Let h(r) = 16*r**2 + 13*r + 28. Let b(j) = -6*h(j) + 7*u(j). Is b(-8) a multiple of 15?
False
Does 7 divide 526/3156 + (-39899)/(-6)?
True
Suppose 2690 = 3*k + w, 4*k + 35*w - 3594 = 30*w. Does 32 divide k?
True
Suppose 117*g - 75166 = 104*g. Does 76 divide g?
False
Let v(r) = 1 + 8 - 4*r + 7*r - 17. Let w be v(6). Suppose 14*h - 208 = w*h. Is 17 a factor of h?
False
Suppose 42*a - 56 = 35*a. Suppose -a*x + 409 = -319. Is x a multiple of 9?
False
Let n(j) = 307*j**3 - 4*j**2 + 2*j. Suppose 4 = 4*b + 4*c, -4*b - 3*c = -5*c - 4. Does 39 divide n(b)?
False
Let s(r) = -377*r**3 - 4*r**2 + 14*r + 14. Does 44 divide s(-3)?
False
Let n = 39 + -51. Let r be 720/n*16/(-5). Let f = r - 125. Does 9 divide f?
False
Let h be 250/(-15)*48/(-20). Let j be 34/(-2) - (9 + -6). Let m = j + h. Is 10 a factor of m?
True
Does 3 divide 1 - ((-53676)/8 + (-1)/2*-3)?
False
Let g = -5532 - -7576. Does 73 divide g?
True
Let d = 605 - 603. Let j(f) = -f - 1. Let g(r) = -7*r + 5. Let x(v) = -g(v) - 4*j(v). Is x(d) a multiple of 21?
True
Let v = -11651 - -12923. Is 99 a factor of v?
False
Suppose -5*r + 2*t - 1 = -161, -2*t = -10. Suppose -n = 2*o - 13, -2*n = 2*o + 3*o - 32. Let k = r + o. Is k a multiple of 10?
True
Suppose -9*t - 19*t = -13*t - 496170. Is 103 a factor of t?
False
Suppose u - 14 = 5*z, -2*z + 6*z + 5*u + 17 = 0. Let k(p) = -p**3 + 2*p**2 + 5*p + 8. Is k(z) a multiple of 19?
True
Suppose -3*p = 5*d - 703, d = 4*p + p + 135. Suppose 2*h - d = 2*s, 0*s = -h + 3*s + 76. Is h a multiple of 8?
False
Let a(s) = 34*s - 235. Let g be a(7). Is 3 a factor of g/(-9) - ((-1658)/6 + 0)?
True
Let l(k) be the first derivative of k**4/4 - 3*k**3 + 3*k**2/2 - 21*k + 17. Let x be l(9). Suppose 0 = 5*n - x*n + 90. Does 18 divide n?
True
Suppose 5*g = -x + 201638, 896*x - 897*x + 8 = 0. Is g a multiple of 22?
True
Is (6 - 105006/(-14)) + (-3)/(42/(-8)) a multiple of 121?
False
Let w(f) = -21*f - 56. Suppose 4*a + 6*u + 38 = 4*u, 0 = -5*u - 25. Is w(a) a multiple of 29?
False
Let s(m) = -m**3 + 12*m**2 + 10*m - 25. Let t be s(13). Let d = t - -314. Is 5 a factor of d?
True
Let n(r) = -36*r**3 - r**2 - 4. Does 34 divide n(-5)?
False
Let m(z) = z + 12. Let x be m(-8). Suppose -4*c + 3*d + 2 = 0, -x*d + d + 6 = 0. Is -7 - -4 - -5*c a multiple of 4?
False
Let l(q) = -q - 22. Let v be l(-26). Let j = 27 + -19. Suppose 24 = v*h - k, 4*h = 4*k + 4 + j. Is 2 a factor of h?
False
Suppose 7704 = 13*b - 5*b. Suppose -2*i = 4*q + i - b, -4*q + i = -959. Suppose -20 = -5*t, -c = -6*c - 5*t + q. Does 6 divide c?
False
Is 43 a factor of 5371 + (-10 - 2) + 16?
True
Suppose 0 = -52*k + 47*k + 10. Let l(n) = 12*n**3 + 3*n**2 - 3. Does 17 divide l(k)?
False
Suppose 0 = -4*r + 2*z + 16, 2*z + 3*z - 5 = r. Suppose -r*c = -10 - 35. Suppose c*j - 66 = 8*j. Is j a multiple of 22?
True
Let r(d) = -2*d**2 - 23*d - 47. Let f(w) = 3*w**2 + 25*w + 46. Let b(p) = 3*f(p) + 4*r(p). Let z be 6/(-4)*44/(-3). Does 6 divide b(z)?
True
Let f = -2329 - -7641. Is f a multiple of 16?
True
Let b = 556 - 227. Let j = -108 + b. Does 25 divide j?
False
Suppose -2*q + 3 = -3. Let y = 1583 - 1517. Suppose 0*g = -q*g + y. Is g a multiple of 11?
True
Let k(i) = 15*i**2 + 5. Suppose 18*z = -30 - 24. Does 35 divide k(z)?
True
Let g = -573 - -895. Suppose 8 = 2*v, 0*m + 2*v + 487 = -3*m. Let u = g + m. Is 28 a factor of u?
False
Suppose t = 2, 2*j - 3*t = j + 17. Is 232/2 + j/((-184)/16) a multiple of 36?
False
Let x(u) = -17*u + 28. Let o be x(-10). Does 2 divide o/(-15)*20/(-8)?
False
Suppose u - 24 = -5*s + 13, 4*s - 16 = 0. Let q = 249 - u. Is q a multiple of 29?
True
Let x be 1247 - (-3 + -4 + 0). Suppose 27*v = x + 501. Is 19 a factor of v?
False
Let c(y) = -y**3 + 9*y**2 - y - 1. Suppose v + 1 = 63. Let f = 69 - v. Is 45 a factor of c(f)?
True
Let g be (-35)/3*(-132)/154. Is 28 a factor of 7/((-21)/g)*-3*42?
True
Let q(f) = -22*f**3 - 3*f**2 + 32*f - 8. Is 11 a factor of q(-6)?
True
Suppose -56*x = -60*x - 32. Does 5 divide (-1100)/5*4/x?
True
Let u(g) = -9*g - 7. Let r be u(1). Let w(f) = -2*f - 28. Let a be w(r). Is 6 a factor of 1/a + (-454)/(-8)?
False
Let s = -3617 + 5580. Does 13 divide s?
True
Let d(a) = -a**3 + 5*a**2 - 9*a + 25. Let s be d(4). Suppose 3*l - s*u = -3*u + 1394, 4*u - 20 = 0. Does 19 divide l?
False
Suppose -2*s = -5*s + 1152. Suppose -2*b = 10*b - s. Suppose -2*u - u - 5*r + 96 = 0, u - b = r. Is u a multiple of 16?
True
Suppose -n = 734*w - 738*w - 3678, -5*w = n - 3678. Does 3 divide n?
True
Let p = -675 + 547. Let d = p - -337. Is d a multiple of 11?
True
Let r be 6/(-4)*10/(-3). Suppose r*g + 0*i + 4*i = 62, 5*i = 3*g - 52. Suppose g*m + 507 = 17*m. Is 43 a factor of m?
False
Let f(d) = -94 + 133 + 3*d - 6*d. 