22 a factor of (-3)/((-54)/(-24))*(-3)/8*1366?
False
Suppose -2*g + 2*x - 938 = 0, -2*g = 3*x + 2*x + 945. Let y = -246 - g. Is 12 a factor of y?
False
Let b be 795/(-60) - -14 - 3373/(-4). Suppose 684 = -3*v - 3*p + 1950, 5*p = -2*v + b. Is 20 a factor of v?
False
Let j(p) = -12*p + 3*p - 35*p**2 + 5 + 19*p**2 + 17*p**2 - 92. Is j(30) a multiple of 27?
False
Let m(r) = -19*r - 8*r - 17*r - 11*r - 20 + 45*r. Suppose -4*k = -4*u + 40, 0*k + 3*k - 4*u = -28. Does 5 divide m(k)?
True
Let c(j) be the third derivative of j**5/60 - 11*j**4/12 - j**3/2 - j**2. Does 6 divide c(25)?
True
Let j be (-28896)/(-256) + 1/8. Let q = j + -112. Is 38 a factor of (q - -1)/(2/(-1119)*-3)?
False
Suppose 13*q - 12760 = 2*q. Let f = q - 740. Is f a multiple of 30?
True
Let y = 2963 - 1200. Let m = 3327 - y. Does 16 divide m?
False
Is (-1112)/6*351/(-78) a multiple of 75?
False
Suppose 5*b - 9939 = -2*y, 18*y = 2*b + 21*y - 3969. Is b a multiple of 117?
True
Let v be (1 + 14/(-21))*1509. Let f = v - 400. Is f a multiple of 24?
False
Let p(u) = -3*u**3 + 17*u**2 + 8*u - 17. Let q be p(6). Let d be (-22 - -2*1)*(q + 3). Is 15/(-6)*(-224)/d a multiple of 14?
True
Let c(h) = h + 8. Let g(w) = w + 7. Let j(o) = 3*c(o) - 4*g(o). Let s be j(-6). Suppose s*t + t = 24. Does 8 divide t?
True
Let a = 10 - -58. Let d = a + -64. Suppose 6*l - d*l = -x + 433, 1060 = 5*l - 2*x. Is 44 a factor of l?
False
Let g = 24 + -16. Suppose 9*t - 692 = g*t. Suppose -8*x = -2372 + t. Does 44 divide x?
False
Let h be (2 - (-3 - -99))/(4/18). Is 19 a factor of (-32)/((5 - 2) + h/135)?
False
Let u(w) = 18 + 7*w + 3 + 14 + 12. Let m be u(-7). Is 3*m/9 - 420/(-9) a multiple of 17?
False
Suppose 6*s + 1496 = 7*s. Suppose -27*m + s = -10*m. Is m a multiple of 11?
True
Let k = -3067 - -4379. Is 6 a factor of k?
False
Let s = 596 + -421. Suppose -s - 89 = -3*y. Is y a multiple of 44?
True
Suppose 65*o + 74*o - 328735 = 0. Is o a multiple of 43?
True
Let a(m) = m**2 + 5*m + 1. Let j be a(-5). Let y be 0 - 4 - (-89 - j). Suppose -4*t + y = 2*n, -t = -2*n - 0*n + 86. Is n a multiple of 5?
False
Let t = -29483 + 42563. Is 53 a factor of t?
False
Let d(r) = -171*r**3 + 2*r**2 - 7*r - 13. Is d(-3) a multiple of 10?
False
Suppose 249338 = 129*h - 601159. Does 6 divide h?
False
Suppose -343 + 1883 = 7*u. Suppose -y - 4*l = -l - u, 8 = 4*l. Does 11 divide y?
False
Is (-34 + -110)*-1*(0 - 60/(-8)) a multiple of 4?
True
Let v = 111 - 68. Suppose k + 0*p - 2*p + 49 = 0, v = -k - 4*p. Let m = 61 - k. Does 16 divide m?
False
Let d(l) = -587*l + 589*l - 13 - 3. Let q(h) = h**3 + 10*h**2 - h + 6. Let k be q(-10). Is 14 a factor of d(k)?
False
Suppose 4*x = -0*b + 3*b - 24848, 4*b - 33094 = -2*x. Does 41 divide b?
False
Let g(i) = 4*i - 10. Let a = -23 - -73. Let q = 55 - a. Does 2 divide g(q)?
True
Let t(n) = -17*n - 1. Let o be t(4). Suppose 0*p = -p + 5*i + 29, -24 = -p + 4*i. Let m = p - o. Is 18 a factor of m?
False
Let t(f) = 36*f + 108. Let c be t(-3). Suppose c = 7*y - 1384 - 765. Is y a multiple of 59?
False
Suppose -4572 = -7*g + 2736. Suppose 3*v + 423 + 969 = 4*p, 3*p + 4*v - g = 0. Is 49 a factor of p?
False
Suppose 69*p - 1600 = 64*p. Suppose -233 = m - p. Is m a multiple of 6?
False
Let w(c) = 5*c**2 + 1. Let y be w(-1). Let x(n) = 5*n**2 - 3*n - 2. Let d be x(y). Suppose -29*p + 25*p + d = 0. Is p a multiple of 40?
True
Let x(j) = -j**3 - 8*j**2 + 71*j - 8. Let t be x(5). Suppose -19*s = -t*s + 360. Does 5 divide s?
True
Does 215 divide (1018 - 20/16*-4)*41 - -8?
False
Suppose -274456 = 5606*v - 5619*v. Is 8 a factor of v?
True
Suppose -119013 + 553893 = 10*y. Is y a multiple of 24?
True
Let h be (-809)/2 - ((-69)/6 - -9). Let t = h + 462. Is t a multiple of 12?
True
Let f = -41 + 33. Let w(l) = 2*l + 18. Let i be w(f). Let u(y) = 61*y - 3. Does 21 divide u(i)?
False
Let q = -322 - -314. Let w(m) = 4*m**2 - 6*m - 15. Let i(z) = -z. Let u(b) = -6*i(b) + w(b). Is u(q) a multiple of 29?
False
Let c = 7 - -4. Let z = c - 15. Is 13 a factor of 33 - (-1)/2*z?
False
Does 111 divide (1569 + -2)*(-28 + 8 + 43)?
False
Let i(p) = -5*p**2 + 43*p - 66. Let v(r) = -r**2 + r + 2. Let l(f) = -i(f) + 6*v(f). Does 7 divide l(-32)?
True
Suppose -5*k + 3096 - 1178 = 4*d, 4*k - 1520 = 4*d. Does 5 divide k?
False
Let i(c) = c**2 + 6*c - 15. Let o be i(-8). Let m(v) = 9*v**2 + 5*v - 4. Let a be m(o). Let q = a - -50. Does 5 divide q?
True
Let a(g) = -53*g - 123. Let u(f) = -263*f - 616. Let p(j) = 11*a(j) - 2*u(j). Is p(-11) a multiple of 46?
True
Does 16 divide 380*(-1 - -5)*(572 + -570)?
True
Let g be 11 + -6 + -5 + (486 - 1). Suppose 2*u = -405 - 203. Let a = g + u. Does 19 divide a?
False
Suppose 106 = 5*q + 2*t - 20, -111 = -4*q - 5*t. Let a be 6/q - 23/(-4). Is 25 a factor of -1 + 3 + (-82)/(-4)*a?
True
Let f be (323/(-76) - 3/4) + 7. Is (-104)/(-2)*(15/f)/3 a multiple of 41?
False
Suppose 5*s - 2*x - 15 = 0, 6*s = 4*s - 3*x + 6. Suppose -3*t + 48 + 10 = c, -4*t + 73 = -s*c. Does 8 divide t?
False
Let t(n) = 2687*n**2 - 3*n + 3. Let u be t(1). Let o = u - 1535. Is 14 a factor of o?
False
Suppose 549 = 4*s - 3*s. Let l = s + -372. Suppose -8*v + l = -47. Does 28 divide v?
True
Let h(b) = -b**3 + b**2 + 4*b - 2. Let k be h(5). Let t = 98 - k. Is 20 a factor of t?
True
Suppose 0 = 4*w - 5*w - 2*m + 110, -4*w = m - 412. Let n = 504 + w. Is 30 a factor of n?
False
Suppose -36 + 18 = -6*y. Suppose y*v + 13*v = 6112. Does 17 divide v?
False
Let c(p) = -p**3 - 2*p**2 - 154*p + 160*p - 5*p**2 - 4. Suppose 18 = -3*z - 2*d, 4*d + d = -2*z - 1. Is c(z) a multiple of 6?
True
Suppose -21538 = -5*i + 3*r, -i + 6*r - 8*r = -4292. Is 8 a factor of i?
True
Suppose 0 = -2*n - 3*q + 4596, -6 = -2*q - 2. Does 15 divide n?
True
Let q(h) = -h**3 + 9 - 36*h - 54*h + 32*h**2 - 10*h**2. Does 15 divide q(16)?
True
Let q = 95 - 87. Let r(z) = z**3 - 5*z**2 - 9*z - 15. Is 35 a factor of r(q)?
True
Let w be (-26 - 6)/(6/(-315)). Suppose 2*g - 7*g - 10 = 0. Is w/24 + 3/(3/g) a multiple of 4?
True
Suppose 4*g = -5*f + 58879, 285*g = -4*f + 280*g + 47105. Does 94 divide f?
False
Suppose 0 = -16*j + 283929 - 338 + 17977. Is 62 a factor of j?
True
Let j = 566 - 773. Suppose 0 = -q - 10 - 317. Let w = j - q. Is 30 a factor of w?
True
Let q be (26/4)/((-14)/(-12) + -1). Let k = -51 + q. Let u(v) = -v**3 - 9*v**2 + 27*v + 11. Is 9 a factor of u(k)?
False
Let y = 62 - 50. Suppose 0 = y*q - 8802 + 2670. Suppose 3*p - q + 103 = 0. Is p a multiple of 34?
True
Let l(d) = -d**2 - 20*d - 12. Let q = -85 - -70. Let w be l(q). Let t = w + -28. Does 5 divide t?
True
Suppose 3*z = 3*v - 2343, -2*v - 2*z + 455 = -1107. Is v a multiple of 12?
False
Suppose 5*d = -43 - 12. Let r(w) = -2*w**3 - 20*w**2 - 16*w - 15. Is 31 a factor of r(d)?
True
Let a = -69 + 69. Is 26 a factor of (468 - 4 - a) + 4?
True
Let z = 81 - 9. Suppose -4*k = 2*t - 0*t - z, -k = -2*t - 28. Is 13 a factor of 5/k - (-79)/4?
False
Let f = 306 - 208. Suppose 33*d - f = 3961. Does 11 divide d?
False
Let z = -27 - 11. Let y be 1/(81/18) - 770/(-18). Let s = y + z. Does 2 divide s?
False
Let b(q) = -17*q - 68. Let v be b(-14). Is 2 a factor of v/2*(-32)/(-80)?
True
Suppose 321 = t - 463. Let x be t/(-20)*(-5)/2*-2. Let k = x + 311. Is 23 a factor of k?
True
Suppose 0 = 36*f - 174 - 6. Let w = -273 + 111. Is 27 a factor of (w/f)/((-26)/65)?
True
Let s(j) = -5*j**2 + 4 - j + 4*j**2 + 2*j**2. Let l be -5 - (27/(-3) - -8). Does 4 divide s(l)?
True
Let j = 8329 - 4448. Suppose -17*d + j + 4517 = 0. Is d a multiple of 12?
False
Suppose -4*z - 8 = 4*j, -3*j + 4*z + 1 = -7. Suppose j = -2*x + x + 21. Suppose -x*c + 19*c = -108. Does 27 divide c?
True
Let x be (-6)/8*-2*-2. Let v be (-6)/((-6)/3) + x. Suppose v*f + 540 = 5*f. Is f a multiple of 13?
False
Suppose -11 = -4*n + i, 0 = 2*n - 0*i + 2*i - 8. Let l be 4/1*105/4. Suppose w + o - l = 0, 5*w - 533 = n*o - 0*o. Does 7 divide w?
False
Let l be (-4)/9 + 3128/153. Suppose l*h - 19*h - 28 = -4*f, f = 5*h - 35. Does 4 divide h?
True
Suppose -5*s + 2*r = -6028, 48*s - 3*r - 3624 = 45*s. Does 2 divide s?
True
Let h = 32465 - 10217. Is 108 a factor of h?
True
Let f = -77 + 82. Suppose w + 11 = 4*w + s, f*w = -2*s + 17. Suppose 2*y = w*y - 762. Is y a multiple of 23?
False
Let x be (0 - 3) + (190 - -1) + 1. Is 27 a factor of (x/(-84))/((-6)/160)?
False
Suppose 