f 25?
False
Suppose -68574 = -1915*i + 1893*i. Is 125 a factor of i?
False
Let f be ((-6)/(-8))/((-2)/160*-4). Suppose -11*p - 1008 = -f*p. Is 28 a factor of p?
True
Suppose 0 = 2*f - 3*o - 12, 6*o = -3*f + 4*o + 5. Suppose -2*h + 999 = 4*g - 3*h, -f*h - 247 = -g. Is g a multiple of 10?
True
Let h = -40893 + 60591. Is h a multiple of 27?
False
Let j be (185/35 - (-6)/(-21)) + 9. Suppose -j*c + 597 = -15951. Is c a multiple of 29?
False
Let m(h) = -83*h**3 - h**2 - 5*h - 3. Let n be m(-1). Suppose 0 = -45*t + 41*t + n. Does 7 divide t?
True
Let t = -7 + 769. Is t a multiple of 17?
False
Suppose -5*b = 4*d - 4456 - 3244, 1540 = b + 5*d. Is b a multiple of 9?
False
Let a = -3080 - -22717. Does 10 divide a?
False
Let h be (35/10 - 4)*0. Suppose -5 + 25 = -5*o, h = 5*z - o - 609. Let n = 145 - z. Is n a multiple of 12?
True
Let d be -2*(-15)/(3 + 2). Let j(g) be the second derivative of -g**4/12 + 13*g**3/6 - 3*g**2/2 - 9*g. Is 5 a factor of j(d)?
False
Let q(h) = -193*h - 578. Is 17 a factor of q(-7)?
False
Let z(y) = 465*y - 692. Is 20 a factor of z(25)?
False
Let z = -209 + 113. Let c = 199 + z. Let r = -8 + c. Is r a multiple of 19?
True
Let u(r) be the third derivative of -r**5/60 + r**4/12 + r**3 + 12*r**2. Let w(s) = 12*s + 75. Let k be w(-6). Is u(k) a multiple of 3?
True
Suppose 144*c - 1031521 - 1838646 - 80825 = 0. Does 27 divide c?
True
Let o be ((-27)/(-18) - -2)/(1/18). Suppose -z + 3*x + o = 0, z + 16*x = 13*x + 51. Is z a multiple of 21?
False
Let w(c) = -21*c - 1614. Is w(-96) a multiple of 67?
True
Let x(i) = -2*i**3 - 10*i**2 - 6*i - 2. Let m be x(-5). Let z = 36 - m. Let r = z + 45. Is 10 a factor of r?
False
Let x(f) = 8*f**3 - 12*f**2 + 62*f - 10. Is 10 a factor of x(15)?
True
Let y(h) = 82*h - 86. Let i be y(-7). Let a = -656 - i. Is 2 a factor of a?
True
Suppose -440*c - 6179283 = -18403803. Is c a multiple of 81?
True
Let l(v) = -7*v - 15. Suppose -3*n + 4*y = n - 20, 2*y - 26 = -2*n. Let w(x) = x**2 - 10*x + 2. Let r be w(n). Does 26 divide l(r)?
False
Suppose 2*b = -m + 1384, 2*b = 4*m + m - 6980. Suppose 48*i - 49*i - 2*j + 286 = 0, -j = 5*i - m. Is i a multiple of 14?
False
Suppose 0 = 3*u + 2*k - 106 - 79, 2*u + 2*k = 122. Let l be (-3)/1 + 18/3 - u. Is (25/4*-2)/(15/l) a multiple of 50?
True
Suppose 0 = -4*o + 3*o + 5*w + 261, o - 289 = -2*w. Is 1*o + (23 - 22) a multiple of 19?
False
Let k(s) = -s**3 - 7*s**2 + 3*s + 55. Let z be k(-6). Is z + (3 - (-249 + 6)) a multiple of 19?
True
Suppose -4*b - 1 = 63. Is 21 a factor of ((-248)/b)/((-2)/(-20))?
False
Let t = -155 + 87. Let c(s) = -5*s**3 - 3*s**2 + 5*s + 11. Let r be c(-3). Let h = t + r. Is h a multiple of 9?
True
Let a = -484 - -501. Suppose r - 530 = -q, -16*r + a*r - 5 = 0. Is q a multiple of 21?
True
Suppose 5*p - 88*q - 119228 = -85*q, 2*q - 119198 = -5*p. Is p a multiple of 182?
True
Suppose 0 = 46*b - 52*b - 600. Let l be (6/8 - 0)/((-5)/b). Suppose -528 = -l*v - v. Is v a multiple of 11?
True
Let s be 2/3*(16*17 - 2). Let i be s/6*1*14. Suppose -3*j + i = -j. Is 35 a factor of j?
True
Let f(s) = -s**3 + 8*s**2 - s - 1. Let j be f(7). Let p = 21 - j. Is 16 a factor of (-966)/(-15) - (-8)/p?
True
Let w(k) = 151*k - 26. Let u be w(5). Suppose 2*s + 169 = u. Is 20 a factor of s?
True
Let p = -145 - -140. Does 10 divide (4 + p - -70)/(3/10)?
True
Suppose 5*b + 314 - 1114 = -4*w, -472 = -3*b - 4*w. Let h = -147 + b. Does 17 divide h?
True
Suppose 3*j + q = 61 - 182, -5*j = -4*q + 196. Let p be ((-6)/(-10))/(76/j - -2). Suppose z = 3*n + 99, -4*n + p*n - 238 = -2*z. Does 6 divide z?
True
Let m be 2 + 7 + -3 - -3996. Suppose -15*v + m = -3. Is v a multiple of 19?
False
Let j be 4/4 + (0 - 3)/(-3). Is 2 a factor of 5 + (-396)/(-18) + -2*j?
False
Suppose -11437 = -14*s + 71723. Is 108 a factor of s?
True
Suppose -6*t + 54 = -5*t + 5*z, -4*z = -5*t + 125. Let w(m) = m + 151. Is 10 a factor of w(t)?
True
Suppose 4*k = 18*k - 336. Is 28 a factor of ((-420)/9)/(68/k - 3)?
True
Let f(c) = 2962*c - 1483*c + 57 - 1475*c. Is 13 a factor of f(-5)?
False
Let j(o) = 16*o + 446*o**2 + 14*o - 10 - 447*o**2. Is j(20) a multiple of 10?
True
Let b = -2296 - -7137. Does 55 divide b?
False
Let k(l) = -22 + 17 - 23 - 112*l. Is 28 a factor of k(-6)?
True
Let t be (0 - -1)/(-4*1/(-12)). Does 34 divide (-8)/6 + 2554/t?
True
Suppose -2*m = -70 + 64. Is 11 a factor of (176/m)/(-3 + (-55)/(-15))?
True
Suppose -11*r - 6 + 6 = 0. Suppose r = 8*f - 1191 - 217. Does 17 divide f?
False
Let a(k) = -k**2 + 5*k + 66. Let u be a(11). Let v be ((-1)/((-1)/4))/1. Suppose 2*o + 3*y - 300 = u, v*y = 4*o - 3*o - 139. Is 49 a factor of o?
True
Let s(r) = -3*r - 6. Let m be s(-7). Let n(a) = 15*a**3 - 2*a**2 + 12*a - 10. Let v be n(1). Let l = m + v. Is l a multiple of 3?
True
Let c be (-1)/(-2)*4*263/2. Let b = 274 - c. Is 2 a factor of b?
False
Let k(p) = -8*p**2 - 56*p - 61. Let d(z) = 13*z**2 - 2*z. Let c be d(1). Let o(t) = 3*t**2 + 19*t + 20. Let v(b) = c*o(b) + 4*k(b). Is 7 a factor of v(17)?
False
Let y(o) = 4 - 5 + 2*o + 3*o**2 + 4. Suppose 0 = 4*t - 2*p - 4, -43*p - 6 = -3*t - 41*p. Is 5 a factor of y(t)?
False
Suppose 57421 + 58479 = 61*q. Is q a multiple of 38?
True
Let h(r) = -103*r + 115. Let c be h(4). Let y = 657 + c. Is y a multiple of 30?
True
Suppose -31 = 4*g - 47. Let l(t) = 7*t**2 - 12*t + 14. Is 47 a factor of l(g)?
False
Let v = 3492 + -2016. Let a = -1017 + v. Is 17 a factor of a?
True
Let a(l) = 389*l + 50. Let x(r) = -97*r - 13. Let g(m) = 2*a(m) + 9*x(m). Does 67 divide g(-3)?
True
Suppose -5*i + 5*u + 32485 = 0, -3*i + u + 7628 = -11867. Does 14 divide i?
False
Let r(b) = -5*b**2 - 13*b - 14. Let a be r(-6). Let n = a + 241. Let w = n + -54. Is w a multiple of 7?
False
Suppose -17*r + 61*r = 197164. Is r a multiple of 64?
False
Let q(o) = 14 - 2*o + 2 + 4*o + 4. Let w be q(-9). Suppose -5*m = -3*z - 21 - 382, 0 = -2*m - w*z + 158. Is m a multiple of 16?
True
Let u(i) = i**3 + 15*i**2 - 33*i + 21. Let n be u(-17). Let w(y) = 28*y + 6. Let x(b) = 141*b + 31. Let a(z) = 11*w(z) - 2*x(z). Is a(n) a multiple of 12?
True
Let f be ((32/10)/((-56)/(-140)))/1. Suppose -31*b + 6981 = f*b. Does 41 divide b?
False
Let o = 817 + -817. Suppose 4*n - 702 = 2*g, o*g - 2*g = -3*n + 527. Is 7 a factor of n?
True
Suppose 4*w = w - 2*p + 359, -4*w - 4*p + 476 = 0. Let l = -69 - -245. Let n = l - w. Is 11 a factor of n?
True
Let d = -1 + 4. Let k(o) = o**2 - 3*o + 1. Let y be k(d). Let u = 67 - y. Is u a multiple of 33?
True
Let q(o) = 53*o + 317. Let l be q(40). Let n = l + -1319. Is 29 a factor of n?
False
Is 32 a factor of 14*(204336/77)/12 - (-8)/1?
True
Let k(g) be the third derivative of 11/24*g**4 - 1/2*g**3 + 0 + 0*g - 16*g**2. Is k(11) a multiple of 13?
False
Let c = 28 - -155. Let g be (-16)/(-36)*3*c. Suppose 6*s - g - 176 = 0. Is 14 a factor of s?
True
Suppose -3*f = -22*f + 76. Suppose -5*l = 0, -2*x - 9*l + 756 = -f*l. Is x a multiple of 21?
True
Let w = -18923 + 30488. Is w a multiple of 257?
True
Let x = -74 - -78. Suppose -2*v + 70 = 4*i, -2*v - 29 = -3*v + x*i. Suppose 7*o = -v + 1552. Is 27 a factor of o?
False
Suppose b - 4*b + 39 = 0. Let i(k) = -k**2 - 4*k + 27. Let l be i(0). Suppose 2*o - l = b. Is o a multiple of 10?
True
Let t = 63 + -61. Suppose -3*j + 7*q - t*q = -130, 5*q + 175 = 4*j. Does 5 divide j?
True
Let w(i) = 4*i - 11. Suppose 4*k - 2*m = 18, 2*m - 13 - 5 = -5*k. Let r be w(k). Suppose -3*s - 22 = -r*s + p, s - 4*p = 18. Does 4 divide s?
False
Let u(j) = 236*j - 1540. Is u(7) a multiple of 2?
True
Let v = 4501 - 2194. Is v a multiple of 25?
False
Let g = 8 + 244. Let j = g + -170. Suppose -o + 6 = 4*x - 4, 3*o = x + j. Is o a multiple of 5?
False
Suppose -6*x + 15 = -3*x, -2*j + 3*x = 11. Let g(h) = -1499 + 3*h - 6*h + 2*h**2 + 1493 - j*h. Is g(5) a multiple of 10?
False
Let o(c) = -c**3 + 14*c**2 - 12*c - 27. Let b be o(12). Let g = b - 82. Is g a multiple of 5?
True
Let r be ((-576)/(-216))/((-4)/(-18)). Suppose -r*f + 4051 = 763. Is 7 a factor of f?
False
Suppose 3*o - 12 = -2*d + 16, 3*o + 49 = 5*d. Suppose -2751 = -d*a + 1473. Is a a multiple of 19?
False
Let w(h) = -h**3 - 37*h**2 - 2*h - 140. Let u be w(-37). Is 11 a factor of ((-165)/(-15))/((-3)/u)?
True
Suppose 1774*l - 3539*l - 214760 = -1773*l. Is l a multiple of 91?
True
Suppose 3*k + k + 25 =