 - 13. Let a = f + -20. Suppose -66 - 45 = -a*m. Does 6 divide m?
False
Let j be 10 + 0 - (7 + -3). Let y be (-27)/18*(-8)/j. Suppose 178 = 3*c + c - y*i, -5*c = -4*i - 230. Is c a multiple of 7?
True
Does 7 divide (3 - (-20)/(-15))*(-18576)/(-16)?
False
Let y(f) = f**2 - 7*f - 7. Let j be y(8). Suppose -3 + j = -v. Suppose -5*m + 310 = -v*u - 146, -m + u = -93. Does 9 divide m?
True
Suppose -p + 23853 = 3*y, -38*p - 23781 = -39*p + 5*y. Is 11 a factor of p?
True
Suppose -23*x + 234615 = 71959. Is x a multiple of 16?
True
Suppose -2*w + 5*w - 5*y = -9, -11 = -w - 3*y. Suppose -5*j = -w*p + p + 426, 4*p = 3*j + 1636. Does 9 divide p?
False
Let z(k) be the first derivative of 3*k**2/2 + 55*k + 66. Is 18 a factor of z(14)?
False
Let j(i) = -i**3 + 30*i**2 + 2*i - 38. Is j(28) a multiple of 11?
False
Let a = -23 - -13. Does 11 divide 200/80*(-444)/a?
False
Let p = 1853 - 2722. Let y = p - -1642. Is 54 a factor of y?
False
Suppose 2*k + 5*p = -13, -7 = 3*k - 3*p + 2. Let i be (4 - 0)/(14/k + 4). Let x(c) = 17*c - 38. Does 14 divide x(i)?
True
Let u(b) = 2622*b + 432. Does 11 divide u(2)?
True
Is -2*((-87)/203 + 1709/(-14)) a multiple of 5?
True
Let v = -27 - -32. Suppose v*m + 438 = -32. Let c = m - -228. Is c a multiple of 36?
False
Let i be (-10)/4*(-3748)/10. Suppose 2*q - i = -4*g - q, 5*q + 681 = 3*g. Is 19 a factor of g?
False
Let u(x) = -x**3 + 37*x**2 - 39*x - 49. Let a be u(36). Let m = a + 179. Is m even?
True
Suppose 95592 = 10*x - 0*x - 34738. Is x a multiple of 9?
False
Let v = 27 - 63. Is 12 a factor of 24/v - 6/27*-2127?
False
Let o(a) = 2*a**2 - 12*a + 5. Let v = -49 + 40. Let i be o(v). Suppose -25*h + 20*h + i = 0. Is h a multiple of 21?
False
Does 6 divide ((-5187)/(-12))/(3/12) + 6?
False
Let t(a) = -14*a**2 - 35*a - 41. Let q(n) = -5*n**2 - 12*n - 14. Let m(x) = -11*q(x) + 4*t(x). Let w be m(-6). Let j(i) = 50*i + 14. Is 19 a factor of j(w)?
True
Suppose -29*o - 11431 = -100*o. Is o a multiple of 3?
False
Let h be 1555/(45/27*3). Let t = h - 29. Is 16 a factor of t?
False
Let b = 2035 + -558. Suppose 0 = -t - 3*u + 358, -19*u = -4*t - 16*u + b. Is t a multiple of 15?
False
Let u = -78 - -151. Let h = u + -70. Suppose 2*j - 44 = 5*y, 0 = -h*j - 2*y - 2*y + 112. Does 11 divide j?
False
Let w = 67 + -60. Suppose w = 8*t - 17. Suppose t*i = 35 + 22. Does 7 divide i?
False
Let s be (10/(-4) - 1)*78/(-91). Suppose 0 = -5*i - s*w - 556, 3*w = 2*i + 3*i + 574. Let p = i - -164. Is p a multiple of 17?
True
Let f(m) be the third derivative of m**8/1440 - m**7/1008 - m**6/120 - 7*m**5/60 - 14*m**2. Let h(s) be the third derivative of f(s). Does 22 divide h(4)?
True
Suppose -2*j = -4*j + 16. Let i(s) = 1341 + 14*s + 1328 - 2693. Does 16 divide i(j)?
False
Let g be (156571/58)/((-2)/(-4)). Suppose 3*q - g = -5*a - 716, -1575 = -q + 3*a. Is 18 a factor of q?
True
Is 5 + (-77738)/(-16) + 3/8 a multiple of 16?
True
Suppose -5*s - 343 - 332 = 0. Let f = -198 - -204. Does 21 divide (-21)/14 - s/f?
True
Suppose 3*l = -5*u + 4*l + 22, -3*u = 2*l - 8. Suppose x - 3*n - n - 6 = 0, -4*n + 4 = u*x. Suppose 232 = x*s - 56. Is 24 a factor of s?
True
Suppose -24*t = -20*t - 76. Suppose -w = t*w - 2240. Is 8 a factor of w?
True
Let b(g) = -29*g**3 - g**2 + 6*g + 13. Let d be (8*(-6)/12)/2. Is 8 a factor of b(d)?
False
Suppose 4*h = 8*h + 5*f - 39079, -2*h + 5*f = -19517. Suppose -h = -4*q - 15*q. Is q a multiple of 43?
False
Let m(x) = 43*x**2 - 12*x + 8. Let l(g) be the first derivative of 43*g**3 - 35*g**2/2 + 23*g - 4. Let s(u) = 6*l(u) - 17*m(u). Is s(2) a multiple of 9?
True
Suppose -351*r - 1230320 = -2727789 - 3422147. Is r a multiple of 48?
True
Suppose 93*o + 4991 = 70*o. Suppose 5 = -g - 3*f - 160, -2*f - 8 = 0. Let c = g - o. Is 20 a factor of c?
False
Let u = 3387 - -143. Does 10 divide u?
True
Let s(i) = 3*i + 243. Suppose 0 = 2*f, 7*f + 22 = h + 3*f. Is 13 a factor of s(h)?
False
Suppose 0 = -358*y + 299170 + 2599914. Is 18 a factor of y?
False
Let r(s) = 72*s**2 - 20*s + 62. Let w(i) = i**3 + 26*i**2 + i + 29. Let j be w(-26). Is r(j) a multiple of 12?
False
Is 34 a factor of ((-6)/(-14) - 3/7)*-1 - -136?
True
Let x(n) = 2*n**2 - 14*n - 8. Let l(u) = -2*u**2 + u + 2. Let b be l(2). Does 16 divide x(b)?
True
Let m = -11014 + 13110. Does 27 divide m?
False
Let m(j) = -4379*j - 13512. Is m(-8) a multiple of 45?
False
Let r = -118 + 426. Let p = r - 182. Suppose 654 = 6*a - a + y, -a = -y - p. Is 21 a factor of a?
False
Let g(d) = -d**3 + 5*d**2 + 33*d - 19. Let o(a) = a**3 + 11*a**2 - 3*a - 25. Let v be o(-11). Does 12 divide g(v)?
False
Let v(s) = 4*s + 36. Let j be v(-9). Suppose -956 = -2*u - 4*w, 0*u - 4*u + w + 1921 = j. Suppose 21*t = 17*t + u. Does 9 divide t?
False
Is 4 a factor of (12714/52)/((-4)/(-32))?
True
Suppose 12 + 1 = 3*x - 4*w, w = -5*x + 14. Suppose 2*z + x*h - 277 - 1064 = 0, -5*h - 5 = 0. Is z a multiple of 24?
True
Let d = -784 - -3782. Is 80 a factor of d?
False
Let j = -1015 - -1000. Let g(n) = 3*n**2 - 14*n - 20. Let x(v) = -4*v**2 + 13*v + 21. Let w(u) = 5*g(u) + 4*x(u). Is 8 a factor of w(j)?
False
Let z(o) = -3*o**2 - 21*o - 16. Let b be z(-6). Suppose 5*c = b*a + 2*a - 1900, 2*a + 5*c - 980 = 0. Does 15 divide a?
True
Let m = -196 + 202. Suppose -633 = -3*q + 9*d - m*d, 631 = 3*q - d. Does 35 divide q?
True
Suppose 12*l - 5*l = 707. Suppose 4*f = 4*z - 308, -4*z - 5*f + l = -189. Let r = -52 + z. Is 23 a factor of r?
True
Let i = -92556 + 159240. Is 71 a factor of i?
False
Let w = 159 - 162. Let o(b) = -11*b**3 + 3*b**2 + 13*b + 5. Is 22 a factor of o(w)?
False
Let i = 24964 + -12958. Is i a multiple of 105?
False
Let f = -75 + 136. Suppose -2*a - 25 + f = 0. Does 6 divide a?
True
Suppose -52*b + 27 = -43*b. Suppose 40 = b*z - 3*r - 1688, 3*r = z - 584. Is 13 a factor of z?
True
Let y be (-4*2 + 0)*10. Let k = y + 86. Suppose -x - k = -4*x. Is x a multiple of 2?
True
Suppose -2*k = -4*i - 366, 2*k - 176 = i + 175. Suppose -k - 265 = -6*x. Is 9 a factor of x?
False
Let u = 33547 + -13906. Is 39 a factor of u?
False
Let d(g) = g**3 + 16*g**2 + 14*g + 16. Let n = -181 - -166. Is d(n) a multiple of 2?
False
Let n(o) = -82*o - 59. Let u be n(0). Let y = 1767 + u. Is y a multiple of 14?
True
Let g be ((-12582)/81)/((-10)/(-12) - 1). Suppose 0 = -10*c + g - 192. Is c a multiple of 11?
False
Let f(t) = -4*t - 34. Let o be f(-8). Is (-18)/(-12) - (477/o)/1 a multiple of 12?
True
Let b(f) = -15*f**3 + 36*f**2 - f - 108. Is b(-11) a multiple of 65?
False
Suppose -58517 + 7907 = -15*f. Is f a multiple of 26?
False
Suppose -5*r + 402 = 3*p, -2*p - 83 = -10*r + 9*r. Suppose -6*w = -2*w - 224. Let d = r - w. Does 5 divide d?
True
Suppose -6*j = -8*j. Suppose -3*u + 223 + 44 = j. Suppose 3*m - u = 5*g, g + 110 = 4*m + 3*g. Is 4 a factor of m?
True
Suppose 0 = -5*r - 3*t + 8, 2*t - 2 = -r - 6. Let y(v) = 176*v - 8. Does 48 divide y(r)?
False
Let f(u) = -2*u**3 + 3*u**2 - 2 + u**3 + 4. Let x be 1/2*-4*1. Is 6 a factor of f(x)?
False
Let y = 360 - 355. Suppose 3*t = -6, y*x - 8*x = -4*t - 1520. Is 24 a factor of x?
True
Suppose -22*l = -10*l - 55104. Suppose 54*t - l = 13*t. Is t a multiple of 2?
True
Suppose 4*w - 202736 + 59854 = m, w - 4*m = 35743. Does 288 divide w?
False
Is (-8)/4*(6/(-20) - (-602121)/(-130)) a multiple of 12?
True
Is 5 a factor of (33/55)/((4 + 56/(-12))/(-380))?
False
Suppose -7 = -2*j - 43. Let o be (-4)/j + (-20)/90. Suppose o = 6*n - 10*n + 192. Is 12 a factor of n?
True
Suppose 2*g + 374 = g. Let x = -170 - g. Let j = x + -120. Is 21 a factor of j?
True
Let p = -40580 + 80261. Does 273 divide p?
False
Suppose 22 = 4*k + 3*o, 2*k - 5*o = -4*o + 6. Is 4 a factor of ((-1)/2 - k)*(-6)/1?
False
Let r(v) = 41*v + 30 + 18*v + 0 - 45*v. Is 40 a factor of r(41)?
False
Suppose 5*q + o = 20, 3 = -q + 3*o - 9. Suppose -f = -3*p - 4, -7*f - 6 = -p - q*f. Is 18 a factor of ((4 - -1) + p)/(5/30)?
True
Let o(i) = i**2 - i. Let x(v) = -5*v**2 - 7*v + 1. Let n(t) = 5*o(t) - x(t). Let l be n(1). Let u(m) = 17*m - 44. Is u(l) a multiple of 38?
False
Let u(p) = 2*p. Let v be u(3). Suppose -v*h + 7*h = 226. Is h a multiple of 14?
False
Let h = 207 - 209. Is 18 a factor of ((-36)/(-45) + h/(-10))*582?
False
Let s be 30/45*(-2)/(2/15). Does 51 divide 3684/24 + (2 - s/(-4))?
True
Suppose 0 = 5*r, -2*h + 0*r + 14 = 2*r. Suppo