. Let c be h(4). Suppose c = 5*v - 10*v + 1110. Is v a multiple of 24?
False
Let i be (-22)/(-4) - 93/62. Suppose o - i*c - 24 - 92 = 0, 2*c = -o + 134. Does 32 divide o?
True
Suppose 182*r - 63735 - 2987313 = 0. Is 132 a factor of r?
True
Let a be -1*(-7 - (5 + -381)). Let k = a + 471. Is 30 a factor of k?
False
Let n = -15157 + 88141. Is n a multiple of 131?
False
Suppose -37*v + 252 = -39*v. Let p = 248 + v. Is 48 a factor of p?
False
Let g = -262 + 490. Suppose 223*z + 850 = g*z. Is z a multiple of 10?
True
Let f be ((-728)/(-21))/(4/6). Suppose -4*z = 2*j + 110, -2*j - 103 = -5*z + f. Does 8 divide (-39)/j - (2 + 534/(-10))?
False
Suppose -6*t = -4*r - 2*t + 4, 3*r - t = 13. Let p(n) = 5*n + 4*n + 3 - 6 + 5. Is 14 a factor of p(r)?
True
Suppose -5*f = -173*c + 172*c - 82919, 0 = 2*f + c - 33169. Does 18 divide f?
False
Let k(z) = 0*z**2 + 2*z**2 + 52 - 47 + 26*z. Let o be k(-13). Suppose 3*b + 9 = a + 4*b, 0 = 3*a - o*b - 19. Does 2 divide a?
True
Suppose 9384 = 2*f + 3*u - 10064, 5*f + 4*u - 48620 = 0. Does 13 divide f?
True
Suppose -54*c = 63*c - 54405. Is 155 a factor of c?
True
Let j = 22488 - 20703. Is 21 a factor of j?
True
Suppose -t + 350 = 5*z, z - 26 - 70 = 5*t. Does 4 divide z?
False
Let x = 150 + -138. Is (44234/x)/17 - (-1)/6 a multiple of 10?
False
Let q = -854 - -927. Is q even?
False
Suppose -8 + 8 = v. Suppose v = 5*f - 5*l - 440, 0 = -5*f - 47*l + 42*l + 430. Is 17 a factor of f?
False
Let g be (-3 + 33/6)*(-2 - -10). Let t be 15/g*(0 - -4). Suppose -2*s = -4*a - 200, s = 2*s - t*a - 96. Does 36 divide s?
True
Suppose 5*b - 4*r + 3*r - 248 = 0, 3*r + 254 = 5*b. Suppose -m + b = -22. Suppose 2*y = -2*w - 2*y + 38, -4*w - 3*y = -m. Does 17 divide w?
True
Let q(b) = -70*b**3 + 22*b**2 + 14*b - 127. Is q(-7) a multiple of 23?
True
Suppose 0 = 288*u - 259*u - 58232. Does 8 divide u?
True
Suppose -5*a + 3 = -a + y, 1 = 3*a + y. Suppose 3*p + 2692 = 3*n - 2627, 3*n = -a*p + 5304. Does 16 divide n/14 - 21/49?
False
Let p = -80 + 149. Suppose -9*k = -15 + p. Is (-23 - -5)/(1/k) a multiple of 27?
True
Let b(h) = -h**2 + 10*h + 34. Let z be b(13). Is 21 a factor of -5 + (-10)/z + 213?
True
Let y(s) = -s**3 - 2*s**2 - 2*s + 1. Let l be (-9)/(-54) + 19/(-6). Let u(t) = t. Let f be u(l). Is y(f) a multiple of 8?
True
Suppose 5*r = 3*d + 1131, -3*d + 2*r - 872 = 259. Let h be 1750/3 + 6/9. Let q = d + h. Does 30 divide q?
False
Let s = 9382 + -4353. Is 47 a factor of s?
True
Let b be ((-642)/(-24))/(4/144). Does 22 divide b/18 - 3*(-1)/6?
False
Let b(u) = u**2 + 18*u - 15. Let r be b(-19). Let l(d) = 17*d**2 - 8. Let j be l(r). Let w = -57 + j. Is 23 a factor of w?
True
Suppose -2*i + 255 = -15. Suppose h + 2*z = 2*h + 85, 5*z - 337 = 4*h. Let x = i + h. Is 13 a factor of x?
True
Suppose 0 = 11*d - 109752 - 59890. Is d a multiple of 11?
True
Suppose 3*s = 2*g - 4*g + 1419, 0 = -3*g + 5*s + 2176. Let l = -254 + g. Let h = -211 + l. Does 42 divide h?
True
Let c be ((-136)/(-6))/(6/1350). Suppose -36*a + 42*a - c = 0. Does 25 divide a?
True
Let f(l) be the third derivative of l**5/30 + l**4/3 - 83*l**3/6 + 63*l**2. Is f(-15) a multiple of 18?
False
Suppose 11 = 5*m - 5*s + 1, 5*m = -3*s + 26. Suppose 20 = -a + i, a + 11 = -0*i + m*i. Let b = a - -44. Is 15 a factor of b?
False
Let k(x) = x**3 + 9*x**2 + 5*x + 5. Let t = 16 + -25. Let m be k(t). Let g = 48 + m. Does 8 divide g?
True
Let m(o) = 1065*o**2 + 31*o + 97. Is m(-3) a multiple of 43?
True
Let h be (-232)/145 + (-428)/(-5). Does 3 divide (h/(-2))/6 - -94?
True
Suppose -837 = 8*g - 2245. Is 3 a factor of g/6*180/80?
True
Let x(l) = l**2 - 452*l + 4102. Is 6 a factor of x(9)?
False
Let j(a) = -10*a**2 + 3*a - 7. Let m(s) = -5*s**2 + s - 3. Let i(h) = -6*j(h) + 11*m(h). Let r be i(2). Does 17 divide (162/r)/((-3)/(-10))?
False
Suppose -111 = -3*c - 108. Is (5 - -2)*c*7 a multiple of 12?
False
Suppose -g + 2 = 5*i, 0*g - 4*g + 2*i + 8 = 0. Suppose -c + 1 = 2*n, -5*n - g*c - 3*c - 5 = 0. Suppose -n*z + 192 = 2*z. Is z a multiple of 8?
True
Suppose 0 = 5*k + 3405 - 17850. Does 4 divide k?
False
Suppose 113*g - 34*g - 2948 = 972939. Does 89 divide g?
False
Suppose 30 = 7*u - u. Suppose -3*x = u*y - 314 - 462, -4*y = -x - 614. Is y a multiple of 7?
True
Suppose 2*c - 3*l = -6*l + 7741, -4*c - 5*l = -15481. Suppose 5*y - c = -5*i + 6006, 2*y = 5*i - 9847. Does 66 divide i?
False
Suppose -17*l = -3*l + 15*l - 145. Suppose 3*w + 2*j = 25, -j + 3*j = -4*w + 32. Suppose -l*q + w*q = 126. Is 4 a factor of q?
False
Does 3 divide (-34774)/(-36)*3 + 83/498?
True
Suppose -3*p + 4*j = 16, 5*p - 4 = -j - 0. Suppose 26*q - 13*q - 4290 = p. Is 30 a factor of q?
True
Let b = -4433 + 12900. Is 9 a factor of b?
False
Let l be 7 + -1 - (-23 - -27). Suppose -2*t - 147 = 3*t - y, -l*y - 36 = t. Is ((-14)/(-3))/(2 - (-56)/t) a multiple of 8?
False
Is (-709482)/(-24) + (-70)/40 a multiple of 40?
True
Let c = -122 - -89. Let p = c - -35. Is (-1 - 220/(-8))/(p/24) a multiple of 53?
True
Let a be 0/(3*8/(-24)). Suppose -18*u + 4828 + 1220 = a. Does 14 divide u?
True
Suppose 6*u - 147 = 453. Let c = -10 + u. Is c a multiple of 3?
True
Let h be (-25)/(225/72)*(0 - 1). Suppose 7*g + h*g = 990. Is g a multiple of 11?
True
Suppose -16 = -5*b + 59. Suppose -4*c - 3 = -f + 3, -2*f = c + b. Is (1 + 0)/(f/(-48)) even?
True
Let x be (-4 + -27)*-68 - 0. Let q be 2/(x/(-1056) + 2). Suppose 50*h = 47*h + q. Does 40 divide h?
False
Suppose 0 = 120*c - 143*c + 45632. Does 4 divide c?
True
Suppose 129 + 200 = r - 3*j, 4 = -2*j. Does 93 divide r?
False
Let g = 13738 - 7028. Does 110 divide g?
True
Suppose -42 = -4*a - 50. Let k(n) = -6*n - 8. Let c be k(a). Suppose -71 = -c*x + 13. Is 12 a factor of x?
False
Suppose n = 6, 28*o = 32*o + 5*n - 3902. Is o a multiple of 8?
True
Suppose 0 = -3*n + 2*z + 30396, 4*z - 4448 = -n + 5670. Is n a multiple of 11?
False
Let v = 22303 + -20416. Is 111 a factor of v?
True
Let w(o) = o**2 + 9*o + 22. Let a be w(-5). Let m be (a + (-18)/5)/(6/(-15)). Suppose 5*g - m*g - 5*b = 26, 0 = -2*b + 8. Does 17 divide g?
False
Suppose -4*n + 135 + 545 = 0. Let j = n - 119. Suppose -z + 136 + j = 0. Is z a multiple of 17?
True
Let y be 8/(-2) + 2 + 4. Suppose i = 3*c - 348 + 26, -5*c + y*i + 537 = 0. Suppose -1347 = -20*b - c. Does 12 divide b?
False
Let j = 42 - 40. Let g be (-21)/(-6) + (-3)/2 - j. Suppose -3*v + 210 + 9 = g. Is 8 a factor of v?
False
Let l = -1923 - -3208. Is l a multiple of 11?
False
Let h(c) = 2*c + 12. Let m be h(-5). Suppose m*d + 8 = b, -4*d + b - 22 = -4*b. Let a(f) = -20*f + 6. Is 22 a factor of a(d)?
True
Let r = -4121 + 4116. Suppose 0 = -3*d - 3, -4*b - 5 - 20 = 5*d. Does 23 divide b/25 + -3*307/r?
True
Is ((-186)/(-31))/(-2 + -1 + 1) - -100 a multiple of 5?
False
Let j(z) = -107*z - 2. Let s(r) = -54*r - 1. Let u(i) = 3*j(i) - 5*s(i). Is u(-5) a multiple of 13?
False
Let j be 9/(-21) - 236/(-28). Suppose n - 27 = -j*n. Suppose 34 = -t - 2*l + 171, 4*t + n*l = 573. Is t a multiple of 13?
False
Let z be (-284)/18 + (-20)/90. Does 32 divide (-142)/(-3)*(-168)/z?
False
Does 16 divide (141/2)/(24/(-7416)*(-27)/48)?
False
Let h = -26 - -34. Let z be (-3)/(-2*4/h). Let q(n) = 39*n + 2. Does 33 divide q(z)?
False
Suppose 3*q - 2757 = 3*n, 189*n - 2722 = -3*q + 187*n. Does 304 divide q?
True
Let q = -55600 - -99055. Is q a multiple of 11?
False
Let z(q) = -3*q**3 + 6*q**3 - 10*q + 0*q**3 + 34*q**2 + 25 - 4 - 2*q**3. Is 70 a factor of z(-33)?
False
Let o(f) = 28*f**3 - f + 1. Let k be o(1). Is 24 a factor of (-3)/(-21) + 25*188/k?
True
Suppose -2*m + 6*d = 9*d + 14, -3*m - d - 14 = 0. Is 149 + (24/(-48) - 6/m) a multiple of 25?
True
Suppose 59*a - 95 = 40*a. Suppose -a*b + 735 = -3*m, 2*b - 268 = -125*m + 121*m. Is b a multiple of 2?
True
Suppose 0 = -16*j - 71 - 281. Is 3 a factor of 124/16 - (j/(-8) - 3)?
False
Suppose -490*b + 492*b = 4. Let w(p) = -333*p**3 - 2*p**2 - 2*p - 1. Let f be w(-1). Suppose 8*t - 550 = 3*t - 5*o, -b*o + f = 3*t. Is t a multiple of 13?
False
Let f(v) = 3*v**3 - 114*v**2 + 77*v - 166. Is f(38) even?
True
Let u(n) = n**3 + 2*n**2 + 3*n + 8. Let k be u(-2). Let r be (1 + k - 10)*(-24)/(-28). Does 10 divide (2 + 16/(-10))/(r/(-900))?
True
Let f = 276 + -496. Let c = -185 - f. Is c a multiple of 16?
False
Suppose 12870 = -3*c + 34518. Suppose 0 = -14*t + 3*