 Does 14 divide m?
True
Suppose 2*v - 3*j = -0*v - 6, 5*v + 2*j = 23. Suppose 2*c + v*u + 27 = 4, -5*c - u = 77. Let d = c - -37. Does 7 divide d?
True
Suppose -2*a + 25 = 91. Let h = a + 4. Let m = h - -76. Is m a multiple of 16?
False
Let l(h) = -h**3 - 3*h**2 - 3*h. Suppose 14 + 1 = 3*c. Suppose 3*t = -9, -c*i - t - 3 = 10. Is l(i) a multiple of 2?
True
Suppose 0 = -16*m + 19858 - 5506. Is m a multiple of 13?
True
Suppose -56 = 4*b - 80. Suppose b*j = -174 + 588. Is j a multiple of 22?
False
Suppose -2*r - q + 386 = -1453, r - 924 = -2*q. Is r a multiple of 9?
True
Is (-1698)/(-17) + 118/1003 a multiple of 20?
True
Let j = -129 - -239. Let o = j + -86. Is o a multiple of 2?
True
Suppose -3*f - 33 = -0*f. Let t(y) = -y**2 - 12*y - 10. Let r be t(f). Is r/3 - (-142)/6 a multiple of 24?
True
Let q(t) = -t**3 - 9*t**2 - 7*t - 4. Let n be q(-8). Is (-9)/n - 289/(-4) a multiple of 13?
False
Let a = -207 + 319. Suppose 5*y = -a + 662. Is y a multiple of 11?
True
Suppose 3*p - 9278 = -5*u, -35*p = -u - 33*p + 1853. Is 26 a factor of u?
False
Let q(l) = 4*l**2 - 2*l - 3. Let k be q(-4). Suppose k = 2*i - h - 4*h, 5*h + 116 = 3*i. Suppose -u + 215 = i. Is 34 a factor of u?
False
Let x(z) be the first derivative of 4*z**3/3 - 9*z**2/2 + 6*z - 12. Is x(3) a multiple of 2?
False
Let l(c) be the second derivative of 10*c**3/3 - c**2 - 11*c. Is 13 a factor of l(3)?
False
Let s be (-28)/12*-1*3. Suppose -8*f + s*f = -51. Is 21 a factor of f?
False
Let c(j) = -j + 0*j - 4 + 10 - j**3 - 8*j**2. Let p = -18 - -10. Is c(p) a multiple of 8?
False
Let l(y) = y. Let f(z) = 3*z**3 + z**2 + z + 1. Let a be f(-1). Let q(i) = 3*i + 1. Let b(g) = a*q(g) + 5*l(g). Is b(-10) a multiple of 3?
False
Suppose 4*f - 26 = l - 7, 16 = -4*l + f. Let a be (l - (1 + -3))*1. Is 5 a factor of (-10)/a - (-9)/3?
False
Suppose -1964 = -4*i - 2*s, 0 = 5*s - 8 - 2. Is 12 a factor of i?
False
Let n(g) = 64*g - 19. Let a be n(5). Suppose -10*v + 399 + a = 0. Is 35 a factor of v?
True
Suppose -17*l + 415 - 7 = 0. Suppose -5*i - l = -114. Is 18 a factor of i?
True
Let m = -14 - -87. Let c = 120 - m. Is c a multiple of 11?
False
Suppose u + 163 = 6*u + 4*h, 2*u - 55 = -5*h. Let c = u - 3. Is c a multiple of 7?
False
Suppose -2*d + 3 + 9 = 0. Let r(l) = l**2 - 4*l + 8. Does 4 divide r(d)?
True
Let x be (-4 - -3) + 2 - 2. Is (2*(-195)/10)/x a multiple of 13?
True
Let v(f) = f**3 - 8*f**2 + f - 4. Let r(a) = -2*a**3 - 2*a**2 + a + 2. Let z be r(-2). Let k be v(z). Suppose k*c - c - 66 = 0. Is c a multiple of 11?
True
Let o be 3/(-6)*26*6. Is (-14)/(-4)*(-1)/(3/o) a multiple of 22?
False
Suppose 0 = -6*o + 17 + 103. Suppose 106 = 4*g + 2*f, -3*g + 105 = -3*f + 12. Let c = g - o. Does 4 divide c?
True
Let a be (4/10)/((-84)/(-40) - 2). Let x(i) = 10*i**2 - 15*i - 7. Is 11 a factor of x(a)?
False
Let d(j) = j**3 + 8*j**2 + 3*j - 8. Let f be d(-7). Let k = 16 - 1. Does 13 divide 513/k + (-4)/f?
False
Suppose -58 - 41 = -9*v. Let f = -42 + 66. Suppose j - v - f = 0. Is j a multiple of 11?
False
Let p(h) = 4*h**3 - 2*h**2 - 2*h + 3. Suppose 2*d = 3*c, 0*d + 12 = 4*d. Is 5 a factor of p(c)?
False
Suppose -14*b + 15*b = 82. Is 2/(-8) - b/(-8) a multiple of 5?
True
Suppose 0 = m - 2*h + 9, -5*m - h - 2 = -12. Suppose 2*l - 5 = -m. Let n = l - -88. Is n a multiple of 30?
True
Suppose -4*j + 660 - 212 = 0. Suppose 50 = 6*y - j. Is y a multiple of 27?
True
Suppose 5*h = -v + 6975, -h + 0*v + 1395 = v. Does 15 divide h?
True
Is (15440/12)/10*(-3)/(-2) a multiple of 7?
False
Let y = 172 + -136. Does 2 divide y?
True
Let u be (262 - 5) + -4*2/(-2). Suppose 0 = -3*m - 2*n + 488, -2*m + 2*n + 71 = -u. Does 41 divide m?
True
Let w = 55 + -52. Suppose 5*i = i + 3*o + 582, -2*i + w*o = -294. Is 37 a factor of i?
False
Let k = 2 + 2. Suppose -k*j - x = -117, 5*j + 5*x - 16 = 119. Is 6 a factor of j?
True
Let k(c) = 3*c + 5. Let h be k(3). Suppose -50 = -2*u + h. Is u a multiple of 7?
False
Let l(n) = 2*n - 28. Let a be l(-18). Let s = a - -253. Is 27 a factor of s?
True
Let d = -372 + 393. Is 3 a factor of d?
True
Let q = 2317 + -1309. Is q a multiple of 12?
True
Let j be ((-6)/2 - -11) + -4. Suppose j*u = -47 + 235. Is u a multiple of 23?
False
Does 69 divide (1/(5 - 4))/((-2)/(-138))?
True
Suppose 28*l = 29*l - 64. Suppose -84 = -d - l. Is d a multiple of 10?
True
Let h = -26 + 16. Let k(u) = -u - 6. Let w be k(h). Suppose w*r = 2*r + 86. Is r a multiple of 21?
False
Suppose 0 = -26*f + 19*f + 2394. Is f a multiple of 19?
True
Let c = -7775 - -12009. Is 130 a factor of c?
False
Let h = 739 + -147. Is 15 a factor of h?
False
Let t(p) = -163*p**2 - 4*p + 3. Let i be t(1). Let c = 230 + i. Is 11 a factor of c?
True
Let o = 602 - 69. Let k = o + -341. Is 16 a factor of k?
True
Is 11 a factor of (2808/(-40))/(-13)*55*1?
True
Suppose -8*p - 241 = -17. Let l = 47 - p. Is 25 a factor of l?
True
Let r = -488 + 28. Let v be ((-2)/5)/((-4)/r). Let j = 79 + v. Is j a multiple of 11?
True
Let m be (-1 + -9)/(-1 - 1). Suppose -9 = -5*i - x, -x + m = -i + 4*i. Does 10 divide (-3)/(69/(-30) + i)?
True
Let d = 540 - 384. Suppose 0 = -x + z + d, x - 2*x = 5*z - 138. Is x a multiple of 15?
False
Let x(o) = 16*o**2 - 2*o - 2. Let f be x(2). Let d = f + 10. Does 34 divide d?
True
Let q(p) = 15*p + 9. Let z(k) = 5*k + 3. Let l(y) = 6*q(y) - 17*z(y). Let f be l(-5). Let m = 46 + f. Is 8 a factor of m?
True
Let m(t) = -t**2 + 11*t + 13. Let z be m(12). Is 31 a factor of 62*z*(-2)/(-2)?
True
Let s be 27*-1*(0 + 2). Let g = -35 - s. Is 2 a factor of g?
False
Let u(f) = -12*f - 7. Suppose -4*z = 4*w + 32, -2*w - 3*w - 15 = 0. Let c be u(z). Suppose d - h - c + 7 = 0, -5*d - 4*h = -185. Is 11 a factor of d?
False
Suppose 0*v - 2*v = -1164. Suppose 162 - v = -7*c. Does 20 divide c?
True
Does 25 divide 1575 - (-6 + 0 + 6)?
True
Let c(p) = -p**3 + 4*p**2 + 3*p - 7. Let j be c(4). Suppose 0 = u - 4*m - 70, 0 = -0*u - j*u - 2*m + 284. Is u a multiple of 9?
False
Suppose -10*x = -12*x + 182. Let t = 149 - x. Is 18 a factor of t?
False
Let z = 19 - -30. Let v = -4 + z. Is 15 a factor of v?
True
Let x(u) = -22*u + 13 - 21*u + 42*u. Is 13 a factor of x(-10)?
False
Is 83 a factor of -797*(3 + (-6 + 3 - 1))?
False
Suppose 4*s = 3*b + 715, -4*s + 4*b = -381 - 331. Let d = -61 + s. Is d a multiple of 18?
False
Suppose -4*r - 3*o = 16, 2*r - o = 3*o - 8. Let u be (4/8)/((-2)/r). Suppose m - 13 = -a, 4 = a + 3*m - u. Is 10 a factor of a?
False
Let f be 6 - ((-1)/(-1) - 2). Suppose 0*x + 448 = f*x. Does 11 divide x?
False
Suppose -4*l = -3 + 15, 3*m + 5*l + 21 = 0. Let c be 5 + (-3 - (0 + m)). Suppose -2*a + 0 = -b + 8, 0 = 5*b + c*a - 12. Is b a multiple of 2?
True
Let c(d) be the first derivative of -d**3/3 - 3*d**2 + 10*d + 1. Let w be c(-7). Suppose m = w*l + 5*m - 64, 0 = -4*m - 20. Is 15 a factor of l?
False
Is ((-4)/(-6))/((-29)/(-28797)) a multiple of 21?
False
Let z(k) = -10*k + 42. Let v be z(-9). Let t be 164/14 - (-4)/14. Suppose -t = 3*u, 3*n - v - 64 = -2*u. Is 22 a factor of n?
False
Is (138/7)/(16/224) a multiple of 61?
False
Let l = -410 - -412. Let o = -3 + 6. Suppose 4*z - 177 = o*j + l*j, 3*z + 3*j = 153. Does 16 divide z?
True
Suppose 40*a - 22*a - 17820 = 0. Does 18 divide a?
True
Let u be ((-4)/(-3))/(14/21). Let c(l) = 6*l + 4. Let h be c(4). Suppose -u*k + h = -k. Is 7 a factor of k?
True
Suppose -o = 5*s - 724, -246 = 4*o - s - 3142. Let h(b) = -724 + o - b + 25*b**3. Is h(1) a multiple of 10?
False
Let h be (36/(-8) - -4)*-6. Suppose 5*p + 3 = -3*y + 50, 4*p = h*y - 65. Is 6 a factor of y?
False
Suppose -11*n + 13*n - 388 = 0. Let v = 297 - n. Does 17 divide v?
False
Let d(l) = l**3 - 6*l**2 + 7*l - 6. Let z be d(5). Suppose z*m = 74 + 614. Is 43 a factor of m?
True
Let i = -44 - -7. Let v = i + 54. Suppose v = j - 32. Does 9 divide j?
False
Let q(i) = -2*i - 7. Let s be q(-5). Suppose -f + 3*h + 14 = 0, 2*f + s*h = h + 4. Suppose 76 = f*u + 4*r, -u - 5*r = -r - 12. Is 7 a factor of u?
False
Suppose 0 - 1 = -q, p = 5*q + 10. Suppose p*h = 19*h + 12. Does 16 divide (h*(-64)/6)/2?
True
Let w be (4/(-12))/(1/(-9)). Let o(r) = -7 + 7 + 11 - w*r. Is o(-19) a multiple of 17?
True
Let j = 42 - 40. Does 5 divide (-2*j)/(-2 - 60/(-35))?
False
Let b = -487 + 737. Is 10 a factor of b?
True
Suppose -5*h = -2*c + 27, 0*c - 2*c - 3 = h. L