d/6*3/2?
False
Let d be 2 + 77/(-3) + 36/(-108). Is 132/d + 5 + 63/2 a multiple of 23?
False
Let u(h) = 7*h**3 - 4*h**3 + 37 + 14 - h**3 + 62*h**2 - 25*h. Does 11 divide u(-31)?
False
Suppose 33 = b + 2*r + 6, -84 = -4*b - 2*r. Let t = b + -16. Suppose 2*q - 4*i = 74, -t*i = 4*q - 8*i - 151. Is q a multiple of 13?
True
Let s = 21881 + -11333. Is 18 a factor of s?
True
Let w(m) = -m**2 - 10*m - 17. Let b be w(-6). Suppose -b = 10*o + 3. Let v = 1 - o. Is v a multiple of 2?
True
Let f = 2833 + -61. Is 21 a factor of f?
True
Suppose 75*i + 16002062 = 123*i + 181*i. Is 309 a factor of i?
False
Let y(c) = -9*c + 3*c**2 + 16 + 13*c + 17*c. Does 10 divide y(-9)?
True
Suppose 9*s - 820 = 188. Suppose 0 = -254*q + 247*q + s. Does 4 divide q?
True
Suppose g = -5*u + 14788, 4*u + 7*g - 11830 = 6*g. Is u a multiple of 174?
True
Let t(d) = d**2 + 10*d + 21. Let w be t(-16). Suppose -k - x + 15 = 4*k, 3*k = x + 9. Let m = k + w. Is m a multiple of 40?
True
Let a = -14915 - -28107. Is a a multiple of 34?
True
Let w be (-8248)/6 + (-2)/(-3) + 0. Does 14 divide 12/(-9) + -5 + w/(-18)?
True
Let r be (-2)/(-8)*6 + 34249/(-58). Let m = -255 - r. Is 4 a factor of m?
False
Let q = 58 - 55. Suppose 4*w - 17 = 5*o, 0 = q*w + 4*o + 2 - 7. Suppose -2*m - 842 = -6*m - 2*j, 0 = -2*m + w*j + 425. Is m a multiple of 27?
False
Let x(f) = f**3 + 2*f**2 + 2*f. Let t be x(-2). Does 6 divide (-262)/t + (-7)/(-14)?
True
Let x(t) = -t**3 - 10*t**2 - 43*t - 219. Is 85 a factor of x(-14)?
False
Is 68 a factor of (6670 - (6 + -7)) + -7?
True
Let y(j) = 2*j**2 + 428*j + 201. Does 11 divide y(45)?
False
Suppose 34*a - 39538 - 478588 = 0. Is 27 a factor of a?
False
Let h(u) = 3*u**2 - u - 40. Let z(n) = -7*n**2 + 4*n + 79. Let l(r) = -5*h(r) - 3*z(r). Is l(-9) a multiple of 30?
False
Let m = -58 - 6. Let c be 2/(-3) - m/(-12). Is (189/(-12))/(c/16) a multiple of 14?
True
Let t(n) = n**3 - 33*n**2 - 69*n + 65. Let q be t(35). Does 20 divide ((-19425)/q)/(1/(-4))?
False
Let b(t) be the second derivative of -t**4/12 - 7*t**3/3 - 17*t**2/2 - 19*t. Let y be b(-7). Suppose -g + 23 = -y. Is 17 a factor of g?
False
Suppose 3*f - 405 + 3 = -4*c, 0 = 4*f + 3*c - 529. Suppose 5*p - 2*x = f, -x = 4*p - 0*x - 117. Suppose p - 108 = -i. Is 14 a factor of i?
False
Let j be 1 + ((-80)/(-15) - 2/6). Suppose -5*w + 7114 = -2*c, j = -2*c - c. Suppose 212 = k - 5*q - 84, -5*k - 4*q = -w. Does 13 divide k?
True
Let a(o) = 13*o + 1817. Is 2 a factor of a(-58)?
False
Suppose 9 = -2*j - f, -24 = -21*j + 25*j + 4*f. Is 2 a factor of (2 + 113)*(36/(-20))/j?
False
Let c(n) = 6*n - 59. Let d = -48 - -44. Let k(x) = -2*x + 20. Let i(h) = d*c(h) - 11*k(h). Is i(6) a multiple of 2?
True
Suppose 2*k = -c - 86, 2*k - 7 = 3. Let x = c - -287. Is 13 a factor of x?
False
Let w(d) = -18*d**3 + 6*d**2 + 10*d + 4. Let l(s) = s**3 + s**2 - 7*s - 5. Let i be l(-3). Is 49 a factor of w(i)?
False
Suppose -2*i + 80 = 14*i. Suppose -4*y - 988 = -3*n, i*y + 1655 = -12*n + 17*n. Is 24 a factor of n?
True
Suppose 8 = -11*z + 52. Suppose z = -o, -o = -5*k + 2*o + 12. Suppose -5*v + 217 = -4*a, 2*v + k*a = 3*a + 91. Is 20 a factor of v?
False
Suppose -3*y = 5*v - 2*y + 10, 5*y + 30 = -5*v. Let h be v/(-5) - (-42)/15. Suppose 0 = -q + h*q - 40. Is q a multiple of 4?
True
Let m(u) = -u + 9 + u - u. Let f be -20 + (-5)/25*5. Does 18 divide m(f)?
False
Let g be -2 + 4 + 1 - -24. Let a(y) = -4*y + 14. Let j be a(3). Is 1140/g + (j - 40/18) a multiple of 17?
False
Let w(t) = -2*t**3 - 2*t**2 - 5*t - 2. Let q be w(-1). Suppose 3*r - 5*u = 1108, -2*u + q = -5. Does 8 divide r?
True
Let p be 5335/(-44) + 3/(-4). Let y be p + (0 - 2)/(-2). Is 38 a factor of (-2 + 1)*1*y?
False
Let q(f) = 31*f**2 + 30*f + 131. Is 84 a factor of q(-5)?
True
Let t(o) = 295*o**2 + 5*o + 8. Let h(p) = -10*p - 222. Let r be h(-22). Is t(r) a multiple of 31?
True
Suppose 0 = 4*d - 2*d + 496. Let h be 565/(-15)*(-10 + 13). Let m = h - d. Is m a multiple of 27?
True
Suppose -8 = -5*r + 7. Suppose 6*d + r*d - 135 = 0. Suppose 2*k - 108 = 5*y, -k + 2*y = -d - 38. Is 13 a factor of k?
False
Let y(i) = 1072*i + 438. Let h be y(10). Suppose -34*z = -9582 - h. Is z a multiple of 5?
True
Suppose -31*i = -27*i. Let z be 0 + (1 - -2078 - i). Suppose 3*t = 14*t - z. Is 27 a factor of t?
True
Let s(x) = -235*x - 615. Is 10 a factor of s(-81)?
True
Let j = 506 - 500. Does 44 divide -78*((-10)/4 - j)?
False
Let v be 2/(-5)*2*20/(-4). Let w be v/(-8)*2*-13. Suppose -3*n = 3*d - 30, n = -2*d + w + 4. Is 2 a factor of d?
False
Suppose k = 5*g + 26550, -151*k + 53088 = -149*k - 4*g. Does 20 divide k?
True
Let t(g) = 33*g**2 + 8*g + 4. Is t(-4) a multiple of 5?
True
Let w = 960 + -534. Suppose 46 = -5*k + w. Is 3 a factor of k?
False
Suppose -160*d + 158*d + 24 = 0. Let b be 2/(-6) + 1 + (-4)/6. Suppose d*g - 2029 - 2507 = b. Is 54 a factor of g?
True
Let k = -43 - -37. Let g(u) = -u**3 - 6*u**2 - 2*u - 8. Let o be g(k). Is 64 - (-3 + o + -3) a multiple of 43?
False
Let c = 225 - -12. Let b = -89 + c. Is b a multiple of 37?
True
Let w(l) = -24*l + 140 - 3*l**3 + 14*l**3 + l**2 - 7*l**3. Is w(6) a multiple of 32?
True
Is (-75348)/(-10 - 2) + -9 a multiple of 55?
True
Let k be 1/(-3)*(14 + -47). Let t(h) = -h**3 - 5*h**2 + 8*h + 12. Let u be t(-7). Let b = u + k. Is b a multiple of 13?
True
Suppose 43 = -5*s + f - 6, -46 = 5*s - 4*f. Is 24 a factor of s - (-7 + 0) - -435?
True
Let k = 18857 - 14490. Is k a multiple of 15?
False
Suppose 2*g - x = 1, -2*g - 3*x = 3*g + 14. Let z be 3 - (-2)/(-1)*g. Suppose -80 = z*k - 9*k. Is k a multiple of 5?
True
Let n be (-28)/(-4)*(-8)/(-14). Suppose n = -4*g - 4. Is 7 a factor of 50 + 5/5 + g?
True
Let r(w) = -w**2 + 10*w + 24. Suppose 0 = -3*v - 4 + 40. Let s be r(v). Is 15 a factor of (-3)/(-3) - -20 - (s - -3)?
False
Suppose -5*q = 9*k - 14*k + 1530, -5*k = 3*q + 894. Let p = -236 - q. Is 11 a factor of p?
False
Let x = -266 - -3416. Does 21 divide x?
True
Let d(u) = -223*u - 1106. Is d(-42) a multiple of 15?
False
Suppose -3*m = -3*k + 393, 0*m - 556 = -4*k - 4*m. Let r = 393 - k. Is r a multiple of 16?
False
Let q be ((-2)/(2/(-3)) - 2) + -13. Let o be (1 - (-32)/q)*-9. Is (-6 - -1)*(1008/o)/(-6) a multiple of 12?
False
Let c(v) = -28*v**2 + v - 28. Let i be c(4). Let x = 1692 + i. Is 61 a factor of x?
True
Suppose -5 = -6*t + 7. Suppose -12 = 6*k - t*k. Is -40*k*5/30 a multiple of 10?
True
Let j be (-3)/((48/(-9688))/((-8)/(-14))). Suppose 3*d - j = 92. Is 27 a factor of d?
False
Let i = -50 + 261. Suppose z = 5*h - 1043, 2*h + i = 3*h + z. Is 19 a factor of h?
True
Suppose -5*y - 4*n + 119 = 0, -13*y + 16*y + 2*n - 73 = 0. Suppose -26*w = -y*w + 46. Is 2 a factor of w?
True
Suppose -450 = 28*h - 366. Suppose -3*d = -1 - 2. Does 2 divide h/((-2)/(-40) - d/5)?
True
Let u(y) = 25*y**3 - 15*y**2 + 72*y + 11. Is u(5) a multiple of 129?
False
Let n(p) = -3452*p + 164. Is n(-1) a multiple of 35?
False
Let z(s) = -6*s**2 - 3*s - 2. Let g be z(-1). Let u be g/4 - 2/(-8). Is 23 a factor of 22 + u + (4 - 8 - -6)?
True
Suppose -4*c + 24764 = -2*v, 0 = -3*c + v + 245 + 18327. Is 4 a factor of c?
False
Let j(o) = o**3 - 37*o**2 - 235*o - 35. Is j(46) a multiple of 21?
False
Suppose -4*j - 14 + 30 = 0. Does 4 divide (-48)/(-32) - (-266)/j?
True
Suppose 25*p - 102314 = -50*p + 571261. Does 28 divide p?
False
Let p(y) = 1441*y**2 + 140*y + 423. Is 13 a factor of p(-3)?
False
Let i(j) be the third derivative of j**6/5 + j**5/60 - j**4/12 - j**3/3 - 17*j**2. Does 10 divide i(2)?
True
Suppose -92 - 88 = 12*o. Is 8 a factor of (-6 - -1)*618/o?
False
Let o = -1 + 4. Let x(w) = 2*w + 16. Let p(m) = 5*m + 49. Let j(s) = o*p(s) - 8*x(s). Is j(13) a multiple of 6?
True
Let v be -80*((-84)/(-15) - 4). Let g be ((-9)/2)/(4/v). Let s = -52 + g. Is 23 a factor of s?
True
Let w(a) = -2*a**2 + 90*a - 104. Is 12 a factor of w(30)?
False
Let r(x) = x**2 + x - 12. Suppose -3*t = 2*y - 9, 5*t - 14 = -5*y + 11. Let i be r(y). Suppose 0 = -8*f + i + 26. Does 7 divide f?
True
Let j(l) = -l**2 - 3*l - 2. Let k be j(-5). Let f(d) = -d - 10. Let r be f(k). Let a = r - -100. Does 20 divide a?
False
Let i be (-2)/(-11) + (-318)/(-66). Suppose 9*s = i*s + 1260. Does 41 divide s?
False
Let d be (-9)/(-2)*-79*(-4)/6. Suppose -d = -p + 76. Let g = p - 218. Does 16 divide g?
False
Let m =