rue
Is 105 a factor of ((74970/(-12))/17)/(1*4/(-200))?
True
Let m be 25424/(-6)*27/(-18). Suppose 18*n + 1460 - m = 0. Does 17 divide n?
True
Suppose -5*s = 3*v - 58222, -4*s - 5*v + 58863 = 12301. Is s a multiple of 5?
False
Let g(t) = t**3 + 2*t**2 - 2*t - 109. Let b be g(0). Let m = -73 + b. Let j = m - -314. Does 27 divide j?
False
Suppose 0 = -4*z + 663 + 9. Suppose v = b - 5*b + 56, -z = -4*v - 2*b. Suppose -3*f = 2*c - 19, 2*f - v = -2*c + 6*f. Is c a multiple of 14?
True
Suppose 2*v - 2010 - 2406 = -4*k, 3*v - 6626 = -5*k. Is v a multiple of 89?
False
Suppose -36*s + 5712 = 4113 - 4989. Is 3 a factor of s?
True
Is 73 a factor of (-1 - (-3)/9)/(12/(-36)) - -3502?
True
Is 28 a factor of (1 + 1 - 24/(-18))/(102/254133)?
False
Suppose 4*t = x + 35, -x = x - 3*t + 95. Let d = -53 - x. Is d/2 - (-13 + 0)*2 a multiple of 4?
False
Let r(p) = 11*p**3 + 39*p**2 + 45*p + 132. Let f(k) = -7*k**3 - 26*k**2 - 30*k - 88. Let m(x) = -8*f(x) - 5*r(x). Is m(-12) a multiple of 7?
False
Let o(c) = -c**3 + 18*c**2 + c + 2. Let z = 411 - 397. Does 16 divide o(z)?
True
Let c(y) = -y**3 - 4*y**2 + 41*y + 11. Is c(-9) a multiple of 24?
False
Let f(u) = 22*u**2 + 12*u + 31. Let o(d) = d - 16. Let i be o(13). Is 16 a factor of f(i)?
False
Suppose g - 24 = -g. Let u be g - (-1)/(-2)*(3 + -1). Let s(w) = 6*w + 30. Does 16 divide s(u)?
True
Suppose -26 = -9*g - 8. Let c be (-11144)/42 + g/6. Let q = -77 - c. Does 28 divide q?
False
Suppose 0 = o + 3*s - 1, 6*o - o + 4*s - 5 = 0. Suppose o = 2*l + p + 3, 4*p = -16. Does 11 divide 100 - 0*(-2)/(3 - l)?
False
Let s be -107*((4 - 78/6) + 1). Let x = s + -504. Is 22 a factor of x?
True
Let a(i) = i**3 + 16*i**2 + 32*i + 60. Let g be a(-14). Suppose 0 = -g*z + p + 286 + 12, 3*z - 2*p - 226 = 0. Is z a multiple of 37?
True
Suppose 43 = 3*d + 1. Suppose -d = 5*g - 3*l - 752, -3*g + 442 = -l. Is 7 a factor of g?
True
Let s(l) be the third derivative of l**5/30 - l**4/12 + l**3 - 12*l**2. Let i be s(0). Is 24 a factor of 162/i - (2 + 3 + -2)?
True
Suppose 138 = -2*u - 46. Suppose 2*m = -4*y - 794, -3*y + 0*m + 5*m - 602 = 0. Let b = u - y. Does 14 divide b?
False
Let t be -4 - -7 - -3*10/(-15). Let n be (t + -3)*6/(-4). Suppose -5*x = -4*k - 1859, -4*x + n*x - 3*k + 387 = 0. Does 15 divide x?
True
Suppose 91*k + 31320 = 97*k. Suppose k = 34*q - 22*q. Is 29 a factor of q?
True
Let w(x) be the third derivative of -x**6/120 + 3*x**5/20 - 7*x**4/24 - 2*x**3/3 - 27*x**2. Is 8 a factor of w(4)?
True
Let o = -18 + 21. Let a be (-1)/o*4*-3. Is (-8)/(-16) - (-654)/a a multiple of 28?
False
Suppose 0 = -4*d - 3*f + 11, 2*d + d - 12 = -f. Suppose c + 163 = 2*z, -d*z + z + 5*c = -335. Suppose -208 = -9*u + z. Is 8 a factor of u?
True
Let f = -70 - -77. Suppose 0 = n + 2*m - f - 2, 0 = 4*m - 4. Is 23 a factor of n/(14/6)*47?
False
Let c(n) = n + 20. Let o be c(-15). Suppose o*q + 2*f = 7*f + 15, -2*f = 5*q - 22. Suppose 0 = 5*h - 4*h - y - q, 2 = 2*h - 4*y. Is 6 a factor of h?
False
Let d(p) = -10*p - 3 + 25*p + 36*p + 10*p**2 + 12. Is 7 a factor of d(-6)?
True
Let u(d) = d**3 + 3*d**2 - 2*d + 6. Let o be u(-5). Suppose c + 5*k - 82 = 0, 5*c - 2*c = -5*k + 206. Let a = c + o. Is a a multiple of 4?
True
Suppose 17*i = 19197 + 5827. Does 140 divide i?
False
Let u = 235 - 224. Let z = 52 - u. Is 8 a factor of z?
False
Suppose 2*o = -4*t + 242, 3*o - 3*t - 376 + 4 = 0. Let i = -60 + o. Does 7 divide i?
True
Let o(q) = -42*q**3 - 90*q**2 - 19*q - 4. Is 137 a factor of o(-8)?
True
Suppose -2995*q = -3028*q + 992475. Is q a multiple of 34?
False
Let s(m) = 71*m - 59. Let v be s(-8). Let p = -68 - v. Is 13 a factor of p?
True
Let g be -2 - (-5 - 56/(-7)). Is ((-11)/110*-68)/((-2)/g) a multiple of 12?
False
Let k = -285 + 288. Suppose -o + 1300 = k*v - 450, 5*o = -4*v + 2337. Is 9 a factor of v?
False
Let d be 15/(-12)*5*-4. Let l(s) = 20*s - 108. Is l(d) a multiple of 28?
True
Let a(r) = 402*r - 6908. Is 143 a factor of a(48)?
False
Let z = 39362 + -26842. Is 54 a factor of z?
False
Let o(r) be the third derivative of 13*r**5/12 - r**4/3 + 13*r**3/3 + r**2 + 17. Is o(3) a multiple of 87?
False
Let f be ((-420)/2)/((-2)/8*2). Let d(q) = q + 3. Let t be d(0). Suppose -2*h = t*h - f. Does 6 divide h?
True
Suppose -m = -5*y - 2898, -14*y + 14490 = 5*m - 11*y. Is 126 a factor of m?
True
Let g = 37 - 32. Is 146 + (-1 - (-12 + g)) a multiple of 23?
False
Let j = 845 - 190. Suppose -o + 6*o = -3*y - 643, 2*o + j = -3*y. Let q = -122 - y. Is q a multiple of 33?
True
Let c(q) = q - 27. Let j be c(12). Let k = j + 22. Let g(h) = 11*h - 36. Is g(k) a multiple of 27?
False
Let r = -6 - -34. Suppose 32*f - r*f - 540 = 0. Is 12 a factor of f?
False
Let l(u) = 5*u**2 - 11*u - 118. Does 99 divide l(27)?
False
Let q = 72 + -74. Let n be 2642/15 + q/15. Suppose -g + s = -n, g - 5*s - 125 - 51 = 0. Does 22 divide g?
True
Suppose a + 13 = 35. Suppose -2*n - 10 + a = 0. Suppose -q + 44 = n. Is 13 a factor of q?
False
Suppose s - 314 + 57 = 0. Let q = s - 21. Is q a multiple of 31?
False
Suppose -3*d - 4*m = -329, -5*d + 5*m = 4*m - 556. Suppose -1156 = -7*t + d. Does 11 divide t?
False
Is 7 a factor of (3/(-2))/(-16 - 26344/(-1648))?
False
Let j(u) = 2828*u - 3235. Does 37 divide j(11)?
False
Let d = 164 - 186. Let q = d - -302. Is 66 a factor of q?
False
Let d = -141 - -137. Let f = d + 56. Is 27 a factor of f?
False
Let u(x) be the first derivative of 5*x**4/4 + 4*x**3 - x**2/2 - 22*x - 144. Is 19 a factor of u(5)?
False
Is (2340/(-2 + 0))/(25 - (-4540)/(-180)) a multiple of 39?
True
Let m = -23590 - -82791. Is m a multiple of 29?
False
Suppose 32*o = 42615 + 119433. Does 8 divide o?
True
Let k(j) = -115*j**2 - 3*j + 6. Let s(g) = -116*g**2 - 4*g + 7. Let i(q) = -5*k(q) + 4*s(q). Is 6 a factor of i(-1)?
False
Is (-2 + 1)*(5 - 16)/(-11) + 6457 a multiple of 6?
True
Let p be (4 - 1559/(-4)) + 1/4. Suppose -3*j - 1651 = 5*y, -4*y - 1737 = -5*j - p. Is 1/(y/(-328) - 1) a multiple of 13?
False
Let m = 6282 - 1962. Does 80 divide m?
True
Suppose -s = 14 - 21. Suppose -2*r = -s*r + 855. Let v = r + -86. Does 17 divide v?
True
Suppose -72702 = -18*d + 3*d + 19278. Is d a multiple of 14?
True
Let h(n) = 67*n + 12. Let k be h(4). Suppose 0 = -4*v + k + 532. Let s = -93 + v. Does 22 divide s?
True
Let v(k) be the third derivative of 133*k**5/60 + k**4/6 + k**3/6 - 67*k**2 - k. Suppose -3 = h + 2*h. Is v(h) a multiple of 9?
False
Let r(u) be the third derivative of -u**6/120 - u**5/5 - 11*u**4/8 - 5*u**3/2 + 4*u**2. Let b = -82 - -72. Does 23 divide r(b)?
True
Let f(r) = 3*r - 3. Let j(i) = i**2 + 4*i - 16. Let c be j(-7). Let v be f(c). Suppose -47 = -u - v. Is 7 a factor of u?
True
Is 2630/(-4)*-2 - (-1200)/(-150) a multiple of 17?
False
Is 14 a factor of 5 - (-7288 + 0 + (-5 - -4))?
True
Suppose -x + 27 = -4*w, -x + 2*x = -3*w + 27. Suppose -4760 = x*l - 31*l. Is l a multiple of 70?
True
Let n = -4250 + 8420. Does 55 divide n?
False
Suppose -5*t + 3*g + 4925 = -0*g, -5*t - g + 4905 = 0. Suppose 2*m - t = -z + 3*z, -5*m = 4*z - 2491. Is m a multiple of 15?
True
Let d(n) = 28*n - 301. Let g be d(-17). Let c = g + 1523. Is 36 a factor of c?
False
Suppose -7*b + 4*b = -2061. Suppose -2*f = 4*j - 14, 19*j = 16*j + 3. Suppose b = 5*l - 3*o, 5*l - f*o = 143 + 542. Is l a multiple of 27?
False
Let t be (-36 - -32)*(-2 + 0 - 0). Is 332 - (t + -10)*3 a multiple of 13?
True
Suppose -5*a + 50 = -15*a. Let l(z) be the second derivative of z**5/20 + 5*z**4/12 - 4*z**3/3 + 5*z**2/2 + 13*z. Is l(a) a multiple of 9?
True
Suppose 0 = 49*m - 45*m - g - 95841, 0 = 2*m + 5*g - 47959. Is 41 a factor of m?
False
Let t(a) = a**3 + 7*a**2 - 6*a + 13. Let x be t(-7). Let j = -51 + x. Suppose -4*g = -j*p - 608, 286 = 2*g + 4*p - 0*p. Is g a multiple of 26?
False
Suppose 3*l - r - 97 = 4*r, 4*r - 21 = -l. Let x = 29 - l. Suppose 8*d - 4*d - 40 = x. Is d even?
True
Let g = -1637 - -4714. Is g a multiple of 17?
True
Suppose -106*p = -95*p - 272536. Is p a multiple of 19?
True
Let f be 12/(-15)*(-8015)/(-14). Let u = f - -656. Is u a multiple of 22?
True
Let x = -356 + 204. Let k = x + 258. Is k a multiple of 3?
False
Suppose 13*y = -225 - 1322. Does 12 divide y/(-2) + (-9)/(-18)?
True
Suppose 4*h + 526 = 3*s - h, 0 = -3*s + h + 506. Let v = s + 161. Is v a multiple of 38?
False
Suppose -5628 = -3*