se -k = -t + 11, t - 2*k + a*k - 5 = 0. Is 9 a factor of t?
True
Let u = -452 - -732. Is u a multiple of 28?
True
Let o(m) = 3*m**2 - 3*m - 1. Is 4 a factor of o(-2)?
False
Suppose 5*k = 5*s - 300, 3*k + 2 = 11. Suppose -p = 2*p - s. Is 7 a factor of p?
True
Suppose 4 = d - 1. Suppose d*m + 28 = -22. Does 2 divide -5*2/m*2?
True
Let c(v) = 2*v**2 + 1. Suppose r = -r + 4. Suppose r*n = -10 + 2. Is c(n) a multiple of 11?
True
Suppose -2*w + 68 = 4*c, 2*w - 3*c - 80 = -c. Is 33 a factor of w?
False
Suppose 2*b = v - 2*b, 0 = -4*v - 3*b. Let t = 4 + v. Suppose 0 = 2*s + t*w - 28, -2*w - 83 = -4*s - w. Is s a multiple of 20?
True
Let g(x) = x**3 + 6*x**2 - 3*x - 10. Is g(-3) a multiple of 13?
True
Let l = 221 + -171. Is l a multiple of 25?
True
Let g be 2 + (-22)/(2 + -3). Suppose -87*b + 85*b + 90 = 0. Let p = b - g. Is 14 a factor of p?
False
Suppose -m = 3 - 40. Suppose -3*d - 5*t + 32 = -m, 0 = 3*t - 9. Is 6 a factor of d?
True
Let r(b) = b - 5. Suppose -4*y = -0*s - 2*s + 12, 0 = -s - 4*y + 12. Does 2 divide r(s)?
False
Suppose -2*n + 24 = -0*n. Suppose 5*m = 3*y + 8, 2*y - 6*m + n = -m. Is 4 a factor of y?
True
Let w(l) be the second derivative of l**5/20 - l**4/3 - l**3/2 - 2*l**2 - l. Let u be w(5). Does 9 divide (-1)/u + 134/12?
False
Let u = 7 + -7. Suppose 3*v - 2*g - 21 = 0, -3*v + u*v + 15 = -4*g. Does 9 divide v?
True
Let s(u) = 3*u**2 - 3*u - 1. Let r be s(3). Suppose -r = -4*d + 63. Suppose w - d = -3*w. Does 3 divide w?
False
Suppose -5*m + 520 + 200 = 0. Is m a multiple of 36?
True
Let n = 53 - -31. Suppose -3*j = 3*j - n. Does 7 divide j?
True
Let v(p) = 2*p**2 + 2*p - 1. Let j be 7 + 0 + -3 + 2. Let g be (-3)/2*(-16)/j. Does 16 divide v(g)?
False
Suppose -4 = -h - 0*h. Suppose -4*q + u = -28, -5*q = -h*u - 8 - 27. Is 3 a factor of q?
False
Let d = -6 + 10. Suppose 0*i = 2*i + 5*o - 2, o + d = 0. Does 6 divide i?
False
Let o be (8/24)/(2/402). Suppose -o = -4*l + 5. Does 7 divide l?
False
Suppose u - 3 = -1. Suppose j - 25 = -u*o, -o + 5*j = -5*o + 41. Is 7 a factor of 0 + (o - (-1 - -1))?
True
Let a be (1/3)/((-10)/(-3270)). Suppose a = b + 20. Is b a multiple of 14?
False
Let l = -60 + 104. Suppose -2*b + s + 35 = 0, 4*b - 4*s - 36 = l. Is 14 a factor of 30 + (-5)/(b/6)?
True
Suppose 5*k - 5*d - 56 = -11, -4 = -4*k - 4*d. Suppose -k*n - 43 = -5*h + 242, 3*n = 2*h - 109. Is h a multiple of 34?
False
Let b = 4 + -2. Suppose b*k - 6*k = -8. Suppose k + 1 = a. Is a a multiple of 3?
True
Let g(i) = 9*i. Is g(4) a multiple of 7?
False
Let l(o) = -6*o - 7. Let y(u) = -3*u**2 - 3*u - 3. Let v be 2/(-1*2/2). Let d be y(v). Does 13 divide l(d)?
False
Suppose 0*p = 10*p - 480. Does 5 divide p?
False
Suppose -763 = -6*w + w + t, 4*t + 604 = 4*w. Does 31 divide w?
False
Suppose 3*m = -5*s + 129, m + 21 = s - 0*m. Is s a multiple of 8?
True
Let n(q) = q**3 - 9*q**2 + 3*q - 2. Let u be n(9). Suppose -u + 1 = -4*b. Is 6 a factor of b?
True
Let b = -3 + 5. Suppose -7*u + 2*u - 156 = -4*x, -b*x - 2*u = -60. Is 18 a factor of x?
False
Suppose 0 = -2*a + 5*k - 6, 2*k - k = 2. Is -14*(-1)/(2/a) a multiple of 7?
True
Suppose 2*j + 2*j = 20, 5*j - 77 = -4*h. Is h a multiple of 11?
False
Does 10 divide 238/4 + (-4)/8?
False
Let x be (-1)/((-1)/6*2). Suppose x*j + 124 = 5*j. Is j a multiple of 21?
False
Let c(d) = d**2 + 1. Let p(u) = 5*u**2 + 12*u + 8. Let t(b) = 6*c(b) - p(b). Let r be t(5). Is r/(-4)*(3 - -1) a multiple of 11?
False
Let f(w) = 6*w**3 - 5*w**2 + 3*w. Let l(y) = y**3 + 4*y**2 - 2*y - 5. Let k be l(-4). Does 32 divide f(k)?
False
Let q be (-5)/(-20) + (-17)/4. Let b = -4 - q. Is 13 a factor of (-17 - (b + 2))/(-1)?
False
Let r = 466 - 160. Does 40 divide r?
False
Let y = -33 - -61. Is 7 a factor of y?
True
Let p(c) = c**3 + 15*c**2 + 13*c - 14. Let x be p(-14). Suppose x = -6*h + 2*h + 80. Is h a multiple of 10?
True
Let m be (-2)/8 + 726/24. Suppose -m = -2*j + 38. Is 17 a factor of j?
True
Let d(p) = 4*p - 2*p**3 + 3*p**3 - 3*p**2 + 1 - 5. Is 18 a factor of d(4)?
False
Suppose -z = 4, -3*z = -3*i + 2*z + 104. Does 20 divide i?
False
Does 16 divide (-4)/34 + 3 + (-10665)/(-51)?
False
Let i(s) = 39*s + 3. Let q be i(-4). Let d = -91 - q. Does 22 divide d?
False
Suppose 0 = -2*t - 2 + 8. Suppose -8*i + 35 = -t*i. Suppose 3*d - i - 8 = 0. Is d a multiple of 2?
False
Is ((-14)/(-49) - (-809)/(-14))*-4 a multiple of 23?
True
Suppose -5*f + 2*f - 72 = 0. Let v = f - -46. Is v a multiple of 11?
True
Suppose 5*l + 38 = -2*u, 4*l - 20 = -l. Let p = -20 + 78. Let j = u + p. Is j a multiple of 16?
False
Let g = 16 + -15. Suppose -2*v + 8 = -2*z, 3*z - 9 = 4*v + 4*z. Is 2 a factor of 4 - g - v/(-1)?
True
Is (-3)/(3/(-8))*4 a multiple of 18?
False
Let x = 1 + 4. Suppose 3*z = -x*y + 190, y - 4*z - 12 = 3. Is y a multiple of 12?
False
Let p be 12*-2*(-1 + -1). Suppose 3*a + 4*i = 122, 2*a + 4*i = 4*a - p. Does 17 divide a?
True
Suppose 2*l - 9 = l. Let r be 2 - (4 - 1 - l). Suppose -5*m = -5*v - r - 42, -4*m + v + 40 = 0. Does 10 divide m?
True
Let k = 144 - 132. Is k even?
True
Let z be (201/9)/((-2)/(-6)). Suppose m - z = -0*m. Is m a multiple of 15?
False
Let s = 26 - 9. Let p = s - -5. Does 11 divide p?
True
Let o(c) = -7*c - 6. Let d be o(-6). Suppose 4*f - d = -2*i, -7 - 2 = f - 4*i. Is f a multiple of 7?
True
Let j(p) = -p**3 + 3*p**2 - 2*p + 1. Let v be j(2). Let x be (1 - 0) + v + 1. Suppose -x = -3*l + 3. Is l a multiple of 2?
True
Let v(d) = 6 + 14*d + 2*d**2 - 5*d - d**2. Is v(-10) a multiple of 8?
True
Suppose -2 + 10 = -4*z. Let r be (z/(-4))/((-2)/(-8)). Does 3 divide 5 + 0 - 4/r?
True
Let b(u) = -u**3 + 8*u**2 - 5*u - 2. Let k be b(7). Let q be (0 + k/(-9))*123. Does 11 divide 6/30 - q/5?
True
Suppose 0 = 6*w - w. Suppose -2*v = -w*v - 6. Suppose -3*s - 1 = k + 2, 4*k = v*s + 48. Does 7 divide k?
False
Let g(k) = k**3 - 4*k**2 + 9*k. Is g(5) a multiple of 10?
True
Is 20 a factor of 15/(-2 - (-11)/4)?
True
Let b be (-36)/(-8) - 2/4. Suppose -j = -z, b = 5*j - 2*j - z. Does 6 divide 330/27 + j/(-9)?
True
Suppose g + 5*r - 35 - 12 = 0, -2*g + r = -39. Let l(s) = -s**3 - 9*s**2 - 2*s - 14. Let n be l(-9). Suppose n*y - 102 = -g. Is y a multiple of 10?
True
Suppose -4*j + 91 = 23. Is 13 a factor of j?
False
Suppose 0 = 14*a - 19*a + 260. Does 13 divide a?
True
Let c = 5 + 0. Suppose 3*r = -3*i - 1 - c, -i + 4 = 4*r. Suppose -5*q + 3*w + 0 = -6, 0 = r*q - 2*w. Is q a multiple of 2?
False
Let x = 619 - 380. Does 43 divide x?
False
Let t(x) = -x + 2. Let z(l) = -2*l + 6. Let d(g) = -8*t(g) + 3*z(g). Let n(b) = -b**2 - 11*b + 5. Let c be n(-11). Is 12 a factor of d(c)?
True
Suppose 4*r = -1 - 11. Let p(c) = 19*c - 3. Let n be p(-4). Does 10 divide (-2)/(-3) + n/r?
False
Let v be (-90)/(-21) - 6/21. Suppose 0 = -5*r - 5*d + 35, -r = 2*d - 8 + v. Is r a multiple of 10?
True
Let y = -38 + 53. Is 8 a factor of y?
False
Suppose -2*r - 8 = 0, -2*r = -j + 5 + 4. Does 7 divide 3*(j - (-42)/9)?
False
Suppose -v - 2*v - 2*r + 687 = 0, 3*v = 2*r + 699. Does 55 divide v?
False
Suppose q - 15 = -2*q, -5*f + 2090 = 2*q. Is (2/8)/(8/f) a multiple of 3?
False
Let j = 1 + 2. Suppose -j*k - 59 = -260. Does 23 divide k?
False
Let a be (-1)/((-4)/70)*2. Suppose -a = -8*q + 3*q. Does 3 divide q?
False
Suppose 49 = 4*a - 55. Is a a multiple of 6?
False
Let c = 757 + -491. Is 22 a factor of c?
False
Let q(t) = -t + 12. Let r be q(7). Let y be 28/8 + (-2)/4. Suppose -y*g = -2*j + j + 8, -r*j - g = -40. Does 4 divide j?
True
Let z(o) = o**2 - o + 2. Suppose 0 = 3*j + j. Let h be z(j). Let k = h - -4. Is k a multiple of 3?
True
Let b(h) = h**3 - 6*h**2 - 15*h + 19. Is 9 a factor of b(8)?
True
Suppose -5*j - 2*g = -27, -11 = -3*j + 2*g + 2*g. Let v(p) = p**3 - 5*p**2 + 7. Is v(j) even?
False
Let j(s) = 4*s - 10. Suppose v + 8 = 13. Is j(v) a multiple of 5?
True
Suppose -2*c = -c - 5. Suppose -c*q + 3*n = -0*q - 247, 0 = 4*n - 4. Does 23 divide q?
False
Let y(n) = 3*n - 2*n + 5*n + 3. Let c(p) = -p - 1. Let x(o) = -6*c(o) - 2*y(o). Does 10 divide x(-5)?
True
Suppose -5*f = -4*s - 4*f + 149, 5*s - f - 185 = 0. Is s a multiple of 11?
False
Let g be (-128)/(-6) + (-4)/(-6). Suppose 3*f - 83 - g = 0. Does 12 divide f?
False
Let t be 3 + -3 + 1 - 1. Suppose t = -3*z + 4*z - 28. Does 25 divide z?
False
Let q = -231 - -1116. Is 20 a factor of q/45 - 2/(-6)?
True
Suppose 