Suppose 3*d + u = n - 26, -3*n + 278 = 5*d. Is 4 a factor of n?
True
Let p = 787 + -55. Is 6 a factor of p?
True
Suppose -4*c = -3*t - 1001, -4*c + 5*t - 507 = -6*c. Suppose 2*n - c = 3*x, -x + 257 = 2*n + 2*x. Is n a multiple of 36?
False
Let d be (4 - (-4 - 12))*2. Let h = -37 + d. Let b(q) = 40*q - 9. Is 30 a factor of b(h)?
False
Let t(m) = -m**3 + 8*m**2 - 13*m + 8. Let c be t(5). Let i = -24 + 17. Let a = i + c. Does 7 divide a?
False
Let r(a) = -a**2. Let o(v) = 7*v**2 + 7*v. Let b(n) = o(n) + 5*r(n). Let y be b(-7). Suppose -4*f = -5*j + 199, 5*j - 143 = -3*f + y. Is 13 a factor of j?
True
Let i(o) = 66*o**2 - 2*o + 2. Let f be (5 - 0) + 42/(-6). Is i(f) a multiple of 30?
True
Let m(h) = h**2 + 2*h. Let z be m(-3). Suppose -10*b + 8*b + 42 = 0. Does 6 divide 215/35 - z/b?
True
Suppose -3*b + 6 = -0. Suppose -3 = b*g + 13. Let h = 18 + g. Is 10 a factor of h?
True
Let s be (2 - -3) + -3 + 11. Let m = s - 15. Is 14 a factor of ((-47)/(-3))/(m/(-6))?
False
Suppose 2*i = -10*i + 18744. Does 71 divide i?
True
Suppose 0 = 2*l - f - 111, 4*f = -l - 0*l + 42. Does 2 divide l?
True
Let g be (174/(-14) - 0) + 9/21. Let d = g - -133. Is 12 a factor of d?
False
Suppose -4*i = -22 + 430. Suppose 5*j + 465 = -3*h, -2*h - 399 = -5*j - 114. Let b = i - h. Does 11 divide b?
False
Let x = -259 + 429. Suppose 0 = 9*a + x - 1817. Does 16 divide a?
False
Does 20 divide (1/(-1) - -844)*20/6?
False
Let h(u) = 10*u**2 - 15*u + 12. Is 22 a factor of h(-6)?
True
Let h = 2957 + -1985. Is h a multiple of 6?
True
Let a(h) = -h + 11. Let j be a(4). Suppose 2*z = -3 - j. Let l = 1 - z. Is l a multiple of 3?
True
Let g be 8/(-2) + 4 + 2. Suppose -2*t = -5*q - 33, 5*t - g*q + 3*q = 69. Is 17 a factor of 1364/t - (-21)/(-49)?
False
Let j(a) = 2*a**2 + 3*a - 49. Let z be j(-11). Suppose 8*v - z = -2*v. Is 8 a factor of v?
True
Suppose 3*k = 2*v + 22 - 5, -2*v + 18 = 2*k. Let n(o) = -11*o - 2. Let a be n(k). Let z = a + 158. Is z a multiple of 13?
False
Suppose 2*h = -x + 10, -x = -3 + 1. Suppose 0 = k + 4*g - 36, 2*k - h*k + g = -45. Suppose -y + k = -2. Does 9 divide y?
False
Does 4 divide (-68)/(9/(-4) + (18 - 16))?
True
Let h be (3/4)/((-18)/(-48)). Suppose 0 = -4*f + h*s + 1040, s = 2*f + f - 780. Suppose -f = -9*i + 4*i. Does 26 divide i?
True
Let t = -588 + 2175. Does 61 divide t?
False
Let d be (1 - -36)*(16 + -13). Suppose 0*q + d = 3*q. Is q a multiple of 10?
False
Let y(o) = 15*o - 2. Let u = 0 + 0. Suppose u*r - 4*r = -8. Is 23 a factor of y(r)?
False
Suppose -4*a = 3*j - 13, -3 = -j - 0*j - a. Is 18 a factor of 3 + -4 + (-117)/j?
False
Let m be -1*(2 + (4 - 3)). Let g be m - 3/(-6)*2. Is 0 - ((g - -2) + -15) a multiple of 5?
True
Let y = 656 - 600. Is 7 a factor of y?
True
Suppose 3*t = -3*o - 1 - 2, 0 = 4*t + 20. Suppose -2*g - 2*a + 16 = 0, o*g - a + 3 - 40 = 0. Is 33/9 - (-3)/g even?
True
Let j(o) = o**2 - 15*o - 31. Let s be j(19). Let k = 84 - s. Does 28 divide k?
False
Suppose -26 - 224 = -5*d. Is d a multiple of 6?
False
Let a = 1307 - 843. Suppose -8*b + a = -304. Is 40 a factor of b?
False
Suppose -5*u + 1886 = 2*g, -3*g + 7*g - 3800 = 4*u. Does 79 divide g?
True
Suppose 1953 = -17*a + 6645. Does 12 divide a?
True
Let u(x) = -x**3 + 6*x**2 + 6*x - 30. Is u(5) a multiple of 10?
False
Let g(v) = -25*v - 44. Is 16 a factor of g(-12)?
True
Let o = 26 + -41. Does 9 divide 1*3 + (-9 - o)?
True
Is 3/7 + 11742/42 a multiple of 28?
True
Suppose 0 = -69*y + 66*y + 1143. Is y a multiple of 3?
True
Let d = 147 + 59. Suppose 11 = 2*v + j, -3*j + 23 = v + j. Suppose -d = o - v*o. Is 19 a factor of o?
False
Suppose 2*u - 420 = -4*f, -4*u - 4*f + 180 = -648. Let i = -124 + u. Is 59 a factor of i?
False
Let l be 1 + -3 + 0 + (0 - -538). Does 33 divide (l/(-10))/(-1) + (-26)/(-65)?
False
Suppose -2*g = 2 - 12, 2*z = -3*g + 3. Let m be (6/9)/(2/z). Let b(n) = -4*n**3 - 2. Is 12 a factor of b(m)?
False
Let o be (0 - 0)/(0 - 5/5). Is 4 - o - (-868)/7 a multiple of 32?
True
Suppose 0 = t - 2*l - 0*l - 709, -3*t = l - 2155. Is 15 a factor of t?
False
Let y(d) = -19*d**3 + d**2 - 4*d + 1. Let g = -1 - -6. Let z(h) = 28*h**3 - 2*h**2 + 6*h - 2. Let j(c) = g*z(c) + 7*y(c). Is 9 a factor of j(2)?
True
Let w(o) = 16 + 6*o - 34 + 16. Is w(13) a multiple of 19?
True
Let d(a) = 4*a**2 - 6*a + 1. Let t be d(6). Let s = 213 - t. Suppose b - s = -3*b. Does 9 divide b?
False
Let u = 14 + -33. Let w = u + 25. Does 5 divide w?
False
Let g = -25 - -37. Suppose 0 = 2*h + 2*h - 3*r - 35, -g = -4*r. Is h a multiple of 2?
False
Let w(c) = -6*c**2 - 13*c - 14. Let n(t) = -7*t**2 - 12*t - 14. Let a(f) = 5*n(f) - 6*w(f). Is 10 a factor of a(-20)?
False
Let b(a) = 2*a**3 - 22*a**2 - 6*a + 57. Does 13 divide b(12)?
True
Suppose -h - 2*u + 642 = 4*h, u = h - 134. Is h even?
True
Suppose 2*a - 12 = -2*a. Suppose 0 = -4*p - a - 5. Is 19 a factor of (2/(-6))/(p/456)?
True
Let i(b) = 2*b - 5. Let t be i(12). Suppose -t*c - 42 = -20*c. Is c a multiple of 14?
True
Let f(u) = -47*u + 19. Let j be f(-9). Let k = -262 + j. Does 15 divide k?
True
Let d be (-3)/(-6) - (-4)/(-8). Suppose -2*z + 39 + 1 = d. Does 20 divide z?
True
Suppose -2*f + 34 = 4*a, -3*f + 0 = -a + 12. Suppose -a + 3 = -3*q. Suppose -4*b = 5*d - 53, q*d + 3*b + 3 = 3*d. Is 5 a factor of d?
False
Suppose -3*l + 9 = u - 2*l, 0 = -4*l + 20. Suppose -u*x + 25 + 443 = 0. Is 13 a factor of x?
True
Suppose -12*z + 970 = -2*z. Let u(d) = -d**3 + 5*d**2 + 6*d + 4. Let k be u(6). Suppose -3*j + z = k. Is j a multiple of 8?
False
Let q = 1692 - 34. Is 50 a factor of q?
False
Suppose -2979 = 23*v - 10063. Is 49 a factor of v?
False
Let w be (-14)/(-70) + (-49)/(-5). Let p = 17 - w. Suppose 0 = p*u - 415 + 65. Does 25 divide u?
True
Let d be 10*(1 - 1/5). Let m = d + 1. Does 13 divide (-6)/m + 134/3?
False
Suppose 4*r - 175 = 473. Let c = 281 - r. Does 12 divide c?
False
Let f(u) = 9*u**2 - 4*u + 48. Is 16 a factor of f(8)?
True
Suppose 5*p - 5 = -2*h, -5*p - 2*h = h. Suppose p*w - 172 = n, -2*w - 2*n + 226 = 2*w. Is w a multiple of 19?
True
Let h = 818 + -453. Is h a multiple of 26?
False
Suppose 0 = -b - 5 + 21. Suppose 2*p - 31 = -3*y + b, 3*y + p - 46 = 0. Is y a multiple of 12?
False
Suppose 2414*p - 2256 = 2406*p. Is p a multiple of 21?
False
Let h(y) = y**2 + y + 33. Let i be h(11). Suppose 6*o - i = 363. Is o a multiple of 11?
True
Suppose 5*h - 117 = y, 5*h = 2*y + 74 + 40. Let a be 0/(4 + -3) + h. Suppose j + 5 = c + a, 5*j - c = 111. Does 4 divide j?
False
Suppose 8*r = 49 - 9. Suppose -21 = -6*c + r*c. Is c a multiple of 13?
False
Suppose -396 = 12*w - 21*w. Is w a multiple of 44?
True
Suppose 2*b = -3*h + 13, -11 = -3*b + 3*h + h. Suppose 5*f + b*p = 229 + 881, 3*f - 682 = p. Is 34 a factor of f?
False
Suppose 0 = -3*n - 3*g + 6, -3*n + 15 - 9 = g. Let l(x) be the third derivative of 5*x**4/24 + x**2. Is 10 a factor of l(n)?
True
Let r = 34 - 34. Suppose r = -6*x - 99 + 243. Does 6 divide x?
True
Let a = 1029 + 17. Is 5 a factor of a?
False
Suppose 2*y = -5*n - 11, 4*y + 2*n + 6 = -8. Let k(u) = -1 - 9*u + 1 + 1 - 2*u. Is 17 a factor of k(y)?
True
Let q = 621 - 341. Does 46 divide q?
False
Let c = 98 + -95. Suppose -4*l + 36 = -3*l - c*w, 2*l - 4*w - 62 = 0. Is l a multiple of 21?
True
Let q(v) = 627*v**2 - 11*v - 8. Is q(-1) a multiple of 57?
False
Let a(g) = -13*g - 236. Is 9 a factor of a(-38)?
False
Let c be 1 + (-5)/1 + 0. Let d(h) = 974*h + 6*h**2 + h**3 - 974*h - 5. Is d(c) a multiple of 9?
True
Suppose 48 = -o + 4*o. Suppose o = 3*s - 17. Let z(b) = b**3 - 11*b**2 + 8*b - 12. Does 19 divide z(s)?
True
Does 27 divide -6*45/(-10) + 0?
True
Let t be 0*-2*3/(-12). Let w be (2 - 1)/(-1 + t). Is 15 a factor of w + 1 - (11 - 48)?
False
Let w be 32/(-12)*63/(-2). Is 14 a factor of (1/(-2))/((1*-3)/w)?
True
Suppose 8 = -4*y + 6*y. Suppose -5*x - 11 = -y*g, 2 = -3*x - 2*g - 9. Is (x/4)/(3/(-216)) a multiple of 18?
True
Let l be 10/3*((-84)/(-20) + -3). Does 9 divide (l - (-56)/(-10))*(-85)/2?
False
Suppose 0 = -9*m + 23 + 904. Is m even?
False
Suppose -4 = -r, 7*w - 5*r + 400 = 3*w. Let c = -81 - w. Is c a multiple of 3?
False
Let x be -16*-11*(-10)/440. Let g(y) = 16*y + 15. Let d(b) = 8*b + 7. Let k(h) = 7*d(h) - 4*g(h). Is k(x) a multiple of 7?
True
Let z(g) = 8*g**3 - 2*g**2 + 6*g - 5. Suppose 0 = -5*i + 2*m + 2 - 0, 4*m - 24 = -4