*2 + 16*h + 2. Let b(o) = -2*o**2 + 31*o + 4. Let y(a) = 6*b(a) - 11*m(a). Does 19 divide y(6)?
False
Let d = -1 - -17. Let v = -11 + d. Suppose v*n - 202 = c, 0 = -2*n - 3*n + 4*c + 208. Is n a multiple of 8?
True
Let r(o) = -3*o**2 - o - 6*o**2 + 2*o**2. Let u be r(-1). Let l(a) = -7*a + 3. Does 15 divide l(u)?
True
Suppose -4*h + 2029 = w, -3*h - 4*w + 1498 = -8*w. Does 46 divide h?
True
Let u(g) = 18*g**2 + g + 10. Is 83 a factor of u(6)?
True
Let f(b) = -b**3 + 24*b**2 - 13*b + 39. Does 10 divide f(17)?
False
Let x = -12 - -9. Does 22 divide (-4 - x) + 1*45?
True
Let i(w) = -w + 3. Let y be i(-8). Suppose 12 = -o - 4*r + 2, 0 = 4*o - r - y. Suppose s + 13 = 5*m + 2*s, 1 = -m - o*s. Is m a multiple of 3?
True
Suppose l = 5*h - 23, 3*h + 3*l + 0*l - 3 = 0. Suppose 0 = -h*q + 10 + 6. Let p(d) = -d**3 + 5*d**2 - 2*d - 3. Is 2 a factor of p(q)?
False
Let l = 5 + -4. Let i be (-27)/(l - 12/10). Let p = i - 73. Is 17 a factor of p?
False
Suppose 41*q = 40*q + 4. Does 4 divide q?
True
Suppose j - 3*l = 2*l + 29, 3*l = -2*j + 6. Suppose -297 = -4*y - j. Suppose -5*w + 8*w - y = 0. Does 12 divide w?
True
Suppose 20 = -3*o + 4*k, -k = -o + 2*o - 5. Suppose 6*h - 20*h + 938 = o. Is h a multiple of 7?
False
Let j(v) be the third derivative of 3/20*v**5 - 1/120*v**6 + v**2 - 1/8*v**4 + 0*v - 7/6*v**3 + 0. Does 11 divide j(8)?
True
Let x be 12*(-1)/(-7)*(-1 - -8). Let l(c) = -c**3 + 14*c**2 + 11*c - 38. Does 36 divide l(x)?
False
Suppose -3*i = -i - 24. Let w be i/(-7) + 2/(-7). Is 13 a factor of 438/12 + w/4?
False
Suppose -2*a + 2*k - 14 = 0, 5*a - 3*k + 18 + 7 = 0. Is 8 a factor of (-1 - 1)*a/3*42?
True
Let c(v) = 7*v**3 - 18*v**2 + 26*v + 11. Let y(i) = 15*i**3 - 36*i**2 + 53*i + 22. Let p(r) = 13*c(r) - 6*y(r). Is 31 a factor of p(17)?
True
Let p be (-1)/2 - 198/12. Let l = p - -12. Let t(n) = -n**3 - 4*n**2 - n + 7. Does 10 divide t(l)?
False
Let h be 4/10 - 624/(-40). Is 23 a factor of (h/(-20))/(8/(-1380))?
True
Let f(t) = 2*t + t - 2*t - 71*t**3 + t**2. Let z(a) = -a - 2. Let g be z(-1). Is 22 a factor of f(g)?
False
Suppose -12*f + 0*f = -768. Let a = 78 - f. Is a a multiple of 14?
True
Let s(z) = -9*z + 465. Is 4 a factor of s(21)?
True
Let s(q) = -21*q + 78. Does 71 divide s(-14)?
False
Suppose 23*f = 9*f + 15456. Does 24 divide f?
True
Suppose -4*x = 24*n - 25*n - 532, -2*x = 2*n - 256. Is x a multiple of 33?
True
Suppose -12*l + 534 = -162. Is 23 a factor of l?
False
Let y(v) = 2*v - 28. Let o be y(15). Suppose -o*m + 5*n - 6*n = -253, m + 2*n = 128. Does 21 divide m?
True
Suppose -2*d + 26 = -4*v, -3*d = v - 1 - 3. Suppose -d*i = -15 - 3. Suppose 10 - i = a. Does 4 divide a?
True
Suppose 0 = 4*l - 20, m - 382 = -2*m + l. Let x = m - 92. Does 30 divide x?
False
Suppose 13*a + 4300 = 2*y + 10*a, 0 = -y + 4*a + 2140. Is 75 a factor of y?
False
Let j(u) = 2*u**3 - 7*u**2 + 10*u - 5. Let p be j(5). Suppose 4*v - 6*v - p = 0. Does 11 divide (66/5)/((-24)/v)?
True
Let x(g) = -6 - 6*g + 0 + 14*g + 47*g. Is x(2) a multiple of 26?
True
Suppose -3*j - 13 + 40 = 0. Suppose -21 = -x - j. Does 4 divide x?
True
Let f = -30 - -110. Suppose 0 = -z, 5*h - z = 4*z + f. Is h a multiple of 8?
True
Let n = 85 + 667. Is n a multiple of 27?
False
Is ((-3)/9)/(35/(-16590)) a multiple of 79?
True
Let g(t) = 5*t**2 - 56*t + 39. Does 91 divide g(-15)?
False
Let y(w) = 31*w**2 + 17*w - 40. Is 118 a factor of y(3)?
False
Suppose -2*h = -44 + 30. Suppose h*t + 112 = 11*t. Does 15 divide t?
False
Let m be (57/9)/(3/63). Suppose -31*t = -32*t + m. Does 13 divide t?
False
Let s(l) = -l + 9. Let a be s(5). Suppose -4*n + q + 189 = -118, -316 = -a*n + 4*q. Does 8 divide (2 + n/(-14))*-7?
True
Let a(p) = -p**2 + 9*p + 4. Let z be a(9). Let i = z - 6. Does 10 divide (-1 - -2) + (-74)/i?
False
Suppose -j + 0*t + 5*t + 31 = 0, -3*t + 127 = 5*j. Let p be j - (3 + (0 - 1)). Let m = p - 9. Does 15 divide m?
True
Let s(o) = 2*o**3 + 8*o**2 - 6*o - 2. Let y be s(-6). Let q = 384 + y. Is q a multiple of 48?
False
Let r(z) be the second derivative of 7*z**4/3 + z. Let c(t) = t**3 + 10*t**2 + 8*t - 10. Let q be c(-9). Does 14 divide r(q)?
True
Let c(t) = t**3 + 14*t**2 - 17*t - 19. Let y be c(-15). Let q be (-10 + y)/((-1)/(-1)). Let n = 12 + q. Is 7 a factor of n?
False
Let i = 715 + -328. Is 32 a factor of i?
False
Is 12 a factor of (13 + -17)*(-38 + 5)?
True
Let l = -300 + 336. Does 9 divide l?
True
Let k = 19 - 11. Let w = 35 - k. Suppose 3 = 2*t - w. Does 5 divide t?
True
Let s = 2 + 4. Let f be 9/6 + 3/s. Suppose -115 = -2*w + 3*t, f*t = -0*w + 5*w - 315. Is w a multiple of 21?
False
Let o be (28/21)/(2/3). Let v be (-8)/2 - (2 + o). Is 7 a factor of ((-70)/40)/(2/v)?
True
Let c = 862 + -787. Is c a multiple of 30?
False
Suppose 3*f = 1 - 1. Let w(j) = -26*j - 6. Let z be w(-6). Suppose f = -5*i - 0*i + z. Is i a multiple of 15?
True
Suppose -2*a = -4*a + 102. Suppose 2*u + 3*z - a = -3, -2*z - 8 = 0. Is u a multiple of 15?
True
Suppose x + 1 = -3*a + 8, 4*a = 2*x + 16. Suppose -8*o + 9*o - 2 = 0. Suppose -o*i + 80 = a*i. Is 6 a factor of i?
False
Let v = 59 - 47. Is 11 a factor of 9*(-3)/(-9)*416/v?
False
Suppose -n - 620 = 2*r + 23, 3*r - 2*n + 961 = 0. Let j = -191 - r. Is j a multiple of 26?
True
Let k(x) = x**3 + 6*x**2 - 6*x - 12. Suppose 2*s + 10 = 2*n - 6, 2*s + 3*n + 6 = 0. Is k(s) a multiple of 6?
True
Suppose -22*p + 21088 = -4784. Is p a multiple of 21?
True
Let j be (4*(-45)/(-72))/((-2)/(-4)). Suppose -2*d + 27 = j. Is d a multiple of 8?
False
Let f be -1*27*(115/(-15) + 6). Suppose 3*v + 6*p - 2*p = f, 6 = 2*p. Is v a multiple of 9?
False
Suppose 4 = 2*n - 2. Suppose -72*p = -78*p + 36. Suppose -p*l + n*l = -51. Does 17 divide l?
True
Suppose -471 = -v + 52*p - 53*p, 0 = -4*p + 12. Does 52 divide v?
True
Suppose -361*f + 369*f = 3208. Does 6 divide f?
False
Let p(m) = -12*m - 28. Let t be p(-10). Let h = -47 + t. Does 5 divide h?
True
Suppose 100 = 13*w - 12*w. Suppose -3*i + 4*i - 5*m - 37 = 0, -4*i + 4*m = -w. Is 22 a factor of i?
True
Let l = 21 - 14. Suppose -f = -l*f - 24. Is 2 a factor of (-1)/((-81)/(-21) + f)?
False
Suppose -3*x + 3*p = -1959, -x - x - 2*p + 1318 = 0. Is x a multiple of 10?
False
Suppose y - 1164 = -3*v, -v - 145 + 529 = -y. Suppose 4*f = 29 + v. Is 18 a factor of f?
False
Let k(c) = c**3 - 16*c**2 + 6*c - 4. Let s be k(16). Let q = s + -29. Does 9 divide q?
True
Suppose 2364 - 6204 = -16*x. Does 15 divide x?
True
Let z(j) = -2*j**2 - 7*j + 10. Let s(f) = f**3 + 9*f**2 + 2*f + 11. Let y be s(-9). Let t be z(y). Is (5/(-15))/(1/t) a multiple of 4?
False
Let l be 2292/8 + (-9)/6. Suppose 5*r - l = 10. Is r a multiple of 9?
False
Let z = -3991 - -5915. Is 26 a factor of z?
True
Suppose -4*q + q + 51 = 0. Let g = q + -15. Suppose 11 = t - r - 29, g*t - 84 = 3*r. Is t a multiple of 9?
True
Let a(p) = -2*p + 21. Let j be a(10). Let k(i) = 22*i**2 - i + 1. Let n be k(j). Is 8 a factor of (-1 + n)*24/18?
False
Let v = -4 - -6. Suppose 2*t - 4*t = -v. Is 2 a factor of t*(-1)/((-1)/4)?
True
Let x = -414 + 852. Is x a multiple of 13?
False
Suppose 87 = f + 11. Let r = 41 - f. Let v = 19 - r. Is 28 a factor of v?
False
Let h be ((-24)/(-60))/((-2)/80). Is (124/h)/(3/(-12)) a multiple of 17?
False
Let o = 67 + -55. Suppose 4*d = 4*i + 16, -2*d + 4*i = -5*d + 40. Does 9 divide -18*(o/d - 2)?
True
Suppose 0 = 4*k + 17*v - 18*v - 1981, 5*k + 2*v = 2460. Does 13 divide k?
True
Let j = 305 + -179. Does 3 divide j?
True
Let o be ((12/4)/(-3))/1. Let h be o - (-43)/(-1 + 2). Suppose k - 3*d - 2*d - h = 0, -210 = -5*k + 5*d. Is 9 a factor of k?
False
Let o(r) = -r**2 + 30*r - 150. Is 16 a factor of o(16)?
False
Suppose 11 = o - 2*l, -3*l + l - 20 = -4*o. Let v = o - -23. Is 6 a factor of v?
False
Suppose -6*t = -525 - 7869. Is 34 a factor of t?
False
Suppose -3*a + 176 + 568 = 0. Is 8 a factor of a?
True
Suppose 12*z = 13*z - 9. Let q be 6/z*132/(-8). Let v = 7 - q. Is v a multiple of 18?
True
Let y(q) = q**3 - q**2 - 13*q + 6. Let m be y(4). Is (44 - (-2 + 0)) + m a multiple of 11?
False
Let y(q) = q**3 + 20*q**2 + 11*q - 25. Let i be y(-19). Let b = i + -103. Is b a multiple of 4?
True
Let j = 311 - 122. Is j a multiple of 9?
True
Let i be ((-5)/(-25))/(1/5). Let h(g) = 47*g**3 + g**2 - g + 1. Is h(i) a multiple of 12?
True
Is ((-273)/(-9))/((-1)/(-24)) 