5/(-30). Let s be 129*(r - -3)/9. Suppose -5*g - 3*m + 0*m = -176, -2*m - s = -g. Is 12 a factor of g?
False
Let n(m) = -m**2 + 4*m - 1. Let w(o) = -o. Let u(g) = -n(g) - 2*w(g). Let t be u(1). Suppose t*z - 28 = -z. Does 8 divide z?
False
Suppose -12 + 2 = 5*b. Is 11 a factor of (-2 - -63) + (b - 1) + 3?
False
Let c(u) = -2*u - 12. Suppose -37 = -3*j - 67. Is 7 a factor of c(j)?
False
Let k = -188 - -235. Is 2 a factor of k?
False
Suppose t - 5*l = -0*t + 90, t + 5*l - 130 = 0. Suppose -3*k - t = 2*k. Let f = 14 - k. Does 12 divide f?
True
Suppose -2*s + 2*q + 398 = -4668, -4*s + 10087 = 5*q. Does 31 divide s?
False
Suppose 404 + 91 = 3*a + 3*k, -4*a - 2*k + 654 = 0. Does 21 divide a?
False
Let z = -21 + -3. Let h be 4/(z/(-9))*2. Suppose -m - h*t + 0*t = -19, -5*t - 15 = -3*m. Does 10 divide m?
True
Let j(b) = b**3 + 5*b**2 - 7*b + 1. Let k be j(-6). Let q = -23 + k. Let d = q + 44. Does 14 divide d?
True
Suppose -417 - 98 = -5*l. Does 15 divide l?
False
Let b(l) = -13*l**3 - 4*l - 3. Let a be b(-3). Suppose -n = 3*k - 0*n - 262, -4*n = 4*k - a. Let z = k + -54. Does 17 divide z?
False
Let o(u) be the second derivative of u**7/840 + u**6/40 + u**5/30 + u**4/3 - u**3/3 + 11*u. Let h(m) be the second derivative of o(m). Is 23 a factor of h(-6)?
True
Let y(i) = -i + 8. Let s = 0 + 8. Let k be y(s). Is k + 41 - (-5 - -9) a multiple of 10?
False
Suppose -10*o + 1766 = -16784. Is o a multiple of 35?
True
Let k = 351 - -677. Is 6 a factor of k?
False
Is (-723)/(-2) + 2/(28/(-21)) a multiple of 9?
True
Let z = -12 + 18. Let d(f) = -2*f + 13. Let g(h) = 3*h - 13. Let o(j) = z*d(j) + 5*g(j). Does 16 divide o(7)?
False
Suppose 5*y + 4*c = 38, y = -0*c + 4*c - 2. Is 17 a factor of 27/(-18) - (-417)/y?
True
Let t(r) = 0*r - r**2 - 7*r + 3*r**2 + 5 - r**2. Let q be t(7). Suppose q*u - 426 = -131. Does 20 divide u?
False
Let m(o) = o + 6. Let t be m(-3). Suppose 0*b - t*p - 101 = 2*b, 5*b + 3*p + 248 = 0. Is 11 a factor of (-14)/b - (-390)/7?
False
Suppose 3*z - 8 = 2*z. Suppose 2*h - z - 28 = 0. Is (-4)/(-18) + 266/h a multiple of 4?
False
Let b be 4/(-14)*(0 + -21). Let j(s) = 5*s + 4. Let o be j(b). Suppose -f + o = 7. Is 4 a factor of f?
False
Let t be (-1)/(12/(-3))*0. Let b(d) = 56*d**2 + d - 1. Let g be b(1). Suppose g = -t*m + m. Is m a multiple of 28?
True
Let z(h) = -764*h - 538. Is z(-3) a multiple of 139?
False
Is 22 a factor of 415 + (-4 - (4 + 0))?
False
Let r(d) = -d - 16. Let t be r(-11). Let v(q) = q**3 + 6*q**2 + q - 4. Does 4 divide v(t)?
True
Let r(l) = 13*l**3 + 2*l**2 + 5*l + 2. Let j(d) = -28*d**3 - 4*d**2 - 10*d - 5. Let q(h) = -6*j(h) - 13*r(h). Is q(-6) a multiple of 54?
False
Suppose r - 378 = -2*s - r, 378 = 2*s - 5*r. Suppose -3*b + 0*w = 5*w - s, -b = w - 65. Is 22 a factor of b?
False
Let w = -1410 + 2073. Is 39 a factor of w?
True
Let s(y) = y**3 + 11*y**2 - 11*y + 11. Let p be s(-12). Let t(n) = 14*n**2 + n. Let x be t(p). Let d = -2 + x. Does 4 divide d?
False
Is 13 a factor of (2 + -9 + 8)*897?
True
Let b(k) = 2*k**3 + 6*k**2 + k - 6. Let z(c) = -c**3 - 5*c**2 - c + 5. Suppose 4*p - 3*p = 4. Let h(g) = p*b(g) + 6*z(g). Is h(5) a multiple of 26?
False
Suppose 4*w = 2*o + 324, -11*o + 9*o = -4. Is w a multiple of 9?
False
Let v(x) = 3*x - 1. Let n = -28 + 33. Does 8 divide v(n)?
False
Let u = 1890 + -1122. Is u a multiple of 96?
True
Let c(b) = 4*b**3 - 3*b**2 + b + 10. Is c(5) a multiple of 44?
True
Suppose 0 = -33*g + 27*g + 4110. Is g a multiple of 137?
True
Suppose 345*n = 340*n + 3075. Is n a multiple of 10?
False
Suppose 0 = 4*g + 4*d - 12, 17 + 10 = g - 5*d. Is g even?
False
Is 62 a factor of (12/8)/(-3*1/(-5456))?
True
Suppose -s + 0*s = 0. Suppose 4*p - 2*c - 6 = s, 4*p - c + 5*c = 24. Does 17 divide (-2 - (-27 + p))*2?
False
Let t = 1165 - 661. Does 63 divide t?
True
Let d(p) = p**2 - 18*p + 42. Let a be d(16). Suppose -3*o = -o + a, -5*i = -5*o - 235. Is i a multiple of 7?
True
Suppose -t + 8 = -5. Let q = t - 11. Suppose -q*g + 60 = 5*a, 2*g - a - 60 = -0*g. Is g a multiple of 30?
True
Let r be (4 - 2)*-1 + 6. Let o(x) = 8*x + 74. Let a be o(12). Suppose 3*p - a = r. Does 27 divide p?
False
Let q be 22/((-4)/(-3) - 2). Let l = 64 + q. Is l a multiple of 5?
False
Suppose 37*i - 26*i = 2046. Is 8 a factor of i?
False
Let r be (24 + -3)*(-8)/(-12). Let d = r + -20. Let x(g) = -18*g + 1. Does 26 divide x(d)?
False
Let b be (11 + -3)*65/2. Suppose 6*a = 2*a + b. Is a a multiple of 13?
True
Suppose 0 = 3*n - 308 - 472. Is n a multiple of 26?
True
Suppose 0 = -0*i - 10*i + 25250. Is i a multiple of 101?
True
Suppose 3*n - 3256 + 704 = 4*a, -868 = -n - 3*a. Is 36 a factor of n?
False
Let v(s) = 3*s**2 + 21*s - 30. Does 30 divide v(8)?
True
Suppose -5*f = 4*c - 0*f - 1757, 5*f - 5 = 0. Suppose -4*s - 5*o = -c, 5*s - s = -4*o + 436. Is s a multiple of 35?
False
Let k(x) = 43*x**3 + x**2 + x + 2. Suppose 0*q - 2*p - 6 = -5*q, -4*q = 5*p - 18. Let f be k(q). Suppose -f = o - 5*o. Is 24 a factor of o?
False
Suppose -2*h + 5*j + 29 = 0, -2*h + 6 = -j - 3. Suppose m = 3*m + a - 53, h*m = -2*a + 52. Does 3 divide m?
True
Suppose 35*d = 7379 + 4171. Is 55 a factor of d?
True
Is 209/11 - (-2 - -1) a multiple of 4?
True
Suppose 20*s + 1488 = 28*s. Suppose 5*w - s = 44. Does 3 divide w?
False
Let z(f) = 27*f**2 - 6*f + 14. Let u = -131 - -134. Does 34 divide z(u)?
False
Let d = -617 + 1654. Is 7 a factor of d?
False
Let h = -40 + 77. Let i = h + -149. Let v = i + 163. Does 26 divide v?
False
Let q = -194 + 359. Suppose q = m + 3*x, -4*m - 3*x + 140 = -520. Does 9 divide (-1)/(327/m - 2)?
False
Let h(i) = -i**2 + 6*i - 6. Let b be h(5). Let c be 1/b*6/(-2). Suppose c*w + 10 = 2*l, 4*l - 56 = -0*w - 3*w. Is l a multiple of 3?
False
Does 16 divide 404 + 2 + 24/(-6)?
False
Let d(z) = z**2 + 5*z - 1. Let j be d(-4). Let t be (-2)/j - 96/(-60). Suppose 2*b - t*h + 7 = h, -4*b + 2*h + 6 = 0. Is 4 a factor of b?
True
Let l(z) = 2*z**2 + 2 - 6*z + 4*z**2 - 2*z**2 - 3*z**2. Let r be l(6). Suppose -g - r*k = 2*k - 46, -2*g = -k - 65. Does 17 divide g?
True
Suppose -2*d = 2*v - 5732, -37*d + 36*d = 3*v - 2866. Does 58 divide d?
False
Let q(d) = 609*d**3 + 2*d**2 - 3*d. Does 19 divide q(1)?
True
Let p(v) = -20*v - 335. Is p(-22) a multiple of 5?
True
Let u(t) = 2*t + 6. Let x be u(3). Suppose -153 = 3*i - x*i. Is i a multiple of 12?
False
Suppose 0 = 6*h + 38 - 110. Suppose -2*p - 88 = -3*f - f, -h = -3*p. Does 6 divide f?
True
Suppose 2*l + 206 + 94 = 0. Let h = -48 - l. Suppose -2*i = -18 - h. Does 20 divide i?
True
Let y = 2351 + -1957. Does 6 divide y?
False
Let k(z) = -z**2 - 6*z - 5. Let o be k(-4). Suppose 0 = o*s - 5*u - 22, -2*s - 3*u = u. Is (2/5)/(s/60) a multiple of 6?
True
Let h(d) = -d**2 + 9*d - 4. Let x be h(8). Let l(b) = 7*b - 5. Let v be l(9). Suppose 2*r = x*r - v. Does 29 divide r?
True
Suppose -2*o - 16 = 14. Let h(f) = f + 17. Let x be h(o). Suppose 22 - x = 5*g. Does 2 divide g?
True
Let t = 5620 - 3623. Is 48 a factor of t?
False
Suppose 0 = 3*t - 5*y - 15, 3*y = y. Suppose t*u + 158 = 3*q, 0 = q - 3*u + 8*u - 46. Is 16 a factor of q?
False
Suppose -6*y = -5*d - 4*y + 352, -2*y = d - 68. Suppose -2*k = 5*g - 13 - 31, -4*k - g = -d. Suppose -k - 61 = -2*s. Is 8 a factor of s?
False
Suppose 0 = 2*f - 7*f + 780. Suppose -4*w - 23 = -7, 2*d - 3*w = f. Is d a multiple of 18?
True
Suppose -11*c - 60 = 6. Let d(w) = -21*w - 1. Let t be d(2). Let y = c - t. Does 17 divide y?
False
Let y be -2 + (3 - -1) - 25. Let s = 53 + y. Is 10 a factor of (-69)/((s/(-4))/5)?
False
Let b = 108 - 102. Does 14 divide ((-748)/b)/((-28)/42)?
False
Let x be (5 - 8) + 4 + 1. Let h(g) = -2*g**2 + 4*g - 4. Let v be h(3). Is x/4 + (-305)/v a multiple of 10?
False
Is 21 a factor of (-222)/(-185)*(-630)/(-4)?
True
Is -5 + -2 + 29543/31 a multiple of 22?
True
Is 65 a factor of 1/(-4) + (2 - 6087/(-12))?
False
Let s = 692 - 377. Let m(c) = -4*c - 51. Let g be m(-14). Suppose g*u = s - 20. Is 17 a factor of u?
False
Let n be (93 + 0)/(7/7). Suppose -a + n = -62. Is 54 a factor of a?
False
Let s(n) = -n**3 - 6*n**2 - 7*n - 5. Let p be s(-5). Let w = p + -5. Is 15 a factor of 12 - w - 1*-3?
True
Let u be 12 - (2 - -2)/4. Is 34 a factor of (11/(u/(-252)) - -2)/(-2)?
False
Suppose -4*k - 5*c = -1190, 4*c - 292 = -k - 0*k. Is k a multiple of 21?
False
Is 