?
True
Let q(z) = -6*z**3 - 20*z**2 + 2*z. Let r be q(-11). Suppose r = -3*f + 25*f. Does 12 divide f?
True
Suppose -9*a + 11808 = 7650 - 50922. Does 86 divide a?
False
Let f(p) = -69*p**2 - 17*p + 89. Let w(m) = 140*m**2 + 33*m - 180. Let s(i) = -9*f(i) - 4*w(i). Is s(4) a multiple of 11?
True
Suppose 3*u = 2*y + 20, -4*u - 16 = -4*y - 48. Suppose w = -3, u*n - 709 = -3*w - 2*w. Suppose 0 = 9*t + 1 - n. Does 17 divide t?
False
Let k = 7418 - 3107. Does 22 divide k?
False
Suppose -2*l - 2*b = -14026 + 2642, -12 = 4*b. Does 30 divide l?
False
Suppose -3*s + 46702 - 11422 = 6*s. Is 14 a factor of s?
True
Let a = -383 - -591. Let l = a + -136. Suppose 0 = 20*f - 12*f - l. Is 5 a factor of f?
False
Let p(s) be the first derivative of 5*s**3/3 + 23*s**2/2 + 172*s - 258. Is 25 a factor of p(-13)?
False
Let a = -7920 - -9818. Is a a multiple of 3?
False
Suppose -3096 = -15*p + 60054. Suppose -5*f = 27*s - 22*s - p, 0 = s - 1. Does 34 divide f?
False
Let v = 1476 + -341. Let u = v - 654. Does 51 divide u?
False
Let j be 1 - 2/1 - (-784 - 4). Let n = j - 412. Does 43 divide n?
False
Let m(q) = -5*q**3 - 3*q**2 - 4*q - 2. Let h be m(-1). Suppose -4*l - 16 = 0, -2*l = -3*w - h*l + 733. Is 19 a factor of w?
True
Let g = -1147 - -1913. Let h = g - 315. Is 14 a factor of h?
False
Let q(a) = 2*a**3 - 13*a**2 + 16*a - 6. Let c be q(8). Let z = c - 132. Is 8 a factor of z?
False
Let o(g) = 7*g**2 - g - 95. Is 5 a factor of o(-12)?
True
Suppose 6*x = -u + 4*x - 5, -5*x - 40 = -3*u. Suppose -u*z - 12*m = -10*m - 2796, -4*z + 2217 = -5*m. Does 31 divide z?
True
Let v(t) = -21*t + 9. Let u be v(-2). Let h = -53 + u. Does 14 divide -4*h/12*168/1?
True
Let g = -2139 + 3135. Let p = g - 554. Is p a multiple of 20?
False
Let z = 43 - 43. Let x be (z + 3/(-9))/((-1)/66). Suppose v - x = 21. Is 4 a factor of v?
False
Does 29 divide (-8 + 600/36)/(2/6351)?
True
Suppose 3*r + 15*r = 3*s + 582654, -r = 3*s - 32376. Does 65 divide r?
True
Is (-2589)/2*2222/(-303) a multiple of 113?
False
Let n = 4765 + -3148. Is n a multiple of 16?
False
Let f be 382/16 - (-4)/32. Suppose b = -5*b + f. Is (3/b)/(5/400) a multiple of 12?
True
Let h(z) = 5 + 1129*z - 1158*z + 4. Let r(d) = 58*d - 17. Let f(w) = 5*h(w) + 2*r(w). Is 4 a factor of f(-3)?
False
Is 88/24*(30 + 429) a multiple of 12?
False
Suppose -239222 = -133*j + 881835. Is 11 a factor of j?
False
Suppose 0 = -5*a + 2*l + 4482, -7*a - l + 895 = -6*a. Suppose -o + a = 3*o + 4*r, 3*o = -r + 664. Does 11 divide o?
True
Let b = 90 - 13. Let t = 79 - b. Suppose t*o = 16 + 42. Does 29 divide o?
True
Does 49 divide (-3)/(-72) - 4130955/(-1080)?
False
Is -264*((-9)/(-4)*-2 - 30) a multiple of 92?
True
Let n(f) = 29*f**3 - 46*f**2 + 64*f + 69. Is 10 a factor of n(9)?
True
Suppose -5*k = -3*c - 837 - 238, -c = 3*k - 659. Suppose 2 = 2*h, -177 = -4*r + h + k. Is 33 a factor of r?
True
Suppose 0 = -5*p - 5*t + 4995, -40*t = -2*p - 34*t + 1982. Does 44 divide p?
False
Let d(h) = 30*h**2 - 6*h - 123. Let f be d(-6). Suppose 0 = -3*r - 3*s + f, 3*s + 1631 = 10*r - 5*r. Is 8 a factor of r?
True
Does 57 divide (12/16)/(((-36)/132240)/(-3))?
True
Suppose -56 = -5*n - 16*m + 15*m, 4*n - m = 43. Suppose -3*y = -n*y + 560. Is y a multiple of 10?
True
Let u be 1*(-1*2 + (-12)/(-6)). Let m be (u + 2)*15/10. Suppose -2*q - 15 + 122 = m*y, 4*y + 59 = q. Is 11 a factor of q?
True
Suppose -3*z + 27732 = -2*o, -264*z + 261*z - o = -27714. Does 13 divide z?
False
Is 24 a factor of ((-124 + -6)/(-5))/(((-20)/(-17875))/2)?
False
Suppose 0 = -133*c + 137*c + 660. Let d = 225 + c. Is d a multiple of 5?
True
Let x be (-20)/(-3) - 5/(-15)*-2. Suppose -x*d = 192 - 654. Is 7 a factor of d?
True
Let i(y) = -7*y**3 + y**2 - 19*y + 29. Let z(j) = -10*j**3 + 2*j**2 - 28*j + 43. Let d(m) = -7*i(m) + 5*z(m). Let b be d(3). Is 3 a factor of 3/b*0 - -15?
True
Let g = -736 + 4728. Does 13 divide g?
False
Suppose 0 = -s + 2*p + 7730, 6*s - 7*s - 5*p + 7702 = 0. Does 5 divide s?
False
Let s = -135 - -424. Suppose -1788 = -13*k + 305. Suppose -u + 4*j = -s, 711 = 2*u - j + k. Is 39 a factor of u?
True
Let c(u) = -3*u - 3*u**3 + 13*u + 2*u**3 + 16 + 4*u + 4*u. Is c(-9) a multiple of 63?
False
Let j(h) = h**2 + 3*h - 9. Let u be j(-5). Let n = 165 + -167. Is ((-6)/3 - n)*u - -144 a multiple of 18?
True
Let t be (-1)/(-4) + 258/24. Let q(g) = g**2 - g - 2*g - g + 23 - 7*g. Is q(t) a multiple of 23?
True
Suppose 0 = 5*c + 5*t, -4*t - t = 2*c. Let k be c/2 + 153/1. Does 6 divide k/5 - (-24)/(-40)?
True
Suppose -3 = -o - 5*p, 1 = -10*p + 9*p. Is 30 a factor of 12/o*1118/3?
False
Let o = 1965 - 777. Suppose 0 = 2*n - 11*n + o. Is n a multiple of 13?
False
Suppose 2*d - 4 = m, 5*m - 3*d + 4 + 23 = 0. Is m/15 - 1474/(-10) a multiple of 21?
True
Let o = -281 + 5157. Is o a multiple of 92?
True
Let b(j) = 143*j**2 + 58 - 74*j**2 - 74*j - 71*j**2. Does 7 divide b(-26)?
True
Suppose -4*s - 25 = 3*o + 4, -3*s - 5*o - 30 = 0. Let j be 1/2 - 3/2. Is j/(((-5)/s)/(2 - 61)) a multiple of 18?
False
Suppose 0 = 3*x + 6, -4 = -v - x + 2*x. Suppose v*j + 5*k - 474 = 109, 0 = -3*j + 5*k + 912. Is 23 a factor of j?
True
Let f = -23719 - -24944. Does 175 divide f?
True
Suppose -243*c + 244*c = l - 37943, c = -l + 37925. Does 70 divide l?
False
Let h(y) = -y**3 + 3*y + 3. Let z be h(-2). Suppose z*c - 132 + 42 = 0. Suppose -c = -5*r + 62. Is 2 a factor of r?
True
Does 8 divide 1941/((-32)/(-24)*3 + (-274)/70)?
False
Let d(x) = -11116*x**3 - 4*x**2 - 7*x - 2. Does 14 divide d(-1)?
False
Let y(i) = 24*i**2 - 8*i + 4. Suppose -3*d + 14 = p, -p + 5*d - 25 = -3*p. Let l be y(p). Suppose -g = 3*g - l. Does 17 divide g?
False
Let h = 9056 - 4151. Is h a multiple of 154?
False
Let b(s) = -s**3 + 17*s**2 - s + 21. Let j be b(17). Suppose -j*q + 724 = -a, 3*q - a = q + 364. Does 20 divide q?
True
Does 91 divide (26586/(-756))/((-4)/2664)?
False
Let h(q) = 58*q**3 - 2*q + 6. Let x(j) = 117*j**3 + j**2 - 4*j + 13. Let z(b) = 5*h(b) - 2*x(b). Let p be z(-2). Is 15 a factor of (p/12)/(-8)*39?
False
Suppose 26 = 6*j + 8. Suppose 15*g - 10*g + 2*d - 12 = 0, 3*g - j = 3*d. Suppose -3*m + 532 = -5*f, -3*f + 154 = 3*m - g*m. Is m a multiple of 8?
False
Suppose 2*n + 8 = 4*w, 0 = w + 5 - 1. Let f be 14/6 + (-8)/n. Suppose 2*z - 5*z = -f*j + 501, 161 = j - 3*z. Is 17 a factor of j?
True
Let x(d) = d**3 + 12*d**2 - 4*d - 11. Let t be x(-9). Let v = t - 28. Is v a multiple of 10?
True
Does 13 divide (-225)/(-3)*23493/205?
False
Does 22 divide -308*-2*(-11)/(-44)?
True
Suppose 90*q - 263613 - 386368 = 1539449. Is 51 a factor of q?
True
Let w = -7 - -7. Let u(o) = o**3 - 8*o**2 - 8*o + 27. Let n be u(9). Suppose 4*z - 16 - n = w. Does 3 divide z?
False
Let q be (6 + (-531)/12)*(-1 - -5). Let n = 105 - q. Is 5 a factor of n?
False
Let x(y) = y**2 - 17*y + 9. Let t be x(17). Let f(r) = 2*r**2 - t - 9 - 14*r - 3*r**2 - r. Is 19 a factor of f(-11)?
False
Let k = 11886 - 7816. Is k a multiple of 55?
True
Let h(u) = -u**2 + 30*u - 17. Suppose 13 - 49 = -12*j. Suppose 4*s + j*i = 76, -2*s + 0*s + 60 = -4*i. Is h(s) a multiple of 8?
False
Is (20 - (4 + -1))/((-38)/(-6992)) a multiple of 34?
True
Suppose 0 = -13*y + 14*y + 11. Let x(s) = -s**2 - 2*s + 45. Let b be x(y). Let h = -17 - b. Does 6 divide h?
False
Let c = -787 + 771. Is (3/(-9))/(c/27216) a multiple of 7?
True
Let c(z) = -10*z + 2. Let u be c(-2). Suppose 0 = 2*p + 3*m + 5 + u, p + 5*m = -24. Let h = 17 + p. Is 2 a factor of h?
True
Suppose 288*u - 350*u + 751130 = 0. Does 31 divide u?
False
Suppose 0 = 51*h - 37172 - 868129. Is 61 a factor of h?
True
Suppose 0 = 7*u + 275 + 103. Is 9 a factor of (14/(-3))/(u/1863)?
False
Let o(m) = 12*m**3 + 10*m**2 + 19*m - 55. Let z(t) = -7*t**3 - 5*t**2 - 10*t + 27. Let c(v) = -4*o(v) - 7*z(v). Is c(9) a multiple of 14?
False
Let l = -13196 - -20216. Does 130 divide l?
True
Suppose 82657 + 13735 = 5*t + 4*v, 38540 = 2*t - 4*v. Does 53 divide t?
False
Suppose 420744 = 242*r - 813539 - 368241. Does 77 divide r?
True
Let x(b) = -759*b - 1218. Is 65 a factor of x(-7)?
True
Let r(d) = d**3 + 22*d**2 - 3*d - 44. Let z be r(-20). Suppose 3*a - 408 = 3*n - 4*n, -2*n + a + z = 0. Suppose -9*i - n = -17*i. Is 3 a factor of i?
True
Let z be 0 + 2*(-4 - -5). Suppose -32 = z*c - 7*c - 4*w, 0 = -w - 2. Suppose 9*g = c*g + 165. Does 22 divide g?
F