4*p = -c*x + 1728, 3441 = 4*x - 3*p. Is x a multiple of 22?
True
Suppose 4961 = -25*x + 17211. Let i = 898 - x. Is i a multiple of 12?
True
Does 11 divide 10 + -15 + 28625/5?
True
Let a(i) = -286 - 2*i**3 + 289 - i**2 + 4*i**2. Is 14 a factor of a(-3)?
True
Let v(x) = -11*x**3 - 29*x**2 - 5*x + 26. Let f(h) = 18*h**3 + 48*h**2 + 9*h - 43. Let m(a) = -8*f(a) - 13*v(a). Let g = 10 + -16. Does 12 divide m(g)?
True
Let k be 2 - (3/(-5) - (-6)/10). Suppose -4*u = 3*r - 295, 4*u - 69 = -k*r + 121. Is r a multiple of 14?
False
Let d = 24783 - 19475. Is d a multiple of 27?
False
Let b be 1/12 + 14441/84 - 4. Suppose 0 = 146*v - b*v + 35860. Is v a multiple of 10?
True
Suppose 0 = -2*p - 4*l + 6218, -846 - 11585 = -4*p - 3*l. Is p a multiple of 14?
False
Suppose -2*m - 2 = -x, -11 = m + 3*x - 6*x. Let q be -20 + 17 + 5*m. Suppose q*s - 161 = -5*s. Is 20 a factor of s?
False
Let t = 451 - 233. Let k = t + 188. Does 35 divide k?
False
Suppose -8*n - 21 = -5. Let r(s) = -49*s**3 + 2*s**2 - s + 1. Is r(n) a multiple of 22?
False
Let d(l) = 678*l + 301. Does 11 divide d(1)?
True
Is 20 a factor of -2*((5 - 6 - -6) + -735)?
True
Let g be -10 + (312 - -1) + 7. Let a = 736 + 162. Suppose 7*i - a = -g. Does 28 divide i?
True
Let s = 2563 - -3745. Is 30 a factor of s?
False
Let x = 186 + -190. Is 175/((-10 + 6)/x) a multiple of 24?
False
Suppose 0 = -102*d + 109*d - 4837. Let l = -16 + d. Is l a multiple of 15?
True
Let h(q) = 2*q**3 + 86*q**2 + 263*q - 10. Does 48 divide h(-34)?
True
Let n = -50333 - -72883. Is n a multiple of 41?
True
Let g = 90 + -88. Let b(v) = -87*v - 5*v**g - 6*v**2 - 5 + v**3 + 64*v. Is 7 a factor of b(13)?
False
Let v = 167 - 39. Suppose a = 2*a - 4*q - 92, -a - 5*q + v = 0. Does 12 divide a?
True
Let k(l) = -l**3 - 29*l**2 - 15*l + 109. Is k(-31) a multiple of 52?
True
Let g(w) = 13*w**2 - 66*w + 485. Is 13 a factor of g(20)?
False
Suppose k + 16224 - 4252 = w, -35876 = -3*w - 2*k. Is w a multiple of 12?
True
Let a(x) = -x**2 + 4*x + 3. Let w be a(-2). Let n(z) = z**3 + 11*z**2 + 12*z + 18. Is n(w) a multiple of 18?
True
Suppose 4*y - 42 - 2 = 0. Let i(s) = 6*s + 10 + 10*s + 6*s - y*s. Is i(3) a multiple of 16?
False
Let x(k) = -53*k**3 + 6*k**2 - 8*k - 5. Let o be x(3). Is (o - 1)*(-1)/(15 - 12) a multiple of 27?
False
Let o be -7 + 6 + 5 + -5. Does 33 divide (-281)/(o/(-12)*-4)?
False
Suppose -3*v = -l + 6*l - 8, -l - 8 = 3*v. Suppose -5*q = l*t + 3, 3*t - 1 - 5 = -q. Suppose 10*c = t*c + 1127. Is 23 a factor of c?
True
Suppose 4*a - 148957 = -9*d, -6*d + 4*d = -10. Does 227 divide a?
True
Is (493 - 293)*(-102)/(-8) even?
True
Suppose -65 = -4*z + q, -5*z + 88 = -4*q + 15. Suppose z*i = i + 1136. Is i a multiple of 9?
False
Let k = -352 - -756. Let a = -184 + k. Is a a multiple of 20?
True
Suppose -3*c = -2*p - 13581, -9022 = -2*c + 22*p - 26*p. Is 107 a factor of c?
False
Let b(j) = 42*j**2 + 108*j + 8. Let z be b(-6). Let r = 2092 - z. Is 61 a factor of r?
True
Suppose -2*s + 2*l + 15638 = 0, -3*l + 4837 = 2*s - 10766. Is 42 a factor of s?
True
Suppose 16*o - 139412 = 223474 + 64122. Is o a multiple of 217?
False
Let i = -12223 - -19163. Is i a multiple of 10?
True
Let i(m) = -441*m + 6780. Is 22 a factor of i(-49)?
False
Let p = -71 + 73. Let g(n) = -n + 42*n**2 - 1 - 19*n**p + 5. Does 41 divide g(-3)?
False
Let k = 14152 - 13992. Does 4 divide k?
True
Let a = 198 + -51. Suppose a = s + 5*y, 3*s - 4*y - 208 = 195. Does 20 divide s?
False
Let l be (-2 - -3) + 30 + -3. Is -1*24*(-105)/l a multiple of 30?
True
Suppose -2*z = 2*m - m - 5225, -26100 = -5*m - 5*z. Is m a multiple of 69?
False
Suppose 0 = 4*w - 5*u - 124682, -2*w - 117*u + 62334 = -116*u. Is 228 a factor of w?
False
Suppose t + z - 18578 = 2*z, 3*t - 2*z - 55741 = 0. Is t a multiple of 295?
True
Suppose -44786 = 51*k - 58*k. Is 14 a factor of k?
True
Suppose -41 = 3*f - 23. Let g = 13 + f. Suppose g*q = q + 78. Is 13 a factor of q?
True
Suppose 28*y + 3366 = -23*y. Does 62 divide y/44*(-3 + -505)?
False
Let z(r) = -90*r + 1488. Is 68 a factor of z(-22)?
True
Let o(h) = 5*h + 21. Let p(n) be the second derivative of n**4/12 + 4*n**3/3 - 2*n**2 - 5*n. Let v be p(-9). Is o(v) a multiple of 5?
False
Suppose 23*y = 21*y - 18*j + 101886, 0 = 5*y - 4*j - 255009. Is 122 a factor of y?
False
Let m(x) = 4*x + 30. Let t = -28 - -33. Suppose 0*o + t*h = -4*o + 55, 0 = 5*h - 15. Is m(o) a multiple of 19?
False
Suppose 0 = 4*x + 25*f - 21*f - 156, -125 = -3*x + f. Suppose 4*n - 337 = -x. Is n a multiple of 8?
False
Suppose 79175 + 37546 = 117*s - 472842. Is 9 a factor of s?
False
Suppose 0 = -3*u - 3*x - 6, x = 4*u - 9 - 8. Does 29 divide 7 + (u - 8) + (175 - 3)?
True
Suppose 0*f + 4*j = -2*f - 16, -2*f + 3*j = -19. Let h = f - 4. Is (-8 - h)*(-5)/2 a multiple of 3?
True
Let v(k) = 2563*k**2 + 9*k + 54. Is v(-6) a multiple of 18?
True
Suppose 9540*t - 9562*t + 66 = 0. Let f = -4 - -6. Suppose n - 5*j = 84, -f*n - t*j + 103 = -0*n. Is n a multiple of 45?
False
Let b(c) = 1084*c + 94. Let l be b(4). Does 63 divide l/5 - (4 - 0)?
True
Let c(u) = 22412*u**3 + 17*u**2 - 17*u + 1. Does 31 divide c(1)?
True
Let b(k) be the second derivative of k**6/144 + k**5/24 + k**4/12 + 9*k. Let q(j) be the third derivative of b(j). Is 10 a factor of q(17)?
True
Suppose y + h + 40 = 0, 3*h = -5*y + 8*y + 108. Let d(x) = -3*x**3 - 2*x**2 - x - 2. Let w be d(-3). Let n = w + y. Does 6 divide n?
False
Let n = 111956 + -78990. Is n a multiple of 122?
False
Let x(h) be the third derivative of -3*h**7/280 + h**6/360 - 37*h**5/60 + 11*h**2. Let v(a) be the third derivative of x(a). Is v(-5) a multiple of 17?
True
Let o = 26 + 462. Suppose 4*l - 260 = o. Is l a multiple of 25?
False
Suppose 3*g = 2338 - 46. Suppose p + 6*u - g = 2*u, 4*p - 3140 = 5*u. Is 12 a factor of p?
True
Let r = 30 - 27. Suppose -2*w + 349 = -r*t, 2*t + 5 = w - 167. Is w a multiple of 7?
True
Let j = 5396 + -3134. Does 11 divide j?
False
Suppose 3*b = 2121 + 1101. Suppose b + 1626 = 12*s. Does 15 divide s?
True
Let a = -19 + 19. Suppose a = -n + 1 + 1. Does 11 divide (2/6)/(4/264)*n?
True
Suppose -9*f + 13*f = 32. Suppose 0 = 2*d - f + 18. Is -8*(-2)/40 + (-108)/d a multiple of 7?
False
Let j(z) be the third derivative of -z**5/60 + 21*z**3 - 5*z**2 - 2*z. Is 14 a factor of j(0)?
True
Suppose 5 = 2*k + 3. Suppose 3*m - k = -13. Does 30 divide ((-18)/(-15))/(m/(-300))?
True
Let y(v) = 30*v - 550. Let k be y(19). Suppose 5*o - 3*c = 206, 0*c = o - c - 40. Let u = o + k. Is u a multiple of 21?
True
Let p = 2976 - -10219. Suppose 0 = 14*b - 917 - p. Is 18 a factor of b?
True
Let t be (15/5 - 429)*-2. Let c = -460 + t. Is c a multiple of 49?
True
Let w(t) = -t**3 - 19*t**2 - 20*t - 6. Let q(c) = c**2 + 15*c - 18. Let l(j) = 2*j + 5. Let h be l(-10). Let d be q(h). Is 15 a factor of w(d)?
True
Suppose 0 = q - 590 + 1090 - 6418. Is 22 a factor of q?
True
Let u = 95 - 91. Suppose 9*x = u*x - 55. Is x/((-4)/8*2) even?
False
Does 38 divide (-7)/4 - (-5753025)/972?
False
Let p(x) = -x**2 - x - 205. Let d be p(0). Is 13 a factor of (-1010 - 0)/1*82/d?
False
Let s be (-52 + 53)/(1 + (-2)/1). Is s/(0 + (-6)/318) a multiple of 5?
False
Let n = -203 - -164. Let d = 164 + n. Is 4 a factor of d?
False
Let l = -34 + 36. Suppose l*w + 0*w - 4*f - 12 = 0, 23 = 3*w - f. Suppose w*d - 759 = -79. Is d a multiple of 15?
False
Let y = -5229 + 7530. Is y a multiple of 13?
True
Let s = 181 - 153. Suppose -36*h = -s*h - 3696. Is 66 a factor of h?
True
Suppose 3*g = -3*n + 5448, -2*g + 5449 = -1516*n + 1519*n. Is 11 a factor of n?
False
Suppose 5*w + 33240 = 26*w - 8823. Is w a multiple of 132?
False
Let b = 369 - 364. Suppose b*w - 782 = 11*o - 14*o, -o - 150 = -w. Does 7 divide w?
True
Let v be (-267 + -11)*(-2)/2. Let s = v + -211. Does 4 divide s?
False
Suppose -v - 2*p = -4, -5*p + 10 = -13*v + 8*v. Suppose v = 5*z + y - 40 - 2927, 0 = -z + 5*y + 609. Is z a multiple of 18?
True
Suppose 11384 = 14*s - 21699 - 181. Does 88 divide s?
True
Suppose -4*r + 19910 = a, -2*r - 4*a + 10874 - 926 = 0. Is r a multiple of 17?
False
Suppose 0*d + 4*t = 3*d - 120, -4*t + 136 = 5*d. Does 16 divide d?
True
Suppose b + 4*z - 1807 + 1320 = 0, b + 5*z - 479 = 0. Does 13 divide b?
False
Suppose -41*y = -38*y - 3*s - 1389, 2*y + s = 917. Let v = -24 + y. Is 5 a factor of v?
False
L