26, 3*k + 4*p = 6976. Suppose 29*x - 22*x = k. Does 50 divide x?
False
Let d(t) = 1995*t**2 - 28*t - 50. Is 6 a factor of d(-2)?
True
Let o = -6651 + 9151. Is o a multiple of 13?
False
Let d be ((-3)/3 - -1)*-1. Suppose 12*m - 32*m + 4460 = d. Is 35 a factor of m?
False
Let d(a) = 3*a + 24. Let j be d(-6). Does 37 divide 1545/j + (-30)/4 + 6?
False
Suppose 3*q - 4*w + 2263 = 0, 2*w = 4*q - 0*w + 3004. Let b = q - -1269. Does 20 divide b?
True
Let r(c) = 3*c + 1. Let k be r(4). Suppose k = -3*n - 0*n - z, -z + 5 = 0. Let y(q) = 2*q**2 + 2*q - 8. Is 26 a factor of y(n)?
True
Suppose 0 = -17*p - 3425 - 5823. Let t = 560 + p. Is 8 a factor of t?
True
Suppose -4*b - 7*t + 11*t = 3948, -5*b - 5*t = 4945. Let r = -586 - b. Is 15 a factor of r?
False
Suppose 5 = i - 0. Suppose 2*j + i*p - 34 = j, 62 = 3*j + 5*p. Suppose j = v + c - 10, -c = 0. Is 8 a factor of v?
True
Is 12 a factor of 6 - 0 - (-10 + -14654 - 6/6)?
False
Suppose -34*y - 7452 = -52*y. Let p = y + -38. Is 20 a factor of p?
False
Let d = -35943 - -56711. Is d a multiple of 134?
False
Let l be (5/30*4)/((-1)/(-9)). Let v(q) = q**2 - 18*q + 87. Is 15 a factor of v(l)?
True
Let l = 9731 + -8721. Is l a multiple of 10?
True
Is 7 a factor of (-30)/(-8)*-1*3823960/(-1470)?
False
Suppose -44*x = -5*p - 46*x + 55709, 0 = -p - 2*x + 11153. Is 87 a factor of p?
False
Suppose -x + 3*w = 2*x, -4*w + 8 = 0. Suppose -x*i = -i. Suppose 2*s + 0*s - 174 = i. Does 16 divide s?
False
Let b(w) = -w**3 - 2*w**2 - 2*w + 2. Let i be b(0). Suppose -836 = -i*h + 242. Suppose 10*s = 1619 - h. Does 6 divide s?
True
Let f be 4/8*0 - -3. Suppose -n = -1, 3*n = -f*d + 583 - 106. Let y = d - 93. Is 13 a factor of y?
True
Let c(a) be the first derivative of 8 + 265/3*a**3 - 11/2*a**2 + 10*a. Does 66 divide c(1)?
True
Let x = 6761 + -4778. Suppose 5*i + 583 = x. Is i a multiple of 56?
True
Let u = -1857 + 4517. Is 190 a factor of u?
True
Suppose 457 = -10*l - 13. Let p = -8 + l. Let k = -10 - p. Is k a multiple of 15?
True
Suppose 12*b + 140 = 344. Let f be 12*(-4 - b/(-4)) - -1. Suppose i - f*z = 112, -4*z - 301 = -3*i + z. Is 46 a factor of i?
True
Let z be 6/(-21) + 2/((-42)/(-69)). Suppose z*h - r = 2*h + 295, 0 = -2*h - 3*r + 615. Is 12 a factor of h?
True
Let i be (-16)/(-4)*(-258)/(-8). Suppose -57*c + 110 = -35*c. Suppose 5*p = 4*t - i, t + c*p = -t + 57. Is t a multiple of 31?
True
Suppose -4*u + 52 = 4*b - 764, -5*u + 999 = -2*b. Suppose -u*h - 285 = -204*h. Does 31 divide h?
False
Does 35 divide (-3909)/(12*5/(-20))?
False
Suppose 289 = 5*t - 4*t. Let z = -51 + t. Is 23 a factor of z?
False
Let g = 1409 - 312. Suppose g = 5*w - 568. Is w a multiple of 17?
False
Suppose -1 = -5*k + 14. Suppose 5*s + s = -4800. Is ((-18)/21)/k + s/(-56) a multiple of 6?
False
Suppose -8*q = -11*q + 9. Suppose -3*z = 5*l - 42, 0 = 4*l - q*z - 2*z - 4. Does 45 divide l/10 + 6258/70?
True
Let r be (55 + -7)*(-1 - 0)*-2. Suppose -2*i = g - 10, -3*g + 0*i + 15 = i. Suppose d - 4*v = 5*d - 172, -2*d = g*v - r. Does 19 divide d?
True
Is (7/(-70)*10)/(-1*2/5758) a multiple of 26?
False
Let p be ((-80)/(-45))/8 + (-50)/(-18). Suppose -5*j + 2*j = p. Does 4 divide (j/(-2))/((-6)/(-12*21))?
False
Suppose 197*j - 204*j + 35 = 0. Suppose j*k = 5*d - 355, -4*d + 5*k + 0*k = -283. Is 36 a factor of d?
True
Let m(w) = w**3 - 25*w**2 + 3*w - 45. Let s be m(25). Suppose -s*x + 1467 = -2403. Is x a multiple of 3?
True
Let j(s) = -5*s + 6*s + 4*s + 4. Let c be ((-54)/(-30))/(2/10). Is 6 a factor of j(c)?
False
Suppose -r + 5*y = -22566, 55680 - 10583 = 2*r - 5*y. Is r a multiple of 21?
False
Suppose 2*s = -4*d + 52764, -2*s + 61571 - 8852 = -5*d. Is 76 a factor of s?
True
Let t(a) = 6*a + 8. Let z(c) = 5*c**3 - 2*c**2 + 1. Let n be z(1). Suppose -j = n*i + j - 46, 5*i - 50 = -j. Does 7 divide t(i)?
False
Let g = 331 + -222. Let l = g - 133. Let v = l - -62. Is 4 a factor of v?
False
Does 15 divide (-4645)/45*-3*(17 + -14)?
False
Let u(f) be the first derivative of 5*f**3/3 - f**2 - 4*f + 18. Let x be u(-5). Let z = x - 67. Is 16 a factor of z?
True
Suppose 126 - 22 = 2*v. Suppose -v = -14*d + 4. Suppose 0 = 4*t + 3*c - d*c - 274, -3*t + 2*c = -208. Does 34 divide t?
True
Suppose 22277 = -30*r - 5443. Let k = 1544 + r. Is 31 a factor of k?
True
Suppose -3*c = -10976 - 25554 + 635. Is c a multiple of 13?
False
Suppose 537591 = 32*l + 40*l - 21*l. Does 52 divide l?
False
Suppose -11*g + 2897 = 202. Suppose -4*m + 4*r = -700, 3*r - g = -4*m + 427. Suppose -l + 69 = 5*s, -3*s + m = 5*l - 2*l. Is l a multiple of 9?
True
Let h = -520 - 150. Is 4 a factor of (-20)/(-80) + h/(-8)?
True
Suppose 2747*n = 2717*n + 318240. Is 24 a factor of n?
True
Let z(s) = 9*s**2 + 48*s + 41. Let l(x) = -23*x**2 - 96*x - 81. Let t(b) = 2*l(b) + 5*z(b). Is t(35) a multiple of 9?
False
Let m(w) = 17*w - 10. Let d be m(6). Let z be (-6)/(-16) + 12971/56. Suppose d = -q + z. Is q a multiple of 28?
True
Let r = -1393 + 6703. Is r a multiple of 59?
True
Is (144/(-27) - 4)*-300 a multiple of 35?
True
Suppose 19*o = 12*o - 1078. Is 0 - (2 + o + -6 + 2) a multiple of 39?
True
Is 4 a factor of (-4 - -1 - (-1545)/45)*60?
True
Let c(i) = 30*i - 86. Let x be c(3). Suppose 2*s - x*w - 1034 = 0, -5*w = -s - 4*w + 515. Is s a multiple of 9?
True
Let u be -3*(-4)/((-8)/(-6)). Let p(d) = -18*d**2 + d - 1. Let j(c) = 35*c**2 + 14*c + 11. Let b(z) = j(z) + 2*p(z). Does 6 divide b(u)?
True
Suppose 22*s - 30*s + 129024 = 0. Suppose s = 20*q + 12*q. Does 24 divide q?
True
Let o be (2790/27)/(-10) + 2/6. Is (o/(-30)*2)/((-2)/(-1095)) a multiple of 7?
False
Let v = 413 - 21. Is 16 a factor of (1/((-21)/v))/(2/(-24))?
True
Suppose -10*r = -12*r + 14. Suppose -1477 = -r*a + 98. Suppose 4*t - 104 = -5*d + 106, 5*d - a = -t. Is d a multiple of 23?
True
Let b(i) = 3*i**3 - 14*i**2 + 6*i - 1. Suppose 212*j = 209*j + 27. Does 14 divide b(j)?
True
Let v(t) = 7 + 21*t - 17*t + t**2 + 43*t - 3*t**2. Is v(21) a multiple of 14?
True
Let u(w) = -422*w**3 - 2*w**2 - 12*w - 52. Does 40 divide u(-3)?
True
Suppose 0 = -3*l - 2*a + 2916, -4*l - 112 = -a - 4000. Is l a multiple of 9?
True
Suppose -2*t + 5814 = 4*u, 5349*u - 2*t - 2880 = 5347*u. Is 9 a factor of u?
True
Let p = -174 + 177. Suppose -4*q + 3269 = -6*n + 9*n, -3*n + 3276 = -p*q. Is 47 a factor of n?
False
Let n(a) = -a**3 - 23*a**2 - 23*a - 18. Let k be n(-22). Suppose -5*j = -k*j - 5*j. Suppose -2*q = -g - q + 29, j = -g + 3*q + 31. Is g a multiple of 3?
False
Suppose -3*b - 2 = -2*b - d, -3*b = d + 14. Let a(r) = -4*r - 9. Let m be a(b). Is (36/m)/((-4)/(-42)) a multiple of 18?
True
Does 23 divide 31 + ((-3)/5 - (-1517)/(-205))?
True
Let h(z) = 60*z - 6. Let v(b) = 20*b - 2. Let o(w) = -4*h(w) + 11*v(w). Let n be o(-5). Suppose -2*u + 0*u = -n. Does 17 divide u?
True
Let l be ((-134)/12 + (-11)/33)*2. Let i = l - -28. Suppose -i*a + 9*a - 916 = 0. Is a a multiple of 13?
False
Suppose 2133 + 2659 = 4*k. Suppose 5*a = 3*v - 4*v + 1199, k = 5*a + 2*v. Is a a multiple of 15?
True
Suppose 5*y = -3*a + 20, 3*a - 4 = -2*y + 4. Suppose -5*u = y*s - 2941, -4*s + 1013 + 1893 = -2*u. Is 27 a factor of s?
True
Suppose -16 = -13*y + 9*y. Suppose y*v - 196 = 788. Does 6 divide v?
True
Let f(t) = -6*t + 6. Let l be f(0). Let a be (l/(-8))/((-1)/((-348)/(-3))). Let x = a - 73. Is 14 a factor of x?
True
Suppose 3*c = -4*n + 28852, 9*n - 12 = 6*n. Is 54 a factor of c?
True
Does 16 divide (9 + 15/25)/((-1)/(2010/(-9)))?
True
Let a be (-25)/5*(-1)/5. Let w be ((-44)/33)/(a/(-24)). Let t = 88 - w. Does 21 divide t?
False
Suppose -29*z + 205011 = -112713. Suppose z = 14*t - 9526. Does 77 divide t?
True
Suppose 0 = 5*h + 4*o - 359, -3*h + 8 = -3*o - 202. Does 7 divide h?
False
Let v(f) = -21*f + 184. Let q be v(13). Let l = 104 + q. Is l a multiple of 15?
True
Let m(v) = 6*v**2 - 28*v - 3. Let q be m(5). Is (q/14)/((-3)/(-1020)) a multiple of 10?
True
Let n(q) = -q**2 + 17*q + 25. Let z(y) = -2*y - 26. Let x be z(-15). Suppose o + 3*o + 5 = -k, x*o + 35 = k. Is n(k) a multiple of 25?
False
Let x(l) = -4*l**2 - 145*l + 189. Does 84 divide x(-31)?
True
Let d(v) = -v**3 + 42*v**2 - 31*v + 173. Is d(21) a multiple of 7?
False
Let h = 3389 - -113. Is h a multiple of 5?
False
Suppose -4*c + 5*s = -9, -3*c + s + 21 = 6. Suppose c*j - 455 - 19 = 0. Suppose -2*y - 3*x = -4*y + j