15 + n. Is 9 a factor of w?
False
Let z be 17/7 - 4/(-7). Let j(m) = -7 - 2*m**3 - 3*m + 11 - z*m**2 + 4*m**3. Is 11 a factor of j(3)?
True
Suppose -2*r + 62 = -5*h, r - 2*r + 5*h + 41 = 0. Let x be 4/28 + (-381)/r. Does 14 divide -20*(-6)/x*(-1 + -20)?
True
Let k(n) = 2*n**2 - 36*n + 9. Let w be k(18). Let c be (4 - (-2 + w)) + -98. Let y = 144 + c. Does 26 divide y?
False
Let r be (-10)/(-4)*27248/260. Let n = 1102 - r. Is n a multiple of 84?
True
Let y = -598 + 628. Let t(d) = 89*d - 5. Let j be t(4). Suppose y*k = 27*k + j. Does 11 divide k?
False
Let t = -116 + 122. Suppose 30*r + t*r = 22680. Is r a multiple of 42?
True
Let p be (-1087)/(-9) - (-2)/9. Let k(f) = 5*f - 1. Let u be k(1). Suppose -u = -4*b, 5*b = -4*o + 4*b + p. Does 2 divide o?
True
Suppose -63 = -x - w, -5*x = -2*w - 2 - 320. Let r(z) = z**2 + 5*z + 7. Let p be r(-5). Suppose -k - p = -x. Does 19 divide k?
True
Let r(y) = -206*y - 218. Let z(k) = -69*k - 73. Let a(f) = 2*r(f) - 7*z(f). Is a(3) a multiple of 24?
True
Let j(r) = r**3 + 13*r**2 - 6*r - 38. Let g(l) = -l**2 + 15*l - 39. Let b be g(13). Is j(b) a multiple of 21?
False
Let h(z) = -25*z + 293. Let f be -13 - (2 + 4) - -6. Does 50 divide h(f)?
False
Let j(z) = 2*z**2 - 5*z - 30. Let g be j(-17). Let y = -309 + g. Does 9 divide y?
True
Suppose 7*t - 6409 = 1739. Is t a multiple of 17?
False
Let s = -7150 + 10153. Is 39 a factor of s?
True
Let x be 6/4*3180/45 + -6. Suppose 3*r + x = -u + 438, 4*r = -3*u + 1009. Is u a multiple of 5?
True
Let x = 125 - -37. Is 11 a factor of x*4 + (-6 - -4) + 3?
True
Let z(v) = -v**2 + 26*v - 18. Let d = 176 + -161. Does 21 divide z(d)?
True
Let j = 36577 - -5769. Does 62 divide j?
True
Suppose 655 = 4*l - 5*s - 1169, -l - 4*s = -456. Is 38 a factor of l?
True
Suppose 4*h - 37 = 887. Let t be 6 + (10 + -7 - (7 - 1)). Suppose t*b - 219 = h. Is 28 a factor of b?
False
Suppose 0 = -2*v + 13 + 5. Let y be 683/3 - (51/v - 5). Let q = y + -131. Is 12 a factor of q?
True
Suppose -132*p + 105 = -127*p. Suppose -36*f + p = -35*f. Does 7 divide f?
True
Does 15 divide 12229 + ((-4)/42 - 1804/462)?
True
Let n be 22/10 + 22/(-110). Let g(k) = -n*k + k - 17 + 39 - 6*k. Is g(-12) a multiple of 33?
False
Is -106*(-318)/4 - ((-91)/13 + 2) a multiple of 136?
True
Suppose -3*d + 3135 + 1470 = 5*v, 3681 = 4*v + 3*d. Is v a multiple of 14?
True
Is (105632/56)/(30/84) - 2/(-5) a multiple of 19?
True
Suppose 4*g - 6 = 22. Suppose 624 = g*l - 4*l - 2*n, 2*l + 5*n - 416 = 0. Suppose -l = -7*h - h. Does 26 divide h?
True
Let q(b) = -6*b**2 + 0*b**2 - 13 + b**2 - 3*b**3. Suppose -301*o + 309*o = -40. Is 22 a factor of q(o)?
False
Suppose -j + 78 - 22 = 2*g, 0 = 5*j. Suppose g*k - 13675 = 3*k. Is k a multiple of 19?
False
Does 12 divide (-24)/72*-27*(-3760)/(-6)?
True
Suppose -m + 103 = f - 176, 303 = m + 5*f. Is m a multiple of 91?
True
Does 8 divide -4 + (1 + 236)/(11/44)?
True
Suppose v + 44 = 3*v. Let j = -40 + v. Let q = j - -46. Is 4 a factor of q?
True
Does 41 divide (42/78)/(-7) - (-1531322)/169?
True
Let j = 89 - -530. Does 6 divide j?
False
Suppose -5*c - x - 293 - 6 = 0, 3*x - 342 = 6*c. Let u be 2/(-6) + (-1104)/9. Let l = c - u. Is l a multiple of 32?
True
Suppose 272*c + 842688 = 424*c. Is c a multiple of 42?
True
Suppose 67 + 5 = 8*a. Suppose 1070 - 3311 = -a*j. Is 23 a factor of j?
False
Let t = -26 + 47. Let c = t - 19. Let w(r) = 16*r**3 - r**2 + 6*r - 4. Is w(c) a multiple of 27?
False
Suppose 1 - 2 = a + 2*v, 4*a - 3*v - 40 = 0. Suppose a*o = 69 + 211. Is o a multiple of 2?
True
Let b = 64 - 60. Suppose -k + 3*o + 58 = 0, 0*k + 174 = 3*k - b*o. Let j = 226 - k. Is 21 a factor of j?
True
Let d(m) = m. Let g be d(-1). Let n be -4 - ((-25)/10)/(-5)*0. Is (g*n/8)/((-2)/(-292)) a multiple of 11?
False
Let g = -147 + 151. Let z be 6/g - 12/8. Is 4 - (z/3 + -20) - 4 a multiple of 2?
True
Let n(g) = -1807*g - 7634. Is 171 a factor of n(-17)?
True
Let h(q) = 2*q**2 - 21*q - 5. Let d be h(-8). Suppose 300 = k + 2*f, 0*k - k - 5*f = -d. Suppose 4*p = p + k. Is p a multiple of 11?
False
Let p = -17924 - -31196. Is p a multiple of 42?
True
Suppose 5*f - 4*g = 70197 - 3455, -13352 = -f - g. Is f a multiple of 178?
True
Suppose -3*j + 46 + 26 = -4*o, -5*j = -o - 18. Let w be (-6)/27 - 1/(o/4). Suppose 57 + 87 = 5*t + 4*q, 3*t - 4*q - 80 = w. Does 7 divide t?
True
Suppose 13*f = 14*f - 1253. Suppose -f = -14*w + 1897. Is w a multiple of 45?
True
Let b(p) = -224*p + 2107. Does 21 divide b(-13)?
True
Let z(t) = -2*t**3 + 15*t**2 - 5*t - 11. Let j be 5 + (-12)/(-4) + -1. Let n be z(j). Suppose -3*i = -5*b + 506, i = -n*b + 5*i + 308. Is b a multiple of 31?
False
Let f(b) = 9*b - 15. Let n(i) = i + 15. Let z be (2/(-5))/(1/(-20)*-1). Let d be n(z). Is 13 a factor of f(d)?
False
Let l(y) = -2*y**2 + 29*y - 58. Let r be l(12). Suppose 686 = 2*w - r*i, -3*w + 3*i + 1009 = 5*i. Does 7 divide w?
False
Suppose -40*j = -43*j + 6. Let h(v) = -j - 26*v + 23*v - 5 + v**2 + 3. Is h(5) a multiple of 2?
True
Let d be (-1 + 18/6)*3. Suppose -3*x + 358 = -2*r, -2*x + 9*r - d*r = -237. Is 15 a factor of x?
True
Suppose -254*m = -4*t - 250*m + 302664, 0 = -t - 3*m + 75634. Is t a multiple of 22?
True
Suppose 88*i - 1020150 - 1437679 = 1659691. Is i a multiple of 99?
False
Let w(u) = 5*u - 31 + 5 + 35*u - 10*u. Let g be w(8). Let t = g - 118. Does 21 divide t?
False
Let g(d) = 15*d + 9 + 6*d - 7. Is 18 a factor of g(1)?
False
Let o be -4 + (2 - -5) + -171. Let b = o + 1096. Is 29 a factor of b?
True
Let l = 14 - 12. Let q = -231 - -236. Suppose 5*x + q*o = 730, l*x = -2*o + o + 288. Does 18 divide x?
False
Is (-22380)/15*88/(-64) - 6/4 a multiple of 20?
False
Let s be ((-432)/(-40) + -10)*30/4. Is 2 a factor of -8*(-2 - 3) + (-30)/s?
False
Let c be 112/7 - 6/(-18)*-3. Suppose -c*u - 9310 = -53*u. Is u a multiple of 60?
False
Does 28 divide (-12 - (3 - 36239)) + -8 + 9?
False
Let o be (24 - 0 - 0)*(-45 + 23). Is 2/(-11) - 118368/o a multiple of 14?
True
Suppose -69*p + 27*p = -222692 - 181978. Does 41 divide p?
True
Let x = -22 - -28. Suppose 3*o = -2*z + x*o - 3, 5*z - 3*o + 3 = 0. Let c = 69 + z. Is c a multiple of 22?
False
Suppose 0 = -t - t + 18. Let g(l) = -11*l + 17. Let v(j) = 11*j - 19. Let m(f) = -5*g(f) - 4*v(f). Does 18 divide m(t)?
True
Let d(g) = -g**3 - 6*g**2 - 3*g + 1. Suppose -3*j + 22 = -5*p, -2*p - 3*p = 5*j + 30. Let q be d(p). Let n(a) = a**2 + 7*a + 16. Does 15 divide n(q)?
False
Let z(c) = 25*c + 116. Let k be z(-16). Let j = 348 + k. Is 7 a factor of j?
False
Let p = -7113 + 10212. Is p a multiple of 31?
False
Let q(l) = -l**2 + 4*l + 16. Let o be q(6). Suppose 651 = o*f + 3*f. Let t = f + -4. Is 20 a factor of t?
False
Suppose 342699 = 102*h - 447189. Does 242 divide h?
True
Let b(l) = -1 - 3 + l**2 + l + 6*l. Let o(t) = 5*t + 7. Let v be o(0). Is b(v) a multiple of 15?
False
Let n be 252/(-105)*(-4585)/2. Is n/18 - 3/(-9) a multiple of 25?
False
Suppose -15*f - 78 = -288. Let a(r) = -2*r**3 + 31*r**2 - 12*r - 8. Is 103 a factor of a(f)?
True
Does 10 divide (-5)/((-10)/4468) - (-11 - (19 + -26))?
False
Let r be 4/(-14) + -6 + 2415/49. Suppose r*g - 12*g - 3906 = 0. Is g a multiple of 9?
True
Does 107 divide (-30995)/((9/(-27))/((-2)/(-60)) - -9)?
False
Suppose 17 = z - 3*x, 0 = -z - 5*x + 1 - 24. Suppose -395 = -4*n + 3*f, 0 = -3*n - 0*n - z*f + 275. Let r = n + -62. Does 9 divide r?
False
Let t be (207/6)/3*(-20)/5. Let h = 204 - t. Is 35 a factor of h?
False
Let j(h) = 3*h**2 + h + 7. Suppose -8*k - 3*k - 77 = 0. Let x be j(k). Suppose 0 = 5*v - x + 37. Does 13 divide v?
False
Let v = 30744 + -28104. Is v a multiple of 11?
True
Let h = 61 - 60. Let x = -25 + 57. Let a = x + h. Is a a multiple of 6?
False
Suppose 3*h - 948 = 3*c, c - 821 - 771 = -5*h. Is 3 a factor of h?
True
Suppose 41*a - 8*a - 149776 = 17*a. Does 56 divide a?
False
Let c(p) = -873*p - 3595. Is c(-30) a multiple of 18?
False
Let k(h) = -693*h + 12369. Does 334 divide k(-39)?
False
Let k(w) = 2*w**2 + 46*w - 48. Let v be k(-24). Suppose v = -2*m - 5*n + 138, 0*m - m + 2*n = -60. Is 16 a factor of m?
True
Is 12 a factor of (-780 + 5)*(2 - 7)/5?
False
Is (-101866)/(-7) + 104/(-364) a multiple of 8?
True
Let j(g) = 41*g - 4. Let f be j(3). Let l(q) = q**3 - 27*q**2 - 52*q + 26. Let x be l(29). Let i = x - f. Does 27 divide i?
True
