 of v?
True
Is (-11 + -220)/7*(-80 + 2) a multiple of 78?
True
Suppose t - 8946 = -3*l - 2650, -2*l - 2*t + 4192 = 0. Does 50 divide l?
True
Suppose -12*k = -7*k - 780. Suppose -2*l + 0*o + k = o, -2*o - 4 = 0. Does 10 divide l?
False
Is (-1584)/154*(-42 + 0) a multiple of 21?
False
Let h be (36/15)/(4/70). Suppose t - 2*t = -h. Is t a multiple of 12?
False
Suppose 2*o = 2*i - 3*i + 199, 0 = -3*o - 6. Let x = i - 106. Does 9 divide x?
False
Let f(h) = -h**3 - 10*h**2 - 8*h - 15. Let m = -4 - 7. Is 30 a factor of f(m)?
False
Suppose -2*u + 82 = -4*u. Let h = 76 + u. Does 18 divide h?
False
Suppose v + 4*i - 178 = 0, 4*i - 502 = -v - 2*v. Suppose -3*j + p = j - 312, -2*j + 2*p = -v. Let z = 109 - j. Is 8 a factor of z?
True
Let l be 8/(3 - 1) + -14. Let v be (l/(-6))/(14/42). Suppose 165 = v*q + 5. Is 16 a factor of q?
True
Let p(c) = -5*c**3 + c**2 + c + 1. Let h be p(-1). Suppose h*d - 62 = 5*d. Is 7 a factor of d?
False
Suppose -z = 4*u - 142, 47 = 5*u - 5*z - 118. Let p be (-2 + -2)*u/(-20). Suppose j - p = 6. Does 13 divide j?
True
Suppose 1092 = g - 2*k, 0 = 4*g + 6*k - 7*k - 4368. Is g a multiple of 21?
True
Let p = 246 - -189. Is 15 a factor of p?
True
Let i = 105 + -107. Let x = 6 - 3. Does 6 divide (-52)/i + (x - 5)?
True
Let b(m) = m**2 - 4*m + 61. Does 15 divide b(18)?
False
Let t = -210 - -132. Let m = -41 - t. Is m a multiple of 21?
False
Suppose -5*z + 264 = z. Let b = 2 + 3. Suppose -b*j - 51 = -3*w - 1, -3*w + z = j. Does 7 divide w?
False
Suppose -c = -4*f - 850, -3*c - 4*f - 369 + 2903 = 0. Is 6 a factor of c?
True
Let p(n) = n**2 - 15*n + 6. Let s(w) = 5*w**2 - 60*w + 24. Let k(v) = 9*p(v) - 2*s(v). Does 14 divide k(-7)?
False
Suppose -80 + 10 = r. Let b be (1 - (-1 + 5)) + 125. Let k = b + r. Is k a multiple of 13?
True
Let j = 0 - 37. Let w = j + 101. Is 8 a factor of w?
True
Let l(x) = 12 - 5*x + x - 5 + x**2. Let z be l(-5). Does 13 divide -2 - -2 - z*-1?
True
Let z be 1*(-4)/2*-3. Let a(u) = u**3 - 6*u**2 + u - 2. Let r be a(z). Suppose -4*q - 268 = -r*k, 260 = 5*k + 4*q - 93. Does 23 divide k?
True
Let q = -850 - -1510. Is 60 a factor of q?
True
Let g = 25939 - 15289. Is (-1 - (-39)/33) + g/110 a multiple of 21?
False
Suppose 44*v - 2*z = 46*v - 2464, 3*v + z = 3696. Does 14 divide v?
True
Does 19 divide ((-117)/18 + 5)/(6/(-388))?
False
Suppose 4*h = 16, 0*h + 928 = 4*b - 4*h. Suppose -4*t + 120 = -b. Is 30 a factor of t?
False
Let v be 154/10 + 10/(-25). Let d = 18 - v. Suppose -5*k + 324 + 89 = 3*t, 4*k = d*t + 352. Is k a multiple of 12?
False
Let r = -446 - -1090. Is 14 a factor of r?
True
Is 89 a factor of 87*1 - -1*(10 + -8)?
True
Let a = 44 - 31. Suppose 4*n - a = -5. Suppose -3*i + j = -226, 2*j - 153 = -n*i + 5*j. Does 19 divide i?
False
Suppose d = -j + 14, 2*d = -5*j + 4*d + 84. Let z = 73 - 28. Does 15 divide (-4)/(j/(-4))*z?
True
Let x(p) = 120*p - 121. Is 17 a factor of x(2)?
True
Suppose -g + 3 = 4*f, 0 = 3*f - 8*f - 2*g + 6. Suppose 3*x - 13 = 2*a, f*a - 2*a - 4 = 0. Suppose -x*j = 3*j - 48. Is 2 a factor of j?
True
Suppose 12*q - 10*q = 12. Suppose q*i - 106 = 44. Is i a multiple of 5?
True
Let z(k) = -24*k - 14. Let c(p) = -24*p - 14. Let b(i) = 2*c(i) - 3*z(i). Is 26 a factor of b(7)?
True
Let m(a) = 2*a**3 - a**2 - 2*a + 3. Let h = 22 + -16. Let l = 9 - h. Is m(l) a multiple of 11?
False
Suppose n + 3 = -5*f - 12, -2*n = 2*f + 6. Suppose n = -7*m + 8*m - 16. Is m even?
True
Suppose 49*f = 21029 + 7783. Is 12 a factor of f?
True
Let m(z) = z**2 + 25*z + 110. Is 22 a factor of m(-33)?
True
Let y(v) = v**3 + 5*v**2 - 2*v + 1. Let r be y(-3). Let j = -8 - -13. Suppose r = j*p + 4*m, 5 = -m - 0. Does 7 divide p?
False
Suppose 6 = 3*w - 9. Let r = w + 13. Is r a multiple of 9?
True
Is (-8 - (-118)/6)*(-18)/(-6) a multiple of 7?
True
Is 12 a factor of 0 + 54/4 - 15/10?
True
Suppose -5*p = -2*b + 3095, -b - 56 = -2*p - 1602. Is b a multiple of 5?
True
Suppose 0 = -d + h + 1 - 2, -h + 5 = 0. Suppose -d - 275 = -3*g - 2*v, -4*g = 2*v - 370. Is g a multiple of 7?
True
Let z be (3 + 1/(-2))*8. Let r = z + 4. Does 12 divide r?
True
Suppose -3755 = -14*w - 3069. Is w a multiple of 10?
False
Suppose 3*m = -4*b + 1035, -6 = -b - 5*m + 240. Suppose -66*q = -63*q - b. Is q a multiple of 29?
True
Suppose -3682 - 87173 = -135*j. Does 15 divide j?
False
Let r(y) = 2857*y - 2849*y + 12*y**2 + 5 + 2*y**3 - y**3. Is r(-6) a multiple of 22?
False
Suppose -3*l = -l - 138. Suppose -3*f = 3*g + g - 352, 2*g = -5*f + 596. Let d = f - l. Is d a multiple of 17?
True
Suppose 4*f = 3*m + 2*m + 15, -3*m = 4*f - 23. Let a = -22 - -24. Suppose -s + a = -f. Does 2 divide s?
False
Let y(n) = -8*n**2 - 6*n - 4. Let i be y(-2). Is (-18)/i*(-8)/(-3) - -131 a multiple of 19?
True
Let y be 1/(7/19) - 14/(-49). Suppose 2*t = -3*p - t + 456, 459 = y*p + 2*t. Is p a multiple of 23?
False
Let w = -339 + 545. Suppose 2*o + 3*f - 413 = 0, 2*o - f = 3*o - w. Does 32 divide o?
False
Let i(o) be the third derivative of -o**4/6 - o**3/2 - 13*o**2. Is i(-6) even?
False
Let q = 688 + 15. Suppose -x + q = 4*f, -5*f + 0*x = -4*x - 884. Does 22 divide f?
True
Let w = 38 + 82. Is 20 a factor of w?
True
Let x(w) = 69*w. Let r = -5 + 10. Let q be x(r). Suppose q = -7*i + 12*i. Is i a multiple of 17?
False
Suppose 0 = -5*n - 6*p + 2*p - 97, -5*p = n + 32. Let z = n + 23. Let c = z - 4. Is c a multiple of 2?
True
Let v(f) = 83*f**2 + 24*f - 63. Is v(3) a multiple of 9?
True
Is 88569/195 - 4/(-5) a multiple of 7?
True
Let p(d) = d**3 + 2*d**3 + 10*d**2 - 2*d**3 + 9*d - 5. Does 15 divide p(-8)?
False
Suppose 5*o - 2*o - 15 = 2*g, -4*o = 4*g - 20. Let f(a) = -2*a. Let j be f(-1). Suppose 126 = -j*w + o*w. Does 14 divide w?
True
Suppose 7*q - 1769 = -593. Suppose -2*n - n + q = 0. Is n a multiple of 14?
True
Suppose -5*o = 13*a - 12*a + 37, -2*a + 2*o - 110 = 0. Let t(q) = q + 114. Let r be t(0). Let l = r + a. Is l a multiple of 31?
True
Is 14 a factor of (-21)/6 + 2 + 12558/28?
False
Let f be 22*4/(-16)*6. Let x = f + 36. Is 8 a factor of -4 + (-136)/(-12)*x?
False
Suppose -s + 5*i = 2*i - 20, 0 = s + 2*i. Suppose -s*p + 697 = -887. Does 22 divide p?
True
Suppose u - 3 = 2*f + 2, 0 = 4*f + 2*u + 30. Let m(k) = 3*k**2 + 5*k + 1. Does 17 divide m(f)?
True
Suppose 3*p = 5*s - 128, -3*s = p - 56 - 18. Suppose -c + 6*c = s, -a - 5*c + 51 = 0. Is 13 a factor of a?
True
Let o = -1091 + 1808. Is o a multiple of 27?
False
Let v = 1772 + -1216. Is 6 a factor of v?
False
Suppose -3 - 942 = -9*l. Is l a multiple of 6?
False
Let r(n) = 2*n**2 - 9*n + 4. Let m be r(4). Suppose m = 4*s + 4*t + 27 - 587, 5*t = 3*s - 452. Does 18 divide s?
True
Let w be -1 + -4*(-6)/8. Suppose x - 9 = -0*p - 3*p, 2*x - 2 = -2*p. Suppose -w*l + 372 = p*l. Is 31 a factor of l?
True
Is -6 - 798*(-24)/18 a multiple of 46?
True
Let p be -4 + 11 + -2 + -2. Suppose -3*i + 67 = -2*i - 5*g, -3*g = -p*i + 213. Is 18 a factor of i?
True
Let j(n) = -5*n**3 + 15*n**2 + 6*n. Let z(f) = 4*f**3 - 14*f**2 - 5*f. Let t(s) = -5*j(s) - 6*z(s). Let g be t(-9). Let i = 6 + g. Is i even?
True
Let r(y) = 11*y**2 - 11 + y**3 - 6 - 2*y**2 + 5*y + 4. Does 11 divide r(-7)?
False
Let y(w) = -w**3 - 10*w**2 + 23*w - 4. Let z be y(-12). Is z/(-2) + 3 - -137 a multiple of 24?
False
Let s = 55 + -77. Let l be 258/(-8) + 9/36. Let d = s - l. Is 5 a factor of d?
True
Suppose -37*y + 50*y + 819 = 0. Suppose -l - l - 4332 = 0. Does 16 divide l/(-27) + 14/y?
True
Let u be (-6)/9*15 - -2. Is (0 - 20/u)*32 a multiple of 10?
True
Suppose -6 = 5*l + 4. Let x(i) = i**3 + i**2 + 18. Let m be x(0). Let j = l + m. Does 12 divide j?
False
Suppose -2*q - 4*k - 76 = 0, -4*q - 115 = -k - 8. Is ((-57)/(-38))/((-1)/q) a multiple of 17?
False
Let h = 21 - 27. Is (-105)/10*h/9 a multiple of 2?
False
Suppose -t - 947 = -5*g, 697 = 3*g + t + 132. Is g a multiple of 3?
True
Let p(x) = -290*x**2 - 2*x + 1. Let w be p(1). Is 17 a factor of (5 - 4)/((-3)/w)?
False
Let m(o) = 2*o - 8. Let g be m(5). Suppose -g*l + 117 = -4*j - 181, j - 2*l + 79 = 0. Let z = 103 + j. Does 10 divide z?
True
Let t be (-12)/10*(1 - 151). Suppose 2*k = -0*k + t. Is k a multiple of 30?
True
Suppose -137 = -4*o + 5*a, 0*a = -4*a - 4. Does 11 divide o?
True
Let w(q) = q**2 - 7*q. Let o be w(7). Suppose o = -4*z + 59 + 181. Is z a multiple of 20?
True
Let h(q) = 6*q**2 - 15*q 