. Does 25 divide l?
False
Suppose c + 1 - 145 = 0. Let o = 33 - 26. Suppose c = -a + o*a. Is a a multiple of 8?
True
Suppose 0 = 4*u - 3*j - 15436, 2*u + 3852 = 3*u + j. Is u a multiple of 4?
True
Suppose 13*n = -31*n + 250228. Does 121 divide n?
True
Let x(i) be the second derivative of i**6/360 - 11*i**5/120 + 13*i**4/6 - 29*i**3/6 + 21*i. Let l(k) be the second derivative of x(k). Is 14 a factor of l(15)?
True
Let x be (-712)/14 - (-9)/(-63). Let o = 108 + x. Is o a multiple of 22?
False
Suppose r - 108 = n + 46, -5*r = 5*n - 790. Suppose 0 = -2*t + 4*t - r. Is 39 a factor of t?
True
Let a(p) be the second derivative of p**4/6 - 5*p**3 + 25*p**2/2 + 77*p. Is a(21) a multiple of 58?
False
Let h(w) = 4 - 19 - 36 - 36 + 72*w. Is 10 a factor of h(7)?
False
Let c(i) = -3*i**2 + 14*i + 8. Let h = 17 + -11. Let q be c(h). Does 12 divide ((20/q)/1)/(2/(-88))?
False
Let y(k) = -k**2 + 114*k - 676. Is 40 a factor of y(62)?
False
Let r be ((-60)/(-5))/3 - -1. Let c be (-2)/r - (-1617)/105. Let q = c - -61. Is q a multiple of 19?
True
Let h = -88 + 848. Does 13 divide h?
False
Let j(a) = 24*a + 52. Let u be j(6). Let n = 262 - u. Is n a multiple of 6?
True
Suppose -3*o - 574*g = -578*g - 47817, 0 = 2*g + 6. Is o a multiple of 8?
False
Let x be 62 - (-5)/((-15)/(-6)). Let b = x + -70. Does 9 divide b*(-6)/(-21)*-21?
True
Let p = 99 - 207. Let u = -29 - p. Let y = 25 + u. Is 13 a factor of y?
True
Let i be -6 + 2 + 2 + 13. Suppose -i*o + 3858 = -355. Does 10 divide o?
False
Let c be (3/(-6) - 0)/((-18)/252). Is 32 a factor of (-1 + c/3)*(-5025)/(-100)?
False
Is 19 a factor of (-3097 - -1729)*((-1)/3*-206)/(-1)?
True
Suppose -4*j + 32 = -4*m, -4 = -j + 3*m - 0. Let b(p) = 2*p**2 - 5*p + 14. Let f be b(j). Suppose -f = -5*v + 3*v. Is 32 a factor of v?
False
Let j(m) = 87*m**2 - 5*m + 78. Does 90 divide j(-6)?
True
Let o(u) = -52*u + 24*u + 22*u - 6. Let f be o(-2). Does 32 divide ((-308)/30 - f/(-10))*-15?
False
Let l(b) = 127*b**2 + 13*b - 12. Let p be l(1). Suppose 0 = z - 2*n - p, 11*n = 9*n + 4. Does 22 divide z?
True
Let m = 131381 + -93277. Is 57 a factor of m?
False
Let m(l) = -13*l**3 - 10*l**2 - 11*l - 38. Let v(x) = -15*x**3 - 9*x**2 - 10*x - 38. Let j(g) = -7*m(g) + 6*v(g). Is j(-10) a multiple of 36?
True
Is 120 a factor of (-3)/((-54)/4) - 117/((-29484)/9011464)?
True
Suppose -d - 4*n = 6 + 8, d + 3*n = -12. Let h(t) = 4*t**2 - t + 17. Is h(d) a multiple of 11?
False
Let z(q) = -q**2 - 3*q + 1. Let n be (15/(-10))/((-3)/(-16)*1). Let i be z(n). Is (1508/i)/(10/(-6) + 1) a multiple of 33?
False
Suppose -270098 = -707*y + 668*y + 652564. Is 11 a factor of y?
False
Suppose 50*d - 28*d - 88 = 0. Let v be (1 - 2) + 1 - 1. Does 11 divide 326*((-2)/d - v) - -1?
False
Let f(u) be the second derivative of u**5/20 + 7*u**4/12 - u**3/6 - 5*u**2/2 - 16*u. Let i be f(-7). Let t(s) = 24*s + 4. Is 13 a factor of t(i)?
True
Suppose -2*r = -0*r - 5*q - 769, -5*r - 3*q + 2000 = 0. Let n = -126 + 341. Let l = r - n. Is 38 a factor of l?
False
Let v(r) = -3378*r + 900. Is 34 a factor of v(-5)?
False
Let b = -39552 + 58956. Suppose -19*a = 2*a - b. Does 33 divide a?
True
Let m = -555 + 774. Suppose 0 = 2*k + 2*l - 57 - 53, 3*l - m = -4*k. Is 2 a factor of k?
True
Let d(c) = -193*c + 751. Is 45 a factor of d(-8)?
True
Suppose 0 = -5*r - 56 - 24. Let i(o) = -o**3 - 15*o**2 + 18*o + 35. Let z be i(r). Suppose 2*a = z*f - 2*f + 418, -4*a + f + 838 = 0. Is a a multiple of 15?
True
Let l = 80 - -266. Let d = -272 + l. Is 7 a factor of d?
False
Let q = 48 - 50. Let v(m) = -5*m + 145*m**3 - 2*m**2 - 155*m**3 + 1 - 6. Is v(q) a multiple of 7?
True
Suppose -31*k + 74504 = -57804. Does 198 divide k?
False
Suppose 424 = 5*c - 4136. Suppose -87*g + c = -81*g. Is g a multiple of 8?
True
Let o(l) = -l**3 + 11*l**2 + 29*l - 21. Suppose -38 = t - 50. Let b be o(t). Suppose 2*n - i - b = 0, -n + 4*n = -i + 267. Does 9 divide n?
True
Let s(x) be the third derivative of x**6/120 - 11*x**5/30 - 5*x**4/6 + 6*x**3 + 2*x**2 - 23. Is s(24) a multiple of 12?
True
Suppose -3*t = 3*d - 12, -5*t - 5*d = -4*t - 8. Suppose t*g = 320 + 52. Does 62 divide g?
True
Suppose -4*z - 5*k = -45, 4*z + 3*k + 26 = 61. Does 16 divide z - -1*(5 - -118)?
True
Let r = -16148 + 27497. Is 117 a factor of r?
True
Let u be 34/8 + ((-33)/(-12) - 3). Suppose 2*z = u*z. Let a = 108 - z. Is a a multiple of 20?
False
Let g = -1480 + 1855. Does 56 divide g?
False
Suppose 0 = h - 15 - 8. Let l = 26 - h. Suppose l*p - 161 = -t + 2, -2*t - 214 = -4*p. Is p a multiple of 11?
False
Let u(j) = 13*j - 2. Let p be u(1). Suppose 3*a - p*a + 56 = 0. Suppose 6*q - 3406 = -a*q. Does 44 divide q?
False
Does 35 divide (18/(-2) + (-38078)/(-237))*(-4 - -187)?
True
Suppose 24*h - 77*h + 104673 = 58*h. Is h a multiple of 17?
False
Let y(u) be the second derivative of -137*u**3/3 - 21*u**2/2 - 9*u - 2. Is y(-3) a multiple of 78?
False
Let n(t) = -t**2 - t + 6793. Let h be n(0). Suppose -3347 - h = -26*y. Is 18 a factor of y?
False
Let o(s) = -105*s - 294. Let q(m) = 34*m + 98. Let b(u) = 3*o(u) + 8*q(u). Is b(-7) a multiple of 4?
False
Let l = -7 + 14. Suppose 3*j - 744 = -5*p, -11*p = 5*j - l*p - 1227. Is j a multiple of 5?
False
Suppose 0 = 50*w - 42781 + 3831. Is w a multiple of 4?
False
Let p = -131 - -120. Let v = 37 + p. Suppose -85*w + v = -84*w. Does 14 divide w?
False
Suppose 90*k - 92*k - 3*t = -20305, -50720 = -5*k + t. Does 71 divide k?
False
Let j be 544/(-18) + -3*6/(-81). Is (4 + (-400)/j)*(3 - 0) a multiple of 7?
False
Let x(a) = -2*a + 48. Let s be x(23). Is 10 a factor of 38 + (-216)/(-81) + s/(-3)?
True
Suppose -3*s = -4*p - 4*s + 3437, 0 = 2*p + 5*s - 1705. Suppose 0 = 5*z - 100 - p. Does 8 divide z?
True
Let a = -979 - -1681. Is 10 a factor of a?
False
Suppose b - 93 - 27 = 0. Suppose b*d - 5145 = 115*d. Is 12 a factor of d?
False
Suppose -t + 208 = -4*l, 48*l - 52*l + 4 = 0. Suppose t*p = 209*p + 5793. Is p a multiple of 14?
False
Suppose 198*k = 202*k - 14780. Is 19 a factor of k?
False
Let g(p) = 2*p**2 + 57*p + 97. Does 9 divide g(38)?
False
Suppose -550913 = -68*x - 53*x. Is x a multiple of 10?
False
Let u be 11/((-385)/15) + 47911/7. Suppose 0 = -14*m + u - 278. Is m a multiple of 12?
False
Let z = 9196 - 4750. Is z a multiple of 57?
True
Let n = -446 + 313. Let p = 184 + n. Is p a multiple of 3?
True
Suppose -379*q - 59388 = -477*q. Does 101 divide q?
True
Let u(b) = 2*b**2 + 77*b - 52. Let m be u(-39). Does 2 divide 43898/611 + -1 + (-15)/m?
True
Let c(n) = 6*n**2 - 41*n - 3. Let r be c(7). Suppose f + 980 = r*t, -2*t + f = -497 + 7. Does 24 divide t?
False
Let j = 8381 - 12103. Does 58 divide -1 - (3/12 + j/8)?
True
Let x = -17528 - -18474. Is 43 a factor of x?
True
Suppose -14*p + 32 = -12*p + 4*y, -3*p - 2*y = -28. Does 7 divide (1300/35)/(p/147)?
True
Let w(u) = -u**3 - u**2 - 6*u - 17. Let x be w(-4). Is 21 a factor of (x/(-15) - -3)*786/(-4)?
False
Let s(c) = 24*c - 162. Let i(u) = 30*u - 161. Let b(j) = 4*i(j) - 6*s(j). Is 7 a factor of b(-12)?
True
Suppose -205 = -2*c + d, d = -473*c + 476*c - 306. Is c even?
False
Let f(j) = -j**3 + 38*j**2 + 199*j - 464. Is 24 a factor of f(35)?
True
Suppose 3*p - 189 = -6*p. Suppose 0*k = -7*k + p. Suppose k*m - 432 = -3*c - c, 0 = -c. Does 9 divide m?
True
Let y = -71074 - -106966. Is y a multiple of 9?
True
Suppose -147*u + 77365 = 1257 - 3860. Is u a multiple of 16?
True
Let p be (-249)/(-9) + 1/3. Let w = p + -30. Is (-4 + 20)*(-3)/w a multiple of 17?
False
Let g = -2119 + 2121. Let x(n) = 23 + 24*n - 2*n + 44*n. Is x(g) a multiple of 16?
False
Let d(n) = -n**3 + 18*n**2 + 6*n + 7. Let q be d(18). Suppose -a - 21 = 2*v + 14, q = -3*a - 4*v. Let m = a - -73. Does 4 divide m?
True
Let f(i) = -1. Let s(j) = j**3 - 6*j**2 - 9*j + 13. Let z(m) = -3*f(m) - s(m). Let l be z(7). Suppose -2*o - o + 39 = a, -o = -l*a. Is 2 a factor of o?
True
Let g(y) = -7*y - 41*y**2 + 13 + 42*y**2 - 3*y. Let d be g(9). Suppose -3*j - d*i + 75 = 0, 3 = 2*j - 2*i - 33. Is j a multiple of 7?
True
Let n be ((-50)/45*-3)/(2/(-6)). Let b = 268 - n. Is b a multiple of 9?
False
Suppose 0 = -25*r + 56*r + 10664. Let l = r - -414. Is 2 a factor of l?
True
Let l = 3420 - 3144. Is l even?
True
Let i = 239 - 233. Suppose 860 - 3704 = -i*q. Is q a multiple of 83?
False
Let u = 3836 + -1914. Su