- 5*i = 44. Does 6 divide k?
True
Let n(x) = 15*x + 12. Let g be n(-13). Let c = g - -280. Is c a multiple of 11?
False
Suppose -16*o + 29*o = 104. Suppose -o*p - 1161 = -17*p. Is 14 a factor of p?
False
Suppose -16*o + 2 = -15*o. Suppose 3*b - o*j + 271 = 871, 0 = 5*b - 4*j - 1002. Suppose 0*k - b = -4*g - 2*k, 1 = k. Is 6 a factor of g?
False
Let s(f) = f**2 + 14*f + 15. Let a be s(-12). Is 13 a factor of (-13)/(3 + 28/a)?
True
Let f = -722 + 1504. Is f a multiple of 19?
False
Let c(s) = 9*s**3 - 4*s**2 - s + 12. Let p(g) = g**2 + 19*g + 22. Let f be p(-18). Is 10 a factor of c(f)?
True
Let y(h) = 9*h**2 + 0 - 18*h + 27*h + 6. Let j be y(-6). Suppose -4*d + j = -4*s, 5*d - 212 = 2*d + 2*s. Is 37 a factor of d?
True
Let g = 10185 + -5988. Does 10 divide g?
False
Let i(m) = 473 + 0*m + 5*m - 373 - m. Is 6 a factor of i(-13)?
True
Let d(o) = 23*o + 75. Let z be d(-9). Let b = 184 + z. Is b a multiple of 13?
True
Let j be (-5)/30*4*-9. Suppose z = j*z - 780. Let d = z - 89. Is d a multiple of 30?
False
Let n = 251 + -246. Is (6/3 - -308) + n a multiple of 8?
False
Let k(s) = 14*s**3 - 4*s**2 + 21*s - 112. Does 89 divide k(6)?
False
Let p be -7 - (-1 - -2) - -948. Suppose 67*m - 72*m = -p. Is 9 a factor of m?
False
Is (-21)/14*(14 - 4526) a multiple of 159?
False
Suppose 130 = -5*l + 20. Let r = l - -22. Does 6 divide (2/(-2 - r))/((-2)/30)?
False
Let r = -689 + 688. Let v(w) = -26*w + 5. Let m be v(-4). Is 2/r + m + (1 - 0) a multiple of 16?
False
Let q(d) = -32*d + 103. Let a(m) = -3. Let p(b) = 4*a(b) - q(b). Is 7 a factor of p(6)?
True
Suppose -4*o - 7*s + 9595 = -2*s, -2*s = 2. Suppose -3*d = 2*y - 0*y - 1440, -5*d + y + o = 0. Does 20 divide d?
True
Suppose -5*q + 6384*k = 6387*k - 91003, -k = -1. Does 108 divide q?
False
Suppose -182885 + 2357112 = 188*l - 1336861. Is 16 a factor of l?
False
Suppose -4*w = -3*v + 6 - 7, v - 17 = -3*w. Let a(u) = u**3 - 2*u**2 - 7*u. Is 3 a factor of a(v)?
False
Is 738/(-7 + (-1313)/(-182)) a multiple of 9?
False
Suppose a = 5*y + 3308, -25*a - y + 3326 = -24*a. Does 8 divide a?
False
Suppose -5*t + 9*t = -220. Let i = -50 - t. Suppose -3*a = -i*q - 664, 4*a + 104 - 951 = -q. Does 30 divide a?
False
Let o = -6162 - -7925. Does 43 divide o?
True
Let c = 31 - 29. Suppose -7 + 3 = -c*j. Suppose j*t - 30 = 102. Is 22 a factor of t?
True
Let v be 16/6 + (14/3)/(-7). Let p(i) = 6 + 18 + 6*i + v*i. Is 32 a factor of p(21)?
True
Let n(i) = 5*i - 49. Let k be n(11). Is 12 a factor of 29/(-1*k/(-42))?
False
Let l(f) = f**3 + 22*f**2 + 8*f - 8. Let p be l(-22). Let w = p - -728. Suppose 4*i = -5*t + 215 + w, t + i = 151. Does 9 divide t?
False
Suppose -s = 2*d + 284, 3*d = -0*d + 4*s - 404. Suppose -1540 = -y + 23*y. Let a = y - d. Is 35 a factor of a?
True
Is (129/(-2))/((-136)/5984) a multiple of 5?
False
Let k(m) = 15*m - 5. Let z(r) = 16*r - 4. Let g(v) = -4*k(v) + 5*z(v). Let f be g(-5). Let o = f - -187. Is o a multiple of 12?
False
Let d(s) = -110*s - 2. Let i be d(-10). Let b = -783 + i. Does 27 divide b?
False
Let t = -234 - -314. Suppose 0 = -w + 2*k + t, -30 - 106 = -2*w - 4*k. Is 14 a factor of w?
False
Let n = -19046 - -32187. Is n a multiple of 16?
False
Let x = 36 - -107. Suppose x*v - 357 = 142*v. Suppose 3*f - v = -3*g, 111 = f - 3*g + 2*g. Does 34 divide f?
False
Let k(c) = -c**3 + 15*c**2 + 26. Let o(h) = -h**2 + 12*h + 75. Let f be o(-4). Does 17 divide k(f)?
True
Suppose -3*y - 42 = -3*b, 0 = 2*b - 4*y - y - 25. Does 5 divide 8 - (b + -9)*1/2?
True
Let u(t) = 12553*t + 14099. Does 10 divide u(4)?
False
Suppose -3*s - 6 = 0, -4*w = -4*s - 26 - 34. Suppose w*d = 10*d + 252. Is d a multiple of 10?
False
Let x(b) = 613*b**3 - 3*b + 2. Let l be x(1). Let i = l + -162. Is 18 a factor of i?
True
Let q(l) be the first derivative of 2*l**3/3 + 5*l**2 - l + 2. Let r be q(-7). Suppose -219 + r = -6*x. Is x a multiple of 10?
False
Suppose 12*p - 8*p + 3*o - 5681 = 0, -2*p - 5*o = -2823. Does 25 divide p?
False
Let w(h) = 597*h - 2326. Does 8 divide w(13)?
False
Let k = -411 - -694. Suppose 281*n = k*n - 1834. Does 15 divide n?
False
Suppose 4*z + a - 1580 = 0, -784 = -2*z - 232*a + 230*a. Is z a multiple of 6?
True
Is 14 a factor of ((-5)/(260/(-8)) + 207344/208)*14?
True
Let q(z) = 67*z - 87. Let a(y) = 67*y - 88. Let n(x) = -2*a(x) + 3*q(x). Does 39 divide n(7)?
False
Suppose -36*x - 7542 - 11538 = 0. Let n = x - -656. Does 21 divide n?
True
Suppose 5*i = 2*s + 744, 0 = -9*i + 5*i - 4*s + 612. Let n = 395 + i. Is 29 a factor of n?
False
Let m = 6 + -11. Let b be (-194)/(-4) - m/10. Suppose -p + 7 = -b. Is 7 a factor of p?
True
Let m(l) = 5*l**3 - 27*l**2 + 14*l - 28. Let j(a) = 9*a**3 - 52*a**2 + 29*a - 54. Let n(p) = -6*j(p) + 11*m(p). Does 16 divide n(-12)?
True
Let c(n) = 1756*n**2 + 84*n + 130. Is 17 a factor of c(-4)?
False
Let g(o) = 4*o + 34. Let d be g(-5). Let a(s) = -s**3 + 13*s**2 + 22*s - 19. Let u be a(d). Is u/(-217) + 160/14 a multiple of 2?
False
Let d(p) = 7*p + 146. Let s be (-728)/(-22) + 47/(-517). Is d(s) a multiple of 19?
False
Suppose 0 = 4*k + 16407 + 34633. Let o be 4/(-14) + k/77. Let q = -59 - o. Is 9 a factor of q?
False
Suppose -4*q = 17*q - 4263. Suppose -4*k + 1403 = q. Is k a multiple of 6?
True
Is 9 a factor of 2678 + (24/(-15))/(8/(-20))?
True
Suppose -24*z = 355 - 115. Let c(d) = 3*d**2 + 22*d - 3. Does 7 divide c(z)?
True
Suppose 4*c = 3*k + 17372, -3*c + 11*k + 13058 = 16*k. Is c a multiple of 82?
True
Let n = 11 - 42. Let g = n - 2. Let x = g + 72. Does 8 divide x?
False
Suppose -39*o - 525 = -14*o. Is 6495/20 + (o/4)/7 a multiple of 18?
True
Suppose 129*p = 133*p. Suppose f - 116 + 2 = p. Is 4 a factor of f?
False
Let n(x) = -x**3 + 14*x**2 - 15*x + 34. Let y be n(13). Let u be (-20)/y*18/15. Let b = u - -125. Does 61 divide b?
True
Let f(u) = -37*u**3 - 8*u**2 + 181*u - 38. Is 50 a factor of f(-11)?
True
Is 69088/7 + ((-963)/(-63) - 15) a multiple of 21?
True
Let z be ((-498)/9 + -6)*-9. Suppose 0 = -6*i + 2*i + z. Is 26 a factor of i?
False
Let s = -44 - -41. Let y(o) = 17*o - 5. Let t(u) = 33*u - 11. Let b(a) = s*t(a) + 5*y(a). Is b(-4) a multiple of 16?
True
Let k = 128 + -67. Suppose -m - 20 = -5*m. Suppose k = 3*c - m. Does 2 divide c?
True
Suppose -322928 - 6352 = -112*v. Is 30 a factor of v?
True
Suppose -168534 = -99*g + 431604. Is 19 a factor of g?
False
Let q(n) = -n**3 - 7*n**2 - 9*n + 21. Let p be q(-7). Let f = 164 - p. Suppose -4*j + f = -320. Is j a multiple of 50?
True
Let z(c) = 26*c - 285. Let b be z(11). Let m(u) = 1649*u**3 - 2*u**2 + 1. Does 23 divide m(b)?
False
Let j = -207 + 209. Is 11 a factor of (13 - 14)/(j/(-22))?
True
Let c be 2 + 201/4*(-8)/(-3). Let a = c - -2. Suppose -3*b = -a + 18. Does 20 divide b?
True
Let a be (-87)/1*(-5 + 4)*-2. Let z = 253 + a. Does 23 divide z?
False
Suppose 418*o + 256 = 422*o. Suppose -51*z = -o*z + 2691. Is 5 a factor of z?
False
Suppose 10*q + 103 = 133. Is (-208)/(-12)*(q/(-3) - -16) a multiple of 5?
True
Let x be ((-15)/(315/(-56)))/((-1)/147). Let c be ((-1)/4)/(14/x). Suppose 2*v + 2*j - 372 = c*j, 175 = v + 3*j. Does 19 divide v?
False
Suppose -5*a - 3*y + 1295 = 0, 0 = -19*a + 14*a + 5*y + 1295. Let f = 609 - a. Is f a multiple of 35?
True
Let b(j) = 12*j**3 + 2*j + 3. Let h be b(-1). Let d = -61 - h. Does 16 divide ((-480)/d)/(3/40)?
True
Suppose 0 = 3*l + 4*a - 722, 2*a = 4*l - 947 + 21. Suppose z - 4*z = -l. Is 39 a factor of z?
True
Suppose 0 = p, 3*j = -0*j - 2*p - 30. Let x = -16 - j. Is (45/x)/(7/(-14)) a multiple of 9?
False
Suppose -133*j - 136*j = -287*j + 80550. Does 4 divide j?
False
Let t be 3*((-3)/(-6))/(9/78). Suppose -t*l + 455 = -234. Is l a multiple of 3?
False
Suppose -4*a + 244 - 12 = 0. Suppose b - 1 = -0. Suppose a = r - b. Is 10 a factor of r?
False
Suppose -t + 2 = -3*f + 3, 4*t = -5*f + 13. Suppose 4*p - 5*k - 525 = 0, k = t*p - 3*k - 264. Suppose -3*s = -p - 71. Is 9 a factor of s?
False
Suppose -g - 387*m + 382*m = 1, -3*g - 2*m + 10 = 0. Let p(f) = -f**2 + 6*f + 7. Let r be p(5). Is 4 a factor of ((-13)/g - -1)/(r/(-128))?
True
Let o(n) = 4*n**3 - 45*n**2 + 427*n - 59. Does 40 divide o(26)?
False
Suppose -72*a + 70*a = -60. Does 14 divide 12/(-30) - (-3)/(a/884)?
False
Suppose -10*n = -40*n - 7*n + 540940. Is 43 a factor of n?
True
Let j(r) = 2*r**2 - 27*r + 43. Let d