258365/(-25) - 20/50. Is 28/(-168) - l/18 a multiple of 31?
False
Let j = 3377 - -8673. Is j a multiple of 11?
False
Let o(s) = -2*s**2 + 8*s - 2. Let h be o(3). Let z(k) = 196 - 208 + 0*k - h*k. Is z(-12) a multiple of 18?
True
Does 6 divide -14 + (-38574)/(-1 + -8)?
True
Suppose -j + 5*j - 16 = 0. Suppose 0 = -3*d - 4*i + 247, 0 = -j*d - 5*i + 238 + 90. Does 11 divide d?
True
Suppose 3*b + 222 = -3*k, 2*b = -4*k - 57 - 93. Let n = b - -77. Suppose -n*t - c + 254 = -0*c, -c + 62 = t. Does 32 divide t?
True
Suppose 50254 + 18366 = 47*u. Is u a multiple of 10?
True
Let q = 3908 - 2239. Is 7 a factor of q?
False
Let p(i) = 124*i + 27. Let t(w) = 123*w + 24. Let x(b) = -6*p(b) + 5*t(b). Is x(-2) a multiple of 12?
True
Let m(o) = -20*o**3 - o**2 - 2*o - 2. Let g be m(-1). Suppose g*i - 819 = 6*i. Let n = -33 + i. Is n a multiple of 10?
True
Suppose 54*x - 177331 = 7*x. Is 20 a factor of x?
False
Is 56/42 + (-7)/((-21)/2318) a multiple of 12?
False
Suppose 4*v + 2*v - 834 = 0. Let a = -71 + v. Let l = -52 + a. Does 16 divide l?
True
Let b(s) = 13*s + 158. Let c be b(-6). Let f = 7 - 4. Let y = c - f. Is 11 a factor of y?
True
Suppose -110*o = -141*o + 60078. Does 8 divide o?
False
Let j be (-4)/10 - 9/15. Let k(t) = t**3 + 4*t**2 + 5*t + 2. Let b be k(j). Let n(w) = 2*w + 16. Is 5 a factor of n(b)?
False
Let m(n) = 4*n**2 - 64*n + 581. Does 14 divide m(40)?
False
Suppose 2*i - 4*t - 8 = 0, t - 8 - 4 = -3*i. Is ((-52)/3)/(i/(-12)) a multiple of 26?
True
Let j = 3323 - 2610. Is j a multiple of 23?
True
Let h = -33 + 19. Is 21*((-66)/h)/1 a multiple of 43?
False
Let t = 136 - 59. Suppose p - 33 = t. Is 55 a factor of p?
True
Does 28 divide (-3 - 78/(-24))/((-4)/(-225872))?
False
Let q(i) be the first derivative of -2*i**2 + 110*i + 128. Is 9 a factor of q(14)?
True
Let z be (-35 - -38) + (12 + -1 - 0). Let p = -10 + z. Suppose 2*j - p*j + 102 = 0. Is 21 a factor of j?
False
Let j(t) = 2*t**3 - 280*t**2 + 636*t - 440. Is 82 a factor of j(138)?
True
Suppose 9*c + 39 = -24. Let u(d) = 10*d - 14. Let x be u(c). Is 8 a factor of (78/(-7))/(12/x)?
False
Let v = -9873 + 23886. Does 27 divide v?
True
Suppose -3*n - 4*q + 2360 = 0, 2*n - 4*q - 3100 = -2*n. Let i be (-1)/2*(4 - 4)*1. Suppose 4*a - n = -i*a. Is 28 a factor of a?
False
Is 11265/3 - (-2280)/(-95) a multiple of 41?
True
Let b = -5447 + 11382. Is b a multiple of 18?
False
Let t(d) = 582*d**3 - 5*d**2 + 12*d - 13. Is t(2) a multiple of 52?
False
Let n(z) = 73*z**3 + 2*z**2 + 2*z + 1. Let c = -6 + 5. Let d be n(c). Let x = d + 144. Is x a multiple of 9?
True
Suppose -500*c + 524*c = 18528. Is c even?
True
Let z be -2*(12 + -5 - 8). Suppose 4*g = 8, z*u - u = -2*g + 697. Is u a multiple of 63?
True
Suppose 231*p = 172*p - 208*p + 2821923. Is p a multiple of 40?
False
Suppose 2 + 4 = 6*s. Let j(o) = -2*o + 9. Let k be j(4). Does 7 divide (k - s) + (-56)/(-2)?
True
Let a = 4490 + -168. Is a a multiple of 98?
False
Suppose 5*v + 219 = 254. Let f(p) = p + 7. Let n be f(-5). Suppose 0 = r - 5, v*i - 2*i - 490 = n*r. Is i a multiple of 10?
True
Suppose 16*a - 21*a - 70 = 0. Let g be 99/21 + (-4)/a. Is 19 a factor of 80/1 + (3 - g)?
False
Suppose -23 = 2*z - 859. Suppose 2*k + 4*k - z = -2*v, 697 = 3*v - 5*k. Is 6 a factor of v?
False
Let p be (0 + 3)/((-5)/(-30)). Suppose -p - 63 = 9*w. Is 34 a factor of 2/w - (-2156)/63?
True
Suppose -5*s - p = -86154, 64010 = 3*s + 5*p + 12344. Does 117 divide s?
False
Let y(s) = s**2 - 22*s + 75. Let n be y(17). Is 5/(25/n)*-28 a multiple of 8?
True
Suppose -3*w - 6*w + 117 = 0. Is 2*2 - w/(52/(-464)) a multiple of 40?
True
Let s(v) = -v**3 - 8*v**2 + 7*v - 1. Let u(x) = 2*x**3 + 17*x**2 - 13*x + 1. Let w(n) = 5*s(n) + 3*u(n). Is 23 a factor of w(-7)?
False
Let l be (-72)/28 + 3 - (-36)/14. Suppose -5*r = 2*m - 2997, 2*m + 3*m + l*r = 7483. Is m a multiple of 17?
True
Let q = -72 - -78. Suppose 0 = -q*m + 339 + 129. Suppose -4*n + 114 + m = 0. Is 16 a factor of n?
True
Let n = -14608 + 18437. Does 24 divide n?
False
Is 651*208/96*8 a multiple of 26?
True
Let d(c) = 4561*c**2 - 9*c + 2. Is d(1) a multiple of 69?
True
Suppose 7*x + 0*x - 147 = 0. Suppose 46 = y + 4*l, -2*y + 3*l = -58 + x. Does 2 divide (2 - 3)*(1 - y)?
False
Let l(f) = f**3 + 14*f**2 + 22*f - 6. Let i be (6 - 2)*3/(-1). Let a be l(i). Suppose -3*h + 46 = -5*j, -h + 0*h + 3*j = -a. Is 4 a factor of h?
True
Suppose 3*m + 56001 = -12174. Is 6 a factor of 3/(m/3785 + 6)*-1?
False
Suppose 8*v + 20 = 12*v. Suppose 39*m - 120 = 9*m. Suppose 400 = v*y - 2*r, 2*y - m*r + 5*r = 160. Is 16 a factor of y?
True
Suppose 0 = 2*t + 58 + 38. Let a be t/(1 + 0) + (8 - 11). Let m = 176 + a. Is m a multiple of 23?
False
Let d be (-150)/225*(-321)/2. Let r = 325 + d. Is r a multiple of 24?
True
Suppose 1369*p - 1373*p + 20932 = 0. Is p a multiple of 18?
False
Is 38 a factor of -4*6*30800/(-825)?
False
Suppose -2*k = 2*i - 8886, -i + 3*k + 6185 - 1734 = 0. Does 25 divide i?
False
Suppose -i + 3*d = -6*i + 10722, -i + 2140 = 5*d. Does 10 divide i?
False
Let k be (-1 - 1)*(-237)/6. Suppose -3*g = 2*j - k, 0 = -9*g + 8*g + 1. Is j a multiple of 26?
False
Suppose 7*i - 100 = 1426. Is 128 a factor of i?
False
Let d = 47 + 0. Let m = 1125 + -1140. Let x = d + m. Does 16 divide x?
True
Is 13 a factor of (15 - (-23265)/30)*4?
False
Suppose 0 = 158*k + 27*k + 3394504 - 14237169. Is k a multiple of 25?
False
Is 25 a factor of (9 - -3) + 59976/21?
False
Suppose -4*q - 6372 = 3*o - 17904, q = -3. Is 77 a factor of o?
False
Let l be (-6)/(-12)*(-2 + 6)*-1. Let u be ((-5)/(100/(-16)))/(l/(-25)). Suppose -u*h + 1361 + 1109 = 0. Is h a multiple of 38?
False
Let z(o) = -264*o + 14. Let m(s) = s + 1. Let d(u) = -8*m(u) + z(u). Let g be d(-6). Suppose 4*c = -3*c + g. Is c a multiple of 39?
True
Let t(a) be the second derivative of -a**5/20 - a**4/4 - 5*a**3/6 + 13*a**2/2 - a. Let u be -30 + 5 + 19 - 1. Is t(u) a multiple of 36?
False
Suppose -63077 = -51*j - 22532. Is 15 a factor of j?
True
Is 4 a factor of 12/8*575/(-45)*-12?
False
Suppose 397*d - 822*d + 985677 = -404*d. Does 135 divide d?
False
Let h be 2942/(-15) - 38/(-285). Let u = 253 + h. Is 4 a factor of u?
False
Suppose -12 = -4*i + i. Suppose -4*v = 2*g - g - 16, 38 = i*g + 3*v. Suppose 0 = -g*b + 9*b - 6. Is 2 a factor of b?
True
Suppose 2*i = -u + 597, 20*i - 16*i - 4*u - 1164 = 0. Is i a multiple of 18?
False
Does 61 divide 871/(16/13664*14)?
True
Let h(m) = m**2 + 4*m - 7. Let b be h(-5). Let f = -1203 - -1200. Is (12/(-9) - b/f) + 122 a multiple of 30?
True
Let u be 10/(-9)*3*12/(-10). Suppose 2*o = -3*k + 1713, -o - u*k + 1096 = 242. Does 33 divide o?
True
Let g be 64/48 + ((-7)/3 - -2). Suppose -7 = 6*x - 37. Is 11 a factor of (-7)/35 + 56/x*g?
True
Let z(y) = y**3 + 6*y**2 - 4*y - 22. Let d be z(-6). Suppose 3*k + 6 = 3*x, 2*x + d = 4*k + 6. Suppose 3*c = -k*c + 96. Does 18 divide c?
False
Suppose 53 - 23 = 5*r. Suppose -r = -4*g + 7*g. Does 8 divide g + (1/(-3))/(1/(-54))?
True
Does 10 divide (-12589 - -299)*-2*(-3)/(-6)?
True
Suppose 2*w = z + 1476, 5*z = 5*w - 2*w - 2200. Suppose 0 = 3*v - y - 3*y - w, v - 2*y = 250. Does 6 divide v?
True
Suppose 23 = -5*x - 7. Let n(l) = l**3 + 8*l - 160*l**2 - 2*l**3 + 80*l**2 + 81*l**2 + 4. Is 52 a factor of n(x)?
True
Let t be (8 - 105/14)/(2/184). Suppose -4*u - z + 149 = 0, 0 = -4*u + 4*z + t + 98. Suppose 612 = -u*w + 41*w. Is 51 a factor of w?
True
Let d(j) = -11*j + 76. Let p(w) = -23*w + 153. Let y(o) = 7*d(o) - 3*p(o). Let i be y(9). Is (-3 - 129/(-9))*(i + 2) a multiple of 9?
False
Let a = 730 - 201. Let x = a - 217. Suppose 7*k - 11*k = -x. Does 17 divide k?
False
Let b be 1734/(-9) + 6/9. Is (b/(-36))/(0 + (-4)/(-228)) a multiple of 21?
False
Let f be ((5 - (-3 + 11)) + -76)*3. Is 44 a factor of -48*f/(-2)*12/(-54)?
False
Let s(b) = -b**3 - 11*b**2 + b + 35. Let y be s(-11). Let m = y - -691. Is 65 a factor of m?
True
Suppose 2*l - 3*l = 0. Suppose 2*q = -3*x + 3 + 3, -24 = -3*x + 4*q. Suppose -624 = -x*o - d, -3*o - o - 5*d + 624 = l. Does 26 divide o?
True
Suppose 13*i - 24840 - 32700 - 142608 = 0. Does 22 divide i?
False
Suppose -20*o - 90 = 90. Is (861/o + (-4 - -1))*-3 a multiple of 21?
False
Suppose -3*n + 2 = -4*q, -2*n + q - 10 = -18. Suppose -n*u = -7*u + 960. Does 26 divide u?
False
Let k(w) = 578*w - 198. Let x 