ple of 4?
False
Suppose -9*f + 496 = -7*f - 4*i, 5*f = -4*i + 1254. Suppose -15*d + 13*d + f = 0. Does 9 divide d?
False
Let m be (2 - 7/3) + (-2329)/(-3). Suppose -5*i + m = -4*a, 3*a + 329 + 292 = 4*i. Is i a multiple of 26?
True
Is 99 a factor of ((-8811)/(-2))/(5/30)?
True
Suppose 2*o + 80 = -6*o. Let k be 39 + (-9)/(45/o). Suppose 5*m - k = 39. Is m a multiple of 4?
True
Suppose -208 = 2*w - 1875 - 3767. Is w a multiple of 2?
False
Let d = 32 + -29. Suppose -d*i + 0*x - 3*x - 135 = 0, 0 = -5*i - x - 225. Let r = 10 - i. Does 25 divide r?
False
Let a be (-51 + 46)/((-2)/(-336)). Does 16 divide (-128)/(-5)*a/(-48)?
True
Suppose -2*y + 4*g + 10602 = -31130, 3*y - 3*g = 62592. Is y a multiple of 128?
False
Let z = 21 + -133. Let f = 122 + z. Does 10 divide f?
True
Suppose 5*y = g + 165, 2*y = 2*g + 49 + 25. Is 16 a factor of (-1258)/(-7) + y/112?
False
Suppose -v + 2*v = -8. Let w(b) = -b**3 - 2*b**2 - 2*b + 2. Let r be w(-2). Is 5 a factor of ((-4)/r)/(v/144)?
False
Suppose 4*o = -3*k + 31678, 8*o = -9*o - 2*k + 134610. Is o a multiple of 107?
True
Let j(l) = 73*l**2 + 229*l + 10. Does 10 divide j(5)?
True
Let m = 20 + -3. Let v(z) = 6*z - 26. Let d be v(m). Suppose 4*b = 4*p - 80, 5*b = -0*p + 4*p - d. Is 8 a factor of p?
True
Suppose 3*a - 8373 - 14130 = -2*y, 2*y = 5*a + 22511. Does 33 divide y?
True
Suppose -4*w + 8 = 0, 3*y - 18*w = -20*w + 16. Let m(c) = -c**2 - 4*c + 1. Let x be m(-2). Suppose -y*k - x*h = -341, -k + 2 = -4*h - 78. Does 28 divide k?
True
Let o = -1307 - -3286. Is o a multiple of 76?
False
Suppose -3*y - 25 = -s, y - 42 = -3*s - y. Suppose -21 = -s*h + 9*h. Is 6 a factor of 69 - (h + -12)/3?
True
Suppose 784*i = 770*i + 270046. Is i a multiple of 209?
False
Suppose 0 = 7*h - 3*h + 5*k - 75, -3*h + 65 = 2*k. Suppose h*f + 1804 = 29*f. Is f a multiple of 41?
True
Suppose -4*v + 4*a = -2228, 3*v - 1479 = 2*a + 192. Suppose -4*h + b = -309 - 139, -5*h + v = -2*b. Does 38 divide h?
False
Let q = 347 + -348. Is 8 a factor of (16/q)/(31/(-62))?
True
Suppose -j + 9076 + 21883 = -0*j. Is j a multiple of 69?
False
Let h be (-476)/(-36) - ((-258)/54 - -5). Suppose h*w - 5001 + 1543 = 0. Is 10 a factor of w?
False
Let g(t) = -7*t**2 + 8*t - 16. Let i(u) = 7*u**2 - 9*u + 16. Let z(x) = -3*g(x) - 2*i(x). Let m be z(3). Let s = m + 95. Does 48 divide s?
False
Let n = -102 + 107. Suppose 2*b - j + 267 - 782 = 0, -3*b - n*j = -766. Is 17 a factor of b?
False
Suppose 7 = -102*l + 103*l. Does 10 divide (1 - (-2306)/l) + 150/(-350)?
True
Suppose 649*h - 1388016 = 601*h. Is h a multiple of 51?
True
Suppose 108 = 18*t - 0, -3*a = -4*t - 85446. Is 24 a factor of a?
False
Let q(o) = o**3 + 2*o**2 - 6*o + 3. Let l be q(1). Suppose l = -12*s + 1574 + 622. Is 17 a factor of s?
False
Let r(o) = o**3 - 15*o**2 + 11*o - 8. Let l(v) = -v + 1. Let g be l(-14). Is r(g) a multiple of 71?
False
Let o(w) = 6*w**2 - 3*w + 11. Let z(h) = -2*h**3 - 7 - 14 - 13*h**2 + 3*h**3 - 3 + 6*h. Let s(c) = 9*o(c) + 4*z(c). Is s(3) a multiple of 20?
True
Let q be 5/(-15) + (-2)/(18/(-3747)). Suppose 2*a + q = -2*a - 2*n, 3*n - 396 = 4*a. Let x = a + 126. Is x a multiple of 12?
True
Let h = 25 - -140. Suppose 3*l = -i - 0*l - 10, 26 = 3*i - 5*l. Suppose 0 = -i*c - c + 9, h = 3*a + 3*c. Is 9 a factor of a?
False
Let k(x) be the second derivative of -x**5/20 + x**4/4 - x**3/3 - 2*x**2 - 21*x. Let i be k(2). Let n(a) = -4*a**3 - 5*a**2 + 3*a + 4. Is n(i) a multiple of 22?
False
Is 18 a factor of 3/10 + 360963/290?
False
Let d(u) = u**3 - 24*u**2 - 12*u + 79. Is 96 a factor of d(29)?
True
Suppose 22*y - 81*y + 212704 = -36*y. Does 16 divide y?
True
Suppose 3*b - 6*b - 24 = 2*l, 40 = -5*b - 3*l. Let q(z) = -z**2 + 9*z - 11. Let d be q(b). Does 18 divide d/(-2)*300/175?
True
Suppose -9*h = -10*h, b + 2*h + 9892 = 2*b. Does 4 divide b?
True
Let k = 8351 - 3511. Does 11 divide k?
True
Let d(i) = 31*i**2 - 20*i + 7. Suppose 142*p + 45 = 133*p. Is 49 a factor of d(p)?
True
Let o = 289 - 172. Is 38241/o - 3/(78/(-4)) a multiple of 18?
False
Let x(c) = -441*c - 580. Does 62 divide x(-12)?
True
Let g = 508 + -184. Is g a multiple of 23?
False
Let p(a) = -a**3 - 20*a**2 - 26*a - 3. Let q be p(-19). Let z = 652 + q. Suppose -4*y + 2*j = -z, 0*y - 781 = -4*y + j. Is 14 a factor of y?
False
Let k(u) = -u**2 + 12*u + 4. Let q be k(10). Suppose 0*n = 2*s + 4*n - q, 3*s - 2*n = 28. Is 4 - 7 - (-5)/(s/96) a multiple of 5?
True
Let j = -961 - -2125. Does 11 divide j?
False
Let k be (-1248)/(-65)*20/6. Suppose 4*c - 204 = -4*j, 9 = -c + 3*j + k. Suppose 4 + c = 4*z. Does 4 divide z?
False
Let j(x) = 8*x**3 + 2*x**2 + 16*x - 26. Does 20 divide j(11)?
True
Suppose -28 = -2*s - 3*o + 6, 5*o = 5*s - 135. Does 2 divide s?
False
Let x(p) = 654*p + 2232. Is 120 a factor of x(12)?
True
Let c = -43 - -62. Let y(t) = -11*t**2 - 21*t - 25. Let s(u) = 4*u**2 + u + 1. Let a(p) = -3*s(p) - y(p). Is 3 a factor of a(c)?
True
Let d(z) = -z**3 + 3*z - 1. Let p(m) = -3*m**3 - 4*m**2 + 10*m - 58. Let h(r) = d(r) - p(r). Does 5 divide h(5)?
False
Suppose 3*d + 9 = -4*a + a, -4*d = 12. Suppose -2*s + 0*s + 4 = a. Suppose h - 8 = -s*k + 2*h, 5*k - 22 = 2*h. Is k a multiple of 3?
True
Let x = -85 - -94. Does 19 divide 29216/72 - 1/(x/(-2))?
False
Suppose 2*m + 3 = -t, t + t - 2 = 0. Let g be (-1)/(46/(-22) - m). Suppose -g*s = -10*s - 4. Is s even?
True
Suppose -309450 - 34403 = -89*k + 33685. Does 4 divide k?
False
Suppose 4*u + n + 26579 - 75281 = 0, -2*u + 24362 = 6*n. Does 7 divide u?
False
Is (((-8)/(-6))/(-4))/(370/(-17776650)) a multiple of 109?
False
Let g(q) = -279*q**3 + q**2 + q - 2. Let c be g(1). Let b = c + 474. Is b a multiple of 10?
False
Let d be (-2)/10 - (-111616)/80. Let n = d - 511. Is n a multiple of 11?
False
Let u(d) = d + 2. Let z be u(-2). Let p be (-2)/((-4)/6) - z/(-2). Suppose 4 = -3*v + 4*v + p*s, -3*v - 3*s = -18. Is 5 a factor of v?
False
Suppose 16*f - 70572 = 65364. Is f a multiple of 20?
False
Let h = 35 + -30. Suppose -20 = -5*i + h. Suppose 5*w - 380 = -3*b, -i*b + 5*w = 3*w - 623. Does 25 divide b?
True
Is (-128)/480 + 501982/195 a multiple of 5?
False
Suppose -5*c - 5 = 0, -4*q - 1289 - 1905 = 2*c. Let l = q - -1337. Is 49 a factor of l?
True
Let j(i) = 319 - 3*i - 33 + i + 184. Let k be j(0). Suppose 5*h - 6*g - k = -g, -2*h + 176 = g. Is h a multiple of 10?
True
Let n = 14706 - 10796. Does 170 divide n?
True
Suppose -2*t - 3*t - 300 = 0. Suppose 27 = 4*c - 9. Is 4 a factor of (-24)/5*t/c?
True
Let q = 1031 - 373. Suppose -h = h - l - q, -1324 = -4*h - 2*l. Does 15 divide h?
True
Let h(b) = -11*b - 2. Let k(j) = -j**3 - 5*j**2 + 16*j + 10. Let u be k(-7). Let n be h(u). Does 7 divide (0 + (-5)/(-5))/(2/n)?
True
Let s be 2 + (-2 - (24/(-3) - -3)). Suppose 0 = -4*q - s*i + 41, 3*i + 1 = -q + 5*q. Suppose 0 = q*d + 4*d - 256. Is d a multiple of 4?
True
Let j be 3/((-18)/12*1). Let i(a) = a**3 + 3*a**2 + a - 2. Let c be i(j). Suppose -v - 4*h = -c*v - 10, -4*v = 4*h - 64. Is 18 a factor of v?
True
Suppose -2*f + n = -0*n + 958, n + 962 = -2*f. Is -8 + f/(-5) + 0 a multiple of 8?
True
Let c be (-3)/2 + 7382/4. Suppose 5*b + 2*z - c = 6*z, -738 = -2*b + 2*z. Does 32 divide b?
False
Let x(v) = v**2 - 20*v + 16. Let d be x(19). Let o be (0 + -12)/d - (-2 - -2). Suppose o*j - 116 = 76. Is j a multiple of 16?
True
Suppose 5*u - 6933 = -2*c, -8*c - 4*u = -15*c + 24330. Does 18 divide c?
True
Let o = -2690 - -3485. Is 53 a factor of o?
True
Let g(n) = -n**3 + 7*n**2 - 8*n + 12. Let c be g(6). Let h = 0 - c. Suppose x + h*x - 230 = 0. Is 17 a factor of x?
False
Suppose 0 = 3*b + 15, 996*t + 3*b + 9103 = 1000*t. Is t a multiple of 52?
False
Let n = -13519 - -20659. Does 15 divide n?
True
Suppose -3*o - 5*c = 30, -5*o = c + c + 31. Let k be 2/o - ((-444)/20)/3. Let g = k + 41. Is 24 a factor of g?
True
Suppose -12*r + 144 = -6*r. Suppose -31*p - r = -35*p. Suppose 2*k - 8 = 0, -3*i + 2*k + 61 = p*k. Is i a multiple of 15?
True
Let p(i) = -3*i**3 + 3*i**2 + 2*i - 4. Let z be p(-3). Let t = z - -78. Let k = t + -97. Does 37 divide k?
False
Let l = 27674 + -15062. Does 112 divide l?
False
Suppose -6*w = 2*w - 24. Suppose 0*d - 366 = -w*d. Does 6 divide d?
False
Suppose -4*x - 57872 - 30748 = -4*w, -5*x + 22125 = w. Is 50 a factor of w?
True
Let v = 177 + -160. Suppose 3*n - 67 = 5*m, 5*n -