l*t = 8, g - 34 = -g + 3*t. Does 4 divide g?
False
Suppose -4*r = -2*d + d + 43, 0 = 4*d + 5*r - 151. Does 3 divide d?
True
Is 45 a factor of 5854/26 + 28/(-182)?
True
Let r be 64 - 0/(-1) - 0. Suppose -70 = -4*l - i, -r = 2*l - 6*l - 4*i. Does 8 divide l?
False
Let o(n) = 2 - 2*n - 4*n + 4*n. Is o(-3) a multiple of 3?
False
Does 28 divide (-1)/((-35)/(-10)) + 3144/28?
True
Suppose -3*t + 2*t = -4. Is 4 a factor of 18/(-2)*-3 - t?
False
Suppose -5*u = -4*h - 162 - 16, 4*h + 4*u = -160. Let l = -22 - h. Is l a multiple of 20?
True
Let y(f) = f**2 - 4*f - 1. Does 29 divide y(-8)?
False
Suppose 5*r + 5*s + 10 = -0*r, 5*s = -2*r - 16. Let f be -8*1*(-45)/6. Suppose -w - r*w = -f. Does 17 divide w?
False
Let k(w) = -w + 12. Is k(-6) a multiple of 18?
True
Let c = -30 - -19. Let d(k) = -k**2 - 6*k - 2. Let t(x) = -2*x**2 - 13*x - 4. Let g(r) = -11*d(r) + 6*t(r). Does 5 divide g(c)?
False
Let m be 74 + (-3 - (-8)/2). Suppose -j - 27 = -2*l, 0*l + j = 5*l - m. Is l a multiple of 8?
True
Let f(v) = -v**2 - 6*v - 4. Let o be f(-4). Suppose -o*z + 1 + 15 = 0. Suppose 0 = 2*m + z*s - 13 - 27, 4*m - 2*s = 90. Is 15 a factor of m?
False
Let p(x) be the third derivative of -x**7/1680 + x**5/20 + 2*x**2. Let d(m) be the third derivative of p(m). Is 7 a factor of d(-7)?
True
Suppose 0*w = -5*w + 10. Let n be (-4)/2 - (-80)/1. Suppose -2*x + 53 = -2*v - 17, -n = -2*x - w*v. Is 13 a factor of x?
False
Let f be (-2)/3 + (-301)/3. Let h = 182 + f. Is 27 a factor of h?
True
Is 5 a factor of (-2)/(-6) + (-544)/(-24)?
False
Let f(c) be the third derivative of c**5/60 - c**4/4 + 5*c**3/6 + 2*c**2. Let n be f(5). Suppose -5*k + 2*y + 46 = -2*k, n = k - 5*y - 37. Is 6 a factor of k?
True
Suppose 2*t - 56 = -2*t. Is ((-20)/7)/(t/(-49)) a multiple of 5?
True
Suppose -m + 5*b + 4 = 0, 0 = -4*m - b - 4*b + 16. Suppose -89 = -4*c - h, c + m*h = -3*c + 80. Is 13 a factor of c?
False
Let k = -142 + 82. Suppose -3*j + 27 = -4*j. Let n = j - k. Does 13 divide n?
False
Suppose b = 3*b - 4. Suppose -2*m = -2*w - 12, -b*m - 21 = -5*m + 4*w. Does 3 divide m?
True
Suppose 19 + 133 = -s. Let u be (-6)/9 - s/(-6). Let x = -16 - u. Is 4 a factor of x?
False
Suppose 5*d + 3*b - 157 = -0*d, 3*b = -2*d + 70. Suppose -2*o + 24 = -2*w, -d = -5*o + w + 31. Is 5 a factor of o?
False
Let q be 3*3/((-18)/(-10)). Suppose 20 = q*p - 35. Is p a multiple of 11?
True
Does 16 divide -1 + 65 - 0/(1 - 3)?
True
Suppose c - 2*w - 58 = 0, -2*c + 290 = 3*c + 4*w. Is 13 a factor of c?
False
Let x(q) = 3*q**2 - 48*q - 26. Does 19 divide x(19)?
False
Let y(d) = -d. Suppose -2*l + 2*m = 2*l + 32, 5*m - 10 = 0. Is y(l) a multiple of 7?
True
Suppose -2*n - 240 = -6*n. Is 10 a factor of n?
True
Suppose 4*v = -0*v + 288. Let s = v + -46. Is s a multiple of 17?
False
Does 28 divide (-2)/(-9) - (-5)/(90/1976)?
False
Suppose 1 = -f - 0*f, -17 = -5*q - 3*f. Let h = 6 - q. Is (-9)/6 - (-41)/h a multiple of 19?
True
Let t = 78 + 78. Is t a multiple of 12?
True
Does 47 divide ((-1)/2)/((-43)/28294)?
True
Suppose 0 = 2*o + 2*z - 2 - 76, -4*o + 4*z + 148 = 0. Does 13 divide o?
False
Let z(s) = s**3 - 13*s**2 - s - 26. Is 26 a factor of z(14)?
True
Let v = 30 + -12. Is 14 a factor of v?
False
Let g(m) = -m + 6. Let s be g(3). Let b(f) = -3 + 6 + 5*f - 4*f. Is 4 a factor of b(s)?
False
Suppose 485 = 2*c + 3*c. Suppose 5*d = -s + c, d - 6*d = 3*s - 101. Is d a multiple of 9?
False
Let n(w) = w**3 + 2*w**2 - w + 4. Let u be n(3). Suppose u = 2*s + c, -s - 2*c + 44 = s. Does 8 divide s?
True
Let y = 35 + 34. Let d = -4 + 7. Suppose 0*l = -d*l + y. Is l a multiple of 7?
False
Suppose -3*w + 2*h + 91 = 0, 4*w + 6*h - 93 = 3*h. Is 10 a factor of w?
False
Is (-11)/(-3) - 4 - (-376)/3 a multiple of 44?
False
Let r be 1*(1/(-1) - -2). Let k be -2 + r + 27 - 1. Suppose -3*o - 3*v = -30, v - 3*v + k = 3*o. Is o a multiple of 2?
False
Let p(f) = -7*f - 12. Suppose 2*j + 9 = -9. Is p(j) a multiple of 17?
True
Let x(n) = 4*n - 15. Does 10 divide x(7)?
False
Suppose 4*u - 19 - 13 = 0. Suppose -3*q + 2*j = 6*j + u, 0 = 5*q - j - 2. Suppose 3*b - 20 - 90 = 5*p, q = -4*b + 5*p + 140. Does 10 divide b?
True
Let n = -62 - -101. Is 13 a factor of n?
True
Is -4*(-85)/((-15)/(-3)) a multiple of 9?
False
Let s(z) = 39*z - 1. Let u(c) = -39*c + 2. Let m(f) = -3*s(f) - 2*u(f). Let h be m(1). Is 4 a factor of (12/10)/((-6)/h)?
True
Let l = -50 - -83. Is 11 a factor of l?
True
Suppose 2*l - 116 = -j, 0 = j + 4*l - l - 111. Is 7 a factor of j?
True
Let p = 297 - 198. Is 14 a factor of p?
False
Let b be 92/(-9) - 6/(-27). Suppose 6*j = 7*j + 21. Let k = b - j. Is 7 a factor of k?
False
Suppose 0 = -0*a - a. Suppose -r = -a*r. Suppose 0*c - c + m + 14 = r, 4*c = -m + 76. Is c a multiple of 9?
True
Suppose -j = -4*j + 423. Does 4 divide 2/(-3) + j/9?
False
Suppose 3*f - 6 = 3, -5*i + 2*f - 11 = 0. Let m = i - -5. Suppose -5*n - 5*j = -70, -m = -2*n + j + 3*j. Does 5 divide n?
True
Let x(s) = 13*s**2 - 2*s + 3. Let y(l) = -27*l**2 + 5*l - 7. Let p(i) = 5*x(i) + 2*y(i). Is p(-1) a multiple of 5?
False
Let x be 0/(-1) - (6 + -29). Let c = x - 14. Suppose t - 1 = 3*g, 4*g + 19 = 3*t - c. Does 16 divide t?
True
Let f(r) = r**3 + 13*r**2 + 15*r + 8. Is 17 a factor of f(-11)?
True
Suppose 375 = 5*b + 115. Suppose -3*y + b = 3*i + i, 65 = 5*i - 5*y. Let f = i + -2. Is 11 a factor of f?
True
Let l be 2/(-1) - (2 + -6). Suppose 0 = 3*s - 0*y - y - 246, 399 = 5*s + l*y. Is 27 a factor of s?
True
Let i(x) = 3*x**2 - x + 1. Suppose -q = -2*q + 1. Let a be i(q). Suppose a*y = -0*y + 42. Is 9 a factor of y?
False
Let y be -7 + 6 - (-23 + 1). Suppose 0 = -j + 2*j - y. Is j a multiple of 6?
False
Let r(z) = z**2 - 3*z - 7. Let j be r(5). Let b = j - -21. Is b a multiple of 12?
True
Let n = -64 - -143. Is 16 a factor of n?
False
Let x be 1/3 + (-5)/(-3). Suppose -2 = -x*z + 8. Suppose -5*f = 5*v - 55, 46 = 2*f - z*v + 3. Is 14 a factor of f?
True
Let z(c) = 7*c**3 + c - 1. Let h be z(1). Suppose -u = -2*t - 3 - 16, -u = t - h. Does 11 divide u?
True
Let j(u) = 3*u**3 + 3*u**2 - 2*u - 3. Let y be j(-3). Does 13 divide (-7)/(-28) - y/4?
True
Let z(a) = 7*a**3 - 5*a**2 + 11*a - 12. Let f(b) = -2*b**3 + 5*b**3 - 2*b**3 - 1 + b. Let p(m) = -6*f(m) + z(m). Is p(5) a multiple of 12?
False
Let x = 44 - 25. Does 12 divide x?
False
Let p(q) = 2*q**2 - 6*q - 6. Let w be p(5). Does 7 divide ((-24)/7)/((-2)/w)?
False
Does 17 divide ((-153)/(-3) - 4)/1?
False
Suppose -k - 45 = -4*f, 3*k - 27 = -2*f + 2*k. Is 6 a factor of f?
True
Let d(s) = 71*s + 2. Is d(1) a multiple of 23?
False
Let r = 50 + -36. Let b be 4/r + (-166)/(-7). Suppose -4*z - 44 = -4*y, -5*y + 31 = -2*z - b. Is y a multiple of 10?
False
Suppose -2*a = 5*u - 14, -u + 2*a = -1 + 3. Does 2 divide u?
True
Let g = -368 + 651. Does 41 divide g?
False
Suppose -y + 2*z = z - 12, -2*z - 12 = -y. Suppose -2*k + y = k. Is k a multiple of 4?
True
Suppose 23 + 21 = q. Does 11 divide q?
True
Suppose 3*n - 7 = 5. Let g = n - 4. Suppose -x + 2*m + 3*m + 25 = g, -m - 119 = -4*x. Is x a multiple of 10?
True
Let r(g) = -49*g**3 - g**2 + g + 1. Let l = -11 + 10. Does 16 divide r(l)?
True
Let x be (16/(-10))/(8/(-20)). Suppose -22 = 3*g - x*g. Is g a multiple of 22?
True
Suppose -3*i - 72 = i - 5*k, 14 = -2*i - 3*k. Let j = 8 - 13. Let s = j - i. Is s a multiple of 4?
True
Suppose -12 = -8*d + 2*d. Is ((-90)/(-75))/(d/15) a multiple of 9?
True
Is (-11)/(385/28) + (-448)/(-10) a multiple of 7?
False
Let g be 6*(-1)/(-2) - 29. Let m = g - -76. Is m a multiple of 25?
True
Let r(o) be the third derivative of o**5/60 + 5*o**4/24 + o**3/6 - 2*o**2. Let d(z) = -z**3 + 5*z**2 - 6*z + 2. Let a be d(4). Is 7 a factor of r(a)?
True
Suppose -3*h + 128 = h. Does 3 divide h?
False
Let m be (-20)/(-18)*3*-3. Let u(w) = -2*w + 14. Is u(m) a multiple of 17?
True
Suppose -3*c = 5*q - 47, -3*c + 47 + 8 = q. Is 4 a factor of c?
False
Let g be 9/6*(-138)/(-9). Let m = g - 7. Is 6 a factor of m?
False
Suppose -19 = 4*c - 15. Let k = -3 + -24. Is 6 a factor of (0 - k/3) + c?
False
Let y(r) = -69*r**3 - 3*r**2 + r + 1. Is y(-1) a multiple of 35?
False
Suppose 5*p + 21 = t, -3*p + 17 = t - 4*p. Suppose k - t - 19 = 0. Suppose 5*x - 64 - 23 = -3*d, x + 5*d = k. Does 15 divide x?
True
Suppose 3*b = -5 + 2. Is b/4 - 117/(-4) a multiple of 9?
False
Suppose 144 = w - 