 a multiple of 91?
True
Let r(y) be the third derivative of 4/3*y**3 - 1/24*y**4 - 18*y**2 + 0 + 0*y. Does 6 divide r(-5)?
False
Suppose 42946 = 5*d + h, 4*h = 701*d - 703*d + 17182. Is 21 a factor of d?
True
Let g be (72/(-15))/(27/(-1440)). Let v = g - 131. Is 7 a factor of v?
False
Let d(n) be the first derivative of -4*n**2 - 61*n + 94. Is d(-16) a multiple of 67?
True
Is 7 a factor of (602/(-6)*(-1 - (3 + -1)))/1?
True
Suppose 2*f = -3*h - 1040, -2*f - 2*f - 2124 = -5*h. Let b = f - -756. Suppose 0 = -12*k + 10*k + b. Is 11 a factor of k?
False
Suppose -2*d = 5*x - 5362, -5*x - 3519 = -d - 793. Is 3 a factor of d?
False
Let n be (-1 - 1) + (4 - -2). Suppose 0 = n*y - 90 + 22. Does 2 divide y?
False
Let i = -667 + 1882. Is i a multiple of 22?
False
Let h = -842 + 1660. Is h a multiple of 12?
False
Let a = 10855 + -8045. Does 3 divide a?
False
Let s(z) = 16*z**2 - 32*z + 335. Is 40 a factor of s(-16)?
False
Suppose 0*n - 2*n - 4*h = -16, 2*h - 32 = -3*n. Suppose 8 + n = -5*f. Does 14 divide (-3)/6 - (0 - (-782)/f)?
False
Let u(z) = 2*z**2 + 46*z + 579. Is 70 a factor of u(-30)?
False
Is (-10 + 2700/6)/2*168 a multiple of 210?
True
Let z be 1*(3/(-9))/(2/(-6)). Let l be (2 - z) + (13 - 2). Is (16/l)/(4/72) a multiple of 13?
False
Let z(t) = t**3 + 19*t**2 + 20*t - 38. Suppose -17*n = 204 + 85. Does 40 divide z(n)?
True
Suppose -3*j + 10937 = -3*z + 2741, 0 = j + 2*z - 2720. Is 11 a factor of j?
True
Let f = -121 + 147. Suppose -8*h - 270 = -f*h. Is 10 a factor of (-3)/((-60)/3032) + 6/h?
False
Suppose -4*g - 3*f + 5*f + 3794 = 0, -5*g - 2*f = -4756. Let a = g + -342. Does 38 divide a?
True
Suppose 4*l + 2*d - 3907 = -l, -d + 2344 = 3*l. Is 11 a factor of l?
True
Let f(q) = -3*q**3 + 3*q**2 - q - 2. Let t be f(-1). Suppose t*g = 13 + 2. Suppose 0 = g*y + 4*c - 92, y + c = -0*c + 31. Does 10 divide y?
False
Let z = -17 + 22. Let d = 8 - z. Suppose -d*l + 78 = x - 4*x, 5*x - 10 = 0. Does 3 divide l?
False
Suppose -2*t - 4*p = -138, 0*t - 201 = -3*t - 4*p. Suppose -t = -12*v + 129. Suppose -j + v = 2*x, -j - 2 = 4*x - 10. Is j a multiple of 6?
True
Suppose -2*n + 0*n = 2*j + 382, -5*n = 3*j + 957. Let r = n - 6. Let l = r - -435. Is l a multiple of 25?
False
Let u(j) = -3*j**3 - 73*j**2 - 25*j + 79. Does 26 divide u(-25)?
False
Let r(n) = -2*n**3 - 4*n**2 - 15*n + 12. Let j be r(-6). Suppose -j = -g + 264. Does 12 divide g?
False
Let h(a) = 205*a**2 - 29*a. Is h(6) a multiple of 42?
False
Suppose -4*f = 19 - 31. Suppose f*i - 30 = 42. Is ((-86)/(-4)*-6)/(i/(-32)) a multiple of 40?
False
Let w(a) = -2*a**3 + 14*a + 11. Let n be w(7). Let x = 589 + n. Is x even?
True
Let d(l) = 901*l - 1235. Does 100 divide d(13)?
False
Let v = -37 - -71. Let o(a) = 2 - 4 - v*a - 6 - 18. Does 35 divide o(-8)?
False
Let d = -1302 + 870. Does 15 divide ((-3)/(18/(-20)))/((-8)/d)?
True
Suppose 4*a - 4*q - 2728 = 2048, -3*q + 2403 = 2*a. Is a a multiple of 43?
False
Let n(c) = -4*c**2 + 2*c + 2. Let a be n(-3). Let u = a - -45. Suppose -594 = -3*m + 4*s, -4*m + 4*s - 214 = -u*m. Is 23 a factor of m?
False
Suppose 4*m - 41*a + 43*a - 30282 = 0, -3*m + 22714 = -a. Does 14 divide m?
False
Suppose 133*o - 126*o - 23576 = 0. Is 8 a factor of o?
True
Suppose -4*l - 4 = 5*j, -j = -3*j. Is 7 a factor of 127/4 + (l - -7)/24?
False
Suppose 2*p - 39458 = -2930. Is p a multiple of 12?
True
Let p(u) = -35*u - 460. Is p(-23) a multiple of 15?
True
Let q(c) = 343*c**2 + 53*c + 24. Does 128 divide q(8)?
True
Let t = -2335 - -2337. Let o = -9 - -20. Suppose 9 = t*d - o. Does 5 divide d?
True
Suppose -31794 = -19*f + 12210. Is 4 a factor of f?
True
Let y be 34150/20 + 3/6. Is 57 a factor of -1 - y/(-6) - (-8)/6?
True
Suppose 0 = 1829*s - 909*s - 890*s - 1063080. Does 12 divide s?
True
Let t = -22 - -27. Suppose -u - 319 = -3*v + 121, -t*v = 2*u - 715. Is 16 a factor of v?
False
Let v(x) = 11*x + 186. Let k be v(-8). Let z = -24 + -42. Let h = k + z. Is 16 a factor of h?
True
Let j(i) = -2*i**3 - 29*i**2 - 7*i + 2. Let l be j(-15). Let c = l - -68. Is 40 a factor of c?
True
Let x = 31518 - 27665. Is x a multiple of 54?
False
Let u = -340 - -106. Let m = -39 - u. Let k = m - 90. Is k a multiple of 6?
False
Let c be (12/16*4)/(0 + 1). Let s(j) = 13 + c*j - 16 + 3*j**2 - 9*j**2 + 3*j**3. Is s(4) a multiple of 15?
True
Let a be (-4)/(-5 + 10 + -4) - -657. Let u = a - 243. Does 41 divide u?
True
Let o(w) = 104*w**2 + 86*w - 76. Is 28 a factor of o(-10)?
True
Suppose 3*x + 81 = -4*f, 3*x - 45 = 3*f - 0*x. Let j be 14*3/f*-15. Suppose 0 = 2*q - j - 25. Is 15 a factor of q?
True
Let j be 12 - 7 - (0 + 2 - 2). Suppose -7*p + j*v = -3*p - 29, -p = -4*v + 1. Suppose -4*x + 760 = -2*f, -10*x + p*x + 4*f - 181 = 0. Is 34 a factor of x?
False
Suppose -17*n + 19*n = -j + 20, -3*n = -2*j + 26. Suppose -2871 = -j*w + 2153. Is 18 a factor of w?
False
Suppose -8*c = -3*c - 45. Suppose -4*g + 2*g = c*g. Does 8 divide 1 - (1 + g) - 2*-12?
True
Let o(l) = -l**3 + 7*l**2 - 4*l - 6. Let t be (1 - 1/4)/((-41)/(-164)). Does 9 divide o(t)?
True
Let s(y) = -103*y - 4. Let a be s(1). Let t = a + 197. Suppose -t = -7*x + 43. Is x a multiple of 2?
False
Suppose -4*w + 26658 = q, 3*q = 7*w - 4*w - 20001. Is w a multiple of 31?
True
Let v = 47356 - 32864. Does 60 divide v?
False
Let z(q) = -q**3 + 3*q**2 + 7*q - 15. Let j be z(-7). Suppose -17*p + 11*p + j = 0. Suppose -p = -7*t + 146. Does 11 divide t?
False
Let i(p) = 4*p - 6. Let f be i(-6). Let c = f + 30. Suppose 3*w - 2*u = -c*w + 142, -4*u = -5*w + 236. Is 12 a factor of w?
True
Let s = -9074 - -17404. Is s a multiple of 14?
True
Let j(a) = a**2 + 7*a - 13. Suppose 77 = 3*f + 2*t, -70*t = 5*f - 68*t - 123. Does 21 divide j(f)?
False
Let p(x) = x**3 + 60*x**2 + 32*x - 792. Is p(-58) a multiple of 8?
True
Let j(n) = n**3 + 6*n**2 - 2*n + 5. Let f be j(-3). Let g = 47 - f. Let m(a) = a**3 - 7*a**2 - 15*a + 21. Is m(g) a multiple of 24?
True
Let u(a) = -250*a**2 - 13*a + 3. Let r be u(2). Let h = r - -1458. Does 15 divide h?
True
Suppose -4*p = h - 0*p + 6, 2*h - 3*p = 21. Suppose 3*z - 2 = 2*r + 9, -2*z + h = -2*r. Suppose -3*x - r*i = -60, 0 = -3*x - 4*i + 67 - 1. Does 9 divide x?
True
Let b(l) = -283*l**3 - 6*l**2 + 26*l - 14. Is b(-4) a multiple of 11?
False
Let a = 82 + -112. Let m(b) = b**3 + 29*b**2 - 33*b - 9. Is 22 a factor of m(a)?
False
Suppose 4*b - 5321 = 1151. Suppose 5858 = 16*a + b. Is 16 a factor of a?
False
Let z = 10829 + 44247. Does 14 divide z?
True
Let i be (-4734)/12*8/(-3). Suppose -4*w + 0*w + i = 0. Is w a multiple of 32?
False
Let a(n) = 23*n + 7. Let v(k) = -70*k - 19. Let g(b) = -8*a(b) - 3*v(b). Let o be g(-5). Let p = 178 - o. Is p a multiple of 36?
False
Suppose -2*r = 8, -1558 + 477 = 3*m - 2*r. Let k be ((-40)/(-6))/(-4)*m. Suppose 5*n = 2*z + z + k, 0 = -n - 2*z + 134. Does 11 divide n?
False
Suppose 0 = 23*p + 29*p - 137176. Is p a multiple of 5?
False
Let j = -9374 - -13790. Is j a multiple of 69?
True
Let m(g) = 109*g - 8. Suppose -17*f + 5*f = -24. Does 35 divide m(f)?
True
Let m = 14039 + -5450. Does 91 divide m?
False
Suppose -103*c = -32*c + 231736 - 2417045. Is c a multiple of 30?
False
Let d(r) = -r**3 + 6*r**2 - 5*r + 3. Let q be d(5). Suppose -15*o - 3*k = -12*o - 1089, -3*k - q = 0. Does 58 divide o?
False
Suppose 0 = 2*d - 184 - 1024. Let t = d + -403. Is 3 a factor of t?
True
Suppose 190 = -6*w + 1666. Let p = w - -330. Is p a multiple of 9?
True
Suppose -4*g - 4*y = -68, 3*g - 40 = g - 4*y. Let b = g - 16. Is (b - (-13 + -1))*1 a multiple of 6?
True
Let i be -4 + (1 - 0) + 4. Suppose -2*j = -4*g + 14, 5*g = -2*j + i + 21. Suppose 0 = -4*h - 0*h - g*f + 444, 3*f = -h + 107. Is 15 a factor of h?
False
Let b = -83 + 97. Let y(x) = -x + 18. Let p be y(b). Suppose -p*s + 385 + 231 = -4*t, -300 = -2*s - 2*t. Is 27 a factor of s?
False
Let s be 20070/9 - 2/3*-6. Suppose -3*b - 5*p + s = 0, 0*b + 3*p - 750 = -b. Is 12 a factor of b?
False
Let w = -902 - -437. Let v = 824 + w. Suppose 3*s - 6*k - v = -5*k, 3*s - 2*k - 358 = 0. Is 15 a factor of s?
True
Let t(w) = 94*w**2 - 5*w + 14. Let q be ((-164)/205)/(2/(-5)). Is 38 a factor of t(q)?
True
Let x = 94351 - 54616. Is 15 a factor of x?
True
Let z(u) = -2*u + 56. Let k be z(26). Suppose -4*o - p + 1505 = 0, -3*o - p - 370 = -k*o. Does 25 divide o?
True
Let p be -4*(-5 - -