 4151. Does 13 divide 123/164 + z/8?
True
Let a = 5458 + -5362. Does 19 divide a?
False
Let k(q) = -6*q + 18. Let c be k(2). Is 16 a factor of 586/(-6 - (-13 + c))?
False
Let z = 152 - 53. Let g = z - 94. Suppose 0 = -5*d - 2*n + 384, -g*d = -n - 4*n - 370. Is 38 a factor of d?
True
Let m(s) = -s**3 - 15*s**2 + 22*s - 300. Does 18 divide m(-24)?
True
Suppose 0 = -6*o - 31*o - 2590. Suppose -4*r + 8 = 0, -2*v - v = -5*r - 590. Let l = o + v. Does 26 divide l?
True
Is (-6)/19 - 130352/(-38) a multiple of 98?
True
Suppose -603 = -f + 4*f. Let v be (-4)/(-18) + (42448/144 - 13). Let c = v + f. Is 20 a factor of c?
False
Let r(u) = -u**3 + 14*u**2 + 2*u - 24. Let m be r(14). Suppose 0 = -5*a - 2*n + 1254, 7*a - m*n - 1242 = 2*a. Is 54 a factor of a?
False
Let x(k) = -2*k**3 + k**2 - 6*k + 15. Is 20 a factor of x(-5)?
True
Suppose -142 = 28*h + 26. Does 16 divide (-8 - 18375/(-14)) + 3/h?
False
Suppose -3*w + 164*s - 162*s = -33652, 4*w + 4*s - 44836 = 0. Does 16 divide w?
False
Let n(h) = 3*h - 14. Let k = 27 - 56. Let m = k - -38. Does 2 divide n(m)?
False
Suppose 2*q - 24 = -b, -6*b - 120 = -11*b - 5*q. Let d be (-1256)/(-14) - (-6)/21. Let m = d + b. Is m a multiple of 19?
True
Suppose -9*o - 1 = -19. Let b(i) = -2 + 48*i**o - i - 3 + 6. Is 18 a factor of b(1)?
False
Is (98 + 24 + 25)*(480/7)/2 a multiple of 18?
True
Let h = -8687 - -13471. Is 52 a factor of h?
True
Let z(k) = -4*k + 260. Let c = -194 + 229. Is z(c) a multiple of 40?
True
Let p = -13971 - -18792. Is p even?
False
Let s = 225 + -223. Suppose s*w = 303 - 33. Is 9 a factor of w?
True
Let m = -109 + 75. Let h be m/(-4 + (-248)/(-60)). Let d = h - -370. Is d a multiple of 5?
True
Let x = 323 - 311. Suppose f = -5*b + 120, 60 = 2*b - 5*f + x. Is 5 a factor of b?
False
Suppose -27*p + 30*p - 75 = 0. Suppose -n + p = -0*n. Suppose -5*q = -u + 125 - n, 0 = 5*u - q - 548. Is u a multiple of 9?
False
Does 14 divide (-31)/(35/((-42)/6) + 342/69)?
False
Let u = -7 + 10. Suppose 0 = q - 4*f - 3 + 19, -5*f + 5 = -5*q. Suppose -5*n - 8*b + 304 = -q*b, u*n = 3*b + 177. Is n a multiple of 10?
True
Let y = -248 - -231. Let v(d) = -49*d - 9. Does 14 divide v(y)?
False
Suppose -86*t + 436062 + 110644 + 17110 = 0. Does 56 divide t?
False
Suppose 3*q - 4*k = 19170, -2*k - 12778 = -179*q + 177*q. Is 13 a factor of q?
False
Suppose 2*l + 218 = 20. Let j = l + 101. Suppose j*c = -3*h - 17 + 97, -3*h = 0. Is c a multiple of 11?
False
Let i(g) = 7*g**2 - 75*g + 1. Does 50 divide i(28)?
False
Let b = -5943 - -10593. Does 62 divide b?
True
Suppose 0 = -45*c - 36*c + 18582 + 642378. Is 44 a factor of c?
False
Is 9 a factor of (-24)/(-21) - 219708/(-252)?
True
Let j(w) = -7*w**3 + 44*w + 7. Does 65 divide j(-11)?
True
Let h be ((-12)/(-15))/((-3)/30). Let i(d) = -7*d - 51. Let s be i(h). Suppose 5*w - 769 = g, 0 = s*w - 2*g + 4*g - 772. Is 22 a factor of w?
True
Let g = 57 - 53. Suppose -2*h = 6*v - 10*v + 34, -4*v + 4 = g*h. Suppose -2*o - 4*z = -232, -z + v*z = 5*o - 565. Is 19 a factor of o?
True
Let q be -5 + (-7)/(-28)*28. Suppose -i + 24 = 2*x + i, 4*x + q*i - 46 = 0. Is x a multiple of 2?
False
Let r be 5/(-30) + 125/30 - -73. Let v = -7 + r. Is 10 a factor of v?
True
Let l = 44 + -51. Let w(c) = -6*c + 68. Is w(l) a multiple of 5?
True
Let p(c) = c**3 + 17*c**2 + 14*c - 30. Let d be p(-16). Suppose -d*o + 688 = 130. Is o a multiple of 15?
False
Let w(s) be the third derivative of -47*s**6/30 + s**4/8 + s**3/3 - 2*s**2. Let o(i) = 11*i**2 - 49*i - 31. Let z be o(5). Does 21 divide w(z)?
False
Let h(l) = -l + 5. Let z(k) = -k - 5. Let u be z(-10). Let y be h(u). Suppose y = -5*c + 427 - 27. Does 10 divide c?
True
Suppose 8*b + 15201 = 9*b + g, -3*g - 45591 = -3*b. Does 72 divide b?
False
Suppose -3*h - j = j - 16, 0 = -2*h - 2*j + 14. Suppose 0 = -2*m + 3*p + 98, h*p = -0*m + m - 48. Let c = -28 + m. Is c a multiple of 9?
False
Let d = 18817 - 9354. Is d a multiple of 142?
False
Let s be ((-1)/(-1))/(-5 - 2786/(-557)). Let g = s + -397. Is 16 a factor of g?
True
Suppose -t = 3*t. Suppose -4*m = m + 4*d - 15, -d = t. Suppose -b = -m*b + 58. Is 6 a factor of b?
False
Suppose -r - 31 = 3*h + 3*r, 5*h + 2*r = -33. Let s = -3 - h. Suppose 123 = v + s*b - 0*b, -b = 4*v - 513. Does 30 divide v?
False
Let z = -38608 - -60878. Is z a multiple of 112?
False
Let r(p) = -p**2 + 2*p + 1. Suppose -4*m = 3*n + 3, 4*n + 3 = 4*m - 9*m. Let c be r(n). Is (1 - c)*((-160)/(-4))/1 a multiple of 12?
True
Suppose 4*z + 5*h - 5 - 46 = 0, 4*h = -4*z + 52. Let q(r) = 3*r**2 - r - 7. Let t be q(z). Does 27 divide t*1*4/12?
True
Suppose 6*l = -2*i + 12*l + 8806, 4*i - 17544 = -5*l. Is i a multiple of 39?
False
Let m be (2 + -13)/(3/9). Let l = m - -39. Suppose -l*t - 448 = -13*t. Is 11 a factor of t?
False
Let t(o) = -31*o + 26*o + 5*o**2 - 11*o**2 + 7*o**2 + 192. Is 10 a factor of t(0)?
False
Does 11 divide (1 + (-648)/(-56))*(27 + 1)?
True
Let q(h) = 4090*h - 466. Does 152 divide q(3)?
False
Suppose -253 = -4*s + 1499. Let i = s - 149. Does 15 divide i?
False
Suppose 4*f - 2*i - 3048 = 0, -3*f + 1190 + 1106 = i. Suppose -4*r + 5*k + 1836 = 0, f = 5*r + 3*k - 1494. Does 27 divide r?
False
Suppose 16*r = -r - 306. Is 26 a factor of 4/r - (2820/(-54) + 0)?
True
Let k = 2888 + -918. Does 10 divide k?
True
Let v(f) = -2363*f + 894. Is 24 a factor of v(-6)?
True
Suppose 5*z = -5*c, 2*z = 3*z + 4. Let r(v) = -9*v**3 + 10*v**2 + c*v + 4*v**3 - 6 + 5*v**3 - v**3. Does 13 divide r(10)?
False
Let m be 4/2 + 16/8. Suppose 15*y + 5*t + 1314 = 17*y, m*y = -t + 2650. Is 27 a factor of y?
False
Let d be ((-4 - -4)*1)/1. Suppose 373 = 4*q + 5*c, d*q - 440 = -5*q - c. Let u = q + -69. Is 9 a factor of u?
True
Let z(a) = -a**2 - a - 1. Let l(b) = 3*b**2 - 21*b + 37. Let n(j) = -l(j) - 2*z(j). Is 16 a factor of n(20)?
False
Let v be 3/(-5) - (-46)/10. Suppose -v*z + 5*l + 45 = -72, -5*z + 4*l = -153. Is z a multiple of 11?
True
Let n(j) = -600*j + 3588. Does 36 divide n(-5)?
True
Let z(j) = 19*j**3 + 3*j**2 - j - 2. Let h be 3/(-7) + 40/28. Let i be (h + (-5)/2)*(-60)/45. Is 10 a factor of z(i)?
True
Suppose 5*r - 2*z - 55388 = 0, 130*r - 4*z = 134*r - 44288. Is 13 a factor of r?
True
Suppose 9*v = 58*v - 93312 - 414720. Does 85 divide v?
False
Suppose 3*s = -2*j + 21, -2*s + 17 + 12 = 3*j. Suppose -7*z + 1440 = -11*z. Does 7 divide ((-6)/15)/(j/z)?
False
Let h(n) = -49*n + 87. Let v be h(-15). Suppose q + q + 3*c - v = 0, q - c = 406. Is 51 a factor of q?
True
Let t be 71*(-4)/4 + 4. Let d = t + 71. Suppose -112 = -d*l + 2*l. Is 13 a factor of l?
False
Suppose 17*w - 499 = 16*w + 4*v, 0 = w + 2*v - 517. Does 7 divide w?
True
Suppose 5*c = 9*c - 20. Let s be -12*c/(-45)*1047/2. Does 15 divide 3 - ((-1)/(-4) + s/(-8))?
True
Let v be (-8)/2*(150/20)/1. Is (v*(-9)/(-12))/(1/(-12)) a multiple of 54?
True
Suppose -60*s + 100043 - 26507 = -86304. Does 12 divide s?
True
Suppose 2*a = 4*g - 2*g - 57540, -g = 4*a - 28770. Suppose 16338 = 36*u - g. Is 13 a factor of u?
False
Let d(z) = z + 7. Suppose -4*u + 5*p - 53 = 0, 4*u + p = -11 - 12. Let b be d(u). Suppose b = -4*o + 4*c + 4, o + 9 = -c + 4*c. Is 4 a factor of o?
False
Let c be 10/(-105) + 14*22/147. Let w(i) = 5*i - 1 - 6 + 6*i. Is w(c) a multiple of 15?
True
Let s(y) = -6*y**2 - 465*y + 100. Does 91 divide s(-35)?
False
Suppose 18*w + 3*x = 17*w + 250, w - 250 = 2*x. Let n = -150 + w. Is n a multiple of 10?
True
Let f = -257 - -260. Suppose 5*x + 5 = 0, 0 = f*j - 4*j + 4*x + 61. Does 11 divide j?
False
Let b = -248 - -244. Let o(q) = -190*q - 24. Does 32 divide o(b)?
True
Let q(l) = -l**3 - 11*l**2 + 10*l - 12. Let b be q(-12). Let u(r) = r**3 - 13*r**2 + 13*r + 22. Let x be u(b). Suppose x = m - 4. Does 24 divide m?
False
Let l = -79940 + 126447. Is l a multiple of 14?
False
Let c(b) = -b + 3. Let s be c(0). Let w = -812 + 950. Suppose -s*u = -w - 90. Does 19 divide u?
True
Let k be -6186*((3 - -1) + (-13)/3). Is 5 a factor of 4/32 + k/16?
False
Let k = -102 + 106. Suppose -5*v + 500 = 4*g, 5*v - 9*v + k*g = -364. Does 20 divide v?
False
Let q = -1156 + 3297. Let f = -605 + q. Does 12 divide f?
True
Let g(v) = 2*v - 13. Let x be g(8). Suppose -3*f = 5*a - 257, -5*a - 2*f - x*f = -255. Let m = a - 37. Does 13 divide m?
False
Let q(s) = -2*s - 25. Let y be q(-11). Let r(k) = 5*k + 13. Let v be r(