
Suppose 11*v - 3*v - 10*v = -540. Is v a multiple of 3?
True
Let g(y) = -5*y**3 - 3*y**2 + y + 7. Let f be g(-3). Let w be f/(-24)*(-432)/14. Let n = -101 + w. Is 18 a factor of n?
False
Let r(f) = 49*f + 16 - 102*f + f**2 + 44*f. Let v be r(4). Let i(q) = -34*q + 18. Is i(v) a multiple of 22?
True
Let y(n) = -4683*n + 3829. Does 11 divide y(-2)?
False
Is 23 a factor of ((-7)/2*547124/(-2191))/(2/61)?
True
Is 79 a factor of ((-948)/8)/(-3)*(-10 - (-13 - 195))?
True
Let v = -364 - -362. Is 11 a factor of -3*((-4044)/(-18))/v - -4?
True
Let b be (3/2)/((-15)/(-20)). Suppose 0*l + 2*o + 2 = -l, b*l = -2*o - 2. Suppose -a - 3*a - 356 = -5*z, l = 5*a + 20. Is z a multiple of 11?
False
Let j(y) be the second derivative of -1/2*y**2 - 21/2*y**3 + 7*y + 0. Does 24 divide j(-2)?
False
Let y(u) = 5*u**2 + 296*u + 33. Is y(17) a multiple of 105?
True
Let u(z) = z**3 - 5*z**2 - 7*z + 12. Let f be u(5). Does 5 divide (f + -2 + 25/(-5))/(-1)?
True
Let d = 55201 + -38162. Is d a multiple of 11?
True
Let r(g) = -4*g**2 + 2*g + 10. Let q be r(0). Suppose q*o + 315 - 1145 = 0. Does 7 divide o?
False
Let z(m) = m**2 + 40*m + 96. Let n be z(-38). Is (-1 + 23/(-5))*(-450)/n a multiple of 14?
True
Let q be 12 - (8/2 - 2). Suppose -q = -m - 7. Is (3 - 0 - m) + 22 a multiple of 4?
False
Suppose 750 = 2*o - 522. Is o a multiple of 106?
True
Let r(x) = -x**2 - 18*x + 8. Let k be r(-14). Suppose 67*g - k*g = 399. Does 9 divide g?
False
Suppose -1852*d + 815400 = -1701*d. Does 12 divide d?
True
Suppose -p - 3*o = -14, 0 = -5*p - o + 9 + 5. Let w(d) = 0 + 7*d**2 + 1 + 21*d**2 - 3. Is 22 a factor of w(p)?
True
Suppose -2*w = -6*w + f + 651, -4*w = -4*f - 660. Does 9 divide ((-525)/(-50))/(3/w)?
True
Suppose -75 = -y + 45. Suppose -3*h + 168 + y = 0. Is h a multiple of 12?
True
Suppose -10 = -4*o + 6. Let r(d) = -2*d - d**3 + 14 + o - d**2 - 4 - 6. Does 4 divide r(0)?
True
Is 14 + (-9 + 632337)/24 a multiple of 293?
False
Let j = -181 - -178. Does 11 divide j*3*(-5)/(-45) + 214?
False
Let r(o) = 3354*o - 13112. Does 212 divide r(12)?
True
Suppose -99*v + 136*v - 189210 = 310808. Does 133 divide v?
False
Let g(o) be the first derivative of -o**2/2 + 9*o + 24. Let x be g(4). Suppose 0 = -4*l + d + 815, x*d - d = -2*l + 430. Is 40 a factor of l?
False
Let g(i) = 139*i**2 - 143*i - 2272. Is g(-19) a multiple of 224?
True
Is 1226 + 13/(-104)*-40 a multiple of 5?
False
Let g(r) = -r + 10. Let y be g(6). Suppose -5*p - a - 300 = -10*p, 60 = p + 2*a. Let j = y + p. Is j a multiple of 8?
True
Suppose -z - 3*z = 300. Let k = z - -74. Let w = k + 101. Is w a multiple of 13?
False
Let g = 13186 - 8988. Does 8 divide g?
False
Let d be 21/(-9) + 12/(-18). Does 4 divide (-1815)/(-60) - d/4 - 4?
False
Suppose -3*r + 553 = 2*m, -2*r - 3*m + 348 + 19 = 0. Suppose -o = 3*h + 2*o - 144, 0 = -h + 5*o + 36. Suppose h*p - r = 41*p. Is 2 a factor of p?
False
Let k be 0*4/(-16) + 271. Let x = -190 + k. Suppose 5*o + x - 285 = -r, 2*r + 152 = 4*o. Does 12 divide o?
False
Suppose p - 20 = -4*v + 30597, 3*v - p - 22961 = 0. Does 89 divide v?
True
Let t = -91 - -100. Suppose -3*l - 9 = 0, 8*l - t*l + 267 = 5*v. Is v a multiple of 6?
True
Suppose 22*p - 61 = 27. Suppose p*a - 28 = 5*o - 664, -2*o = 4*a - 260. Is o a multiple of 32?
True
Let u(s) = s**3 - 1. Let k(c) = -c**3 + 11*c**2 + 6*c + 2. Let m(d) = -k(d) - 2*u(d). Let l be m(-7). Is 28 a factor of (l - 4)/(-2) + -4?
False
Let p(t) = 354*t - 132. Let c be p(8). Suppose -30*f = -5*f - c. Is 21 a factor of f?
False
Let i(l) be the second derivative of -3*l**5/10 + 5*l**4/12 + 7*l**3/6 + 3*l**2/2 - 5*l. Suppose -4*b + 1 - 14 = -p, -p - b - 7 = 0. Does 21 divide i(p)?
True
Let x = 141 + -138. Suppose -v + 102 = x*c, 0*v - c = -3*v + 326. Let r = v + 49. Is 28 a factor of r?
False
Let q(u) = -15 + 30 + 45*u + 5 + 23. Is q(8) a multiple of 13?
True
Let r = -3447 - -4854. Suppose -7*a + r = -0*a. Is a a multiple of 7?
False
Suppose -5*t = -2*w - 20, 0 = 6*t - 7*t + 4*w + 4. Suppose 3*o + 280 = 4*i, -3*i + t*o = 8*o - 210. Does 2 divide i?
True
Is (43575/(-60) + -10)*-12 a multiple of 131?
False
Suppose 2*c = -y + 16840, 11*y - 7*y = 4*c - 33704. Is c/8 - (-21)/84 a multiple of 9?
True
Suppose 0 = 5*d + 2*w - 30556, -3*d - 5*w + 24412 - 6067 = 0. Suppose -2*t = -3*t - 4*h + 1206, 0 = -5*t - 4*h + d. Does 94 divide t?
False
Let k(d) = 21*d + 8. Let p be k(20). Let f = 511 - p. Does 17 divide f?
False
Let d(a) = a**2 + 7*a - 12. Let h be d(-9). Suppose -y + 3 = 0, 2*y = 3*k - 0*k - 375. Suppose 5*x - 4*i - k = 0, x - 3*i + h*i = 33. Is 10 a factor of x?
False
Suppose -20 - 74 = 47*a. Suppose 11 + 14 = 5*n. Is 19 a factor of 5*(a - -39) + n?
True
Let g = -13342 - -23712. Is g a multiple of 17?
True
Let a(j) = 2*j**2 + 7*j. Let w(y) = -8*y + 139. Let o be w(18). Is a(o) a multiple of 5?
True
Let r(o) = 18*o**2 + 72*o. Is r(5) a multiple of 11?
False
Let d = 948 - 554. Let t = 749 - d. Does 8 divide t/25 - ((-42)/15 - -3)?
False
Let z(n) = 3*n - 10. Suppose 25 = 5*p + 3*b, -2*b + 4*b = 0. Let d be z(p). Suppose -i = -r + 35 - 1, -d*r + i + 174 = 0. Does 3 divide r?
False
Suppose 8 = -k - 4*h - 16, 74 = -2*k + 5*h. Let z = k + 32. Suppose -5*r + 189 + 131 = z. Does 17 divide r?
False
Suppose -z - 4*c + 2145 = 0, 5*z = 2*c - c + 10830. Does 5 divide z/10 + 21/14?
False
Let r be (-44)/66 - (-1267)/(-3). Let m = r + 764. Is 11 a factor of m?
True
Suppose m + 5*b = 4817, 2*b = 8*b + 30. Is 6 a factor of m?
True
Let u be 118/8 + (-3)/(-12). Suppose -7*t + u = -27. Does 11 divide 0 - 1 - (-15 - (-18)/t)?
True
Let d(n) = n**3 - 29*n**2 - 39*n + 84. Let h be d(28). Let y = -1215 - h. Is 14 a factor of y?
False
Does 127 divide (7782/(-15))/(6*5/(-150))?
False
Let w be ((-6)/4)/((-15)/(-1640)). Let v(j) = 2*j**3 + 15*j**2 + 26*j + 2. Let g be v(-5). Does 18 divide w/g + ((-5)/3 - -1)?
True
Suppose -6*k + 0*k = -24. Let m be 2/k - (-36)/(-8). Is 14 a factor of m/(-1) - (-51 + -1)?
True
Let v = -506 - -1573. Is v a multiple of 10?
False
Suppose -57*x = 96*x - 2382822. Does 7 divide x?
False
Let l be 54/8 + 6/(-8). Let q be l*2*(-4)/((-16)/(-2)). Let b(k) = k**3 + 10*k**2 + 14*k + 5. Does 13 divide b(q)?
True
Suppose 18*j - 64 = 14*j. Suppose -u + j = -9*u. Is (-314)/(-10) + u/5 a multiple of 31?
True
Let l(h) = -711*h + 46. Is l(-8) a multiple of 116?
False
Is 209 a factor of 16/(640/1513148) - 6/(-20)?
True
Suppose 3*i = 4*t - 59, 0 = 5*t + 3*i - 30 - 10. Let u = -148 - -225. Is ((-38)/(-7))/(t/u) a multiple of 19?
True
Let r = -1230 - -5986. Does 58 divide r?
True
Let m(d) = 10*d**3 + d**2 + d + 1. Suppose -x + 2*l = 0, 4*x - 4*l = x. Suppose x = -2*f - f + 6. Is 25 a factor of m(f)?
False
Suppose -3*z - 52294 = -62182. Is 4 a factor of z?
True
Let d be (-8)/(-6) - 6/(-9). Suppose 5*u - d*h = 857, -83 = -u - h + 87. Let f = 259 - u. Is f a multiple of 22?
True
Let a(s) = 88*s - 947. Is a(32) a multiple of 3?
True
Is 46/8 + (15/20)/3 - -31095 a multiple of 221?
False
Suppose -5*s - 1582 = 2*f - 2*s, -4*f + 5*s - 3120 = 0. Let w = f + 1328. Is w a multiple of 52?
False
Suppose -4*k - 151 - 124 = -3*q, -4*q - 4*k + 348 = 0. Does 8 divide 100/50*(q + -1)?
True
Let q = -131 + 64. Let v = 75 + q. Is (3 - -20)/((-10)/v)*-5 a multiple of 19?
False
Let m = 55 - -97. Suppose -3*g - m = -5*g. Let d = g - 52. Is d a multiple of 17?
False
Let j(u) = -u**2 - 5*u - 5. Let m be j(-4). Let d be (-456)/(-304) + 1/(-4)*-1466. Does 16 divide (m - 34)*d/(-115)?
True
Let l = 125 + -100. Suppose 0*y + 113 = -2*y + 3*h, l = 5*h. Let z = y + 66. Is 2 a factor of z?
False
Let y = 27926 - 19769. Is 72 a factor of y?
False
Let f(g) be the third derivative of g**6/60 + 4*g**5/15 - 5*g**4/24 + 7*g**3/6 + 131*g**2. Is 29 a factor of f(-7)?
False
Suppose -18*i = -4*z - 14430, -68*z + 65*z = 3*i - 2394. Does 9 divide i?
True
Let u(z) = -2*z**2 - 147*z - 1526. Is u(-13) a multiple of 16?
False
Let s = -21229 - -27324. Does 7 divide s?
False
Let k be (5 - (-2 - -3)) + 2 + 3. Let z be ((-3)/(-2) + -2)*(5 - k). Suppose -8*t + p = -13*t + 45, -z*t + p = -18. Is t a multiple of 4?
False
Let q be 18/10 + (-6)/(-30). Suppose 4 = -2*z - 5*a - 7, 2*z = -2*a - q. Suppose 754 = 4*w - 2*f, 3*f = -z*w - f + 362. Is w a multiple of 33?
False
Suppose -4*o + 30 + 78 = 0. Let s = 8 + o. Let z = 40 + s. Is 24 a fact