f, 2*f + f - 46 = s. Let l = f - 17. Suppose k + k - 152 = l. Is 26 a factor of k?
False
Suppose 2*v - 706 = -3*j + 8848, -4*j = 2*v - 12740. Does 59 divide j?
True
Suppose 4*u + 0*h - 4*h + 4 = 0, 3*h - 5 = u. Let j be u + 0 + 10 + -3. Let n = j - -1. Is 3 a factor of n?
True
Suppose -2*f + 850 = 44. Suppose -35 = 2*b - f. Suppose -3*j - c + 196 = j, -4*j + 2*c = -b. Is j a multiple of 16?
True
Let r(c) = -c**3 + 14*c**2 + 11*c - 19. Let y be r(15). Let m = y - -272. Does 11 divide m?
False
Does 30 divide (-2789)/(-3) + (-1)/(-27)*9?
True
Suppose 5*p + 1 - 2 = -3*h, -h - 5*p = 3. Let r = -4 + 8. Suppose -h*x + r*x = 12. Is x a multiple of 4?
False
Suppose -5*f + 8 = -2. Is 4 a factor of 8/f*7/((-56)/(-50))?
False
Let x = -645 - -869. Does 7 divide x?
True
Let q = -30 - -30. Suppose 5*j + q*j = 280. Does 14 divide j?
True
Suppose 4*u = 608 + 200. Suppose -3*z + u = 76. Suppose -2*f + 3*g + z = 0, -5*g + g = 3*f - 29. Is 6 a factor of f?
False
Suppose 549*p - 560*p + 33484 = 0. Is 12 a factor of p?
False
Let a = -64 + 54. Let l(p) be the first derivative of -p**4/4 - 3*p**3 + 2*p**2 + 2. Is 23 a factor of l(a)?
False
Let y(w) = 2*w + 2. Suppose 0 = -5*h - 5 - 5. Let j be y(h). Is 23 a factor of (-4)/j + 69 + -2?
True
Let t be (-23 - -13)*(-21)/5. Let g = 83 - t. Is 6 a factor of g?
False
Suppose -5*j = -5*x + 590, 2*x + 3*j - 81 - 165 = 0. Let g = 0 - -6. Does 18 divide ((-14)/(-5))/(g/x)?
False
Let d = -118 - -52. Suppose -c - 2*s + 94 = 0, -2*c - 470 = -7*c + 3*s. Let v = d + c. Is 14 a factor of v?
True
Suppose 0 = 4*x - 241 - 715. Suppose -x = -3*k + 115. Does 20 divide k?
False
Let q(u) = -12*u - 2. Let i be q(-4). Suppose -11*w + 53 = 229. Is 12 a factor of 4*i*(-4)/w?
False
Let y(q) be the second derivative of -q**5/10 - 7*q**4/12 - 7*q**3/6 - 3*q**2 + 3*q. Is y(-4) a multiple of 8?
False
Suppose 3*g + 25 = 2*v, v = 3*g - 4*v + 31. Let d(y) = 4*y**2 + 23*y + 4. Is 13 a factor of d(g)?
True
Let t(a) = -a**3 - 5*a**2 - 2*a + 1. Let w be t(-2). Let o(k) = 2*k + 24. Let d be o(w). Suppose d*m = 4*m + 210. Is m a multiple of 14?
False
Suppose -25*c - 546 = -22*c. Let w = c - -314. Is 36 a factor of w?
False
Let g(j) = j**3 - 19*j**2 + j - 13. Let x be g(19). Suppose w - 80 = x*w. Let p = w - -57. Is p a multiple of 9?
False
Is 7 a factor of 1370/4*(8 + -4)/2?
False
Is ((-145)/10 - -4)/((-4)/816) a multiple of 51?
True
Let w = -2513 - -4406. Is 13 a factor of w?
False
Let d = -403 - -905. Does 32 divide d?
False
Let t = 1017 - 499. Does 37 divide t?
True
Suppose 8*j = 6*j + 40. Suppose -2*f - j = -q + f, 4*q - 5*f - 80 = 0. Does 15 divide q?
False
Suppose -12 = x - 4. Let a(d) = 2*d + 48. Let s be a(-22). Is 11 a factor of s*((-34)/x - 1)?
False
Suppose 4*m - 2 = -3*n, 3*m + 4 = -n - 4*n. Suppose y + 78 = 3*r, m*r - 52 = 5*y - 0*y. Is r a multiple of 13?
True
Let l = -152 + 7. Let q = l + 101. Let g = 163 + q. Does 17 divide g?
True
Suppose -2 = -5*l - 17, -4*l = 2*x. Suppose -3*w + c - 15 = 8, -2*c + 10 = -2*w. Is 6 a factor of (x/w)/(2/(-27))?
False
Let z = -114 - -133. Suppose -144 = -5*v - z. Is 11 a factor of v?
False
Let i be ((-2)/(-6))/((-3)/(-36)). Suppose 3*y - i*m = -0*y + 26, 2*m = 5*y - 20. Suppose -2*p + 136 = y*p. Is p a multiple of 17?
True
Suppose 3*g - 18 = l, l = g - 17 + 3. Let h = l - -54. Is h a multiple of 14?
True
Let w(c) = -c**3 - c**2 + 1. Let r(d) = 4*d**3 + 21*d**2 - 2*d + 1 + 2*d**3 - 6*d**3 + 5*d**3. Let z(g) = -r(g) - 6*w(g). Does 6 divide z(15)?
False
Let c(s) = 211*s - 1. Let w be c(-1). Let d = -2 - w. Does 14 divide d?
True
Let c(x) = -4*x**2 + 5*x - 5. Let j be c(1). Let v(w) = -51*w - 24. Is 36 a factor of v(j)?
True
Let h be (3/(-7) + 60/42)*25. Let v = h + -11. Is 6 a factor of v?
False
Let k = 22 + 3. Suppose k*x - 23*x = 96. Is 24 a factor of x?
True
Let a(r) = -r**2 - 4*r - 3. Let u be a(-3). Suppose 10*g - 247 - 73 = u. Is 16 a factor of g?
True
Let x = -45 + 50. Suppose 0 = x*a - 57 + 7. Is 10 a factor of a?
True
Let j be (20/12 + -3)*-3. Suppose -152 = -4*g - v + 44, g - j*v = 66. Is 10 a factor of g?
True
Suppose 4*d = d + 6. Suppose -d*n - 1 = 7. Let s(a) = -11*a - 5. Is s(n) a multiple of 10?
False
Suppose 30*x - 56358 = -x. Is 32 a factor of x?
False
Let v = -144 - -844. Is v a multiple of 25?
True
Let v(j) = -531*j + 4*j**2 + 541*j - 3*j**2 - 52. Is 20 a factor of v(-17)?
False
Suppose 2*o - 17 - 5 = 4*d, -2*o = -d - 13. Suppose o*p - 7*p + 120 = 0. Is p a multiple of 10?
True
Let o = -24 - -25. Let f be 38 - o/(-2 - -1). Let k = -4 + f. Is k a multiple of 7?
True
Suppose 0 = 5*x - 3*x - 10. Let b be 12 + 145 + 2/1 + 1. Suppose -5*u - x*i + b = 0, -2*u + 4*i + 27 + 13 = 0. Is u a multiple of 28?
True
Let v = -128 + 67. Let f = v - -65. Does 2 divide f?
True
Let j = -112 + 114. Let n(y) = -y + 12*y**3 - 3*y - 3*y**3 + 2 + 4*y**2. Is n(j) a multiple of 18?
False
Is 4 a factor of 10/16*6*(-184)/(-6)?
False
Let j = 105 - 163. Let w(f) = -2*f**2 + 8*f - 3. Let b be w(6). Let t = b - j. Is 31 a factor of t?
True
Suppose 272 = 14*u - 10*u. Is 15 a factor of u?
False
Let i(p) = 7*p - 2. Let j = -19 + 22. Suppose 4*u = -5*z + u, 2*z - j*u - 21 = 0. Is 17 a factor of i(z)?
False
Suppose -5249 + 478 = -13*r. Is 38 a factor of r?
False
Let r be (2 - -6) + (0 - 1). Let x(s) = s + 4. Let h be x(r). Suppose 5*y = -5*f + 195, 2*y = 6*f - h*f + 66. Is 18 a factor of y?
False
Let s(r) = r**3 - 8*r**2 + r - 6. Let c be s(8). Let b = 5 + 0. Suppose -4*x + 5*n + 42 = c*n, -4*x - b*n = -58. Does 6 divide x?
True
Suppose 2*b + 3*k = 13, -3*b - 2*b = -3*k - 1. Suppose -2*y = -2*g + b*y + 230, 2*g + y = 240. Is 17 a factor of g?
True
Let g(v) = v**2 + 17*v + 92. Is g(-13) a multiple of 5?
True
Let r(v) = -16*v + 19. Let a be r(2). Let i(n) = -n**3 - 12*n**2 - 12*n + 28. Is i(a) a multiple of 30?
False
Suppose 0 = 11*c + 3*c - 56. Suppose 5 = -3*d - v - 12, -4 = 2*d - 3*v. Is (c/d)/((-13)/65) a multiple of 3?
False
Let k(d) = 10*d - 138. Does 27 divide k(28)?
False
Suppose 0*g - 9 = -g + r, 2*r + 8 = 0. Let s(n) = -n**3 + 5*n**2 + 4*n + 9. Does 14 divide s(g)?
False
Let a be ((-68)/(-5))/((-8)/(-20)). Suppose 4*b - a = 3*p + 478, -b - 4*p = -128. Suppose -b = -z - z. Is z a multiple of 27?
False
Is ((-550)/(-15))/(1/6) a multiple of 11?
True
Let h(y) = y**2 - 8*y + 66. Is h(5) a multiple of 51?
True
Let y = 2334 - 1470. Does 54 divide y?
True
Let b(d) = d**3 + 7*d**2 + 15*d + 28. Let w be b(-8). Let c = 23 - w. Is c a multiple of 14?
False
Let q be ((-18)/(-8))/((-12)/(-32)). Let z = q - 3. Suppose 3*f = -4*u + 86, u = z*f - u - 110. Is 14 a factor of f?
False
Let p(n) = 63*n + 9. Suppose 5*i + 6 = k - 2, 3 = 2*k + 3*i. Does 11 divide p(k)?
True
Suppose x = -71 + 241. Is x a multiple of 17?
True
Let s(q) = -q + 9. Let y be s(3). Suppose -96 = -2*r - y*r. Does 6 divide r?
True
Suppose -3*q = 5*w - 84, -w = 3*q + 2*w - 78. Let i = 58 - q. Is 35 a factor of i?
True
Let p(z) = 128*z**2 - 23*z + 7. Is 37 a factor of p(-7)?
False
Let q = 80 - 78. Suppose 0 = q*x - 2*t - 144, 0*x - 4*x - 3*t + 288 = 0. Is 3 a factor of x?
True
Let i = 146 + 103. Is 2*1/3*(i + 54) a multiple of 13?
False
Suppose -20*z = -2*r - 24*z + 1950, -2*r + 1951 = 3*z. Is 60 a factor of r?
False
Let v = -138 - -141. Suppose 653 - 220 = 3*t + 5*i, v*t - 393 = 3*i. Is t a multiple of 25?
False
Let n = -29 - -16. Let p(c) = 4*c**2 - 33*c + 13. Let r(w) = -3*w**2 + 22*w - 9. Let d(u) = -5*p(u) - 7*r(u). Is 8 a factor of d(n)?
True
Let w = -19 + 97. Suppose -4*d - 2*f - w = -8*d, 2*f + 18 = d. Does 8 divide d?
False
Let k(n) = 98*n + 22. Is k(3) a multiple of 28?
False
Let c be 25*((-28)/(-20) + 1). Let t = c - -21. Is 11 a factor of t?
False
Suppose -5*b = w + 45, 0*b = 5*w + 2*b + 248. Let l = 122 + w. Suppose 5*a = 25, -4*a = -3*y + y + l. Does 12 divide y?
False
Suppose -21*w + 448 = -19*w. Is w a multiple of 52?
False
Let b be (-4 + 1)/((-33)/(-3322)). Let w = b + 446. Suppose -w = -3*s - 51. Does 22 divide s?
False
Let s = -117 - -115. Does 9 divide (57 + s)*2/((-10)/(-9))?
True
Suppose 0 = 6*d + 8*d - 1050. Is d even?
False
Let m = -573 - -589. Is 11 a factor of m?
False
Suppose 4*j - u = -5*u - 552, -5*j - 2*u - 705 = 0. Is 14 a factor of (-366)/(-13) + 22/j?
True
Let a(r) = -r**2 + 10*r - 12. Let q be a(8). Suppose q*f - 2*d = 26, -3*d - 23 - 12