 - 7*y**2/2 + 47*y - 1. Is t(14) a multiple of 7?
True
Let w(y) = 354*y**2 - 28*y + 18. Does 5 divide w(4)?
True
Suppose 0 = -49*m - 4*m - m + 113886. Is m a multiple of 3?
True
Let r = -4987 + 7193. Is r a multiple of 16?
False
Let g be (1 - 1) + (-29)/1. Let k = g + 24. Let o = 19 + k. Is o even?
True
Let n = 770 + 878. Is 16 a factor of n?
True
Let c be (-3 + 156/6)*-7. Let p = 406 + c. Does 27 divide p?
False
Let p = -293 - -58. Let j be 38/(-57)*(-500 + -1). Let z = j + p. Is 9 a factor of z?
True
Suppose 144 = 7*t + 17*t. Is 13 a factor of (52/t)/(((-80)/375)/(-8))?
True
Let u(o) = 29*o**2 - 20*o + 8. Let t = 551 + -555. Does 41 divide u(t)?
False
Let f(j) = 19 + 9*j**2 - j**3 - 7*j + 21 - 17. Does 3 divide f(7)?
True
Let q be 3 + 48/(-72)*(-9)/(-2). Suppose -3*b - 546 + 918 = q. Does 13 divide b?
False
Let h be ((-18)/(-5))/(4/10). Let m(o) = 9*o**2 + 53*o + 108. Let z be m(-9). Suppose h*f = 6*f + z. Does 7 divide f?
False
Suppose n - s - 1 = 0, 2*n - 5*s - 1 = -2. Suppose 15*h - 660 = 12*h + 3*v, -n*v = 4. Is 40 a factor of h?
False
Suppose 10*h = -h + 671. Let k = h + -61. Suppose -a + 32 = 3*c - k*c, 4*a - 5*c - 60 = 0. Does 3 divide a?
False
Suppose 2*t - 29 = -5*m, -3*m - 3*t = -7*m + 37. Suppose j = m - 5. Suppose 5*s + 211 = 4*u - 0*s, -95 = -j*u - s. Does 5 divide u?
False
Let y(j) = j**2 - 6*j - 1. Let t be y(6). Let r be t/((1/8)/((-6)/(-24))). Let p(q) = -9*q**3 + q**2 - 1. Is p(r) a multiple of 15?
True
Suppose 0 = -124*w + 1049258 + 929534. Is 53 a factor of w?
False
Let f(b) = b**3 - b**2 - 5*b + 2. Let w be f(3). Let n = -5 + w. Suppose 0 = 8*j - n*j - 672. Does 7 divide j?
True
Suppose 14*z - 9*z = 40. Suppose -z*r + 19*r = 396. Suppose 3*n - 387 = 2*i, 5*i = 4*n + r - 552. Is n a multiple of 43?
True
Let v = -78358 - -118138. Is 39 a factor of v?
True
Let m(u) = 3*u**2 + 46*u - 585. Is 20 a factor of m(-45)?
True
Suppose -5*r + 433*z = 435*z - 5066, 0 = 2*r + 3*z - 2022. Does 26 divide r?
True
Let j(u) = -70*u - 902. Does 26 divide j(-27)?
True
Suppose -2*y - 23 = -2*h + 3*y, 2*y + 6 = 0. Let q(p) = h - 8 - 104*p + 55*p. Is 16 a factor of q(-2)?
False
Let d = 11294 - 9408. Is d a multiple of 2?
True
Let y(c) = 79*c**2 + 113*c + 909. Is y(-9) a multiple of 15?
False
Let u(l) = l**3 - 8*l**2 + 5*l + 2. Let w be u(7). Let i = 20 + w. Let y = 49 + i. Is 19 a factor of y?
True
Does 23 divide (((-2)/4)/((-15)/(-30)))/((-6)/4890)?
False
Suppose 3*t + 18 = 0, 2*i - 2*t - 3424 = 116. Is i a multiple of 6?
True
Suppose -4*o - 8 = 0, -o = -h - 1 + 174. Suppose -2 = m + 3, 2*v = 3*m + h. Does 13 divide v?
True
Let b(i) = -i**2 + 7*i + 1. Let u = -2 + 13. Suppose -14*a = -u*a - 15. Does 5 divide b(a)?
False
Suppose 4*q - 48844 = 3*t, 2*q = -11*t + 15201 + 9171. Is 58 a factor of q?
False
Let m(t) = t**3 - 18*t**2 - 40*t + 2. Let g be m(20). Suppose 0 = -g*j - 8 + 44. Is j a multiple of 6?
True
Let p be 136/(-12)*(-126)/16*20. Let v = -897 + p. Is 12 a factor of v?
True
Suppose 12226 = 96*a - 94*a. Suppose 29*v + a - 21889 = 0. Is 68 a factor of v?
True
Let v(o) = -12*o + 164. Let d(c) = 3*c - 1. Let h(w) = 2*d(w) + v(w). Is h(18) even?
True
Let m(i) = -1 - 7*i**3 + 5 + 6*i**3 + 6*i**2 - 5*i. Let a be m(5). Does 3 divide 27 + (-3)/(-12)*a?
False
Suppose t + 34*t - 102396 = -7*t. Is t a multiple of 9?
False
Let g(k) = 2*k**3 - 18*k**2 - 9*k - 15. Let h be g(11). Let p be 2 + (h/(-130) - 2/13). Is 159 + 26 + (p - (-5 + 0)) a multiple of 27?
True
Let d(s) be the first derivative of 4*s**3 + 2*s**2 + 16*s + 551. Let p(v) = v**2 + 3*v - 4. Let q be p(-3). Does 32 divide d(q)?
True
Let r = -30 - -39. Suppose 0 = -r*n + 4*n - 90. Let h(s) = -7*s + 26. Is h(n) a multiple of 38?
True
Let o = 3323 - 2283. Is 8 a factor of o?
True
Let k be (-1)/((-60)/189 + (-9)/(-27)). Let l = 62 - k. Is 7 a factor of l?
False
Let g(q) = 115*q - 1450. Does 9 divide g(26)?
False
Let q(i) = 52*i**2 - 4. Let u be 0 - 3 - (10 + -29). Suppose 8*s - u = -0*s. Is 34 a factor of q(s)?
True
Let i be (-4)/(-18) - (-128)/(-9). Let o(j) = 14*j + 46. Let p be o(4). Let h = i + p. Is h a multiple of 11?
True
Suppose -1346*d - 68290 = -1348*d - 5*b, b - 34133 = -d. Is 15 a factor of d?
True
Let q(a) = -a**2 + 6*a - 5. Let d be q(5). Suppose x + d*x = 68. Suppose -2*s + x = h + 2*s, 2*h - 3*s = 81. Is h a multiple of 16?
True
Suppose -2*h - 30*d + 25*d = -10245, -2*h - 2*d = -10248. Is h a multiple of 41?
True
Does 38 divide -25 + 14 - (-2468 - -1)?
False
Does 62 divide (26/(-312)*548)/(1 - (-374)/(-372))?
True
Let s = -13 - -16. Suppose -3*t + 99 = l, 233 = s*l + t - 88. Is l a multiple of 36?
True
Let m be ((220/(-6))/10)/(1/75). Let b = 359 + m. Is b a multiple of 6?
True
Suppose -3*o - 2623 = -5*o - 5*n, 5*o + 4*n = 6600. Suppose -5*j = 3*f - 343 - 445, 0 = 5*f + 3*j - o. Does 14 divide f?
True
Let t be 119*(2 + 7/(-7)). Is 31 a factor of (-186)/1*(t/(-14) - -6)?
True
Let u(r) = 8*r**2 + 54*r - 1486. Let f(b) = 3*b**2 + 18*b - 494. Let a(k) = 11*f(k) - 4*u(k). Does 34 divide a(0)?
True
Let g(y) be the third derivative of y**6/120 + y**5/5 - y**4/8 - 11*y**3/6 - 2*y**2 + 2. Does 24 divide g(-5)?
False
Suppose 3*m + m - 1605 = 3*d, 4*m = -5*d + 1581. Let p = m + -123. Does 6 divide p?
True
Let y(l) = -4*l + 34. Let b(g) = -1. Let u(d) = -5*b(d) + y(d). Let t be u(10). Does 23 divide t/(-1*(-1)/(-106))?
False
Let p(k) = k**3 + 5*k**2 - 8*k + 5. Let o be p(-6). Let j = -11924 - -15660. Suppose -o*w + j = 676. Does 20 divide w?
True
Let p(r) = -26 + 25*r + 31*r**2 + r**3 + 0*r**3 - 2*r**3 + 7. Is 42 a factor of p(31)?
True
Let o(g) = 34*g. Let m be o(2). Let t(d) = -24*d**3 + 2*d**2 + 3*d - 6. Let c be t(1). Let p = c + m. Does 10 divide p?
False
Let i(y) = -4*y - 3. Let l be i(-2). Suppose l*h = -3*p + 742 + 1289, -4*h = 2*p - 1626. Does 51 divide h?
True
Suppose 11*n - 8651 = 5913. Suppose -2*u - 50 = -n. Is u a multiple of 13?
True
Suppose -2*t - 215 = -197. Suppose -2*d = 2*n - 24, -6*d = -2*d + n - 36. Does 3 divide (d + -2)*(t + 11)?
True
Does 54 divide ((-56)/10)/((-16)/23440)?
False
Let r = 111 + -108. Suppose 4*j - 20 = 0, q - 216 - 555 = -r*j. Does 28 divide q?
True
Suppose x + 2*b = 63 + 20, -5*b + 68 = x. Is 3 a factor of (-30)/(-20) - (x/(-2))/1?
True
Suppose 143*u = 150*u + 1239. Is 22 a factor of 0 - (-1 - -2) - (u - 0)?
True
Let l = -1963 - -13939. Is 9 a factor of l?
False
Let d = -1 + -19. Let u be (d/(-8) - 1/(-2)) + 2. Is 548/u + 9/((-225)/(-10)) a multiple of 10?
True
Let i = 56832 - -21278. Is 107 a factor of i?
True
Let g(l) be the first derivative of l**3/3 - 7*l**2/2 - 2*l - 8. Let w be g(7). Does 18 divide (-9 - -11)/(w/(-113))?
False
Let q(o) = 420*o**2 - 16*o + 46. Let f be q(3). Suppose -21*i + 1577 = -f. Is 15 a factor of i?
True
Let x = -10 - -60. Is (-30)/x - 2023/(-5) a multiple of 16?
False
Let q(p) = p + 4. Let t be q(27). Suppose -2000 = -t*i + 21*i. Is 25 a factor of i?
True
Suppose -120*n - 108*n - 2940 = -240*n. Is n a multiple of 10?
False
Suppose h = -3*s - s - 93, -5*s = -4*h - 267. Let u = h + 81. Suppose -u*n + 324 = -508. Is n a multiple of 13?
True
Let n = 69 - 68. Let o(z) = -3*z + 3. Let q be o(n). Suppose q = -a + 5*x + 66, 4*a - 216 = -x - 3*x. Is a a multiple of 7?
True
Let o(b) = 4*b**3 + 50*b**2 + 60*b - 63. Let v = 29 - 34. Let s(t) = -3*t**3 - 33*t**2 - 40*t + 42. Let n(k) = v*o(k) - 7*s(k). Is 21 a factor of n(20)?
True
Let k(j) be the second derivative of -j**4/12 + 11*j**3/2 + 33*j**2 + 4*j + 4. Is k(33) a multiple of 47?
False
Suppose -5*n + 4*c = 6, -3*n = -11*c + 15*c + 10. Let t(y) = -y**2. Let j(x) = -39*x**2 - 4*x - 1. Let z(k) = -j(k) - 4*t(k). Does 33 divide z(n)?
True
Let v(y) = -y**3 + 40*y**2 + 94*y - 72. Does 47 divide v(36)?
False
Let b(a) = 13*a - 130. Let m be b(10). Suppose 5*k + 5*v - 100 = -m*v, -k - 3*v + 22 = 0. Is 4 a factor of k?
False
Let o = -14898 - -21417. Does 26 divide o?
False
Let b(k) = k**3 + 17*k**2 - 26*k + 60. Is 10 a factor of b(-15)?
True
Suppose 0 = -r + q + 6325, 240*r = 236*r - 3*q + 25300. Is 115 a factor of r?
True
Let k = 1001 - 895. Let u = 1817 - k. Does 59 divide u?
True
Let d = 2681 + 899. Is 20 a factor of d?
True
Suppose 32*y - 9289 = -137. Is y a multiple of 31?
False
Let h(k) = -5*k**2 + 6 - 3*k + 0*k**2 + 5 - k**3. Let l(f) = f**2 + 8*f - 184. Let p be l(10). Is 2