e of 11?
True
Suppose -8*h = -6*h - 4. Let k be (1/h - 4)/(2/96). Let c = -121 - k. Is c a multiple of 3?
False
Suppose -6 + 14 = -2*z, 146 = 5*j + z. Let n be (j - 1)/((-7)/(-14)). Let k = -25 + n. Is k a multiple of 4?
False
Let l = 110 + -112. Is 3 a factor of 5/(-1) + 7 + (l - -13)?
False
Suppose 5*y = 3*z - 308, 12*y - 7*y - 460 = -5*z. Is 6 a factor of z?
True
Suppose 0 = -q - 5*b - 4930 + 19501, 5*b - 43773 = -3*q. Does 64 divide q?
False
Let v(w) = 16*w**2 + 215*w - 19. Let s(h) = 8*h**2 + 107*h - 10. Let k(u) = 7*s(u) - 4*v(u). Does 7 divide k(-6)?
False
Suppose 37*o - 89792 = -11*o + 27520. Is 4 a factor of o?
True
Let t(m) = -m**3 - 23*m**2 - 44*m + 41. Is 139 a factor of t(-29)?
False
Let l = -4 + 21. Let k be 5/((-15)/9) + l. Suppose -k*p + 151 = -73. Does 10 divide p?
False
Suppose 0*w = -w + 2*q, -w = q. Suppose -n = -5*b + 15, w = -3*b + 2*n - n + 11. Suppose 4*t - 84 = -b*t. Does 14 divide t?
True
Suppose -t - 54 = -10*t. Let f(n) = n - 7*n + 8*n + 17 - t*n. Is f(-8) a multiple of 11?
False
Let j(u) = 51*u - 819. Does 50 divide j(46)?
False
Let n(b) = 302*b - 820. Is 86 a factor of n(3)?
True
Let s(o) = -4*o**2 + 18*o - 1. Let z(f) = -20*f**2 + 73*f - 3. Let v(b) = 9*s(b) - 2*z(b). Let a = -9 - -2. Does 27 divide v(a)?
True
Let q be (208/32)/(1/2). Let n(s) = -9*s**2 + s. Let t be n(2). Let f = q - t. Is f a multiple of 16?
False
Suppose -10*s - 21 - 39 = 0. Does 3 divide 9/6 + (-189)/s?
True
Is (-1647)/((-5)/(-20) + 34/8 + -6) a multiple of 61?
True
Let r be 15/(-10)*(-4)/(-6)*-5. Suppose r*l + 2524 = 5*f + l, 4*f - 4*l = 2020. Is 42 a factor of f?
True
Let f = -40 - -53. Suppose -7*m + 6*m = -f. Suppose -11*p - 356 = -m*p. Does 9 divide p?
False
Let z(h) = -h**3 + 9*h**2 - 6*h - 12. Let s be z(8). Suppose -2*j + 870 = 4*v - 4*j, s*v - 890 = -2*j. Does 20 divide v?
True
Let n(r) = r**3 + 5*r**2 + 5*r + 9. Let p be n(-4). Suppose -3530 = -4*g - 4*w + 2638, -4*g - p*w = -6164. Does 36 divide 3/27*g + 6/27?
False
Let f = 1078 + -295. Let j = f + -111. Is 14 a factor of j?
True
Suppose 0 = n - 4*n + 3*w - 33, -2*n = 5*w - 13. Is 18 a factor of (((-5397)/9)/(-7))/((-2)/n)?
False
Let o be (96/(-18) - -6)*645. Let u(n) = 13*n + 2. Let x be u(-2). Is (x/30)/((-4)/o) a multiple of 14?
False
Let z(k) = -1 - 7*k + 12 - k**2 + 0*k**2 + 12*k. Let m be z(6). Suppose -m*r - 109 = -449. Does 13 divide r?
False
Suppose -3*u + 43 = -4*s + 8*s, 3*s = -2*u + 28. Suppose m - u*m + 2336 = 0. Is 15 a factor of m?
False
Is 16 a factor of 4/1 + (-27)/45*-955?
False
Let c be 3/(3/2) - -511. Let f(u) = -69*u + 2670. Let g be f(35). Suppose -8*s + c = -g. Does 27 divide s?
False
Suppose 128807 + 731353 = 40*c. Is 48 a factor of c?
True
Suppose 0 = -16*l + 141786 + 96774. Does 142 divide l?
True
Let o = 53 + -56. Let n be o/(-8) + (-209)/88. Is 16 a factor of (7830/35)/6 + n/7?
False
Let p(n) = -72*n**3 - 8*n**2 - 7*n + 156. Is 18 a factor of p(-6)?
True
Let h(v) be the second derivative of 7*v**4/12 + 4*v**3/3 - 2*v**2 + 7*v. Let d = -50 + 54. Is h(d) a multiple of 21?
False
Let w = 201 + -207. Does 19 divide w/18 + 884/6?
False
Suppose 0 = -2*z - 5*f + 14579, -2*f = -2*z + 6*z - 29150. Does 21 divide z?
True
Let z = 173 - 173. Suppose z = 2*w - 4*a - 400, -11*w - 800 = -15*w + a. Is 8 a factor of w?
True
Let m(n) = -5*n - 8 - n + n**3 - 8*n + 4*n**2. Let l be m(-6). Suppose -2*i + 134 = 5*h - 23, 4*i = -l*h + 320. Does 20 divide i?
False
Let w(x) = 98*x**2 + 40*x - 172. Does 42 divide w(5)?
True
Suppose 0 = -0*y + 4*y + 2*g - 368, 4*y = 2*g + 360. Let l = 109 - y. Let x = 59 - l. Does 13 divide x?
False
Let y(v) be the second derivative of v**5/20 + 11*v**4/12 - v**3/6 - 4*v**2 + 17*v. Does 27 divide y(-4)?
True
Let b(m) = m**2 + m - 45. Let h(c) = c**2 + 8*c + 9. Let i be h(-4). Let t be b(i). Is t + -6*(-3)/12*32 a multiple of 9?
True
Let a = 4636 + -2460. Suppose 6*o - a + 430 = 0. Does 5 divide o?
False
Let h be 1/7 + 1536/28. Suppose 0 = 4*w, 5*g - h = -0*g - 2*w. Let d = g - -11. Does 12 divide d?
False
Let i = -36661 - -105127. Does 312 divide i?
False
Suppose 0 = 26*l - 25102 - 11402. Does 36 divide l?
True
Let f be (-6)/(-3*2/3). Suppose 98 = 3*a - 94. Suppose f*r = a + 20. Is 4 a factor of r?
True
Let k(l) = 187*l**2 - 97*l + 562. Does 16 divide k(6)?
False
Suppose -432 = 5*u + 188. Let a be -1 + (8 - 4) + 5. Let q = a - u. Is q a multiple of 14?
False
Let c = 364 + -366. Let l(w) = -53*w**3 + w**2 - 8*w + 1. Is 45 a factor of l(c)?
False
Let b(m) = 414*m**3 - m**2 - m + 1. Let s be b(1). Let h = -401 + s. Is h a multiple of 12?
True
Let r(o) = o**3 + 7*o**2 - 9*o + 13. Let i be (-66)/8 + (-5)/(-20). Let j be r(i). Is 16 a factor of 1981/j + 1/(-3)?
False
Let d = -176 - -189. Suppose 0 = -d*p + 764 + 731. Does 53 divide p?
False
Let h be ((-9)/((-270)/48))/((-4)/70). Let x be (-2 + h)*8/(-6). Suppose 5*w + x = -2*j + 3*j, -4*w = -8. Is j a multiple of 9?
False
Let q be 6/(-4)*(13 + (-7)/(-7)). Let t be 8/(-4)*q/6. Suppose -226 = -t*j + 334. Does 33 divide j?
False
Let a(h) = 2*h**3 + 4*h**2 - 46 + 13*h**2 - 4 - 24 - 18*h. Is 13 a factor of a(-8)?
False
Let a(h) = -40 - 17*h - 39*h - 43 - 108*h. Is a(-2) a multiple of 7?
True
Suppose 5*u + 10 = -m, -4*u - 10 = 4*m - 2. Let f(a) = 9*a + 6. Does 3 divide f(m)?
True
Let q(l) = l**3 + 11*l**2 + 3. Let r be q(-11). Suppose -y + 106 = 4*d, -d - r*y + 5*y + 31 = 0. Is d/(-12)*64/(-12) a multiple of 6?
True
Suppose -15 = 5*m, 0 = -t + 3*t + 2*m + 14. Let z be (-16)/t - (3 - 6 - -2). Suppose z*q - 2*q = 96. Does 24 divide q?
False
Suppose l - 3*j - 263 = 0, -2*j = -4*l + 3*j + 1031. Suppose 3*b + 4*b = 0. Suppose 4*k + k - 304 = -3*t, b = -4*k + 3*t + l. Is 6 a factor of k?
False
Let u(q) = -11*q**3 - 5*q**2 - 23*q - 72. Let f be u(-5). Suppose -t - f = 10*y - 12*y, 4*t = 4*y - 2580. Is 36 a factor of y?
True
Suppose -3*u + 3*a = -8*u - 61, 4*u + 68 = 4*a. Is u*(20/(-50) - 1032/70) a multiple of 43?
False
Let p = 8193 + -3185. Is 16 a factor of p?
True
Let v(l) = l**3 + 16*l**2 - 14*l + 2. Let x be ((4 - 1) + (12 - 23))*2. Is 13 a factor of v(x)?
False
Let f(n) = -5*n**3 - n**2 + 43*n - 2. Does 73 divide f(-11)?
True
Let c = 23 - 21. Suppose v - 3 = 1. Suppose r = 2*h - 98, 38 = c*h - v*r - 54. Does 10 divide h?
True
Let a(o) = 6*o**3 + o**2 - 2. Let b(r) = -5*r**3 + r + 1. Let n(k) = -4*a(k) - 5*b(k). Let q be n(5). Is 21 a factor of q/(-24)*54*(-80)/6?
False
Let k be (-4)/((-9)/(-9))*149*1. Is 8 a factor of k/(-3)*(18 + (-495)/30)?
False
Let i(b) be the second derivative of b**5/20 + 19*b**4/12 + 35*b**3/6 + 6*b**2 + 51*b. Is 35 a factor of i(-12)?
False
Let w = 36 + -41. Does 19 divide 10*(8/w + 1)*-19?
True
Suppose 4*c - 6068 = 2*z, 4*c - 2007 = 5*z + 4049. Suppose -34*d + n - c = -36*d, 4*n + 1544 = 2*d. Is 14 a factor of d?
False
Let x(l) = -l**2 - 21*l - 80. Let h be x(-16). Suppose h = 5*d + 5*m - 175, 23 = d - 3*m - 2*m. Does 2 divide d?
False
Suppose -o + 0*o + 2743 = -10802. Is 231 a factor of o?
False
Let d = -380 - -253. Let u(m) = m**3 + 6*m**2 - 4*m + 4. Let r be u(-7). Let p = r - d. Is 22 a factor of p?
True
Suppose -89*l + 467*l + 6629142 - 25007502 = 0. Is 29 a factor of l?
False
Let u(d) = 5*d - 28. Suppose -y = -7*y + 36. Let g be u(y). Is 2 a factor of 9/18 + 59/g?
True
Suppose -4*o = 6 - 66. Let v be (-8)/3*o/(-10). Suppose v*q - 150 = -2*a, -4*q - 36 = -16. Is 17 a factor of a?
True
Let q be (-12)/4 - -5 - (2 + -5). Suppose 5*t = 2*c + 506, -q*t - 3*c + 79 = -412. Is t a multiple of 15?
False
Suppose 75 = 16*j + 11. Let u(o) = 4*o**3 - j + 4*o**3 + 26 - 9*o**3 - 16*o**2 + o. Does 6 divide u(-16)?
True
Let s(h) = -988*h - 2861. Is s(-5) a multiple of 99?
True
Let q = -33 - -34. Does 23 divide 4 + (3 - q) + 345?
False
Is 17 a factor of (-51 - -53)*3/((-6514)/6518 - -1)?
False
Let w(g) = -658*g - 21. Does 48 divide w(-38)?
False
Let v(w) = 14*w**2 - 38*w - 16. Is v(8) a multiple of 2?
True
Let p(o) = 160*o + 1988. Is p(0) a multiple of 10?
False
Suppose 358129 = 20*g + 57949. Is 5 a factor of g?
False
Suppose 8 = 5*t - 2. Suppose 0 = 2*c + 2*f - 42, 5*f - 11 + 46 = t*c. Does 20 divide c?
True
Suppose 0 = 13*v - 4 - 74. Is (v - 3) + (-5)/(25/(-705)) a multiple of 8?
True
Let c(b) = -3*b**2 + 111*b - 92. Does 36 divide c(20)?
False
Let i = 3444 + -2995. Is i a multiple of 36?
Fa