(-3)/4*4*(-4)/d. Suppose 2*t = z*b + 18, 4*t + 5*b + 0*b - 72 = 0. Is t even?
False
Suppose 2*f = 42 + 82. Let j be (-3 - 48/(-18) - 0)*-12. Suppose 46 = j*u - f. Does 27 divide u?
True
Is 193 a factor of (-645)/93 - 118/1829 - (0 - 52503)?
True
Suppose 5*i - x - 2630 = -6*x, -5*i - 2*x = -2615. Let c = i - 288. Suppose -5*q + c = n - 340, 0 = -2*q - 5*n + 243. Is 19 a factor of q?
True
Let z = -2045 - -3153. Let h = -658 + z. Is 15 a factor of h?
True
Suppose 16 = -4*l - 2*d, 3*d + 2*d = -20. Let t be -1*((-9)/l - 6/(-4)). Is 1 + (-1)/(-2)*(0 - t) even?
True
Let f be (-1)/(-1) + 1 + (-11 - -1). Let n(q) = -q**3 - 6*q**2 + 8*q - 20. Let m be n(f). Let v = m + 34. Is 12 a factor of v?
False
Suppose 0 = n + 212*m - 215*m - 5047, -10093 = -2*n + 5*m. Does 52 divide n?
True
Let q be (-60)/(-9) - 2/3. Let d be 12/18 + 14/q. Is 13 a factor of ((-1070)/20)/((-2)/4) - d?
True
Let j = -7004 + 11296. Is 24 a factor of j?
False
Suppose p - 4*v - 7024 = 5264, -4*p = 5*v - 49131. Does 125 divide p?
False
Suppose 142*l - 256840 - 78320 = -124*l. Is 5 a factor of l?
True
Let r(s) = -s**2 + 2*s + 6. Suppose p = -2*j - 0 + 8, 5*j + p = 20. Let i be r(j). Is 6 a factor of 116/8 - 2 - 1/i?
False
Let l be (2 + -6)*8/(-4). Suppose -4*f + 115 - 393 = -5*w, f = -4*w + 214. Suppose 10*o - w = l*o. Is 9 a factor of o?
True
Let z(y) = y**2 - 4*y - 11. Let c(j) = 3*j**2 - 3*j + 1. Let w be c(2). Let l be z(w). Let b(f) = 5*f**2 - 15*f - 33. Is b(l) a multiple of 33?
False
Suppose 4*k - y + 43144 - 134543 = 0, -2*k + 4*y = -45724. Does 119 divide k?
True
Let g(n) = -n**3 - 14*n**2 - 30*n - 29. Let i be g(-12). Suppose 45*k = i*k + 924. Is k a multiple of 10?
False
Let x(y) = 5*y**2 + 578*y - 355. Is 7 a factor of x(-163)?
True
Let w(y) = y**2 + 17*y + 32. Let a be w(-15). Suppose 0 = -a*n - 0*o + o + 71, n + 5*o - 30 = 0. Suppose -z + 9 + n = 0. Is 4 a factor of z?
True
Suppose 11*b = 13057 + 20603. Does 153 divide b?
True
Let s(g) = -g**2 + 37*g - 73. Let r be s(44). Let m = r - -535. Is m a multiple of 7?
True
Let y(r) = -r + 2. Let t(l) = l**3 - 5*l**2 + 6*l - 3. Let q be t(2). Let o be y(q). Suppose z + k - 211 = 0, 4*k + 428 = o*z - 3*z. Is 14 a factor of z?
False
Does 27 divide (-107 - -53)/(8/(-2196))?
True
Suppose 2*b + 137 + 2845 = 2*n, b + 1485 = -n. Let f = -564 - b. Suppose -5*u = u - f. Is 41 a factor of u?
False
Suppose 4*t + 80 = -4*t. Let w be (t/3)/(6/(-9)). Suppose 4*d = 1 - 13, 768 = w*z - d. Does 31 divide z?
False
Let j(z) = z**3 + 15*z**2 + 13*z - 26. Let o be j(-14). Let n = o - -20. Is n a multiple of 8?
True
Suppose 0 = -3*u - 6*u - 144. Let d be u/(-56) + 341/7. Let c = -13 + d. Does 6 divide c?
True
Let x = 17 - 7. Suppose 16 = -2*k + x*k. Let f(d) = 6*d + 4. Does 8 divide f(k)?
True
Suppose 9*z + 817 + 335 = 0. Let t = z - -134. Suppose -t*g + 252 = -2*g. Is 7 a factor of g?
True
Suppose -9*s + 3918 = -1401. Suppose -11*y + 729 = -s. Let f = -78 + y. Is 7 a factor of f?
True
Suppose 2190*t - 2197*t + 52711 - 21008 = 0. Does 4 divide t?
False
Let t = -22 + 28. Let s = -117 + 134. Does 4 divide 3*t/9*(5 + s)?
True
Suppose 7*o - 5*o = 0. Suppose 4*u = -2*h + 18, 3*u + 4 = 2*h - o*u. Suppose -h*b = -7*b + 120. Does 10 divide b?
True
Let p = 72 - 71. Let n be (6 - 0)/6 - 31/p. Is 26 a factor of 817/5 + n/(-50)?
False
Suppose -218 = 3*i - 1451. Suppose 0 = -21*h + 22*h - i. Is 36 a factor of h?
False
Let q be (-38)/(-12) + 8/(-3*16). Let l be (-2332)/(-16)*16/(q + 1). Let v = l - 324. Does 9 divide v?
False
Let b(m) = -31 + 17 - 8 + 42*m. Is b(4) a multiple of 3?
False
Let d(t) = 8*t + 125. Let n be d(-15). Is 22 a factor of 1686/12 + n/(-10)?
False
Let o(y) = -y**3 + 33*y**2 + 13*y - 64. Let z be o(33). Suppose -3*i - g + 1445 = 0, -2*i - z + 1332 = -3*g. Is 12 a factor of i?
False
Is (-31998)/(-10) - 1140/(-950) a multiple of 97?
True
Let n(w) = -w**2 + w + 69. Let r(o) = o**2 - 20*o + 21. Let i be r(19). Suppose -7*q + i*q = 3*u + 5, 3 = u - 3*q. Does 6 divide n(u)?
False
Let p be (-1 - 0 - -4)*-1 - -528. Suppose -192 = -y - 4*z, -p = -4*y + y + 5*z. Does 8 divide y?
False
Is (-85224)/(-10) - 370/925 a multiple of 5?
False
Let h = 39365 + -23434. Is 35 a factor of h?
False
Let v = 34138 - 21398. Does 14 divide v?
True
Let n = 20481 + -18774. Is 77 a factor of n?
False
Is (-5*(-8)/(-80))/(((-11)/8148)/11) a multiple of 11?
False
Let i = -3780 - -7081. Is i a multiple of 8?
False
Suppose 5*r + 9 = -a, 5*a - a = -r + 21. Let g be (-8)/a*(-3 - 0). Suppose 3*m - 12 - 38 = 4*t, g*t = -m + 6. Is 14 a factor of m?
True
Suppose 858*a + 1365246 = 931*a. Is 78 a factor of a?
False
Let z(t) = 17 - 31 - 41*t - 2 + 64. Is z(-12) a multiple of 6?
True
Is (-72 - -84)/(((-45)/(-1704))/5) a multiple of 8?
True
Suppose -589591 + 116293 = -42*b. Is b a multiple of 32?
False
Is 5 a factor of ((-6910)/30)/(314/(-78) - -4)?
False
Suppose 5*k = 2*y - 13 + 14, 5*y + 3*k - 44 = 0. Suppose 4*s - y*s - 3*m = -1701, 3*m = -s + 573. Is s a multiple of 14?
False
Let g(u) = -u**2 - 11*u - 14. Let v be g(-2). Suppose 0 = -v*j + 4, -3*b + 1838 = 5*j - 651. Is b a multiple of 46?
True
Suppose 0 = 4*b - 5*g - 54475, -250*b - 27242 = -252*b - 2*g. Is 20 a factor of b?
True
Suppose 2*s = -2*l + 32 + 30, -l + 5 = 0. Suppose 14*b + s = 13*b. Let f = -16 - b. Is 5 a factor of f?
True
Suppose -37 - 43 = -5*s. Suppose 253*z + 246*z - 33 = 488*z. Suppose 4*w - 3*w - 6 = z*q, 0 = -w + q + s. Is 6 a factor of w?
False
Suppose 2*y + 6*b = 4*b + 5938, 4*y - b - 11881 = 0. Suppose 6*r - y = -4*r. Does 11 divide r?
True
Let l = 18341 - 9038. Does 61 divide l?
False
Let g = -19618 + 5329. Is 2 a factor of (g/22)/(-3) - 6/(-4)?
True
Suppose -2*b + 59 = o + 2*o, b - 5*o - 49 = 0. Suppose 0 = -31*p + b*p - 168. Does 14 divide p?
True
Let q be -4 + 2 + -7 + 2. Let n(y) = -1 + 1 + 4*y + 10 + 10*y**2 - 1 + y**3. Is 13 a factor of n(q)?
False
Suppose -2*t + 9*t + 2989 = 0. Let p = t + 716. Suppose -3*g = 5*i - p, -119 = -2*g - 2*i + 71. Is g a multiple of 14?
False
Let p(g) = -7*g - 32. Let l be 368/(-20) + 9/(-15). Let u be p(l). Is 0 + -3 + u + -8 a multiple of 30?
True
Let a be (21 + -13)*(-2)/(-8). Suppose -2*z + 532 = -38*u + 39*u, 4*u = a*z + 2168. Is 9 a factor of u?
True
Let r(p) = p**2 - 59*p + 1199. Is r(52) a multiple of 3?
False
Suppose -14*t - 5958 = -5*t. Let m = 1167 + t. Is m a multiple of 21?
False
Let y(c) = c + 1. Let s(n) = -4*n**2 + 3*n + 20. Let i(z) = -s(z) - 5*y(z). Let d be i(-6). Let p = d + -99. Is 9 a factor of p?
False
Let p(r) = 4*r**2 - 34*r - 52. Let b be p(15). Let g = b + -320. Does 4 divide g?
False
Suppose -161*t + 40861 = -359879 - 268698. Is t a multiple of 66?
True
Is 3 a factor of -5*4/(-10)*(0 + 2) - -2186?
True
Let l(d) = 49*d + 0*d - 10*d + 29 - 14*d. Does 4 divide l(5)?
False
Let y be 5054/10 - 34/85. Suppose 0 = 3*o - 53*g + 58*g - y, -5*o - 2*g = -810. Does 2 divide o?
True
Let f(k) = 20*k**3 - 9*k**2 + 19*k - 188. Is f(13) a multiple of 6?
False
Suppose -m - 4 = 2*i, -3*m + 4*i + 49 = 31. Suppose 6*z = m*l + 2*z - 362, 5*l = -4*z + 891. Is l a multiple of 14?
False
Let a(y) = 6181*y**2 - 5*y + 4. Is 5 a factor of a(1)?
True
Let j be 26*4/(-32) + 14/56. Let i(u) = -5*u**2 - 3*u + 2. Let k(h) = -26*h**2 - 16*h + 11. Let m(r) = -11*i(r) + 2*k(r). Is 8 a factor of m(j)?
True
Let y = 1692 - -441. Is y a multiple of 2?
False
Let w(a) = -a**3 + a**2 + a. Let n(p) = -17*p + 14*p - 15 - 5*p**2 - 4*p**3 + 2*p**2 + 15*p**2. Let m(s) = -n(s) + 5*w(s). Is m(-8) a multiple of 15?
True
Let u be 0*(1 + (-4 - -2)) + 1235. Let p(c) = c - 17*c - u + 1303 - 2*c. Is 23 a factor of p(-9)?
True
Is (-1)/(-17)*(-16)/(-8) - (-10045)/17 a multiple of 4?
False
Let q(t) = t**3 + 6*t**2 + 3. Let p be q(-6). Let v = 775 + -773. Suppose -4*z + 218 = 5*x + 2, -p*z = v*x - 92. Does 10 divide x?
True
Let k(v) = 278*v**3 + 2*v**2 - v - 1. Let l be k(1). Suppose 12 = 4*h, 6*b - 11*b + 4*h + l = 0. Does 4 divide b?
False
Is (-675769)/(-31) + 38/(-2) a multiple of 110?
True
Let j = -112 - -115. Is 11 a factor of j*4/6 + 231 + 56?
False
Let o be (116/(-20))/(1/(-10)). Suppose 0 = s - 66 + o. Is 4 a factor of s?
True
Let d be (-1 + -25)*74/(-4). Suppose 8*q = 7*q + 341. Let i = d - q. Is i a multiple of 20?
True
Is 41 a factor of (-54083)/(-6) - 1730/2076?
False
Let m(n) = -77*n**2 + 18185. D