1 + l. Is 4 a factor of j?
False
Suppose -5*d - 24*d + 3717 + 3185 = 0. Is d even?
True
Is (89055/30 + 9)/(9*(-3)/(-72)) a multiple of 20?
True
Let x = 15 - 9. Let g be (6 - x)/((-6)/(-3)). Suppose g = -5*u, 2*l + 4*u - 50 = 3*u. Is 17 a factor of l?
False
Let x = -643 + 1205. Suppose -770 = -4*l + x. Is l a multiple of 57?
False
Suppose 2*l = 5*l - 9. Suppose -t - 6 = -l*t. Suppose -t*y = 2 - 29. Does 9 divide y?
True
Let m be (-96)/2*(336/18 - 6). Let h = -426 - m. Is h a multiple of 14?
True
Let j = -1152 - -2771. Suppose -13*c = -j + 59. Is 15 a factor of c?
True
Let g(y) = -y**3 - 17*y**2 + 59*y - 21. Let z be g(-20). Is 57 a factor of z*(-1 - -2) - -562?
False
Let a = -344 - -345. Let r(b) = 100*b**3 + b**2 + 7*b - 8. Is 10 a factor of r(a)?
True
Suppose 0 = 3*g + 4*a + 1182, 3*g + 1185 = -3*a - 0*a. Let i be (1 - -1)/((-4)/g). Let d = i + -127. Does 12 divide d?
True
Does 48 divide (12/27*-24)/((-6)/702)?
True
Let d = 1 + 27. Suppose l - 5*l = 4*v, 0 = -4*v + 3*l + d. Is 98/v - 4/8 a multiple of 7?
False
Let p = -16820 - -18319. Does 51 divide p?
False
Suppose 0 = -5*m + 43*i - 40*i + 17025, 0 = 2*i + 10. Does 9 divide m?
True
Let j be (514/5)/((56/8)/70). Suppose 0 = -2*d + y + y + j, -1027 = -2*d + 3*y. Is 21 a factor of d?
False
Let u = -13116 - -20172. Is u a multiple of 56?
True
Let v = 194297 + -136244. Does 111 divide v?
True
Does 141 divide (-94)/(-4)*(-177 - (-45)/(-5))*-2?
True
Suppose 2*o = 4*o - 4. Suppose -q + 536 = 2*b + o*b, b + 5*q = 153. Is 19 a factor of b?
True
Let s = 48 + -102. Let z be (16 - 9) + (88 - -3). Let u = z - s. Does 14 divide u?
False
Suppose -m + 170*f + 6204 = 175*f, 0 = 3*f + 9. Is m a multiple of 9?
True
Let t(j) = 30*j**3 - 6*j**2 - 5*j + 2. Let y(p) = p**3 - p**2. Let d(m) = -t(m) + 4*y(m). Is d(-2) a multiple of 6?
True
Let u(p) = -18*p - 27. Let t be u(-8). Suppose -5*y = -223 - t. Is 14 a factor of y?
False
Suppose -3*x = -4*p - 14, -x - 3*x - 2*p - 18 = 0. Let j be ((x + -1)/(-3))/(2/420). Suppose a - j = -a. Is 21 a factor of a?
True
Let h = -396 - -661. Suppose -5*n + h = -5*m, 4*n = 7*n + m - 179. Let c = n + 68. Is 18 a factor of c?
True
Suppose -1072 = 5*p + 1958. Let i = 1686 + p. Is 30 a factor of i?
True
Suppose 34*y + 3290 = 36*y. Is 47 a factor of y?
True
Is 78 a factor of (6 + 51220/6)*(21 + -18)?
False
Let t be -1*(-185)/(-10)*-2. Suppose 0 = t*v - 49*v + 11952. Is 27 a factor of v?
False
Suppose 0 = -3*j + 8*j + 2655. Let p = j - -794. Is p a multiple of 74?
False
Suppose -5*n = -32 + 17. Suppose 5*p + 4*c - 1188 = 0, -5*p - 2*c + 1178 = -n*c. Suppose 9*f - 259 = p. Is 3 a factor of f?
False
Let q be (2201/(-5) - -1)*120/(-36). Suppose -11*k + 19*k - q = 0. Does 61 divide k?
True
Let o(y) = y**2 - 4*y + 8*y + 17*y - 13. Is o(-22) a multiple of 5?
False
Let q(l) be the second derivative of l**5/20 + 2*l**4/3 + l**3 + l**2/2 + l. Let r be q(-7). Suppose 0 = r*p - 191 - 49. Is 9 a factor of p?
False
Suppose -5*r = -3*s + 21, -r + 3 = -s + 4*r. Let q = s + -12. Let y(k) = -k**3 + k**2 + 2*k + 34. Does 24 divide y(q)?
False
Let l be (7 - (-1143)/(-45))/(2/(-435)). Suppose 0 = -2*m - 278 + l. Suppose -18*d + m = -1162. Is 20 a factor of d?
False
Let r(w) = 127*w + 251. Is r(9) a multiple of 17?
True
Is -5 - -6171 - -20*10/(-25) a multiple of 57?
False
Suppose 26*z = 25*z + 189. Suppose -300 = 4*a - a - 3*r, 5*a + 497 = 2*r. Let o = a + z. Does 15 divide o?
True
Let c = -7705 + 8001. Is c a multiple of 12?
False
Let d = 91 + -89. Suppose -841 = -4*w - 2*l + 5*l, d*w - 413 = 3*l. Let j = -4 + w. Is j a multiple of 15?
True
Let w(x) = -3*x**3 - 7*x**2 - 7*x - 18. Suppose -3*z + 24 = -8*z + 3*m, 16 = -z - 5*m. Is w(z) a multiple of 70?
True
Suppose -m - 5 = 0, -3*d + d - 2*m = -18. Does 4 divide 9894/78 - d/(-91)?
False
Let l = -5011 + 8605. Does 16 divide l?
False
Let k(f) = -16 - f**2 + 44*f**2 + 21*f**2 - 7*f**2 - 2*f. Is k(3) a multiple of 46?
False
Does 36 divide 77 - -2689 - (-4 - -2)*(4 + -1)?
True
Is 16*(2952/42 - 24/84) a multiple of 5?
True
Let q = -18 + 41. Let o = 29 - q. Suppose o*j - 2*j = 3*a + 332, 0 = -4*j - 5*a + 364. Does 16 divide j?
False
Let h = 9098 - 6424. Is h a multiple of 191?
True
Let b(m) = -m**3 + 9*m**2 + 15*m - 11. Let k(q) be the first derivative of -q**3/3 + 7*q**2/2 + 18*q - 7. Let r be k(8). Is b(r) a multiple of 11?
False
Let n(z) = -18*z + 8. Let q be n(-1). Let h = 32 - q. Suppose 5*k - 360 = -r, -2*k + h*k = 3*r + 288. Is 12 a factor of k?
True
Let p(f) = 39*f**3 + 16*f**2 + f - 32. Is 57 a factor of p(7)?
True
Suppose -39*c + 5*l = -43*c + 2081, 4*c + 2*l - 2090 = 0. Does 12 divide c?
False
Let t be ((-699)/(-9))/(16/144). Let v = t - 402. Is v a multiple of 11?
True
Suppose -22*h + 62164 = -20*h + 2*d, 2*h + 3*d = 62171. Is h a multiple of 113?
True
Let y(j) = -j**2 + 10*j + 24. Let i be y(12). Let m = -3 - i. Is 103/(-3)*m - 2 a multiple of 26?
False
Let o(y) = 23*y + 10. Let n(k) be the first derivative of -k**3/3 + 5*k**2 - 11*k - 17. Let j be n(8). Is o(j) a multiple of 28?
False
Let j(l) = -l**3 + 38*l**2 - 153*l - 59. Does 3 divide j(33)?
False
Let s(v) = 143*v - 114. Let w(x) = 2. Let i(m) = s(m) - 5*w(m). Is i(4) a multiple of 16?
True
Let v = 8583 + -3183. Does 24 divide v?
True
Let m be ((-4)/(-6))/((-11)/(330/4)). Let i be 18/4 + m + 778/(-4). Let u = -61 - i. Is 8 a factor of u?
False
Suppose 4*b + 76*p - 7320 = 72*p, 2*b - 4*p = 3654. Suppose -5*n + b + 1746 = 0. Does 65 divide n?
True
Suppose -4*w = k + 1323 - 3330, 3*w - 1508 = 2*k. Is (-6)/16 + (w/16 - -8) a multiple of 20?
False
Suppose -744*i + 737*i = -52045. Is i a multiple of 88?
False
Suppose 0 = 4*h - 2*f - 59928, 0 = -4*h - 11*f + 8*f + 59908. Is h a multiple of 10?
True
Let p = 87784 + -47921. Is p a multiple of 148?
False
Let f(g) = -139*g**3 - 2*g**2 - 5*g + 6. Let z be f(1). Let t = 410 + z. Does 10 divide t?
True
Let s(l) = l**3 - 9*l**2 - 2. Suppose 6*r - 3*r - 30 = 0. Let v be s(r). Let k = v - 43. Is 17 a factor of k?
False
Suppose 0 = -306*q + 201*q + 385875. Is 7 a factor of q?
True
Let b be (-4)/24*0 + (-3 - -1). Let l(g) = -534*g - 38. Does 21 divide l(b)?
False
Let a = 789 - 823. Let x(s) = -s**3 - 5*s**2 + s - 3. Let i be x(-5). Is 36/i*a + 0 + -1 a multiple of 45?
False
Does 2 divide 6/(-30) + 7514*30/100?
True
Let x(m) be the second derivative of m**7/840 + m**6/72 + m**5/30 + m**4/24 + 13*m**3/6 + 6*m. Let g(h) be the second derivative of x(h). Does 4 divide g(-3)?
False
Suppose -5*i - 17*h + 8835 = -13*h, 0 = 4*i - 4*h - 7068. Is i a multiple of 23?
False
Let r(k) = 7*k - 90. Let z be r(10). Is (-1)/(6 - 7) - z a multiple of 2?
False
Suppose 3044 = 4*a - 35*y + 31*y, 1515 = 2*a - 3*y. Is 3 a factor of a?
True
Let z = 198 + -197. Is 36 a factor of (z/3*-4)/(6/(-324))?
True
Suppose 55 = 2*j + 15. Let v be (-4)/10 + -1 + 3948/j. Let z = -118 + v. Is 26 a factor of z?
True
Let u be (-6)/(-16) + 6/(-16). Suppose 333 = 3*v - 5*t + 38, -v - 3*t + 75 = u. Is 6 a factor of v?
True
Suppose -5*v + v = 96. Is 15 a factor of (-5 - 1580/v)*6?
False
Let b(r) = -10296*r**3 + 9*r**2 + 2*r - 6. Is 44 a factor of b(-1)?
False
Suppose -52*q + 157161 + 110222 - 85331 = 0. Does 5 divide q?
False
Let y(a) = 4*a**3 + a**2 - 17*a - 7. Is y(7) a multiple of 8?
False
Suppose 2*h - 8 - 6 = -2*w, -3*w - 2*h = -18. Suppose -w*l - 140 = 2*u - 988, -u + 430 = 5*l. Is u a multiple of 12?
True
Let g(j) = 44*j**3 - 8*j**2 + 11*j + 7. Let l be g(3). Suppose -3*r = d - 1421 - l, 2*r + d - 1719 = 0. Does 11 divide r?
True
Suppose -3*y = -2*r - 21530, -1903 = y + r - 9093. Is y a multiple of 57?
True
Let i(c) = 143*c**2 - 75*c - 628. Does 18 divide i(-8)?
False
Let a = -87 + 177. Suppose a + 730 = 4*o. Does 29 divide o?
False
Is 1/(4285/(-5160) - (-25)/30) a multiple of 43?
True
Let r(q) = q**3 + 8*q**2 + 2*q - 12. Let i = -40 + 43. Suppose 4*o + 2*u + 0*u + 20 = 0, i*o - 3*u + 24 = 0. Does 6 divide r(o)?
True
Let a(d) = 12*d**2 + 25*d + 4. Suppose 0*l = -7*l - 28. Does 6 divide a(l)?
True
Let i be 430/(-20)*(2 - 4). Suppose 109 + i = 8*r. Is r a multiple of 2?
False
Suppose 3*b + 18 = 3*a, -5*a = 1 - 11. Let h(f) = -55*f + 46. Is h(b) a multiple of 17?
False
Suppose 263 + 794 = 7*s. Suppose -2*p + 107 = -3*r, 3*p = -0*p - 5*r + s. Let h = p + 50. Does 43 divide h?
False
Suppose -18*k - 22 = 