**2 - 68*c - 580. Is 13 a factor of r(62)?
False
Suppose -5*v = u - 35505, 11815 = -2*u - v + 82852. Is u a multiple of 222?
True
Let y(z) = 608*z - 61. Is y(2) a multiple of 15?
True
Let s = 338 - 334. Does 4 divide (360/(-27))/(s/(-30)) - -2?
False
Suppose -24*t + 31*t - 35 = 0. Suppose -t*r + 817 = 2*i - 10*r, 5*r - 847 = -2*i. Is 20 a factor of i?
False
Let x be 0 + -7 - (-37 + 28). Suppose 4*r = x*z + 436, -13*z + 9*z - 8 = 0. Does 54 divide r?
True
Let k(x) be the first derivative of 45*x**2/2 + 60*x + 166. Is 6 a factor of k(6)?
True
Let r = -14907 + 28122. Does 56 divide r?
False
Suppose -7 = -21*a + 14*a. Let s(q) = 305*q + 1. Is 34 a factor of s(a)?
True
Let k(y) = 11*y**2 - 83*y - 738. Is 74 a factor of k(-19)?
True
Is 51 a factor of (3 + (-65)/15)*11/(176/(-1068))?
False
Let h(d) = 4*d**2 - 26. Let q = -81 + 68. Is 65 a factor of h(q)?
True
Let n(j) = 1924*j**2 + 84*j - 85. Is n(1) a multiple of 4?
False
Let u(d) be the first derivative of -d**5/120 + 19*d**4/12 - 3*d**3 + 20. Let g(m) be the third derivative of u(m). Is g(0) a multiple of 11?
False
Suppose -3*a + 83 - 1 = -5*j, -2*j + 2*a = 36. Let l = 20 + j. Does 17 divide 256/l - 17/(-51)?
False
Suppose -4*n + 3*i = -21357, -2*n - 2*i = n - 16022. Suppose 0 = -3*m - 7*m + n. Suppose 8*r = 5*r + m. Is 30 a factor of r?
False
Let c be 0*(7/21)/((-4)/(-3)). Let q be (c - 1*-1)/(38/418). Suppose -y = -q - 8. Is y a multiple of 3?
False
Let v(y) = 49*y + 96. Let p be v(-2). Does 78 divide (-4 - 56/(-12))/(p/(-2847))?
False
Suppose 15*w - h + 11 = 17*w, 32 = 4*w + 4*h. Suppose w*v - g = 369, 2*v + g - 242 = 3*g. Is 15 a factor of v?
False
Let r(w) = -w**2 - 9*w - 15. Let b be r(-6). Suppose 0 = 12*j - b*j - 1566. Is j a multiple of 6?
True
Suppose -3*o + 109 + 83 = 0. Suppose -o*c + 5665 = -18143. Does 37 divide c?
False
Suppose 4*u + 138229 = -9*u. Is ((-14)/5)/(u/(-1330) + -8) a multiple of 38?
True
Let u be 17/(15/12*10/1475). Let v = u + -1277. Does 32 divide v?
False
Suppose z = -4*z - 25. Let l be (-3 - (-18)/5)/((-1)/z). Suppose 131 = l*v - 97. Does 17 divide v?
False
Suppose -5*g = -15*g + 10750. Let c = 1516 - g. Suppose c = 2*r + 5*r. Is 8 a factor of r?
False
Let o = 383 + -536. Let p be o - (18/(-12))/((-6)/8). Let k = -61 - p. Does 43 divide k?
False
Suppose 54049 = 4*m + u, 0 = 13*m - 10*m - 5*u - 40531. Is 12 a factor of m?
True
Let h(x) = -58 - 16 - 5 - 61*x. Is 26 a factor of h(-6)?
False
Suppose 133*u - 3277451 = -637268. Does 64 divide u?
False
Suppose -k - 4*j = 10, 2*k + 3*j + 5 = -0*k. Let n(o) = -k - 23*o - 10 + 10*o + 16*o. Is 5 a factor of n(9)?
True
Let z(a) = -8*a - 4. Suppose 0 = 2*h - 6*h + 16, -4*g = h - 104. Suppose 4*l = -15 - g. Is 38 a factor of z(l)?
True
Suppose -4*f - 2140 = 4*n, -2*n - n + 531 = -f. Let w = 247 + f. Does 12 divide (-3)/(-12) + w/(-4)?
True
Let j be (-5481)/58 + 3/2. Let g = j + 97. Suppose -76 = -6*u + g*u. Is 31 a factor of u?
False
Let q(g) = -g**3 + 37*g**2 - 156*g - 182. Is q(23) a multiple of 172?
False
Let t = 32699 - 23138. Is 8 a factor of t?
False
Let w be 2 + (-49)/28 - (-2)/(-8). Suppose 52 = 2*f - w*f + 4*g, -3*g = 5*f - 130. Let q = 18 + f. Is q a multiple of 44?
True
Let a = -3142 + 3709. Is 7 a factor of a?
True
Suppose 4*r = -28, 42302 = 5*v + 2*r - 20904. Does 58 divide v?
True
Let c = 704 - 879. Let p = 495 + c. Does 5 divide p?
True
Let j be 11107/5 - 9/(-15). Is j/1*(-61)/(-122) a multiple of 12?
False
Suppose 5*n + 204 = -121. Let t = -58 - n. Is (26/10 - 3)/(t/(-1225)) a multiple of 10?
True
Let a(n) be the second derivative of 24*n - 2/3*n**3 - 5/2*n**2 + 0. Is 13 a factor of a(-20)?
False
Suppose 2*q - 5*q + 10 = 2*u, -4*u + 4 = -2*q. Let s be u/5 + (-56)/(-35). Does 21 divide ((-138)/5)/(s/(-5))?
False
Suppose 4*g + 3*g = -19*g + 391482. Is g a multiple of 19?
False
Let x = 65 + -75. Let b(r) = -10 + 24*r - 7*r**2 - r**3 + 3 - 7*r. Is 15 a factor of b(x)?
False
Is 88 a factor of 3/(2*42/(-112) + (-8454)/(-11264))?
True
Let z = 104391 - 41306. Is 185 a factor of z?
True
Let l(g) = 3*g**2 - 11*g - 28. Let y(r) = 10*r + 135. Let n be y(-14). Does 11 divide l(n)?
False
Let s(m) = -m**3 - 11*m**2 - 12*m + 3. Let y be s(-8). Is 13 a factor of (-2 + y/2)*(-5 + 3)?
False
Suppose 33*s - 62900 - 261424 = 5*s. Does 147 divide s?
False
Let s(l) = 28*l + 250 - 28 + 34*l - 16*l - 4*l. Is 40 a factor of s(7)?
False
Let x(g) = 2226*g**3 - 5*g**2 + 14*g - 7. Does 4 divide x(1)?
True
Let h = 19 - 0. Let v(n) = -2*n**3 + 24*n**2 - 11*n - 21. Let p be v(h). Does 44 divide (-2)/15 + p/(-30)?
True
Let r = 1723 - 355. Is r a multiple of 143?
False
Suppose -10*x + 26 = -134. Suppose 25*a - x*a = 315. Is 7 a factor of a?
True
Suppose 4*i + v = -2074, -2*i - 214 = -v + 826. Let l = -419 - i. Is 10 a factor of l?
True
Let u be (-90)/(-24) + (-5)/(-4). Suppose -i + 36 = u*i. Suppose -24 = -2*n - 0*n - 3*h, -n + i = 3*h. Is 6 a factor of n?
True
Suppose -142*y + 17435 = -173. Does 5 divide y?
False
Suppose 151 = 5*g + 121. Does 14 divide 2*(501/g - -6)?
False
Let v(x) = -85*x**2 + 8*x - 24. Let u(a) = 43*a**2 - 4*a + 12. Let n(k) = 13*u(k) + 6*v(k). Is 10 a factor of n(4)?
True
Let j be (-1 + -6)*7/(49/(-28)). Suppose j*v - 4*v = 8712. Is 13 a factor of v?
False
Suppose 307329 + 2129402 = 209*u. Is 86 a factor of u?
False
Let k = 30 + -27. Suppose -2*a - a - 1308 = -3*x, -k*x + 2*a = -1307. Is 23 a factor of x?
False
Suppose 3*v + 552 = -60. Let g be ((-212)/8)/(6/v). Suppose g = 7*r - 30. Is 14 a factor of r?
False
Let q = -391 - -551. Let m = 281 + q. Suppose -5*j = 2*j - m. Is j a multiple of 21?
True
Let y(d) = 13 + d**2 + 0*d**3 + 0 + 5*d - d**3 + 0*d**3. Let j be (-2)/3*(-45)/(-6). Is 33 a factor of y(j)?
False
Let m(x) be the first derivative of 17*x**2/2 + 35*x + 18. Does 19 divide m(8)?
True
Let m = -117 + 111. Let f be (m/(-12))/((-2)/400) - 1. Let n = f - -206. Does 15 divide n?
True
Let v(p) be the third derivative of -10*p**4/3 - 2*p**3/3 - 44*p**2. Let y be v(-2). Suppose -563 + 139 = -3*j - s, 4*s - y = -j. Is 14 a factor of j?
True
Let l = -178 - -204. Let w = 139 + l. Is 4 a factor of w?
False
Let w(b) = b**3 - 10*b**2 - 5*b - 62. Let s be w(11). Suppose 14*p - s*p - 1190 = 0. Does 23 divide p?
False
Let d(c) = -15 - 5*c + 0*c + c + c. Let m be d(5). Is 27 a factor of 12/m - 552/(-5)?
False
Suppose -980 = -10*h + 14*h. Let j = -208 - h. Does 29 divide j?
False
Suppose 0 = -2*m + 2, -2*v - 4*m - 1329 = -3*v. Suppose -3*f - v = 5*j, -431 = f - 7*j + 2*j. Let l = -300 - f. Does 35 divide l?
False
Let s = -41 - -86. Let p be (-4)/(-18) - ((-40805)/s + 1). Suppose -17*f = -11*f - p. Is 37 a factor of f?
False
Let d(s) = -2*s**3 + 14*s**2 + 52*s + 17. Does 15 divide d(-17)?
True
Suppose 0 = -3*f - 2 - 1. Let x = 170 + -172. Does 32 divide (f - 126)*2/x?
False
Let y(f) = 59*f - 283. Let h be y(5). Suppose -3*g + h*g = 2223. Is g a multiple of 14?
False
Let c be 0 + -1 - (-2 + -340). Let y(b) = -11*b + 723. Let j be y(82). Let w = j + c. Is w a multiple of 27?
True
Let d(q) = -146 + 2*q**2 + 398 - 4*q**2. Let i be d(0). Let g = i + -151. Is 18 a factor of g?
False
Suppose 23*c - 1591 = -670 + 1609. Is 22 a factor of c?
True
Let x(n) = 3*n + 26. Let i(l) = -4*l + 29. Suppose -y + 5 = -2*j - 4*y, -4*j + 3*y + 35 = 0. Let a be i(j). Is 16 a factor of x(a)?
False
Suppose 0 = 4*s - v - 11, 6*s - 5*s + 5*v - 29 = 0. Suppose -67 = -h - s. Is h a multiple of 20?
False
Is 9446 + (85/34)/(5/(-12)) a multiple of 16?
True
Let l(w) = -21*w + 13. Suppose 1 - 29 = 4*s. Let u be l(s). Suppose 6*d + u = 11*d. Is 12 a factor of d?
False
Is 7 a factor of (1885/10 + 4)*(11 - 3/(-1))?
True
Suppose 3*n = -4*c + 759, -5*c - 54*n + 51*n = -945. Is 186 a factor of c?
True
Suppose h = 14*h + 3575. Does 7 divide (-1168)/(-22) - (-25)/h?
False
Suppose 2*j = 3*s + 2*s + 3399, -4*s + 12 = 0. Let b = 2404 - j. Is b a multiple of 20?
False
Let r = -57 - -63. Suppose r*n + 63 = -n. Is (-1)/(n/(-60))*63/(-14) a multiple of 6?
True
Let n = 46343 + -16124. Is 11 a factor of n?
False
Suppose -4*k = i + 6, -i + k + 2 = 23. Is 12/10*(-9 - 11202/i) a multiple of 16?
True
Let s(z) = -7*z**3 + 11*z**2 + 13*z + 10. Let g(u) = 6*u**3 - 10*u**2 - 11*u - 10. Let c(f) = 6*g(f) + 5*s(f). Is c(6) a multiple of 5?
True
Let u(g) = -681*g - 94. Let w be u(-4). Suppose 3*