 - 107226. Is 11 a factor of j?
True
Let y(f) = f**2 - 2*f - 86. Let i be y(14). Let t = i + 305. Is t a multiple of 18?
False
Let w(q) = -q**2 + q. Let f(a) be the second derivative of a**4/3 + 11*a**3/6 - 25*a**2 - 6*a. Let u(o) = f(o) + 5*w(o). Does 10 divide u(6)?
True
Let p(s) = 72*s - 1450. Is p(54) a multiple of 26?
False
Let h(n) = n**2 - 11*n + 12. Let t be 1 - -10 - (7 + -6). Let r be h(t). Suppose 10*s - 160 = r*s. Is 3 a factor of s?
False
Is 37 a factor of (-3)/(-5) - 432846/(-90)?
True
Let r(m) = -2*m**3 - 23*m**2 - 13*m - 31. Let n(l) = -l**3 - l**2. Let x(t) = -3*n(t) + r(t). Let c be 2/(9*6/567). Does 26 divide x(c)?
False
Let b be 1 - (-5)/(-20)*4. Suppose b = 11*p - 12*p - 141. Let w = 214 + p. Is 15 a factor of w?
False
Let u(b) = b**2 - 7*b + 13. Let j be u(3). Is 14 a factor of ((-1683 - -3)/(-6))/j?
True
Let k be (-25641)/(-117) + 4/(-26). Let g = -10 + k. Suppose -4*v = 3*u - 199, 2*u - v = -u + g. Is u a multiple of 7?
False
Let y(r) = 398*r**2 + 27*r - 111. Is y(3) a multiple of 32?
True
Suppose 5*q + 3904 = -4*i + 13794, i + 9865 = 5*q. Is q a multiple of 17?
False
Let r(f) = 3*f**3 - 38*f**2 - 14*f + 30. Let p be r(13). Suppose -q + p + 39 = 0. Does 19 divide q?
False
Suppose -41*q = -40*q - 5. Suppose 10*f - q*f = 630. Is f a multiple of 30?
False
Let x(i) = 545*i**2 - 47*i + 2. Is x(4) a multiple of 34?
True
Let k = 2 - 2. Suppose k = -j + 11 - 3. Suppose 4*x - 2*w = j*x - 224, -5*x + 5*w + 265 = 0. Is x a multiple of 9?
False
Suppose 8*s = 10 + 38. Let p be (-1)/2 - (-2013)/s. Let r = -82 + p. Does 16 divide r?
False
Suppose 8 - 33 = -5*c, -2*c - 70 = -4*n. Suppose n - 54 = m. Is -3 + 9*m/(-6) a multiple of 24?
True
Suppose -95*g + 423119 = -1580146. Does 24 divide g?
False
Let w(b) = 4*b**2 + 9*b - 21. Let j be w(2). Suppose -j*d = -13105 - 5901. Does 86 divide d?
True
Suppose 437 + 343 = 12*m. Suppose 73*k = m*k + 4536. Is k a multiple of 7?
True
Suppose -11*x - 255 = -563. Is 3 a factor of (-3)/2 + 434/x?
False
Suppose 2*v + 8528 - 2715 = m, 5*v - 29065 = -5*m. Is 196 a factor of m?
False
Let b = 19494 - 5314. Does 10 divide b?
True
Suppose 74*w - 104*w + 293220 = 0. Does 9 divide w?
True
Let y(n) = 2*n**2 - n + 38. Let h be y(0). Is (-1 + 74)/(h/152) a multiple of 13?
False
Suppose -552*n + 562*n = 38490. Is 84 a factor of n?
False
Suppose -95*q + 36*q + 9*q = -727500. Is 30 a factor of q?
True
Let u(v) = 573*v - 1716. Is u(4) a multiple of 64?
True
Suppose 0 = 2*d - 5*q - 27908, 14*d - 41851 = 11*d + 2*q. Is 40 a factor of d?
False
Let q(x) = -64*x + 1004. Is 9 a factor of q(1)?
False
Let y = 2806 - 736. Does 5 divide y?
True
Let k(x) = x + 22. Let s be k(10). Let f = 36 - s. Suppose f*o - 4*n = 68, 0 = 2*o - 0*o - n - 32. Does 3 divide o?
True
Let a(h) = -7*h + 21*h**2 + 2*h**3 - 6*h + 18 + 24*h. Let l be a(-10). Suppose 0 = 2*i - 4 + l, -3*i = -4*o + 126. Does 15 divide o?
True
Suppose 4*d - 19135 = 2925. Is d a multiple of 102?
False
Suppose -3*p = c - 16, c - 1 = -3. Let s be (p/(-10))/(6 - (-62)/(-10)). Does 12 divide 416/s - (-3)/9?
False
Suppose -234*m + 75060 = -126*m. Is m a multiple of 44?
False
Suppose -2*m - 4*b = -32, -5*m + 0*b = -5*b - 5. Let i(h) = -4*h**2 + 31*h - 12. Is i(m) a multiple of 10?
True
Let x = 35886 + -18086. Is x a multiple of 64?
False
Suppose 2*p - 65 = -5*c + 32, -c + 59 = p. Does 2 divide p?
True
Let r = 11651 + 8424. Is 11 a factor of r?
True
Let f(o) = -o**3 - 5*o**2 - 7*o - 9. Let y be f(-5). Let s be (715/y)/(2/(-8)). Let d = 176 + s. Does 7 divide d?
False
Let y(x) = x**2 + 5*x - 2. Let a be y(-5). Let n = 0 - a. Suppose -n*o - o = -180. Is o a multiple of 15?
True
Let j(r) = -4425*r + 725. Is j(-5) a multiple of 50?
True
Suppose 2*o + 151 = 157. Is 13 a factor of 821/o - (0 - (-8)/(-6))?
False
Suppose -2*v - 3*w + 10 = 0, -3*v + w - 7 = -0*w. Let h(b) = b**2 - 11*b + 16. Let u be h(12). Does 3 divide u*v/7*-6?
True
Let g = -14 + 17. Suppose -2*f - 10 = 3*i - g*f, 0 = 4*i - 2*f + 10. Does 13 divide (-19)/(i + (-336)/(-68))?
False
Suppose -95373 = -4*s + g, -610*s - 95310 = -614*s - 6*g. Is s a multiple of 59?
False
Let c be (-9)/(27/10)*3. Let w(q) = -q**2 - 15*q - 20. Let r be w(c). Let x = r + -22. Is 7 a factor of x?
False
Let b = -3232 + 7512. Is 71 a factor of b?
False
Suppose -8*b = -59 - 29. Let v(m) = m**2 - 12*m + 20. Let u be v(b). Suppose -u*q = -142 - 254. Does 11 divide q?
True
Let l(c) be the third derivative of 23*c**4/3 - 59*c**3/6 + 104*c**2 - 2. Is 99 a factor of l(8)?
False
Let c(q) = -q**3 - 66*q**2 - 149*q - 448. Is 8 a factor of c(-64)?
True
Let z(n) = n**3 - 12*n**2 + 8*n + 15. Let k be z(11). Suppose -22 = 11*p - 176. Let a = p - k. Is a a multiple of 11?
False
Suppose 3*n - 32 = -4*r - 2*n, r - 25 = 3*n. Suppose r*i - 3*d = 9*i + 1309, -d = i - 322. Is i a multiple of 28?
False
Let h(t) = 5708*t - 263. Is 33 a factor of h(1)?
True
Suppose -40*c - 473 = -1753. Let i(w) = 3*w**3 - 3*w**2 - w + 2. Let g be i(2). Suppose g + 7 = 3*x + 2*m, m = -4*x + c. Is 9 a factor of x?
True
Let c be 40*(-6 + 171/6). Suppose 0 = -6*q + q + c. Is 36 a factor of q?
True
Is 36 a factor of 9*50/30 - -7029?
False
Let k = -101 + 117. Let j(u) = 5*u**2 + 41*u + 16. Let v(t) = -3*t**2 - 27*t - 11. Let a(p) = 5*j(p) + 8*v(p). Is a(k) a multiple of 12?
True
Is (-140)/((-40)/4) + 998 a multiple of 4?
True
Let y be ((-12)/(-5))/(2/135). Let n be (25 + 1 + 4)*(-32)/(-24). Does 12 divide (n/12)/(3/y)?
True
Let z = 21884 + -19871. Does 11 divide z?
True
Let k = 9 + -4. Suppose -24 = -4*m - b, -4*m + 0*b = -k*b. Suppose 3*z + q = 41, -34 - 35 = -m*z - q. Is z even?
True
Let a = 13172 - 2201. Does 23 divide a?
True
Suppose -46*q + 13*q = -75339. Is q a multiple of 13?
False
Let i(g) = -g + 4. Let l be i(5). Let p = -1379 - -1395. Does 7 divide l/(12/p + 307/(-404))?
False
Let u = -6 + 14. Suppose 6*w - 4 = u. Suppose -4*d + 4*l + 431 = 7*l, 0 = -w*d + 3*l + 193. Is 10 a factor of d?
False
Let k(m) = 454*m + 35. Let v be k(10). Suppose -12*s + v + 1497 = 0. Does 22 divide s?
True
Suppose 0 = l - 0*l - 4. Suppose l*d = 3*d + 16. Suppose 17*g - d*g = 148. Is g a multiple of 31?
False
Let c(m) = 17709*m**2 + 37*m - 35. Is c(1) a multiple of 89?
True
Let z be (9*(-3)/(-2))/((-6)/(-552)). Suppose -a - z = -10*a. Is 3 a factor of a?
True
Let q(c) = 17*c**2 + 4. Let g be (-8)/6*-3 + 0. Let x be q(g). Let u = x + -122. Is 15 a factor of u?
False
Let p = 742 - 1116. Let a = p - -677. Does 24 divide a?
False
Suppose 0 = -m + 27. Let j = m - -33. Does 10 divide j?
True
Is 26 a factor of (12728 - -482) + 9*-2?
False
Suppose 3*s - 30 = -7*s. Suppose b + b = 5*q - 6666, -3999 = -s*q + b. Is 1 + -5 + q/9 a multiple of 12?
True
Suppose 34*s + 873980 = 123*s. Does 5 divide s?
True
Let b = 409 - 386. Suppose 2*y + 5*v = b, 4*y = 12*v - 14*v + 70. Is 10 a factor of y?
False
Let n(b) = -54*b + 22. Suppose -49*a + 48 = -48*a. Suppose a*x - 40*x = -32. Is n(x) a multiple of 17?
True
Let n be 5062/18 + -9 + (-948)/(-108). Let i = 785 - n. Is 14 a factor of i?
True
Let t(z) = 275*z**3 - 2*z**2 + 6*z. Let q(s) = -276*s**3 + 2*s**2 - 6*s - 1. Let i(y) = 3*q(y) + 4*t(y). Is 21 a factor of i(1)?
True
Suppose 4*r - 170 = 114. Let k = r - 106. Let o = k - -39. Is o a multiple of 2?
True
Suppose 0 = 4*f - 45 + 41, -f = m - 15741. Is m a multiple of 10?
True
Let b(x) = 3*x**3 - 50*x**2 + 531*x + 20. Is b(13) a multiple of 20?
False
Let r(z) = 24*z**2 + 4*z + 5. Let c(k) = k. Let t(s) = -s + 1. Let q(a) = 10*c(a) + 4*t(a). Let v be q(-1). Does 31 divide r(v)?
True
Is 19 a factor of 32/(-6)*(-16 - (-27170)/(-52))?
False
Let x be 2/(-7) - (-1002)/(-21). Let y = x + 81. Let z = 115 - y. Is 13 a factor of z?
False
Let x be 3 + (-1340)/28 - 1/7. Let z = x + 49. Suppose z*m - 183 - 177 = 0. Is 30 a factor of m?
True
Let b(m) = 2*m**3 + 7*m**2 + m - 2. Let p be b(-6). Let h = p + 316. Is 39 a factor of h?
False
Is 27/((-2349)/(-348)) - ((-13718)/2 + 0) a multiple of 12?
False
Let c = 50 + -54. Let a be 0*(-2)/(-8) - c. Suppose a*z - 88 = -2*n, n + 2*n = -z + 12. Is z a multiple of 2?
True
Suppose i + 4*i - 2*i = 0. Suppose i = -5*g + 78 + 327. Let z = g - 42. Is z a multiple of 5?
False
Suppose -2*t - 42 = 4*i + 48, 3*i = -t - 44. Let k = t - -121. Suppose 703 = 7*m - k. Does 12 divide m?
False
Let m(d) = d**3 + 4