 - 5*h - b. Suppose l*q = q - 174. Is 25 a factor of q?
False
Suppose 2*x = a + 71, -x + 7*a + 22 = 2*a. Suppose 5*c - n = -2*n + x, 3*n = -c - 1. Is 21 a factor of ((-83)/(-2) - (-4)/c)*1?
True
Let z(a) = -13*a**2 - 9*a + 13. Let w be z(-4). Let x(n) = -293*n**3 + 2*n**2 - 1. Let q be x(-1). Let t = q + w. Is t a multiple of 15?
True
Let o(n) = 812*n**2 + 9*n - 9. Let r be (((-90)/40)/9)/(2/(-8)). Is 7 a factor of o(r)?
True
Suppose -3*n + 27*n + 3288 = 0. Let v = n + 653. Does 16 divide v?
False
Let m be 2 + (-95)/(-5) + -1. Let j be 15/m + (-1)/(16/(-4)). Does 46 divide (j/4 - 1)/(23/(-8464))?
True
Is (-55)/22*-954 + 6 a multiple of 15?
False
Let y be (-2)/(-11) - (-316)/(-44). Let r be 200/25 - 1*14. Is 21 a factor of r/4*y*(5 + 23)?
True
Let x be 10/(-100) + 102/20. Suppose 12*f + h = 9*f + 594, -2*h = -x*f + 979. Does 38 divide f?
False
Suppose 9*k + 4*c + 3331 = 14*k, k + 3*c = 670. Does 23 divide k?
True
Suppose 183 - 15 = 8*o. Suppose 0 = 2*g + o - 27. Does 18 divide (g*(-13)/(-2))/((-9)/(-24))?
False
Let o = -3708 - -12132. Is o a multiple of 162?
True
Let i = -258 - -191. Let z = i - -107. Is z a multiple of 40?
True
Let t = -218 + 2. Let f = 324 + t. Is 18 a factor of f?
True
Let a(y) = -y**3 - 9*y**2 + 1. Let p be a(-8). Let j = p + 135. Suppose -j - 48 = -c. Is 20 a factor of c?
True
Let b be 430 - (-3 - (-1 - 7)). Let a = 576 - b. Is a even?
False
Suppose -1 = -20*a + 21*a, -5*k + 11331 = -a. Is k a multiple of 95?
False
Suppose -5*z - 20 = 0, 5*y - 21*z - 4102 = -23*z. Suppose -20*v + 878 = -y. Is v a multiple of 17?
True
Suppose -u = 19*f - 16*f - 3492, -2*f + 3*u = -2339. Suppose 3345 = 22*a - f. Is 18 a factor of a?
False
Suppose p + 5*v + 68 = 0, -4*p - 3*v + 4*v - 335 = 0. Suppose 4*i - 2 = -2*q, -4*q + 24*i + 28 = 26*i. Let s = q - p. Is 23 a factor of s?
True
Is 15/((-585)/(-52))*1596 a multiple of 16?
True
Suppose 2*a - 6*a + 4*l = -24, 4*a - 6 = -2*l. Suppose -a = -2*g - 1. Is 12/(-8) - (g - (-61)/(-2)) a multiple of 7?
True
Let g be (1 - (-22)/(-6))/(30/(-5760)). Let n = g - 323. Is 21 a factor of n?
True
Does 19 divide ((1355665/(-15))/17)/(1/(-3))?
False
Let y(d) = 187*d**2 + 3*d - 1. Suppose 2*i - 20 = -4*c - i, -4*i = -5*c + 25. Let x(b) = 3*b - 14. Let u be x(c). Is y(u) a multiple of 29?
False
Suppose -h + 5*f = -29306, 6*f - 87954 = -3*h + 9*f. Is h a multiple of 15?
False
Let r be 45/4 + (-1)/4. Suppose 0 = -2*k - 5*i + 42, -5*i + 75 = 3*k + 2. Let z = r + k. Is 19 a factor of z?
False
Is (-7 - -10 - 5) + -15 + 2057 a multiple of 3?
True
Let v(t) = -t**3 - t**2 + 16*t + 21. Let c(j) = -j**2 + 17*j - 78. Let u be c(8). Does 21 divide v(u)?
True
Let d(b) = -12*b + 132. Let f be d(-9). Let t be 1 + (-2 + 9)/1. Suppose -3*g - f = -t*g. Is 7 a factor of g?
False
Let z be 0/11*1/2. Suppose 4*k + 130 = 5*b - z*k, b + 3*k = 7. Does 5 divide b?
False
Let j = -1050 - -1922. Suppose -5*v = -j - 248. Is v a multiple of 32?
True
Suppose 2*h - w = 26663 - 9511, -3*h - w = -25728. Is 16 a factor of h?
True
Suppose 11*q - 26*q + 227250 = 0. Does 21 divide q?
False
Let s(u) = 9*u**2 - 3*u - 3. Let k be s(3). Let c = k - 54. Is 2 a factor of (-3)/(c/55*-1)?
False
Let t(y) = 85*y - 25*y - 25*y + 1070*y**2 - 5 - 18*y - 22*y. Is t(-1) a multiple of 72?
False
Let n = 1866 + 792. Is 15 a factor of n?
False
Suppose 96*n - 174*n = -2581488. Is 394 a factor of n?
True
Suppose 4*m - 57 - 59 = 0. Suppose 36 = -j + 3*j + 4*x, -x = 3*j - m. Suppose -j*p = -2*p - 924. Does 22 divide p?
True
Let l = 50 - 51. Let g(f) = -2*f**3 - f**2 + 2*f + 2. Let r be g(l). Is 9 a factor of ((-126)/(-12))/(r/6)?
True
Is (56/21)/((-452532)/(-829521) + 60/(-110)) a multiple of 98?
True
Suppose w + 1 + 19 = 0. Is 11 a factor of 4/(-16) + (-3525)/w?
True
Let z be (1/(-4))/((-15)/(-20))*-186. Let c = 372 + z. Is 25 a factor of c?
False
Suppose -96*b = -95*b - q - 137, 415 = 3*b - q. Let k = b - -263. Does 6 divide k?
True
Suppose 149 = 7*i + 23. Let r = i + 8. Let u = 35 - r. Does 9 divide u?
True
Let h = -9746 - -11462. Is h a multiple of 39?
True
Let n = -46044 - -65466. Is n a multiple of 7?
False
Let i(l) = 2*l**3 - 12*l**2 + 8*l - 24. Let h be i(6). Suppose -h*q = -19*q - 150. Is q a multiple of 10?
True
Let u = 36 + -33. Suppose -3*k - u*m = m - 386, -3*k = -3*m - 372. Let q = k - -6. Is q a multiple of 33?
True
Suppose -4*b = -28*b + 2184. Let g = b - -159. Is 33 a factor of g?
False
Suppose 34*m - 29*m - 10 = 0, w - m - 214 = 0. Is 8 a factor of w?
True
Let k(p) = 201*p**2 - 203*p + 1436. Does 137 divide k(7)?
True
Let o(a) = 2*a**2 - 2*a - 3. Let p(x) = -x + 4. Let b be p(3). Let f(k) = -k - 3. Let d be f(b). Is 8 a factor of o(d)?
False
Let p = 0 - -2. Let u(z) = 50*z + 15 - 60*z + 7*z**2 - 4*z**p. Is 17 a factor of u(6)?
False
Let x(z) = -54*z + 5. Let l be ((-40)/15)/((-6)/(-9)). Is 9 a factor of x(l)?
False
Suppose -2*j - 3*y = -8 + 1, -4*j + 3*y = -23. Suppose 0 = z - 2*z - j*l - 27, 4*l = 4*z + 132. Is 46 a factor of 1 + 135 - z/16?
True
Let t(k) = -17*k**3 + 4*k**2 + 37*k - 56. Let u(p) = 6*p**3 - p**2 - 12*p + 19. Let x(c) = -4*t(c) - 11*u(c). Is 29 a factor of x(6)?
False
Suppose -4*d + 24 = 260. Let j = 79 - d. Let c = j - 49. Does 34 divide c?
False
Let d = -160 - -209. Suppose d*w = 48*w + 64. Is w a multiple of 8?
True
Let x = 24 - 17. Suppose -5*u + 5*r + 2 = x, 4 = -4*u - 3*r. Let j(q) = 36*q**2 - q - 1. Is 13 a factor of j(u)?
False
Let k(z) = -47*z + 260. Is 2 a factor of k(4)?
True
Let q = 37 - -45. Let v be (-2 + 3)*(-6)/(-2). Suppose v*c - 283 = -q. Is c a multiple of 8?
False
Let m(d) = -91*d**2 - 20*d - 65. Let n be m(-5). Is n/(-75) + (0 - 8/(-60)) a multiple of 30?
True
Let q(v) = -6*v + 38. Suppose r + x - 7 = 0, 4*r - x = 25 - 7. Let s be q(r). Suppose 2*f - s = 82. Is 15 a factor of f?
True
Suppose 5*y + 1 - 6 = 0. Suppose -362*t = -361*t + 2*m + 12, -2*t + 2*m = 12. Let h = y - t. Is h even?
False
Let i(w) = -w**3 - 11*w**2 - 22*w + 13. Let q be -5 + (-12 - (5 - 9)). Is i(q) a multiple of 10?
False
Let m(o) = -31*o**2 + o - 4*o + 45*o**2 + 31. Is m(-6) a multiple of 49?
False
Suppose -q - 2 = 0, 12*n - 10*n - 4*q - 18 = 0. Suppose -n*g = 4*u - 4885, -1956 = -2*g - u - u. Is g a multiple of 13?
False
Suppose 3*m - 1786 = -0*j - 5*j, -348 = -j + 4*m. Is 25 a factor of j - (-3 - (-8 + -1))?
True
Suppose 10*z = 6*z + 1412. Let s = -53 + z. Does 15 divide s?
True
Suppose -v = -b + v + 39, 0 = 4*b + 3*v - 145. Let i = b + -33. Suppose 66 = i*x - 102. Does 14 divide x?
True
Suppose -5*v = 4*u - 20, -2*v - 3*v = -5*u - 20. Suppose 18 = 13*r - v*r. Suppose r*h - 1018 = -5*k, 4*k + 0*k - h - 817 = 0. Is k a multiple of 12?
True
Let d(k) = -32*k**3 + 3*k - 6. Let b be d(-4). Does 42 divide (-306)/(-10)*b/87?
True
Let g(l) = -2*l - 37. Let o be g(-21). Let p(i) = 3*i - 13. Let r be p(o). Suppose 2*d = 0, s + 4*d - r*d = 22. Does 8 divide s?
False
Let v = 205 + -105. Let s = 104 + v. Is 12 a factor of s?
True
Let s = 13 + -9. Suppose 5*p + 2*q = 205, -85 = -s*p - 3*q + 86. Let r = p - -12. Is 3 a factor of r?
True
Let x(i) = -6*i**2 - 35*i + 32. Let a(k) = k**2 + 3*k - 1. Let d(q) = -14*a(q) - 2*x(q). Does 3 divide d(9)?
False
Suppose -20251 - 180929 = -14*b. Does 6 divide b?
True
Suppose 2*o + 2*m = -m + 9422, -o - m + 4709 = 0. Is 318 a factor of o?
False
Let t(m) = 45*m + 9 + 47*m + 3 - 80*m. Let p(u) = 9*u - 1. Let c be p(1). Is 27 a factor of t(c)?
True
Let j be -2 - (-21)/12 - (-16)/64. Let p be (12/(-15))/(2/(-10)). Suppose j = d - 24 + p. Is d a multiple of 20?
True
Suppose -35*o + 39*o - 7322 = -3*t, t - 6 = 0. Is o a multiple of 22?
True
Suppose -3*i - 5*o + 10 = -2*i, 3*i = 2*o + 47. Let x = -2 + i. Suppose 762 = x*w - 252. Is w a multiple of 39?
True
Let p(w) = -2*w**3 + 72*w**2 + 87. Is 59 a factor of p(35)?
True
Let y(p) = p + 10. Suppose o - 5 = 2*o + 5*a, -2*a + 16 = 4*o. Suppose 0 = 2*t - o*d - 5, -2*t + 4 - 6 = 2*d. Does 2 divide y(t)?
True
Let x = 472 + 2050. Does 13 divide x?
True
Let o be (-13)/(-5) + 38/95. Suppose 0 = u - 4*j - 69, 2*u + 0*u = -o*j + 127. Is u even?
False
Suppose 24*f - 102 = 7*f. Let c(r) = 27*r**2 + r - 69. Is 30 a factor of c(f)?
False
Suppose -39*l + 18343 + 281840 = 0. Is 23 a factor of l?
False
Suppose -72*d + 33*d = -32*d - 59619. Does 28 divide d?
False
Let i be (-580)/(-30)*(-6)/(-4).