)/(a/72)?
True
Let m(o) = o. Let u be m(-1). Suppose -6*r = -2*r + 80. Let l = u - r. Is l a multiple of 7?
False
Suppose -5*p + 16 + 19 = 0. Does 7 divide p?
True
Is 14 + (-1 - (1 + -5)) a multiple of 2?
False
Let p = 4 - 2. Suppose m = 2*m - p. Suppose -31 - 15 = -m*z. Is z a multiple of 11?
False
Let y be (-132)/8*4/(-3). Suppose -90 + y = -4*b. Does 17 divide b?
True
Let h be (-3)/(-9) - 33/(-9). Suppose -180 = -h*v - v. Is 8 a factor of v?
False
Let g = 7 - -91. Does 14 divide g?
True
Does 10 divide (-3 + 3)/(-2) + 15?
False
Let l(x) = -x**2 + 9*x - 1. Let v be l(7). Let f = -2 + v. Does 6 divide f?
False
Let a = -1 + 65. Suppose 27 = t - 5*k, 3*t - a = -0*t - 2*k. Is 21 a factor of t?
False
Let h = 254 - 152. Does 12 divide h?
False
Suppose -3*u + 26 + 7 = 0. Is 8 a factor of u?
False
Let z be 0*(3/(-6))/1. Suppose 4*d - 132 = -u + 48, -3*u = z. Let w = d + -13. Does 12 divide w?
False
Suppose b = 3*u - 234, -407 = -5*u - 3*b - b. Let n = u + -132. Let s = n + 81. Does 12 divide s?
False
Suppose -4*d - 148 = -6*d. Is d a multiple of 25?
False
Let r be (-45)/(-10) + (-1)/(-2). Suppose 0 = 2*t - r*t + 255. Suppose 0 = -4*w + 4*n + 76, w = -4*w + 3*n + t. Is 7 a factor of w?
True
Let q be (-2 + (-10)/6)*-3. Let v = -8 + q. Let w = 17 - v. Does 5 divide w?
False
Let d be 1*3/(-3) + 6. Suppose d*o + f = 29, 4*f = 3*o + 2 - 1. Suppose o*i - 11 = 4. Is 2 a factor of i?
False
Let l(x) = x**2 + 3*x + 8. Is l(-8) a multiple of 16?
True
Suppose v + 2*w = 2, v - 3*w = 4*v + 3. Let g(r) = -2*r**3 - 5*r**2. Let c be g(v). Suppose 2*n - c = -2*n. Is n a multiple of 6?
True
Suppose 24*d = 12*d + 2184. Is 13 a factor of d?
True
Suppose 4*z = -3*t + 70 + 23, -17 = -z - 2*t. Does 9 divide z?
True
Suppose 3*v + 3*u - 6 = -0*v, -5*v + 10 = -3*u. Suppose -4 = -2*a + v. Suppose -4*j + 0*k + 31 = 5*k, -2*j + a*k - 1 = 0. Is 4 a factor of j?
True
Let t = 14 + 30. Let w = t + -31. Does 13 divide w?
True
Suppose 18 - 9 = i. Is 13 a factor of 5/((-15)/i) + 51?
False
Suppose 4*o = 2*x + o - 68, -2*x = -2*o - 66. Suppose y + 7 - x = 0. Is 20 a factor of y?
False
Is 3 a factor of (-17)/(-6) - (-5)/30?
True
Suppose 0 = -n - 3*n + 120. Suppose -8*j + 3*j = n. Is 4 a factor of 4/j*45/(-6)?
False
Suppose -5*g = -y - 24, -5*y + 4*y = 4. Suppose -2 + 34 = g*i. Does 4 divide i?
True
Let p(g) = -g**3 - 3*g**2 + 3*g + 4. Let o be p(-3). Let n = 0 + o. Is 2 a factor of (-3)/(-1)*n/(-3)?
False
Let l = -11 + 25. Is l a multiple of 14?
True
Let l be -2*(1 + (1 - 3)). Suppose 2*t + 3*m = 16 + 53, -5*t - l*m = -145. Is t a multiple of 8?
False
Let b(y) = y**2 + 9*y + 11. Let k be b(-8). Does 24 divide 46*3/k - -2?
True
Let p = -7 - -7. Suppose 6 = 3*r - p*r, 3*g = -2*r + 70. Let d = g + -9. Is 8 a factor of d?
False
Let w(n) = n**2 + n + 65. Is 13 a factor of w(0)?
True
Is (-4)/4 - ((-6)/(-2) - 104) a multiple of 10?
True
Let g(v) = v**3 + 5*v**2 - 5*v + 4. Let o be g(-6). Is (10 - 6)/(o/(-3)) a multiple of 6?
True
Let a = -6 - -6. Suppose 31 = 3*n - 5*t, a = -2*n - n + 2*t + 34. Is n a multiple of 12?
True
Suppose 4 = -v - 14. Let b = v - -36. Is b a multiple of 7?
False
Let k(w) = -w**3 - 14*w**2 - 14*w + 4. Suppose -5*q - 54 = 3*c, 4*c + 3*q - 2*q = -55. Is 15 a factor of k(c)?
False
Is 1 + 5/(-5) + 21 a multiple of 21?
True
Let w(n) = 2*n + 5. Is w(5) a multiple of 10?
False
Suppose -4*q + 60 = -72. Let k = -18 + q. Does 5 divide k?
True
Suppose 5*i = s - 0*s + 955, 5*s = 2*i - 382. Is 12 a factor of i?
False
Does 8 divide -3*80/75*-5?
True
Suppose -92 = -4*i + 4*x - x, x - 36 = -2*i. Is i a multiple of 20?
True
Let x(m) be the first derivative of 1 + 0*m + 23/3*m**3 + 1/2*m**2. Does 12 divide x(1)?
True
Is 7 a factor of (-175)/7*(-4)/10?
False
Let j(f) be the third derivative of -2*f**2 + 0 - 1/2*f**3 + 0*f - 5/24*f**4. Does 8 divide j(-3)?
False
Let l = -93 + 357. Suppose -s - 2*s = -l. Does 16 divide s?
False
Let a(u) = -3 - 5*u - 3 + 2 + 2*u. Is 5 a factor of a(-4)?
False
Let s(h) = -h**2 + h + 6. Let j(d) = d**2 - d - 5. Let u(g) = 5*j(g) + 4*s(g). Let n be u(-3). Suppose 0 = f - n - 20. Does 20 divide f?
False
Let j be -2 - -22 - (-12)/(-6). Does 8 divide 1 + -3 + j + 3?
False
Let b(l) = -7*l**2 + 3*l - 13. Let a(v) = -3*v**2 + 2*v - 6. Let f(h) = 13*a(h) - 6*b(h). Is 20 a factor of f(-6)?
True
Let i = 301 - 136. Is 28 a factor of i?
False
Suppose -4*b + 0*s = 2*s - 10, -5*s = 2*b + 7. Is b a multiple of 2?
True
Is -13 - -7 - (0 - 3) - -32 a multiple of 9?
False
Does 12 divide 2 - (19/(-1) + -3)?
True
Suppose 4*j - 2*t = 3*j + 51, 4*j - 5*t = 216. Suppose 2*r + 3*x - j = 0, -r - 34 = -3*r + 2*x. Is r a multiple of 22?
True
Suppose 2*l - 13 - 19 = 0. Is 5 a factor of l?
False
Suppose 0*l = -2*l - 4*t - 4, 3*l - 6 = -3*t. Does 11 divide (44/8)/(1/l)?
True
Let a = 6 + -6. Suppose a*q + 33 = q. Suppose q + 15 = 4*n. Is n a multiple of 6?
True
Let q(d) be the first derivative of d**3/3 + 5*d**2/2 - 4*d - 2. Does 20 divide q(-8)?
True
Let h(v) be the second derivative of v**4/6 + 5*v**3/3 + 4*v**2 + 4*v. Is 5 a factor of h(-6)?
True
Let p = 18 + 5. Does 17 divide p?
False
Suppose -5 = -h - 1. Suppose -h = z + 5*r - 24, 0 = 2*z - 4*r - 26. Does 4 divide z?
False
Let c(w) = 4*w - 3 - w - 7. Let u(v) = 6*v**2 + 2*v - 1. Let z be u(1). Does 7 divide c(z)?
False
Suppose -398 = -2*o - 4*b - 0, 3*b = o - 189. Suppose 4*j + 5*k = -j + o, 0 = -4*j + 2*k + 144. Suppose n = -x + j, -5*n + 126 = -3*x - 35. Does 16 divide n?
False
Does 10 divide 3 + 1/1*47?
True
Suppose 2*q = -2*i + 12, 2*i = 3*i + 2. Let p be q + 0/(0 + 1). Suppose -46 - p = -3*j. Is 17 a factor of j?
False
Let w(l) = -l**2 - 8*l + 4. Let b be w(-8). Let d(y) = 12*y**2. Let q be d(b). Suppose -q + 12 = -5*i. Is 18 a factor of i?
True
Let y(v) = v**2 + 3*v + 3. Let f be y(4). Let c = 1 + f. Does 13 divide c?
False
Suppose 0 = -5*f - 0*f + 10. Suppose 0*u - 6 = -f*u. Is u even?
False
Suppose -4*b + 49 = -11. Let a = b + 2. Let f = -5 + a. Does 6 divide f?
True
Let k(q) = -7*q - 3 + 3*q + 11. Let j(d) = -20*d + 40. Let u(c) = -2*j(c) + 11*k(c). Is 14 a factor of u(-9)?
False
Let z(r) = r + 2. Let j(a) = -a**2 + a + 2. Let i be j(0). Let x be z(i). Suppose y + x*q - 40 = -y, -q = 5*y - 91. Is y a multiple of 9?
True
Let c be (-1 + 3)/(4/190). Let z = -53 + c. Is z a multiple of 14?
True
Let b = 6 - 23. Let f = 46 + b. Is f a multiple of 10?
False
Let a(y) = -5*y - 13. Let q be a(-10). Suppose 0 = -k - 5*j + q, -116 = -4*k - j - 3*j. Is 8 a factor of k?
False
Is ((-96)/80)/((-2)/15) a multiple of 3?
True
Let t(s) = s**3 - 4*s**2 - 4*s. Let o = 8 + -3. Is t(o) a multiple of 2?
False
Let k(s) = s - 3. Let z be k(4). Let f(b) = -11*b + 5. Let c be f(7). Does 3 divide (c/16)/(z/(-2))?
True
Let k = 5 - 0. Suppose -4*s - 23 = -5*s - 4*i, 3*s + k*i = 69. Suppose -4*p = -s - 85. Does 15 divide p?
False
Let x be (-30)/2 + (1 - 1). Let m = -7 - x. Is 2 a factor of m?
True
Let r = -8 - -12. Let z be (-4)/22 - (-270)/33. Suppose r*g = 32 - z. Is 6 a factor of g?
True
Let z(u) = u + 4. Let c be z(-5). Let w(o) = 13*o**3 + 2*o**2 + o. Let j be w(c). Is 3/18 + (-58)/j even?
False
Let d = 28 - 48. Let m be (-3)/6*(2 + 22). Let q = m - d. Is 3 a factor of q?
False
Let y(v) = -v**3 - 28*v**2 - 32*v - 83. Is y(-27) a multiple of 26?
True
Suppose -419 = -3*u - 2*u + l, 0 = 5*u + l - 421. Is u a multiple of 13?
False
Suppose -4*h + 77 = -367. Is 14 a factor of h?
False
Is (36/10)/(-3 - (-188)/60) a multiple of 9?
True
Suppose -2*c = -l + 2, l + 2 = c + 4. Suppose 4*o + 3*g = c, 3*o - 4*o = g. Suppose j - 66 + 17 = o. Is 13 a factor of j?
False
Suppose o + 4*i = 40, 5*o + 2*i - 26 = 102. Does 12 divide o?
True
Let q = 23 - 20. Suppose -q*p + 26 = -94. Does 20 divide p?
True
Let f = -130 - -159. Does 2 divide f?
False
Let c(s) = -s**2 + 11*s + 6. Does 13 divide c(8)?
False
Let l be (-13 + 1)*(-2)/3. Let i = -1 + l. Let d = 13 - i. Does 5 divide d?
False
Suppose 0 = -15*v + 16 + 59. Is v a multiple of 2?
False
Let p = 90 + -32. Suppose -p = -3*g + 65. Let l = g - 28. Does 11 divide l?
False
Suppose -o - 4*o = 0. Suppose -2*w - 3*w + 45 = o. Is w a multiple of 8?
False
Let l = 47 - 15. Does 6 divide l?
False
Let d be (-28)/(-8)*3*-2. Let c = 23 + d. Is 2 a factor of c?
True
Let d(b) = 0*b - 1 + 2*b**3 + 0*b + b**2 + b. Let l be d(1). Suppose x + 3*