
Let m(z) = z**3 - z - 3. Let s be m(3). Suppose g + 6 = -x, -2*g - s = 2*x - 3*g. Let h = x + 16. Does 6 divide h?
False
Does 17 divide (-95200)/320*(-1 + -1)?
True
Let o = 0 - -4. Let j(f) = 7*f**2 - 3. Let b be j(o). Does 20 divide b - (10/(-5) - 0)?
False
Suppose 5*y - 150 = 245. Let x = 1633 - y. Is x a multiple of 74?
True
Let d = 1900 - 876. Suppose 5*m = 9*m - d. Suppose -m = -3*h - h - 4*s, 2*s = 0. Is 12 a factor of h?
False
Suppose 9518 + 28954 = 7*l. Is l a multiple of 12?
True
Let b(s) = -7*s**2 + 9*s - 16. Let a(h) = -20*h**2 + 27*h - 47. Suppose -4*w - 21 = -c - 4, -c + 1 = 0. Let j(r) = w*a(r) + 11*b(r). Is 11 a factor of j(6)?
True
Let x(m) = 10*m + 164. Let s be x(-18). Let l(g) = -31*g - 60. Does 73 divide l(s)?
False
Suppose 2*n + 224 = 2*y, -2*y + 328 = y - n. Suppose -v - 5*v + y = 0. Does 3 divide v?
True
Suppose -2*c = 50 - 56. Suppose -44*j - 1525 = -46*j - 3*d, -2290 = -c*j - 4*d. Is j a multiple of 11?
True
Suppose 3*u + 8*g - 3*g = 23899, 3*u + 10*g - 23924 = 0. Is u a multiple of 24?
False
Suppose 0 = -6*g - 4*s + 6092 + 1000, 2*g - 2364 = 5*s. Is 6 a factor of g?
True
Suppose 5*r = -3*k + 5038, -36*k + 34*k + 2*r = -3364. Is 41 a factor of k?
True
Let a = -10422 - -17720. Does 41 divide a?
True
Let n = 4645 - 3191. Does 48 divide n?
False
Suppose 4*z = 2*z + 18. Let g(n) = -n + 9. Let q be g(z). Suppose q = -p + 18 + 30. Is 18 a factor of p?
False
Let c = -171 + 175. Is 22 a factor of ((-154)/(-4))/(c + (-105)/28)?
True
Let x = -2536 - -16198. Does 198 divide x?
True
Suppose -2*l = 2*k - 3*l - 11, 2*k = 5*l + 15. Suppose q + 2*q = -k*z + 1111, -5*q + 1856 = 4*z. Is 33 a factor of q?
False
Let z = -103 - -97. Let l(w) = -7*w - 40. Let f be l(z). Suppose x - f*x - 121 = -2*i, 0 = -2*i - x + 119. Is 10 a factor of i?
True
Let q be 96/(-9)*(-513)/(-36). Does 10 divide q/(-14)*-28*12/(-96)?
False
Let h be ((-1)/6)/(5/(-5970)). Let t = -87 + h. Is 28 a factor of t?
True
Let q(p) = 10*p + 470. Does 14 divide q(-8)?
False
Suppose 26 = 2*q - 4*v, -3*q + 13 - 9 = v. Is 31 a factor of (28/q)/((-8)/(-124))*3?
True
Suppose 10 = 2*h - 2*i, 0 = -2*h + h - 4*i - 10. Suppose 0*k + z + 120 = 2*k, k + h*z = 70. Suppose 4*o = s - 120, -o + k = s - 78. Does 34 divide s?
True
Let u = -18601 + 23809. Is 168 a factor of u?
True
Let p = 24844 + -12023. Suppose -8079 = -19*g + p. Is 50 a factor of g?
True
Suppose 97*k = -74*k - 408967 + 1178467. Is k a multiple of 45?
True
Let o = -285 + 287. Suppose -2*g - 4*f = -1948, -o*g - f - 410 = -2355. Is g a multiple of 27?
True
Let n = 165 + -286. Let m = -205 - n. Let b = m - -119. Does 9 divide b?
False
Let g(t) = -t + t + 5 - 8*t + 7*t**2. Is 5 a factor of g(5)?
True
Suppose 0 = 5*j + 2*d - 1508, -4*j - 2*d = 578 - 1784. Does 15 divide j?
False
Is 1173366/180*(-10)/(-15)*5 a multiple of 62?
False
Let r = 2607 + -2588. Is r even?
False
Suppose t = -t - r + 3, 0 = 2*t - 5*r - 9. Let g(d) be the third derivative of 11*d**6/120 - d**4/24 - 2*d**3/3 - 2*d**2. Is 25 a factor of g(t)?
False
Let z = 3117 + -1720. Is 37 a factor of z?
False
Suppose -4*w - 218*d + 28541 = -215*d, -3*w = -4*d - 21437. Is w a multiple of 48?
False
Suppose -2*q = -8, 0*n = -n + q. Suppose n*d - 13 = 7. Does 6 divide 7 + (1 - (-3 + d))?
True
Is 225 a factor of ((-5)/(325/234))/((-3)/17915)?
False
Let p(m) be the second derivative of 8*m**3 - 18*m**2 + 86*m - 1. Is 13 a factor of p(4)?
True
Suppose 70*a = 69*a - 3*x + 44149, 0 = 2*x - 14. Is 30 a factor of a?
False
Suppose -8*t + 26388 - 5316 = 0. Suppose 542 = w - 3*b, 6*w + 4*b = w + t. Does 28 divide w?
False
Let z(f) = 29*f + 31. Let s(i) = -57*i - 61. Let v(h) = 6*s(h) + 13*z(h). Does 17 divide v(7)?
False
Suppose 0 = 8*a - 6*a + 2*c + 14, 3*c = -5*a - 45. Is 15 a factor of (-5)/5*(-3)/(a/(-1060))?
False
Let p = -705 + 3795. Is 103 a factor of p?
True
Let h = -400 - 691. Let m = -608 - h. Is 21 a factor of m?
True
Let h(k) = -53*k**2 + 1402*k + 20. Does 213 divide h(21)?
False
Suppose -3*r - 15*r + 54 = 0. Suppose m = -2*a + a + 8, 5*a - r*m - 16 = 0. Is (-469)/(-2) - (a/10 + 0) a multiple of 18?
True
Suppose w - 17 = -5*q, 2*w - 30 + 4 = -2*q. Suppose 2*x + w = 8*x. Suppose -74 = -2*f - 2*d, -4*f - x*d + d + 154 = 0. Is 27 a factor of f?
False
Suppose 9*k = 5*k - 4*u + 12, 3*u = -k - 5. Suppose 5*m + 2*w - k*w - 1030 = 0, 5*m + 5*w - 1060 = 0. Is m a multiple of 7?
False
Let j = 3552 + -1696. Does 32 divide j?
True
Let j(d) = -55*d + 2. Suppose 0 = -5*l - 4*w - 17, 1 = 5*l + 2*w - 4*w. Let g be j(l). Suppose f - g = -0*f. Is 14 a factor of f?
False
Let g(n) = -3*n - 6. Let f be g(-3). Suppose 0*l + f*l = 3*j + 33, -4*l = 3*j - 65. Suppose 10*v = l*v - 96. Is 6 a factor of v?
True
Suppose 0*m + 2*m - 6 = 0. Suppose 5*d = f - 25, -5*d = -22*f + 18*f + 25. Suppose f = m*x + x - 104. Is 3 a factor of x?
False
Let w(m) = -154*m**3 + 10*m**2 - 45*m - 413. Is w(-7) a multiple of 49?
True
Let j(x) be the third derivative of 31*x**5/30 - 5*x**4/24 + 7*x**3/3 + 43*x**2. Is 18 a factor of j(2)?
True
Let j = 6176 + -5621. Is j a multiple of 185?
True
Let v be (-4 + 4)/(2 + 2). Suppose v = 5*c - 4*i - 20, -4*c - 5 = 5*i + 20. Is (c + 114/10)/(1/5) a multiple of 19?
True
Suppose 4*a + 0*a = 8. Let u(z) = 2*z**3 - 12*z**2 - 6*z + 28. Let n be u(7). Suppose -a*l = -5*l + n. Does 7 divide l?
True
Let h(l) = -l**3 - 64*l**2 + 69*l + 1705. Does 17 divide h(-65)?
True
Let l(t) = -3*t**2 - 10*t - 33. Let a(x) = -11*x**2 - 41*x - 135. Let i(v) = 2*a(v) - 9*l(v). Is 21 a factor of i(8)?
False
Let r be -66*1/3*(1 - 2). Is 17 a factor of (-106)/(-6) - r/33?
True
Let k = 10139 + -9221. Is 3 a factor of k?
True
Let l(s) = 244*s - 3407. Is l(22) a multiple of 9?
False
Let c be (-6870)/17 + (-3)/((-51)/2). Let f = c + 632. Does 12 divide f?
True
Let w(m) = -23*m - 12. Let v be 406/(-21)*9/(-6). Let z = v + -33. Is w(z) a multiple of 10?
True
Suppose g = 74 + 132. Let n(s) = 66*s + 62. Let j be n(-2). Let p = j + g. Is p a multiple of 26?
False
Let u(j) = 171*j**2 - 68*j + 320. Is u(5) a multiple of 21?
False
Let w(m) = -m**3 + 65*m**2 - 81*m + 918. Is w(54) a multiple of 36?
True
Let s(f) = -f**3 + 4*f**2 + 3*f + 4. Let n = 22 + -22. Let i be (-3)/((-3)/4) - n. Is s(i) a multiple of 6?
False
Is (35/(1050/144))/((-37662)/37665 + 1) a multiple of 18?
True
Let j be 7 + -10 + (-38)/(-2). Suppose 0*q + 4*q + 4*o = 12, 4*q + 2*o = j. Suppose f - 152 = -5*n, -q*f - 7*n + 5*n = -737. Is 21 a factor of f?
True
Let g = -379 + 535. Suppose -3*q - 4*n = -1228 + g, -3*q + 1052 = -n. Is 10 a factor of q?
False
Suppose -5*m - 5*a - 380 - 475 = 0, -5*m - 895 = -5*a. Let c(o) = -o**3 + 9*o**2 - 3*o - 4. Let f be c(9). Let t = f - m. Does 16 divide t?
True
Let k(r) be the first derivative of -31*r**2 - 180*r - 126. Is k(-4) a multiple of 4?
True
Let h(y) = -y**3 + 6*y + 13. Let p be h(-3). Suppose -p*b + 25*b - 3057 = 0. Is 19 a factor of b?
False
Let y be (81 - 79)*66/16*(-8)/(-6). Let f(i) = -i**3 + 4*i**2 + 3*i - 4. Let l be f(4). Suppose -l*v = -y*v + 54. Does 9 divide v?
True
Let a(r) = -11*r + 272. Let p be a(11). Let c(z) = -10*z + 2. Let s be c(3). Let o = p - s. Is 15 a factor of o?
False
Suppose 603*q = 529*q + 19610. Is q even?
False
Let b(r) = -25*r + 10. Let i be b(9). Let d = i + 618. Suppose -17*u + 4*u + d = 0. Is 6 a factor of u?
False
Let k = 192 - 187. Suppose 4*j = -k*j + 702. Is 6 a factor of j?
True
Suppose 3*i = -2*h + 2*i - 62, -h + 2*i - 41 = 0. Let p(c) = -c**3 - 34*c**2 - 34*c + 25. Does 10 divide p(h)?
False
Suppose -12*k = -7*k - 30. Suppose 0 = -2*j + 3 + 3, -2*j + 32 = l. Let z = l + k. Is z a multiple of 4?
True
Suppose 3*m + z + 21 = 5*m, -5*m = -z - 45. Suppose 465 = m*u - 143. Is 35 a factor of u?
False
Let v(m) = m**2 - 16*m - 14. Let l be v(19). Suppose -44*j + l*j = -138. Suppose 0 = -7*b + 23 + j. Does 14 divide b?
False
Let i = 145 + -1078. Let j = i + 1431. Does 43 divide j?
False
Let c be ((-64)/(-3))/1 - 1/3. Let g be (-32)/3*c/(-2). Let i = -76 + g. Is 4 a factor of i?
True
Suppose 2*i - 1 = 3*i. Let t be i*((-9)/3 - 0). Suppose p + 141 = 3*u, -u = t*p - 15 - 42. Is 12 a factor of u?
True
Let x = -12500 + 14701. Is 41 a factor of x?
False
Let z be (-3)/(-4 + 3*3/9). Let a be (z - 440/5)*2/(-6). Suppose 0 = 3*r + 2*p - a, -3*p = -3*r - 4*p + 28. Is r a multiple of 6?
