h) = 2*h**3 - 15*h**2 - 12*h - 4. Let f(q) = -5*q**3 + 31*q**2 + 25*q + 9. Let r(p) = -3*f(p) - 7*t(p). Let b = -13 + 2. Is 11 a factor of r(b)?
False
Suppose -25 = -3*h - l, h = -3*h - l + 32. Does 5 divide h/2*400/70?
True
Does 63 divide (4/(-3))/((-2)/780)?
False
Let r = -54 + -129. Let g = r + 311. Is g a multiple of 23?
False
Let j(y) = 103*y - 1. Let f be j(3). Suppose 34 - f = -2*q. Is 12 a factor of q?
False
Suppose 880*x - 877*x = 2967. Does 23 divide x?
True
Let m be ((-33)/9 - -4)*573. Suppose 3*w - 25 = m. Is 15 a factor of w?
False
Let f(i) = 185*i - 63. Is 13 a factor of f(8)?
True
Let f(v) be the first derivative of v**3/3 + 2*v**2 - 3*v + 5. Let i be f(-3). Does 18 divide -3 - (i + 3) - -46?
False
Let z = 5 + 0. Let u(b) = b**3 - 4*b**2 - 6*b + 5. Let g be u(z). Suppose 4*p = -g*p + 292. Is p a multiple of 19?
False
Let v be (-2)/(-3) - 160/(-12). Let l(a) = -a**2 + 15*a - 12. Let n be l(v). Suppose 5*y = -2*q + 49, 4*y + 9 = n*q - 49. Is 24 a factor of q?
False
Let q be 6 - (3 + 1 + -2). Suppose -q*c = 4*v - 48, 0*v = -2*v + 4*c + 24. Is v a multiple of 4?
True
Let m = 5 + -3. Suppose -2*s - 4 = -m*t, 5*t = -3*s - 24 - 6. Is 2 a factor of 33/6 + t/2?
True
Let j(g) be the third derivative of g**2 + 0*g + 1/12*g**4 + 7/3*g**3 + 0. Is j(11) a multiple of 9?
True
Let m = -1 + 6. Suppose -n + 3*p + 91 = -2*p, -m*p = 10. Is 27 a factor of n?
True
Suppose -3*v + 5*j = -13, 2*v + 8 = 4*v - 3*j. Is 18 a factor of (2/2)/(v/39)?
False
Let k(u) = 23*u + 2. Let t be k(-1). Let v be ((-14)/t)/((-2)/(-6)). Suppose v*a - 6*w = -2*w + 166, 0 = 4*a + 3*w - 387. Is 26 a factor of a?
False
Let o = -31 - -35. Does 9 divide 2/o*(-4 - -112)?
True
Let k = 2 - -4. Let y = -4 + k. Suppose 0 = -c - y*c + 18. Does 2 divide c?
True
Suppose -b - 3*b - 2*r = -4, 3*b + 3 = -3*r. Suppose -b*j - 14 = -2*m, 8 = 2*j - 0*m + 3*m. Let v(z) = 2*z**2 - z + 1. Does 11 divide v(j)?
True
Let m be (-2)/(-4) + 563/(-2). Let v be ((-2)/(-6))/(1/(-519)). Let c = v - m. Does 27 divide c?
True
Let o = -113 + 350. Is o a multiple of 7?
False
Let w(s) = 43*s**2 + 1. Let v(z) = -2*z - 15. Let k be v(-7). Is 31 a factor of w(k)?
False
Let d(z) = 5*z**2 - 2*z - 2. Suppose -r + h + 5 = 0, -5*r + h + 25 = 6*h. Does 21 divide d(r)?
False
Let i(g) = -g**3 + 41*g**2 + 40*g + 177. Does 7 divide i(42)?
False
Let g(a) = -123*a**3 + 3*a + 2. Let z be g(-1). Suppose -6*m + 362 = z. Is m a multiple of 8?
True
Suppose 26 = 3*g - 43. Let h = -26 + 39. Let i = g - h. Does 4 divide i?
False
Let a = 19 - 41. Does 20 divide a/33 - (-623)/3?
False
Suppose -14*h = 11217 - 62135. Does 22 divide h?
False
Let u = 26 - 23. Suppose -o = -u*y - 2*o + 142, -99 = -2*y - 5*o. Is 20 a factor of y?
False
Let n = -517 + 1043. Is 10 a factor of n?
False
Suppose -6*x = x - 182. Let s be (-1572)/66 + 2/(-11). Let l = s + x. Is l even?
True
Let t(q) = q**2 + 12*q + 14. Let w be t(-11). Let y(p) = 30*p. Is y(w) a multiple of 11?
False
Let n be (0 + -6 - -3) + -5. Let r = n - -21. Is r a multiple of 2?
False
Let b(n) = -n**2 - n + 24. Let q be b(10). Let j = q - -151. Let o = j - 19. Is 17 a factor of o?
False
Is (-7 - -3) + (-8953)/(-7) a multiple of 15?
True
Let o(a) = -2*a - 2. Suppose 2*j - b = -28, 3*j - b = 8*j + 63. Let y = j + 7. Is o(y) a multiple of 4?
False
Suppose 5*w - c = 9705, -5*w - 5*c = -0*w - 9705. Does 41 divide w?
False
Let k = 626 + -33. Does 57 divide k?
False
Let v = 12188 + -7722. Is v a multiple of 22?
True
Let c(k) = k**3 - 4*k**2 + 5*k - 10. Let g be c(5). Let v = -17 + g. Is v a multiple of 11?
False
Let s be 2/(-2) + 12/2. Suppose -2*m + 3*h = -23 + 2, 3*h + 66 = s*m. Suppose l + 2*c - 15 = 0, l = 2*c + c + m. Does 4 divide l?
False
Let d(c) = 270*c - 53. Is 10 a factor of d(1)?
False
Suppose 0 = 6*m - 9*m + 2346. Is 41 a factor of (-15)/(-25) + -1 + m/5?
False
Let o(l) = l - 1. Let i be o(0). Let f(b) = -23*b + 1. Does 8 divide f(i)?
True
Suppose -288 = -9*s + 99. Suppose -8*q + s = -7*q. Is 15 a factor of q?
False
Let x be (-34)/(-14) + 27/(-63). Suppose -x*w - 10 = 2. Is 3 a factor of (-7 + -3)*w/10?
True
Suppose -4*s - x = -260, -359 + 147 = -3*s - 5*x. Does 16 divide (s - 0)/(1/3)?
True
Let k = 1230 + -1132. Does 49 divide k?
True
Suppose -11*z + 4275 = 8*z. Is z a multiple of 25?
True
Is 3/(6 - 7) + (-867)/(-3) a multiple of 24?
False
Let h = 123 + -91. Is h a multiple of 4?
True
Suppose 9*i - 8*i = 1. Let h(j) = -2*j**2 - j + 7. Let g(k) = -k**2 - 1. Let c(w) = i*h(w) - 3*g(w). Does 4 divide c(0)?
False
Suppose 4*l - 26 = -18. Suppose 5*p - l*p = 306. Does 15 divide p?
False
Suppose -26 - 19 = -5*t. Suppose -3*p + t = -0*p. Suppose d = 2*d + c - 12, 2*d = -p*c + 24. Is 4 a factor of d?
True
Let z(o) be the first derivative of o**3/3 - 4*o**2 + 16*o + 9. Let h be z(12). Suppose 8 = -2*i, -3*r - 5*i = -r - h. Is 7 a factor of r?
True
Suppose 35*y - 39*y + 8648 = 4*q, 0 = -2*y + 4. Does 30 divide q?
True
Suppose -4 = -s + 2. Let b = -28 + 20. Is 3 a factor of (b/(-6))/(s/45)?
False
Suppose -4 + 0 = -2*a. Let l(y) = y**3 - y**2 - 2*y + 3. Let z be l(a). Suppose 2*w = -3*d + 197, -z*w + 112 + 194 = d. Does 28 divide w?
False
Suppose -2*u - 4795 = -5*d, 11 = 4*u - 9. Is d a multiple of 11?
False
Suppose 19*y = 5571 + 509. Is y a multiple of 6?
False
Let v(o) = 3*o**2 - 19*o + 2. Let u be v(-9). Suppose 11*r - u = 79. Does 15 divide r?
True
Does 29 divide 2/((-32)/(-2772)) - (-9)/12?
True
Let x(u) = -u**2 - 6*u + 5. Let n be x(-6). Suppose 10 = -n*k - 5. Is 11 a factor of 21 - (-1 - (-3 - k))?
True
Let k be 1*13 - (-20)/(-10). Suppose -7*q - 348 = -k*q. Is 29 a factor of q?
True
Let h(o) = 66*o**2 + 57*o - 375. Is 23 a factor of h(8)?
False
Let h = -9 - -14. Let o(j) be the third derivative of j**4/12 - j**3/3 + 11*j**2. Is 3 a factor of o(h)?
False
Let y be -7*4*2/(-28). Suppose -5 = y*k - 17. Does 12 divide 43 - 0 - k/(-2)?
False
Let c(r) = -r**2 + 23*r + 17. Is c(22) a multiple of 13?
True
Let s = 1022 + -562. Does 46 divide s?
True
Let z = 141 - 63. Does 11 divide z?
False
Suppose -2*z - 324 = -2*l, 4*l - z - 374 = 274. Is 54 a factor of l?
True
Let x(l) = -l**3 - 7*l**2 + 3*l + 4. Let w be x(-5). Let o = w - -146. Suppose -4*i - 5*r - o = -273, 3*i - r = 122. Does 14 divide i?
True
Suppose 12*t - 1 = -121. Is 22 a factor of -4 - 0 - (t + -315 - -8)?
False
Let i be 12/(-54) + 497/9. Suppose 0 = -z + 62 - i. Is z a multiple of 7?
True
Let v = 37 + -32. Suppose 2*n - k = -5*k + 10, -v*n + 61 = -2*k. Does 2 divide n?
False
Suppose 0 = -8*p + 1506 + 15966. Does 84 divide p?
True
Let s(u) = -u**3 + 4*u**2 + 6*u - 5. Let v be s(5). Let x be (-3)/4*(-4 - v). Is 1/(x/(3 - -39)) a multiple of 4?
False
Let x(h) = h + 13. Suppose 22 = -5*r - 33. Let v be x(r). Is (v/3)/(8/300) a multiple of 12?
False
Suppose -67 = -4*y + 5*h + 834, -2*h = -2*y + 450. Suppose z = 3*b - z - y, -b + 2*z = -80. Is 36 a factor of b?
True
Suppose 0 = 8*f + 21 + 59. Suppose 2*m + 5 = 7. Is (6/(-4))/m*f a multiple of 4?
False
Let x be (359/(-5) - (-4)/5)/1. Let b = 98 + x. Does 7 divide b?
False
Let w be 162/(-1)*(1 - (-6)/(-12)). Let h = -44 - w. Is 3 a factor of h?
False
Let l = 16 + -21. Let m be (-3)/l*5/1. Suppose 0 = -2*d - m*d + 75. Is d a multiple of 5?
True
Suppose 9*t = 5*t + 160. Does 4 divide 1 - (1 - t) - (-57 + 57)?
True
Let b = -307 + 592. Is 15 a factor of b?
True
Let h(q) = q**2 - q + 30. Suppose -w - w = w. Is h(w) a multiple of 30?
True
Let h(x) = x + 6. Let a be h(-6). Suppose 45 = 2*j - a*j + v, -v + 95 = 4*j. Suppose -5*r + 261 = 4*i, -4*i + j - 135 = -2*r. Does 12 divide r?
False
Let g be (-3)/(-5) + (-9)/15. Let x(o) = -3*o + 2 + 9*o + g*o + 1. Does 7 divide x(3)?
True
Let a(y) = -y**3 - 7*y**2 - 3*y - 1. Let c be a(-5). Let u = c - -65. Does 6 divide u?
False
Let o be 1*(2 + (0 - 5)). Let q be 4/6 + (-10)/o. Suppose -3*d - 48 = -q*d. Is 24 a factor of d?
True
Suppose 0 = -2*u + 4*q + 66, -5*u + 193 = -4*q + q. Let t = u + -90. Let d = 85 + t. Does 12 divide d?
True
Suppose -72 = -7*h + 26. Let i = h - 9. Let q = 6 + i. Is q a multiple of 8?
False
Suppose 0 = -5*l + 5*v + 380, l - 77 - 7 = 3*v. Does 12 divide l?
True
Suppose 3*m - 6 = o + 9, 0 = m - 2*o. Let z = m - 13. Is 17 a factor of 53 - z/((-14)/4)?
True
Suppose -5*v - 5*r + 651 = -184, 3*v - r - 505 = 0. Is v a multiple of 28?
True
