w**2 + 8*w + 15. Let b be j(5). Let f = -17 - b. Is f a multiple of 4?
False
Suppose 4*q + 676*i = 679*i + 37697, -3*i + 3 = 0. Does 114 divide q?
False
Let n = 50 - 30. Let v be ((-12)/n)/((-2)/10). Suppose -2*z = 2*x - 86, -v*z - 2*z + 2*x + 180 = 0. Does 19 divide z?
True
Suppose 4*z + 1 = -c + 12, 5*z = 10. Suppose -c*h + 0*h = -162. Is 9 + -12 - h/(-1) a multiple of 17?
True
Let i(d) = -2*d**2 - 28*d + 9. Let f be i(-14). Let o(v) = 9*v + 54. Does 10 divide o(f)?
False
Suppose 3*s - 5*s = 0. Suppose s = 3*k - 2*k - 36. Suppose -7*m + k = -m. Is m a multiple of 6?
True
Let v(j) be the second derivative of -j**3/2 - j**2 + 3*j. Let u be v(-2). Suppose -u*o + 107 = x, 5*x + 2*o - 281 = 2*x. Does 13 divide x?
True
Suppose -11*h + 7*h - 5*x + 563 = 0, -5*x - 122 = -h. Let m = 560 - h. Does 47 divide m?
True
Let y(t) = -t**3 - 13*t**2 + 48*t + 4. Let w be y(-16). Suppose w*u - 11 = 3*v + 16, 5*u = -v + 10. Is 71/u + 15/45 a multiple of 12?
True
Let j be 3*(-21)/81 + 4/(-18). Let f be (4 + j)*-1 - 1044/(-12). Suppose -2*c + 282 + f = 0. Does 20 divide c?
False
Let h = -4080 - -14527. Is h a multiple of 96?
False
Let p be 0/((-1 - 0)/(5/(-10))). Suppose 1240 = -p*j + 5*j + 4*q, 5*j - 1255 = -q. Suppose 10*l = 7*l + j. Is 12 a factor of l?
True
Let o(l) = -20*l - 180. Let g be o(-9). Suppose 4*z + 9 = -3, 3*y - 3*z - 2079 = g. Is 15 a factor of y?
True
Let c(k) = -k**3 - 13*k**2 + 14*k + 8. Suppose 5*u + 3*m = -522, 0 = 4*u - 0*u - 5*m + 425. Let o be (u/(-20))/(9/(-24)). Is 8 a factor of c(o)?
True
Let k(c) = -c**2 + 18*c - 57. Let i be k(7). Is 15 a factor of (1 + i)*40/8?
True
Let y be (-26)/117 - (-114)/27. Suppose -y*i = -g - 241, g + 1 = 4. Is i a multiple of 8?
False
Let q be (-38)/28*-2 - 4/(-14). Let z(t) = -6 + 12*t**2 - 10*t**2 + 2*t**2 - 4*t + 2*t. Is z(q) a multiple of 2?
True
Let c(a) = 1668*a**2 + 4*a - 6. Let p = -276 + 277. Does 25 divide c(p)?
False
Let q be ((-18)/8)/((-8)/(22272/9)). Suppose 0 = -4*c + 4*t + q, -4*c + 2*t - 849 = -9*c. Is c a multiple of 19?
True
Let u be (-5 + 3*25/15)/2. Suppose 5*t + 87 = 3*i + 408, -5*i - 10 = u. Is 23 a factor of t?
False
Let i be 4 - (-7 + 3140/(-5)). Is i/(-6)*5*4/(-30) a multiple of 71?
True
Let j = 11 + 29. Suppose v - j = -3*v. Let p = v - -22. Is p a multiple of 11?
False
Suppose 0 = -207*k + 190*k + 3978. Does 39 divide k?
True
Let z be (-4)/(-14) + 10 + (-16445)/(-91). Let q = 266 - z. Is q a multiple of 5?
True
Let g = 2475 + -1863. Does 3 divide g?
True
Suppose 0 = -9*n - 27 - 0. Let v(j) = 11*j**2 + 3*j + 1. Is v(n) a multiple of 7?
True
Let a = 49779 + -29837. Is 65 a factor of a?
False
Let t = 179 + -176. Suppose 3*d + t*w = 108, -5*d + 3*w = -2*d - 120. Is 19 a factor of d?
True
Let p(x) = 7*x + 49. Let t(l) = l**2 - 14*l - 72. Let n be t(18). Is 19 a factor of p(n)?
False
Suppose 2*y = -z + 4237, -2*z + 6373 = 3*y - 4*z. Let s = y - 1270. Is s a multiple of 37?
True
Let n(a) = a**3 + 36*a**2 + 2*a + 83. Let y be n(-36). Suppose -3*j - 4*h = 2*j - 348, 4*h = 5*j - 332. Let q = j - y. Is q a multiple of 19?
True
Let r be 4/(-1 + -3) + (-20)/(-4). Suppose j + 2*j + 225 = -r*l, l - 2*j = -48. Let v = 70 + l. Does 3 divide v?
False
Let y(n) be the third derivative of -n**5/60 - 12*n**2. Let i(c) = -3*c**2 + 7*c + 16. Let o(w) = i(w) - 4*y(w). Is 16 a factor of o(-7)?
True
Let d(u) = 113*u**2 - 43*u + 210. Does 48 divide d(9)?
True
Let s be (6 + (-24408)/63)/((-1)/28). Suppose 10*k + 0*k = s. Is k a multiple of 89?
True
Let h = -6 - -4. Let v(d) be the second derivative of -7*d**3/3 - d**2/2 - 937*d - 1. Is v(h) a multiple of 27?
True
Suppose 25*l - 87692 + 16908 = 27066. Is l a multiple of 22?
False
Let z(x) = -27 + 70 + 65 - x. Is 12 a factor of z(24)?
True
Suppose -4*m + 18 = -5*a, 2 = 5*m + 5*a - a. Suppose 5*l + 1863 = 2*w, -2*w = m*l + 794 - 2622. Does 83 divide w?
False
Let i(w) = w**2 + 8*w - 1. Let t be i(-5). Does 30 divide (-3 - -7) + t*(-10 + -1)?
True
Does 8 divide 197 + (0 + 12 - 12)?
False
Let f(j) = j**3 - 26*j**2 - 23*j + 175. Let o(k) = -1. Let c(u) = f(u) + o(u). Does 14 divide c(27)?
False
Let t(n) = -n**2 + 10*n - 13. Let z be t(6). Suppose -503 = z*q + 4139. Is 1 + q/(-5) - 6/(-10) a multiple of 40?
False
Let a = -8007 + 14783. Does 44 divide a?
True
Suppose -40927 = -9*r - 14764. Does 9 divide r?
True
Let v(k) be the second derivative of -1/2*k**2 + 0 + 103/6*k**3 + 6*k. Does 41 divide v(2)?
True
Suppose 7*a + 5 = 2*a. Let t be (1 - a) + 0 + (3 - 1). Suppose 5*n = 5*k + 170, -t*n + 132 = -k - 2*k. Is n a multiple of 10?
True
Suppose -8 = -5*k + b + 10, 4*b - 24 = -4*k. Suppose 8 = 4*j, -4*u - 3*j + 18 = -k*j. Suppose 4*l + 0*y - 78 = u*y, -2*l - 4*y = -26. Does 6 divide l?
False
Let b = 183516 + -117606. Is 13 a factor of b?
True
Let t be -126 + (-2)/(-1)*6/4. Let u = 21 - t. Is 16 a factor of u?
True
Let g(y) = -69*y**3 - 13*y**2 - 16. Does 32 divide g(-4)?
True
Let i(t) = 22*t**2 - 9*t + 6. Let d be i(6). Suppose 12 = 26*p - 22*p. Suppose c - d = -p*c. Is 31 a factor of c?
True
Let z(g) be the first derivative of g**4/4 - 8*g**3/3 - 16*g**2 + 26*g - 216. Is z(14) a multiple of 31?
False
Let k(g) = g**2 - 33*g + 288. Let i be k(17). Suppose i = -16*u + 2880. Is 3 a factor of u?
False
Let v = 8081 + 3421. Is v a multiple of 27?
True
Let z = -11 - -11. Suppose z*r - 120 = -2*r. Suppose 2*w = -4*w + r. Is w a multiple of 7?
False
Let d(q) = -6*q - 87. Let h be d(-15). Suppose -6*a - h*a + 1710 = 0. Is 38 a factor of a?
True
Let b = 54 + -32. Let n(s) = s + 140. Is 54 a factor of n(b)?
True
Let q(o) = 2*o**3 - 2*o**2 + 18*o - 9. Let c be q(8). Suppose -c - 865 = -6*k. Does 37 divide k?
False
Suppose 0 = -2*f - 8*a + 7864, -4*f - 17*a + 21*a = -15588. Does 32 divide f?
True
Let v(g) = 3*g**2 + 21*g - 29. Let x(m) = -m - 2. Let z(p) = v(p) + 2*x(p). Is 21 a factor of z(-15)?
True
Suppose 4*a + 443 = -2*h + 18237, 3*h - 26718 = 3*a. Is h a multiple of 29?
True
Let k be 5240/24 - (-12)/(-9). Let m = k - 186. Does 12 divide m?
False
Suppose -23*m - 15*m + 186876 = 19638. Is m a multiple of 3?
True
Let q be 3/(-12) - (-177)/4. Let a(t) = -t**2 + 14*t - 47. Let o be a(6). Let v = q + o. Is v a multiple of 18?
False
Let t = 87 + -16. Let h = 64 - t. Let u(n) = -n**3 - 7*n**2 - 2*n + 1. Does 6 divide u(h)?
False
Suppose -7*a - 287 = -6*a. Let x = a - -431. Does 20 divide x?
False
Suppose 3 = 13*n - 10. Is 41 a factor of (3 + (-100)/15)/(n/(-21))?
False
Suppose -4*q = -4*t - 186652, -3*q - 3*t = -80357 - 59644. Does 165 divide q?
False
Let u(g) = 4*g**3 + 1. Let b be u(2). Let y(c) = -b + 16*c + 32*c - 41*c. Is y(6) a multiple of 3?
True
Let z(s) be the third derivative of s**5/30 + 17*s**4/24 + 317*s**3/6 - 74*s**2. Does 20 divide z(-22)?
False
Let f(r) = -r**2 - 16*r + 20. Let j(z) = -z - 1. Let n(k) = f(k) - 2*j(k). Suppose 0 = 4*h - 4*m + 56, 5*h + 4*m = 4*h + 11. Is n(h) a multiple of 7?
False
Suppose 10*r - 15*r = -j - 56115, 2*j = 2*r - 22454. Suppose 14*p - r = -2262. Does 8 divide p?
True
Let s = -23926 + 33252. Is s a multiple of 18?
False
Let j(h) be the third derivative of 0*h + 0 + 1/12*h**5 - 1/12*h**4 - 15*h**2 + 1/2*h**3 + 1/15*h**6. Does 21 divide j(2)?
False
Suppose -n = -2*k - 30854, -4*k - 13833 = 2*n - 75533. Does 13 divide n?
False
Suppose -90*i + x = -93*i + 38735, 0 = 5*i - 3*x - 64549. Is i a multiple of 16?
False
Let g(o) = 2*o**2 + 71*o - 7. Does 60 divide g(4)?
False
Let s = 84 - 187. Let y = s + 134. Does 2 divide y?
False
Is 6 a factor of -6 + ((-20)/(-30)*(-15)/(-2) - -2533)?
True
Let u = -1118 + 7191. Does 8 divide u?
False
Suppose -3*y - 12 = -7*y. Suppose -37 + 10 = -y*c. Suppose -84 = -c*v + 159. Does 27 divide v?
True
Let q be ((-2 + 0)/6)/((-66)/14454). Suppose 0 = -z + q + 252. Does 13 divide z?
True
Let k(h) = 10*h**2 - 48*h + 12. Is 12 a factor of k(6)?
True
Let q(p) = -1587*p - 5692. Does 26 divide q(-11)?
False
Suppose 5*g = 69 - 64. Is 2 a factor of -11 + 6 + 11 + (g - 3)?
True
Let y be (14/(-4))/(((-129)/234)/43). Suppose y*a = 267*a + 1914. Does 29 divide a?
True
Let b be (16/40 - 12/5) + 772. Let g = b + -450. Is 12 a factor of g?
False
Let z = -170 + 107. Let g = 103 + z. Does 17 divide 15*(-2 - g/(-3))?
True
Let i(z) = -z**2 + 3*z - 2. Let l be i(1). Suppose -3*d + l*d + 3*k = -1665, -2*d + 1130 = 2*k. Is d a multiple 