Suppose -z = -25*u + 2898. Does 11 divide u?
False
Suppose -2*o = 2*t + 670, 0*t + 997 = -3*o - 5*t. Let w = -203 - o. Does 30 divide w?
False
Does 185 divide (567/45 + -11)/(4/1310)?
False
Let l = -3992 - -4018. Does 4 divide l?
False
Let h(q) = q**3 - 19*q**2 - 19*q - 14. Suppose 4*c + 4*w - 72 = 0, w + 62 = c + 2*c. Let v be h(c). Suppose v*j = 4*j + 180. Is 30 a factor of j?
True
Let j(h) = -h**3 + 97*h**2 + 11*h - 658. Is 66 a factor of j(97)?
False
Suppose 270*c - 1146867 + 170384 = 5614487. Is c a multiple of 115?
False
Suppose 16 = 4*c, -5*f + 5 + 6 = -c. Suppose -5*g - 2 = -f*y, 3*g - 4 = y - 2. Suppose 3 = y*a - 245. Does 16 divide a?
False
Let i(t) = -t**3 + 16*t**2 + 4*t + 10148. Does 50 divide i(0)?
False
Let t(a) = -66*a + 42. Suppose -5*w = -2*n - 10 + 51, -8 = 2*w + 2*n. Is 9 a factor of t(w)?
True
Let m(n) = 2*n**2 + 18*n + 15. Suppose -5*p - 33 = 22. Let j be m(p). Let d = -23 + j. Does 14 divide d?
False
Is 476372/(-195)*-6 + ((-4)/5)/(-2) a multiple of 14?
True
Let q = 141 - -2086. Is q a multiple of 5?
False
Let p(t) = -7*t**3 + 22*t**2 - 111*t - 18. Let c(m) = -m**3 - 2. Let h(j) = 4*c(j) - p(j). Is h(7) a multiple of 41?
True
Let g(m) = 3445*m**2 + 10*m + 9. Does 6 divide g(-1)?
True
Suppose -11*n + 12491 = -105762 - 1900. Is n a multiple of 128?
False
Let h(s) = -s**2 + 127*s - 2273. Is h(59) a multiple of 100?
False
Let g = 13 + -61. Let v(p) = -24*p + 403. Let m be v(12). Let h = g + m. Is 26 a factor of h?
False
Does 5 divide (-2)/9 + (-31452290)/(-2790)?
False
Let q = -12 + 17. Suppose q*x - 15*x = 3820. Is (-4)/14 - x*(-2)/(-28) a multiple of 9?
True
Let n(p) = -25*p + 53. Let o be n(5). Is 6 a factor of (-8349)/(-27) + 16/o?
False
Let l(n) be the first derivative of 107*n**4/4 + 2*n**3/3 - n + 4. Does 11 divide l(1)?
False
Let f(m) = -4*m**2 - 10*m - 38. Let i be f(-9). Let u = -246 - i. Is 4 a factor of u?
False
Is 9*-159*(5/8 - (-1596)/(-608)) a multiple of 25?
False
Suppose 19020*a = 19023*a - 18009. Is 9 a factor of a?
True
Let k = 1022 - 291. Let g = 1462 - k. Is 43 a factor of g?
True
Suppose -49979 + 118619 = 143*c. Does 15 divide c?
True
Let u(o) = -89*o**3 + 13*o**2 - 7*o + 161. Does 23 divide u(-8)?
False
Let o(x) = 640*x + 29315. Is o(0) a multiple of 13?
True
Let j be (((-32)/(-3))/8)/(3/1737). Suppose -28*a + j = -24*a. Is 12 a factor of a?
False
Is 85 a factor of 2 + (585/40)/(24/(-32))*-674?
False
Let g(t) = 62*t + 560. Does 12 divide g(51)?
False
Let z(p) = -p**3 - 23*p**2 + 48*p - 48. Let s be z(-25). Suppose a - 244 = -n, -n = 4*a + s*n - 972. Does 10 divide a?
True
Let f(t) = -7412*t - 10054. Is 24 a factor of f(-6)?
False
Suppose -2*l - 4*c = -0*l - 56, -4*l + 2*c + 62 = 0. Let w be 35/((12/l)/((-4)/(-6))). Let i = w + 1. Does 9 divide i?
True
Let v(x) = 113*x - 3874. Is v(52) a multiple of 14?
True
Let k = 20873 + -13165. Is k a multiple of 34?
False
Let b(l) = l**2 - 2*l**3 - 117*l + 4 + l**3 + 118*l. Let v be b(-2). Let o = v + 7. Is 7 a factor of o?
True
Let g(w) = 1 - 2135*w - 2130*w + 4306*w - 4. Let s(f) = -2*f - 5. Let k be s(-4). Is 8 a factor of g(k)?
True
Suppose 0 = -57*w + 1869 + 3803 + 1054. Is w a multiple of 90?
False
Let f(j) be the first derivative of 73*j**2/2 + 224*j - 129. Does 22 divide f(3)?
False
Let j(d) = -d**3 - 22*d**2 - d - 43. Let a(m) = 2*m - 1. Let l(r) = 2*a(r) - j(r). Is l(-21) a multiple of 18?
False
Let w = -12 - -21. Let k(v) = 12 + 3*v**2 + w - v**2 - 8*v - 15. Is k(10) a multiple of 11?
False
Let q(z) be the third derivative of 7*z**5/20 + 3*z**4/8 + 9*z**3/2 - 9*z**2 + 1. Is q(-5) a multiple of 39?
True
Let i be -13 + 13 + (0 - -29) + 0. Suppose 0 = -2*f - 5*x + i, 3*f + 63 = 7*f + 5*x. Suppose z = -5*s + 78, -3*s = -4*z + f + 318. Does 10 divide z?
False
Let y(u) = -u**3 + 6*u**2 + 4. Let t be y(3). Suppose t - 1 = 2*j. Let v(n) = -n**2 + 24*n - 34. Is 13 a factor of v(j)?
False
Let a = 9511 - -3078. Is 15 a factor of a?
False
Suppose -17776 = 7*k - 9*k - 4*v, -35552 = -4*k - 4*v. Is 22 a factor of k?
True
Let a(w) = 25*w**2 - 12*w + 3. Let j be a(5). Suppose -2*y + 1512 = -j. Is 52 a factor of y?
True
Suppose 56*a - 26 = 54*a. Suppose a*w - 4*w - 1008 = 0. Does 10 divide w?
False
Let n = 7437 + -1611. Suppose 24*p = 7902 + n. Does 52 divide p?
True
Let m(y) = 16*y + 8. Let o be m(-2). Is 48/9*(-1458)/o a multiple of 10?
False
Does 11 divide (9/(-12) + (-56)/(-32))*3217?
False
Let a = 3991 + 36409. Does 10 divide a?
True
Let b = 280 + -100. Suppose -y = 2*c - 227 - b, -3*c + 5*y + 591 = 0. Is 37 a factor of c?
False
Let d(n) = -25*n + 3. Let a be d(-2). Let t = 61 - a. Let l(s) = -s**3 + 9*s**2 - 7*s + 28. Is 4 a factor of l(t)?
True
Is ((-13550 - 15)/((-21)/6))/((-6)/(-42)) a multiple of 100?
False
Let s = -8411 - -12746. Let b = s + -2947. Is b a multiple of 15?
False
Let t = -88 - -76. Let o be 0*(9/(-2) + t/(-3)). Is o/6 + (87/3)/1 a multiple of 6?
False
Does 19 divide (-1 - 75)*(2/(-8))/(3/711)?
True
Let f be -28*1/(-3)*3. Let t(u) = u**3 - 4*u**2 + 4*u - 4. Let m be t(4). Let v = f + m. Is 40 a factor of v?
True
Suppose 3*o - 36 = -o. Let x = -480 - -586. Suppose -164 - x = -o*q. Is q a multiple of 5?
True
Does 3 divide (-5 - -14) + -15 - (0 + -36)?
True
Let z(v) = 174*v**3 + 3*v - 2. Suppose -4*g - 4*o = -24, -4*g - 9 - 2 = -3*o. Let r be z(g). Is r/5 - (1 - (-4 - -3)) even?
False
Let j(x) = -x**3 - 17*x**2 + 19*x - 188. Is j(-33) a multiple of 49?
False
Let q(i) = 66*i**2 - 45*i + 30. Does 28 divide q(-13)?
False
Suppose 5*d + 16 = -4*h - 8, -3*d = -3*h - 18. Does 30 divide (150/(-24) - h) + (-249)/(-4)?
False
Let q = 6 + -2. Suppose -2*i + 400 = -5*f + 392, 3*i = 5*f + 12. Suppose -159 = -k - f*y - y, 5*k + q*y = 790. Is 14 a factor of k?
True
Let l(s) be the second derivative of 13*s**3/6 + 104*s**2 + 2*s - 15. Does 25 divide l(9)?
True
Let r(v) be the third derivative of 53*v**4/12 + 32*v**3 - 25*v**2. Is r(5) a multiple of 10?
False
Let y(m) = 188*m - 3968. Is 34 a factor of y(24)?
True
Let s be ((-18)/15)/(2*(-9)/60). Suppose d - 2952 = -5*q, 2*q - 391 = -s*d + 797. Is q a multiple of 26?
False
Is 75 a factor of (228/19)/((-6)/(-3968)) - 12/2?
False
Let w be ((-2)/5)/((-3)/(-15)). Suppose 53*d + 23*d = -9*d - 170. Is d*w/10 - (-666)/10 a multiple of 16?
False
Let f(r) be the first derivative of 7*r**3/3 + 3*r**2/2 + 24*r - 29. Let h be f(-4). Does 11 divide (1 + h)*(12 + -11)?
False
Suppose 0 = 9*g - 17*g + 16. Let r be g + 6/(-2) + 497. Suppose 5*p - r = -51. Is 17 a factor of p?
False
Let w(q) = 4 - 11*q - 15*q - q**3 + 6*q**2 + 23*q. Let k be w(3). Suppose 1140 = k*x - 17*x. Is x a multiple of 38?
True
Let l(k) be the second derivative of k**5/20 + k**4 + k**3 + 4*k**2 + 15*k. Suppose -60 = 5*p - 40. Does 20 divide l(p)?
False
Let i(t) = t**2 + 2*t + 405. Let y be i(0). Let d = 735 - y. Is 22 a factor of d?
True
Suppose -235 = -5*z - 5*m, 5*z + 3*m = -43 + 286. Let f be 2*40 + (3 - 2). Let g = f - z. Is g a multiple of 10?
True
Let g(c) = 403*c + 569. Is 125 a factor of g(2)?
True
Let p = 53 + -150. Let x = p - -97. Suppose -12 = 3*h, x*h = -4*y - h + 44. Does 12 divide y?
True
Let c be ((-42)/49)/((-6)/28 - 0). Let u = c - -27. Is -1 + 2 + u - 0/7 a multiple of 4?
True
Suppose 7*s - 3*s + 24 = 0, -54831 = -3*z + 5*s. Does 50 divide z?
False
Let l be ((-55)/10 + 4)*2. Let q(k) = 7*k**2 + 3*k - 2. Let o(t) = t**3 + 20*t**2 + 8*t - 6. Let r(m) = -3*o(m) + 8*q(m). Is r(l) a multiple of 16?
False
Let j = -1492 + 4209. Is j a multiple of 21?
False
Let k = -27 + 29. Let r be (k/(-6))/((-3)/45). Suppose 490 = 15*n - r*n. Is 7 a factor of n?
True
Suppose -162*d + 73457 = -145*d. Does 29 divide d?
True
Let d be (-894)/(-3)*(4 - 3). Suppose 7*o - 752 = d. Is -3*(o/(-54) + 2/(-9)) a multiple of 2?
False
Let n(m) = m**3 - 8*m**2 + 8*m - 4. Let w be n(6). Let o = w + 32. Suppose -3*h = 4*c - 348, h - 104 = -o*c + 20. Does 8 divide h?
True
Let m(i) be the second derivative of i**3/6 + 8*i**2 + 3*i. Let q be m(-13). Suppose l = 4*w - 171, q*l - 5*l = -10. Is w a multiple of 22?
True
Let r = 9224 + -6402. Is r a multiple of 96?
False
Let l(x) = 2*x + 52. Suppose 0 = 4*j - 8*j. Let n be l(j). Suppose 0 = -t + c + n, -t + 140 = 2*t + 5*c. Is t a multiple of 10?
True
Let o = -3738 - -5137. Is 14 a factor of o?
False
Suppose 21*k - 19*k = 24. Let n(d) =