6*p + 7. Let g be k(16). Let y(t) = -28*t - 42. Let b be y(g). Does 19 divide b/21*((-54)/(-4))/(-3)?
False
Let s(f) = -52*f + 184. Is 7 a factor of s(-11)?
True
Let s = 12562 + 4842. Is 11 a factor of s/133 + 6/(-7)?
False
Suppose -5*t = 3*i - 149, 3*i - 2*i - 3*t = 45. Let p = 50 - i. Suppose j = -p*q + 196, -2*q - 2*q + 5*j = -378. Is 23 a factor of q?
False
Does 14 divide 16 - (-19551)/7 - 9?
True
Suppose 3*m = -5*y - 0*m + 11055, -3*y + 6657 = -3*m. Is y a multiple of 41?
True
Suppose 0 = -5*o + 2*c + 385, 5*o = -2*c + 357 + 28. Let d(a) = a**3 - 13*a**2 + 5*a - 18. Let k be d(13). Let q = o - k. Is 15 a factor of q?
True
Suppose -14*m + 10*m + 96230 = -k, 12 = 2*k. Does 7 divide m?
True
Let r be 15*16/40 - (-2)/2. Suppose r*u - 7392 = -5*u. Suppose -17*t - 38 + u = 0. Does 17 divide t?
True
Suppose 3*r - 2*n + 12 = 0, -2*r + 5*r - n = -9. Let x be 157/(-4) + 1/4 + r. Let p = x - -57. Does 6 divide p?
False
Let t = 5100 + -3147. Is t even?
False
Suppose -4*x + 45603 - 5131 = 3*t, 5*x + 20 = 0. Is t a multiple of 56?
True
Suppose -14360 = -12*q + 12052. Does 71 divide q?
True
Suppose -5*x + 5 = 0, -3*z + 6*z = -2*x + 59. Let y = -23 + z. Is (-9)/(y - -3) - (-9)/3 a multiple of 11?
False
Suppose 2*c - 5*s = 5172, -3*s + 7779 = -14*c + 17*c. Is c a multiple of 28?
False
Let a = -1121 + 2981. Does 124 divide a?
True
Let a(u) = 9*u - 66. Let b be a(0). Let w = 93 + b. Let y = w + -13. Is y a multiple of 7?
True
Suppose 7 = 3*o - 2, -o = -4*v + 513. Suppose i - v = 84. Is i a multiple of 71?
True
Suppose 2914 = -9*h + 4*h - 3*a, -5*h - 2911 = 2*a. Let z = 887 + h. Does 6 divide z?
True
Suppose -165*x + 13201 = -121*x - 351603. Is 4 a factor of x?
False
Let l(b) = -159*b - 6020. Is l(-76) a multiple of 6?
False
Suppose -11*c + 15803 + 59063 = 0. Does 8 divide c?
False
Let h(p) = -4*p**2 + 49*p - 3. Let y(u) = -u**2 + 3*u + 38. Let i be y(-4). Is 6 a factor of h(i)?
False
Suppose 0 = -7*b + 9*b - 6. Suppose 5*s - b - 242 = 0. Does 7 divide s?
True
Let o(d) = -7*d**2 - 6*d + 6. Let z be o(1). Let k = 343 + z. Does 16 divide k?
True
Suppose 3*c + 18 + 57 = -k, -k - 5*c = 77. Let p = k - 5. Let g = p + 149. Is g a multiple of 18?
True
Let g = -21994 - -22741. Is g a multiple of 3?
True
Suppose -304 = v - j - 6747, -2*j + 19334 = 3*v. Suppose -35*h + v = 634. Is 8 a factor of h?
False
Suppose 213*x - 208*x - 3*h - 3099 = 0, 4*x + 4*h = 2524. Does 8 divide x?
True
Does 97 divide (-3852)/30*485/(-3)?
True
Let f(s) = 13204*s**2 + 8*s + 10. Is f(-1) a multiple of 31?
True
Let w be ((-504)/60)/(1/5). Let s = 32 + w. Is (-108)/(-45)*s/9*-24 a multiple of 5?
False
Let h be ((-12)/30 - 74/(-10))/(0 - 1). Let c(b) be the first derivative of b**4/4 + 2*b**3 - 15*b**2/2 - 11*b - 1. Does 15 divide c(h)?
True
Let s(p) = 2*p**3 - 125*p**2 + 13*p + 385. Is s(63) a multiple of 44?
False
Suppose 0 = -7*v - v + 96. Suppose 0 = -19*z + v*z + 938. Does 19 divide z?
False
Let x(w) = -w**2 + 8*w + 24. Let r be x(10). Suppose r*t + 25 - 17 = 0. Let y = 26 + t. Is y a multiple of 12?
True
Let q be ((-2)/3)/(5/390). Let l = q - -57. Suppose b = -d + 39, 2*d = l*b + d - 225. Does 13 divide b?
False
Let n be (-366)/(-122) + 2/((-4)/606). Let f = -96 - n. Is 19 a factor of f?
False
Is (24489 - -23 - (4 + 1)) + (-4 - -4) a multiple of 18?
False
Let t = -3934 - -26933. Is 66 a factor of t?
False
Let b(c) = 13 - 15*c**2 + 22*c**2 + 6*c + c**3 - 2*c**3 + 4. Let n be b(8). Let x(f) = 14*f**2 - 3*f + 1. Is 3 a factor of x(n)?
True
Let m(x) = -3*x**2 + 11*x + 6. Let l(t) = -4*t**2 + 17*t + 9. Let i(b) = 5*l(b) - 7*m(b). Let q be (2 + 2 - -5) + -2. Does 23 divide i(q)?
False
Let p = 394 - 373. Suppose 0 = 4*s - 3*v - 9, -s - 66*v + 63*v = -p. Is s a multiple of 6?
True
Let x = 80 + 13864. Does 12 divide x?
True
Let c(z) = 31*z**3 - z**2 + 61*z - 125. Is c(2) a multiple of 14?
False
Let z be (0 + -3)/3*14. Let n(p) be the second derivative of p**4/12 + 11*p**3/6 + 7*p**2 - 235*p. Is 14 a factor of n(z)?
True
Let p = -1 + -68. Let a = 131 + p. Suppose -y = -13 - a. Does 5 divide y?
True
Let u be 4*3/(-5)*-5. Suppose -3*d + 133 + u = 5*p, -5*p + 185 = -5*d. Is p a multiple of 3?
False
Suppose 4*p + 12*f = 3740, 3*f = -3*p + p + 1873. Is p a multiple of 3?
False
Let o = -3284 + 5136. Is o a multiple of 25?
False
Let d = 317 + 4057. Is 34 a factor of d?
False
Let g(a) = -69*a + 89. Let k(x) = 34*x - 45. Let h(s) = 6*g(s) + 13*k(s). Let r be h(10). Let p = r + -106. Is 6 a factor of p?
False
Let a(m) = 125*m - 879. Is 51 a factor of a(36)?
True
Let z(n) = n - 3. Let a be z(7). Let l(p) = 2*p**2 + p - 25. Let s be l(5). Is 11 a factor of s/a*8/6 + 1?
True
Suppose -31 = 5*g + 16*p - 18*p, -14 = g - 3*p. Let c(n) = -55*n - 171. Does 13 divide c(g)?
True
Let v = -347 - -352. Suppose 1606 = v*k + 1326. Does 4 divide k?
True
Let h = -26970 + 32160. Does 6 divide h?
True
Let t be (-4)/16*-1 - (-17)/(-4). Is 4*((-135)/(-2) - (-1 + t)) a multiple of 29?
True
Let l = 21388 - 12085. Does 16 divide l?
False
Suppose 152576 = 306*a - 1556740. Is 21 a factor of a?
True
Let u be -3*(1 + -5 + (-50)/(-15)). Suppose -2*d = d - 2*j - 59, 5*j = 2*d - 43. Suppose 374 = 5*x - u*s, 0 = -5*s - 4 + d. Does 13 divide x?
False
Let i(q) = -209*q**2 + 7*q - 4. Let t be i(2). Is 34 a factor of (1 - 3)/(4/t)?
False
Is ((-146916)/(-378))/(2/(-4)*(-6)/27) a multiple of 27?
False
Let o be (-7 + 10 - 4) + 25. Let z = o - -67. Is 13 a factor of z?
True
Let z be (-1)/4 - 1734/136. Let m(j) = -j**2 - 41*j - 20. Does 8 divide m(z)?
True
Suppose -5*m - t = -61712 - 1201, 21 = -3*t. Is m a multiple of 3?
False
Does 17 divide 172/(-215) - (-146756)/20?
False
Let j(i) = 31*i**2 + 146*i + 891. Is j(-6) a multiple of 39?
True
Suppose 257*h - 114*h - 115*h - 125356 = 0. Does 40 divide h?
False
Let w(r) = r**3 - 8*r**2 + 7*r. Let b be w(7). Suppose f = 2*k + 67, k + 4*k + 5*f + 160 = b. Let o = k - -39. Is o a multiple of 2?
True
Let r(b) = 10 - b**2 + 2*b**2 - 2 - 11*b + b. Let x be r(9). Let l = x + 22. Does 7 divide l?
True
Let z = 11 - 7. Let t(y) be the third derivative of -y**6/120 + y**5/6 - y**4/8 - y**3/2 - 23*y**2. Is t(z) a multiple of 29?
False
Suppose 5*c - 15 - 5 = 5*a, -4*c - 11 = 5*a. Let d be 1 + a - -1*260. Is 43 a factor of (d/4)/((-6)/(-16))?
True
Let b = 502 + -502. Suppose b = -0*t - 5*t + 5700. Does 12 divide t?
True
Is 5267 - 106/(-477)*9/2 a multiple of 12?
True
Let h(p) = -p**3 - 15*p**2 + 36*p + 15. Let m = 72 - 90. Let b be h(m). Suppose 0 = -5*d - 4*z + 7*z + b, 0 = -5*z + 10. Is d a multiple of 16?
False
Let p be ((-36)/15)/(6/20). Let k(r) be the first derivative of -r**3/3 - 17*r**2/2 - 12*r + 273. Does 10 divide k(p)?
True
Suppose 0 = 4*p - 2881 + 437. Let a = p + -143. Is 13 a factor of a?
True
Suppose -5*n + 2*n - 12 = -3*l, -8 = 4*n + 4*l. Is -3 + 8 - (-8 - n) a multiple of 5?
True
Let l(x) be the second derivative of -x**6/180 + x**5/3 + x**4/4 + x**3/6 + 8*x. Let h(c) be the second derivative of l(c). Is 13 a factor of h(17)?
False
Let v(n) = -91*n**3 + 6*n**2 - 9*n - 2. Let q be v(2). Let z = -514 - q. Is 13 a factor of z?
False
Let d(p) = p**3 - 4*p**2 - 4*p - 5. Let r be d(5). Suppose -2*x + r - 42 = 0. Is 30 a factor of -14*(90/x - 0)?
True
Suppose 3189*m - 13395 = 3184*m - 4*q, -3*m - 5*q + 8037 = 0. Does 57 divide m?
True
Suppose -2*g = 3*m - 6772, -g + 5*g - 2*m - 13560 = 0. Suppose -5*w + 0*s = -s - g, 1355 = 2*w - s. Does 28 divide (-3 + 1)/(-2 - (-1344)/w)?
False
Suppose 2*x - 167 = x - 3*a, -2*x + 334 = 2*a. Suppose -k + x + 178 = -4*l, 0 = -2*k + 3*l + 665. Is k a multiple of 13?
True
Is (-90)/144 - (-195975)/24 a multiple of 45?
False
Let p(y) = 15*y**2 - 55*y - 12. Does 54 divide p(15)?
True
Suppose g - d = 3, 3*g - 1 = 4*d + 9. Let q be ((-3)/g)/(-3)*120. Let m = -34 + q. Does 7 divide m?
False
Suppose -99 - 21 = 2*f. Let g be (-78)/4*160/f. Suppose -g = -5*n + 3*n. Does 7 divide n?
False
Let g(c) = -c**3 + 15*c**2 - 8*c + 29. Let y be g(14). Suppose 108*k + 335 = y*k. Is 12 a factor of k?
False
Let x be (-45730)/(-204) - 2/12. Suppose -4 = -2*c, 5*c = 2*h + 76 - x. Is h a multiple of 36?
False
Let j(l) = 2*l**3 + 51*l**2 + 25*l + 4. Let g be j(-25). Suppose 0*w - w + 330 = 5*c, g*c = 20. Does 51 divide w?
False
Let c(k) = k**3 + 4*k**2 - 9*k + 35. Suppose 4*r + 2*d = -19 - 9, -8 =