
Let d be (6/(-7))/((1/1)/7). Let p be 50/((-1)/d + 0). Suppose -5*m = -7*m + p. Is m a multiple of 25?
True
Let h be (10*-3)/3 + 3. Let r = h + 247. Does 20 divide r?
True
Let d(a) = a**2 + 7*a + 11. Let t be d(-6). Suppose 2*c + t*y = 305, 6*y - 8*y = -2*c + 270. Does 5 divide c?
True
Let u(f) = f + 350. Does 4 divide u(-24)?
False
Let d(w) = 1583*w - 7578. Is 15 a factor of d(10)?
False
Let o(v) = -6*v**2 - 7*v + 4. Let c(d) = -5*d + 19 - 16 + 0*d**2 - 4*d**2 + 0*d. Let g(q) = 7*c(q) - 5*o(q). Is 17 a factor of g(-4)?
False
Let t be 2*((-25545)/(-10))/(-13). Is t/(-6)*10 + 5 a multiple of 33?
True
Let c be (174/(-8))/(135/(-24) + 6). Let h = c + 111. Is h a multiple of 10?
False
Let t = -458 + 472. Does 6 divide 480 + t + 4/(-2)?
True
Let w = -160 + 160. Suppose 3850 = -w*n + 14*n. Is n a multiple of 21?
False
Let h(l) = 309*l - 503. Is h(6) a multiple of 7?
True
Is 3 a factor of 42/5*(188 - 108)?
True
Let n(y) be the third derivative of -y**5/30 + y**4/12 - 15*y**3 + 28*y**2. Let l be n(0). Let r = 103 + l. Is 2 a factor of r?
False
Let v(c) = 32*c**2 - 11*c - 7. Suppose 0 = -3*t - 8 - 7, 4*r + 3*t - 13 = 0. Does 14 divide v(r)?
True
Is 43 a factor of (448/21 + -22)/(6/(-55341))?
True
Let i = -2668 + 5521. Is 74 a factor of i?
False
Let t(h) = 3*h - 27. Let k be t(-8). Let s be ((-10)/(-4) + -1)/(k/(-136)). Suppose -2*c + 220 = s*j, -j = 3*j + 20. Does 24 divide c?
True
Let b = -1614 - -1680. Is b a multiple of 22?
True
Suppose -69*z + 4321 = l - 64*z, 2*l + z - 8633 = 0. Is l a multiple of 13?
True
Suppose 3*q - 1 = 4*z + 10, 0 = -5*q + 4*z + 21. Let i = -112 + 118. Suppose i + 0 = -2*p, -2*g - q*p = -21. Does 6 divide g?
True
Let f(y) = 16*y**2 - 9*y - 6. Does 36 divide f(9)?
False
Let g(l) = -l + 17. Suppose -5*m + 4*y = -3*m + 72, -4*m - 3*y - 133 = 0. Let d = -30 - m. Is g(d) a multiple of 12?
False
Suppose 5*v - 36160 = 2*n - 6*n, -2*n - 28954 = -4*v. Is 59 a factor of v?
False
Let i(w) = -w**2 - 2. Let b be i(2). Let d(m) = -3*m**3 - 17*m**2 + 7*m. Let f be d(b). Does 2 divide f/4*(-112)/42?
True
Let j(o) = 3*o**3 + 44*o**2 - 5*o - 137. Let u(h) = -5*h**3 - 65*h**2 + 7*h + 206. Let y(v) = 8*j(v) + 5*u(v). Is y(26) a multiple of 54?
False
Suppose -9*g + 8 + 46 = 0. Let t be (g/(-7))/(15/(-70)). Suppose 4*d + 155 = 5*w - 0*d, 0 = w - t*d - 47. Does 5 divide w?
False
Let t be 2/6 - (4784/(-12))/(-2). Let h = -148 - t. Suppose 44*k + 98 = h*k. Is 7 a factor of k?
True
Suppose 2*a - c = 5478, 4*a + 2*c - 4176 - 6772 = 0. Let v = -1852 + a. Is v a multiple of 10?
False
Let a be (12/(-20)*-12)/((-4)/50). Let p = 102 + a. Suppose 0 = -3*t + p*t - 657. Is t a multiple of 10?
False
Let m(a) = 47*a + 122. Let b be (-1 + 0)*81/(-9). Does 22 divide m(b)?
False
Let m(y) = 139*y + 1750. Is m(40) a multiple of 5?
True
Let v(n) = n**3 + 5*n**2 - 22*n + 9. Let b be 2/1 - 27*(-2)/(-6). Let z be v(b). Suppose 12*m - z = 2011. Is 33 a factor of m?
False
Let t be (2/(-6))/((-4)/(-24)). Let o be (t/(-4))/(10/40). Let f = 46 + o. Does 8 divide f?
True
Let c(m) = 48*m - 38. Let x(k) = 49*k - 40. Let f(g) = 3*c(g) - 2*x(g). Is 19 a factor of f(14)?
False
Suppose 6*w = 5*w. Let u be w + 4 + -8 - -274. Let h = u + -163. Is 17 a factor of h?
False
Suppose 5*i + 10230 = 5*c, 4*i = -0*c - 2*c + 4116. Is c a multiple of 5?
True
Suppose 61*j - 62*j - 2 = 0, -2*j = -c + 14761. Is 7 a factor of c?
False
Suppose 12*a - 1521 = 3*a. Let r = 201 - a. Does 2 divide r?
True
Let x(f) = -76*f - 2066. Is 72 a factor of x(-37)?
False
Does 122 divide 2550 + -20*(-15)/25?
True
Let z(t) = 592*t**2 + 465*t + 2357. Is z(-5) a multiple of 12?
True
Suppose 3*g - j - 52 = 0, 9*j - 11*j + 4 = 0. Suppose 0 = -s + 4*s - 102. Let i = s - g. Does 16 divide i?
True
Let o be (-2)/(-4) - (-35)/14. Suppose 4*t - o*t - 282 = 0. Does 13 divide t?
False
Let o be 72/54*6795/6. Suppose -2*n + 1010 = -x, 3*n + 4*x = 3*x + o. Is n a multiple of 9?
True
Suppose -3*t = -2*a - 0*t + 32, 4*t = 0. Let q(r) = 3*r + 8 + 4*r + 4*r**2 - a. Does 21 divide q(4)?
True
Let o = -64 - -68. Suppose 12 = n - 2*c + c, o = -n - 3*c. Does 31 divide (-80)/(-25)*620/n?
True
Let c(y) be the second derivative of 19*y**3/6 - 217*y**2/2 - 2*y + 34. Does 22 divide c(26)?
False
Let x be (33/5 + -6)*(4 + 111). Suppose -4*z - x = 5*p - 717, -z + 3*p + 179 = 0. Is z a multiple of 4?
False
Let l(c) = -2*c**2 + 25*c - 3. Suppose w + 9 = 22. Let p be l(w). Is 4 - p - (1 + (-2)/(-1)) a multiple of 8?
False
Let t be 3197/6 + ((-125)/(-30))/25. Suppose 3*h = -2*j + 1044, -3*h = j - 7*h - t. Is j a multiple of 31?
False
Let b(k) = 4*k**2 + 67*k + 836. Does 9 divide b(-17)?
False
Let j = -200 + 202. Suppose j*o = -3*q + 25 + 33, 0 = -3*q - 5*o + 73. Is 3 a factor of q?
False
Let q = 30937 - 9897. Is q a multiple of 98?
False
Suppose 0*h + 4 = h + 4*l, -4*h = -3*l - 16. Let x be ((-2)/3)/(4/(-6)) - -314. Suppose -4*v = h*j - 752, -4*v = 5*j - 620 - x. Is j a multiple of 24?
False
Let h(p) = -26*p**3 - p**2 + 6*p. Let m be h(2). Let l = m + 564. Is l a multiple of 62?
False
Let j = -285 + 285. Suppose 5*p - 3*v = -8 + 42, -2*v + 4 = j. Does 3 divide p?
False
Let x be (-4)/34 + (-119720)/(-340). Let u = x + -30. Is 46 a factor of u?
True
Let u be -25 - (-7*(-30)/70)/(1/(-1)). Let l(t) = 11*t**2 - t + 2. Let m be l(2). Does 15 divide (-4)/u - (-6 - 5800/m)?
False
Does 6 divide (2 + (-1427)/2)*24*(-230)/460?
True
Let y(x) = 5*x + 4. Let t be y(0). Suppose t*o - 144 = -b + 2*o, 4*b - 4*o = 552. Does 26 divide b?
False
Let b(h) = 3*h + 15. Let x be b(-5). Let c(s) = x*s - 9 + 6*s - 3*s + 6*s**2. Is c(3) a multiple of 27?
True
Let o = -17653 - -23800. Does 9 divide o?
True
Suppose -16*q - 3*q + 146701 = -194102. Is q a multiple of 17?
False
Let d = 33833 + -15356. Does 46 divide d?
False
Let r = -861 + 585. Let o = -242 - r. Does 4 divide o?
False
Let l(b) = -18*b**2 + 5*b - 4. Let j be l(2). Let g be (-44)/j*(-54)/(-4). Suppose -60 = -3*f + g. Is 5 a factor of f?
False
Let a(d) = 2*d**2 - 5*d + 1. Let s be a(3). Is 0/(6 - 8) + s a multiple of 3?
False
Suppose -k - 5 = s + 102, -2*s = -5*k - 521. Suppose -m - 885 = 4*m. Let j = k - m. Does 18 divide j?
True
Suppose 4*i - 3*o + 76 = 0, 2*i - 3*o = -3*i - 95. Does 5 divide (i/38)/((-1)/58)?
False
Suppose 677*f + 448756 = 705*f. Is 28 a factor of f?
False
Let j(f) = 6*f - f**2 - 18*f + f - 14. Does 4 divide j(-7)?
False
Let v be 4/(-8) + (-30)/(-4). Let l(i) = 3*i + 57. Does 19 divide l(v)?
False
Suppose -14*p = -20*p + 24. Suppose w - p*y + 2 = 31, -4*w = 3*y - 135. Is w a multiple of 4?
False
Let z = 38 - 21. Suppose 5*r = -2*s + z, -s + 35 = 2*s - 2*r. Let i = s + -1. Is i a multiple of 3?
False
Let g(j) = -5 + j + 23 + 16 + 2. Does 3 divide g(7)?
False
Suppose 0 = 4*g + 2*w - 7*w + 24, 3*w = 0. Let n be (-9)/(-12)*(-40)/g. Suppose -3*t - 66 = -n*t. Is t a multiple of 11?
True
Suppose 0 = 3*y - 4*o + 22, -2*o = -y + o - 9. Let t(p) = 1336 - 1375 + 5082*p - 5096*p. Does 19 divide t(y)?
False
Let x(w) = 5*w - 68. Let y(g) be the first derivative of 2*g**2 - 69*g + 5. Let z(r) = 3*x(r) - 4*y(r). Is 6 a factor of z(0)?
True
Suppose -4*t = -5*m + 242, -3*m + 129 = 4*t - t. Let o = 42 - m. Does 4 divide o - (-2 - 0 - 20)?
False
Let n = -113 - -156. Suppose -19*s + n*s - 7992 = 0. Is 18 a factor of s?
False
Let g = 569 + -350. Suppose -g = -4*f + 621. Is 12 a factor of f?
False
Let w = 65 + -29. Let k = w + -35. Does 5 divide 13 + 6 + 4/k?
False
Let x(i) = 20*i + 176. Let u be x(-18). Is 17 a factor of -1 - ((-108)/24)/((-3)/u)?
False
Suppose -18*z = 10732 - 3766. Is 4 a factor of (-3)/((-3)/(-5))*z/15?
False
Let g = 132 - 107. Suppose 26*s = g*s + 52. Is 52 a factor of s?
True
Suppose 4*q - 248 = -4*y, -4*y = -2*q + y + 124. Let t be -43 + -2 + 1/1. Let x = q + t. Is 9 a factor of x?
True
Let b be (2/(-4))/(((-3)/(-12))/(-1)). Suppose -b*c = -219 + 15. Suppose c = 5*l - 4*w, 5*l - 3*w - 5 = 99. Is l a multiple of 11?
True
Let o(c) = -c**3 + 19*c**2 - 35*c - 22. Let k be o(17). Let z = 90 + k. Let r = -36 + z. Is r a multiple of 5?
True
Let q be 24/((7/(-14))/((-2)/(-4))). Let m = 21 + q. Does 13 divide (3 + 0 - -29) + m/1?
False
Let j(p) = 18*p**2 + 5*p - 9. Let u be j(2). Suppose -2*b + 5*b - u = -n, -3*b = 2*n - 152. Is n a multiple of 19?
False
Let q(m) = -1 + 35*m**2 + 6*m - 18*m**2 - 4*m. Let