. Suppose z*f - 2280 = 890. Is f a multiple of 10?
False
Suppose -3*x = -2*w + 507, -5*w + x = -x - 1295. Suppose w - 1781 = -10*s. Is s a multiple of 8?
True
Suppose -2*k - 4*k = -2628. Suppose 50*f = 53*f - k. Suppose 0 = -5*l - f + 581. Does 29 divide l?
True
Suppose -417 - 221 = -58*o. Suppose -132 = -0*k - 3*k. Let d = k - o. Is d a multiple of 10?
False
Let r be ((-3)/(-2))/((-66)/(-396748)) + 0. Suppose 18*p - r - 8461 = 0. Does 18 divide p?
False
Let h(z) = -51*z + 10. Let m(n) = n**3 + 18*n**2 + 2*n + 38. Let b be m(-18). Let q be h(b). Is (-18)/126 - q/7 a multiple of 6?
False
Let i(p) = -2*p**3 + 13*p**3 - 2*p**2 - 10 - 10*p**3. Let l be i(0). Does 13 divide ((-74)/5)/(2/l)?
False
Suppose -60*z = -41*z - 95. Suppose -604 = -4*c + 4*r, -z*c + r - 101 + 864 = 0. Is 7 a factor of c?
False
Suppose -1452 = -4*l + j, 1452 = -12*l + 16*l + 3*j. Let i = l - -258. Does 21 divide i?
False
Let n(c) = 40 - 21 + c - 6. Let k be n(-11). Suppose 0 = 3*w + k*a - 31, 0 = -a - 2*a - 12. Does 2 divide w?
False
Let n(b) = -b**2 - 4*b + 10. Let o be n(-5). Suppose o*k + 2*k - 14 = 0. Suppose -k*g = z - 153, 3*z + 5*g = z + 302. Does 26 divide z?
False
Suppose 5244 = -7*i + 9937 + 6185. Is i a multiple of 111?
True
Let p = 3950 - 3818. Suppose 4*h = -o + 106, -2*o = -6*h + 2*h - 260. Let k = p - o. Is 3 a factor of k?
False
Is 7 a factor of (-84)/(-98) + (28520/14 - 1)?
True
Let d = -999 - -1445. Let u(k) = k**3 - 15*k**2 + 18*k + 38. Let h be u(14). Suppose -h = -9*f + d. Is 11 a factor of f?
False
Let l = -2319 + 1516. Let y = -453 - l. Is y a multiple of 14?
True
Suppose -3*h - 4*y + 117 = 2*h, -5*h = -y - 127. Suppose h*p = 14*p + 638. Does 4 divide p?
False
Let q = -689 - -1064. Let n(b) = 10*b**3 - b**2 + 5*b - 4. Let c be n(1). Suppose -13*r + q = -c*r. Does 16 divide r?
False
Let k(c) = 2207*c**3 - 7*c**2 + 12*c + 29. Is 47 a factor of k(3)?
False
Let z be ((-2)/2 + 151)/(30/100). Let b = z - 292. Suppose -r - r + b = 0. Is 13 a factor of r?
True
Let v = 11474 + -11028. Is v a multiple of 16?
False
Is 23 a factor of ((-147)/(-2))/((-10)/((-55200)/45))?
True
Let y(n) be the third derivative of 52*n**4/3 + n**3/2 + 24*n**2. Is 29 a factor of y(1)?
False
Suppose -2*y = -4*i + 2522, -5*i = 6*y - 4*y - 3148. Is 45 a factor of i?
True
Suppose 2*c + i + 494 = 0, -276 = c + 2*i - 29. Let a = c - -427. Is 3 a factor of a?
True
Let a = 15538 - 3587. Is 18 a factor of a?
False
Let g(z) = 5*z - 3. Let m be (-5 + 4 + -2)*-1. Let u be g(m). Suppose 9*p + 411 = u*p. Is 24 a factor of p?
False
Let o = -390 - -391. Suppose o + 0 = b, c - b = 305. Is 17 a factor of c?
True
Let s = -152 + 157. Suppose 4*w - k = 686, 0*w - s*w + 845 = 5*k. Does 57 divide w?
True
Let h = -369 - -3499. Does 5 divide h?
True
Is 67 a factor of 3708759/745 - (-1)/5*-1?
False
Let d(m) = m**3 + 1 + 11 - 5*m**2 + 3*m + 13 - 19. Let y be d(4). Suppose -y*j - 22 = -138. Is j a multiple of 33?
False
Is (-7 + -2 - -8)*-5 - -3163 a multiple of 24?
True
Let v = 22 + -16. Let k be 19 - v/(-9)*3. Let o = k + 63. Is 18 a factor of o?
False
Let p(l) = 2*l - 209. Let g be p(0). Let v = -103 - g. Suppose v = 3*b + 1. Does 9 divide b?
False
Let j(m) = 11*m**2 + 2*m - 43. Let x(a) = -3*a**3 + 14*a**2 - 9*a + 9. Let v be x(4). Does 12 divide j(v)?
False
Suppose m = 8*m. Suppose m = 121*a - 122*a + 22. Suppose 0 = -a*s + 27*s - 480. Is 24 a factor of s?
True
Let b(j) = 6416*j**2 + j + 2. Is 11 a factor of b(-1)?
False
Suppose -3*j - 7 = -n + 13, -j + 3*n - 4 = 0. Let v(x) = -x**2 - 9*x - 11. Let r be v(j). Suppose -2 = 2*p - r*f + 3, 0 = 3*p - 2*f. Is p even?
True
Let f = -1119 + 2063. Let h = f + -829. Is h a multiple of 16?
False
Let d(b) be the second derivative of -b**5/20 - 8*b**4/3 - 32*b**3/3 - 29*b**2/2 + b + 45. Is d(-30) a multiple of 7?
True
Let v(a) = -2*a - 20. Let z be v(-10). Suppose y = -4*b + 20, z = -b + 4*y + 2 - 14. Suppose -g - 531 = -2*s - 0*s, 3*s - 780 = -b*g. Does 22 divide s?
True
Let j be (28/12*-1)/((-1)/3). Suppose 57 - j = 5*p. Does 3 divide p?
False
Let g be (1/(-2 + 1))/((-2)/(-16)). Let v be (-18 - 30)*(-6)/g. Let h = 228 + v. Is 24 a factor of h?
True
Let h = -19641 + 38835. Is 14 a factor of h?
True
Let a be ((-140)/63)/(-10) - 4/18. Suppose a = -5*i + 578 + 162. Suppose 4*c - 8*c = -i. Is 4 a factor of c?
False
Let s(c) = -4*c - 3*c**2 + 6 - 3*c**2 + 4*c**2 + 3*c**2. Let u be s(3). Suppose -270 = -4*g + 5*l + 311, -307 = -2*g - u*l. Does 17 divide g?
False
Let r = 170 - 173. Is 34 a factor of (238 - 0) + r + 3?
True
Let c = -2149 + 7712. Does 32 divide c?
False
Let i be (-2)/((-50)/(-15) - 4). Suppose 0*s - 4*s = -4*b - 44, i*s + 3 = 0. Does 5 divide (-136)/(-3) + 4/b?
True
Let r(b) = -b**3 + 20*b**2 + 25*b - 29. Suppose 0 = -7*g + 24 + 116. Is r(g) a multiple of 35?
False
Suppose 4*n - 2*r = -118, 7*r + 71 = -2*n + 4*r. Let c = 45 + n. Let l = c + 8. Is l a multiple of 22?
True
Let v = 31658 - 21220. Is 103 a factor of v?
False
Let y(p) = 9*p + 199. Let s be y(-21). Suppose -4*l + 8 = 0, -11*d + s*d + 584 = 5*l. Is 12 a factor of d?
False
Suppose 149 + 7 = -4*r. Let h = r - -100. Let a = h - -29. Is 30 a factor of a?
True
Let l(y) = -10*y - 21. Let s be l(-7). Let w = s - -2. Suppose 252 = 4*m + 3*r, -3*m - w = -4*r - 215. Is m a multiple of 15?
True
Let c(g) = 19*g**2 - 171*g + 2867. Is c(21) a multiple of 9?
False
Let o be 69*-2*20/(-40). Suppose t + t = 2*g - 46, -3*g + o = 4*t. Is 2 a factor of g?
False
Let a(l) = -1529*l - 867. Is 13 a factor of a(-6)?
True
Suppose -4*c = 3*y - 7565, -107*y - 5 = -102*y. Is c a multiple of 8?
False
Let i = 80230 - 54765. Is 9 a factor of i?
False
Let z = -30900 - -55344. Does 42 divide z?
True
Suppose 8*h - 262 = 202. Suppose -55*a + h*a - 78 = 0. Suppose 33*b - a = 32*b. Is b a multiple of 5?
False
Let z(g) = 1346*g - 1708. Does 11 divide z(26)?
False
Let u(m) = 6*m - 1. Let s be u(2). Let k = -196 + 193. Is 108/11 - ((-35)/s - k) a multiple of 5?
True
Is 28 a factor of 2 - -13 - (-1039116)/26?
False
Let s(l) = l**2 - 14*l + 2. Let p be s(14). Suppose -3*o + 10 = 4*z, -2*o - 4*z + p = -2. Suppose -3*x = -o*x + 126. Is 9 a factor of x?
False
Let x(h) = -h**3 + 5*h**2 + h + 1. Let n(l) = -l**2 - l + 1. Let f(a) = n(a) + x(a). Let g be f(4). Suppose g*c = 3*c - 9. Is 3 a factor of c?
True
Suppose 2*v + w - 90261 = 0, 0 = -2*w - 39 + 37. Is 316 a factor of v?
False
Let m(z) = 218*z**2 - 3*z + 2. Suppose 4*i - 3*l = 21, -2*i - 2*l + 10 + 18 = 0. Let y be i/((-45)/(-20)) - 3. Is 31 a factor of m(y)?
True
Let f(w) = 7*w**3 + 3*w**2 - 4*w + 2. Let r be f(1). Suppose -625 = 3*c - r*c - i, 0 = 2*c + 3*i - 250. Is c a multiple of 8?
False
Suppose -8*u + 1539 = 11*u. Suppose 234 = 4*c + 2*q, 2*q + u = 4*c - 165. Is c a multiple of 10?
True
Suppose -q = -2*i + 2*q + 330, 0 = 4*i + 4*q - 660. Suppose -a + i = -2*g, -379 - 413 = -5*a - g. Does 36 divide a?
False
Let q(m) = 14*m**3 + 10*m**2 - 75*m - 5. Let r be q(6). Suppose 15*z - r = 6191. Is z a multiple of 11?
False
Suppose -106*t + 540 = -70*t. Let l = -4 + 10. Let x = t + l. Is 3 a factor of x?
True
Let a(m) = 7*m - 19. Let s be a(-14). Let w = s + 139. Does 3 divide w?
False
Suppose 16 = 2*t + 4*f, 3*t + 3*f - 5*f + 16 = 0. Let i be (-244)/t*((-39)/6)/13. Is 7 a factor of -1*(0 + (i - -5))?
True
Suppose -5*p - 15 = 0, 5*g + 44*p = 48*p + 15942. Is 43 a factor of g?
False
Suppose 8*k - 136 = -4*z + 6*k, 4*k + 8 = 0. Does 78 divide -4 + 798/5 - (-14)/z?
True
Suppose -4*u + 649 = -2231 - 6388. Is 7 a factor of u?
True
Suppose -13104 = -96*f + 45936. Is f even?
False
Let n = 94 - 31. Let y = n + -57. Let b(v) = 31*v + 35. Does 17 divide b(y)?
True
Let c be 0 + 4 + 2 + -1. Let u be (117/52)/((-3)/(-80)) - -4. Suppose c*t + 51 = 2*v, -3*v + u = -0*v - 5*t. Is v even?
False
Let g(i) = -5*i + 27. Let h be g(5). Suppose -c = -h*q - 429 - 626, 3*q = 3. Is 24 a factor of c?
False
Suppose -3*g = -0*g - 15. Let c be (-4)/(-2)*(3 + 287/14). Suppose -320 = -g*j - 2*w - 78, -w - c = -j. Is j a multiple of 12?
True
Suppose 0 = -v - 2*k + 310, k + 1204 = -38*v + 42*v. Let q = v - -578. Is 44 a factor of q?
True
Let t = 14113 + -9992. Is 13 a factor of t?
True
Suppose 19394 + 58606 = -15*q. Is 51 a factor of -3*(-3)/((-36)/q)?
False
Let q(p) = 46*p**2 + 34*p + 24. Let g be q(5). Suppose 5*y = 2*u + g, 