f 13?
False
Let w(d) = 5*d**2 + 26*d + 9. Let h be w(-12). Let g be h/12 - (-3)/12. Is 7 a factor of ((-6)/(-15))/(1/g)?
True
Suppose -7*u + 220 = -3*u + o, -204 = -4*u - 5*o. Suppose -5*h = -4*j + 105 + u, -4*h + 150 = 5*j. Is 9 a factor of j?
False
Suppose -3*a + 2*i + 0*i + 7 = 0, 0 = -2*a + 3*i + 3. Suppose a*p + 135 = 129. Is (8/p + 54/15)*-370 a multiple of 11?
False
Suppose 206 = y + y. Suppose -3*t + 613 = y. Is 34 a factor of t?
True
Let s = -10903 - -15283. Is 146 a factor of s?
True
Let x = -252 + 541. Suppose 365 = 6*a - x. Is a a multiple of 11?
False
Is 11 a factor of (-260883)/(-98) - (-4)/(-7) - 3/(-6)?
True
Suppose 35*d = 14*d + 7*d + 65366. Is d a multiple of 123?
False
Suppose -2*k - 1596 = -4*d, -12*d + 13*d = 3*k + 2414. Let n = 260 - k. Is n a multiple of 41?
True
Let d be -10*(0 + 1)*225/(-10). Let k = d - -37. Is 46 a factor of k?
False
Let q(n) = n**3 + 3*n**2 - 15*n - 1. Let r be q(8). Is 48 a factor of 2 + -7 + 4/(-2) + r?
True
Let n be (-147*4/8)/(9/(-12)). Suppose -6*p + 10 + n = 0. Let k = p + 17. Does 7 divide k?
True
Is 801/99 + (18/(-33))/6 even?
True
Suppose 0 = 19*q + 14*q - 6633. Suppose -4*l - 380 = 2*t, 2*t + 73 = -l + 7*t. Let i = q + l. Is i a multiple of 12?
True
Suppose -f - 28*f - 37*f + 104148 = 0. Does 7 divide f?
False
Let q(i) be the third derivative of i**8/20160 + i**7/504 + i**6/72 + 4*i**5/5 - 15*i**2. Let p(d) be the third derivative of q(d). Is 33 a factor of p(-14)?
True
Suppose -289*t + 2985821 = -568301. Is t a multiple of 13?
True
Suppose -115*x - 38403 = -124*x. Suppose -13*m = -x - 1661. Does 24 divide m?
True
Let n(c) be the second derivative of 0 + 3*c**2 - 1/2*c**4 - 1/10*c**5 + c**3 - 12*c. Is n(-4) a multiple of 3?
False
Suppose 15*f - 24*f + 16663 = -8*f. Is 14 a factor of f?
False
Suppose -2*i = -4*j - 10248, -2087 = -2*i + 2*j + 8159. Is i a multiple of 82?
False
Let w = 51 - 40. Suppose w*l = 13*l - 4*b - 278, 0 = -2*l - 2*b + 272. Is l a multiple of 29?
False
Let y(p) = -3*p + 10. Let o(r) = r**2 + 10*r - 22. Let b be o(-12). Let u be y(b). Suppose u*q - 581 + 73 = 0. Does 17 divide q?
False
Suppose u + 8 = -0*u. Let o be (u/(-12))/((-3)/(-9)). Suppose 1 = o*n - 159. Does 8 divide n?
True
Let x = -5231 + 6055. Is 3 a factor of x?
False
Suppose -36*f + 105*f - 380397 = 0. Is f a multiple of 37?
True
Let f(v) = -v**3 - 3*v**2 + 11*v + 10. Let r be f(-5). Let g be (1 - r) + 176/22. Let m = g - -15. Is 2 a factor of m?
False
Let b(o) = -22*o + 164. Let l be b(7). Is ((-1710)/(-25))/(-1 + 13/l) a multiple of 8?
False
Let w(y) be the second derivative of y**4/4 + 3*y**3/2 + 6*y**2 + 115*y. Is 14 a factor of w(-12)?
True
Let a be 20/5 + (-4 - 1) + 3. Suppose -x - a*x - 4*o = -1732, x + 3*o - 569 = 0. Does 8 divide x?
True
Let f(k) = -2*k**3 + 15*k**2 - 9*k + 17. Let m be f(7). Suppose 2*q = 2*h + 556, -4*h = m*q - 330 - 504. Is 3 a factor of q?
False
Let x(c) = 37*c**3 - 4*c**2 + 4*c + 2. Let b be x(2). Suppose -4*n + b + 250 = 3*g, -n = -3. Is 11 a factor of g?
True
Let w be (31/93)/((-1)/(9/3)). Let p be -1*8/((-2)/1). Is 16 a factor of (-2)/(w/(-498)*p*-3)?
False
Let j = 45931 + -29244. Does 89 divide j?
False
Suppose 5*n - 8*n + 105 = 0. Suppose 3*h + 2*h = -5*p + n, -2*p - 21 = -5*h. Suppose -4*k = 2*v - p - 22, -v + 4 = 4*k. Does 13 divide v?
False
Suppose 503118 = 95*b + 26*b. Is 63 a factor of b?
True
Let u be 2 - (-7 - 792) - -6. Suppose -2*i = 38*v - 34*v - 654, i = 5*v - u. Is 27 a factor of v?
True
Let w = 49322 - 43320. Is w a multiple of 5?
False
Let v be (-480)/(-10) + (-2 - 3). Let n = v - 29. Is n a multiple of 14?
True
Let w(t) = t**3 + 14*t**2 - 5*t - 10. Let f(x) = -3*x + 26. Let j be f(12). Let v be w(j). Suppose -5*i = 140 - v. Does 20 divide i?
True
Let d = -138 - -258. Suppose -r = 4*r - d. Is 6 a factor of r?
True
Let h = -8518 - -13954. Is 12 a factor of h?
True
Suppose -19*n - 7*n + 131397 = -30349. Is 9 a factor of n?
False
Let x = -18415 + 26687. Does 11 divide x?
True
Suppose 2*q = -o - 11, -2*q + 2*o - 18 = 2*q. Let k be q/25 - 3/(-15). Is (6/(-5) - 0)*-60 + k a multiple of 24?
True
Let r(z) = -276*z + 1560. Is 11 a factor of r(-45)?
False
Let l = 5139 - 2663. Does 5 divide l?
False
Does 17 divide (-390)/((-2820)/(-408) - 7)?
True
Suppose 0 = -5*y + 5*p + 85790, -3*y - 2*p = -2*y - 17134. Does 70 divide y?
True
Suppose 0 = 7*h - 5*h - 4. Let y be (-5)/((-5)/h)*1. Is 11 a factor of (-752)/(-48)*(1 + y)?
False
Let i(v) be the second derivative of v**4/6 + v**3/3 + 384*v**2 + 201*v. Is i(0) a multiple of 17?
False
Suppose -2*f + 3*f - 4*k = 2, 0 = -f + 5*k + 2. Suppose 3*o - 2*i + 10 = 8*o, 2*i - f = -o. Suppose 108 - o = b. Is 24 a factor of b?
False
Suppose 2*o - 9 = 5. Suppose 0 = a - o*a - 636. Let h = a - -178. Does 16 divide h?
False
Let i(w) = 3*w**3 - 3*w - 10. Let z be -7*11/(-154)*(9 + -1). Is i(z) a multiple of 8?
False
Suppose -4*f = -4*b - 79124, 3*f - 86106 = b - 26771. Does 8 divide f?
False
Let c = 1090 - 1020. Does 9 divide (-15)/45*6/(-2)*c?
False
Let t = 488 + 1054. Suppose 0 = -24*h + 282 + t. Does 6 divide h?
False
Let a = -13987 - -52268. Is a a multiple of 43?
False
Let z(g) = 2*g + 196. Suppose 4*m - k - 120 = 55, -2*m = 5*k - 71. Is z(m) a multiple of 14?
False
Let q(v) = 8*v**2 + 20*v - 58. Let i(o) = -o**3 + 20*o**2 - 2*o + 44. Let g be i(20). Does 30 divide q(g)?
True
Let s be 22/66 - 134/6. Let h = 29 + s. Suppose -6*i + h*i = 105. Is i a multiple of 35?
True
Let p(a) = a**2 - 65*a + 310. Let y be p(5). Suppose -9*l + y*l - 857 = -4*f, 1734 = 2*l + 3*f. Is l a multiple of 56?
False
Let j = 64 - 8. Suppose -j*b = -59*b + 1014. Is b a multiple of 26?
True
Suppose -5*u - 61 = -4*t, 5*u + 67 = 5*t + 2. Suppose j = -y - 3*y + 63, -5*y = -4*j - 105. Let f = u + y. Does 4 divide f?
True
Suppose 1 + 9 = -p + 2*n, 5*p + 2*n + 26 = 0. Let w = -28 + p. Let d = w + 42. Is 3 a factor of d?
False
Suppose 3*q + 0 = 111. Suppose q + 77 = 3*f. Is f a multiple of 19?
True
Is 157 a factor of 390/(-312) + (-31482)/(-8)?
False
Let k = -1033 - -2017. Does 20 divide (k - 0) + (-120)/30?
True
Suppose -23 = -3*c + 5*o, -3*c + o = -7*c. Let a(n) = 4*n**2 + 1. Let w be a(c). Suppose 4*l - 77 = -w*h, 5*h = 5*l + 89 + 6. Is h a multiple of 17?
True
Suppose -43 + 47 = 2*x. Suppose 5*b + 485 = k, -7*k + 2509 = -x*k - 4*b. Is k a multiple of 50?
False
Suppose -153*h = -155*h - 20. Is 9 a factor of (-788)/h*(-95)/(-38)?
False
Suppose -2*u + 6583 + 2753 = -2*i, -12 = -3*i. Is u a multiple of 6?
False
Suppose 748 = 30*z - 64*z. Let i be (-572)/(-18) - (-4)/18. Let o = z + i. Does 10 divide o?
True
Suppose -47*c + 7297 + 538751 = -246372. Is c a multiple of 12?
True
Let z be (-546)/(-2) + (17 - 14). Suppose -3*y - 5*u + 263 = -15, 3*u = -3*y + z. Suppose -y = -6*w + 1337. Does 34 divide w?
True
Let w(s) = 431*s + 735. Is w(7) a multiple of 47?
False
Let f(l) be the second derivative of 19*l**3/6 + 71*l**2 - 115*l. Is f(-6) a multiple of 5?
False
Does 61 divide (((-560)/(-30))/(-7))/((-1)/1098)?
True
Suppose -28 = 37*p - 51*p. Suppose 0 = 3*k + j + 3*j - 1975, -3*k + 1973 = p*j. Does 73 divide k?
True
Let l(h) = h**2 - 8*h - 37. Let z = 217 + -233. Does 11 divide l(z)?
False
Let m(i) = -233*i - 6281. Is m(-77) a multiple of 53?
True
Let u = -315 - -317. Is 21 a factor of 384/448 - ((-8836)/14 - u)?
False
Let j(s) = -s + 28. Let h be j(16). Suppose 2*k = -0*r + 2*r - 8, 3*k = -4*r - h. Suppose 2*y + 2*y - 132 = r. Does 5 divide y?
False
Let h be 13 + ((-2 - 0)*1 - -1). Let v = 13 - h. Is 14 a factor of (6/(-12))/(v/(-112))?
True
Let j(r) = r + 3. Let f be j(-3). Suppose 3*q - 1 - 2 = f, -5*k + 4*q = 169. Let l = 63 + k. Is l a multiple of 19?
False
Suppose -i - 5*b = -711, 3*b - 3744 + 299 = -5*i. Does 23 divide i?
False
Let r = 653 - 597. Suppose r = c - 124. Does 18 divide c?
True
Let g(x) = 13*x**3 + 64. Is 7 a factor of g(9)?
True
Suppose 36*l - 33*l - 12 = 0. Suppose 8 = 6*o - l*o. Suppose 4*j + o*j = 96. Is j a multiple of 3?
True
Let j(l) = l - 3 + 0*l + 4*l - 2*l. Let g be j(2). Suppose g*h + 3*m - 19 = 2*h, -m = 4*h - 131. Does 34 divide h?
True
Let b(m) = m**3 + 58*m**2 + 45*m - 14. Is b(-22) a multiple of 9?
False
Let s(a) = 5*a**2 - 15*a + 6. Let q(d) = -20*d - 13. Let u be q(-3). Let p = 51 - u. Is s(p) a multiple of 25?
False
Suppose -10*l = -4*