ose m = -0 + s. Does 3 divide m?
False
Let h(o) = -2*o**3 - 235*o**2 - 207*o + 750. Is 30 a factor of h(-117)?
True
Let s(b) = -3*b**2 - 2*b + 8*b + 2*b**2 - 16 + 2*b**2. Let d be s(-6). Let m = d + 52. Is 12 a factor of m?
True
Let n(t) = 5*t**2 + 117*t + 652. Is n(-46) a multiple of 39?
True
Let g = -55 - -69. Let o(s) = s**3 - 14*s**2. Let u be o(g). Suppose -v = -3*z + 3*v + 29, 2*z + 4*v - 46 = u. Is z a multiple of 15?
True
Let s(a) = a**3 + 3*a**2 + 5*a + 2. Let j be s(-3). Let v = 58 - j. Suppose -4*c + v + 69 = -4*z, 3*c - 109 = 4*z. Does 13 divide c?
False
Let u be (16/60)/2 - (-26)/30. Is 16 a factor of u/2*(1799 - (-13 + 4))?
False
Let a be ((-70)/(-4) + 0)*7296/285. Let s(d) = -462*d. Let v be s(-1). Suppose -a = -14*m + v. Does 22 divide m?
False
Let o = -71 - -77. Suppose 2*f + o*f = 8024. Is f a multiple of 75?
False
Let j be ((63/(-14))/3)/(3/(-46)). Let y = 329 + j. Is y a multiple of 44?
True
Suppose 62460 = -248*b + 268*b. Is 2 a factor of b?
False
Let d be (159/(-12))/(9/(-36)). Suppose -39*h - d = -755. Does 9 divide h?
True
Is 37 a factor of 0 - 18/(-6) - -5 - -1779?
False
Let o = 7658 + -807. Is 17 a factor of o?
True
Suppose 87*i - 90*i + 15 = 0. Let f = 2 + 0. Suppose i*x - 3 = 7, 66 = f*k - x. Is 17 a factor of k?
True
Suppose -7*q - 301 = -0*q. Let h = 41 + q. Is h*(-35 + -2) - (-1 + 0) a multiple of 15?
True
Suppose 2*d + 2*d = 48. Let w be (d - 11) + 0 + -1. Suppose -2*g = 3*f + g - 312, w = g - 2. Is 17 a factor of f?
True
Let k = -7072 - -9793. Does 27 divide k?
False
Let p(o) = 2*o**2 - 18*o - 30. Let n be p(28). Suppose 5*r = 2*v + n, r + 7*v = 3*v + 220. Is r a multiple of 15?
False
Let v = 3 - 1. Suppose 5*r = -4*x + 777, -2*x + 157 = -v*r + 475. Suppose 4*j - 685 = -r. Is j a multiple of 22?
True
Suppose -3*k - 3 = 0, -3*i - 11*k + 10*k - 115 = 0. Let d(b) = -b**3 + b**2 + 2*b + 2. Let z be d(-4). Let p = z - i. Is p a multiple of 28?
True
Let o be 39762/90 - (-4)/(-5). Let u = -429 + o. Is u a multiple of 7?
False
Let j = 13347 + -10626. Is j a multiple of 3?
True
Suppose -2*a + v = 5, -3*a - 4 - 3 = -v. Let p be (-1 + a)/(9/(-114)). Suppose -2*s - 2*s + 31 = -q, 2*q + p = 5*s. Is 3 a factor of s?
False
Let r(s) = s + 24. Let a(o) = -12*o - 107. Let y(q) = 2*a(q) + 10*r(q). Suppose 0 = -b - 0 - 5. Is y(b) a multiple of 12?
True
Let d(h) = -2076*h - 1733. Is d(-4) a multiple of 6?
False
Let i(p) be the first derivative of -p**3/3 + 30*p**2 + 73*p - 3. Is i(44) a multiple of 17?
False
Let g(r) = -4*r - 3 - r**3 - 22 + 4 + 13*r**2 - 11*r. Is g(9) a multiple of 56?
True
Let b = -31715 + 44634. Is b a multiple of 8?
False
Suppose -4*c + 7*c = 135. Suppose 9*r - 18*r + c = 0. Is 3 a factor of r?
False
Let f = 77 - 73. Let k be 14/f*(6/(-14) + 1). Let s(v) = 6*v**3 - v**2 + 3*v + 1. Does 8 divide s(k)?
False
Let d = -841 + 846. Suppose 1289 = -d*f + 4*o + 4721, -5*f + 3417 = o. Is 12 a factor of f?
True
Let i(w) = 4*w**3 + 5*w**2 + 2*w - 24. Let c be i(-6). Let o = 1204 + c. Is o a multiple of 44?
True
Let b(m) = 13*m**2 - 14*m - 60. Let o(j) = -9*j**2 + 9*j + 40. Let c(g) = -5*b(g) - 7*o(g). Let t be c(9). Let l = t - -127. Is l a multiple of 24?
True
Suppose 0 = -3*h - 456*m + 454*m + 96604, -3*h - 5*m + 96601 = 0. Is h a multiple of 199?
False
Let s(f) = 0*f**3 + 3*f - 3*f**2 + 2*f**3 - 2 - f**3. Suppose 2*k + 0*k - 2 = 0, 5*h = 4*k + 16. Is s(h) a multiple of 5?
False
Suppose 5*s + 28*h = 26*h + 65137, -5*h = 5*s - 65125. Is 57 a factor of s?
False
Is (-197361930)/(-2350) - 2/(-10) a multiple of 116?
True
Let y be 1 - (-1 + 2*1). Suppose -115*r + 17908 = 1578. Suppose y*d = -2*d + r. Is 4 a factor of d?
False
Let m = 19684 - 8804. Is m a multiple of 8?
True
Let a(x) = -513*x + 0 + 1 + 466*x. Is a(-2) a multiple of 48?
False
Suppose 4*y = -134 + 110. Is 55 a factor of y/(-4) - 6980/(-40)?
False
Let i be (-1)/7 - ((-6000)/56 + -11). Let b = i + -38. Is 8 a factor of b?
True
Suppose -82*v + 24*v + 377841 = -439785. Is v a multiple of 12?
False
Let m be ((150/(-9))/5)/(8/(-12)). Is (m/(-4))/((-35)/(-40) - 1) a multiple of 10?
True
Let n(j) = -j**2 + 13*j + 27. Let w be n(7). Suppose -2*v = w - 139. Is v a multiple of 6?
False
Let m = -12300 + 44413. Is m a multiple of 120?
False
Let q = 446 + 5481. Does 175 divide q?
False
Let w = 658 + -386. Suppose 33*a = 32*a + w. Does 16 divide a?
True
Let h(i) = i + 1. Let b be ((-3)/(-15))/(2/10). Let p(r) = -13. Let t(z) = b*p(z) + 2*h(z). Does 4 divide t(8)?
False
Let n(s) = 678*s + 78. Let p be n(4). Is 9 a factor of (1/(-2))/((-5)/p)?
True
Suppose -2*s + 3*m = 105, 2*m - 3*m + 51 = -s. Let y = -38 - s. Suppose 712 = -y*z + 14*z. Is 31 a factor of z?
False
Suppose -4*n = -5*d - 30471 - 10719, 0 = -4*d + 8. Is n a multiple of 20?
True
Let r = 49 + -51. Let x be -5*(-1)/(-1)*r/10. Let f(v) = 185*v**3 - 2*v**2 + 7*v - 6. Is 51 a factor of f(x)?
False
Suppose 1013*s + 4800 = 1019*s. Does 50 divide s?
True
Let x(s) = 1439*s - 15968. Does 126 divide x(16)?
True
Let q(a) = 18*a**2 + 17*a - 819. Is q(-22) even?
False
Suppose 12*o = 2*o + 8750. Suppose 23*u = 28*u - o. Is 35 a factor of u?
True
Let u = 60 + -36. Let x be (-1)/(-2) - -15*(-76)/u. Let d = -30 - x. Is d a multiple of 17?
True
Let i(x) = -4*x - 18*x**3 - 22*x**3 - 3 + 3500*x**2 - 3499*x**2. Is 7 a factor of i(-2)?
True
Suppose 3*h + 145 = 4*w, 2*h + 2*w = -1 - 77. Let u(s) = 14*s + 8. Let d be u(-7). Let n = h - d. Is 6 a factor of n?
False
Let d be (-382 - -2)/4 + 0. Let f = 97 + d. Is 18 a factor of -2 + (0 - f) - (-7 - 123)?
True
Let m(o) = -o + 7. Let a be m(7). Suppose -4*y + 1841 + 687 = a. Does 55 divide ((-27)/18)/((-6)/y)?
False
Suppose -9 = -8*i + 5*i. Let y be 2*-1 - (4 + (-15)/i). Does 9 divide (-44 + y)/(-1) + 0?
True
Let c(k) be the first derivative of -23*k**2/2 - 3*k - 88. Let l(o) = -o**3 + 15*o**2 - 14*o - 5. Let j be l(14). Is c(j) a multiple of 16?
True
Let z = -64 - -99. Suppose -4*y - y = 5*j - z, -4*j + 26 = 3*y. Suppose 0 = 2*k - 4*u - 56, 26 = 2*k - y*u + 4*u. Is 7 a factor of k?
False
Let k = 544 + -266. Let x = 828 - k. Does 88 divide x?
False
Suppose -v - 2*i - 16 = v, 0 = -3*i + 3. Let c be (-24)/v + (-18)/27. Suppose -5*x + c*j = 42 - 490, -5*j = -5*x + 445. Is x a multiple of 15?
True
Let k be 72/(19/((-1330)/20)). Is (802/(-3))/(84/k) a multiple of 18?
False
Suppose 0 = 25*s - 154684 - 71016. Is 148 a factor of s?
True
Let u(m) = 1781*m + 1828*m - 3650*m + 250. Does 18 divide u(-9)?
False
Let c = 187 - 165. Suppose 4*d + 245 = -291. Let s = c - d. Does 12 divide s?
True
Suppose 4*f + k + 12 = 701, -5*f + 861 = k. Is f even?
True
Let l = -274 - -326. Suppose -36 = -3*z + 3*w, 3*z = -w - 4*w + l. Is z even?
True
Let c(w) = -59*w + 56. Let d be c(-13). Suppose -2*l = -2*g - 2*g - 334, 4*g + d = 5*l. Does 31 divide l?
False
Suppose -9*f + 6*f + 5*o = 165, 0 = 5*f - 5*o + 265. Let y be (3 + f)/(1*1/(-2)). Is 21 a factor of (-1)/((-283)/y - -3)?
False
Let r = -145 - -315. Let s = 202 - r. Is 16 a factor of s?
True
Suppose -2*f - 1 - 5 = -2*q, 0 = 3*f - 6. Let c be 1/(-4) + (-22)/(-88). Suppose q*h - 54 - 111 = -3*t, -2*t + 2*h + 126 = c. Does 12 divide t?
True
Let n(s) = -2*s**2 - 18*s + 251. Does 27 divide n(-16)?
True
Suppose -4447*f + 4448*f = 4775. Is f a multiple of 25?
True
Suppose -3*h + 4410 = 5*m, 0 = -2*h - 15*m + 18*m + 2883. Is h a multiple of 76?
False
Let z = 3 - 3. Suppose -32*y + 34*y - 2 = 5*d, d = 4*y - 22. Suppose 3*a = -t + 41 + y, z = a + 4*t - 34. Does 3 divide a?
False
Let q(n) be the first derivative of 2*n**3/3 - 3*n + 6. Let k be q(-2). Suppose -k*u + 100 = -215. Is u a multiple of 7?
True
Let z(n) = 4*n**2 - 5*n - 4. Let f be z(-1). Suppose -j + 62 = f*x - 3*x, -297 = -5*j + 3*x. Does 3 divide j?
True
Is 6 a factor of 17/(4431/553 - 8)?
False
Suppose -6*v + 738 = -2982. Let k = v + -405. Is k a multiple of 21?
False
Is 19 a factor of ((-40)/40)/(-1*(-2)/(-3154))?
True
Does 22 divide (-1 + 1 + 770)*(-4257)/(-387)?
True
Let u(k) = k + 1. Let o be u(-1). Suppose s - 3*v = 222, 820 = 4*s - o*v + 5*v. Does 14 divide s?
True
Suppose 3*t = 2*h + 20406, 94*h - 98*h - 34014 = -5*t. Does 33 divide t?
True
Let w(p) = p + 1. Let t(x) = -24*x - 7. Let v(k) = t(k) + 5*w(k). Let j be v(1). Is (-942)/j + (-2)/(-14) a multiple of 15?
True
Let i(o) = 7*o**3 + 7*o**2 + 2*o + 4. 