). Is (-160)/(-8)*(-12)/w a multiple of 21?
False
Let n(s) be the third derivative of 25*s**5/12 + s**4/8 - s**3/3 - 3*s**2 - 21*s. Is n(1) a multiple of 42?
True
Let f(c) = 4*c**2 - 18*c + 22. Let u be f(3). Suppose 5*t + o - 988 = 0, -552 + 148 = -2*t + u*o. Is 33 a factor of t?
True
Suppose 0 = -v + 4, 4*v = q - 3 + 24. Does 4 divide ((-102)/q)/(18/45)?
False
Suppose 35*v + 58 = 64*v. Let n(c) = c - 1. Let s be n(6). Suppose -v*b = -5*i - 93, -b - s = -2*i - 53. Does 9 divide b?
True
Is (-31)/((-713)/186231)*((-5)/3 + 2) a multiple of 138?
False
Is (3 + -31)*((-3894)/12 + -9) a multiple of 38?
False
Let w = -7433 - -11019. Is (4/14)/(-1) - w/(-7) a multiple of 20?
False
Let q be (76/(-24))/(3/18). Let l(i) = 3*i**2 + 53*i - 11. Does 13 divide l(q)?
True
Suppose -10*j - 80 = -12*j. Is 28 a factor of (-6)/(-4) - (-24580)/j?
True
Let z(x) = 1016*x + 652. Does 90 divide z(13)?
True
Suppose l + 2*a = -3, -1 = -l + 3*a + 11. Suppose -2*x + 38 + 174 = 0. Suppose -4*b + x = l*u + 2*u, 122 = 4*b - 3*u. Is 15 a factor of b?
False
Let d = 3398 + -3353. Let x = -41 - -80. Let a = x + d. Does 21 divide a?
True
Let x(h) be the first derivative of -h**4/4 + 3*h**3 + h**2 - 4*h + 18. Let s be x(9). Does 7 divide s/(-4)*2/(-1)?
True
Let p be 1700/102 - ((-8)/(-6))/(-4). Suppose -d + 63 = 3*x + p, -4*x - 86 = -3*d. Does 3 divide d?
False
Let i be 1356/2 - (-23 + 9 + 10). Suppose 4*t = -82 + i. Is t a multiple of 30?
True
Let p(z) = -15*z - 215. Let w be p(-15). Suppose w*a = 14*a - 2964. Is 13 a factor of a?
True
Suppose 3*a + 4*y + 146 = 0, -y = a - 5*y + 70. Let n = -13 - a. Let s = -6 + n. Is s a multiple of 15?
False
Let a(h) = -h. Let r(g) = -4*g**2 - 20*g - 34. Let x(f) = -4*a(f) - r(f). Let d(n) be the first derivative of x(n). Is 30 a factor of d(12)?
True
Let t = 41642 - 20682. Is 160 a factor of t?
True
Suppose -190*q - 684 = -184*q. Is 1*q*(-1)/2 a multiple of 3?
True
Suppose 4658 = 4*d + u, -3991 - 665 = -4*d - 2*u. Let g = 16 - 13. Suppose -j - 7*o + g*o = -233, -5*j - o = -d. Is j a multiple of 21?
False
Let s be (-4)/(-10) - (-7)/((-35)/12). Is (-5 - (3 + s))/((-3)/122) a multiple of 14?
False
Suppose 1358*o - 530640 = 1322*o. Is 13 a factor of o?
False
Let a(h) = 52 + 61 + 13*h**2 - 40*h - 14*h**2. Is 18 a factor of a(-22)?
False
Suppose 0 = -8*y - 7008 - 2272. Let q = -746 - y. Is 18 a factor of q?
True
Let o = -1017 + 3107. Is o a multiple of 55?
True
Let t(x) = 4*x**3 - 116*x**2 + 48*x + 36. Is 28 a factor of t(29)?
True
Let z = 221 - 120. Let c = z - -89. Is 38 a factor of c?
True
Suppose -9*o = -1229 - 6565. Let u = o - 491. Is 22 a factor of u?
False
Let n(w) = -20*w - 24. Suppose 9*f = -122 - 4. Is n(f) a multiple of 15?
False
Let a be ((-16)/20)/((-4)/50). Let t = -10 + a. Suppose t = 4*q + 13 - 229. Is 18 a factor of q?
True
Let c(y) = -y**3 + 6*y**2 - 7. Let i be 22/88 + (0 - 23/(-4)). Let s be c(i). Let q = 201 + s. Does 13 divide q?
False
Suppose 32*z - 12 = 26*z. Let o(h) = 47*h**2 + 10*h + 2. Is 30 a factor of o(z)?
True
Suppose 0 = 4*o - 4*r - 183468, o - 11*r = -13*r + 45852. Is 23 a factor of o?
True
Suppose 29*h - 10365 = 31917. Does 6 divide h?
True
Let j(n) = 414*n + 72. Let o be j(4). Suppose -6*x = 2*x - o. Does 6 divide x?
True
Suppose 54 = -235*s + 244*s. Suppose -5*d + 1389 = 8*p - s*p, -3*p + 270 = d. Does 5 divide d?
False
Let j be -75 - (3 - (24/6)/2). Is 1 + 12/4 - (j + 2) even?
True
Let n be (14 - -1)/5 - 98. Let x = n + 95. Suppose -2*p + 8 = x, 160 = m - p + 5*p. Is m a multiple of 16?
True
Suppose 4*s - 2*u - 15636 = 0, 131*s - 134*s - 3*u + 11709 = 0. Is s a multiple of 17?
False
Let u be 10/(-12) - (-2)/(-12). Let y be (-16)/(-10) + u + 2296/40. Suppose -y = -2*q + q + 5*i, -q + i + 50 = 0. Does 21 divide q?
False
Let j be 58/10 + (2/(-10))/(-1). Suppose -5*i - 4*x = -550, 9 + j = -3*x. Is (i - 1) + (7 - 3) a multiple of 39?
True
Let n(i) = -351*i - 3491. Is n(-41) a multiple of 50?
True
Let o = 19942 + -8114. Does 9 divide o?
False
Let l be 7 - (-599 - -3) - -8. Let o = l - -18. Is o a multiple of 5?
False
Suppose 0 = 2*b - 4 + 12, -3*h + 1760 = -2*b. Let i = h - -32. Is i a multiple of 14?
True
Let j(v) = 7*v**2 - 11*v + 16. Let k be j(2). Does 55 divide (21 - k)/(2/(-770))?
True
Suppose 2*i - 4646 = f, 16*i - 13*f - 2398 = 15*i. Is 16 a factor of i?
True
Suppose -399755 = -37*r - 41891. Is 254 a factor of r?
False
Let b = -100 - 555. Let x = -366 - b. Suppose 0 = -7*t + x - 58. Is t a multiple of 10?
False
Suppose -46*v - 3024 = -55*v. Suppose 5502 = 9*u + v. Is u a multiple of 95?
False
Let p(n) = -12*n**2 + 33*n + 18. Let x be p(-9). Let w = -855 - x. Does 33 divide w?
True
Is 22 a factor of ((-863)/3)/(635/1650 - (-2)/(-5))?
True
Let l(h) = -13*h**3 + 3*h**2 + 3*h + 3. Let t be l(-2). Suppose 0*r = -61*r - 61. Does 15 divide t*1 - r/(6/(-12))?
False
Does 11 divide -1 + ((-20)/(-40))/(2 + 16908/(-8456))?
True
Suppose 35 = 27*f - 26*f. Let i = -38 + f. Let v(k) = -k**3 + k**2 + 2*k. Is v(i) a multiple of 6?
True
Let l(x) = -x**3 - 3*x**2 - x + 2. Let f = -40 - -38. Let b be l(f). Suppose -2*a = -2*w - 7*a + 87, -w - 4*a + 48 = b. Is w a multiple of 9?
True
Let f be 0*(3 + (2 - (-48)/(-9))). Suppose 0 = q - f*q - 37. Let x = -10 + q. Does 8 divide x?
False
Let f(k) = 4*k**2 + 61*k - 22. Let o be f(-25). Suppose 7*a - o - 1343 = 0. Does 45 divide a?
False
Suppose -3*s = 16*a - 39177, -5*s = -4*a - 0*s + 9777. Is 8 a factor of a?
True
Let i = 15870 - 9415. Does 62 divide i?
False
Is (-42)/(2 + -16) + 40/(-2)*-248 a multiple of 12?
False
Suppose a - 84 + 81 = 0. Suppose d + t = -a*d + 5780, d - 1462 = 4*t. Suppose -6*z + d = 486. Is z a multiple of 17?
False
Let s = 252 - 247. Suppose 3*t + 5*n - 162 - 59 = 0, s*t = 3*n + 357. Is 36 a factor of t?
True
Suppose 6*g + 185 + 151 = 0. Let j be (-14 - -10)/(2/g*2). Suppose -52 = -w + j. Is 18 a factor of w?
True
Let b = 312 + -315. Let s(n) = -3*n**3 + 7*n**2 + 10*n - 5. Is s(b) even?
False
Suppose -2161 = -5*x - z + 155, x - 438 = 4*z. Does 5 divide x?
False
Suppose 4*z - 106 = 2*w + z, -3*w = -2*z + 149. Let j = w - -51. Suppose 150 = n + j*n. Is n a multiple of 11?
False
Suppose -2*s = c - s - 663, 5*c = s + 3327. Let b = 959 - c. Does 49 divide b?
True
Let r = 2457 + -2357. Does 25 divide r?
True
Suppose 53*o - 43*o = 29*o - 211850. Is o a multiple of 35?
False
Let a = 37 - 36. Let o(y) = 1 - 5 - a + 15*y - 1. Is o(3) a multiple of 13?
True
Suppose 19*k - 68 = 2*k. Suppose 16 = d - v, k*v + 5 = 9. Is d a multiple of 17?
True
Suppose 5*x + 28 - 180 = 148. Is 2 a factor of x?
True
Let d = 26722 - -3418. Is 22 a factor of d?
True
Let k = 31 + 36. Let t = k - 30. Suppose -l + t = 17. Is 14 a factor of l?
False
Suppose -7*q + 552 = -547. Let r = q + -50. Let b = r - 62. Is 15 a factor of b?
True
Let d = -52970 - -75016. Is 10 a factor of d?
False
Let t(j) = j**3 - 2*j**2 - 9*j + 6. Suppose -w + 2*w = 4. Let g be t(w). Suppose -g*h - 6*a + 20 = -2*a, -a = 2*h - 26. Does 7 divide h?
True
Let x(c) = 7*c - 4. Let f be x(5). Suppose -4*g - 2*h = -111 - f, h = 2*g - 77. Let t = 64 - g. Is t a multiple of 9?
True
Suppose 6 = 2*l - 4*y, 2*l + 5*y + 7 = 5*l. Let u = l - -95. Suppose -2*z + 24 + u = 0. Is 6 a factor of z?
False
Suppose -12*y + 14*y = -42. Let q(t) = -t**3 - 20*t**2 - 3*t - 68. Is q(y) a multiple of 8?
False
Let f(q) = -9*q**3 - 10*q**2 + 30*q + 6. Let w be f(4). Let n = 639 + w. Is 4 a factor of n?
False
Suppose -41*n + 391219 + 576627 = 0. Is 319 a factor of n?
True
Let c = 92 + -90. Suppose 6*m = -c*m - 24. Is (m/(-6) - -2)*104 a multiple of 47?
False
Suppose -4*q = 4, -9*m + 4*m + 64 = -4*q. Let o(b) = b. Is 3 a factor of o(m)?
True
Let u = 164 - 157. Suppose -19*n = -u*n - 5712. Is n a multiple of 34?
True
Let y(k) = 6*k**2 - 39*k + 498. Is 13 a factor of y(16)?
False
Let s(o) = 2*o**2 + 32*o - 236. Is 9 a factor of s(16)?
False
Suppose 0 = 23*d - 128*d + 1959510. Does 59 divide d?
False
Let c(h) = -h**2 + 11*h - 22. Let a be c(8). Suppose 3*k + a*n - 5 = -3*n, -2*k = 5*n. Suppose -4*x + k*x - 163 = 3*z, 5*x - 804 = 4*z. Does 16 divide x?
True
Let z = 3385 - -2286. Is z a multiple of 26?
False
Let u = -15991 - -26906. Is 29 a factor of u?
False
Suppose 5*m = 4*y - 177846, 741*y - 739*y = -m + 88944. Does 27 divide y?
True
Let x be 875/(-20) + 24/32