. Let u = -62 - a. Let p = -28 - u. Does 4 divide p?
True
Suppose 9955 - 964 = 9*y. Is 16 a factor of y?
False
Let s = -28 - -28. Suppose s = 6*m + 2*m - 816. Is m a multiple of 34?
True
Suppose -2*v = -2*j - 694, -5*j + 377 - 1080 = -2*v. Is 4 a factor of v?
True
Is 934/8 - (-15)/60 a multiple of 5?
False
Suppose -31 + 122 = -13*r. Is 0/(-2) + -2 + 218 + r a multiple of 20?
False
Let t be (1 - 3) + 5 - 2. Suppose 5*a + l = 12 + t, 4*a + 3*l = 17. Is -1*a/4*-86 a multiple of 22?
False
Let k(m) = 8*m - 4. Let t be ((-44)/10)/(10/(-25)). Is k(t) a multiple of 14?
True
Suppose 0 = -4*b + 3*q + 1986, -b + 488 = -0*q - 5*q. Is 30 a factor of b?
False
Suppose 2*a + 45 + 5 = 0. Let v = 28 + a. Suppose 168 = 5*h - v*z, 0 = 5*h + z - 6*z - 160. Does 5 divide h?
False
Let l(k) = 19*k**2 + 12*k + 47. Does 30 divide l(-6)?
False
Let v = -948 - -1391. Does 5 divide v?
False
Let m(j) = -j**3 + 4*j**2 + 3*j + 1. Let n be m(3). Suppose 4*c - 2*y - n - 11 = 0, -c + 3 = 4*y. Suppose 28 = a - c. Is a a multiple of 9?
False
Let i = -214 + 449. Does 5 divide i?
True
Suppose -2 = 2*i - 0. Let c(l) = -25*l. Let j be c(i). Let g = 2 + j. Is 19 a factor of g?
False
Let k = -35 + 57. Let i = k + -14. Is 12 a factor of i/2 - 320/(-10)?
True
Suppose -9*n - 10 = -14*n. Suppose 17 = n*u + a, -4*u + 13 + 42 = -5*a. Does 5 divide u?
True
Suppose -2*n - 263 = -2*d + 235, n = -3*d + 731. Is 9 a factor of d?
False
Let w(d) = d**3 - d**2 + d + 2. Let c = 8 + -8. Let i be 32/48*(c + 3). Is 2 a factor of w(i)?
True
Let t be 8/(-28) + 3238/14. Let k = t - 29. Suppose 4*f - k + 18 = 0. Does 8 divide f?
False
Let x be (0/(-4) - 2)*-1. Suppose 5 = f + x. Suppose -j - 2*d = -f - 16, 41 = 2*j + 5*d. Is j a multiple of 11?
False
Suppose 1135 = 5*i - 1400. Is 10 a factor of i?
False
Let o(k) be the third derivative of -k**5/60 - k**4/2 + k**3/6 + k**2. Is o(-9) a multiple of 6?
False
Let q = 43 + -27. Is (19 - -1)*(q - 15) a multiple of 4?
True
Suppose -5*a + 28 = -a. Let d be (-38)/((-26)/(-10) - 3). Suppose d = a*p - 2*p. Does 12 divide p?
False
Let d(a) = 21*a**2 - 4*a - 3. Suppose -5*k - 16 = 3*b, 0 = -b - 2. Let p be d(k). Suppose p = 5*v - 1. Does 4 divide v?
False
Suppose c - 75 = 3*p - 0, 0 = 2*c - 2*p - 146. Is 36 a factor of c?
True
Let m be (1/(-2))/(1/(-8)). Suppose 20*i = -i + 2793. Suppose -p + m*a + 55 = 0, -i = -4*p + 2*a + 31. Is 14 a factor of p?
False
Suppose 6*z - 2 = 5*z. Suppose -2*w + p + 0*p - 20 = 0, 3*p - 28 = z*w. Let v(l) = -3*l - 10. Does 5 divide v(w)?
False
Let n(w) = -14 + 3 + 1 - 11*w + w**2. Does 21 divide n(-7)?
False
Does 80 divide (-238)/(-42)*(104 + -2)?
False
Let x(c) = c**3 + 7*c**2 - 6*c + 93. Let f(s) = s**3 + 8*s**2 - 7*s + 93. Let j(p) = -6*f(p) + 7*x(p). Does 14 divide j(0)?
False
Let g = -113 - -194. Let t = g + -54. Is t a multiple of 7?
False
Is 38 a factor of (-98)/(-4)*1264/56?
False
Let x be -2 + (9 - (4 + -1)) + -78. Let z = -51 - x. Is 23 a factor of z?
True
Let v be (-6)/10 + 52/20. Suppose 54 = -4*n + v*n. Does 15 divide 10*(-1)/(6/n)?
True
Let u(s) = -s - 8. Let g(p) = 8 - 8 + 0 + 1. Let q(b) = -5*g(b) - u(b). Does 5 divide q(7)?
True
Let o(l) = 9*l**2 + 6*l + 3. Let c be o(-3). Suppose -6 - c = -4*z. Is z a multiple of 8?
False
Let k(l) = -7*l + 14*l + 5*l - 2. Let t be k(2). Suppose 0 = -8*f + 9*f - t. Does 11 divide f?
True
Let k = -59 - -126. Does 13 divide (-2 + k)*(-4 + 5)?
True
Let c(g) = 11*g + 1. Let w be c(1). Let i be (6 + -3)*20/w. Suppose -i*j + x = -65, 52 + 29 = 4*j + 5*x. Does 14 divide j?
True
Suppose -42 = -2*b + l, -2*l = 3*b - l - 68. Does 13 divide (b + 0)*3*1?
False
Let k(r) = -r. Let o be k(-3). Suppose -y + 3*h + 9 = -4, 5*y = -o*h + 11. Suppose g - 10 = y*c - 0*c, -5*c - 9 = -g. Does 4 divide g?
False
Suppose -5*q + 20 = 0, 2*q + 163 = 4*k + 51. Suppose 0 = -p + 51 + k. Is p a multiple of 9?
True
Let b(a) = a**3 + 44*a**2 - 22*a - 125. Is b(-44) a multiple of 15?
False
Let f = -3274 + 5484. Is 20 a factor of f?
False
Suppose -3*q + 3*f - 15 = 0, -4*q - f - 4*f = 65. Is 9/(-15) + (-666)/q a multiple of 11?
True
Suppose -2*f + 2*s + 10 = -0*s, 4*s = 2*f - 6. Let w(o) = -o**2 + 15*o - 4. Is 13 a factor of w(f)?
True
Let w(y) = -2*y**3 + 26*y**2 + y - 7. Let u be w(13). Let l(v) = 3*v**2 + 8*v - 8*v - 12*v + 1. Is 37 a factor of l(u)?
True
Suppose 375 = 20*d + 5*d. Is d a multiple of 15?
True
Suppose -5*w = 6 - 1. Let j(i) = -98*i. Is j(w) a multiple of 22?
False
Suppose 5*r = 5*a + 45, -3*r - 2*a = -a - 7. Suppose -r*p - 3*f + 7 + 46 = 0, 0 = -4*p + 5*f + 61. Suppose -i = -0*i - p. Does 7 divide i?
True
Let a = 1696 - 1164. Is 14 a factor of a?
True
Suppose w + 13 = 4*k + 96, -5*k + 374 = 4*w. Is 13 a factor of w?
True
Let q(b) = -49*b**2 + 30*b**3 + 48*b**2 + 1 + 102*b**3. Is 22 a factor of q(1)?
True
Let n be (8/(-12))/(6/(-18)). Does 32 divide 6*(n*57/6 + -3)?
True
Suppose -855 = -a - 4*x, 19*a - 876 = 18*a + 3*x. Is 23 a factor of a?
False
Let f be (-12)/(-15)*75/2. Let n = 30 - f. Is 10*6 - (-2 - n) a multiple of 10?
False
Let x be (14/42)/(2/264). Suppose -i - x = -5*i. Is i a multiple of 11?
True
Let u = 5901 - 3930. Is 27 a factor of u?
True
Suppose 5*z + 0*u - 11 = u, -4*u = z - 19. Let k = -157 + 407. Suppose -187 = -3*c + w, 0 = -z*c - c + w + k. Does 9 divide c?
True
Let k(q) = 2*q**2 - 28*q + 30. Does 2 divide k(14)?
True
Suppose -a - 18 = -3*b - 3, -a - 2*b + 10 = 0. Suppose -5*v = 0, 2*h - 4*v + a = 10. Is 5 a factor of h?
True
Does 10 divide ((-552)/(-4) - 3) + -5?
True
Let a = -1916 + 2822. Does 22 divide a?
False
Let n(j) = -238*j - 306. Does 10 divide n(-12)?
True
Let f be 2 - 6*88/6. Let b = -22 - f. Does 16 divide b?
True
Let g = -8 + -328. Suppose 2*r = r - 30. Is (g/(-20))/((-9)/r) a multiple of 28?
True
Suppose -s + 461 = 2*b, -5*s + 109 = b - 99. Does 9 divide b?
False
Let m(x) = -5*x + 13. Let u be m(6). Let y = u - -19. Suppose -3*p + 240 = y*p. Does 24 divide p?
True
Let k(p) be the first derivative of p**4/4 - 23*p**3/3 + p**2/2 - 10*p - 5. Is k(23) a multiple of 13?
True
Let j be 96 + -1 + (-7)/21*-12. Suppose -j*s + 97*s + 406 = 0. Is 9 a factor of s?
False
Let p(v) = 26*v - 16. Is p(6) a multiple of 35?
True
Suppose 4*p = -3*z - z, -4*z + 2*p + 18 = 0. Suppose 0 = 2*b - 5*m + 38, -2*m - 2 = -z*b - 70. Let a = 27 + b. Is a a multiple of 3?
True
Suppose 3*w - 40 - 68 = 0. Is 6 a factor of w?
True
Let y(p) = 3*p**2 + 36*p - 10. Let n be y(-11). Let c = 151 + n. Is c a multiple of 6?
True
Let c = 12 - -3. Suppose -4*x - x = -c. Suppose x*j = -0*j + 54. Is 15 a factor of j?
False
Suppose 0 = 11*p + 845 - 3287. Is 8 a factor of p?
False
Suppose -r + 12 = 3*r. Suppose -2*g + 125 = r*u, -u + 179 = 4*u - 4*g. Suppose 5*f - 129 + u = 0. Does 6 divide f?
True
Let g(p) = -p**2 + 17*p - 19. Let q be g(16). Is (-330)/(-12) + 2/(-4) + q a multiple of 11?
False
Is 2107/161 + -13 + 32196/46 a multiple of 24?
False
Let a = -272 + 394. Is a a multiple of 5?
False
Let o(q) = -10*q**3 - q - 1. Let g be o(-1). Let p(y) = -y + 24. Is 10 a factor of p(g)?
False
Let z(o) = -4*o**2 + 4*o + 5. Let b(c) = -7*c**2 + 8*c + 9. Let u(q) = -3*b(q) + 5*z(q). Let n be u(-5). Let s = n + 5. Is 12 a factor of s?
True
Let n be (-12)/(-21) + 31/7. Suppose -4*q + 0*v - 2 = 2*v, 3*q - v = 1. Suppose q = n*l - 52 - 128. Is l a multiple of 9?
True
Suppose -2*s + 6 = -5*b, 4*s = 3*b + 3 + 37. Is 11 a factor of (-572)/s*(-1)/1?
True
Let c = -5 + 15. Suppose 3*j - c = 47. Is j a multiple of 11?
False
Let q(w) = 3*w**3 - 16*w**2 - 5*w + 1. Does 8 divide q(7)?
False
Let s be (-1 - -4)*14/(-3). Let h = s + 31. Suppose -d - h = d - 5*g, 1 = -d + g. Is 2 a factor of d?
True
Suppose 0 = 4*w + 4*w - 32. Let h(n) = 7*n + 24. Is 13 a factor of h(w)?
True
Suppose 0 = -20*a + 18*a - 4. Is 6 a factor of a/(((-3)/144 + 0)*2)?
True
Let d = -8 + 68. Suppose 12 = l - 2*u, 3*l + l - d = 5*u. Is 6 a factor of l?
False
Let p = 22 + 66. Does 11 divide p?
True
Let b = 7 + -1. Suppose 4*t - 17 + 5 = 0. Suppose 4*j - b = t*j. Is 3 a factor of j?
True
Suppose 0 = -42*l + 1276 + 1958. Suppose -7 - 3 = 5*p. Does 7 divide 1526/l + p/(-11)?
False
Let y(h) = -h**3 - 4*h**2 + 4*h - 1. Let r be y(-5). Suppose f - 2*d = 34, 3*d = 2*d + r. Is 14 a factor of f?
True
Suppose 0 = 3*h + 102 - 1107. Suppose -j + 169 = 5*y - 172, -5*y + 5*j + h = 0. Suppose y