3 + 29021. Is 121 a factor of f?
True
Let o(m) = m**3 + 7*m**2 + 4*m + 16. Let d be o(-6). Does 23 divide (-8)/d + 1045/7?
False
Let p(d) = 25*d**2 + 62*d + 770. Is p(-11) a multiple of 5?
False
Let k = 33 - 61. Let t = k + 301. Suppose 0 = -6*m + t + 39. Does 18 divide m?
False
Let k(x) = -3*x - 5. Let i be k(-3). Suppose i*g = v - 17, -4*g = -5*v - 24 + 61. Let m(f) = 7*f**2 - 8*f + 25. Is m(v) a multiple of 18?
False
Let v(j) = -5*j**3 - 33*j**2 - 27*j + 23. Let o(t) = 9*t**3 + 65*t**2 + 53*t - 47. Let r(i) = 3*o(i) + 5*v(i). Is 4 a factor of r(-14)?
False
Suppose -12*n = 215 + 25. Let g = -76 + 130. Let k = g + n. Is 13 a factor of k?
False
Suppose -3*x - 927 = -2*d, 5*d - 918 = 8*x - 5*x. Let t = x - -341. Is 4 a factor of t?
False
Let i be 1/(1/(-1) + 12/8). Let u(c) = 16*c**i - 26*c + 68*c + 3 - 35*c. Does 19 divide u(-3)?
False
Is ((-50760)/405)/((-1)/6) a multiple of 89?
False
Let f(c) = -71*c**3 - c**2 - 2*c - 1. Let x be f(-1). Suppose -66*p = -x*p + 1900. Does 19 divide p?
True
Let p = 366 + -436. Let m be 0 + -1 + (-298)/(-2). Let d = p + m. Is 13 a factor of d?
True
Suppose 5*u - u + 288 = 0. Let y be (-39)/(-4)*u/(-9). Let p = y + -26. Does 26 divide p?
True
Let b(j) = -4*j**3 - 14*j**2 + 33*j + 350. Does 8 divide b(-11)?
False
Let d = -31 + 32. Let g(r) = 12*r + 6. Does 6 divide g(d)?
True
Let l = -192 - -325. Let p = -117 + l. Suppose -p*d + 34 = -15*d. Is d a multiple of 34?
True
Let n = -30 + 33. Let k = 1 - n. Is 3 a factor of 3 + 3 + k + 0?
False
Suppose -14*s = -15*s + 4428. Does 41 divide (-14)/(-6)*s/36?
True
Let d(z) = 7*z - 58. Let j be d(-12). Let s = 579 + j. Does 19 divide s?
True
Suppose -5*r = d - 68579, -497*d + 493*d - 24 = 0. Does 43 divide r?
True
Suppose -2*v - 4548 = -h, 8*h - 12*h + 18201 = -5*v. Does 22 divide h?
True
Let q(m) = 4*m - 40. Suppose 111 = 5*g + 36. Is q(g) a multiple of 2?
True
Let f(d) = 16 - d + 4*d - d. Let m be f(-6). Suppose -m*q - 181 - 225 = -5*c, 324 = 4*c - 4*q. Is 41 a factor of c?
True
Suppose -1477*i + 1479*i + 120 = -4*z, -196 = 4*i - 3*z. Suppose k = -5*m - 600, m + 3*k - 61 + 181 = 0. Let d = i - m. Does 17 divide d?
True
Suppose 0 = 10*h - 7*h. Suppose f - 29 - 30 = h. Let p = f - 41. Does 17 divide p?
False
Let g(n) be the second derivative of -591*n**5/20 - 2*n**3/3 - 2*n**2 - 2*n - 15. Does 40 divide g(-1)?
False
Let x(y) = y**2 + 11*y + 2. Let r be x(-11). Suppose 4*z = -r*m + 164, -2*m + 179 = 2*z - 3*z. Is 3 a factor of m?
False
Suppose 0 = 2*g + 5*j - 14 - 7, -2*g = j - 25. Suppose 216 = g*b - 10*b. Does 10 divide b?
False
Let a = -26604 - -45567. Is a a multiple of 21?
True
Let c = -106 - -98. Let k(o) = -201*o - 40. Let a be k(c). Suppose 8*p - p - a = 0. Is 32 a factor of p?
True
Let b(a) = a**3 + a**2 - a - 2. Let t be b(3). Let m(f) = 28*f + 1307. Let d be m(-43). Suppose 4*z - d = -t. Is 9 a factor of z?
True
Let t(l) = -2*l**2 + 71*l + 196. Let u be (6/7)/((-2)/14) + 38. Is 30 a factor of t(u)?
True
Suppose -12*y + 36 = -7*y + t, 0 = -y + 3*t + 4. Suppose 2484 = 30*m - y*m. Is 8 a factor of m?
False
Suppose 0*h + 2*h = x + 4025, 3*x = -15. Is h a multiple of 10?
True
Let j(f) = 6*f + 62. Suppose 4*n = 2*l + 2*n - 18, 2*n - 8 = 0. Does 28 divide j(l)?
True
Let r = 4592 + 3684. Does 129 divide r?
False
Let t(w) be the second derivative of w**4/3 + 2*w**3/3 - w**2/2 + 11*w. Let q(c) be the first derivative of t(c). Is q(7) a multiple of 30?
True
Suppose 4*s + s = -2*g + 11, -3*g - 3*s = -12. Suppose -5*k + g*y + 2908 = 0, k + 6*y - 586 = 11*y. Does 8 divide k?
False
Suppose 76*l - 69*l - 21753 = 4987. Is l a multiple of 21?
False
Let g(q) = 85*q**2 - 43*q - 28. Does 19 divide g(-13)?
True
Let g = 20 - 16. Suppose -3*q = g*l + 151, l - 2*q = -36 + 1. Let u = -31 - l. Does 3 divide u?
True
Let v be (-10)/25 + 24/(-15) + 274. Suppose 54*z - 56*z = -v. Is z a multiple of 34?
True
Suppose 0 = -22*h + 60*h - 28*h - 33370. Does 11 divide h?
False
Let z(q) = -q**3 - 22*q**2 + 22*q - 5. Let r be z(-23). Suppose 3*s - r = -6. Is (1*-6 + s)*-90 a multiple of 15?
True
Let f(u) be the first derivative of 23*u**3/3 + 7*u**2 - 12*u - 31. Is f(6) a multiple of 60?
True
Let m(y) = -1641*y - 3474. Is m(-10) a multiple of 264?
True
Let l = -840 + 828. Is 6 a factor of 13/(104/l) + 1791/2?
True
Suppose -5*t + 10 = 0, 2*t = a - 6*a + 19. Suppose -a*z + 50 = -67. Suppose z*r = 34*r + 225. Does 9 divide r?
True
Let n = 28608 - 24993. Does 3 divide n?
True
Suppose -v = -u + 70, 3*v - 48 = 2*u - 189. Suppose g = 151 + u. Is 5 a factor of g?
True
Let g(j) = -694*j - 134. Does 2 divide g(-3)?
True
Suppose -830659 = -165*c + 202241. Is c a multiple of 9?
False
Let q = -3662 + 7293. Does 9 divide q?
False
Let q(i) be the first derivative of -i**4/4 - 2*i**3/3 - i**2/2 - i - 103. Does 14 divide q(-5)?
False
Let i be 34/4*592/2. Suppose i = 4*l - 2*c, -l + 5*c = 2*l - 1894. Is l a multiple of 40?
False
Let u = 381 + -389. Does 49 divide (5 + 36/u)*740?
False
Let p(v) = -236*v + 106. Let a be p(4). Let s = a - -990. Is s a multiple of 76?
True
Suppose 13*f - 22*f = 12*f. Suppose -17*i + 4732 - 975 = f. Is 9 a factor of i?
False
Let l be -2 + -1 - (-1089)/9. Suppose 0 = 3*j - j + l. Let t = j + 83. Does 8 divide t?
True
Let m = -12901 + 52991. Is 38 a factor of m?
True
Is -11 + (-836)/(-77) - 19910/(-14) a multiple of 11?
False
Let a be ((-2)/(-3))/((-7)/(105/(-2))). Suppose -4*n - 208 = 3*p - 961, a*p + n = 1238. Is 19 a factor of p?
True
Is (-8)/44 - 435890/(-143) a multiple of 8?
True
Let x be 0 + -9 + 20 + -6. Suppose -3*q - 58 = -x*q - 5*y, 0 = -2*q - 3*y + 50. Does 11 divide q?
False
Suppose -4*y = 5*y - 36585. Suppose 4*z - 5*z - 3247 = -4*w, -5*w - 5*z = -y. Does 13 divide w?
False
Suppose 0 = -19*w + 146 + 25. Suppose -w*s + 1008 = -2*s. Is s a multiple of 18?
True
Let h = 159 + -31. Let q = h + -53. Suppose 65 = 5*y - q. Is y even?
True
Let n(m) = -m**2 + m. Let p(l) = -l**2 + 12*l - 383. Let q(w) = 2*n(w) - p(w). Is q(0) a multiple of 8?
False
Let w(v) = 207*v**2 + 47*v - 400. Is w(6) a multiple of 3?
False
Let o = 93126 + -53721. Does 185 divide o?
True
Suppose -5*b + 309 + 127 = a, b - 92 = a. Suppose i = b - 34. Is 9 a factor of i?
True
Is 62 a factor of (518/35)/(7/3255)?
True
Let z(k) be the second derivative of k**5/60 - 5*k**4/24 - 9*k**3/2 + 5*k**2 + 21*k. Let h(y) be the first derivative of z(y). Does 11 divide h(13)?
True
Suppose 0*d + 20 = 4*d. Suppose -4*c - 5*w = d, -5*c - w - 37 = -15. Is 3 a factor of (4 + c)/((-2)/50)?
False
Let q be (2 + 10)/3*(-21)/12. Let h(t) = t**3 + 10*t**2 - 6*t - 18. Is h(q) a multiple of 4?
False
Let w = 7 - -63. Let i = 73 - w. Is (2 - i - 1) + 191/1 a multiple of 27?
True
Let c(w) = -4*w**3 - w**2 + w + 1. Let r be c(-1). Suppose -r*g + 2*o = -851, o = -2*g - 3*o + 594. Does 6 divide g/8 - 8/(-64)?
True
Let u(y) = -y**3 - 4*y**2 - 5*y - 2. Let f be u(-4). Suppose 0 = 4*p - 16, w = p + 3*p + f. Let h = -20 + w. Does 7 divide h?
True
Suppose -19*f = -37235 - 15737. Does 3 divide f?
False
Let z = -8926 - -12582. Is z a multiple of 3?
False
Let z(x) = 29*x**2 + 10*x - 8. Let a = 50 - 47. Does 18 divide z(a)?
False
Suppose 32 = 3*p - 1. Let o(t) = -t - 4. Let j be o(p). Does 34 divide 270 - ((-5)/j - (-14)/(-6))?
True
Suppose 6850 = -b + 2*b - 8911. Does 13 divide b?
False
Let c(n) = 13*n + 44. Let m be c(-3). Suppose 2 = -2*w, -4*h + m*w + 434 = -115. Does 8 divide h?
True
Let n = 42677 + -25598. Is 67 a factor of n?
False
Let n = 6022 + -605. Does 56 divide n?
False
Let k(p) = -6*p - 8. Let o be k(-2). Suppose 81 = -o*x - 4*t + 645, -425 = -3*x - 5*t. Suppose -n - 7 = -2, 2*n - x = -3*d. Does 11 divide d?
False
Let h(v) be the first derivative of v**3/3 - v**2 - 7*v - 11. Let k be h(-2). Let m(c) = 30*c - 1. Does 3 divide m(k)?
False
Let h = 8787 - 4680. Does 70 divide h?
False
Suppose -4*g + 86 = -5*p, 0 = -2*g + p - 4*p + 54. Let v(z) = z + 7. Let l be v(g). Suppose u + 16 - l = 0. Does 3 divide u?
True
Suppose -5*j + 4*s = -13236, 4*s = -j + s + 2651. Is 8 a factor of j?
True
Suppose 1 = -5*z + 16. Suppose 4*y = -5*t + 30, 0 = 5*t + 2*y - z*y - 5. Is (1/t)/(1/142) a multiple of 8?
False
Let q be (-2)/(-4) - (-207)/2. Suppose -97*c + 653 - 153 = -276. Suppose -c*l - q + 632 = 0. Is l a multiple of 14?
False
Suppose -5*h + 61415 = 5*v, 282*