2 - t. Is 3 a factor of k?
True
Suppose -10*m + 14 = -56. Suppose -m*s = -520 - 26. Does 13 divide s?
True
Is -4622*(30/(-4))/15 a multiple of 27?
False
Let k(d) = d. Let h be k(2). Suppose 0 = -11*l + 44 + 11. Suppose 5*z - h*w = 341, -l*w + 2 = -8. Is 23 a factor of z?
True
Suppose 0 = k + 2*q - q - 206, -648 = -3*k + 3*q. Does 12 divide k?
False
Suppose 3 = -4*q - 5*v + 31, 5*q - 2*v - 2 = 0. Is 16 a factor of (q/3)/(316/(-159) + 2)?
False
Let g be 0/(-1)*(-2)/4. Let k = 37 - 33. Suppose g*y = k*y - 84. Is 7 a factor of y?
True
Let h(q) = 2*q**2 + 6*q + 10. Let x(c) = -c**3 - 12*c**2 - 10*c + 8. Let k be x(-11). Is h(k) a multiple of 5?
True
Suppose 0 = 4*a - 3*a + 5. Let w be a + (-1)/((-1)/2). Is (-1)/(1/(-15)) + w a multiple of 4?
True
Let a be (7/(-14))/(1/(-102)). Let x = a + -6. Is 15 a factor of x?
True
Suppose -9*o + 13*o + 5320 = 4*c, -4*c + 5340 = o. Does 29 divide c?
True
Let b be ((-4)/6)/(8/(-12)). Suppose b + 1 = 3*j - 4*d, 5*d + 20 = -5*j. Is 6 a factor of j/(-3) + (-40)/(-3)?
False
Let s(z) = 19 - 4*z**2 - z - 52 + 4*z**2 + z**3. Let h be s(0). Is (352/h)/((-1)/3) a multiple of 32?
True
Let t(d) = -50 - 55 - 3*d + 14*d + 86. Is t(8) a multiple of 23?
True
Suppose -12*s = 2 - 14. Let b(m) = 21*m**2 - 2*m + 2. Is b(s) a multiple of 3?
True
Suppose 4*s - 129 = -2*q + q, -4*q + 4*s + 556 = 0. Let b be (0 - (-2)/6)*249. Let j = q - b. Is j a multiple of 22?
False
Let x(q) = -5*q**3 - 2*q**2 - 3*q - 1. Let u be x(-4). Let h be (-3 - -8)*1 + 4. Is 10 a factor of (-2)/9 + u/h?
False
Let b(t) = -7*t**2 - 1. Let l be b(-1). Let c = l + 17. Suppose c*y - 11 = 8*y. Is y a multiple of 11?
True
Let s(v) be the first derivative of 4*v**3/3 + 3*v - 4. Is s(-2) a multiple of 9?
False
Suppose 139 + 551 = 10*h. Does 23 divide h?
True
Suppose -5*y + 0 = -15. Let z be ((-18)/(-12))/(y/8). Suppose -2*h + 4*h + 204 = 5*t, z*t - 150 = -5*h. Does 10 divide t?
True
Let j(s) = 3*s - s + 14 - 3*s. Suppose -63 = -9*k + 2*k. Is j(k) a multiple of 5?
True
Let q be -5 - (-1)/2*6. Let a be (-7)/(7/q)*1. Suppose -a*z - 2*t + 80 = 0, -z + 0*t + 40 = 5*t. Is 20 a factor of z?
True
Let m(z) = -26*z - 2. Let f be m(6). Let i = -46 - f. Does 19 divide i?
False
Let n be (4/6)/(30/(-765)). Let b(y) = y**2 + 15*y + 32. Is b(n) a multiple of 33?
True
Let k(b) be the third derivative of -b**6/120 + 7*b**5/60 - b**4/24 - b**3/2 - 7*b**2. Let j = 3 + 3. Is k(j) a multiple of 27?
True
Let a(f) = -3*f + 129. Does 20 divide a(-16)?
False
Let g be ((-24)/(-15))/(2/(-60)). Does 40 divide (g/20)/6 - (-804)/10?
True
Let y = 114 - 57. Suppose -y = -2*a + 15. Is 12 a factor of a?
True
Let q be 3/4 - 315/36. Is 15 a factor of (202/6 - q/24) + -4?
True
Suppose o - 5*y = 9, 0 = 4*o + 3*y - 2*y - 57. Is 1821/21 - 0 - (-4)/o a multiple of 11?
False
Suppose 0 = -4*g - 4*t - 16, -g + 5*t + 19 = -1. Suppose -10*o + 549 + 531 = g. Is 27 a factor of o?
True
Let w(k) = 5*k**2 + 11*k + 18. Suppose 18*q + 9 = 17*q. Is 54 a factor of w(q)?
True
Suppose -4*b + 8273 = 221. Is b a multiple of 53?
False
Suppose -340 = 1090*q - 1091*q. Is 25 a factor of q?
False
Let g = -8 - -11. Suppose 2*i - g*m - 63 = -28, -55 = -3*i + 5*m. Does 21 divide 131/2 + (-5)/i?
False
Let o be -1 - 2/3*12. Let n = o + 12. Suppose 0*c - 18 = -n*c. Does 6 divide c?
True
Suppose -2*d - t + 3*t = -26, -3*d = -4*t - 44. Suppose 2*h - 6 = i, 2*i + 2*h - 4*h = -d. Is 3 a factor of (0 - -2)/(i/(-4))?
False
Let d = -8 + 14. Let z be 47/9 - d/27. Suppose 0*y - 120 = -4*y - 4*t, -z*y = t - 158. Is y a multiple of 16?
True
Suppose -3*w - 1656 = -3*z, -8*z - 1089 = -10*z + 5*w. Is z a multiple of 113?
False
Let v = -41 - -45. Suppose 6*w + 25 = l + w, -8 = v*w. Is 2 a factor of l?
False
Let b = -55 - -145. Let o = b - 6. Is o a multiple of 12?
True
Let t(l) = 5*l - 5. Suppose 8*g - 3*g + 125 = 0. Let j = g + 35. Is t(j) a multiple of 15?
True
Let v = 0 - -2. Does 6 divide 2*v/(-4) + (2 - -66)?
False
Suppose -6*t + 75 = -387. Let m = -41 + t. Does 9 divide m?
True
Suppose 342*f = 347*f - 1325. Is f a multiple of 53?
True
Let b(z) = -6*z + 29. Let g(n) = 6*n - 28. Let y(w) = 5*b(w) + 6*g(w). Is y(8) a multiple of 21?
False
Is (-2 + -313)/(-13 + 12) a multiple of 35?
True
Let f(i) = i**2 + 3*i + 1. Let r be ((-1)/4)/(2/(-8)). Let b be (1 - 0)*(-6 + r). Is 8 a factor of f(b)?
False
Suppose -789 + 95 = -j + 5*w, -2*w = -4*j + 2830. Is j a multiple of 20?
False
Suppose 0 = -27*v + 7056 - 2142. Does 7 divide v?
True
Let z(y) be the third derivative of y**5/60 + 5*y**4/24 + 5*y**3/3 - 14*y**2. Is z(-7) a multiple of 11?
False
Let p(j) = 4*j + 49. Is 5 a factor of p(-10)?
False
Suppose 0 = -3*s - 4*b + 57, 0 = -0*b + 3*b. Suppose -4*p + 13 = -s. Let k(i) = i**3 - 7*i**2 - 2*i. Is 12 a factor of k(p)?
True
Let z(n) be the second derivative of n**3/2 - 3*n**2 + 12*n. Does 8 divide z(10)?
True
Is 27 a factor of (56/80*-108)/(4/(-10))?
True
Suppose 3 + 5 = 2*o. Suppose o*w - 5*w + 60 = 0. Suppose 0 = -3*j + j + w. Is j a multiple of 15?
True
Suppose -2*o + 5 - 3 = 0. Let w(r) = 42*r + 3. Is 6 a factor of w(o)?
False
Suppose -1269 - 824 = -7*b. Is b a multiple of 23?
True
Let z = 1022 + -550. Is z a multiple of 15?
False
Let n = -196 - -336. Suppose 5*o - n - 125 = 0. Is o a multiple of 18?
False
Suppose 2 + 11 = m. Suppose 8*l + 290 = m*l. Is 7 a factor of l?
False
Suppose 3*o - 2*g - 15 = 0, -4*o - g - 4*g - 3 = 0. Suppose o*p = -13 + 85. Is p a multiple of 8?
True
Suppose 3*w + 327 = 3*y - y, 3*y - 5*w - 490 = 0. Is 15 a factor of y?
True
Does 3 divide 15/60 - 190/(-8)?
True
Let g = -3 - -9. Let b(r) = -r**2 + 6*r. Let n be b(g). Is 46 - (-2 + n + 1) a multiple of 15?
False
Let h be 12*(1 + (-2)/3). Suppose -h*l - l = -10. Is 10 a factor of (l - -41) + (-3 - -4)?
False
Suppose 0 = 10*u - 817 - 403. Does 19 divide u?
False
Suppose 3*l - 454 = 5*z, 2*l - 3*z - 192 - 109 = 0. Let f = -47 + l. Does 9 divide f?
False
Let y be (-2)/(-3) - (-328)/12. Let u = -29 + y. Does 4 divide (u - 8)*(-1 - 0)?
False
Let x = -25 + 6. Let l = -9 - x. Is l a multiple of 10?
True
Let n(z) = -5*z + 3. Let v be n(1). Let d(t) = 471*t + 30. Let o(g) = -47*g - 3. Let b(p) = v*d(p) - 21*o(p). Is 24 a factor of b(1)?
True
Suppose 2*s + 422 = -96. Let f = 586 + s. Does 22 divide f?
False
Let f(v) = v**2 + 16*v + 4. Let i be f(-16). Suppose -15 = -i*w + 5. Is 3 a factor of w?
False
Let g be 7/(-1 - (0 - 2)). Suppose -2 + 3 = w, 2*w = 3*o - g. Suppose 3*u = n - 20, -o*u + 15 + 23 = n. Is 11 a factor of n?
False
Suppose l = -0 + 2. Let z be (-1)/l - (-4)/8. Suppose 5*g - 15 = -z, -3*q - g = -123. Is 10 a factor of q?
True
Let o(k) = -k**3 - 4*k**2 + 8*k - 10. Suppose 0 = -q - 3*q - 28. Let f be o(q). Let r = f - 38. Does 7 divide r?
False
Suppose 7*j - 26*j = -16834. Is j a multiple of 64?
False
Let z be ((-1)/(-4))/((-3)/(-24)). Suppose -z*l - 4*k = -2, -l - 4*k + 1 - 2 = 0. Suppose l*c = -167 + 509. Is 38 a factor of c?
True
Let y(k) = 2*k**2 + 8*k + 15. Let p be ((-16)/(-6))/((-5)/15). Is 29 a factor of y(p)?
False
Let v(u) = -4*u - 10. Let c(d) = 9*d + 20. Let f(o) = 3*c(o) + 7*v(o). Does 3 divide f(-16)?
True
Suppose -13*b = -58*b + 14850. Is b a multiple of 22?
True
Let i = 367 - -751. Is 13 a factor of i?
True
Let f(h) = 6*h + 9*h + 4 - 17 - 13*h. Let g be f(8). Does 5 divide (g - 11/2)*-2?
True
Let f(p) be the first derivative of p**3/3 - 6*p**2 + 17*p - 19. Does 45 divide f(23)?
True
Let n(x) = x**3 - 8*x**2 + 12*x - 9. Does 8 divide n(8)?
False
Let h = 44 + -21. Suppose 11*r - 10*r - h = 0. Is r a multiple of 4?
False
Suppose 0 = 60*g + 12*g - 7848. Is 13 a factor of g?
False
Suppose x - 4*q = 1340, 2*q - 5336 = -3*x - 1344. Is 18 a factor of x?
True
Let r(c) = -4*c**2 - 35*c - 14. Does 35 divide r(-7)?
True
Let m(y) = -y - 3. Let l be m(-3). Suppose l = 2*k - 54 - 102. Is k a multiple of 3?
True
Suppose 38*i - 25*i - 19942 = 0. Does 59 divide i?
True
Let y = 21 + -23. Let s = y + 107. Is 35 a factor of s?
True
Suppose 0 = 2*t - l - 2977 + 911, 0 = t - 2*l - 1030. Suppose 0 = 8*f - t - 366. Does 9 divide f?
False
Suppose 4*g - 4*v - 26 = 494, 4*g - 5*v = 523. Let c = 22 + g. Is 20 a factor of c?
False
Suppose -2*q = 10*q - 108. Does 3 divide -3 + q/(3/3 + 0)?
True
Suppose 196 = 4*f - 188. Is 96 a factor of f?
True
Let p = -67 - -589. Is 9 a factor of p?
True
S