- 5*r + 75 = 0. Let x = l - k. Does 15 divide x?
False
Let u(t) = 21943*t**2 + 257*t + 259. Does 77 divide u(-1)?
True
Suppose -4*u - 60 = -3*w + w, w - 5*u = 42. Let z = 8 + w. Is z/(-4)*416/(-40) a multiple of 4?
False
Suppose -32 + 41 = 3*t. Suppose -27 = -x - f + 23, t*x = -5*f + 144. Let h = x - -27. Does 20 divide h?
True
Suppose 3*x = -16*x + 3306. Is (-116)/x - 4186/(-6) a multiple of 71?
False
Suppose 30 = -3*c - 4*j - 1, 0 = -5*c + 3*j - 13. Let p(y) = -25*y + 33. Does 32 divide p(c)?
False
Let j = 469 + 1115. Is 11 a factor of j?
True
Let j be ((-1)/(-2))/(2/(-12)) - 180. Is 14 a factor of (-21)/(6 + j/30)?
True
Suppose -34190 = -3*r - z + 4932, -4*z - 130370 = -10*r. Does 17 divide r?
True
Let w(c) = -11*c**3 - c**2 + c + 2. Let d be w(-2). Let n = 160 - d. Suppose x - 170 = -2*b - 2*b, 0 = 2*b + 5*x - n. Is 21 a factor of b?
False
Let g be (70/(-15) - -6)*6/4. Suppose -5*p - g*m + 3305 = 0, 3330 = 7*p - 2*p - 3*m. Is 13 a factor of p?
True
Is 6/39 - ((-5806896)/39)/8 a multiple of 18?
True
Let w(h) = -2*h**3 + 27*h**2 - 12*h - 7. Let q be w(12). Let p = 506 - q. Is p a multiple of 45?
True
Let j(z) = 11*z**2 + 18*z - 93. Is j(-25) a multiple of 5?
False
Suppose 2*m + 4*o + 96 = 0, -3*m - m = o + 192. Let u = -50 - m. Is 40 - (-2)/u - (6 - 5) a multiple of 14?
False
Let o = -510 - -1245. Is 7 a factor of o?
True
Let y = 197 - 438. Let m = y - -356. Is 5 a factor of m?
True
Let z(s) = 3*s**2 - 19*s - 206. Is z(-23) a multiple of 6?
True
Let b(o) = o**3 - 22*o**2 + 21*o + 61. Let v be b(21). Suppose -v*f - 252 = -63*f. Does 4 divide f?
False
Suppose 0 = -196*l + 197*l - 3, 4*z - 3*l = 15375. Is 14 a factor of z?
False
Let u(i) = 2*i**2 + 17*i + 828. Is 91 a factor of u(-69)?
False
Let r be 12/(-9)*(-15)/4. Does 57 divide 5/(((-45)/r)/(-3591))?
True
Let t = -5468 + 2738. Does 42 divide t/(-52)*88/10?
True
Let c(y) = 91*y + 184. Let z be c(-5). Let m = 522 + z. Is m a multiple of 17?
False
Suppose -w = w + 614. Let q = 945 - 1070. Let o = q - w. Is 26 a factor of o?
True
Suppose -417*m + 415*m = -s + 8446, -s + 8453 = -m. Does 12 divide s?
True
Let g(n) = n + 4. Let q be g(-1). Suppose -2*i + q*i = 6. Is ((-8)/i)/((-8)/180) a multiple of 6?
True
Let y be 2*((-45)/10)/1. Let v be 36*(-12)/y - 0. Suppose -b + v + 3 = 0. Is 12 a factor of b?
False
Let l(u) be the third derivative of 115*u**4/24 - 11*u**3/6 - 50*u**2. Does 12 divide l(2)?
False
Let r = 47 + -34. Suppose -r*o = -8*o - 20. Suppose -116 = -u - o*l, 3*u + 2*l = l + 359. Is u a multiple of 15?
True
Suppose -3*l + 3*w - 55 = -4*l, -4*l = 5*w - 213. Does 43 divide 8952/l - (-16)/(-104)?
True
Suppose -93*g - 2*p - 1178 = -89*g, 4*p - 1208 = 4*g. Is 32 a factor of 444/10*(-495)/g?
False
Let y = -1753 + 2632. Let x = -702 + y. Does 28 divide x?
False
Suppose -338*l - 165240 = -5*g - 340*l, -5*g - 5*l = -165240. Is 18 a factor of g?
True
Let u(p) = -130*p**2 + 23*p - 45. Let t be u(2). Let b = t + 1124. Is b a multiple of 16?
False
Let o = 7023 - 6705. Is 2 a factor of o?
True
Suppose -2*k - 368 = -8*s + 5*s, 3*s - k = 367. Is s a multiple of 5?
False
Let b(d) be the third derivative of -45*d**4/8 - 40*d**3/3 - 13*d**2 + 4*d. Does 20 divide b(-4)?
True
Suppose 0 = a - 5*r - 1084, -3*a - 4*r + 814 = -2571. Is a a multiple of 2?
False
Let i(a) be the third derivative of a**6/120 + 5*a**5/12 + 7*a**4/12 - 7*a**3/3 + 46*a**2. Let x be i(-25). Does 6 divide x/(-6) + (-14)/21?
True
Suppose -u + 1216 = -5*j, -242 = j - 2*u + 3*u. Let w = 143 + j. Let h = -86 - w. Is h a multiple of 6?
False
Does 144 divide (799846/987 + 2/7)*(-162)/(-8)?
True
Let l(b) = -20*b**3 - 3*b**2. Let j be l(2). Let i = 294 + j. Suppose 4*g = -3*d + 36 + i, d - 5*g = 21. Is 3 a factor of d?
False
Does 30 divide 1484/(-954) + 1406216/36?
True
Let j = 175257 + -117121. Does 13 divide j?
True
Let v(c) = 13*c**2 + 4*c. Let r be (-6)/(-21) - (-3 + (-15)/21). Suppose -5*b + b - 24 = -r*g, 5*g = -5*b. Is 46 a factor of v(g)?
False
Suppose 4*q + 1673 + 3651 = f, 3*f + 2*q = 16028. Does 6 divide f?
True
Let a(f) = 164*f - 3690. Is 5 a factor of a(49)?
False
Let o(p) = p**3 + 79*p**2 + 299*p + 30. Let i be o(-75). Let d(t) = -t**3 + 2*t**2 - t + 7. Let v be d(5). Let b = i + v. Does 11 divide b?
False
Suppose 82 = -2*u - 3*t, -3*u + 5*t - t - 123 = 0. Let f = -41 - u. Suppose -q - 210 + 686 = 5*c, -5*c - 4*q + 464 = f. Is 12 a factor of c?
True
Let p = 779 + -693. Suppose -3*o = 4*s - 111 + p, 3*s = 2*o + 23. Does 7 divide s?
True
Suppose 108*v + 704454 - 2473494 = 0. Is v a multiple of 156?
True
Let o(u) = -2374*u + 12968. Is o(-7) a multiple of 72?
False
Suppose 47*j - 91*j = -54*j + 43250. Is j a multiple of 173?
True
Suppose 19*i + 998143 = -63*i + 4587693. Is i a multiple of 120?
False
Suppose -24 = -w - 5*w. Let n(q) = q**2 - 5*q + 6. Let c be n(w). Suppose -c*p + p = -3*j + 67, p - 71 = -3*j. Does 6 divide j?
False
Let l = 337 + -272. Is (l/3)/(3*(-2)/(-18)) a multiple of 5?
True
Suppose -152*b + 2302625 = -457087. Is b a multiple of 267?
True
Suppose -3*q = 2*v - 50, -q + 3*v - 2*v = -10. Suppose q*j - 2*j - 12540 = 0. Does 19 divide j?
True
Let g = 57 + -65. Let v(a) = 12*a**2 - 4*a - 58. Is 21 a factor of v(g)?
False
Let a = -353 - -450. Let n(w) = w**3 + 7*w**2 - 2*w - 8. Let s be n(-6). Suppose -a*z + s = -92*z. Does 4 divide z?
True
Let h(u) = 17*u - 152. Let a be h(10). Suppose -6*v = -a*v + 7788. Is v a multiple of 60?
False
Let q = 7 + 4. Suppose -q*g = -5*g - 660. Suppose -105*f + g*f - 50 = 0. Does 5 divide f?
True
Suppose -5*t - 3*o + 1442 = 0, 20*t - 16*t - 1174 = o. Is 6 a factor of t?
False
Let f be (-2)/3*435/58. Does 11 divide 86*(f + (2 - -4))?
False
Let f be (5688/14)/(32/112). Suppose -1729 = -5*x + 3*w + 52, -w - f = -4*x. Is x a multiple of 16?
False
Let p = -279 + 490. Suppose -7*i + p + 874 = 0. Is i a multiple of 15?
False
Is (44/11 - 457 - -11)*-32 a multiple of 34?
True
Suppose 0*o - 3*o + 1868 = 4*h, 2*o + 948 = 2*h. Suppose 6*y = 8*y - h. Suppose -m + 101 = -3*l - l, -3*m = 5*l - y. Is m a multiple of 17?
True
Let l(a) = -67*a - 1636. Does 3 divide l(-69)?
False
Let i = 46876 + -29457. Is i a multiple of 10?
False
Suppose -13*o + 1953 = 8*o. Let t = -50 + o. Is t a multiple of 2?
False
Let m(r) = r**2 - 18*r - 2. Let l be (33/(-6))/(1/(-2)). Let v be m(l). Let p = 71 - v. Is 15 a factor of p?
True
Suppose 0 = 5*i + 4*i + 144. Let z(p) = p**2 + 3*p - 16. Is 16 a factor of z(i)?
True
Let m(t) be the third derivative of -t**6/60 + t**5/12 + 7*t**4/24 - 2*t**3 - 3*t**2. Let c be m(5). Let n = c - -240. Is n a multiple of 30?
False
Let h = 1243 - 707. Let c = h + 144. Suppose -10*n + 2*n = -c. Is 16 a factor of n?
False
Suppose -2*q - 541 = -5*b, 2*b = -0*b + q + 216. Suppose 11 - 1 = 2*v. Let d = v + b. Is 23 a factor of d?
False
Let s be ((-56)/49)/(15/21 + -1). Let n(r) = r**2 - 3*r + 8. Let o be n(s). Let x = o + 38. Is x a multiple of 18?
False
Let d(k) = 6*k**2 + 10*k + 6. Let b be 2/(-7) - (-65)/7. Suppose 0 = -o + y - 5, 2*o - y = 2*y - b. Is d(o) a multiple of 14?
False
Does 33 divide (-1 - 247/39)/(4/(-126))?
True
Let i = 248 + -246. Suppose -2*a + 350 = -i*t, -4*a - 2*t - 264 = -994. Is 6 a factor of a?
True
Let n be (8074*25/10)/1. Let v be n/(-30) - ((-68)/24 + 3). Let z = 943 + v. Is 54 a factor of z?
True
Let c(d) = 21*d**2 - 362*d - 6240. Is 22 a factor of c(-17)?
False
Let u(i) be the third derivative of i**6/120 - 11*i**5/60 + i**4/3 + 16*i**3/3 - 25*i**2. Does 4 divide u(10)?
True
Suppose -2*j + 4*i = -45050, 7*j - 3*i = 33039 + 124559. Is 90 a factor of j?
False
Is 24 a factor of 7 + 6002 + -12 + -23?
False
Suppose -5*s = 5*b - 205, 5*b - b - 124 = 4*s. Suppose 47*g = 50*g - b. Is 12 a factor of g?
True
Let m(r) = -150*r - 65. Suppose 0 = -76*l + 80*l + 12. Is m(l) a multiple of 17?
False
Let u be 1976/(-22) + ((-20)/(-22))/(-5). Let r = u - -192. Does 25 divide r?
False
Let p(n) = 4*n**2 - 6 + n**3 + 2*n - n**2 - n. Let l = -5329 + 5333. Is p(l) a multiple of 46?
False
Let z(u) = 37*u**3 - 19*u**3 + 13*u**2 - 8*u - 9 - 19*u**3. Let s be z(6). Suppose -t - 4*p = -46, 3*t + 5*p - s = -t. Does 50 divide t?
True
Let g = -27 + 28. Let a = 8 + g. Suppose 4*n + 65 = a*n. Is 13 a factor of n?
True
Let q(v) = 2*v**2 + 32*v + 450. Does 25 divide q(50)?
True
Suppose -2*t = m + 2*m