j*t - 18 - 12, p + 18 = t. Is 8 a factor of t?
False
Let a = -3 - -8. Suppose 2*m + 0*m = -a*z - 6, 0 = m - 3*z - 19. Suppose 2*f = m*f - 200. Is 11 a factor of f?
False
Suppose -3*p = p + 308. Let k = p + 46. Let a = -17 - k. Is a a multiple of 8?
False
Is 1 + 1 + -4 - -12 a multiple of 5?
True
Suppose 4*p + 19 = -33. Suppose -2*d = -20 - 16. Let j = p + d. Does 3 divide j?
False
Suppose -5*r = -5*l - 60, 5*l = r - 0*r - 48. Let x = -15 - l. Let o(n) = -n**2 - 8*n + 4. Does 8 divide o(x)?
True
Let v(q) = -3*q**3 + 2*q + 1. Let o be v(-1). Suppose 3*z = -o*z + 140. Does 18 divide z/(2 - 3/3)?
False
Let g = -8 + 5. Let y be (2 - 2 - g)*-3. Let t = y - -16. Does 7 divide t?
True
Let i be 0 + (-4)/2 + 0. Let h(d) = -5*d - 1. Is h(i) a multiple of 8?
False
Suppose -3*y = -4*h + 49, -y - 24 - 19 = -4*h. Is h a multiple of 3?
False
Suppose 4*u - 83 = 301. Is 4 a factor of u?
True
Suppose -513 = -4*l + l. Suppose -5*i + 3 + 12 = 0, 2*i = 3*p + l. Let m = 78 + p. Is 16 a factor of m?
False
Suppose -3*l + 45 = -108. Suppose -m + 4*m = l. Is m a multiple of 8?
False
Suppose -w = -5*w + 56. Suppose -y + 4 = -w. Is y a multiple of 18?
True
Suppose 510 = 3*t + 180. Suppose -i = 2*i - 2*b - t, 5*i - 184 = 4*b. Does 12 divide i?
True
Suppose -3*r = -6*r + 15. Suppose -z + 8 = -4*v + z, -r*z + 20 = 0. Suppose -11 = -b - v*b. Is b a multiple of 11?
True
Let x(c) = -4*c**3 - 5*c**2 - 3*c - 2. Let w be x(-3). Suppose -t + 290 = 4*t - 2*q, t + 2*q = w. Suppose t = 3*j + 18. Does 4 divide j?
False
Suppose -4*l + 280 = 3*k, -367 = k - 5*k + l. Suppose -176 = -5*v + 3*q, 0 = -0*v + 3*v + 5*q - k. Is 17 a factor of v?
True
Let m = -52 - 29. Does 10 divide (-1)/(-2 + m/(-42))?
False
Does 6 divide (12/(-1))/4 + 12 + 2?
False
Let l = -7 - -8. Let a be 3/(-2)*(-16)/l. Let o = a - 12. Is o a multiple of 4?
True
Suppose c - 5*c = -8. Suppose -d = -c*b - 0*d + 15, -2*b = d - 13. Let q = b - 3. Is 2 a factor of q?
True
Let u(j) = 4*j**2 + j - 6. Let s(c) = 3*c**2 + 2*c - 5. Let z(a) = 5*s(a) - 4*u(a). Let n be z(5). Is (-81)/(-6)*n/6 a multiple of 8?
False
Let q(b) = -6*b - 3. Does 3 divide q(-2)?
True
Suppose -4*k - 4*u - 5 = 123, 2*k + u = -61. Let i = 2 - k. Is 8 a factor of i?
False
Let p(y) = -15*y - 5. Is 25 a factor of p(-4)?
False
Let z(u) = 4*u**3 + 9*u**2 + 2*u + 6. Let o(c) = 3*c**3 + 8*c**2 + c + 5. Let j(x) = 3*o(x) - 2*z(x). Let t be j(-6). Does 9 divide 4/(-18) + 245/t?
True
Let l(n) = n**3 - n - 2. Is l(2) a multiple of 3?
False
Let z = 20 - -16. Suppose -4*v + 0*v + z = 0. Is v a multiple of 9?
True
Let x = -22 + 34. Is 5 a factor of x?
False
Suppose -3*l + c + 284 = 16, 5*l - 436 = -c. Is 15 a factor of l?
False
Suppose v - 2 + 0 = 0. Suppose -v*n + 47 = -83. Is n a multiple of 17?
False
Let o(s) = -16*s + 6. Is o(-6) a multiple of 17?
True
Suppose y = -2*s - 0*s + 3, s - 5*y = -26. Let n(m) = -56*m. Is 12 a factor of n(s)?
False
Is ((-12)/(-10))/(27/1530) a multiple of 14?
False
Suppose 5*p = 8*p - 45. Suppose 0 = y + 2*h - p, 7*h - 5 = y + 5*h. Does 5 divide y?
True
Let c be (3/(-3) - -4) + 1. Suppose -k = -3*r - 15, c*r + 4 = 3*r. Suppose 0 = 2*j - 3*y - 84, -2*j + 132 = j - k*y. Is j a multiple of 16?
True
Let m = -60 - -135. Is 15 a factor of m?
True
Let d = -162 + 234. Is d a multiple of 18?
True
Suppose 0 = -n + 5*n + 36. Suppose -2*f + 57 = f. Let g = f - n. Does 14 divide g?
True
Let i(l) = l**3 - 2*l**2 + 1. Let b be i(1). Suppose b = -5*m, s - 4*m = -s + 30. Does 5 divide s?
True
Suppose 3*b - 30 = -3*d, -6*b + 2*b - 86 = -5*d. Is 10 a factor of (-117)/(-7) + d/49?
False
Let z = 42 - 22. Suppose -3*h + 70 = -2*g, 2*h - 3*g - z = -7*g. Is 4 a factor of h?
True
Let x(s) = 11*s + 15. Let k(m) = 7*m + 10. Let r(j) = 8*k(j) - 5*x(j). Let h be r(-3). Suppose -h*z + 4*o = -36, -4*o + 17 = 3*z - 7. Is z a multiple of 4?
True
Let s be (-10)/(-4) + 1/2. Suppose s*t - 353 = -2*x, -38 - 58 = -t - 5*x. Suppose -5*a + t - 31 = 0. Is 18 a factor of a?
True
Suppose -5*r + 9 = -11. Suppose r*g - 166 = -58. Is 16 a factor of g?
False
Let v(z) = z**2 + 2*z + 5. Let n be v(-5). Suppose -5*l + 7*l = n. Does 10 divide l?
True
Let y = -1 - -2. Let f be 6/2 - (y + 8). Does 14 divide (15/f + 2)*-32?
False
Let o be (-36)/(-8) - (-2)/4. Suppose v = -o*u, -2*v + 5*v - 51 = 2*u. Is v a multiple of 13?
False
Suppose 0 = 3*a - a + k - 4, 2*a - 4 = 4*k. Is 2 a factor of a?
True
Let f = -46 + 102. Is f a multiple of 14?
True
Let o = -16 + 22. Does 5 divide o?
False
Suppose 4*v = 3*v + 5. Suppose -3*l + 4*c + 263 = 96, 169 = 3*l - v*c. Suppose 3*i - 73 = -u, -3*u = -3*i + u + l. Is i a multiple of 7?
False
Let b(i) = 2*i**2 - 2*i - 2. Let f be b(2). Is 4/f + -1 + 31 a multiple of 8?
True
Let r(v) = v**3 + 6*v**2 - 8*v - 5. Let q be r(-7). Suppose q*g - 3*m = 44, -m = -g + 5 + 17. Does 11 divide g?
True
Let t be (-5 + 4)/(1/(-4)). Suppose -28 - 228 = -t*y. Is y a multiple of 12?
False
Let t = 32 + -88. Let i = t - -95. Is 13 a factor of i?
True
Let h be 4*(-1)/(-2)*-3. Let c(p) = -19*p - 6. Let x be c(h). Is 12 a factor of (2/(-3))/((-3)/x)?
True
Suppose 4*d = -3*y + 52, 3*d - 4*y = -0*y + 39. Does 13 divide d?
True
Let z be -67 + ((-6)/(-3) - -1). Let p = -30 - z. Is 16 a factor of p?
False
Let i(h) = -h - 1. Let c be i(1). Let k(g) = 2*g**2 + g - 2. Let t be k(c). Suppose -4*d + 5*p + 81 = 0, t*d + 3*p - 23 = 18. Is 8 a factor of d?
False
Suppose 0 = t - 40 - 19. Is t a multiple of 16?
False
Is (1 - (1 + -16))*2/2 a multiple of 5?
False
Suppose 4*n + 2*x - 3*x + 60 = 0, 4*x = 4*n + 60. Let t be (2/6)/((-1)/n). Suppose 85 = 4*w - b, 3*w - t*w = 4*b - 20. Is w a multiple of 14?
False
Does 6 divide (-2)/8 + 774/24?
False
Suppose -7 = -q + 2. Suppose 4*v - 3*b = 6 + 22, -4*v - 2*b + 48 = 0. Suppose l = v + q. Is 12 a factor of l?
False
Suppose 2*n = 3*n + 5*b - 31, -3*n + 37 = b. Let c = n - 7. Does 4 divide c/(-6) - (-78)/9?
True
Let k be 12/(-20) + (-42)/5. Let i = k - -27. Is 9 a factor of i?
True
Let d be (-1*1)/(5/(-10)). Suppose 10 = -2*w, 4 = -d*t - 5*w - 3. Suppose -t + 54 = 3*c. Does 15 divide c?
True
Suppose z = -5*g - 3*z + 282, 2 = -z. Let v = g + -25. Is 9 a factor of v?
False
Let p(v) = 19*v**3 - v**2 + v. Let q(t) = -t**2 - 2*t - 1. Let x be q(-3). Let i be (-1)/(x - (0 - 3)). Is 11 a factor of p(i)?
False
Let o(z) = z**2 + 2*z - 5. Does 3 divide o(-5)?
False
Let l(t) = 12*t + 3. Suppose -4*b + 31 - 4 = -5*x, x - 12 = -5*b. Is 10 a factor of l(b)?
False
Let u(l) = -12*l - 1. Let q(z) = -6*z - 1. Let h(n) = 13*q(n) - 6*u(n). Is 13 a factor of h(-6)?
False
Suppose -j - 36 + 303 = 0. Is j a multiple of 40?
False
Let g(l) = 7*l**2 + 4*l + 1. Is 13 a factor of g(-3)?
True
Let y = 38 - 22. Does 4 divide y?
True
Let v(o) = 3*o**2 + 2*o - 1. Is v(3) a multiple of 16?
True
Let f(u) = -3*u**2 + u + 7. Let v(s) = -s**2 + 1. Let a(j) = -f(j) + 2*v(j). Is a(-6) a multiple of 12?
False
Let m be (0 - -4)*(1 + -2). Let y be 30/4*30/(-25). Let n = m - y. Does 2 divide n?
False
Suppose -4*g + 5*g - 19 = 0. Let l = g + 13. Is l a multiple of 16?
True
Let k = 3 - -1. Suppose -o - 1 = -3*j, -k*o + 0 + 10 = -5*j. Suppose q + 11 = 4*y, -5 = -3*q - j*q + 5*y. Is 4 a factor of q?
False
Let o(p) = 3*p**2 + 6*p - 3. Let x be o(-7). Suppose 4*n - x = -14. Is n a multiple of 11?
True
Let h(a) = 17*a + 3 + 1 + 0. Does 18 divide h(4)?
True
Suppose 6*i + 0*i - 312 = 0. Is i a multiple of 12?
False
Suppose -230 - 802 = -4*r. Is 45 a factor of r?
False
Let i = -2 + 1. Let x = i + -2. Is 3 a factor of 2 + 4 + 1 + x?
False
Suppose -5*w + 31 = -4*z, -23 = -w + 2*z + 3*z. Suppose -2*b - 2*b = -k - 139, -5*b + 161 = w*k. Is b a multiple of 13?
False
Let y(a) = 26*a**3 + 3*a**2 - 4*a + 2. Is y(1) a multiple of 17?
False
Suppose y - 39 = 4*d, y + 42 = -5*d - 0*y. Let a = d - -23. Let m = a - -3. Does 17 divide m?
True
Suppose t = -23 + 189. Is 37 a factor of t?
False
Let f = 22 - 19. Suppose 0 = 4*r - g + 2*g - 309, -3*g - 243 = -f*r. Is 26 a factor of r?
True
Let y be -1 - -5 - (-2 + 5). Let d(z) = 10*z**2 - 1. Is d(y) a multiple of 9?
True
Let f(q) = -q**2 - 3*q + 3. Let w be f(-3). Suppose c - 13 = -3*k - 0*c, k - 1 = w*c. Suppose -t + 40 = -0*t - 4*y, -k*t = -y - 100. Is t a multiple of 12?
True
Suppose 4*t - 208 = -4*d, 2*t - 84 = d + 2*d. Is 22 a factor of t?
False
Let i be 6*((-3)/6)/(-1). Let t 