Is 19 a factor of g(x)?
False
Let o(z) = -12 - 2*z + 2 + z**2 + 3*z - 11*z. Let i be o(8). Let b = i - -68. Is 14 a factor of b?
True
Let h = 113 - -15. Let n = h - 57. Is n a multiple of 22?
False
Let l(m) = -2*m - 4. Let x be l(6). Is 11 a factor of x/12 + (-392)/(-6)?
False
Let l = 452 + 10. Is l a multiple of 12?
False
Suppose 0 = 7*b - 14*b + 5054. Does 19 divide b?
True
Let y = 4762 + -1373. Does 72 divide y?
False
Suppose g - 5*g = 196. Let k(a) = -a**2 + 3*a + 10. Let t be k(11). Let o = g - t. Is 29 a factor of o?
True
Let s be 3*4*-1*2. Suppose 0 = -3*o + 4*i + 406, 3*o - 3*i + 0*i = 402. Is o/6 - 8/s a multiple of 11?
True
Suppose -7*d = -25 - 3. Suppose -3*z + 74 = -5*f, -2*z + 5*z = -d*f + 38. Is 18 a factor of z?
True
Suppose 4*y - 538 - 502 = 0. Is y a multiple of 3?
False
Let k(s) = s**2 - 4*s + 3. Let p be k(4). Suppose o - 257 = -p*l + 92, 3*o = -l + 111. Suppose -d + l = 2*d. Is 13 a factor of d?
True
Does 7 divide -1 + 166*(-21)/(-6) + -5?
False
Let o(b) = 6*b. Let t(n) = -n. Let g(k) = -o(k) - 3*t(k). Is 6 a factor of g(-10)?
True
Let n be 7 + 5/((-10)/(-4)). Let u = 47 - n. Is 8 a factor of u?
False
Let y be 2*1/(-2) + -3. Let p(q) = -q**3 + q + 3. Is p(y) a multiple of 31?
False
Let s = -82 - -87. Let p(f) = f**3 - f**2 - 10*f + 6. Does 7 divide p(s)?
True
Suppose 3*d - 1 = -s, 10*d - 8*d + 26 = 2*s. Is s even?
True
Suppose 8*j - 10*j - 3*c = -747, 2*c + 762 = 2*j. Does 7 divide j?
True
Suppose 0 = 13*q - 11*q. Is -3 + (q - 1) + 24 a multiple of 10?
True
Suppose 2*t = 4*y + 286, -6*t - 456 = -9*t - 3*y. Does 13 divide t?
False
Let h = -17 - -13. Let a be ((-6)/h)/((-9)/(-204)). Does 17 divide 1 + a + 11/(-11)?
True
Let i = 50 - 79. Let x = i + 46. Is 4 a factor of x?
False
Let n be ((-21)/(-5) - 3)/(4/10). Suppose 0 = 4*t - n*t - 30. Does 4 divide t?
False
Suppose p = -q - 0*q + 7, -2*q + 2*p - 6 = 0. Suppose -30 - 33 = -t. Suppose -a - q*a + t = 0. Does 5 divide a?
False
Suppose 2*i - 2*i = 5*i. Let t(q) = -q**3 + 2*q**2 + 5*q + 6. Let g be t(-4). Suppose -5*u - 2*w + 133 = i, 3*u = w - 0*w + g. Does 9 divide u?
True
Is (-3)/(45/6) - 24397/(-155) a multiple of 25?
False
Let y = 204 + 66. Suppose 48 = 3*k - y. Does 53 divide k?
True
Let a(m) = -m**2 - 7*m - 9. Let u be a(-4). Suppose 4*x = u*x + 30. Does 19 divide x?
False
Let w = 130 - 47. Let u = w - -21. Is 20 a factor of u?
False
Suppose -29*v + 25 = -24*v. Suppose -v*q = 5*q - 560. Is 19 a factor of q?
False
Let p(m) = -35*m**3 - 3*m - 1. Let b be p(2). Let y = b + 623. Does 12 divide y?
True
Let h(i) = 4*i**2 + 8*i - 4. Let c(o) = -5*o**2 - 9*o + 4. Let d(l) = 2*c(l) + 3*h(l). Let q be -3 + (-12)/4 - 0. Does 16 divide d(q)?
True
Suppose -547 = -2*d + 5*z, -3*d + 4*z + 589 = -228. Suppose 3*t - 2*i = 22 + d, 0 = -t + 5*i + 115. Is t a multiple of 11?
False
Suppose 6*f - 837 - 9 = 0. Is f a multiple of 6?
False
Let i = 1746 + -825. Is i a multiple of 2?
False
Let h = -1397 + 1647. Is 25 a factor of h?
True
Let p = 84 + -83. Is (-254)/(-3)*p*33/22 a multiple of 17?
False
Suppose -4 = -4*h - 3*s, -8 = -0*s + 2*s. Suppose h*d - 10 - 10 = 0. Suppose d*c + 168 = 7*c. Is c a multiple of 18?
False
Suppose -3*d + 379 = -2*t, -78*t + 77*t - 251 = -2*d. Is d a multiple of 41?
True
Let u(d) be the third derivative of d**6/120 - 2*d**5/15 + 7*d**4/24 + 5*d**3/3 + d**2. Let x be 15/2 - (-14)/(-28). Does 3 divide u(x)?
False
Let q be 17*3/(15/100). Suppose -23*b + 28*b - q = 0. Is 20 a factor of b?
False
Suppose -184 - 381 = -5*p. Suppose 0 = -4*t - 5*a + p, 0*t + 5*t = a + 134. Is t a multiple of 9?
True
Let h(d) = d**2 - 3*d + 3. Let j be h(0). Suppose -a = j*a - 456. Does 19 divide a?
True
Let d(l) = -l**3 - 5*l**2 - 11*l + 3. Let v be d(-7). Suppose -122 = -6*o + v. Is 25 a factor of o?
True
Let o(i) = -i**3 - 21*i**2 - 10*i + 28. Does 25 divide o(-21)?
False
Let j = 121 - 96. Suppose j = 7*z - 101. Is 2 a factor of z?
True
Suppose -5*t + 5 + 195 = -4*d, -t + d = -41. Suppose -t*w + 44*w = 1320. Is 15 a factor of w?
True
Let j(a) = 11*a**2 - 4*a - 8. Let p be j(4). Is 33 a factor of 0 + -2 + p - -3?
False
Let n(z) = -z**2 + 35*z + 16. Let k be (-42)/(-105) + 133/5. Is 14 a factor of n(k)?
False
Let b(n) = -2*n**3 + 25*n**2 - 26*n - 4. Does 20 divide b(9)?
False
Let d(l) = 2*l**2 - 2*l - 170. Let p(q) = -6*q**2 + 6*q + 510. Let g(f) = 8*d(f) + 3*p(f). Is g(0) a multiple of 17?
True
Let o(t) = -t**3 + 7*t + 8. Let g be o(-2). Let q(i) = 2*i**2 + 4*i - 1. Let c be q(-5). Suppose g*p = 19 + c. Does 8 divide p?
True
Suppose 0*i + 17 = i. Suppose m - i = 34. Is m a multiple of 15?
False
Let g(c) = c**3 + c**2 + 1. Let q = 5 + 0. Let s(l) = 79*l**3 + 5*l**2 - l + 4. Let z(t) = q*g(t) - s(t). Is z(-1) a multiple of 37?
True
Let m = 3 + 3. Let z(g) = g**2 - 2*g - 4. Let w be z(m). Suppose -6*d = -2*d + u - w, 8 = 2*u. Is d a multiple of 3?
False
Let x(l) = -14*l + 5. Let v(n) = -42*n + 16. Suppose -2*c + 8 = -3*h, h = -2*c - h - 12. Let f(z) = c*v(z) + 7*x(z). Is f(-3) a multiple of 15?
True
Let p(b) = 2*b + 35. Let k be p(-19). Does 17 divide 1880/56 + k/(-7)?
True
Suppose -81*i + 414 = -78*i. Is i a multiple of 23?
True
Let h = -42 - -45. Suppose j = 4*j - h*x - 126, j - 48 = -5*x. Is 14 a factor of j?
False
Let o(h) = 3*h**2 - 3*h - 4. Let m be o(7). Suppose -6*b = 2*a - b - 48, 0 = 3*a - 5*b - m. Does 24 divide a?
False
Let k(a) = 2*a**2 + 4*a - 8. Let h(t) = -t**2 - 2*t + 4. Let y(b) = -11*h(b) - 6*k(b). Let v be y(-4). Is 5 a factor of 3 + (-2)/v*6?
False
Let j(t) = -20*t**3 - 7*t**2 - 10*t - 15. Is 9 a factor of j(-5)?
False
Let y be 922/(-10) + (-9)/(-45). Let d = -140 - y. Let q = -32 - d. Is 8 a factor of q?
True
Let b(w) = -44*w - 4. Let j be b(2). Let l = 138 - j. Does 38 divide l?
False
Let m be -2*((-891)/2)/11. Let h = 49 - 84. Is 45 a factor of (h/21)/((-1)/m)?
True
Let i be 5/15 + 87/9. Let f = 79 - i. Does 10 divide f?
False
Let b be 152 - (108/6)/(-6). Suppose 22*y + b = 23*y. Is y a multiple of 5?
True
Let i be 175/55 + 2/(-11). Let k be 1 + 20/(-6)*i. Let y(s) = s**3 + 9*s**2 - 2*s + 2. Is y(k) a multiple of 10?
True
Is 6 a factor of (-84)/8*(-54 - -2)?
True
Let s(x) = x**3 - 6*x**2 - x + 10. Suppose 0 = 6*m - 5*m - 8. Is 19 a factor of s(m)?
False
Suppose 0 = 13*j - 4*j. Suppose 2*t + 10 = 3*i - j*i, 8 = 5*i + t. Suppose -95 = -4*w - 5*z, i*z + 38 = w - 2. Is w a multiple of 20?
False
Let p = -305 - -218. Let m = -36 - p. Let f = m - 23. Is 14 a factor of f?
True
Let t(k) = k**3 + k**2 - 37. Let v = -5 - -5. Let q be t(v). Let b = q + 69. Is b a multiple of 9?
False
Suppose -2*p + 1203 = -1141. Is 49 a factor of p?
False
Let g(l) = -5*l - 20. Let a be g(-6). Suppose 3 = -v + p - 2, 0 = 5*p - a. Let w(j) = 7*j**2 - 5*j - 2. Is w(v) a multiple of 11?
False
Suppose 3*c + 1284 = o + o, 4*c = 3*o - 1926. Does 12 divide o?
False
Let u(n) = n**3 - 25*n**2 + 36*n + 3. Is u(24) a multiple of 27?
False
Suppose 166 = -2*h - 3*w, -5*h - 2*w - 196 - 208 = 0. Let j = 118 + h. Suppose -107 = -5*m + j. Is m a multiple of 17?
False
Suppose 4 - 40 = 2*g - w, -5*g = -5*w + 95. Let q = g + 21. Suppose 10 = -q*z + 34. Does 5 divide z?
False
Let b = 50 - 42. Suppose 240 = -2*g + b*g. Does 20 divide g?
True
Let l(p) = p**2 - 8*p + 26. Is l(-20) a multiple of 22?
False
Let o = 955 - -400. Is 16 a factor of o?
False
Let v(j) = -44*j**3 + 2*j**2 - j - 2. Is v(-2) a multiple of 40?
True
Let h(v) = 41*v**2 - v. Suppose 2*d - 5 = 3*w, -2*w + 5*w + 1 = d. Let t be h(w). Is 20 a factor of (t/12)/((-1)/(-6))?
True
Suppose 10 = -5*n, -1291 = -5*c + n + 2*n. Is c a multiple of 20?
False
Suppose j - 4*x - 998 = 0, -5*j - x + 2695 = -2379. Is j a multiple of 11?
False
Let n(k) be the first derivative of -k**2/2 - 8*k + 3. Let c be n(-8). Suppose c = 2*o - 3*o + 12. Is 4 a factor of o?
True
Let k(x) = -2*x**2 - 13*x + 6. Does 19 divide k(-5)?
False
Suppose 21 = 3*r + 5*c, -4*r - 2*c + 3*c + 5 = 0. Let o(j) = 3 + 44*j - 4 + r. Is o(1) a multiple of 21?
False
Let g be (-34)/4 - 4 - 1/(-2). Does 7 divide (2/(-3))/(g/216)?
False
Let k be (-12)/(-30) + 13/5. Let w be 1 + -4 + k + 4. Suppose w*s + 3*u = -s + 172, -120 = -4*s + 2*u. Is s a multiple of 8?
True
Let d = 6 - 2. Suppose -6 = 3*g, 3*g = d*j - 0*g - 26. Is j a multiple of 5?
True
Is 22 a factor of (-1364)/3*(-11 + 62)/(-17)?
True
Let t(b) = 2