ide a?
True
Suppose 0 = 2*b - 2 - 2. Suppose 148 = 6*k - 2*k. Is (k/b)/((-1)/(-8)) a multiple of 10?
False
Let g(y) = -y**3 - 6*y**2 + 12*y + 18. Let z be g(-7). Does 19 divide (-476)/(-5) - (-5)/(z - 8)?
True
Let m(y) = 7*y + 167 + 181 - 439. Does 7 divide m(31)?
True
Let x be (-5060)/138*(-432)/(-10). Is (x/24)/(4/(-6)) a multiple of 9?
True
Let i = 125 + -130. Is i/((-247)/123 - -2) a multiple of 16?
False
Suppose -738*r = -607*r - 515223. Does 171 divide r?
True
Let l(o) = 3221*o**3 - o. Let h be l(-1). Let s be h/9 + (-2)/9. Is ((-40)/12 - -3) + s/(-3) a multiple of 17?
True
Suppose -5*z + 5*i + 191 = -z, -126 = -3*z - 2*i. Let c = 196 + z. Is c a multiple of 24?
True
Let f(c) = c**3 - 6*c**2 + 2*c - 4. Let t be 28/(-4) + 4 + 5. Suppose 4 + 8 = t*l. Does 4 divide f(l)?
True
Is 6 a factor of (-6)/(7/(4 + -1173))?
True
Suppose c + 5*h + 19 = 0, 5*h + 10 = -2*c - 8. Suppose -4*k - 25 = k. Is (k/(-4) - c) + (-858)/(-24) a multiple of 34?
False
Let n(j) = 5*j**2 - 6*j - 4. Let i be n(-4). Suppose 0 = -2*g - i + 106. Suppose -g*o = 5*s - 163 - 382, -5*o = -25. Is s a multiple of 12?
False
Suppose 54 = 5*r + 44. Suppose r*p - 191 = 799. Is 33 a factor of p?
True
Suppose 59*h + 620 = 64*h. Let y = h + 25. Does 11 divide y?
False
Let b = -87 - -74. Let f be 3*(-1 + 0)*(0 + b). Suppose -5*x - 3*u = -53, 4*x - f = 4*u - 3. Is x even?
True
Let y(o) = o**3 + 13*o**2 - o + 8. Let s be y(-13). Suppose 3*w = 6, -3*w - s - 302 = -v. Is v a multiple of 17?
False
Let i = -656 - -660. Suppose -3680 = -4*f - i*x, x + 1863 = 3*f - 913. Is f a multiple of 13?
False
Let k(s) = -64*s + 2213. Does 5 divide k(-9)?
False
Suppose 4*v = -4*o + 16, -8 = -v - 5*o - 4. Suppose -5*d = -b - 2339, d + 5*b = -v*d + 2315. Is 55 a factor of d?
False
Let n = 34 - 29. Suppose 12 = k + n*k. Suppose 5*b = 25, -3*b = o - k*o + 76. Is 18 a factor of o?
False
Let h(z) = 5*z**2 - 3*z - 4. Let m = 81 - 84. Let b be h(m). Does 3 divide 30/b*(2 - -28)?
True
Suppose 0 = -4*n, -4*n = -52*o + 51*o + 2937. Is o a multiple of 6?
False
Let r = 129 + -143. Let o(v) = -34*v + 4. Does 32 divide o(r)?
True
Let h = 202 + -165. Suppose -h*g + 42835 - 13346 = 0. Does 11 divide g?
False
Suppose 0 = -2*x + x + 2*b - 31, -140 = 4*x - 4*b. Let i = x - -319. Is 2 a factor of i?
True
Let d = -86 - -88. Suppose -5*p + 112 = -3*g, 5*p - d*g + 3*g = 96. Suppose -29*a - p = -30*a. Is 2 a factor of a?
True
Suppose 3*w - 905 = -191. Let o = -156 + w. Is o a multiple of 2?
True
Let t be (-18)/15*(2 - (4 - 7)). Let w(m) = m**2 - 11*m - 63. Does 12 divide w(t)?
False
Let p be 5 + (5 - 9 - 2) - 6. Let i(b) = -2*b**3 - 6*b**2 - 5*b + 17. Is i(p) a multiple of 37?
True
Let t be 278/(-2) + -50 + 49. Let o = t - -278. Is o a multiple of 6?
True
Is (-1 + -7)/((-70)/54425)*(-12)/(-10) a multiple of 8?
True
Let a be ((-616)/70)/((-2)/35). Suppose -a = -7*w + 70. Is 8 a factor of w?
True
Let n(f) = -564*f + 1580. Does 189 divide n(-31)?
False
Let c = -81 + 86. Let w(g) = -3*g + g + 4*g - c + 6*g**2 - 3*g. Is w(-2) a multiple of 4?
False
Let s be -5 + 10 + (944 + -3 - -5). Suppose 0 = 3*t - 2*n - 2390, 5*t - s - 3069 = -4*n. Is 80 a factor of t?
True
Let z(u) = -69*u**3 - 26*u**2 + 14*u + 22. Is 6 a factor of z(-4)?
True
Let n = -455 - -472. Suppose 5*h - u - 1715 = 0, 12*h + 1720 = n*h - 2*u. Is 19 a factor of h?
True
Does 145 divide 116006/16 - 297/792?
True
Suppose -18*a - 1 = -1261. Let i = 18 + a. Is i a multiple of 9?
False
Let h = 367 + -367. Suppose -81*d + 43*d + 6726 = h. Is 3 a factor of d?
True
Let n(h) be the first derivative of -93*h**4/4 - h + 213. Suppose 4 = i - 5*i. Is n(i) a multiple of 13?
False
Let q(k) = 15*k**2 + 7*k + 107. Let x = -593 + 586. Does 13 divide q(x)?
True
Let x = -4172 + 7647. Is 25 a factor of x?
True
Suppose 5*w + 31*l = 33*l - 1176, -3*l = -3*w - 711. Let o = 384 + w. Is 15 a factor of o?
True
Let u(c) = -c**3 - 2*c**2 + 3*c - 4. Let q be u(-5). Let w be (20 + (12 - 5))/(3/q). Suppose -5*v + w = -381. Is v a multiple of 17?
False
Let s(l) = -37*l - 5. Let n be s(-1). Is 15 a factor of 1 + n*10 - 33/(-11)?
False
Suppose 3*f - 1025 = 2695. Let z(r) = -343*r - 679. Let d be z(-2). Suppose 358 = -d*t + f. Is 19 a factor of t?
False
Let b = -70 + 76. Suppose 0 = b*x - 11*x + 25. Suppose -k + 2*k + 2*d - 23 = 0, 0 = -x*k + 4*d + 115. Is k a multiple of 5?
False
Let c be (20/30)/(-4*(-3)/(-18)). Is (c + (-28)/(-8))*14 a multiple of 18?
False
Is 4 a factor of (-2)/8 + ((-1569320)/32)/(-5)?
True
Let i be (10 - -26)*(1 + 200/(-3)). Let v be (3/(27/(-6)))/((-8)/i). Let l = -152 - v. Is l a multiple of 5?
True
Is 117 a factor of -12 + 17 - (2 - 18712)/2?
True
Let j = -47 + 630. Suppose -17*h + 4619 = -j. Is h a multiple of 22?
False
Suppose -32829 = -148*v + 298220 - 10481. Is 11 a factor of v?
False
Suppose 5*s + 13 = 2*u - 1, 7 = u + s. Let y be -1*0/(u - 3). Suppose 2*x - k = 7, 2*x - 4*x + 5*k - 5 = y. Does 5 divide x?
True
Suppose -2*k = 5*o - 7883, o = -4*o - 5*k + 7895. Suppose 15*h - 18*h = -o. Does 60 divide h?
False
Let k(i) = i**2 + 25*i + 42. Let b be k(-2). Is 30 a factor of (1912/(-24))/(b/24)?
False
Suppose 637090 + 166310 = 25*x. Is x a multiple of 18?
False
Suppose 62488 = 22*n + 87*n - 2*n. Is n even?
True
Suppose -r + 0 = -9. Let w = -48 - r. Let c = -27 - w. Is 7 a factor of c?
False
Let j(o) = -266*o - 1102. Is 58 a factor of j(-29)?
True
Suppose 262*m - 254*m = 45936. Is m a multiple of 66?
True
Suppose c + 31*c - 37760 = 0. Let h = -643 + c. Is 17 a factor of h?
False
Let y = -317 - -194. Let i = y - -125. Suppose 51 = f - 3*q + 12, 54 = f + i*q. Does 12 divide f?
True
Suppose -46*b = -41*b + 2850. Let a = b + 815. Does 7 divide a?
True
Let r = -81 - -106. Let t(q) = -q**3 + 26*q**2 - 27*q + 44. Let h be t(r). Does 13 divide (-212*2/(-6))/((-2)/h)?
False
Suppose 42*w - 43*w + 5*d + 8070 = 0, -d - 32261 = -4*w. Is w a multiple of 101?
False
Is (-7)/5 + (-344498)/(-70) a multiple of 10?
True
Let x be ((-48)/45)/8 + 394/30. Suppose -3*h + 2*h = x. Let v(c) = -2*c - 18. Is 4 a factor of v(h)?
True
Suppose -58*c = -360323 + 54431. Does 2 divide c?
True
Let n(m) = m**3 - m**2 + 7. Let x be n(0). Suppose 597 = x*c + 65. Is 4 a factor of c?
True
Suppose -27*h + 29*h + 5*n - 15434 = 0, -4*n = h - 7720. Suppose 38*v = -h + 39632. Does 40 divide v?
True
Let d be (-48)/(-120) + 1*(-46)/(-10). Suppose -24 = -d*w - 3*p, 7*w + 5*p = 5*w + 2. Is 29 a factor of w/(-6) + 468/3?
False
Let g = -1981 + 3295. Is 2 a factor of g?
True
Let z(t) = 90*t**2. Let d(h) = h**2 + 3*h + 1. Let a be d(-1). Let s be z(a). Is (-216)/s*-1*15 a multiple of 12?
True
Let d(g) be the second derivative of -g**5/20 - 5*g**4/3 + 31*g**3/6 - 38*g**2 - 24*g + 3. Is d(-23) a multiple of 57?
True
Let f = 22 + -31. Let v(z) = 4*z + 36. Let d be v(f). Suppose 7*k + 3*k - 190 = d. Is 19 a factor of k?
True
Suppose 16373 = k + 5*g, -k = -4*k - 2*g + 49106. Does 264 divide k?
True
Let z(d) = 14*d - 290. Let l be z(21). Suppose -3*u - l*g + 854 = 0, 5*g = -2*u - 0*u + 581. Is u a multiple of 67?
False
Let t(n) = 2*n + 8. Let c be t(-4). Suppose -2*f - f - 3 = c. Let g = f - -16. Is g a multiple of 11?
False
Let a = -24872 - -9122. Does 12 divide (-2)/(-4) + (a/12)/(-3)?
False
Suppose u - 7 = 67. Suppose 3*b - 124 = u. Suppose b = -7*d + 262. Is d a multiple of 12?
False
Suppose 0 = 62*c - 3348 - 5332. Is 70 a factor of c?
True
Let m be 619 + 2/4*0/(-3). Let i be m/9 - 2/(-9). Suppose 13 = 5*b - 2, 0 = -3*r + 2*b + i. Does 12 divide r?
False
Is 25 a factor of (-5545400)/714*(21/(-6) - 1)?
True
Let a(j) = j**3 + 3*j**2 + 6*j + 2. Let p be a(-4). Suppose 57*g = -12*g + 138. Does 10 divide 4*g/(-16)*p?
False
Suppose -25 = -3*r - 2*r, 0 = -3*f + 4*r + 55. Let v be (40/f)/((-1)/(-5)). Let l = v - -7. Is l a multiple of 2?
False
Let u be -7 + 6 - (-1414 + 0) - -5. Suppose 0*m - 714 = -2*m + 5*z, u = 4*m - 5*z. Is m a multiple of 22?
True
Let v(j) = -10*j**2 - 1517*j - 176. Does 199 divide v(-109)?
True
Suppose -18*z = -24553 + 5221. Does 2 divide z?
True
Let j(m) = -215*m**3 + 2*m**2 - m - 1. Let l be j(-1). Suppose l*g - 215*g = 172. Is 40 a factor of g?
False
Suppose 344 = 6*m - 40. Let v(p) = p**2 - 17*p + 11. Let y be v(11). Let c = m + y. Is 8 a factor of c?
False
Let m(n) = -1963*n - 1648. Is m(-28) a multiple of 13?
False