e
Let s be -3 + (2 + 1 - 1) + -4571. Is (-2)/(-4) + s/(-8) a multiple of 11?
True
Does 5 divide 340 + ((-10)/16 - 25/(-200))*12?
False
Suppose 0 = y - 3, 3*y - 3669 = -z + 2779. Does 40 divide z?
False
Let v(w) = -1484*w - 9734. Is 11 a factor of v(-19)?
False
Let h = 48593 - 32683. Is h a multiple of 185?
True
Suppose 0 = 73*w - 23541 - 18799. Is 10 a factor of w?
True
Let k be (-7)/((-21)/(-162))*(1 + -2). Suppose k*n - 56*n + 4 = 0. Suppose -5*o = n*c - 82, 11 = 4*o + 5*c - 41. Is o a multiple of 11?
False
Is 145 a factor of -22*(-8 - 21)*5?
True
Suppose 11*v - 10149 - 12588 = 0. Suppose 0 = -4*l - 267 + v. Is 20 a factor of l?
False
Suppose 3*b + 1308 = 8*b - o, 0 = o - 2. Let f = b - 210. Is 5 a factor of f?
False
Let x = 196 + -191. Suppose 0 = x*h - 116 - 144. Is 44 a factor of h?
False
Let n(q) = 49*q**2 - 14*q - 208. Is n(6) a multiple of 8?
True
Suppose -11*w = 27 - 335. Suppose j - w = 51. Is 2 a factor of j?
False
Suppose -2*n - n = -z + 2, -n = -2*z - 1. Let d(f) = 119*f**2 - 5*f + 2. Let r(k) = 357*k**2 - 14*k + 6. Let m(p) = -17*d(p) + 6*r(p). Is m(n) a multiple of 15?
True
Let o = 20663 - 18978. Is o a multiple of 13?
False
Let u be (5 - -13)*1/3. Suppose -u*t + 1152 = -0*t. Suppose 62 = -5*l + t. Is 5 a factor of l?
False
Let i(g) = -g**2 + 3*g + 1. Let c be i(0). Does 20 divide -1*(c + 3) - -224?
True
Let y(w) = w**3 + 5*w**2 - 14*w - 4. Let q be y(-6). Let c = q - 58. Is 1732/18 + c/63 a multiple of 19?
False
Let q(d) = 92*d - 126. Let w be q(-4). Let p = w + 535. Is 18 a factor of p?
False
Is (-236202)/(-27) - (13 + (-920)/72) a multiple of 6?
True
Suppose 5*z = -2*f + 6782, z - 5*f - 506 - 872 = 0. Is z a multiple of 133?
False
Let c = -6680 - -12031. Is c a multiple of 15?
False
Let o be 1 - 2316/(-9)*63/(-28). Let j = -440 - o. Is 12 a factor of j?
False
Let t be (3 + -161)*-1*(-4)/(-2). Let y = t + -253. Is 17 a factor of y?
False
Suppose 3*q - 10 = -2*m + 9, -m = 5*q - 34. Suppose 3*y = t + 2723, q*y - 11*y + t + 3630 = 0. Is 46 a factor of y?
False
Let q(i) be the first derivative of i**2 + 37*i + 2. Let v be q(-16). Suppose -1000 = -v*c - 5*c. Does 50 divide c?
True
Suppose -113 + 41 = -36*r. Suppose x = -3, r*m - 804 = -2*x - 216. Does 22 divide m?
False
Suppose 3 = 9*s + 3. Suppose s*l + l = 0. Suppose l = 5*g + 3*d + d - 387, 0 = d - 3. Is 22 a factor of g?
False
Let i = 9171 - 9031. Does 7 divide i?
True
Let u be -7 + (189/(-7))/(-3) - (-121 - -2). Suppose 203 - 1078 = -5*n. Let a = n - u. Is a a multiple of 6?
True
Let a(u) = u**2 - 7*u - 13. Let n be a(17). Let v = n + -97. Is 30 a factor of v?
True
Let k = 220 + -221. Is 13 a factor of k/4 - (45612/(-16))/3?
False
Suppose -22*i + 196 = -706. Suppose -1734 = -25*v + i. Is v a multiple of 2?
False
Let k = 61 + -52. Suppose -8*c - 128 = -k*c. Is 6 a factor of c/12 - (-4)/3?
True
Suppose -2*f + 6*b + 63720 = 0, -5*b = 4*f - 52882 - 74473. Is f a multiple of 165?
True
Let j be 1/(-1 + 2)*(-15 + 19). Suppose 0 = 2*b + 4*r + 101 - 403, 5*b - 797 = j*r. Let d = b - 5. Does 28 divide d?
False
Is 22 a factor of (-2171175)/(-420) + 2/7 + (-1)/(-4)?
True
Suppose 12*r - 9*r = -2*f + 21597, f - 5*r = 10805. Is f a multiple of 51?
False
Let s be (-5 - (-54)/10)*5. Suppose 96 - 330 = -s*h. Is 9 a factor of h?
True
Is (-22 + 41)/19*15627 a multiple of 18?
False
Let w(v) = -7293*v - 2766. Is w(-3) a multiple of 23?
True
Suppose -14*o = 14*o. Let c(g) = -2*g**3 - 2*g**2 - 2*g + 1114. Does 40 divide c(o)?
False
Let a(x) be the second derivative of -5*x**3/3 + 129*x**2/2 + 104*x. Does 5 divide a(-21)?
False
Let q = -2082 + 12670. Is 63 a factor of q?
False
Let b be 4 - ((-27)/(-36))/(2/1296). Let i = -274 - b. Does 13 divide i?
True
Let x(s) be the first derivative of 5*s**2/2 - 4*s + 1. Suppose 12*f = -7*f + 95. Is x(f) a multiple of 21?
True
Suppose -5*s - 272 - 1177 = 2*o, -5*s = -5*o + 1470. Let w = s - -486. Is w a multiple of 39?
True
Let z(s) = 7*s**3 - 144. Let c(m) = 8*m**3 - 145. Let w(f) = 6*c(f) - 7*z(f). Let y be w(0). Suppose 2*u - 4*a = y, 125 = 3*u - 3*a - 82. Is u a multiple of 13?
False
Suppose -84*v + 143*v + 100*v = 843813. Is 8 a factor of v?
False
Suppose -4*f = 24, -f + 13990 = -7*s + 8*s. Is 17 a factor of s?
False
Suppose 58*k = 42*k + 52416. Is 14 a factor of k?
True
Does 19 divide 17*(255 - 2) + -7?
True
Let x be 21/(-2) + (35/10 - 3). Is x/35 - 2085/(-21) a multiple of 14?
False
Let j = 431 + -419. Suppose j*r = 113 + 1639. Is 7 a factor of r?
False
Suppose 39*f - 293162 - 134293 = 278367. Is 7 a factor of f?
False
Let t(b) = 1430*b**3 - 5*b**2 + 25*b - 64. Is 67 a factor of t(3)?
False
Let c(f) = 29*f - 14. Let s be c(-4). Let v = s - -454. Is 27 a factor of v?
True
Let b = -2526 + 1377. Let y = b + 2037. Is 58 a factor of y?
False
Suppose 3*l + 4*q - 47 = 89, -4*q + 96 = 2*l. Suppose -5*k - 2*j + 3310 = -l, k - j - 663 = 0. Does 14 divide k?
False
Let o(x) = x**3 + 15*x**2 - 12*x + 62. Let r = -199 - -184. Does 21 divide o(r)?
False
Let u be 25 - (12 + -4)/8. Is (-6)/u - (-605)/20 a multiple of 3?
True
Suppose 37386 = 1465*m - 1403*m. Does 3 divide m?
True
Suppose -3*v = -18 - 21. Let p(m) = m**3 - 14*m**2 + 13*m + 25. Is p(v) a multiple of 5?
True
Let c(u) = 9*u + 227. Is 10 a factor of c(29)?
False
Let m be 1 + (-2 + 3)*-1. Suppose m = 4*i - 15 - 21. Is 15 a factor of (-4160)/(-72) + 2/i?
False
Let d = 7405 - 3430. Suppose 8*k - 5*k = 4*u + d, 9 = 3*u. Is k a multiple of 24?
False
Let b = 13240 - -14243. Is b a multiple of 13?
False
Suppose 0 = -2*j + k - 2*k + 296, -3*k - 312 = -2*j. Is j/8 - (-3 + (-11)/(-4)) a multiple of 16?
False
Suppose y + 131 = 5*s, -2*y - 2*y + 5*s = 554. Let n = y - -147. Is 2 a factor of n?
True
Let s(o) = 3*o**3 - 7*o**2 + o - 10. Let v(n) = n**2 + 7*n + 5. Let b be v(-7). Is 18 a factor of s(b)?
False
Suppose 5*c + 89 = -51. Let g be 1/4 + 7/c. Suppose -3*m = -9 - g. Is 2 a factor of m?
False
Suppose -3*y + 14 = 5. Suppose 5*x + y*k - 105 = 0, -3*k - 3 + 0 = -x. Suppose x*j - 8*j - 2400 = 0. Is j a multiple of 14?
False
Suppose 10*j + 6199 - 24569 = 0. Suppose -5*f = 3*y - j, -3*f = -3*y + f + 1873. Is y a multiple of 65?
False
Let z = 558 - 556. Suppose 470 = 4*d + z*x, -2*d - 2*x - 27 + 259 = 0. Is 5 a factor of d?
False
Let l(k) = 38*k**3 + 7*k**2 + 4*k - 24. Does 77 divide l(6)?
False
Let h(m) = -m**3 + 18*m**2 + 3*m + 13. Let z be h(18). Suppose -z*f + 6216 = -55*f. Is 42 a factor of f?
False
Let w(s) = -782*s + 457. Is w(-5) a multiple of 5?
False
Let u = -21670 - -22552. Is 63 a factor of u?
True
Suppose -13509*h - 1298505 = -13548*h. Is h a multiple of 58?
False
Let b(u) = -7*u - 7 + 7*u - 4*u + 6*u**2 + u**3 + u**2. Let l(a) = a**3 - 5*a**2 - 5*a - 13. Let q be l(6). Is b(q) a multiple of 13?
False
Let h(i) = i + 57. Let m be h(0). Suppose 377 = 17*q + 802. Let v = m + q. Is 16 a factor of v?
True
Suppose 455*l - 460*l + b = -69511, 0 = 3*l - 2*b - 41708. Is 21 a factor of l?
True
Does 12 divide -54 + (-1187900)/(-550) + (-1)/((-22)/4)?
False
Suppose -3*g = -i + 8519, -359*i + 8518 = -358*i - 2*g. Is 65 a factor of i?
False
Let s be 1/4 - (-11)/4. Suppose 3*j + 3*g = 1089, -4*j + g = s*g - 1442. Is 16 a factor of j?
False
Let t be 0 + 3 + -8 + (-1)/1. Let m(j) be the second derivative of -7*j**3/6 + j**2 + 19*j. Does 22 divide m(t)?
True
Suppose 2*l + 96 = -4*l. Let w be l/(-12)*(2 + 88). Suppose -27 = n - w. Is n a multiple of 13?
False
Let y = 72 + -72. Suppose y = 2*p - 2*t - 252, p - t = -p + 251. Let o = p + -106. Is o a multiple of 6?
False
Let k be (10/2 - 6) + -15. Let y(w) be the second derivative of w**5/20 + 5*w**4/4 - 3*w**3 - 5*w**2 - w. Does 11 divide y(k)?
True
Let u(o) = -357*o + 182. Let l be u(4). Let p = l + 2083. Does 31 divide p?
True
Let u = 15033 + -5964. Is 17 a factor of u?
False
Let j(s) = 3*s - 43. Let l be j(15). Let p be (2 - l - 3) + 5. Suppose 3*g + p*g - 50 = 0. Is g a multiple of 5?
True
Let s be (-4)/3 + 152/(-3). Let m = s - -56. Suppose 4*x - m = 252. Does 16 divide x?
True
Suppose -3*h - 640 = 4*o, 320 - 1120 = 5*o - 5*h. Let v be (o/25)/((-6)/15). Is (-52)/(-9) + v/72 a multiple of 2?
True
Let i(n) = -n - 1. Let y be i(-4). Suppose -y*b + 17 = -103. Suppose b + 37 = c. Does 11 divide c?
True
Let n(v) = 11*v + 43. Suppose 19*j - 116 = 15*j. Is 28 a factor of n(j)?
False