f 34?
True
Suppose 0 = -5*x + p + 868, -68 = -x + 5*p + 120. Let l be 8041/17*(-2)/12 + 15/(-90). Let w = x + l. Does 47 divide w?
True
Let d(u) = 15*u - 88. Let g be d(6). Suppose -g*x + 5*x = q + 475, 2*x - 330 = -2*q. Is 20 a factor of x?
True
Suppose 3*z + 0*l - 737 = -2*l, 733 = 3*z + 4*l. Let h = z + -353. Let f = -41 - h. Is 13 a factor of f?
True
Suppose -3*o = -2*z + 55, -14*z + 16*z - 4*o - 60 = 0. Let v = 120 + z. Does 12 divide v?
False
Suppose 103 + 23 = 7*x. Suppose -x = u + 34. Let y = -48 - u. Does 4 divide y?
True
Let d = -228 - -247. Suppose d*f + 2352 = 25*f. Is f a multiple of 49?
True
Suppose -3*d - 5*b = -14139, -4*d + 3842 + 15054 = -8*b. Does 10 divide d?
False
Let u = 8242 + -3906. Is u a multiple of 16?
True
Let u be -2 - (208 + (3 - -1)). Let i = u + 273. Is i a multiple of 33?
False
Let o be 5/((-35)/(-28)) + 1*-146. Let s = o - -198. Does 8 divide s?
True
Suppose 2*t - 4*g + 514 = 2500, 3*t - 2979 = 3*g. Let v = -493 + t. Is v a multiple of 50?
True
Let y = -335 - -362. Let g = 73 + -16. Let m = g - y. Is 21 a factor of m?
False
Let h(i) = 2*i + 60. Let m be h(-23). Does 25 divide -4551*(-6)/126 + 4/m?
False
Let x = 13106 + -8625. Does 32 divide x?
False
Let y(n) be the third derivative of 5*n**4/12 - 17*n**3/3 - 39*n**2. Let h be y(4). Let b(w) = 16*w + 52. Is 20 a factor of b(h)?
False
Suppose 0 = -24*w + 23*w + 2. Suppose -7*n - w = -8*n. Suppose n*v - 1890 = -8*v. Is 32 a factor of v?
False
Let j(k) = 12*k + 2. Let z be j(3). Let v = -25 + z. Suppose 306 = v*u - 10*u. Is u a multiple of 17?
True
Suppose 20*o - 51 = 17*o. Suppose 11*d + 71 = -o. Let q(y) = -2*y - 1. Is q(d) a multiple of 7?
False
Suppose j - 5*p - 5505 = 0, -3*p = 6*j - 4*j - 11062. Is j a multiple of 45?
False
Let z(m) = 11*m - 12. Suppose 20 = -4*s, -3*x - 2 = 4*s + 3. Let i be z(x). Let c = -3 + i. Does 8 divide c?
True
Let v(x) = -2*x**2 - 10*x + 2. Let u be v(-5). Suppose -5*m + 3*q = 4496, 3*m = -7*q + u*q - 2684. Is (-8)/(-16) + m/(-4) + 2 a multiple of 24?
False
Let h(k) = -k**3 - k + 134. Let i(r) = 1571 - 1531 - 6*r - r**3 - 5*r**2 - 6*r**2. Let b be i(-10). Does 14 divide h(b)?
False
Let k = -151 - -168. Suppose -k*d = -7*d - 10600. Does 68 divide d?
False
Suppose 3*j - 26*g + 25*g - 404 = 0, j - 133 = 2*g. Let f be (-2 - -1 - -1) + -7. Let k = j + f. Is k a multiple of 16?
True
Suppose 0 = 495*n - 477*n - 558. Suppose -2846 = -4*h - 526. Suppose -h = -n*s + 26*s. Does 16 divide s?
False
Let f = -248 + 267. Let r(h) = h**2 - 6*h + 5. Let l be r(2). Let w = l + f. Is w a multiple of 8?
True
Let s = 537 - 534. Let z(k) = -27*k + 102. Does 21 divide z(s)?
True
Let r(m) = 8*m + 227. Let b be r(0). Suppose -736 = -3*j - 2*t, -32*j + 33*j - 3*t - b = 0. Does 11 divide j?
True
Suppose 56*w - 45*w - 495 = 0. Does 10 divide 9/w + (-16196)/(-20)?
True
Let l = 57 - 52. Suppose 5*n - 250 = -u, -2*u + l*n + 615 - 130 = 0. Does 70 divide u?
False
Suppose -4*u + 88 = 4*h, -6 = -u - 5*h - 0. Let l = 88 - u. Let o = l + -52. Does 4 divide o?
False
Suppose -53*d + 56*d = 234. Suppose 2*g = 5*g + 144. Let y = d + g. Does 22 divide y?
False
Let s(b) be the first derivative of 17*b - 6*b**2 - 1/4*b**4 + 37 + 6*b**3. Does 15 divide s(17)?
False
Let l(p) = -3*p**3 - 2*p**3 + 28 - 33*p + 34*p**2 + 6*p**3 - 2*p**3. Is l(33) a multiple of 17?
False
Let y = -367 + 1000. Is y a multiple of 3?
True
Let h(m) = 9*m - 4. Let g be h(6). Let i = g - 16. Suppose i*f + 24 = 35*f. Is f a multiple of 24?
True
Suppose -79 = -29*i + 28*i. Suppose 0 = -h + 21 + i. Is 10 a factor of h?
True
Suppose 24*o - 7599 + 3087 = 0. Let w = 237 + o. Does 13 divide w?
False
Let v = -101 + 99. Let k be (-7)/v + (-1 - 3/(-2)). Suppose z - k*m - 904 = -4*z, 0 = 3*z - m - 541. Is z a multiple of 18?
True
Let m(n) = 130*n - 620. Does 107 divide m(13)?
True
Let q = 50 + -41. Suppose -3*y = -q, 2*l - 4*l + 2*y + 118 = 0. Suppose -l = -p - 37. Is p a multiple of 5?
True
Let w(t) = -4*t**2 - 8*t + 2. Let x(j) = -3*j**2 - 8*j + 2. Let p(h) = -4*w(h) + 5*x(h). Let d be p(8). Let s(c) = 33*c**2 + c - 2. Does 12 divide s(d)?
True
Let q be (13 + -17)*2/(-2). Suppose q*p = 3*l - 18, 0*p + 6 = 2*p. Suppose f - 4*z = 260, 4*z + l = 2*z. Is 40 a factor of f?
True
Let r(w) = w**3 - 6*w**2 - w + 11. Suppose 19*a - 85 = 29. Is r(a) a multiple of 2?
False
Let j(a) = -a**2 - 9*a - 17. Let b be j(-7). Let z be (-6)/2 + 7 + -3. Is 23 a factor of (0 - z)*(b + -43)*1?
True
Suppose 8023 = 2*m - 3376 - 497. Is m a multiple of 240?
False
Let b(p) = -2 - 1 + 17*p - 74*p. Suppose -9 = -3*t - 4*x + 4, 5*t = 5*x - 25. Is b(t) a multiple of 18?
True
Suppose -5*g + 2 = -18. Let f be 4/(-1) + (-4 - (-15)/3). Is -2 + f + g + 24 a multiple of 22?
False
Suppose 72*t - 1128037 - 1664987 = 0. Is t a multiple of 13?
True
Suppose -4*u + 10545 = 3*l, u - 190*l = -189*l + 2645. Is 20 a factor of u?
True
Suppose 4*p - 2*a - 24 = 0, 2*p = p - 5*a - 16. Suppose -5*y - 4*v + 1468 = 0, -4*y + 0*v + 1196 = -p*v. Is y a multiple of 37?
True
Let d = 18 - -4. Let b = 29 - d. Suppose -5*z - b*z + 2736 = 0. Is 38 a factor of z?
True
Let p(g) = g**3 - g + 10. Let v be p(0). Suppose 0 = 3*w + 3*u - 36, 4*w - 3*u = 83. Suppose v*h - 9*h = w. Is h a multiple of 17?
True
Suppose 40 = 3*y - 5*i, 0*y - 2*i = -2*y + 28. Suppose 4*u + 11*c - 2472 = y*c, -4*u + 5*c + 2477 = 0. Is 42 a factor of u?
False
Let y(p) = -5*p - 11. Let a(b) = -6*b - 11. Let o(h) = -4*a(h) + 3*y(h). Let u be o(-9). Is -6*(2 + u/4) a multiple of 10?
False
Let b(i) be the third derivative of -4/3*i**3 + 17/24*i**4 - 10*i**2 + 1 - 4/15*i**5 + 1/120*i**6 + 0*i. Is 11 a factor of b(15)?
True
Let y(o) be the second derivative of o**5/20 + 5*o**4/3 + 11*o**3/2 - 9*o**2 + 35*o + 2. Is y(-17) a multiple of 16?
True
Let s be (-23776)/(-12) - (-8)/(-6). Suppose -312*z = -315*z + s. Is z a multiple of 12?
True
Let a(f) = 1. Let w(y) = 3*y**2 + 3*y - 13. Let q(z) = 5*a(z) - w(z). Let c be q(3). Is ((-220)/6)/((-4)/c)*-1 a multiple of 33?
True
Let m = 89 + -146. Let z = m - -60. Is (-6)/9*z + 9 a multiple of 3?
False
Suppose 991*d - 986*d = 2*c + 113098, 0 = -d + 3*c + 22617. Is 30 a factor of d?
True
Suppose m - 30812 = -h, 4*m - 123262 = 4*h - h. Is 8 a factor of m?
False
Let a(h) = 55*h**2 - 54*h - 70. Does 65 divide a(-11)?
False
Suppose -298*j + 4*u = -293*j - 37024, 5*j + 3*u = 37087. Is 72 a factor of j?
False
Let l(j) = -j**3 + j**2 - 5*j - 5. Let r be l(0). Is (-4 + 34)/r + 113 a multiple of 2?
False
Suppose -11*v + 34*v - 88950 = -7*v. Does 4 divide v?
False
Let n = -47 + 65. Let o be 564/n*(-27)/(-6). Let b = 213 - o. Is b a multiple of 12?
True
Suppose -135*b = -5*l - 137*b + 3848, -b + 2308 = 3*l. Does 16 divide l?
True
Let r = -1091 + 640. Let o = r - -1007. Is o a multiple of 50?
False
Is 6 a factor of 4*277*(-23)/((-184)/68)?
False
Let n = 576 - 823. Let m = n - -364. Suppose 0 = -y + 4*c + m, 2*y + 0*y = -4*c + 282. Is y a multiple of 33?
False
Suppose -20*b = -15*b, 4*g - 80 = 5*b. Let q = g - -51. Is 5 a factor of q?
False
Let l(r) = 24*r + 2. Let i be l(4). Let g = 11119 - 11140. Let w = i - g. Is w a multiple of 17?
True
Let l(v) = -v - 71. Let p be l(28). Let k = p + 245. Is 20 a factor of k?
False
Let q(x) = 0*x + 8647350 - 8647334 - 2*x. Suppose -3*m = -z + 43, 0 = -6*z + z + 20. Is 42 a factor of q(m)?
True
Suppose -5*j + 425 = 5*q, 3*q = 1523*j - 1527*j + 335. Is 4 a factor of j?
True
Suppose -2*s + 16 = -6*s, -2*l + 2*s + 42 = 0. Suppose 0 = 3*v - 3*x + 9, -3*v - 2*x - l = -x. Is -6 + 124/20 - 164/v a multiple of 11?
True
Let y = -4811 + 9025. Is 15 a factor of y?
False
Let y = 92 + -89. Let n be (4 - (2 + 3)) + y. Suppose -n*f - 125 = -w, w - 7*f - 131 = -2*f. Is w a multiple of 19?
False
Let v = 564 - -1647. Is 11 a factor of v?
True
Let t(x) = 2*x**2 - 14*x + 19. Suppose 201 - 41 = 4*g. Suppose 0 = 3*d + 2*d - g. Is 21 a factor of t(d)?
False
Let j be 0 + (-20)/(-4) + -2 - -463. Let n = 811 - j. Suppose 11*k - 6*k = n. Is 14 a factor of k?
False
Suppose 0 = -2*x + 4*j + 72394, 4*x = -3*j + 83269 + 61585. Is 11 a factor of x?
False
Suppose -87*u + 1465605 = -93609. Is 103 a factor of u?
True
Suppose -45*c - 4*u = -42*c + 10, -5*c - 3*u - 35 = 0. Let x(z) = -12 - 24*z - 13 + 5. Does 25 divide x(c)?
False
Suppose 11*z = 17 - 83. Let v(b) = 6*b - 43. Let s(w) =