**3 - 11*d**2 + 2*d + 11. Let l be c(-11). Let a(z) = -z**3 - 11*z**2 + z + 13. Let s be a(l). Suppose 0 = -s*v + 22 + 14. Does 15 divide v?
False
Let r = 128 + -152. Let o(j) = -j**3 - 26*j**2 - 46*j + 49. Let a be o(r). Is 2 a factor of (105/(-10) + 9)/(a/(-14))?
False
Suppose -3*m + 4*r + 338 = -2*m, -5*m + r = -1671. Let l be (258/9)/((-2)/6). Let w = l + m. Is 19 a factor of w?
False
Suppose 2*g + 4*u + 50 = 5*u, 2*g + 62 = 4*u. Let o = g + 27. Suppose -9*t + o*t = -655. Is 47 a factor of t?
False
Let n be (-43)/(-4) + 13/52. Suppose -n*u + 13*u - 168 = 0. Suppose 4*i - 76 = 5*x - 10*x, 4*i - u = -3*x. Does 10 divide i?
False
Suppose 35 = 3*i + 2*i. Suppose -4*g = 3*k, 0*g + 2*g + k = 2. Suppose 239 = 2*n + 3*x, i*x = g*x + 20. Does 28 divide n?
True
Suppose 0 = 2*a - 8 + 16. Let n be (3 - (-10)/a)/((-1)/(-8)). Is 8 a factor of (149/(-3))/(n/(-12))?
False
Suppose 8*w = -3*w - 9*w. Suppose -2*s = 3*a - 1052, w*s = 3*a - 2*s - 1060. Is 16 a factor of a?
True
Suppose 0 = -23*n + 12*n. Let j be n*2*(-1)/(-4). Suppose j = -8*s + 681 + 359. Does 13 divide s?
True
Let y = -10608 + 17795. Is y a multiple of 12?
False
Let y be 82/(-6)*39 - 4. Let r = -122 - y. Is 16 a factor of r?
False
Let p = -3377 + 3923. Is p a multiple of 13?
True
Let y(f) be the third derivative of -7*f**6/60 + f**5/60 + 29*f**2. Let z be y(-2). Is z/7 + 12/(-21) even?
True
Let v = 434 + -135. Suppose -1962 = -7*h + v. Is h a multiple of 5?
False
Let j = -9338 - -15701. Is 9 a factor of j?
True
Suppose -4*j - 3*y = -17232, -41*y + 21563 = 5*j - 43*y. Is 77 a factor of j?
False
Let x be 1*(-3)/(-18) - 8092/24. Let o = x - -740. Does 13 divide o?
True
Let n = -13986 - -24080. Is n a multiple of 3?
False
Suppose 0 = -2*a + 2*h - 0 + 4, 2*h + 16 = -2*a. Let y(z) = -19*z - 17. Is 6 a factor of y(a)?
False
Let t(c) = -c**3 - 10*c**2 - 5*c + 3. Let x be t(-8). Let i = 38 - x. Is i a multiple of 8?
False
Let i(l) = 12*l - 16. Let s = -39 + 50. Let n be i(s). Suppose -3*y - n = -5*u, -2*y = 3*u - y - 64. Is u a multiple of 22?
True
Let g(z) = -z**3 + 25*z**2 + z - 20. Let w be g(25). Suppose 14*f - 18*f - w*k + 36 = 0, 3*f + 2*k - 34 = 0. Is 14 a factor of f?
True
Is (-7165)/(-3) - (112/(-24) + 6)/(-2) a multiple of 8?
False
Let g = 75 + 4182. Does 12 divide g?
False
Let n(h) = -h**3 + 14*h**2 + 16*h - 10. Let d be n(15). Suppose 0 = 8*m - d*m + 198. Is 12 a factor of 2/((-6)/(-395)) - 22/m?
True
Let v(a) = -20*a**3 - 71*a - 315. Does 14 divide v(-5)?
False
Suppose 61135 = 5*n + 4*y, -24467 = -2*n - y + 2*y. Is n a multiple of 66?
False
Let j = -234 - -233. Does 6 divide 2 + j*2/1 + 18?
True
Let h be ((-2)/(-3))/(-6 - (-305)/51). Let f be -1 + (-135)/(-7) - h/(-119). Is (-21)/f*-3*28 a multiple of 14?
True
Let s(v) = -114*v + 206. Is s(-21) a multiple of 65?
True
Let h = -60 - -114. Suppose -k - 8*v + 4*v + 136 = 0, -3*k = v - 386. Suppose k = q - u - h, -2*q - 5*u + 357 = 0. Is q a multiple of 13?
False
Let y(g) = -87*g + 29. Let m be y(9). Let a = 463 + m. Let h = 456 + a. Is h a multiple of 15?
True
Suppose 0 = -3*h - 6, h + 11 = 2*c + 1. Suppose 0 = 3*g - v - 119, -c*g + 69 = -v - 91. Is g a multiple of 4?
False
Suppose -521 = -320*i + 321*i. Let r = i - -1357. Is 76 a factor of r?
True
Suppose 0 = 5*j + 2*r - 10664, -636*r = -3*j - 639*r + 6384. Is 11 a factor of j?
False
Suppose 0 = 65*z - 68*z - 5*c + 21523, 5*c = 3*z - 21533. Does 101 divide z?
False
Let n = -4751 - -5200. Does 7 divide n?
False
Suppose 0 = -55*s - 57033 + 881813. Does 236 divide s?
False
Let o(f) = 13*f**2 + 63*f + 81. Is 47 a factor of o(20)?
False
Suppose 0 = -12*t + 2*t. Suppose t = 3*n + 2*n. Suppose -6*r + 439 + 41 = n. Is r a multiple of 8?
True
Suppose 31*j - 238 = 14*j. Suppose -j*z + 3750 + 4020 = 0. Is z a multiple of 15?
True
Suppose -4*i = -4*g + 113387 - 47791, -i - 65593 = -4*g. Is 6 a factor of g?
True
Is 7/(98/51520) + 9 a multiple of 31?
True
Suppose -2*p = -p, t = p - 5*p + 1120. Is 9 a factor of t?
False
Let l = -11051 + 15923. Is l a multiple of 24?
True
Let k(x) = 92*x - 6. Let w be k(6). Suppose -55*m = -69*m - 4228. Let p = w + m. Does 55 divide p?
False
Suppose -11 - 2 = -w. Suppose 15*y - 72 = w*y. Does 19 divide 48/y + (112/6 - 1)?
True
Suppose -2*k - 5*x + 81 = 0, 5*k - 3*x - 218 = -0*k. Suppose 0 = -4*u + l - k + 218, -5*u + 3*l + 224 = 0. Is u a multiple of 43?
True
Suppose 4*c - 93614 = 2*h, 3*c + 10*h - 13*h = 70221. Is 79 a factor of c?
False
Let j(t) = -t**2 - 22*t - 58. Let d be j(-16). Is 14 a factor of (19/d)/(0 + 1/1022)?
False
Let u be 24 - (-4 - -3 - -3) - -3. Let z be (-307)/(-2) + (u/10)/5. Suppose 3*m - z = -4*m. Does 14 divide m?
False
Let m(v) = 9*v - 88. Let x be m(10). Suppose x*a - 21 = u, 2*a = -u - u + 30. Is a a multiple of 12?
True
Does 157 divide (176/384*66)/(4/2512)?
True
Suppose -4*y - 5*q + 60 = 0, 0*q = 4*y + 3*q - 60. Is -4 - (5/((-25)/y) + -97) a multiple of 21?
False
Let t = -609 + 614. Suppose -5*y + 3025 = -t*p, 4*y - 991 - 1449 = -p. Is 41 a factor of y?
False
Let g = 318 + -311. Suppose 0 = -g*k + 714 + 672. Does 18 divide k?
True
Suppose -11*h = -0*h - 4565. Let q = h + -137. Does 14 divide q?
False
Suppose 7*f - 14 = -21. Let w be (-269 - 5)*(0 + f)*1. Suppose 0 = -6*s + w + 230. Is s a multiple of 14?
True
Suppose -2*t + 0*z - z = -7492, -t + 3728 = -4*z. Does 26 divide t?
True
Let y(d) = 2050*d + 12900. Is 20 a factor of y(18)?
True
Suppose 0 = -97*r - 43*r + 15*r + 6750. Is r a multiple of 14?
False
Suppose -17 + 39 = -z. Does 11 divide (-3846)/z - -1*10/55?
False
Suppose -2*c = 3*g - 12, 2*c = 3*g - 0*c - 24. Let l be ((-69)/18)/((-1)/g). Let h = 47 + l. Is h a multiple of 10?
True
Let c = 36218 - 9799. Is c a multiple of 40?
False
Is 4351 - ((-4)/16 - (-1)/(12/15)) a multiple of 9?
False
Suppose -47*r = -43*r + 7*f - 53851, 26978 = 2*r - 4*f. Is 5 a factor of r?
True
Suppose -14*c + 105693 = -70483. Is 53 a factor of c?
False
Let q(h) = 12 + 4*h + 7*h - 4*h. Let i be 2/((-100)/(-45) - 2). Is q(i) a multiple of 14?
False
Suppose -14*o = -28*o - 1638. Is (o/(-5))/(5/125) a multiple of 39?
True
Let f = 24 + -16. Suppose -f*o + 26 = -38. Suppose o*s = 14*s - 480. Is s a multiple of 10?
True
Let o = 704 - 410. Let x = -129 + o. Does 8 divide x?
False
Let l(x) = -26*x**2 + 12*x**2 + 1 + 15*x**2 - 29 + 7*x. Does 7 divide l(-14)?
True
Let a(n) = -3*n + 78. Let o be a(24). Let c(y) = -y**3 + 6*y**2 - y - 3. Let q be c(o). Is q/(-3) - 19/((-114)/540) a multiple of 31?
True
Suppose -485*t + 586*t = 2592670. Is 170 a factor of t?
True
Suppose -3*c + 72468 = 3*v, -3*v + 2*c + 68163 = -4265. Is v a multiple of 25?
False
Suppose 0 = 5*a + 3 + 2, 3*a - 32 = -5*j. Suppose -3587 = -j*k + 1229. Suppose -8*c = -392 - k. Is 26 a factor of c?
False
Suppose 3*o = 2*o + 309. Let h = o - 195. Is h a multiple of 38?
True
Suppose -3*d + 3 = -b + 25, 5*b + 4*d - 148 = 0. Let z = 31 - b. Suppose u - 149 = -s, z*u - 2*s + 0*s - 427 = 0. Is u a multiple of 29?
True
Suppose 9*o - 33317 = 37765 + 27432. Is o a multiple of 14?
False
Let a be (107226/555)/(1*(-2)/10). Let c = -552 - a. Does 18 divide c?
True
Suppose 2*p + 5*z - 25 - 1 = 0, -2*z + 28 = 3*p. Let k = p - -49. Suppose g - 140 + k = 0. Is g a multiple of 11?
False
Let o(l) = -l**3 - 32*l**2 - 63*l - 94. Let h be o(-30). Is 75 a factor of (h + -1 - (-1 - 4)) + 225?
True
Let i(y) be the third derivative of -7*y**6/40 - y**5/60 - y**4/24 - 3*y**2 - 21. Does 14 divide i(-3)?
False
Suppose 4*c - 5*s - 5287 = 0, 3*s - 5327 = -4*c - 0*s. Suppose -14*q + c = -1444. Is q a multiple of 6?
True
Let c = 7231 + 6946. Does 15 divide c?
False
Let a = 1774 + -1244. Is (-5)/35 + (4 - a/(-35)) even?
False
Let k be (1 - 1)/(36 + -33). Suppose q + k*q = 3. Is q a multiple of 2?
False
Let b(l) = -2*l**3 + 72*l**2 + 5*l - 309. Let r be b(36). Suppose -5*i + 2*y - 167 = 0, 0 = 2*i - 4*y + 3*y + 67. Let s = i - r. Is s a multiple of 15?
False
Let d be (-22)/(-12) + (-1)/(-6). Let z = -9 + 92. Suppose z = n - 2*i, d*i - 167 = -2*n + 7*i. Is 28 a factor of n?
False
Let x(s) = -s**3 + s**2 - 5 + 4*s + 3*s - 2*s + 6*s**2. Let v(g) = -g**3 - 3*g**2 - 3*g - 3. Let p be v(-3). Is x(p) a multiple of 36?
False
Let o(w) = -1061*w + 3095. Is 7 a factor of o(-6)?
False
Suppose -y = -4*f + 215, 1 = y - 4. Suppose -48*h = -f*h + 504. Is h a mu