 factor of n?
True
Let b = -3478 + 7880. Is b a multiple of 31?
True
Let j(f) = 2*f**3 + 20*f**2 - 25*f + 18. Let c(r) = r**3 + r**2 - r + 1. Let w(i) = -3*c(i) + j(i). Is 12 a factor of w(15)?
False
Suppose -28*m + 96 = -12*m. Suppose 4*k + m*p = 8*p + 1976, 5*k + 4*p - 2470 = 0. Is k a multiple of 52?
False
Let b(q) = q**3 + 11*q**2 - 7*q + 165. Is b(12) a multiple of 27?
False
Let t = 190 - -126. Let m be -8 + 3 + -7 + 14. Suppose -2*z + 4*n + 352 = -0*n, -t = -m*z - 5*n. Is 28 a factor of z?
True
Let l(w) = w**3 + 17*w**2 + 12*w - 36. Let s be l(-16). Let m = 6 + s. Is 15 a factor of m?
False
Let w(p) = 4*p + 241. Let u be w(23). Is 33 a factor of (-132)/(-1)*u/74?
True
Let j = -6925 - -12637. Suppose 18*x - j + 1122 = 0. Is x a multiple of 4?
False
Let l(y) be the first derivative of -9/2*y**2 - y + 2*y**3 + 41. Is l(7) a multiple of 10?
True
Let i(r) = -r**2 + 9*r + 4. Let y(d) = -d**3 - 2*d**2 + 5*d - 3. Let u be y(-4). Let p be i(u). Suppose -l - p = -0*l, -v + 44 = 4*l. Is v a multiple of 12?
True
Suppose 0 = -3*t - 5*l + 16295, 11*t + 10870 = 13*t + 5*l. Does 31 divide t?
True
Let i be (-1)/2*(-44 + -4). Suppose 4*h - 192 = i. Does 30 divide h?
False
Let t(r) be the first derivative of -31*r**2/2 + 73*r - 3. Is 9 a factor of t(-5)?
False
Let k(u) = 15*u**2 + 140*u - 1595. Is 199 a factor of k(13)?
False
Let q be 16*(-5)/(-15)*9. Is 7 a factor of (-80)/(2 - q/20 - 0)?
False
Let v(q) = -q**3 - 8*q**2 - 3*q + 14. Let c = -19 - -12. Let l be v(c). Does 6 divide l/(-10)*(11 - 6)?
False
Let t be (-7)/(2*5/(-30)). Let b = -3 + t. Suppose -3*u - 4*r + 26 = -b, -r - 64 = -3*u. Does 5 divide u?
True
Let v = 1198 + 3559. Is 10 a factor of v?
False
Let y(t) = -t**3 - 5*t**2 - 2*t + 15. Let m = -80 + 75. Is y(m) even?
False
Suppose 5*r = 2*x - 10681, 2*r = 20*x - 16*x - 21322. Does 48 divide x?
True
Let p(a) = -2*a**3 + 2*a**2 - 7*a - 5. Let d be p(-4). Is 1 + 1468/6 + (-122)/d a multiple of 13?
False
Suppose -2*l + 65371 + 46845 = 4*z, -4*z + 112184 = -2*l. Does 187 divide z?
True
Suppose -113446 - 5292719 = 23*c - 118*c. Is 62 a factor of c?
False
Is 36 a factor of ((-17)/(-34) - 129/(-30))*870?
True
Let u(l) = 22*l**2 + 21*l + 6. Let i = 567 - 573. Is 12 a factor of u(i)?
True
Let u(s) = 10*s + 64. Let w be u(-6). Suppose -2279 = -w*r - 3*y, y = -6*r + 7*r - 575. Does 13 divide r?
True
Is (20 - 13)*(-1 + -5)*-25 a multiple of 15?
True
Let k = 3192 - -2736. Does 38 divide k?
True
Let g(m) be the second derivative of m**6/120 + m**5/6 + 7*m**4/24 + 5*m**3/3 + 23*m**2/2 - 5*m. Let u(q) be the first derivative of g(q). Does 28 divide u(-6)?
True
Let k = -77 + 89. Suppose -4*l - k = -10*l. Suppose -4*n + l*n + 14 = 2*o, 5*n = -2*o + 17. Is o a multiple of 2?
True
Suppose 3*l + 11719 = 5*r - 16261, -6*l = r - 5596. Does 11 divide r?
False
Let v(x) = -10*x + 15. Let p be v(2). Let y(a) = 2*a**2 - 10*a + 4. Is 38 a factor of y(p)?
False
Is 2366/56*616/11 a multiple of 7?
True
Let n be (-2)/(-11) - 0 - (-8)/(-44). Suppose 4*x - 5*z - 131 = n, -2*z + 13 = 3. Is x a multiple of 13?
True
Let r(d) be the first derivative of 2*d - d**3 - d**2 + 15 - 1/4*d**4. Is r(-3) a multiple of 8?
True
Let z(i) = -3*i - 10. Let d(j) be the first derivative of j**3/3 + 2*j**2 + 10*j - 8. Let p(g) = 2*d(g) + 3*z(g). Is p(7) a multiple of 40?
False
Let h be (1212/48)/(2/16). Let j = h + -37. Does 15 divide j?
True
Let g(p) = p**3 - 6*p**2 + 4*p + 7. Let m be g(5). Suppose -m*q = 5 - 9. Suppose q*k - 230 = 52. Is k a multiple of 11?
False
Let n(a) = -a**3 + 4*a**2 + 8*a - 6. Let i(z) = -z**3 - 13*z**2 + 13*z - 2. Let u be i(-14). Suppose 4*y = u + 8. Does 2 divide n(y)?
False
Let q = -275 - -587. Suppose -5*s - y - q = -4*y, 5*y = -4*s - 220. Let u = 57 - s. Does 21 divide u?
False
Let y(h) = -2*h + 8. Let v be y(10). Let r be v/(-20) - 1648/(-20). Is 5 a factor of (-33)/44 - (r/(-4))/1?
True
Suppose -h - 49 = -46. Is 104958/170 - h/5 a multiple of 26?
False
Suppose 93 = -2*w + 3*w - t, 5*t + 81 = w. Suppose 445 = -91*x + w*x. Let o = x + -67. Does 3 divide o?
False
Let c(y) = 249*y**2 - 79*y + 822. Is c(9) a multiple of 130?
True
Let f be 3 + -7 + (-222)/(-6). Suppose -k = -v - v - f, -4*v - 124 = -4*k. Suppose 3*g - 2*g = k. Does 20 divide g?
False
Suppose 15*u - 17*u + 286 = 0. Let p = u - -247. Is 13 a factor of p?
True
Is (-28312515)/(-1815) - (18/(-22) + 1) a multiple of 25?
False
Let x = -470 + 2694. Is x a multiple of 7?
False
Suppose 2*f - 11 = 4*c + 27, -4 = 2*c. Suppose 0 = -10*d + f*d - 20. Is d a multiple of 4?
True
Let u(w) be the second derivative of w**5/15 - w**4/3 - 4*w**3/3 - 4*w**2 - 19*w. Let o(t) be the first derivative of u(t). Is o(-6) a multiple of 40?
False
Let b(r) = 14*r**2 - 17*r + 131. Let w be b(-23). Suppose 9*l = -1583 + w. Is l a multiple of 14?
False
Let o(u) be the first derivative of 11*u**2 - 24 + 1/4*u**4 - 5*u - 22/3*u**3. Is 6 a factor of o(21)?
False
Let c(x) = 5*x**2 + 3*x + 2. Let k be c(-1). Is 14 a factor of k/30 - 41538/(-315)?
False
Suppose 2*f - 5*x - 250 = -2, 5*f - 650 = 5*x. Suppose -5*c + 4*z + 469 = f, 3*c = 2*z + 199. Let r = 84 - c. Is 3 a factor of r?
True
Suppose 153*u - 179*u = -192894. Is u a multiple of 33?
False
Suppose -4*q + 8*q + 2*r - 4266 = 0, -4*q - r = -4267. Let t = q - 599. Is 30 a factor of t?
False
Suppose 3441 = 6*p - 6495. Is ((-3)/(-2))/(9/p) a multiple of 16?
False
Suppose 4*l = 2*r - 10, 4*l + 1 = 5*r + 2*l. Let c be (0/(-4) - -2) + 0 + r. Suppose -52 = -m + c. Is m a multiple of 11?
False
Let z(t) = t**3 - 2*t**2 - 2*t + 3. Let c be z(0). Suppose -i - 2*r = -24, 3*i - c*r = -4*r + 97. Is 13 a factor of 4/34 - (-1798)/i?
False
Suppose -5*h - 784 = 21. Let s be (5/(-2 + -3))/(1/h). Let c = s + -80. Is 36 a factor of c?
False
Let i be 3/(-12) - 114/(-8). Suppose 0 = -21*g + 2143 - 337. Suppose 0 = 9*f + i - g. Does 3 divide f?
False
Let i(h) = -h**2 + 9*h - 10. Let n be i(7). Suppose p - 4*o - 1218 = -n*p, 0 = -5*p + 3*o + 1221. Let a = -138 + p. Does 30 divide a?
False
Let z(m) = 15*m - 2. Let k be z(3). Suppose g = -5*b + 3 - 65, -15 = 3*b. Let a = g + k. Is a a multiple of 2?
True
Let g be (-4)/(-2) - -1*1. Let n = 1576 - 1563. Let p = n - g. Does 10 divide p?
True
Is (((-9672)/(-217))/8)/((-1)/(-91)) a multiple of 24?
False
Let a = 38 + -33. Let c be 10/8 - a/4. Suppose c = 5*h - 20, 2*t - 4*h = -3*t + 224. Does 7 divide t?
False
Let n = 5 - 1. Let i(q) = 2*q + 142. Let z be i(-70). Suppose w - 10 = z*p + 10, -n*w = -4*p - 68. Does 6 divide w?
False
Let r(x) = 30*x**2 + 111*x + 356. Is r(-28) a multiple of 228?
False
Let i be (-361)/8 + 55/440. Is (-1)/((-45)/(-6)) - 8196/i a multiple of 4?
False
Let p be (5 - (-4 + 13) - -5) + 3. Is 69 - (p - (3 + 0/3)) a multiple of 17?
True
Let n(y) = -y**3 - 11*y**2 + 2. Let m be n(-11). Suppose m*i = -i. Suppose i = 2*s + 5*o - 221 - 90, 404 = 3*s - 5*o. Is 23 a factor of s?
False
Let y(c) = -c**3 + 34*c**2 - c + 36. Let x be y(34). Suppose s = 2*s + x*k - 141, -121 = -s + 2*k. Does 25 divide s?
False
Let v(y) be the third derivative of y**5/60 - 7*y**3/6 + y**2. Let f be v(3). Suppose u = -f*u + 90. Is u a multiple of 30?
True
Suppose -8 = 2*d, 0*d + 2*d + 388 = 4*v. Suppose 121 = 6*j - v. Is j a multiple of 8?
False
Let a = 31 + -266. Let d = -1 - a. Is 6 a factor of d?
True
Let x(j) = -32*j + 163. Let i be x(5). Suppose -552 = -24*c + 22*c + 5*z, 5*c = i*z + 1380. Does 23 divide c?
True
Suppose -340 = -28*z + 26*z. Let c = 325 - z. Does 31 divide c?
True
Let m = 91 + -74. Suppose m*q - 9023 = -2733. Suppose 0 = -11*w + 257 + q. Does 49 divide w?
False
Suppose i + m = -3*m - 21, 0 = m + 3. Let u be (-3)/i + (-99)/(-27). Suppose 5*g + 4*y = 380, 2*g + u*y - 210 = -46. Is 4 a factor of g?
True
Suppose r = 6*r. Suppose r = -12*g + 11*g. Suppose g = b - 21 - 17. Is b a multiple of 6?
False
Let u(t) be the second derivative of -5*t**3/3 - 10*t**2 + 2*t. Let d be 14 + -36 + 0/6. Does 40 divide u(d)?
True
Suppose 43*r - 90*r - 42183 = -50*r. Is 50 a factor of r?
False
Suppose 161*b - 10112 - 180579 = 272345. Is 6 a factor of b?
False
Suppose 0 = -2*x + 2*j + 2, x + j = -3 + 4. Let m be 1809/21 - ((-18)/21 + x). Let s = 219 - m. Does 21 divide s?
False
Is 102 a factor of (2103344/940)/(-2 - (-12)/5)?
False
Let t = -22 - -36. Suppose -11*u + 18*u = t. Suppose