ose -4*i + 336 = -20. Is 5 a factor of i?
False
Let n = 113 + 327. Is 44 a factor of n?
True
Let b be (-6)/(-3) - (-4 + 1). Suppose -b*s - g + 377 = 0, -233 = -2*s + 5*g - 66. Is 8 a factor of s?
False
Suppose -5*q + 388 - 93 = 0. Does 19 divide q?
False
Is -1*(-4212)/(16/4) a multiple of 13?
True
Suppose -2*y + 6*y - 124 = -4*v, -4*v = -5*y + 200. Suppose -11*q = -10*q - y. Is 3 a factor of q?
True
Let f = 462 + -159. Does 75 divide f?
False
Let c = 11 + -10. Let x = c - -4. Suppose x*u = 4*f - 59, -3*f - 2*f + 4*u = -85. Is f a multiple of 21?
True
Let q(l) = 158*l - 159. Is 5 a factor of q(8)?
True
Let r(t) = 14*t**2 + 68*t + 664. Does 5 divide r(-9)?
False
Suppose 0 = 2*w - 1870 + 648. Is w a multiple of 13?
True
Suppose 5*x + 4*y - 1067 - 65 = 0, 0 = 4*y - 12. Is 28 a factor of x?
True
Let z = -140 + 173. Is z a multiple of 4?
False
Suppose 3*a = -0*a + 12. Suppose 3*m - a = 4*m. Let k(o) = -2*o**3 - 5*o**2 + 2*o - 5. Does 7 divide k(m)?
True
Suppose -11*j = -7*j - 96. Does 3 divide (j/9)/(3/18)?
False
Suppose 0 = -3*x - 10*x + 1937. Is x a multiple of 11?
False
Suppose -6*u = -3*u - 1200. Is 36 a factor of u?
False
Let j(c) be the first derivative of c**2 - 7*c - 17. Let q = 4 - -2. Is j(q) a multiple of 5?
True
Suppose -23 = -2*c - 17. Is ((-110)/c)/(7/(-3*14)) a multiple of 44?
True
Let w(b) = b**3 + 7*b**2 + 7. Suppose -2*r - c + 2 = 0, c - 2*c + 5 = 3*r. Suppose r*n = 2*n - 6. Is 14 a factor of w(n)?
False
Let b(h) = h**2 + 4*h - 5. Does 18 divide b(-11)?
True
Suppose -29 + 14 = -3*g. Let c = 8 - g. Does 14 divide (4/c)/((-3)/(-63))?
True
Let s be (-14)/(-18) - 4/(-18). Let v be ((-230)/(-40))/(s/8). Let h = v - 23. Is h a multiple of 6?
False
Let a(v) = 2*v + 15. Let j be a(-6). Suppose 3*y + j = 0, -2*w + 0 = y - 7. Suppose -4*g = f - 196, -4*g = w*f - 214 + 18. Is 9 a factor of g?
False
Let b(h) = 2*h. Let n be b(-2). Let o(a) = -2*a**3 + 2*a**2 - 10. Does 30 divide o(n)?
True
Is 7 a factor of (-3)/2 + 8844/88?
False
Let k(m) = -2*m - 18. Let i be k(-8). Let r be 4 - (-52 - (3 + i)). Suppose -r + 1 = -4*v. Is 3 a factor of v?
False
Suppose -10*d + 12*d - 3404 = 3*c, 0 = 5*d + 5*c - 8535. Is d a multiple of 63?
False
Let o(k) = k - 10. Let r be o(7). Is -84*((-39)/9 - r) a multiple of 28?
True
Suppose 0 = -z - 2*t + 258, -5*z + 2*z - 4*t = -776. Does 13 divide z?
True
Suppose 2*g - g = -45. Is 14/(-8)*(3/3 + g) a multiple of 11?
True
Let b be 3/(-4) + 1 + (-1610)/(-56). Suppose -3*d - 2*q - b = -353, -315 = -3*d - 5*q. Is d a multiple of 22?
True
Let a = -448 - -1176. Does 36 divide a?
False
Let q(d) = d**3 + 12*d**2 + 4*d - 1. Let b be q(-7). Let n = 388 - b. Suppose n = 5*g + 12. Is 8 a factor of g?
True
Suppose -6*i + 84 = -0*i. Suppose 20*p - i = 19*p. Does 5 divide p?
False
Let g(x) = 35*x**2 + 17*x - 29. Does 34 divide g(2)?
False
Suppose -56*f + 5 = -57*f, -3*f - 1359 = -3*w. Is 56 a factor of w?
True
Let s(l) = 97*l + 20. Is 9 a factor of s(1)?
True
Suppose 5*w - 25 = 0, 2*m - 4*w = -8*w + 18. Let y be 5*((-9)/(-15))/m. Is 14 a factor of (147/3 - y) + 4?
True
Is 7 a factor of 168/(5 + -1)*(-8)/(-3)?
True
Let n be 6/(-1 + (-21)/(-15)). Let w = n - 1. Is 23 a factor of 215/7 + 4/w?
False
Is 17 a factor of (-41598)/(-62) + (-2)/(-31)?
False
Let n be 2 - (-1 + -1 + -3). Suppose -n = -g - 2. Suppose -52 = g*d - 307. Is d a multiple of 13?
False
Suppose 73*a - 3006 = 64*a. Does 11 divide a?
False
Suppose 0 = -3*d - 0 + 66. Let j(u) = -u**2 + 22*u + 9. Is 9 a factor of j(d)?
True
Suppose -3*a + 13 + 2 = 0, -5*p = -2*a - 10. Suppose 4*m + p*x - 114 - 102 = 0, x - 107 = -2*m. Is m a multiple of 9?
False
Suppose 3*w - 1298 = h, 0*h = -3*w - 3*h + 1290. Is 11 a factor of w?
False
Suppose -2561 = -t + 3*k, 44*t - 45*t - k + 2549 = 0. Does 46 divide t?
False
Let x(h) = -h**2 - 9*h + 11. Let s be x(-11). Let d = s - -13. Suppose d*i = 3*i - 24. Is 11 a factor of i?
False
Let c(y) be the second derivative of y**3/2 - 5*y. Suppose -3*m + 8 = t + m, 4*t + 5*m = 32. Does 10 divide c(t)?
False
Let p(f) = 2*f - 4. Let a be p(3). Suppose -a*d - 1 = -25. Suppose g - 30 = -d. Is g a multiple of 9?
True
Let c(r) = 2*r**2 - 12. Let n be c(-15). Suppose -5*i + n = -3*i. Does 37 divide i?
False
Suppose 2*y + 2*t = 10, t = y + 3*t - 8. Suppose -5*a = y*p - 7*p - 265, -2*p = 2*a - 90. Is a a multiple of 11?
False
Suppose -4*a + 8*q + 6641 = 3*q, 3*a + 3*q - 4974 = 0. Is a a multiple of 38?
False
Is (-4864)/(-17) - (-8)/(-68) a multiple of 11?
True
Let z(m) = 29*m**2. Let h be z(-1). Let t = 107 - h. Does 13 divide t?
True
Suppose -3*p + 1 = -2*m - 3, -5*m + 3 = -p. Is 12 a factor of 52*m + (-7 - -3)?
True
Suppose 57*m - 3218 = 658. Does 3 divide m?
False
Let i(s) = 8*s**2 - 6*s + 9. Suppose -3*q + 3*x = -6, q + q = -3*x + 19. Does 11 divide i(q)?
False
Let w(v) = -5*v**2 + 10*v + 682. Is 11 a factor of w(0)?
True
Let b(r) = r + 18. Let t be b(-14). Suppose m + 31 = h + 3*m, -t*m - 113 = -5*h. Is 6 a factor of h?
False
Let s = -515 - -816. Is s a multiple of 43?
True
Suppose 2*t = -10*t + 900. Does 25 divide t?
True
Suppose -30 + 28 = -u. Suppose -5*z + 5*v + 188 = -427, v - 252 = -u*z. Is z a multiple of 46?
False
Suppose 816 - 57 = y. Is 11 a factor of y?
True
Let k(y) = y + 9. Let f be 14/4*(3 - 5). Let m be k(f). Is m + 0 + 68 + 3 a multiple of 21?
False
Let i(t) = -t + 19. Let k be i(13). Suppose k*c - 5*c - 251 = -w, 0 = -4*w + 5*c + 995. Is w a multiple of 25?
True
Suppose 19 = l - 4*g, -2*l - 5*g = -3*l + 21. Suppose 0 = 3*k - 3, -4*k - 66 = -4*p - 2*k. Let o = p + l. Does 7 divide o?
True
Let p be 6/2 - (-2 + -2). Let d(o) = -4*o + p*o + 5*o**2 + 5*o**2 + 8*o + o**3 + 6. Is 19 a factor of d(-7)?
True
Suppose -49*i = 1340 - 29172. Is i a multiple of 8?
True
Let z be 2 + (-5 - -2) + -1. Let k(b) = 9*b**2 - 4 + 1 + b + b**2. Does 12 divide k(z)?
False
Let z = 922 - 497. Is 17 a factor of z?
True
Suppose -5*r + 3*p + 438 = 0, p + 446 = 2*r + 3*r. Let f = r - 6. Suppose 106 = 3*s + 3*m + 28, 3*s = -m + f. Does 19 divide s?
False
Suppose -h + 26 - 24 = 0. Suppose -2*p - 4*z + 6 = -22, -h*p + z = -28. Does 7 divide p?
True
Let m(x) = -x**3 + 44*x + 35. Is 18 a factor of m(-11)?
True
Let u = -24 - -19. Let h(x) = -x**3 - 5*x**2 - 7*x + 1. Is h(u) a multiple of 9?
True
Let m = 60 - 27. Let b = m - -122. Does 31 divide b?
True
Let m(t) = t**3 - 5*t**2 - 14*t + 5. Let a be m(7). Suppose 5*i - 170 = a. Is i a multiple of 7?
True
Suppose 6*a = 5*a - 7. Let d be (-10)/70 - 15/a. Suppose -d*v = -5*i - 98, 0 = 4*v - 2*i + i - 214. Is v a multiple of 9?
True
Let r(h) = -h - 9. Let g be r(-10). Does 26 divide (g/(-4))/(2/(-296))?
False
Suppose -2*d = -263 + 53. Is d a multiple of 2?
False
Suppose 4*a + 62 = -d, 2*d - 26 = -3*a + 5*a. Let c = 45 + a. Does 6 divide c?
True
Let z(j) = -30*j - 9. Let u be z(-2). Suppose 5*y + 44 = 4*q - 1, -4*q + 3*y = -u. Is 15 a factor of q?
True
Suppose 5*b - 5*p - 360 = 0, -4*b + 134 = -2*b - 4*p. Does 5 divide b?
False
Let h(q) = -q - 4. Let l be h(9). Let a = -1 + l. Let w = 2 - a. Is 12 a factor of w?
False
Let t = 76 - -185. Is t a multiple of 6?
False
Suppose 7*k = 8*k + 2, 0 = -5*b - k + 5003. Is b a multiple of 91?
True
Suppose 3*c + 2*y = 7, 3*y + 12 = 2*c + c. Suppose 4*q - 64 = -0*l - 2*l, -c*l = 4*q - 94. Is l a multiple of 21?
False
Let n(r) = -r**3 - 3*r**2 - 3*r - 20. Suppose -4*f - 5*o - 4 = 0, -f - o = 2*f + 14. Does 17 divide n(f)?
False
Let z be (2 - (-18)/(-10)) + 57/15. Suppose z*i - 71 - 89 = 0. Is i a multiple of 10?
True
Let z = 87 + 251. Is 73 a factor of z?
False
Let m = -4 + 31. Is 19 a factor of 507/m - 6/(-27)?
True
Suppose u = -2*a - 4, 4*a + 2*u = a - 7. Let w(o) = 22*o**3 + o**2. Let m be w(a). Is (0 - m) + 6 + -3 a multiple of 8?
True
Let t(s) = 5 + 11 + 24 - 19*s - 13. Is 16 a factor of t(-6)?
False
Let d be 2 - (633/3 + 1). Let f = -138 - d. Is 18 a factor of f?
True
Let c = -182 + 111. Let x = c + 190. Suppose -3*z + n + 4*n + x = 0, -4*n + 17 = z. Is z a multiple of 11?
True
Suppose 0*z = -2*z + 8. Let b be -2 - (z + 16)*-2. Let m = -8 + b. Does 15 divide m?
True
Suppose -12*t - 519 + 3519 = 0. Is t a multiple of 25?
True
Suppose -140 = 21*t - 26*t. Let s = t + -9. Suppose -s*c = -24*c + 70. Does 10 divide c?
False
Let d = 16 - 8. Suppose -144 = 5*x - d*x. Suppose x = 5*c - 87. Is c a mul