s + 4848. Let v = -371 + s. Does 13 divide v?
False
Suppose -6*l - 36 = 0, -4*l = -5*f + 13703 + 7376. Does 28 divide f?
False
Suppose 1720586 + 1521958 = 72*l + 186*l. Is l a multiple of 195?
False
Suppose -4*h - 256 = -1060. Suppose -24*n = h - 753. Does 15 divide n?
False
Let f(m) = 56*m**3 - 6*m**2 + 25*m - 87. Is 210 a factor of f(3)?
False
Let a = 325 + -321. Suppose -2*x - 514 = -a*s, -6*s = -5*s + 4*x - 106. Does 42 divide s?
True
Is 49 a factor of (-1)/(-4)*-6*20229*(-4)/18?
False
Suppose -30971 = -s + 4*v, 69*s - 66*s - 92973 = -3*v. Is s a multiple of 9?
True
Let n(w) = w**2 + 21*w + 193. Does 26 divide n(-60)?
False
Let q(u) be the first derivative of u**4/4 - 3*u**3 - 9*u**2/2 - 10*u + 92. Is 9 a factor of q(13)?
True
Let x(v) be the first derivative of -v**4/4 + 5*v**3/3 - v**2/2 + 4*v + 19. Let s be x(4). Is 2 a factor of 1*-1 - (4 - 2 - s)?
False
Let s(j) = j**2 - 20*j + 100. Let m be s(12). Suppose -m*l + 4368 = 20*l. Is 7 a factor of l?
True
Let y = 3 + -3. Suppose -17*v + 3110 + 1514 = y. Is v a multiple of 8?
True
Suppose -3*j + 6*j - 3 = -3*z, -10 = 5*j. Suppose -z*c + 270 = 3*c. Does 15 divide c?
True
Let k(n) = -n**2 + 10*n + 36. Let l(r) = 18*r + 108. Let a be l(-6). Is 12 a factor of k(a)?
True
Let s(j) = j**3 + 14*j**2 + 42*j + 5. Let i be s(-4). Does 65 divide (187 - 9) + 0/i?
False
Let p be -7 + 30510/40 - (-3)/(-4). Suppose -5*n = 4*o - 338 - p, -3*o = 3*n - 819. Is o a multiple of 34?
True
Suppose -g = -2140 - 1508. Suppose 2*h - g = -4*h. Suppose h = 7*m + 167. Is 6 a factor of m?
False
Let u = 80 + -82. Does 3 divide 0/(-20) + u + 3 + 201?
False
Let t = 4614 + -1256. Suppose -4*m + 2*p - t = -8*m, -3*p - 822 = -m. Is m a multiple of 9?
True
Let d = 10050 + 20970. Does 12 divide d?
True
Let f = -229 - -328. Does 11 divide (-3 - 0)/(-3)*f?
True
Let c(m) = -30*m + 30. Let d be c(26). Let p = -26 - d. Is p a multiple of 15?
False
Does 18 divide (-21)/(-630)*91385 - (-1)/(-6)?
False
Let s(u) = 297*u**2 + 9*u - 9. Suppose -17*t + 30*t - 26 = 0. Does 57 divide s(t)?
True
Let j = -1385 + 1836. Is j a multiple of 41?
True
Is (5/(-5) - 1) + 626 a multiple of 16?
True
Is 42906976/835 - 24/15 a multiple of 24?
True
Let b(q) = -132*q - 133. Let x be b(-12). Let f = 2249 - x. Is f a multiple of 31?
False
Suppose q = -25819 - 15481. Does 48 divide q/(-59) - (0 - 1*2)?
False
Suppose -50391 - 16972 = -31*r. Is 53 a factor of r?
True
Suppose 0 = 2*r - 4*r + 5*o - 43, 0 = r - 5*o + 34. Suppose -168 = -3*v + 27. Let h = v + r. Is h a multiple of 28?
True
Let l = 1020 + -984. Let c = -105 + 153. Let n = c - l. Does 6 divide n?
True
Suppose 66 = -10*b + 4*b. Let i(t) = t + 15. Let q be i(b). Suppose 1 = m - q. Is 2 a factor of m?
False
Suppose -2*g - 8 = -k, -8*k + 11 = -7*k + g. Suppose -k*t + 6868 = 7*t. Is t a multiple of 13?
False
Let x be 0*(12/(-8) - -2). Let m be (1 - 3) + (x - 14/(-1)). Is m/30 + (-366)/(-10) even?
False
Let s(a) = -2*a + 3 + 3*a + 0*a + 20. Does 15 divide s(7)?
True
Suppose -g + 2*m = -2916, 80*m - 76*m + 2914 = g. Is 14 a factor of g?
False
Let l = -3538 + 4200. Does 50 divide l?
False
Suppose 0 = 3*p - 119 + 59. Suppose 2*i = o - 8, 3*o - 3*i = -8*i - p. Suppose o = -4*k + 2*k + 462. Is 24 a factor of k?
False
Suppose 0 = -0*y - 2*y. Suppose -3*w + 184 = g, -80 = -y*w - w - 5*g. Does 14 divide (-2)/2 + -3 + w?
True
Let h(g) = -23*g + 2. Let u be h(-1). Suppose -311 = 2*v + u. Is -5*13/(260/v) a multiple of 14?
True
Let w = -276 + 265. Is (3/(-3) - -340) + 16 + w a multiple of 48?
False
Suppose 3*x = 2*c - 31199, -35*c + 46797 = -32*c - 4*x. Suppose -8*v + 725 + c = 0. Is 30 a factor of v?
True
Suppose 3*w = 9, -5*o - w - 32 = -0*w. Is 28 a factor of (-11)/77 + (-197)/o?
True
Let i be 30*(-2 + 0 - -3). Suppose -18 = i*s - 28*s. Is 10 a factor of 3*((-66)/s + 2)?
False
Suppose 0 = -2*k - 0*k - 110. Suppose 26*s + 32*s - 408 = 61*s. Let x = k - s. Is x a multiple of 15?
False
Let h = 57 + -52. Suppose 1 = g - 5*z - 4, -2*z - 2 = h*g. Suppose -3*b + 4*y + 268 = g, 2*b + 3*y = -2*b + 324. Does 7 divide b?
True
Suppose 0 = -10*i - 3 - 7. Let x be (44/16 + -4)*4*i. Suppose x*k - 350 = 2*q, 0*q = -5*k + q + 350. Is k a multiple of 7?
True
Suppose 6*m + 1033 - 11539 = 0. Is m a multiple of 11?
False
Suppose -3*n = -4*y - 7*n + 12, -5*n = -10. Is 15 a factor of (-666)/(-2) - (y - -2)?
True
Suppose 4*w = -5*y + 1337, 3*y - 1327 = w - 5*w. Is w a multiple of 82?
True
Let o be 21/(-3) - (-3192)/(-24). Is (8080/o)/((-4)/14) a multiple of 15?
False
Suppose -99*d - 71*d = -155210. Is 4 a factor of d?
False
Suppose 2403*f = 2373*f + 128040. Does 9 divide f?
False
Let s = 21129 + -11826. Is s a multiple of 42?
False
Let s = 936 - 342. Suppose 14*n - 20*n = -s. Is 18 a factor of n?
False
Suppose 0 = i - 3*p - 6, -i - 7*p = -3*p - 13. Let u be 1/((-1)/(-8)) + 36/i. Suppose 3*a = u*a - 1530. Does 17 divide a?
True
Suppose 5*d + 7*p - 5*p = 23043, -2*p = 2*d - 9216. Is 16 a factor of d?
False
Let u(p) = 84*p**2 - 14*p + 49. Does 2 divide u(-8)?
False
Let w(y) = 12*y + 4. Let s be (-64)/24*(-3)/2. Does 12 divide w(s)?
False
Suppose 4*v - 10700 = -5*i + 3*v, -2*i = 4*v - 4298. Is 65 a factor of i?
False
Let w = -317 + 322. Suppose 4*j = -w*i + 3512, 3*i = -51*j + 56*j + 2122. Does 22 divide i?
True
Let w(m) = 5*m - 192. Let r be w(39). Suppose 0 = a - 5*a - r*q + 7064, 8830 = 5*a + q. Is 15 a factor of a?
False
Suppose -48*x = 91 - 331. Is 809 - 15*x/(-15) a multiple of 74?
True
Suppose -g - 2*b = -194, -389 = -2*g - 5*b - 6. Does 2 divide g?
True
Let n(u) = -3*u - 6. Let i(z) = z**3 + 12*z**2 + 11*z - 2. Let r be i(-11). Let h be n(r). Suppose 4*d + 72 = 2*c + c, h = c - 2*d - 26. Is 20 a factor of c?
True
Let v(f) = 8*f**2 - 57*f - 32. Let q be v(-26). Is 26 a factor of 2/11 + q/33?
True
Let w be 11/5*1 - (-1)/(-5). Let z(l) = 50 + 3*l - 3*l - w*l. Does 10 divide z(0)?
True
Let o(p) = -11*p**3 + 60*p**2 + 141*p - 101. Let l(i) = -4*i**3 + 20*i**2 + 47*i - 34. Let j(f) = -8*l(f) + 3*o(f). Let v = 4445 - 4423. Is 5 a factor of j(v)?
True
Let p = -97 - -94. Let g be (-10)/p*18/10. Suppose -1231 + 151 = -g*b. Is b a multiple of 10?
True
Let p(d) = -2*d**3 + 20*d**2 + 2. Let y be p(10). Suppose 0 = 4*j - 4*a - 0*a - 112, 16 = j + y*a. Does 9 divide j?
False
Let v(q) = -2*q**3 + 20*q**2 + 2*q - 24. Let u be v(10). Is 101 + (u - (1 - (0 - -3))) a multiple of 33?
True
Let i(v) = 2*v**2 - 7*v + 3073. Does 17 divide i(93)?
True
Let t be ((-9768)/30)/2*-5. Suppose -1148 - t = -6*r. Is 7 a factor of r?
False
Suppose 8*o - 1866 - 2702 = 0. Suppose 2*v - 1137 = 3*u, 0 = 6*v - 5*v - 4*u - o. Does 7 divide v?
True
Suppose -h = -4*x + 15 + 2, -x = -4*h - 23. Suppose 15 = -3*t, -x*p + 3*t = -11 - 19. Let s(l) = 14*l + 10. Is 20 a factor of s(p)?
True
Suppose -q + 148 = 3*q. Let k = 23137 - 23130. Let f = q - k. Does 6 divide f?
True
Let o(f) = -f**2 - 82*f + 440. Does 4 divide o(-40)?
True
Suppose -6*u - 38632 = -3*w - 8*u, -2*u + 51512 = 4*w. Is w a multiple of 80?
True
Suppose -4*u + 0*z = 2*z + 6, 1 = u - 2*z. Let m be 3 + (u - -1 - 5) + 9. Does 7 divide 62/m + (-11)/(-77)?
False
Suppose 4*g - 3385 = 3823. Does 34 divide g?
True
Let s be -2 - -2 - (-1)/(4/32). Let q(o) = 23*o - 38. Let w be q(s). Suppose -27*g = -25*g - w. Is 10 a factor of g?
False
Let c = 6415 + 1253. Is 58 a factor of c?
False
Let y(x) = -12*x**3 + 5*x**2 + 10*x - 12. Let u be y(3). Let b = u + 436. Is 5 a factor of b?
True
Let m(u) = u**3 + 8*u**2 + 11*u - 1. Let p be m(-6). Suppose 4*j = x - 6*x + 779, 778 = p*x + 3*j. Let o = x + -111. Does 13 divide o?
False
Let c(t) = t**3 + 12*t**2 + 17*t + 10. Let q be c(-9). Let m = 305 - q. Is 9 a factor of m?
False
Suppose -13*i = -9*i - 4*v + 22544, 4*i + 4*v = -22544. Does 22 divide -5*i/26 + 94/611?
False
Let n(o) = 135*o - 678. Is 21 a factor of n(31)?
True
Suppose 5*b - 4*s = 1443 - 98, -2*b - s = -551. Suppose 143 = 2*m - b. Is 16 a factor of m?
True
Let g = 1970 - 1458. Is 11 a factor of g?
False
Suppose -7*z + 21 = -49. Is 17 a factor of 1/(z/734) - 42/(-70)?
False
Let y(h) = -14*h**2 - 4*h - 13. Let k(j) = j**2 + 1. Let b(p) = -5*k(p) - y(p). Suppose 170 = 9*v + 134. Is 28 a factor of b(v)?
True
Is 125 a factor of (-7 + 3 + (-1779)/(-1))*(12 + 8)?
True
Let l(n) = -n**3 - 15*n**2 + 92*n + 717. Is 47 a factor of l(-29