y) = -7*y**2 + 3*y + 2. Let d(j) = -j. Let w(x) = -3*d(x) - u(x). Let c be w(-1). Is c*(152/20 + 1) a multiple of 22?
False
Suppose 0 = -5*h - 2*m + 31848, -67*h - 25500 = -71*h + 2*m. Is 27 a factor of h?
True
Let w(p) = 61*p**2 + 6*p - 5. Suppose d + 2*h = 6*d - 11, -3*d - h = 0. Does 2 divide w(d)?
True
Let v be 2/((-18)/15*2/(-6)). Suppose 5*r - 7*u - 1447 = -6*u, 2*u + 1444 = v*r. Does 4 divide r?
False
Let r be 2 + (-14 - -14 - (-13 + 0)). Suppose r = -o + 16. Is 11*(-2 + (o - 1))*-2 a multiple of 11?
True
Suppose 2*c = -14, 2*t - 4*c - 124686 = -30818. Is 68 a factor of t?
True
Let r = 3759 + -709. Is 61 a factor of r?
True
Let x = -63 + 63. Suppose x = -2*t - 2 + 8. Suppose -t*r - 231 = -10*r. Is 15 a factor of r?
False
Suppose 3*s + 59919 + 80655 = 9*s. Is 60 a factor of s?
False
Let u(z) = -z**3 - 9*z**2 - 6*z + 32. Let h be u(-9). Let r = h + 31. Is 6 a factor of r?
False
Suppose -3*f + 287 = 1574. Let k = 119 - f. Is 4 a factor of k?
True
Let d = -154 - -154. Is 67 - 4*1/8*d a multiple of 6?
False
Let v = 930 - -1902. Does 3 divide v?
True
Let d(z) = z**2 - 5*z - 6. Let j be d(-3). Suppose 0 = -2*w - j + 118. Is 25 a factor of w?
True
Let c = -89 - -211. Let m be (8/(-12))/(1/75) - 1. Let k = c + m. Is k a multiple of 14?
False
Let f(s) = 87*s**2 + 41*s - 161. Is 29 a factor of f(11)?
True
Suppose 1915*v = 1902*v + 40070 + 338815. Is 25 a factor of v?
False
Suppose 2*u - w = -183, -5*w - 66 = -51. Let q be (-424)/(-3) - 4/(-6). Let z = u + q. Does 7 divide z?
True
Is (-19 + 4)*3/9 - (-6510 + 3) a multiple of 30?
False
Let b be (-5)/(8 + -3) - (254 + 1). Let k = -218 - b. Is k a multiple of 4?
False
Suppose -72 = -q - 11*q. Let n(c) = -c**3 + 6*c**2 + 4*c - 22. Let v be n(q). Does 19 divide (-1 - (v - 2))*(-3 + -54)?
True
Suppose -75 = 4*j - 79. Is j*(-4 - -1)*(-720)/27 a multiple of 16?
True
Let g(i) = 13*i**2 - 3*i + i**2 - 8*i**2 + 3 - 3*i**2. Is 15 a factor of g(-5)?
False
Suppose 4*z + 3*b - 10948 = 0, -2*z - 4*b = 986 - 6450. Is z a multiple of 33?
False
Let v be 141 - ((-2 - (-4 - -2)) + 2). Suppose 2*o - 4*b = 132, -2*o + b = 1 - v. Is 8 a factor of o?
False
Let z(r) = 4*r**2 + 52*r + 33. Let g = 40 + -55. Is z(g) a multiple of 46?
False
Suppose 4434 + 13306 = 4*h. Does 47 divide h?
False
Let c = 21 + -19. Suppose c*y = 3*f - y - 9, -4*f + 12 = -y. Suppose f = n - 63. Is 10 a factor of n?
False
Suppose 232*f - 227*f - 10920 = 0. Is 84 a factor of f?
True
Let r(u) = 4*u**2 - 2*u - 34. Let o(w) = 11*w**2 - 5*w - 103. Let x = -36 + 44. Let q(p) = x*r(p) - 3*o(p). Is q(0) a multiple of 4?
False
Let x(r) = 137*r**2 + 53*r + 602. Does 25 divide x(-13)?
False
Let m(d) be the second derivative of 0 + 19/2*d**3 + 14*d - d**2. Is 14 a factor of m(2)?
True
Suppose 64 = -5*p - 156. Does 25 divide -100*(p/77)/((-2)/(-7))?
True
Let s = -3330 + 4232. Does 22 divide s?
True
Suppose -25*x = -3*x - 3*x - 146604. Does 12 divide x?
True
Let t be (-1)/(-4) - (1259/(-4) + -6). Let w = t - 253. Does 17 divide w?
True
Let l(p) = -p + 2. Let q be l(-3). Suppose 144 = q*a - 2*m, -45 = -2*a + 7*m - 2*m. Is a/(-12) + 3 - 55/(-2) a multiple of 28?
True
Suppose 0 = 44*o - 88472 - 72260. Does 10 divide o?
False
Let i(v) = 6*v**2 - 345*v + 141. Is 13 a factor of i(58)?
False
Let d be 33408/(-145) - (-6)/(-10). Let i = 481 + d. Is 50 a factor of i?
True
Suppose -19*y + 155408 + 240376 = 17*y. Is y a multiple of 248?
False
Does 34 divide 10/(-30) + (37036/3 - 3)?
True
Suppose -376*q + 245344 = -359*q. Is 32 a factor of q?
True
Let s(p) be the second derivative of -13*p**3 - p**2/2 + 5*p - 3. Is s(-3) a multiple of 37?
False
Suppose -8*g + 6304 = -16*g. Let s = -443 - g. Is 15 a factor of s?
True
Let u be (-2)/4 + 1202/4. Suppose -10*j - u = -14*j. Suppose -3*r + j = 4*m, -4*m - 4*r - 55 = -9*m. Does 13 divide m?
False
Let c = -39 - -75. Let h be -8 + 8 - (1 - 469). Suppose -c*q - h = -38*q. Is q a multiple of 39?
True
Suppose -119 = 54*i - 71*i. Let n(a) = 24*a**2 - 9*a + 6. Is 16 a factor of n(i)?
False
Suppose -f - 10 = -o, -o - 2*f - 10 = f. Suppose 0 = -4*a + 5*l + 108 - 28, 2*a - 70 = -o*l. Is 12 a factor of (-360)/a*(-20)/6?
True
Let w(o) = 85*o**3 - 19*o**2 - 6*o + 18. Is w(5) a multiple of 74?
True
Let v = -5086 + 8825. Is 2 a factor of v?
False
Let h(f) = 302*f + 6837. Does 43 divide h(0)?
True
Let y(h) = h**2 - 6*h - 20. Let t be y(9). Suppose -4*l + 805 + t = -3*k, l + 1 = 0. Is 18 a factor of 12*(-3 - 1 - k/24)?
False
Suppose -13*t - 17 - 22 = 0. Let o be (1/(-2))/(t/(168/(-4))). Is 3 a factor of (-35)/o - -45 - (0 - 1)?
True
Suppose 5*w + 4*g = -980, -2*g + 778 = -4*w - 4*g. Let v = -178 - w. Is v a multiple of 2?
True
Let z(h) = 373*h**2 - 41*h + 35. Does 8 divide z(1)?
False
Suppose -54331 - 8667 = -37*x - 14158. Does 44 divide x?
True
Let t(j) be the first derivative of -j**3/3 - 22. Let v(y) = -16*y**2 + 9*y - 7. Let u(a) = 6*t(a) - v(a). Does 13 divide u(3)?
False
Suppose -h + 5*z + 285 = 0, -5*z = -z + 16. Let k = 377 - h. Is k a multiple of 16?
True
Let n(a) = 13 - 134*a + 149*a + 221*a - 4 + 13. Is 16 a factor of n(3)?
False
Let t(v) = 89*v**2 + 434*v - 270. Is t(-21) a multiple of 11?
True
Is 3 a factor of 3 + (-11320)/(-28) + (-476)/(-49) + -10?
False
Let q be 6/9 - 34896/(-36). Suppose 4*d + 20 = 0, 4*d + 154 = 2*j - q. Does 12 divide j?
True
Let n be (-16 - -5 - -1) + 1. Let v = -3 - n. Suppose -v*t + 3*t + 198 = 0. Does 15 divide t?
False
Is 134 a factor of (-2)/(-65)*5 - (-4501312)/104?
True
Suppose -5*k - 4*t = 8, 5*k + 6 = -2*t + 2. Suppose -2*v = -k*b - b - 304, 3*v - 457 = b. Suppose -v = -9*h + 6*h. Is h a multiple of 17?
True
Is 14 a factor of -3*(-128)/(-48) + 2850?
True
Let b be 6/(-12)*(-4652)/(-2). Let y = -635 - b. Is 23 a factor of y?
False
Does 27 divide ((-2214)/21)/(3/(-105))?
False
Suppose 40 - 1340 = -20511*w + 20498*w. Does 20 divide w?
True
Is 1833 + 2/(2/(3 - 5)*2) a multiple of 15?
False
Let h(n) = 2*n**2 - 67*n + 248. Does 4 divide h(32)?
True
Let h = -341 + 391. Suppose h = 2*y - 62. Is y a multiple of 28?
True
Let m be -10*14/(-35) + -5. Is (m - (-232)/(-12))/(4/(-24)) a multiple of 17?
False
Suppose -311*h = -300*h - 113476. Does 35 divide h?
False
Let h = 169 + -162. Let k(z) = -16*z + 285. Is k(h) a multiple of 6?
False
Let p be -3 + 4 - (-1 - 14). Let w = p - 21. Is ((-4740)/14)/w - 4/(-14) a multiple of 27?
False
Suppose 4*b - 8 = -2*q, 4 = 2*b + q - 4*q. Suppose -b*v = -243 - 21. Is v a multiple of 11?
True
Let s = 8071 + -8035. Does 3 divide s?
True
Let h = -7865 + 8786. Does 3 divide h?
True
Let a = 133 + -110. Suppose a*y = 12*y + 429. Is 9 a factor of y?
False
Suppose 4*c - 3*g = 2885, 6*c = g - 457 + 4788. Does 7 divide c?
False
Let s(w) = -w**3 - 7*w**2 - 5*w + 3. Let z be s(-7). Suppose 0 = 3*c + 9, d - 51 = -3*d + c. Suppose z = j - d. Is 10 a factor of j?
True
Let c = 16118 + -9202. Is 16 a factor of c?
False
Let x be (-1582)/42 + 4/6. Let k = 40 + x. Suppose -o - 4*v = o - 26, -k*o - v = -34. Is o even?
False
Let k(h) = 184*h**2 - 45*h + 208. Is k(5) a multiple of 39?
False
Suppose -30*x + 83*x - 274348 = 141172. Is x a multiple of 35?
True
Let y = 919 - 643. Does 6 divide y?
True
Suppose 2*f = -r + 101, -2*r + 2*f - 521 = -7*r. Suppose -2*n + 903 + r = 0. Is n a multiple of 18?
True
Suppose 6*m - 58 = -4*a + m, -2*m - 55 = -3*a. Suppose -3920 = -a*r + 10*r. Is 10 a factor of r?
True
Let m(v) = 286*v**2 - 265*v + 85. Is m(5) a multiple of 15?
True
Suppose -2*r + q = -30, 0*r + 18 = r - 2*q. Let g(d) = -d**2 + 13*d + 41. Let n be g(r). Suppose n*s - 29*s + 260 = 0. Is 26 a factor of s?
True
Let z = 3508 - -7420. Is z a multiple of 49?
False
Suppose 57*l - 182164 = 98960. Does 61 divide l?
False
Suppose -8 = -4*p, -5*l - 3*p = -l - 1074. Suppose -x + f = 3*f - l, 5*x - 4*f = 1293. Let b = -168 + x. Does 31 divide b?
True
Let b = 63 + -58. Let a be (b/2)/(-1)*(-1 - 1). Suppose -3*d + a + 7 = 0. Does 4 divide d?
True
Is 7 a factor of (0 - 7) + 25 + 3161?
False
Let o be (-5)/20*2*-2. Let c be (1 - o)*-1 + 3. Suppose 609 = 4*t - c*z, 3*z = -5*t + 7*t - 297. Is t a multiple of 26?
True
Is 17 a factor of (-1444)/(-114)*(-1287)/(-6)?
False
Suppose -110*s + 80 = -106*s. Suppose -3*h + 2*o - 6 = 6, 0 = -5*h + 4*o - s. Does 19 divide (-1)/(h/152*2)?
True
Let p(w) = w**2 + 19*w + 75. Let g be p(-14).