 second derivative of -y**3/6 + 15*y**2 - 23*y + 1. Is v(-28) a multiple of 13?
False
Suppose -13*r + 61222 - 17698 = 0. Is r a multiple of 97?
False
Suppose 25*v + 329 = 10329. Let m = -374 + v. Is 13 a factor of m?
True
Suppose 12 = -3*v, -18478 = 149*x - 152*x + v. Does 6 divide x?
False
Let j(i) = -i**2. Let h be j(1). Let s be -9 + 13 + 18 + h. Is 13 a factor of 8/2 + 1 + s?
True
Let r = -44958 - -75144. Does 78 divide r?
True
Does 8 divide 141/(-21*1/(-119))?
False
Is 27 a factor of (-305620)/(-80) - 12/16*-1?
False
Suppose -7*r = -3*r - 536. Suppose r = -6*u + 806. Does 8 divide u?
True
Let f(c) = -14*c - 16. Suppose -4*g = 2*t - 12, -3*g + t = -3 - 11. Suppose 2*o = 5*b - 8, -g*o - 5*b = -4*b + 16. Is 33 a factor of f(o)?
False
Is 112 a factor of 15526 - (3/(-10) + (-126)/(-420))?
False
Suppose -11*f + 24*f = 143. Let n(z) = -2*z**3 + 23*z**2 + 8*z + 1. Does 12 divide n(f)?
False
Suppose 3*k + 10 = 2*c + k, -4*c - 4*k = 20. Suppose 13*h - 207 + 25 = c. Is ((-11868)/h)/(-3) + (-6)/(-14) a multiple of 37?
False
Suppose d = -c + 15031, 5*c + 0 - 10 = 0. Suppose -d = -22*q + 2395. Does 22 divide q?
True
Suppose 47*f - 787478 = -119326. Is 8 a factor of f?
True
Suppose 2*c - 4*v = -326, -4*v + 324 = -2*c + v. Let t = c + 304. Suppose -y = -2*m - 49, 2*m = -2*y + t - 15. Does 14 divide y?
False
Let q(l) = -l**3 - 16*l**2 + l + 7. Let m be q(-16). Let k be m/(-3) - (1 - -4). Is 2128/8*(-1)/k a multiple of 7?
True
Let s(z) = 3*z**2 - 5*z - 5. Let r = -11 - -9. Let i be ((-3)/r)/(4/(-8) - 0). Is s(i) a multiple of 23?
False
Let h(f) = f**3 + 14*f**2 + 14*f + 18. Suppose 4*g + 5*l = -58, -l + 1 = -g - 9. Let q be h(g). Suppose -q + 410 = 8*m. Is m a multiple of 34?
True
Does 149 divide ((-14)/6)/((-4)/(-2682)*105/(-70))?
True
Suppose 50*d - 87712 = 18*d. Is 11 a factor of d?
False
Let w(y) = 5*y**2 - 7*y + 22. Suppose 2*r - 25 = 5*g, 2*r + 2*g = 5*r - 21. Is 8 a factor of w(r)?
True
Suppose -4*f + 19031 = -n, n = 25*f - 14*f - 52337. Is 39 a factor of f?
True
Let l(o) = -12*o + 62. Let v be (-219)/15 - 40/(-25). Does 28 divide l(v)?
False
Let o(k) = 2*k - 25. Let t be o(11). Let m be 582/t - (1 - 6). Let a = -129 - m. Does 6 divide a?
True
Let t = 6155 - -12537. Does 10 divide t?
False
Let u(s) = s + 75. Let a be u(9). Let z = a - 12. Does 17 divide z?
False
Let r = -119 + -180. Let l = 296 - r. Is l a multiple of 17?
True
Suppose -10*u + 0*u = 34*u - 402556. Is 18 a factor of u?
False
Suppose d + 2 = 4*b, d + 4 = 3*d. Does 2 divide (-50 - -7)/(b/(-3))?
False
Let j = -181 - -454. Suppose 4*l - 1347 = j. Suppose -3*y + 8*y = l. Does 9 divide y?
True
Let g be 1 - (1 + -2) - (0 + 1). Let r be (-2 - -1) + 68 + -1 + g. Is 3 a factor of 3/(-6) + r/2?
True
Let q = 1385 - 969. Is 32 a factor of q?
True
Let r = 436 - 78. Suppose 882 + r = 5*i. Does 24 divide i?
False
Let l(f) = -45*f + 19. Suppose m = -4*y - 29, -5*m - 6 = 19. Let q be l(y). Let o = -172 + q. Is o a multiple of 9?
True
Let u(y) = 20*y**2 - 12*y + 387. Is 226 a factor of u(12)?
False
Is 27 + 176/(-11) - -24769 a multiple of 30?
True
Is 229 a factor of 1422092/23 + (-134)/1541?
True
Let h(j) = 24*j**2 - 3*j + 1. Let u be h(2). Suppose t + 5*v - 284 = u, 0 = -t + 4*v + 420. Suppose 3*o - t = m + 4, m = -5*o + 676. Is o a multiple of 27?
True
Suppose -5*c + 2*w = -134987, 2*c - 26990 = c - 7*w. Is c a multiple of 108?
False
Let l(v) = -v - 7 - 2 - 1. Let j be l(-15). Suppose 386 = 4*b + 2*c, 0 = b + 3*c - j*c - 109. Is b a multiple of 11?
True
Let k(n) = 0*n**2 - 6*n**2 - 27 + 7*n**2 + 26*n. Let i be k(-26). Is 22 a factor of ((-9)/i)/((-1)/(-264))?
True
Does 6 divide ((-6)/10)/((-43)/430) + 7452?
True
Suppose 4460 = -48*i + 58*i. Is 46 a factor of i?
False
Suppose 2238 = -4*s + 5*r + 31890, -2*s + 14828 = -3*r. Is 40 a factor of s?
False
Let k be (10 - (3 + 2)) + 0. Suppose 4*d = -2*v + 1212, -k*v - 12*d = -7*d - 3055. Is 11 a factor of v?
True
Suppose 0 = 3*k - 6, 4*q - 4*k - 46272 = 4120. Is 210 a factor of q?
True
Let h = -1964 + 2676. Is 8 a factor of h?
True
Suppose 3*l + 11 = -2*n, -2*n + 4*n + 36 = 2*l. Is 312/n*(-1 + -1 + 0) a multiple of 24?
True
Is 25 a factor of -1442 + 12753 + -26*1?
False
Does 20 divide 6 + 0 - ((-6)/9 + 143596/(-12))?
False
Let k be (-2)/(-2) - 5/((-20)/176). Let m = -57 + k. Is 23 a factor of 0 - (1158/m - (-1)/2)?
False
Let j be (-41)/(-123) + 1/(-3). Let p(d) = -9*d + 81. Does 6 divide p(j)?
False
Let z be 9/5*55/33. Suppose 2*u = -8*a + z*a + 970, 2*u - 1006 = 4*a. Is u a multiple of 45?
True
Let m(c) = -4*c**2 + 6*c + 3. Let t be m(5). Let j = 72 + t. Suppose z = -i + 3 + 1, j*i + 36 = 3*z. Does 7 divide z?
True
Let j be 3 - (1 + 2 - 2). Suppose 0 = -j*y - 4*m + 134, -3*y - 3*m = -0*y - 189. Let p = -43 + y. Is p a multiple of 8?
True
Let v = -285 + 286. Does 25 divide (-31759)/(-39) + (v - (-4)/(-3))?
False
Suppose -3*l - 45 = 2*s - 7*s, -3*l = 0. Does 7 divide 375/s + (-4)/(-12)?
True
Let y = -148 + 148. Suppose -112 = 4*z - 5*z - 3*g, -4*g + 16 = y. Is z a multiple of 23?
False
Let f(o) = o**3 - 11*o**2 - 3*o - 1. Let s be f(12). Let d = -110 + s. Is 22 a factor of -198*(13/d + 4)?
True
Is 2742*328/(-451)*(-11)/6 even?
True
Let c(g) be the third derivative of 14*g**2 + 0*g + 1/3*g**3 + 0 + 1/6*g**4 + 1/20*g**5. Does 17 divide c(-4)?
True
Let x = -114 - -119. Does 13 divide (x - 6)*2 - -28?
True
Suppose 0 = 2*i - 2*t - t - 354, 903 = 5*i - 3*t. Suppose 5*k + 48 = i. Does 5 divide k?
False
Is 57 a factor of 1328 + 724 - 0*(-1)/(-2)?
True
Suppose -g + 138 = 10. Suppose g = v + 41. Let u = v - -99. Does 31 divide u?
True
Is (-26248)/(-18) + (-56)/252 a multiple of 18?
True
Does 11 divide (299475/300)/((-3)/(-8))?
True
Let k(i) = -5038*i - 846. Is k(-3) a multiple of 52?
False
Let w = -148 + 211. Let n = -59 + w. Is (1 - 22/3)*(n + -7) a multiple of 7?
False
Suppose 2*i + 16 = -4*l - 2*i, 14 = l - 5*i. Let b be 7/((l/(-12))/((-1)/2)). Is 19 a factor of (-6 + b/(-15))/((-4)/30)?
False
Suppose 8*b = 71 + 41. Suppose 31 + b = 15*m. Suppose 0 = s + 5*j - 123, -j + 2*j = -m*s + 341. Is s a multiple of 9?
False
Suppose -17*w + 31 + 20 = 0. Suppose -w*b - 419 = -7*b - 3*u, 2*b - 220 = 2*u. Does 2 divide b?
False
Suppose 0 = -48*l + 53*l - 16465. Is l a multiple of 31?
False
Let l be 465/25 - (-4 - (-46)/10). Suppose 1800 = l*p - 17*p. Suppose p = 17*n - 2*n. Does 8 divide n?
True
Let u(z) = 152*z - 776. Does 8 divide u(15)?
True
Suppose 0*k - 665 = -4*k - z, 4*k - 4*z = 660. Suppose -2*s + k = -78. Is s a multiple of 18?
False
Let u be -2 + 9 - (-4840)/20. Let r = u - 159. Does 10 divide r?
True
Suppose 0 = -3*k - 6, -4*m - 3*k + 12591 = -1055. Is m a multiple of 11?
False
Let f(v) = v**3 + 5*v**2 - 4*v + 8. Let y = 23 - 29. Let m be f(y). Let c(o) = -7*o - 15. Does 8 divide c(m)?
False
Let x = 164 - 86. Does 6 divide (-7839)/x*4/(-6)?
False
Let a(p) = p**2 - 19*p - 51. Let s be a(21). Let v be ((-27)/(-12))/(s/(-114))*-2. Let j = v + 81. Is 12 a factor of j?
True
Let z(d) = 0 - 18*d - 14*d + 34*d - 2 - 9. Does 73 divide z(42)?
True
Let t(y) be the second derivative of -2*y**3/3 - 4*y**2 + 3*y. Let d be t(-3). Does 13 divide 25*d/6*3?
False
Let i(s) = 48*s**2 + 8. Let c be i(-2). Suppose -5*u = -12*a + 10*a + 409, c = a + 2*u. Is 23 a factor of a?
False
Suppose -251 = -5*c - 3*p + 176, 3*p - 12 = 0. Let l = c - 83. Suppose 0 = -5*g - 2*y + 40, l = 2*g + 4*y - y - 27. Does 2 divide g?
True
Suppose -4*h + 5556 = 4*m, -4*m + 5*h = 4*h - 5581. Suppose 4*s - m - 1334 = 0. Is 11 a factor of s?
True
Is 12 a factor of 13506*((6 - (1 - 1)) + (-5)/2)?
False
Let n be (836 + -1)*(-2 + -1)/(-15). Let g = 1069 - n. Is 19 a factor of g?
False
Let k = 81 - 75. Suppose -2*q - 44 = -5*i - k*q, 12 = -3*q. Suppose 0 = i*w - 917 + 101. Is w a multiple of 17?
True
Let u = 161 + -270. Let c = 206 + u. Does 5 divide c?
False
Let g = -48 - -82. Let w = g - 18. Suppose a - 4*t = w, -15 = -a + 5*t - 0*t. Is a a multiple of 11?
False
Suppose 0 = 5*v + 5*l - 51 - 179, -3*l = 5*v - 236. Suppose v*x = 33*x + 10176. Does 55 divide x?
False
Suppose 0 = 168*d - 47*d + 91*d - 3852888. Is d a multiple of 39?
True
Let h(v) = v**2 - 35*v + 28. Does 14 divide h(50)?
False
Is ((-6)/15)/((-4)/(-545))*(-9 + -229) a multiple of 17?
True
Let t be (-1)/(-2) - (-6665)/(-86). Let g = t + 150. Does 9 divid