 - 1594. Is g a multiple of 22?
True
Let v(j) = j + 1. Let d(b) = -b**2 + 2*b + 4. Let g(l) = d(l) - 6*v(l). Let w be g(-1). Let x(y) = 83*y - 2. Is 16 a factor of x(w)?
False
Let k be 3 - ((2 - 72/4) + 5). Is -58*(-4 - (-21)/k) a multiple of 29?
True
Suppose 4 = c + 4*g, -5*c + 4*g - 5 = -1. Let o be (c + 6)*(-1)/(-2). Let s = 19 + o. Is s even?
True
Suppose 4 = 4*y - 4. Suppose -732 = -0*l - 4*l - 3*h, 4*l - y*h = 732. Is l a multiple of 14?
False
Let d(q) = -27*q + 52. Suppose -16 = 2*n + 5*i + 29, 0 = n - i + 12. Let h be d(n). Let g = h - 237. Does 44 divide g?
True
Let m = 139747 + -94719. Is m a multiple of 70?
False
Let d = -102 - -81. Does 48 divide (d/7 + -5)*(0 - 42)?
True
Let p(d) = d**3 + d**2 - 8*d - 4. Let x be p(-3). Is 6 a factor of 3000/10 - (x - -4)?
True
Let o = -114 - -125. Suppose o*h - 220 - 2706 = 0. Is 7 a factor of h?
True
Is 61 a factor of (13 + -15)/2*(-1770 + -1 + 2)?
True
Let k(y) = 1310*y**3 + 6*y**2 - 5*y + 5. Is k(1) a multiple of 42?
False
Let r be (4/9)/(108/2430). Suppose -r*x = 4*c - 13*x - 995, -5*c - 3*x + 1210 = 0. Does 21 divide c?
False
Let x(i) = -17*i. Let t(m) = -33*m - 1. Suppose r = 4*l - 9 + 33, -3*l = -4*r + 31. Let q(h) = l*x(h) + 2*t(h). Does 10 divide q(1)?
False
Is 15 a factor of 6902 + (25/(-15) - (8/24 - 0))?
True
Let y(v) = -v**2 - 7*v + 18. Let s be y(-9). Suppose -k = w - 2, -5*k = -s*k - 3*w - 18. Suppose -2*h = -4*c + 64, 0 = -k*c + h + 3*h + 43. Is 8 a factor of c?
False
Let t be (-48)/(-22) - 2 - 602/(-77). Let j(c) = -3*c - c - c - t + 13*c**2 + c. Is j(-2) a multiple of 13?
True
Let c = 3075 - 4447. Let b = -180 - c. Is 51 a factor of b?
False
Suppose 40*z - 843388 = 216673 + 452619. Does 24 divide z?
False
Suppose -16*d + 86472 = -12*d. Suppose 14*u + 1500 = d. Does 36 divide 3/5 + 4*u/20?
True
Suppose -6*f - 32 = -10*f. Does 15 divide (61 + 4)/((f/(-12))/(-2))?
True
Let t = 174 - 169. Let l(n) = -56*n**3 - n**2 - 2*n - 1. Let z be l(-1). Suppose -5*r + 3*i - z + 327 = 0, 295 = 5*r + t*i. Is 28 a factor of r?
True
Suppose 5*r - 42 = 2*k, -5*r + 3*r = k - 15. Suppose r = 3*m + 2. Suppose 2*l = 8, -m*v + 17 = -3*l - 59. Does 22 divide v?
True
Let u(q) = 95*q**3 - 20*q**2 + 12*q - 4. Is u(5) a multiple of 23?
True
Let b = -14833 - -15886. Is 10 a factor of b?
False
Is 47 a factor of 19928 - (21/(21/(-8)) - -10)?
False
Let j be (-14 - -29)*4/3. Suppose j*g = 25*g. Suppose g = 3*q + 9*q - 1008. Is q a multiple of 12?
True
Let u(q) = -3*q**3 + 44*q**2 - 33*q + 1. Let x(i) = -2*i**3 + 29*i**2 - 22*i + 1. Let k(b) = -5*u(b) + 8*x(b). Is k(7) a multiple of 9?
True
Suppose 5*d + 2*l + 31 = 0, l - 22 = 5*d - 0*d. Let s = -746 - -753. Does 6 divide (s/2)/((15/(-36))/d)?
True
Suppose 0 = -o + 3*o + 8, -882 = -5*b + 3*o. Suppose -201 = 4*v - u, 2*u = 5*v + 4*u + 248. Does 9 divide b/10 + (-30)/v?
True
Let l = 515 - 497. Is (3 - 81/l)*-218 a multiple of 3?
True
Let y(l) = 3 + 0*l + 0*l - 2*l + 1. Let u be y(1). Suppose -u*g = -332 - 94. Is 36 a factor of g?
False
Let v(d) = 6*d**2 + 78*d + 5. Let n be v(10). Is 24 a factor of (5 + n/10)*2 - -1?
True
Suppose 4*y = 238 - 34. Suppose 82*g = 84*g - 112. Suppose v - g = y. Is 18 a factor of v?
False
Suppose -5*g - 4*g = -3924. Suppose 5*h - h = 2*w + g, 0 = h + 3*w - 95. Is h even?
False
Suppose -2*g + 50 = 4*t - g, 3*g - 54 = -4*t. Suppose 2*j + 4*s - t = j, -5*j + 9 = 3*s. Suppose j = -v + 2, -4*h - 2*v - 51 = -9*h. Is h a multiple of 11?
True
Let y = -151 + 157. Suppose y*o - 1267 = 587. Is o a multiple of 29?
False
Let t(q) = q**2 - q + 6. Let a(h) = -2*h - 11. Let n be a(7). Let k = -31 - n. Is t(k) a multiple of 6?
True
Suppose 10 = 4*u - 5*o - 3, 3*o = 5*u - 13. Suppose -406 = -d + 3*a, -1185 = -3*d - 0*a - u*a. Is 8 a factor of d?
False
Let s = -23 + 26. Suppose -s*b = 2*b + 3*g + 54, g - 2 = 0. Let y = -1 - b. Is y a multiple of 4?
False
Let p(u) = 4297*u - 1226. Does 61 divide p(11)?
False
Suppose -15*p + 1686 = -3*p - 68958. Is 21 a factor of p?
False
Let n = -15 - -20. Suppose 2*g + n*f - 60 = 2*f, 60 = 2*g - 4*f. Suppose -5*t - g = -5*q, 1 = t - 0. Is q even?
False
Let t(s) = 4*s**2 - 5*s + 65. Is 4 a factor of t(13)?
True
Suppose -b = -6*b + 475. Let j = 717 - 447. Suppose -5*l + 4*n = -j - 205, -3*n + b = l. Does 19 divide l?
True
Let y(i) = 100*i - 2395. Is y(46) a multiple of 49?
True
Is 9 a factor of 7 + (-98)/14 + (-2696)/(-2)?
False
Let r(g) = -3*g - 1. Let v be r(3). Is 2*((-395)/v + 2)*2 a multiple of 9?
False
Suppose -23693 = -25*c + 26807. Is c a multiple of 18?
False
Suppose 23915 = -110*y + 40*y + 80195. Is y a multiple of 5?
False
Let b(s) = 41*s**2 - 14*s - 42. Does 10 divide b(-4)?
True
Let n(z) be the third derivative of -z**6/60 + z**5/20 + z**4/12 + 2*z**3/3 - z**2. Let r(q) = q**3 - 4*q**2 - 8*q + 30. Let x be r(3). Is n(x) a multiple of 9?
False
Let y = 170 - 52. Let r = y + -13. Is r a multiple of 6?
False
Let j = 128 + -254. Is (j/(-105))/((-2)/(-35)) a multiple of 21?
True
Suppose 9*k = 124*k - 3309240. Is k a multiple of 132?
True
Let g = -17995 - -32525. Does 188 divide g?
False
Let n be -4*1*(-3)/4. Suppose -73*s + 21484 + 3920 = 0. Suppose g + 0*g - 176 = r, -s = -2*g + n*r. Is 30 a factor of g?
True
Does 41 divide 96/40*(-7 - 63/(-14)) - -8572?
False
Let f(d) = 527*d**2 + 95*d - 283. Does 11 divide f(3)?
False
Let s = -289 - -502. Suppose s*w = 215*w - 438. Does 11 divide w?
False
Suppose 0 = -3*b - 4*m + 51781, 4*b + 3*m - 99648 = -30609. Is 11 a factor of b?
True
Let h be 4/(-6)*(-9 + 8)*-18. Is 26 a factor of h*(-1 - 116/8)?
False
Suppose -56175 = -23*f - 13*f - 1527. Is 23 a factor of f?
True
Suppose -4*j + 36 = -u, 18*j = 13*j + 4*u + 34. Let i = 152 - j. Is i a multiple of 54?
False
Suppose q - 3*q - 2 = 0. Let u be (-4 + -382)/(q/(2 - 0)). Suppose 5*h - 182 - 30 = -f, 4*f + h - u = 0. Is f a multiple of 12?
True
Suppose 1 = -i - 0*i. Let o be ((-1)/(-1) - i)/(4/330). Does 35 divide 8715/o - 2/(-11)?
False
Suppose -5*q + 10 + 14 = m, -3*q - 73 = -4*m. Let l be 2/m - (-1144)/(-38). Is l/(-7) + (-44)/154 a multiple of 4?
True
Let y(h) = -12*h - 35. Let j be y(-3). Let p = 530 + j. Is p a multiple of 12?
False
Let g(z) = -z - 1. Let s(a) = 200*a + 10. Let p(j) = 10*g(j) + s(j). Let i = -3415 - -3416. Does 24 divide p(i)?
False
Let l be (-10)/300*-12 + (-256)/(-10). Suppose -4*y + 1080 = l*y. Does 12 divide y?
True
Let g = 55391 + -28504. Is g a multiple of 4?
False
Let h(c) = c**2 - 21*c - 1. Let b = -99 - -96. Let r be 0 + -4 + b/6*-62. Is h(r) a multiple of 17?
False
Is 74 a factor of 22/(-2) + (20210 - (-35 - -72))?
False
Let x = 3685 + -2569. Suppose x = -p + 19*p. Does 5 divide p?
False
Let n be (-5 + 387/(-45))/(1/25). Let b = 92 - n. Is b a multiple of 16?
True
Let r(z) = -33 + 53*z - 84*z + 47*z. Let x(k) = -k**3 - 6*k**2 - 2*k - 4. Let c be x(-6). Is 12 a factor of r(c)?
False
Let r(a) = 5510*a + 1694. Is r(3) a multiple of 8?
True
Let v = 195 - 192. Let g = 16 + -14. Suppose -2*a - g = 0, -2*a = -5*s + v*a + 235. Is 10 a factor of s?
False
Let q(d) = -58*d - 448. Is q(-36) a multiple of 20?
True
Let c be (-1167)/(6 - 3 - (1 + 5)). Let f = -340 + c. Is 2 a factor of f?
False
Let w = 14 - -1. Let g(z) = 13*z + 24*z**3 - 16 + 15*z**2 + 7*z**3 - 32*z**3. Does 24 divide g(w)?
False
Suppose -9*h + 26 = -22*h. Is (-179)/h*(7 - 5) a multiple of 25?
False
Let f = 5144 - 3878. Is 8 a factor of f?
False
Suppose 9 = 3*h, -3*g + 8*g - 37074 = 2*h. Is 72 a factor of g?
True
Let g = 6893 - 6510. Is g a multiple of 3?
False
Is ((-6)/4)/(951/(-995380)) a multiple of 8?
False
Let z = -3247 - -5670. Suppose -5*q - 2*w = 2*w - z, 5*q - 2413 = w. Is q a multiple of 15?
False
Suppose 0 = -6*d + 3*o + 255132, 51 = -5*o + 81. Is d a multiple of 63?
True
Suppose 6197 - 54843 = -v - 4*q, 0 = 2*v - q - 97238. Is v a multiple of 302?
True
Suppose 0 = -776*o + 771*o - 125. Let q(x) = x**2 - 9*x + 222. Is 45 a factor of q(o)?
False
Let w(y) = -y - 1. Let j(n) = 54*n - 1. Let a(b) = j(b) - 4*w(b). Is a(8) a multiple of 43?
False
Let b = 159 + 20. Suppose -6*j = -n - j + b, -4*j + 982 = 5*n. Is 21 a factor of n?
False
Suppose 3*f - 21453 = -3*h + 19941, h = -3*f + 13794. Is 21 a factor of h?
False
Let q = -215 - -183. Let m = 6 - q. Is m a multiple of 33?
False
Let w(f) = -2*f**3 - f**2 - 345. Let z be w(0). Let v = z - -