6 = -36*g + 14212. Is 8 a factor of g?
True
Suppose 14*d - 7053 = 4917. Let p = -589 + d. Does 14 divide p?
True
Suppose 12 - 10 = d. Suppose a + 257 = 4*a - 5*q, 2*q = -a + 93. Suppose 1 = -d*g + a. Does 6 divide g?
False
Let x(z) = 16*z**2 + 3 - 15*z**2 + 11*z - 12. Let d be x(-11). Is (-659)/d + 12/(-54) a multiple of 12?
False
Is 182774/144 + 13/(-312) - 2/9 a multiple of 11?
False
Suppose -8186 = -c - s, 5*s + 16358 = 15*c - 13*c. Is 39 a factor of c?
False
Does 59 divide 119/(-7 - 0) - -8513?
True
Is 15 a factor of (4 - -3 - (1891 + 15))*-5?
True
Does 15 divide (21 + -9)/(6005/3000 - 2)?
True
Let f = 33 + -16. Let o = 577 - f. Suppose 0 = -4*n + 5*q - q + o, 4*n - 5*q - 564 = 0. Does 34 divide n?
True
Suppose l = -226*l + 2333106. Does 211 divide l?
False
Let p(y) = 24*y**3 - y**2 + 8*y - 7. Suppose 11 = -t + f + 2*f, 2*t + 3*f = 14. Does 6 divide p(t)?
True
Suppose -52 = -2*a - 54. Let p be (10/5 - 5*a) + 2. Suppose -4*g + p*g = 930. Is g a multiple of 31?
True
Let o = 1163 - 453. Let t = 1441 - o. Is t a multiple of 43?
True
Let t(j) = 16*j + 820. Is 38 a factor of t(-37)?
True
Let j(s) be the first derivative of -7*s**2/2 + 63*s - 336. Let z(t) = -t**2 + t - 17. Let i be z(0). Is 7 a factor of j(i)?
True
Let h(u) = 122*u**3 - 7*u**2 + 58*u + 45. Is 6 a factor of h(5)?
False
Let g(h) = 108*h**2 + 12*h + 24. Suppose 0 = 7*q - 8*q - 4, -4*b + 3*q = -4. Does 27 divide g(b)?
True
Let s be 9/(-18) - 126/4. Let z = s + 202. Does 10 divide z?
True
Suppose 2*c = 5*c + 15. Is (-442)/85 - 1/c - -32 a multiple of 27?
True
Suppose -f + 442 = 16*f - 45220. Does 17 divide f?
True
Let t(i) = 3*i**3 + i + 4695. Let b be t(0). Is ((-1 - 2) + 11)*b/30 a multiple of 47?
False
Let m(i) = -i**3 - 11*i**2 - 18*i + 18. Let u(v) = v**3 - 5*v**2 - 11. Let o be u(5). Is 22 a factor of m(o)?
False
Let v(t) = 4*t + 99. Let h be v(-24). Suppose -h*n + 15 = -6. Is 7 a factor of n?
True
Let h be -12 + 15 - (1 + 4). Let v be h/((-1)/20 - 0/2). Suppose -2*y = 2*x - v, 65 = 6*x - 3*x + 4*y. Is 3 a factor of x?
True
Suppose -x = -6*x - 10. Let j be ((-30)/x)/(3/15). Suppose 6*k - 2*k - j = -t, 0 = -3*k - 15. Does 19 divide t?
True
Let z(c) = c**2 + c + 1. Let s(a) = -14*a**2 - 4*a + 33. Let d(x) = -s(x) + 3*z(x). Is 43 a factor of d(5)?
True
Suppose 3*b - 8 = -2. Suppose b = s, 8 + 6 = -2*g - 3*s. Let t = g + 31. Does 7 divide t?
True
Let o = -7 - -15. Suppose o*g - 116 = -12. Does 4 divide 249/g + 2*(-1)/13?
False
Suppose -3*f = 3*b + 12, 0 = -3*b + b + 5*f - 1. Suppose 3*m - 11 = 5*o - 9, -o = -3*m + 10. Is (b - -1)*(-27*1 + m) a multiple of 11?
False
Let v = -7211 + 14118. Is 56 a factor of v?
False
Suppose -160*r = -83*r - 1526448. Is 21 a factor of r?
True
Suppose -4*b - 20 = 0, -3*x = -7*x - 3*b + 73. Suppose -4*t + 286 = -f, 17*t - x*t + 362 = f. Is 6 a factor of t?
True
Suppose 78 + 2 = 5*t. Suppose 0 = l + 5*k + t, 3*k + 24 = 3*l - 0*k. Suppose 11*h - 357 = l*h. Is h a multiple of 20?
False
Is 13 a factor of (1 + 150/9)/(80/61200)?
False
Let w(r) = 202*r**2 - 8*r + 7. Is 11 a factor of w(-2)?
False
Suppose -4*t - 4*o = 8, -3*o + 10 = -2*t - 9. Let d(s) = 37*s**2 + 9*s + 50. Is d(t) a multiple of 12?
False
Suppose 2022592 = -81*d + 185*d. Does 221 divide d?
True
Let g(y) be the second derivative of -y**5/20 + y**4 + 8*y**3/3 - 23*y**2/2 + 24*y. Let v be g(13). Is (1 + -34)/((-24)/v) a multiple of 22?
True
Let z be (-8036)/21*(-42)/49. Let c = -322 + z. Does 5 divide c?
False
Suppose -3600 = -11*u + 5*u + 5*u. Is 24 a factor of u?
True
Let n be ((-10)/7)/(54/(-378)). Does 3 divide -4 - ((-16408)/36 - n/45)?
False
Let l(q) = 3*q**3 - 5*q**2 + 14*q - 8. Let s(t) = -6*t - 37. Let v be s(-7). Is 26 a factor of l(v)?
True
Suppose -8 = -8*w - 0. Suppose 2*c = c + 2, 5*n = 2*c + w. Is 4 a factor of (-3 + 0 + 25)*n?
False
Suppose 253*a - 67328 = 250*a + 2*q, 4 = -4*q. Does 98 divide a?
True
Let j be ((-28)/(-35))/(-2 + 328/165). Let l = j + 594. Is l a multiple of 11?
True
Suppose 3*y - 444 = -3*j, -2*y - 2*j = -4*j - 300. Suppose -4*t + 4*i + 12 = -0*i, 0 = -3*t + i + 13. Suppose 0 = -t*a + y - 64. Is 17 a factor of a?
True
Let a(w) = 37*w - 38. Let o be a(-6). Is (o/50)/((-2)/15) a multiple of 2?
False
Suppose -40 = 4*x - 56. Suppose l = -4, -4*w + l = -3*w - x. Suppose -5*o + 0*o + p + 154 = w, -4*o = -2*p - 128. Is 10 a factor of o?
True
Let y = 67 + -69. Does 60 divide 5 + (4 - y) + 361?
False
Let h(c) = c**2 + 3*c + 12. Let y be h(0). Suppose -4*z + 7*z - y = 0. Let o = 13 + z. Does 17 divide o?
True
Does 19 divide 2 + 150940/7 - (-2 - 169/(-91))?
True
Let q(f) = -f**3 + 11*f**2 - 31*f - 3. Let j(y) = y**3 - 12*y**2 + 31*y + 3. Let t(u) = -6*j(u) - 5*q(u). Is 18 a factor of t(13)?
True
Let j = -1840 + 6196. Is j a multiple of 6?
True
Let r be 10/30 + 1415/3. Suppose -8*g + 112 - r = 0. Does 10 divide 2/(-1)*g/6?
False
Suppose -i - 9*s + 10*s + 988 = 0, 3*i - 5*s - 2970 = 0. Is i a multiple of 14?
False
Let f(a) = 414*a + 120. Let y be f(43). Suppose -354 = 48*c - y. Is c a multiple of 44?
False
Suppose -5*b + 8569 = -3*k, -108*k = b - 104*k - 1700. Is b a multiple of 8?
True
Let i(w) = 5*w**3 - 2*w**2 - 3*w - 11. Let r be i(4). Let t = r - 231. Is t a multiple of 3?
False
Suppose 54 = 5*q - 301. Suppose 5*k = 3*k - 94. Let x = q + k. Does 8 divide x?
True
Suppose 3*z = 53*d - 56*d + 9, 2*d - 4*z = 18. Does 12 divide (d + (-30)/4)/((-5)/820)?
False
Is -22 - -28 - (12297 + 0)*-2 a multiple of 12?
True
Let k be -18 + 0 + -1 + -1. Does 5 divide -20*(k/4 - -3)?
True
Suppose -4*j = -5*l + 230705, 231*j = 3*l + 233*j - 138401. Is 42 a factor of l?
False
Let a = -38770 + 67224. Does 82 divide a?
True
Let i = -111 - -111. Suppose -3*j + 35 = -4*k, j + 15 = -i*k - 4*k. Is 2 a factor of j?
False
Suppose -4*h - h + 545 = 0. Let i(r) = 17*r - 554. Let n be i(33). Let y = n + h. Is 15 a factor of y?
False
Suppose 691*g - 575 = -2*l + 688*g, 3*g - 864 = -3*l. Is 31 a factor of l?
False
Let z(w) = 3*w**2 - 10*w + 1834. Is 15 a factor of z(0)?
False
Let y(p) = 15*p**2 - 5*p + 17. Let m be y(-5). Suppose -m = -2*s + 63. Is 6 a factor of s?
True
Let t be (1/(-1))/(84/(-20) + 4). Let p be t*(-3 - 0 - 6). Does 2 divide ((-8)/(-2))/((-15)/p)?
True
Suppose 4*p - 516 = -2*z + 5*z, 2*p - 6 = 0. Is (z - 4)*15/(-4) a multiple of 43?
True
Suppose 2*c + 880 = 2*t, 3*c - 1732 = -2*t - 2*t. Suppose o - t = -3*k, -k - 1318 = -0*o - 3*o. Does 21 divide o?
False
Let m(q) = -635*q + 11772. Does 6 divide m(-30)?
True
Let c = 3793 - 3331. Does 51 divide c?
False
Let u be ((-1830)/4)/(30/(-200)*-5). Let q = 818 - u. Does 51 divide q?
True
Suppose -3*a - 4*j = -21356, -14244 = -26*a + 24*a - j. Is a even?
True
Suppose 44*o - 41*o = 258*o - 234600. Does 4 divide o?
True
Let g(m) = 5*m**2 + m - 6. Let b = -41 + 49. Let v(l) = l**3 - 7*l**2 - 10*l + 13. Let s be v(b). Is 12 a factor of g(s)?
True
Let i(z) = z**2 - 8*z + 11. Let r(g) = -3*g - 44. Let f be r(-17). Let p be i(f). Does 40 divide 164/1 + (-3*p)/3?
True
Let q be 4/(-7) + (-91080)/105. Let l(m) = -m**2 + 7*m - 6. Let x be l(4). Does 3 divide q/(-70) + x/10?
False
Suppose 52*h - 54*h - 12 = 0. Does 83 divide 5 + -3*(-10)/h - -555?
False
Let x be (10 + 8)*(-2)/(-6). Suppose x*w = 15*w - 3771. Does 42 divide w?
False
Let n = 16178 - 7799. Does 9 divide n?
True
Let i be 10/(-10) + 1 + 177. Suppose -2*z + 167 = -5*o, 4*z - 2*z + 5*o = i. Let b = z - 37. Is 19 a factor of b?
False
Let z be 10525/10*(3 - -7). Suppose 26*q = q + z. Does 20 divide q?
False
Suppose -l - 9 = -3*y + 17, -4*y + 5*l = -20. Is ((-34)/(-8))/(y/160) a multiple of 8?
False
Let u = -351 + 82. Suppose 0 = 5*z - 1287 - 733. Let i = u + z. Does 27 divide i?
True
Let h = -8937 + 15897. Is 15 a factor of h?
True
Let d(f) = f**2 + 14*f - 560. Does 60 divide d(-44)?
False
Suppose 0 = 38*t - 21*t - 3689. Let q = t - -71. Is q a multiple of 11?
False
Let u(v) = 119*v - 303. Suppose 15*z = 90 - 15. Is u(z) a multiple of 4?
True
Suppose -100*m + 7176 = -94*m. Suppose 1495 = 5*c - 2*y, -5*c + 4*y = -c - m. Is 55 a factor of c?
False
Let r = 85 - 51. Suppose 27*o - r*o + 1197 = 0. Is o a multiple of 67?
False
Suppose w = -19 + 333. Suppose -a + w = -3*c, -a = 4*c - 3*c - 318. Is 84 a factor of a?
False
Does 162 divide 14061 + -15*(-5)/(-25)?
False
Let f(h) be the third derivative of h**6/3