iple of 15?
False
Let i(u) = -10*u + 10. Let d be i(4). Is 6/d + 322/10 a multiple of 8?
True
Suppose 0*y - 5*y = 3*k - 35, -4*y + k + 11 = 0. Suppose d = 2*d - y. Is 2 a factor of d?
True
Suppose -u + 32 = 4*k, 4*u + 2*k = 170 - 0. Let a = 14 - -86. Suppose -u - a = -4*m. Does 13 divide m?
False
Let q = 23 - 21. Suppose q*n - 3 = 119. Is 15 a factor of n?
False
Let p(q) = -q. Let x be p(-4). Suppose -x*n + 3*n - 21 = 0. Does 9 divide n*(1 - 7/3)?
False
Let l = 1 - 1. Let d be (10/8)/((-7)/(-28)). Suppose 4*p + d*h - 167 = 0, -p - p + h + 73 = l. Is 19 a factor of p?
True
Suppose 3*k - 5*k = -6. Suppose 0 = -k*f - 2*f + 110. Is 13 a factor of f?
False
Suppose -3*w = -2*w + 10. Let t = -3 - w. Is t a multiple of 3?
False
Let j = -107 + 123. Is j a multiple of 4?
True
Let p(z) = -1 + 6*z - 10*z + 0 + 6*z. Let t = 8 - 3. Is 9 a factor of p(t)?
True
Is 6 a factor of (-5)/(-20) + (-62)/(-8)?
False
Suppose 17 = d - 29. Does 21 divide d?
False
Let l be (3*-2)/(6/(-4)). Suppose -3*y + l*y = 0. Suppose y = 3*w + 3*r - 24, -5*r = -w - 2*r + 12. Does 9 divide w?
True
Let j(y) = -25*y - 9. Is 12 a factor of j(-1)?
False
Let h be (-202)/(-18) - (-4)/(-18). Let w = h + 4. Suppose g + 3*n - w = 32, 0 = 2*g + 5*n - 95. Does 20 divide g?
False
Suppose -5*m = -2*m + 3. Is 17 a factor of (1/2)/(m/(-102))?
True
Suppose 0 = 7*a + 29 - 365. Is a a multiple of 20?
False
Suppose 0*h + 39 = h. Is 13 a factor of h?
True
Let o be 14/(158/(-54) + 3). Let g = o + -135. Is g a multiple of 18?
True
Let p(m) = 2*m + 27. Does 18 divide p(17)?
False
Let f be (-2 - 0) + (0 - -1). Let u be (-2)/4*f*0. Let s = 5 + u. Is s a multiple of 5?
True
Suppose 89 = 4*t - 91. Is t a multiple of 17?
False
Let z(y) = y**2 - 4*y - 4. Let i be z(9). Let v = i - 1. Is v a multiple of 20?
True
Is (6 - -3) + -5 + 3 a multiple of 7?
True
Suppose 4*h - g - 95 = 0, h + h = -2*g + 40. Does 16 divide h?
False
Let w = 5 + 0. Suppose w*m = 2*r + 3*r + 130, 94 = 4*m + r. Is m a multiple of 10?
False
Let i = 17 - 10. Suppose 15 = -d - q, -i*q + 3*q = -d - 10. Let a = d - -26. Is a a multiple of 4?
True
Let y(w) = -w + 5. Let b be y(5). Is 21 a factor of 39 + (-1 + b - 2)?
False
Let d(g) = -g**2 - 9*g + 31. Is d(-9) even?
False
Let y = 1 - 1. Let q = 0 - -1. Suppose y = b - q - 12. Is 8 a factor of b?
False
Let k(r) = 19*r - 30. Does 5 divide k(4)?
False
Does 23 divide 1/(3/2)*69?
True
Let c(i) = 20*i**2 - 30*i - 7. Is 49 a factor of c(5)?
True
Suppose 5*n - 350 = 5*w, 6*w - 82 = -n + w. Is 11 a factor of n?
False
Let f be 2 + (1 - -2) + -1. Suppose -q = f*d - 16, 3*d + 1 = 4*q - 6. Suppose 1 = d*p - 101. Does 16 divide p?
False
Let y = -57 - -113. Is 16 a factor of y?
False
Suppose 0 = m + 17 + 30. Let a = m + 82. Is 14 a factor of a?
False
Suppose 1 - 8 = -2*z - f, 0 = -5*z + 4*f + 24. Let p be (0 - -38) + -5 + z. Let y = -23 + p. Does 7 divide y?
True
Suppose -86 = -5*a + 2*n, 4*n - 20 = -2*a - 0*a. Is a a multiple of 4?
True
Let l(o) = 3*o**3 - o**2. Let p be l(1). Suppose -3*u + p*u = 0. Let c(f) = -f**2 - f + 14. Is c(u) a multiple of 7?
True
Suppose 31 + 177 = 2*b. Is 38 a factor of b?
False
Let f(p) = p + 14. Does 7 divide f(5)?
False
Suppose -j + 8 = j. Does 10 divide 138/j*(5 + -3)?
False
Let d(x) = x**2 + 13*x - 19. Let n be d(-14). Let k(b) = -3*b + 1. Does 9 divide k(n)?
False
Is -3*-3*(-4)/(-6)*7 a multiple of 7?
True
Is (-9)/6 - (-3 + 27/(-2)) a multiple of 5?
True
Suppose -5*r - 10 + 120 = 0. Suppose r + 2 = 2*g. Is 6 a factor of g?
True
Suppose -2*n = -5*l + 8, 3*l - 2*l + 2 = 4*n. Let f(p) = -p - 3 + p - 2*p - l*p. Is f(-3) a multiple of 4?
False
Suppose 32 = 2*j - 30. Suppose -5*x = 23 + 22. Let b = x + j. Is b a multiple of 11?
True
Let b(p) = p**2 + 6*p - 1. Let m be b(-11). Suppose h - m = -0*h. Is h a multiple of 18?
True
Is 130/12 - 5/(-30) a multiple of 11?
True
Is 38 a factor of 19*(11 + 3)*1?
True
Suppose -c = 2*c. Let i be (c/(-2))/(-2 - -3). Suppose -j - 2*j + 33 = i. Does 4 divide j?
False
Suppose 51 + 13 = 4*u. Does 6 divide u?
False
Suppose 45 = 2*w - w. Suppose 0 = -4*y + 155 + w. Is y a multiple of 15?
False
Let o = 7 - 4. Suppose -8 = o*m - 2. Does 11 divide ((-1)/(-1))/(m/(-54))?
False
Suppose 5*c - 5*v = 1160, v - 924 = -4*c + 3*v. Suppose -c = -4*l - l. Does 22 divide l?
False
Suppose 0 = -0*q + 4*q + 56. Suppose -169 = -4*w - 21. Let j = w + q. Does 12 divide j?
False
Let x(m) = -13*m + 16. Does 18 divide x(-14)?
True
Suppose -5*q + 4*t = -143, -3*t - 33 = -q - 0*q. Is 9 a factor of q?
True
Let d = 725 - 1135. Is 13 a factor of d/(-12) + (-2)/12?
False
Let l(x) = -x**3 - 5*x**2 + 7*x + 8. Let b be l(-6). Is 2 a factor of 0 - (0/b - 2)?
True
Let m(s) = s**2 - 2*s + 11. Let y be -7*(-1 - (-39)/21). Does 18 divide m(y)?
False
Suppose r = 2*z - 17, 3*z - r = 12 + 12. Does 6 divide z?
False
Let x = 117 + -235. Let n = x - -166. Is n a multiple of 16?
True
Suppose 0 = -k - 6 + 9. Suppose -k*g + 264 = 3*n, 0*g - 324 = -4*n + 3*g. Is n a multiple of 33?
False
Let p = -42 + 20. Let a = -32 - p. Is a*(-2 + (-6)/(-4)) a multiple of 2?
False
Suppose 4*b + 4*b - 784 = 0. Does 14 divide b?
True
Let f = 3 - -4. Does 7 divide f?
True
Suppose -2 = -4*y - 14. Let w = 6 + y. Suppose -10 = -w*h + 20. Is h a multiple of 5?
True
Let h(z) = -90*z - 3. Does 28 divide h(-1)?
False
Let g = 10 - 6. Let q be (0 - 11)/((-5)/25). Suppose -h + q = g*h. Is 11 a factor of h?
True
Suppose 2*q + 5 = u, 3*q = 5*q. Suppose u*y + t = 65, 4*y + 0*y - 2*t - 38 = 0. Suppose -3*i - y = -99. Is 13 a factor of i?
False
Let a be (1/3)/((-2)/(-6)). Is 17 a factor of 1 - ((-17)/a + 1)?
True
Let m(c) = -10*c + 26. Is m(-9) a multiple of 24?
False
Let u be -1*(0 + 2 + -2). Suppose -2*r - 49 = -4*l + 5, 2*l = 5*r + 111. Let d = u - r. Is 9 a factor of d?
False
Suppose -h - 3*c + 14 = h, -h - 3*c + 10 = 0. Let v(m) = -m**3 + 5*m**2 - 6*m + 4. Let i be v(h). Let s = -1 - i. Is 2 a factor of s?
False
Let c = 5 - 13. Let a be c/(-4)*(-2)/(-1). Suppose -5*d = 0, 0 = -a*u - 0*u - d + 144. Does 13 divide u?
False
Let p(d) = -2*d**2 - 13*d + 15. Does 8 divide p(-7)?
True
Let f = -39 + 86. Let l = f - 17. Is 11 a factor of l?
False
Suppose -2*k - 6 = -5*k. Is 2 a factor of -6*6/(-9) - k?
True
Let z be (-6)/4 - 135/(-18). Let m(r) = -r**3 + 7*r**2 - 5. Is m(z) a multiple of 9?
False
Suppose 0 = -4*n - 3*z + 15, -2*z + 10 = -5*n - 0. Suppose n = -5*k + 7*k + 128. Let j = 89 + k. Does 9 divide j?
False
Let j = 7 - -5. Let f be 4/j - 568/(-6). Suppose -2*h = 6*d - d - f, -5 = h. Is d a multiple of 21?
True
Suppose 0*o + 2*o - 35 = -3*d, -5*d - 5*o = -60. Let u be -1 + 2 - (0 + -1). Suppose -f + u*f - d = 0. Does 11 divide f?
True
Suppose -2*n + 353 = 2*b + b, 0 = -5*b - 2*n + 595. Is 11 a factor of b?
True
Let w(r) = 19*r**2 + 1 + 3 + 1 - 4. Does 8 divide w(1)?
False
Let f = -11 - -14. Does 5 divide ((-300)/(-18))/(2/f)?
True
Let b = -38 - -37. Let x(d) = 34*d**3 - 4*d**2 + 5*d + 4. Let a(z) = 33*z**3 - 5*z**2 + 6*z + 5. Let u(o) = 5*a(o) - 6*x(o). Is u(b) a multiple of 13?
True
Let j(g) = g**3 - 7*g**2 + g - 3. Let z be j(7). Let t(w) = 5*w**3 + w**2 + 2*w + 1. Let b be t(-1). Does 2 divide b/((-30)/z)*6?
True
Let q(u) = -u**3 + 7*u**2 - 7*u + 9. Let h be q(6). Suppose -h*n - 11 - 1 = 0. Let b(o) = -o - 2. Does 2 divide b(n)?
True
Let c be ((-90)/4)/(-9)*-10. Let l = c - -45. Is l a multiple of 5?
True
Let x = -9 + 14. Suppose 0 = w + x*k - 16, 3*k = -0*w + 5*w + 4. Suppose -14 = -3*t + w. Is t a multiple of 2?
False
Is -58*(1 - (-9)/(-6)) a multiple of 5?
False
Let n(w) = -8*w - 8. Is n(-3) a multiple of 5?
False
Let r = -8 + 18. Let c = r - 45. Is (-4)/(-14) - 165/c a multiple of 5?
True
Let g(x) = x**3 + 4*x**2 - 7*x - 7. Let y be g(-5). Suppose s = -4*q + 2*s + 18, 0 = -q + 2*s + 8. Is -2*y*(-2 - q) a multiple of 12?
True
Let o = 46 - 20. Is 6 a factor of o?
False
Let r be (2/(-5))/((-2)/(-50)). Let i be (2 - r)*(-2)/(-4). Suppose -i*t = -4*t - 56. Does 13 divide t?
False
Let i(n) = -2 - 2*n**2 - 3 - 2*n**2 + 5*n + 8*n**3 - 7*n**3. Does 7 divide i(4)?
False
Let i = 4 + 0. Suppose -3*n + 5*m + 14 = i*m, -4*n + m + 19 = 0. Is n a multiple of 5?
True
Let z(y) = 14*y - 1. Let b be z(-1). Let u = 1 - b. Is 14 a factor of u?
False
Let r = -298 - -514. Is 18 a factor of r?
True
Let p(y) = -y**2 - 7*y + 8. Let q be p(-8). Suppo