. Is 10 a factor of l?
False
Let y be 3 - 4 - (-639 - 4). Suppose -3*j + y = -678. Is j a multiple of 22?
True
Suppose -3*n - 5*b = 1559, -17*n + 20*n + 2*b + 1556 = 0. Let f = n + 1029. Is 46 a factor of f?
False
Suppose 169*d - 34*d + 40*d - 256200 = 0. Does 122 divide d?
True
Let r(y) = y**2 - 17*y + 45. Let d be r(14). Suppose 33*b + d*b = 14760. Does 6 divide b?
False
Suppose 63*r = 338607 + 204957. Is r a multiple of 13?
False
Let a = 76 - 68. Suppose 4*i + k = a*i - 928, 713 = 3*i - 5*k. Is i a multiple of 25?
False
Is ((-480)/50 + 6)/(2/(-9870)) a multiple of 54?
True
Let p = -644 + 336. Is (-5 - p)*(-2)/(-6) a multiple of 11?
False
Let p(x) = -5*x**2 - 499*x**3 - 13*x + 505*x**3 + 5*x + 6. Is 20 a factor of p(4)?
False
Suppose 3*y + x = 52110, -x + 58414 = 5*y - 28434. Is y a multiple of 38?
False
Let x(y) = 2*y**3 - 6*y**2 - 9*y + 10. Let m be x(5). Suppose -65 = -26*h + m. Does 2 divide h?
False
Let m be (-1458)/(-8) + 6/8. Let u = -25 + m. Suppose 5*o - 502 = u. Is o a multiple of 33?
True
Let j(a) = 2*a**3 - 16*a**2 + 29*a - 18. Suppose -16*z + 72 = -7*z. Is j(z) a multiple of 7?
False
Suppose -3*k - 2*f + 16 = 0, 4*k = 2*k + 4*f. Suppose 215 = -q - k*q. Let g = q + 93. Does 10 divide g?
True
Let q(c) = c**3 + 9*c**2 - c - 5. Let g be q(-9). Suppose -g*y - 2*z + 346 = 0, -10*y + 2*z = -9*y - 89. Is y a multiple of 29?
True
Let s = -338 + 718. Let a be (-11 - -12)*(3 - -2). Suppose a*b = -5*n + 380, 3*b + 2*b - s = 3*n. Does 13 divide b?
False
Suppose 0 = 4*w - 11 - 93. Suppose -5*h + w = 6. Suppose 6*l = h*l + 140. Is l a multiple of 14?
True
Let f = -142 + 137. Does 26 divide ((-30)/8)/(3*f/320)?
False
Let t(k) = -3743*k + 1346. Is 39 a factor of t(-4)?
False
Suppose -1184864 = 12*n - 256*n. Is n a multiple of 8?
True
Let b = -268 - -445. Let x(v) = -8*v + 288. Let s be x(2). Let c = s - b. Is c a multiple of 23?
False
Suppose -16*f = -i - 11*f + 1540, 4*f = -4*i + 6232. Does 14 divide i?
False
Let o(m) = 856*m - 26 - 1078*m - 39. Is 95 a factor of o(-5)?
True
Suppose -17*b - 13 + 132 = 0. Let q = 10 - 2. Suppose -b*o = -q*o + 230. Is 14 a factor of o?
False
Let x(k) = 46*k**3 + 21*k**2 - 106*k - 12. Is 117 a factor of x(5)?
True
Let g(k) = 2*k**2 + 15*k - 4. Let h(u) = -u**2 - 8*u + 2. Let a(y) = 4*g(y) + 7*h(y). Let i be a(1). Suppose 20 = i*j - 448. Does 13 divide j?
True
Suppose 2*p - 174 = -2*v - 2*v, 3*p - 5*v = 239. Suppose -3*g - 14 = -3*a - 95, 0 = 3*g - a - p. Does 5 divide g?
False
Let q(c) = c**3 + c**2. Let s(o) = 3*o**3 + 11*o**2 + 5*o + 9. Let a(f) = -2*q(f) + s(f). Let i be a(-7). Suppose -8*g + 56 = -i. Does 9 divide g?
False
Let c(a) = 394*a**2 + 45*a - 213. Is c(-9) a multiple of 32?
True
Let p(n) = -n**3 + 7*n**2 + n - 5. Let z be p(7). Suppose -3*k - z*k = -1200. Is k a multiple of 10?
True
Suppose w - 2*m + 48 = -127, 0 = 3*m - 3. Let i = w - -250. Is i a multiple of 11?
True
Let d(h) = 33*h + 44. Let j(f) = f - 1. Let z(k) = d(k) + 3*j(k). Let y be z(7). Suppose 0 = 8*s - 235 - y. Does 22 divide s?
True
Let s be (-9 - 294/(-36))*-12. Is 18824/260 + (-4)/s a multiple of 6?
True
Suppose -10 + 16 = -3*z. Suppose 4*o - 2*f = 2*o + 8, 2*f = -2*o - 12. Does 6 divide (-91 + z)*-1*(o + 2)?
False
Let y = 5853 + 7128. Is y a multiple of 124?
False
Suppose 120 = -1347*u + 1357*u. Let r(a) = -31 + 11*a**2 - a + 3*a**2 - 11*a - a**3. Is 19 a factor of r(u)?
False
Let v = -609 + 620. Let f(d) = 37*d - 67. Does 34 divide f(v)?
True
Let v(x) = x**3 - x**2 - 8. Let o be v(3). Suppose -3*p = 2*p - c - o, -3*p + 5*c = -6. Let z(a) = 14*a**3 + 4*a + 3. Is 43 a factor of z(p)?
False
Suppose -8 - 57 = 65*v. Is v/1*(-1085 - -77) a multiple of 16?
True
Suppose 44*n - 34*n - 14758 = 31792. Is n a multiple of 7?
True
Suppose 2*x + 9 = -3. Let c(m) = 5*m**2 + 14*m - 7. Let o be c(x). Let p = o - 59. Is p a multiple of 6?
True
Suppose -7*q + 4*q = 3*x - 42, -8 = -2*x. Suppose -q = 2*z - 200. Is z a multiple of 38?
False
Let h(d) be the second derivative of 13*d**3/2 - 41*d**2/2 - 214*d. Is 3 a factor of h(4)?
False
Let n be (-978)/(-42) + ((-48)/21 - -2). Suppose -n = -4*s - 5*f, -4*s + 9*s = 3*f + 1. Is 10 a factor of (405 + 10/(-2))*s/5?
True
Suppose 5*o = -5*m + 27 - 7, m + 2*o - 3 = 0. Suppose 5*b - 5326 = -2*u, -997 + 5271 = 4*b - m*u. Is b a multiple of 82?
True
Let y = 5864 - 3816. Does 25 divide y?
False
Let d be 337 + 0/6 - -3. Suppose 3*m - d = 53. Is m a multiple of 5?
False
Let w(m) = -m**3 - 50*m**2 - 330*m - 57. Is w(-50) a multiple of 27?
True
Let f = -5324 + 5463. Is 3 a factor of f?
False
Let h = -6797 + 13316. Is 159 a factor of h?
True
Let p = 47 + -26. Suppose -p*d = -22*d + 3. Suppose -4*l + 5*v = -53 - 124, 5*v - 124 = -d*l. Does 4 divide l?
False
Let u(m) = -94*m + 27. Let d be u(-2). Suppose -d = -a - 17. Does 9 divide a?
True
Let u(z) = z**3 - 9*z**2 - 14*z + 26. Let i(t) = -5*t - 69. Let l be i(-16). Does 12 divide u(l)?
False
Does 3 divide (6 - 21/4) + (-21)/(-4) + 8043?
True
Let v(m) = 1515*m**2 - 53*m - 52. Is 7 a factor of v(-1)?
False
Suppose -2*p + 574 = 3*j + 177, -2 = -p. Let u = j - 121. Suppose u*k - 1100 + 130 = 0. Does 14 divide k?
False
Suppose -2*x + 244 = -2*h, 8*x + 2*h = 7*x + 122. Does 7 divide x?
False
Let o(v) = 5*v**3 - 5*v**2 - v + 12. Let u be o(4). Let w = 997 + u. Is 19 a factor of w?
False
Suppose 6745 + 196422 = 38*z - 49533. Is z a multiple of 103?
False
Let l(p) be the third derivative of p**2 + 0 - 4*p**3 - 1/8*p**4 + 0*p. Does 18 divide l(-14)?
True
Let j be 1502/10 + 11/(-55). Let y = 60 - j. Is 2/(-11) + y/(-11) a multiple of 8?
True
Suppose 12*f + v - 628 = 9*f, 13*v - 1024 = -5*f. Is f a multiple of 3?
True
Suppose -8*o + 1622060 = 127*o + 11*o. Is o a multiple of 14?
False
Let t(d) be the first derivative of d**4 + 2*d**3/3 + 5*d**2 - 5*d + 76. Does 27 divide t(4)?
False
Let g = 14266 + -10400. Is 18 a factor of g?
False
Let a be (2/9)/1 + 161/207. Let n(u) = 655*u**2 + 11*u - 12. Does 109 divide n(a)?
True
Suppose y - 604 = -3*s + 857, 4*y = -5*s + 5830. Is y a multiple of 73?
False
Let z(a) = -2*a**2 + 606*a + 23. Is z(57) a multiple of 29?
False
Let m(t) = t**3 - 13*t**2 + 10*t - 9. Let h be m(13). Suppose -h*o + 2219 = -114*o. Does 23 divide o?
False
Let x be ((-586)/5)/(2/(-10)). Suppose 30*p = -3*q + 27*p - 1056, 0 = -3*q + 3*p - 1056. Let m = q + x. Is 13 a factor of m?
True
Let o = -223 + 227. Suppose -3*b - 3*c + 4 + 368 = 0, b = o*c + 109. Is 11 a factor of b?
True
Suppose 0 = 12*k - 19695 - 33705. Suppose -6*w + k = -3134. Is 21 a factor of w?
False
Let l be (-1 + 7)*(-12 + 266/21). Suppose -2 = o, -r - 2 - 6 = 5*o. Suppose -5*m - l*d + 385 = 0, -m = r*d - d - 76. Is 16 a factor of m?
False
Suppose -1047 = -p + 3*r, -2*p + 2*r + 2644 = 542. Let z = p + -269. Is 7 a factor of z?
True
Is 22321/(9 - -4) - -6 a multiple of 2?
False
Does 20 divide 45/735*14 - -460378*5/70?
False
Suppose -14*k + 60 = 16*k. Is (-6064)/(48/(-6)) - k a multiple of 14?
True
Let a(c) = -59*c - 1026. Is 27 a factor of a(-27)?
True
Let y(u) = -u**3 + 8*u**2 + 3*u. Let c be y(8). Is (-9)/24 + 6633/c a multiple of 23?
True
Does 65 divide (38449/5)/1 - 132/165?
False
Let u(j) = -119*j - 28. Let f = -57 - -55. Is u(f) a multiple of 14?
True
Suppose 1715 = 15*s - 460. Let a = s + 167. Is a a multiple of 24?
True
Let t = -40738 + 56388. Is t a multiple of 50?
True
Suppose 123*f - 124*f = 2*x - 56097, 0 = -2*x + 5*f + 56043. Does 57 divide x?
True
Let r(m) = -m**2 + 8*m - 7. Let a be r(6). Suppose a*p - 26 = -131. Is (-51)/(-7) + 6/p even?
False
Let d(a) = -a**3 - a**2 + a + 60. Let v = 23 + -20. Suppose 2*x + 12 = -4*f - 2*x, -v*f = x + 3. Does 20 divide d(f)?
True
Suppose -31 = -2*m - 3*m + 4*p, -4*p = -m + 19. Suppose -2*w = -s + 533, 0 = m*s + 4*w - w - 1608. Is 13 a factor of s?
False
Let a = -59 + 20. Let k = a - -98. Suppose 61*q - k*q - 22 = 0. Is 3 a factor of q?
False
Suppose -22*z = -19*z + 39. Let r = 15 - z. Suppose r*m - 21*m = 490. Is 14 a factor of m?
True
Let r = -5580 - -8267. Is r a multiple of 2?
False
Suppose 22*l - 16*l + 1716 = 0. Let f = l + 531. Does 20 divide f?
False
Suppose y + 8 = 3*y. Let p be (-4)/y*(-2)/2. Let n(f) = 65*f**2 + f - 1. Is 8 a factor of n(p)?
False
Let r(a) be the first derivative of -a**4/4 + a**3 + 4*a + 37. Let i be r(2). Suppose m - 130 = 5*v, -