 h(j) = -j**3 + 6*j**2 - 5*j + 3. Let y be h(5). Suppose -q - 1 = -2*r, -q - 4 = y*q. Suppose -5*u + 4*v - 21 + 365 = r, 0 = v - 4. Is u a multiple of 36?
True
Suppose -3*r = -0*r - 2*j - 13, 0 = -3*j + 3. Suppose r = i - 6. Suppose -x + a + 2*a = -i, 3*x = 5*a + 25. Is x even?
False
Let g be (-6)/(-10) - 6/((-180)/102). Suppose 3*u = -3*t + 282, g*t + 349 = 4*u - t. Is 13 a factor of u?
True
Suppose -275 = 7*t - 9*t - 5*v, -656 = -5*t - 2*v. Suppose -5*r + 5*g + t = 0, 64 = 2*r + 2*r + 4*g. Is r a multiple of 21?
True
Suppose -5*s + 1099 - 229 = 0. Let v = s + -112. Suppose 5*x - 128 = v. Does 19 divide x?
True
Suppose 2*j = 4*l - 2*l - 222, 0 = -3*l - 2*j + 348. Suppose 0 = -2*p - 4*p + l. Is p a multiple of 19?
True
Suppose d - 51 = -3*d - g, 3*d - 3*g - 57 = 0. Suppose v = 42 + d. Is 11 a factor of v?
False
Let i be (239*2)/(5 + -3). Let g be ((-1 - -2) + i)/1. Suppose -4*v = v - g. Does 16 divide v?
True
Suppose 2*f + 24 = 20. Does 5 divide (1 + 13/f)*30/(-3)?
True
Suppose -5*v - 3*j = -583, -468 = -5*v + v - 2*j. Is 17 a factor of v?
True
Is 21 a factor of (-2 - 0) + (-148)/(-3)*3?
False
Suppose -5*r = -2*o + 42, 4*r = -3*o + 30 + 10. Does 4 divide 3 - -1 - (12 - o)?
True
Let h(x) = 51*x - 7. Does 50 divide h(7)?
True
Let x(j) = -13*j + 4. Let z be x(3). Let a = 70 + -6. Let g = z + a. Does 29 divide g?
True
Is (-8 - (-19449)/45) + 8/10 a multiple of 17?
True
Let x = -10 - -28. Let d = x + -12. Suppose 8*a - d*a - 116 = 0. Is 17 a factor of a?
False
Suppose 2*f = -3*x - 4, f = -2*x - x - 2. Suppose x = -h + 5 - 1. Let b = h + 3. Does 4 divide b?
False
Suppose 2*m = -o + 15, 3*o - 4*m - 3 = 2*o. Suppose 0 = -o*r + 2869 - 867. Does 14 divide r?
True
Let m = -10 + 10. Suppose -2*d + m*d = -10. Let u(a) = 19*a - 4. Is 27 a factor of u(d)?
False
Suppose 0 = 83*x - 59*x - 16728. Does 14 divide x?
False
Let c(h) = h**3 + 11*h**2 + 17*h - 2. Let g be (4 + -7)*(4 - 1). Let z be c(g). Suppose -z*v + 398 = 69. Is 22 a factor of v?
False
Is 25 a factor of 18*(5/(-5) + 14/2)?
False
Suppose 5*i - 4*h - 94 = 18, h - 77 = -4*i. Is i a multiple of 10?
True
Suppose 3*i + 172 = 5*d, 18 = 5*d + 8. Suppose a = 65 + 56. Let l = i + a. Does 14 divide l?
False
Is 2/8 + ((-56376)/(-32))/1 a multiple of 11?
False
Let q = 60 - 156. Let j be (1*-1)/(2/108). Let x = j - q. Does 21 divide x?
True
Suppose 32 = 8*n + 16. Suppose -4*j + 876 = n*j. Does 11 divide j?
False
Suppose 4*a = 4*d + 12, -2*d - 2*d - 14 = -5*a. Suppose 3*c + j = 304, a*j - 120 = -c - 3*j. Is 20 a factor of c?
True
Let p = 236 + -27. Suppose -3*i + p = -115. Suppose z + z = -y + 32, 3*z = -3*y + i. Is 20 a factor of y?
True
Suppose 30*w + 42586 = 107926. Does 11 divide w?
True
Let w be (-4)/(-6) - (-60)/(-9). Suppose 0 = -3*v - 0*o + 5*o + 18, 2*v - 4*o = 12. Does 8 divide w*(4 - 3 - v)?
False
Let y(h) = 91*h - 2. Let w be y(2). Suppose -4*c = w - 72. Does 3 divide (2/(-3))/(6/c)?
True
Is 23 a factor of ((-1380)/4)/(1/1 + -2)?
True
Is 5/(-10)*(9 - 479) a multiple of 14?
False
Let p = 4 + -3. Suppose k = 2 - p. Does 10 divide (-4 - -5)/(k/34)?
False
Suppose -4*c + 4 = -0, 2*g - 8902 = 2*c. Does 106 divide g?
True
Let b(d) = -d**3 - 13*d**2 - 13*d - 6. Let p be b(-12). Let h(f) = -f**3 + 5*f**2 - 3*f + 5. Let z be h(p). Let y = 24 - z. Is 18 a factor of y?
False
Let t be 1*542/26 + (-2)/(-13). Does 12 divide 870/t - (1 - (-8)/(-14))?
False
Let s(w) = -5*w + 9. Let p be 10*-3*2/4. Is s(p) a multiple of 14?
True
Let b = 1058 - 617. Is 43 a factor of b?
False
Let g = 28 + -25. Let d be 3/6*(g + -3). Does 15 divide (1 + d)/(2/60)?
True
Is ((-3)/6)/(7/(-210)) a multiple of 5?
True
Suppose -3*l = 15, 2*l + 701 = -4*o + 2707. Is 8 a factor of o?
True
Let p(r) = -168*r + 20. Is p(-5) a multiple of 43?
True
Let i(n) = 2*n**2 + 7*n - 20. Suppose -2*q - 40 = -7*q - 2*d, -2*d - 8 = -3*q. Is 22 a factor of i(q)?
False
Let u(z) = -z**3 + 12*z**2 - 2*z + 33. Let q be u(12). Suppose -6*k - 15 = -q*k. Does 5 divide k?
True
Let f(q) = 2*q**2 - 10*q + 20. Let y be f(6). Is y/80 - 98/(-5) a multiple of 6?
False
Is 30 a factor of (-38)/76*(1/1 - 503)?
False
Suppose 0*d - 2*d = 4*b - 672, -5*b + 840 = d. Does 38 divide b?
False
Let v = 8 + -16. Let i(q) = -q**2 - 13*q - 12. Is 7 a factor of i(v)?
True
Suppose -4*f - 410 - 121 = l, l + 664 = -5*f. Let g = -78 - f. Is g a multiple of 11?
True
Let u = -15 - -30. Let j be -7 + 7 - (1 - u). Suppose p + j = 2*p. Does 14 divide p?
True
Let o be (-4)/((-8)/2)*6. Suppose -u = -2*b - 62, b + 130 = -o*u + 8*u. Is u a multiple of 11?
True
Let p(h) be the third derivative of h**5/30 + 5*h**4/12 + h**3 + 5*h**2. Is p(-6) a multiple of 3?
True
Let b = -13 + -8. Let z be (7/b)/((-1)/(-3)). Is 9 a factor of -6*(-3)/(-2)*z?
True
Let o(d) = -d**3 - 2*d**2 + 9*d + 10. Let n be o(-4). Is (2*n)/(6/40) a multiple of 8?
True
Let k(x) = -x - 8. Let h be k(-8). Suppose h*d + 25 = 4*g + 5*d, 4*d = -5*g + 20. Suppose 4*m - 122 - 34 = g. Is 15 a factor of m?
False
Let q(g) = -2*g**2 - 2*g + 30. Does 2 divide q(0)?
True
Does 12 divide (-848)/(-3) + (-2 - (-4)/12)?
False
Let v = -351 + 455. Is 4 a factor of v?
True
Let v = -41 - -75. Suppose v = 2*a - 0*a. Does 3 divide a?
False
Let s(c) = c**3 - 6*c**2 - 16*c + 1. Let x be s(8). Is 34 - (x + (-4 - -5)) a multiple of 15?
False
Let r(l) = -l**3 + 12*l**2 - 14*l - 21. Is 32 a factor of r(9)?
True
Suppose -3*v + 6 = -0. Let o(l) = l**2 + 7*l + 4. Let f be o(-13). Suppose 4*t = -3*z + f, t - 79 = -v*z - z. Is 8 a factor of z?
False
Let z = -9 - -5. Is 15 a factor of (-16)/12 + 411/(-18)*z?
True
Let v = 58 + -54. Suppose 2*r = -v*h + 160, 5*r - 171 - 201 = -3*h. Does 12 divide r?
True
Suppose 4*z - 5*d + 11 = 0, 5*d - 4*d = z + 2. Suppose -4*y + z = -15, -77 = -3*m - 5*y. Is 10 a factor of m?
False
Let y = -207 - -302. Let g = 115 + y. Is 15 a factor of g?
True
Let p = 41 + -57. Let m = p + 15. Is 6 a factor of 162/12 + m/(-2)?
False
Let j(x) = 4*x - 9. Let g be j(4). Is 16/56 + 110/g a multiple of 2?
True
Let a(k) = k**2 + 5*k + 9. Let s be a(-4). Let w be (-769)/(-3) + (-3)/9. Suppose -w = -3*i + p, -70 + 174 = i - s*p. Is 13 a factor of i?
False
Does 35 divide (255/9)/(3*(-2)/(-36))?
False
Let m(f) = f**3 - 7*f**2 - 5*f - 24. Let q be m(8). Suppose 5*c - 3*x + q*x = 222, 5*x = 3*c - 130. Is c a multiple of 45?
True
Suppose 2*o = 3*o - 330. Suppose -2*x - x = -o. Suppose 0*c = c + 5, 2*c - x = -4*f. Is 10 a factor of f?
True
Is (-2052)/(-5) - 12/30 a multiple of 25?
False
Suppose -2*h = h - 4*k + 10, -3*k = 5*h - 22. Let c(p) = 25*p + 1. Is 21 a factor of c(h)?
False
Is 5/(4*(-5)/(-820)) a multiple of 5?
True
Let d(k) = k**2 - 4*k + 5. Let p be d(1). Suppose 81 = p*q - 303. Is 9 a factor of q?
False
Let c(g) = -g**3 + 5*g**2 - 7*g + 9. Let n be c(3). Does 5 divide 2/3 - (-86)/n?
True
Suppose -3*u - u = 0. Let g be 2*(-1 + u + 7). Suppose 0*s + s = g. Does 3 divide s?
True
Let l(d) = -7*d**2 + 23*d + 6. Let p be l(12). Is p/(-9) - (-4)/(-18)*3 a multiple of 16?
True
Suppose 4*d + 4*m = 2712, -d - 3*m - 17 = -699. Is d a multiple of 26?
True
Let x(s) be the second derivative of -s**3/6 - 3*s**2/2 + s. Let z be x(-6). Suppose -5*n - 56 = -3*f, f + z*n - 28 = 7*n. Does 12 divide f?
True
Suppose -z = 4*z - 20. Let u be 6/z - (-4)/8. Suppose -u - 34 = -4*n. Is n even?
False
Suppose -2*m + 720 - 232 = -3*k, -m = -1. Let j = -132 - k. Is 6 a factor of j?
True
Let b be -4 - (3 - (2 - -3)). Let v be (-1)/b*0 - 3. Let l = v + 21. Does 18 divide l?
True
Let q = -12 - -22. Suppose -m + 2 = -q. Is m/(-8)*32/(-6) a multiple of 4?
True
Suppose -5*p + 29 = 9. Let u be 1*(-4)/(-8 + p). Let o(w) = 34*w + 1. Is o(u) a multiple of 5?
True
Let y be 171/4 - 21/28. Suppose y = 6*t - 54. Is t a multiple of 4?
True
Let h be (1 - 2) + 1482/19. Suppose s + 2*u - 75 = 0, -5*s = 4*u - h - 286. Is 9 a factor of s?
False
Let b(t) = t**2 + 4*t + 17. Let d be 64/(-6) - 32/(-48). Is 15 a factor of b(d)?
False
Suppose q - 882 = -3*f + 940, -f = -q - 610. Suppose 0 = 5*z - r - 3*r - 1036, 3*z - f = -r. Suppose 3*c - 93 = -v, 0*c = 2*v - 3*c - z. Does 13 divide v?
False
Suppose -17*o + 22*o = 120. Suppose 7*k - 5*k = o. Is k a multiple of 4?
True
Let s(u) = u**3 - 2*u**2 + 5*u - 6. Let v be s(3). Suppose -4*o + 4*c - v = -154, 4 = c. Does 9 divide o?
False
Suppose 4*r = -5*g + 18, 3*g +