 divide j(14)?
True
Let p(z) = 3*z**3 - 18*z**2 - 9*z - 99. Does 23 divide p(10)?
False
Let b(u) = u**2 - 15*u + 65. Let x be b(20). Is 25 a factor of (10*x/6)/(-1 - -2)?
True
Let k(r) be the second derivative of r**5/20 - 4*r**4/3 + r**3/6 + 21*r**2/2 - 43*r. Let b(g) = -g**2 + 7*g + 4. Let m be b(4). Is k(m) a multiple of 14?
False
Let l = -11 + 21. Suppose -7*o + l*o = -3. Let q = o + 33. Is 6 a factor of q?
False
Let f = 0 + 330. Is 11 a factor of f?
True
Suppose -6 = 3*k + 3*m, -k + m - 10 = 4*m. Is 2 a factor of (-1)/k*1*-10?
False
Suppose -4 = j - 0. Let i(t) = -t - 9 + 24 - 6 + 3*t - 11 + 3*t**2. Does 7 divide i(j)?
False
Let k be 45/5*26/(-6). Let d = k - -18. Does 24 divide (476/d)/(1/(-3))?
False
Suppose 3*n = -5*l + 53, -2*n + 10 = -3*l - 0. Let z = n - 15. Is 4 a factor of (z + 3)*3 + 11?
True
Suppose -25 = 9*j - 4*j. Does 6 divide (-135)/j*-1*-2?
True
Suppose -4*c - 361 = 3*s, 5*c + 5*s + 646 - 196 = 0. Let z = 201 + c. Is 35 a factor of z?
False
Let a(j) = -j**3 - 12*j**2 - 11*j - 9. Let k be a(-11). Let s be ((-9)/(-27))/((-1)/k). Suppose 3*o - s*i - 31 = -1, -2*o + 32 = 2*i. Does 3 divide o?
False
Let t(h) = -4*h**3 + 38*h**2 - 9*h + 19. Is t(7) a multiple of 7?
False
Let z(i) = i**3 - 6*i**2 + 7*i - 7. Let w be z(5). Is (1/(w/(-1)))/(6/(-2682)) a multiple of 42?
False
Let u = 166 - 115. Suppose 4*w = 155 - u. Let s = 21 + w. Is s a multiple of 9?
False
Suppose -12 = -4*z + 2*q, -2 + 6 = 5*z + 3*q. Let o be 0*((z - 2) + 1). Suppose 22 = n - o*n. Is n a multiple of 11?
True
Let g(r) = -r**2 - 5*r + 1. Let v be g(-4). Suppose -8 = s - v*s. Suppose -89 = -2*b - t, s*t = -b + 46 - 0. Is 10 a factor of b?
False
Let w(u) = 193*u + 275. Is w(3) a multiple of 4?
False
Let w = -294 + 387. Is w a multiple of 3?
True
Let b = -18 + 258. Is b a multiple of 24?
True
Suppose -22*b + h - 7009 = -24*b, 0 = 5*b + 4*h - 17530. Is b a multiple of 17?
True
Let i(j) = 8*j**3 - 2*j**2 - 16*j - 9. Let z(h) = 3*h**3 - h**2 - 5*h - 3. Let g(k) = -4*i(k) + 11*z(k). Is 18 a factor of g(5)?
False
Let q = -104 - -102. Is 22 a factor of 5084/20 + q/10?
False
Let w(p) = 12*p**2 + 7*p + 25. Is 24 a factor of w(-4)?
False
Let w be 1*(-3 + 2 - -3). Let z(f) = 9*f**2 + 3*f - 1. Let a be z(w). Suppose -101 = -5*i - 4*m, 2*i + m = -0*m + a. Does 7 divide i?
True
Let v(q) = -2*q - 14. Let j(w) be the third derivative of 7*w**4/24 + 28*w**3/3 - 8*w**2. Let c(x) = 2*j(x) + 9*v(x). Is c(-18) a multiple of 13?
False
Suppose -5*c + 1 + 49 = 0. Is 23 a factor of 1*-2 - (-480)/c?
True
Suppose -5*g - 44 = 4*q - 11, 3*q + 31 = -5*g. Let p be (-10)/(-4)*(-42)/g. Let k = 47 - p. Is k a multiple of 16?
False
Let j(s) = s - 14. Let t be j(13). Let f(n) = 54*n**2. Does 18 divide f(t)?
True
Suppose 0 = -5*a - 0*a + 195. Let d be a*4/(16/4). Let u = d - 6. Is 11 a factor of u?
True
Let v(r) = -r**3 - 2*r**2 - 4*r + 2. Let f be v(-3). Suppose -f*y + 76 = -22*y. Is y a multiple of 7?
False
Suppose v + 5*o - 9 - 21 = 0, o + 225 = 4*v. Is 15 a factor of v?
False
Let c(j) = j**2 - 2*j - 6. Let u(z) = -z + 2. Let i be u(-2). Let p be c(i). Suppose 7*l - 180 = p*l. Is 12 a factor of l?
True
Suppose 13*i = 8*i + 5. Is 18 a factor of 74 - i/(-1)*-2?
True
Suppose 0*p - 3*p = 0. Let u(o) = -o + p*o + 15 - 2*o. Is u(-9) a multiple of 11?
False
Suppose 0*t - 45 = -3*t. Suppose 3*q = -13 - 2. Is 5 a factor of 21/t*-1*q?
False
Let w = -3038 - -6041. Is w a multiple of 39?
True
Suppose -6*m + 1463 = -625. Is 27 a factor of m?
False
Let z(c) = -c**3 - 9*c**2 + 10*c + 2. Let d be 1/(9/30)*-3. Let v be z(d). Does 23 divide (v + 67)*(-5 + 6)?
True
Suppose -3*n - 45 = -7*n - 3*z, z = -1. Let i be (9/(-6))/(n/(-16)). Suppose -3*r - i*v = -6*r + 83, 5*r - 137 = 2*v. Is r a multiple of 11?
False
Let c = -9 + -5. Let b(f) = -f**3 - 15*f - 2 - 4 + 1 - 3 - 15*f**2. Is b(c) a multiple of 6?
True
Suppose 0 = 8*p - 11*p - 6. Does 24 divide 0 + (-876)/(-28) + p/7?
False
Suppose -2*c - 56 = -6*c. Let q(o) = o - 20 + o + 3*o. Is q(c) a multiple of 25?
True
Suppose 3965 = 17*i + 55. Is i a multiple of 13?
False
Let m(r) = -1031*r - 276. Is m(-2) a multiple of 47?
True
Suppose -2*l + 6 = -5*l. Let n be (-255)/l + (-9)/6. Suppose 3*f - f = n. Is f a multiple of 21?
True
Let m = 176 + 217. Let v = m - 259. Is v a multiple of 25?
False
Let s(p) = p**2 - 6*p + 2. Suppose 12 = -4*l + 4*c, 0*c = 5*l + 3*c - 25. Suppose b - 51 + 19 = -5*d, 4*d - 34 = l*b. Is s(d) a multiple of 2?
False
Suppose 217 + 231 = 4*z - i, -3*z - i = -343. Is 34 a factor of z?
False
Let y(j) = 2*j**2 - 3 - 9*j - j**2 - 5 + 2*j**2. Is 8 a factor of y(5)?
False
Let p(d) = 14*d - 36. Let q be p(6). Let v(l) = l**3 + 10*l**2 - 10*l + 9. Let w be v(-11). Does 9 divide q*((-10)/8 - w)?
True
Let j(k) = k - 11. Let b(g) = -3*g + 33. Let i(m) = 3*b(m) + 8*j(m). Let z be i(14). Does 24 divide -48*(28/(-8) - z)?
True
Let y = 84 - 14. Let c = -35 + y. Is 7 a factor of c?
True
Suppose 0 = 4*p - 0*p - 300. Suppose -5*z - 6*s + s - p = 0, -3*z + 5*s - 37 = 0. Let g(w) = -2*w - 5. Is 7 a factor of g(z)?
False
Let y(j) be the second derivative of j**5/60 - 3*j**4/8 - j**3/6 + j**2 - j. Let k(t) be the first derivative of y(t). Is 9 a factor of k(10)?
True
Let a(t) = 13*t**2 - 7*t + 22. Is 29 a factor of a(5)?
False
Let h = -37 + 165. Suppose -4*z - 5*k = -428, z - k - h = 3*k. Is z a multiple of 28?
True
Let o(i) = 56*i**2. Let d be (24/16)/(3/8). Suppose -6*s + d*s = 2. Is o(s) a multiple of 28?
True
Let b(s) = -s**2 - 5*s - 3. Let u = -5 + 2. Let l be b(u). Suppose 4*c - 120 = -v - l*v, -2*c = 5*v - 165. Does 35 divide v?
True
Let w(r) = 3*r**2 + 32*r - 73. Does 15 divide w(-22)?
True
Suppose -5*i - 2701 = -3*r, -3*i - 421 = -4*r + 3162. Is r a multiple of 47?
False
Let g(k) = 4*k + 25. Let o be 22 - 25 - (-15 + -1). Is g(o) a multiple of 11?
True
Suppose -n = 5*c - 597, -n + 8*c - 10*c + 600 = 0. Does 12 divide n?
False
Suppose 0 = 5*k + 3*z - 937, -3*k + 6*z - 9*z + 561 = 0. Does 47 divide k?
True
Let n = 51 - 18. Let v = 43 - n. Is v a multiple of 2?
True
Let t = 727 - 602. Does 5 divide t?
True
Let c = -37 + 65. Let y = 18 + c. Is 14 a factor of y?
False
Let o(i) = i**3 + 15. Let h be o(0). Let g(j) = 5*j + 2*j - 6 + 2*j + j**3 + h*j**2 - j. Is g(-14) a multiple of 29?
False
Let s = -173 - -542. Suppose -367 - s = -4*t. Is 23 a factor of t?
True
Suppose 110 = 5*a + 40. Suppose -a*c = -11*c - 153. Is 13 a factor of c?
False
Let v = -143 + 242. Let b = 205 - v. Suppose 0*s = s + r - b, 4*s - 5*r = 460. Does 12 divide s?
False
Suppose 175 = -7*c + 2*c. Is 38 a factor of (-5340)/c - 8/14?
True
Let k(p) = -13*p**3 + 2*p + 1. Let n be k(-1). Let f = 19 - n. Suppose -4*r + 21 = -f. Does 3 divide r?
False
Let n = -88 + 88. Suppose n = 5*d + h + h - 99, 0 = 4*h + 12. Is d a multiple of 7?
True
Suppose 6*m - 454 = 914. Is 19 a factor of m?
True
Suppose -3*b - 6*o = -o - 14, -2*b + 3 = -3*o. Suppose j + b*j = 108. Let l = j - 1. Is 20 a factor of l?
False
Suppose 4*i - 2540 = 4*u, -29*u + 1280 = 2*i - 33*u. Is i a multiple of 45?
True
Suppose -4*b - 240 = -b. Is -4*92/b*5 a multiple of 17?
False
Suppose -5*f + 2*k + 20 = 0, -f + 3*k = -0*k - 17. Suppose -f*g + 45 = g. Suppose 3*t - 78 + g = 0. Is 16 a factor of t?
False
Suppose m - 3392 = 5*v, -2*v + 8581 = 4*m - 4877. Does 91 divide m?
True
Suppose -4*c + 106 = g, 5*g + 0*c = -c + 606. Let i = 176 - g. Suppose -282 = -4*k + i. Is k a multiple of 21?
True
Let a be (5/2)/(4/(-24)). Let k be (21/a - -1)*5. Is 23 a factor of 4 + k + (49 - 5)?
True
Let u = 468 - 313. Suppose -2*x + u = m, -4*m + 7*m + 228 = 3*x. Is x a multiple of 11?
True
Suppose -r - r - 77 = -3*a, -5*r = -3*a + 188. Is 14 a factor of r/(-1)*(5 + -2)?
False
Let g(z) = 2*z**3 - 18*z**2 + 23*z + 10. Does 17 divide g(10)?
False
Let a be ((-2)/5)/((-3)/(-1020)). Let f = a + 234. Does 12 divide f?
False
Let c(b) = -b**3 + 22*b**2 + 24*b - 17. Let h be c(23). Suppose 3*q - 18 = 2*q. Suppose q = -h*g + 90. Is 4 a factor of g?
True
Let n be (342/(-7))/(-3) - (-16)/(-56). Suppose 0 = -4*h + n*h - 108. Is h a multiple of 2?
False
Suppose 0 = -0*v - 2*v - 3*w + 37, 5*v + 3*w = 70. Let h = v + 6. Is 17 a factor of h?
True
Let f = -9 - -11. Suppose -4*y + f*y = -122. Is 11 a factor of y?
False
Does 3 divide ((-1947)/(-198))/(1/12)?
False
Let w(o) = -7*o + 0*o + 