e
Suppose 0 = -5*x - 5*c + 18115, 174*c - 18135 = -5*x + 179*c. Is 29 a factor of x?
True
Suppose -5*z + 3*h + 11 = 0, -2*z - 3 = -7*z - h. Let c = z - -658. Is c a multiple of 19?
False
Let w = -27528 + 41830. Is 33 a factor of w?
False
Is 10 a factor of 439561/1136 + (-7)/(-112)?
False
Suppose -5*d = 3*f - 13455, -5*f - 2184 = -3*d + 5889. Is 52 a factor of d?
False
Suppose -4*n + l + 1881 = 4*l, 2375 = 5*n - l. Let u = n + -313. Suppose -12 = i - u. Is i a multiple of 16?
False
Let f = 32069 - 14353. Is 172 a factor of f?
True
Let n = 51 - 49. Suppose -h - 5*k = -99, 0 = -9*h + 8*h + n*k + 64. Is h a multiple of 55?
False
Let d = -3 - -159. Suppose 0 = 7*w - d + 16. Does 3 divide w?
False
Suppose 5*a = n + 13177, -4*a + 4*n = n - 10546. Is a a multiple of 17?
True
Let g be 3 + (-4 - -6) - 2556/(-9). Let s = g + -214. Is s a multiple of 2?
False
Let m(s) = 70*s**2 + 41*s + 135. Is m(-5) a multiple of 4?
True
Does 9 divide (-636)/10*477160/(-1896)?
False
Suppose -2*r + 9 = -5*s + 101, 0 = 4*r - 5*s + 204. Is 18 a factor of (-1022)/r*2*4?
False
Suppose h - 1750 = 4*g + 1489, 5*g = -h + 3194. Does 15 divide h?
False
Let k = -605 - -600. Is 13 a factor of k - ((-4650)/105 - (-4)/14)?
True
Let f be -2*((-74)/44 + (-2)/(-11)). Let s be 3*(-1 - f/(-2))*-2. Is (16/6)/(-3*s/189) a multiple of 15?
False
Suppose -132291 = -3*y - 3*i, 243*i = -y + 247*i + 44132. Is 74 a factor of y?
True
Let f(b) = -40*b - 43. Let q be f(-32). Let r = -592 + q. Does 39 divide r?
False
Let i(z) = z + 7. Let h be i(3). Suppose -10*b + h = -5*b. Suppose 260 = b*s - 4*m, -5*m + 1 = -s + 122. Is 34 a factor of s?
True
Let b(x) = 5*x**2 + 112*x - 24. Does 153 divide b(-53)?
False
Let f(g) = g**3 - 61*g**2 - 45*g + 167. Does 83 divide f(63)?
False
Suppose -5*c + 19 + 36 = -3*q, -3*c + 3*q = -27. Let n be 2/(-2)*(-56)/c. Suppose n*z - 29 = 31. Does 6 divide z?
False
Suppose 5*m + 23 = -2*s + 58, 0 = 2*s - 10. Let p = m + -32. Does 14 divide 6/p + 7/(63/1010)?
True
Suppose -r + 346 = -153. Suppose 453 = 2*s - r. Is s a multiple of 28?
True
Let m = 53659 + -85173. Is 15 a factor of 3/(-18) - m/84?
True
Let i = -398 - -225. Let v = 442 + i. Is 26 a factor of v?
False
Suppose -2*h - 4*l + 84 = 0, -2*h + 0 + 87 = 5*l. Suppose 996 = 2*s - 3*r, 2*s - 5*r - h = 952. Is s a multiple of 40?
False
Suppose 6*t - 13 = 2*t - 3*w, t = -w + 2. Let b(d) = 24*d + 48. Does 12 divide b(t)?
True
Let f = 10065 - 5585. Is 32 a factor of f?
True
Let b(u) be the second derivative of -2*u**2 + 0*u**3 - 14*u + 0*u**4 + 0 + 3/10*u**5. Is b(2) a multiple of 6?
False
Suppose -4*s = 4*n - 182652, 0 = 3*n - 422*s + 427*s - 137005. Is 22 a factor of n?
False
Let m = -46 + 16. Let g = 354 + -360. Let w = g - m. Is w a multiple of 9?
False
Let n(i) = -196*i - 1024. Does 12 divide n(-7)?
True
Let j(v) = 447*v - 39. Let l be j(3). Let r = l - 618. Is r a multiple of 36?
True
Let i be -2 + 7 + (-90)/(-15). Let l(f) = -2*f**3 + 24*f**2 + 14*f + 19. Does 83 divide l(i)?
True
Suppose 398*t + 146*t - 103*t = 2407860. Is 42 a factor of t?
True
Let u = -292 - -296. Suppose -3*d - 2369 = -u*m, -5*m + 2345 = -m + 5*d. Is 10 a factor of m?
True
Suppose 19*s - 9*s - 30 = 0. Suppose 0 = 5*z - s*i - 2*i - 985, 3*i + 399 = 2*z. Is z a multiple of 24?
True
Let q(o) = o**2 - 13*o - 20. Let u be q(12). Let h = u - -53. Suppose h*a = 20*a + 98. Is a a multiple of 12?
False
Let g(j) = 1181*j + 2488. Does 11 divide g(5)?
True
Suppose -2*m + 252 = 2*m + 4*h, 2*h = 5*m - 350. Let p = m - 94. Let y(i) = -2*i + 16. Is 5 a factor of y(p)?
False
Let b = -11 - -14. Suppose i + 0*i = -b*t - 296, -2 = i. Let s = t + 200. Does 17 divide s?
True
Let s = -82 + 84. Let k be (-8 + 2 + -1)*(-5 - -4). Does 8 divide s/k - 3440/(-112)?
False
Suppose -12*p + 11203 + 25687 - 2666 = 0. Does 16 divide p?
False
Is 165 a factor of (1 - (-32)/(-12))*(-6516 + 81)?
True
Let i = 77 + 218. Suppose 5*g = -2*m - i, -4*m = -3 - 17. Let a = 79 + g. Is 3 a factor of a?
True
Suppose -5*f = 5*k - 110, -4*f - 3*k + 9 = -79. Suppose 0 = -2*a - 5*z + 79, 2*a + 141 = 5*a + 3*z. Let m = a - f. Is 5 a factor of m?
True
Let m(l) = -29*l - 4. Let o = 24 - 26. Let q be m(o). Let n = q - 27. Is 9 a factor of n?
True
Let h(g) = -1624*g - 37. Let y be h(-4). Suppose -16*n = -y + 1083. Is n a multiple of 16?
True
Let s be (2610/(-75))/(6/40). Let w = s + 898. Is w a multiple of 18?
True
Let z(r) = 2*r**3 - 3*r**2 + 4*r - 11. Let m be z(4). Let x = -90 + m. Does 33 divide 0 - x*(69 - 2)?
False
Is ((-102)/(-8) + 1)*(815 + 25 + 0) a multiple of 150?
True
Let s(n) be the first derivative of n**3 + 10*n**2 - 44*n + 80. Is s(-12) a multiple of 42?
False
Suppose -286 - 722 = -16*y. Suppose -9*x + 5*x - 88 = 0. Let n = y + x. Does 20 divide n?
False
Let t(b) = 733*b**2 - 228*b + 651. Is t(3) a multiple of 12?
True
Let b = 46083 + -10269. Is b a multiple of 127?
True
Suppose -4 = -2*u - 2. Suppose -u = -2*g + 3. Let j(r) = 5*r**3 - r**2 - 2. Is 7 a factor of j(g)?
False
Let g be (1/3)/(5 - 1122/225). Suppose -5*t = -j + 2*j - g, 5*j = -3*t + 169. Suppose 2*u + 3*u + b - 39 = 0, 5*b = -5*u + j. Is u a multiple of 4?
True
Suppose -3*x + 64 = 52. Is 6 a factor of (126/4 - -4 - -3)*x?
False
Suppose -3*t - 1459 + 6286 = -3*b, -5*t + 4*b = -8040. Suppose -2*y - 420 = -3*y - 5*j, t = 4*y + j. Does 16 divide y?
True
Let s(o) = 19*o + 8. Let j be 2/(-1)*(-7 + 33/6). Does 3 divide s(j)?
False
Suppose 3*a = 3*g + 98970, 151331 - 52333 = 3*a + 4*g. Does 120 divide a?
False
Let g(y) = 41*y**2 + 3*y + 1. Let w be g(-1). Let o be -1*3/15 - 48/(-15). Suppose o*v = -4*m + w, -2*m = v + 4*v - 9. Is 3 a factor of m?
True
Let w(p) be the first derivative of -21*p**2/2 + 119*p - 126. Does 16 divide w(0)?
False
Suppose -5*s = -4*y + 5732, 2*y - 2157 = -s + 695. Is y a multiple of 34?
True
Suppose -5925 = 30*f + 5265. Let g = f - -521. Is g a multiple of 88?
False
Suppose 966*t - 963*t - 4875 = -2*f, 0 = -2*f - 5*t + 4857. Is f a multiple of 6?
False
Let k = -35 - -30. Is 28 a factor of 12/(k + -1)*-56?
True
Let i(p) = 165*p**2 - 230*p - 935. Is 21 a factor of i(-4)?
True
Let j be (0 + 0 - -29)/1. Suppose -318*m = -320*m + 62. Let h = m + j. Is h a multiple of 10?
True
Let m(j) be the third derivative of 4*j**5/5 - j**4/12 + j**3/3 + 37*j**2. Is 10 a factor of m(-3)?
True
Suppose 144 = 388*s - 392*s. Let r = 229 + s. Is 36 a factor of r?
False
Let n(j) be the third derivative of -j**6/120 + j**5/5 - 5*j**4/8 - j**3 - 2*j**2. Let w = -6473 + 6481. Is n(w) a multiple of 10?
True
Let q = 1705 - -1311. Is 26 a factor of q?
True
Suppose 2*n - 2605 = 5*x, 3*x - 3054 = -3063. Is n a multiple of 5?
True
Suppose 3*k + 743 = -4*j, 5 = -10*j + 9*j. Let y = 704 + k. Does 16 divide y?
False
Let j = 392 - 372. Is 579/6 + (-10)/j a multiple of 4?
True
Is 50 a factor of ((-4)/(-1))/(-303*657/39825 + 5)?
True
Let m(l) = -5*l**2 - 2*l - 1. Let c be m(-1). Let y(o) = o**2 + 4*o + 2. Let p be y(c). Suppose p*b = -8, -3*b + 43 = -a + 118. Is a a multiple of 9?
True
Suppose 6*k + 65 = 2*g + k, 0 = 5*g + 4*k - 146. Is g a multiple of 3?
True
Let d(q) = 18451*q**2 + 207*q + 207. Is 7 a factor of d(-1)?
False
Suppose 31 = 5*g - 114. Is 31 a factor of (31 - g)/(1/124)?
True
Let v(w) = -w**3 + 26*w**2 + 30*w + 8. Let p be v(27). Suppose q - 3*d = p + 56, q - 2*d - 142 = 0. Is q a multiple of 14?
False
Suppose 18*i = 17*i + 5. Suppose -r - i*a + 402 = 0, -a = 3*r + a - 1180. Is 28 a factor of r?
True
Let m(p) = -1. Let t(l) = l**2 + 16*l - 4. Let k(y) = -2*m(y) - t(y). Let u be k(-13). Let v = u + 9. Does 5 divide v?
False
Let l = -1030 - -436. Let c be 450/20*l/(-5). Suppose -645 = 6*x - c. Is x a multiple of 26?
True
Let m(x) = -3*x**2 - 17*x + 24. Let v(n) = -2*n**2 - 16*n + 24. Let c(d) = 3*m(d) - 4*v(d). Let g be c(10). Is 3 a factor of (g/5)/((-4)/(-100))?
True
Suppose -3607 - 5333 = -30*j. Let w = 673 - j. Does 10 divide w?
False
Let f be -4*25/20 + 140. Let j = f + -97. Is 19 a factor of j?
True
Let m be (-4)/(-6)*(-150)/(-20). Suppose 2*k - 8 = 4*t - 20, 3*t - 9 = m*k. Suppose -t*j + 3*y + y = -118, 0 = 4*j - y - 153. Is 28 a factor of j?
False
Let z = -20387 + 25451. Does 211 divide z?
True
Let f(h) = 3*h**2 - 5*h - 9. Suppose 0 = -7*s + 11*s - 84. Let r be 4/8 - (s/(-6))/1. Is 10 a factor of f(r)?
False
Let j = 763 - -11409.