m) = h*q(m) - 3*k(m). Does 10 divide v(7)?
False
Suppose -46*q + 1197668 = 245054. Is q a multiple of 39?
True
Suppose -27*r + 2*u + 204 = -23*r, 3*r + 2*u - 153 = 0. Does 2 divide r?
False
Let x be (-2 + 25/15)*-24. Suppose 5*o + 273 = x*o. Let g = -42 + o. Is 7 a factor of g?
True
Let a(k) = 20 - 3*k**2 + 4*k**2 + 6*k + 11*k. Let y = 2040 + -2060. Does 6 divide a(y)?
False
Let q(g) = -526*g**3 - g**2 - 36*g - 75. Does 36 divide q(-2)?
False
Let t(a) = -a**2 + 14*a - 33. Let p be t(3). Suppose -6*o - 45 + 1101 = p. Is 22 a factor of o?
True
Suppose 3*r - 5*j = 11529, 5*r = 31*j - 29*j + 19234. Is 26 a factor of r?
True
Let t(w) = 76*w - 77. Let v be t(6). Let c = -238 + v. Is c a multiple of 5?
False
Let v(k) be the first derivative of 5*k**2/2 - 11*k + 4. Let j be v(3). Is 6 a factor of 7 - (j + -4 + 1)?
True
Let t(m) = m**3 - 11*m**2 + 15*m + 3. Let o be (-50)/(-15)*3 + 0. Is 4 a factor of t(o)?
False
Let i(x) = 2*x**3 + 4*x**2 - 24*x + 56. Is i(11) a multiple of 26?
True
Let b(n) be the third derivative of -n**6/60 - 7*n**5/60 - 11*n**4/24 - 19*n**3/6 - 9*n**2 - 3*n. Does 72 divide b(-7)?
False
Let r(f) be the first derivative of 35*f**3/3 + 10*f - 4. Let s be r(-3). Suppose -p = 4*p - s. Is p a multiple of 8?
False
Let j(s) = s**3 - 4*s**2 - 8*s - 9. Let g be j(6). Suppose g*z - 1693 = 2987. Does 24 divide z?
True
Let q(z) = 5*z**2 - 79*z + 40. Does 52 divide q(20)?
False
Let i(h) = -2*h - 13. Let d be (-3200)/520 + ((-11)/13 - -1). Let p be i(d). Is 10*p/(-8)*(-6 - -78) a multiple of 10?
True
Let z = -64 + 73. Is 17 a factor of (-11)/((-396)/z) + 12741/12?
False
Let s = 19 + -3. Suppose 3*r - s + 7 = 0. Does 9 divide (r - 9/6)*22?
False
Suppose t + a - 672 = 0, -155 = 3*t + 5*a - 2171. Is 4 a factor of t?
True
Suppose -56*i + 78*i = 47*i - 165600. Is 18 a factor of i?
True
Let f be 3/(-12) - 471/(-12). Let g = -8 + 10. Suppose t - b = 31, t - f = -5*b + g*b. Is 18 a factor of t?
False
Suppose 8*i - 13558 = -4*u + 3*i, 2*u = 5*i + 6734. Does 87 divide u?
False
Suppose 2*s + r = 4*r + 62, -2*r - 133 = -5*s. Let x be 1/2 - (-1098)/12. Let a = s + x. Is 10 a factor of a?
False
Let q(p) = 38*p + 506. Suppose 8*b + 113 - 113 = 0. Is 46 a factor of q(b)?
True
Does 23 divide (-3 - 312/(-40))/(4/50)?
False
Let d be ((-12)/6)/(7/(-35)). Let l(y) = 20*y**2 - 157*y - 22. Is l(d) a multiple of 25?
False
Let f(j) = -37*j + 1. Let w be f(-17). Suppose 0 = 2*v - 13*h + 10*h - w, -5*v - 4*h = -1552. Is 13 a factor of v?
True
Let a(v) = -4*v - 12. Let h be a(-4). Suppose 5*g + 5*t = -0*t + 50, -h*t = -2*g - 10. Suppose -5*s - w = -62, -s = -0*s - g*w - 2. Is 3 a factor of s?
True
Let v(n) = -23*n + 11. Let q(b) = 34*b - 17. Let k(o) = -5*q(o) - 7*v(o). Let p be k(7). Let l = -42 - p. Is 13 a factor of l?
True
Let d(a) = 14*a**2 + 114*a - 758. Is 4 a factor of d(14)?
False
Suppose -1622 = -j + 4*f, 3*j - 7*f + 3*f = 4842. Does 23 divide j?
True
Suppose 67599 = -32*g + 336303. Is g a multiple of 8?
False
Let u be 115/23 - (-1)/(2 + -1). Suppose -n + 188 = -3*c, -4*n = -u*n - 4*c + 376. Let i = n - 101. Does 29 divide i?
True
Suppose 0 = 37*v - 44*v + 4942. Is 8/24 - v/(-6) a multiple of 3?
False
Let r be 9*((-9 - -10) + (0 - 0)). Let w(x) = 56*x + 121. Does 8 divide w(r)?
False
Let h(i) = i**2 + 19*i - 44. Let c be h(-21). Let r be (-132)/(-33)*1/(c/(-64)). Suppose r = 5*q - q. Is 8 a factor of q?
True
Suppose -20*o - 27 = -29*o. Suppose 0 = -o*k + 288 - 15. Is 11 a factor of k?
False
Suppose 2*u + 66 = -2*n, 3*u + 20 = -2*u. Let m be (3404/222)/(2/6). Let i = n + m. Is 3 a factor of i?
False
Suppose -c - 11 = -3*u - 27, -5*c + 40 = -5*u. Suppose -h + 651 = c*z, h = 2*z + 5*h - 336. Suppose -z = -4*j + 174. Does 9 divide j?
False
Let y = 0 + -28. Let u = -26 - y. Suppose -6*a = u*a - 280. Does 10 divide a?
False
Suppose 0 = 5*i + 3*f - 206528, 4*i + 3636*f - 165253 = 3637*f. Does 109 divide i?
True
Let j be (33 + 4)/(1/3). Suppose 10*g - j = 1069. Is g a multiple of 5?
False
Let k = -518 - -520. Let d(u) be the second derivative of 19*u**4/12 - u**3/2 - 3*u. Does 26 divide d(k)?
False
Let d be (-29596)/42*(-18)/21. Suppose -d - 1181 = -3*b. Is 35 a factor of b?
True
Let l(o) = 115*o**2 - 102*o - 488. Is l(-8) a multiple of 124?
True
Let u(j) = 4482*j + 1440. Does 225 divide u(5)?
True
Let g(u) = -68*u - 360. Let z be g(7). Let f = z + 848. Does 6 divide f?
True
Let a be -138*1*(-10)/15. Suppose 0 = 9*d - 16 - a. Is 6 a factor of d?
True
Let j be (-72757)/(-155) - (-2)/(-5). Does 38 divide 3 - (-2 - (-3 + j))?
False
Let i(v) = 3 - 3*v + 10 - 64*v**2 + 0*v + 63*v**2. Let u be i(-5). Suppose q = f + 23 - 9, 25 = 2*q - u*f. Is 17 a factor of q?
True
Let y be (-5)/1 + (4 - 1) + 2. Suppose -7*c + y = -0. Suppose w - a = 4*w - 75, 5*w + 4*a - 125 = c. Is 2 a factor of w?
False
Let p(l) = -916*l - 303. Does 11 divide p(-2)?
True
Let q(c) = 1981*c - 510. Does 85 divide q(12)?
False
Suppose -5*a + 1 = -14. Suppose 2*f = -5*c + 25, a*c + 2*f = -2*f + 29. Suppose 8*v - 4*v - 164 = -4*t, 181 = 5*t - c*v. Is t a multiple of 19?
True
Suppose 0*o + 5*f - 413 = -4*o, 0 = -2*o + 2*f + 202. Let a = -45 + o. Is a a multiple of 3?
True
Suppose 2*w + j = 6, j - 5 = 3*w + 6*j. Suppose t - 45 = u + 362, 4*u = w*t - 2032. Is 31 a factor of t?
False
Let k(o) = 3*o**2 - 38*o + 39 - 52 + 37. Is 6 a factor of k(13)?
False
Let q = 25294 + -21899. Is q a multiple of 35?
True
Suppose 7*y - 2*u = 272112, 0 = -28*y + 23*y - 5*u + 194385. Is y a multiple of 21?
False
Let n = -38 + 40. Suppose -6*p + n*p = -2*y - 86, -p = y - 23. Suppose -32 = -9*z + p. Is 6 a factor of z?
True
Suppose -4*r = 2*q + 2, 2*q + 2*q + 5*r = 2. Suppose -l + 156 = 4*t, 5*l - q*t - 596 = 69. Does 9 divide l?
False
Let k(f) = 3*f**2 + 26*f + 44. Let v(r) = -11*r**3 - r**2 + 3*r - 1. Let m be v(1). Is k(m) a multiple of 7?
True
Let t(h) be the first derivative of h**3/3 + 2*h**2 + 7*h + 24. Let z be t(-4). Does 24 divide 67 - 0 - (z + (-5 - 2))?
False
Suppose -3*u + 4*g = -214 - 25, 0 = 3*u + g - 244. Let k = u - 84. Does 27 divide k - (-1 + -1) - -202?
False
Suppose 0 = -16*h - 4*h + 6*h. Suppose 3*s = 5*d + 221, 0 = -h*s + 5*s - 5*d - 365. Is 8 a factor of s?
True
Let x(c) = 62*c - 370. Let l be x(6). Let s be 60/14 - (-2)/(-7). Suppose -3*u + 471 = 3*r, -u + l*r + 785 = s*u. Is 16 a factor of u?
False
Let y(q) = -172*q + 1324. Let z(j) = -19*j + 147. Let u(n) = 3*y(n) - 28*z(n). Does 2 divide u(13)?
True
Let g(r) be the third derivative of r**5/30 + 5*r**4/12 + 75*r**3 + 163*r**2. Is g(0) a multiple of 9?
True
Let f = -5 - -8. Suppose 5*g = -3*b, -2*g = f*g + 4*b. Suppose g = w + w - 294. Is 35 a factor of w?
False
Suppose 0 = -3913*x + 3904*x + 38070. Is x a multiple of 90?
True
Let k(f) = 25*f**2 - 30*f - 2412. Is k(-50) a multiple of 43?
False
Let o = -82 - -102. Let j = o - 1. Does 3 divide j?
False
Let q = 194 - 194. Suppose -2*u + 4*u + 3*k - 592 = q, 4*k = 0. Is 21 a factor of u?
False
Let n be 1086/8 - 13/(-52). Let g = n - -7. Let i = g - 85. Is i a multiple of 19?
False
Is (-704)/(-28512) + (-5324124)/(-243) a multiple of 7?
True
Suppose 83484 = 9*r - 73668 + 37281. Is r a multiple of 10?
False
Suppose 12*w - 4*w = -8. Is 27 a factor of w*5/((-10)/4)*172?
False
Let o(i) = -3*i**2 - 6*i - 40. Let f be o(-7). Is 54 a factor of (6 + (-66)/4)*(f - -1)?
True
Suppose -o + 27 = 8*o. Suppose o*l - 5*l = -2*h - 94, 5*l - 255 = h. Suppose 2*r + 4*b - 12 = l, 0 = 4*b. Does 4 divide r?
True
Suppose 2*p + 10*i - 38150 = 8*i, -p = -i - 19073. Suppose 3*t = -14*t + p. Is 66 a factor of t?
True
Let b be 3139 - 5/((15/(-5))/(-3)). Suppose b = 5*x - v, 0 = -4*x - 0*v + 4*v + 2520. Is 16 a factor of x?
False
Let d = -68 + 71. Suppose 5*t + 5*i + 500 = 10*t, -5*t - d*i = -524. Is t a multiple of 15?
False
Let r = -12331 - -17179. Is 9 a factor of r?
False
Suppose -2*b + 375 + 771 = i, 4*i = -5*b + 4590. Suppose 3950 = 8*l + i. Is 5 a factor of l?
True
Suppose 51 - 205 = -11*w. Let z = w - -1. Is 9 a factor of z?
False
Let n = -8197 + 25042. Is 7 a factor of n?
False
Let c = -1194 + 3908. Is 21 a factor of c?
False
Is (-3 - -2)/((10/20)/(5923/(-2))) a multiple of 60?
False
Let l be 3/((-15)/38) + 6/(-15). Let i = 44 - l. Suppose 0 = x + a - 50, i = 3*x - 3*a - 86. Is 6 a factor of x?
True
Let u(f) = 2*f + 36. Let p be u(-