= -3*h + 19 + 101. Let l = h - 20. Is 4 a factor of l?
True
Let u = -101 - -371. Let n = u + -186. Is 12 a factor of n?
True
Let t(a) = 586*a**3 - 26*a**2 + 26. Let z(h) = -117*h**3 + 5*h**2 - 5. Let m(u) = 3*t(u) + 16*z(u). Is 19 a factor of m(-1)?
True
Suppose 388 = 4*m + 120. Let p be (1 + -2)*48 - -3. Let u = p + m. Is 9 a factor of u?
False
Let n = -182 + 368. Is n a multiple of 3?
True
Does 8 divide (-7 + (-104)/(-16))*-272?
True
Let i(d) = 767*d**2 + 11*d + 11. Does 13 divide i(-1)?
True
Suppose 22*y + 1612 - 15648 = 0. Is 22 a factor of y?
True
Let s(a) = -3*a**3 + a**2 - 2*a - 3. Let k be -3*(-5 - -3)/(-6). Is s(k) a multiple of 3?
True
Suppose -6*o + 15 = -3*o. Suppose f + 2*f + 2*r = 17, -2*r = o*f - 27. Suppose 0 = -3*j - d + 64, -2*j + f*d + 29 + 25 = 0. Is 22 a factor of j?
True
Suppose 0 = -108*y + 114988 + 171860. Does 8 divide y?
True
Does 34 divide 2/(-26) + 3979/13?
True
Let w(m) = 5 + 1 + 2*m + m**2 + 4 - 6. Suppose -2*i + l - 13 = 0, 0 = 3*l - 2*l + 1. Is w(i) a multiple of 13?
True
Let w(l) = 4*l**2 - 14*l - 3*l**3 + 4 + 4*l + 5*l + 7*l**3. Is 14 a factor of w(2)?
True
Suppose -3*z + 4*r + 40 = 6, 4*r = -5*z + 110. Let u be 6/(-27) - (-454)/z. Is 5/(100/8)*u a multiple of 6?
False
Suppose 2*q + 43 = 4*q + t, 2*t = 5*q - 121. Let w be 6 + q + 1 + -5. Let c = 2 + w. Is 8 a factor of c?
False
Let o be ((-8)/(-6))/(5/15). Suppose -i = 2*i - 9, 5*m = -o*i - 13. Is 26 a factor of (-2 - (m + 2))*52?
True
Suppose -4*p + 8 = 0, -r - 4*r = 4*p + 137. Let y = -5 - r. Does 4 divide y?
True
Let f(a) = 2*a - 5. Suppose -2 + 22 = 5*z. Let m be f(z). Suppose -u = 3*w - 2*w - 43, m*w = 5*u - 223. Is u a multiple of 31?
False
Does 27 divide (4/6)/(-5 + (-8519)/(-1701))?
True
Suppose 0 = 19*i - 12665 - 26893. Is 9 a factor of i?
False
Let x = -561 - -1627. Does 13 divide x?
True
Let o = 77 + -59. Is 4/o + (-1051)/(-9) a multiple of 13?
True
Let o(b) = -9*b + 0 + 8*b**2 - 3 + 8. Is o(5) a multiple of 27?
False
Suppose -5*v + 3*h + h = -726, 2*v = -2*h + 294. Let t = v - 87. Does 11 divide t?
False
Let j(k) = 0*k + k**2 + 3*k + 2*k + 1 - 6*k. Let s be j(2). Suppose -2*p = -4*p - s*f + 205, 2 = -2*f. Is 26 a factor of p?
True
Let u = 46 + -46. Suppose 5*a = -4*m - u*a + 280, 4*a + 280 = 4*m. Is m a multiple of 14?
True
Let x = 297 + -212. Let o = 98 - x. Does 4 divide o?
False
Let n(v) = -v**2 + 13*v + 1. Let y(f) = -2*f - 10. Let r be y(-5). Suppose 27 = 4*k - 3*a, r = k + a - 4 - 8. Is n(k) a multiple of 11?
False
Suppose 5735 = 5*l - 3*x, 3*l = 2*x + 744 + 2697. Is 4 a factor of l?
False
Suppose -6*s + 18 = r - s, 4*r - 110 = -s. Let a = r - -10. Is a a multiple of 19?
True
Let j(u) = u - 5. Let i be j(8). Suppose -i*f + 10 = 2*f. Suppose 0 = f*n - 6*n + 204. Is 17 a factor of n?
True
Let z = -11 - -15. Suppose 3*g + z = -g. Is (-17 + -2)*(-2 - g) a multiple of 9?
False
Let l(j) = j**3 - 35*j**2 - 70*j - 78. Does 2 divide l(37)?
True
Let m be ((-196)/(-6))/((-2)/(-3)). Is -1 - 3408/(-21) - 14/m a multiple of 21?
False
Suppose 49 + 15 = -5*g - 3*c, 9 = -3*c. Is (g/44)/((-2)/56) a multiple of 7?
True
Let g(l) = -l**3 - l**2 + 5*l - 6. Let p be g(-3). Let c(u) be the third derivative of u**5/15 + u**4/12 - 7*u**3/6 + 2*u**2. Is c(p) a multiple of 5?
False
Is 5505/25 - 2/10 a multiple of 29?
False
Let z be 50/13 - (63/13 - 5). Is 4 - (-146)/(z - 2) a multiple of 11?
True
Suppose j - 165 = 2*l, -696 = -9*j + 5*j - 4*l. Is 9 a factor of j?
True
Let d(s) = 4*s**2 - 10*s - 16. Let p be (2 + -8)*6/9 + 10. Is d(p) a multiple of 10?
False
Suppose b - 3 = r - 5, 0 = b + 2. Suppose r*c - c = -5*x + 248, 4*c = -3*x + 158. Does 15 divide x?
False
Does 62 divide ((-34)/(-10) - 3)*(-16 - -946)?
True
Let k be (-22)/(-2)*(9 - -14). Suppose 4*v = -1 + k. Is 12 a factor of v?
False
Suppose -4*u + 976 = -43*s + 45*s, 3*s - 2*u = 1496. Is s a multiple of 16?
True
Suppose -5*j = -w - 17, -5*w - 5 = 2*j - 7*j. Let s be 0 + -3 + w + 20. Suppose -2*f + 18 = -s. Does 8 divide f?
False
Let a(y) = y**3 + 21*y**2 - 12*y + 19. Does 81 divide a(-19)?
False
Let j(v) = v - 7. Let g be j(10). Suppose -g*i = -0*i + 3, -4*z = 4*i - 704. Suppose 3*m - 36 - 10 = -f, 4*f = -5*m + z. Does 20 divide f?
False
Suppose -52*m + 22 = -50*m. Suppose -114 = -m*g + 40. Does 7 divide g?
True
Is 6 a factor of (5 - (-103 - 4)) + -5?
False
Does 7 divide 1008/64*(-544)/(-6)?
True
Suppose -5*c = t - 256, -57 = -2*c + 4*t + 63. Let f = 21 + c. Is 20 a factor of f?
False
Suppose -x - 9*v = -8*v - 887, -5*x - 2*v + 4441 = 0. Is 14 a factor of x?
False
Suppose 3*g - 15 = 3*q, -5*g = 4*q - 3*q - 7. Suppose -w + 86 = -d, 0 = w + g*w + 4*d - 258. Suppose 2*t + 3*k = w, k - 34 - 9 = -t. Is 33 a factor of t?
False
Let c = -3291 + 6164. Does 13 divide c?
True
Suppose -31*l + 32*l - 2016 = 0. Is l a multiple of 72?
True
Let z = 3 + -7. Let p = z - -9. Suppose -m + 48 = f + 3*f, p*m - 256 = -4*f. Is 16 a factor of m?
False
Suppose -3*v + 1 - 4 = 3*o, -18 = -3*v + 4*o. Suppose 2*t + v*t = 0. Suppose t = -4*k + 52 + 108. Is 15 a factor of k?
False
Let l(s) = -2*s**2 - 3*s + 4. Let u be l(4). Let n = u - -56. Let j = 30 + n. Is 23 a factor of j?
True
Suppose 0 = -9*n + 14*n - 25. Let x(i) = -6*i + 7. Let a be x(n). Does 3 divide a/(-2) + (-2)/4?
False
Let i(d) = d**2 + 4*d - 9. Let n be i(-6). Is 64/10 - n/(-5) a multiple of 6?
False
Suppose 3*c + c = 132. Suppose -q - 39 = -6*q + 2*m, -5*m = 2*q - c. Suppose 0 = -10*v + q*v + 9. Is v a multiple of 8?
False
Let u(v) = v**2 + 5*v - 4. Let q be u(-6). Does 6 divide 33 + (-1)/(1/q)?
False
Suppose 9*q - 825 = 4*q. Let s = q + -87. Does 16 divide s?
False
Let a = 46 + -44. Suppose -a*o - 30 + 126 = 0. Is 48 a factor of o?
True
Let q be -39*(1 - 3 - -1). Let x = -12 + q. Suppose -2*f = -5*u + 3*f + 55, 0 = u - 5*f - x. Does 3 divide u?
False
Suppose -y + 4 = -0. Suppose y*n - 3*n - 12 = 0. Is 12 a factor of n?
True
Suppose -2*v - 3*u - 1 = 0, 4*v + u = -u + 10. Suppose 3 = z + 5, -v*c - z = 214. Let n = -13 - c. Is n a multiple of 20?
True
Suppose -7*o + 488 = 68. Is o a multiple of 2?
True
Suppose -3*d = -2*u - u - 6, 0 = 4*u - 2*d. Does 5 divide 125*1/u*376/235?
True
Is 11 a factor of 682/(-1*2)*(64 - 66)?
True
Is 6524/5 + 7 + 136/(-20) a multiple of 15?
True
Suppose 0 = -4*w + 5*o - 1075, w - 3*w = -5*o + 545. Let t = w - -426. Is t a multiple of 23?
True
Suppose 4*s = 8*s. Suppose 2*y = -s*y - 8. Let p(c) = 3*c**2 + 2*c - 5. Is 11 a factor of p(y)?
False
Let w(b) be the third derivative of 13/24*b**4 + 0*b + 0 - 1/60*b**5 - 2*b**2 + 5/2*b**3. Does 5 divide w(12)?
False
Suppose 4*c - 1453 = 5*b + 931, -c + 581 = -5*b. Does 17 divide c?
False
Let g(p) = 2*p**3 + 5*p**2 - 2*p - 4. Let o(h) = 3*h**3 + 8*h**2 - 3*h - 6. Let r(x) = -8*g(x) + 5*o(x). Let l be r(2). Is (-94)/(-6) - l/(-6) a multiple of 8?
False
Is (4725/(-42))/(2*3/(-8)) a multiple of 26?
False
Suppose -12*m + 3284 = -148. Does 26 divide m?
True
Suppose 258 = 2*q + 42. Is q a multiple of 9?
True
Let a(n) = 12*n**2 - 6*n**2 - 5*n**2 - 18*n + 3*n + 31. Does 17 divide a(14)?
True
Let a(r) = 3*r**2 + 7*r - 7. Let i(m) = m**2 + 4*m - 4. Let w(d) = 2*a(d) - 5*i(d). Does 7 divide w(8)?
False
Suppose -f - 3*q = 33 - 147, 4*f = 2*q + 442. Suppose f = u + 1. Is 14 a factor of u?
False
Let y = 2839 + -1873. Does 42 divide y?
True
Let t = -8 + 5. Let x be 0 - (-3)/1 - t. Suppose 69 = x*d - 57. Is d a multiple of 7?
True
Suppose g + 17 = -5*s, -g - s - 29 = -4*g. Suppose -n - 3*d + 104 = -g*d, -4*n + 4*d + 496 = 0. Suppose r + n = 4*r. Is r a multiple of 11?
False
Let g(t) be the second derivative of -t**3/6 - 3*t**2/2 - 8*t. Let v be g(-3). Does 22 divide -15*(42/(-9) - v)?
False
Suppose j - 10 = 2*n, 3*j = 2*n - 5*n - 6. Is 5 a factor of (2 - n)/((-4)/(-70)*5)?
False
Suppose 0 = 3*z + 5*x + 40 - 505, z + x = 153. Let r = z + -86. Is r a multiple of 8?
True
Let w = 119 - -349. Is w a multiple of 78?
True
Let x = -710 + 488. Let n = -124 - x. Is 14 a factor of n?
True
Suppose -5*t + 0*t = -20. Suppose -3*w = 6, -4*w + 58 = t*g - 3*g. Is g a multiple of 22?
True
Let j(z) = z**2 + 9*z - 1. Let d be (0 - -7)/((-9)/9). Let h be j(d). Does 12 divide ((-56)/35)/(2/h)?
True
Let l(o) = -459*o**3 - 2*o**2 - 3*o - 1. Is l(-1) a multiple of 51?
True
Let i = 349 + -142. Is i a multiple of 10?
False
Suppose 4*s = -m - 63, 7*