t) = 14*d(t) - 3*g(t). Let w be m(8). Is w/9 + 4/(-6) a multiple of 31?
True
Suppose -b - 3*b + 4*d + 28 = 0, 0 = 4*d. Suppose b*o - 825 = 4*o. Does 55 divide o?
True
Let j(t) = 8*t - 8. Let m be j(10). Let b be 4/(-3)*m/(-32). Suppose -b*k = -6*k + 126. Does 14 divide k?
True
Let w = 14 + -2. Let s(g) = 3*g - 12. Does 4 divide s(w)?
True
Let m(h) = -3*h + 15. Let f be m(4). Suppose -4*s + 20 = 2*x - 92, -f*x + 212 = -5*s. Does 20 divide x?
False
Suppose 5*v + 2 = -5*d + 52, 28 = 2*d + 4*v. Suppose 3*j + 3*z = 32 + 127, -d = -2*z. Is 10 a factor of j?
True
Suppose 0 = -3*a + 2*a + 180. Is 30 a factor of a?
True
Let l(h) = 30 - 10*h - h - 5*h**2 + 4*h**2. Is l(-13) a multiple of 2?
True
Is (-660530)/(-585) - (4/18)/2 a multiple of 85?
False
Let o(b) = -b**3 + 8*b**2 - 8*b + 8. Let y = 11 + -5. Let r be o(y). Let d = 12 + r. Is d a multiple of 9?
False
Let z = 24 + -19. Suppose -z*r + 163 = -22. Is r a multiple of 10?
False
Suppose -2*v + 3*u + 14 = 0, 2*v + v = u + 14. Suppose 0 = v*l + 5*r - r - 100, -3*r = 4*l - 102. Is l a multiple of 3?
True
Let p be 11/6 - (116/24 - 5). Suppose 3*v - p*j = 182, 2*v - j = -2*j + 119. Is v a multiple of 30?
True
Suppose 11*q + 168 = 58. Suppose 2*t - 11 = -v, -6*t + 3*t = 5*v + 1. Is t/q - (-537)/15 a multiple of 8?
False
Let t(h) = h**3 + 2*h**2 - 1. Let r be t(-1). Suppose r*i = -p - 3*i + 11, 0 = -p + 5*i - 13. Suppose p*u - 38 = 16. Is u a multiple of 5?
False
Let r(g) = -32*g**3 - g**2 + 7*g - 6. Does 18 divide r(-3)?
True
Let q = 31 - 12. Let k = 19 - q. Suppose k = -9*z + 4*z + 115. Is 7 a factor of z?
False
Suppose -15*c + 270 = -12*c. Let u be (-86)/(-10) - 2/(-5). Does 10 divide 124/u - (-20)/c?
False
Let i = -165 - -335. Is 10 a factor of i?
True
Let z(n) = 3*n - 32. Let l be z(0). Let d = l - -51. Is 2 a factor of d?
False
Let d = 84 + 353. Is d a multiple of 23?
True
Suppose -6222 = -7*k + 631. Does 32 divide k?
False
Suppose 3*y = -132 - 105. Let f = 114 + y. Is f a multiple of 7?
True
Let w = 27 + -53. Let i = w + 44. Suppose 2*q - 26 = i. Is 17 a factor of q?
False
Suppose 351 + 359 = 5*w. Is w a multiple of 12?
False
Let i be 0 + -9 + -4 + 7. Let b be ((-1)/3)/(i/72). Suppose 0 = -b*c + 71 + 49. Is 6 a factor of c?
True
Suppose 0 = -10*u - 4*u + 84. Does 14 divide 201/u - 1/2?
False
Is 20 a factor of (-6)/9 - (2 - 27520/24)?
False
Suppose x - 2*x = 4*t - 86, 2*x + 4*t - 176 = 0. Let j(a) = -2*a**3 - a**2 - a. Let s be j(-3). Let q = x - s. Is 14 a factor of q?
True
Let a(p) = -42*p + 46. Does 12 divide a(-5)?
False
Let z(b) = -b**3 - 35*b**2 - 30*b - 58. Is 122 a factor of z(-36)?
True
Let x(n) = n**3 + 2*n**2 + 4*n - 4. Suppose 2*g - 7*g = -20. Is 27 a factor of x(g)?
True
Suppose 0 = -4*k + 5*n + 77 - 14, 0 = 2*n - 10. Let c = 55 + k. Is c a multiple of 11?
True
Let h be 3*510*(-12)/(-10). Suppose 336 - h = -15*k. Is 10 a factor of k?
True
Suppose 94 = 7*h - 74. Let y = 24 - h. Suppose 4*l - 7*j + 3*j - 344 = 0, 4*l + 3*j - 358 = y. Is 22 a factor of l?
True
Does 8 divide (-254)/(-12) - ((-114)/(-36) - 3)?
False
Suppose -5*n + 2558 = -3*d, -3*d + 0*d = 5*n - 2552. Does 8 divide n?
False
Let h = -474 - -836. Is h/10 + (-4)/(-5) a multiple of 8?
False
Does 8 divide 146/((-180)/105 - (-4)/2)?
False
Is 21 + -26 - (0 + -453) a multiple of 14?
True
Suppose 8*v - 4*v = 308. Let l = -190 - -192. Is 19 a factor of v - l*(-2)/(-4)?
True
Let p = 1292 - 973. Does 90 divide p?
False
Let p(q) = -q**2 - 13*q + 32. Let t be (-146)/18 - 16/(-144). Is 12 a factor of p(t)?
True
Let x(d) = d**3 - 17*d**2 - 13*d + 54. Does 48 divide x(18)?
True
Is (5/(-4))/(8/32) - -104 even?
False
Let d(y) = y**3 - 20*y**2 - 14*y + 73. Does 20 divide d(21)?
True
Suppose 1624 = -13*b - b. Let s = 150 + b. Does 34 divide s?
True
Suppose 0 = -h + 1 - 0. Suppose -n - 3*n - 243 = -5*k, -4*n - 55 = -k. Suppose 0 = -3*a + h + k. Is 9 a factor of a?
False
Let n be (119 - 0)*(9 + -10). Does 4 divide 4/60*3 - n/5?
True
Suppose 0 = 2*p - 7 + 5. Let z be (3 - 1)/p - -187. Suppose 2*v - z = -v. Does 21 divide v?
True
Suppose -4*o = w - 774, 5*w - 382 = -3*o + 207. Is 8 a factor of o?
False
Suppose 4 + 2 = 3*n. Let c(q) = 2*q - 2*q**3 + 3*q**3 + 7 - 9 - n*q**2. Does 15 divide c(4)?
False
Let u = 281 - 176. Suppose 3*c + u = 6*c. Let y = c - -20. Is 14 a factor of y?
False
Suppose 2*i - 2*k = -3*k + 12, 2*k = i + 4. Suppose -i*u - 5*c = -207, 3*u + 5*c - 102 = 47. Is 7 a factor of u?
False
Let m be 1/10*2 + 16240/50. Suppose -10*n - m = -15*n. Is 13 a factor of n?
True
Suppose 0 = -7*i + 8*i - 320. Suppose 4*p + i = 9*p. Does 16 divide p?
True
Let g = -543 - -673. Is g a multiple of 10?
True
Does 57 divide 12*9 - (-16)/(-4)?
False
Suppose 29*f - 2971 = 45. Is 5 a factor of f?
False
Let o(u) = -u - 3. Let f be o(-7). Suppose -f*s - i = -s - 430, 4*s + 3*i = 580. Does 47 divide s?
False
Suppose 4*g - g - 30 = 0. Suppose 5*t + g = 0, -3*t - 200 + 0 = -2*l. Let x = l + -52. Is 9 a factor of x?
True
Let y = 132 + -128. Suppose -y*w = -w - 36. Is w a multiple of 8?
False
Let f(h) = -12*h + 1. Let o be f(2). Suppose 5*p + m - 238 = 4*m, 3*m = p - 50. Let g = p + o. Does 7 divide g?
False
Suppose -2*g + 0 - 6 = 0. Let j be 24/3 + -2 + g. Suppose 234 = 5*y - 3*t, -j*y + 0*t - 5*t = -120. Does 15 divide y?
True
Let o be 6 - 136 - 1*-2. Suppose -3*q + 1 = -5, -5*j = -2*q + 1009. Let h = o - j. Is 20 a factor of h?
False
Let t = -163 - -106. Let q = 92 + t. Is q a multiple of 35?
True
Let b = 45 - 50. Let y = -2 - b. Is y a multiple of 3?
True
Suppose 24*r - 3*r = 6552. Is 11 a factor of r?
False
Suppose 172 - 1860 = -4*a. Is 35 a factor of a?
False
Let g be (-4)/(-8)*-2 + 2. Let w = g + -1. Suppose w = -3*t - 0*t + 84. Does 22 divide t?
False
Let y(h) = h + 4*h - 5*h + 5*h. Is 9 a factor of y(7)?
False
Let y(d) = -d**2 - 40. Let c be y(0). Let t = c - -182. Is 30 a factor of t?
False
Let u = 32 - 27. Suppose 414 = u*z - 261. Suppose -6*x + 435 - z = 0. Does 8 divide x?
False
Let o = -1403 - -2069. Is o a multiple of 81?
False
Let p(q) = 18*q - 41*q + 24 + 5*q + 6*q. Is p(-6) a multiple of 10?
False
Does 38 divide -1 - -241 - (-11 + 15 + -2)?
False
Let y = 33 + -30. Suppose -5*v - 322 = -4*u, y*u = -2*u - 3*v + 384. Does 19 divide u?
False
Suppose 0 = 6*j - 7*j. Suppose j = -2*o + 4*o - 30. Is 15 a factor of o?
True
Let n(l) = -4*l**3 - 21*l**2 - 23*l - 13. Let a(k) = 2*k**3 + 11*k**2 + 12*k + 6. Let j(z) = 5*a(z) + 3*n(z). Is j(-5) a multiple of 43?
True
Let m = 14 - 17. Let v(n) = -3*n**3 + 4*n**2 + 4*n - 1. Is v(m) a multiple of 26?
True
Let v be (-3 - 0)*(-16)/(-6). Let t(n) = -n + 3. Let l be t(v). Does 8 divide l + (8/4 - -1)?
False
Let v be (-3976)/(-6) - 5/(-15). Let w = 1003 - v. Suppose 6*r + w = 11*r. Does 17 divide r?
True
Let i(z) = -z**3 + 17*z**2 - 12*z + 62. Is 63 a factor of i(16)?
True
Let j = 149 + -276. Does 36 divide -2 + 5 + 1 - j?
False
Suppose 5*k - 5*q = 0, q + 3*q - 25 = -k. Suppose k*w - 20 = -d, d + 12 = 3*w - 0*d. Suppose -2*z + w*z - 42 = 0. Is 7 a factor of z?
True
Let s(a) be the first derivative of -a**4/4 - a**3/3 - 5*a**2/2 - 3*a - 3. Let o = 19 - 22. Is s(o) a multiple of 6?
True
Let p be 20/(-6)*12/(-8). Suppose p*j = -5*a + 85, -88 = -3*j - j + a. Is 4 a factor of j?
False
Does 8 divide (165/(-27) + 6)*-909?
False
Let g be (-16)/24 + 1084/6. Suppose -t - 3*t + g = 0. Is 12 a factor of (-1 - (4 - 8)) + t?
True
Let t be 21/(-9)*(0 + -15). Let l be (-8)/(-6) + (-4)/(-6). Suppose 0 = -v - l*k - k + 6, 4*v - t = -k. Is 2 a factor of v?
False
Let j(x) = -x**3 - 2*x**2 - 12*x - 25. Is j(-8) a multiple of 61?
False
Suppose 403 = -2*q + 95. Let r = -82 - q. Is r a multiple of 24?
True
Let l = 7 - 19. Does 3 divide 516/l*(-3)/(4 - 1)?
False
Is 11 - 11 - (-562)/2 a multiple of 88?
False
Suppose -z - 2*b + 48 + 43 = 0, -3*b - 71 = -z. Let m = z + -44. Is 13 a factor of m?
True
Let i be (5 - 3)/((-3)/(-9)). Suppose 11*y - i*y = 540. Is y a multiple of 12?
True
Suppose -3*k - 1380 = -5*i - 4*k, -4*i + 1115 = 3*k. Suppose i = 2*r + 71. Is 21 a factor of r?
False
Let k be 2 + -3 - (-3 - -2). Suppose 3*t + 0*t - 42 = k. Let y = 35 - t. Does 7 divide y?
True
Let p = 21 + -16. Suppose -2*k - 4*u = 14, p = 4*k - 3*u - 0. Does 12 divide (2 + 0)/(k/(-20))?
False
Suppose 4*v - 12 = 4*z, -z - 2 = 3*v - 7. Suppose -v*o - 33 = -5*a, a 