*a = 4260, -3*m + 17*a = 19*a - 3194. Is m a multiple of 9?
True
Let l(g) = -g**3 + 6*g**2 + 5*g - 3. Let j be l(6). Let n = -2 + j. Suppose -5*w + f = -f - n, -2*f = -2*w + 16. Is w even?
False
Suppose -o = -2*o - 76. Let w = o - -240. Suppose 3*x = -x + g + w, 0 = x - 5*g - 60. Does 12 divide x?
False
Let h be 2 + -7 + (-2912)/(-13). Suppose -4*v - 5*u + 127 = -3*v, 2*v - h = -3*u. Is 34 a factor of v?
True
Let u = 468 + -108. Is u a multiple of 15?
True
Suppose 0 = -d + 3*d - 4. Let i(q) = 4*q**2 - 2*q. Let g be i(d). Is g*1*(-2)/(-4) a multiple of 3?
True
Suppose -2*z + i = 4*i - 4, 4*i = 2*z + 10. Let o be (17 - 2)*1*z. Let m = 31 + o. Is 5 a factor of m?
False
Let p be (-1)/4 + (-3830)/40. Let y = -52 - p. Suppose 2*t - 2*k + y = 3*t, 15 = -5*k. Does 9 divide t?
False
Suppose 12 = 3*m, 2*m + 3*m = 4*y + 40. Is (-1 - (-43)/(-5))*(y + 0) a multiple of 10?
False
Is 20 a factor of (40/(-168) - 16/(-28))*465?
False
Let o(v) = 5*v. Let f be 100/(-36) + (-4)/18. Let y be o(f). Let z = 43 + y. Is z a multiple of 4?
True
Let c(s) = 9*s**3 - 3*s + 5*s**3 - 2 + s**2 - 13*s**3. Let f be c(-2). Suppose 3*k - 12 = f, -5*i + 2*k = -33 + 1. Is 3 a factor of i?
False
Let i(h) = 15*h + 3. Let c be i(9). Let b = -122 + 174. Suppose 3*f + r - 100 = 0, 5*f - 3*r = c + b. Does 7 divide f?
True
Let u(f) = 35*f + 5. Suppose 2*o + 10 = -0*o. Let z be u(o). Let g = -91 - z. Does 15 divide g?
False
Let a = -27 - -50. Let g = a - 14. Is 3 a factor of g?
True
Suppose -4*c = 4*m - m - 1659, 3*c + 5*m = 1247. Does 46 divide c?
True
Suppose 5186 = 4*l + 1522. Does 17 divide l?
False
Let v(f) = 2*f. Let l be v(3). Let j(x) = x**2 - 6*x. Let w be j(l). Suppose -2*t - 16 = -2*h, w*t = -4*t - 4. Is 3 a factor of h?
False
Suppose 0 = -5*b + 340 + 4880. Is 36 a factor of b?
True
Let m be ((-4050)/(-12))/((-6)/8). Let h = m + 794. Suppose 300 = 7*b - h. Does 23 divide b?
True
Suppose 2*s = 392 + 628. Is s a multiple of 30?
True
Let d = -156 - -221. Is d a multiple of 14?
False
Let c be 0/(-1) + -1 + 3. Suppose 5*j = -c*q + 7*q + 1085, 1130 = 5*j + 4*q. Is j a multiple of 37?
True
Suppose 2*n - 169 = -5*d + 43, 5*n - 3*d = 592. Let f = n + -69. Does 5 divide f?
False
Let w be (-10)/4*(-5 - -3). Suppose -3*s + 8 = 5*x - 39, 5*s - 65 = -w*x. Is ((-7)/3)/((-1)/s) a multiple of 10?
False
Let b(d) = -123*d - 5. Let p(z) = -308*z - 12. Let x(s) = 12*b(s) - 5*p(s). Is x(2) a multiple of 15?
False
Let n = 700 - 433. Is n a multiple of 15?
False
Let z(n) = n**3 - n - 8. Let v be z(0). Is (v/5)/(2/(-65)) a multiple of 32?
False
Let y be 4/(-18) - (-34)/(-9). Let v = y + 8. Is 4 a factor of v?
True
Let c(u) = -u + 19. Let n be c(16). Suppose n*z - 111 - 141 = 0. Is z a multiple of 12?
True
Suppose 0 = -5*d + 201 + 254. Let g = 38 + d. Is 35 a factor of g?
False
Is ((-30300)/(-27) - 0) + (-8)/36 a multiple of 11?
True
Is (-36482)/(-261) - (-4)/18 a multiple of 16?
False
Suppose 4*v - 684 = -3*t - t, 0 = 5*t + v - 851. Is 13 a factor of t?
False
Let u = 2509 - 1648. Suppose -u = -8*d - 301. Does 10 divide d?
True
Let s(p) = -3*p**2 - 11*p + 3. Let q be s(-5). Let z be 12/(-6) + 0 + q. Is 12 a factor of (-30)/(4 + z/4)?
False
Suppose -26*f = -27*f + 115. Suppose 2*i = 3*n + 556, -4*i - 3*n + 1191 = f. Is i a multiple of 24?
False
Let c(p) be the second derivative of p**3/6 + 2*p**2 + p. Let y be c(8). Let v(a) = a**2 - 4*a + 3. Is 29 a factor of v(y)?
False
Suppose -2*l = -4*g - 14, -5*g + 2 = 5*l - 3. Suppose l*q = 200 - 11. Is 21 a factor of q?
True
Let v be (-3)/(-6) + (-22)/(-4)*1. Suppose 234 = v*r - 0*r. Does 13 divide r?
True
Is 19 a factor of 9/(-36) + ((-4797)/(-12))/3?
True
Suppose -4 = -5*v - 14. Let q(a) = 29*a**2 - 7*a - 2. Does 32 divide q(v)?
True
Let w(u) be the third derivative of -u**4/24 + 7*u**3/6 - 42*u**2. Does 11 divide w(-11)?
False
Let i = -62 + 287. Is i a multiple of 16?
False
Suppose -87 = -j - 18. Is j + -1 + 8/(-4) a multiple of 11?
True
Let h(f) = -28*f - 458. Is h(-41) a multiple of 46?
True
Let h be (134/8 - (-8)/32)*-5. Let d = 200 + h. Is 31 a factor of d?
False
Suppose 5*l = 2*x + 61, 2*x - 3*l + 76 = -l. Let h = -5 + -1. Let c = h - x. Does 8 divide c?
False
Let x(g) = 29*g - 7. Let k be x(3). Suppose -4*i + 5*j = -441, -3*j + 9 + k = i. Is i a multiple of 37?
False
Suppose -3*x + v - 5*v = 22, x - 5*v - 18 = 0. Let f(q) = -q**3 - 3*q**2 + 4*q - 1. Let z be f(-4). Does 15 divide (16 + z)/((-1)/x)?
True
Let q = 53 - 85. Let l be 3*(-1 - (-12)/9). Is q/l*(-28)/16 a multiple of 14?
True
Does 17 divide -6*14/21 - -11 - -656?
True
Let u(x) = -70*x - 85. Let q(b) = 5*b + 6. Let y(j) = -85*q(j) - 6*u(j). Suppose 0*v - 12 = 2*v. Is 30 a factor of y(v)?
True
Let s(c) = -2*c**2 - 25*c - 7. Let h = 17 + -22. Is s(h) a multiple of 14?
False
Let d(l) = 27*l - 15. Let h(g) = -7*g + 4. Let n(s) = -5*d(s) - 21*h(s). Let k be -1 + (-12)/(-2) - -1. Is 21 a factor of n(k)?
True
Is 669/(((-100)/(-10))/10) a multiple of 5?
False
Suppose 4*r = x + 28, 74 = -4*x - 4*r + 2. Let k be 4/2*(-20 - -1). Let s = x - k. Is s a multiple of 6?
True
Let j(z) = 17*z**3 + 2*z**2 + 3*z - 6. Let t be j(2). Is 19 a factor of (t/(-15) - -2)/((-7)/70)?
True
Let r(s) = s**3 + 2*s**2 - 28*s + 9. Is r(-5) a multiple of 38?
False
Let r(p) = 4*p**3 - 2*p**2 + 5*p - 2. Let t be (2 - -1) + 1 + -2. Does 5 divide r(t)?
False
Suppose -5*f - 7*k + 3*k + 1231 = 0, 3*f - 740 = -k. Suppose 0 = 3*n - f - 269. Does 12 divide n?
False
Let h = 2563 - 1119. Is 65 a factor of h?
False
Is (-50)/(25/(-28) + (-12)/(-16)) a multiple of 7?
True
Let a(l) = -52*l - 26. Is a(-9) a multiple of 26?
True
Suppose -5*m = 3*x - 785, m = 130 - 129. Is x a multiple of 94?
False
Let g = 7290 + -1672. Does 53 divide g?
True
Suppose 40 = 3*u + 19. Suppose 5*z - 2 = u*z. Is 3 a factor of (0 - z)*105/7?
True
Let g(w) be the second derivative of 1/6*w**4 + 0 - 1/6*w**3 + 3/10*w**5 + 0*w**2 - 4*w. Is g(1) even?
False
Suppose 3*x - 759 = 3*a, -49*x = -50*x - 2*a + 259. Does 85 divide x?
True
Suppose -2*w + 5*c = -0*w - 13, 0 = 4*c - 4. Let v(u) = -w - 2*u**2 + 5*u**3 + 9. Does 8 divide v(2)?
True
Let n be (3 - 2)/((-2)/4). Is 14 a factor of (53 + n)*((-4)/3 + 2)?
False
Suppose -206 = -7*p + 53. Is p even?
False
Is 11/(88/1844) + 2/(-4) a multiple of 23?
True
Let l(d) = 2*d**2 + 50*d - 89. Is 87 a factor of l(-31)?
False
Suppose 0 = 4*t - 8*t + 8. Let y(i) = -i - 16. Let d(z) = z + 15. Let h(o) = t*y(o) + 3*d(o). Is h(9) a multiple of 22?
True
Suppose 2*u + 4189 = 3*n + 6*u, 0 = 4*n + 4*u - 5584. Suppose -7*b + n = 275. Is 40 a factor of b?
True
Let q = 2441 + -1371. Is 71 a factor of q?
False
Let f(p) = 4*p**2 - 4*p + 4. Let l(s) = -s + 2. Let n be l(3). Let d be ((-33)/22)/(n/2). Does 7 divide f(d)?
True
Let i = -18 - -30. Suppose -5*c + 3 + i = 0. Suppose -c*d + 34 = -2. Does 4 divide d?
True
Let d be ((-12)/(-6))/(-3 + 1). Is 13 + 2 + (d - -2) a multiple of 16?
True
Let y(l) = 2*l**2 - 9*l + 3. Let c be y(4). Let r be 7 + -1 - (2 - c). Suppose -116 = -2*i - 2*q, 0*i - 91 = -2*i + r*q. Does 9 divide i?
False
Suppose 0 = -5*p + 3*k + 317, -5*k - 50 = -p + 31. Is p a multiple of 18?
False
Let t be (18/3)/3 + 2. Suppose 0 = 3*k - p - 1, 4*k + p + 4 + t = 0. Does 24 divide 24/(-6) + (45 - k)?
False
Let p(m) = 3*m**2 + 3*m - 1. Let r be p(-2). Does 6 divide (r - 9) + 52 + 1?
False
Suppose 0 = -4*a - g + 51 + 146, a + 4*g - 68 = 0. Suppose 8*t - a = 4*t. Does 3 divide t?
True
Let c(r) be the first derivative of -7*r**2/2 - 23*r - 12. Is 10 a factor of c(-9)?
True
Suppose -10*y + 11*y - 32 = 0. Is y a multiple of 3?
False
Let x be 24/(-15)*15/(-6). Suppose -74 = x*b - 374. Let c = b + -39. Is 12 a factor of c?
True
Let x = -108 - -93. Does 5 divide x/6*(-34)/1?
True
Let h = -577 + 1100. Is h a multiple of 17?
False
Let l(o) = -5*o - 27. Let w be l(-12). Let f = w + -20. Does 3 divide f?
False
Let x = 43 + -39. Suppose 5*k = -2*h + 187, -7 + 3 = x*k. Is 10 a factor of h?
False
Suppose 2*b - 704 = -3*k, -200 - 970 = -5*k - 4*b. Does 15 divide k?
False
Suppose -3*o + 6 = -0*o. Suppose o*t + 89 = -4*s - 9, 137 = -3*t - 4*s. Let b = 83 + t. Is 17 a factor of b?
False
Suppose g - 6*g + 3575 = 0. Suppose -5*r + g - 165 = 0. Is r a multiple of 23?
False
Let h(z) = 8*z**2 - 5*z - 12. Let w be h(5). Suppose n + 9 = c + 38, c - w = -5*n. Does 4 div