s(i) = -2*i**2 + 15*i. Let w be s(7). Let l be m(w). Let f(o) = o**3 - 18*o**2 + 3*o - 16. Is 19 a factor of f(l)?
True
Let d(q) = -17 + 1888*q**3 - 4*q**2 - 1890*q**3 - 3 + 56*q**2 + 65*q. Is d(27) a multiple of 18?
False
Let v be 38*((-42)/12 - -1). Is 39 a factor of (3 + v/(-3))/((-6)/(-27))?
True
Suppose 0 = 7*s - 0*s + 6468. Let d be s/(-5) - (-13)/65. Suppose j - 159 = -2*z, 4*j = -4*z + 443 + d. Is j a multiple of 31?
True
Suppose 0 = 2*f - 0*f - 4*b + 46, -5*b = -5*f - 100. Let k(t) be the first derivative of -t**3/3 - 12*t**2 + t + 17. Does 15 divide k(f)?
True
Let y(w) = 5*w**2 + 4*w**3 + 9 - 6*w**2 - 1 - 7*w**2 + 4*w. Is 37 a factor of y(5)?
False
Let r(n) = n**2 - 8*n - 28. Let a be r(11). Suppose -a*h - 6*c + 2842 = -3*c, -h + 5*c + 574 = 0. Is h a multiple of 28?
False
Let g be (-10)/(-4)*(20 - 18). Let v be ((-156)/10)/((-3)/30). Suppose g*f = -u + v, 5*f - 80 = 3*f + 4*u. Is f a multiple of 32?
True
Suppose -7 = h + 3*k, -h + 2*h + 4*k + 4 = 0. Let y = 6 + h. Does 24 divide (156/y)/(4/(-20))?
False
Suppose 63 = -236*f + 237*f. Let j = 78 - f. Does 3 divide j?
True
Let j = 40753 - 2987. Is j a multiple of 46?
True
Is (-1)/(55539/(-11106) + 5)*6 a multiple of 12?
True
Suppose -5*o = -121 - 64. Suppose -5*d - 150 = -5*y, 2*d - 31 = -2*y + o. Let i = 101 + y. Is 19 a factor of i?
True
Let y = -7 - -3. Let v be 2*(y - 945/(-6)). Let k = v + -122. Is k a multiple of 34?
False
Let r(p) = 246*p - 403. Let f be 7*-8*3/(-28) + 1. Is r(f) a multiple of 73?
False
Suppose -191 = -39*z - 35. Is (z - 1197/7)*-1 even?
False
Suppose 0 = -23*u + 15*u + 220630 + 15138. Is 55 a factor of u?
False
Let b(c) = -c**3 + 13*c**2 - 12*c + 60. Is b(10) a multiple of 15?
True
Suppose -13*p + 20 = -17*p, p = -2*i - 11. Is (204/(-2) - -6)*6/i a multiple of 48?
True
Let w be -1*(-4 + 33/(-3)). Let b = 23 - w. Suppose 0*i - b*i = -464. Does 16 divide i?
False
Suppose 13*r - 11*r = -5*j + 3, -r - 3 = 4*j. Does 9 divide (495/18 - 8)/(r/276)?
False
Suppose 16*w + 7645 - 82269 = 0. Is w a multiple of 22?
True
Is 17 a factor of 18091 + (-9)/9*3?
True
Let b(c) be the second derivative of -c**5/20 + 7*c**4/6 + 3*c**2 - 3*c - 5. Does 15 divide b(8)?
True
Suppose 649035 + 408309 = 61*k + 357613. Does 19 divide k?
False
Let k(i) = 207*i - 27. Let v be k(-3). Let s = -325 - v. Is s a multiple of 19?
True
Is 24/204*17 - 2186*15/(-2) a multiple of 80?
False
Let n(m) = -36*m - 21. Let j(i) = -7*i - 4. Let r(u) = 11*j(u) - 2*n(u). Is 6 a factor of r(-22)?
True
Let z = -175 + 187. Suppose 36 - 480 = -z*o. Is o a multiple of 9?
False
Suppose -18198 = -2*w + a, 11*w - 33*a - 100086 = -28*a. Is w a multiple of 49?
False
Let r = 7863 + -4412. Does 17 divide r?
True
Let g = -96 + 261. Suppose g = -5*s + 5*n, -5*s - 24 - 106 = 2*n. Is 13 a factor of (-52)/(-2)*(-154)/s?
True
Suppose 0 = -q + o + 3 - 1, -q - 3*o = 14. Let h be ((-20)/(-5))/(q/15). Let x = 105 + h. Does 25 divide x?
True
Let j(k) = k**2 - 14*k - 12. Let o be j(20). Let p = o - -74. Suppose 3*i + p = 2*h + i, 4*i = -12. Does 31 divide h?
False
Suppose v + 57 = 707. Suppose -5*p = -4*f - v, -3*p = -p - 3*f - 260. Is p a multiple of 29?
False
Let c = -11493 + 12303. Is c a multiple of 18?
True
Suppose -28*m + 224404 + 371926 - 71806 = 0. Is 116 a factor of m?
False
Let d(l) = 559*l + 1085. Is d(49) a multiple of 68?
False
Suppose -15*n = 4603 - 115123. Does 24 divide n?
True
Let z = 78 - 76. Suppose -4*n + 5*n + 184 = -3*k, 2*k - z*n + 128 = 0. Let p = 88 + k. Is 13 a factor of p?
True
Let j(z) = z**3 - 58*z**2 + 880*z + 19. Is j(40) a multiple of 7?
True
Let t = -83 - -73. Let c be 6/2 - (-10)/t. Suppose 38 + 472 = c*o. Does 17 divide o?
True
Suppose 107*b = 501481 + 477079 - 268936. Is b a multiple of 29?
False
Let p(f) = f**3 - f**2 + 3*f + 45. Let j be p(0). Does 14 divide (-1 + j/6)*28?
True
Let r(g) = -57*g + 1026. Is r(11) a multiple of 19?
True
Suppose -4*a = -16, c + 16 = -2*a + 47. Suppose 338 = -c*y + 36*y. Is y a multiple of 26?
True
Let c(l) = 229*l - 5. Let y = 304 + -303. Does 8 divide c(y)?
True
Let d be 10 + -10 - 5*-14. Suppose -9*n = -16*n + d. Suppose -9*a + n*a - 40 = 0. Does 10 divide a?
True
Suppose 2*a - 2 = -2*o, 3*a = 4*o + 11 - 1. Suppose 4*t = -12, 0 = a*m - 2*t + 32 - 278. Does 15 divide 1/(3 - 356/m)?
True
Suppose -3*b = 4*q - 1557, 389 = q + 4*b - 3*b. Let d be (-42)/(-63)*q/(-4). Let y = 82 + d. Is y a multiple of 17?
True
Suppose 85*q - 50264 = 42641. Does 17 divide q?
False
Let a be (-38)/(-8) - 5/(-20). Suppose -8 = -a*h - 28. Let x(c) = c**3 + 5*c**2 - 2*c - 13. Does 2 divide x(h)?
False
Suppose -3*h + 2*h = 0. Suppose h = 5*p - 5*z - 230, -52 = 3*p + 5*z - 206. Does 8 divide p?
True
Suppose 0 = -2*l + 2*i, l - 2*i - 18 = -7*i. Does 12 divide -2*l/(-9) - (-546)/18?
False
Let b(o) = -o**3 - 4*o**2 - 8*o + 232. Let x be b(0). Suppose 2*v = m - 116, 30*m - x = 28*m + v. Is m a multiple of 29?
True
Let j(q) = q**3 + 8*q**2 + 7*q + 4. Let o be j(-7). Let a(m) = 2*m - 1 + o + 98*m**2 + 0*m - 4. Is a(1) a multiple of 20?
False
Let z(r) = 2*r**3 - 4*r**2 + 5. Let j be z(2). Suppose 0 = -3*o + 2*u + 1, j*o + 4*u + 4 = -9. Is 116*4/8 + o a multiple of 28?
False
Let o(q) = -q**3 + 93*q**2 - 44*q + 222. Is 64 a factor of o(91)?
False
Let w = -93 - -109. Let p be 4/(-16) + (-172)/w. Let j(z) = z**2 + 5*z + 23. Does 7 divide j(p)?
False
Suppose 46*a = 51*a + 330. Let w = 33 - a. Is w a multiple of 9?
True
Suppose 0 = 2*y - 5*b - 97, 8*b = 2*y + 10*b - 76. Let q(f) = -26*f**2 + 2*f - 1. Let c be q(1). Let t = y + c. Does 3 divide t?
False
Let x be (-2 + 1)/1 - 6/(-3). Let d be (0 + 0/(-3))/(x*-3). Suppose 284 = 4*b + 4*h - d*h, 0 = -3*h - 12. Does 15 divide b?
True
Let u(k) = -43*k**2 - 51*k + 388. Let b(n) = 29*n**2 + 34*n - 259. Let c(f) = -7*b(f) - 5*u(f). Is c(6) a multiple of 32?
False
Let x(z) = 3*z**2 - 40*z + 20. Let q be x(17). Suppose 205*o = q*o - 32. Is 8 a factor of o?
True
Does 6 divide (-2)/3*195453/(-254)?
False
Suppose -2*i + 2 = -50. Let n = -27 + i. Does 20 divide (13/2)/(n/(-4))?
False
Suppose 5*g = z - 34, 0 = -0*g - g - 5*z + 14. Let h be (-1 + -2)*56/g. Is 5 a factor of 6/(-10) - h/(-5)?
True
Suppose -7*n - 50 = -3*d - 3*n, -89 = -5*d + n. Suppose -2*a = -3*s - 773, -d*s + 15*s = a - 382. Does 14 divide a?
False
Let q(m) be the third derivative of -m**6/18 - 23*m**5/40 - 7*m**4/6 - 14*m**2 - 1. Let r(f) be the second derivative of q(f). Is r(-6) a multiple of 23?
False
Let q(w) = w**3 + 45*w**2 - 37*w - 405. Is q(-42) a multiple of 13?
False
Suppose 0 = -14*g + 11*g - 5*h + 35, -4*g - 5*h = -40. Does 51 divide (81/18 - g)*-1946?
False
Let k = -270 - -300. Is -315*((-1)/3)/(10/k) a multiple of 9?
True
Let o be 0 + ((-46)/(-3))/((-28)/42). Let g(t) = 3*t**2 + 11*t + 20. Does 10 divide g(o)?
False
Suppose 14*x + 1660 - 11657 = x. Is 3 a factor of x?
False
Suppose 38*i + 612607 - 994602 - 956935 = 0. Is i a multiple of 45?
True
Is (-20)/(-28) + (-757224)/(-21) a multiple of 107?
True
Let j(l) = l**3 - 116*l**2 - 340*l + 3079. Is 37 a factor of j(120)?
False
Let j(q) = -3*q + 33. Let d be j(10). Suppose d*k + 4*b - 16 = 0, 0 = 2*b - 0*b + 10. Is 2 a factor of k?
True
Suppose 0 = -4*v - 10 + 18. Suppose v*l - 3*l = 4. Is -1 - -5*(-68)/l a multiple of 14?
True
Let u(d) = d**2 + 9*d - 4. Let y be u(-8). Let k be (16/6 + 0)*y/(-8). Suppose 225 = k*z - 39. Does 22 divide z?
True
Is 29 a factor of (4524/(-16))/((-372)/496)?
True
Suppose 2*c = -5*w + 77 + 18, -60 = -c - 5*w. Let n = -36 + c. Is 12 a factor of 175/6 - n/(-6)?
False
Is (5 - (-4 - -2))*((938 - -8) + -27) a multiple of 7?
True
Let v(l) = 2*l**3 + 12*l**2 + l + 9. Let i be v(-6). Suppose g = i*g + 330. Let x = g - -256. Is x a multiple of 13?
True
Suppose 0 = 98*r - 99*r - 25. Let c be 5/r + (-4070)/25. Let n = c + 236. Is n a multiple of 5?
False
Suppose 104*s = -307*s - 293286 + 4266012. Does 27 divide s?
True
Suppose 10*h - 8*h = 3*v - 2044, 3*h = -2*v + 1354. Is v a multiple of 17?
True
Suppose 0 = 11*t - 4*t - 21. Suppose 226*f - 227*f = -t. Suppose -180 = f*w - 666. Does 6 divide w?
True
Suppose -5*w + 23034 = 2*f, 1199*f - 1196*f + 9 = 0. Is 192 a factor of w?
True
Let a(v) be the third derivative of v**5/60 + 19*v**4/24 - 19*v**3/3 + 21*v**2. Is a(-23) a multiple of 2?
True
Suppose 3*b - 3*z - 174 = 0, -5*z = -0 -