3 + 70*b**2 - 136*b + 5132. Does 43 divide t(66)?
False
Let y(s) = -2*s**2 + 7*s + 72. Let u(h) = -3*h**2 + 10*h + 108. Let d(p) = -5*u(p) + 7*y(p). Is d(-14) a multiple of 29?
True
Suppose 0 = 5*y - 43 + 3. Suppose -2*h - y = -0*h. Does 8 divide h/(-18) - 280/(-36)?
True
Let k be 11/3*(4 - -2). Let b(l) = -l**3 + 17*l**2 + 37*l + 33. Let n be b(19). Let a = k - n. Does 6 divide a?
False
Let b = 363 + -207. Suppose -41*r = -30*r - 66. Suppose i + r = b. Is 29 a factor of i?
False
Let a = 11 + 468. Suppose 3*f - 601 = -2*f - h, -h = -4*f + a. Does 8 divide f?
True
Suppose -544*m = -569*m + 202200. Is m a multiple of 52?
False
Suppose -o = -2*o - 2*q + 8, -4*q + 64 = 5*o. Let z(t) = -6*t + 25 - 4*t**2 - 2*t**2 - 2*t**3 + o*t - 13. Is z(-6) a multiple of 37?
False
Let t(a) = 52*a - 326. Let z be t(7). Suppose -2*d - 3*d = -370. Let g = d - z. Does 9 divide g?
True
Let o be ((-55)/(-22))/(1/(-12)). Let z be 6/(-4)*o/5. Suppose 0 = z*x + 8 - 710. Is x a multiple of 5?
False
Suppose -3*t = 15, -4*k - 2*t = -0*t + 298. Is 18 a factor of (-6)/k*-4 - 649/(-3)?
True
Suppose -28 = -5*d - 4*t + 5*t, -4*t = -4*d + 16. Suppose -g + 4*y = 2*y - d, y = 3*g - 3. Suppose l = -g*l - u + 49, -4*l + 172 = -2*u. Is l a multiple of 15?
True
Suppose -2*f - 3*t = 75, 3*t + 0 - 3 = 0. Let j = f + 39. Let b(v) = -v**3 + v**2 + v + 36. Does 8 divide b(j)?
False
Let x(d) = 6*d**2 + 378*d + 6497. Does 3 divide x(-17)?
False
Suppose 2*k + 7758 = 5*g, 221*g - 218*g + k - 4646 = 0. Is 13 a factor of g?
False
Let i = 54 - 57. Let z(h) = -3*h**3 - 4*h**2 - 3*h + 2. Let a be z(i). Let v = 13 + a. Does 23 divide v?
True
Let x = 298 - 275. Suppose x = -6*w + 7*w - 4*k, 4*w - 3*k = 40. Does 3 divide w?
False
Let d = 399 + -394. Suppose 0 = -31*u - d*u + 14112. Is 7 a factor of u?
True
Suppose a + 3*y - 6 = 4*a, 5*y - 16 = 3*a. Suppose -a*w + 51 = 14*w. Suppose -w*p + 338 = 4*h + 28, p = -5*h + 107. Is 23 a factor of p?
False
Let u(o) = -o**2 - 24*o + 47. Suppose 4*y - 5*y - 3*i = -5, -2*i = 3*y - 22. Suppose y*p = p - 175. Is u(p) a multiple of 9?
False
Let m(v) be the third derivative of v**5/30 + 5*v**4/12 + 7*v**3/3 - v**2. Suppose -27*r - 33*r = -16*r + 220. Is 7 a factor of m(r)?
True
Let l be -1 - (6 - 12) - 9. Let u = l + 30. Is 13 a factor of u?
True
Let t(z) = 234*z**3 + z**2 + 6*z - 10. Does 12 divide t(2)?
False
Suppose -5*i - 17 = 2*t - 7, -2*i - 4 = 2*t. Is t/(-1) + 5 - -973 a multiple of 13?
False
Suppose -5*q = h - 12, 0 = 2*h + 2*q + 3*q - 14. Suppose 3*x + 12 = s, h*s - 14 - 20 = -4*x. Does 5 divide s?
True
Let u be (-2 + 3 + -1)/2. Let f be u - 4*28/(-8). Is 33 a factor of (-132)/f*1*(2 + -16)?
True
Suppose 4*n + 0*n - 32*n + 457688 = 0. Is 111 a factor of n?
False
Let x(m) = 14*m + 4. Let j(y) be the first derivative of 15*y**2/2 + 3*y + 14. Let f(n) = 3*j(n) - 4*x(n). Is 18 a factor of f(-8)?
False
Let i be ((-16)/(-64))/((-1)/(-172)). Let a = i - 38. Suppose 4*z + 11 + a = 0, -z + 30 = q. Is 13 a factor of q?
False
Suppose -4*z + 16206 = -4*h + 4058, -z + 3033 = 3*h. Does 92 divide z?
True
Is 26 a factor of ((-35)/(3500/9360))/(2/(-30))?
True
Suppose 7*j - 15*j + 1344 = 0. Let d = j + -117. Is (-2 + (-38)/(-4))*646/d a multiple of 4?
False
Let f = 7315 + -5040. Is f a multiple of 175?
True
Suppose 17*x + 28 = -23. Does 3 divide (-414)/12*4/9*x?
False
Let b be 1260/1050 + (0 - 132/10). Let m be -48*(3/(-2))/3. Let d = m + b. Is 12 a factor of d?
True
Let a(k) be the first derivative of k**2 + 200*k + 11. Does 38 divide a(33)?
True
Let r(m) = -161*m + 52. Let q be r(3). Let s = -11 - q. Is 28 a factor of s?
True
Let j(x) = -189*x - 3. Suppose 8*t - t - 7 = 0. Let g be j(t). Does 16 divide g/(-10)*15/(-9)*-2?
True
Suppose 59*m = 55*m + 2*k + 201212, 2*k = -m + 50323. Is m a multiple of 14?
False
Suppose 6*a - a - 22 = 3*o, 2*o = -4*a. Suppose a*f - 95 - 65 = 0. Suppose -10*x = -11*x + f. Does 35 divide x?
False
Let w(z) = z**2 + 20*z + 38. Let g(m) = 3*m**2 - 32*m + 2. Let d be g(10). Let h be w(d). Is 5 a factor of (-62)/31*(h - (-38)/(-4))?
True
Suppose 0 = -3152*r + 3223*r - 566580. Does 15 divide r?
True
Let c(i) = -3*i**3 + 26*i**2 + 2*i + 71. Does 5 divide c(-7)?
True
Let a(m) = -456*m - 1966. Is a(-6) a multiple of 14?
True
Does 92 divide 11 + ((-14)/(140/47730))/(-1)?
True
Let w(y) = -10*y - 28. Let f(m) = -5*m + 110. Let x be f(23). Is w(x) a multiple of 6?
False
Let b(a) be the third derivative of 17*a**6/40 + a**4/24 - 7*a**2. Let x be b(1). Let d = 76 - x. Does 12 divide d?
True
Let g(w) = 2*w**2 - 42*w + 110. Let t be g(32). Let z = 994 - t. Is 10 a factor of z?
True
Let i(r) = 334*r - 1919. Does 39 divide i(6)?
False
Is (-11579)/(-5) + -4 - 9/(-45) a multiple of 5?
False
Let b(x) = 54*x + 5. Let m be b(4). Suppose 0 = -i, q + i - 8 = -131. Let y = m + q. Is 22 a factor of y?
False
Let b(n) = -n**3 + 14*n**2 + n - 10. Let k be b(14). Suppose 0 = -2*l - x + 397, k*l - 2*x + 0*x = 790. Is l a multiple of 13?
False
Let b(r) = 2*r**3 - 9*r**2 + 30*r - 159. Does 6 divide b(9)?
True
Let c be 6/(-42) - (-212)/14. Suppose 0 = 7*s - c - 13. Suppose -3*n + 5*b + 137 = 0, -s*n + b = -7*n + 131. Is 6 a factor of n?
False
Suppose -24*m = m + 25*m - 1966700. Is m a multiple of 124?
False
Let i(x) = x**2 - 8*x + 3. Let p be i(10). Suppose 89 = g - 11*o + 6*o, -g - 3*o + 97 = 0. Suppose g + p = k. Is 9 a factor of k?
True
Suppose 2*i = 4*z - 6*z - 36, 5*z = 0. Let x be (66/(-8))/(i/240). Does 44 divide (2 - -4)/(3/x)?
True
Suppose -19*c + 17877 + 21814 = 0. Is 9 a factor of c?
False
Suppose 0 = 2*n + 5*p - 941, 430 = n - 4*p - 47. Suppose -n = -9*z - 68. Let a = -24 + z. Is a a multiple of 4?
False
Does 15 divide -1*4 + 12/27 + 172005/27?
False
Let f be (0 - 1) + (6 - -2) + -4. Suppose -u + f = 0, i - u - 250 = 43. Does 37 divide i?
True
Suppose 4*j + 0*j - 6*j = 0. Suppose j = 10*n + n - 22. Does 6 divide (-1)/((-5)/n) + 1106/10?
False
Suppose 3*x - 8*b = -4*b - 198, -264 = 4*x + 4*b. Let z = x + 69. Suppose 13 = z*l - 47. Is 10 a factor of l?
True
Let d(r) = 3851*r**3 + 4*r - 3. Let s be d(1). Suppose 0 = 14*h - 1622 - s. Is 17 a factor of h?
True
Let y be (-26)/9 + 1/(-9) - -15. Suppose -4*l = -y, 16*r - 11*r - 1430 = 5*l. Is r a multiple of 19?
False
Is ((-94)/(-2))/((204/(-228))/(-17)) a multiple of 3?
False
Let f(t) = t**2 + t. Let r(y) = 26*y**2 + 11*y - 15. Let s(o) = -4*f(o) + r(o). Is s(3) a multiple of 23?
False
Suppose 0 = 5*k + 2*d - 89714, -d = -28*k + 32*k - 71767. Does 138 divide k?
True
Let s(g) = 9*g**2 - 8*g. Let h be (7 - 2) + (-324)/36. Is 11 a factor of s(h)?
True
Let h(g) be the third derivative of -23*g**2 + 0 - 1/3*g**3 + 0*g - 3/4*g**4. Does 4 divide h(-1)?
True
Suppose -1607*p = -1631*p + 395472. Is 7 a factor of p?
True
Let c(i) = 8*i**2 + 88*i - 352. Is 43 a factor of c(-58)?
False
Is (-51)/(-204) - 4/((-48)/10557) a multiple of 10?
True
Suppose -276096 = -5296*t + 5248*t. Is t a multiple of 4?
True
Suppose -4*y = -10 - 6. Let r(i) = 15*i - 77. Let j be r(4). Is (-2 + j)*(y + -6) a multiple of 19?
True
Suppose -2*z + 320*i + 16990 = 315*i, 4*z - i - 34034 = 0. Is z a multiple of 18?
False
Let r = 128 - 128. Is (-99)/15*-5*(3 - r) a multiple of 9?
True
Let l = 26 + -5. Let k be (20 + -3 - 4) + -4. Let c = l - k. Does 4 divide c?
True
Suppose 0 = 18*j - 33*j + 45. Suppose -4*n - 478 = -3*k, 8*n - j*n = k - 141. Does 35 divide k?
False
Suppose -j = -7*j + 18. Suppose -j*y + 4*y = 3. Suppose y*n - 61 = -4*m, 3*n - 64 = -4*m - n. Is 5 a factor of m?
False
Let k(v) = 93*v - 53. Let o be (-19 + -1)*(-4)/20. Is k(o) a multiple of 11?
True
Let t(z) = 57*z + 18. Suppose -24 = 4*i + 2*i. Let v be t(i). Let x = v + 304. Is x a multiple of 23?
False
Let p = 51 - 37. Suppose 2*q = 4*c + 26, 2*c - p = -3*q + q. Suppose -q*n + 62 = -514. Does 10 divide n?
False
Let s(h) be the third derivative of 3*h**5/2 - h**4/12 - h**3/6 - 168*h**2. Let p = -12 + 11. Does 12 divide s(p)?
False
Let p(m) = m**3 + 81*m**2 - 87*m + 19. Does 30 divide p(-82)?
False
Let z = 5038 - 7587. Let w = -1709 - z. Is w a multiple of 60?
True
Let n be 3*(-1 - (4 + -4)). Let k be (n + -21)*29/(-4). Let w = k + -115. Is 19 a factor of w?
False
Suppose 1 + 8 = -3*b. Suppose 7*s + 39 = 4*s - 3*m, m - 41 = 2*s. Is (b + -5)/(2/s) a multiple of 18?
True
Let j(y) = -y**3 - y**2 + 3*y + 