e x(4). Suppose -3*k + 13 + 92 = -3*d, -3*d = -k + c. Does 23 divide k?
False
Suppose -20 = 5*q - q, 1475 = 4*r + 5*q. Is r a multiple of 39?
False
Suppose 0 = -247*q + 246*q - 4*u + 692, -4*u = 2*q - 1404. Does 25 divide q?
False
Let j be (-2)/14 + (-620)/(-28) + 2. Let w = j - 6. Is 9 a factor of w?
True
Let y = 117 + 114. Does 11 divide y?
True
Is 8 a factor of 7220*1/7 + 12/21?
True
Let r(i) = 3*i - 18. Let c be r(15). Let x = 9 - 25. Let m = x + c. Does 3 divide m?
False
Let h(k) = k**3 - 10*k**2 - 5*k + 8. Suppose 0 = -5*f - 4*q - 8, 3*f - q + 0 = 2. Suppose 2*s - 12 = -f*v - 5*v, 4*s - 2*v - 48 = 0. Is 16 a factor of h(s)?
False
Let u(c) = c**3 + 7*c**2 + 5*c - 6. Let a be u(-4). Suppose 0 = -3*i, a = x - 4*i - 38. Is x a multiple of 20?
True
Let f(l) = -9 - l**3 - 9*l**2 - l**2 + 7*l + l**2. Suppose -430 + 380 = 5*m. Is f(m) a multiple of 6?
False
Let a = 70 + -150. Let l = a + 138. Is 3 a factor of l?
False
Let m(o) = -19*o + 310. Is m(6) a multiple of 14?
True
Suppose -42 = -2*l - 5*l. Suppose d = l*d - 460. Is d a multiple of 23?
True
Let b(u) be the second derivative of -u**3/6 - u**2/2 + 4*u. Let m be b(-6). Suppose m*n + 45 - 135 = 0. Is n a multiple of 8?
False
Let g be 0 - 2*(-4 + 2). Suppose -g*h + 125 = p, -4*h = -0*h + 2*p - 126. Is h a multiple of 8?
False
Suppose -2*k - 170 = 2*b, 4*k + 345 = 3*b - 2*b. Let z = k + 137. Is 12 a factor of z?
False
Suppose 0 = 27*i - 12*i - 13260. Is 13 a factor of i?
True
Let x(n) = n**2 + 12. Let j(p) = -p**2 - p - 11. Let q(z) = -6*j(z) - 5*x(z). Let l be q(-4). Does 21 divide (l + (-1)/(-1))*-31?
False
Let t(k) = -2*k**3 + k**2 + 2*k + 1. Let s be t(-1). Suppose s*c - 10 = -4*f, -f - 3*c + 7 = 3*f. Suppose 72 = -2*r + f*r. Does 10 divide r?
False
Is (5 + 3)/(9/2952) a multiple of 11?
False
Let v(b) = -b**3 - 4*b**2 - 3*b - 11. Does 5 divide v(-9)?
False
Suppose 0 = -0*h - 3*h - 24. Let n = 3 - h. Does 3 divide n?
False
Let y(l) be the second derivative of -l**7/840 - l**6/360 + 11*l**4/24 + 3*l**3/2 + 9*l. Let q(a) be the second derivative of y(a). Is 7 a factor of q(0)?
False
Let j = 141 + 88. Is j a multiple of 28?
False
Let m(p) = -8*p + 6. Let h(s) = -7*s + 6. Let k(n) = -6*h(n) + 5*m(n). Does 10 divide k(13)?
True
Let v = -41 - -47. Is (34 + 4)/(2/v) a multiple of 38?
True
Let g = -437 - -297. Let n = 235 + g. Is n a multiple of 17?
False
Suppose 0 = 2*t + 4*t - 24. Suppose -t = -3*l + 2. Suppose a = 23 - l. Does 7 divide a?
True
Suppose 110*f - 107*f - 1188 = 0. Is 18 a factor of f?
True
Suppose 0 = 5*n - 0*n - 365. Is 20 a factor of n?
False
Let g(o) = -o**2 + 28*o - 1. Let d = -18 + 42. Is g(d) a multiple of 19?
True
Suppose 5*u + 12 = 3*s - 7, -2*u - 13 = -3*s. Suppose 4*o = s*y - 0*o + 29, 3*y = -4*o + 11. Let l = y + 20. Does 3 divide l?
False
Suppose -n - n = -10. Suppose -4*u + 4*a + 188 = 0, 0 = -2*u - n*a + 75 + 5. Is u a multiple of 15?
True
Is 1/(((-2)/(-98))/(10/7)) a multiple of 10?
True
Let x be (-6)/5*15/(-6). Suppose 6*d - d - 10 = 2*a, -3*a + 7 = -2*d. Suppose -a*r + 0*b + b = -101, -x*b = -2*r + 30. Does 8 divide r?
False
Let h(m) = -3*m + 10. Let y(d) = -4*d + 11. Let w(i) = 6*h(i) - 5*y(i). Is 9 a factor of w(2)?
True
Suppose 64 = 2*g - 4*q, -3*g + 4*q = -5*g + 64. Let y be 4*1/(-2) + g. Suppose 0*n = n - y. Is n a multiple of 30?
True
Let h = -204 + 244. Does 8 divide h?
True
Let u = -46 - -26. Let a be (-5)/(-2)*(-18 - u). Suppose -d = a*r - 432, 2*r + 3*d - 86 = 79. Is 29 a factor of r?
True
Let a(s) = -101*s - 3. Let u = 65 - 66. Is a(u) a multiple of 7?
True
Let d(y) = -15*y + 3. Let x = 9 - 11. Does 11 divide d(x)?
True
Let k = 124 - 13. Let b be 1/4 - k/12. Is (-92)/6*b/6 a multiple of 6?
False
Let d = -620 - -774. Does 22 divide d?
True
Let y(i) = i**3 - 6*i**2 - 4*i - 8. Let q(a) be the second derivative of 3*a**5/10 + a**3/6 + a. Let s be q(1). Is y(s) a multiple of 13?
True
Let a = 536 + -329. Does 9 divide a?
True
Let d(y) = 55*y**2 + 3*y - 1. Let o be d(2). Let h = -101 - -113. Suppose -7*r - o = -h*r. Is 15 a factor of r?
True
Suppose -19 + 82 = -y - q, 25 = -5*q. Let o = 82 + y. Is 24 a factor of o?
True
Let m(j) be the second derivative of j**5/20 + j**4/4 - 5*j**3/6 + 3*j**2/2 + 2*j. Let h be 54/(-12) + (-1)/(-2). Is m(h) a multiple of 6?
False
Let s(u) = 6*u**3 + 3*u**2 + 3*u - 4. Let d be s(3). Let z = -94 + d. Is z a multiple of 20?
True
Let z = -605 - -1265. Does 60 divide z?
True
Let i be 5/(-20) - 17/(-4). Suppose -3*a - 4*w = -33, 4*w = -i*a + 71 - 23. Suppose a = f - 0. Does 3 divide f?
True
Suppose -3*w = -5*w + a + 15, -4*w = -3*a - 31. Let f(r) = -3*r - 1. Let c be f(-8). Let b = c - w. Does 16 divide b?
True
Let h be (-3 + (-28)/(-12))*(-4 - 2). Suppose h*d = 8*d - 204. Is d a multiple of 5?
False
Let w(g) = g**2 - g + 1. Let b(c) = -4*c**2 + 12*c - 5. Let y(v) = -b(v) - 5*w(v). Let k be y(-6). Suppose -k*x = 2*x - 264. Does 11 divide x?
True
Suppose -4*d - 5*n = -2, -3*n - 12 = -2*d - 0*d. Suppose 2*u - d*u - 2*c = -10, 5 = 5*u + c. Suppose u = j + 4*j - 190. Does 8 divide j?
False
Suppose 4*x - 3*n - 8 = 0, -1 = -2*x + 3*n + 3. Suppose j - x*j + 28 = 0. Is 6 a factor of j?
False
Is 11 a factor of 33/(2/87*(-126)/(-56))?
True
Let i(m) = 414*m**3 + m**2 + 5*m + 4. Let q be i(-1). Let f = 581 + q. Is 8 a factor of f?
False
Suppose -4*u = -1481 - 1671. Does 16 divide u?
False
Let y = 12 - 10. Suppose y*a - 14 = -4*d, 4*a - 2*d - 28 = 2*d. Is (80/56)/(1/a) a multiple of 10?
True
Suppose y - 4*q = 368, -864 + 80 = -2*y - 4*q. Is y a multiple of 24?
True
Suppose -70*m = -74*m + 432. Is 3 a factor of m?
True
Let j(y) = -y**3 + 5*y**2 + 8*y - 7. Does 7 divide j(-5)?
True
Suppose 27*f - 29*f = -2660. Suppose -y + f = 6*y. Is y a multiple of 34?
False
Suppose -5*w + 21 = 2*i, 4*w + 4*i - 9 = 3. Suppose -2*m = -3*q - 166, 2*m - w*q - 170 = -4*q. Is 17 a factor of m?
False
Let a = -1629 - -3835. Does 49 divide a?
False
Suppose 4*s + 423 + 387 = 5*a, -2*a - 2*s = -324. Is 60 a factor of a?
False
Let j be (-14)/(-28) + 5/2. Suppose j*q = 16*q - 520. Is q a multiple of 6?
False
Let i(h) = -h**3 + 11*h**2 - 8*h - 8. Let b be (-32)/(-3) - -2*(-5)/15. Is i(b) a multiple of 4?
True
Let v(p) = p**3 + 11*p**2 - 43*p - 15. Is v(-12) a multiple of 16?
False
Let s(g) = g**3 + 3*g**2 - 2*g. Let b be s(-3). Suppose -5*o + b*o = 0. Suppose -6*h + 127 + 137 = o. Does 11 divide h?
True
Let b = -2788 - 132. Is 16 a factor of b/(-32) - (-6)/8?
False
Let q be -3*2/3 - (-28)/4. Suppose 5*a + 5*u - 220 = 0, -q*a + 2*u + 329 - 102 = 0. Does 15 divide a?
True
Let i(c) = -19*c + 22. Let a be i(10). Let g = -63 - a. Does 21 divide g?
True
Is 20 a factor of (6/6)/(4/880)?
True
Let w(i) = 2*i - 14. Suppose 3*c = 16 + 11. Let h be w(c). Suppose h - 49 = -3*v. Is v a multiple of 15?
True
Does 9 divide 4/3 + 786/54*3?
True
Suppose -15 = -2*o - 2*y + 73, 220 = 5*o + 4*y. Is 6 a factor of o?
False
Suppose 11*r + 0*r = 132. Is 12 a factor of r?
True
Let s be 0 - 0/(-1)*(-1 + 0). Suppose s = -8*x + 1603 - 451. Does 16 divide x?
True
Let u be 4/(-4) - (3222 + 1). Let q be u/12 - 4/(-6). Is 18 a factor of (-4)/(-30) - q/15?
True
Let b = 278 - -376. Is b a multiple of 3?
True
Let c = 2 - 3. Let p(j) = 6 - 7 + 2 - 6*j + 1. Does 3 divide p(c)?
False
Suppose 3*h - 6*h = -t + 6, -2*h - 8 = -2*t. Suppose -5*y = -5*i - 50, -3 - 28 = -t*y + 2*i. Let u = y + 10. Does 8 divide u?
False
Suppose 10*z = 1632 + 618. Does 12 divide z?
False
Suppose 0 = -4*v - 5 + 13. Let k be -55*(3 - v)*-1. Suppose 39 = 2*f - k. Is f a multiple of 18?
False
Let t be 8/(-44) + 229/(-11). Let r = 29 + t. Is -4*1*(3 - r) a multiple of 5?
True
Let o(z) = -5*z + 1. Let j be o(-4). Let w = j + -17. Suppose -2*v + 20 = -c - 128, -w*v - 2*c + 304 = 0. Is v a multiple of 27?
False
Let o = 72 - -383. Does 21 divide o?
False
Suppose 0*y - 2*y = 3*x - 1554, -2*y - 4*x = -1552. Does 20 divide y?
True
Let t = -10 - -26. Let s = t + -24. Let o = 8 - s. Is 9 a factor of o?
False
Let w(v) = 6*v**2 - 10 - 2 + 5*v**3 - 4*v**3 - 12*v. Let k be w(-7). Suppose -5*s + 2 = -k. Is s a multiple of 2?
False
Suppose w + 7*t + 26 = 3*t, 4*t = 3*w - 2. Does 22 divide (88*(-3)/w)/2?
True
Let p be ((-4512)/(-27))/4 + 2/9. Let x = 68 + p. Does 15 divide x?
False
Let k be -6*((-12)/66 - 98/66). Suppose -k*w = -w - 1116. Is 11 a factor of w