0 = -241, 2*d - 3*x = -266. Let j = d + 499. Is 6 a factor of j?
True
Let w(z) = 3*z + 140. Let q(x) = 4*x + 142. Let v(g) = -4*q(g) + 5*w(g). Is 88 a factor of v(-21)?
False
Let w(c) = c**2 - 18*c + 38. Let d be w(16). Suppose d + 186 = 4*o. Is o a multiple of 12?
True
Let v(g) = -10565*g**3 - 2*g**2 - 276*g - 275. Is v(-1) a multiple of 158?
False
Let u = -2319 - -2332. Does 3 divide u?
False
Is 69 a factor of -14 + 9381/5 + 4/5?
True
Let y = -21 + 117. Suppose 729 = -93*x + y*x. Is 6 a factor of x?
False
Suppose 3*q + 5*x - 29289 + 8168 = 0, -5*q - x + 35231 = 0. Is 29 a factor of q?
True
Let m = -69 - 3081. Is 55 a factor of ((-132)/(-10))/((-36)/m)?
True
Suppose 0*r - 41 = 4*r + a, 4*a = -r - 14. Let v = 91 - -16. Let c = v + r. Is c a multiple of 30?
False
Suppose -103*a - 354 = 74*a. Let o = 22 - 16. Is 7 a factor of 2 - (a + o + -51)?
True
Suppose 76 = -41*d + 42*d. Let a = d + -55. Suppose -420 = a*o - 24*o. Is 14 a factor of o?
True
Let m(d) = 51*d**3 + d - 2. Let i be 0*(-1)/2 - -1. Does 50 divide m(i)?
True
Suppose 2*b = 2*m - 3064, 4*m + 10*b - 12*b = 6132. Is m a multiple of 40?
False
Suppose 6*o + 7 = 79. Let w be (o/42)/((-2)/(-28)). Does 10 divide 10*3 + (7 - w)?
False
Is ((-7594)/6)/((-22)/132) + -4 a multiple of 23?
True
Suppose -7*d + 8*d = -x + 14515, d - 14524 = 2*x. Is 34 a factor of d?
True
Let y = 38 + 24. Suppose -3*d - g = -y, -2 - 3 = 5*g. Suppose -24*f = -d*f - 417. Is 8 a factor of f?
False
Let b(g) = -g**2 - 19*g - 21. Let l be b(-15). Let u = l + -43. Is (u + 2)/((-3)/81) a multiple of 27?
True
Let b(w) = -906*w - 3444. Is 10 a factor of b(-13)?
False
Suppose 5*g + 1 = 3*u, -2*g + 4*g = -2*u + 6. Let k(q) = 57*q + 343. Let o be k(-5). Suppose 2*x - u = o. Is 2 a factor of x?
True
Suppose 0 = -5*t + 4*s + 155, 106 = 3*t + 3*s - 8*s. Let y = 57 - t. Suppose -2*l + 86 = i + y, l = -5*i + 253. Is 16 a factor of i?
False
Let a(i) = -130*i**3 - 64*i**2 - 8*i - 10. Is a(-3) a multiple of 11?
True
Does 29 divide 9910/(-13*6*(-5)/195)?
False
Suppose 4580 - 5036 = -p. Does 5 divide p?
False
Let k = 16 - -14. Is (-15)/k - (-2)/4*137 a multiple of 17?
True
Let i = 17270 + 7551. Is 71 a factor of i?
False
Let s(k) = 321*k - 709. Does 37 divide s(91)?
False
Let b(i) = -i - 9. Let n be b(-4). Let a be (4 + -3 - (-16)/(-10))*n. Does 22 divide ((-6)/27*a)/((-2)/72)?
False
Let q = 205 - 205. Suppose 5*g - 5*a = 600, q = -4*g - g - a + 576. Does 4 divide g?
True
Let t(u) = 2*u**3 - 19*u**2 + 11*u - 16. Let r be t(9). Suppose -4*x = 12, -r*m - 5*x + 3185 = 3*m. Does 20 divide m?
True
Suppose 0 = 7*n - 6*n + 3, 0 = -3*j - 4*n. Let x(w) = 3*w**2 + w. Let q be x(-1). Suppose -3*t + 37 = j*c, 0 = -2*c + 2*t + q*t + 46. Is 13 a factor of c?
True
Let a = 178 - 70. Let d be 2 + a/15 + (-1)/5. Let n = 29 - d. Does 3 divide n?
False
Let g be 365/(-10)*(-2 - 4). Let n(f) = f**2 + 4*f + 379. Let j be n(0). Let q = j - g. Does 32 divide q?
True
Suppose -3*n + 60 = 3*j, -16*n + 15*n - 4 = -5*j. Let i be (-8)/12 + 262/6. Suppose i = b + n. Is 9 a factor of b?
True
Let s(w) = -5*w + 1450. Does 14 divide s(-18)?
True
Let r = 441 - 289. Let p = r - 78. Is p a multiple of 7?
False
Let j = -314 + 308. Does 33 divide j/(18/(-3)) + 395?
True
Suppose -28*u + 9*u + 9 + 48 = 0. Suppose 0 = -3*d + d + 100. Is 14 a factor of 5780/d + u/(30/4)?
False
Let q(u) = -u**2 - 6*u - 8. Let i be q(-4). Let w be 6/(i - (-3 - -2)). Suppose 86 = d + 4*a, -w*a + 90 = d - a. Is d a multiple of 13?
False
Suppose 2*u + 4*r - 26 = -r, 4*u - r - 8 = 0. Suppose 0 = -5*c + 28 - 3. Suppose 97 = c*n - m, -u*n - m - m = -53. Does 5 divide n?
False
Is (-89577)/(-21) + 2 + (-3 - (-96)/28) a multiple of 11?
True
Suppose -t = 2*i - 18842, -641*i = -643*i + 3*t + 18834. Is 15 a factor of i?
True
Let l(a) = 11*a**3 + 45*a**2 - 521*a - 10. Does 35 divide l(9)?
True
Let t be 6/(-15) + (-4)/(-10). Suppose -5 = -4*o - 5*p, 4*p = 4 - t. Suppose -6*c - 8 + 416 = o. Does 9 divide c?
False
Is 7 a factor of (-496926)/(-198) - 18/(-66)?
False
Let t = -61 - -62. Does 14 divide 97*(-1 - (-1 - t))?
False
Suppose -2*v - 943 = -3*b, -2*b - b - 3*v + 948 = 0. Let z be 3/6 - b/10. Let l = z - -146. Is l a multiple of 23?
True
Let l = 1381 + -139. Does 151 divide l?
False
Let m(y) be the second derivative of -y**5/20 - y**4/2 + 8*y**3/3 + 12*y**2 - 152*y. Is 24 a factor of m(-8)?
True
Let l(y) = -4*y**2 - 4*y + 7. Suppose 3*g - 7*g = 8. Let b(p) = 3*p**2 + 3*p - 6. Let m(x) = g*l(x) - 3*b(x). Is m(0) a multiple of 4?
True
Suppose 94 = 2*n + 46. Suppose -269 = 5*s - n. Let i = s + 54. Does 5 divide i?
True
Let z(d) = -d**2 + 6*d - 2. Let k be z(5). Suppose o + 36 = k*o. Suppose -o*m + 860 = -8*m. Is 25 a factor of m?
False
Let w = 3 - -1. Let f be (-1 - 2)*(1/1 + 0). Does 3 divide (f*(-2)/w)/((-3)/(-26))?
False
Let k(c) be the first derivative of -8*c**2 - 97*c - 71. Does 10 divide k(-8)?
False
Does 297 divide 78998/14 + 594/2079?
True
Let b = -211 + 559. Let j = b - -99. Is j a multiple of 23?
False
Let q(a) = 2*a**2 + 13*a - 30. Let r be q(6). Does 13 divide -1014*((-12)/r + 14/(-60))?
True
Let m(j) = 250*j**3 - j**2. Let b be 9/(-27)*-1*3. Let x be m(b). Let k = -178 + x. Does 5 divide k?
False
Let s be (-1 - 0/(-1)) + 5. Let w(b) be the third derivative of 15*b**4/8 - 7*b**3/3 - 1050*b**2. Is w(s) a multiple of 49?
False
Let l = 143 + 63. Suppose l*y - 204*y = 938. Is 67 a factor of y?
True
Let d be 406/10 + ((-172)/20 - -9). Suppose 42*b = d*b + 67. Does 2 divide b?
False
Suppose -37*h + 222050 = -114946. Is 132 a factor of h?
True
Does 10 divide 4067 + -11 + ((-6)/(-75) - 196/(-50))?
True
Suppose -3*d + 2*n = -13, d - 4 = 2*n + 3. Suppose 5*p - v = 521, 2*p + 4*v = d*p - 89. Is p a multiple of 35?
True
Suppose 0 = 6*k - 12*k + 54. Does 19 divide (-170)/(-6) - (-6)/k?
False
Suppose 0 = 4*j - 3*a - 38, a - 14 = -7*j + 5*j. Let w be j/(-12) - (-20)/(-6) - 2. Let q(p) = -9*p + 14. Does 14 divide q(w)?
False
Let u = -204 + 119. Let h = u - -143. Let q = -54 + h. Is q a multiple of 4?
True
Let i be (-12)/(-90) + 4534/(-30). Let s = -43 - i. Suppose -7*b - s = -10*b. Is b a multiple of 18?
True
Let a(b) = -9 - 14*b + 26*b + 3*b**2 - 173*b**3 - 19*b. Does 4 divide a(-1)?
False
Let z be 60/8*(2 - (-30)/(-9)). Let w = 9 + z. Does 22 divide w + 625/15 + 2/(-3)?
False
Let x(u) = u**3 - 20*u**2 + 23*u - 114. Let g be x(20). Let m = g + -149. Is m a multiple of 10?
False
Suppose 0 = 31*f - 28*f - 378. Suppose -5*h = 10, -a + 9*h = 4*h - f. Is a a multiple of 9?
False
Let w be (-1 - -4 - 10 - -3) + 4. Suppose w = 5*l - 9*l + 308. Is 17 a factor of l?
False
Suppose 0 = 12*l + l - 79105. Is 32 a factor of l?
False
Suppose -7*h - 19 = -19. Suppose h = 4*g - 32 - 176. Does 11 divide g?
False
Suppose 5*t - 2*v - 168996 = 0, 0 = -4*t + 12*v - 8*v + 135216. Is t a multiple of 24?
False
Let v(s) = s**3 + 12*s**2 - 17*s - 20. Let u be v(-13). Suppose u*z = 35*z - 51. Does 3 divide z?
False
Let r = 16478 - 9263. Is 76 a factor of r?
False
Let c(s) = -23*s + 44. Let i be (-162 + 7)/5 + 7. Is 13 a factor of c(i)?
False
Let z = -8438 - -14843. Is 21 a factor of z?
True
Let y(g) = g**2 + 3*g - 25. Suppose 3*o + 3*x + 26 = -o, 5*x + 30 = -5*o. Does 15 divide y(o)?
True
Let j be -6 - (7 + -6 + 549). Let h = -16 - j. Is h a multiple of 54?
True
Let n(o) = 75*o**2 + 6*o + 6. Let w be n(-1). Does 24 divide 54050/w - (-4)/(-6)?
True
Suppose 13*k - 254486 = -8*k - 17*k. Does 28 divide k?
False
Let i = -21127 - -36587. Is 13 a factor of i?
False
Suppose 19*n - 2*n = -153. Let s(y) be the second derivative of -y**5/20 - 7*y**4/12 + 2*y**3/3 - 11*y**2/2 - y. Does 20 divide s(n)?
False
Suppose 104*t - 225950 = 418744 + 55018. Is t a multiple of 99?
False
Let q = -118 - -48. Let x be 5/(q/(-4)) + (-2512)/(-28). Let f = x + 28. Does 29 divide f?
False
Let d(g) be the third derivative of -11*g**2 + 1/12*g**4 + 19/3*g**3 + 0 + 0*g. Is 20 a factor of d(-9)?
True
Let z = -245 - -246. Does 19 divide 7338/(-12)*(z - 6/2)?
False
Let g = 46 - 42. Suppose 2*m + y = 4, g = 7*m - 2*m + 4*y. Suppose -4*p - 4*i = -868, 6*i - 3*i = -m*p + 869. Is p a multiple of 12?
False
Let m be ((-1)/3)/(3/9). Let t(n) = 15*n**3 - 2*n**2 - 2*n - 1. Let w be t(m). Is -1 + 32 - (w + 14) a multiple of 26?
False
Suppose 189*j - 260*j = -547623. Is j a multiple of 9?
