 + 7714. Does 23 divide m?
True
Does 80 divide (-6*5/40)/(2/8) + 3283?
True
Let o be -5 - 4*35/(-28). Suppose o = -5*q + 444 + 1271. Does 49 divide q?
True
Let o(w) = 552*w - 771. Is 21 a factor of o(27)?
True
Suppose 0 = -k + 2, -3*l - 1 - 9 = -2*k. Is 77/2 + l + 57/(-38) a multiple of 7?
True
Let g(k) = 2*k**2 - 12. Let f be g(-3). Suppose -1890 = f*i - 21*i. Is i a multiple of 21?
True
Suppose -17*o + 5417 = -13*o + 3*p, 5*p - 15 = 0. Is o a multiple of 26?
True
Let o = -717 + 808. Suppose 5*k + 1922 = 3*g, 3*g + o*k - 1942 = 86*k. Does 7 divide g?
True
Let n = -32 + -8. Suppose -4*z - 3*g + 195 = 0, 5*g - 60 = 5*z - 295. Let t = n + z. Is 2 a factor of t?
True
Let v be ((-1)/(-3))/1*(66 - 81). Let q(s) be the third derivative of -3*s**4/8 + 13*s**3/6 + 2*s**2. Does 24 divide q(v)?
False
Suppose 641240 = 17*r + 167*r + 46*r. Is r a multiple of 52?
False
Let a(x) = 680*x - 589. Let u(y) = 226*y - 197. Let v(b) = -3*a(b) + 8*u(b). Does 28 divide v(-3)?
False
Let d(m) = 145*m + 11. Let t be d(55). Suppose -41*p + 10956 = -t. Does 19 divide p?
False
Suppose 1937*m - 1953*m + 126208 = 0. Does 13 divide m?
False
Let v = -101 + 117. Suppose v*c + 3313 - 12993 = 0. Is c a multiple of 46?
False
Suppose 0*w - 4*w + 1067 = 5*s, -3*w = 4*s - 854. Let c = 75 + -72. Suppose -376 = -c*m + s. Is 51 a factor of m?
False
Suppose 0 = -5*y - q - 2, 4 = -4*y - 5*q - 6. Suppose -2291 = -5*t + a, y = 4*a - 9*a + 20. Is 36 a factor of t?
False
Suppose -3*d - 2*l = -7924, 5*l = 2*d - 4*d + 5268. Is d a multiple of 8?
False
Let j = 308 - 303. Suppose 5*n + j = 0, 2*n + 428 = t + 2*t. Is 20 a factor of t?
False
Is (-4 + 26/(-6))*233226/(-210) a multiple of 55?
False
Let f(b) = 2*b**2 + b - 2. Let t be f(-2). Suppose 21 = -t*r - p, 2*r + 2 = -3*p - 11. Is 13 a factor of (184/(-20))/(2/r)?
False
Suppose 11 = -4*z + 27. Let p be ((-2)/z - -1)/((-26)/624). Let q = p + 50. Does 24 divide q?
False
Let d = 9057 + -7657. Is d a multiple of 175?
True
Let t = -633 + 1033. Suppose 3*h - 8*h + 3 = 2*g, g = -4*h - 3. Suppose t = g*v - v. Is 21 a factor of v?
False
Suppose 0 = 4*s + 4*i - 56, 3*s - 2*i + i - 26 = 0. Is (12/(-5) + 0)/(s/(-275)) a multiple of 4?
False
Let i = 21 - 15. Let g(w) = 5*w**2 - 9 + w**3 + 6*w**2 - i - 17*w. Is 10 a factor of g(-12)?
False
Suppose 4*p + 0*r = -4*r + 12, 3*p - 8 = -2*r. Suppose p*o + w - 422 = 0, -5*o + 12*w = 11*w - 1048. Is 14 a factor of o?
True
Let c = 7455 + -2501. Is 18 a factor of c?
False
Suppose -11*m + 64 = 9. Suppose 0 = -5*z - 3*q + 150, -4*q + 47 = -4*z + m*z. Suppose z = d - 9. Does 21 divide d?
False
Let m be (-2 + -2)*(1 + 524/(-8)). Is (-652)/(-18) + -5 + m/54 a multiple of 12?
True
Let s = 55474 + -33730. Is s a multiple of 72?
True
Suppose 2*h = -h - 4*s + 12, -3*h - 3 = -s. Suppose h = 5*x + v - 3*v - 1261, -3*x - 5*v + 769 = 0. Does 11 divide x?
True
Suppose -4*c + 3*m - 2*m = -4, -12 = 2*c - 4*m. Suppose 380 = 4*w + c*i, -4*i - 461 = -5*w - 3*i. Is w a multiple of 31?
True
Let z(u) = -u**3 - 10*u**2 - 2*u + 19. Let g be -33*((-4)/(-6))/2. Does 3 divide z(g)?
True
Suppose t - 2*z - 4 = 0, 0 = 5*z + 10. Let q be 2/(-6) + 37250/447. Let k = q - t. Is 11 a factor of k?
False
Is 2 + -9 + 27/(-6)*(-4884)/9 a multiple of 43?
False
Suppose 2*o - 5*j - 999 = -2*o, -4*o + 4*j = -1004. Let r = o + -110. Is r a multiple of 55?
False
Suppose -49 + 2779 = 5*v. Let f = v + -129. Does 36 divide f?
False
Let h be (-4868)/9 - 92/828. Let k = h - -941. Is 80 a factor of k?
True
Suppose -2*n + 2 = 0, 16*m - n + 4536 = 21*m. Is 51 a factor of m - 5/((-40)/48)?
False
Let s(p) = -86*p + 14. Let i be s(-11). Suppose -8*c + 5*c = -i. Suppose -5*u = 4*g - 1039, -2*u + c = -5*g - 89. Does 23 divide u?
True
Is 29 a factor of ((-116)/6)/(((-13)/5694)/1)?
True
Let k(s) = 63*s**2 + 167*s - 82. Does 92 divide k(-11)?
True
Let t be (2/(-8))/((-6)/120). Suppose t*b = 20*b - 12615. Does 69 divide b?
False
Let h(v) = 10*v**2 + 13*v - 918. Does 259 divide h(-62)?
False
Suppose 9 = 3*j + 3*h, 6*h + 4 = 2*h. Let k(s) = -5*s - j*s - 5 + 7 - 2*s**3 - 4*s**2. Is k(-4) a multiple of 17?
True
Let h(g) = 13*g + 144. Let t be h(-10). Suppose -t*m + 935 = -3*m. Is m a multiple of 42?
False
Suppose 3*c - 43344 = 2*f, 10*f - 57792 = -4*c + 11*f. Does 86 divide c?
True
Suppose -12 = 3*x - 4*o + o, -3*o = 3*x. Let d be (x/4)/(1/6). Is 2 a factor of (d + 6)*((-11)/(-3) + 1)?
True
Suppose -s - 2092 + 17632 = 5*t, -2*t - 15554 = -s. Is s a multiple of 10?
True
Let z be (-4 - 28/(-10))/(30/100). Is (-16 - z)*(0 - 81) a multiple of 27?
True
Suppose 5*k + 18273 - 29674 = 62179. Is k a multiple of 8?
False
Suppose 0 = 4*q - 0*q + 8. Let b be 8*(3 + 0 + q). Does 20 divide 5/40 - ((-1263)/b + -2)?
True
Let w(x) = x**2 + 23*x + 93. Let r be w(-18). Let i be -1*4*(-48 - 1). Suppose g - 46 = -n, -g - n + i = r*g. Is g a multiple of 25?
True
Suppose -286926 = -130*u + 96*u. Is u a multiple of 87?
True
Suppose -850306 = -25*b + 427821 - 374627. Does 260 divide b?
True
Let m(x) = 12645*x**3 + 3*x**2 - 23*x + 19. Does 29 divide m(1)?
True
Suppose 2*p = f - 2*p - 12, -2*f = 2*p - 4. Suppose -5*i - 69 = 2*g - 0*g, -68 = 2*g + 4*i. Let d = f - g. Does 5 divide d?
False
Let y be 663/68 + (-6)/8. Suppose -3*a + 3*b = y + 3, -2*a + 7 = b. Is (0 - a)*(-4 + -28) a multiple of 8?
True
Let d be (6/(-5))/(((-15)/(-1850))/(-1)). Suppose -i - 5*b = -4*b - 76, 2*b = 2*i - d. Suppose 3*k + 15 - i = 0. Does 19 divide k?
False
Does 32 divide (-103232)/(-15) - ((-14630)/525 + 28)?
False
Suppose 2156 = -3*i + 4*i - 4*z, -5*i = 5*z - 10805. Suppose -2*o = 2*m - 3*o - i, 2*o = -m + 1080. Is m a multiple of 18?
True
Is ((-2009)/10 - 3/5)/((-98)/196) even?
False
Suppose -5*v = -3*c - 1111, -c - 4 = c. Is 30/(9 + 1) + v a multiple of 7?
True
Suppose -2*s = 3*d + 438, d + 5*s = -158 + 12. Let g = d - -704. Is 10 a factor of g?
False
Let y(j) = -25*j - 395. Is y(-35) a multiple of 32?
True
Let j = -1321 - -54618. Is 10 a factor of j?
False
Let c(j) = j**2 + 3*j + 26. Let w be (-6 + (-322)/(-49))/((-2)/(-56)). Is 5 a factor of c(w)?
True
Does 5 divide 18/27*6 - -774?
False
Suppose -f + 4*o + 460 = 0, o - 1409 - 36 = -3*f. Suppose r = 2*l - 32 + f, 1783 = 4*r - 5*l. Does 6 divide r?
False
Suppose -1096 = -40*u + 117384. Does 13 divide u?
False
Let c(d) = 10*d**3 - 5*d**2 - 10*d + 5. Let b be (4/12)/((-2)/(-30)). Does 88 divide c(b)?
False
Let c = -2152 - -2234. Does 38 divide c?
False
Suppose 2*j = -3*i - 322, 2*i = i - 5*j - 103. Let d(p) = p**3 - 8*p**2 - 22*p - 28. Let h be d(-5). Let q = i - h. Is 15 a factor of q?
True
Let c = -20090 - -22202. Is 8 a factor of c?
True
Let n = -10765 - -27991. Does 27 divide n?
True
Let o = -197 - -217. Suppose -o*b + 445 = -15*b. Is 3 a factor of b?
False
Let h = 14600 - 8900. Is 5 a factor of h?
True
Suppose 4*q + 3*i - 2*i = 163, 0 = 3*q - 2*i - 136. Suppose p - 4*h - 1 = -5*h, 2*p - 3*h + 13 = 0. Does 6 divide ((-20)/12)/(p/q)?
False
Suppose 0 = -8*a + 5*a - 2*h + 6505, -4*a - 5*h = -8657. Is a a multiple of 14?
False
Let v(b) = -5*b**3 - 3*b**2 - b + 6. Suppose 2*y - 1 = 5. Suppose 2*k + 5*q = 6*k - 12, -4*q = -y*k + 10. Is v(k) a multiple of 3?
True
Suppose 0 = -6*t + t + 10. Is 3 a factor of (-1*t)/(1/(-92)) - -5?
True
Let f(y) = 999*y**2 + y + 1. Let w be f(1). Suppose -12*k + k + w = 0. Is k a multiple of 7?
True
Suppose 0 = 3*b - 83 + 26. Suppose 0 = 3*a + 5*w + b, a + 2*w - 27 = 7*w. Suppose i - 420 = -3*k - a*i, -2*k + 285 = 3*i. Does 28 divide k?
False
Let a(j) = 4*j**2 - 14 - 6*j + 0*j**2 - 8*j**2 - 3*j**3. Let l = 79 + -83. Does 15 divide a(l)?
False
Suppose 0*p + 6*p - 54 = 0. Let t(q) = -q**3 + 11*q**2 - 2*q - 10. Is t(p) a multiple of 59?
False
Let k(c) = -c**3 - 8*c**2 - c - 5. Let j = 15 - 23. Let l be k(j). Does 51 divide (1/l)/((-8)/(-1416))?
False
Let y = 35307 - -26770. Is y a multiple of 137?
False
Suppose -m + 3*m - 1492 = -3*z, -z - 2956 = -4*m. Suppose 7*h - m = 5*h. Is h a multiple of 74?
True
Suppose 3*h - 12 = 0, 2*h = -4*y + 55 + 61. Is (5 + (-99)/y)/(4/462) a multiple of 77?
True
Let o(p) = -17*p - 68. Is o(-43) a multiple of 12?
False
Let u be (2 - 2 - (115 + 3)) + 3. Let g = 163 + u. Let o = 117 + g. Is o a multiple of 26?
False
Let f(w) = -11060 - 447*w**3 - 7*w**2 + 2*w**2 - 5*w - 254*w**3 + 11059. Does 14 divide f(-1)?
True
Let l be 