= -2*g + 164, 0 = 3*g + 2*k - 113 - 128. Let p = g - -13. Is p a multiple of 28?
False
Let t = -42 - -97. Suppose t = -w - 0*w. Let p = 109 + w. Does 18 divide p?
True
Let f(y) = -y**2 + 10*y - 11. Suppose 2*r - 14 = -2*j, 3*r + 2*j + 3*j - 19 = 0. Let q be f(r). Let l(h) = h**3 - 4*h**2 + 2*h + 5. Is 10 a factor of l(q)?
True
Suppose 3*x + 62 = 2*p - 86, 4*x = -4*p + 276. Let i = p + -44. Is i a multiple of 11?
False
Suppose -2212 = 5*c - 9*c. Suppose -4*y = 2*g - 244, -3*g - g + 5*y + c = 0. Is g a multiple of 22?
True
Suppose 90 + 30 = 6*s. Is s a multiple of 10?
True
Let v(y) be the first derivative of 26*y**4 - 2*y**3/3 + 2*y + 10. Let i be v(-2). Does 15 divide i/(-10) + (-8)/(-40)?
False
Let f = -7 + 10. Suppose 0 = -f*t + 167 + 67. Is 13 a factor of t?
True
Let c = 12 - 7. Suppose 4 = -x, 0 = 3*v - c*v - x - 18. Is 13 a factor of (1 + v)/((-4)/26)?
True
Let a be (89 - -12) + (-3)/(-3)*4. Suppose -3*u - 104 = -h - 449, 0 = -u - 3*h + a. Does 19 divide u?
True
Let u = -10 + 11. Let t be (-1 - (-21)/u)*1. Suppose -6*x = -2*x - t. Does 5 divide x?
True
Suppose -3004 = -2*c - 5*h + 3156, -2*c + 5*h = -6160. Is 14 a factor of c?
True
Let t = 745 - 175. Is 10 a factor of t?
True
Suppose 13*k + 992 = r + 9*k, 2962 = 3*r - 5*k. Does 29 divide r?
False
Suppose 4*y = 78 - 170. Let v = -6 - -31. Let j = v - y. Is j a multiple of 24?
True
Let i be (1/2)/((-2)/(-416)). Suppose 2*r + 16 = 4*r. Suppose -4*m - i = -r*m. Is 10 a factor of m?
False
Let q(r) = r**2 + 9*r + 3. Let k be q(-8). Is 4/k - (-642)/15 a multiple of 13?
False
Suppose 26112 = 200*n - 184*n. Does 68 divide n?
True
Suppose 11*n - 8*n = -5*u + 245, -398 = -5*n + 2*u. Let v = 132 - n. Is v a multiple of 10?
False
Suppose 0*n = -3*n + 15, 104 = 2*x + 4*n. Is x a multiple of 7?
True
Let t(i) = -i**2 - 12*i. Let d be t(-12). Suppose -4*l + 391 = 3*r + 38, -l - 4 = d. Let x = r - 71. Is x a multiple of 12?
False
Let q = 50 - 29. Suppose 1 = u - q. Is 11 a factor of u?
True
Let x(j) = -j**3 - 5*j**2 - 20*j - 10. Does 12 divide x(-7)?
True
Let w(r) = 3*r**2 - r + 1. Let i(k) be the first derivative of -k**4/4 + 11*k**3/3 + 11*k**2/2 + 15*k - 6. Let b be i(12). Is 25 a factor of w(b)?
True
Let h be (-1)/(1 - 2/4). Let q(o) = 33*o**2 - 2*o + 3. Let s be q(1). Let d = h + s. Is d a multiple of 16?
True
Let h(c) = 22*c**2 - 5*c + 5. Let n(s) = -45*s**2 + 9*s - 9. Let r(z) = -7*h(z) - 4*n(z). Does 5 divide r(1)?
False
Let h be 4 + 1 + -2 - (-57 - -55). Let x(k) be the first derivative of -k**2/2 + 15*k + 1. Is 5 a factor of x(h)?
True
Let p = 27 + -24. Does 5 divide (35/15 - 6/p)*201?
False
Let i be (1 + -1)*(0 + 1). Suppose i = 4*c - c - 378. Is c a multiple of 14?
True
Let y(t) = t**3 + 14*t**2 + 9*t + 10. Let a be (-77)/6 - 4/24. Does 19 divide y(a)?
False
Suppose 4*g - 3592 = -2*n, 0 = n + 15*g - 14*g - 1800. Is 44 a factor of n?
True
Let t(r) = -11*r - 11*r - 4*r + 10*r. Let s(y) = -y**3 + 6*y**2 - 4*y - 7. Let w be s(5). Is 16 a factor of t(w)?
True
Let o = 106 + -57. Let g = o + -25. Is 12 a factor of g?
True
Let n(p) = p**3 - 9*p**2 + 13*p + 10. Let w be n(7). Suppose z + 34 = 3*b, 4*z - 21 = -w*b + 23. Is 12 a factor of b?
True
Let j(k) = -3*k + 35. Let t be j(11). Let f(m) be the third derivative of 2*m**5/15 + m**4/24 - m**3/3 - 2*m**2. Is 16 a factor of f(t)?
True
Let l be ((-1417)/26)/((-1)/2). Suppose 0 = -5*f + l + 291. Suppose 8*d - 6*d - f = 0. Is 17 a factor of d?
False
Let j = -903 + 1310. Is 37 a factor of j?
True
Let h = -207 - -351. Does 18 divide h?
True
Let y = -310 - -406. Is y a multiple of 8?
True
Suppose 9*x + 3*x - 1404 = 0. Is x a multiple of 13?
True
Let o(d) = -7*d + 2*d - d + 2*d. Let y be o(-1). Is (y/(-3))/((-2)/12) even?
True
Let x(n) = 2*n + 3. Let g be -1 + 12/2*1. Let b be x(g). Is (b/4 - 3)*28 a multiple of 7?
True
Let g = -42 - -46. Suppose g*x = x + 165. Is x a multiple of 5?
True
Suppose 6*h - 17 - 13 = 0. Suppose 6*a = h*a + 104. Does 26 divide a?
True
Let x = 654 + -556. Does 14 divide x?
True
Let v(y) = 3*y + 37. Let s(t) = t**3 + 9*t**2 + 6*t - 4. Let j be s(-8). Does 4 divide v(j)?
False
Let r(v) be the third derivative of v**5/20 + v**4/3 + 4*v**3/3 + 19*v**2. Suppose 4*w + 17 + 11 = 0. Is r(w) a multiple of 13?
False
Let z = -480 - -766. Is z a multiple of 26?
True
Suppose 5*h - 215 = -4*j, h - 3*h + 230 = 4*j. Suppose 0 = r - 4*y - j, -r - 5*y + 11 + 4 = 0. Is 9 a factor of r?
False
Let c(f) = -63*f**3 - 9*f**3 - 8 - 2*f - f**2 - 34*f**3 + 7. Is c(-1) a multiple of 18?
False
Let r = -732 + 823. Is 49 a factor of r?
False
Suppose -3*o + 110 + 619 = 0. Suppose -2*c = -h + 58, -77 = -5*h - 5*c + o. Is h a multiple of 31?
True
Suppose -28*m + 3 = -29*m, 4*o - 944 = -4*m. Is o a multiple of 3?
False
Suppose -z + 4*p = -56, -3*z = 3*p - 8*p - 133. Suppose 3*q + z = -q. Does 12 divide (-4)/18 - 110/q?
True
Suppose 2*s - 4*m - 68 = -0*m, -4*m + 52 = 2*s. Suppose -5*q + 140 = s. Is 6 a factor of q?
False
Let s = -107 - -159. Suppose -5*d = -3*d - s. Is 3 a factor of d?
False
Suppose 2*o + 169 = 337. Is o a multiple of 21?
True
Let g = 935 - 471. Does 29 divide g?
True
Let q(f) = f**3 - 20*f**2 + 37*f + 26. Does 16 divide q(19)?
True
Is -720*(-6 + 80/25) a multiple of 56?
True
Let b(y) = y**2 + 23*y + 100. Is 31 a factor of b(-21)?
False
Let p(t) = -6*t**2 + 5*t - 9. Let i(k) = 7*k**2 - 5*k + 8. Let c(j) = -3*i(j) - 4*p(j). Is 25 a factor of c(6)?
False
Does 35 divide (-91)/(52/(-4)) - (-2480 - -2)?
True
Let i be (-3)/(-9) - (-140)/(-6). Let j = 38 - 3. Let u = j + i. Is u a multiple of 5?
False
Suppose 36*j - 2*j = 884. Is j a multiple of 2?
True
Let b = 794 - 506. Is 36 a factor of b?
True
Suppose 0 = -4*u, m - 1 = -2*u - 4. Let l be -8*(4 - 1)/m. Suppose l*f - 2*r - 221 = 3*f, -3*f + 125 = -5*r. Is 20 a factor of f?
False
Suppose 0 = -0*c + 12*c - 7992. Does 74 divide c?
True
Suppose t = -s + 4*t + 107, -t + 519 = 5*s. Is 21 a factor of s?
False
Suppose j = -19*p + 21*p + 1878, -5*p + 3783 = 2*j. Does 12 divide j?
True
Does 7 divide (-322927)/(-248) + (-1)/8?
True
Suppose 0 = 3*x - 1 + 7. Is 22 a factor of 1/2 - 163/x?
False
Let y be (-258*1)/((-14)/21)*-1. Let a = -249 - y. Does 14 divide a?
False
Let u = 4 + -4. Suppose -x - 3*x - 4*b - 12 = u, 0 = b. Let l(r) = -5*r**3 - 3*r**2 + 5*r + 3. Does 22 divide l(x)?
False
Suppose -78*i + 72*i - 486 = 0. Let a = 147 + i. Does 11 divide a?
True
Let x(j) = -7*j**3 - 12*j**2 - 9*j + 7. Does 23 divide x(-4)?
True
Let g(z) = 66*z + 3. Let t = -13 - -13. Let a be (t - (-1)/(-2))*-2. Does 23 divide g(a)?
True
Let w(k) = k**2 + 2*k - 11. Let i be w(-5). Suppose -715 = -a - i*a - 5*y, 6 = 2*y. Does 23 divide a?
False
Let a = 67 - 15. Suppose 4*n + a = 8*n. Suppose -h + 19 = 3*i, -3*i + 19 = 2*h - n. Does 9 divide h?
False
Let o = -93 + 317. Is o a multiple of 10?
False
Let x(o) = 4*o - 11. Let m be x(-13). Let i = -3 - m. Does 15 divide i?
True
Let p(l) = 9 + 3*l**2 + 3*l**2 - 3*l**2 + 0 - 4*l. Is p(4) a multiple of 6?
False
Let k(t) = -t**2 - 6*t - 2. Let m be k(-5). Suppose -m*p + 103 = -2*p. Let q = 176 - p. Does 17 divide q?
False
Suppose 4*r - 1 = 55. Let j be (-1)/(r/(-6) - -2). Does 5 divide j/(9/(-2))*-15?
True
Let i = -489 + 633. Does 8 divide i?
True
Let y(t) = t**2 - 5*t + 3. Let s be y(5). Suppose c = s*c. Is (c - 2)/((-2)/3) a multiple of 2?
False
Suppose 3*z + 9*o - 4*o = 28, 2 = -z + 4*o. Is 7 a factor of 120/z*(1 - 0 - -1)?
False
Suppose -3*o - 5*g = o - 2294, -o - g + 573 = 0. Is 27 a factor of o?
False
Suppose -11*w - 2016 + 6163 = 0. Is w a multiple of 15?
False
Is 1/3 + 9956/57 a multiple of 25?
True
Let u = 359 + -175. Suppose -179 = -3*c + u. Does 16 divide c?
False
Let n = -168 - -160. Is 22 - (n + 15) - (-2 - 0) a multiple of 3?
False
Let p be (2/(-14))/(3/(-21)). Let n = -1 + 2. Is 22 a factor of -29*((-3)/n + p)?
False
Suppose 0 = 4*p - 0*p - 820. Suppose 0 = -9*g + 4*g + p. Is 11 a factor of g?
False
Let m be (((-75)/10)/5)/((-1)/(-2)). Let u = -14 - -10. Is 20 a factor of m + (7 + u - -55)?
False
Let c = -45 - -115. Does 9 divide c?
False
Let p = 23 + -18. Suppose p*k - 17 = 3*d + 9, 22 = 5*k - d. Is 3 a factor of k?
False
Let k(m) = -m**2 + 8*m - 5. Let r be k(7). Suppose r*y + 2 = 2*d, y = -1 + 3. Is 5 - d - 2*-19 a multiple of 10?
True
Let o = 296 - 107. Is 35 a factor of o?
False
