 ((-26)/10 + (-12)/4)*f?
True
Let g be (-1)/((-15)/(-711))*-35. Suppose -3*p = -3*i - g, 5*i - i = 2*p - 1104. Does 42 divide p?
False
Let x(n) = 360*n - 2162. Is 8 a factor of x(17)?
False
Let m = 387 + -387. Suppose m = 3*k - 3, 4*q + 3*k = 4*k + 1111. Does 3 divide q?
False
Suppose 0 = -d - 2*d - 51. Let k(c) = 18*c**2 + 6*c + 5. Let r(u) = 54*u**2 + 17*u + 14. Let b(x) = d*k(x) + 6*r(x). Is b(-1) a multiple of 7?
False
Is (-1347801)/(-234) - (1 - (-35)/(-30)) a multiple of 36?
True
Let r = -5978 - -11164. Is r a multiple of 13?
False
Suppose 13*x - 14*x = -4*v + 6964, -5*v = -5*x - 8720. Is 30 a factor of v?
True
Let n = 14007 + -3854. Does 143 divide n?
True
Let n(b) = -2*b**3 + b**2. Suppose -5*r - 4 = -r. Let q be n(r). Is 18 a factor of (-1)/q*(0 + -141)?
False
Suppose -2*o = 3*o - 1110. Let z = -106 + o. Suppose -z + 374 = 5*g + 4*i, -256 = -5*g - 3*i. Is g a multiple of 10?
True
Suppose -20 = 13*g - 18*g. Let s(n) = g*n**3 + 9*n**2 - 53*n - 5*n**3 + 45*n. Is 15 a factor of s(6)?
True
Let s(m) = -m**3 - 10*m**2 + 3*m + 18. Suppose -4*l + 2*v = v + 49, -l = -4*v + 16. Is s(l) a multiple of 44?
False
Suppose n + 5*g - 3 = 0, 3*n + 6 = 5*n - 5*g. Suppose n*p - l + 17 = 0, 3*p - 4*l + 7*l = -33. Does 3 divide p + 43 - (-2 + 5)?
True
Let p(i) be the second derivative of -i**5/20 + 7*i**4/6 - 11*i**3/6 + 4*i**2 - 10*i - 6. Is 9 a factor of p(5)?
False
Let s = -55 + 57. Suppose -413 = -5*i + 2*l, i + 2*l = 4*l + 81. Let p = i - s. Does 9 divide p?
True
Let p(j) = -3439*j - 6542. Is 14 a factor of p(-5)?
False
Let m be 182196/228 - (-4)/(-38). Suppose 227 + m = 2*v. Does 9 divide v?
True
Suppose -17200 = -4*c - 4*v, -62*c + 4296 = -61*c + 5*v. Does 10 divide c?
False
Let u(p) = 4*p**2 + 7*p + 2. Let l be u(-4). Suppose 4*i = -3*n - 52, 5*n + i + l = 3*n. Let o = 59 + n. Is o a multiple of 39?
True
Suppose 0 = -16*u + 1969 - 1137. Is 13 a factor of u?
True
Let p(k) be the second derivative of 479*k**4/12 - 5*k**3/3 + 11*k**2/2 + 229*k. Is p(1) a multiple of 8?
True
Suppose 3*b = 2*g + 35233, -59*b + 55*b + 3*g + 46977 = 0. Is b a multiple of 45?
True
Let y be 12 + -22 + (-54)/(-6). Let r(a) = a + 7*a**2 + 6 + 47*a**2 - 5. Is r(y) a multiple of 27?
True
Let w(z) = z**2 + 3*z - 3. Let s be w(-3). Let y = -577 + 576. Is s - (1 + -81 + (-2)/y) a multiple of 15?
True
Let u(f) = f**3 - 12*f**2 - 44*f + 26. Let n be u(18). Suppose 6*k - n = 544. Does 41 divide k?
True
Let p(r) = -251*r - 1178. Does 24 divide p(-22)?
True
Does 108 divide -20550*6/(-84)*7?
False
Let d(q) = 4*q - 7*q**2 - 84*q**3 + 5 + 85*q**3 + 5 - 5*q. Suppose 2*b - a = 16, -a = -6*a - 10. Is d(b) a multiple of 2?
False
Let y = -79 + 81. Suppose 0 = y*n - 4*o - o + 332, 4*o = 4*n + 652. Let w = n - -250. Does 16 divide w?
False
Let f be (-3)/((-37)/(-6) - (2 - -4)). Is 12 a factor of 4/f + (-40148)/(-36) + 1?
True
Let x(o) = -287*o + 7915. Is x(25) a multiple of 10?
True
Let t(q) = -q**3 + 2*q**2 + q - 1. Let g(v) = 2*v**3 + 17*v**2 + 22*v + 9. Let p(o) = g(o) + t(o). Is 13 a factor of p(-17)?
True
Let r be (-33)/(-4) + 2/(24/(-3)). Let l = r + -7. Does 5 divide 316/8 + l/2?
True
Let g = -30 + 32. Suppose g*f + 58 = 148. Is 15 a factor of f?
True
Suppose -20 = -3*c - 2*g, 2*c - 3*g + 7 = 3. Suppose -4*h + j + 2847 = 0, j - 696 = -h - c*j. Is h a multiple of 9?
True
Let h(d) = 9*d**3 + 5*d**2 - 7*d + 6. Let b be h(2). Suppose -b = 33*w - 35*w. Does 17 divide w?
False
Let z = 411 - 204. Let l = z - 125. Does 23 divide l?
False
Let m(p) = 15*p + 78. Let v = -839 - -846. Does 3 divide m(v)?
True
Let p = 166 - -648. Suppose -2*f + p = 94. Suppose 144 = 2*h + 4*q + q, 5*h + 5*q = f. Is h a multiple of 18?
True
Let j = 53 + -52. Let n be (-1 + 4/(-3))/(j/78). Does 4 divide (-18)/7*n/39?
True
Let x be (-1 + (4 - 5))/(-2). Let o(d) = 319*d + 33. Does 13 divide o(x)?
False
Let g be ((-549)/12)/(1/(-20)*3). Let n = g - 106. Is n a multiple of 25?
False
Suppose 3*l + 2*l = 2*l. Suppose l = -x - 5*a - 49, -5*x + a = 4*a + 201. Let y = x - -63. Is y a multiple of 6?
True
Let s(l) = -l + 15. Let n = 49 + -44. Let b be s(n). Does 8 divide 20 - 4/b*(-20)/(-8)?
False
Suppose 0 = 2*t + 90*t - 1681668. Is 232 a factor of t?
False
Suppose -2 = 2*c, -2*p + 18*c - 14*c = -28388. Does 8 divide p?
True
Suppose 3*y = 5*m + 14, -m - 2*m - 4*y = 20. Let l be 5 - m - 0 - 4. Suppose -l*c + d + 174 = 0, -5*c - d - 74 = -250. Is c a multiple of 7?
True
Let l(g) = 14*g**2 - 12*g - 16. Let n be l(5). Let a = -121 + n. Is 11 a factor of a?
False
Suppose 6*i - 2 = -2. Let h(l) = -5*l + 33. Does 5 divide h(i)?
False
Let o = 957 - -6039. Does 97 divide o?
False
Suppose 5*q + z - 1262 = 0, -56*q + z + 250 = -55*q. Suppose 0 = 4*u + 3*o - 504, 0 = -11*u + 13*u + 5*o - q. Does 3 divide u?
True
Suppose 4*m - 5*i - 6804 = 0, -3*m + 4*i + 729 = -4374. Suppose -47*n = -44*n - m. Is 27 a factor of n?
True
Let g = -66 - -68. Let m = 0 + g. Suppose m*r = 186 + 192. Does 16 divide r?
False
Suppose -v - 746 = -747, 4*r - v - 3183 = 0. Does 13 divide r?
False
Suppose 4 = y, 34*n - 39*n + y = -73666. Is n a multiple of 52?
False
Let k(z) = -12*z - 42. Let a be k(-15). Let j = -308 + a. Let d = -81 - j. Is 8 a factor of d?
False
Let u = -131 - -139. Let d = u - -155. Is d a multiple of 5?
False
Let m be 4/(-5) + (-16)/5. Let l be 2*1*(-3 - m). Suppose -3*g - l*g + 3*n + 290 = 0, 2*g = 4*n + 102. Does 9 divide g?
False
Let d(c) = -c**2 - 13*c + 30. Let z be d(-15). Let s = 6 - z. Is 111*(-1)/(-2)*20/s a multiple of 37?
True
Is 1*265*(20034/585 + 12/78) a multiple of 172?
True
Suppose -12*r - 81 = -15*r. Let k be (-4)/18 - (-870)/r. Suppose f - 2*b - k = 0, 3*f - 116 = 2*b - b. Does 10 divide f?
True
Let m be ((-4)/(-10))/1 + 90/25. Suppose -3*h - i = -0*i - 572, h = -m*i + 176. Does 8 divide (7/14)/(1/h)?
True
Suppose -16 = 4*a - 0. Is 12 a factor of a - (66/5)/(27/(-180))?
True
Suppose 0 = 3*j - 4*o + 55, -4*j = 2*o + o + 115. Let g = j + 21. Is 9 a factor of (52 - 0) + 8 + -2 + g?
True
Let t = 73147 + -24821. Is 73 a factor of t?
True
Let s be (44 - -3)/(-3 - -2). Let x be s/(-9) - (-10)/(-45). Suppose x*n + 5*u - 1245 = 0, 0*u + 3*u + 723 = 3*n. Does 35 divide n?
True
Let x = -401 - -60. Let s = x + 387. Is 46 a factor of s?
True
Let s be (1 - -1)*(-12)/(-8). Suppose b + s*m - 3 = 5*b, b - 5*m = -5. Suppose b = q - c - 3*c - 19, -5*q + 110 = -5*c. Is q a multiple of 10?
False
Let s = 21996 + -2774. Is 18 a factor of s?
False
Let h(z) be the second derivative of -1/2*z**5 + 0 - 1/3*z**3 + 11*z - 1/12*z**4 - z**2. Does 3 divide h(-1)?
True
Let b(o) = 22*o**2 - 30*o - 7. Suppose 10*y - 138 = -98. Is b(y) a multiple of 15?
True
Is 30 a factor of ((-1556)/3)/(736/(-10488))?
False
Suppose 27*x + 67129 = 61*x - 80873. Is 2 a factor of x?
False
Suppose -3*s - 22 = 5. Is 46 a factor of (-11)/(33/s) - -514?
False
Let b = 378 - 337. Suppose -34*v = -b*v + 4137. Is v a multiple of 21?
False
Let b(u) = -u + 7. Let a be b(8). Does 42 divide 18*(-45)/(-5) - a?
False
Let m = -454 - -464. Suppose -3*u = 4*d - 1511, -m*u + 2 = -8*u. Is d a multiple of 5?
False
Let y(x) = 11*x**2 - 9*x - 13. Let h be y(-6). Suppose -5*u = j - 1550, 3*j - 208 = 3*u - 1138. Let p = h - u. Is p a multiple of 34?
False
Let a(l) = l**3 - 14*l**2 + 11*l + 8. Let h be a(13). Let w = h + 22. Is 4 a factor of w?
True
Let l(q) = -4*q + 40. Let z be l(8). Let b(w) = w + w**3 + z*w + 398*w**2 - 384*w**2 - 37. Does 3 divide b(-13)?
True
Suppose 151*m = -108*m + 677509 + 645981. Is 6 a factor of m?
False
Suppose 0 = -2*o - 4*r + 144, -2*r + 0 + 6 = 0. Suppose 279 + o = 15*l. Is l a multiple of 20?
False
Suppose -z + 35*u = 40*u - 168, -z + 204 = -u. Does 66 divide z?
True
Let t(y) = -11*y**2 - 290*y - 55 - 295*y + y**3 + 579*y. Is t(13) a multiple of 5?
True
Suppose x + 49 = 44, -4*z - 4*x = -25600. Is z a multiple of 11?
False
Suppose 0 = -4*i - c + 46527, 4*i - 5*c = -21967 + 68548. Is i a multiple of 21?
True
Let n(i) be the first derivative of 2*i**3/3 + 2*i**2 - 8*i + 8. Let s be (-4)/1*72/(-32). Is 25 a factor of n(s)?
False
Let m(y) = -28*y + 385. Let r be m(14). Let j(u) = -6*u**2 - 60*u - 23. Does 3 divide j(r)?
False
Suppose 27 = 2*s - v, -9*v = -5*s - 11*v + 54. Is 11 a factor of (s/(-21))/((-46)/93863)?
True
Let d = 197 + -192. Suppose -2*q = -0*q + 5*s - 19, 5*s = 1