 6?
False
Let i be 21/2*(-56)/(-21). Let m = i + 52. Is 16 a factor of m?
True
Let f = 0 + 4. Suppose -f*w = w - 160. Let b = w + -11. Is b a multiple of 15?
False
Suppose -11*z + 13*z - 791 = -5*o, 5*o = 4*z - 1537. Is 18 a factor of z?
False
Let q(y) = 3*y**3 - 6*y**2 + 2*y + 13. Let z be q(5). Let b = z + -158. Does 15 divide b?
True
Suppose 5*y + 5*u - 3455 = 0, -3447 = 2*y - 7*y + 3*u. Is y a multiple of 23?
True
Let v = 264 - 202. Is 6 a factor of v?
False
Suppose 5*o - 6 = -2*p, -3*o + p - 3 = o. Suppose 3*c + 3*k + 294 = o, -2*k + 304 = -c - 2*c. Is 12 a factor of c/(-8) + (-2)/4?
True
Let l = 30 - 25. Let n(s) = 2*s**3 - 2*s**2 - 14*s + 2. Does 22 divide n(l)?
True
Suppose 0*i = 3*i + 3*p - 18, -4*i = 5*p - 25. Suppose -i*c + 113 = -2*z - 0*z, -5*z - 20 = 0. Is c a multiple of 9?
False
Let c(b) = -3*b**3 - 9*b**2 - 8*b - 37. Is c(-6) a multiple of 4?
False
Suppose n = 2*v - 10, 3*n + 40 = -2*v + 10. Let k(w) = -w**3 + 10*w**2 - 12*w + 6. Let a be k(9). Let y = n - a. Is y a multiple of 11?
True
Suppose -3*o + 455 = 5*d, d + 3*o - o = 98. Is d a multiple of 2?
True
Suppose -6053 = -10*q + 3187. Is q a multiple of 22?
True
Let x = -1728 - -2624. Is x a multiple of 16?
True
Let z = 783 + -538. Is 33 a factor of z?
False
Let j be ((-30)/(-18))/((-15)/(-54)). Suppose 150 = j*p - p. Is p a multiple of 20?
False
Let w(n) = n + 14. Let f = -13 - -21. Is w(f) a multiple of 5?
False
Let d(g) = g**3 - 3*g**2 + 5. Let u be d(4). Suppose 0 = 3*r + 6 - u. Suppose 10 = r*l, 2*l = -2*b + 6*l + 82. Does 23 divide b?
False
Let n(b) = b**3 + 4*b**2 - 5*b + 5. Let u be n(-5). Suppose d - 2 + u = 0. Is -3*(22/d)/2 a multiple of 5?
False
Let n(u) = -31*u - 67. Is 17 a factor of n(-23)?
True
Suppose 3*k + 165 = -2*k. Let v be (-3 + (-32)/(-12))*k. Suppose -4*z + v*z - 49 = 0. Does 2 divide z?
False
Let b(c) = -3*c - 9. Suppose 2*u + 0*u = -40. Let k = 13 + u. Is 12 a factor of b(k)?
True
Let g be (-3 - 0/4) + 115. Let m = g + -44. Suppose 4*j - 6*j = -m. Is 26 a factor of j?
False
Suppose 0 = 7*m - 4*m. Let w be -21 + -194 - (-2 - m). Let n = -112 - w. Is 26 a factor of n?
False
Suppose -24*w = -99*w + 85200. Is 41 a factor of w?
False
Let k be (0 + -4 - -4) + 0. Suppose k = -3*t + 44 - 14. Is t a multiple of 5?
True
Suppose -13*z + 2775 + 30115 = 0. Does 19 divide z?
False
Suppose 0 = -5*z + 4*v + 13 + 2, -3*z + 9 = v. Suppose -z*f - l + 3*l = -75, 4*f = 3*l + 100. Is 16 a factor of f?
False
Suppose -54*z - 96 = -57*z. Let j = 57 - z. Is 5 a factor of j?
True
Let g(u) = 28*u**2 + 3*u + 23. Does 17 divide g(-4)?
True
Let g(c) = -7*c + 15. Let s be g(-15). Let n = -62 + s. Suppose 0 = -3*z + n + 14. Is 12 a factor of z?
True
Let y be 2/3 + 13/3. Suppose 2*k - 3*k + 505 = 4*n, -k = -y. Is n a multiple of 25?
True
Suppose 2*u + 4*f + 36 = 0, f - 3 = 2*u + 8. Let w = u - -2. Is 2 - (-141)/w*-2 a multiple of 19?
False
Let i be 5424/32*4/6. Is -1 + 2 + (i - (-54)/(-9)) a multiple of 54?
True
Does 44 divide (7/((-70)/5))/((-1)/288)?
False
Let i = 1 + -7. Let b(g) = -g - 4. Let x be b(i). Suppose 3*z + x*z = 270. Is z a multiple of 18?
True
Suppose 3*g - n - 214 = -2*g, -22 = -g - 5*n. Let z be 22/3*g/28. Is 5 a factor of (-26)/143 - (-134)/z?
False
Suppose 196*c = 191*c + 9345. Is c a multiple of 18?
False
Suppose b + 380 = -5*f + 6*b, 0 = -2*f + 4*b - 144. Let q = 172 - f. Does 20 divide q?
False
Let o = 38 + -18. Let g be o + -2 + -2 + 2. Suppose 4*u = 6*u - g. Is 9 a factor of u?
True
Suppose -184 = -a - 3*a. Suppose -2*c = a - 286. Does 15 divide c?
True
Suppose -4*t - 67 - 25 = 4*v, -4*v + 2*t = 122. Let a = v - -74. Does 10 divide a?
False
Suppose 22 = -p + 88. Suppose p = 10*d - 7*d. Does 22 divide d?
True
Suppose -15092 = -61*u + 39*u. Is 20 a factor of u?
False
Let n be (13/(-52) + (-1)/(-4))/3. Suppose g + 3*g - 88 = n. Does 2 divide g?
True
Let g = -468 - -728. Is 28 a factor of g?
False
Let c(u) = u - 10. Let p be c(7). Let a(j) = j**3 + 5*j**2 + 3*j + 2. Is 5 a factor of a(p)?
False
Suppose 5*x = 10*x - 25. Suppose -2*s + 5*f + 42 = -0*s, 0 = 4*s + x*f - 54. Is 16 a factor of s?
True
Let c(p) be the first derivative of -p**4/4 - 14*p**3/3 - p**2/2 + 4*p + 8. Does 18 divide c(-14)?
True
Let c(p) = -8*p**2 - 11 - 6*p - 5*p - p - p**3. Let g(y) = 2*y**3 - 15*y**2 + 14*y - 57. Let l be g(7). Is c(l) a multiple of 17?
True
Suppose 4*u = 6*u + 22. Let t(w) = w**3 + 11*w**2 + w + 13. Let s be t(u). Suppose -3*f = 5*p + 2*f - 165, -30 = -p + s*f. Does 17 divide p?
False
Suppose 0 = -3*a - 402 + 18. Let g = -100 - a. Is g a multiple of 7?
True
Suppose 0 = -86*m + 199047 - 37195. Is 6 a factor of m?
False
Suppose 374 = -5*u + 2*m - 57, 0 = 3*u + 4*m + 243. Let d = 211 + u. Is 42 a factor of d?
True
Let d(y) = 10*y**2 - 3*y - 1. Suppose -40 = -4*p + 2*f, 4*f - 3*f = 2. Let r = -13 + p. Does 12 divide d(r)?
False
Suppose -10720 = 5*w - 45*w. Is 2 a factor of w?
True
Suppose -g + 151 = -70. Does 17 divide g?
True
Let k = 110 - 40. Suppose -j + 6 = -k. Does 19 divide j?
True
Let d = 1625 + -1008. Is d a multiple of 2?
False
Let b = 222 + -178. Is 23 a factor of b?
False
Let t(q) = 4*q**3 + 71*q**2 - 188*q - 132. Let n(c) = c**3 + 18*c**2 - 47*c - 33. Let b(l) = 9*n(l) - 2*t(l). Is 6 a factor of b(-22)?
False
Suppose -2*k + 874 = o, -14*o + 17*o = -4*k + 2616. Is o a multiple of 18?
False
Let w = 257 + -169. Suppose -2*t + 3*l = 6*l + 103, -t - 2*l - 52 = 0. Let g = w + t. Is 19 a factor of g?
True
Suppose -2*o - 6*o = -2288. Is 26 a factor of o?
True
Let k(r) = -4*r**3 + r**2. Let x be k(-1). Suppose -5*i = -i - 2*b + 738, x*b - 910 = 5*i. Let n = -89 - i. Does 14 divide n?
True
Let b(l) = -48*l - 19. Is 55 a factor of b(-13)?
True
Let w = 48 + -28. Let y(z) = -14*z - 5 + w - 5*z**3 + 12*z**2 + 2*z**3 + 4*z**3. Is y(-13) a multiple of 7?
True
Let c = -45 - -30. Is -9*(-1 - (-85)/c) a multiple of 15?
True
Let s(t) be the second derivative of t**3/3 + 10*t**2 - 27*t. Is 6 a factor of s(17)?
True
Is 102 a factor of 18/24 + 22842/8?
True
Let c be (0 + 1)*320/4. Suppose 5*x = c + 105. Let m = x + -11. Is 13 a factor of m?
True
Let s(v) = -v**3 + 4*v**2 + 7*v - 7. Let u be s(5). Suppose -4*a + u*f = 872, -3*a + 4*f - f - 654 = 0. Let r = -155 - a. Is 17 a factor of r?
False
Suppose 0 = 3*v - 5*x - 30, 7*v - x - 28 = 2*v. Suppose k - 12*h - 49 = -8*h, v*h = -4*k + 91. Is 11 a factor of k?
False
Let q = -454 - -1075. Does 44 divide q?
False
Let y be (-3)/(-6) + (-19645)/(-10). Suppose -y = 16*h - 31*h. Is 23 a factor of h?
False
Let p = 120 - 59. Let m = -49 + p. Does 3 divide m?
True
Let r(p) = -371*p - 1120. Is r(-11) a multiple of 50?
False
Let k = 21 + -29. Let h(z) = -11*z - 24. Is h(k) a multiple of 16?
True
Is 9/((6/(-98))/(16/(-28))) a multiple of 6?
True
Let c = 11 - 6. Suppose -6*s + c*s + 33 = 0. Is s a multiple of 9?
False
Is 158 - -1*(4 + -2 + 0) a multiple of 40?
True
Suppose 22 = -3*h + 4. Suppose 0 = 4*b - 2*v - 62, v + 11 + 54 = 4*b. Let a = h + b. Does 5 divide a?
False
Let z = -2 + 0. Let y be z/(-5) - (-477)/45. Suppose -6*a = -y*a + 135. Does 9 divide a?
True
Let t = -2096 + 2144. Does 4 divide t?
True
Let q(y) = 2*y**2 - 44*y + 504. Is q(32) a multiple of 47?
False
Let h be (0 - 2)/(3/(-6))*3. Suppose 2*q + 550 = 3*n, -h*n + 2*q - 890 = -17*n. Is n a multiple of 30?
True
Let o = 2 - -295. Does 9 divide o?
True
Let v(b) = -99*b + 18. Let o be v(6). Is 2 a factor of (-2 + 2 + -1)*o/16?
True
Suppose 2*r = -r - 6, -3*i + 2*r = 416. Let h = 207 + i. Is 17 a factor of h?
False
Let t(p) = -2*p - 10. Let w(z) = 1. Let i(s) = t(s) + 5*w(s). Is i(-10) even?
False
Suppose 3*a + 7 = -4*n, -n - 19 = -5*a - 0*n. Suppose -a*q = -9, 5*q = 6*w - w - 5. Suppose -w*i = -3*l + 126, -i = -4*l + 48 + 120. Does 25 divide l?
False
Let a(y) = y**3 - 21*y**2 + 2*y + 48. Is 36 a factor of a(22)?
True
Suppose -o = 2*g + 125 + 229, -g = -2*o + 167. Let u = -92 - g. Is u a multiple of 9?
False
Suppose -3*o + 2 + 4 = 0. Is ((-145)/(-2))/(1/o) a multiple of 29?
True
Suppose w = 5*l + 185, 845 = 6*w - 2*w + l. Is w a multiple of 9?
False
Let f = 839 - 621. Is 109 a factor of f?
True
Let k = -18 - -24. Let x(s) = 3*s - 4. Does 7 divide x(k)?
True
Let o = -631 + 1350. Does 62 divide o?
False
Let w be (-2)/5*-5 + 1. Suppose -w*o - 109 = -253. Does 12 divide o?
True
Let m be (-2)/(-