e (m/(-18))/(2/x)?
True
Let q(v) = 23*v**2 - 4*v - 4. Let t be q(2). Suppose 0 = 5*p - 10, u - 2*p + p = t. Does 3 divide u?
False
Suppose -25600 = -20*u - 620. Suppose -25*x + u = -2001. Does 13 divide x?
True
Suppose 160 = -25*j - 15*j. Is 10225/275 + (j/(-22))/(-1) a multiple of 5?
False
Let r = 879 - 1298. Let z = -329 - r. Is z a multiple of 3?
True
Suppose 88 = 13*q + 192. Let l(m) = 2*m**2 - 20*m - 81. Is l(q) a multiple of 11?
False
Does 13 divide (-75215)/98*((-8)/6 - -2)*-3?
False
Suppose 74*h + 31267 = 2*o + 71*h, -15637 = -o + h. Is o a multiple of 24?
False
Does 23 divide (5467 - -1)*((-10)/(-4) - (150 - 148))?
False
Let o(c) = 335*c**2 + 46*c - 23. Is o(-5) a multiple of 61?
False
Suppose 51*k - 50*k = 287. Let t = -273 + k. Is t a multiple of 7?
True
Suppose 0 = 3*t + 3*j + 6 - 15, 0 = t + 5*j + 13. Suppose 0 = t*u - 17*u + 1190. Does 42 divide u?
False
Let a be (4/(-6))/((-8)/180*3). Suppose 6*k = -a*h + 3*k + 2782, 2*h - 1119 = 5*k. Suppose 5*l + 3*w - h = 0, 317 = 3*l + 3*w - 22. Is 35 a factor of l?
False
Is 2045 - -159 - -4*(-1)/(4/(-6)) a multiple of 17?
True
Suppose 0*n + 6000 = 15*n. Suppose -26*d + n = -21*d. Is -5*(2/(-4) - 424/d) a multiple of 16?
False
Is 2*206686/44 - (22 - 5856/264) a multiple of 26?
False
Let r(i) be the third derivative of i**5/60 + 11*i**4/24 + 8*i**3/3 - 30*i**2. Let v = 8 - 22. Is 25 a factor of r(v)?
False
Suppose -11*k + 67 = -54. Suppose k*a - 13*a - 4*t = -196, a - 86 = 2*t. Is a a multiple of 18?
False
Let l(r) = 948*r - 66. Is 30 a factor of l(2)?
True
Let j be (-1 - 3 - -420)/(-1). Let u(q) = 14*q - 78. Let i be u(-5). Let s = i - j. Does 14 divide s?
False
Let h = -407 + 406. Is 21 a factor of (-2 - -102) + (6/(-3) - h)?
False
Suppose -26*y + 14070 = 47610. Let z = y + 1876. Is 30 a factor of z?
False
Let n(p) = -97 - 3*p - 8*p - 8*p - 26*p**2 + 13*p + p**3. Is 10 a factor of n(27)?
True
Let v(c) = 336*c**3 + c**2 - 6*c + 5. Suppose 0 = 2*m - 3*b + b - 12, 4*b + 17 = -3*m. Let y be v(m). Suppose -y = -11*l + 4*l. Is 6 a factor of l?
True
Let w(t) = -8*t - 18. Suppose 15 = 5*q - 0*q. Suppose 0 = 2*s - q*d - 0*d + 2, 4*d + 24 = -4*s. Is w(s) a multiple of 13?
False
Let j be ((-14)/8)/((-2)/(-8)). Let d(p) = -10*p**2 + 16*p - 7. Let r(g) = -9*g**2 + 15*g - 8. Let q(n) = j*r(n) + 6*d(n). Does 17 divide q(7)?
False
Let w(j) = j**3 + 3*j**2 - 18*j - 27. Let d(q) = -3*q**2. Let i(p) = 2*d(p) - w(p). Is 21 a factor of i(-11)?
False
Let b = 18 + -11. Let c(i) = -5 + 4 + 3*i + 126*i**3 - 3*i**2 + b*i**3. Is c(1) a multiple of 22?
True
Suppose -1527 = 7*c - 10*c. Let h = c + -257. Is 12 a factor of h?
True
Suppose -6*r + 133 - 103 = 0. Suppose r*m - 7*m = -388. Is m a multiple of 9?
False
Let z be 18*(12/4 + 2/6). Suppose -14*i + 16*i = z. Let l = 2 + i. Is 8 a factor of l?
True
Let h(p) = -8*p + 16*p - 10*p**2 + 193 - 7*p - 7*p. Let l(o) = -3*o**2 - 2*o + 64. Let y(i) = -2*h(i) + 7*l(i). Is y(0) a multiple of 13?
False
Suppose 17*s + 3*y - 3 = 21*s, 5*y - 25 = 0. Let d = 30 + -3. Does 19 divide s/(108/9676) - (-6)/d?
False
Is 3 a factor of (9158/76*-10)/(0 + -1*1)?
False
Suppose 0 = 6*k - 4*c - 48700, -4*c = -5*k + 8*k - 24308. Is 16 a factor of k?
True
Let f = 9 - 5. Let x = -15884 + 15886. Does 35 divide f - (-120 + (8 - 0)/x)?
False
Suppose 4*b - 1216 = 7448. Is 38 a factor of b?
True
Let t be ((2/3)/(-1))/((-2)/4032). Suppose -5*z + t = 4*p, 0*p + 672 = 2*p - 2*z. Does 21 divide p?
True
Suppose 0 = 17*g - 43 - 59. Let v(z) = -z**3 + z**2. Let l(n) = 5*n**3 - 14*n**2 + 8*n - 10. Let s(r) = -l(r) - 4*v(r). Does 8 divide s(g)?
False
Let y be 3*(-2)/(0 + -2). Let p = 2633 + -2633. Suppose 2*m + 268 = 3*n + 95, p = y*n - 5*m - 185. Does 5 divide n?
True
Let a = 15 - 4. Suppose -a*m = -9*m - 10. Suppose m*x + 39 = 2*v, -3*x = -0*v + v - 36. Does 9 divide v?
True
Let h(n) = -6 + 0 + 24 + 18*n**2 + 10*n. Does 18 divide h(-4)?
False
Suppose -99677 = -14*q - 10301. Is 24 a factor of q?
True
Suppose 0 = -47*g - 37*g + 77952. Is g a multiple of 29?
True
Let u(n) = n**3 + 18*n**2 + 15*n + 39. Suppose -5*q = -7*q + 8. Suppose -r - 17 = -4*o, -r - q*r - o = 85. Is u(r) a multiple of 22?
False
Let n(p) = p**3 - 10*p**2 + 6*p + 1. Let q be n(8). Let i = 419 - 312. Let b = q + i. Is 4 a factor of b?
True
Suppose 0 = 14*q - 101 + 1053. Let g = q + 75. Does 7 divide (g/4)/(26/312)?
True
Is 203372/108 - (-6)/(-81) a multiple of 7?
True
Suppose 3*l + 2*v - 4 = 19, 4*v = 4. Let k be (6/l)/(24/112). Suppose -k*q + 165 = 37. Does 8 divide q?
True
Let x = 1953 - -2352. Is x a multiple of 113?
False
Let l be (-4)/(-14) + (-76)/(-28). Let f be (-375)/(-10)*2/l. Is f + 3 + 2 - 2 a multiple of 9?
False
Let d be (-2)/(-1)*2*1. Suppose 3*s - 341 = -g, 463 = d*s + 3*g - 0*g. Is s a multiple of 14?
True
Suppose 0 = -0*n - 2*n - x + 518, 3*n - 777 = -3*x. Let q = 95 - n. Let l = 373 + q. Does 17 divide l?
False
Suppose -5*s + 9*z + 6724 = 11*z, -2*s + 2663 = -3*z. Is s a multiple of 13?
False
Let r(a) = -16*a**3 - 2*a**2 - a - 1. Let k be r(-2). Let q be (-2)/(-11) + (-22)/k. Suppose -3*t + 2*d = -q*d - 527, -4*d + 915 = 5*t. Is 32 a factor of t?
False
Let s(x) = 15*x**2 - 6*x + 13. Let n(i) = 2*i**2. Let y(a) = 6*n(a) + s(a). Let w be y(2). Suppose -3*v - 4*j + w = 0, -4*j - 162 = -5*v + 9. Does 7 divide v?
True
Suppose -49 - 76 = r + 2*s, -5*r + s = 603. Suppose 167*v = 175*v + 1832. Let k = r - v. Is 11 a factor of k?
False
Suppose 51*s = 54*s + 171. Let l = 201 + s. Is l a multiple of 12?
True
Let y = -14349 - -26281. Does 76 divide y?
True
Let z be (-364)/(-8)*(15/(-21) + -1). Let g = 302 + z. Is 32 a factor of g?
True
Is 10 a factor of (1440/6 + 20)/((-1)/(-3))?
True
Let h = 254 + -47. Let x = h - 107. Does 68 divide x?
False
Let g = -4549 + 7461. Is 14 a factor of g?
True
Let n(o) = 2460*o - 950. Is 18 a factor of n(6)?
False
Suppose -b = 14 + 26. Let z = b + 50. Is 14 a factor of (1/(z/72))/(10/75)?
False
Suppose -14*n + 1841 = -740 - 1703. Is n a multiple of 51?
True
Suppose 0 = -21*q + 6453 + 267. Let o = -5 + q. Does 6 divide o?
False
Let h(f) = -f + 11. Let u be h(8). Let g(x) = 28*x**3 - 2*x**2 + 12. Let t be g(2). Suppose u*n + 148 = 6*n + 5*a, 4*n - a = t. Is n a multiple of 44?
False
Let i = 2629 + -1093. Does 128 divide i?
True
Suppose 26250 = 102*u + 3*u. Is u a multiple of 50?
True
Suppose -12*c + 2774 = -202. Is c a multiple of 8?
True
Suppose 3*v + 2 = -16. Let i(k) = -313*k - 46. Is i(v) a multiple of 91?
False
Let v = -387 - -447. Suppose 8*z = v + 76. Is z a multiple of 5?
False
Suppose -h + 5*q + 16 = 0, 8*h - 3*h - q = 8. Let j be h + (-3)/6*6. Does 9 divide j - (-2)/((-6)/(-195))?
True
Let l be 26/104 - (15/(-4) - -1). Suppose 2*d + 2*n = 12, -2*d - l*n + 26 = 3*d. Suppose -2*y + 3*c + 19 = -32, -d*c - 56 = -2*y. Is 3 a factor of y?
True
Let j(d) = 11*d**2 - 145*d + 138. Is 8 a factor of j(32)?
False
Let n = 5956 - 1641. Is 26 a factor of n?
False
Let p(i) = 13. Let a(f) = -2. Let j(w) = -6*a(w) - p(w). Let g(r) = r**2 + 14*r - 16. Let o(v) = -g(v) - 4*j(v). Is 13 a factor of o(-9)?
True
Let z(x) = x**2 - 12*x + 22. Let g be z(-12). Let c = g - 274. Is c a multiple of 19?
False
Let a(o) = 4*o - 2. Let m be a(3). Suppose -6*g + 20 = -m. Suppose -g*v - 119 + 574 = 0. Does 13 divide v?
True
Suppose -49*q = -61*q - 1536. Is 16 a factor of 1486*(1/4 + (-32)/q)?
False
Let w = 19 + -16. Is 47 a factor of 334 + (w + 22)/(-5)?
True
Suppose -5*z - 3713 + 17388 = 0. Does 46 divide z?
False
Suppose -3509*i - 798 = -3516*i. Is i a multiple of 9?
False
Let q(y) = y**3 - y + 1. Let v(s) = 3*s**3 + 13*s**2 - 14*s + 8. Let k(z) = -4*q(z) + v(z). Let m = 7 - -5. Is k(m) a multiple of 14?
True
Let y(z) be the third derivative of -z**4/8 + 91*z**3/3 - 44*z**2 - 2*z. Is y(27) a multiple of 4?
False
Let b(y) = -y + 58. Let k be ((-6)/9)/1 + 159/9. Does 5 divide b(k)?
False
Let n(z) = -48*z**3 - 7*z**2 - 56*z - 257. Is n(-4) a multiple of 16?
False
Suppose -8*f = 75 - 75. Let a(r) = -r**2 - 46 + 97 - 4*r + 2*r**2. Is 8 a factor of a(f)?
False
Suppose 4*r = -2*h + 38, -5*r + 5*h = -6*r + 5. Suppose 140 = 2*n + 4*y, -r = -y - 5. Does 12 divide n?
True
Let g(f) = 2*f**2 - 31*f + 34. Let p be g(14). Does 26 divide (p/(-5))/(3*(-10)/(-2925))?
True
Let y be 150/(-8) + (-22)/88. Is (-4467)/y + 10/(-95) a multiple of 9?
Fals