q - 212. Does 10 divide g(28)?
True
Let f be (2 + 688/10)/(4/10). Suppose -981 + f = -3*b. Let a = 429 - b. Does 23 divide a?
True
Let s(i) = -20*i + 6852*i**2 - 6851*i**2 + 6*i + 154. Is s(11) a multiple of 11?
True
Let c be (1 + (-4 - -3))/(-2). Suppose c = -4*f - f - b + 12, f + 6 = -3*b. Suppose -f*k - 3*z = -141, -163 = -4*k + 5*z - 4*z. Is k a multiple of 4?
False
Let n be (-4)/(-26) + (-1)/(13/145). Let k = n + 15. Suppose -j = 4*p - 110, -k*j + 299 = -p - 124. Is 22 a factor of j?
False
Let i(y) = -3519*y**3 - 5*y**2 - 103*y - 185. Is i(-2) a multiple of 17?
False
Let y(f) = -2 + 596*f**3 + 2 + 2*f**2 + 5*f - 619*f**3 + 4. Let d be (3 - 38/10) + 12/(-10). Is y(d) a multiple of 19?
False
Let x be ((-20)/(-4 - 0))/((-15)/(-18)). Let o be 9/x*-3*6/(-27). Is 11 a factor of 110 + (-1 - (o + (-1 - 0)))?
False
Let y(p) = p**3 - 9*p**2 + 6*p + 1. Let m(s) = -s**3 - s**2 + 2*s - 1. Let v(w) = -2*m(w) + y(w). Is 28 a factor of v(4)?
False
Let m be -11 - -360 - (-7 + 1). Let j = 603 - m. Is j a multiple of 10?
False
Suppose -2*p + 31 = 5*n, 0 + 3 = p. Suppose -a + 27 = n*j, -5*a = -2*j - 2*j - 48. Does 2 divide 4/a*3 - -9?
True
Does 107 divide 8668/3 + (-5)/15?
True
Let c(q) = 6*q**3 - q**2 - 9*q - 18. Is c(6) a multiple of 44?
True
Let h(u) = 65*u**2 - 5*u + 96. Is h(-8) a multiple of 12?
True
Suppose -27*x + 52809 = -2595. Is 27 a factor of x?
True
Let b(a) be the first derivative of -11*a**2 + 140*a - 131. Is 16 a factor of b(-10)?
False
Suppose -5*p + 4 = -1, -2*p + 66 = 2*h. Let o = 27 - h. Does 6 divide o - -3 - 1 - -33?
True
Suppose 3*z - 10219 = -2*b, 13602 = 4*z - 8*b + 6*b. Is z a multiple of 17?
False
Suppose 4*h + 2*r - 3178 = 0, 0*h + 3950 = 5*h - 2*r. Is h a multiple of 44?
True
Suppose 5*o + 4*f - 15818 = 0, 2*o + 0*o + 2*f - 6326 = 0. Suppose 0 = 5*u - u - 3*y - 2532, 0 = -5*u + 4*y + o. Is 21 a factor of u?
True
Let j(x) = -86*x + 88 - 130 - 102. Is 28 a factor of j(-9)?
False
Suppose -46*g = -0*g - 76314. Is g a multiple of 79?
True
Let c = 217 - 95. Let s = -114 + c. Suppose -32 = -4*m - l, -l - s = -m + l. Does 2 divide m?
True
Let h(n) = 3*n**2 + 47*n + 40. Is h(-19) a multiple of 23?
True
Suppose 3*a + 24 = 3*n, -a + 10 + 12 = 5*n. Suppose 0 = n*l + 5*f - 146 - 204, 0 = 4*l + 2*f - 280. Is 35 a factor of l?
True
Let k(s) = 6*s - 8. Let b be k(4). Let x(f) = f**3 - 18*f**2 + 32*f - 5. Let q be x(b). Is 13 a factor of (-1)/q*-1 + (-111)/(-5)?
False
Let b be 0 - 1098/(-7) - 2/(-14). Suppose -b = -p - 135. Does 5 divide p?
False
Suppose -m + 3*p + 202 = p, 5*m - 4*p = 1040. Suppose -m*l = -215*l + 54. Is l a multiple of 6?
True
Let v = -1740 - -3705. Is v a multiple of 3?
True
Suppose 113*k - 64512 = 95*k. Is k a multiple of 16?
True
Let c(t) be the second derivative of 3/2*t**2 + 1/3*t**3 + 1/6*t**4 + 0 - 21*t. Does 9 divide c(-6)?
True
Suppose -45 - 20 = -5*y. Let m(g) = -2*g**2 - 10 + 2*g**2 - g**2 + 7*g + 11*g. Is m(y) a multiple of 5?
True
Suppose 5*l - 2539 + 259 = 0. Is 17 a factor of -12*l/(-18) + 2?
True
Let q = 7 - 2. Suppose -3*s = -9*w + 4*w + 331, 5*w = -q*s + 355. Is 11 a factor of w?
False
Does 17 divide 27347 + (-5)/((-98)/(-12) - 9)?
True
Let d(b) = -13 + 14*b + 1 + 30*b + 7 - 3. Does 75 divide d(7)?
True
Let k(q) = -2*q**2 - 17*q + 13. Let m be k(-9). Let n(s) be the first derivative of 3*s**4/4 - 4*s**3/3 + 2*s**2 + 4. Is 24 a factor of n(m)?
True
Let t be ((-4)/(-9))/(-1 + 33/27). Let i(z) = -2*z + 2*z**3 + 3*z + 0 + 10*z**t - 3*z**3 + 10. Is 38 a factor of i(9)?
False
Suppose -43*y + 7786 = -9*y. Let l = 33 - -85. Suppose -s + l = z, -4*z - y = -3*s - 708. Is z a multiple of 47?
False
Let d be (5 - (-165)/(-77))/(2/7). Is 2 a factor of 4550/63 - d/45?
True
Is (-70980)/56*20/(-25) a multiple of 28?
False
Suppose 115 = 9*p - 2. Suppose 0 = -i + p - 21. Let a(q) = q**3 + 9*q**2 + 5*q - 4. Is a(i) a multiple of 5?
True
Suppose 0 = -382*c + 320*c + 555830. Is 9 a factor of c?
False
Let d = 43 - -15959. Suppose 19*m = 5*m + d. Suppose -6*b + m = 111. Is 27 a factor of b?
False
Let p(i) = i**3 - 14*i**2 - 11*i - 11. Let a be p(16). Let b = -248 + a. Is 5 a factor of b?
False
Let f be (4/(-5))/(-4*(-4)/(-40)). Suppose 11*i = f*i + 2691. Is i a multiple of 23?
True
Suppose 43*c = -423*c + 9303690. Is 11 a factor of c?
True
Let t be 55/10 - (-1)/(-2). Let l(s) = -3*s + 11. Let o be l(t). Let f(k) = k**3 + 7*k**2 + 10*k + 10. Does 14 divide f(o)?
False
Suppose 0 = -18*y - 1407 + 10587. Is 6 a factor of y?
True
Suppose 103*g - 134*g = -329778. Is g a multiple of 18?
True
Let y(h) = 3*h**3 + 2*h + 2. Let u be y(3). Let x = u + 22. Is 25 a factor of x?
False
Suppose -48 = -4*u - u + 4*m, u = m + 9. Let t = -10 + u. Suppose t*q + 0*x + 4*x = 180, 6 = 2*x. Is 30 a factor of q?
False
Let w = -637 - -305. Let s = 616 + w. Is s a multiple of 5?
False
Let y(b) = -4396*b - 32. Is y(-2) a multiple of 73?
True
Let s = -31 - -34. Suppose s*n + 2*n = -4*o + 26, -o = -3*n + 2. Is 10 a factor of (2*(-10)/o)/(7/(-112))?
True
Is 1861/(-7 - (-1408)/200) - (9 + -5) a multiple of 27?
True
Let y(o) be the first derivative of o**4/4 + 10*o**3/3 - 7*o**2 - 6*o - 2. Suppose -3*c + 9*q = 5*q + 53, q - 5 = 0. Is 11 a factor of y(c)?
False
Suppose j - 313 = -g, j - g - 638 = -j. Let q be 459/(8/(80/15)). Suppose j = 5*p - l, 3*p = -5*l + q - 99. Is p a multiple of 22?
False
Let p be 1/(-2)*2*0 + 2. Is 8 a factor of (27 - 22/p)*11*1?
True
Suppose -19*c = 34*c - 1000015 - 630530. Is 15 a factor of c?
True
Let z(l) be the third derivative of 29*l**4/6 + 10*l**3/3 + 206*l**2. Does 61 divide z(7)?
False
Let b = -21776 + 25153. Is 14 a factor of b?
False
Let n(m) = -16*m + 126. Let o be n(5). Suppose -54*u = -o*u - 4048. Is 11 a factor of u?
True
Let r = -611 - -619. Is (-17355)/(-27) + -5 + r/36 a multiple of 58?
True
Let l = -73 + 76. Suppose -9 = -l*k - 0. Suppose -4*r + 8*r - 235 = -5*u, -187 = -4*u - k*r. Does 33 divide u?
False
Suppose 491 - 5243 = -12*x. Suppose -8*u + x = -300. Does 29 divide u?
True
Let m(z) be the first derivative of 7*z**3/3 + 13*z**2/2 + 40*z + 9. Is 20 a factor of m(-4)?
True
Suppose 3*r - 26657 = a, 0 = 363*a - 368*a - 25. Does 4 divide r?
True
Suppose -92*n = -87*n - 80. Is 8 a factor of (-392)/(-32)*n*(-5)/(-10)?
False
Let n = 517 - 517. Suppose 8*v - 942 - 5394 = n. Does 72 divide v?
True
Let t = -61 - -51. Let p(u) = 2*u**3 + 18*u**2 + 5*u - 10. Let b(a) = -a**3 - 9*a**2 - 3*a + 5. Let d(f) = -5*b(f) - 3*p(f). Does 21 divide d(t)?
True
Let c(d) be the first derivative of d**4/4 + 10*d**3/3 + 2. Let n be c(-10). Suppose -2*v + n*v + 138 = 0. Does 10 divide v?
False
Suppose 4*t - 1900 = -4*b, -t = -0*t. Suppose -2*o + 467 = 3*o + 3*w, 5*o - b = 5*w. Is o a multiple of 47?
True
Let a(f) = f**3 - 7*f**2 + 10*f - 178. Let r = 648 - 637. Is a(r) a multiple of 16?
True
Suppose 30*s - 38*s + 16 = 0. Suppose -s*t = -l + t + 945, 0 = 3*l - t - 2875. Is l a multiple of 27?
False
Suppose -99 = 14*m + 2701. Let v = m + 276. Does 19 divide v?
True
Let j = 37552 + -20038. Suppose 0 = 233*r - 247*r + j. Is r a multiple of 63?
False
Suppose 0 = -7*z + 11*z. Suppose i - 2738 = -3*i + 2*d, z = -3*i + 3*d + 2058. Does 26 divide i?
False
Suppose z = w + 4 - 14, 2*z - 34 = -4*w. Is (w/(-1))/((-93)/62) even?
True
Let v(g) = g + 10. Suppose 13 = 7*y - 2*y - 4*a, -4*a - 5 = 3*y. Let u be (-5 - -2) + (-11 - y)/(-1). Is 9 a factor of v(u)?
False
Let z be 1/(-7)*-23 + (-16)/56. Let k = z - 1. Is (-7)/((-14)/44) + 2 - k even?
True
Suppose -80*k = -77*k - 9561. Does 81 divide k?
False
Let v(n) = -60*n + 131. Suppose 0 = -8*d + 11*d + 69. Is 30 a factor of v(d)?
False
Let h be -3*(-12)/9 + -12. Let o be 2/(-5)*(-80)/h. Let i(j) = -9*j + 3. Is 13 a factor of i(o)?
True
Suppose 5*j - 9*j + 5*s = -1390, -706 = -2*j - 3*s. Let p = j + -224. Is p a multiple of 18?
True
Let a(b) be the first derivative of -3*b + 29/3*b**3 - b**2 - 21. Is a(3) a multiple of 28?
True
Let n(p) = 634*p**2 + 105*p - 3. Is 108 a factor of n(-2)?
False
Suppose -19*s = -12*s + 168. Is ((-54)/s - 2) + 6715/20 a multiple of 7?
True
Let x(g) = g**3 - 5*g**2 + 5*g. Let h be x(4). Let k be 2*(2 + -3) + h. Suppose 2*r - 4 = 0, k*r - 165 = q - 2*q. Is 23 a factor of q?
True
Suppose m + 20 = -3*m. Let n = 7 + m. Suppose 0 = -4*d + 3*g + 1162, n*d - 592 = -11*g + 7*g. Is d a multipl