 4*m - 9984, 2*m = 5*t + 6637. Is 74 a factor of m?
False
Let y(p) = -58*p**3 + p**2 - 3*p - 1. Let a be y(-2). Suppose 137 = 3*t + a. Let v = t - -157. Does 12 divide v?
False
Let l = 10252 + -2856. Is 17 a factor of l?
False
Let q = -3 - -6. Suppose 0*j + 11 = q*j - 2*d, -j = -3*d - 13. Is 12 a factor of (24/(-15))/(j/(-30))?
True
Let v = -6724 - -9427. Is v a multiple of 9?
False
Let s(w) be the first derivative of 26 - 9/2*w**2 - 61*w. Is 12 a factor of s(-12)?
False
Suppose 2*q = -4*m + 12172, 10*q - 8*q - m = 12147. Is q a multiple of 28?
True
Suppose -685 - 1534 = 7*h. Let y = -173 - h. Does 36 divide y?
True
Suppose -10*a = 34*a - 836. Does 15 divide a/((-285)/(-90))*(-131)/(-2)?
False
Let n(o) = -3*o - 24. Let v be n(-7). Let w be (3 + -3)*(v + 2 + 0). Suppose 3*p + 131 = -w*b + 2*b, -3*b = -p - 207. Is b a multiple of 35?
True
Does 78 divide 1 + (-8)/9 + 4686500/468?
False
Suppose 1161 - 141 = 4*x. Let r = 347 - x. Is 4 a factor of r?
True
Suppose -3*s = -14 - 1. Suppose -832 = -s*v + 428. Is 12 a factor of v?
True
Let x(y) be the first derivative of 8*y**3/3 + 780*y + 22. Does 65 divide x(0)?
True
Let f(d) be the second derivative of -13*d**5/20 - 7*d**4/12 - 13*d**3/3 - 37*d. Let k(a) be the second derivative of f(a). Is k(-3) a multiple of 24?
False
Suppose 3*m = -1 - 17. Let b be ((-16)/m)/(1/6). Suppose 19*i = b*i + 189. Is i a multiple of 21?
True
Let h = 296 - 676. Let l be (-1)/(-3)*(h - 1). Let m = l + 238. Is m a multiple of 37?
True
Let r(h) = 20*h**2 + 5. Suppose 10*c = 9*c + 2. Is 17 a factor of r(c)?
True
Let o(z) = -z**2 - 26*z - 76. Let i be o(-14). Suppose -i*d - 86 = -93*d. Does 13 divide d?
False
Let b = 1219 - -2556. Is 29 a factor of b?
False
Suppose 3*c = 3128 + 307. Let x = -665 + c. Is x a multiple of 8?
True
Let o(v) = -12*v + 384. Let l be o(0). Suppose -389*q + 1130 = -l*q. Is q a multiple of 26?
False
Suppose 11*u - 8*u = -144. Let x be 6/(-4)*u/(-72). Is ((-2)/(-3))/(x/(-180)) a multiple of 30?
True
Is ((-832)/6 - -2)/(179/(-2148)) a multiple of 27?
False
Suppose -17 = 14*o - 59. Does 3 divide o*(86/3 + 8)?
False
Let s be (12/(-15))/((-17)/(-12580)) - 0. Let j = s + 678. Does 24 divide j?
False
Is (-12)/((-36)/(-21621))*5/(-5) a multiple of 2?
False
Let n(y) = -2*y - 2. Let h be n(-7). Suppose v + q = 8, -v - q - 4*q = h. Is v a multiple of 4?
False
Suppose 25 = 12*p - 11. Suppose -2*a - p*a = 0. Suppose -b + k + 113 = 0, 5*b + 2*k + a*k = 530. Is 12 a factor of b?
True
Let m be 12/16 - 9/(-4). Suppose -2*z = -2*f + 3*f + 21, m*z + 27 = -3*f. Is (3 - (-52)/z)*-6 a multiple of 2?
True
Suppose 298*o - 140*o - 725504 = -278*o. Does 52 divide o?
True
Let m be (126/9)/(4/328). Suppose 2*a = 2*v + m, 0 = -a + 4*v + v + 594. Is a a multiple of 9?
False
Is 58 a factor of (1/3*-8)/((-416)/959088)?
True
Let g = 877 - -2307. Does 6 divide g?
False
Let m = -305 - -775. Suppose 0 = -4*d + w + 355, -m = -9*d + 4*d - 4*w. Is 24 a factor of d?
False
Let q(l) = 1232*l**2 + 460*l - 3260. Is 65 a factor of q(7)?
False
Suppose 30*n - 467098 = 109912 + 36580. Does 48 divide n?
False
Suppose 0 = -160*i + 188835 + 55805. Does 153 divide i?
False
Let a(i) = -37*i**2 + 8*i. Let q(r) = 36*r**2 - 8*r - 1. Let z(h) = 2*a(h) + 3*q(h). Is z(3) a multiple of 31?
True
Let o = -193 + 60. Let i = o - -500. Is i a multiple of 38?
False
Is 345*(1290/75 - 2) a multiple of 7?
False
Let j(u) = u**3 - 9*u**2 - 2*u + 4. Let z be j(9). Let b = 3 - z. Let g = 13 + b. Is g a multiple of 30?
True
Suppose -12*t = -7*t. Suppose 5*w + 461 - 1471 = t. Suppose 5*q - 98 = w. Is 12 a factor of q?
True
Let i(g) be the first derivative of 2*g**3/3 + 5*g**2 + 8*g + 143. Is i(-9) a multiple of 40?
True
Suppose 0 = 8*b - 4*b + 3*m - 29462, -2*b + m + 14726 = 0. Does 162 divide b?
False
Let n(x) be the second derivative of 0 - 20*x + 9/2*x**2 - x**3. Does 18 divide n(-14)?
False
Let b be -3 + 2 + -1 + 0 + -1. Let a(s) = s**3 + 4*s**2 - 2. Let c be a(b). Suppose k = c*k - 144. Does 12 divide k?
True
Let b(u) = 5*u**2 + 11*u + 6. Let k = 32 + -38. Is b(k) a multiple of 9?
False
Is (309 - 9075)*(2 - (-16)/(-6)) a multiple of 59?
False
Suppose 0 = 34*k - 0*k + 2387 - 232567. Is 10 a factor of k?
True
Suppose -4*f + 6*f - 4*m - 2 = 0, -2*m = -2. Suppose -f*t = -9*t + 276. Suppose -t = 3*n - 184. Is 46 a factor of n?
True
Suppose 35*a - 141*a = -1128158. Is a a multiple of 15?
False
Let k(a) = 8*a**2 + 54*a - 714. Is k(-47) a multiple of 103?
True
Suppose -5*d + 79 = -0*d - 3*k, 3*d - 48 = 2*k. Suppose -50 = d*x - 15*x. Suppose -x*u = -48*u - 164. Is u a multiple of 11?
False
Let b(f) = -5*f**3 + 2*f**2 - 5*f - 6. Let n be b(-6). Let z = -666 + n. Does 25 divide z?
False
Let n(m) = -11*m**3 + 23*m**2 + 40*m + 25. Let x(y) = 31*y**3 - 69*y**2 - 120*y - 75. Let s(v) = -17*n(v) - 6*x(v). Does 17 divide s(-20)?
True
Suppose 2*v + 2*x + 800 = -2*v, -997 = 5*v + x. Let r = 23 - v. Is r a multiple of 8?
False
Let u(g) = -19*g**2 + 8*g + 12. Let w be u(-2). Suppose 2*a + 4*n = 204, -4*a + 291 = -a + 3*n. Let o = a + w. Does 3 divide o?
True
Let r(a) = -1374*a - 1375*a + 55 + 5*a**2 + 4141*a - 1341*a. Does 22 divide r(-17)?
False
Does 85 divide -6 + (-14)/(-4*(15076/(-15080) + 1))?
False
Suppose 5*p = -14*p + 29740 + 9248. Is 64 a factor of p?
False
Let t(b) = 207*b + 28813. Does 14 divide t(0)?
False
Let j = -48311 - -70571. Is j a multiple of 210?
True
Suppose 0 = -2*t + p - 2 + 7, 13 = 4*t - p. Suppose 15 = 3*x, -3*x + x + t = -2*o. Suppose 65 = o*w - 31. Is w a multiple of 7?
False
Let i(o) = o**2 + 13*o + 25. Let g be i(-11). Suppose -2*r = -4*r - s + 13, 3*s + 6 = g*r. Suppose 4*w - 277 = -2*h + 3*h, -5*h = r. Is w a multiple of 19?
False
Is 31 a factor of 20 + 26028 + (-14 - -37)?
True
Suppose p - 81 = -93. Is 14 a factor of (8/4)/p + (-47173)/(-42)?
False
Let j(a) = a**2 - 41*a + 116. Let k be j(38). Suppose 0 = k*x + 3*p - 2190, 12*x = 11*x - p + 1093. Is 11 a factor of x?
True
Suppose -6*j + 12 = -2*j, 2*j - 56 = -5*m. Does 6 divide 136/10*225/m?
True
Let i(v) = 31*v**2 + 83*v - 1183. Is i(22) a multiple of 14?
False
Let q = 14625 - 9653. Is q a multiple of 11?
True
Let t(b) = -6*b**3 + 78*b**2 + 64*b + 126. Let m(w) = -w**3 + 15*w**2 + 13*w + 25. Let o(p) = -11*m(p) + 2*t(p). Is 27 a factor of o(-12)?
False
Suppose -4*i - 5*m + 116 = 0, -3*i - 3*m - m = -86. Suppose 0 = -2*p - 4*v + 1504, 4*p - 4*v + i = 3030. Is 21 a factor of p?
False
Suppose -129 = 2*o + 1165. Let h = o - -1256. Is h a multiple of 15?
False
Let w(a) = 79*a - 4. Let h(n) = -78*n + 4. Let f(o) = -5*h(o) - 4*w(o). Let z be f(6). Suppose z = -5*k + 1220. Is k a multiple of 13?
True
Let j be (3 - (-305)/2)*6. Suppose j = 3*u - 255. Is 33 a factor of u?
True
Let w = 40 + -29. Suppose 16 = -h + w. Is -98*1/(-5) - 2/h a multiple of 4?
True
Suppose 13806 = 34*k + 11670 - 77594. Is 6 a factor of k?
False
Suppose 3*h - 2556 = -3*f, -h - 3*f - 872 = -2*h. Let s = 1497 - h. Does 40 divide s?
True
Let s(o) = -7*o + 11. Let n(b) = 2*b - 3. Let w(t) = 22*n(t) + 6*s(t). Let k be w(1). Suppose 393 = k*q - 3*h, -5*q + 4*h + 392 = -594. Is 18 a factor of q?
True
Let m(z) = -61*z**2 + 31*z + 3. Let k be m(3). Is 53 a factor of 5 + -2 - (0 + k)?
False
Let b = 1476 - 1392. Is 3 a factor of b?
True
Let q(f) be the first derivative of -8*f - 7/2*f**2 + 19 + 4/3*f**3. Is 6 a factor of q(-4)?
True
Is 8 a factor of ((-143412)/190)/(-4 - (-557)/140)?
True
Let q = 338 + -332. Does 8 divide -6*(852/(-18) - q)?
True
Let f(j) = -j + 54. Let y(b) = -b + 52. Let t(q) = -2*f(q) + 3*y(q). Is t(12) a multiple of 19?
False
Let t be (3394/(-6))/(9/(-27)). Suppose 2*f = -2*f - 8, -5*m - f = t. Let v = m + 531. Does 32 divide v?
True
Suppose -234*a = -66*a - 1414292 - 3279628. Is a a multiple of 5?
True
Let h be 196 - (-12)/3 - (3 + 1). Suppose -5*q - 1001 = -3*g, -2*g + h = -q - 0*g. Let i = 494 + q. Does 12 divide i?
False
Suppose -211*h = -214*h + 57. Suppose 2*y + 24*b - 1200 = h*b, -4*y - 2*b + 2400 = 0. Does 12 divide y?
True
Let o(r) = r**3 - 13*r**2 + 11*r + 13. Let x = -36 + 48. Let t be o(x). Suppose -16 = -a + t. Is 6 a factor of a?
False
Is 12 a factor of (2820/423)/((-5)/(-3258))?
True
Let p(f) = -f - 1. Let m be p(-4). Suppose -4*b = -11 + m. Suppose -4*y + z + 460 = 2*z, -4*y + b*z = -472. Is y a multiple of 29?
True
