- 3*n = -a + 9. Let i be ((-5)/a)/(-4 - (-44)/12). Let f = i + 148. Is 15 a factor of f?
False
Suppose -17283 = -2*w - 5*u, -2*w + 2*u = -22111 + 4807. Is 118 a factor of w?
False
Let u be (5/(-2))/((42/388)/(-21)). Suppose -703 = -6*t + u. Is 22 a factor of t?
True
Is 160 a factor of (20/40)/(24/1885824)?
False
Let l(o) = -o**2 + 10*o + 42. Let p be l(11). Suppose 39*t = p*t + 5552. Does 10 divide t?
False
Let b(w) = w**3 - 25*w**2 + 44*w + 48. Let d be b(23). Let k(o) = 79*o + 24. Is 13 a factor of k(d)?
True
Let s(a) = 5024*a**2 - 212*a - 213. Does 112 divide s(-1)?
False
Is 13 a factor of (-1 - (-216572)/12)*900/400?
False
Let w = -241 + 161. Let t = 194 + w. Is 20 a factor of t?
False
Suppose 3*d - 768 = -5*o + 8092, -4 = o. Does 37 divide d?
True
Let n(w) = w**3 - 9*w**2 - 22*w + 5. Let y be n(11). Suppose -r - h = -834, -44*h = -y*r - 43*h + 4164. Is 13 a factor of r?
False
Let m(g) = -g**2 + g. Let v(b) = 11*b**3 + 3*b**2 - 4*b - 6. Let h(r) = -6*m(r) - v(r). Is h(-3) a multiple of 16?
True
Let k = 6078 + -5206. Is k a multiple of 39?
False
Suppose 7*n + 500 = -13*n. Let i = -70 - n. Let v = i + 123. Is 26 a factor of v?
True
Let v(s) = -35*s - 11. Let w(u) = u**3 - u + 1. Let c(b) = -9*b**3 + b**2 + 4*b - 4. Let h(z) = c(z) + 6*w(z). Let k be h(1). Is v(k) a multiple of 17?
False
Suppose 28 = 4*i + 3*i. Suppose -i*h + 2*s = -928, -5*s + s + 1147 = 5*h. Suppose x = h + 10. Is x a multiple of 34?
False
Let u(h) = 5*h**2 - h + 9. Let w be u(-5). Suppose -4*z = 1 - 105. Let g = z + w. Is g a multiple of 12?
False
Suppose -g - 4*v - 83 = 0, 4*g - 15 + 358 = -5*v. Let y = -37 - g. Let n = -10 + y. Does 13 divide n?
False
Suppose i = -8*y + 10*y - 11, 4*i = -2*y + 36. Let k(z) = 8*z**2 + 3*z + 1. Let j be k(-6). Suppose j = y*t - 113. Is 6 a factor of t?
True
Suppose -136613 - 216519 + 80336 = -381*q. Is 4 a factor of q?
True
Let q = -3325 - -3700. Is q a multiple of 4?
False
Let t(h) = h**2 - 19*h + 3. Let x be t(19). Suppose 2*r = -4*p + 66, 5*p = x*r + 83 - 6. Is p a multiple of 4?
True
Let l = -330 - -332. Suppose -l*k + 71 = 3*y, 4*y - 48 = -k - 0*y. Does 2 divide k?
True
Let l(b) be the first derivative of -1/4*b**4 - 5*b + 7/3*b**3 + 0*b**2 - 3. Is 13 a factor of l(6)?
False
Suppose 3*z - 2*k - 25 = -2*z, -4*k - 11 = 3*z. Suppose 0 = -z*g + 49 - 43. Suppose g*p + 156 = 2*r - 0*p, -3*p - 380 = -5*r. Does 22 divide r?
False
Let o(q) = -2*q**3 + 216 + q**3 - 17*q**2 - 199 + 17*q. Is 4 a factor of o(-18)?
False
Is 5 a factor of (10/9)/((-34)/(-61353))?
True
Does 50 divide ((-15)/2)/(799866/36360 - 22)?
True
Suppose 3*r = -2*x - 224, 5*r + 226 = -2*x + r. Let n = x + 110. Let c(t) = 71*t**3 + 3*t - 2. Does 8 divide c(n)?
True
Let k(i) be the third derivative of -15*i**4/8 + 5*i**3/6 - i**2. Let o be (-3)/(10 - 11) + 1*1*-5. Is k(o) a multiple of 4?
False
Suppose 8*j - 291 = 5*j. Let k = 65 + j. Let m = k + -60. Is m a multiple of 22?
False
Let p = -75 + 78. Let x(a) = 11*a**2 - 9*a - 4. Is 2 a factor of x(p)?
True
Let f be (-12 - -11)/((2/224)/(-1)). Let d = 132 - f. Suppose 0 = -j - 3*c + d, -4*c = 8 - 0. Is 26 a factor of j?
True
Does 22 divide -1028*((-6 - -3 - -6) + 1582/(-56))?
False
Let t = 29 + -89. Let m = -71 - t. Let j = m + 40. Is 18 a factor of j?
False
Let x(u) = u + 14. Let s be x(-12). Suppose 0 = -t - 0*t - s*t. Let f = t - -43. Is 43 a factor of f?
True
Suppose -2*c - 3*s + 4*s + 1916 = 0, -4*s = 2*c - 1906. Is c a multiple of 33?
True
Let p(s) be the third derivative of -s**5/60 + 2*s**4/3 - 13*s**3/6 - 28*s**2. Let b be p(15). Is 32 a factor of b/(-6)*3/1 - -225?
True
Let o = -32 - -27. Let w = 0 - o. Suppose n + n + 5*z = 62, 2*z = w*n - 97. Is 21 a factor of n?
True
Suppose z - 3 - 30 = 0. Let v = 36 - z. Is (-3)/5*(-4)/v*125 a multiple of 10?
True
Suppose 356 + 166 = -6*d. Let y = 431 - d. Is y a multiple of 14?
True
Suppose 3*k - m - 4*m - 145 = 0, -2 = m. Let l = k + -43. Suppose 0 = q + 2*q + l*y - 55, 4*y + 37 = q. Is q a multiple of 5?
False
Suppose -20*u = 9*u - 116. Suppose q = u*a + 41, 4*q - 183 - 65 = -5*a. Is 14 a factor of q?
False
Is 24 a factor of 1484/245 - (-24)/(-420) - -12474?
True
Let b(i) = i**2 + 7*i + 15. Let y be b(-16). Let d = -303 - -204. Let o = y + d. Does 16 divide o?
False
Let f(g) = 14*g - 15. Let i be f(2). Suppose -61 - 43 = -i*t. Suppose -720 = 2*r - t*r. Does 16 divide r?
False
Suppose -8*m = 10*m - 33300. Suppose 3 = -5*p - 2, -2*p - m = -4*c. Does 66 divide c?
True
Let t(b) = b**3 + 14*b**2 - 15*b - 11. Let c be t(-12). Suppose 0 = -k + 2*k - c. Let r = k - 287. Is 34 a factor of r?
True
Let o(y) = -2*y**2 + 12*y + 28. Let h be o(6). Suppose -h*f = -44*f + 6848. Does 16 divide f?
False
Let x(q) be the second derivative of -7*q**6/720 - q**5/120 + q**4/3 + 3*q. Let g(y) be the third derivative of x(y). Is 3 a factor of g(-2)?
False
Let v be ((-6)/4*-1)/(11/66). Is 7 a factor of (2 + (-6)/v)/(2/543)?
False
Suppose -5*z - 50 = -1310. Let w = 78 + z. Does 22 divide w?
True
Let g = -256 - -393. Suppose -x = -2*v - g, -2*v + 157 + 129 = 2*x. Does 19 divide x?
False
Let b(q) = -q**3 + 7*q**2 - 3*q - 16. Let i be b(6). Suppose i*x - x = -a + 31, -5*a + 185 = -x. Is 12 a factor of a?
True
Let o be ((-64)/208)/(2/(-13)). Suppose 0*c = -c - 3*y + 543, 3*y = -3*c + 1611. Suppose -3*f = 2*x - c, 874 = -0*f + 5*f - o*x. Does 21 divide f?
False
Is 28 a factor of (-1218040)/(-150) + (-16)/60?
True
Suppose 3*k - 4*i + 6 - 17 = 0, -4*i = 2*k - 14. Suppose -k*a = -3*p - 3876, -6*p = -p - 15. Is 37 a factor of a?
True
Let k(t) = 28*t - 503. Is 3 a factor of k(22)?
False
Suppose 20 = -5*s, -4*p - 5*s + 814 = 266. Let r = 1154 + p. Does 81 divide r?
True
Suppose -4*o + 454 = 478, 2*i - 9208 = 4*o. Does 164 divide i?
True
Suppose -12114 = -40*t + 708902 - 125176. Is 14 a factor of t?
True
Suppose -4*l - 8 = h + 7, 4*l = -20. Suppose -4*g + 3*g = -h*w + 1, -5*g = -2*w - 18. Suppose 0*y - g*y = -272. Is 17 a factor of y?
True
Let n be ((-5)/10)/((-1)/4). Suppose -n*d + 4*g = -5*d + 622, 0 = -4*d + 2*g + 800. Is 9 a factor of d?
False
Suppose -5*n + 3*n + 36 = 0. Suppose -5*p + n - 4 = u, -4*u + 144 = -2*p. Suppose -s + u - 6 = 0. Does 14 divide s?
True
Suppose -165*p + 591451 = -896815 - 439264. Does 59 divide p?
True
Does 7 divide 58022/20 + (-100)/1000?
False
Let l(h) = 3*h**2 + 12*h - 31. Let c be l(4). Let m = 67 - c. Suppose 5*f - 675 = m*f. Does 15 divide f?
True
Does 53 divide ((-15)/(-6))/(-5*(-6)/10020)?
False
Let k(w) = -w**2 - 3*w + 3. Let r be k(1). Let b be r/((-2)/(-6)) + 158. Let y = 228 - b. Is y a multiple of 17?
False
Let x = -12904 + 19011. Is x a multiple of 31?
True
Let a be 0 - (-4)/(-14) - 3612/(-294). Suppose a*o + 41 = 329. Is 6 a factor of o?
True
Suppose -7*a + 54*a = -2914. Let d be (-2)/(-3) + 2072/24. Let k = a + d. Is k a multiple of 5?
True
Suppose -9994 = -118*i + 24580. Is i a multiple of 39?
False
Suppose -40 = 8*u - 16*u. Suppose -u*a = -5*z + 2285, 0 = 3*a - a + 10. Is 14 a factor of z?
False
Let x(q) = -11*q + 1. Let f(s) = -s**2 - s + 5. Let w be f(-3). Let t be x(w). Suppose -5*h + t*h = 539. Is h a multiple of 7?
True
Let i = 153 - 279. Let j = i + 499. Is 32 a factor of j?
False
Let f(r) = -6*r**3 - 2*r**2 - 4*r - 1. Is f(-1) a multiple of 2?
False
Let i(g) = 2*g**2 + 29*g + 88. Let u(f) = f**2 + 15*f + 45. Let d(o) = 4*i(o) - 9*u(o). Does 5 divide d(-11)?
True
Let q(s) = s**3 - 7*s**2 - s - 9. Let w be q(6). Let v = 47 + w. Is v/10*-1 - 3346/(-35) a multiple of 25?
False
Let p(s) = -2*s**2 - 21*s + 8. Let m be p(-9). Let t be (2/(-7))/((-5)/m). Suppose -18 = -t*k + 4. Is 4 a factor of k?
False
Let f(m) = 25*m**2 - 2*m + 30. Suppose 1194*a - 1200*a = -30. Is 43 a factor of f(a)?
True
Let f = -107 + 104. Is 1/f - (-28536)/72 a multiple of 48?
False
Suppose 3*h - 144 = -h. Let s be 104/18 - (-14)/63. Suppose -s = l - h. Is l a multiple of 10?
True
Let z = -23161 - -35676. Is z a multiple of 16?
False
Let n(l) = -l**2 + 44*l + 6. Let z be n(18). Is 30 a factor of ((-608)/(-6))/(79/z)?
False
Let s = 445 + -455. Is (-5 - 5855/s) + 3/6 a multiple of 39?
False
Suppose 1864*k - 1896*k + 1035776 = 0. Does 136 divide k?
True
Let x = -429 - -138. Let f = -138 - x. Suppose -f*q + 148*q + 300 = 0. Is q a multiple of 15?
True
Suppose -5*j + 1 = r, -r + 4*j + 1 + 0 = 0. Let 