-d = -4*n - 15458, -146*d + 149*d + 2*n - 46388 = 0. Is 18 a factor of d?
True
Suppose 60 = 27*x - 48. Suppose 4*n = -2*k + 607 - 19, -5*k + 1442 = -x*n. Does 23 divide k?
False
Suppose -19*u - 40 = -9*u. Let d(i) = 9*i**2 + 2*i + 16. Is 19 a factor of d(u)?
True
Let z(f) = 57*f - 224. Let m be z(4). Suppose -4*k = i - 1231 - 824, m*k + 4*i - 2064 = 0. Does 9 divide k?
True
Let f(n) be the first derivative of -3*n**2 + 1/3*n**3 + 1 - 13*n. Does 2 divide f(8)?
False
Let w(t) = -t**3 + 29*t**2 - 25*t - 61. Is 8 a factor of w(20)?
False
Let v(j) = -268*j - 97. Let l(i) = -i**2 - 42*i - 188. Let r be l(-37). Does 54 divide v(r)?
False
Is 5 + (-3032)/(-5) - 18/45 a multiple of 13?
True
Let s = 25 - 2. Let p = 27 - s. Suppose -4*h + p*l + 87 = -61, -2*h = -3*l - 75. Does 11 divide h?
False
Is 10 a factor of 10/(-4) - (-215830)/16 - 2/(-16)?
False
Let q(m) be the first derivative of -m**2/2 + 9*m + 14. Let w be q(12). Is 1/w - 316/(-12) a multiple of 26?
True
Let j(f) = 34711*f**2 - 606*f - 607. Is 10 a factor of j(-1)?
True
Let p(q) = 58*q**2 - 14*q - 200. Does 4 divide p(-8)?
True
Let j = -16554 + 26427. Is 59 a factor of j?
False
Let b be 328/(-18) + 2/9. Let a(d) = 4*d**3 + d**2 + 6*d - 15. Let l be a(2). Let r = l + b. Is 8 a factor of r?
False
Suppose -52*q - 93396 + 152369 = -155267. Does 8 divide q?
True
Let x be ((-18)/18)/(1/(-5) + 0). Suppose 2*z + 0 + 8 = 4*h, 0 = -4*z - x*h + 23. Suppose -f + 8 = 5*j, f + j = z*f - 20. Is f even?
True
Let z(s) = 831*s - 445. Is z(20) a multiple of 168?
False
Let z be 16/(-10)*((-1980)/(-8))/11. Is (-1 + 0)/(z/1944) even?
True
Let b(y) = 2*y**2 + 31*y + 21. Let f be b(-15). Is (-3)/f*(3 + 2 - 25) a multiple of 10?
True
Let h = -349 + 129. Let n = 450 + h. Is 46 a factor of n?
True
Is ((17284/(-25))/((-196)/(-490)))/((-2)/5) a multiple of 75?
False
Suppose -2*f + 117*b - 113*b = -13734, 6874 = f + 5*b. Does 14 divide f?
False
Does 13 divide (2/(-4))/((-8)/(36803 - -13))?
True
Let c(g) = -3*g + 16. Let m be c(-11). Let z be 91/6 + (-15)/90. Let p = m + z. Does 13 divide p?
False
Let w(j) = 29*j + 17. Let z be w(7). Suppose 0 = -7*f + 116 + z. Is 7 a factor of f?
False
Let q be -1 - (20/(-6))/5*-6. Is ((-3)/q)/(-9*7/(-5355)) a multiple of 2?
False
Let z(m) = 3*m**2 - 6*m - 8. Suppose -5*l - 2*p - 32 - 16 = 0, 0 = -5*l - 4*p - 56. Let f be (12/l)/(6/16). Does 28 divide z(f)?
False
Suppose 5*r + 5*n - 155 = 0, -18 = -r + 2*n + 25. Let t be 830/r - -2*(-3)/(-21). Let o = 1 + t. Is o a multiple of 17?
False
Let q = 11762 - 7142. Is q a multiple of 42?
True
Let u be -3*(-843)/9*(-1 - 0). Let o = u - -879. Is o a multiple of 26?
True
Suppose 2*k - 4925 = 5*g, 5*k - g - 5821 = 6549. Is k a multiple of 165?
True
Let p(n) = 2*n**2 - 74*n + 853. Does 29 divide p(64)?
False
Let a(x) = 283*x + 12. Let g be -7 + 2 + 3*1/(-3). Let p be a(g). Is (-4)/10 + p/(-15) a multiple of 28?
True
Suppose 0 = -2*r - 2, -2*l - 2*l + 5 = -5*r. Suppose -3*b + 3*h = l, -2 = 3*b - 4*h + 2. Suppose -8*j - 4 = -4*j, -b*n = -5*j - 369. Is n a multiple of 13?
True
Suppose 8 = 6*i - 4. Let n be (-17 + -1)*(-1)/i. Does 10 divide 3/n - (-358)/6?
True
Let l = 91 - 60. Let m be 2 - 3 - (1 + -5). Suppose q + 0*q = 2*s - 38, l = m*s + 5*q. Does 9 divide s?
False
Suppose -3*w + 1271 = q, -203 = -w - 5*q + 230. Let m = w - 362. Does 3 divide m?
False
Let m be (25*1)/(2/(-6)*-1). Is (59/3)/(25/m) a multiple of 7?
False
Let w be 1126*(-2)/(-8) - (-2)/(-4). Suppose w = 11*d + 39. Is d a multiple of 3?
False
Let w(v) = -v**2 - v - 1. Let g(y) = 14*y**2 + y - 11. Let k(l) = g(l) + 4*w(l). Let b(n) be the first derivative of k(n). Does 11 divide b(3)?
False
Suppose 10324 - 10636 = -6*l. Is l a multiple of 26?
True
Suppose 2*l - 1379 = l + 4415. Is 14 a factor of l?
False
Let h = 84 - 80. Suppose x + 3*q - 62 = 0, h*q = -3*x + 136 + 45. Is 5 a factor of x?
False
Let n(d) = d**2 - 10*d + 20. Let l be n(8). Suppose 460 = -l*m - 2*o, -o = 4*m + m + 575. Let w = -101 - m. Does 3 divide w?
False
Let i(o) = 29 + 60 - 29*o + 19 - 8. Is i(3) a multiple of 2?
False
Let j = -24 - -28. Let p be (-1929)/(j/20*5). Does 30 divide p/(-9) + 1/(-3)?
False
Suppose -98 = -3*k - 2*x + 5821, 0 = -3*x. Does 65 divide k?
False
Let d(b) = -80*b + 3382. Does 18 divide d(-70)?
True
Suppose -4*c - 5*b = -34, -3*c - 4*b = -b - 24. Let l(w) = 32*w - 47. Is 53 a factor of l(c)?
False
Let u(p) = p**3 - 17*p**2 + 61*p + 9. Let o be u(7). Is 29 a factor of 2 + o/6 + 36?
True
Suppose 267*v + 43*v - 889080 = -0*v. Is v a multiple of 32?
False
Suppose 920*p - 972*p + 1826812 = 0. Is p a multiple of 213?
False
Suppose -74*x = -37730 - 101464. Is 14 a factor of x?
False
Is 74 a factor of (-92)/1*-352 - 17/((-187)/(-66))?
False
Let s = -46 - -68. Suppose 16*y = 74 + s. Is 3 a factor of (-196)/(-8) - y/(-4)?
False
Let r = -277 - -234. Does 7 divide (r + -1)*(10 + 504/(-32))?
False
Let b(g) be the third derivative of -g**4/24 - 15*g**2. Let t be b(3). Is (0 - -1)/(1/t) + 223 a multiple of 20?
True
Let b = -67 - -25. Is 17 a factor of (b/(-7))/(7/357)?
True
Let y(u) = 27*u**3 + u**2 - 19*u + 13. Let w = 172 + -169. Is y(w) a multiple of 21?
False
Is 4 a factor of 91/21*12*15?
True
Let u = -2300 + 10035. Does 13 divide u?
True
Let m = 294 + -266. Suppose 24*x = m*x - 1480. Is x a multiple of 22?
False
Let d(j) be the second derivative of j**5/20 - 5*j**4/12 + j**3 - 7*j**2/2 - 46*j. Let z be d(4). Is 8 a factor of (-1998)/(-18) + (0 - z)?
False
Let r(j) = -j**3 - 19*j**2 - 16*j - 36. Let d be r(-18). Let s = d + 77. Suppose 4*o = -s*f + 172, 0*o = o + 2*f - 46. Is o a multiple of 4?
False
Let s(u) = -65*u**3 + 3*u - 10. Let b be s(-3). Suppose 2*a + 0*a + b = 4*w, 3*w - 3*a - 1308 = 0. Is 18 a factor of w?
True
Let k(s) = 54*s**3 + 6*s**2 - 2*s - 14. Let f(q) = 81*q**3 + 9*q**2 - 3*q - 21. Let y(d) = -5*f(d) + 8*k(d). Does 51 divide y(3)?
False
Suppose 0 = -5*f + 11*f - 1536. Does 2 divide f?
True
Suppose 20*u - 2 - 18 = 0. Does 36 divide 108 + u - (14/7 + 0)?
False
Let h(c) = 1058*c**3 + 2*c**2 + 248*c - 494. Is h(2) a multiple of 87?
False
Let g = 437 + -429. Let a(b) = -b**3 + 15*b**2 - 2*b - 47. Is 11 a factor of a(g)?
True
Suppose -4*j = 5*j + 423. Let f = 51 + j. Suppose -5*g + f = -21. Is g a multiple of 5?
True
Let a(d) = -d**2 + 10*d - 19. Let q be a(7). Suppose 0 = -q*h - 4*f + 1010, h + h = f + 1010. Is h a multiple of 7?
False
Suppose -11*q + 65 + 100 = 0. Let r(a) = a**3 - 15*a**2 + a - 12. Let j be r(q). Suppose j*s - 65 = -20. Does 5 divide s?
True
Suppose 1103 = g + 4*c - 8671, -2*g - 5*c + 19530 = 0. Is 30 a factor of g?
True
Suppose -3062 - 773 = -13*w. Let h = w - 1. Does 14 divide h?
True
Let w(t) be the third derivative of 17*t**4/24 - 5*t**3 - t**2. Suppose 3*b - 2*m - 52 = 0, 20*m + 58 = 4*b + 23*m. Is 34 a factor of w(b)?
False
Suppose -135*w - 2903123 = -7390658. Is 27 a factor of w?
False
Let a be 91 + (-32)/6 + (-16)/(-48). Suppose 3*o = -j + 149, -4*j + 6*j + a = 2*o. Is 3 a factor of o?
True
Suppose -3*f = 3*d + 2958, 278 = 5*f + 2*d + 5193. Let m = -867 - f. Is m a multiple of 7?
False
Let y(j) = 23*j**2 - 111*j + 7. Does 51 divide y(20)?
True
Suppose 3*j - a = -4, 4*j - 6*a = -a + 13. Is j/2*(-273 + -8 + 1) a multiple of 35?
True
Let o = 307 + -47. Let q be 6/(-4 + (-211)/(-52)). Suppose -5*n - o = -5*t - 8*n, -2*t + 2*n + q = 0. Is 26 a factor of t?
True
Let c = 5 - -10. Let a be -1*(-2)/(-6)*c*1. Is 18*(-2 + -1 - (a + 1)) a multiple of 4?
False
Suppose -7*g = -10*g + 21. Suppose 0 = g*p - 14 - 7. Is 3 a factor of p?
True
Let a(s) = -8*s**3 - 61*s**2 - 12*s + 308. Is a(-14) a multiple of 13?
False
Let w(l) be the first derivative of -l**4/4 - 23*l**3/3 + 11*l**2 - 10*l + 32. Let k(v) = v**3 + 10*v**2 + 20*v + 8. Let t be k(-8). Is w(t) a multiple of 19?
True
Let p be (-952)/(-16)*12/(-63)*-9. Does 17 divide 4 - (5 + (-1 - p))?
True
Let i = -1169 - -1746. Let z = 1311 - i. Is z a multiple of 11?
False
Let d(b) = -b**3 + 10*b**2 - 7*b + 15. Let h be d(10). Let w = h + 154. Is 11 a factor of w?
True
Let d = -274 + 2420. Is 2 a factor of d?
True
Let n(a) = a**3 + 19*a**2 + 25*a - 8. Let k be 51*(0 + (-33)/(-9) - 4). Is 5 a factor of n(k)?
True
Suppose -3*v = 174165 - 234141. Is 42 a factor of v?
True
Let h(g) = -4823*g + 310*g**2 + 4823*g. Is 62 a factor of h(1)?
True
