= -5*z + 3*u + 19, s = z - u - 4. Does 7 divide z?
True
Suppose -2*v - 10 = -4, 5*l = 3*v + 89. Is 8 a factor of l?
True
Let g be 6/9*(-5064)/(-2). Suppose g = 5*a + 3*q, 0*a + 3*a = -q + 1016. Is 8/(-10)*a/(-8) a multiple of 17?
True
Suppose -2*n + 31 = 5*i - 2*i, 0 = -4*i + 2*n + 32. Let s be -3*(2 + (-24)/i). Suppose s*g - 5*l - 19 = -g, -g + 5*l = -13. Is g even?
False
Does 9 divide 4/(-6)*(-432)/(4 - 2)?
True
Suppose -2*t = -t - 1. Suppose 0 = -3*i + t - 7. Is 15 + 5/(5/i) a multiple of 7?
False
Let b(u) = 11*u - 1. Let q = 7 - 6. Suppose -q = w - 2. Does 5 divide b(w)?
True
Let r be (6/4)/(3/18). Let c be 112/18 + (-2)/r. Is (3/(-2))/(c/(-160)) a multiple of 14?
False
Let c = 9 + 12. Does 7 divide c?
True
Let g(d) = 32*d - 3. Let m be g(2). Let a(s) = -2*s**2 - 9*s. Let u be a(-7). Let q = m + u. Is q a multiple of 9?
False
Suppose 0 = -2*k - 2*r + 340, 1076 = 5*k + r + 234. Is 24 a factor of k?
True
Let s be (4/3)/((-2)/(-39)). Let v = 13 + s. Is 15 a factor of v?
False
Let y be 31/1 + -3 + -1. Suppose -y - 32 = -r. Does 19 divide r?
False
Suppose 2*c - g = 21, 0 = -2*c - 3*g - 0*g + 9. Let f = c - 5. Suppose -92 = -4*u - 5*k + 41, -49 = -u + f*k. Does 16 divide u?
False
Let d be 54/(-8) - (-6)/8. Let u be ((-9)/d)/(-3)*-10. Suppose 0 = 2*t - 6*t + f + 100, 2*t - 28 = -u*f. Does 24 divide t?
True
Let s be -1*2*(-6 - 125). Suppose -2*d + 106 = y, 4*y + s = 4*d + 638. Does 17 divide y?
False
Let i = 22 + 5. Is i a multiple of 2?
False
Suppose -4*a + 22 = 2. Let o be (-1)/(-3)*3*0. Suppose o = -a*y + y + 60. Is y a multiple of 5?
True
Let n(p) = 6*p**3 + 3*p - 3. Suppose 2*y - 4*y = -4. Is 17 a factor of n(y)?
True
Suppose -2*m + 5*i = -319, 4*m = 3*m + 3*i + 159. Does 27 divide m?
True
Let w be 3/18 + (-47)/(-6). Is 2/w - (-179)/4 a multiple of 15?
True
Suppose -41 = -2*f + 151. Is 16 a factor of f?
True
Let y(p) = 72*p**3 - 2*p + 1. Let w be y(1). Does 4 divide w/6 + 2/12?
True
Let d be 10/(-1 - 11/(-12)). Let i = -82 - d. Is 17 a factor of i?
False
Let f = -2 + 5. Suppose f*q - 24 = -j, -j + 20 = q + q. Is 5 a factor of j?
False
Let i = 64 + -42. Let p = -37 + i. Does 13 divide (-400)/p + (-2)/3?
True
Suppose 5*n + 3*w + 101 = 0, 1 = 3*w + 7. Is 1*-1*(n - -1) a multiple of 16?
False
Suppose 0 = 5*n - 0*n. Let s be n - (18/(-3))/3. Suppose m - 84 = -s*m. Is m a multiple of 10?
False
Let d = -168 - -241. Is 22 a factor of d?
False
Let c(r) = -7*r - 1. Suppose 2 = -q + 1. Does 6 divide c(q)?
True
Suppose -1 - 3 = -2*r. Let z be (-452)/(-16) + r/(-8). Suppose z + 16 = h. Is h a multiple of 21?
False
Let m(d) be the second derivative of -d**3/6 - d**2 - 2*d. Let t be m(-6). Is 13 a factor of t/14 - 708/(-21)?
False
Suppose 0 = -8*u + 300 + 84. Is u a multiple of 30?
False
Let a be 0 + 3 - 22/(-11). Suppose 0 = a*b - b - 92. Suppose 2*d - 3*n + 4*n = b, 3*d - 17 = -5*n. Is 14 a factor of d?
True
Let n = 0 + 1. Let q be (n - 0)/1 - 1. Suppose q = -3*a + 47 - 5. Is a a multiple of 7?
True
Suppose -8 = -2*p, -8 = -5*j + j + 2*p. Let b(l) = -l**2 + 24. Let m be b(0). Suppose -c + m = i, 4*i + 31 = j*c - 41. Does 6 divide c?
False
Suppose 4*w - 12 = -0*w. Suppose -2*f + 5*f - 42 = -w*d, 3*d = 2*f + 47. Does 5 divide d?
True
Suppose -15 = -2*c + c. Let o be 36/(-15) - 9/c. Is 4 + -1 - (o + 0) a multiple of 3?
True
Let y(f) = f**2 + 7*f - 7. Let m be y(-7). Let l(a) = 2*a**2 - 23*a + 7. Let i(x) = -x**2 + 11*x - 3. Let s(p) = m*i(p) - 3*l(p). Does 10 divide s(10)?
True
Suppose 42 = 4*w - w. Does 6 divide w/3*(-9)/(-6)?
False
Suppose -g + 47 = -96. Does 11 divide g?
True
Let l be (20/24)/(2/12). Suppose 0 = 4*s + l - 49. Does 7 divide s?
False
Let l(m) = -5 - 1 + 4*m**2 + 5. Suppose 0 = -2*w - 0 - 2. Does 2 divide l(w)?
False
Suppose 7*f - 2*f = -95. Let l be (f - 1)*24/(-10). Suppose -32 - l = -5*h. Is h a multiple of 12?
False
Let n be (-1)/3 - (-250)/(-6). Let v = n - -62. Suppose -4*l = -l, 2*l = -2*d + v. Does 10 divide d?
True
Let j(n) = -2*n**2 + n**3 + n**2 - 1 - 3*n**2 - n + 0*n**3. Let f be j(4). Let g(c) = -2*c + 5. Does 7 divide g(f)?
False
Suppose 0 = 5*v + 3*b - 5, 2*b + 0*b = 4*v - 26. Suppose -x = w - 5 - 16, 0 = -v*w + 5*x + 48. Does 13 divide w?
False
Suppose 4*v + 3*q + 9 = -0, -4*v - 2*q = 6. Suppose 5*k - 6 + 31 = v, 0 = -3*b + 5*k + 64. Does 13 divide b?
True
Is 15 a factor of 134/3 - 1/(-3)?
True
Suppose 5*u = 4*s - 29, u + 17 = -2*s - 0. Let l = 9 - u. Does 5 divide l?
False
Suppose -f - 4*f + 70 = 0. Is f a multiple of 7?
True
Let z = -41 + 71. Is 10 a factor of z?
True
Let g(j) = -6*j**3 - 2*j**2 - j. Let o be g(-1). Let a = o + 0. Suppose -n + a*n - 18 = -3*t, -2 = t + 4*n. Does 8 divide t?
False
Let f = 23 - 19. Suppose y = 5, y - 18 = -f*i + 43. Does 14 divide i?
True
Is (2 + 62/8)*208/12 a multiple of 12?
False
Let b(h) = 6*h**2 + 2*h - 3. Does 19 divide b(3)?
True
Let f = 7 - 3. Is 4 a factor of f/6 + 44/6?
True
Suppose 0 = x + x - 140. Is 14 a factor of x?
True
Is 3 a factor of 2 - (-2 - -1 - 1)?
False
Let i = 45 + 21. Does 18 divide i?
False
Is 9 a factor of -268*(-1)/(5 - 1)?
False
Suppose 0 = -2*x - 2*j + 20, j + 0*j - 22 = -2*x. Does 6 divide x?
True
Suppose 0 = -m + 3*p + 11 - 4, -3*m - 5*p + 7 = 0. Suppose -m*g = -6*g + 644. Is g/6 + 4/12 a multiple of 20?
False
Suppose 14 = -5*t - 11, -b = t - 95. Suppose b = -2*y + 7*y. Is 10 a factor of y?
True
Let o be (-130)/5 - (-2 - -3). Let u = o + 51. Is 10 a factor of u?
False
Let j(o) = o**3 + 5*o**2 + 4*o - 5. Let y be j(-4). Let c = y + 3. Is 13 a factor of (-1 - -14)/(3 + c)?
True
Does 5 divide ((-4)/(-12))/(3*(-2)/(-468))?
False
Is 36 a factor of 3275/7 - 10/(-70)?
True
Let v = 12 + -2. Suppose -6*d + v = -d. Suppose w + 2*a + 30 = 3*w, 5*w = -d*a + 96. Does 11 divide w?
False
Suppose -1 - 3 = -4*l, -3*g = 5*l - 8. Let v be (-58)/6*(2 - -1). Is v/((g - 2) + 0) a multiple of 11?
False
Let h = 32 + -14. Suppose 20 - 2 = 2*v + 4*a, 4*a = 2*v - h. Does 5 divide v?
False
Suppose 5*x = x - 5*l + 41, 2*x - 13 = 5*l. Is x a multiple of 5?
False
Let k(m) = -8*m + 2. Is k(-4) a multiple of 17?
True
Is 11 a factor of (-1)/(((-12)/(-99))/(-4))?
True
Suppose -5*u = 2*t - 25, 5*t - u = -0*u + 22. Suppose 63 = 3*b + t*a, a + 61 = 2*b - 2*a. Does 13 divide b?
True
Suppose -5*z + 5*y - 20 = 0, -2*z + 30 = 3*z + 5*y. Suppose -r - z = 4*p - 2, 2*r - 12 = 2*p. Does 6 divide 2*p - (-3 + -7)?
False
Let l(f) = -2*f + 7. Suppose -4*i + 4*q = -24, -8 = -3*q + q. Suppose -z - i = z. Is l(z) a multiple of 8?
False
Let x = 362 + -155. Is x a multiple of 23?
True
Let u(y) = -y**3 + 9*y**2 + 10*y + 12. Let k be (-3 - 2)*-2*1. Is u(k) a multiple of 9?
False
Is 17 a factor of ((-3)/3)/1 + -7 + 45?
False
Let c be ((-8)/10)/(10/(-25)). Suppose g - c = -6, -5*g - 56 = -4*j. Is 3 a factor of j?
True
Let t = 9 + -7. Let u(z) = -z + z**3 - 2*z**3 - 8*z**t + 0*z**3 + 7. Is u(-8) a multiple of 5?
True
Let a(l) = l**3 - 2*l**2 + 2*l - 2. Does 38 divide a(4)?
True
Let h = -76 + 107. Suppose 2*k + 1 = s + 4*k, -4*k - 3 = s. Let g = h + s. Does 20 divide g?
False
Let m(y) = -y**2 - 8*y + 4. Let d = 1 - 8. Let a be m(d). Is (0 - a/3)*-6 a multiple of 11?
True
Let w(d) = 2*d**2 + d - 4. Let i be w(-3). Does 9 divide (13 + -10)/(3/i)?
False
Suppose 0 = -4*j + 10 + 6, -5*l - 156 = j. Let g = 7 - l. Does 13 divide g?
True
Let h(d) be the third derivative of d**6/120 + d**5/12 - d**4/3 + d**3/3 + d**2. Is h(-6) a multiple of 7?
True
Suppose 4*q + 20 = h + q, h - 12 = -q. Let w = h + -28. Is 2 a factor of w/(-3) + (-3)/(-9)?
False
Let f = -112 + 178. Is f a multiple of 3?
True
Let z(d) be the third derivative of d**6/120 + d**5/6 - 11*d**4/24 + 4*d**3/3 - 3*d**2. Does 8 divide z(-11)?
True
Let s be 1 + (0 - -2) + 1. Suppose -12 = -s*m, -4*n - 7 + 29 = 2*m. Suppose h = 3*d - 26, 0*h + 30 = n*d + h. Is d a multiple of 4?
True
Let u be 96/7 - (-16)/56. Suppose -u = -2*r + r. Does 13 divide r?
False
Let c(q) = -q**2 - 5*q + 0*q**2 - 2*q - 2 + 2*q. Let n be c(-3). Suppose 0 = a + x + n*x - 35, -2*a - 5*x + 70 = 0. Is 11 a factor of a?
False
Let w = 15 - 1. Does 7 divide w?
True
Let t be 99/15 + (-4)/(-10). Suppose -5*u + 20 = -5. Suppose -v + 3*s + 24 = 0, 2*v + u*s = -0*s - t. Does 6 divide v?
False
Let k(o) = 36*o**2 + o. Does 3 divide k(1)?
False
Let q(n) = n. Let k be q(2). Suppose 5*d - 35 = -5*r, k*d - 3*r + 