 78 = -3*h, 5*h + s - f = 39. Is h a multiple of 26?
True
Suppose 0 = -q + 5*q + 2*g + 8, 15 = -3*q + 3*g. Let c = q - -18. Suppose -c = -3*r + 450. Is r a multiple of 26?
False
Suppose -4*z = -3*k - 5, 87*z = 84*z + 4*k - 5. Let m = -2 + 2. Suppose z*d + 15 = m, -4*g + 14*d = 11*d - 53. Is g even?
False
Suppose 124 + 170 = 6*d. Suppose -3*q + d - 25 = 0. Does 8 divide q?
True
Suppose 51678 = 52*z - 156114. Is z a multiple of 22?
False
Suppose 30*m - 32*m = -8. Let a(g) = -9*g**2 - 5 + m*g + 19*g**2 + 20*g**2 - 5*g**2. Is 16 a factor of a(-3)?
True
Suppose -k = 25 + 46. Let i(h) = h**3 + 10*h**2 - 12*h - 20. Let g be i(-8). Let r = k + g. Is 10 a factor of r?
False
Suppose 3*x - 15 + 0 = 0, 2*o = 5*x + 7423. Is o a multiple of 38?
True
Let u = 50 + -84. Let h = 46 + u. Does 7 divide (-2)/(4/(-6)) + h?
False
Let p = 6335 + -5551. Is p a multiple of 7?
True
Let d(t) = t**3 - 31*t**2 + 29*t - 4. Let b be d(30). Let f = 76 + b. Is 37 a factor of f?
False
Let i(x) be the first derivative of -x**4/4 - x**3 - 3*x**2 - 11*x - 7. Let k be i(-4). Suppose -109 + k = -5*c + 5*g, -5*c = -4*g - 83. Does 19 divide c?
True
Suppose -3*p - 144 - 45 = 0. Suppose -14 = -3*u + 46. Let k = u - p. Is k a multiple of 15?
False
Let u(h) = h**3 + 9*h**2 - 22*h - 29. Let f = -365 - -357. Is 20 a factor of u(f)?
False
Let i = 386 + -441. Let d = -11 - i. Is 22 a factor of d?
True
Suppose -4*y - 26*q + 15001 = -27*q, 2*q = 4*y - 15002. Is 75 a factor of y?
True
Let f be ((-549)/(-244))/(3/8). Is 0 + -1 + f - (10 - 205) a multiple of 9?
False
Let b(v) be the third derivative of -v**5/60 - 2*v**4/3 - 4*v**3 - 9*v**2 + 8. Is b(-7) a multiple of 3?
True
Let i(q) = -q**2 - 5*q + 48. Let k be i(-8). Does 15 divide 3777/6 - (-12)/k?
True
Suppose 275272 = -83*p + 1138472. Does 160 divide p?
True
Let d be ((-17)/(-4) + -2)/(75/500). Let f be ((-11976)/d)/(-4) - (-22)/55. Is (-2)/(-3)*3 - f/(-20) even?
True
Let v be 68 - 71 - 20*61. Let i = 1901 + v. Is 27 a factor of i?
False
Suppose -4*h = 3*u - 95, -4*h - h - 168 = -4*u. Let v = -37 + u. Suppose 5*c + 3*c - 864 = v. Is 27 a factor of c?
True
Let l(u) = 8*u**3 - 3*u**2 - 143*u + 869. Is l(6) a multiple of 7?
True
Is 134 a factor of ((-865)/(-5)*-1)/((24/(-333))/8)?
False
Suppose 2*l = -u - 1, -u + 3 - 4 = -l. Is -1 + l + 60 + 20/(-5) a multiple of 21?
False
Let i = 19253 + -10835. Does 313 divide i?
False
Let r(g) = -g**2 + 15*g + 4. Let s(m) be the third derivative of m**6/120 + m**5/60 - 19*m**4/24 + 2*m**3 + 32*m**2. Let b be s(-5). Does 12 divide r(b)?
True
Is 7*(-266046)/(-1015) - (-1)/5 a multiple of 25?
False
Let a(q) = -3*q - 60. Let o be a(-21). Is ((-2680)/(-50) + o)/((-2)/(-30)) a multiple of 68?
False
Let m(g) be the second derivative of 2*g**3/3 + 17*g**2/2 + 21*g. Let v be 1/(0 - (-2)/30). Is 10 a factor of m(v)?
False
Let v = 2515 - -995. Suppose -164*x = -158*x - v. Does 13 divide x?
True
Suppose 3*n + i = 24171, -25*i - 24156 = -3*n - 21*i. Is 132 a factor of n?
False
Suppose 0 = 22313*a - 22310*a - 1032. Does 52 divide a?
False
Let r(c) be the second derivative of 3*c**5/20 - 5*c**4/12 + 2*c**3/3 + 5*c**2 - c + 19. Does 14 divide r(5)?
True
Let i(p) be the first derivative of p**2 + 54*p - 16 - 1/3*p**3 + 1/4*p**4. Is i(0) a multiple of 16?
False
Suppose -34*a + 31816 - 107713 = -43*a. Is 36 a factor of a?
False
Let a(j) be the third derivative of 41*j**4/24 + 37*j**3/6 + 22*j**2 + 2*j. Is 12 a factor of a(7)?
True
Let z(c) = -c**3 - 31*c**2 + 34*c - 25. Let l be z(-30). Let w = -1385 - l. Is 8 a factor of w?
True
Suppose -3*a + 4*u + 289 = -173, 3*a + 5*u - 489 = 0. Let y = 597 - a. Does 16 divide y?
False
Let s = 23 + -21. Let r(f) = 0*f**3 - f**3 + 9 + 16*f**s + 0 - 12*f - 3*f**2. Is r(12) a multiple of 9?
True
Let i be ((5 - -3) + -6)*10/4. Suppose i*r - 3*c = 188, -4*r - c - 2*c = -172. Suppose 0*q + r = q. Is q a multiple of 8?
True
Suppose -23 = -7*l - 2. Let r(c) = -2*c**2 + c**2 + 12*c + l*c - 7. Does 7 divide r(6)?
False
Suppose p - 3*g = -13, -3*p - 4*g + 30 = 2*p. Suppose r - 8 = p*a, 5*r + 5 = 3*r - 3*a. Is 28 a factor of (r/2)/(-6 + (-11221)/(-1869))?
False
Suppose 0 = -5*q + 240 + 1140. Let k = 582 - q. Is k a multiple of 34?
True
Is (-28)/(-4 - 3) + (1450 - -2) a multiple of 28?
True
Does 2 divide (-4970)/28*114/(-15)?
False
Let y(v) = 8*v + 31. Let d(h) = 4*h - 12. Let f be d(6). Let q be (56/6)/(f/18). Is y(q) a multiple of 11?
True
Let f be (-2 + 4/1)/((-8)/(-684)). Suppose 0 = -5*d, -4*x - 3*d + f = -557. Suppose x = 10*u - 868. Does 21 divide u?
True
Suppose -2 = 3*p - 5, 3*p + 16866 = 3*j. Is j a multiple of 139?
False
Suppose 3*q - 3*b = 5481, -4*q - 7*b = -4*b - 7315. Is q a multiple of 40?
False
Let w(f) = -36 + 5 - 26*f - 47 - f**3 + 19*f**2 + 7 + 75*f. Is w(21) a multiple of 7?
False
Let u = 372 - 378. Does 12 divide 2156/6 - (-11 + (-62)/u)?
True
Let f = 8650 + -7894. Is 9 a factor of f?
True
Let r(v) = -2455*v + 1909. Does 4 divide r(-5)?
True
Suppose 17339*u + 101520 = 17351*u. Is 45 a factor of u?
True
Suppose 12*t = 41 + 19. Suppose 0 = j + 2*j - t*k - 24, 6 = -3*j - 5*k. Suppose 2*c = j*c - 126. Is 10 a factor of c?
False
Suppose u + x - 1204 = 132, 4*x - 1324 = -u. Is 34 a factor of u?
False
Let i(x) = 91 - 4 + x - 3*x + 23. Does 8 divide i(19)?
True
Let i(v) = 228*v - 878. Is 5 a factor of i(6)?
True
Let x be 6/(((-24)/(-56))/((-4)/(-14))). Suppose a = -v - 3*a + 88, 296 = 3*v + x*a. Is 10 a factor of v?
False
Suppose -m + 3*m - 6 = -4*q, 4*q - 1 = -m. Suppose 0 = -3*y + m*z + 56, z - 2 = -3*y + 30. Suppose c - y = 121. Does 15 divide c?
False
Let b(c) = 204*c + 3924. Is 18 a factor of b(0)?
True
Let v(m) be the second derivative of m**5/20 - m**4/6 - 4*m**3/3 + 9*m**2/2 + 4*m. Let k be v(6). Suppose 2*c + k = 3*c. Does 33 divide c?
False
Suppose 54*c - 32641 = 1919. Does 5 divide c?
True
Let a(j) = -2*j**3 + 2*j**2 - 48*j + 1551. Is a(0) even?
False
Let z(r) = -1432*r + 6. Let d(s) be the third derivative of 143*s**4/12 - s**3/6 + 18*s**2. Let l(q) = 14*d(q) + 3*z(q). Does 37 divide l(-1)?
True
Let u(z) = -51*z**3 + 4*z**2 - 25*z - 72. Let b be u(-3). Suppose -88*q - b = -96*q. Is 15 a factor of q?
False
Suppose -18*v - 15*v + 4587 = 429. Is v a multiple of 4?
False
Let d = 1145 + -421. Let c = d - 204. Is 13 a factor of c?
True
Suppose 0 = -243*s + 10604534 - 2576786. Is s a multiple of 78?
False
Suppose 743 = 9*k - 76. Suppose 455 = 7*s - k. Is 6 a factor of s?
True
Suppose 18*h - 4725436 = -151*h + 23*h. Is 16 a factor of h?
False
Let d(g) = 95*g**2 - 98*g + 149. Does 198 divide d(17)?
True
Let n be (-4 + 3*93/6)*2. Let d = n - -305. Does 30 divide d?
True
Let s(g) = g**3 + 2*g**2 - 18*g - 11. Let p be s(-5). Suppose 0 = -p*z, z + 28 = -2*o + 3*o. Suppose -f + 499 = 4*u, -o - 352 = -3*u + 5*f. Is 10 a factor of u?
False
Suppose -2*b - 3*x - 19 = 0, 5*b + 0*x - x = -22. Let g(a) = -27*a + 81. Let v(f) = -14*f + 40. Let u(w) = b*g(w) + 9*v(w). Is u(8) a multiple of 2?
False
Let g = 20463 - 19035. Is 17 a factor of g?
True
Let y be ((-8525)/175)/((-2)/14). Let c = y - -259. Is c a multiple of 60?
True
Let f(q) = 3*q + 81. Let w be f(-26). Let j(n) = n**3 - 6*n**2 - 5*n + 8. Let p be j(7). Let s = p - w. Is 10 a factor of s?
False
Let k(m) = -14*m**2 + 23*m + 0*m**3 + 19*m + 2*m**3 + m**3 - 3 - 2*m**3. Does 10 divide k(14)?
False
Let h = 18399 + -11791. Is 27 a factor of h?
False
Suppose 3*u - 41*h - 37338 = -37*h, -u + 12448 = -h. Does 17 divide u?
False
Is 31 a factor of 2000/1500*4557/4?
True
Let c(y) = 17*y + 44. Let l be c(11). Let s = 503 - l. Is 17 a factor of s?
True
Let o(c) = -c**2 + 2*c - 1. Let i(n) = -18*n**2 - n - 18. Let t(u) = -i(u) + 5*o(u). Is t(-6) a multiple of 40?
False
Is (-27486)/(-17 - (-45)/3) a multiple of 120?
False
Suppose -4*m + 2*i - 1312 = -7*m, 426 = m - 5*i. Suppose -m*a + 440*a - 4380 = 0. Is a a multiple of 62?
False
Let t = 78510 + -22278. Does 66 divide t?
True
Let s(x) = 7*x**3 - 5*x**2 + 2*x. Let o be s(2). Suppose 10*f - 330 = -o. Does 15 divide f?
False
Let o(l) = 10*l**3 - 6*l**2 - 5*l + 5. Let y be o(5). Let x(d) = -7*d + 54. Let b be x(7). Suppose 13*h - b*h = y. Does 15 divide h?
True
Suppose -63399 + 288555 = 29*m. Suppose -m - 2631 = -7*o. Is 55 a factor of o?
True
Does 153 divide ((-8262)/30)/(90/(-750))?
True
Let z(n) = -658