 g**3. Let j be i(-6). Let u = j - 52. Is u a multiple of 13?
False
Let k = -11 - -21. Let y be 0/((-4 + k)/(-3)). Suppose 4*c + y*c = 64. Is 8 a factor of c?
True
Let z(g) = 34*g**2 - 89*g - 5. Is z(5) a multiple of 42?
False
Let c(v) = -v**2 - 10*v - 7. Let l(s) = -1. Let d(k) = c(k) + 4*l(k). Let a be 24/27*3*-3. Is d(a) a multiple of 2?
False
Let w be -5*11/(-45) - (-4)/(-18). Does 47 divide w*(1/(-1) - -173)?
False
Suppose 0 = -t + 3*t. Suppose t = -2*d - 7*d + 810. Does 18 divide d?
True
Let a = -354 + 634. Is 8 a factor of a?
True
Let c be -3 - (-1)/(-1) - -7. Does 9 divide (c - 0)/(1/13)?
False
Let l = -101 - -79. Let n = l - -61. Does 13 divide n?
True
Suppose -9558 = -18*n - 2070. Is 32 a factor of n?
True
Let o be (-8)/(-36) + 260/(-36). Let z(d) = 3*d**2 + 12*d + 4. Let g(j) = 7*j**2 + 25*j + 7. Let v(w) = 2*g(w) - 5*z(w). Does 3 divide v(o)?
True
Let u(m) = 4. Let c(b) = b + 9. Let w(q) = 4*c(q) - 9*u(q). Is w(3) a multiple of 6?
True
Let d(o) = -50*o + 4. Suppose 4*c = 5*n + 13, -n - 7*c = -2*c - 9. Is 18 a factor of d(n)?
True
Is 18*(-7 - (-65)/3) a multiple of 12?
True
Is (-45)/4*(7 - 436/12) a multiple of 15?
True
Suppose 2*q + 0*q = 0. Suppose q = 7*c - 198 - 782. Is c a multiple of 20?
True
Is 3 + 3325/15 - (-10)/(-15) a multiple of 16?
True
Let h(z) = 2*z**2 - 4*z + 4. Let g be h(3). Suppose -g = -0*v - v. Is 2 a factor of v?
True
Let c = -484 + -331. Does 12 divide 1/(-9) - c/45?
False
Let a(l) be the third derivative of -l**5/60 - l**4/24 + l**3/3 + 2*l**2. Let c(y) = 5*y**2 + 4*y - 9. Let s(g) = -11*a(g) - 2*c(g). Is s(-6) a multiple of 14?
True
Suppose 8*b + 17*b = 14775. Is 15 a factor of b?
False
Let z be 3/9 - 50/6. Is 8 a factor of 868/18 - z/(-36)?
True
Is 48 a factor of (-36)/(-30)*5 - -186?
True
Let z = 325 + -182. Is z/3 - (-4)/12 a multiple of 13?
False
Suppose 33*d - 20*d - 19019 = 0. Is 77 a factor of d?
True
Let x = -120 - -191. Let v = -19 + x. Let l = v + -32. Does 5 divide l?
True
Let n = -25 + 49. Let s = n - -1. Is s a multiple of 5?
True
Let u be (-169)/(-52) - 1/4. Suppose j - 384 = -u*j. Does 37 divide j?
False
Let k(d) = 24*d**2 - 24. Is 68 a factor of k(5)?
False
Let b(n) = 4. Let v(a) = -a. Let k(h) = h + 5. Let u be k(-4). Let f(d) = u*b(d) + 5*v(d). Does 7 divide f(-2)?
True
Let f(d) = -d**3 - d**2 + 1. Let s be f(-2). Suppose v + 83 = s*a + 3*v, 3*a - 53 = 2*v. Does 2 divide a?
False
Let a(t) = -t**3 + 3*t**2 + 2*t + 3. Let p be a(-2). Suppose -j = -1 - p. Suppose 0*m = -4*m + j. Is m a multiple of 2?
False
Let g(z) = z - 5. Let f be g(5). Suppose f = -4*k - 16, 4*o + 3*k = -0*k + 12. Does 3 divide o*9/24*4?
True
Is (-347 + 4)*-4 + 6 a multiple of 30?
False
Let f(r) = -2*r. Let z be f(-2). Let s = z - -23. Is 6 a factor of s?
False
Let q = -5588 - -7872. Does 6 divide q?
False
Let x(l) = -2*l**2 - 120*l + 67. Is 20 a factor of x(-56)?
False
Suppose -8*t = -365 - 515. Is 5 a factor of t?
True
Let x be (3/(-3))/(-2)*4. Suppose z = -4*p + x*p - 1, 3*z + 3 = -5*p. Suppose 12 = -p*w + w. Does 4 divide w?
True
Let p(n) = -n**3 + 6*n**2 + 7*n - 10. Let g be p(7). Let h = 3 + g. Is 8 a factor of (h - -3)*(-33)/3?
False
Let l = 3840 - 192. Does 12 divide l?
True
Is 2 a factor of -3*303/36*4/(-1)?
False
Suppose -5*y - 54 = -3*d, 3*y = -3*d - 12 - 6. Let z(j) = -j**2 - 10*j + 22. Is 12 a factor of z(y)?
False
Suppose 521 = 3*t - 2*d, 0*t - d - 174 = -t. Is t even?
False
Let t(m) = m**3 + 6*m**2 + 3*m - 3. Let d be t(-3). Let g = d - 27. Is 19 a factor of ((-456)/g)/(0 - -1)?
True
Let z = -6 - 0. Let f be (-15)/10*8/z. Suppose -2*l + f = d, 5*d - 6*d + 5*l = -16. Is d a multiple of 5?
False
Let q = -39 + -185. Let m = q - -314. Does 15 divide m?
True
Suppose -5*h = -16*h + 5940. Does 18 divide h?
True
Let m be ((-16)/(-60)*5)/(2/255). Let w = -108 + m. Does 31 divide w?
True
Let i = -656 - -813. Does 2 divide i?
False
Suppose 0 = -2*d + 175 + 69. Suppose 0*k = -o - 4*k + 10, 0 = -5*o - 2*k + d. Does 5 divide o?
False
Let c = -521 + 2161. Does 41 divide c?
True
Suppose 12 = 10*i - 68. Suppose 5 = -g, -3*s - 5*g + 426 = -i*g. Is 46 a factor of s?
False
Let m be (1 - 2)/((-2)/(-14)). Let g = -4 - m. Suppose l - 5*r = g*l - 108, 0 = 3*l - 2*r - 124. Is 12 a factor of l?
False
Suppose 4*l - 2*t = -6*t + 80, t = -3*l + 60. Let r = 10 + l. Does 5 divide r?
True
Is 3 a factor of (-6534)/(-264)*2/3*10?
True
Let u be ((-6)/5)/(4/(-10)). Let l = -18 - -21. Suppose -2*q + l*s = u, q - 3*s = -6*s + 21. Is q a multiple of 3?
True
Is 19 a factor of (104/(-24))/(-13)*414?
False
Suppose -4*s = -l - 837, 5*l + 382 + 653 = 5*s. Is 5 a factor of s?
True
Let g(d) = -d**3 - 3*d**2 - 5*d + 2. Is g(-9) a multiple of 13?
True
Let a be (-2)/(((-4)/(-24))/(-1)). Let s = 83 - a. Suppose s = k - 3*g, -73 = -k + 2*g + 2*g. Is 20 a factor of k?
False
Let w be 2/6 - (-52)/(-12). Let x = 94 + w. Does 10 divide x?
True
Let v(g) = -10*g**2 + 120*g - 11. Is v(7) a multiple of 8?
False
Let p be (85/15 + 3)/(4/6). Let c(d) = -d**3 + 14*d**2 - 13*d + 14. Does 3 divide c(p)?
False
Suppose -11657*m = -11645*m - 9144. Is m a multiple of 17?
False
Let v = 155 - 150. Let g = -1 - -6. Suppose w - 75 = -v*l + 4*l, -g*w - 63 = -l. Is l a multiple of 11?
False
Let f(g) = 233*g - 67. Is 20 a factor of f(3)?
False
Suppose -5*x + 5 = 0, -4*x + 5 = y - 2. Suppose -119 = -y*i - 11. Is 18 a factor of i?
True
Suppose 328 = -5*a + 4*r, 2*a - 7*a - 5*r = 355. Does 18 divide (-3)/(1 - (-71)/a)?
False
Let d(l) = -16*l - 6. Suppose 2*q = -11 - 1. Let a be d(q). Suppose -150 = -5*t + a. Is 16 a factor of t?
True
Let w be ((-2)/(-4))/(2/12). Suppose 0 = w*q - 0 + 6. Is (q/(-4))/((-8)/(-912)) a multiple of 12?
False
Let v(i) = -i**2 - 60*i + 253. Does 123 divide v(-47)?
False
Does 18 divide -3 + ((-1248)/(-4) - (-12)/(-3))?
False
Suppose 0 = -3*h - 3*g + 15, g + 11 = 4*h - 4*g. Suppose -h*l - 20 = 0, -2*n + l + 850 = 3*n. Is n a multiple of 23?
False
Let d(l) be the second derivative of -l**5/20 - 7*l**4/12 + 7*l**3/6 + 7*l**2/2 - 8*l. Is 15 a factor of d(-8)?
True
Let b = 565 + -300. Is b a multiple of 5?
True
Let s be (-3)/2 - 1/2. Let p(a) = 2*a**2 + 80 - 84 - 4*a + 2*a**2 - a**2. Does 16 divide p(s)?
True
Suppose 4*m + 0*x - 8 = x, 4*m - 4*x - 8 = 0. Suppose m*b - 5 = 7*b. Is 12 a factor of (3 + 1/b)*6?
True
Let z be (-3)/(-1) - 8/2. Let f be -2*(0 - z) + 7. Suppose j - 36 = f*w, j - 3*j + 72 = 4*w. Does 18 divide j?
True
Suppose 125 - 30 = 5*j. Let h = 24 - j. Suppose -2*u + 0*u - 92 = -5*b, -h*u = 4*b - 100. Is b a multiple of 20?
True
Let w(f) = -f**3 - 4*f**2 + f + 2. Let l be w(-4). Let x be 4 + 32/4 + l. Let y(a) = 5*a + 21. Does 18 divide y(x)?
False
Let y(t) = 6*t**3 - t**2 + t - 1. Let m be y(1). Let f be 48/(-30) - (-3)/m. Is 26 a factor of (5/f)/((-2)/26)?
False
Does 81 divide ((-10935)/(-18))/(3/8*2)?
True
Let n = 18 - 15. Suppose 4*d = 19 - n. Is 15 a factor of (-240)/(-9) - d/6?
False
Let m(a) = -7*a**3 + 3*a**2 + a - 4. Let d be m(3). Let n = 115 + d. Let t = n + 99. Is t a multiple of 14?
False
Let s = -83 + 85. Does 26 divide 96 + (2/1 - s)?
False
Suppose 0 = -5*b - 6 + 161. Suppose 4*v - 23 = -3*r, 2*r + 5*v - b = -2*r. Is (-6)/(7/r - 1) a multiple of 9?
True
Let o(u) = -u**3 + 6*u**2 - 8*u + 8. Suppose -3*f + 2 = 14, 2*f + 28 = 5*q. Let w be o(q). Suppose -x = -4, z - 3*x = w + 6. Does 10 divide z?
False
Does 53 divide (636/30)/((-5)/(-425))?
True
Let h be ((-3)/(-2))/(1/(-134)). Let f = -74 - h. Does 22 divide f?
False
Let b = 89 + -36. Let t = -45 + b. Is 4 a factor of t?
True
Let f(h) = -2*h + 8. Suppose -3*d = 3*g - 2*d - 11, 5*d = -5*g + 25. Let i be f(g). Suppose -2*z + 36 = i. Does 12 divide z?
False
Suppose 27*q - 27360 = -18*q. Is q even?
True
Suppose -362 = -0*x - x - 3*q, 0 = 5*x + 3*q - 1858. Is 17 a factor of x?
True
Let s(f) = 6*f + 4*f + 24 + 23 - 4*f. Does 24 divide s(10)?
False
Suppose n - 8 = z - 122, -5*z = 3*n + 342. Let d = n + 129. Does 6 divide d?
False
Suppose 6 = 4*h - 2. Suppose 3*c - 494 = z, 3*c - 4*c + h*z = -158. Let a = 266 - c. Does 20 divide a?
True
Suppose 2*t = f + 4, 0 = -3*t + 2*f - 1 + 5. Suppose q + t - 15 = 0. Suppose -q = 2*n - 163. Is 19 a factor of n?
True
Suppose -2*n + 4*n = -2*j + 510, -1 = -j. Is 43 a factor of n?
False
Suppose 4*n = 4*r - 475 - 49, 3*r - 353 = -5*n. Does 42 divide r?
True
Supp