= -4*k - 15, 2*k = -3*u + q. Is 3 a factor of (-2)/2 - (-28)/u?
True
Suppose 3*x - 3 = -6. Does 55 divide 0 - 1 - (-166 + 1 + x)?
True
Let y = -5 - -11. Suppose 3*d = -4*w - y, 3*w = -3*d - 0*d - 6. Suppose 5*v - 160 = -w*v. Is 10 a factor of v?
False
Let s(f) = -f**3 - 4*f**2 + f + 4. Let t be s(-4). Suppose t = 4*z - 6*z + 36. Is z a multiple of 18?
True
Does 8 divide ((-4)/(-8))/((13/2662)/13)?
False
Let p be 4/(-2)*(-12)/(-8). Let a(n) = -13*n**2 - 6*n + 3. Let q be a(1). Is 16 a factor of q*(3 + 15/p)?
True
Let g = 23 - 43. Let s = g - -30. Suppose -7*k + 6*k + s = 0. Is k a multiple of 4?
False
Let w be 4/10*300/(-10). Let i be (-20)/w - 3/(-9). Does 2 divide i/(-7) - 132/(-21)?
True
Let u = -406 - -902. Does 31 divide u?
True
Let c = -32 - -34. Suppose 2*t + c*w = 44, -4*w - w + 38 = t. Does 3 divide t?
True
Suppose 7*l - 44 = -4*l. Suppose -l*g - 63 = -w - 3*g, -5*w + 365 = 5*g. Is 17 a factor of w?
True
Suppose 3*g = -0*g + 15. Suppose -463 = -g*s - 88. Is 17 a factor of s?
False
Let k = -268 + 618. Does 25 divide k?
True
Let c be (-66)/(-36) - 1/(-6). Is (-1863)/(-18) - (-1)/c a multiple of 26?
True
Let o(p) = -p**2 + 9*p - 8. Let g be o(11). Let h be ((-12)/18)/((-4)/g). Is ((-6)/h)/((-21)/(-140)) a multiple of 7?
False
Let p(a) = -a**3 - a**2 - a + 50. Let w = -66 + 66. Does 10 divide p(w)?
True
Let u(d) = 5*d + 519. Does 37 divide u(22)?
True
Let o(k) = 141*k**3 + 2*k**2 + 2*k + 1. Let j be o(-1). Is j*(-2 - 1)/3 a multiple of 34?
False
Suppose 59*c = 32*c + 26352. Is 8 a factor of c?
True
Let t(o) = 6*o**2 - 23 + 63 + 22*o - 22 - 25. Does 3 divide t(-5)?
True
Suppose 4*w - 3035 = -o + 513, 0 = 5*o - 4*w - 17812. Does 27 divide o?
False
Let x(d) = -d + 7. Let k be x(4). Suppose 30 = 4*s + 2*n, 30 = k*s - n + 5*n. Is 3 a factor of s?
True
Suppose 3*w - 4*k + 68 = 0, 0 = 2*w + w + 2*k + 56. Let g be (2/12)/((-1)/3)*178. Let l = w - g. Is 9 a factor of l?
False
Suppose -3*r - 2*r + 2440 = 0. Suppose 32*k - r = 28*k. Is k a multiple of 26?
False
Suppose -9*c + 2018 - 362 = 0. Is 13 a factor of c?
False
Suppose 5*x + 10 = 0, 23*m = 19*m + x + 7442. Is m a multiple of 62?
True
Suppose 4746 = 3*a + 7*v - 10*v, -4745 = -3*a + 4*v. Is 19 a factor of a?
False
Let i be ((-115)/(-92))/(2/8). Is (-4)/(-3) + i/3 a multiple of 3?
True
Let p(g) = g**3 - 9*g**2 - 42*g + 9. Is 75 a factor of p(15)?
False
Suppose 2*m - m + 141 = 2*j, -2*m = j - 68. Does 14 divide j?
True
Let i(x) = -x**2 - 25*x + 41. Let l be i(-27). Suppose 4*m = -2*u + 58, u - 72 = -3*u + 3*m. Let j = l + u. Is j a multiple of 2?
True
Suppose -2*k - 31 = 2*n + k, 4*n + 4*k = -56. Let o = n + 8. Let f(h) = -7*h + 4. Does 18 divide f(o)?
False
Let h = -109 + 106. Does 3 divide (24 - h)/(-3 - -4)?
True
Let s(y) = -y**2 - 2*y - 3. Let g be s(3). Let d be ((-108)/16)/((-15)/80). Is (-8)/d - 310/g a multiple of 17?
True
Let z = 21 - 20. Does 12 divide (-9)/(54/(-804)) + -3 + z?
True
Let s = 188 - 68. Is s a multiple of 30?
True
Let t(h) = -9*h - 10. Suppose 0 = -m - 3*m + 36. Let l be t(m). Let o = -37 - l. Is o a multiple of 18?
True
Suppose 5*j - 1313 - 1052 = 0. Does 33 divide j?
False
Let n(c) = -c**2 - 10*c - 12. Let g be n(-10). Let u be 16/6 - 4/g. Suppose -6*k + 5*s = -k - 380, k - u*s = 82. Is k a multiple of 14?
False
Let q be (-1 - -5)*-30 - 0. Let m(r) = 14*r - 82. Let v be m(20). Let p = q + v. Is 13 a factor of p?
True
Does 25 divide -60*(35/(-28) - 0)?
True
Let s be -5 - -384 - 2 - 0/(-1). Suppose -4*i - 4*n + s = -i, -i = -2*n - 139. Does 19 divide i?
False
Suppose 4*f + 1860 = 16*f. Let d = -91 + f. Is d a multiple of 16?
True
Suppose 2090 = 6*k - 5962. Is k a multiple of 7?
False
Let d = 1022 - 294. Is d a multiple of 16?
False
Let y be 9/15 - (-224)/10. Does 9 divide (2 + -6 + -5)/((-1)/y)?
True
Let m(b) = -5*b. Let c be m(-1). Suppose 0 = 2*o - 4*t - 0*t - 54, c*o + 5*t = 135. Is o/12*(-24)/(-9) even?
True
Suppose 0 = b - 3*b + 20. Does 30 divide (5 + -3)/(b/165)?
False
Let v(h) be the second derivative of -25*h**3/6 + 2*h**2 - 10*h. Is 34 a factor of v(-12)?
False
Suppose c - 1 = -0. Let v(w) = -2*w**2 + 12*w + 35. Let t be v(7). Is 2 a factor of ((-3)/(-9))/(c/t)?
False
Let a(t) = -t**2 + 22*t + 2. Let m be a(16). Is 49 a factor of ((-1)/2*m)/(1 - 2)?
True
Let o = 245 - 122. Is o a multiple of 18?
False
Suppose 4 = w + 8, -4*f + 4*w = -16. Suppose 5*x - 2*g = 105, f*g = 4*x - 2*g - 82. Is 23 a factor of x?
True
Let a(q) = q**2 + q - 4. Suppose -5*y = -5*k - 10, -4*k + k + 9 = 2*y. Let w be 1 + (-5 + y - 4). Is 16 a factor of a(w)?
True
Let s(u) = 10*u + 53. Let k(a) = 5*a + 26. Let p(c) = 13*k(c) - 6*s(c). Does 25 divide p(6)?
True
Suppose 2*f + 530 = 3*f. Suppose -4*m + f = 126. Is m a multiple of 22?
False
Suppose 2*a - 3*j - 826 = 0, 4*j = 2*a - 4*a + 812. Let z = a + -284. Is z a multiple of 21?
True
Suppose 9 = 4*c + 1. Suppose 522 = 5*t - c*n, -335 + 26 = -3*t - 3*n. Is 28 a factor of t?
False
Suppose 107*c = 108*c - 109. Suppose 512 = 13*h + c. Is h a multiple of 3?
False
Suppose -18*x = -17*x - 24. Suppose -x = -5*v + 36. Is 3 a factor of v?
True
Let q(t) be the second derivative of t**4 - t**3/3 - 8*t. Is q(-3) a multiple of 18?
False
Is (-3)/(15/126 + (-2)/7) a multiple of 6?
True
Let s be 6/4*(-332)/(-3). Let j = s + -114. Is j a multiple of 31?
False
Suppose 5*d = -o + 15, -2*d - 3*d - 4*o = 0. Let u(c) = 5*c**3 + c**2 - 2*c + 1. Let t be u(1). Suppose -6*p + 87 = t*i - 3*p, 16 = d*p. Is i a multiple of 15?
True
Let b(z) = -24 + 24 + 0*z**2 - 10*z - z**2. Is 8 a factor of b(-7)?
False
Let s(v) be the third derivative of -v**4/24 - 5*v**3/6 + 7*v**2. Let c be s(-7). Is (-1)/((-1)/108*c) a multiple of 18?
True
Let u be -1 - (-25 + (-6 - -2)). Let j = u + -11. Is j a multiple of 17?
True
Let c = 725 + -236. Is c a multiple of 82?
False
Does 43 divide -4*(-473)/(-22)*-53?
True
Suppose 4274 = 8*r - 5198. Is r a multiple of 4?
True
Let n(a) = -92*a**3 + 8*a**2 + 4*a - 3. Does 23 divide n(-2)?
False
Suppose 4*m - 49 = -b, -b + 105 = 5*m + 45. Let q(k) = 3*k + 13. Let s(l) = -12*l - 51. Let d(j) = 9*q(j) + 2*s(j). Does 16 divide d(m)?
True
Let b(v) = 11*v + 1. Let c be b(-2). Is (12/(-10))/(c/350) a multiple of 10?
True
Suppose 0 = g + 3*l - 20 - 20, l = 4. Let z = 16 + g. Is z a multiple of 10?
False
Let p(j) = 4*j - 16. Let n be p(2). Is ((-304)/(-114))/((n/54)/(-2)) a multiple of 21?
False
Suppose 0 = o - 4 - 3. Let x be (14/o)/((-4)/34). Let g = 58 - x. Does 24 divide g?
False
Let v be 1/(-4) - 27/4. Does 18 divide 140 - (v + 3 + 0)?
True
Let m(j) = 69*j**2 + 3*j - 2. Let g be m(1). Does 13 divide 393/5 + (-42)/g?
True
Let c = -509 - -673. Is 21 a factor of c?
False
Let w be 0/(3/1) + 8. Let o be 2 + 1 + w/8. Suppose -44 = -o*p + 2*p. Does 17 divide p?
False
Suppose 2*p - 46*s = -50*s + 1064, -5*s - 560 = -p. Is 20 a factor of p?
True
Let s(z) = -z**3 + 9*z**2 + 12*z + 12. Suppose 5*i = 3*i + 24. Let l be i + (-2)/(-3)*-3. Is 12 a factor of s(l)?
False
Let a = 0 - 2. Let l = 5 - a. Is l a multiple of 7?
True
Let b = -126 - -155. Is b a multiple of 6?
False
Suppose r - u = -10, -24 - 31 = 5*r - 4*u. Is 28/12 + -2 - 5755/r a multiple of 48?
True
Let j(h) = 123*h - 77. Is j(4) a multiple of 56?
False
Let f(u) = -34*u - 440. Is f(-16) a multiple of 8?
True
Let h(i) = -7*i - 2. Let s be h(5). Let d = s + 97. Is 12 a factor of d?
True
Is 14 a factor of ((-446)/(-6) + 3)*(-33)/(-44)?
False
Let n = 532 + -427. Does 7 divide n?
True
Suppose 0 = -3*r + 229 + 587. Suppose -4*t + r + 96 = 0. Is t a multiple of 23?
True
Let k(h) = 9*h + 22. Is k(0) even?
True
Let t = -105 + 413. Is 22 a factor of t?
True
Suppose 3*t + 2*k = 19, 2*t - 6*k + 3*k - 4 = 0. Suppose -3*c + 4 = -c, t*q + 468 = -c. Let y = -43 - q. Does 17 divide y?
True
Let d = -20 + 29. Suppose -d*l + 290 = -385. Is 15 a factor of l?
True
Let d(t) = 322*t + 48. Is d(6) a multiple of 33?
True
Suppose 0*r + 3*r + 2*n - 19 = 0, -5*r = -5*n - 15. Let m(x) = -x**2 + x + 1. Let y(u) = 5*u**2 - 13*u - 11. Let b(k) = -4*m(k) - y(k). Is b(r) a multiple of 7?
False
Let r = -3003 + 4277. Is r/(-21)*6/(-4) a multiple of 13?
True
Suppose 4*a = 29 + 23. Let i = a - 4. Is 3 a factor of i?
True
Let n = 127 - -62. Let s = n - 62. Is 16 a factor of s?
False
Let q = 3 - 1. Let m(g) = g**2 + 19*g + 23. Let o be m(-18). Let 