 Let h be 5/6 - 103410/(-324). Let m = h + r. Is m a multiple of 13?
False
Let a(j) = -124*j + 197. Is a(0) a multiple of 20?
False
Let z = 26022 - 18430. Does 73 divide z?
True
Let v = 89 - 79. Let r be (-105)/(-6)*24/v. Suppose r = 4*t + 14. Does 3 divide t?
False
Is 8 a factor of (-20)/(-5) - 31/(62/(-600))?
True
Let s(b) be the first derivative of 3*b**4/2 - 3*b**3 + 2*b**2 - 50*b + 115. Is 14 a factor of s(7)?
False
Let h = 893 + -781. Is h/840 + (-5)/(75/(-10498)) a multiple of 50?
True
Let q(w) = 8*w**2 - w + 2. Let d be q(1). Suppose 0 = -m - 3 + d. Suppose -2*b - m + 90 = -2*x, -153 = -4*b - x. Is b a multiple of 3?
True
Let k = -123 - -117. Does 18 divide (-445)/((-4)/12 + 4/k)?
False
Suppose 2*v = v. Suppose -2*y - 1 + 5 = v. Suppose 0 = -3*b - y*b + 5*n + 75, -4*b = -3*n - 61. Is 16 a factor of b?
True
Suppose 3*t + 3*x = 10437, -525*x + 521*x + 17396 = 5*t. Does 24 divide t?
True
Let x be (45/12)/((-1)/(-200)). Suppose 5*t - x = h - 72, 0 = 5*t - 4*h - 672. Is t a multiple of 46?
False
Let q be (-1)/((-1350)/(-1345) + -1). Let i = 374 + q. Does 2 divide i?
False
Let t(p) = 2*p**2 + 12*p + 3. Let m be t(-6). Suppose -3*w = b + b - 44, -5*b + 110 = m*w. Suppose 5*c = b + 93. Is c a multiple of 5?
False
Is (2817528/1085)/((-3)/(-20)) a multiple of 32?
True
Suppose 6*y = 9*y. Let l be (-2)/18*3*y. Suppose 3*a - 155 = -l*a + k, -2*a + 4*k + 110 = 0. Does 17 divide a?
True
Let l = -77 + 77. Let q = l - -5. Suppose 5*i - 3*i - 242 = -k, -q*i - 2*k + 604 = 0. Is 15 a factor of i?
True
Let s be (-10 + (-60)/(-8))*(-12)/10. Suppose -3*p + 5*p = -3*w + 42, -4*p = -s*w + 60. Is 2 a factor of w?
True
Suppose l = -3*f + 7897, 60*f - 56*f = -3*l + 10531. Does 14 divide f?
True
Suppose -43*d + 17548 = 2412. Let v = 466 - d. Is v a multiple of 6?
True
Let m = 2 + 3. Let n(y) = -5*y**2 - 60*y + 10. Let z be n(-11). Suppose 0 = -m*i + 260 - z. Does 20 divide i?
False
Let u(r) = r - 8. Let v be u(20). Suppose 8*c - 11*c = v. Is 4 a factor of 4/((c + 2)/(-10))?
True
Let d be ((-88)/12)/((-8)/12). Let t(k) = -k**3 - d + 11 + 5*k**2. Is 4 a factor of t(4)?
True
Let s(z) = 129*z + 5. Let c be s(1). Let k = 145 - c. Is k a multiple of 11?
True
Suppose 0 = -177*k + 2327029 + 395408. Does 14 divide k?
False
Suppose 4*n + 9*y = 4*y + 134, -3*n - 5*y + 103 = 0. Suppose -n - 193 = 7*t. Is (-691)/(-7) + (t/(-14) - 2) a multiple of 33?
True
Suppose i = -4*u + 13950, 0 = -355*i + 350*i - 5*u + 69675. Is i a multiple of 6?
False
Suppose 0 = 65*c - 60*c - 10. Suppose -3*z - 6 = 0, 5*o - c*z = -0*o + 4. Suppose -3*u = 2*v - 186, o = -u - u + 4*v + 140. Is u a multiple of 32?
True
Let s(t) = 6*t**2 - 40*t - 102. Does 24 divide s(-33)?
True
Suppose -358*p + 2*f = -363*p + 27546, 0 = 4*p - 5*f - 22050. Does 29 divide p?
True
Let l = 14912 - 6913. Does 12 divide l?
False
Suppose 372 = 7*t + 106. Let s = -35 + t. Suppose 0 = -4*q - o + 203, -3*q = 2*q + s*o - 259. Is q a multiple of 6?
False
Is 34 a factor of 2/(-5) + 39/9*11157/5?
False
Let j(r) = 2*r - 1856. Let q be j(0). Let m = -924 - q. Suppose d = 5*i + 178, -4*i = 2*d - 7*d + m. Is 40 a factor of d?
False
Suppose p - 25*p = -19877 - 8827. Does 2 divide p?
True
Let o(j) = 17*j**3 - 22*j**2 + 46*j - 90. Does 29 divide o(9)?
False
Let o = 16562 - 10260. Does 274 divide o?
True
Let f = 13591 - 7932. Is 112 a factor of f?
False
Let b = 214 + -34. Let s = -96 + b. Does 21 divide s?
True
Suppose 4*z + 280 = -4*w + 8*z, -5*z + 86 = -w. Let x = w - -150. Is x a multiple of 14?
True
Suppose 141*r - 275241 = 36651. Is r a multiple of 14?
True
Is 32 a factor of 14*32*(-16910)/(-623)?
True
Let q = -62 - -1115. Let r = q + -383. Is r a multiple of 67?
True
Let a(k) = -3*k**2 + 13*k - 1. Let s be a(4). Suppose z - 566 = g, s*z = -3*g + 673 + 1031. Is z a multiple of 21?
True
Let g be 2/((-4)/(-3))*2. Suppose -9*d + 3613 = 886. Suppose -3*i - d = -3*w, -g*i + 6*i - 473 = -5*w. Does 31 divide w?
False
Is 11 a factor of 17793/(-4)*(-896)/336?
False
Suppose 0 = -5*t - 2*k + 1535, 3*k + 655 = 5*t - 880. Does 7 divide t?
False
Let g be (136/24)/(-17) + (-460)/(-3). Let x = 79 - 185. Let s = x + g. Does 23 divide s?
False
Let s be -1 + -7 - (8 - 4). Let m be ((-124)/6)/(13/(702/s)). Suppose 72*y - 73*y = -m. Is y a multiple of 7?
False
Suppose 3*i = -11*f + 13*f - 1, -4*i + 5*f - 13 = 0. Suppose -8 = -4*c + j, -4*c + j + i*j - 4 = 0. Does 9 divide (-44)/(-110)*c/(6/560)?
False
Suppose 7*z = 11*z - 32. Let s(b) = 2 - 8*b**2 + b**3 - 4 + 12*b - 7 - z. Is 18 a factor of s(7)?
True
Suppose 5*w + 7206 - 16251 = 0. Does 50 divide w?
False
Let w be (16/(-10))/(-8 + (-553)/(-70)). Suppose -w*s + 450 = -462. Is 19 a factor of s?
True
Let n(a) = a**2 + 15*a - 55. Let x be n(-18). Suppose c - 3*c = -82. Let h = x + c. Is 21 a factor of h?
False
Suppose -5*k + 202 - 2 = 0. Suppose -2*v - 3*s = -0*s - 43, 4*s = -2*v + k. Is 4 a factor of v/8 + 33/44?
True
Let g = 812 - 83. Suppose 4*d - 2*d - 494 = -4*z, 0 = -3*d - 2*z + g. Is 20 a factor of d?
False
Let z(y) = -2*y - 13. Suppose 0 = -3*n - 28 + 16. Let l be z(n). Is 3 a factor of (l - -3) + 32 + 0?
True
Let f be 1/(4 - 28/8). Suppose -f = -4*y + 6. Let m = 14 + y. Is 8 a factor of m?
True
Suppose -15*n + 26*n + 11 = 0. Is 31 a factor of 18*2/((-20)/465)*n?
True
Let x(h) = -163*h - 266. Let q(j) = -j**3 + 11*j**2 + 16*j - 55. Let u be q(12). Does 7 divide x(u)?
True
Let r(o) = -o**3 - 6*o**2 + 10*o + 27. Let a be r(-7). Suppose 4*b + 964 = a*b. Let g = 732 - b. Is 25 a factor of g?
True
Let s(a) = -4 - 4 + 41*a**3 + 9. Let k = -38 + 39. Is 3 a factor of s(k)?
True
Let o = -102 - 11. Let g = -90 - o. Suppose -g*f + 19*f = -444. Is 14 a factor of f?
False
Suppose k - 5 = 0, 5*t - 5*k = 4*t - 28. Let a be t*100/24*-2. Is 12 a factor of (-6)/(-4)*a*2/3?
False
Suppose -2*f - 988 = 4*c, 0 = -3*f - c - 2*c - 1491. Let a = f + 896. Is 39 a factor of a?
False
Let r(x) = -x**2 + 6*x + 2. Let g be r(5). Suppose -4*k = -13 - g. Suppose -c - 357 = -2*m, 183 = m - k*c + 3*c. Does 15 divide m?
False
Let h = -9 - -6. Let s(m) = -3*m - 3. Let x be s(h). Does 7 divide 16/1 + 18/x?
False
Suppose -s + 5*o + 25 = 0, 0 = 2*s + 3*o - 15 - 22. Suppose 0 = -5*d + 10*d - s. Suppose -6 = -d*q + 2*q, m - 288 = -q. Is 13 a factor of m?
False
Let x be (-2)/(-19) + (-57085)/(-95). Suppose 0 = -5*w + x - 51. Suppose -4*p + w + 252 = -u, -3*u - 96 = -p. Is p a multiple of 18?
True
Suppose 191 = 4*i - 10*v + 15*v, -i - 2*v + 50 = 0. Let u = i - 8. Does 36 divide u?
True
Suppose 0 = 5*j + 5*m + 50, -4*j - 2*m = -0*j + 30. Does 6 divide (40 - j) + 5 + 4?
True
Let u = 41 + 24. Let a = -1767 - -1769. Suppose s - u = a*f, -125 = -5*s + 4*f + 182. Does 11 divide s?
False
Suppose -24*r + 23287 = -14297. Is 18 a factor of r?
True
Let b(f) = 1084*f + 69. Is b(2) a multiple of 9?
False
Suppose g - 8590 = -6500. Does 8 divide g?
False
Let k(s) = 2*s - 16. Let z be k(-4). Let b be (-4 - z/9)/((-2)/3). Let a(r) = 31*r**2 - 2*r + 2. Is 20 a factor of a(b)?
False
Let x(g) = -g - 1. Let u(b) = -2*b**3 - 2*b**2 + 4*b - 11. Let y(h) = u(h) - 4*x(h). Is y(-4) a multiple of 19?
True
Let z(n) = n**3 - 27*n**2 + 52*n - 40. Let u be z(25). Let v(p) = p + 5 + p + 4*p + 4*p. Is v(u) a multiple of 35?
True
Let w be (-102)/24*-2 + (-15)/6. Suppose w*a - 3354 = -7*a. Does 43 divide a?
True
Suppose 19*k - 16*k = 174. Let p = 59 - k. Does 4 divide 34 - (-12)/(3 + p)?
False
Let i(d) = -53*d - 590. Is i(-17) a multiple of 12?
False
Is 25 a factor of 40/((-27)/((-89505)/34))?
True
Suppose -1467 = -o - 4*t, 2*t - 4*t + 1461 = o. Suppose 0 = 6*h + 441 - o. Is 12 a factor of h?
False
Suppose -20 = 7*q - 17*q. Is 0*(-4)/(-32) - (-272 + q) a multiple of 27?
True
Is (-273575)/(-75) - (-4)/12 a multiple of 8?
True
Suppose -2*s = -2, -104 = -0*o - o + s. Does 6 divide 74*5/(-4)*(-42)/o?
False
Suppose -5*u + 244*g - 239*g = -32220, -12883 = -2*u - 3*g. Is 9 a factor of u?
False
Suppose -4*o = -u - 2009, -9*o - u + 1498 = -6*o. Suppose -z = -2*v + 1002, 3*z = v + 7*z - o. Is v a multiple of 10?
False
Let t = 61 - 56. Suppose 111 = -t*u + 381. Suppose 2*i + u = 4*h + 282, -2*i + 3*h = -227. Is 28 a factor of i?
True
Let b(f) = f + 4. Let q be b(4). Let o = q - 4. Suppose o*v - 48 = 4*h, 2*v - 4*v = 3*h - 29. Does 10 divide v?
False
Let o(l) = -8 - 49*l**2 + 1 - 4*l + 5