 23?
True
Suppose -3*i + 117 = -12. Suppose -n + 29 = -i. Suppose -3*k = -3*y + 144, 170 = 5*y - 3*k - n. Does 8 divide y?
False
Let q(h) = 153*h + 1119. Is 19 a factor of q(21)?
True
Let d(o) = -34*o + 357. Does 5 divide d(7)?
False
Suppose 0 = 4*i + 8*c - 11*c - 208238, -c + 104134 = 2*i. Is 16 a factor of i?
True
Suppose 20*u = 21*u + 4*w - 1106, 0 = 3*u - 3*w - 3258. Does 3 divide u?
False
Let r(m) = 1132*m**2 - 8*m + 39. Is r(2) a multiple of 21?
False
Suppose 0 = 5*l - 10*l + 15. Suppose -5*u + 10 = 0, l*u - 3 = -3*i + 3. Suppose i = 4*w - w - 3*t - 444, 4*t = -5*w + 776. Is w a multiple of 27?
False
Suppose -5*q = -47 - 223. Let u = q - 49. Suppose -u*o - 9 = -84. Does 2 divide o?
False
Let u = 164 + -236. Let y = u - -56. Is 9 a factor of y/(-12) + (-6)/(-9) - -10?
False
Let d = 46475 + -37706. Is 10 a factor of d?
False
Suppose -29*n - 35*n + 78180 = -44*n. Is 175 a factor of n?
False
Let n = -9647 + 20967. Is 5 a factor of n?
True
Let g(p) be the third derivative of p**5/5 - 5*p**4/24 - 17*p**3/3 - 25*p**2. Does 52 divide g(7)?
False
Let g be (-1790)/(-5)*(2 + (-5)/2). Let u be (-26)/10 - 10/25 - g. Suppose 4*s = 8*s - u. Does 12 divide s?
False
Suppose -2*f - 3*l + 1224 = 0, 15*l = -3*f + 14*l + 1850. Let w = f + -119. Is w a multiple of 14?
False
Let x(q) = q + 15. Let n(s) = 1. Let y(a) = -78*n(a) + 6*x(a). Let c be y(10). Suppose 0 = 4*i - 6*i + c. Is i a multiple of 36?
True
Suppose 5*f = -a + 28201, -25*f + 30*f + 4*a - 28219 = 0. Is f a multiple of 9?
False
Let r be (-4 + (-14 - 4))*215/(-10). Suppose 1597 = 5*b - r. Does 8 divide b?
False
Is 12 a factor of (3/3)/(7543937/(-342907) + 22)?
False
Suppose -115460 = -7*c - 44802. Is c a multiple of 103?
True
Suppose 5614 = -89*x + 111299 + 16957. Is 26 a factor of x?
True
Suppose 5*a = 4*i + 2236, -3*a - 10*i = -5*i - 1349. Is 32 a factor of a?
True
Suppose -5*n + y + 11 = 0, -n + 8 - 1 = y. Suppose -n*r + 1101 = -495. Does 19 divide r?
True
Suppose -o = 5*b - 17 - 5, 5*o - 5*b = 230. Let t = 46 - o. Is t even?
True
Suppose l + 7*l + 8416 = 0. Let p = -670 - l. Is 10 a factor of p?
False
Let j = -21946 - -36160. Does 23 divide j?
True
Suppose 0 = 22*u - 26*u + 8, 16544 = 2*x - 5*u. Is 28 a factor of x?
False
Let d(s) = -2*s**3 + 10*s + 13667. Is d(0) a multiple of 16?
False
Let c = 47 - 41. Suppose -5*w + c*w = -4*n + 6, 2*n + 32 = 3*w. Suppose 0 = s - 45 + w. Does 13 divide s?
False
Suppose -46*g + 7665 = -43*g - 3*v, -5*v - 5116 = -2*g. Is g a multiple of 67?
False
Let n(k) = k**3 - k - 94. Let p(o) = o**3 - o**2 - 91. Let b(i) = -5*n(i) + 4*p(i). Is 64 a factor of b(-9)?
False
Suppose 2*t = 118 - 114. Suppose 74 + 6 = t*c. Is c a multiple of 10?
True
Suppose 68*k - 659 = 1717 + 276. Does 7 divide k?
False
Suppose -4*x - 37 - 51 = 0. Let d(o) = o**3 + 23*o**2 + 12*o - 24. Let h be d(x). Suppose -10*b = -3*b - h. Does 3 divide b?
False
Is 221 a factor of ((-116)/3)/(((-24)/3978)/4)?
True
Let h = -4703 - -9795. Does 76 divide h?
True
Suppose 9*g + 3661 - 43981 = 0. Is g a multiple of 20?
True
Let p(s) = -4*s + 24. Let i be p(5). Suppose 2 = i*m - 2. Does 4 divide m + 21 - (1 - -1)?
True
Suppose 6*j - 1039 = 3299. Let q = j - 424. Does 31 divide q?
False
Suppose -2*f - 21 = -3*f. Let c = f + 13. Let o = c + -6. Does 7 divide o?
True
Suppose 111*f + 153 = 95*f + 489. Is f a multiple of 7?
True
Let l(k) = k**3 + 5*k**2 - 15*k - 12. Let x be l(-7). Let f(c) = -c**3 - c**2 - c - 6. Let r be f(x). Suppose w = -5 + r. Is w a multiple of 30?
False
Suppose -21073 = -3*l + 5*b + 26989, 5*l = 4*b + 80086. Is 34 a factor of l?
True
Let r(x) = x**3 - 8*x**2 - 6. Suppose 2*a + 5*f - 143 = 0, 0 = -a - 4*f + 15 + 64. Suppose a = 4*l + 23. Is 15 a factor of r(l)?
True
Suppose 12*v - 16 = 8*v. Let h(u) = -3*u + 12. Let g be h(v). Suppose -5*i + m + 477 = g, -4*i - m = 4*m - 399. Does 24 divide i?
True
Let t = 8 + -22. Let q(r) = 2*r + 16. Let p be q(t). Does 24 divide (-56)/p*36/7?
True
Let x(y) be the second derivative of -7*y**3/6 - 29*y**2/2 + 10*y. Let h be x(-5). Does 18 divide 2*((-1395)/h)/(-3)?
False
Let b(k) = 208*k - 124. Let g(z) = 69*z - 41. Let i(s) = 6*b(s) - 17*g(s). Does 12 divide i(9)?
False
Suppose b + f - 51 = 6*f, -2 = -f. Suppose 2*k = -4*y + 36, 5*k - 3*y - 29 - b = 0. Does 2 divide k?
True
Let n be (0 + 15/4)/((-1)/(-4)). Suppose -20*d = -n*d - 4290. Is 33 a factor of d?
True
Let p(r) = 20*r**2 + 271*r - 18. Is 3 a factor of p(-18)?
True
Suppose -73*u - 26*u = -10*u - 1251162. Is u a multiple of 20?
False
Let q = 449 + -387. Suppose -65*y = -q*y - 1017. Is y a multiple of 12?
False
Suppose -3*i = -1338 + 114. Suppose 0 = s - i - 102. Is 10 a factor of s?
True
Let x = 6428 - 1658. Does 45 divide x?
True
Let v(n) = -1419*n - 2106. Is v(-12) a multiple of 99?
False
Let y(a) = -10*a**2 + 925*a + 195. Is y(83) a multiple of 25?
False
Let s be 7 + -5 - (7 - 3). Let w be -2 + 1 + (-26)/s. Suppose w*l - 372 = 6*l. Is 12 a factor of l?
False
Suppose -4*a + 4*f = -3056, 119*a - 122*a + 4*f + 2297 = 0. Does 11 divide a?
True
Let d(p) = -p**3 + 60*p**2 + 464*p + 70. Is 7 a factor of d(55)?
False
Suppose -20*j = 20864 - 75744. Is 5 a factor of (-2)/(-8) - 8/((-256)/j)?
False
Let g be ((-38)/(-4))/((-9)/54). Let o(c) = 4*c**2 + 10*c - 9. Let a be o(4). Let i = g + a. Does 6 divide i?
False
Let w = -442 - -446. Suppose -w*y + 7920 = 7*y. Does 80 divide y?
True
Let n(u) = -4*u - 76. Let i be n(-19). Suppose 0 = -4*p - 0*b + b + 328, 4*p - 2*b - 332 = i. Is p a multiple of 33?
False
Let y(b) = -116*b**2 - 2287*b + 22. Is 5 a factor of y(-18)?
False
Suppose 0 = -3*z - 2*u + 3538, 5*z - 5*u - 3727 - 2228 = 0. Is 14 a factor of z?
False
Let c(w) = -w**2 - 19*w + 1. Let b be c(-19). Let o be (3 - (-40)/(-5))/((-1)/b). Suppose -3*k + 2*g + 53 = 0, 0*g - o*g = -5*k + 80. Is k a multiple of 2?
False
Suppose 0*h + 4 = 2*h + 4*y, 5*y = -5*h + 25. Is -4 - (-3 - h) - -660 a multiple of 15?
False
Let q(p) = -5*p**2 + 16*p + 29. Let r be q(-9). Let g = -360 - r. Is g a multiple of 16?
True
Let r = 5176 + -3600. Let x = -701 + r. Is 68 a factor of x?
False
Is 70/2*(-74392)/(-340) a multiple of 14?
True
Suppose 67 = -3*r - 5*i - 20, 3*i + 93 = -3*r. Let u(x) = -5*x - 38. Is 11 a factor of u(r)?
True
Suppose m + 30*v - 27*v = 12085, 5*v = -4*m + 48326. Does 42 divide m?
False
Let w be (-6*(-24)/45)/((-5)/(-50)). Suppose 38*g - w = 37*g. Is g a multiple of 7?
False
Suppose w - 1357 = 5*c, -2*c - 5*w - 619 = -87. Let i be -188 - ((8 - 10) + -10). Let p = i - c. Is 17 a factor of p?
False
Let f = 8 - 16. Let w(u) = -4*u - 35. Let l(j) = -4*j - 26. Let q(s) = 4*l(s) - 3*w(s). Is 3 a factor of q(f)?
True
Let k(n) = 4*n**3 + 82*n**2 + 12*n + 72. Does 79 divide k(-20)?
True
Let u be 3/((-42)/(-12) + -5). Is (42/(-4))/(u - (-116)/64) a multiple of 8?
True
Let o = -92 + 94. Let n(l) = 14 + 17 + 5 + o*l. Does 4 divide n(-8)?
True
Suppose 0 = 3*q - 5*k + 33, -3*q + k + 3 = 24. Let a be ((-6)/(-5))/((q/20)/(-3)). Does 33 divide (-1 + a/8)*330?
True
Let l = 123 - 124. Let f(w) = -306*w. Does 50 divide f(l)?
False
Let s = -524 - -311. Let j = -133 - s. Does 2 divide j?
True
Suppose 2*l = -3*g + 16, 13*g - 18*g = 0. Suppose 7*t = l*t. Suppose -5*y - 3*y + 1232 = t. Does 25 divide y?
False
Suppose -2*r + 34*l = 31*l - 290, -l = 5*r - 708. Let x = -38 + r. Does 13 divide x?
True
Let o = -2734 - -10061. Is 17 a factor of o?
True
Suppose 5*z + 59 = 3*d - 10, -5*d + 152 = 4*z. Let m be (-2)/42*-3 - (-220)/d. Suppose 0 = -10*y + 8*y + m. Does 4 divide y?
True
Let i be -12*1/(0 + -4). Is 14 a factor of 33 + 6 - (2 + -5 + i)?
False
Let u be (5 - 724/(-8))*36*1. Is ((-4)/12)/((-6)/u) a multiple of 30?
False
Suppose -7*p + 7618 + 55651 = v, 3*p = 4*v - 252952. Is 18 a factor of v?
False
Let p(u) = -u**2 - 3*u + 26. Let b be p(3). Let h(l) = -2*l**2 + 3*l**2 - 2 - 14. Is 10 a factor of h(b)?
False
Suppose -f + 5*f = -2*v + 42, 0 = v - f - 6. Suppose v*n + n = 24. Suppose -138 = -n*s - i - 49, 0 = s - 5*i - 17. Is s a multiple of 32?
False
Suppose 0 = -14*x + 13*x - b + 5639, -3*b = -3*x + 16893. Does 64 divide x?
False
Let v(p) = 39*p**2 + 173*p - 1055. Is v(6) a multiple of 67?
False
Is 5 a factor of 3*(14/(-42))/((-3)/12345)?
True
Let p(v) = 3*v. Let t be p(2). Suppose 2*z + 3*h - 393 = 0, -t = 5*h + 19. Is 12 a factor of z?
T