2. Let z be d(-7). Let h be g(z). Suppose 3*y - h*j = 43, -2*y + 5*y = -5*j + 29. Is 3 a factor of y?
False
Let b(t) = -158*t - 264. Does 18 divide b(-39)?
False
Let b(i) = 3*i**2 - 2*i - 6. Suppose -4*w = -w - 12. Suppose 3*s = 12, -5 = w*z - 4*s - 1. Is 3 a factor of b(z)?
True
Suppose -9*k + 6*k = -99. Suppose -k = 5*w + 4*q, 3*q = -3*w + q - 19. Let j(u) = -u**3 - 5*u**2 - 14*u - 20. Is 15 a factor of j(w)?
False
Suppose 5*h = -17 + 27. Suppose h*q + 2*q + 4 = -m, -4*q + 4*m + 16 = 0. Suppose x + q*x = 100. Does 14 divide x?
False
Let s = -248 - -251. Suppose 289 = s*a - 833. Is 22 a factor of a?
True
Let j(m) = 3 + 36*m + 35*m - 74*m. Is 3 a factor of j(-13)?
True
Let i be (-804)/(-14) - -11*(-27)/693. Let h(d) = 14*d**2 - 3*d. Let l be h(3). Let v = l - i. Does 10 divide v?
True
Is 14 a factor of 4080/544*(-5756)/(-5)?
False
Let u = -1190 - -4646. Is u a multiple of 16?
True
Does 10 divide 20106/15*(-330)/(-99)?
False
Let s be (0 + 132/15)*(-110)/(-4). Let z = 410 - s. Suppose -3*i + z = 3*i. Does 7 divide i?
True
Let k = -145 - -174. Let r(o) = o**3 - 28*o**2 + 7*o - 77. Is r(k) a multiple of 9?
False
Let p(b) = -b**3 + 11*b**2 - 10*b - 4. Let z be p(10). Let g be -87 + (3 - (-1 - z)). Let l = 23 - g. Is l a multiple of 10?
True
Suppose 2*y - 6*j + 3*j - 342 = 0, 328 = 2*y + 4*j. Is ((-860)/6)/(y/36 - 5) a multiple of 30?
False
Let k(n) = -5*n**2 + n - 2. Let o(y) = y**2 + y + 1. Let z(f) = k(f) + 3*o(f). Let p be z(8). Is 27 a factor of (p/20 + 4)*-36?
True
Let a(w) = 616*w**2 + 1664*w - 7. Does 37 divide a(-10)?
False
Is 18/1323*186683 - 8/(-84) a multiple of 20?
True
Suppose 0 = -11*v + 182660 - 65730. Suppose 769 = -19*n + v. Is 70 a factor of n?
False
Let o(b) = b**2 - b - 16. Let n be o(5). Suppose 0 = n*k - m - 338, 5*k - 2*m - 340 = k. Let y = k + -28. Is 19 a factor of y?
False
Let k = -459 - -692. Suppose -k = 5*t - 1883. Is t a multiple of 33?
True
Let h(y) = 6*y + 5*y**2 + 0*y**2 + 43*y + 55 + 5*y**2 - 7*y**2. Is 14 a factor of h(-22)?
False
Suppose -14*s + 90 = -4*s. Suppose 0 = 5*f + s - 14. Does 25 divide (-100*(-5)/10)/(f/1)?
True
Let u(y) = -39*y + 701. Let n be u(6). Suppose -3*f = -0*f - 933. Let j = n - f. Does 25 divide j?
False
Let d(o) be the third derivative of o**8/10080 - o**7/315 + o**6/90 + 13*o**5/30 - 6*o**2. Let s(k) be the third derivative of d(k). Is 16 a factor of s(10)?
True
Let u(a) = -47*a - 11. Suppose 4*b - 2*b + 26 = 0. Does 30 divide u(b)?
True
Let k(o) be the second derivative of -29*o**3/6 + 6*o**2 + o + 31. Does 18 divide k(-9)?
False
Suppose -k - 7*p = -15967, 3*k - 73*p = -78*p + 47885. Is k a multiple of 114?
True
Suppose 201 = 4*y + 97. Suppose 3*a - 84 = -m, 4*m - a - 4*a = 370. Suppose y*p - 24*p = m. Is 15 a factor of p?
True
Let o(t) = 26*t**2 - 103*t + 2117. Is o(20) a multiple of 40?
False
Let f(y) = -y + 22. Let n = 55 + 12. Let v = 47 - n. Does 6 divide f(v)?
True
Let x(b) = 2*b**3 - 2*b**2 + b + 1. Let q be x(2). Let i be -5 + 1 + ((-234)/(-3))/6. Suppose t = -5*r + 27, t - q*r + i*r - 55 = 0. Is t a multiple of 47?
True
Let d(m) = 5*m - 15. Let f be d(3). Suppose v - 5*k = -85, f = -6*v + v + 4*k - 404. Does 20 divide v/20*(-2)/((-4)/(-70))?
True
Suppose 3*k - 222 = 81. Let o = 143 - k. Is 13 a factor of (2 + -1)*2*o?
False
Let k(y) = -30*y**3 - y**2 + 10*y + 3. Let n be k(-3). Suppose a = 5*a - d - n, 0 = 5*a - 2*d - 969. Is a a multiple of 23?
False
Suppose -132*s + 235732 + 173186 = -126606. Does 22 divide s?
False
Let v(w) = -32*w - 64. Let c be v(-8). Let b = -78 + 25. Let o = c + b. Is 32 a factor of o?
False
Let k = 129 - 134. Let i(j) = j**3 + 3*j**2 - 6*j - 37. Let w be i(k). Let g = w - -129. Does 24 divide g?
True
Is (-140)/(-210) - (-35634)/9 a multiple of 8?
True
Suppose 3*c + 13 = -2. Let s = 0 - c. Is 8 a factor of 640/s*((-2)/2)/(-2)?
True
Let c(a) = -a**3 + a**2 + 6*a - 2. Let t be c(3). Let b be (-7)/(-49) + (t - 116/28). Does 12 divide 605*b/(-24) + (-1)/4?
False
Suppose 236*w - 4 = 234*w. Let d(j) = -j**3 + 4. Let z be d(w). Let y = z + 266. Does 38 divide y?
False
Suppose 4*t + 5*q = 18959, 3*q = -4*t + 12096 + 6849. Is 139 a factor of t?
False
Let j = 7717 - 117. Is 80 a factor of j?
True
Suppose -2*m + 16 = -3*m. Let w = -16 - m. Suppose 5*k - 225 - 545 = w. Is k a multiple of 11?
True
Suppose 6*m = -5*m + 55. Suppose -m*j + 2092 = -3*f, -8*j + 5*j + 1264 = -4*f. Is j a multiple of 26?
True
Suppose 0 = 4*j - 4*n - 20, 5*n + 11 = j - 14. Suppose -4*u + j*u = -16, 4*v - 3*u = 916. Is 6 a factor of v?
False
Let p = -1437 - -10341. Does 28 divide p?
True
Let q(j) = -203*j - 2140. Is 2 a factor of q(-20)?
True
Let h = -72 - 5. Let q(a) = a - 6. Let r be q(-9). Let d = r - h. Is 8 a factor of d?
False
Suppose -5*c - 17 - 13 = 0. Let l(b) = -5735*b + 2 + 5739*b + b**2 + 7. Is 6 a factor of l(c)?
False
Let b(h) be the second derivative of -5/3*h**3 - 7*h + 7/2*h**2 + 0. Is 35 a factor of b(-6)?
False
Let s = -21220 + 23845. Is 33 a factor of s?
False
Let z(i) be the first derivative of -281*i**2/2 + 2*i - 17. Let b be z(-1). Suppose -5*l = -k - b, -2*l + k + 63 = -52. Does 14 divide l?
True
Let h be 20/(-3) - 20/(-30). Let w(l) be the first derivative of 4*l**3/3 + 5*l**2/2 - l - 16. Is 26 a factor of w(h)?
False
Suppose 0*m - 237 = -2*l - m, 4*m - 228 = -2*l. Let o = 120 - l. Suppose 98 = 2*s + 4*w, 3*s = -o*s + 2*w + 147. Does 7 divide s?
True
Let g(v) = v**2 + 14*v - 13. Suppose 4*p - 2*l = -64, -3*p - 2*l = 2*p + 71. Let u be g(p). Suppose u*b = 132 + 58. Is 11 a factor of b?
False
Let u be 12013/12 + 17/(-204). Let c = u + -257. Is 8 a factor of c?
True
Suppose 26*r + 9*r = 14805. Suppose -273 + r = 6*c. Is c a multiple of 15?
False
Let i be 1634/57 - (-1)/3. Suppose i*s - 32*s = -1188. Is 27 a factor of s?
False
Let y = -1788 - -250. Let t be (-1)/6*4 + y/(-3). Suppose -4*m = -2*p - 133 - 395, 2*p = -4*m + t. Is 31 a factor of m?
False
Suppose -14 + 12 = -z. Let d(h) = 4*h - z*h - h + 4. Is d(21) a multiple of 7?
False
Let d(r) = r**3 - 27*r**2 + 19*r - 72. Let c be d(25). Let b = c + 1484. Is 13 a factor of b?
True
Let m = 260 - 583. Let k = m - -572. Is k a multiple of 4?
False
Let p(d) = -d**3 + 24*d**2 + 4*d + 174. Does 10 divide p(22)?
True
Suppose 46*o + 143*o + o - 1284780 = 0. Is o a multiple of 21?
True
Suppose 5*m = -q - 830, -10*q - 855 = 5*m - 14*q. Let f = m + 328. Is 2 a factor of f?
False
Let k = 19978 - 11085. Is 11 a factor of k?
False
Let o be ((-12)/4 - -11)*1. Suppose -110 = -s - o. Suppose -s = 40*r - 41*r. Is 23 a factor of r?
False
Let f(g) = 31*g - 1222. Is f(55) a multiple of 23?
True
Suppose -4*c = -2*c - 28. Suppose 0 = -x - 2*t - 0 + 12, 3*x - c = 5*t. Let r = 24 + x. Is r a multiple of 16?
True
Let b(h) = 77*h + 19. Suppose -22*f + 26*f = 8. Does 19 divide b(f)?
False
Is (-3)/12 + (24650/(-150))/(4/(-1167)) a multiple of 26?
True
Let u(n) = -7*n**3 - 219*n**2 - 39*n + 4. Does 9 divide u(-33)?
False
Suppose 5*h - 19267 = -7352. Is 15 a factor of h?
False
Suppose 4*x + 5*h = 3879, -2*h - 3870 = -4*x - 4*h. Does 137 divide x?
False
Suppose -a - 3*v + 657 + 1646 = 0, 11553 = 5*a - 4*v. Is a a multiple of 19?
False
Let a be (-10 - 68/(-8))/((-2)/4). Is 14 a factor of -1*a/(-15) + (-6716)/(-20)?
True
Suppose 14*w + 33 = 3*w. Let c be (-4 - -1) + (-24)/w. Suppose -c*l + 214 = t, 45 = 3*l + 2*t - 82. Is l a multiple of 14?
False
Let t(v) = 8*v + 46. Let d be t(2). Is (-16)/3*(-17577)/d a multiple of 36?
True
Suppose 3*g - 1632 = r + 2050, 1190 = g + 5*r. Does 225 divide g?
False
Let o = -931 + 1591. Does 22 divide o?
True
Suppose 4*v = 3*j + 121, 3*j - 185 = 3*v - 8*v. Suppose 0 = 21*b - v*b + 3718. Is 22 a factor of b?
True
Let z(b) = -2*b**2 - 16*b + 183. Let y(p) = -p**2 - 8*p + 91. Let t(d) = -9*y(d) + 4*z(d). Is t(16) a multiple of 14?
False
Suppose 0 = -14*c + 16 + 54. Suppose 6*p = -2*d + c*p + 1481, -2*d - 3*p + 1475 = 0. Is d a multiple of 53?
True
Suppose 1 = 5*u + 4*c - 9, 0 = -4*c. Suppose 10 = -s + 5*a, s - 3*a = -0*s - u. Does 25 divide (-43 + 3)/((-4)/s)?
True
Let s = 14685 - 6548. Is 79 a factor of s?
True
Let d = 3125 - 3121. Suppose 3*v + 0*v - 3 = -3*i, -3*v = i - 3. Suppose 3*y - 753 = -j - d*j, 5*j = i. Is y a multiple of 15?
False
Let g be ((-8)/10)/(10/(-25)). Is 12 a factor of g/17 + 273724/374?
True
Suppose -