 a = 2354 + -1243. Does 2 divide a?
False
Suppose -14*w - 75740 - 101557 = -127*w. Is 5 a factor of w?
False
Let w(s) = -11*s**2 - 8*s + 12. Let j be w(2). Let d = j + 121. Is 56 a factor of d?
False
Does 36 divide (-93 - -18)*(2/15 + (-4178)/15)?
True
Let o be (-72)/48 - 4150/4. Let f = -372 - o. Is f a multiple of 55?
False
Let m be (-5)/(25/15) + -32. Let y = -26 - m. Let l(q) = q**3 - 9*q**2 + 3*q - 14. Is 13 a factor of l(y)?
True
Suppose -2*l = -0*l + 10. Suppose 25*k - 1333 + 22033 = 0. Does 7 divide l/(-20) - k/16?
False
Let m(h) = h**3 + 5*h**2 - 11*h - 9. Let s be m(-7). Let k be -543*4/s - 24/(-40). Let t = -64 + k. Does 9 divide t?
True
Let u(r) = 33*r**2 - 21*r - 32. Is 42 a factor of u(13)?
False
Let v(q) = -q**3 + q**2 + q + 5. Let j be v(0). Let a = j - 8. Does 39 divide (-81)/6*26/a?
True
Suppose 7*z = z - 7663 + 22579. Is z a multiple of 4?
False
Suppose 3*x = 4*x + 3*k - 2825, -4*k = 4. Is x a multiple of 4?
True
Let o = 25 - -5. Let y be (-4)/10*o/(-4). Suppose s - 4*l = 6*s - 445, -5*l = -y*s + 267. Does 13 divide s?
False
Let k = 51 + -48. Suppose -15 = -k*h + 6*h, 49 = x + 5*h. Is x a multiple of 5?
False
Suppose l - 10*s - 2191 = -7*s, 5*s - 4382 = -2*l. Is 43 a factor of l?
False
Let i = 5931 + 30595. Is 177 a factor of i?
False
Let h be 30/(((-1)/5)/(42/(-140))). Is 10/h + (-3508)/(-9) a multiple of 78?
True
Suppose 0 = -2*h - c - 455, 3*c - 4*c + 919 = -4*h. Let p = h + 644. Is p a multiple of 7?
False
Let j = -2902 + 5558. Does 32 divide j?
True
Let g be -14*((-3)/(-2))/(-3). Suppose -g*z - 1040 = z. Let r = z - -203. Does 11 divide r?
False
Let b(c) = 7860*c - 562. Is 23 a factor of b(2)?
False
Suppose -3*d + 4*s + 1 - 2 = 0, s = -5*d + 6. Let w be (d + -2)*(2 - 6/6). Is 3 a factor of (-2 - ((-9)/(-3))/w)*47?
False
Let a(c) = -c**3 + 6*c**2 + 7*c - 4. Let n be a(7). Let h be ((210/12)/7)/((-2)/n). Suppose -345 = d - 6*d + h*r, -140 = -2*d + r. Is d a multiple of 21?
False
Let z(r) = -r**3 + 18*r**2 + 25*r + 26. Let y be (-21)/12 - (-15)/(-12). Let m(n) = 3*n**2 - 8. Let c be m(y). Is z(c) a multiple of 14?
True
Suppose 5 = -d - 3. Let k be (-5 - d)*(-1 - -8). Does 6 divide k/28 - (-141)/4?
True
Suppose 4*z + 2*m - 47 + 10855 = 0, 5*m = -z - 2720. Is ((-2)/3)/(25/z) a multiple of 12?
True
Let x(l) = -9*l. Let w(i) = 5*i. Let a(m) = -11*w(m) - 6*x(m). Let t(v) = -12*v. Let p(r) = 2*a(r) + t(r). Is 7 a factor of p(-2)?
True
Let m(j) = 156*j**2 - 249*j + 3354. Is m(13) a multiple of 13?
True
Suppose 0 = 15*p - 33*p + 21*p. Does 10 divide 4/(3 - -1)*p + 64?
False
Let j be 15/9*-3 + 17. Suppose j*l - 1827 = -9*l. Is l a multiple of 13?
False
Let y be 44/(-66) + 26*3/9. Is 7*y/140*480 a multiple of 16?
True
Let x(b) = 75*b + 2344. Does 3 divide x(-15)?
False
Let z(r) = r**2 - 10*r - 12. Suppose 0 = 5*i + 3*b - 66, -2*i - 3*i + 4*b + 87 = 0. Suppose i = v - 1. Is 14 a factor of z(v)?
True
Let q = -221 - -350. Let b = q + 122. Does 26 divide b?
False
Let v be (-1 - -43)*(-3 - -10). Let m = 15 + -10. Suppose -v = -t - m*t. Is 14 a factor of t?
False
Let g(w) = -4*w**3 - 2*w**2 + w - 8. Let q be g(-4). Suppose o = -2*i + 224, -3*o - q = i - 864. Does 36 divide o?
True
Let k = -966 + 966. Is k + 9 - (-16 - 68) a multiple of 93?
True
Suppose 318 + 396 = 17*u. Let n be (-2)/((-3)/2 - -1). Suppose 2*l - n*r - u = l, l = 3*r + 38. Is l a multiple of 26?
True
Let w(q) = -18*q + 2 + 6*q - 5*q**2 - 3 - 6. Let i be w(-8). Is (-18)/6 + i/(-3) a multiple of 9?
False
Is 35 a factor of (2138670/356)/((-6)/(-28))?
True
Let b be 53186/116 - (-5)/(-2). Let g = b - 298. Is 13 a factor of g?
False
Let c = -236 - -226. Let d(y) = y**3 + 12*y**2 - 7*y + 15. Is d(c) a multiple of 57?
True
Suppose -5566 = -12*m - 10*m. Let q = m - 241. Does 4 divide q?
True
Let o(l) = l**3 + 17*l**2 + 14*l - 11. Let n(z) = 0*z**3 - 3*z**3 - 16 - 11*z + 5*z**3 - 10*z**2 - z**3. Let c be n(11). Does 5 divide o(c)?
False
Let l(t) = t**3 - t**2 - 5*t + 5. Let m = 2 - 0. Let d be l(m). Is 19 a factor of 0/(-13) - (-94 - d/(-1))?
True
Let p = -196 - -117. Let y = 366 + -207. Let j = p + y. Is 16 a factor of j?
True
Suppose 65*u - 64*u + 3*m - 5756 = 0, -2*m + 28754 = 5*u. Is u a multiple of 23?
True
Suppose -856*y = -809*y - 143585. Is y a multiple of 132?
False
Suppose 10*t = 8*t - u + 15079, 2*t - 5*u - 15109 = 0. Is 25 a factor of t?
False
Suppose -362627 + 431666 + 1406478 = 519*l. Is 18 a factor of l?
False
Is (14 - 23) + 777 + 2 a multiple of 14?
True
Let s(l) = -49*l**2 + 14*l - 9. Let c(z) = 74*z**2 - 21*z + 14. Let i(u) = 5*c(u) + 7*s(u). Let t be i(-3). Let q = -111 + t. Is q a multiple of 20?
True
Let z(r) = 3*r**2 + 2*r + 9. Let v be z(6). Let b = v + -38. Is 30 a factor of b?
False
Suppose 18*i - 4*i = 2*i + 18312. Does 14 divide i?
True
Let y be -4505 - (-3)/12*-28. Is y/(-64) + (-1)/2 a multiple of 14?
True
Does 17 divide (-2)/(-3) - (-132128)/8*(-24)/(-18)?
False
Let c be (-6)/6*(-4 + 0)/1. Suppose -291 = 4*l + c*i - 1963, -2*l + 848 = 5*i. Does 23 divide l?
True
Suppose -6*y + 138942 = 3*r, 625*y + 3*r - 46298 = 623*y. Is 23 a factor of y?
True
Let s be (-471)/(-3) + (-9)/3. Let y = s + -85. Does 10 divide y?
False
Suppose 2*m = -3 - 1, -162 = 3*z - 3*m. Suppose -660 = 23*v + 398. Let l = v - z. Is l a multiple of 2?
True
Let u(k) = k**3 + 8*k**2 - 13*k + 14. Let i be u(-8). Suppose i = -4*j + 550. Is j a multiple of 12?
True
Suppose -3*j - 2*v + 16008 = 0, 9*j - 26678 = 4*j - 3*v. Is 43 a factor of j?
True
Suppose -2980 + 73792 = 84*s. Is s a multiple of 11?
False
Suppose 0 = 3*q - 2*z + 61, 6*z - z = 2*q + 48. Suppose 5*p - 32*o + 29*o - 196 = 0, -5*p - 3*o = -184. Let t = p - q. Is t a multiple of 11?
False
Suppose 18835 = 4*t - 22113. Does 8 divide t?
False
Suppose 11*c + c = 38448. Does 9 divide c?
True
Suppose 250 = 81*t - 230 + 75. Suppose b = -4*r + 4*b + 281, 5*r - b - 343 = 0. Suppose -u - t*m = -r, 3*m + m = 16. Is 16 a factor of u?
True
Let s(f) = -f**3 + 4*f**2 + 3. Let p be s(3). Suppose -11*u + p = -43. Suppose -5*q + 0*d = 4*d - 516, u*d - 420 = -4*q. Does 20 divide q?
True
Let t = -57 + 53. Let j be (t/6)/(17/(-102)). Suppose 358 + 134 = j*g. Does 13 divide g?
False
Suppose -2*h + 60 = -0*f + f, h + 5*f = 30. Suppose -1377 = h*x - 39*x. Does 6 divide x?
False
Let g(v) = 2*v**3 + v**2. Let q = -66 - -67. Let m be g(q). Suppose m*w - 31 = 4*d - 141, -5*w + 97 = 3*d. Does 11 divide d?
False
Let g = -29014 + 47378. Does 70 divide g?
False
Let z(p) = -13*p**3 - 44*p**2 - 153*p + 20. Does 14 divide z(-10)?
True
Let g = -520 - -518. Does 13 divide (-6)/12*520/g?
True
Let j be 78/4*544/(-24). Let b = -323 - j. Is b a multiple of 6?
False
Let k(g) be the third derivative of -3*g**4/2 + 4*g**3/3 + 2*g**2 - 7. Let u(x) = x**2 - 4*x. Let l be u(2). Is k(l) a multiple of 16?
False
Is 31 a factor of 24/(-8)*-3 - 982*-4?
True
Suppose 3*v = -2*v + 3*i + 600, 5*i = -2*v + 209. Is 48 a factor of (878/(-4))/((v/18)/(-13))?
False
Let t(j) = -1051*j**3 + 3*j**2 + 25*j + 89. Does 21 divide t(-3)?
False
Let z(g) = -g**3 - 8*g**2 - 56*g - 36. Is 6 a factor of z(-7)?
False
Let m(n) = 3*n**2 + 7*n - 4. Let q(u) = 16*u**2 + 35*u - 20. Let k(o) = 11*m(o) - 2*q(o). Let i be k(-7). Does 3 divide (-519)/(-27) + i/18 - -2?
True
Suppose -3*a = 14*a - 0*a. Suppose a = -4*m + 16, -m - 194 = -7*q + 5*q. Does 11 divide q?
True
Suppose 365079 = 9*r + 4*w - 180377, 2*r = 5*w + 121236. Does 16 divide r?
True
Let n(d) = -3*d**2 + 10*d + 5. Let l(j) = -3*j**2 + 11*j + 4. Let w(u) = 5*l(u) - 6*n(u). Let b be 3 + 630/(-77) + (-2)/(-11). Does 10 divide w(b)?
True
Let i(r) = 63*r + 114. Let y be i(16). Is (y + -6)/4 + -4 a multiple of 17?
False
Let b = -40 + 64. Let r = b + -19. Suppose 0 = -3*o + r*n + 456, -2*n = 5*o + n - 794. Is 21 a factor of o?
False
Let p be (0*(3 + -2))/2 + 3. Let i(j) = j + 4. Let a be i(p). Suppose -a*r + 12*r = 675. Is r a multiple of 27?
True
Let g be 1/(((-1)/(-3))/((-5)/(-3))). Suppose 3*l - 16 = -2*u, 2*l + 1 = g*u - 1. Suppose -v = u*v - 330. Is v a multiple of 10?
True
Suppose 6*h - 10*h + 580 = 0. Let z = h + 20. Is z a multiple of 12?
False
Suppose 34*c = 22139 + 14555 - 11636. Does 11 divide c?
True
Let y(j) = j - 3. Let d be y(9). Suppose -d*u + 2 = -7*u. Does 9 divide 9*((-3)/u)/((-15)/(-10))?
True
Let m = -104 + 108. Let k(f) = 7*f**3 - 