q) be the second derivative of 9/2*q**3 + 19*q**2 + 35*q + 1/12*q**4 + 0. Does 3 divide c(-26)?
True
Suppose -21 = -3*r - 9. Suppose 5*x - 324 = 4*u, -5*x + u + 240 + 81 = 0. Suppose -3*n = -5*h - 31, h - 8 = -r*n + x. Is 16 a factor of n?
False
Suppose 3*r = -133*w + 128*w + 16105, -4*r = -20. Is w a multiple of 12?
False
Suppose 56625 = 5*u - 519*f + 524*f, -2*u = -4*f - 22626. Does 9 divide u?
False
Let g(q) be the first derivative of 0*q - 3*q**2 + 15 + 2/3*q**3. Is 10 a factor of g(5)?
True
Let a be (((-80)/3)/4)/((-10)/(-225)). Is (a/(-9))/5*(-228)/(-5) a multiple of 16?
False
Suppose -13 = -6*a + 5. Suppose 2*d - 1666 = 5*k, -a*k = -12*d + 14*d - 1650. Does 12 divide d?
True
Let j(k) be the second derivative of -1/12*k**4 + 5/3*k**3 - 3/2*k**2 + 0 + 13*k. Is 2 a factor of j(8)?
False
Let k(r) = 12*r**2 - 19*r - 146. Is k(-5) a multiple of 3?
True
Let h be ((-8)/(-14))/((-4)/(-14)). Suppose 17696 = 30*x - h*x. Does 9 divide x?
False
Let x(m) = 5*m - 6. Let p be (1/(-2))/((-1)/4). Let o be x(p). Suppose -116 + 22 = -2*t + o*i, 96 = 2*t - 3*i. Is 17 a factor of t?
True
Let h(x) = 209*x - 513. Does 44 divide h(3)?
False
Let u = 117 + -113. Suppose 0 = 5*r + u*b - b - 1050, -5*b = -5*r + 1050. Does 28 divide r?
False
Suppose 29*n - 25*n - 128 = 0. Suppose 1801 + 6519 = n*f. Is 22 a factor of f?
False
Let t be 3 + (-6)/(-4)*2. Does 118 divide (453/18*4)/(t/27)?
False
Suppose -t + 23*t = -23*t + 249570. Is t a multiple of 32?
False
Let p = -1 - -4. Let i(o) = -2*o**2 + 10*o**2 + 37 - 17 - 23. Is i(p) a multiple of 30?
False
Let j = 38853 + -21613. Does 3 divide j?
False
Let v(a) = a**3 - 36*a**2 - 8*a + 45. Let y be v(36). Let s = 155 - y. Does 6 divide s?
False
Let k = 4145 + 22015. Is 179 a factor of k?
False
Suppose -92*y + 95*y - 48 = 0. Is 12 a factor of (y/20*-21)/(5/(-25))?
True
Let i(n) = 332*n**2 - 86*n - 166. Is i(-2) a multiple of 66?
False
Let s(v) = -2*v**3 - 122*v**2 - 23*v - 155. Is s(-61) a multiple of 9?
False
Suppose -3*y + 22964 = 4*g, 4*g = 3*y + 13458 + 9482. Does 38 divide g?
True
Let i(s) = s**2 - 27*s - 37. Let m be i(29). Suppose m - 5 = 8*r. Is 2 a factor of r?
True
Let a(g) = g**3 + 13*g**2 - 5*g - 29. Let z be a(-13). Suppose 48*p = z*p + 6384. Is p a multiple of 19?
True
Let h = 31021 - 21020. Does 38 divide h?
False
Does 48 divide (-1 + 10)*(-890256)/(-153)?
True
Let h be (-1*42/(-8))/((-5)/(-20)). Suppose -10*p + h*p = 4356. Is p a multiple of 9?
True
Let m(r) = 45*r - 223. Let y be m(5). Suppose -2*f = 3*j - 28, f - 55 = -y*f + 2*j. Is f even?
False
Let s be (-3)/(-3)*6 - (-6)/(-2). Suppose -s*g = -9*g + 24. Let w(h) = -h**2 + 7*h + 7. Is w(g) a multiple of 3?
False
Let n = 61 - -4. Is -4*n/(-100)*5 even?
False
Suppose -m - 67 = -49. Does 10 divide (-308)/(-1386) + (-6458)/m + 1?
True
Suppose -n = -5 + 1. Let y(t) = 19 + t + 15 + 9 - 34 + 11*t. Is y(n) a multiple of 39?
False
Suppose 460 = -14*u + 152. Does 3 divide 4/u - 864/(-33)?
False
Let o(w) = -2*w + 8. Let l = 46 + -42. Let p be o(l). Suppose -h + 40 + 5 = p. Is 33 a factor of h?
False
Let v(q) be the first derivative of 7*q**3 + 4*q**2 + 3*q - 16. Let a be v(-3). Suppose -4*z + a = -120. Does 8 divide z?
True
Let a = -2574 + 5176. Is a a multiple of 13?
False
Let j = 1721 - -2363. Is 40 a factor of j?
False
Suppose b = 457*g - 453*g - 41455, b - 5 = 0. Is g a multiple of 15?
True
Suppose -2*x + 7*m = 11*m - 428, 0 = x - 5*m - 249. Is 19 a factor of -2 + 3 + x - -5?
False
Let k be (-6266)/9 + (4 - 34/9). Let j be 2*3/12 - k/16. Let t = 60 - j. Does 4 divide t?
True
Let v = 32862 + -23292. Is v a multiple of 87?
True
Suppose 5*c - 3*t - 33621 = 0, -8*c + 9*c - 6727 = t. Does 3 divide c?
True
Suppose -66*k = -235855 - 278681. Does 119 divide k?
False
Let m(v) = v**2 + 3*v - 52. Let a be m(-9). Suppose 0 = q - a*h - 122, q + 2*q - 357 = -3*h. Does 26 divide q?
False
Let k be -1 + 3 - (21 + -19). Suppose k = -127*w + 126*w + 71. Is w a multiple of 4?
False
Let m(x) = -x**3 + 22*x**2 + 5. Let p be -1*(2/9 - 2400/108). Let v be m(p). Suppose 0*a + 3*a = 4*q + 332, 5*a + v*q = 495. Is 12 a factor of a?
False
Let f(r) = r**3 + 3*r**2 - 11*r - 7. Let i be (56/21)/((-6)/(-9)). Suppose 0 = 2*k - i*k - 8. Is 7 a factor of f(k)?
True
Let i = -246 - -253. Suppose -1110 = -9*y + i*y. Is 37 a factor of y?
True
Suppose -138626 = -240*f + 91774. Is 10 a factor of f?
True
Let o = 909 - 901. Suppose -o*n = -3*n + 3*m - 7214, 2*m - 7216 = -5*n. Is 56 a factor of n?
False
Let c be (35/(-10) - -3) + 294/(-4). Let d = c - -110. Is 2 a factor of d?
True
Let m(i) = i**2 - i + 8. Suppose -4*l - 2 = 2*o, o - 5 = 3*o + l. Let t be o + 5 + (-10)/(-2). Is m(t) a multiple of 25?
True
Let s = -30 - -42. Let m(a) = 5743*a**2 + 5*a - 18 - 3*a**3 - 9 - 5767*a**2 + a**3 + 4*a**3. Is 3 a factor of m(s)?
True
Let y = -209 - -113. Let j = y + 134. Is 16 a factor of j?
False
Let y(r) = -r + 4. Let p be y(2). Suppose -5*c = -3*v + 734, -p*c - 247 = -2*v + 249. Let g = v + -156. Is g a multiple of 7?
False
Let d(j) = -53*j**2 - 16. Let m(n) = -106*n**2 + n - 34. Let s(k) = 5*d(k) - 3*m(k). Does 74 divide s(5)?
True
Let m(a) = -24*a + 197. Let j be m(8). Suppose -10 = -j*x, 4*t = 7*x - 3*x + 1628. Does 33 divide t?
False
Let w = 180 + -300. Is 18/24*(-1 - -1 - w) a multiple of 30?
True
Let z(r) = -r - 1. Let p(j) = 27*j. Suppose 0 = 4*g + 2*v, -4*g = -v - 0*v + 12. Let h(k) = g*z(k) - p(k). Is h(-1) a multiple of 9?
True
Let k(w) = 10*w**3 - 5*w**2 + 5*w - 4. Let t(v) = -v**3 + 3*v**2 - 8*v + 52. Let u be t(4). Is k(u) a multiple of 13?
False
Let x = 10152 - -3658. Does 7 divide x?
False
Let y(x) = -5*x + 256. Suppose 2*a - 7*a = -5*p - 60, -3*p = 0. Is y(a) a multiple of 14?
True
Let m be (-2 - -1) + 83 - (5 - 1). Suppose -204 = -2*k - m. Does 3 divide k?
True
Let y = 50 + -45. Suppose 0 = y*v - 700 + 235. Let a = 236 - v. Does 26 divide a?
False
Let h(c) = c**2 + 6*c + 5. Let n be h(7). Suppose -t + 2 = -n. Suppose 0 = 4*f + 5*k - 73, -4*k = f + 4*f - t. Is 3 a factor of f?
False
Let u = 34 + -39. Let q = -9 - u. Is (-50)/q + (-70)/(-28) a multiple of 11?
False
Let c(d) = -359*d**3 + 4*d**2 - 40*d - 117. Is c(-3) a multiple of 120?
False
Let s(f) = 56*f**2 + 39*f - 628. Is s(25) a multiple of 7?
False
Let z be (-1 - 1)/((-2)/5). Suppose 0 = -2*u - v - 3, 2*u - 4*v - 158 = -156. Does 17 divide (-52 - z/u)*-1*1?
False
Suppose 278170 = 237*b - 167390. Does 20 divide b?
True
Let g = -1379 - -1999. Suppose -4*r + 5*f + g = 0, 0*r + 5*r - 775 = -3*f. Is 5 a factor of r?
True
Suppose -5*t + 11425 + 14386 = -5609. Is t a multiple of 29?
False
Let r(b) = 3*b**3 + 5*b**2 + 6*b + 2. Let x be r(-6). Let d = -182 - x. Is 17 a factor of d?
False
Suppose 12*s = 57*s - 105242 - 453613. Does 59 divide s?
False
Suppose 0 = -29*m - 18*m - 14*m + 177266. Is m a multiple of 34?
False
Let g(j) be the second derivative of 4*j**4/3 + 3*j**3/2 - 3*j**2/2 - 12*j + 1. Is 7 a factor of g(-4)?
True
Let r(c) = c**3 - c - 125. Let i be r(0). Let l(f) = 3*f**3 + 24*f**2 - 17*f + 16. Let j be l(-9). Let u = j - i. Does 6 divide u?
False
Let f = -11359 + 13272. Is f a multiple of 4?
False
Let b(k) = -k**2 - 23 + 48 + 26*k + 0*k + 54 + 22*k. Is b(43) a multiple of 14?
True
Let x(b) = b**3 - 14*b**2 - 16*b + 15. Let c be x(15). Let z(a) be the third derivative of a**6/120 + a**5/30 + 121*a**3/6 + 8*a**2 - 2. Does 11 divide z(c)?
True
Let d = -93 + 86. Let f(x) be the second derivative of -2*x**3/3 + 16*x**2 - 8*x. Is f(d) a multiple of 16?
False
Suppose 524880 = -1254*l + 1344*l. Is l a multiple of 60?
False
Is 29 a factor of (360/(-28))/(54/(-16128))?
False
Suppose -72*u + 3*v = -70*u - 715, 4*u - 3*v = 1415. Is 5 a factor of u?
True
Suppose 538807 + 580311 = 182*w. Is w a multiple of 47?
False
Let k = -198 - -1095. Let w = k + -385. Does 17 divide w?
False
Suppose -184*a - 96 = -188*a. Suppose 41*l - a = 45*l. Does 32 divide (-387)/l + (-2)/(-4)?
False
Suppose 2124 = 3*p + 3*a, -2*p + 1725 = 4*a + 301. Does 8 divide p?
True
Suppose -2*b - 14*b + 198870 + 19674 = 0. Does 61 divide b?
False
Let i(y) = 4334*y + 130. Is i(1) a multiple of 36?
True
Suppose -4*k + 5*k - 2*h = 17, 46 = 3*k - 5*h. Suppose 5*r - 10 = k*r. Is ((-45)/(-6))/r + (-177)/(-2) a multiple of 16?
False
Let r = 828 + -574. Let o = r - 13. Is 79 a factor of o?
