factor of (128/(-3))/(266/(-435) - 276/(-460))?
True
Let f(u) = 13*u + 13. Let h = 84 - 92. Let b be f(h). Let a = -80 - b. Does 11 divide a?
True
Let h(i) = -i**2 - 24*i + 31. Let w be h(-13). Suppose 5*t = 3*v - w, -5*t + t = 0. Is 8 a factor of v?
False
Let m be 3 + -2 - 197*(-2)/2. Suppose -4*d = -3*f + 155, 4*d = 5*f - m - 47. Suppose -2*y + 68 = 3*o - f, 2*y = 5*o - 199. Does 10 divide o?
False
Suppose -608*t = -603*t + 1485. Let y = -406 - -848. Let c = y + t. Does 14 divide c?
False
Suppose 4*t = -5*b + 570, 2*t + 5*b = 4*t - 270. Let r = 396 - t. Is 32 a factor of r?
True
Let i be 14*(-5)/(20/(-6)). Suppose -7*q + 4*q + i = 0. Let d = 70 + q. Is 11 a factor of d?
True
Let l = 15293 + -7028. Is 19 a factor of l?
True
Suppose 0 = y + 3*y - 32. Let q be (-1*12/y)/((-2)/12). Suppose 0 = -3*t - q, -3*p = -3*t - 329 + 5. Does 15 divide p?
True
Suppose -3*l + 931 = -2*t, -12 = 5*t - 2. Let u = l + -183. Is 14 a factor of u?
True
Let v be (-4)/1 + (-7)/(-14)*12. Suppose -1450 = -5*c - w, 0 = -v*w - 2*w. Does 10 divide c?
True
Let c = 208 + -203. Suppose -c*a + 1826 = -2*q, -541 - 553 = -3*a + 2*q. Is a a multiple of 36?
False
Let t = 8738 - -26095. Is 34 a factor of t?
False
Let f(l) = 78*l + 223. Does 11 divide f(54)?
False
Suppose -5*f + g = -111838, 0 = -2176*f + 2181*f + 5*g - 111850. Does 13 divide f?
False
Let f(b) = 17*b**2 + 25*b - 4. Let p be f(-6). Let y = p + -256. Is 19 a factor of y?
False
Suppose 710*j + 101949 = 727*j. Is 252 a factor of j?
False
Let t(h) = 33*h - 80. Let g be t(16). Suppose -30*c = -32*c + g. Is 14 a factor of c?
True
Suppose -7*r = -34 + 13. Suppose -r*p - q = -76, 0 = -4*p + p + q + 74. Does 5 divide p?
True
Suppose -5*b = -3*u - u + 33, -2*b = -3*u + 23. Suppose -9*r - 6 = -6. Suppose -u*o + 75 + 499 = r. Is o a multiple of 8?
False
Suppose 63*l - 54030 = -4*r + 61*l, 0 = -5*r + l + 67555. Is r a multiple of 14?
True
Let f(r) = 4*r**3 - r**2 - 6*r + 4. Let t be f(4). Let k be t/(-30) - 4/6. Let x(n) = n + 11. Does 2 divide x(k)?
False
Let r = -52 + 56. Let o(x) = 8*x - 2. Let y be o(r). Suppose y*s - 27*s - 204 = 0. Is 17 a factor of s?
True
Let j(g) = 3688*g + 7216. Is j(10) a multiple of 212?
True
Let p(s) = -9*s**3 + 4*s**2 + 9*s - 4. Let q be 2/8*(1 + 1 - 22). Does 14 divide p(q)?
True
Let d(o) = -47*o + 52. Let c be (-1 + 34/6)*(-126)/49. Is 18 a factor of d(c)?
False
Let w(p) = 3*p**2 - 2*p - 4. Let y be w(4). Suppose 0*u - 9*u = -y. Suppose 4*b + b = -m + 713, u*m = -8. Is b a multiple of 13?
True
Suppose 0 = 2*l - 3*l + 10. Let z be 10/(-25) + 74/l. Suppose -3*i = -z*i + 20. Is i even?
False
Let b(t) = 2*t - 3. Let d be b(3). Suppose -4*k - 4*o = -d*o + 4, 0 = -o. Is 6 a factor of (-1)/(-1)*k - (-32 - -1)?
True
Suppose 43*t - 54 = 16*t. Does 7 divide 531/t + (84/(-8))/(-21)?
True
Let t(a) = a**2 + 8*a + 16. Let q be -9 + (-4)/(8/2)*-3. Let p be t(q). Suppose -p*s = -16*s + 456. Is 25 a factor of s?
False
Let r = 9032 + -2741. Is 39 a factor of r?
False
Let z(h) be the second derivative of -199*h**3/6 + 6*h**2 + 30*h. Let o be z(-2). Let x = 574 - o. Does 14 divide x?
False
Let a be 3 + 0/(9/(45/10)). Suppose -m + 2042 = 4*m + a*s, -3*m + 1234 = 4*s. Does 58 divide m?
True
Let j be (4 + -5 - -6 - -2)*70. Let b = j + -320. Is 17 a factor of b?
True
Suppose -44*j = -45*j + 15708. Suppose 0 = 25*b - 4*b - j. Does 22 divide b?
True
Does 5 divide 279 + 0 - (-396)/36?
True
Let u(p) = -13*p - 47. Let i be u(-5). Let a = 51 - i. Is a a multiple of 29?
False
Suppose 5*z = y + 75203, 527*z = 532*z + y - 75207. Is z a multiple of 13?
True
Suppose 7320 = a + 2*w, 5*a + 3*w - 15628 = 21014. Does 78 divide a?
True
Let k(j) = -22*j + 9. Let f(a) = -11*a + 4. Let i(o) = 13*f(o) - 6*k(o). Let m be i(-5). Let q = -28 + m. Is q a multiple of 20?
False
Let k = 306 + -198. Let s = k - 37. Does 6 divide s?
False
Suppose -16*k + 98419 = 26738 - 337743. Is k a multiple of 190?
False
Suppose -5*y + 2*b + 112 = 0, -12*y + b + 67 = -9*y. Let o = 72 - y. Is 25 a factor of o?
True
Let i = -229 + 230. Does 3 divide (-2)/i*(-1470)/30?
False
Let m = 6058 - 4924. Is 6 a factor of m?
True
Let j(y) = -3*y + 35. Let i be j(5). Suppose 6*r - i = 10. Suppose -r*b + 528 + 183 = -o, 5*o + 552 = 4*b. Is 11 a factor of b?
True
Let h = -4271 + 5190. Does 98 divide h?
False
Suppose 0 = -12*w + 62 - 14. Suppose -w*u - 23*u + 32346 = 0. Is u a multiple of 30?
False
Is (8915 - -281) + 4*-5 a multiple of 31?
True
Let j(l) = 4*l**2 - 3*l - 18. Let d be j(-3). Suppose 0 = r + 4*u, -6*u + 5*u = -2*r + d. Does 4 divide r?
True
Let n = -229 + 356. Suppose 3*q - n - 641 = 0. Does 3 divide q?
False
Let h = -43 - 8. Suppose -2*b - 218 = -0*b. Let n = h - b. Is n a multiple of 11?
False
Suppose 9*z + 215 = 4*z. Let t = z + 35. Is 46 a factor of 116 + t/12*-3?
False
Suppose -4*p - 68 = -3*d, 6*d = 3*d + 3*p + 63. Suppose -2266 = -d*y + 22. Is y a multiple of 13?
True
Let y = 69 + -67. Let s be (y - 447/(-9)) + (-4)/6. Suppose -2*v + 2*n = -208, -2*v + 5*n + 169 = -s. Is 10 a factor of v?
True
Let a(n) = -10616*n - 456. Is 144 a factor of a(-3)?
True
Let r(a) = 28*a**2 - 181*a + 698. Is r(37) a multiple of 82?
False
Let o = 0 - 3. Suppose -4*g + 5*d = 11, 7 = -g - 9*d + 6*d. Does 8 divide g/(o/(-81)*-3) - 4?
True
Let b = -206 + 206. Suppose 4*z - 1470 + 54 = b. Is 9 a factor of z?
False
Let f = -861 - -60242. Is f a multiple of 17?
True
Suppose -2*y = 3*w - 1202 + 287, 5*y = -2*w + 2304. Is y a multiple of 9?
False
Suppose -p + 50 = 9*p. Suppose -2*q + 3*q = -4*s, p = -5*s. Suppose q*k - 37 = -5*w + 23, 2*w + 8 = 0. Is k a multiple of 6?
False
Let q = 50 + -48. Is 195*q - (-19 + 25) a multiple of 10?
False
Let x(t) = -33*t**2 - 873*t - 40. Does 40 divide x(-16)?
True
Let i(m) be the third derivative of m**5/60 + m**4/24 + 98*m**3/3 + 54*m**2 - 2. Is i(0) a multiple of 4?
True
Suppose 4*w - 50*w + 277610 = 0. Does 40 divide w?
False
Suppose 0 = -7*a + 8 + 6. Suppose -a*n + 39 = -5*s - 37, 4*n - 96 = -4*s. Suppose 0 = n*y - 27*y - 253. Is 32 a factor of y?
False
Let h(u) be the third derivative of -11*u**4/4 - 67*u**3/3 - 43*u**2. Is h(-3) a multiple of 4?
True
Suppose -5*a + 210 = -330. Suppose 0*g = -g + a. Does 4 divide g?
True
Let i(u) = 238*u - 2. Let p be i(-1). Let x = p - -626. Is 29 a factor of x?
False
Suppose 21*g - 2204 - 11908 = 0. Does 168 divide g?
True
Let x be (4 - 3)*(-3)/((-9)/51). Suppose -k + 25 = x. Is (42/k - -1)/((-2)/(-8)) a multiple of 5?
True
Suppose -23*i = -568*i + 23848110. Is i a multiple of 306?
True
Let x = 218 + -215. Suppose -x*i + 3*b + 717 = 0, 3*b - 639 = -5*i + 556. Does 55 divide i?
False
Let y(g) = g**3 + 6*g**2 - 5*g - 3. Let d be y(-6). Let w be 36/81 - (-15)/27. Suppose -2*i + w = -d. Is i a multiple of 3?
False
Suppose 5*o + k = 1052, -4*o + 4*k = -371 - 461. Let l = 142 + o. Is 11 a factor of l?
True
Let b(t) = 4*t**3 - 50*t**2 - 26*t - 16. Is b(18) a multiple of 11?
True
Let d = -237 - -257. Let t = 655 - d. Is 17 a factor of t?
False
Suppose 5*v = 7*v - 472. Suppose -o + 221 = 3*b - v, 2*o + 4*b = 908. Is 49 a factor of o?
False
Let y(j) = -2*j**2 + 19*j - 4. Let p be y(9). Suppose -10*f = -p*f - 225. Is 9 a factor of f?
True
Let y(g) = -13*g - 124. Let r be y(-10). Suppose r*a = -25*a + 26133. Is a a multiple of 18?
False
Let j = 825 - -1930. Does 22 divide j?
False
Let y be (-2)/(1 + 7) - 33/12. Let l(f) = -48*f + 5. Let i be l(y). Let k = i - 43. Does 19 divide k?
False
Let m = -84 - -84. Suppose y - c + 1 - 4 = m, 4*y = -2*c. Is 15 a factor of (y + 0)/(2/60)?
True
Let i = 41 + -48. Let s(t) = -t**2 - 10*t - 9. Let p be s(i). Does 27 divide p*(27/12 + 0)?
True
Let i(x) = 31*x + 298. Let z(g) = g**3 - 13*g**2 + 5*g - 71. Let c be z(13). Is i(c) a multiple of 7?
True
Let t be (-45)/12 + 3 - (-66)/24. Suppose t*z = -3*w + 219, z - 2*w = -0 + 92. Is z a multiple of 2?
True
Let i(l) = l**2 + l - 4. Let p be i(6). Let y be ((-663)/(-68))/(2 + (-57)/24). Let j = y + p. Is 4 a factor of j?
True
Let g = -501 - -628. Let j = g + 66. Does 15 divide j?
False
Let v(z) = 0*z + 2*z - 582 + 709 - 5*z. Does 44 divide v(-37)?
False
Suppose -b + 2*h + 28798 = 0, 2*b - 65*h = -66*h + 57601. Is b a multiple of 128?
True
Let j(w) = -w + 2. Let p be j(0). Suppose -4*b = -4*l - 644, 326 = -p*l - 4*b + 2*b. Let m = l - -317. Is 2