 -43*l - 3319 + 13510 = 0. Let p(j) = 38*j**2 - j + 3. Let o be p(-3). Let v = o - l. Is 33 a factor of v?
False
Let u = 55273 + -29133. Is u a multiple of 218?
False
Suppose 5*m + 3894 - 1464 = 0. Let p = m + 774. Is 36 a factor of p?
True
Suppose 111*r - 80791 = 165754 - 73385. Is r a multiple of 130?
True
Let m = 48 - 104. Let r be ((-1758)/(-21))/((-8)/m). Suppose 0*w - r = -4*d + 5*w, -4*d = w - 574. Is d a multiple of 18?
True
Let x(r) = r**3 - 36*r**2 + 69*r - 30. Let o be x(34). Suppose o*g = 506 + 3766. Is g a multiple of 89?
True
Suppose 521420 = 114*q - 56*q. Is q a multiple of 145?
True
Suppose 2*l - 7*s + 4*s = 3168, -2*s - 6320 = -4*l. Is l a multiple of 19?
False
Let q(x) = x**3 - 4*x**2 + 8. Let v be q(4). Suppose -v*p + 154 = -38. Is 2 a factor of p?
True
Let y = 2399 + 1003. Is 18 a factor of y?
True
Is -2 + 1 - ((-472352)/29 - -15) a multiple of 6?
True
Let j = -874 - -880. Suppose -4*h - 3*w - 2 - 1 = 0, -4*h - 6 = 2*w. Is 47 a factor of (-374)/h - (-2)/j?
False
Let w = -648 + 670. Suppose 6937 = w*h - 2413. Is 3 a factor of h?
False
Suppose c + 2*c - 4277 - 9097 = 0. Does 4 divide c?
False
Let z = -1417 - -2566. Suppose 4*i = -5*h + 5*i + z, -h - 3*i = -233. Does 10 divide h?
True
Let z(b) = 525*b**2 + b + 2. Let a be z(1). Suppose a = 3*c + 24. Is c a multiple of 7?
True
Let q be -3 - (2 - 6) - -9. Suppose -448 = -14*j + q*j. Suppose 0 = 6*d - 448 + j. Is d a multiple of 41?
False
Suppose 0 = -19*z + 25*z - 36. Is 63 a factor of (-68)/(-51) - (-12088)/z?
True
Suppose 84*b = 42135 + 105957. Is 10 a factor of b?
False
Let b be 8/(-52) + (-510)/65 - -2. Does 13 divide 7/21 - (11752/b + -3)?
False
Suppose 4*h + 291 = 8*h - 5*p, -4*h = -3*p - 301. Suppose -2*w + h = -135. Does 29 divide w?
False
Let d(z) = -3 - 15 - 6*z + 11 - 10*z**2. Let k(j) = 1. Let b(o) = -d(o) + 2*k(o). Is 19 a factor of b(4)?
False
Let q(c) = 4*c - 4. Let b(d) = -7*d + 7. Let s(m) = -3*b(m) - 5*q(m). Let a(w) = 4*w + 33. Let z(p) = 2*a(p) - 4*s(p). Is z(0) a multiple of 7?
True
Let i(g) = 7*g + 11*g + 11 - g. Let s be -8 + 4 + 4 + 3. Is 21 a factor of i(s)?
False
Suppose 3374 = -4*h - i, -h + i - 2*i = 842. Let y = h - -1429. Does 65 divide y?
True
Let y(v) = -43*v + 4 + 4 + 125*v + 79*v. Does 11 divide y(2)?
True
Suppose -23*h + 146329 = 5*h - 69271. Is 7 a factor of h?
True
Let i = -38 + 41. Let n be ((-13)/(-3))/(i/(22 - -5)). Does 4 divide -6*(-1)/n - 258/(-13)?
True
Let u = 57744 - 28818. Is u a multiple of 29?
False
Let v(q) = 9*q**3 + 4*q + 1. Let f(p) = -19*p**3 + p**2 - 7*p - 1. Let r(z) = -3*f(z) - 7*v(z). Is r(-4) a multiple of 72?
True
Let k(n) = -n**3 + 10*n**2 + 11*n - 5. Let p = -44 + 55. Let u be k(p). Does 4 divide (-2*2*2)/(u + 4)?
True
Suppose 175000 = 356*t - 331*t. Is 47 a factor of t?
False
Let b be 36/24*20/3. Is 357 - (3 - (b + -4)) a multiple of 72?
True
Suppose -2*u + 10*u - 48 = 0. Suppose u*q = -q + 98. Let p(a) = -a**2 + 25*a - 42. Does 8 divide p(q)?
True
Let f(v) = -39*v**3 + 3*v**2 + 3*v + 2. Let t be f(-2). Suppose z = -2*m + 168, 2*m + 2*m = 2*z + t. Suppose h = 5*u - m, -4*h + 1 + 7 = u. Does 6 divide u?
False
Is 23 a factor of (-802125)/(-46) - (-14)/(-4)?
True
Let f(y) = 3*y**2 + 8*y - 6. Let g be f(-6). Let t = -173 - -177. Suppose 0 = -t*r + 278 - g. Does 7 divide r?
True
Is (4 - (-148)/8)*(18601/33 + -9) a multiple of 160?
True
Let k(t) = 3*t**3 + 6*t**2 + 8*t + 25. Let p(m) = m**2 + 2*m + 2. Let h(a) = k(a) - 6*p(a). Is 21 a factor of h(4)?
True
Suppose -16*k - 30*k = 27*k - 33580. Is k a multiple of 6?
False
Let h be (98/(-63))/7 + (-20650)/(-18). Suppose -7*g + 435 = -h. Does 52 divide g?
False
Let x(r) = 571*r + 699. Does 17 divide x(7)?
False
Let k(s) = -178*s**3 + 31*s**2 + 118*s - 49. Is k(-5) a multiple of 13?
True
Let w be (-1)/((-3)/(2 - -22)). Suppose 2625 = 7*v + w*v. Is 23 a factor of v?
False
Let b = -592 - -597. Suppose 15 = 5*k, -b*h + 5*k + 2462 + 2398 = 0. Is h a multiple of 39?
True
Let v(q) = 0*q + q**2 + 3 - 2*q**2 - 4*q - 25. Let k be v(-10). Let a = -58 - k. Does 24 divide a?
True
Suppose 0 = 813*u - 801*u - 61488. Does 21 divide u?
True
Let b(r) = -4*r**3 + 22*r**2 + 93*r - 31. Does 26 divide b(-7)?
True
Does 16 divide (18/(-4))/(1 + -1 + 23/(-22816))?
True
Let l(o) = o**2 - 8*o - 63. Let c be l(11). Is 45 a factor of (-3296)/c - (-16)/120?
False
Suppose -4*r = h - 28, -3*r + 8*r + h - 34 = 0. Let k be (-1 + -47)/(r/(-45)). Suppose k = -4*j + 14*j. Is 6 a factor of j?
True
Suppose -1320 = r - 9*r. Let b = r + -63. Suppose 0*v - 2*v + 3*g = -b, -2*v - g + 94 = 0. Is 24 a factor of v?
True
Let z(u) = -u**2 - 30*u + 109. Let j be z(-32). Suppose -j*n + 44*n + 180 = 0. Is n a multiple of 9?
True
Let l(m) = m**2 - m**3 + 10*m + 4*m**2 + 16 + 4*m**2 - m**2. Is 2 a factor of l(9)?
False
Suppose -3*b - d - 21 = -8*b, 12 = 2*b - 4*d. Suppose 0 = -b*m + 2*v - 7*v + 181, 5*m + 3*v = 210. Let r = 7 + m. Does 23 divide r?
True
Let g = -5064 + 7584. Is 105 a factor of g?
True
Suppose -337 = -4*v + 215. Suppose -21*r + 20*r = -2, 4*r = -2*f + v. Is f a multiple of 14?
False
Suppose 11*q + 21980 = 21*q. Suppose 2452 = 15*j - q. Is 9 a factor of j?
False
Let q(f) = 1919*f + 638. Is q(6) a multiple of 113?
False
Let p be 36/(-90) - (-1208)/(-5). Let g be -5 + p/(-34) - 2/17. Suppose -g*y + 55 = -5*s - 455, -3*y + 765 = 4*s. Does 51 divide y?
True
Let q(c) = -9*c - 63. Let a be q(-9). Let z be 562/5 - a/45. Let s = z + -34. Is s a multiple of 13?
True
Let q(y) = y**3 + y**2 + 30. Suppose h - 36 = 4*h. Let o = 12 + h. Does 5 divide q(o)?
True
Let n = -7 - -7. Let p(v) = 13 + 17 + 49910*v - 49908*v. Does 11 divide p(n)?
False
Suppose 7101549 = 94*t + 1607061. Is t a multiple of 97?
False
Let x be 300/(10/2) - (-24)/(-8). Suppose 2*v - t = 1109, 3*t + x - 60 = 0. Is v a multiple of 40?
False
Suppose 5*z + 3*x = 32709 - 3537, 2*z - 11676 = -3*x. Is 8 a factor of z?
True
Let f = 3 + 0. Suppose f*b = 8*b - 15. Suppose t - 4*t + b*h = -258, -5*h = t - 92. Is t a multiple of 11?
False
Let k(f) = -12*f + f + f - 4 - f**2. Let q be k(-10). Let d = q - -12. Is d a multiple of 6?
False
Let h = 36478 + -22304. Does 19 divide h?
True
Let k = 19074 + -15522. Is k a multiple of 16?
True
Let j(u) = u**3 - 18*u**2 + 42*u - 39. Let a be j(16). Let i = 421 - a. Does 75 divide i?
True
Let x(k) = 23*k**2 - 56*k + 137. Let l(m) = 7*m**2 - 19*m + 46. Let a(w) = 7*l(w) - 2*x(w). Is 6 a factor of a(12)?
True
Let v(h) = h**2 + 21*h - 46. Suppose 0 = -13*f + 15*f + 8. Let w be (f/(-5))/(15/(-450)). Does 16 divide v(w)?
False
Let u = 837 + -841. Let h(v) = -65*v - 80. Does 6 divide h(u)?
True
Suppose -48 = -3*p + 60. Let r = 39 - p. Is 15 a factor of (r/4)/(6/(-1200)*-2)?
True
Suppose -62*g - 56587 + 235333 = 0. Is g a multiple of 31?
True
Let x = -31 + 31. Let k be ((x - 0)/3)/(-4 - -2). Suppose -3*o + 5*t + 25 = k, 2*o - t + 2*t - 34 = 0. Is o a multiple of 15?
True
Let i = 28891 + -17121. Is i a multiple of 55?
True
Let u(z) = 3*z**3 - 10*z**2 - 8*z - 58. Is u(11) a multiple of 3?
True
Suppose -4*x = 2*r - 16, x = r - 4*x - 8. Suppose 0 = 6*s - 2*s - 828. Suppose r*p = 11*p - s. Does 11 divide p?
False
Let r = -5057 - -5615. Does 16 divide r?
False
Let u = -13612 + 39520. Does 34 divide u?
True
Let r(a) = 68*a - 35. Let t be r(-10). Let f = -1003 - t. Let g = -186 - f. Is g a multiple of 26?
False
Let j = -3 + 33981. Is j a multiple of 14?
True
Is (-8045)/4*(-944)/295 a multiple of 17?
False
Suppose d - 6*d + 15 = 0. Suppose -180 = -3*z + d*l - 9, 5*z = -l + 267. Does 7 divide z?
False
Suppose 5*n - 5098 + 216 = 2*z, 0 = -3*n - 4*z + 2950. Is 4 a factor of n?
False
Suppose -2*d - 7*j + 18 = -9*j, 3*j + 15 = d. Suppose d*x - 19 = 209. Let b = x + -3. Does 7 divide b?
True
Suppose 1434 = -8*u - 286. Let h = -95 - u. Is h a multiple of 40?
True
Let m be 9*8/(-24) + 15/1. Is m/(-3 + 6) - -31 a multiple of 2?
False
Let n = -8268 - -19610. Is n a multiple of 107?
True
Suppose 29*g - 116810 = 27784. Is g a multiple of 9?
True
Let n be (2/(-2) + -28)*(-69)/69. Suppose 25*s - n*s = -336. Is s a multiple of 4?
True
Suppose -3*o - 2*d + 6892 = 0, 2288 = 21*o - 20*o + 2*d. Is 2 a factor of o?
True
Suppose -5515 = -4*v - i, -6910 = 4*v - 9*v + 2*i. Is v a multiple of 5?
True
Let r = -290 + -57. Suppose -2*c - 436 = 2*c. Let o = c - r. Is o a 