 factor of o?
True
Let o be (-8319)/(-15) + -10 + 4/10. Let s = -62 + o. Is 30 a factor of s?
False
Suppose 2*p = -2*p - a + 11, 2*p + 4*a = 16. Suppose 0 = -d - m + 63, -3*d + p*d + 3*m + 51 = 0. Does 7 divide d?
False
Let a(y) = 3*y**2 + 83*y + 42. Suppose 13*n = 4*n - 252. Is a(n) a multiple of 7?
True
Let d = 11 - 9. Let j be ((-1)/(-1) - d)*60/(-12). Suppose 0 = -4*h + 3*b - b + 332, 4*h - 304 = -j*b. Is h a multiple of 13?
False
Let p = -3 - -7. Let z = 419 - 422. Is z/((20/(-215))/p) a multiple of 13?
False
Let q be (110/30)/((-3)/279). Let x = -89 - q. Does 42 divide x?
True
Let w(k) = -1472*k - 13069. Does 27 divide w(-12)?
False
Let g be (-909)/(42/(-12) + 3 + 2). Let d = g + 1086. Does 40 divide d?
True
Suppose 1451 = i - 6*n, -5*i + 23*n = 18*n - 7380. Does 34 divide i?
False
Let w = 9508 + -6399. Is 118 a factor of w?
False
Suppose 3*h = -2*h + 4760. Let o = -666 + h. Does 11 divide o?
True
Let c = 17007 - 11365. Is 7 a factor of c?
True
Let y = -24 + 44. Let v(r) = 29*r**2 - 2*r + 2. Let q be v(2). Suppose -y*h = -23*h + q. Is h a multiple of 11?
False
Let h be 1/((-13)/(-6515)) - (-128)/(-832). Let p = h - 281. Is p a multiple of 24?
False
Let a(b) = -b**3 - 16*b**2 + 2*b + 34. Let v be a(-16). Suppose -v*z = n - 414, -5*z + 1191 - 360 = 2*n. Is n a multiple of 8?
True
Let i(n) = -4*n**3 - 8*n**2 - 42*n - 24. Let s be i(-17). Is (-6)/(-48) + s*(-5)/(-80) a multiple of 105?
False
Suppose 55*a - 54*a - 22313 = 5*u, -2*a + u + 44572 = 0. Is a a multiple of 243?
False
Let x(s) = s**3 - 6*s**2 - 15*s - 4. Let g be x(8). Suppose 3*k = -g*d + 230, -3*d + 107 = 4*k - 62. Is d a multiple of 59?
True
Suppose 0 = -106*y - 217*y + 14741010 + 4535630. Is 40 a factor of y?
True
Suppose 0 = 5*p - 4*v - 33166, 2*p + 6*v = 11*v + 13280. Suppose 11*k - 16*k = 2*m - p, -2*m = k - 1326. Is k a multiple of 102?
True
Let z = -4210 - -5770. Does 17 divide z?
False
Suppose -c + 2*p - 657 = -4*c, 9 = -3*p. Let h = 646 - c. Does 17 divide h?
True
Let n(x) = 9*x**3 + 7*x**2 - 23*x + 107. Is 27 a factor of n(9)?
False
Does 29 divide 13/(-182) + (-54103)/(-98)?
False
Let o(z) = 28*z**2 + 36*z - 121. Does 11 divide o(8)?
False
Suppose 24*p - 142275 = -p. Suppose 27*k = 6*k + p. Is k a multiple of 56?
False
Let c(z) = -3*z + 30. Let j be c(15). Is (715/(-26))/((j/72)/5) a multiple of 12?
True
Let s(a) = 193*a**2 + 3*a - 1. Suppose -2*f + 36 = 2*x, 2*x + 0*x - 90 = -5*f. Suppose -3*h - 21 = -f. Does 40 divide s(h)?
False
Let t(z) be the second derivative of z**4/4 - 2*z**3/3 - 25*z**2/2 + 18*z + 2. Let o(v) = v**3 + 2*v**2 + v + 4. Let d be o(-3). Is 30 a factor of t(d)?
False
Suppose -159*u = -92*u - 39125 - 23922. Is 18 a factor of u?
False
Let q(s) = s**3 + s**2 - s. Let w(x) = 6*x**3 + 7*x**2 - 24*x + 14. Let d(i) = 5*q(i) - w(i). Let c be d(-8). Let u = c + -87. Is 31 a factor of u?
False
Let j = 973 - -922. Is 12 a factor of j?
False
Let s be 4/12 + (-5872)/(-24). Let f = s - 160. Is f a multiple of 18?
False
Suppose 2*v + 2*v - 46893 = -25*v. Does 9 divide v?
False
Suppose -3*y = a - 10, -3*y - a - 2*a = -18. Let k(w) = w**2 - 9*w - 35. Let f be k(12). Does 2 divide (f/3 - 150/(-9)) + y?
False
Let z(h) = h**3 - 18*h**2 - h + 7. Let x be z(4). Let r = x - -959. Is 82 a factor of r?
True
Suppose -4*v - 39*x + 86 = -41*x, -3*v + 2*x + 67 = 0. Suppose -8609 - 6192 = -v*z. Is 32 a factor of z?
False
Suppose -5*k - 2*k + 642 = -86. Is k a multiple of 8?
True
Let x be (52 - -4) + (-21)/3. Suppose 0 = -35*z + x*z - 518. Is z a multiple of 4?
False
Let u(q) = 7*q + 3. Let a be u(0). Suppose a*o - 813 - 903 = 0. Is o a multiple of 52?
True
Is (180552/(-15))/(-4)*(-275)/(-110) a multiple of 20?
False
Let l(q) = 3*q + 40. Let c be l(-16). Let i be ((-3276)/c)/(-3)*-2. Suppose 3*j + 4*d = i, -29 = 5*j + d - 467. Is j a multiple of 29?
True
Suppose -3*m = 4*c - 70472, -12*m + c = -14*m + 46988. Is 78 a factor of m?
False
Let o be (-878)/(-8) + 0 + (-11)/(-44). Suppose -3*p - o = -5*p + l, -5*l = p - 77. Does 16 divide p?
False
Let f(n) = 83*n**2 + 9*n + 8. Let j be f(-4). Let m = -778 + j. Does 58 divide m?
True
Let p be 15/(-10)*16/(-12). Let w = p + -6. Let u(b) = -b**3 - 4*b**2 - 6*b - 4. Does 4 divide u(w)?
True
Let v(d) = -79*d - 185. Let t be (-2 - 8)*(-11)/(-22). Is 21 a factor of v(t)?
True
Suppose 11*t = 3*t + 40. Suppose 5*d + 90 = -r, -t*r = -0*r - d + 398. Does 23 divide r/25*(27/(-2) - -1)?
False
Suppose 0 = 34*g + 315 - 4973. Suppose g - 185 = -6*i. Is 2 a factor of i?
True
Suppose l - g - 171 = 0, 5*g - 52 = l - 203. Is 6 a factor of l?
False
Suppose -17*v - 105*v + 1605240 = 130*v. Does 49 divide v?
True
Suppose 42*j - 20098 = 111446. Is j a multiple of 54?
True
Let y(b) = -b**2 + 440 + 128 + b + 0*b. Let l be y(0). Suppose 0 = -8*x + 4*x - 3*z + 450, 5*x = -z + l. Is 19 a factor of x?
True
Let l = 103 - 95. Let b be (4 + 18/(-4))*0. Does 18 divide 1 - b - 4/(l/(-126))?
False
Let m be 26*(-6)/3*(-4)/8. Suppose 37*c = m*c + 550. Is 25 a factor of c?
True
Let z(q) = 11*q**2 - 2*q + 8. Suppose -f = -5*f + 3*n - 4, -4*f - 2*n + 16 = 0. Is 4 a factor of z(f)?
True
Is 230 + 2 + 0 + 5 + (-13 - -2) a multiple of 3?
False
Let u = 11574 - 4221. Is 57 a factor of u?
True
Suppose 4*s + 146144 = 4*c, 2*c - 56466 = s + 16607. Does 31 divide c?
False
Let i(v) = 7*v**2 + 2*v**3 - 7*v**3 - v - 7 + 4*v**3. Let j be i(7). Does 24 divide (-648)/j + 14/(-49)?
False
Let j = 572 + 1143. Suppose q + 4*q = -5*l + j, 3*q + 5*l - 1029 = 0. Is 26 a factor of q?
False
Suppose 0 = -54*g + 161560 + 143810. Is g a multiple of 15?
True
Let u be (0 + -2)/(2/95). Let o = -15 - u. Is 10 a factor of o?
True
Suppose k = -0*k + 3. Suppose k*u = 24 + 309. Let r = u - 60. Is r a multiple of 17?
True
Let u(n) be the first derivative of -6*n**2 - 1/4*n**4 - 10/3*n**3 - 6 + 22*n. Does 33 divide u(-10)?
False
Suppose -4*i + 4*c - 564 = 0, 370 = -2*i - c + 97. Let x be 7/(-3)*i/(-2). Let j = 254 + x. Is j a multiple of 31?
True
Is 17 a factor of -30*(4850/(-5))/10*(-10)/(-3)?
False
Let v(m) = -m**2 + 6*m - 7. Let t be v(3). Let r be (-7)/(-49) + ((-52)/(-14))/t. Suppose -r*h + h + 132 = 0. Is h a multiple of 6?
True
Suppose -v + 2 = -5*d + 4, 48 = 5*v + 4*d. Suppose -p = -v*p + 189. Does 3 divide p?
True
Let s(d) = -d**3 - 13*d**2 + 16*d + 30. Let x be s(-14). Let p be x*4*(-3 + 4). Suppose 12*r - p*r = 420. Is r a multiple of 15?
True
Let i = -21 + 26. Suppose -150 = i*b - 3*s, b + 0*b + 2*s + 30 = 0. Let a = 47 + b. Does 7 divide a?
False
Let u = -47753 - -72002. Is u a multiple of 137?
True
Let b(x) be the first derivative of -24*x**2 - 18*x - 48. Is 11 a factor of b(-6)?
False
Suppose 1814 + 595 = 11*i. Let g = -262 - -132. Let l = i + g. Is 17 a factor of l?
False
Let s(f) = -5*f**2 - 15*f - 3. Let h(v) = 3*v**2 + 14*v + 3. Let x(w) = -6*h(w) - 5*s(w). Does 36 divide x(-8)?
False
Let d(u) = -4*u - 108. Let g be d(-28). Let p(j) = 28*j + 24 + j - 9. Is p(g) a multiple of 11?
False
Suppose 0 = 134*t - 137*t + 3. Is (0 + 56)*(3 + t) a multiple of 4?
True
Suppose 509*h = 515*h - 270. Suppose 3*o + h = 285. Does 8 divide o?
True
Let y(k) = -8*k**2 + 745*k - 105. Is y(81) a multiple of 76?
True
Suppose -2 = 2*u + 3*r + 8, 6 = -3*r. Let g(d) = -d**2 + 1. Let v be g(u). Let a(x) = -3*x**3 - 3*x**2 + 3*x + 3. Is 12 a factor of a(v)?
True
Let j(v) = -v**2 + 165*v + 1752. Let k be j(-10). Suppose -p + 15 = 4*a, 0*p - 3*p + a + 45 = 0. Suppose -k*m = -7*m + c + 348, -p = 5*c. Is m a multiple of 11?
False
Let g = -156 + -362. Let q = g - -1069. Is q a multiple of 29?
True
Suppose -2380 = -d + 28*p - 30*p, -2*p - 2380 = -d. Is d a multiple of 91?
False
Let d be (-6 - -3)/((-1)/6). Suppose 2*u + d*y - 246 = 13*y, y + 588 = 5*u. Is 14 a factor of u?
False
Suppose 0 = 172*i - 173*i + 3. Let n(q) = q - 3. Let j be n(5). Suppose 2*h - 404 = -r + i*r, 4*h - 802 = j*r. Is 13 a factor of h?
False
Let f(j) = 2*j**2 - 13*j - 8. Let s be f(10). Let p = s - -12. Suppose -168 = -77*l + p*l. Does 17 divide l?
False
Let c(m) = 4*m - 32. Let q be c(10). Is 20 a factor of 3*((-8351)/(-21) + q)?
False
Let x(v) = 4*v - 2. Let b be x(2). Let u(d) = d**3 - 3*d. Let m(t) = 4*t**3 - 5*t**2 - 20*t - 3. Let i(w) = m(w) - 2*u(w). Is 33 a factor of i(b)?
True
Let c(v) = 169*v - 92. Suppose 10*n - 40 = -10. Does 7 divide c(n)?
