e q(8). Does 16 divide (-57)/3*26/u?
False
Let i(y) = 2*y - 2. Let z be i(7). Suppose 0 = -5*l + 27 - z. Let w = 73 - l. Is 10 a factor of w?
True
Let o be (44 + -39)*22/10. Suppose -3*i = -o - 133. Is i a multiple of 48?
True
Suppose -5*y = 156*y + 9*y - 134810. Is 7 a factor of y?
False
Does 15 divide ((-3729)/10 + (-74)/(-185))/(3/(-42))?
False
Let w be 15*(-7 + (-434)/(-6)). Let m = 1412 - w. Does 12 divide m?
True
Let g = -741 - -2078. Suppose 4*n - 3*f = 1259 + g, 3*n = 3*f + 1947. Is 18 a factor of n?
False
Let m(g) = -g - 4. Let i be m(-6). Let t be (-1316)/i + 3 + (-2 - 3). Is 10 a factor of (4/3)/((-11)/t)?
True
Does 26 divide (111/6 - 19)/(2/(-38308))?
False
Suppose 3*v + 9*v + 0*v - 4548 = 0. Does 6 divide v?
False
Let m(o) = -o**3 - 3*o**2 + o - 1. Let s be m(-5). Let l = s + -27. Suppose -4*c + 50 = 3*t, 0 = 2*t - 3*t - c + l. Does 6 divide t?
True
Suppose 0 = -5*g - 4*h + 11660, 5*g - h = -1220 + 12905. Suppose -30*x + 22*x + g = 0. Is 25 a factor of x?
False
Suppose 0 = 5*l - 6*u - 29562, 3*l + 5*u = 17104 + 616. Is l a multiple of 20?
False
Suppose -4*s + 2*c + 37042 = 0, 0*c - 5 = c. Suppose -s = -21*h + 11301. Is 21 a factor of h?
False
Let g = -112 - -154. Suppose 3*k - 528 - g = 0. Is k a multiple of 64?
False
Let u be 6/9*6 - (4 - 4). Suppose 0*o - 1368 = -u*o + 2*g, -5*g = 2*o - 696. Does 15 divide o?
False
Is 3 a factor of (13 - 5) + (-35700)/(-60)?
True
Does 39 divide 85724/29*(0 + 1/(-2)*-2)?
False
Let x be (-10621)/(-95) - 2/(-10). Suppose 5*w + 2*w = x. Suppose -64 = -w*r + 14*r. Does 26 divide r?
False
Let g(h) = -34*h**2 - 7*h + 8. Let b be g(-4). Is -1 + -6 + 3 - b a multiple of 8?
True
Let x(p) = 21*p + 372. Let m be x(0). Suppose 229 = v + 3*g, -3*v + 315 = -4*g - m. Is v a multiple of 11?
False
Let a = 12 - 13. Let j be a - -1 - 28/(-14). Does 2 divide j + (-15)/(-5) + -2?
False
Let g(h) = h**3 - 13*h**2 - 14*h + 2. Let r be g(14). Suppose -9*b = -5*b + u - 355, r*b - 185 = -3*u. Is b a multiple of 22?
True
Suppose -g = r - 6, -5*r - 4*g = 18 - 46. Suppose -3825 = -r*s + s. Does 75 divide s?
True
Let m = -34 + 68. Suppose m = 5*k + 19. Suppose 5*w + 633 = -2*v + 4*v, -k*v + w = -982. Does 25 divide v?
False
Suppose -3*z + 50340 = 5*y, -38*z + 5*y = -10*z - 469530. Is z a multiple of 65?
True
Suppose 8*v - 6*v + m + 4215 = 0, -25 = 5*m. Is 29 a factor of 20/(-16) - v/20?
False
Suppose 0 = -12*s + 16*s - 5*p - 1, 0 = 5*p - 15. Suppose 15*n - 703 = -s*n. Is 9 a factor of n?
False
Suppose -3*v = o + 22, -4*o - 14 - 40 = -5*v. Is 4 a factor of (-6 - o) + 5 + -1 + 0?
False
Let y(q) = -21*q**3 - 50*q**2 - 31*q - 2. Is 160 a factor of y(-6)?
False
Does 104 divide -3636*10/(200/(-35)) + -1?
False
Suppose -2*y - 62512 = -6*y + 8624. Is y a multiple of 6?
True
Let y(i) = -4. Let k(z) = z**2 - 7. Let n(l) = -3*k(l) + 5*y(l). Let o be n(-1). Does 20 divide (-6)/o*1 + 57?
True
Let w(t) be the second derivative of 73*t**4/12 - t**3/6 - 5*t**2/2 - 31*t. Let x be w(-2). Let o = 409 - x. Does 40 divide o?
True
Is 7 a factor of 84/231 + (-134272)/(-44)?
True
Let x = 7203 - 2304. Does 71 divide x?
True
Suppose 0 = 2*g - 95 + 59. Suppose 5*m - g = 2*m. Is 6 a factor of m?
True
Let v = 23 + 67. Is 2/(-3) + 1770/v a multiple of 6?
False
Let h be 95 + -2*(-1)/2. Suppose -1083*k - 5800 = -1123*k. Suppose -4*u + 2*t + k = -41, 2*u - h = 2*t. Does 3 divide u?
True
Suppose 2*t + u + 40 = 0, 3*u + 5 = -5*t - 94. Let y be (-6)/t + ((-13080)/(-28))/3. Suppose 0 = -y*o + 152*o + 568. Does 6 divide o?
False
Let t = 4884 - -6584. Is t a multiple of 61?
True
Suppose 16*f - 1578 + 362 = 0. Suppose 0 = -74*j + f*j - 1762. Is 9 a factor of j?
False
Let p be (-4)/(8/5)*(-336)/60. Suppose -940 = -19*z + p*z. Is z a multiple of 26?
False
Suppose -24*o = -39*o + 5370. Does 3 divide o?
False
Does 87 divide (-1160052)/(-44) + ((-140)/(-154))/5?
False
Let k = 257 - 226. Let r = k + 333. Does 14 divide r?
True
Let n be (3 + -4)/((-1)/(-287)). Let c = -2 - n. Does 9 divide c?
False
Let v(w) = 3*w**2 - 14*w + 109. Let t = 243 + -235. Does 12 divide v(t)?
False
Let u(l) = 382*l + 3506. Does 72 divide u(13)?
False
Suppose 152 = 6*z + 44. Suppose -3*h + 0*h + z = 3*r, -15 = -5*r. Suppose -h*q + 81 + 72 = 0. Does 17 divide q?
True
Let q be ((-3)/(-18)*2)/(4/36). Suppose q*f + 4*j - 1060 = -78, 3*f + 5*j = 986. Is 23 a factor of f?
True
Let m be ((-8)/6)/(6/(-315)*5). Let q(l) = l**2 + 8*l - 28. Does 10 divide q(m)?
True
Suppose 8*m - 5*p - 553 = 4*m, 249 = 2*m + 3*p. Let k = -133 + m. Is 15 a factor of 1 + 260 + k + -5?
True
Let t(z) = 15*z + 811. Is t(5) a multiple of 15?
False
Let x = 30855 + -18557. Is x a multiple of 43?
True
Let h = -25071 + 35807. Does 21 divide h?
False
Suppose -3*n = 2*b - 5560, 0 = b + 63*n - 61*n - 2782. Is 175 a factor of b?
False
Let r(p) = -2*p**3 + p**2 + p + 1. Let d(k) = -7*k**3 + 5*k**2 + k + 14. Let z(y) = -d(y) + 4*r(y). Does 5 divide z(-5)?
True
Let c = 191 + -115. Suppose 3*v - c + 19 = 0. Is v even?
False
Suppose 2*m = -4*d, m - d - 9 = -6*d. Does 24 divide 2256/66 + m/33?
False
Let b be 1/3*-1*(6 - 24). Suppose -b*j + j + 218 = -3*a, 0 = 4*a - 16. Is j a multiple of 20?
False
Suppose 0 = -5*n - 48 + 268. Suppose 4*z - 2*b = -z + n, -2*b = -4*z + 36. Suppose z*o - 279 = 5*o. Is o a multiple of 9?
False
Let u(i) = 75*i**3 - i**2 - 8*i - 7. Let h be u(-1). Let k = 63 + h. Does 16 divide (18/k)/(3/(-366))?
False
Let n = 26 - 14. Suppose 0*f + 4*f - n = 0. Suppose -1 - 54 = -4*l + 3*g, -40 = -f*l + 2*g. Is l a multiple of 4?
False
Let p = -333 + 337. Does 40 divide p + -2 + (18 - -820)?
True
Let y(d) = 3*d**3 - 6*d**2 + 5*d - 26. Let b be y(11). Suppose 504 = 8*k - b. Does 22 divide k?
False
Let l be 4 - 3 - ((-80)/(-4))/(-4). Let p(d) = 6*d**2 + 13*d + 11. Is p(l) a multiple of 8?
False
Suppose -3*o + 824 = -5*n, -11*o + 10*o - 3*n + 284 = 0. Suppose 5*p = 3*g - o, -8*g + 12*g + 2*p = 414. Is g a multiple of 2?
False
Suppose 5 = -3*i + 2*c + 4, -2*i - 4 = -2*c. Suppose -5*b + 2*m = -15, i*b + m - 23 = -3. Suppose 0 = b*w + 3*g - 32, w - 3*w + 2*g = 0. Is 4 a factor of w?
True
Let j(n) = -16*n**2 - 16*n. Let i be j(12). Is 55 a factor of i/(-42) + -2 + (-36)/(-14)?
False
Let y be 280/16*(-7 + 1). Let c = y - -147. Does 5 divide c?
False
Suppose -124*l + 60158 - 5413 = -50035. Does 33 divide l?
False
Let s = -13407 - -20113. Does 75 divide s?
False
Let o = 1099 - 687. Suppose 19*a = o + 899. Is 16 a factor of a?
False
Suppose 0*h + 22 = h. Suppose 5*x + h = 37. Suppose 0 = -3*l - 3*b + 84, x*b = b. Is 10 a factor of l?
False
Suppose 4298 = 5*g - 2*x, -3*g + 1181 + 1398 = -x. Is g a multiple of 44?
False
Let a = 21 - 40. Let x be (-1 - a)*(-6)/4. Let m(f) = f**2 + 28*f + 39. Is m(x) a multiple of 7?
False
Let b(q) = -3*q**2 - 4*q - 7. Let y be 3/(-9)*3*2. Let p be b(y). Let z = p - -37. Is z a multiple of 4?
False
Suppose -205*g + 260262 = -187*g. Is g a multiple of 19?
True
Let i = 38 + -35. Let f = -2 + i. Does 9 divide (8 + 26)*(f - 0)?
False
Let o = 65 - 47. Let b = o + -26. Let d = b - -47. Does 5 divide d?
False
Suppose 5*d = -3*j + 2*j - 6, -4*j + 2*d + 42 = 0. Suppose -j*v + 11*v = 110. Let f = v - -37. Does 27 divide f?
False
Suppose -3*l = 347 + 154. Let b = 90 + l. Let m = -11 - b. Does 11 divide m?
True
Let i(r) = -3248*r - 5973. Is 174 a factor of i(-10)?
False
Is 57 a factor of 87208/10 + 70/350?
True
Let q be (2/4 - 1)*0. Suppose -4*h - 2402 = -b - 2*b, q = 5*b + h - 3988. Is b a multiple of 57?
True
Is (112 - 109)/((-6)/110)*10776/(-20) a multiple of 33?
True
Let p = -226 + 240. Suppose -2*g = -5*t - 429, p*t - 18*t = -4. Is g a multiple of 3?
False
Let s(x) = -2152*x**3 + 35*x**2 + 98*x + 19. Is 16 a factor of s(-3)?
True
Does 61 divide 200/16 + -11 - 48187/(-2)?
True
Let o = -3094 - -6045. Is 14 a factor of o?
False
Let z(k) = -8*k**3 + 5*k**2 + 74*k - 14. Does 42 divide z(-14)?
True
Let p(c) be the second derivative of -c**3/3 - 8*c**2 - 27*c. Let f be p(-10). Suppose -2*q + 4*m = -120, 0 = -2*q - 2*q + f*m + 252. Is 19 a factor of q?
False
Let b = 9 - 4. Suppose -3*i = 2*r, 5*i + r = i - b. Is 58 a factor of (-5)/i + 12/(-24) - -116?
False
Suppose -22492 = -4*t + 3*y, 60*y - 4 = 59*y. Is 18 a factor of t?
False
Let y(z) = -83*z - 6. Let k = 187 - 189. Is 8 a factor of y(k)?
True
Suppose 4*y + 4*d - 7*d -