 - 2*h + 24 = 0, -3 = -3*h + 9. Let r = y - 3. Is 2 - (6/3 + r) a multiple of 19?
True
Let u(f) = f**2 + f + 11. Let r be u(-10). Let l = -47 + r. Is l a multiple of 28?
False
Let c(y) = -y**3 + 6*y**2 + 12*y - 11. Let d be c(7). Let l = 30 + d. Does 3 divide l?
True
Suppose -33*a = -37*a + 2*p + 1830, 3*p = -5*a + 2293. Is a a multiple of 6?
False
Let t(x) = -9*x - 260*x**2 + 4 + 18*x + 11*x + 259*x**2. Suppose -r - 98 = -6*r + i, 0 = 5*r - 5*i - 110. Does 12 divide t(r)?
False
Suppose -3*a = g - 208, 3*a + 416 = 2*g + 4*a. Is g a multiple of 16?
True
Let f(k) = -200*k - 111. Does 21 divide f(-4)?
False
Suppose i = 3*w + 282, -6*i - w + 290 = -5*i. Does 3 divide i?
True
Let k be 276/161*(1 - (-20 - 0)). Let u = k + 224. Is 26 a factor of u?
True
Let t(o) = o + 11. Suppose -2*l + 2*y - 6 = -0*y, -47 = 4*l + 3*y. Let w be t(l). Suppose 5*p - 134 = w*s, -9 = 3*p + 2*s - 78. Is p a multiple of 7?
False
Let q(m) = -m - 7. Let g be q(-7). Let x be g/(2/(-2)) - -2. Suppose -x*u = 2*u - 280. Does 20 divide u?
False
Suppose 0*g = -4*g + 32. Suppose 25 = i - g. Let l = i + 8. Is l a multiple of 10?
False
Let a(t) = 21*t**2 + 16*t + 5. Is 11 a factor of a(-6)?
False
Let r be (-6)/(-5)*(8 + -13). Let w(f) = -2*f - 6. Let c be w(r). Suppose -2*o + 3*n = -23, 3*o + c = 3*n + 42. Is o a multiple of 13?
True
Suppose -18*p + 20*p - 10 = 0. Suppose -4*i = -p*y - 56, -3*i = y - 24 - 18. Is i a multiple of 7?
True
Let b(o) = -o + 1. Let s(z) = -z + 8. Let a(h) = -2*b(h) + s(h). Let k be a(-4). Is 13 a factor of (246/18)/(k/6)?
False
Let g(w) = -10*w - 17. Let i = -89 + 82. Does 41 divide g(i)?
False
Let i be (3 + -2)*-4*3. Let k = 16 + i. Suppose k*v = 69 + 67. Does 10 divide v?
False
Let h(v) = -v**3 - 5*v**2 + 8*v + 90. Is 17 a factor of h(-10)?
True
Let w(p) = -p**3 + 19*p**2 - 7*p + 5. Does 58 divide w(17)?
True
Does 16 divide 1 - 4 - (-6)/((-84)/(-5194))?
True
Suppose -p - 11 = -3*r + 34, 5*r = 5*p + 85. Let a be r/(-35) - (-64)/10. Is 2/a + 178/6 a multiple of 10?
True
Let p(z) = z**3 - z**2 - z + 2. Let i be p(0). Let r = 9 - i. Is 3 a factor of r?
False
Let k(h) = h**3 - 8*h**2 + 8*h. Suppose i - a - 43 = 0, 4*i - 3*a - 170 = 1. Suppose -3*o + i = 5*x - 2*o, 0 = 5*x + 4*o - 48. Is 14 a factor of k(x)?
False
Suppose -c + 3*r + 1716 = 6*r, 4*c = -2*r + 6904. Is c a multiple of 36?
True
Let u = -847 + 1283. Suppose -413 - u = -3*t. Is t a multiple of 43?
False
Let p(z) = -11*z + 32. Let g(y) = y**2 - 13*y + 16. Let t be g(10). Does 18 divide p(t)?
False
Let k(g) = g**2 - 3*g - 4. Let b be k(-5). Let z be 388/b + (-2)/(-9). Let h = z - 2. Does 5 divide h?
False
Let h(i) = i + 1. Let w be h(10). Let t(n) = -n**2 + 11*n + 27. Is 27 a factor of t(w)?
True
Suppose 336*d - 328*d = 27360. Is 15 a factor of d?
True
Suppose -r = 2*l - 1943, 0 = -3*l - 3*r - r + 2917. Does 16 divide l?
False
Let u be 2/(-8) - (-475)/76. Let z be 3972/36 + 4/u. Suppose 3*a - 57 = z. Does 14 divide a?
True
Let q = 7 - 9. Let k be 11/3 - q/6. Suppose -k*x + 39 = 5*g, -5*x = -2*g + 4*g - 19. Is 7 a factor of g?
True
Let m = 2999 - 2471. Is m a multiple of 16?
True
Let b(z) = z**2 + 5*z + 5. Let d be b(-4). Let s = -4 + d. Let i(n) = -n**3 + 5*n + 2. Does 9 divide i(s)?
False
Suppose 0 = -3*r + 5*n + 27, -r - n + 2 - 1 = 0. Let t = -114 + 122. Suppose -3*k = -0*k - j - 134, r*j + t = 0. Is k a multiple of 23?
False
Let n(o) = o**3 + 20*o**2 + 19*o + 17. Is n(-19) even?
False
Let s be (-1)/(18/(-15) - -1). Let w(q) = -q**3 + q. Let b(m) = 4*m**3 - m**2 - 6*m - 5. Let l(f) = b(f) + 3*w(f). Is l(s) a multiple of 16?
True
Suppose -128 = -j - j. Suppose 4*v + 14 = 5*y - 6, -3*y = v + 5. Suppose -5*p = i - 156, j = -y*p + 2*p + 2*i. Does 27 divide p?
False
Let r(w) = 92*w + 356. Is 18 a factor of r(13)?
False
Let t = 40 - 39. Suppose -3*s + q = -0*q - 65, 0 = -q + t. Does 16 divide s?
False
Suppose 2*r + 2*r - 20 = 0. Let s(a) = -a + 17. Is s(r) a multiple of 10?
False
Is 165 + 85 - 3*1 a multiple of 19?
True
Is (-14)/(-6)*(-8 - -53) a multiple of 5?
True
Let u be 1/5*58*5. Let j(d) = d**3 - 4*d**2 + 2*d - 4. Let y be j(4). Suppose -4*m + 4*f - 3*f + u = 0, 68 = 4*m + y*f. Is 5 a factor of m?
True
Let i(p) = -p**2 + 18*p + 12. Suppose 0 = -3*d - m - 0*m + 57, 2*m = -2*d + 42. Let x be i(d). Let u = x + 61. Is 20 a factor of u?
False
Let d(h) = -h**2 - 5*h + 1. Let y be d(-4). Suppose y*g + 2*l = 151, 0*g - 3*g + 83 = 5*l. Is g a multiple of 31?
True
Let j = -2 + 5. Suppose -j*c + c - 2 = 0. Is (0 - c)/(2/44) a multiple of 8?
False
Suppose 5*z = 3*i + 3534, -4*i + 8*i = -z + 716. Does 12 divide z?
True
Let u = -41 + 42. Is 15 a factor of (-7)/((-24)/(-28) - u)?
False
Suppose 15577 = 4*o + c, -2*c - c = -4*o + 15589. Does 74 divide o?
False
Let j = 34 - 20. Suppose -3*q = -j - 10. Suppose 4*a - 32 = -q. Is 6 a factor of a?
True
Let d(t) = 38*t**2 + 15*t + 81. Is d(6) a multiple of 57?
True
Suppose -2*d + 5*d = 0. Let b(q) = q**3 + q**2 + 8. Let w be b(d). Let s(z) = -z**3 + 10*z**2 - 10*z + 11. Does 15 divide s(w)?
False
Let v(o) = -2*o**2 - 17*o - 14. Let u(w) = 3*w**2 + 25*w + 21. Let l(j) = 5*u(j) + 8*v(j). Does 7 divide l(-7)?
True
Let q = -892 + 2305. Is q a multiple of 29?
False
Let v be -10*(21/(-6) - -3). Let o(l) = 2*l - v - 7 - 6*l**2 + 7*l**2. Does 4 divide o(-6)?
True
Let k(b) = 4*b - 36. Let a be k(0). Does 30 divide 9/(a/(-8)) + 56 + 2?
True
Let p be (1 + 6/(-4))*-6. Let r be (17 - 11)/(-1*(-3)/2). Is (-12)/r - -33 - p a multiple of 13?
False
Suppose 0 = -8*n + 5*n - 18. Is (-100)/(-2)*(-3)/n a multiple of 5?
True
Let r(k) = k**3 - 4*k**2 + 4. Let s be r(5). Suppose -35 + s = -3*t. Suppose a + d - 288 = -t*a, 4*d = 4*a - 400. Is 22 a factor of a?
False
Let s(c) = -1 - c + 0 - 11*c - 12*c. Let m be s(1). Let a = 8 - m. Does 9 divide a?
False
Let o be (-2)/(-9) - (-4355)/(-117). Let k = o - -53. Does 9 divide k?
False
Suppose 60 = -5*s + 15*s. Let v = 11 - s. Is v a multiple of 3?
False
Let b = 9 - 1. Suppose -b*d + 7*d = -4. Suppose 0*s - 48 = -d*s. Is 4 a factor of s?
True
Let t = 1117 - 270. Is t a multiple of 77?
True
Let o(a) = 30*a**2 + 21*a + 55. Does 70 divide o(-5)?
True
Let x be 3800/28 + (-4)/(-14). Suppose 5*y = 7*y - x. Does 21 divide y?
False
Let s(o) = 48*o**2 - o - 9. Does 42 divide s(3)?
True
Suppose 2*d = -q - 3*q + 24, -16 = -4*q + 2*d. Suppose -6*r = -5*k - r + 1100, 0 = 2*k + 3*r - 440. Suppose u + k = q*u. Does 12 divide u?
False
Let h(z) = -24*z + 441. Is 95 a factor of h(8)?
False
Let s(d) = d**2 + 15*d - 70. Does 20 divide s(-21)?
False
Suppose 4*q = 3*m - 1073, 0 = -q + 2 - 7. Suppose 5*i - m = -8*i. Is i a multiple of 25?
False
Suppose 11*o + 247 - 2128 = 0. Is 3 a factor of o?
True
Suppose -35 = 3*l - 14. Let m(u) = u**3 + 8*u**2 + 4*u - 10. Is 2 a factor of m(l)?
False
Suppose 0 = -2*z + 635 - 5057. Is 1/(369/z + (-8)/(-44)) a multiple of 12?
False
Let q(u) = 6*u**2 + 14. Let f be q(7). Let s = f - 168. Is s a multiple of 28?
True
Suppose 3*i - 28 = -q, q - 4*i = -0*q + 28. Let a = q + -24. Suppose a*d - 4*n - 126 = -3*n, 0 = 4*d + 4*n - 136. Is d a multiple of 6?
False
Suppose 22 = -3*t - 2*i, 4*t + 5*i - 10 = 3*t. Let c be (-805)/t + 3/2. Suppose -8*l + c = -7*l. Is 23 a factor of l?
False
Let z = -70 - -65. Let v(y) = -y**3 - 4*y**2 - 2*y - 4. Does 2 divide v(z)?
False
Suppose -g + 4*g = 0. Suppose g = 3*b + 17 + 4. Let k(l) = -8*l - 12. Is k(b) a multiple of 8?
False
Let f(v) = -59*v + 1. Let a(g) = -g + 1. Let n be a(-2). Suppose -2*x - 5 = -2*h + 3, 0 = -4*x - n*h + 5. Is f(x) a multiple of 18?
False
Let j = -57 - -99. Is 22 a factor of j?
False
Suppose 69 = -5*a - 3*t + t, 4*t = -3*a - 33. Let g = -11 - a. Suppose 3*k - 7*k + 64 = -g*j, k - 4*j - 19 = 0. Is 4 a factor of k?
False
Suppose -3*j + 25 = 2*j - 5*p, -p + 7 = 2*j. Suppose j*f - 235 + 1 = q, 5*q - 164 = -3*f. Does 29 divide f?
True
Let p(w) = 9*w + 132. Is 6 a factor of p(22)?
True
Let b be (32/6)/(3/27). Suppose -r + 5*r = b. Is r a multiple of 12?
True
Let v(n) = 5 - 4*n - 4 + 1. Let j(k) = -k**2 + 11*k - 12. Let d be j(11). Does 25 divide v(d)?
True
Let x(p) = -13*p**2 - p - 1. Let j be x(1). Let v = 18 + j. Does 14 divide 227/v - (-10)/(-15)?
False
Let g = 28 + -31. Is 19 a factor of (1/g)/((-6)/468)?
False
Does 28 divide 1*2950/5 - -1?
False
Let p(n) = n**2 - 7*n + 59. Let v be p(