*c = -12*c - 1715, -4*c = 3*z - 1705. Is z a multiple of 115?
True
Suppose 0 = -q + 3 + 4. Suppose 4*u - q = 1. Suppose h - 1 = u. Is h a multiple of 3?
True
Suppose -5464 = -11*q - 261. Is q a multiple of 21?
False
Does 43 divide (2 + 3518 + -2)/((-84)/(-42))?
False
Suppose -14*l + 8*l = -12. Suppose -3*k + 117 = 3*j, -l*k = -j - j + 82. Is j a multiple of 20?
True
Let t(d) be the second derivative of 5*d**4/12 - d**3/6 - 5*d**2/2 + 2*d - 7. Does 9 divide t(4)?
False
Let b = 1466 - 516. Does 15 divide b?
False
Suppose -5*h + 3 = -17. Let q(s) be the first derivative of 2*s**3/3 - s**2 + 2. Is 12 a factor of q(h)?
True
Let r(m) be the third derivative of 0*m + 0 - 9*m**2 + 1/3*m**3 + 1/24*m**4 - 11/120*m**6 - 1/60*m**5. Does 42 divide r(-2)?
True
Let h be (0 + 1)*11*(-58 + 50). Let i = h + 93. Does 5 divide i?
True
Let k = -19 - 0. Let d = 22 + k. Is 9 a factor of 0*(d - 4) + 29?
False
Suppose -2*l + 5*l = 6. Suppose 2 = -l*i + 8. Suppose 0 = -b - i*q + 10, 6 = 2*b - b + q. Is 4 a factor of b?
True
Suppose -25 = -5*w, -z + 1499 = 4*w - 537. Does 12 divide z?
True
Let y be (2 + -3)/((-4)/144). Suppose -4*k + q - 44 = 0, -5*k - q - y = 28. Let u = k - -16. Is u even?
True
Let t(m) = -m - 7. Let h be t(-10). Let a(u) = -12*u + 3. Let q be a(h). Let c = 83 + q. Does 17 divide c?
False
Let g = 113 + -62. Suppose 21 + g = 4*p. Is p a multiple of 3?
True
Suppose -853*u = -859*u + 18114. Is 19 a factor of u?
False
Let x = -317 - -452. Is 6 a factor of x?
False
Let p(j) = -11*j + 2. Let i(l) = -3 - 1 + 2 + 10*l. Let c(s) = -4*i(s) - 3*p(s). Is c(-6) a multiple of 12?
False
Let l(t) = 3*t**2 - 6*t + 9. Let x be l(3). Is 13 a factor of (x/(-27))/(4/(-1326))?
True
Suppose 5*u + 180 = -4*b, b + 3*b - 76 = 3*u. Let h = -59 - u. Let z = h - -61. Does 12 divide z?
False
Let c be 256/14 + (-18)/63. Let o = 66 - c. Is 16 a factor of o?
True
Suppose 53*m - 76082 = 10573. Does 38 divide m?
False
Suppose -5*i - 2*w + 31 = 100, w - 63 = 5*i. Is 1*(-2 + i)*16/(-6) a multiple of 3?
False
Is (114*10/150)/(1/10) a multiple of 5?
False
Suppose 7*z = -6*z + 572. Is z a multiple of 44?
True
Let s = -45 - -116. Does 18 divide s?
False
Let m(y) = -y + 29. Does 3 divide m(-10)?
True
Let b be -3 + 3 - 3 - -5. Suppose 0 = b*g - 4*u - 50, 2*u - 4*u + 8 = 0. Does 11 divide g?
True
Suppose -261 = -o + f, -4*f - 134 = -o + 118. Does 11 divide o?
True
Suppose -186*k = -x - 187*k + 864, x - 2*k - 864 = 0. Is 72 a factor of x?
True
Suppose 0 = 3*g + 3*a + 3, 2*g - 2 - 2 = 4*a. Suppose g = -0*h + 8*h - 880. Does 10 divide h?
True
Suppose 3*k + k = 2*x + 34, 5*k = -4*x - 16. Is (x/(-6))/((-15)/(-2720)) a multiple of 35?
False
Let k = -2 + 6. Suppose 0*a - 53 = -3*a + k*f, 4*a = f + 88. Suppose 105 = 4*q - a. Is q a multiple of 16?
True
Let d be -2 - (-2)/(-2) - -48. Let l = d - 13. Does 13 divide l?
False
Let c(m) = -m - 1. Let s be c(-1). Let q(f) = -2*f - 7*f - 1 + 11 + 3*f**2 + s. Is 8 a factor of q(5)?
True
Let w be (49/14)/(2 - 13/6). Let i = w - -60. Is 3 a factor of i?
True
Let k = -628 - -1020. Does 14 divide k?
True
Let t(q) = -q**3 + 20*q**2 - 32*q + 37. Does 12 divide t(8)?
False
Let b(i) = 192*i**2 - 13*i + 22. Is 35 a factor of b(2)?
False
Let l(u) = u**3 - u**2 + 598. Does 46 divide l(0)?
True
Suppose -5*j + 3*o + 34 = -o, 4*j - 2*o - 32 = 0. Is 23 a factor of (3 + (-594)/j)/((-4)/10)?
False
Suppose -14*v = -5*v + 108. Let d = 22 + v. Does 6 divide d?
False
Is 18/(-8) - (-5467)/44 a multiple of 23?
False
Let w(r) = -r**3 + 7*r**2 + 7*r - 28. Let h be w(6). Let v = 61 + h. Is v a multiple of 23?
False
Let m be (-970)/(-15) - 4/6. Let c = m + -34. Suppose c + 1 = z - 3*i, 5*z - i = 113. Is z a multiple of 7?
False
Suppose -8*u + 84 = -14*u. Does 11 divide 75/7 - 4/u?
True
Let p = 60 + -103. Let k = p + 79. Is k a multiple of 7?
False
Suppose 0 = -6*i + 616 + 284. Suppose 0 = 4*c - 210 - i. Is 13 a factor of c?
False
Suppose 0 = 3*l - 6, -5*u + 597 = -5*l - 548. Suppose 0 = 2*j + j - u. Does 11 divide j?
True
Suppose -4*l + 5*l = 0, -l = 5*h - 4795. Is 7 a factor of h?
True
Let v(w) = 4*w**2 + 15*w + 25. Does 25 divide v(-11)?
False
Is 10 a factor of 1/(-1*(-3)/849)?
False
Let x = 18 - 15. Suppose x*b + 1 = -5*c, -b - 2*b + 3 = 3*c. Suppose -5*p - 4*j + 71 = 0, -13 + 55 = 3*p + b*j. Is 15 a factor of p?
True
Suppose 4*j + 24 + 8 = 0. Let b be (-16)/24 + j/(-3). Suppose -m + 17 = -b. Does 4 divide m?
False
Let y(v) = v**3 + 5*v**2 - 3. Let h be y(-4). Let o(c) = c**2 - 3*c - 24. Let k be o(-3). Does 7 divide (-208)/k + h/39?
True
Let i(z) = z**2 + 5*z - 3. Let h be i(6). Suppose l - 4*l - 114 = 0. Let q = l + h. Is q a multiple of 15?
False
Let f be (7 - (-2 - -5))*-4. Let i(x) = 2*x + 47. Is 2 a factor of i(f)?
False
Let i = 50 + -44. Is 4 a factor of 0 + 38 - i/(-6)*-2?
True
Let n = -50 + 140. Let j = n - -87. Is j a multiple of 23?
False
Suppose i = 1, 766 = 5*t + 4*i - 493. Does 10 divide t?
False
Let j = 151 + 35. Is 31 a factor of j?
True
Let y(l) = 168*l + 2. Suppose 4 = r - 4*k - 8, r - 4 = 2*k. Let c be y(r). Is 11 a factor of 3/24 - c/16?
False
Suppose -2377 = -11*u + 7413. Is 7 a factor of u/16 + (15/8)/5?
True
Let o be 174 + 1 + -1 + -4. Let l = -90 + o. Does 20 divide l?
True
Suppose -9*v + 6*v + 660 = 0. Suppose -v - 32 = -6*n. Does 7 divide n?
True
Let w(z) = -z**3 - 3*z**2 + 10*z - 42. Does 23 divide w(-13)?
True
Suppose 79*d - 74*d - 3*s - 5609 = 0, 0 = 4*d + 3*s - 4471. Is d a multiple of 10?
True
Suppose -4*w - 1267 = -1807. Is 11 a factor of w?
False
Suppose -5*p - u = -35, 2*u - 15 - 25 = -5*p. Let z = 11 - p. Suppose 308 = z*g - 22. Is g a multiple of 26?
False
Let t be (-4 - (-55)/15)*69. Let y = t + 66. Is 17 a factor of y?
False
Suppose -19*x - 103 = -20*x. Let s = x - 85. Is s a multiple of 9?
True
Let i(p) = 2*p**3 - 6*p**2 - 5*p + 7. Let k be i(6). Suppose -5*y = -5*j - 1380, 5*j - 77 - k = -y. Suppose l - 5*h + 40 = 2*l, 4*l = 3*h + y. Does 12 divide l?
False
Let w = -49 + 69. Does 4 divide w?
True
Suppose 17*u + 15 = 22*u. Suppose u*t = 491 + 352. Suppose 4*s - t = -1. Is s a multiple of 25?
False
Suppose -8 = -0*j - 2*j. Suppose -4*h = -j*t + 92, 2*t + 4*h - 19 - 33 = 0. Does 3 divide t?
True
Let z(f) = -6*f**2 + 15*f - 13. Let c(r) = 5*r**2 - 15*r + 13. Let a(x) = 5*c(x) + 4*z(x). Does 3 divide a(15)?
False
Let n(o) = 7*o. Let c be n(1). Let v be (0 - c)/(-1) - 1. Does 30 divide 90/(-4)*(-8)/v?
True
Suppose -2*l + 149*c - 145*c + 1488 = 0, -5*l = -3*c - 3713. Is l a multiple of 24?
False
Suppose -4*u = -k - 633, 0*k = 4*u - 4*k - 648. Suppose 611 + u = 4*i. Does 12 divide i?
True
Suppose 4*j - 6 = 6. Suppose 3*a = -3*o - 21, 5*a + j*o = -o - 32. Does 38 divide (-5886)/(-72) + (-1)/a?
False
Suppose -2*c - 64 + 178 = 0. Is 6/4*(c - 3) a multiple of 6?
False
Suppose -2*j + 409 = r, -5*r = 4*j - 8*j + 783. Is 21 a factor of j?
False
Suppose -2*g - 2*g + 36 = 0. Let a be -4*(-3)/36*g. Suppose -175 = -3*m - 3*i + 2*i, -a*m - 5*i + 155 = 0. Is m a multiple of 15?
True
Let p(k) = 3*k**2 + 9*k - 25. Is p(-12) a multiple of 23?
True
Suppose 5*q = -2*v - 1001 - 525, 0 = q - 3*v + 312. Let b = -117 - q. Does 33 divide b?
False
Suppose n = 3*n - 4. Let b be (6/n)/(27/45). Suppose -2*k - b*o + 36 = 0, -o + 36 + 54 = 4*k. Is 23 a factor of k?
True
Suppose -2*j + 378 + 5052 = 0. Is j a multiple of 15?
True
Suppose 4*g - n = 16, -3*n - 5 - 7 = -3*g. Suppose 3*a = 5*p - g*p - 42, -3*p + 181 = 2*a. Is p a multiple of 19?
True
Let j(t) = -2*t**3 + 4*t**2 - 8. Suppose 2*m - 9 = -m. Let n be j(m). Let x = -18 - n. Does 3 divide x?
False
Let h = 23 + 369. Does 6 divide h?
False
Let z = -1 + 1. Suppose 0 = 9*v + 12*v - 945. Let m = z + v. Is 23 a factor of m?
False
Let a be (4 + (-1)/1)/(0 + -1). Does 13 divide (78/(-8))/(a/8)?
True
Suppose -3304 = -7*l + 343. Does 17 divide l?
False
Let z(p) = 54*p + 3. Let x be z(2). Suppose x = 5*m - 19. Let k = m - 13. Is k a multiple of 2?
False
Let l(t) = -t**3 + 7*t**2 - 6*t + 6. Let x be (-22)/3 - (-2)/6. Let f = 12 + x. Is l(f) a multiple of 9?
False
Let t = 6160 + -3538. Is t a multiple of 19?
True
Let c(p) = 22*p - 151. Is c(7) even?
False
Is 8 a factor of -7 + 42/6 - -629?
False
Let q(r) be the third derivative of r**5/30 + r**4/3 + 2*r**3/3 + 6*r**2. Let m be q(-3). Let n = m + 7. Is 5 a factor of n?
True
Suppose 16*