25 divide f?
True
Let u(p) = -2*p**3 + 10*p**2 + 9*p - 12. Let t = 83 - 80. Let z be (33 - 13)*(t/(-4))/(-3). Is 9 a factor of u(z)?
False
Suppose -7*p = -0*p - 261*p + 3077718. Is 151 a factor of p?
False
Let a(r) = 2*r**2 + 43*r + 56. Let n be a(-28). Let t = n + -376. Is 39 a factor of t?
False
Suppose 0 = 3*k + 2*u - 650 - 6667, u = 3. Is k a multiple of 14?
False
Let g(t) = 1380*t - 6. Let r be g(2). Is (1 - r/(-14)) + (-166)/(-581) a multiple of 21?
False
Suppose 2*a + a - 4*z = 31, 4*z = -a - 11. Suppose 0 = -7*c + 10*c + m - 2137, a*m = -c + 703. Is c a multiple of 73?
False
Suppose 3*w - 39156 = 28*p - 32*p, 5*p = 30. Does 18 divide w?
False
Let d be (20/(-3) - 0)/((-36)/(-540)). Is 7 a factor of 6/(48/d)*(-392)/10?
True
Suppose 2346 = 3*f - 7563. Is f a multiple of 9?
True
Suppose 10 = -2*f, 4*n - 4*f + 29233 = 7*n. Is 199 a factor of n?
True
Suppose -6*s + 24887 = -5*s + 9*i, -3*s - 3*i + 74661 = 0. Does 213 divide s?
False
Let r = -4707 - -9355. Is 7 a factor of r?
True
Suppose 2*i + 55 = 1085. Suppose -h = 4*h + 5*n - i, -h + 2*n = -88. Let z = 268 - h. Does 17 divide z?
True
Let l be 10/(-75) + (-760)/(-75). Suppose -20*a + 15*a + l = 0. Suppose -m + 5*v + 215 = 0, -m = a*v - 3*v - 203. Is m a multiple of 29?
False
Suppose 6*w - a = 4*w + 3428, 0 = 5*w - a - 8576. Does 37 divide w?
False
Let s = 611 + -565. Suppose 0 = 4*m - i - 97, -2*m + s = i - 1. Is m a multiple of 8?
True
Suppose 7904 + 11168 = 32*f. Let k = f - 544. Is 3 a factor of k?
False
Let j(x) = 29*x + 526. Let g be j(-18). Suppose l + 0*l = 0. Suppose l = -g*a + 8*a - 868. Does 31 divide a?
True
Let j = -198 - -372. Let w = j - -60. Does 18 divide w?
True
Suppose 18721 = 5*r + 2*s, -3711 - 7530 = -3*r + 3*s. Does 23 divide r?
False
Let l = 72 - 72. Suppose l = -22*g + 1718 - 134. Is g a multiple of 12?
True
Let c(l) = -9*l - 265. Let g be c(-30). Does 24 divide -5 + 4 + 391 + g?
False
Let w(l) = -l**3 - 22*l**2 - 24*l + 52. Let m be w(-22). Suppose -4*b + m = -44. Does 39 divide b?
True
Let j = 184 - 74. Suppose -j + 3974 = 23*f. Does 12 divide f?
True
Suppose 0 = 5*c + 24*x - 29*x - 37900, 5*c - 2*x - 37909 = 0. Is 19 a factor of c?
False
Let w = -293 + 164. Let v = 267 - w. Is 6 a factor of v?
True
Let j = 128 - 370. Let h = -223 - j. Is h even?
False
Let q(j) = 11*j + 39. Let n be q(-5). Is (n/(-5))/(24/1140) a multiple of 8?
True
Let b = -170 - -172. Suppose 2325 = -b*s + 5*s. Does 31 divide s?
True
Suppose 2*w - 2*k = -18, -w - 15 = w - 5*k. Let r(t) = 2*t**2 + 18*t + 51. Is 15 a factor of r(w)?
False
Suppose 48*l - 335*l = -39319. Does 4 divide l?
False
Let u = -402 - -400. Does 2 divide 3*9 + u + (-80)/(-10)?
False
Let f(x) = -3*x**3 - x**2 - 18*x - 10. Let k be f(17). Does 7 divide (-2)/11 - k/176?
False
Let j(a) = a + 14. Let t be j(-9). Let u be -5*(-2)/((-10)/(3 - t)). Is 37 a factor of (-10 - -5) + u + 371?
False
Let h = 21197 + -14357. Is h a multiple of 12?
True
Let g = 964 - 429. Does 13 divide g?
False
Let m = 41140 + -31220. Is 16 a factor of m?
True
Let d = -425 - -1461. Does 9 divide d?
False
Let n(x) = 29 + 13*x**3 - 20*x - x**2 - 11*x**3 + 7*x. Is n(5) a multiple of 9?
True
Is 46 a factor of ((-3)/((-12)/128))/(7*2/2492)?
False
Let u be (-2 - (-12)/9)*-9. Suppose 364 = -2*k + u*k + 4*o, 2*k - 176 = 4*o. Is 18 a factor of k?
True
Suppose 15*s - 89 + 29 = 0. Suppose 0 = -25*t + 20*t - 625. Is s/((-130)/t + -1) a multiple of 10?
True
Let w(s) be the third derivative of -s**6/360 - s**5/12 + 5*s**4/12 - 5*s**3/3 - 17*s**2. Let x(u) be the first derivative of w(u). Does 22 divide x(-8)?
False
Let w = -924 - -2447. Let g = w + -639. Is 17 a factor of g?
True
Let r(g) = 3*g**2 + 5*g + 1. Let d(h) = -h**3 + 3*h**2 + 16*h + 8. Let o = -17 - -23. Let n be d(o). Is r(n) a multiple of 4?
False
Let i(a) = 12*a**2 - 4*a + 4. Let s be i(1). Suppose 0 = s*f - 8 - 28. Suppose 0 = -f*d + 2*p + 248, 7*d - 3*d - 340 = 5*p. Is 6 a factor of d?
False
Suppose 134 = -d + 493. Suppose 4*c + 11*h - 283 = 16*h, 5*c - h = d. Is 9 a factor of c?
True
Suppose -2*c - 114 = -5*p + p, 3*p - 78 = 4*c. Let k = -25 + p. Let w(d) = d**2 + d + 4. Is w(k) a multiple of 7?
False
Suppose 0 = h - 5*a - 4270, h + 9*a - 4278 = 12*a. Is h a multiple of 66?
True
Let i = -127 - -140. Suppose i*f = -7*f + 3120. Does 12 divide f?
True
Let k be (2 + (-20)/(-15))*-3. Does 7 divide ((-28)/k)/((-10)/(-300))?
True
Let t(h) = h**3 - 47*h**2 - 168*h - 544. Is t(55) a multiple of 69?
False
Let i(o) = o**3 + 32*o**2 - 242*o + 44. Does 3 divide i(-29)?
True
Let u be 39 + 0 + (-2 - (-6 + 1)). Let c = 28 + u. Let p = c - 62. Is p even?
True
Let y = -4966 + 10126. Is y a multiple of 85?
False
Does 194 divide 1*((-41874)/(-9))/(-14)*-3?
False
Suppose a + 26934 = 4*o - 51958, -a = 4. Does 74 divide o?
False
Suppose 457*i = 936*i - 470*i - 155196. Is 9 a factor of i?
True
Let w = -982 + 557. Let h = w - -605. Is 5 a factor of h?
True
Suppose 240137 + 248191 + 115438 = 199*d. Does 37 divide d?
True
Suppose 47*s + 90 = 56*s. Suppose -s = -4*w + 10, 0 = -2*g - 3*w + 79. Is g a multiple of 17?
False
Is 50 a factor of 3/((-5)/(-28750)*3)?
True
Suppose 0 = -f - v - 2*v + 30194, -198*v + 196*v = 0. Is 40 a factor of f?
False
Let w(o) = o**2 + 3*o + 1. Let j be w(-1). Let u be (-1)/j*(0 - -7). Suppose u*c = 2*c + 375. Does 15 divide c?
True
Let k(i) = i**3 - i**2 - i + 868. Let x be k(0). Suppose -8*d = -4*d - x. Suppose -2*y - 3*j = -d, 2*y - 221 = 2*j - j. Is 53 a factor of y?
False
Is (-153)/(-1071) - (14041/(-7) - 2) a multiple of 4?
True
Is 12 a factor of 4875*(4/(-10))/(-1)*(-55)/(-33)?
False
Let c(z) = z**3 - 16*z**2 + 0*z**3 - 60 + 40*z - 4*z + 114 + 39*z**2. Does 3 divide c(-21)?
True
Let x = 334 + 2716. Is 61 a factor of x?
True
Suppose 45 = -3*g - 3. Let v = -8 + g. Does 2 divide (-29)/(-4) + (-18)/v?
True
Suppose 0 = -204*v + 301*v - 160*v + 585522. Does 252 divide v?
False
Suppose q - g - 7900 = -2337, 2*q - 5*g - 11120 = 0. Is q a multiple of 15?
True
Let z = 91644 - 49056. Does 117 divide z?
True
Suppose u + 2270 = 4*b - 119, -4*b + 2395 = u. Let i = b + -391. Is i a multiple of 15?
False
Let y be (51 - 2) + (-8)/8. Suppose y*x - 49*x = -5. Is 39 a factor of 352/3 + 96/(-18) + x?
True
Suppose -3*p + 20 = 2*p + 5*c, 4*p - 3*c = 9. Let j(n) = 2*n**p + 3619*n + 22 - 19*n**2 - 3*n**3 - 3601*n. Does 9 divide j(-20)?
False
Let m(x) = x**2 - 8*x + 8. Let o be m(7). Does 2 divide -5 - o/(5/(-445))?
True
Let o(c) = 17*c - 27. Let x be o(-5). Does 6 divide 32*(-4)/(x/189)?
True
Let g(w) = 14*w**2 + 23*w + 391. Is 11 a factor of g(-11)?
False
Suppose 0 = 5*d - 20, 0 = -2*u + 4*d + 729 + 227. Suppose -3*t + u = 3*t. Let l = t + -56. Is 10 a factor of l?
False
Let z(n) = 16*n - 3. Let h be z(8). Suppose -4*p - 49 = -h. Is 25 a factor of ((-5)/(-1))/(p/285)?
True
Let t = 45 - 89. Let b = 60 + t. Is (-1407)/(-12) - 4/b a multiple of 13?
True
Let r be ((-17)/51)/((-3)/6597). Suppose -1393 = -2*m + r. Does 17 divide m?
False
Let h be (-3 + 228/20)/(2/(-130)). Let s = -76 - h. Is 57 a factor of s?
False
Let p(k) be the second derivative of k**5/20 + 11*k**4/12 + k**3/6 - 3*k**2/2 - 10*k. Does 19 divide p(-6)?
True
Suppose -30*o - 98*o + 241152 = 0. Is o a multiple of 98?
False
Suppose -9*l + s = -12*l + 18384, 5*l - 30641 = -2*s. Is l a multiple of 117?
False
Suppose 9 = -5*j + 24. Suppose -y + j + 7 = 0. Is 13 a factor of (-30)/(-2*5/y)?
False
Is 78 a factor of (82063 + -7)/(-6)*24/(-16)?
True
Suppose 2*i = 5*i. Suppose 0*t + 3*t + k - 1574 = i, 0 = 4*t + 2*k - 2098. Does 21 divide t?
True
Let r(f) = f**3 - 4*f + 4. Suppose -2*h + 7*h - 380 = 0. Suppose -74*q - 8 = -h*q. Does 13 divide r(q)?
True
Suppose 2680 = 2*w + 4*r, 9*w - 4004 = 6*w - 2*r. Does 2 divide w?
True
Let h(q) = -1309*q - 9354. Is 222 a factor of h(-18)?
True
Let f = -1748 - -1385. Let g be (1 + -622)*(-4 + 3). Let t = f + g. Does 33 divide t?
False
Let w(x) be the second derivative of -239*x**5/10 + x**4/3 + x**3/6 - x**2/2 + 2*x + 46. Does 15 divide w(-1)?
True
Suppose -3*y = -2*w + 31 + 14, -5*y = 5*w - 175. Does 35 divide (-13 + -1)*w/(-12)?
True
Let w(x) be the first derivative of -19*x**2/2 - 144*x - 64. Is 12 a factor of w(-30)?
False
Let d(a) be the first derivative of a**3/3 + 9*a**2 + 37*a + 140. Is 44 a factor of d(-31)?
True
Let r be (2