 - 30. Is 10 a factor of g?
True
Let m(y) = -y - 14. Let p be m(-11). Is (p/6)/(3/(-18)) a multiple of 3?
True
Suppose 16*w - 630 = 7*w. Is w a multiple of 7?
True
Let u be (-16)/(-10)*160/12*-12. Let a = 386 + u. Does 13 divide a?
True
Let q = 69 + 146. Is q a multiple of 3?
False
Is 41 a factor of 6 - (11/(-22))/((-2)/(-3912))?
True
Let v(p) = -p**2 - 20*p - 20. Let t(u) = 4*u + 2. Let r be t(-4). Is v(r) a multiple of 16?
True
Let w be -1*(-16)/6*21. Is 2952/w + (-6)/(-21) a multiple of 53?
True
Let y(f) = -f - 2*f + 5*f + 11 - 3*f. Let z be y(6). Suppose -z*m = -m - 72. Is 18 a factor of m?
True
Suppose 3*i = -4*o + o + 27, 4*o - 33 = -3*i. Let u be -29 - (1 + -3 - (2 + -1)). Let j = o - u. Is 7 a factor of j?
False
Suppose -75 = -8*p - 107. Let h(v) be the third derivative of v**5/60 + v**4/24 + 2*v**3/3 + v**2. Does 4 divide h(p)?
True
Let f = 602 + 41. Is 16 a factor of f?
False
Let w be (7/21)/((-1)/(-6)). Suppose -w*f = 2*f - 124. Is f a multiple of 13?
False
Suppose 3*r + 43 = 5*o + r, -4*r + 5 = 3*o. Suppose -o*q = q - 744. Is 24 a factor of q?
False
Suppose -15*p = -11*p - 628. Is 26 a factor of p?
False
Let b(j) = -j**2 + 10*j + 2. Let n be b(15). Let o = 14 - n. Is o a multiple of 15?
False
Let i be (3/(-9) - -1)/((-6)/(-45)). Suppose 3*r = -i*r + 384. Is 15 a factor of r?
False
Let n(w) = -w - 7. Let d be n(-9). Suppose a = 4*q - 4*a - 108, 96 = 4*q - d*a. Is 11 a factor of q?
True
Let o = 804 - 758. Does 6 divide o?
False
Let k(y) be the third derivative of y**9/30240 - y**8/5040 - 3*y**5/20 + 6*y**2. Let x(i) be the third derivative of k(i). Does 16 divide x(4)?
True
Let f = -458 + 472. Is 7 a factor of f?
True
Suppose -4*n = -1214 - 386. Does 2 divide n?
True
Let u(w) = w**2 - 4*w - 6. Let t be u(-2). Suppose -t*v + 88 + 110 = 0. Is v a multiple of 11?
True
Suppose -4*z + 1 + 11 = 0. Let a = z + 2. Suppose 4*j - 5 = a*l + 22, 0 = 2*j - 3*l - 11. Is 4 a factor of j?
False
Suppose d - 4*f = 130, 0 = -2*d - 2*f + 200 + 40. Let z = d + -60. Is 31 a factor of z?
True
Let o = 112 + 74. Let b(l) = -l**3 + 7*l**2 + 2*l - 10. Let d be b(7). Suppose d*x - o = 122. Is 21 a factor of x?
False
Let l be -1*(-4 + 6)*4. Let o be 3564/(-45) - l/(-10). Is 8 a factor of (-12)/(-5)*o/(-8)?
True
Suppose -k + 2 + 10 = 2*f, 4*k = 2*f + 48. Let g be k/54 - (-32)/18. Suppose 36 = g*b + 2. Is 17 a factor of b?
True
Let t(h) = -21*h - 35. Is t(-19) a multiple of 25?
False
Suppose 706 = 2*a + 2*g, -25*g + 10 = -20*g. Is a a multiple of 3?
True
Let g = 2056 - 1282. Does 18 divide g?
True
Let x = -5 - -4. Let y(f) = 75*f**2 - 2*f - 2. Does 25 divide y(x)?
True
Suppose -3508 - 5204 = -9*i. Suppose -4*q = 2*a - 960, 0 = -8*q + 4*q - 4*a + i. Does 25 divide q?
False
Suppose 3*v = 2*u + 2*u + 256, -192 = 3*u - 4*v. Let z = u + 114. Is z a multiple of 12?
False
Let c = 1 + 7. Suppose -c*h = -4*h. Suppose 2*m - 26 - 137 = g, h = 2*m + 2*g - 160. Is 27 a factor of m?
True
Let x = -75 + 131. Does 9 divide (-3 - -2) + x/2?
True
Suppose 9*k + 75 - 1056 = 0. Let w = -66 + 8. Let t = w + k. Is 17 a factor of t?
True
Let t be 165/(-11)*(6/10)/(-1). Suppose 8*z - t*z = -30. Does 15 divide z?
True
Suppose -2*o + t + 6815 = 0, 23*o = 22*o + 2*t + 3412. Is o a multiple of 21?
False
Let u = 1309 + -958. Is u even?
False
Let a(z) = -2*z**2 + 53*z - 23. Let r be a(26). Let o(p) = p**3 - 7*p + 2. Is o(r) a multiple of 4?
True
Suppose 0 = -56*n + 48*n + 320. Is 12 a factor of n?
False
Let n = 12 + -4. Let c be (n/(-6))/(2/(-6)). Is c/(-14) - 3564/(-77) a multiple of 23?
True
Let t(i) = 0 - i**2 - 9 + 1 + 10*i. Does 16 divide t(6)?
True
Let z be -1 + (-42)/(9/(-3)). Suppose -4 - z = j + 5*a, -5*j + 3*a = -27. Suppose q + j = 33. Is q a multiple of 8?
False
Suppose 28*k + 3*k = 13981. Is 18 a factor of k?
False
Suppose 17*h = 6*h + 22. Suppose 830 = 3*b - 5*w, 0 = h*w + 5 - 15. Does 15 divide b?
True
Let f(z) = -z**3 + 2*z**2 - 2*z + 1. Let o = -4 + 1. Let s(p) = 2*p**3 - 2*p**2 + p. Let v(d) = o*s(d) - 2*f(d). Does 12 divide v(-2)?
True
Suppose 4*k = 2*z - 6*z + 44, -2*z + 10 = 5*k. Let j = -13 + z. Suppose 4*u - 61 = -4*c - 1, -j*u = -4*c. Is 8 a factor of u?
False
Does 14 divide (54 + 1)*(-25)/((-875)/42)?
False
Suppose s = -v + 2*s + 2, 4*s + 11 = v. Is 35 a factor of v/(-5) - (-1392)/40?
True
Suppose 0 = -2*d + 46 + 2. Does 11 divide 3/d + (-175)/(-8)?
True
Suppose -4488 = -0*w - 33*w. Is 17 a factor of w?
True
Suppose -110*k = -120*k + 560. Is k a multiple of 5?
False
Suppose -3*o = x, 4*o - 2*x = 2*x + 16. Suppose -3*d + 239 = 4*j, 3*j + 2*d - 143 = 7*d. Is 2 a factor of (j/21)/(o/3)?
True
Let p = 16 + 0. Let a be 9*p*(-26)/(-39). Let y = a - 42. Is y a multiple of 27?
True
Suppose -7*r + 2*j + 486 = -6*r, -4*r + j + 1951 = 0. Is 8 a factor of r?
True
Does 30 divide ((-414)/5)/(6*1/(-30))?
False
Let z(d) = d**2 - d + 2. Let l be z(-2). Suppose -l = 2*s + 6. Let x = s + 13. Is x a multiple of 3?
True
Let j = -792 + 1359. Is 7 a factor of j?
True
Suppose 4*m - 2 = 3*w + 3, 0 = -w - 2*m + 5. Suppose -4*h - 4*t - 58 = -290, -t = w. Is h a multiple of 8?
False
Suppose 5*u - u - 8 = 0. Suppose 752 = -0*n + u*n - 4*k, 4*k = -2*n + 712. Suppose 5*b = -b + n. Is b a multiple of 31?
False
Suppose 145 = -5*l + 5*z, 2*l + 0*z = -3*z - 73. Let r be (6 + (-10)/5)*(-2 - 1). Let j = r - l. Is 9 a factor of j?
False
Let c = 43 + -6. Suppose -c = -5*g + 83. Suppose 3*o = -3*s + 5*o + g, 5*s + 4*o = 40. Does 5 divide s?
False
Suppose -14 = 6*v - 3*v + 4*l, -v + 4 = -3*l. Let t be (0/((-3)/(-1)))/v. Suppose t = m - 25 - 23. Is 16 a factor of m?
True
Let r = 18 + -19. Let d(z) = -134*z**3 + 2*z**2 + 2*z + 1. Let a be d(r). Is (20/25)/(2/a) a multiple of 11?
False
Let i(o) = o**2 + 2*o + 1. Let t = 30 - 38. Is i(t) a multiple of 10?
False
Let a(i) = 5*i**2 + 4*i + 1. Let m be a(2). Let v be (-1)/(-2) - (-6)/4. Suppose -w - v*w - 5*t = -m, 5 = 5*t. Is 4 a factor of w?
True
Let m(r) = -3*r + 2*r + 3*r - 4 + 16. Does 10 divide m(4)?
True
Suppose -15*i = -19*i + 16. Suppose 5*k - k + 40 = 2*l, 3*l = i*k + 54. Does 3 divide l?
False
Suppose 7*n - 10 = 5*n. Is 11 a factor of n/(20/38) + (-6)/(-4)?
True
Let o = 15 - 10. Suppose -3*l = o*v - 60 - 26, -v + 2*l + 25 = 0. Suppose 9 = -2*f + v. Is f a multiple of 3?
False
Suppose -2*s + 2158 = -766. Is s a multiple of 17?
True
Suppose 827 = 21*b + 323. Is b a multiple of 15?
False
Let f be (-14)/(-3)*1881/(-22). Let c = -243 - f. Is 12 a factor of c?
True
Let s(a) = -a + 7. Let y be s(3). Suppose -y*f + 32 = n, -5*f = -2*f + 2*n - 29. Let k = f - -43. Is 25 a factor of k?
True
Let l(m) = -m**3 + 10*m**2 + 10*m + 14. Let x be l(11). Suppose 97 + 116 = x*j. Does 19 divide j?
False
Let y(m) = -6*m + 8. Let c be y(6). Let g be -1 - -3 - (c + 5). Let b = g + -11. Does 7 divide b?
True
Suppose -89 - 31 = 5*f. Let l(w) = -7*w - 1. Let u be l(1). Let m = u - f. Is 14 a factor of m?
False
Suppose -90370 = 36*u - 71*u. Is u a multiple of 59?
False
Let i(r) = -10*r**3 + 16*r**2 + 8*r - 7. Let k(d) = 36*d + 5 - 41*d + 8*d**3 - 11*d**2 - d**3. Let x(u) = -5*i(u) - 7*k(u). Is x(5) a multiple of 25?
True
Suppose -4*r = -2*r - 6. Suppose b = -r*b. Suppose 4*l = -4*v + 52 + 16, -4*l - v + 77 = b. Does 4 divide l?
True
Suppose 0 = -9*b - 6*b + 5190. Does 4 divide b?
False
Suppose 17 = 3*d + 4*q, -5*d + 2 = -4*q - 5. Let z = d - 1. Suppose -5*x = p - 94, 3*x - 106 = -z*x - 4*p. Does 7 divide x?
False
Suppose 5*k = -4*l + 9746, -k - 3*l = -677 - 1270. Suppose -n + k = 9*n. Is 15 a factor of n?
True
Let k(x) be the first derivative of -x**4/4 - x**3/3 - x**2/2 - 4. Let t be k(-2). Suppose -4*d - t = -158. Is d a multiple of 19?
True
Let o(g) = g**3 - 14*g**2 - 13*g + 9. Let x be o(14). Let t = x + 101. Is t/(-1) - (-4 + 4) a multiple of 12?
True
Let s = 811 - -260. Is 21 a factor of s?
True
Let d(s) = -10*s**2 - 4*s + 3. Let p be d(-4). Let r = 282 + p. Let h = r - 78. Is h a multiple of 24?
False
Suppose -337 + 2220 = -7*p. Let a = -171 - p. Is 10 a factor of a?
False
Is (861 - -3 - -2) + -10 a multiple of 42?
False
Suppose 4345 = 4*b + j, -3*b + 35*j + 3280 = 40*j. Is b a multiple of 53?
False
Suppose -3*r = o + 3*o - 739, 0 = -3*o - r + 548. Does 6 divide o?
False
Suppose -3 = 5*a - 33. Is 3 - 2 - (-1 + a)*-3 a multiple of 4?
True
Let y(z) = 5*z - 7. Let s be y(-9). D