*d - 2*d + 2*t. Does 23 divide d?
True
Let j be (-74 + 68)*-26*5/(-3). Let r = -156 - j. Is 4 a factor of r?
True
Suppose 4*g - 11*l + 16*l = -2375, 3*g - 4*l = -1789. Let p = g + 1337. Is 18 a factor of p?
False
Suppose -508*o - 4015 = -509*o - 4*n, -5*o + 5*n = -20075. Does 18 divide o?
False
Suppose 0*r = -3*r + 2*l + 137, 0 = -r + 2*l + 51. Let z = r + -38. Let x(i) = 12*i + 8. Is 40 a factor of x(z)?
False
Suppose 2*x = -28 + 154. Suppose 2*n = -5*n - x. Does 31 divide (236/6)/((-2)/n)?
False
Suppose 25*f = 29*f. Suppose 0 = z - f - 5, 3*l - z - 10 = 0. Suppose l*m = -0*m + 240. Does 16 divide m?
True
Let r(j) = -j**3 + 13*j**2 - 15*j + 32. Let z be r(12). Let n be ((-24)/(-5))/z*(46 - -4). Let d = 98 + n. Does 9 divide d?
False
Let h be (-6)/10 + (13/5 - 3). Let b be h/((16/24)/((-4)/2)). Suppose -b*j + 4*c - 3 = -104, 0 = -3*c - 6. Is j a multiple of 10?
False
Let u(j) = -3*j**2 + 33*j - 113. Let a be u(20). Let t = -413 - a. Is t a multiple of 6?
True
Suppose -33*w - 19080 = -88248. Let q = w - 1072. Is q a multiple of 64?
True
Suppose -79*j = -71*j - 24. Suppose -542 + 2237 = j*i. Is 23 a factor of i?
False
Let j(y) = 1827*y - 1150. Is 44 a factor of j(44)?
False
Let k(d) = 249*d**3 + 14*d**2 - 62*d - 7. Does 175 divide k(4)?
False
Suppose 4*b - 308*n + 311*n = 11226, 4*n = b - 2778. Is b a multiple of 6?
True
Let t = -64 - -64. Let i be 0 - (-2 + t) - 11. Let x(l) = l**2 + 6*l - 20. Does 4 divide x(i)?
False
Suppose l - 6935 = -3*p + 2565, -l + 2*p + 9480 = 0. Is 57 a factor of l?
False
Let p(c) = -7*c**2 + 11. Let y(t) = 8*t**2 + t - 12. Let m(f) = 7*p(f) + 6*y(f). Suppose x = 5*r + 5, -2*x - 2*x = -5*r - 20. Is 5 a factor of m(x)?
True
Let z = 892 + -565. Suppose 12*v - z - 105 = 0. Is 16 a factor of v?
False
Let x = -64 - -132. Suppose 4*r - 59 = -3*b, 3*r + 0*b = b + 41. Suppose 2*f = -v + 36, -3*f + 4*v - r + x = 0. Is 17 a factor of f?
False
Let d = 51 + -61. Let x be -1 - 1*-8*(-5)/d. Suppose -50 = 2*f - x*f. Does 5 divide f?
True
Let r(y) = -91*y + 1000. Is r(-59) a multiple of 93?
False
Is 53 a factor of (-2)/47 - 18174400/(-1504)?
True
Let p(z) = 6*z - 11. Let h be p(18). Suppose 0 = -y - 3*d - d + h, -3*d - 464 = -4*y. Suppose -3*n + 227 = -4*i - 102, -2*i = n - y. Is n a multiple of 21?
False
Suppose -5*n = 5*r - 49510, -3*r - 383*n + 379*n + 29711 = 0. Is r a multiple of 2?
False
Is 9 a factor of 4*-4 + -326 + 23081?
False
Let w = 6781 - 640. Does 12 divide w?
False
Let z(g) = 5*g + 112. Let n(o) = 13*o + 334. Let p(b) = 2*n(b) - 7*z(b). Is p(-39) a multiple of 7?
False
Suppose 5378*q = 5376*q + 4900. Is 49 a factor of q?
True
Let n = 9598 + -2534. Is 8 a factor of n?
True
Does 180 divide (371484/(-255))/((-46)/15 - -3)?
False
Let b(w) = -457*w + 4008. Is b(-22) a multiple of 158?
True
Let u = 1 - 186. Is 4 a factor of (-42846)/u - 1/(-5)*2?
True
Suppose 0 = 4*i - 4*c - 140, 0*i + 4*c = -i + 55. Is 2 + (9/(-9) - -12*i) a multiple of 45?
False
Let j = -7842 + 19349. Is 43 a factor of j?
False
Suppose -101*d = -105*d + 1660. Let w = -195 + d. Is w a multiple of 22?
True
Let k(d) = 10*d + 74. Let b be k(-6). Suppose 30*q + b*q = 11352. Does 41 divide q?
False
Suppose 4*b - m = -1, m + m = 2. Suppose -3*r + 0*r = 5*g - 5993, 4*g + r - 4800 = b. Is 19 a factor of g?
False
Suppose 0 = -g - 21*g + 123962 + 888. Is 133 a factor of g?
False
Suppose -3*y + 22*h - 18*h = -12764, -2*h = -4*y + 17022. Suppose -4*z - 156 = -y. Does 82 divide z?
False
Suppose 5*v - 57927 = -2*q, 0 = -5*v + 20*q - 19*q + 57909. Does 99 divide v?
True
Let l be -1 + 21/27 - (-174)/54. Suppose i + 3*g - 73 = 0, -3*i = -l*g + 5*g - 240. Suppose -i = -2*k - 44. Is 4 a factor of k?
False
Let l(i) = -21*i**3 - 9*i**2 + 15*i + 61. Is l(-8) a multiple of 151?
True
Let o(l) = 1998*l**2 + 147*l - 148. Is 49 a factor of o(1)?
False
Let h = 55855 - 32766. Is 11 a factor of h?
True
Let b = 190 - 201. Is 16 a factor of (-13)/((-26)/(-24))*b?
False
Let p be 4 + 0 + 1 + -2. Let n(v) = -v**2 - 55*v + 975. Let y be n(14). Does 8 divide y*(p - (-32)/12)?
False
Let l(u) = -3*u - 270. Let p be (4 - (4 + 0))/(0 + -1). Let a be l(p). Let x = 464 + a. Does 33 divide x?
False
Let b(u) be the second derivative of -7*u**4/3 - 2*u**2 + 38*u. Let m be b(-2). Let y = m + 257. Is y a multiple of 29?
False
Let g = -1028 + 1008. Suppose 5*q + 2*k + 166 = 2*q, 5*k = q + 61. Let l = g - q. Does 6 divide l?
True
Suppose -5*x = -f + 2431, 9*x - 5*x = -4*f + 9820. Is f a multiple of 19?
True
Let j = -911 + 1394. Is 21 a factor of j?
True
Let k = 92 + -74. Suppose k*n - 78 = 1038. Is 10 a factor of n?
False
Suppose -13*p = -27 + 1. Suppose 2*g + 5*r = 266, -p*g + 0*r = -4*r - 230. Is 10 a factor of g?
False
Suppose 3*x = z + 80, -4*x - 230 - 42 = 4*z. Let v = 93 + z. Suppose 15*w - v*w + 42 = 0. Is w a multiple of 3?
True
Let y(f) = 3*f**2 + 17*f - 4. Let t = 27 + -33. Let j be y(t). Suppose -4*k = -k + 2*w - 24, 5*w = j*k - 16. Does 4 divide k?
True
Let a = 5018 + -4318. Is 21 a factor of a?
False
Let f(g) = 8*g**2 - 2*g - 6. Let y be f(3). Let d = -56 + y. Suppose -l - 94 = -d*t, 0*l - 84 = -4*t - 4*l. Is 7 a factor of t?
False
Let f(d) = -18*d - 23. Let r be f(-6). Is r*(7 - (5 - -1)) even?
False
Let j(a) = 73*a**2 + 2863*a + 30. Is 30 a factor of j(-40)?
True
Let i(y) = y**3 - 5*y**2 - 6*y - 6. Let o be i(-4). Let j = o - -125. Is 38 a factor of j/(154/(-152) + 1)?
True
Suppose 3*a - 1461 = 7*b - 4*b, 3*b = a - 1459. Let l = -271 - b. Does 15 divide l?
False
Suppose -2*a = -4*x - 52, 12*x - 67 = -2*a + 11*x. Suppose 0 = 2*t + a*s - 28*s - 556, -290 = -t - 5*s. Does 27 divide t?
True
Let a = 1943 - -635. Suppose -5*t = -u - a, -17*u - 2 = -18*u. Is t a multiple of 85?
False
Let l(o) = o**3 + 55*o**2 + 43*o + 196. Is l(-52) a multiple of 46?
True
Let d(z) be the second derivative of -z**5/20 - 4*z**4/3 - 19*z**3/6 + 7*z**2/2 - 109*z. Suppose 60 = -0*t - 4*t. Does 7 divide d(t)?
False
Suppose -3 = 3*z, 4*z - 145421 = -17*v + 12*v. Is v a multiple of 105?
True
Let h be ((-28)/8 - -3)/((-2)/(-4)). Let r = 142 - h. Is 3 a factor of r?
False
Suppose -140 = -16*l - 76. Suppose 4*q + 763 = 3*u, l*u + 3*q - 1008 = 6*q. Does 3 divide u?
True
Let q = 1547 + -716. Suppose 82*c = 85*c - q. Is 31 a factor of c?
False
Suppose 1246 = 4*v - 2*q, -4*q + 0 = -12. Suppose 1073 = 6*r - v. Does 33 divide r?
True
Let z be 122/12 - (-4)/(-24). Let w be (156 - -2)*5/z. Suppose 287 + w = 2*a. Does 10 divide a?
False
Suppose -4*z - f + 5615 = 0, -3*f - 3 + 0 = 0. Is z a multiple of 7?
False
Let t(i) be the third derivative of 0 + 0*i + 13/6*i**3 + 3/8*i**4 - 1/60*i**5 - 15*i**2. Is 5 a factor of t(8)?
False
Is 1214/((-8)/(-2) - -1 - (-39)/(-9)) a multiple of 224?
False
Suppose 0 = 312*h - 295*h - 17119. Is 19 a factor of h?
True
Let m be (-2)/17 - (-7 + (-5109)/221). Suppose m*l + 1261 = 4861. Is l a multiple of 3?
True
Let t(b) = -4*b**3 - 4*b**2 + 3. Let z be t(3). Let u = z + 214. Is u a multiple of 3?
False
Let u = 71883 + -42321. Does 39 divide u?
True
Suppose -2*u + m + 1741 = 0, -5*u - 1740 = -7*u + 2*m. Does 13 divide u?
True
Let d(m) = 2*m**2 + 14*m - 4. Let k be d(-9). Suppose 7*n - k = 24. Let c(q) = q**2 + 4*q - 19. Is 11 a factor of c(n)?
True
Suppose -6 = -4*t + 2. Suppose -t*w + 59 = 5*u, -2*w + 142 = 2*w + 2*u. Let h = -25 + w. Does 3 divide h?
True
Let o = 8508 - 708. Is 52 a factor of o?
True
Suppose -87*o + 2597262 - 1157328 = -2971227. Is o a multiple of 26?
False
Does 9 divide (2/8 - 2375/1500)*3*-1746?
True
Let n be (36 + -38)*(-2)/(-4)*-227. Suppose 0 = 4*q + k - n, -17 - 209 = -4*q - 2*k. Does 19 divide q?
True
Let y = 484 - 144. Suppose 0 = 5*g - 11*a + 6*a - y, 0 = 5*g + 2*a - 354. Does 4 divide g?
False
Suppose -419*k + 413*k + 26700 = 0. Does 25 divide k?
True
Suppose -3*t + 15 = 0, -z - 3 + 31 = 5*t. Suppose 0 = -5*w + z*q + 480 + 369, -4*w + 657 = 5*q. Is w a multiple of 2?
True
Let m(s) = -s**3 - 5*s**2 - 3*s + 8. Let g be m(-4). Suppose 0 = -6*z - g*z - 3*z. Let t = 119 + z. Is t a multiple of 13?
False
Let s(f) = -6*f**3 + 2*f**2 + 6*f + 1. Let w be s(4). Let b = w + 348. Is b a multiple of 2?
False
Let d = 53953 - 31203. Is d a multiple of 250?
True
Suppose 3*m = 4*g + 4, 2*g = -2*m - g + 14. Suppose 36 = -10*h + m*h. Let b(f) = f**3 + 6*f**2 - 4*f - 3. Is 4 a factor of b(h)?
F