8. Is j a multiple of 4?
False
Let x(d) = -d**3 + 5*d**2 - 4*d + 1. Let v be x(4). Let a be v + (-70)/(2 - 3). Suppose -4*n - a = -263. Is n a multiple of 18?
False
Let k(m) = -m**2 + 17*m - 24. Is k(11) a multiple of 4?
False
Let c(q) = q**2 + 20*q - 94. Is c(-28) a multiple of 5?
True
Suppose x = -4*t + 36, 0 = -4*x - 2*t + 4*t + 54. Let v = 35 - x. Is 8 a factor of v?
False
Does 25 divide (-3)/6*-58 + 3?
False
Let h(v) = 3*v**2 + 2*v + 3. Let g(w) = w + 1. Let i(t) = -3*t - 7. Let p(d) = -6*g(d) - i(d). Let k be p(1). Does 6 divide h(k)?
False
Let y(w) = w**2 - w + 6. Let i = 7 + -13. Let b be 3/(-2)*28/i. Does 19 divide y(b)?
False
Suppose -3*a = -15, 44 = 4*r + 3*a - 171. Does 10 divide r?
True
Suppose 4*h = 2*h - 4*a + 26, -4*h = 2*a - 58. Suppose -3*t = i - 5*t + h, -t = 4*i + 78. Let s = i - -52. Is 11 a factor of s?
True
Let t = -9 - -3. Let q = t - -20. Let x = q + 0. Is 9 a factor of x?
False
Suppose 2*g + 32 = 3*u, u - 2*u = 3*g - 7. Is u a multiple of 5?
True
Let w(y) = y**2 + 6*y + 6. Let g be w(-6). Suppose g = u - v, 31 = u + 4*u - 4*v. Is u a multiple of 7?
True
Suppose 2*p + 10 = 7*p. Suppose 5*k - p*y - 14 = k, 0 = 5*k + y. Does 14 divide 1*(-3 + 16) + k?
True
Suppose -2*l = -5*l - 2*d + 141, 6 = 2*d. Is l a multiple of 15?
True
Let x(d) = -d**3 - 9*d**2 - 5*d - 16. Is x(-10) a multiple of 31?
False
Suppose -2*m + 1 = -9. Suppose -5*n = -3*g - 0*g + 110, -2*n = m*g - 142. Is 15 a factor of g?
True
Let g = 7 + -7. Suppose g*a = -5*a + 285. Does 19 divide a?
True
Let g be ((4 - 4)/(-2))/1. Suppose 2*o = -2*o, -j + 4*o + 55 = g. Is j a multiple of 13?
False
Let g(q) = 3*q**2 + q - 24. Let b(a) = a**2 + a - 1. Let y(w) = 2*b(w) - g(w). Does 11 divide y(0)?
True
Suppose 0 = -4*x - p - 4*p + 98, 0 = -5*x - 3*p + 129. Suppose -5*b + 102 = -4*s, 2*b = 4*b + 3*s - x. Is 13 a factor of b?
False
Suppose 0 = 4*k - o - 19, 3*o + 5 = -5*k + 16. Let r be -1 + (-2)/(-1) + -1. Suppose r*b = k*b - 100. Is 11 a factor of b?
False
Suppose -2*p + 6 = 2. Let y = 36 - 16. Suppose -2*z - p*z = -y. Is 4 a factor of z?
False
Let m = 7 + -1. Suppose -2*v - 2*k - m = -0*v, -4*k - 18 = v. Suppose -p + 4*n = n - 39, -v*n = -4*p + 166. Is p a multiple of 21?
True
Suppose 102 = 2*k + 18. Is 14 a factor of k?
True
Suppose 0 = 2*v - 5*v - 60. Let u = 34 + v. Is 10 a factor of u?
False
Suppose -154 = -3*g + g. Is 26 a factor of g?
False
Let r = -12 + 49. Does 14 divide r?
False
Is 26 a factor of 86 - 3/(-3) - -3?
False
Let a(p) be the third derivative of -37*p**6/120 - p**5/30 - p**4/24 + p**2. Let l = 36 - 37. Is 18 a factor of a(l)?
True
Let v(g) = 3*g + 11. Is v(13) a multiple of 12?
False
Let y = -8 - -30. Is 14 a factor of y?
False
Let c be 3 + -1 + 1 + -1. Suppose c*s - 4 = 12. Suppose -s - 42 = -2*h. Does 12 divide h?
False
Suppose -16*f = -2857 + 937. Is 20 a factor of f?
True
Suppose -4*f - 105 = -7*f. Is f a multiple of 35?
True
Suppose 0*w - 2*j = w - 21, 67 = 3*w + 2*j. Let p = -8 + 11. Suppose p*i - w = 85. Does 16 divide i?
False
Suppose 3*m - 3*s - 273 = 0, 2*m - 183 = 2*s + s. Suppose -4*c + 2*c = -m. Is c a multiple of 15?
True
Let t(x) = 4*x + 2. Let l be t(-2). Let d(g) = -2*g - 7. Let k be d(-6). Let v = k - l. Is v a multiple of 3?
False
Let b be ((-1)/(-2))/(3/(-12)). Let p be b*9/(-6) + 0. Suppose -80 = y - p*y. Is 20 a factor of y?
True
Let y = -142 + 330. Is y a multiple of 12?
False
Let p = 102 - 19. Suppose -2*v + 3*d = 3*v + 107, 5*v = -3*d - p. Let c = 37 + v. Is 18 a factor of c?
True
Let z(s) = -s + 10. Suppose 2*n - 15 - 3 = -2*a, 2*n - 24 = -5*a. Let p be z(n). Suppose -12 = -3*b + p. Does 3 divide b?
False
Is (3/2)/(9/48) a multiple of 6?
False
Let u(p) = 6*p - 4. Let g be 3*3/3 + 0. Does 7 divide u(g)?
True
Let n be (111/12)/((-2)/8). Let q = 18 + n. Let x = 39 + q. Does 10 divide x?
True
Let m be (3/(-6))/((-2)/16). Suppose -4*y + 16 = -2*q, -3*y = 2*y + m*q - 33. Suppose y*s = 64 + 91. Is s a multiple of 16?
False
Suppose 24 = n - 0*n. Suppose -n = l + 4*o, l + 3*l + 31 = -3*o. Does 8 divide l*2*(-2 - 1)?
True
Suppose -3*g - 1 - 2 = 2*s, g + 9 = 2*s. Let w(d) be the first derivative of 2*d**2 - 4*d + 1. Is w(s) a multiple of 4?
True
Let h = -2 - 4. Let j = -6 - h. Suppose j = -5*k + 3*k + 12. Is 3 a factor of k?
True
Let b(f) = f**3 - 1 - 3 - 6*f + 6 + 5*f**2. Let i be b(-5). Let p = -22 + i. Is 8 a factor of p?
False
Let w = 83 + -53. Let j = w - 14. Does 10 divide j?
False
Does 12 divide (-5 + -66 + (-6 - -2))/(-1)?
False
Let d(q) = q**2 - 6*q - 1. Let k be d(13). Let g = k + -34. Is 10 a factor of g?
False
Let l be 0 - (-102 - (1 + 0)). Let a = -15 + l. Suppose a = 3*x - c - c, 5*c = -5*x + 105. Does 13 divide x?
True
Suppose -2*a + 4*t - 14 = 0, 4*t = -3*a + 7*t - 6. Is 3 a factor of a?
True
Let z be 9 - (1 + 1)/(-2). Suppose 2*f = 7*f + z. Does 12 divide (-6)/(f/(-8)*-1)?
True
Let u = -4 + 35. Is u a multiple of 20?
False
Let x(p) = 5*p**3 + 2*p**2 - 1. Suppose a = 3*a - 16. Suppose a*t + 2*g = 4*t + 6, g = 5*t - 4. Does 3 divide x(t)?
True
Let p(r) = r - 6. Suppose -3*l + l + 20 = 0. Let m be p(l). Suppose -u + 52 = -2*c, -c = -m*u + 221 - 20. Is 25 a factor of u?
True
Let n be 1 - 9 - (4 - 4). Let a = n + 14. Suppose -f = -0*f - a. Is f a multiple of 5?
False
Suppose -5*h + 440 = -0*h. Is 22 a factor of h?
True
Let b = -151 - -61. Let c = -57 - b. Is 11 a factor of c?
True
Is ((-1)/2)/((-1)/138) a multiple of 22?
False
Let l(s) = -s**2 - 75. Suppose 0 = 7*k - 3*k. Let j be l(k). Does 10 divide j*(-2 - (-15)/9)?
False
Suppose 3*t = 4*t - 1. Let w(j) = 47*j**2 - 2*j - 5. Let g(q) = 70*q**2 - 3*q - 7. Let c(z) = 5*g(z) - 7*w(z). Does 10 divide c(t)?
True
Suppose -f + 6*f = -s + 26, 0 = -4*f + 20. Let i(z) = -z - 1 - 7*z**3 + 19*z**3 + 2. Is i(s) a multiple of 7?
False
Suppose 3*x - 22 = y, 6*y - y + 5 = 0. Let c(t) = 2*t**2 - 5*t + 3. Is 33 a factor of c(x)?
True
Suppose 9 = 2*o - 5*o. Does 27 divide (o/6)/((-1)/54)?
True
Let m(s) = s**2 + 5*s + 2. Let g be m(-4). Is g - -9 - 3/1 a multiple of 3?
False
Suppose -2*v + 8*o + 105 = 3*o, -3*v + 115 = o. Is v a multiple of 10?
True
Suppose -14*s + 16*s = 54. Is s a multiple of 9?
True
Suppose -k + 0*k = -4*t + 8, -5*t - 4*k = -31. Let x = 1 - t. Let h(i) = -i**3 - 2*i**2 - 3*i - 3. Does 3 divide h(x)?
True
Suppose -3*k - 4*m + 167 = 0, -115 = -4*k - 5*m + 109. Is 13 a factor of k?
False
Let d(v) = -v**3 + v + 5. Does 4 divide d(-3)?
False
Let i(c) = -c**3 - 10*c**2 - c + 3. Let w be i(-10). Let x = w - -9. Is (-8)/(-44) - (-172)/x a multiple of 4?
True
Let q be ((-8)/6)/((-2)/3). Suppose q*x = 5*x - 138. Is 19 a factor of x?
False
Suppose -2*v - 5*p + 83 = 0, -5*p + 151 = 5*v - v. Suppose -5*s + v = -h + 4*h, 5*h - 110 = 5*s. Is h a multiple of 15?
False
Let h(m) = -100*m + 2 + 10 + 85*m. Is 13 a factor of h(-5)?
False
Suppose -2*q = -3*q + 3, 3*q = 4*x - 99. Is x a multiple of 9?
True
Let t = 58 - 10. Is 24 a factor of t?
True
Suppose -3*c + 4 = -5. Is 8 a factor of (-1)/(c/6) + 28?
False
Let o be (0 - (2 - 2))*1. Suppose o = z + 2*s - s - 28, 0 = -5*z - 3*s + 148. Is z a multiple of 16?
True
Suppose -3*g + 5*g - 184 = 2*f, -4*g + 354 = 3*f. Is g a multiple of 14?
False
Let s be (-2)/9 - 188/(-36). Let u(w) = 3*w - 1 - 1 - 3. Does 4 divide u(s)?
False
Suppose 0 = -5*y + y. Suppose -2*j + j + 24 = y. Is 8 a factor of j?
True
Let i = 134 + -72. Is i a multiple of 21?
False
Let t(w) = 26*w**2 + 5*w - 7. Does 16 divide t(3)?
False
Let v = 8 - 5. Is (v - -1) + (1 - 0) a multiple of 2?
False
Suppose 40 = 2*r + 2*n, -n = 4*r - 0*r - 83. Let v = r + -7. Does 14 divide v?
True
Suppose 3*g - 365 = s + 111, -s = g - 160. Suppose 2*d + 98 + 56 = 4*b, -4*b + g = 3*d. Does 13 divide b?
True
Let t = 2 - -10. Is 22 a factor of ((-24)/t)/((-2)/22)?
True
Let r = 29 + -2. Does 5 divide r?
False
Does 31 divide (40/(-8))/(-25) - (-1118)/10?
False
Suppose -5*s - 2 = -2*n - 5, -4*n = -3*s - 1. Let j be 6 + -5 + s/(-1). Suppose -2*f - 2 = j, f = -g - 2*g + 38. Is g a multiple of 13?
True
Does 4 divide 6/(-5)*(-1430)/39?
True
Let r(m) = 28*m**2 + 2*m - 2. Suppose -2*b = -1 - 1. Does 7 divide r(b)?
True
Suppose 10*d - 70 = 5*d. Suppose v - x = 2*x + 18, -3*v - x = -d. Suppose v = 3*k - 69. Does 12 divide k?
False
Is 27 a factor of (-374)/(-14) + 22/77?
True
Let c(v) = -6*v - 10. Let h(r) = 6*r