d**3 - 8*d**2 - d - 37. Let c(n) = -n**2 - 11*n + 22. Let a be c(-12). Is m(a) a multiple of 9?
True
Let o be 2/(-4)*(-21 - -23) - -4. Let f(t) = t**3 + 2*t**2 + 4*t - 13. Is f(o) a multiple of 4?
True
Suppose 24*w - 10290 - 26670 = 0. Does 17 divide w?
False
Let n(s) = 2*s**3 + 3*s**2 + s. Let u be n(-1). Suppose u = 12*j - 22*j + 2310. Is j a multiple of 21?
True
Let v be (10/3)/((-66)/18 + 3). Does 21 divide (-105)/v*260/4?
True
Let m(y) = -8*y**3 + 19*y**2 + 59*y - 25. Let a(w) = -3*w**3 + 6*w**2 + 20*w - 8. Let u(t) = 17*a(t) - 6*m(t). Does 34 divide u(-7)?
False
Let r(x) = 28*x**2 - 27*x - 4. Does 43 divide r(15)?
True
Let n be (10/(-20))/(5/30). Is -10 - 12/n - -595 a multiple of 19?
True
Let g(q) be the first derivative of 13/3*q**3 - 27*q - 18 - 1/4*q**4 + 17/2*q**2. Does 5 divide g(14)?
True
Suppose 6*i + 6 = 3*i, -12 = -2*r + 4*i. Suppose 0 = -5*k + 5*o - 247 + 1122, 0 = 2*k + r*o - 338. Does 43 divide k?
True
Suppose -4*a + 0*n - 1318 = 2*n, -2*a - 644 = -4*n. Let u = a + 668. Suppose 2*h - u = -3*m - 2*h, 3*m = -2*h + 350. Is 10 a factor of m?
True
Let b = -321 - -325. Let g be (-70)/(-8) + 9/(-12). Suppose b*o + 3*a = g*o - 183, 3*o - 141 = a. Does 16 divide o?
True
Let c = 241 + -175. Suppose 60*d = c*d - 3120. Does 26 divide d?
True
Let s(t) = 24 + 0*t**2 - 2*t - 3*t**2 + 2*t**2. Suppose 2*x - 4*h = -16, -9*x - h - 15 = -19. Does 12 divide s(x)?
True
Let y = -480 - -1902. Suppose 0 = 4*n - 486 - y. Is n a multiple of 33?
False
Let c = 6759 + -4023. Is c a multiple of 9?
True
Is (-8 + -15 - -17)/(2/(-672)) a multiple of 48?
True
Suppose 313*i + 44*i - 102*i = 3859170. Is 7 a factor of i?
True
Suppose 60 = -9*m - m. Is 7 a factor of (-1938)/(-9)*m/(-4) + -1?
True
Let c(q) = -2*q + 73. Let v(u) = 10*u - 364. Let j(w) = -14*c(w) - 3*v(w). Is 26 a factor of j(-4)?
True
Suppose 3*x = 5*o + 142, 4*x + 9*o - 14*o - 186 = 0. Let b = -25 + 65. Suppose b*k = x*k - 596. Is k a multiple of 23?
False
Suppose 97*v + 1651 = 660960. Is 77 a factor of v?
False
Suppose 4*h + 9564 = 7*h + 2*o, -3183 = -h + o. Is 54 a factor of h?
True
Suppose 0 = -13*p - 13013 - 13637. Does 13 divide 2/(2/11 - p/(-11396))?
False
Let g(f) = 3*f - 2. Let c(x) = 5*x - 31. Let m(d) = c(d) - 5*g(d). Let z(b) = -b**2 + b - 5. Let w be z(0). Does 14 divide m(w)?
False
Let y(d) = d**2 + 17*d - 41. Let o be 8217/(-429) + -1 + (-15)/(-13). Let g be y(o). Let v = g - -83. Is 10 a factor of v?
True
Suppose y - 468 = -3*h, -1294*y + h = -1299*y + 2340. Is 3 a factor of y?
True
Let k(s) = -197*s - 10800. Does 3 divide k(-63)?
True
Let g be ((-2)/(-3))/(26/(-39)). Is 10 a factor of 1 + g - (-4)/((-28)/(-301))?
False
Is (0 + 0 + 2)/(8 - 52396/6550) a multiple of 5?
True
Suppose u - 18 = 3*m - 6, -15 = 5*m. Let c(o) = o + 5. Let v be c(u). Let i(t) = t**3 - 8*t**2 + 6*t + 6. Is 18 a factor of i(v)?
True
Let t(m) be the third derivative of 2*m**5/15 + 8*m**4/3 + 2*m**3 - m**2 + 52. Does 37 divide t(8)?
True
Let i = 47876 + -26596. Is 70 a factor of i?
True
Let q be 187*(2 + 18/(-6)) + -2. Let z = q + 399. Is z a multiple of 21?
True
Suppose 0 = 2*q - 2*d - 2*d - 20, -5*q = -d - 14. Suppose 0 = 5*o - 4*l, 2*l - 26 = -2*o - q*o. Suppose 0*y - o*y + 244 = 0. Does 18 divide y?
False
Let z = 1048 + 895. Suppose i = -4*b + 3269, 4*b - z - 1306 = 3*i. Does 48 divide b?
True
Let t be -10 + 16 - (3 + 0). Let u(h) = h**2 + 6 + 3*h - 21 + t + 6. Is 24 a factor of u(-9)?
True
Let b = 1740 + -1623. Suppose 13 - 5 = 4*r. Suppose -5*d = -r*l - 180, d + 2*d - 3*l - b = 0. Is 27 a factor of d?
False
Let o = 124 - 20. Suppose 10*h = 6*h + o. Suppose 2*n - h = 2. Is n a multiple of 7?
True
Suppose -9*d + 206 = 53. Suppose -d*a + 5704 = 859. Does 15 divide a?
True
Let b = -146 + 82. Let c = b - -68. Suppose c = -3*n + 13. Is n even?
False
Is 16 a factor of 1493484/748 + 4/11?
False
Suppose 897 + 375 = 6*z. Let k(n) = 9*n - 12. Let q be k(10). Let h = z - q. Does 11 divide h?
False
Let y(b) = b**2 + 2*b - 13. Let m(j) = 2*j**2 + 4*j - 27. Let r(u) = -6*m(u) + 14*y(u). Let q = -1683 + 1693. Is 38 a factor of r(q)?
False
Suppose -3362 = -2*b - 4*m, -3*m = 7*b - 19*b + 20334. Is b a multiple of 11?
False
Let a = -530 + 339. Let j = a - -245. Is j a multiple of 2?
True
Let y be (-688)/(-80)*10/2. Let f = 443 - y. Is 6 a factor of f?
False
Let b(r) = r - 13. Suppose -12*f + 45 = -9*f. Let i be b(f). Does 16 divide i/(-7) - (-16146)/63?
True
Suppose -5*o + 20302 = -2*g + 3192, 4*o = -3*g + 13665. Is o a multiple of 65?
False
Let t(g) = -352*g + 227*g + 41 + 168*g - 4. Is 5 a factor of t(4)?
False
Let z = -83 - -68. Suppose 0 = 5*h + 1 - 156. Let a = z + h. Does 16 divide a?
True
Let d be -8*7/(-224) - (-578)/(-8). Let t be (-66)/(-15) - (d/(-30))/6. Suppose 5*u + 2*h - 142 = 0, -3*u - t*h + 39 = -49. Is 27 a factor of u?
False
Suppose -5*s - 14 = 4*n + 6, 3*n = -2*s - 8. Suppose -4*z - 2*l = n, -l + 3*l = 0. Suppose r - 4*m = 28, -5*r + z*m - m + 182 = 0. Does 22 divide r?
False
Let i = -9634 + 21178. Does 12 divide i?
True
Suppose 16*z + 28 = 20*z. Suppose -3*i = 6, -3882 = -2*y - 4*i + 8*i. Suppose 0 = -t + 4, y = 5*q + z*t - 4*t. Is 62 a factor of q?
False
Let s(o) be the first derivative of 5*o**2/2 + 41*o - 12. Is 21 a factor of s(17)?
True
Let g = 2158 - 1288. Is 7 a factor of (-21)/14 + g/4?
False
Let h(s) = 13*s - 292. Let k be h(25). Let u = 225 - 135. Suppose -k = -91*q + u*q. Is q a multiple of 23?
False
Let l(g) = -1219*g - 2128. Does 8 divide l(-5)?
False
Let g(h) = -h**2 - 19*h - 6. Let k be g(-19). Let j(o) = -11*o + 26. Let w(x) = 12*x - 27. Let t(r) = k*w(r) - 7*j(r). Does 20 divide t(12)?
True
Let q(m) = -m**3 + 13*m**2 + m - 8. Let z be q(13). Suppose 3*n = -3*j + 12, -4*j - 43 = -6*j + z*n. Is 8 a factor of 965/j - -5*10/(-225)?
False
Let a be (-2)/(-4)*(-2 - -364). Suppose -5*b - 2 = -y, -5*y + 2*b - b + 34 = 0. Suppose 0 = -y*v + 650 - a. Is v a multiple of 16?
False
Suppose 5*g = -3*p + 1810, -2*p - 2*p + 4*g = -2456. Suppose -4*x + k = -2*k + p, -4*x = -k + 606. Let i = -81 - x. Does 14 divide i?
True
Suppose -5*a + 9972 = -c, -2*c - 9974 = -78*a + 73*a. Is 5 a factor of a?
False
Suppose 45*i + 4*h = 41*i + 42288, -4*i + 42282 = 5*h. Is i a multiple of 43?
True
Suppose 35*u = -5*u + 320. Let t(w) be the first derivative of w**4/4 - 7*w**3/3 + w**2/2 + 3*w - 2. Is t(u) a multiple of 25?
True
Let i(a) = 98 - a - 2*a - 38. Let k be i(18). Is (k/(-5))/(12/(-2610)) a multiple of 14?
False
Let z(v) be the first derivative of -v**3/3 - 7*v**2/2 + 2*v + 26. Let p be z(-7). Is (-11 + 3)*-2*p*3 a multiple of 12?
True
Suppose -81 + 85 = 4*x. Is (-5)/10 + x/(-2) + 116 a multiple of 9?
False
Suppose 4*z = 3*s + 120241, z + 2*s + 1638 - 31723 = 0. Is 12 a factor of z?
False
Let m = -437 - -441. Is (1558/57)/(m/90) a multiple of 41?
True
Let p(j) = -4*j + 43. Let t be p(0). Let r = -34 + t. Let d(i) = i**2 - 8*i + 14. Is d(r) a multiple of 7?
False
Is (-26)/(-52)*-415122*2/(-6) a multiple of 43?
True
Is 13 a factor of 3 - ((11 - -1) + -510)?
False
Let z(d) = -d**3 + 8*d**2 - 9*d - 11. Let t be z(3). Suppose -t*s = 2742 - 3890. Does 5 divide s?
False
Let o be 4*(33/12 + 1 + -4). Let i(w) = -442*w**3 + 2*w + 2. Is 26 a factor of i(o)?
True
Does 45 divide ((-24)/(-20))/(6 + (-529628)/88275)?
True
Suppose -5*v - 2608 = -9*v. Does 71 divide 6/(-9) - v/(-6)?
False
Does 59 divide -1*(-3990 + -2) + 213/71?
False
Suppose 74*p - 429108 = -42*p + 932616. Does 39 divide p?
True
Let u be 1 + (-3 - -3 - 1). Suppose 3*o - 15 = -u. Suppose 4*t = 3*v - t - 34, o*t = 4*v - 47. Is v a multiple of 12?
False
Suppose -7*c - 73 = -290. Suppose -29*i = -c*i - 116. Is 13 a factor of (i + 5)/(0 + -1)?
False
Let z = 4281 + -995. Is 62 a factor of z?
True
Let h = -5761 + 8450. Does 75 divide h?
False
Suppose 16*n = 6*n + 40. Suppose g + 26 = -3*h + 93, -n*g - 5*h = -282. Is g a multiple of 11?
False
Suppose 0 = 37*m - 39*m + 2180. Let x be (-1)/(m/(-365) - -3). Let b = -36 - x. Is b a multiple of 7?
False
Let t = 56 - 0. Suppose 0 = -7*k - 0*k + t. Suppose 3*d - 3*s = k*d - 735, s - 293 = -2*d. Does 12 divide d?
True
Let u(z) = 4*z**2 + 225*z + 219. Let r(g) = -2*g**2 - 115*g - 109. Let h(a) = -7*r(a) - 4*u(a). Is h(-39) a multiple of 25?
True
Let w = -177 + 179. Suppose 4 = w*s, 3*s - 604 = -2*o + 62. Is 31 a factor of o