/(-4) - 2/(-2). Let s = l + q. Does 4 divide s?
False
Let p(l) be the second derivative of -3*l**5/20 + 35*l**4/12 + 13*l**3/3 - 12*l**2 + 4*l - 56. Is 16 a factor of p(12)?
True
Suppose 14*p = -3 - 67. Is 10 a factor of 21*(-75)/(-9) + p?
True
Suppose 5*c + 15222 - 37442 = 0. Is (-2)/(-18)*1 - c/(-99) a multiple of 7?
False
Let s = -649 - -670. Is 6 a factor of (s/6)/(-7)*1896/(-2)?
True
Let i = 448 + -435. Suppose -329 = -i*l + 9811. Is 65 a factor of l?
True
Let g(b) = b**3 + 15*b**2 - 84*b + 203. Is g(24) a multiple of 23?
False
Suppose -4*b = -8, 35252 = 5*h - 37*b + 38*b. Is h a multiple of 25?
True
Let p(z) = 224 - 60 - 8*z - 118 + 15*z**2 - z**3. Is p(14) a multiple of 4?
False
Let l(q) = -14*q + 43. Let x(r) be the third derivative of 7*r**4/24 - 11*r**3/3 + 16*r**2. Let j(d) = 6*l(d) + 13*x(d). Is 14 a factor of j(8)?
True
Suppose 20*h - 11*h = 27. Let s(y) = 0*y**2 + 12*y**2 - 5*y**3 + h + 6*y**3 - y - 2*y**3. Does 29 divide s(5)?
False
Let f = -314 - -6360. Is 46 a factor of f?
False
Suppose 29*a - 30880 = -10*a + 37*a. Is a a multiple of 161?
False
Let m be (-7 + 32)*(-76)/(-10). Let k = -111 + m. Suppose -2*o + 2*p + k = -157, -2*p - 476 = -4*o. Is o a multiple of 20?
True
Suppose -20*q = -30*q + 530. Suppose q*l - 228 = 51*l. Does 7 divide l?
False
Let t(a) = -8040*a - 15. Is t(-1) a multiple of 36?
False
Let z(p) be the third derivative of 0*p + 0*p**3 - 31/20*p**6 + 0 - 1/12*p**4 + 3*p**2 - 1/60*p**5. Does 17 divide z(-1)?
True
Does 316 divide (2 + -11 + 8)*(1 - 26829)?
False
Let n(b) = -b**2 + 5*b + 5. Let q be n(5). Suppose -a = 5*y - 6*a - 160, 5*y - 110 = -q*a. Suppose 3*m = y + 57. Is 7 a factor of m?
True
Suppose 308*r - 313*r = 4*j - 49114, -61390 = -5*j - 5*r. Does 12 divide j?
True
Let q(j) = -j**3 - 6*j**2 + 6*j. Let c(z) = z**2 + 10*z + 2. Let f be c(-9). Let u be q(f). Let m = 35 + u. Does 3 divide m?
True
Let c(b) = 10*b**3 - 24*b**2 + 180*b + 51. Does 89 divide c(6)?
False
Suppose k - 9 = 2*a, 3*k = -3*a - a - 3. Let z be (4 + 8)/k - 3. Let n = 27 + z. Is n a multiple of 6?
False
Let y = 244 + -242. Suppose f = -3*u - y*u + 145, 3*u + 585 = 5*f. Is 20 a factor of f?
True
Let s = 81 + 113. Suppose -76*q + 74*q + s = 0. Is 3 a factor of q?
False
Let k(v) = -13 + 0 - 29*v - 20*v. Let c be (-116)/20 + 1*(0 - 7/35). Does 43 divide k(c)?
False
Let v(p) = 11*p**3 + 12*p - 9. Let y(f) = 10*f**3 + 13*f - 8. Let t(z) = 3*v(z) - 2*y(z). Does 87 divide t(4)?
False
Let p(a) = 5*a - 26. Let g be p(6). Suppose 762 = -g*h - 2*h. Let k = h - -239. Is 16 a factor of k?
True
Let q be 1603410/2470 - (4/26)/1. Let j = q - 270. Is j a multiple of 8?
False
Let a(l) = 45403*l**2 + 82*l + 83. Is a(-1) a multiple of 163?
False
Let s be 9 + (-5 - (-7 - -4)). Suppose s*q - 2*q = 0. Suppose q = o + 4*o - 240. Does 4 divide o?
True
Let z(l) = 28*l**2 + 30*l + 6. Does 41 divide z(-8)?
True
Let j(p) = 21*p**2 + 5*p + 3*p - 4 - 7*p - 210*p**2. Let q be j(-3). Does 39 divide 2*(-2)/(-22) + q/(-44)?
True
Does 37 divide 2/6*(8 - -36523 - 12)?
True
Let k(a) = -a**3 + 4*a**2 - 5*a - 9. Let g be 1*(5/3)/1*3. Suppose u = g*n + 18, -n - 3*u = -5*u. Is 28 a factor of k(n)?
False
Let k = -114 - -99. Let q(w) = w**2 - 7*w. Is 11 a factor of q(k)?
True
Let m(x) = x**3 - 10*x**2 + x. Let h be m(10). Let g be (h/15)/((-1)/(-15)). Suppose -g = -3*d + 179. Is d a multiple of 9?
True
Let j(r) = 9*r**2 + 7*r - 36. Let p = -197 - -206. Is 54 a factor of j(p)?
True
Suppose -89298 = -3*d + 3*n + 3*n, -3*n = -d + 29758. Is d a multiple of 51?
False
Let r be (20/5 + -3)/(5/10). Suppose 0 = -f + 3*z + 46, r*f + 2*z + 166 = 5*f. Is f a multiple of 11?
False
Let a be (-8496)/(-264) + 2/(-11). Suppose 3*v + a = 38. Suppose -5*n - 2*y = v*y - 29, -2*n - 2*y + 10 = 0. Does 2 divide n?
False
Let y(v) be the second derivative of -v**5/20 + 5*v**4/6 + v**2 + 29*v. Let d be y(10). Suppose d*g = 2, -3*g - 150 = a - 2*a. Is 35 a factor of a?
False
Suppose 0 = -13*g + 9*g. Suppose g = s + 1, -b - s + 3 = -0*s. Suppose 0 = b*y - 3*y - 18. Is y a multiple of 6?
True
Suppose -815*o + 123004 = -801*o. Is 288 a factor of o?
False
Suppose -4*a - 8 = -5*z + 5, 5*a + 12 = 2*z. Let o be (-4)/2 + ((-12)/z)/(-2). Is 25 a factor of 4 - (22*-1 - o)?
False
Does 16 divide (12/(-6) + -1)*(-3 - 79140/18)?
False
Let j(m) = -m**3 - 97*m**2 + 95*m - 195. Is 31 a factor of j(-98)?
False
Let s = -95 + 125. Is ((-5)/(-2))/(s/216) a multiple of 18?
True
Let z(y) = 17*y - 68. Let g = 295 + -277. Is 14 a factor of z(g)?
True
Let j = -15381 + 23493. Is 48 a factor of j?
True
Let n = -24647 - -25387. Is n a multiple of 3?
False
Is (69 - 3)/(-6*6/(-432)*2) a multiple of 33?
True
Suppose -9*d + 21502 = 325. Suppose -12*x + d = 373. Does 15 divide x?
True
Does 9 divide (6*-298)/((-549)/366)?
False
Suppose -3*k = -3*q + 87, 4*q - 90 - 1 = -k. Suppose j = 5*y + 19 + q, -5*y = -25. Does 17 divide j?
True
Suppose -25*p + 21*p + 44 = 0. Suppose -2*o = 4*q - 514, 14*o - 774 = p*o - 5*q. Does 8 divide o?
False
Is ((-37)/259)/((-2)/(-7))*-19486 a multiple of 31?
False
Suppose 10*b - 2140 - 2540 = 0. Suppose -3*h = -b + 3990. Is h/(-7) - 8/(-28) a multiple of 28?
True
Let w = 108 + -166. Let q(i) = -i**2 - 3*i. Let v be q(3). Let a = v - w. Is a a multiple of 5?
True
Let r(b) be the first derivative of 3/2*b**2 + 7*b - 16 + 7/3*b**3 - 1/4*b**4. Does 23 divide r(6)?
False
Let k(v) = -2*v**3 + 35*v**2 + 30*v - 136. Let z be k(17). Let o = -239 + z. Is o a multiple of 34?
False
Suppose -f = -0*f - 5*b + 27, 0 = 3*f + 2*b - 4. Is ((-2720)/(-24))/(f/(-3)) a multiple of 23?
False
Does 31 divide 1040/16*(-1 + (-382)/(-10))?
True
Let x = -14344 - -20947. Does 40 divide x?
False
Suppose -25*o - 9*o + 4590 = 0. Suppose 3*f - o - 486 = -3*q, -4*q = 5*f - 1039. Does 10 divide f?
False
Let y(d) = 24*d. Suppose 144 = 2*j - f, -2*j + 5*f + 202 = j. Let v be j/18 + (-14)/126. Does 16 divide y(v)?
True
Let i(q) = -q**2 - 20*q - 166. Let k be i(-16). Let g = 294 + k. Does 12 divide g?
True
Let w be (9/4)/(30/(-80)). Let j(n) = 10*n**2 - 11*n + 16. Is 34 a factor of j(w)?
True
Let r(i) be the second derivative of 10*i**2 + 1/3*i**3 - 10*i + 0. Does 20 divide r(0)?
True
Let i be (-9)/2*(-8)/(-3). Let n(k) be the second derivative of -5*k**3/6 - 16*k**2 + 62*k + 1. Does 14 divide n(i)?
True
Suppose -3*p - 46 + 172 = 0. Suppose 0 = -24*b + 241 + 1535. Let h = b - p. Does 16 divide h?
True
Suppose 59*g - 740129 = -29415. Is g a multiple of 8?
False
Is (76779/(-285))/(6/(-40)) a multiple of 6?
False
Is 9 a factor of (38800/320 + (-3)/((-3)/(-2)))*36?
True
Let x(z) = -z**3 + 20*z**2 + 3*z - 45. Suppose 170*v - 172*v + 40 = 0. Let u be x(v). Suppose -u*k = -10*k - 515. Does 15 divide k?
False
Suppose 5*x = 5*u + 450, 0 = 2*x - 2*u + u - 179. Suppose 18*h = x - 17. Suppose -2*f - r = -3*r - 78, -h*f = -2*r - 148. Is f a multiple of 10?
False
Suppose 2*o - n + 28 = 6*o, -3*o - 3*n + 12 = 0. Suppose 64*i - 63*i = -o. Let l(b) = -b + 16. Is l(i) even?
True
Let h be (-35)/6 - 2/12. Let o be (-84)/(-12) - (8 + -2). Is ((-3)/h)/(o/236) a multiple of 17?
False
Suppose 2*z = 3*q + 36, 5*z - 9*z = 5*q + 38. Let y(d) = -31*d + 79. Is y(q) a multiple of 73?
False
Let o be -3*14/105*(-100)/8. Let p be (0/(-2))/(-1 - 0). Suppose 0*w + o*w - 50 = p. Is w a multiple of 10?
True
Suppose 0 = 14*i - 9409 + 2689. Suppose 24*l = 20*l + i. Is 5 a factor of l?
True
Suppose 0 = 21*p - 0*p - 3507. Is p a multiple of 11?
False
Let a = -166 + 130. Let h = 78 + a. Suppose -45*m + 81 = -h*m. Does 9 divide m?
True
Suppose -47*i + 4*z = -50*i + 6180, 4110 = 2*i + z. Does 38 divide i?
True
Let z(s) = 2*s + 17. Let t be z(-7). Suppose 3*q = 4*m + 661, 4*q + t*m - 882 = 8*m. Suppose -65 - q = -f. Does 16 divide f?
True
Let d be (1292/170)/((-1)/(-20)). Suppose 5192 = 35*m + d. Does 14 divide m?
False
Let g = -177 + 225. Suppose g*y - 1890 = 43*y. Does 14 divide y?
True
Let x be (-8)/(-8) + (4 - -2 - 2). Suppose -4*z - 33 = -x. Let q(r) = -r**2 - 12*r - 13. Is q(z) a multiple of 11?
True
Suppose -11*r - 2*d = -14*r + 2646, -r + 896 = 4*d. Suppose r = 4*z + 200. Is z a multiple of 16?
False
Let q = 89 - 83. Suppose q*u = -1049 + 3935. Does 13 divide u?
True
Let r(m) = m**2 - 2*m - 19. Let x be (2/(-2))/(-6 + (-385)/(-63)). Does 16 divide r(x)?
True
Let i(y) = -53*y - 98. Let 