+ 3). Suppose -3*r = -2*u + 130, -7*r = -y*u - 3*r + 128. Is u a multiple of 11?
False
Let d(o) = 100*o**2 - 25*o + 125. Is d(9) a multiple of 23?
False
Let s(m) = 47*m**2 - 164*m - 1548. Does 6 divide s(-12)?
True
Suppose 0 = 10*v - 60019 - 98227 + 35216. Is 20 a factor of v?
False
Let i(p) = -2544*p - 287. Does 17 divide i(-9)?
False
Suppose -5*x = 3*i - 18, -4*i - 2*x + 6 = -32. Suppose 2*d = i*d - 45. Suppose -5*m - 64 = -4*a - m, m + 68 = d*a. Is a a multiple of 2?
False
Is 14 a factor of 3869 - 8/(4*(-2)/8)?
False
Suppose -a + 9362 = 5*f + 3267, 4*f - 4877 = -a. Does 11 divide f?
False
Suppose -778849 + 186046 = -165*x + 526062. Is 211 a factor of x?
False
Let a(b) = b**3 - 8*b**2 + 4*b + 12. Let y = 116 + -95. Let v be 174/y + -3*(-2)/(-21). Does 4 divide a(v)?
True
Let b(m) = -m**2 + 6*m + 63. Let c be b(12). Let z(r) = -51*r + 27. Does 23 divide z(c)?
False
Suppose 5*a + b - 18548 = 0, -2*a + 5*a = 3*b + 11118. Is 27 a factor of a?
False
Suppose -o = 3*w + 16, -w + 14 = -o - 3*w. Does 14 divide (-5)/o - 861/(-12)*6?
False
Let l = -6 + 9. Suppose -l = -3*b - z - 18, -19 = b + 5*z. Does 8 divide (-4)/(3 + 2/b + -3)?
True
Suppose 4*o + 2*x + 154 = 0, o - 56 = 2*o + 4*x. Let f = o + 62. Suppose 114 = 4*l + f. Does 11 divide l?
True
Let f(j) = 10*j**2 - 8*j - 38. Let u(p) = 4*p + 39. Let x be u(-8). Is f(x) a multiple of 11?
True
Let k(d) = 12*d + 252. Let q be k(30). Suppose 5*x = -4*y + 284 + q, 0 = -y - 5*x + 224. Is y a multiple of 14?
True
Let r be 2*(-2)/16 + 305/4. Let x = r - -149. Is 75 a factor of x?
True
Let n be 5/2*((-148848)/(-20) + -8). Suppose -21*h + n + 8903 = 0. Is 102 a factor of h?
False
Let b(x) = -2*x**3 - 38*x**2 + 31*x + 30. Let f = 179 - 199. Is 10 a factor of b(f)?
True
Suppose 8*z - 59 + 27 = 0. Suppose 5*j - 68 = 4*j + 4*b, z*j - 323 = -b. Does 2 divide j?
True
Suppose 4*t = -t - 5*i - 355, -4*t - 292 = -4*i. Let l = t + 89. Let y = 22 + l. Is y a multiple of 13?
True
Suppose -25 = -5*o, 6*z - 25 = z - 3*o. Let i(a) = -17*a + a**z + 19*a + 2 - 4 + 8*a**2. Is i(-2) a multiple of 5?
True
Is (-272)/51*92505/(-28) a multiple of 17?
False
Is (16549/(-91))/(3/(-21)) a multiple of 4?
False
Suppose 0 = -3*c + 3*y + 3, -y + 19 = -5*c + 24. Suppose 599 = 4*h - c. Is h a multiple of 5?
True
Let k = -70 - -82. Let l(a) = -2*a + 23. Let v be l(k). Does 6 divide v/(-2)*(5 - -97)?
False
Suppose -94 = -5*y + 6. Suppose 5*o - 4*c = 1772, -25*o + c + 1763 = -y*o. Does 11 divide o?
True
Suppose -21*q = -15*q - 318. Let c = 58 - q. Suppose 0 = c*f - 1267 + 67. Does 20 divide f?
True
Let x = -16780 + 23800. Is x a multiple of 130?
True
Suppose -3*m - 8*q + 9*q = 28, m + 4*q - 8 = 0. Let o be ((-69)/(-6))/((-4)/8). Let x = m - o. Is x a multiple of 3?
True
Suppose 5*s - 3*b - 23 - 29 = 0, 0 = -5*s - 4*b + 59. Suppose -11 = -q - s. Suppose q = 18*l - 20*l + 70. Is l a multiple of 21?
False
Suppose 31 = 2*z - 19. Suppose 22*m = z*m - 306. Is (m/9)/((-12)/(-630)*5) a multiple of 11?
False
Let t(l) be the second derivative of -l**5/60 + 2*l**4/3 - 5*l**3/2 - 7*l**2 + 12*l. Let c(k) be the first derivative of t(k). Is c(14) a multiple of 13?
True
Let l be (-10)/15 + (-10716)/(-36). Let b = 348 - l. Is 4 a factor of b?
False
Suppose -2*p = -u + 1244, 42*u - 46*u = -p - 4927. Is u a multiple of 123?
True
Let h = 5682 + 5171. Does 37 divide h?
False
Suppose 6*i + 793 - 319 = 0. Let f = i + 121. Suppose a + f = -b + 167, -3*a + 369 = -3*b. Does 13 divide a?
False
Let a = -91 + 93. Suppose a*w = 3*c + 436, -4*w - 89 = 3*c + 371. Let r = -33 - c. Is r a multiple of 20?
False
Let n = -14 + 1. Let k(w) = -w**3 - 15*w**2 - 28*w - 17. Let x be k(n). Suppose x*m = 775 + 1187. Is m a multiple of 40?
False
Let p(y) = -y**2 - y - 9. Let o be p(-3). Let a be (-114)/o - (-6)/15. Does 17 divide (84/a)/((-1)/(-14))?
False
Suppose 0 = 2*c + 2*d - 8564, 4*c + 0*c + 2*d - 17134 = 0. Suppose -887 = -6*z + c. Is z a multiple of 39?
False
Let w(g) = 30557*g**3 - 4*g**2 - 10*g + 11. Is 108 a factor of w(1)?
False
Let f = 47 + -31. Suppose f = -i - i. Does 7 divide 6/i + (-230)/(-8)?
True
Is 36 a factor of 335550/39 - (120/234 + 30/(-45))?
True
Suppose 116*p - 395501 + 85444 = 149071. Is p a multiple of 9?
False
Suppose 5*t = -0*h - 4*h + 2, 5*t - h = -13. Is (-2 - 48)*(-5 + (1 - t)) a multiple of 4?
True
Let n = 34780 - 27994. Is n a multiple of 71?
False
Let c(v) = -v**3 - 70*v**2 + 9*v - 170. Is c(-75) a multiple of 44?
True
Let k(h) = 33*h**2 + 6*h + 5. Let i be (0 - -1)/(-1)*(-1 + 1). Suppose -5*a - 3*m + 3 - 19 = i, -2*a + m = 2. Is k(a) a multiple of 23?
False
Suppose 3*l - r - 2 - 17 = 0, 3*r - 20 = -2*l. Let j = 154 - 123. Suppose l - j = -3*w. Is 7 a factor of w?
False
Let j = 40580 + -25787. Does 41 divide j?
False
Suppose 2*p + p - 6 = 0. Let r = 399 + -269. Does 33 divide -2*(3 - (r/p - -2))?
False
Let n be 5 + 22/(-55) + 44/10. Suppose -n*h = -1309 - 2453. Is h a multiple of 11?
True
Suppose 3*m + 16 = -13*h + 18*h, 5 = -2*h + 5*m. Is 3 a factor of 7 - (-171 + -1) - h*-1?
False
Suppose 0 = -5*f + 3*k - 8, f + 3*k + 2 = 4*k. Let n be 2 + f + -5 - -9. Suppose n*m + 3*o + 2*o = 840, 5*o = 2*m - 343. Does 13 divide m?
True
Let s be (2 - 8/3)*(-90)/20. Suppose 12 = -4*x + 4*a, -4*a + 0*a + 26 = s*x. Suppose -410 = -3*i + 4*d - 0*d, -x*i + 275 = -d. Does 27 divide i?
False
Suppose -174*f = -157*f + 3060. Let y = 67 - f. Is 19 a factor of y?
True
Let y = 484 + -471. Let n = 415 - 256. Let k = n - y. Does 9 divide k?
False
Let i be 20*((-16)/(-10) - 2/1). Does 21 divide 24693/24 + (-1)/i?
True
Let m(v) = -40*v + 2210. Is 27 a factor of m(8)?
True
Let j = -197 - 109. Let c = j + 856. Does 22 divide c?
True
Suppose 3*c + 2*b - 15 = 0, b - 15 = -4*b. Suppose -c*r + 14 = -124. Does 13 divide 2 + -3 + r/1?
False
Suppose -944 = z - 0*z. Let n = -666 + 681. Is (z/40)/(-3*2/n) a multiple of 9?
False
Is 29 a factor of (276/32)/(-23) + 1 + 209935/40?
True
Let a(c) = 2 - 4*c**2 + 152*c - 7 + 14*c**3 - 146*c - 3. Is 10 a factor of a(2)?
True
Let r = -17521 + 30178. Is 181 a factor of r?
False
Does 21 divide (3 + ((-132308)/(-6))/2 - -7)*3?
False
Let u = 1661 + -831. Let x = u - 566. Does 16 divide x?
False
Let p = 18919 + -11677. Does 51 divide p?
True
Suppose 3 = 4*x + m - 2, 0 = x + 5*m + 13. Suppose 4*r + 41 = f, -x*r + 3*f - 23 = -0*f. Does 22 divide (12/r)/(7/(-385))?
True
Let o(a) be the second derivative of -a**5/20 + a**3/2 - 5*a**2/2 - 22*a. Let p be o(3). Is (1 + p)/(174/36 + -5) a multiple of 11?
True
Suppose 5*k = -3*v + 4*k + 17, -4*k = v - 13. Suppose 5*x + 2*d - 100 = 0, v*x + d - 110 = -3*d. Is x a multiple of 11?
False
Suppose -12 - 52 = 8*p. Let d be -306 - -3 - (2 - 0). Let w = p - d. Is 33 a factor of w?
True
Suppose -3*o = -d - 7, 6*d - 35 = 3*d - 5*o. Suppose -3*i = d*m - 485, -i - 5*m - 340 = -3*i. Is 33 a factor of i?
True
Suppose 5*g + 5*b = 3*g + 588, -5*g + 4*b = -1503. Let v = -212 + g. Is v a multiple of 87?
True
Let i be 14/3 - 2/3. Suppose 6 = 5*h + 3*q, 2*h + 3*q - 5*q - 12 = 0. Suppose -84 = -m - h*m - i*p, -3*p - 17 = -m. Is m a multiple of 4?
True
Suppose -1540 = 3*r - 7*r + j, 1560 = 4*r + 4*j. Suppose -16*w - r + 1234 = 0. Is w a multiple of 4?
False
Let l(f) be the third derivative of -f**4/24 - 2*f**3 + 17*f**2. Let b be l(4). Let o = 14 - b. Is o a multiple of 10?
True
Is 60*(-3 - 4845/(-75)) a multiple of 33?
True
Let m = -124 - 211. Let s = -124 - m. Does 4 divide s?
False
Let t(l) = 3*l**3 + 16*l**2 + 15*l - 3. Let n be t(-6). Let u(q) = -3*q**2 - 3*q + 9. Let c be u(6). Let m = c - n. Does 48 divide m?
True
Let k be -23*1 - (-456)/(-57). Let w(i) = 64 - 7 - i + 2*i. Does 9 divide w(k)?
False
Suppose 0 = -4*u + x - 23, 5*u - x = -6*x - 35. Is (-1611)/u*4/(-12)*-6 a multiple of 16?
False
Let x(p) = 3*p**2 + 5*p + 8. Let m(n) = -3*n**2 - 4*n - 7. Let i(j) = 2*m(j) + 3*x(j). Let u be ((-6)/8 + 0)*4. Is i(u) a multiple of 10?
False
Let q(u) = u**2 - 2*u - 24. Let h be q(7). Suppose 0 = -h*l + 22*l - 770. Let n = -17 + l. Is n a multiple of 18?
False
Suppose 52 = 4*z + 276. Let s = 54 + z. Is 16/(-40) - (172/(-5) + s) a multiple of 18?
True
Is (-39)/12 - (-6894)/24 a multiple of 5?
False
Let h(r) = 11*r**2 - 5*r - 12. Let x be h(-4). Let b = x - -440. Does 39 divide b?
True
Does 46 divide 10285 + (-648)/24 - (2 - 2)?
True
Let 