5*g + 144 = 3*t, -2*g + 3*g = -2*t + d. Does 12 divide t?
True
Let t(n) = -n**2 + 18*n + 8. Let w be t(10). Suppose 5*h = -4*j + w, -j + h + 47 = 2*j. Let v = 61 - j. Is v a multiple of 22?
True
Let q(z) = z**3 + 9*z**2 - 10*z + 2. Let w be (-7)/(14/(-20)) + 0. Suppose -v = -0*v + w. Is q(v) a multiple of 2?
True
Let a(f) = 9*f + 512. Does 63 divide a(5)?
False
Let h(k) = 21*k**3 + 4*k**2 - 4*k + 1. Is h(1) a multiple of 22?
True
Let r(b) = b**3 + 37*b**2 - 50*b + 6. Is r(-38) a multiple of 44?
False
Suppose -2*l - 895 = 4*u - 3119, 3*l = 2*u + 3368. Is 20 a factor of l?
True
Let o(p) be the third derivative of -p**6/120 + p**5/5 - p**4/2 + 13*p**3/6 - 9*p**2. Let d be o(11). Suppose 190 = -d*f + 7*f. Is f a multiple of 12?
False
Let z be (-4 + 4)*2/4. Suppose z = -4*f + 4*l + 20, -5*f - 4*l - 2 = -0. Is (4 - f)/((-2)/(-34)) a multiple of 9?
False
Suppose 194*n = 203*n - 666. Does 27 divide n?
False
Let s(w) = 29*w - 25. Is 16 a factor of s(7)?
False
Let z(h) = 10*h + 5. Let n be z(-5). Let r = n + 103. Does 9 divide r?
False
Let h(d) be the second derivative of d**5/20 - d**4 - 3*d**3/2 - 10*d. Is h(13) a multiple of 10?
False
Let v(l) = -52*l**3 + 6*l**2 + 6*l. Is 12 a factor of v(-1)?
False
Let p be (-279)/15 + (0 - 6/(-10)). Is (-6)/p - (191/(-3) + -1) a multiple of 8?
False
Let m(x) = -1932*x**3 + 3*x**2 - 3. Is m(-1) a multiple of 84?
True
Let z(a) = 1 + 21*a**2 + 5*a**2 - 5*a**2. Let x be z(-1). Is 6 a factor of x/4 - 21/(-14)?
False
Let u be -13*1 - (-19 - -15). Let t be (-1 + 0)/(u/(-81)). Let f(k) = -2*k - 6. Does 4 divide f(t)?
True
Suppose 23 = 2*i - 31. Is 27 a factor of i?
True
Suppose z + 16 = -4*u, u - 4 = 3*z - 21. Suppose z*v - 9 - 35 = 0. Suppose -7 - v = -2*y. Is 2 a factor of y?
False
Let o be (264/60)/(2/5). Does 5 divide (o - -1)/(4/2)?
False
Let p(q) = 2*q**3 - 6*q**2 - 2*q + 15. Let k be p(4). Suppose 166 = 5*i - k. Does 8 divide i?
False
Is 73 a factor of (-58)/(-319) + (-64236)/(-22)?
True
Let k(q) = -8*q**2 - q - 12. Let i be k(6). Let j = i + 509. Is 15 a factor of j?
False
Let z be 10/4 - (-2)/(-4). Suppose -4*g = -z*l + 68, -2*g = 6 - 2. Does 10 divide l?
True
Let u be (-1)/(-2) - 14/(-4). Suppose -5*o - 4*j = -125 + 10, 69 = 3*o + u*j. Is 5 a factor of o?
False
Let n be ((-4)/12)/(1/66). Does 24 divide 10*16 + n/(-11)?
False
Suppose -609 = -3*r + 3*b + 27, 4*b = r - 209. Does 6 divide r?
False
Suppose t - 24 = -0*t. Does 13 divide 914/7 + t/56?
False
Let k(a) be the third derivative of a**5/60 - a**4/12 + a**3/3 - 5*a**2. Let z = 2 - -1. Is 3 a factor of k(z)?
False
Let m(g) = g**2 + 7*g - 56. Let t be m(5). Is (-15 + 4)/((t - 3)*-1) a multiple of 2?
False
Suppose -3*q = -7*q + i + 9, 4*i = -4*q + 24. Suppose 0 = -q*g + 5*g - 338. Is 19 a factor of g?
False
Let u be (-2)/(3*(-4)/48). Suppose -90 = 6*v - u*v. Is v a multiple of 4?
False
Let w be 1 + 8/(9 + -5). Suppose 8*j - 2*a - 1103 = w*j, j + 5*a = 226. Does 34 divide j?
False
Let f(k) = -2*k**3 - 3*k**2 - 3*k - 4. Let w be f(-3). Let h = -30 + w. Suppose -76 = -4*r - 5*c, 0 = -2*r - h*r + 3*c + 76. Does 16 divide r?
False
Suppose 42*h = 3249 + 1665. Is h a multiple of 39?
True
Suppose -4*q + 48 = -5*a, -4*a + 3*a - q = 15. Let f = 92 + a. Is 10 a factor of f?
True
Suppose 0 = 2*k + 10 + 2. Is 17 a factor of (-1596)/(-10) - k/(-10)?
False
Let y(t) = -t**3 - 9*t**2 - t + 3. Let m be y(-9). Let k(q) = q**2 - 7*q - 14. Is k(m) a multiple of 11?
False
Suppose 6*r - 11*r = 5*b - 555, -4*b = -3*r - 437. Let l = b - 14. Does 12 divide l?
True
Suppose -3*r = -7*r - 104. Suppose -4*g - 6 - 22 = 0. Let b = g - r. Does 19 divide b?
True
Let f(o) = -o**2 - 7*o - 5. Let a be f(-6). Is (a/2 + 0)*414 a multiple of 46?
False
Suppose -22*x = -21*x + 5*k - 91, 3*x - 2*k = 256. Does 5 divide x?
False
Does 11 divide (72/16)/((-165)/(-82) - 2)?
False
Suppose -6*k + k + 715 = 0. Suppose -532 = -3*y + k. Suppose -q = 4*q - y. Is 15 a factor of q?
True
Suppose 2*z + 3*x - x = 16, 5*z + 2*x - 28 = 0. Suppose b - 4*q = 68, 0 = -z*b - 2*q + 409 - 119. Is b a multiple of 18?
True
Let a(u) = -u**2 + u + 11. Let y be a(0). Let p(f) = -22*f - 11. Let z be p(-7). Does 13 divide 2/y - (-7267)/z?
False
Suppose 21 = 3*q - 297. Suppose -6*c + 4*c = -q. Does 22 divide c?
False
Let n(v) = -18*v + 8. Let f = -33 + 31. Does 20 divide n(f)?
False
Let i be 168/(-32) + (-6)/8. Does 19 divide (2/4)/(i/(-228))?
True
Let x(c) = -c**3 + 9*c**2 - 16*c + 9. Let t be x(8). Does 6 divide (66/t)/((-1)/5)?
True
Suppose 4*p - 2*o = 282 - 800, 3*p = -3*o - 375. Let x = -9 - p. Is x a multiple of 26?
False
Let g(l) = 1087*l**2 - 3*l - 2. Is g(-2) a multiple of 64?
True
Suppose 3*s + 5*n = 474, 4*s - 117*n + 116*n = 655. Is 17 a factor of s?
False
Suppose -8*u = -12*u. Suppose u = 3*n - 9 + 3. Is n a multiple of 2?
True
Let y = -38 + 10. Suppose w = 4*z + 97, -w + 80 + 38 = 3*z. Let u = y + w. Is u a multiple of 17?
False
Let x(s) = -s**3 + 3*s**2 + 4*s + 2. Let h be x(4). Suppose 431 = 3*j + h*b, j + 730 = 6*j + b. Is 16 a factor of j?
False
Let a(q) = 40*q - 5. Let c be a(4). Suppose -3*h = -5*o + 156 + c, -2*h = -6. Does 16 divide o?
True
Suppose r - 92 + 3 = 0. Suppose -q = -1, -q + 574 = 4*w + r. Does 41 divide w?
False
Let z(s) = -3*s**3 - 4*s**2 - 4*s + 50. Is z(-6) a multiple of 18?
False
Let k = -320 - -1028. Suppose 0*g = -4*g + k. Suppose -9*j - g = -12*j. Is j a multiple of 28?
False
Let c(f) = f**3 + 2*f**2 + 34*f + 21. Is 57 a factor of c(6)?
True
Let a be (4/5)/(7/(-70)). Let r(y) = y**3 + 7*y**2 - 10*y + 5. Let v be r(a). Is 4 a factor of v - (9/(-3) - -4)?
True
Is 10 a factor of 240*((-2)/(-14) - 184/(-280))?
False
Suppose -3*u = -6*u + 507. Is u a multiple of 8?
False
Let h(m) = -m**3 + 8*m**2 - 10*m - 8. Let q be h(8). Does 12 divide (-3)/8 - 1705/q?
False
Let q = -110 - -474. Is q a multiple of 6?
False
Is 7 a factor of (1432/(-6))/((-12)/18)?
False
Is 130*14/105*(2 + 28) a multiple of 93?
False
Suppose 0 = -2*r - 24 + 744. Suppose d = 2*d - 4*i - 72, i = -5*d + r. Is d a multiple of 6?
True
Let o(s) = -6*s + 2. Let t = 8 + 8. Let b be -8*(1 - (-4)/t). Is o(b) a multiple of 31?
True
Let k be (7 - 0)/((-1)/1). Let f(g) = -g + 13. Is 10 a factor of f(k)?
True
Suppose -5*c + 56 = -2*p, c + 4*c - 65 = 5*p. Suppose c + 2 = -3*q. Does 6 divide (-18)/q*(-44)/(-33)?
True
Suppose -5830 = -3*x - 4*v - 250, -v + 7427 = 4*x. Is x a multiple of 58?
True
Suppose -5*h + 73 + 172 = -5*l, -5*h = 2*l - 252. Is 10 a factor of h?
True
Let x(c) = 20*c - 20. Let b be x(3). Suppose 0 = 2*q - b - 68. Is q a multiple of 9?
True
Let l be 2/12 - 5278/(-84). Suppose 2*z - 57 = l. Is z a multiple of 15?
True
Suppose -3*j - 5*m = -18, -5*j - 2*m + 7*m = -70. Let x = j + 7. Does 9 divide x?
True
Let t = -10 - -109. Is t a multiple of 11?
True
Suppose 15*m - 12574 - 15476 = 0. Is m a multiple of 8?
False
Suppose 9*i - 5024 = 6415. Does 13 divide i?
False
Let s(h) = -6*h**3 - 6*h**2 - 10*h - 21. Does 37 divide s(-5)?
True
Let l(b) = -b - 3. Let t be l(-5). Suppose t*y = -2*y - 16. Is (-10)/y*26 - 0 a multiple of 25?
False
Let r be (-20)/(-30)*2*3. Suppose 4*k - 2*i - 2*i - 96 = 0, r*k - 97 = 3*i. Is k*(-2)/(-3 - -1) a multiple of 5?
True
Let q be (12/10)/((-3)/(-50)). Is 3 a factor of (35/(-25))/((-4)/q)?
False
Suppose 5*r = -3*x + 4*r + 12, -15 = -3*x - 2*r. Is x*(-3 - 460/(-15)) a multiple of 18?
False
Suppose -3311 = -90*t + 79*t. Does 16 divide t?
False
Let a be ((-3)/30*-5)/((-2)/(-8)). Suppose p - 16 = a. Is 2 a factor of p?
True
Suppose -54 = -84*q + 83*q. Does 6 divide q?
True
Suppose w + 14 = 10. Let l be ((-120)/(-9))/w*-9. Does 2 divide ((-8)/10)/((-12)/l)?
True
Suppose 13 = -4*t - 103. Let p = t + 41. Does 12 divide p?
True
Let a(m) = -58*m**3 + m**2 + m. Let k be a(-1). Let u = -48 + k. Is u a multiple of 6?
False
Let w(z) = z + 1. Let y be w(-1). Suppose -d - 1 + 22 = 0. Suppose u - d = -y*u. Does 6 divide u?
False
Let h be ((3/3)/(-1))/1. Let g(m) = -m**3 + 3*m**2 - 3*m - 3. Let p(i) = -i. Let x(o) = h*g(o) + 3*p(o). Does 19 divide x(4)?
True
Does 11 divide 330/4*252/210?
True
Let r = 428 - 282. Let u = -94 + r. Suppose 0*p + 4*p - u = 0. Does 3 divide p?
False
Let h = -80 + 198. Is 43 a factor of h?
False
Let s(y) = 40*y + 28. Let m be s(13). Suppose m = 3*x - 382. Does 20 divide x?
False
Let f(x) = -2*x + 