241. Is 20 a factor of g?
False
Let i be (5/2)/(2/(-8)). Is 3*i/15 - -43 a multiple of 41?
True
Let f be 221/51 - (-1)/(-3). Suppose -r - c + 62 = 0, -r - f*c + 24 = -50. Is r a multiple of 25?
False
Let w = 641 + 7. Is 36 a factor of w?
True
Is -1*2*(18 + -202 + -11) a multiple of 39?
True
Let c(i) = 62*i + 16. Is c(2) a multiple of 35?
True
Is 9 a factor of 60/8*(14 - -4)?
True
Let x = -13 - -23. Let f(z) = z**2 + 9*z + 1. Let a(r) = -2*r**2 - 8*r. Let h(q) = 2*a(q) + 3*f(q). Is 3 a factor of h(x)?
False
Suppose -2*l + 0*l + 2 = 0. Suppose 0 = -3*b - w + 9, w + 2 + l = b. Is (36/(-10) + b)*-10 a multiple of 6?
True
Suppose i = 10*l - 12*l + 212, 5*l - 20 = 0. Does 5 divide i?
False
Suppose y + 58*g - 651 = 53*g, y = -2*g + 666. Does 52 divide y?
True
Suppose 3*t - 243 = 2*t - 3*u, -5*u = t - 245. Let g = 14 - 8. Suppose t = -x + g*x. Is x a multiple of 17?
False
Suppose 8*o - 10 = 3*o. Suppose 0 = l + 3*l + 5*t - 247, -o*l + 125 = 3*t. Does 13 divide l?
False
Let j(q) = q**2 + 6*q - 13. Let z be j(-8). Suppose -3*o = 9, 4*o - o = -z*l + 342. Is l a multiple of 13?
True
Suppose -f - 5*o + 904 = 0, -3*f + 7*o = 11*o - 2701. Is 29 a factor of f?
True
Let q(r) = -r + 9. Let i be q(4). Suppose i*a + 122 = 2*c, -2*c + 6*c - 2*a - 260 = 0. Suppose -h = -5*u + 72, -4*u - 3*h + c = -8*h. Is 7 a factor of u?
True
Let t(u) = -33*u - 46. Is 16 a factor of t(-3)?
False
Let y(b) = -b**3 - 5*b**2 + 2*b - 2. Let x be y(-6). Suppose -24*u + 18 = -x*u. Is u a multiple of 5?
False
Let j = -12 - -19. Suppose -n + 28 = 4*q + j, -n = q - 9. Suppose 0 = -4*z - n + 165. Is z a multiple of 10?
True
Suppose -21*y + 15790 + 19826 = 0. Is y a multiple of 16?
True
Let r(p) = -p**3 + 7*p**2 + 15*p + 17. Let u(b) = -2*b**3 + 13*b**2 + 31*b + 35. Let j(y) = 9*r(y) - 4*u(y). Let s be j(12). Is s/2*(-28)/(-7) a multiple of 2?
True
Let a = -1395 + 1472. Does 7 divide a?
True
Let m(z) = 9*z + 10. Let n be m(10). Let o = -51 + n. Is o a multiple of 19?
False
Suppose 4*p - 991 = -5*k, -2*k - 575 - 395 = -4*p. Is p a multiple of 61?
True
Suppose 0 = -5*w + 15, -3*k + 789 = -2*w - 2*w. Is k a multiple of 7?
False
Let t(x) = x**2 + 9*x + 10. Let z be t(-9). Suppose 2*k + z = 72. Suppose 2*b - k = -5*l, -l = 5*b + 25 - 137. Is 11 a factor of b?
False
Let b be 2/4 + (-3)/6. Suppose -3*z + 7*z - 272 = b. Is z a multiple of 17?
True
Let v = 37 - 19. Suppose s + 4*l = -l - 23, -4*l - v = s. Suppose 2*p - 6 = 0, -s*d - 4 + 80 = -2*p. Is d a multiple of 20?
False
Let v = 898 + -482. Does 26 divide v?
True
Suppose -i + 2*g = 46, 0 = i - 0*i + 4*g + 52. Let o = 114 + i. Suppose v - 54 = -v - 4*x, -3*v - 3*x + o = 0. Is v a multiple of 6?
False
Suppose 206*s = 210*s - 1736. Is s a multiple of 31?
True
Let r(g) = g + 5. Let i be r(9). Suppose 0 = -f, i = 4*x + 4*f - 2. Suppose x*v + 2*n - 522 = 0, -3*v - 5*n + 423 = 21. Is 40 a factor of v?
False
Let k(h) = -h**2 + 4*h + 2. Let b(r) = r**2 - 5*r - 3. Let l(d) = 3*b(d) + 2*k(d). Let n be l(8). Suppose -12 = -5*y + n*y. Is 4 a factor of y?
False
Let g be (-6)/21 + (-74)/(-14). Suppose 4*r = 0, -105 = -3*u + g*r - r. Is u a multiple of 16?
False
Suppose q = 34 - 84. Is (-552)/(-10) + 10/q a multiple of 11?
True
Let c(q) = -q**3 + 10*q**2 + 8*q + 16. Let h be c(10). Suppose 5*i = 2*m - h + 16, -3*m + 101 = 2*i. Is m even?
False
Let s(i) = 15*i**3 + 0 + 0. Suppose -7*m + 1 = -6. Is s(m) a multiple of 15?
True
Let o = 9 - 13. Let s = o + 4. Let p = s + 38. Is 13 a factor of p?
False
Suppose -5*m + 3*h + 1385 = 0, 31*m = 33*m - 3*h - 545. Is 20 a factor of m?
True
Let h = 293 - 231. Does 8 divide h?
False
Let i be (-5 - -8)*(-8)/3. Let w be 222/(-9) + i/(-12). Is 10 a factor of (2 + w/15)*50?
True
Let f(z) = -24*z. Let p(l) = 26*l. Let s(h) = 4*f(h) + 6*p(h). Does 5 divide s(1)?
True
Suppose 243 + 121 = -4*i. Let c = -25 - i. Is c a multiple of 11?
True
Let b = 23 - 13. Suppose 2*l + 20 + 10 = 3*w, w = l + b. Suppose c = 5*i - 124, 4*i + 2*c - 98 = -w. Is i a multiple of 12?
True
Let m = 876 + -623. Is m a multiple of 28?
False
Let m(g) = g**3 - 6*g**2 + 6*g - 1. Let v be m(5). Does 22 divide (-13391)/(-91) - v/26?
False
Suppose -32 = 2*y + 2*y. Let u = 3 + y. Let w(n) = -n**3 - 6*n**2 - 6*n - 1. Is w(u) a multiple of 3?
False
Let u(i) = -i - 4. Let k be u(-2). Let d be 9/(-3) - k - 1. Is -3*(d - (-1 + 2)) a multiple of 9?
True
Suppose -3*t - 18 = -4*t. Let a = t + -18. Suppose a = 3*f + 2*o - 47, -4*f + 36 = -5*o + o. Is f a multiple of 7?
False
Let w = -1277 - -4013. Does 38 divide w?
True
Let p(h) = -2*h - 2. Let l be p(-2). Suppose 5*m = 5*v + 93 - 363, m = l*v - 103. Does 15 divide v?
False
Let u(q) = q + 28. Let p be (4 + -10)*(-5)/(-2). Does 7 divide u(p)?
False
Let k = 118 - 188. Let x = -34 - k. Suppose -3*i + 12 = -x. Does 8 divide i?
True
Suppose 4*q = 3*l - q - 2, -4*l - 3*q + 22 = 0. Suppose 0 = 5*s - l*s - 57. Is s a multiple of 7?
False
Suppose -s = 2*l + s - 554, -4*s - 272 = -l. Suppose -4*j = -0*j - l. Is j a multiple of 13?
False
Let g = 452 + -154. Does 4 divide g?
False
Suppose 60 + 68 = 2*o. Suppose 3*r + l = -r + o, -5*r = 5*l - 65. Let q = 4 + r. Is 12 a factor of q?
False
Suppose -5*d - 3*b + 35 = 2*b, 3*d = 4*b + 7. Suppose -5*v + d*x + 285 = 0, 5*v - 437 = -4*x - 107. Is 10 a factor of v?
False
Let u(a) = -4*a**2 + 4*a - 1. Let h = -3 - -7. Let t be u(h). Is 11 a factor of (t/(-2))/((-5)/(-10))?
False
Let t(m) = -5*m**2 + m. Let o be t(2). Let n = 22 - 9. Is o/(-117) + 401/n a multiple of 17?
False
Let l be 20/8*(-4064)/40. Let c = -6 - l. Does 62 divide c?
True
Let p = -40 - -21. Let c = 19 - p. Is 12 a factor of c?
False
Suppose -18*n = -20*n + 60. Is n even?
True
Let h = -49 - -49. Suppose -f - 4*z + 343 = 4*f, h = -4*f + 5*z + 258. Does 14 divide f?
False
Let l be 33/4 + 2/(-8). Suppose 0*a + l = 2*f - a, -2*a + 4 = f. Suppose -k + 27 = n - 9, -f*k + 8 = 0. Is 13 a factor of n?
False
Let t(v) = v - 2. Let s be t(7). Let l be (3/(-5))/((-1)/s). Suppose l*h = o + 35, 3*o - o - 14 = -h. Is h a multiple of 9?
False
Let c(i) = -i**3 - 6*i**2 + 6*i - 3. Let t be c(-7). Let x = 15 - 17. Is 63/9 - t/x a multiple of 3?
True
Suppose -8*p + 3*p + 30 = 0. Let z be -11*(p - 4)/2. Let q = 22 + z. Is q a multiple of 8?
False
Let w(k) = -k**3 - k. Let y(d) = -5*d**3 - 4*d**2 - 16*d. Let v(j) = 6*w(j) - y(j). Is v(5) a multiple of 4?
False
Let p = 429 - 100. Is 7 a factor of p?
True
Suppose 8*i = -4*c + 3048, 5*i = -4*c + c + 2289. Is c a multiple of 48?
True
Let j(w) = -24*w + 236. Does 24 divide j(-6)?
False
Is 2482/9 + 66/54 + -1 a multiple of 42?
False
Suppose -2*l + 4 = 8. Let d be -5 - l - 366/(-2). Is d/(-2)*(-12)/18 a multiple of 20?
True
Is 65 a factor of (50/3)/(98/9555)?
True
Let i(h) = -h**3 + 2*h**2 + 2*h - 4. Let y be i(3). Let n = -123 + 49. Let d = y - n. Does 17 divide d?
False
Let m(x) = 9*x - 10. Suppose 3*t - 7 = 8. Let a be m(t). Let l = -25 + a. Is 9 a factor of l?
False
Let z be 0 + (-3 - 1) + 4. Suppose z = -4*l + 3*l - n + 3, -4*n = -4*l + 4. Is 26 a factor of 4 + l/((-4)/(-118))?
False
Let z(y) = 6*y + 66. Is z(0) a multiple of 66?
True
Let l(s) = -5*s + 1. Let m be l(-4). Let n be 321/m - (-6)/(-21). Let z = 33 + n. Does 16 divide z?
True
Let h = -4411 + 6985. Does 66 divide h?
True
Let s = 62 + -49. Let k = 85 - s. Is k a multiple of 18?
True
Let b(j) = j**2 + j. Let k(u) = 4*u - 4. Let f(a) = 5*b(a) - k(a). Does 21 divide f(-4)?
False
Let r be (0 + 3 - -57) + 0. Suppose -4*w = w - 30. Suppose 0 = 5*y, -b - r = -w*b - 3*y. Is b a multiple of 6?
True
Let b(i) = 534*i + 47. Let l(f) = 107*f + 9. Let n(w) = -2*b(w) + 11*l(w). Does 16 divide n(2)?
False
Suppose 0 = 2*c + 1 + 5, 4*l - 369 = -5*c. Let x = l + -72. Is 21 a factor of x?
False
Let n(i) = 9*i**2 + 11*i. Is 14 a factor of n(-7)?
True
Suppose 0 = 6*o - 8*o + 70. Let r = 35 - o. Suppose 22*x - 20*x - 138 = r. Does 10 divide x?
False
Suppose 10*h - 6*h = 512. Is h a multiple of 16?
True
Let s be (36/(-10))/(1/(-5)). Suppose 0 = 6*f - 2*f - 24. Suppose l - s = f. Does 12 divide l?
True
Suppose -5602 = -4*j - 2*y, 2*y + 1012 = j - 386. Is j a multiple of 50?
True
Suppose -3*q = -6*q + 6. Suppose u + q*u = 336. Suppose 5*g + 4*z - u = g, -5*g = -z - 116. Does 9 divide g?
False
Let w = 3437 - 2253. Is w a multiple of 16?
True
Suppose -4*n = -4*u - 5*n - 