0) + (-30)/v a multiple of 19?
False
Suppose o + 3*y - 952 = 0, 3*o + 2*y + 3*y - 2876 = 0. Suppose -o - 601 = -8*i. Does 14 divide i?
True
Suppose 10*i = 5*i + 5. Does 9 divide (135/(-10))/(i/(-6)*1)?
True
Let h = 2917 - 2954. Let g be ((-9)/2)/((-6)/(-252)). Let x = h - g. Is 34 a factor of x?
False
Suppose 40*h - 35*h = 2*k + 173446, 0 = -4*h + 2*k + 138754. Does 42 divide h?
True
Let i(h) = 39*h - 44*h + h**3 - 24*h**2 - 17 + 31*h - 20. Is i(23) a multiple of 8?
True
Does 177 divide -11 + 177/15 + 1/5 + 9806?
False
Let p = 13 - 23. Suppose 2*f = -8, -3*f + 9 = -5*u - 4. Is 11 a factor of (66/p)/(u/75)?
True
Let j = 140 - 141. Is 4/(-6)*j + (-718)/(-3) a multiple of 6?
True
Let m(n) = 2*n**2 + 2*n - 8. Let p be m(-6). Let v = p - -198. Suppose v = -16*r + 21*r. Does 5 divide r?
True
Suppose 0 = w - x - 410, -2*x = -w - 0*x + 409. Is w a multiple of 8?
False
Let u be 6/((-12)/(-49))*-2. Suppose j - p = 170, j + p = -3*p + 195. Let b = u + j. Is b a multiple of 9?
True
Let s(o) = -2*o**3 + 2*o**2 - 12*o**2 - 7*o + 12 + 19. Is 31 a factor of s(-8)?
False
Suppose -2*t = 3*s - 18357, 45*s = 4*t + 47*s - 36718. Is t a multiple of 18?
True
Let f = -24 + 31. Let t(j) = 2 + 7 + 3 + j + f. Is 4 a factor of t(9)?
True
Let k be (9 + -8)/((-2)/(-8)). Let j be 6/48 + k/(-32). Suppose -a - a + 132 = j. Is 22 a factor of a?
True
Suppose -2985 + 497 = -4*a. Suppose -2*s + 0*b = -2*b - 408, 2*b - a = -3*s. Is s a multiple of 13?
False
Let f be ((-4)/(-3))/(14/84). Suppose 651 = -5*v + f*v. Suppose -g + 2*g + v = 3*h, -h + 2*g = -74. Does 8 divide h?
True
Let m = -4297 + 13117. Is 30 a factor of m?
True
Let q(a) = 21 + 14 - 27*a**3 - 3*a - 20*a**3 + 48*a**3. Is q(0) a multiple of 5?
True
Let c = -24 - 6. Let j be (c/20)/(3/(-172)). Let p = j + -32. Is p a multiple of 11?
False
Suppose -4*b = 44*b - 240. Suppose -b*y = -10*y + 2*f + 1703, y - 3*f - 338 = 0. Does 36 divide y?
False
Suppose -830009 = -51*f + 550663. Is 39 a factor of f?
False
Suppose -73 = -12*c + 143. Suppose 19*b = c*b + 2. Does 19 divide (-8 - -1)/(b/(-38))?
True
Let o = 782 + -77. Suppose 3*f - 383 = -2*d + 1028, d - o = -f. Is d a multiple of 35?
False
Suppose -8*b = 706 + 262. Let a be 3*((-845)/3)/(-5). Let k = b + a. Is k a multiple of 48?
True
Let f(l) = -l**3 - 36*l**2 - 274*l - 46. Does 4 divide f(-35)?
False
Suppose -m - 1 = -5. Suppose 4*z - 36 = t, -m*z = t - 4 - 40. Suppose 0 = -7*f + z*f - 294. Is f a multiple of 14?
True
Let f(z) = -4*z - 227. Let m be f(16). Let l = 669 + m. Is 7 a factor of l?
True
Suppose -10*r = -13*r + 183. Suppose 13*g = 2245 - r. Is 8 a factor of g?
True
Suppose -66*c - 186*c = -1738800. Does 12 divide c?
True
Suppose 7 = -20*j + 27*j. Is 28 a factor of 55/j - (-3 + (-5 - -7))?
True
Is (40563/(-18) - 4)*(4 + -1 + -11) a multiple of 28?
True
Let r(g) = -g**3 - 20*g**2 + 31*g + 61. Let s be r(-22). Let x = s + -165. Let f = -21 + x. Is f a multiple of 23?
True
Let l(u) = -u**3 - 4*u**2 + 20*u - 7. Let j be l(-7). Suppose j = -44*x + 61*x - 15912. Does 72 divide x?
True
Suppose 3*h = 4*d - 30, 34 = 2*d + 2*d - h. Suppose -10*s - 6 = -d*s. Is 112 + s + (0 - 0) + -1 a multiple of 35?
True
Suppose -10228 = -a + 5*h, 5*h + 41017 = 65*a - 61*a. Is 2 a factor of a?
False
Let w be -92*(1/2)/(4/8). Let k = w + 96. Suppose 3*q = k*q - 90. Does 10 divide q?
True
Let r(p) = -1183*p + 1212. Is r(-20) a multiple of 15?
False
Suppose 0 = -x - 3*x - 2*c - 602, -4*x + 4*c - 572 = 0. Is x/(13/(-117) + (-7)/18) a multiple of 68?
False
Let q = 15445 - 13989. Is q a multiple of 208?
True
Suppose -b - 72 - 2817 = -5*q, 3*b + 2320 = 4*q. Is 4 a factor of q?
False
Suppose 7024 + 48827 + 48877 = 13*r. Is 106 a factor of r?
True
Let b be -4 + ((-1)/1 - -5). Suppose -6*i + 5*i + 82 = b. Suppose 7*m - 5*m - i = 0. Is m a multiple of 26?
False
Let h = -5 + 11. Let n = 2 + 7. Is n/(-6) - (585/h)/(-1) a multiple of 8?
True
Suppose 5*h - 345 = 8*h. Let c = -43 - h. Suppose 0 = 3*f - l - c + 14, l = -5*f + 94. Does 4 divide f?
False
Suppose 5*d = 20, 0 = -z - 5*d + 1054 + 1515. Let j be z/2 - (-6)/(-12). Suppose -13*m + j = -0*m. Does 8 divide m?
False
Let i be 4*-1 - 6433/(-7). Suppose v + v = -5*r + i, 5*r + 4*v - 925 = 0. Suppose 3*a - 164 = r. Is 15 a factor of a?
False
Let o(z) = -z - 10. Let k be o(-3). Let i(b) = b**2 + 4*b - 17. Let r be i(k). Suppose -r*t = 16, 3*t - 2*t = -5*n + 296. Is 3 a factor of n?
True
Let v(o) = 4*o - 18. Let a(z) = -z + 6. Let h(r) = 14*a(r) + 4*v(r). Let c be h(-7). Let i(n) = 8*n**2 + 4*n + 3. Is i(c) a multiple of 9?
True
Let i = 2 + 0. Suppose -6*v = -5303 - 1789. Does 17 divide 1*(-1)/i + v/12?
False
Suppose -39*i = s - 35*i - 6, 4*i = 5*s - 6. Is s*(-808)/(-40)*20/8 a multiple of 3?
False
Let m(n) = -2*n + 14. Let b be m(-5). Let a = b + 11. Suppose 3*f = 4*c + a, -c = -0*c - 4. Does 11 divide f?
False
Suppose -151*p = -b - 152*p + 24314, b = -2*p + 24308. Is b a multiple of 160?
True
Suppose -2*b + 3*b - 4 = 0. Suppose b*p - 477 = -5*v, -5*p = -3*v - 2*v + 450. Let h = -33 + v. Is h a multiple of 31?
False
Suppose 5*d + 5815 = -0*r - 5*r, 4*d - 3454 = 3*r. Is (r/(-9) + -2)/((-17)/(-102)) a multiple of 5?
True
Suppose -10*w + 4*c = -12*w + 1346, c + 4 = 0. Suppose 5*j = -5*q + 860, -3*j = 4*q - 6*j - w. Does 57 divide q?
True
Suppose 499*q - 502*q + 63 = 0. Is 11 a factor of 2 - 48/q - (-16824)/84?
False
Is (-98760)/(-288) - 6/(-72) even?
False
Let v be (-1 + (-5)/(-3))/((-26)/(-195)). Suppose 0 = -4*b - 3*x + 3236, v*b + 1634 - 5679 = 2*x. Is b a multiple of 9?
False
Let s(m) be the second derivative of 5*m**3/3 - 9*m**2/2 + 2*m. Is s(10) a multiple of 25?
False
Suppose 14*g - 12*g - 3*c - 2131 = 0, 0 = 2*g - 2*c - 2136. Is g a multiple of 9?
False
Suppose -286 = -q - 304. Let i(x) = -14*x - 240. Is 6 a factor of i(q)?
True
Suppose -11*m + 31 = -24. Suppose -n - 150 = -5*t - 6*n, m*t - 4*n - 150 = 0. Suppose 37*k = 38*k - t. Does 5 divide k?
True
Suppose -5*c = -4*t - 5536, -3*t - t = -c + 5520. Let f = -800 - t. Is 25 a factor of f?
False
Let d = 2446 - 1473. Does 47 divide d?
False
Let t be (-3)/(12/8 + -2 - -2). Is (-182)/(4 + t + -4) a multiple of 13?
True
Suppose 5*w - 8 = 4*r + 8, 4 = 4*r. Suppose -20 = -t - 4*t, 1346 = 5*c + w*t. Does 16 divide c?
False
Let q(y) = y**3 + 58*y**2 + 167*y + 113. Let d be q(-55). Suppose 4*r = r + 48. Is (-7 - (-1748)/r) + d/4 a multiple of 13?
False
Is 38 a factor of (14 + 8 + 188)/(-2 + 78/38)?
True
Suppose 15*l - 203 - 397 = 0. Suppose -l = 5*i + 5. Does 4 divide 273/i*-1 - (-7)/(-21)?
False
Let r = -15194 - -15698. Does 8 divide r?
True
Let d = -6 - -6. Suppose 2*g - m - 70 = -d*g, -5*m - 70 = -2*g. Suppose 5*o + g = w, -3*w - 7*o = -2*o - 105. Does 3 divide w?
False
Let n be (-12)/9*(-3)/2. Let k be (-1 - -68)/(n/4). Let o = k - 80. Is o a multiple of 27?
True
Let n(j) = j**3 - 15*j**2 + 26*j + 10. Let h be n(13). Suppose -h*v = -18 - 272. Is 4 a factor of v?
False
Let z(q) = 2*q**2 + 5*q - 7. Let k(f) = f**3 + 7*f**2 + 8*f - 6. Let c be k(-5). Suppose -c*w = -3*r + 33, 3*w + 53 = 5*r + 9. Is 9 a factor of z(r)?
True
Suppose 4*p - 5 = -i + 2, -5*p = 3*i - 21. Suppose i*g + 2*g - 2619 = 0. Suppose -8*w + g = -613. Is w a multiple of 20?
False
Suppose 3*r + 11940 + 45498 = 5*a, 57450 = 5*a - 5*r. Is a a multiple of 29?
True
Let q = 565 - 581. Let v(s) = 2*s**2 + 26*s + 40. Does 17 divide v(q)?
True
Let z(s) = s**3 - 18*s**2 - 19*s + 4. Let d be z(19). Suppose 0*x - 8 = -4*x. Suppose 4*g - 50 = x*k, -3*k - k = d*g - 68. Is g a multiple of 2?
True
Suppose 0 = 15*g - 22*g + 126. Suppose -16*w + g = -13*w. Suppose -p + n + 75 = 0, p - 2*n + 347 = w*p. Is p a multiple of 4?
False
Suppose 6*h = h. Let i be 395 + h + 1 + 3. Let d = i + -124. Is d a multiple of 55?
True
Let k be (-131)/(-2) - 3/(-2). Let m = k - 65. Suppose 0 = 2*r + 10, m*r - 121 = -2*l + 5*r. Does 13 divide l?
False
Suppose -5*a + 20 = 0, 20*f + 5*a + 18406 = 23*f. Does 85 divide f?
False
Let g(f) = 26*f**2 + 16*f + 38. Let z be g(14). Suppose z + 8304 = 23*l. Is l a multiple of 6?
True
Suppose -107*f + 101*f = -240*f + 986544. Is f a multiple of 31?
True
Let g = -31 + 31. Let d(r) = r**2 - r + 4. Let j be d(g). Suppose -5*h + 3*z = -370, j*h - 418 = -5*z - 85. Does 11 divide h?
True
Suppose 4*r - 175 = -r - 3*y, -3*y - 167 = -4*r. Suppose -2