 + 4*d + 60, 0 = -3*n - 4*d + i + 29. Is n a multiple of 18?
True
Suppose -5*q = 2 + 3. Let n = q - -19. Is 7 a factor of n?
False
Let t(k) = -k**3 + 8*k**2 - 5*k + 2. Let f be t(6). Suppose 7*c = 10*c + 39. Let x = f + c. Does 9 divide x?
False
Is (-3 - 0)/((-30)/380) a multiple of 19?
True
Suppose -v = 4*o - o - 44, 2*v = -2*o + 68. Is 16 a factor of v?
False
Let y = -2 + 0. Let h be (-2)/(-4)*(y + 2). Suppose -4*j = 5*t - 31 - 9, h = -3*t + 5*j + 61. Does 11 divide t?
False
Let y = 8 + -11. Let x(q) = 2*q**2 + 4*q + 2. Does 8 divide x(y)?
True
Let u(k) = 5*k. Suppose 2*q - 8 = 2. Does 8 divide u(q)?
False
Let m(p) = 2*p**2 - p**3 + 3 + 2*p**2 + 2*p**3 - 4*p. Let x be m(-5). Does 6 divide x + 2 + 18/3?
True
Suppose 11*d + 720 = 14*d. Is 6 a factor of d?
True
Suppose 3*i - 45 = 150. Is 13 a factor of i?
True
Let g be 1/2 + (-21)/(-14). Suppose -45 = -g*h - h. Is h a multiple of 5?
True
Let t(h) = 2*h**3 - 7*h**2 - 8*h - 2. Is 15 a factor of t(7)?
True
Does 12 divide (3 - (4 - 2)) + 11?
True
Suppose -267 = 74*r - 77*r. Is r a multiple of 30?
False
Let v(q) = q**2 + 7*q + 10. Suppose 0 = 2*o + 4 - 0, -4*h - 5*o = -14. Suppose 23 = -4*x - z, 2*z - 16 = -h. Is v(x) a multiple of 5?
True
Suppose -126 = -5*b + 204. Is 22 a factor of b?
True
Let h = 9 - 4. Suppose 5*q - h*m = 145, -m = 4*q - q - 79. Suppose -3*r - q = -5*b, 7 = b - r + 2. Is b a multiple of 3?
True
Let g(t) = -8*t**3 + 4*t**2 - t - 1. Let i be g(3). Does 23 divide i*((-15)/6 - -2)?
True
Let h = -11 + -3. Let c = h + 33. Is c a multiple of 6?
False
Let j be (6 + -45)*(-2)/(-2). Let d = j + 63. Is d a multiple of 9?
False
Suppose 0 = -4*v - 10 + 46. Is 3/1*(v + -7) a multiple of 6?
True
Let k(x) = x**2 + 3*x. Is 9 a factor of k(-6)?
True
Let g(b) = 11*b**3 + b. Is 3 a factor of g(1)?
True
Let i(j) = 3*j + 3. Let h = -2 + 5. Does 8 divide i(h)?
False
Suppose 4*s = -6*p + p - 22, -5*p - 19 = 3*s. Let y be p*(-1 - (-87)/(-6)). Suppose -c = 3, 0 = -4*m + 2*m + c + y. Does 14 divide m?
True
Suppose -5*j + 640 = -5*b, -3*j + b + 364 = 3*b. Let h = j - 88. Is h a multiple of 18?
True
Suppose 2 - 4 = -v. Let i be -1 - (v + -4 + -3). Suppose i*s + 8 = 36. Is 7 a factor of s?
True
Let y be -3*(-5)/(15/298). Let j = -211 + y. Is j a multiple of 29?
True
Let c be (-31)/4*(-1 - 3). Does 17 divide (-1 + (-2 - c))/(-1)?
True
Suppose 4*g + 113 = -4*d + 329, -4*d + 225 = g. Let r = d - 40. Is r a multiple of 5?
False
Let a = 7 - 3. Let v = 0 + a. Does 2 divide v?
True
Let c(f) = -f**2 + 5*f - 4. Let o be c(3). Suppose -1 = -t + o. Does 2 divide t?
False
Let d be 1 - (-4)/8*2. Is (d/8)/((-3)/(-636)) a multiple of 24?
False
Suppose -11 + 7 = 2*v. Does 6 divide (3 - (v + 1)) + 2?
True
Let k = -38 - -59. Does 10 divide k?
False
Suppose -2*s = -3*s + 3. Suppose 3*x + u = -s + 52, 65 = 5*x + 5*u. Is x a multiple of 9?
True
Let j(m) = -2*m - 3. Let z(u) = u + 1. Let x(f) = -2*j(f) - 2*z(f). Let g be x(-5). Let d = g + 33. Is 7 a factor of d?
False
Suppose t + 3*t = -24. Let x = -4 - t. Is x even?
True
Let b(p) = 6*p**2 + 17*p - 10. Let z(v) = -7*v**2 - 18*v + 9. Let c(m) = 6*b(m) + 5*z(m). Is c(-15) a multiple of 10?
True
Is 4 - (-552)/(30/5) a multiple of 24?
True
Let v = 1 - -1. Suppose -v*d + 5*d = 291. Is 30 a factor of d?
False
Suppose -4 = -x + 19. Suppose -a = -66 - 9. Suppose 5*w - 20 = -z, 2*z + 4*w + x = a. Does 22 divide z?
False
Let a = -13 - -13. Suppose 4*m - m - 93 = a. Is 31 a factor of m?
True
Suppose 4*x + 0 - 2 = -3*h, 0 = -3*x + h + 8. Suppose 15 - 45 = -x*y - 5*b, 3*y = b + 11. Is 5 a factor of (8/y)/(5/50)?
False
Suppose 3*w + 2*l - 32 = 0, 5 = w + 3*l - 1. Suppose 3*q + 96 = 4*n + 5*q, -w = -3*q. Is n a multiple of 11?
True
Let c(k) = k**2 - k - 4. Suppose -3*d + 3 = w, 2*d - d - 12 = -4*w. Let m be c(d). Is 14 a factor of m/6 - (-132)/9?
True
Suppose 3*k = 5*d + k - 129, 2*k = 6. Suppose -z = 3*s + 2*s - 20, 3*z = -2*s + 8. Suppose -d = -3*f - z. Does 6 divide f?
False
Let m = 0 + 2. Suppose m*r = -0 + 10. Suppose p = -v - r + 32, -2*v + 63 = -p. Is v a multiple of 14?
False
Let g(y) = y**2 + 3*y - 5. Let k be g(8). Is 28 a factor of (k/2)/(2/4)?
False
Let x = 21 + -9. Let n = x - 7. Let c = n + 3. Is 5 a factor of c?
False
Let k = 99 - 47. Suppose 6 + 19 = 5*c. Suppose k = c*y - 3. Is 11 a factor of y?
True
Let f = -18 + 8. Let r = f - -22. Does 12 divide r?
True
Let h be (-1)/4 + 8/32. Is 17 a factor of 3 + (h - 3 - -34)?
True
Suppose 0 = -t - 2*t - 12. Let x = t + 8. Suppose 6*c - x*c - 60 = 0. Is 15 a factor of c?
True
Let z be (0/(1 + -3))/(-1). Suppose -5*j + 3*d + 202 = z, 0 = 2*j - 4*d - 48 - 44. Is j a multiple of 16?
False
Let r be (-18)/(-5) + (-18)/30. Let o(n) = 5*n**3 - 4*n**r - n**2 - 2*n**3 + n + 14. Does 10 divide o(0)?
False
Let v = -11 - -18. Suppose 3*o - 12 = 3*f, 3*f - 5*o + 1 + v = 0. Let x(z) = -z**2 - 7*z + 4. Is x(f) a multiple of 9?
False
Suppose 16 = 4*p - 5*o - 35, 5*o - 44 = -p. Is p a multiple of 5?
False
Is 29 a factor of 2*(-1 + 236/8)?
False
Let q be (27/(-18))/((-6)/56). Suppose 0*b - n = 3*b - 5, 5*n = 2*b - 9. Suppose 0 = a - b*a + q. Does 4 divide a?
False
Let f be (-2)/(-4)*(0 - 0). Let c = 4 + f. Is c a multiple of 4?
True
Let j = -10 - -17. Let x = -5 + j. Suppose 7*n + 70 = 4*k + x*n, 3*k - 64 = -2*n. Is k a multiple of 10?
True
Suppose 3*a + h = -2*h, 2*h = 5*a + 35. Suppose -55 = -2*v - 3. Let m = a + v. Is m a multiple of 8?
False
Suppose -10 = -5*n, 106 = 3*l + 2*l + 3*n. Is 6 a factor of l?
False
Let i(k) = -21*k - 5. Let j be i(-5). Suppose -6*y + y + j = 0. Does 4 divide y?
True
Is (50/(-6))/((-8)/24) a multiple of 14?
False
Suppose 3*m - 225 = 4*d + 136, 0 = -5*d + m - 454. Let w = d + 156. Does 13 divide w?
True
Let f = 1 + -1. Suppose -27 = -f*s - 3*s. Is s a multiple of 9?
True
Let v(u) = 2*u + 2. Let n be v(2). Is 6 a factor of 54*((-9)/n)/(-3)?
False
Let t = 13 + -11. Suppose 4*c - 152 = -4*y, -t*y + 6*y - c = 162. Is y a multiple of 10?
True
Let p be ((-4)/(-4))/(2 - 1). Let w = p + 6. Does 7 divide w?
True
Suppose 2*h - 215 = -k, 2*h + h + k = 325. Is h a multiple of 10?
True
Let k(b) = -15*b + 5. Does 19 divide k(-4)?
False
Let n = -11 + 19. Suppose 0 = 4*s + z - 2 - n, 0 = 4*s - 4*z - 20. Suppose 3*d = -s*o + 42, o - 3*o + 5*d + 35 = 0. Is 15 a factor of o?
True
Let m = -8 - -50. Is m a multiple of 6?
True
Let f(u) = -u**2 + 5*u - 2. Let z be f(4). Suppose -3*d + 14 = z. Is d a multiple of 2?
True
Suppose 0 = -2*q + 6*q + 76. Let x = q - -36. Does 17 divide x?
True
Let r = 86 - 45. Let h = 16 - r. Let i = -15 - h. Is i a multiple of 4?
False
Suppose l + 71 = s, 3*l = 2*l + 1. Is 9 a factor of s?
True
Suppose 0*s + 2*s - 14 = 0. Let l = s + 9. Is 16 a factor of l?
True
Let v be (-6)/33 - (-24)/11. Let t be 135 - 1 - (-1 + 2). Suppose j - v*p = 3*j - 64, 0 = -4*j - 5*p + t. Does 13 divide j?
False
Let m = 39 - 28. Suppose m = 5*v - 19. Let l(f) = 3*f. Is l(v) a multiple of 18?
True
Let j be -1*1/2*18. Let c be (-2)/j + 2640/27. Let t = -59 + c. Does 14 divide t?
False
Suppose 0 = m - 5*c + 3, 3*m - 2*c - 17 = 39. Suppose 0*n - m = -2*n. Is 8 a factor of n?
False
Let a(k) = -8*k + 8. Is 16 a factor of a(-13)?
True
Suppose 4*g - a - 168 = -0*g, 4*a = -5*g + 210. Suppose 0 = -4*c + c + g. Does 7 divide c?
True
Let h = -30 - -41. Is h even?
False
Let z be (4/6)/(1/3). Suppose -4*r + 0*r = 3*f - 14, 3*f - r - 4 = 0. Suppose f*w + z = 76. Is 13 a factor of w?
False
Suppose -15 = -5*h + 100. Is 7 a factor of h?
False
Let r(l) = 3*l**2 - 14. Let p(k) = -4*k**2 + 14. Let f(q) = -4*p(q) - 5*r(q). Does 14 divide f(0)?
True
Suppose 14 = 4*g + 2*o, -7*g + 2*g + 16 = 4*o. Is g a multiple of 4?
True
Let j(b) = b**2 + 2*b - 2. Let t be j(-7). Is 0/2 + t - 0 a multiple of 11?
True
Let c(b) = -4*b + 2. Let y be (24/(-20))/(3/(-10)). Suppose 0 = -y*a - 3 - 5. Is c(a) a multiple of 5?
True
Suppose 5*l - 26 = -3*d + 730, -5*l - 2*d = -754. Suppose 3*h = 3*z - 66, -5*h = -2*z + 7*z - l. Is z a multiple of 13?
True
Let i(q) = 17*q**2 - q - 1. Let r be i(1). Let x = 50 - r. Is 8 a factor of x?
False
Let z(r) = 2*r**2 - 8*r + 10. Does 12 divide z(6)?
False
Suppose 2 = 5*q + 12. Let g = q + 4. Suppose 6*s + 2*a - 18 = g*s, -4*s + 4*a = 0. Does 2 divide s?
False
Let d(s) = s**2 - 6*s + 2. Does 12 divide d(-5)?
False
Let z(s) = 17 + 2*s - 12 - 8. Let 