False
Suppose 0 = -2*i + 6, -i - 123 - 132 = -3*u. Let v = u - 75. Does 3 divide v?
False
Let c = 44 + -32. Suppose -c*b + 486 = -3*b. Does 6 divide b?
True
Suppose 0 = 2*j - 9*h + 8*h - 614, 5*j - 1553 = -2*h. Is 17 a factor of j?
False
Suppose -g = -0*f - 5*f + 2727, 0 = -3*f + 7*g + 1617. Is f a multiple of 78?
True
Does 3 divide (3/15 - 1148/(-210))*3?
False
Let y be (-14 - -15)*(2 - 1) + 1. Suppose -4*k + 3*z + 528 = 0, z = -y*k - 3*k + 679. Is 27 a factor of k?
True
Is 42 a factor of ((-10)/50)/(3/(-6315))?
False
Let t(q) = -q**3 - 8*q**2 - 2*q - 8. Let d be t(-8). Does 4 divide -6 + d/4 + 27?
False
Let r(t) = 2282*t**2 - 11*t + 1. Does 74 divide r(-1)?
True
Let c be (-3 + 9)*(-8)/6. Does 8 divide 148 - 8*4/c?
True
Let g(r) = r**3 - 3*r**2 - 3*r + 2. Let j be g(3). Let o(z) = z**2 - 5*z - 11. Does 12 divide o(j)?
False
Let a(s) = s**2 - 13*s - 9. Let v(w) = -7*w - 7. Let k be v(-3). Let m be a(k). Suppose 0 = 5*n + 2*t - 46 - 34, m*t = -25. Is n a multiple of 4?
False
Is 1124 - (-14 + (8 - 1)) a multiple of 12?
False
Let y(t) = 29*t - 6. Is y(30) a multiple of 18?
True
Let n(k) be the first derivative of -k**4/4 - k**3/3 + k**2/2 + 34*k + 3. Is 15 a factor of n(0)?
False
Let b be 0/(-1 - 3) + 3. Suppose 8*u - 330 = b*u. Is 33 a factor of u?
True
Suppose -52 = -x + 6. Is x a multiple of 5?
False
Does 13 divide (4 - (-290)/25)*5?
True
Let t(l) be the second derivative of l**5/20 + 5*l**4/6 + 2*l**3/3 + 3*l**2 + 5*l. Is 24 a factor of t(-9)?
False
Let d(i) = 11*i**2 + 12*i - 225. Does 63 divide d(12)?
False
Suppose 4*b + 2*n - 10 = 0, 0 = -b + 5*n - 15 - 10. Suppose 5*v - 915 = 2*p, -p + 719 = 4*v - b*p. Does 14 divide v?
False
Let m = -34 + 62. Let p = m + 20. Does 14 divide p?
False
Let k = 115 + -111. Suppose 16 = k*w, -4*l - 3*w + 268 = -0*l. Does 7 divide l?
False
Is 56 a factor of ((-160)/30)/(-8)*5208?
True
Let x = 14 - 11. Suppose x*r - 16 = -w, -r - 16 = -0*r - 5*w. Suppose -5*s - 104 + r = -5*z, 3*s + 42 = 2*z. Is z a multiple of 18?
True
Let i be 4 + 21*14 + (3 - 1). Is i/(4 + -1) + 2 a multiple of 35?
False
Let f = 9 - 7. Suppose f*u = -u. Suppose u = -2*m + 4 + 6. Is m a multiple of 2?
False
Let m be 43/(-3) + 9/27. Let q = 17 + m. Suppose q*o + 252 = 4*j, 5*j - 3*o + 7*o = 346. Is 22 a factor of j?
True
Let n(t) = -t**2 + 8*t + 13. Let k be n(9). Suppose -k*c = -c. Suppose c = 3*q - 6*q + 39. Is q a multiple of 12?
False
Let c(k) = k + 4. Let w be c(-5). Let q be (0 + w)/((-1)/2). Suppose -q*t - 102 = -5*t. Does 17 divide t?
True
Suppose 208 = 9*f - 5*f. Suppose 0 = -2*v, -o + f = o - 3*v. Suppose -i = 5*s - 35, -3*i + 7*i - o = -s. Does 5 divide s?
False
Let c = -16 - -16. Suppose c = -2*b - 11 + 39. Is (-24)/42 + 764/b a multiple of 18?
True
Suppose -9*f = -9508 - 1679. Suppose -4*g + 15*g = f. Does 11 divide g?
False
Let x(f) = 9*f**3 + 41*f**2 - 13*f + 20. Let v(s) = -5*s**3 - 21*s**2 + 7*s - 10. Let m(j) = -11*v(j) - 6*x(j). Is 5 a factor of m(15)?
True
Let v(f) = f**3 - 9*f**2 - 12*f - 10. Is 5 a factor of v(11)?
True
Let c(y) = -y**2 - 12*y - 2. Suppose -f + 0*f + 4*r = -3, -r = 3. Is c(f) a multiple of 5?
True
Let p(g) = -6*g**2 - g. Let d be p(1). Let y = d + 4. Let t = 5 - y. Is t even?
True
Does 52 divide (-14 - (-6 - 3)) + 1461?
True
Let s = 12 + -4. Suppose 3*x = 5*x - s. Suppose -3*y = -x - 5. Is 3 a factor of y?
True
Suppose 2*l - 4*t = -4, 4*t = 4 - 12. Let p(y) = 2*y - 11. Let b(g) = -g + 5. Let m(w) = l*p(w) - 11*b(w). Is 10 a factor of m(-11)?
False
Suppose 0 = 3*c - 21 + 12. Is 26 a factor of (-2 + 5 + c)*(30 + 3)?
False
Let c(w) = 11*w - 5. Let b be c(-8). Let s = -66 - b. Is 6 a factor of s?
False
Does 100 divide (10/8)/(7/4676)?
False
Let f(o) be the first derivative of 5*o**3/3 + 3*o**2/2 + 5*o - 44. Is f(4) a multiple of 13?
False
Suppose p - 15 = 5*t + 14, 5*p - 2*t - 30 = 0. Suppose -p*s = z + 2 - 32, -30 = -4*z + 2*s. Is 1892/(-55)*z/(-4) a multiple of 25?
False
Let a be (-60)/(-21)*(-7)/(-2). Let c(s) = 2*s**2 - 14*s - 3. Is c(a) a multiple of 18?
False
Let r(u) = 8*u**2 - 1. Let v(t) = 17*t**2 - 3. Let b(g) = 7*r(g) - 3*v(g). Let f be b(2). Does 24 divide (-8)/(-6)*(f + -4)?
True
Suppose 0*h - 4*h + 24 = 0. Let o(d) = 2*d**2 - 75*d + 74. Let s be o(34). Is 14 a factor of s/(-6) - h/(-9)?
True
Is 737/2 + 75/(-50) a multiple of 12?
False
Let t(h) = -h**2 - 9*h - 9. Let b = 17 + -24. Is 5 a factor of t(b)?
True
Suppose 4*s - 48 = -4*p, 25 = 4*s - 3*p - 9. Let k(t) = 2*t**3 - 19*t**2 + 2*t. Is k(s) a multiple of 18?
False
Suppose -y + 4*q = -26, -10 = 3*y - 2*y + 5*q. Suppose -y*a + 7*a + 72 = 0. Is 12 a factor of a?
True
Let n = -155 + 200. Is n a multiple of 4?
False
Let s(a) = -a**2 - a. Let n(b) = 3*b**2 + 7*b + 5. Let w(p) = -n(p) - 6*s(p). Is w(-2) a multiple of 3?
True
Let b(q) = q**3 - 5*q**2 + 2*q - 8. Suppose 3*t - 10 = -d + 1, 3 = -t - 2*d. Suppose 0 = v - t*v + 24. Does 30 divide b(v)?
False
Let p be (6/(-8))/(21/(-56)). Let v(n) = 12*n**3 - 4*n**2 + 8*n - 3. Is v(p) a multiple of 16?
False
Let q(m) = -m**3 + 9*m**2 + m - 6. Let h = -6 + 15. Let d be q(h). Suppose z = d*g - 84, 42 = 4*g - 3*g - 5*z. Is 24 a factor of g?
False
Suppose -2*r - g + 4 + 1 = 0, 2*r - 2*g - 8 = 0. Suppose 2*f - x - 58 - 84 = 0, -r*f - 5*x + 226 = 0. Is f a multiple of 9?
True
Let t = 71 - 43. Suppose 10*q = 6*q + t. Does 4 divide q?
False
Suppose 2*i - 4*s - 780 = -3*i, 3*i - 468 = -5*s. Is 18 a factor of 0/2 - i/(-3)?
False
Let z(t) = 3*t**3 - 8*t**2 + t + 14. Let a(f) = -7*f**3 + 17*f**2 - 3*f - 29. Let i(p) = 4*a(p) + 9*z(p). Is i(-6) a multiple of 5?
True
Suppose 0 = t + 5*t + 570. Let l = t - -166. Is 13 a factor of l?
False
Suppose 3*k - 5*c - 181 = 0, 5*k - c - 265 - 44 = 0. Suppose 74 = 2*r - k. Does 13 divide r?
False
Suppose 2*s = 3*p, 2*p - 3*s + 5 = -0*p. Suppose -i - 151 = -j, -2*j - p*i + 284 = 2*i. Is 18 a factor of j?
False
Suppose -53 = s - 49, j - 932 = 2*s. Is j a multiple of 84?
True
Let q(u) = 16*u**2 - u. Let m be q(1). Suppose 2*g + g = -5*n + 85, 4*n - 60 = -2*g. Suppose -16*i = -m*i - g. Is 13 a factor of i?
False
Let n = -468 + 527. Is 4 a factor of n?
False
Let u be (-7 - -6)/(1/67). Let m = -37 - u. Is 10 a factor of m?
True
Let j(p) = 6*p + 4. Let k be j(11). Let d = k - 57. Does 7 divide d?
False
Let p = 5 + 13. Suppose -4*r + 42 = -p. Is 15 a factor of r?
True
Let i = -21 + 206. Suppose -5*a = i - 0. Let l = -16 - a. Does 21 divide l?
True
Let u be (1/2*6)/(-1). Let q be u*1 + (-3 - -46). Let m = q + -17. Does 23 divide m?
True
Suppose 0 = -4*c - 3*g + 1139, -2*c + 0*c + 572 = 2*g. Does 8 divide c?
False
Let z = -98 - -201. Let a = -14 + z. Is a a multiple of 40?
False
Is (34 - -92)*(-1*2 - -14) a multiple of 54?
True
Is 63 a factor of ((-15)/4)/((-18)/264)*13?
False
Suppose 4*d - 1062 = -4*x + 5422, 6492 = 4*d + 2*x. Does 15 divide d?
False
Let j be (-41)/(-7) + (-10)/(-70). Is 39 a factor of (-4)/(-2)*(1 + 327/j)?
False
Let f = -16 - -19. Suppose 4*v = -w - 8, 1 = f*v + 10. Is 77 - (w/4 + 1) a multiple of 25?
True
Suppose 4*c - 880 = 4*t, 0 = -4*t - 3 - 1. Suppose 10*l - 13*l = -c. Is 16 a factor of l?
False
Let h(s) = s**3 - 7*s + 7. Let w be h(6). Suppose 3*a + w = -53. Does 26 divide a/(-18)*4*3?
True
Let p(l) = l**3 - 22*l**2 - l - 3. Let m be p(22). Does 6 divide ((-565)/m - -2) + 9/(-15)?
True
Let s be (-2)/(-9) - 1436/(-18). Suppose 0 = m + 3*m - s. Does 19 divide m?
False
Suppose 0 = -2*y - 2*y + 8. Let h be y/(-10) - 7055/(-25). Suppose -5*d + 0*d - 3*m = -h, 0 = 2*d - m - 104. Is d a multiple of 15?
False
Suppose 0 = 5*y - 9*y - 592. Let z = 246 + y. Let f = 137 - z. Is 19 a factor of f?
False
Suppose -2*s = -35 - 17. Suppose -s = 2*r - 102. Is 28 a factor of r?
False
Suppose 0 = -2*k + 2 + 4. Let w = -35 + 40. Suppose 2*i - w*n - 100 = -k*i, -5*n = 4*i - 80. Is i a multiple of 8?
False
Let d = -1793 + 2692. Is d a multiple of 29?
True
Let o(w) be the third derivative of -3/8*w**4 + 7/3*w**3 + 0*w + 0 + 1/60*w**5 - 5*w**2. Does 18 divide o(11)?
True
Let k(h) = h**2 - 13*h - 2. Let j(c) = -c. Let t(r) = r + 8. Let y be t(-9). Let s(v) = y*k(v) + 3*j(v). Is s(9) a multiple of 4?
False
Let i(v) = 7*v**2 - v + 1. Let c be 1 + -2 + 4 + 0. Let s be -2 - (-4 - (c + -4)). Is 4 a factor of i(s)?
False
Let n(m) = m - 6. Let l(g) = g**2 - 2*g + 3. Let h be l(3). Let b be n(h).