- 7)*(0 - -49) a multiple of 28?
True
Suppose 55*t - 78*t + 115 = 0. Suppose 589 = 4*p - v, 0 = t*p - p + 5*v - 583. Is 7 a factor of p?
True
Suppose -19*p - 38 = -266. Suppose 124 = h - p. Is h a multiple of 8?
True
Suppose -7*a + 11*a - 23 = -3*w, -2*w + 16 = 3*a. Suppose -2*g + 5*t = -11, -w = 5*g - 5*t - 55. Does 5 divide g?
False
Suppose -4*g + a - 30004 = -a, 0 = -g - 3*a - 7494. Is (1/(-3))/(50/g) a multiple of 11?
False
Suppose -638*q + 780*q - 333700 = 0. Is q a multiple of 50?
True
Suppose 1180 = 4*l + 16*b - 12*b, 3*b + 1459 = 5*l. Suppose 4*k - 2*h - 582 = 0, 6*k = 4*k - h + l. Is 12 a factor of k?
False
Let n = 89 + -87. Suppose z = c + n*c + 271, 4*c = 3*z - 828. Is z a multiple of 8?
True
Let v be 8316/(-72)*(-4)/(-6). Let s = v + 118. Is 7 a factor of s?
False
Let j be -30*(48/(-18))/4. Suppose 5*q - 47 + 2 = -4*o, -3*q + j = o. Suppose q*a - 93 = -3*t, 0*a - a + 93 = 3*t. Does 31 divide t?
True
Suppose -2*t - 4*y - 120 = 0, 5*t - 5*y + 161 = -139. Let n be ((-6)/10)/(-3) + (-228)/t. Suppose n*w - 63 = c, -5*c + 83 = 5*w - 2*c. Is 4 a factor of w?
True
Let o(j) = 21*j**2 + 9*j + 25. Let p be o(-8). Let a = p + -805. Is a a multiple of 69?
False
Let o(i) = 20*i**2 - 16*i + 39. Let v be o(3). Suppose -4*y + 586 = 5*f, 4*f - 5*y - v - 265 = 0. Is f a multiple of 4?
False
Let o be (6/4)/((-6)/(-12)). Suppose -o*a = 4*m - 1254, -14*m + 16*m - 5*a = 614. Does 52 divide m?
True
Let z = -2 - -6. Let d be -4 - (39/(-7) - 69/161). Suppose -4*j + d*j - r = -27, 0 = -3*j + z*r + 24. Is j a multiple of 10?
False
Let t = 160 + -285. Let z = 375 + t. Is 15 a factor of z?
False
Let i(h) = h**3 - 21*h**2 - 19*h + 7. Suppose 323 = g + 301. Is i(g) a multiple of 3?
False
Let y be ((-36)/16 + 0)*16/(-6). Is 9 a factor of (-362 - 5)*y/(-6)?
False
Suppose -935*j + 930*j = -3*x - 110346, 88296 = 4*j + 4*x. Does 54 divide j?
False
Suppose -3*c + 14495 = 4*g, -4800 = 88*c - 89*c + 5*g. Is 74 a factor of c?
False
Let d(l) = -l + 4. Let k be d(0). Suppose 3*j = 8 + 7. Suppose -k*q - 390 - 355 = -5*v, q = -j*v + 720. Is v a multiple of 13?
False
Suppose 2*n = -2*g - 14, -5*g - 20 - 15 = 3*n. Does 9 divide 14/(-49) + (-2333)/g?
True
Suppose -5*s - 8 = -4*n - s, 2*n - s - 3 = 0. Is 23 a factor of 1283 + n/(6*4/120)?
True
Let x = 44981 + -32775. Does 11 divide x?
False
Suppose 3 = -z, 4*z + 8 = -0*q - 2*q. Suppose -3*c - q*l = -l - 481, 4*c - 640 = -l. Is c a multiple of 4?
False
Is (44272 - 761) + (-1 - -21) a multiple of 18?
False
Let y(c) = -c**3 + 9*c**2 + 40*c + 173. Does 17 divide y(12)?
True
Let c(s) = 2*s**2 + s + 1. Suppose -11*y + 4 = -12*y. Let n be c(y). Suppose -4*k - n = -189. Does 40 divide k?
True
Let v = -48 - -14. Let n(w) = w**3 - 45*w**2 + 4*w - 194. Let c be n(45). Let i = c - v. Does 5 divide i?
True
Let r be (-27)/6*-2*(-10)/(-15). Let q be (-21)/(-14)*388/r + -3. Suppose -g + q = -11. Is 15 a factor of g?
True
Suppose -1747 = 4*j - 0*o - 3*o, 1324 = -3*j + 5*o. Let a = -245 - j. Is 21 a factor of a?
False
Let y be 3/(1 - 1/4). Suppose -b + y*g + 81 = 0, -5*g + 9*g = -4*b + 224. Does 2 divide b?
False
Let z(n) be the third derivative of n**6/72 + n**5/30 + 17*n**3/6 + 10*n**2. Let s(w) be the first derivative of z(w). Is s(2) a multiple of 6?
False
Suppose -4*f + 1616 = -78*t + 83*t, 3*f = 12. Is 35 a factor of t?
False
Let s be 216/90 - 3*2/15. Suppose 3 = s*f + 1. Suppose 3*b - 3*j = 219, -2*j - 1 - f = 0. Does 36 divide b?
True
Let q = -107 + 131. Does 12 divide -4*(-7 + (-90)/q)?
False
Let v be 4/5 - (3 + (-1857)/(-15)). Let d be 2/5 + v/(-35). Does 16 divide ((-42)/d - -5)/((-1)/14)?
False
Suppose 69 = r + 2*q, 5*r + q = -0*r + 390. Let l(c) = 2*c**2 + 19*c - 38. Let f be l(6). Let h = f - r. Is h a multiple of 15?
False
Let u(f) = -8*f**2 - 444*f - 106. Is 95 a factor of u(-36)?
True
Suppose -38*i + 7831 - 917 = -4030. Is i a multiple of 9?
True
Suppose 7*i + 25365 = 10*i - 5*y, -16910 = -2*i - y. Does 5 divide i?
True
Suppose -4*u - 2*h + 29 = -5, -3*h + 45 = 5*u. Let g(y) = 4 + 5*y - 7 + y**3 + u + 2*y**2. Does 6 divide g(3)?
False
Let l(f) = -f**3 - 12*f**2 + 15*f + 28. Let r be l(-13). Suppose -i = -9 + r. Suppose i*h - 578 = 73. Does 7 divide h?
False
Let p(r) = -r**3 - 27*r - 663. Is 4 a factor of p(-12)?
False
Is 137 a factor of 61365/(-120)*4*-4?
False
Let p(l) = 23*l**2 - 223*l + 37. Does 25 divide p(-12)?
True
Let o = -522 + 526. Let u(f) = 13*f**2 - 17*f + 85. Is u(o) a multiple of 25?
True
Let t(i) = -4*i**2 - 3*i - 9. Let w be t(-3). Is ((-65691)/w)/9 + 3/12 a multiple of 14?
False
Let q = -649 - -172. Let o = q + 1524. Does 14 divide o?
False
Let r = -15 - -158. Suppose 0 = 3*q - 1127 + r. Is 75 a factor of q?
False
Let h be (-606)/(-12) - 9/6. Let f = h - 49. Is 242 - (-3 + 3)/(1 - f) a multiple of 22?
True
Is 43 a factor of (-101646)/(-14) + (-13 - 285/(-21))?
False
Suppose 2*a - 6 = -8. Let s(h) = -8*h**2 + 3*h - 3. Let p(f) = f - 1. Let d(r) = a*s(r) - 3*p(r). Is 21 a factor of d(4)?
False
Suppose 29*r - 49*r + 3850 = -19*r. Is r a multiple of 70?
True
Suppose -57 = -4*r - 45. Suppose -r*w - 41 = -1625. Does 16 divide w?
True
Suppose -38*h = -33*h - 2*i - 21972, 0 = h + 3*i - 4408. Is h a multiple of 4?
True
Let d(m) = 5*m**2 - 14*m - 15. Let p be d(-12). Suppose 0 = 5*j - 8*j + p. Does 24 divide (-4 - 10/(-4)) + j/2?
True
Let p(q) = q**3 + 4*q**2 - 9*q - 8. Let n be p(-5). Suppose 7*d - 16 = n. Suppose -d*u + 18 = -10. Does 6 divide u?
False
Let l = -2 - -6. Suppose 4*w + l*u = 3*u + 339, 4*w - 338 = -2*u. Suppose 264 = -82*v + w*v. Does 31 divide v?
False
Let n(c) = 3*c + 2. Let t(j) = j**2 + 21*j + 1. Let w be t(-21). Let y be n(w). Suppose 0*z - 123 = -a - 3*z, y*a = -z + 601. Is 24 a factor of a?
True
Let h = 3122 + -1409. Let k = 2643 - h. Is 30 a factor of k?
True
Let x(i) = -2*i**3 - 115*i**2 - 575*i + 158. Is 7 a factor of x(-53)?
False
Let u = -6157 + 6857. Is u a multiple of 14?
True
Suppose 234469 = 22*p + 45709. Is p a multiple of 65?
True
Suppose -4*h = -5*u + 2 - 15, -3*h + u + 7 = 0. Is (-1 + 2)/((-4)/(-2612)) - h a multiple of 31?
True
Let g be -6 + (-1376)/20 - 3/15. Let p = g + 206. Is 4 a factor of p?
False
Does 9 divide 26/(-3)*(12 + (-1872)/32)?
False
Suppose 3*r = -4*k + 28 + 23, r + 59 = 5*k. Suppose -14*o = -k*o - 138. Suppose 2*h = -o + 197. Is h a multiple of 26?
False
Let z = 352 - -82. Is z a multiple of 31?
True
Suppose 3*n = 5*x - 16, 3*x + 0*n = -2*n + 2. Suppose -x*b + 14 = -b. Suppose -2231 = -b*j + 37. Is j a multiple of 54?
True
Let u(l) = 64*l**3 + 6*l**2 - 11*l + 72. Does 10 divide u(4)?
True
Suppose -3*p + 182 = 10*p. Suppose o = -p*o + 3090. Is o a multiple of 15?
False
Is 15736 - (-2)/(-8)*-16 a multiple of 197?
False
Suppose -k + 30617 = -4*l - 13789, -3*l + 222030 = 5*k. Is k a multiple of 13?
False
Let u(v) = -118*v - 98. Let r be 188/141*42/(-8). Is u(r) a multiple of 56?
True
Suppose -2*u + 108 = -28. Suppose y = -y - 4*z + u, -z = -y + 28. Let f = y + -12. Does 3 divide f?
True
Let p = 93 - -477. Let w = p + -287. Let x = w + -82. Does 14 divide x?
False
Suppose -2*p + 9 = 1. Suppose 4*h = 2*f - 1820, h = -p*h + 25. Does 20 divide f?
True
Let z be -27 + (0/((-6)/1) - 5). Is 11 a factor of ((-1)/((-5)/66))/(z/(-640))?
True
Does 25 divide 5286 + 0 + ((-175)/140)/((-10)/32)?
False
Suppose -136*u + 1596009 + 872935 = 0. Does 29 divide u?
True
Let a = 16621 + -5214. Is a a multiple of 17?
True
Let s = -157 + 402. Suppose 4*u - 160 = 5*h, -3*u = 2*u + 5*h - s. Does 3 divide u/4*(12 + -8)?
True
Let f(i) = 122*i**3 + 11*i**2 - 72*i + 147. Does 195 divide f(5)?
False
Let a be (-2 + (-93)/(-6))*-2. Let l = a - -34. Let m(r) = -r**2 + 10*r + 11. Is m(l) a multiple of 4?
True
Suppose -39927 - 141688 = -5*r. Suppose -19*p - 12877 + r = 0. Is p a multiple of 52?
False
Let m(i) = 2*i**3 + 4*i**2 - 5*i + 6. Is 12 a factor of m(3)?
False
Does 14 divide (49386/18 + -16)*6?
True
Let a(g) = 8320*g**2 - 15*g - 8293*g**2 + 41*g. Is a(-6) a multiple of 16?
True
Let q(h) be the third derivative of -h**5/10 + 25*h**4/24 - 3*h**3/2 - 19*h**2. Let n(x) = -x + 1. Let b(z) = -5*n(z) - q(z). Does 23 divide b(6)?
False
Let y(m) = -7*m + 3. Let o(c) = 2*c + 16. Let l be o(-6). Let r be ((-99)/11)/(6/l). Does 9 divide y(r)?
True
Let k = -60 - -60. Suppose 0 = -k*o - 5*o + 2025. Is 18 a factor 