*3 - 2*d**2 + 4*d + 2. Does 37 divide r(-6)?
True
Suppose 0 = -5*s - 5*i + 7 - 42, 17 = 4*s - 5*i. Does 11 divide 2*265*(s + 3)?
False
Suppose 1571*l - 1742*l = -1773612. Does 61 divide l?
False
Let c be (1*2)/6 - 224/(-48). Suppose -18*n = -c*n - 1625. Suppose -3*u - k = -n, k - 3*k = 2. Does 14 divide u?
True
Let f be (-16)/(-10) - 4/(-10). Let n(w) = -43*w + 176. Let z be n(4). Suppose 524 = 7*c - z*c + 4*q, 354 = 2*c - f*q. Is c a multiple of 16?
True
Suppose 0 = -2330*g + 2331*g - 5*r - 23312, -r = 5*g - 116326. Is g a multiple of 119?
False
Let j = -138 - -327. Suppose m - 281 - j = 3*a, -4*m + 5*a + 1887 = 0. Is m a multiple of 20?
False
Let s = 14320 - 10495. Is 75 a factor of s?
True
Let r be -156 + -16*(-4)/16. Let s = r + 1582. Is s a multiple of 11?
True
Let j be 1/8 + 44550/80. Let h = 807 - j. Is 25 a factor of h?
True
Is (290/(-6))/(40/(-3240)) a multiple of 173?
False
Let q(x) = -129*x + 4957. Is 8 a factor of q(13)?
True
Is 9 a factor of -6300*((-1 - 4)/10 - -1)*-2?
True
Let u = 41568 - 21759. Is u a multiple of 18?
False
Suppose 0 = -5*h + 3*i + 1636, -5*h + 28*i - 31*i + 1624 = 0. Is 5 a factor of h?
False
Let p = -1437 - -2436. Suppose -s + 236 = 4*i, 4*s = -i - 4*i + p. Is 8 a factor of s?
True
Does 82 divide -1623*(-6)/(-72)*(-191 - -35)?
False
Let n be (24/20)/(-1 + 52/40). Suppose l = -n, l = g - 462 - 746. Does 86 divide g?
True
Let n be (72/45)/((6/(-15))/(-2)). Suppose -y + 16 = o, -2*o = -y - o + 22. Suppose y*w - 781 = n*w. Does 15 divide w?
False
Let i(t) = 32*t**3 + 9*t - 1 - 33*t**3 + 6 + 3 + 16*t**2. Let h be i(12). Suppose -14*s - h = -18*s. Is 18 a factor of s?
False
Is (-28)/(-36) - 1 - (-1985753)/333 a multiple of 19?
False
Let s(d) = 3. Let y(f) = 10*f - 60. Let l(x) = -75*s(x) - 5*y(x). Is l(-16) a multiple of 25?
True
Suppose 33*z - 71005 = -22*z. Does 72 divide z?
False
Let f = -4 - -8. Let y = -413 + 415. Suppose 2*c = -5*a + 41, -y*a - 17 = -f*c + a. Is 3 a factor of c?
False
Suppose -a + 5*u + 27404 = 0, -8*a + 3*u = -5*a - 82308. Is 28 a factor of a?
False
Let m be -253 + 256 - 3/(6/800). Let q = m - -579. Does 6 divide q?
False
Suppose 0 = 4*c, 0*c = -4*w + 4*c + 8. Is (-1)/(w/(-12))*5013/27 a multiple of 58?
False
Let d = -2111 - -2203. Is 18 a factor of d?
False
Suppose -k + 45673 = 5*j, -15*k + 12*k + 45669 = 5*j. Is j a multiple of 35?
True
Let f be (-57)/(216/44 - 5). Let p = 1353 - f. Is 66 a factor of p?
True
Let g be (-156)/234*6738/(-4). Suppose -g*a + 1117*a = -3336. Is 4 a factor of a?
True
Let l(b) = -b**3 - 10*b**2 - b - 4. Let i be l(-7). Let d = i + 248. Suppose -6 = -5*r + d. Is r a multiple of 17?
False
Let s(w) = w**3 - 20*w**2 + 5*w - 23. Let f be s(20). Suppose y + 14 = f. Let n = y - 7. Is 14 a factor of n?
True
Let n(s) = -s**3 - 4*s**2 + 7*s - 6. Let f be n(-6). Suppose f*r = 11360 + 26440. Is 15 a factor of r?
True
Let z(f) = -f**3 - 6*f**2 - 6*f - 1. Let b be z(-5). Let w = 1 - b. Is 15 a factor of (11/w)/((-19)/114)?
False
Suppose -7*a + 9763 = 215. Let s be ((-3)/(-6))/((-2)/a). Let h = -235 - s. Does 8 divide h?
False
Let a be (-4)/(-16) - 570/8. Let y be 5/10 - (a/2 - 0). Let r = -10 + y. Is 26 a factor of r?
True
Suppose -357*j - 3*x + 10824 = -354*j, -x - 18058 = -5*j. Does 10 divide j?
False
Suppose 3*x - 2603 = -u + 13511, 3*u = -3*x + 16128. Is 46 a factor of x?
False
Let v = 35 + -27. Suppose -v*t = 1326 - 6046. Is 59 a factor of t?
True
Let r be ((-345)/(-9))/(1/3). Suppose -5*a = 59 - 44, 0 = 5*m - 4*a + 448. Let y = r + m. Is y a multiple of 6?
False
Let j = 30 - -173. Suppose 4*x + g = 821, x + 2*g + j = 2*x. Is x a multiple of 53?
False
Let c = -43 + 48. Let i be (-2)/c + 1572/30. Let p = -20 + i. Is 8 a factor of p?
True
Let z = -20382 + 29532. Does 122 divide z?
True
Is (-21 - (5864 + -10))*-1 a multiple of 235?
True
Let g(j) = -j**2 + 16*j + 17. Let a be g(17). Suppose a = -5*u + 2*w + 1145, -106 = -u - 2*w + 135. Is 60 a factor of u?
False
Let z = 74761 - 40461. Is z a multiple of 25?
True
Let t = 50 + -36. Let g(j) = -17*j + 2 - 4*j - t*j + 3. Is 3 a factor of g(-1)?
False
Let n(l) = 39 + 4 + 29*l**2 - 16 + 61 + 0*l + l**3 + l. Is 19 a factor of n(-29)?
False
Let t(z) = 2*z + 37. Let l be t(-16). Let i be (-70)/(-28)*(-2 - (-28)/l). Suppose 583 = i*f + 43. Does 19 divide f?
False
Suppose -4*p + 2*y = -0*p + 66, -2*p + 3*y - 23 = 0. Let x = 11 + p. Is -4*6/12 - (x - 1) a multiple of 7?
True
Suppose -7*v = -6*v - 2. Suppose 5*s - v*p - 68 = 7*s, -2*s - p = 65. Let q = s - -53. Is q a multiple of 16?
False
Let p(d) = 279*d**2 + 41*d - 48. Is p(-6) a multiple of 92?
False
Let d(y) = 9297*y**2 - 330*y - 655. Is d(-2) a multiple of 13?
True
Suppose -1164 = 47*r - 44*r. Let j = 260 + r. Let w = 152 + j. Does 8 divide w?
True
Let z(u) = u**3 - 36*u**2 + 123*u - 291. Is 93 a factor of z(40)?
False
Let t(y) = y**3 - y**3 - 2*y - 8*y**2 - 11 + y**3. Let x(k) = -207*k - 197. Let h be x(-1). Is t(h) a multiple of 28?
False
Let q(z) = -z**2 - 12*z - 23. Let c be q(-10). Let t = 4 + c. Is 8 a factor of (3/t - -5) + 1?
False
Suppose -8*m = 16*m - 720. Let r = m + 620. Is r a multiple of 50?
True
Suppose 0 = -19*r - 25332 + 73468 + 47206. Is r a multiple of 127?
False
Suppose 3*y - 23 - 1 = 3*z, 5*z - 16 = -3*y. Suppose 0 = 6*u - y*u + 4. Suppose 18 + 42 = u*f. Is 3 a factor of f?
True
Let p(t) = 19*t + 31. Let m(c) = -2*c - 11. Suppose 8*a = -4 - 52. Let s be m(a). Is p(s) a multiple of 8?
True
Let m be 2*((-2788)/(-8) + 5). Suppose 5*n - 1619 = f, -3*f = -4*n + 586 + m. Does 81 divide n?
True
Suppose 0 = -5*p - k + 370, -2*p - 2*k + 48 = -100. Suppose -5*d + p = 14. Suppose 0 = -4*g + 4*f + 188, -5*f + d = 2*g - 89. Does 16 divide g?
True
Let n = 180 + 751. Let r = 2367 - n. Is r a multiple of 24?
False
Let f = 567 - 153. Does 23 divide f?
True
Let q(h) = -4*h**2 + 3*h + 3. Let r be q(-1). Let b be (r + -10)*((-4)/8 + -2). Suppose -560 + b = -5*j. Is j a multiple of 17?
False
Let k = -28 + 35. Let g(i) = -k*i + 11 - 22 + 7. Is 8 a factor of g(-3)?
False
Let w = 69 - 69. Let i be (-2 + w)/(30/(-45)). Suppose -i*s = -4*c + 2*s + 349, -175 = -2*c + 3*s. Does 14 divide c?
False
Let n be (-10)/35 + 186/14. Let h = 54 - 60. Let c = n - h. Does 9 divide c?
False
Suppose -22 = -d - 0*d + 2*t, -d = -4*t - 18. Let g = -23 + d. Suppose -3*m + g = -15. Is m a multiple of 2?
True
Suppose 9*x + 140117 = 182183. Does 6 divide x?
True
Let w(i) = -2*i**2 - 40*i - 94. Let a be w(-17). Suppose -4*p + a*p - y - 3893 = 0, -3*p + 2926 = -2*y. Does 86 divide p?
False
Let j = -276 + 194. Let y = j - -84. Suppose 122 = y*f - 4*r, -f + 224 = 3*f + 2*r. Does 26 divide f?
False
Suppose -21*t + 30*t = 0. Suppose t = -4*c - 5*n + 32, 40 = 5*c + 2*n + 2*n. Does 5 divide c?
False
Let v = -269 - -266. Is 20 a factor of v/(1 + 42/(-24)) + 716?
True
Suppose -25*s = -24*s - 6. Let m be (424/s - 0) + 10/30. Let u = m - 44. Does 13 divide u?
False
Let r = -854 - -857. Suppose -2*m = j - 1072, r*j - 3555 + 342 = -3*m. Is j a multiple of 10?
True
Let q(o) = 2*o - 22. Let l be q(12). Suppose 2*v - 426 = -2*i, -l*v - 2*i - 207 = -3*v. Let n = v - 143. Is 7 a factor of n?
False
Let q(y) = 427*y - 9199. Is 313 a factor of q(45)?
True
Let u be (9 - (-11 + 16))/(4/1638). Does 33 divide (-20)/6*-9*u/135?
False
Let t(q) be the first derivative of q**5/60 - q**4/2 - 8*q**3/3 + 29*q**2/2 - 27. Let f(x) be the second derivative of t(x). Is f(-7) a multiple of 10?
False
Let w = -169 - -171. Suppose -3*i + 5*h = -4*i + 45, w*i - 135 = 5*h. Is i a multiple of 15?
True
Suppose 4*p + 44621 = 5*o, 3898 = o - 3*p - 5024. Does 21 divide o?
True
Let c be (-2)/27*-3 + (-495)/405. Let k be (c + 3)/(10/(-5)). Is (-9747)/(-76) - k/(-4) a multiple of 32?
True
Let g(h) = h**3 + h**2 + 45. Let n = -21 + 21. Let y be g(n). Let m = 86 - y. Does 4 divide m?
False
Let g(r) = 2*r**2 + 20*r + 67. Let h = 72 - 81. Does 49 divide g(h)?
True
Suppose 20 = -33*n + 38*n. Suppose 2*i = 3*c - 645 + 78, 203 = c + n*i. Is c a multiple of 4?
False
Let y(r) = 371*r**3 + r**2 - 3*r + 2. Is y(2) a multiple of 14?
True
Suppose 0 = 17*d - 1920 - 426. Suppose d*y = 149*y - 3080. Is 20 a factor of y?
True
Let a(f) = 161*f + 2656. Is a(-12) a multiple of 9?
False
Suppose 3*p - 5*c = -11, 2*p - 4*p + 14 = 2*c. Suppose -t + 7*g = 5*g - 12, p*t - 5*g - 37 =