26*r**3/3 - 2*r**2. Is 12 a factor of n(20)?
True
Let w be 7 + (-9)/((-18)/(-8)). Let p = 442 - 314. Suppose -p = -z - w*z. Is 7 a factor of z?
False
Let r = 14 + -34. Let u = r + 22. Suppose -5*y + 123 = 2*k, 0 = u*y + 2*k + 3*k - 45. Does 11 divide y?
False
Suppose -2*b = -3*b + 107. Let g = b - 86. Does 21 divide g?
True
Let u(x) = -5*x**3 - 9*x**2 + 13*x + 1. Suppose 3 = -2*a - 5. Let b(y) = 6*y**3 + 10*y**2 - 14*y. Let d(i) = a*b(i) - 5*u(i). Is 13 a factor of d(-6)?
True
Suppose 15 = -5*j + 4*f, j - 3*f = 4*j + 36. Let q be (j/(-28))/((-1)/4). Let z(r) = -21*r + 1. Does 11 divide z(q)?
True
Let j = 5576 + -819. Is 67 a factor of j?
True
Let b = -985 + 1421. Suppose b - 1220 = -4*o. Is o a multiple of 15?
False
Let m = 1226 - 833. Let l = m - 244. Is 36 a factor of l?
False
Let y(c) = c**3 - 5*c**2 + 6*c - 8. Let x be y(4). Suppose 5*t - 2*t = x, 670 = 5*b + 2*t. Does 34 divide b?
False
Suppose -274*c = -281*c + 5243. Does 7 divide c?
True
Let u = -437 + 383. Let r be 0 + (109 - 2) + -1. Let h = u + r. Is h a multiple of 13?
True
Suppose 0 = 4*p + 5*t + 5, 5*p + 5*t = t - 13. Let j be 1/p - 1364/55. Is 15 a factor of (-372)/(-15) + (-5)/j?
False
Let p = 1277 - 686. Is p a multiple of 10?
False
Let a(r) be the third derivative of r**6/120 + r**5/4 + 7*r**4/12 + 5*r**3/2 - 13*r**2. Is a(-14) a multiple of 15?
True
Suppose 29*k = 11*k + 31824. Is 13 a factor of k?
True
Suppose -4*s + 8 = -2*i + 2, 4*s - 27 = -5*i. Is 6 a factor of 8 - (i/1 - 1)?
True
Let b(a) = -a**2 + a - 1. Let s(l) = 5*l**2 - 20*l + 3. Let y(d) = 6*b(d) + s(d). Is 15 a factor of y(-8)?
True
Let c(w) = 81 + 95 - 193 - 28*w. Is c(-7) a multiple of 10?
False
Let p = 4 + -30. Let k(u) = u + 75. Is k(p) a multiple of 7?
True
Let m = 935 + -446. Is m a multiple of 19?
False
Let z be (-13)/(-26) - 10/(-4). Suppose 4*x - 940 = z*m, -4*x + 5*m + 218 = -3*x. Let g = -163 + x. Does 25 divide g?
True
Suppose 9*q - 4*q = 40. Suppose 4*k = -q + 188. Suppose -3*r + 54 = -k. Does 15 divide r?
False
Is (79 + 1)/((-19)/(-38)) a multiple of 5?
True
Let n be (-14)/4*(-24)/42. Suppose n*u = 12*u - 110. Is 2 a factor of u?
False
Does 7 divide 18/(216/(-1050))*2*-5?
True
Suppose -3*i - 133 = 3*w + 50, -5*w - 73 = i. Let z = 78 + i. Does 10 divide z?
True
Let v(x) = -x**3 + 10*x**2 - 11*x + 8. Does 16 divide v(8)?
True
Let r be (-47)/(-7) - 2/(-7). Suppose 4*b - r*b + 2*d + 309 = 0, 0 = -2*d. Suppose 5*q - 77 = b. Is q a multiple of 18?
True
Let j = 319 - 215. Suppose 4*i - 4*s - 44 = j, s = -i + 45. Suppose -5*k = -i - 4. Is k a multiple of 9?
True
Let h = -182 + 201. Does 2 divide h?
False
Suppose -17*p - 44 = -18*p. Suppose 2*u - p = 26. Does 25 divide u?
False
Suppose 0 = 7*v + 324 - 3152. Is 23 a factor of v?
False
Let g be 15/(-9)*18/(-15). Suppose -220 = -5*x + 5*m, -2*m = -g*x - m + 92. Suppose 2*f = f + x. Does 12 divide f?
True
Suppose 3*r + 0*r = -18. Let w(p) = 4*p**2 + 14*p. Does 15 divide w(r)?
True
Let z(b) be the first derivative of -2*b + 4 - 2*b**2 - 2*b**2 - b**2 + 1. Does 24 divide z(-5)?
True
Let b(g) = -7*g - 4. Let h be (6/(-2))/(24/(-40)). Let t be -2 - (0 - (2 - h)). Is b(t) a multiple of 11?
False
Let p(i) be the third derivative of -i**4/24 + i**3/6 + 2*i**2. Let v be p(3). Does 3 divide (v/(-3))/(10/165)?
False
Let i(x) = -10*x**3 - 4*x**2 - 2*x + 9. Let j(h) = 19*h**3 + 9*h**2 + 4*h - 17. Let o(g) = -7*i(g) - 4*j(g). Does 29 divide o(-4)?
False
Let z be 4/10 + 2935/(-25). Let d = -173 - z. Is 18 a factor of 2*(-4 - -3) - d?
True
Let p(c) = c**3 + 8*c**2 + 8*c + 15. Let z be -6 - (1 - 1/4*0). Is p(z) a multiple of 6?
False
Let d(j) = 30*j**2 + 5*j + 2. Let b be d(-2). Suppose -6*u = -14*u + b. Is 2 a factor of u?
True
Let h = -65 - -53. Does 9 divide (-219)/h + -1 - 24/(-32)?
True
Let z = 808 - 450. Is 8 a factor of z?
False
Let i = -130 - -93. Let y = 57 + i. Does 20 divide y?
True
Suppose -4*z + 234 + 70 = 0. Is 3 a factor of 1 - (3 + z/(-4))?
False
Suppose -2*k = -4, 4*k + 2450 - 16098 = -5*d. Is 16 a factor of d?
False
Let s(q) = -q**3 + 7*q**2. Let a be s(7). Suppose -5 = -a*j + j. Let k = j - -11. Is k a multiple of 3?
True
Let s = -507 + 844. Does 19 divide s?
False
Suppose r + 1 = 3. Suppose r*j = 200 + 176. Suppose -j = -5*s + 7. Is 14 a factor of s?
False
Let r be 6 + (-7)/((-28)/16). Let j be (-48)/4*r/(-8). Suppose -5*u = -4*u + 3*v - j, -70 = -3*u - 4*v. Is 10 a factor of u?
True
Suppose 2*p = 8*u - 3*u + 686, -336 = -p - u. Is p a multiple of 9?
False
Suppose -k + 3*i = 2*i + 44, -5*k - 213 = 2*i. Let s = 13 - k. Is s a multiple of 8?
True
Suppose 0 = -t - 5, 5*a + 4*t - t = 0. Suppose -2*n - 52 = -4*c - 3*n, 2*c - a*n = 40. Suppose c*u = 18*u - 104. Is u a multiple of 13?
True
Let f(d) = -d**3 + d. Let t be f(-1). Let w = t + 2. Suppose -2*o - w*u + 122 = o, -4*o - 2*u + 166 = 0. Is o a multiple of 11?
True
Let k(s) = -41*s**3 + s**2 + s + 1. Let d be k(-1). Suppose 4*w - d = 322. Is 31 a factor of w?
False
Suppose 0 = -v - 4*v + y + 275, -4*y = -5*v + 275. Suppose 39 = 2*u - v. Is 15 a factor of u?
False
Suppose -21*g - 1400 = -22*g. Does 70 divide g?
True
Let n be 3/2*(0 - -8). Let x be 9/(-1)*4/n. Is 5 a factor of 3 - (-3 - -3) - x?
False
Let y = -264 - -522. Does 17 divide y?
False
Let z(w) = -w**3 + w**2 + 34. Suppose 0 = -u + 8 - 4. Suppose -u*l = -5*l. Does 11 divide z(l)?
False
Suppose 26*u - 8*u - 54432 = 0. Does 14 divide u?
True
Suppose 0 = r - 2*t - 44 - 108, 2*t = -r + 136. Is 8 a factor of r?
True
Suppose -5*m = -4*h + 1526, -23*m = h - 25*m - 380. Is h a multiple of 7?
False
Let j = -77 - -231. Is 7 a factor of j?
True
Suppose 2*u + 3*u = 10, z + 3*u - 21 = 0. Let f be (-2 - -1 - 4)/(-1). Suppose r - f = z. Is r a multiple of 10?
True
Let p = 1164 + -697. Is p a multiple of 51?
False
Let u be 15/(-4*(-9)/192). Let d be (32/u)/((-1)/15). Let r(h) = -h**3 - 4*h**2 + 4*h - 7. Is 9 a factor of r(d)?
False
Let x(n) = n**2 - 3*n - 2. Suppose 0 = -0*a - 2*a + 10. Suppose -a*v = w - 25, w + 3*w = 5*v. Is x(v) a multiple of 2?
True
Let x = -80 - -81. Is 32 a factor of ((-1068)/24)/((-1)/2*x)?
False
Let m be 5 - 3*(4 - 3). Let r(w) = w - 7. Let y be r(6). Is 10 a factor of (-42)/(-4) + y/m?
True
Let d = -208 + 358. Is d a multiple of 15?
True
Let p = -11 + 9. Let i(x) = -4*x - 2. Let j be i(p). Suppose -j*d - 60 = -4*a - 2*d, 4*d - 16 = 0. Is a a multiple of 6?
False
Suppose 0*c + 32 = 2*c. Suppose z - 4*q = -7, 3*z - 3*q + 2 + 19 = 0. Let l = c + z. Is 4 a factor of l?
False
Suppose -14 = -4*n - 2. Suppose -d = -n*d. Is 2 a factor of (-2 + d)*3/(-1)?
True
Is 6 a factor of (6 - -204 - -4)/(1 + 0)?
False
Suppose 5*y - 179 + 31 = 3*m, 2*y - 61 = 3*m. Suppose -744 + y = -11*o. Is o a multiple of 13?
True
Suppose -4*h + 44 = 4*a, 0*h + 51 = 3*h - 3*a. Suppose h = -2*j + 42. Is 7 a factor of j?
True
Let y(b) = -b - 3. Let p be y(-10). Suppose 0*c + 4*c + p = -3*x, 4*x - 8 = -c. Suppose 88 = -x*i + 244. Is i a multiple of 13?
True
Let i be (-3 - -4)*(-3 - -7). Suppose -3*w + 4 = -2*w + i*p, -5*p = 15. Does 6 divide w/56 + (-248)/(-14)?
True
Let q = -213 - -32. Let s = -69 - q. Is 14 a factor of s?
True
Suppose 0*y + 5*y = 0. Suppose y*v - 2*v = -80. Does 12 divide v?
False
Let k = -290 + 308. Does 18 divide k?
True
Let k be -5 - (-4 + (3 - 1)). Let q = 0 - k. Suppose -5*t - 5*p + q*p + 204 = 0, -3*p + 159 = 4*t. Does 15 divide t?
False
Is 30 a factor of (816/(-10))/(-4)*(-200)/(-2)?
True
Does 15 divide (-78)/1*7/(-3) + -2?
True
Let j be 0*(-4)/8 + 36. Let p be 2 - 9/(j/(-40)). Suppose p*h - 8*h - 56 = 0. Is h a multiple of 7?
True
Let o be 1/(-5) + 3/15. Suppose 0 = -o*f + 12*f - 912. Does 7 divide f?
False
Let x(w) be the second derivative of -1/6*w**3 + 2*w + 0 - w**2. Is x(-4) a multiple of 2?
True
Let q(a) = a**3 - 11*a**2 + 22. Let u = 22 - 17. Let g(d) = -d**3 + 10*d**2 - 23. Let t(s) = u*q(s) + 4*g(s). Does 6 divide t(15)?
True
Suppose b - 25 = -4*x - 0*b, 0 = -3*x - 2*b + 25. Suppose -3*j = x*m - 308 - 187, -j - 283 = -3*m. Is 18 a factor of m?
False
Let h(r) = r**3 - 7*r**2 - 9*r + 7. Let v be h(8). Let p(o) = 13*o**2 + o + 1. Is p(v) a multiple of 13?
True
Let y be -16*2*(-4)/8. Let m(h) = 2*h + 13. Is 8 a factor of m(y)?
False
Is 57 a factor of (44/297*45)/(2/432)?
False
Let k(f) be the first derivative of 13*f**2/2 - 11. Is k(2) a multip