(-16)?
True
Let i = -685 - -394. Let z = i - -527. Suppose -x = -5*s - 41, -2*x - 4*s + z = 2*x. Does 14 divide x?
True
Suppose -102210 = -59*j + 22162. Is j a multiple of 62?
True
Let v = 39 + -118. Let d = v + 61. Let i = 66 + d. Is 6 a factor of i?
True
Let i(o) = o**3 - 26*o**2 - 48*o - 2. Let p(x) = 13*x**2 + 24*x + 1. Let m(h) = -2*i(h) - 5*p(h). Does 31 divide m(-9)?
True
Does 69 divide (-1 + -1)/((-235982)/15732 - -15)?
True
Suppose 0 = -3*o - 1 + 46. Let n(j) = 5*j**2 + 11*j + 12. Let l be n(-1). Suppose -l*u - 558 = -o*u. Is 20 a factor of u?
False
Let s(g) = -917*g + 3370. Is s(-16) a multiple of 88?
False
Suppose 0 = 4*g + 103 - 123. Suppose g*u = -2*s + 58, -3*s - 3*u = -u - 65. Let i = 55 - s. Is i a multiple of 9?
True
Is 4 a factor of (-27)/(-9)*-2 - (-1)/(5/16920)?
False
Let h = 65 - 45. Let t be 245/((h/(-5))/(-16)). Suppose -t = 16*p - 23*p. Is p a multiple of 28?
True
Suppose 2*k - 4*x - 328 = 910, 2*k = x + 1226. Does 11 divide k?
False
Let t = 62 - 57. Suppose -t*u + 1574 - 109 = 0. Is u a multiple of 7?
False
Is (-4)/(-16)*99435 - (-165)/132 a multiple of 226?
True
Suppose -10*o + 1090 = -11790. Let t = -534 + o. Does 35 divide t?
False
Let r(c) = -c - 4. Let y be r(-7). Let q = y + -18. Let p(j) = j**3 + 16*j**2 + 13*j - 3. Is 9 a factor of p(q)?
True
Let v(j) = -60 - j**2 - 115*j + 296 + 228*j - 115*j. Let s be (1 + 6/(-4))*0. Is 53 a factor of v(s)?
False
Suppose -n = 3*r - 3478, 88*r - 84*r + 5*n - 4619 = 0. Does 44 divide r?
False
Let z = 222 - -6. Suppose -20*p + 23*p = z. Suppose v = -2*u + 46 + p, -5*v = -10. Is 6 a factor of u?
True
Let q(v) = 26*v**2 - 6. Let c be q(-6). Let n = c - 345. Is 65 a factor of n?
True
Let f be (-10)/25*(-17 + -3). Suppose -f*n - 4*p + 2329 = -3*n, -4*p = 2*n - 922. Is 56 a factor of n?
False
Is 7 a factor of (-149 + (-434)/(-31))/(0 - 3/453)?
False
Let h(d) = -15*d**2 - 9*d - 55. Let j(n) = 14*n**2 + 8*n + 56. Let x(g) = -6*h(g) - 5*j(g). Does 13 divide x(-5)?
False
Let g(j) = -55*j + 3. Let z = -166 - -164. Does 13 divide g(z)?
False
Let w = -53 - -57. Suppose -48 = w*c + 4*k + 44, -4*c = 5*k + 88. Let m = c + 54. Is 11 a factor of m?
False
Let u(b) = 4*b**3 + 10*b**2 - 15*b - 12. Does 16 divide u(8)?
False
Suppose -53*b + 206309 = 6075. Does 5 divide b?
False
Let s = 1415 - 953. Suppose -i = -2*u + 939, u + 2*i + 0*i = s. Is u a multiple of 14?
False
Let w be (65/26)/(10/4). Suppose 4*o + w = 193. Is 24 a factor of o?
True
Suppose -7*i = -2*i + 815. Let f be (-2)/(-11) + (-3972)/66. Let r = f - i. Does 14 divide r?
False
Let v = 93 + -88. Suppose -v*o = 3*i - 154, -3*o - 4*i - 54 + 142 = 0. Is o a multiple of 4?
True
Let f(v) = -14110*v - 15. Let x be f(-4). Does 33 divide x/366 + (-2)/12?
False
Let b(n) = -9 + 9 + 10 - 6*n + 5. Suppose -2 + 32 = -4*i + f, 5*f - 30 = 5*i. Is b(i) a multiple of 34?
False
Let c(l) = 3*l - 12. Suppose 2*m + m = 213. Suppose -70*h = -m*h + 9. Does 8 divide c(h)?
False
Let r = 22562 - 10230. Does 104 divide r?
False
Let g(h) = -9*h**3 - 13*h**2 + 3*h - 13. Let i be g(-9). Let c be 0 + i + 1 + 2 + 1. Is 8 a factor of ((-1)/2)/((-18)/c)?
True
Let p be (-2990)/(-17) - 84/(-714). Let w = 230 - p. Is w a multiple of 27?
True
Suppose 52 + 33 = 17*t. Suppose -t*b - 4 = 2*i - 43, -2*i - 2*b + 30 = 0. Is i a multiple of 3?
True
Let w = -5785 - -9031. Is 3 a factor of w?
True
Does 12 divide 1 + (-3)/(-2) - (166095/(-30) + -17)?
True
Let l = -287 - -121. Let u = 386 + l. Is 44 a factor of u?
True
Suppose -155*v + 55*v = -369629 - 38371. Is 12 a factor of v?
True
Let v(q) = -297*q + 7767. Is 17 a factor of v(-30)?
True
Let v(z) = -2*z**2 + 16*z + 13. Let o be v(7). Suppose -o*d + 1722 = -13*d. Is 20 a factor of d?
False
Let t = 7 + 18. Suppose -7*b = -12*b - t. Let y(i) = 3*i**2 - 8*i - 7. Is y(b) a multiple of 18?
True
Let o(d) = d**3 + 7 - 6*d**3 + 23*d**3 + 3*d**2 - 19*d**3 + 11*d. Does 70 divide o(-7)?
True
Let b = 1865 + -225. Is 8 a factor of b?
True
Let f(k) = -k**2 - k + 226. Suppose -x + 4*x = 4*u - 20, -10 = -5*x - 2*u. Is 9 a factor of f(x)?
False
Suppose -5*v = -4*r + 577, 4*r + 259 = -5*v + 786. Let g = -39 + r. Let h = 173 - g. Is 13 a factor of h?
False
Let p = -17590 - -20050. Does 15 divide p?
True
Let a(c) = -39*c - 73. Is a(-18) a multiple of 37?
True
Let z(y) = y**3 - 15*y**2 + 36*y + 2. Let i be z(12). Suppose x + 2*x = -i*u + 832, -2*u + 2*x = -822. Is 54 a factor of u?
False
Let r be -7 + (0 - 89) + -7. Let t = 177 - r. Does 40 divide t?
True
Suppose -463 = h - 2*z - 1251, 0 = 2*h - z - 1564. Suppose -2*d = -2*f - 3*f - 404, 4*d - h = 3*f. Is 48 a factor of d?
True
Let d(r) = 6*r - 38. Let o be d(7). Suppose 0 = -4*p + 2*w + o, 8*p = 3*p - w + 12. Suppose -5*m = 3*b + 16 - 88, -p*b + 43 = 5*m. Is 13 a factor of b?
False
Is 19 a factor of (-2)/(-6)*(159680/10 - 14)?
False
Let r = -8257 - -43458. Does 18 divide r?
False
Let p = -3129 - -4262. Is p a multiple of 29?
False
Suppose -10*s + 8048 + 7002 = 0. Is s a multiple of 29?
False
Is (3919/(-2))/(25/(-450)) a multiple of 99?
False
Suppose -4*w - 27 = 5*w. Let a(v) = -2*v - 7*v**2 + 3*v**2 - 8*v**3 + v**3 + 2*v**3. Is a(w) a multiple of 12?
False
Let x(q) = -170*q - 17. Let o be x(-3). Suppose -o - 235 = -7*z. Does 13 divide z?
True
Suppose -6406 + 1951 = 3*q. Is 11 a factor of ((q/12)/3)/((-15)/100)?
True
Is 15 a factor of 2/((-8)/(-6))*(15 - 19) - -146?
False
Let n(y) = 12*y**2 - 19*y - 60. Suppose i + 6 = -2*x, -x - 4*i = 2*x + 9. Does 13 divide n(x)?
False
Suppose -5*z + f + 5 + 30 = 0, -35 = -5*z - 5*f. Suppose -4*g + 4*j + 2668 = 0, 0 = -z*g + 2*g - 4*j + 3299. Is 50 a factor of g?
False
Suppose -10*r + 6*r = -20. Suppose 3*i - 6*i = -5*s + 9, -r*s + 15 = 0. Does 3 divide 650/55 - i/(-11)?
True
Let r(g) be the third derivative of g**5/30 + 5*g**4/12 + 17*g**3/6 + 2*g**2 + 3*g. Let q be r(-5). Does 19 divide (-10)/15*-3 + q?
True
Let h(j) = -4*j**2 - j - 4. Let x = -19 + 25. Let v be h(x). Is v/(-35) + (-3)/(-5) a multiple of 3?
False
Let h be ((-992)/24)/((-4)/(-18)). Let b(y) = -29*y**2 + 2*y - 4. Let z be b(-3). Let m = h - z. Does 13 divide m?
False
Let w(h) = -h**3 - 29*h**2 + 15*h - 23. Let u be w(-30). Let o = -357 + u. Is o a multiple of 46?
False
Let v(j) = 1197*j**2 - 1500*j - 15. Does 85 divide v(-5)?
False
Suppose d = -73 + 64. Let c(y) = -y**3 - 5*y**2 + 27*y + 70. Is 9 a factor of c(d)?
False
Suppose 16*b = 21*b. Suppose -o + 4*j = 4*o - 172, 4*j + 12 = 0. Suppose 3*s = -2*g + 117 - 6, b = -s + g + o. Does 4 divide s?
False
Let u = 157 + -161. Is 3 a factor of ((-7)/(147/(-14)))/(u/(-54))?
True
Let s(k) = 10*k**2 + 30 + 2*k**2 - 8*k - 8*k**2 - 29 + 97. Is 14 a factor of s(7)?
True
Suppose -135*h = 4*c - 132*h - 110828, -h = c - 27705. Is 45 a factor of c?
False
Let o(c) = -2*c**3 - 29*c**2 - 8*c + 144. Is 13 a factor of o(-16)?
True
Let r be (-6)/(-10) + -5 + (-4892)/20. Let p = r - -173. Let f = p + 91. Is 3 a factor of f?
True
Let l(j) = j**3 - 64*j**2 - 451*j + 2. Is l(71) a multiple of 4?
True
Does 90 divide (((-1128)/(-10))/(-1))/(2800/(-105000))?
True
Let q(s) = -4*s**3 - 17*s**2 - 21*s + 21. Let a(g) = 5*g**3 + 17*g**2 + 24*g - 20. Let f(k) = 2*a(k) + 3*q(k). Is f(-8) even?
False
Let l be ((-4)/(-6) - (-416)/24) + 1. Let m = l + -24. Is 21 a factor of 50/(-4*m/40)?
False
Let y = -1885 + 2694. Is y a multiple of 16?
False
Let m = 200 - 196. Suppose -m*b + 4*u - 5*u = -3032, 20 = 5*u. Is b a multiple of 45?
False
Suppose -40*p + 596455 + 322517 = -401468. Is p a multiple of 198?
False
Is 128 a factor of 13/(91/210)*256/20?
True
Let p = -136 + 202. Let a be (-2)/9 - p/(-54) - -1. Suppose -264 = -a*i - 46. Is i a multiple of 17?
False
Let w = 8767 + -5632. Is w a multiple of 27?
False
Let d(s) = -2*s - 20. Let u be d(-5). Let l be 1/(u/(-5) + (-626)/314). Let w = 223 - l. Is w a multiple of 11?
True
Let z(q) = -q**2 - 18*q - 7. Let k be z(-17). Suppose 8*d = 9*d - 3*i + 2, -d - 3*i = -k. Suppose 6*f - 44 = d. Is f a multiple of 4?
True
Suppose -5*c + 389 = y, 0 = 4*y + 18*c - 23*c - 1531. Is y a multiple of 12?
True
Suppose y + 4*f = -2*y + 2463, 3*y + f = 2472. Suppose 0 = -3*x - 5*b + y, 0*b = 5*b + 15. Does 40 divide x?
True
Let j be (1848 - (-12)/(-8)*4) + -2. Let t = 2656 - j. Is 8 a factor of t?
True
Suppose -33*b = 159*b - 1929641 - 2336215. Does 14 divide b?
