ivide (-363)/(-4) - (0 + 2/w)?
True
Suppose 5*u = -11*u + 432. Is 5 a factor of (-18)/u*(0 + -207)?
False
Let o(w) = 2*w - 15. Suppose 5*n - 78 = -28. Let j be o(n). Suppose 67 = 2*v - 3*m + 8*m, -j*m + 41 = v. Is v a multiple of 13?
True
Let g(j) = j**3 - 6*j**2 + 4*j - 11. Let h = -45 + 52. Let d be g(h). Is 3 a factor of 22/d - 190/(-6)?
False
Let f(x) = -2*x**3 - 7*x**2 - 5*x - 15. Let s be f(-5). Suppose s*c = 83*c + 456. Suppose -c = -a - 8*h + 4*h, 4*a - 822 = 2*h. Is 17 a factor of a?
False
Let g(s) be the second derivative of 14*s**4 + 5*s**3/6 + s**2 - 2*s - 24. Is 15 a factor of g(-1)?
True
Suppose 4*f - 2*n = 2016 + 738, -3*f + 2063 = -4*n. Suppose 8*v + f = 21*v. Suppose 144 = 57*s - v*s. Does 9 divide s?
True
Let o = 3700 + -1560. Suppose o = 17*d - 3980. Is d a multiple of 36?
True
Let s(b) be the third derivative of b**6/120 - b**5/10 + b**4/8 + 2*b**3 + 33*b**2. Let i be s(5). Suppose -4*h - i*h = -936. Is h a multiple of 26?
True
Let j(g) = 11*g**2 - 4. Let m be j(4). Suppose 2*i + 4*u + 174 = 0, -5*i + 199 = 3*u + 641. Let s = m + i. Is 43 a factor of s?
False
Let z be 0*((-18)/4 + 4). Suppose z*o + 5*o = 25. Suppose -2*x = 5*k - 49, k - o = -x - x. Does 11 divide k?
True
Suppose 14*m - 240 = 2*m. Let s be (2/6)/(m/7380). Suppose -s = -4*j + 17. Is 15 a factor of j?
False
Suppose 0 = -182*r + 151*r + 9548. Is r a multiple of 44?
True
Let r(h) = 12*h - 2*h**2 + 11*h**2 + 23*h**2 + 23*h + 16 - h**3. Does 50 divide r(33)?
False
Suppose 0 = -2*d + 28 - 2. Suppose d*m = 21*m - 592. Is m even?
True
Let r(z) = 2*z**2 + 49*z - 251. Does 37 divide r(-64)?
False
Let l(c) = -9*c**2 - 3*c - 12. Let w be l(-4). Suppose 5*h + 105 = -o - 79, h = -2*o - 404. Let d = w - o. Is 12 a factor of d?
True
Is 3/42 - (-222717)/714 - 12 a multiple of 25?
True
Let s(a) be the third derivative of -a**5/60 - a**4/6 + 4*a**3/3 - 9*a**2. Let h be s(-5). Does 8 divide 94/h*(-72)/(-48)?
False
Suppose 52 + 137 = 27*q. Let g(v) = 8*v**2 + 5*v + 23. Does 15 divide g(q)?
True
Let z(t) = 862*t**3 + 4*t**2 + 63*t - 136. Is z(2) a multiple of 238?
True
Let n(a) = 28*a**3 + a. Let k be n(-1). Let l = 31 + k. Does 11 divide 129/l - (-5)/10?
False
Let s be ((-2)/(-4))/(4/168). Suppose -z + 0*z = -3. Suppose -5*k = g - 85, -6 + s = z*g. Is k a multiple of 16?
True
Suppose 4*c - 12*c = -3608. Let y = c - 77. Is y a multiple of 22?
True
Suppose 318*j - 235 = 319*j. Is 9 a factor of (-108)/10*(j/10 + 6)?
True
Let y(v) = -14*v + 4*v + 16 + 2*v + 8*v**2. Is 4 a factor of y(3)?
True
Suppose o = 996 + 4458. Is o a multiple of 59?
False
Let x(g) = g**3 + 10*g**2 - 7*g - 8. Let u be x(-6). Let m = 63 + u. Suppose 49 - m = -6*a. Is a a multiple of 3?
False
Suppose 9*l + 518 = 2*l. Let x(g) = -4*g**2 + 6*g + 1. Let f be x(-5). Let t = l - f. Is t a multiple of 11?
True
Let l = -236 + 249. Suppose 7876 = l*r + 2026. Is 9 a factor of r?
True
Does 105 divide 52/(-182) - 7/((-196)/87564)?
False
Is ((-138900)/(-35) - -1) + 12/(-21) a multiple of 21?
True
Let w(h) = 75*h**2 - 24*h**3 - 21*h**2 + 23*h**3 - 8 - 193*h. Does 19 divide w(50)?
True
Let q(v) = -v**3 + 23*v**2 - 44*v + 47. Let b be q(21). Let n(l) = 2*l**3 - 6*l**2 + 11*l - 4. Is n(b) a multiple of 14?
False
Suppose 4*r - 584 = 4*f, 0*r = -r + 2*f + 146. Suppose r*t = 148*t - 704. Is 5 a factor of t?
False
Suppose 0 = -8*j + 11*j + 36. Let w(p) = -p**2 - 11*p + 8. Let b be w(j). Is (18/4 + b)*86 a multiple of 20?
False
Let d(v) = 470*v**2 + 6*v - 90. Is d(5) a multiple of 14?
True
Let i = 41 + -47. Let g = i - -43. Suppose -4*c - 3*v + g = 0, 3*c + 3*v = c + 23. Does 5 divide c?
False
Let t be (-26 - -24)/(2/(-247)). Let k = t - 2. Does 8 divide k?
False
Let x be (1*-1)/(3/6). Let q(l) = l**2 - 43*l + 123. Let u be q(39). Is 88/u*x*6 a multiple of 13?
False
Let t = -53 + 45. Let p = t - -376. Is 35 a factor of p?
False
Does 14 divide (3/5)/((-1053)/(-24637860))*(-6)/(-8)?
False
Suppose 160 = -6*a + 160. Suppose -5*u + 5*x + 465 = a, -5*u + 9*u - 347 = -x. Is u a multiple of 7?
False
Let o(i) = i**2 + 6*i + 3. Let b be o(-6). Suppose b*h = 6*h - 84. Suppose 0 = h*q - 33*q + 100. Is 6 a factor of q?
False
Suppose 0 = -3*r - 3*g + 469 + 17, 4*g - 490 = -3*r. Suppose 4*v = -5*w + r, 4*v + 2*w = 7*v - 107. Suppose -157 = -2*h - v. Is h a multiple of 20?
True
Let t(j) = -j**3 - 10*j**2 + 11*j + 15. Let n be t(-11). Suppose -n*i = -3067 + 322. Does 61 divide i?
True
Let y(a) = 204*a**2 - 81*a - 9. Is 5 a factor of y(7)?
True
Let n(y) = -y - 2. Let z be n(-4). Suppose -z*v + 29 = g, 0 = 4*g - 5*v - 81 - 48. Let j = 20 + g. Is j a multiple of 13?
False
Let f(h) = 212*h + 1327. Is f(39) a multiple of 105?
False
Let k = 368 + -349. Does 12 divide (106/3)/(k/399)?
False
Suppose 6000 = 3*r + 5*i - 1125, -3*r = 4*i - 7128. Does 28 divide r?
True
Let n(p) = 734*p - 5146. Is n(17) a multiple of 10?
False
Let z = 140 - 137. Let j be (30/(-24) - z)*-4. Let v = 61 + j. Is v a multiple of 6?
True
Let c be 10 + ((-9)/12)/((-12)/(-32)). Does 25 divide (90/c)/15 - 2530/(-8)?
False
Is 16 a factor of (590 + 162/18)*7?
False
Let v = -245 + 183. Let x = 339 - v. Is x a multiple of 43?
False
Let v be 108 - (3 - (4 - 1)). Let r = -701 - -1005. Suppose -y - v = -0*c - c, -3*c - y = -r. Does 21 divide c?
False
Is (-7)/((-2590)/2591460) - 4/(-74) a multiple of 17?
True
Suppose -2*u = 3*d - 18, -5*u - 5 = -2*d - 3*d. Suppose 0 = 4*y + 5*w - 1243, 4*y = -u*w + 1172 + 73. Is y a multiple of 31?
False
Suppose -4*x - 3*k = -90, 4*x + 5*k = 7*x - 53. Suppose -x*d + 45 = -20*d. Is d a multiple of 15?
True
Suppose 4277 - 357 = -649*v + 654*v. Is v a multiple of 16?
True
Let a = 1240 - 572. Suppose 128 = 5*g - 4*g - t, 5*g + 2*t - a = 0. Is g a multiple of 11?
True
Suppose 0 = -18*a + 15*a + 630. Let g = 315 - a. Is g a multiple of 5?
True
Let o(d) = -82*d + 568. Does 92 divide o(-20)?
True
Let t = 1793 + -1520. Is 13 a factor of t?
True
Suppose -p = 2*p - 642. Let j = 581 + p. Does 53 divide j?
True
Let j be (-1)/(-3*1/(-153)). Suppose q = 5*p + 3, -53 + 68 = 5*q + 2*p. Let v = q - j. Does 27 divide v?
True
Let l = -486 + 262. Let a = l + 1125. Is a a multiple of 90?
False
Let k = -60 + 72. Suppose 5*b - k*b + 2772 = 0. Suppose -24*y = -30*y + b. Is y a multiple of 9?
False
Let j = -9232 - -16075. Is 59 a factor of j?
False
Let x = -1666 - -3020. Suppose 0 = 23*h - x - 946. Does 7 divide h?
False
Is (-28)/168 - (333332/(-48) - (-2)/8) a multiple of 112?
True
Does 13 divide ((-6)/5)/(-11*(-24)/(-137280))?
True
Let p(m) = m**2 - 19*m - 10. Let d be p(17). Let w be (-8)/d - (-3628)/11. Is (-1)/(-1 - (-325)/w) a multiple of 22?
True
Suppose 9*h - 3602 = -4*f + 3418, -2*f + 2*h + 3536 = 0. Is f a multiple of 9?
True
Let v = 4721 + -3772. Is v even?
False
Suppose -18*r = -15*r + 618. Is 9 a factor of r/(-2) + (-2*3 - -2)?
True
Let b = 11790 + -9552. Is 3 a factor of b?
True
Let d = -19048 + 36282. Is 117 a factor of d?
False
Let p(k) = -k + 5. Let w be p(20). Let j = w + 34. Does 7 divide j + -8 - (2 + 0 + -1)?
False
Suppose -a + 2*f + 4 = 0, -122*a = -126*a - f + 7. Let d(g) = 5*g**2 - 2*g**2 + g**3 - g + 0*g**2 + 1. Is d(a) a multiple of 4?
False
Let g = -27633 - -38961. Is g a multiple of 32?
True
Does 21 divide 6/(-1) - ((1 - -1) + (-26996)/4)?
True
Let c = 920 - -8433. Is 13 a factor of c?
False
Let g be (235/(-10))/(5/30). Let a = g + 385. Is a a multiple of 10?
False
Suppose d + 2*k + 2*k = -22, -3*k - 21 = 3*d. Is 19 a factor of 24375/60 - d/(-8)?
False
Let j = -530 + 581. Let y = 24 - 19. Suppose -4*l = -y*g - 2 + 124, 3*g = -5*l + j. Does 11 divide g?
True
Is 150 a factor of ((-50106)/35)/((6/8)/(45/(-24)))?
False
Suppose 0 = -5*r - 3*s + 24 + 17, -2*r - 3*s + 11 = 0. Suppose r*p - 63 = 17. Is p a multiple of 8?
True
Let w = 86202 + -41307. Is 13 a factor of w?
False
Let m be 3/(-1 - 2) - -1. Suppose -3*p + 22 = -2*o, 39*o = 40*o + 5. Suppose m = p*j - 370 + 34. Does 31 divide j?
False
Let h(x) = -20*x + 19. Let i(n) = 41*n - 39. Let s(a) = 7*h(a) + 3*i(a). Let l(k) = -9*k + 8. Let r(b) = 5*l(b) - 2*s(b). Is r(-6) a multiple of 13?
False
Suppose 3*o = -7*o - 8956 + 97246. Does 10 divide o?
False
Suppose -43*k = -36*k. Suppose k = 31*t - 32*t. Suppose t = -7*l - l + 112. Is l even?
True
Suppose x - 9861 = 164*r - 159*r, 5*x - 3*r - 49261 = 0. Is 57 a factor