e -250723 - 18076 = -42*r + 287449. Is 9 a factor of r?
False
Suppose 0 = -12*b + 24 + 36. Suppose b*z - 4172 = -14*j + 15*j, 4*j = 5*z - 4178. Is 14 a factor of z?
False
Let x(p) = -8*p**3 + 12*p**2 - 23*p - 515. Does 13 divide x(-13)?
False
Let d(t) = -3*t**3 + 101*t**2 - 36*t + 80. Is 8 a factor of d(19)?
True
Let m(v) = -v**3 - 11*v**2 - 12*v - 20. Let s be m(-10). Suppose 25*i + 9*i - 16320 = s. Is 30 a factor of i?
True
Let l(f) = f**3 - 15*f**2 + 29*f + 14. Let c be l(13). Let u = 57 - c. Suppose -d - 158 = u*r - 833, 4*r = -2*d + 674. Is r a multiple of 14?
False
Suppose f = 4*p + 24, -5*f - 4*p - p + 20 = 0. Suppose 0 = -5*m - f*a + 5*a + 100, 0 = -2*a. Is 15 a factor of m?
False
Let z = -75 + 78. Let q be 3*-2*6/(-9). Suppose z*o - 46 = -u, -q*o - 2*u + 18 + 44 = 0. Is o a multiple of 3?
True
Suppose 0 = -3*i + 2*y - 5 + 8, 3*y = 3*i. Suppose -5*b + 15 = 2*d - 255, -3*d = i*b - 405. Does 45 divide d?
True
Let q = 175 - 173. Suppose -2*n + 247 = -r, 449 + 168 = 5*n - q*r. Does 5 divide n?
False
Let f(w) = 132*w**2 - 388*w - 19. Does 141 divide f(-10)?
True
Let k(q) = 4*q - 7. Let u be k(3). Suppose -11 = -2*j + o, -o = u*j - 3*o - 27. Is j a multiple of 5?
True
Suppose 3*z = -2*k + 29854, 9*k = 7*k - 2*z + 29852. Is k a multiple of 28?
True
Suppose 10*j + 3639 - 90219 = -20*j. Does 26 divide j?
True
Let f be 5*(-3 + (-51)/(-15)). Suppose -p = f*p - 189. Let t = p - -37. Is t a multiple of 20?
True
Suppose 233*n - 236*n + 135 = 0. Let u = n + 480. Is 28 a factor of u?
False
Let q(z) = 4818*z + 831. Is q(1) a multiple of 7?
True
Let m be ((-418)/(-95))/((-1)/15). Is (-88)/m - (-250)/(-3)*-5 a multiple of 34?
False
Let j be (-36)/(-4)*2/6. Suppose 29 + 89 = j*u + 5*o, -2*o = -4. Does 4 divide u?
True
Let a(o) = -o**2 - 23*o + 5. Let h be a(-20). Let g = 68 - h. Suppose 0 = -2*m - g*m + 1160. Is m a multiple of 26?
False
Is 31 a factor of -50*(-2821)/14 - 0/42?
True
Let a(z) = z - 1. Let q(c) = -17*c - 15. Let x(p) = 2*a(p) + 2*q(p). Does 40 divide x(-11)?
True
Suppose -4*m + 147 = -5*x + 10, 2*x - 3*m = -59. Is 1/(-3)*(x - 8) a multiple of 4?
False
Let i be (6 + -5)/(-1*2/2). Is -21*(i - 0)*7 a multiple of 13?
False
Let q = -74 + 70. Is (2/1 + -5 - q)*270 a multiple of 12?
False
Suppose -10*f + 639 + 871 = 0. Suppose -f*k + 147*k + 2204 = 0. Is 50 a factor of k?
False
Suppose 0 = 5*j + 2*i + 10, 6 - 2 = -2*j - 3*i. Does 15 divide ((-9)/(-5))/(j/(-50))?
True
Let w(b) = -352*b**3 + b**2 + 6*b + 4. Let h be w(-2). Suppose 4*q = a + h, 4*a - 703 = q - 2*q. Is q a multiple of 37?
True
Let y(v) = -42*v - 1. Let d be y(2). Let m = -89 - d. Is (180/(-8))/(1/m) a multiple of 18?
True
Let s = -14 + 22. Suppose 0 = 2*c + 10 + s. Is 2/6 + (-537)/c a multiple of 10?
True
Let h(z) = 10*z - 22. Let a be h(3). Suppose -a*w + 22*w - 1596 = 0. Suppose 3*g + 4*y = w + 64, 3*g - 179 = -5*y. Is 10 a factor of g?
False
Let i(g) be the third derivative of 1/24*g**4 + 1/30*g**5 + 0*g + 1/2*g**3 + 4*g**2 + 0. Is i(-4) a multiple of 12?
False
Let g = 101 - 98. Does 4 divide (-230)/(-15) + 2/g?
True
Let p(i) = -401 + 4*i - 3*i + 85. Let u be p(0). Let c = -204 - u. Is 16 a factor of c?
True
Let m(g) = g**2 - 5*g + 11. Let u be m(6). Suppose u - 2017 = -8*a. Is 46 a factor of a?
False
Suppose -16*j + 17*j - 40 = 0. Let h be (-5)/j - 25/(-8). Does 19 divide h + (-14)/2 - -151?
False
Is 126 a factor of 170/(-85)*((-25754)/4 - -3)?
False
Let b(w) = -w**3 - 15*w**2 + 16*w + 17. Let o be b(-16). Suppose -19*f + 1438 = -o*f. Is f a multiple of 28?
False
Suppose -9 = f - 2*f + 2*o, 36 = 5*f - o. Suppose 0 = -13*l + f*l - 108. Is ((-76)/(-6))/((-2)/l) a multiple of 19?
True
Let h = 4908 + 8430. Is h a multiple of 18?
True
Suppose -3*g + 44*k = 49*k - 65979, 2*g - k - 43973 = 0. Does 46 divide g?
True
Suppose 66*i - 23*i = -18*i + 415532. Does 26 divide i?
True
Let h(c) = -2*c**3 - 20*c**2 + 83*c + 43. Does 34 divide h(-19)?
True
Suppose -9*c - 302294 - 331862 = -70*c. Does 8 divide c?
False
Let r be (-3)/5 + (-54585)/(-225). Suppose r*o - 227*o - 3075 = 0. Does 16 divide o?
False
Let v be 10/6*-3*14. Let g = -121 - v. Let u = g - -66. Does 5 divide u?
True
Let m(t) = t**3 - 8*t**2 + 9*t + 12. Let y be m(7). Suppose 29*w - y*w = 162. Is w a multiple of 27?
True
Let g(j) = -j**2 - 14*j - 18. Let n = -1 + -11. Let h be g(n). Let d = h - -62. Does 34 divide d?
True
Suppose 4*s - 2*s = -b + 6, 0 = 2*b - 4. Suppose m = 0, 5*m - 915 = -5*w + s*w. Suppose -311 = -4*u + w. Is 20 a factor of u?
False
Let y(l) = -29*l + 965. Does 17 divide y(-40)?
True
Suppose -3*k = d + 8 + 4, -5*k = 4*d + 20. Suppose d = -3*g - 2*z + 16 + 24, 68 = 5*g + 3*z. Is g even?
True
Let l = 22854 + -4993. Is l a multiple of 100?
False
Let g(i) = -i**3 + 27*i**2 - 26*i + 3. Let m be g(26). Suppose -3*b - 30 = m*n, 0*n - 4*n - b = 43. Let c = -5 - n. Does 3 divide c?
True
Let u(s) = -9*s - 29. Let p(i) = -7 + 13 + 23 + 8*i. Let l(o) = -5*p(o) - 6*u(o). Is 25 a factor of l(17)?
False
Suppose 5*t + 34*m = 36*m + 1227, 2*t - 488 = -2*m. Is 3 a factor of t?
False
Suppose 0 = 4*y - 4*t - 32458 - 10002, 5*y = -5*t + 53125. Is y a multiple of 36?
True
Does 22 divide (4 + 14/(-3))*17820/(-15)?
True
Does 29 divide 254900/(31 + -6)*(-2)/(-4)?
False
Let j = -628 + 912. Is 55 a factor of -3*4/(-6) + -66 + j?
True
Let n = 0 - -2. Suppose 7*u - n = 19. Suppose u*i - 21 - 15 = 0. Does 5 divide i?
False
Suppose 3*w + 203 = 4*d, 2*w + 136 = -0*w + 2*d. Let z = -60 - w. Suppose -117 - 171 = -z*g. Is 4 a factor of g?
True
Let r(k) be the third derivative of 0*k - 5/6*k**3 - 1/2*k**4 + 4*k**2 - 1/60*k**5 + 0. Is 15 a factor of r(-10)?
True
Let d be 5171/5 + (-3)/15. Let l = -599 + d. Does 15 divide l?
True
Let k(m) = m**3 + 3*m**2 - 6*m - 9. Let j(y) = y**2 + 3*y - 32. Let o be j(-7). Let t be k(o). Let b(u) = -53*u - 4. Is b(t) a multiple of 14?
False
Suppose 57*y - 372618 = -41*y - 65*y. Is y a multiple of 20?
False
Let i = 39 - 35. Suppose i*u + 37 = 3*j, 4*j + 0*u - 47 = 3*u. Is 19 a factor of -3 + j/3*6?
True
Suppose 0 = 21*k - 2314 - 542. Let w = k - -14. Is w a multiple of 3?
True
Let f be ((-1242)/8)/((-37)/(-148)). Is 6 a factor of (-2)/18 - 224250/f?
False
Let f(k) = 160*k**2 - 258*k + 21. Is 7 a factor of f(-6)?
True
Let r be (-102)/(-27) + -2 - 8/(-36). Let y(l) = 100*l**2 - 4*l + 7. Is y(r) a multiple of 19?
True
Suppose 39*r + 576 = 31*r. Is 27 a factor of 611/6 + -1 - 12/r?
False
Let c(a) = -34*a + 8990. Let q be c(0). Suppose q = 9*n - 3403. Is n a multiple of 41?
False
Let b(p) be the second derivative of -p**5/10 - p**4/2 + 2*p**3/3 - 2*p**2 - 10*p. Let j be b(-7). Suppose -5*r = -0*r - j. Is 9 a factor of r?
True
Let h = -2505 + 2192. Let m(r) = -53*r - 5. Let y be m(4). Let v = y - h. Is v a multiple of 12?
True
Let f = 3978 - 1682. Does 41 divide f?
True
Let u be 14/4*288/336. Suppose -3*y + 1165 = q, 10*y = 8*y - u*q + 765. Does 22 divide y?
False
Suppose -8*s = 101 - 101. Does 33 divide (-2 + 3)/(s + 7/5369)?
False
Let j(h) = 630*h + 3825. Is 9 a factor of j(9)?
True
Let y(f) = -7*f + 20. Let r be y(3). Is r*(-2)/10 + (-1714)/(-5) a multiple of 44?
False
Let r = 45594 + -24929. Is r a multiple of 16?
False
Let a = -48 - -17. Let v = -26 - a. Suppose -v*d - 79 = -199. Is 11 a factor of d?
False
Let m be (-30)/40 + (35/(-4))/(-1). Suppose 0 = m*b - 7*b + 2. Let a = b - -32. Does 15 divide a?
True
Let y = 26790 - 26786. Let n = 7 + -13. Does 10 divide 0 - 308/(-8) - n/y?
True
Suppose 2*c = 3*t + 1, 0 = 3*t - 3*c + 5 + 1. Let p(z) = t*z**2 + 34*z - 27*z + 5*z**2 - 8 + z**3 - 1. Is 7 a factor of p(-6)?
True
Let t be (1400/15)/(-7)*48/(-10). Let n(o) = -68*o + 144*o - t*o + 2. Is 12 a factor of n(6)?
False
Suppose 34 = 2*u - 4*r, -5*u - r = -4*u - 2. Suppose 980 = u*i + 7*i. Is 4 a factor of i?
False
Let t = 892 + -346. Is 4 a factor of t?
False
Let u = -102 + 70. Is 17 a factor of (2448/u)/((-3)/6)?
True
Suppose 0 = -4*f - 141 + 121. Let n(a) = -a**3 + 6*a**2 + 17*a + 9. Is 8 a factor of n(f)?
False
Suppose -5*d + 22108 = -90467. Is 7 a factor of d?
False
Let i be (-105)/(-9) + 3/9. Suppose -795 = -i*r + 213. Is r/(-8)*(-84)/9 a multiple of 15?
False
Is (-532)/((-7)/(-8904)*-12) a multiple of 33?
False
Let w be (-10)/15 - (-5572)/6. Does 23 divide w/10 + (-24)/30?
True
Let x(o) = 60*o**2 - 6*o - 18. Suppos