n(-18)?
False
Let t = 30875 - 19135. Is 9 a factor of t?
False
Let r = 22063 + 817. Is r a multiple of 22?
True
Let j(x) = -x**3 + 13*x**2 - 21*x - 6. Let o be j(11). Let v(g) = 11*g**2 - 8*g + 9. Let r be v(o). Let f = -88 + r. Does 26 divide f?
True
Let y(l) = l**3 - 15*l**2 - 12*l + 14. Let x be y(16). Suppose -z + 4*o - 3 = 0, 0*o - o = 5*z + x. Is 12 a factor of (3 - (-1 + 13))/(3/z)?
False
Let y be (-1 - -7)/6 + 0. Is 16 a factor of (8/(-14))/(y/(-56))?
True
Let a(f) = 46*f**2 - 405*f - 16. Is 3 a factor of a(16)?
True
Let g(k) = k**2 - 11*k + 25. Let z(h) = h**3 + 13*h**2 + 12*h + 8. Let x be z(-12). Let f be g(x). Is (-1 - f)/(-2) - -14*5 a multiple of 17?
False
Does 14 divide 127*-316*11/(-22)?
False
Let o be 70/(-21)*(-27)/6. Suppose -o = -3*s, 5*s - 299 = 2*q - 838. Is q a multiple of 91?
False
Let r(d) = 2*d**2 - 3*d - 6. Let c be (3 + 3)/((-4)/((-32)/(-6))). Let h be r(c). Is 10 a factor of -4 + h + -3 + 1?
True
Let z(b) = -771*b - 2327. Is 8 a factor of z(-5)?
True
Suppose -x - 4*v = -2*v - 6, x - 12 = -4*v. Suppose -2*s + 5*p = -6*s + 39, x = s + 3*p - 15. Suppose 280 = -5*k + s*k. Is 16 a factor of k?
False
Let p(b) = 12*b + 4. Let c be p(2). Is 30 a factor of ((-48)/(-7))/(c/490)?
True
Let r = 182 + -173. Suppose -r*p - 4*q + 784 = -5*p, 2*p - 3*q - 377 = 0. Is p a multiple of 17?
False
Let p = 76 - 68. Let f(y) = 8*y - 57. Let g be f(p). Suppose g*t - 386 = 76. Is t a multiple of 33?
True
Let k = 53 + -2. Suppose 15*m = -2*m - k. Is 28 a factor of 5/(5/m) - -143?
True
Suppose t = s + 6*t + 23, -5*s - 5*t - 15 = 0. Suppose -n + 3*n = 4*k, 0 = -s*k - n + 8. Let j(m) = 12*m**2 - m + 5. Is 17 a factor of j(k)?
True
Let w = -198 - -154. Let y = w + 382. Does 6 divide y?
False
Let h(y) = 2 + 3 + 480*y - 183*y - 3. Is h(1) a multiple of 13?
True
Suppose -6 = -7*j + 22. Suppose -2*c + 1081 = 5*z, -c + 0*c - 870 = -j*z. Suppose -86 + 259 = 2*x - 5*i, -z = -3*x - i. Is 6 a factor of x?
False
Does 21 divide (-16 + -5894)/(-6) + (4 - 2)?
True
Let l(a) = 16*a + 303. Let d be l(-19). Does 9 divide (-1230)/(-25) + d/5?
False
Suppose -10*l + 11*l = 0. Suppose -2*n + 6 - 2 = l. Is 130/(-13)*n/(-4) a multiple of 5?
True
Let a(l) = l**2 + 16*l - 23. Let t be a(-20). Suppose 86 = -t*n + 59*n. Is 18 a factor of n?
False
Let i = -25753 + 59763. Is 190 a factor of i?
True
Suppose 6*h = -22*h - 6804. Let c = h - -577. Does 30 divide c?
False
Let z(i) = i**3 + 9*i**2 - 9*i - 20. Let y be z(-10). Let a = y - -133. Does 6 divide a?
False
Let o be 7 + 21/(-3) + 3. Suppose -2*v - 5*l = -68 + 14, o*v - 131 = 5*l. Is v a multiple of 37?
True
Let f be (52/(-8) - -6)*-2. Let y(a) = 271*a - 7. Is 33 a factor of y(f)?
True
Suppose -222 = 5*l - 27. Let j = l + 38. Is 12 a factor of 2/3 + j/(9/(-2343))?
False
Let h be -3 - (4 + -3 - 1). Let p be (-1)/h + 4 + (-11)/(-3). Suppose 0 = p*f - 5 - 331. Is 3 a factor of f?
True
Let a(d) = -d + 5. Let j be a(2). Suppose j*u + 5*m = 623, -2*m = 4*u - 915 + 89. Is u a multiple of 31?
False
Let o(v) be the first derivative of v**4/4 - 8*v**3/3 + 7*v**2/2 - 2*v - 72. Is o(8) a multiple of 3?
True
Let g(f) = -1. Let m(u) = 5*u. Let p(j) = -4*g(j) - m(j). Let w be ((-2)/4)/(3/6) - 3. Does 14 divide p(w)?
False
Let x(m) = 1 - 512*m**3 + 2 + 122*m**2 + 123*m**2 + 2*m - 2 - 244*m**2. Does 64 divide x(-1)?
True
Let z(c) = -c**3 - 15*c**2 + 35*c + 14. Let f be z(-17). Let x be ((-10)/(-20))/(f/1350). Let n = x - -365. Does 14 divide n?
True
Let n = -342 - -350. Suppose n*r = -7*r + 25110. Is 17 a factor of r?
False
Let v(a) = -a**3 - 30*a**2 - 2. Let u be v(-32). Suppose 2*n + 2*g - 890 - u = 0, -6*n + g = -8773. Does 24 divide n?
False
Let v(s) = -2*s**2 - 26*s + 21. Let j be v(-12). Let i be 2/(-4) - 482/(-4). Suppose j*w + i = 48*w. Is w a multiple of 10?
True
Suppose 12*m + 1769 + 499 = 0. Let b = -182 - m. Is 7 a factor of b?
True
Let t(r) = 3*r - 38. Suppose -2*k - 5*k = -77. Let l be t(k). Is 8 a factor of (-258)/l - (-4 + (-72)/(-20))?
False
Let q(t) = -t**2 + 36*t - 122. Suppose 2*w - 3*f - 65 = 0, -4*f - 45 = -w - 0*w. Is 17 a factor of q(w)?
True
Suppose 1116*v + 171864 = 1200*v. Does 11 divide v?
True
Let q = -56 - -67. Let l(w) = w**3 - 9*w**2 + 11*w + 38. Let v be l(q). Let h = v - 183. Is 23 a factor of h?
False
Does 10 divide (2128/(-70))/(2*1/(-50))?
True
Let l be (5 - 3)/((-18)/(-3))*6. Suppose 10*i - l*f = 8*i + 722, -f - 726 = -2*i. Is i a multiple of 5?
True
Suppose n + 4*q = -12, -5*q - 8 = 7. Suppose 5*k + 5*b - 10 = n, 10 = -3*k - 0*b + b. Is 3 a factor of (k + 1 - (-25 - -2)) + 2?
True
Suppose 0 = -460*h + 483*h - 5934. Is h a multiple of 10?
False
Let h(u) be the second derivative of -u**3/6 - 219*u - 1. Suppose -5*o - 39 = 3*z, -z - 2*o - 65 = 4*z. Is h(z) a multiple of 5?
False
Suppose -1086 = 79*c - 82*c. Let q = 177 + c. Is q a multiple of 49?
True
Suppose 2 = -2*y - 30. Let v be 2 + 4*(-4)/y. Suppose -v*p + 176 + 169 = 0. Does 22 divide p?
False
Suppose -4*r + 56 = 2*v, -r - 77 = -4*v + v. Let f = v - 88. Let s = f - -191. Does 22 divide s?
False
Let w be 5/((-150)/(-426))*25. Suppose -b + 1051 = w. Does 29 divide b?
True
Suppose 0 = -20*u + 22699 + 31901. Does 10 divide u?
True
Suppose -6*p = -11*p + 3525. Let i = p + -230. Is 19 a factor of i?
True
Let z(p) = 77*p**2 - 9*p + 10. Let u be z(3). Let y = -257 + u. Does 15 divide y?
False
Let b be 3/24 + 2833/(-8). Does 16 divide (-3 - b) + 5 + -4?
True
Suppose 105712 = 10*a - 4*i, -10*a + 15*a - i = 52858. Is a a multiple of 5?
False
Suppose -14 = -2*p - 4*y, -5*p + 5*y + 2 = 4*y. Is 9 a factor of p/(3/78*1)?
False
Let x = -7264 - -24274. Does 126 divide x?
True
Let l(f) = 952*f + 5749. Does 59 divide l(41)?
True
Let q be 5/5*1 + 3520/4. Suppose -7*c + q + 918 = 0. Is 34 a factor of c?
False
Let d = -120 + 122. Suppose 337 = x + d*x - 4*f, -107 = -x + 4*f. Is x a multiple of 36?
False
Suppose -5*k - 5*k + 3780 = -k. Is 6 a factor of k?
True
Let t = 51 + -47. Suppose -5*a + 2*n = -969, t*a - n = 677 + 100. Suppose 2*i + 2*q - 130 = 0, a = 3*i - 0*i - 5*q. Is 11 a factor of i?
False
Suppose 0 = -c - 4*r + 89, -4*c - 8*r + 376 = -12*r. Suppose -4*n + c = -147. Is n a multiple of 20?
True
Let x = 682 - 682. Suppose 0*m - 2*m + 5*l + 372 = x, 0 = l. Is 2 a factor of m?
True
Suppose -1526 = -5*z - 4*y, -271 + 1796 = 5*z + 5*y. Is z a multiple of 18?
True
Let n(s) = -s - 108. Let q be n(19). Let t = 112 - q. Does 14 divide t?
False
Does 36 divide (-188)/376*(2/1 - 38090)?
True
Let k = -6082 - -10944. Is k a multiple of 17?
True
Let k be (-14)/(-147) - (-1718)/42. Let l = 32 - k. Does 12 divide (-3)/l + 38/3?
False
Let r = -45 + 47. Let s(h) be the second derivative of 7*h**3 - 3*h**2/2 - 10*h. Does 20 divide s(r)?
False
Suppose -5*k + 24 = -k. Suppose k = l + 3*s, -5*s + 3 = 4*l - 0*s. Does 16 divide l/((-90)/80*2/48)?
True
Let v(d) = -196*d - 824. Is v(-48) a multiple of 11?
False
Suppose -21*r - 26992 = -25*r + 4*s, -2*s = -4*r + 27000. Does 16 divide r?
True
Let y(c) = -13*c + 62. Suppose t = 2*g + 7, -5*g + 4*t - 3 = 7. Does 70 divide y(g)?
True
Suppose 0 = 4*m - 8*m - 4*q - 204, 2*q = -3*m - 154. Is m*3*((-22)/(-6) + -4) a multiple of 28?
False
Let h = 801 + -115. Is 2 a factor of h?
True
Let b = 97 - 329. Let r = b + 370. Does 46 divide r?
True
Let p be -43 - -59 - (-1 + 5)/(-2). Let s = p - -26. Suppose 0*k = 2*k - s. Is k a multiple of 22?
True
Suppose 74952 = 2*l + 5*m, 12*l - 3*m = 7*l + 187380. Does 15 divide l?
False
Let l(a) = -a**3 + 4*a**2 + 7*a - 22. Let w be l(4). Suppose w*c - 224 - 280 = 0. Does 7 divide c?
True
Let f(v) = 23*v + 16. Let l be f(13). Suppose 83 - l = -4*y. Suppose 5*a - 157 = y. Does 18 divide a?
False
Let w be 6/(-14) - (-4239)/189. Suppose w*o - 39 = 951. Does 15 divide o?
True
Let f = 93 - 57. Suppose f = 22*x - 18*x. Suppose 0 = -x*o - 2*o + 1936. Is o a multiple of 22?
True
Let f(j) be the third derivative of 31*j**4/3 - 107*j**3/6 + 144*j**2. Is 49 a factor of f(3)?
True
Let g(j) be the third derivative of -j**4/24 + j**3 + 16*j**2. Let r be g(1). Suppose r*o - 326 = 2*v, 2*o - 3*v + 2*v = 130. Is 10 a factor of o?
False
Let d(g) = -g**3 - 12*g**2 + 27*g + 10. Does 5 divide d(-17)?
False
Suppose 73624 = 4*d + 5*g, 50*d + 5*g = 45*d + 92020. Does 73 divide d?
True
Let h(g) = -g**3 + 23*g**2 + g - 18. Let z be h(23