 (-164)/(-12) + 2)?
True
Let t(p) be the first derivative of -13*p**2/2 - 79*p - 20. Is t(-12) a multiple of 7?
True
Suppose 4*z + 5 + 15 = 0. Let p(m) = 4 + 25 - 36 - 5*m**3 - 8*m + 6*m**3 + 4*m**2 - 3. Does 2 divide p(z)?
False
Let x(q) = -4*q - 8*q**2 - 7*q**2 + 30*q**2 + 5*q. Let h be x(-1). Suppose -3*u - h = -2*l + 4, -5*l = -4*u - 38. Is l a multiple of 3?
True
Let q be 1 + 3*10/15. Suppose 0 = -6*k - q*k + 2754. Does 17 divide k?
True
Suppose m + 12*m + 6*m - 32851 = 0. Is m a multiple of 2?
False
Let w be (47 - 0)*((-15 - -4) + 10). Let k = 33 - w. Is 20 a factor of k?
True
Let t(m) = 3*m**3 + 389 - 394 - 4*m**3 + m**2 - 19*m. Let b be t(-6). Let p = b - 251. Is p a multiple of 11?
True
Suppose 171*h - 2*h = 115435 + 2133955. Does 5 divide h?
True
Suppose -t + 3*g + 1686 = g, -1674 = -t - g. Let l be t/7 - 2/(-7). Suppose 31*n = 26*n + l. Is n a multiple of 16?
True
Suppose -8*g + 3*g - 5*j = 0, -2*j + 3 = -g. Let t be 33*g*15/(-9). Let b = t + -15. Is 7 a factor of b?
False
Suppose 0 = -9*n + 772 + 3926. Suppose n = 3*d + l, 8*d - 4*l - 696 = 4*d. Is 30 a factor of d?
False
Suppose 4*p - 17268 = -2*k, 2*k = -4*p + 10*k + 17228. Is p a multiple of 2?
False
Let q be 1/(-4) - (-290)/8. Suppose -4*t + q = -16*t. Is (-160)/6*((-4 - -4) + t) a multiple of 36?
False
Let b = 171 + -171. Suppose 4*w + p = 25, w + p + b = 7. Does 6 divide w?
True
Let c(l) = -37*l - 45. Let h be -6 + 3 + (-6)/1. Is c(h) a multiple of 9?
True
Let t be (-8)/28 - (74/(-14) - 0). Suppose -i - 13 = -t*a, 4 = -4*i + 3*i + 2*a. Let f = 22 - i. Does 18 divide f?
False
Suppose -4*x - f = -60, 0 = x + 2*f - 7*f + 6. Let n(u) = -2*u**3 + 27*u**2 + 15*u + 31. Is 17 a factor of n(x)?
False
Suppose -3427 = 4*v - 7*v - 5*x, -5 = 5*x. Is v a multiple of 26?
True
Suppose -u - 116*f = -120*f - 5272, -6 = -3*f. Is u a multiple of 10?
True
Suppose 0 = -3*o + 2*c + 2273, 0 = 2*c - c + 1. Suppose -x + o = x - z, 0 = -x - 5*z + 351. Let r = 612 - x. Is 16 a factor of r?
False
Suppose 640 + 2240 = 9*b. Suppose -2*u - 46 = -o + 3*u, 0 = 5*o + 5*u - b. Suppose o + 731 = 12*s. Does 33 divide s?
True
Let t(q) = q**3 + 23*q**2 - 55*q - 1. Let j be t(-23). Let f = j + -1036. Is f a multiple of 23?
False
Let j(d) = 2037*d + 277. Does 58 divide j(3)?
False
Let l(j) = 153*j**3 + 2*j**2 + 11*j - 12. Let m be l(3). Suppose m = 22*s + 8*s. Is s a multiple of 4?
False
Let c(v) = v**2 + 5*v - 2. Let k be c(-5). Let i be 2*((-2)/(-4) + (-19)/k). Suppose 0 = -i*o + 24*o - 624. Is o a multiple of 12?
True
Suppose 4*n + 2*o - 150 = 118, 2*o = -8. Let s = n - 75. Is 10 a factor of -97*s/(-3)*(-1)/2?
False
Let y(f) = -f**3 + 4*f**2 + 8*f - 15. Let g be y(5). Let q be 0 + (-16 - g) + -4. Does 10 divide (8/q)/((-1)/25)?
True
Suppose -4*q = -5*m + 6963, 4*q - 896 = 4*m - 6468. Does 2 divide m?
False
Let q(r) be the first derivative of r**6/180 + 5*r**5/24 - 7*r**4/8 + 47*r**3/3 + 24. Let w(a) be the third derivative of q(a). Is w(-18) a multiple of 25?
False
Suppose l + 5*t + 471 = 0, l + 246 = -4*t - 222. Let b = l - -762. Is 51 a factor of b?
True
Suppose 49*h + 16246 = 4*n + 50*h, -h = -2. Is n a multiple of 131?
True
Suppose 4*u = 3*u - 159. Let s(g) = 16*g**2 + 86*g. Let o be s(-5). Let x = o - u. Is 41 a factor of x?
False
Suppose 0 = -5*j + 3*i + 149091, 2*j - 5*j + 89475 = 5*i. Does 14 divide j?
True
Is (-22)/((-220)/20610) - -10 a multiple of 24?
False
Suppose -75*m = -76*m - 4. Let g be 1/((-2)/m + 0). Suppose -4*k - 4*n + 40 = 0, k + 5*n - 4 + g = 0. Is 3 a factor of k?
True
Suppose 12 = -476*r + 475*r. Does 10 divide r/18*9 + 172?
False
Let v(i) = -269*i - 222. Is v(-3) a multiple of 15?
True
Suppose 3*r - 12 = 0, -4*s + 1720 = 4*r - 24776. Does 20 divide s?
True
Let v be (2/2)/((-2)/(-10)). Suppose 7*d = 3*r + 3, 17 = -2*r + 29. Let c = v - d. Is c a multiple of 2?
True
Suppose 157928 = 27*m - 2398. Is 144 a factor of m?
False
Let g be 28/13 - (24/(-26))/(-6). Let f(n) = -7 - g*n + 1 + 17*n + 5*n**2. Does 20 divide f(-7)?
False
Let p be ((-838)/(-7))/(71/497). Suppose 2*f - p = -2*l, -5*f + 4*l = 5*l - 2091. Does 83 divide f?
False
Suppose -7*d - 5*g + 10 = -2*d, -2*d = 4*g. Suppose 1971 = d*q + 3*b, b - 2328 = -5*q + 122. Suppose -8*c - 3*r - 615 = -13*c, 4*c - q = 3*r. Does 14 divide c?
True
Suppose -2*g + 787 = -631. Suppose 3*c + 136 = g. Is c a multiple of 12?
False
Let j be 5316/16*(-3 - (-25)/3). Suppose 2672 = 3*l - 7*y + 3*y, 0 = -2*l - 2*y + j. Does 46 divide l?
False
Let y = -144 - -9. Let b = y - -199. Suppose 0 = -t + 2*t - 2*n - b, -3*t + 201 = 3*n. Is t a multiple of 8?
False
Let t = 5254 + 21674. Is t a multiple of 47?
False
Let w(y) be the first derivative of 5*y**3/3 - 14*y**2 + 59*y - 49. Is w(14) a multiple of 57?
False
Suppose 0 = -25*z + 22*z + 3729. Suppose -51 = 4*a - z. Is a a multiple of 24?
False
Suppose 2*h = 4*y + 1108, 0 = -h + 5*y + 76 + 466. Let b = h + 329. Does 43 divide b?
False
Let o = -11 + 14. Suppose 59 - o = 4*s. Is 6 a factor of (460/80)/(s/(-8) - -2)?
False
Let h(p) = 154*p**2 + 995*p + 13. Does 18 divide h(-7)?
True
Is 10/(-80)*4 + 287289/18 a multiple of 84?
True
Let b be 1/(-2) + 4 + 2/(-4). Suppose -192 = -5*c + 4*a, 0 = 3*c - a - b*a - 120. Is c even?
True
Let f(v) = 7*v - 8*v + 5 + 4*v + 3. Let m(l) = 2*l. Let s be m(5). Is f(s) a multiple of 19?
True
Suppose a + p = 95, 3*a - 193 = a - p. Let n = -132 + 137. Suppose 0 = -3*w + n*w - a. Does 15 divide w?
False
Let r(v) = -5*v - 6. Let u be r(-3). Suppose u*l - 2688 = -5*l. Is l a multiple of 26?
False
Let j(b) be the second derivative of 3*b**5/20 - b**4/6 + b**3/6 - b**2/2 + 14*b. Let u be j(1). Is 12 a factor of (u - 2) + 2 - (-52 + -1)?
False
Let j be (8 - 5) + 419 + 6. Is (-14)/4*(-3)/21*j a multiple of 24?
False
Let n = -6721 - -17125. Does 17 divide n?
True
Suppose 99*o + 4*q = 101*o - 17422, o = 5*q + 8711. Does 31 divide o?
True
Let g be ((-18)/(-27))/((-3)/(-54)). Let d = g - 11. Is 14*d - (27 - 28) a multiple of 5?
True
Suppose -30147 = -l - 3*n, 58541 + 92205 = 5*l + 4*n. Is 47 a factor of l?
False
Does 5 divide 356/(-6)*-9*(-11)/(-66)?
False
Suppose -4*x - 2 = -d + 3*d, 4*d = 2*x - 4. Suppose 6*i + 0*i = 0. Suppose -2*h - 3*g + 129 = x, 2*h - 3*g + 0*g - 147 = i. Does 23 divide h?
True
Suppose 1 = m - 7. Suppose 0 = r + 1 + m. Let o(v) = -2*v + 38. Is o(r) a multiple of 14?
True
Let k be ((-6)/18)/((-3)/63). Suppose k*a - 5*a - 16 = 0. Let r(f) = -f**3 + 9*f**2 - 5*f + 1. Is r(a) a multiple of 5?
True
Is 428/(-1*104/(-34) + (-1 - 2)) a multiple of 99?
False
Suppose -2419 = -2*x + 5*i, 7*x - 6*x - 1197 = 5*i. Is x a multiple of 53?
False
Suppose 0 = -3*f + 4*x - 67, f + 16 + 1 = -4*x. Let c = f - -23. Is 19 a factor of (-910)/(-28) - (-1 + c/4)?
False
Let y be -2 - (-446)/7 - 6/(-21). Suppose -y = -j + 4*p, -186 = -3*j - 4*p - 0*p. Suppose 3*a = -a - c + j, 3*c + 86 = 5*a. Is 8 a factor of a?
True
Let x(w) = -14*w**2 - 5*w - 3. Let n be x(-4). Let u = n - -282. Does 6 divide u?
False
Suppose 47*n = 8*n - 273. Does 38 divide 12*(66/2 - n)?
False
Suppose 3*x - 6*x - 5*w = -11, -5*x - 5*w + 25 = 0. Suppose -3*t = x*t - 300. Is 6 a factor of t?
True
Let s be (-4*1)/(28/(-35)). Suppose -s*c + 58 = 4*j, 3*j = c + 4*c + 26. Suppose -17*o + j = -15*o. Does 3 divide o?
True
Let s(t) = 167*t - 1669. Is s(59) a multiple of 22?
True
Suppose 2198 = -3*g + 6*g + 11*j, 5*g = 3*j + 3642. Does 27 divide g?
True
Let a(s) = 76*s**2 - 5*s + 17. Is a(-3) a multiple of 16?
False
Suppose 31*f = 30*f + 3. Suppose 0 = 4*i - 7*i + k - 1159, -f*k = 5*i + 1927. Let s = -258 - i. Does 21 divide s?
False
Suppose -126*s - 190 = -128*s. Suppose 0 = o - 2*t - s, -192 = -2*o + 5*t - 2*t. Is o a multiple of 7?
False
Is ((-8649)/36)/(15/(-60)*3/27) a multiple of 26?
False
Let o be 34 + (-16)/12*3. Let f = -11 + o. Let v = f + 17. Is 29 a factor of v?
False
Let a(c) = -c**3 + 21*c**2 + c - 36. Let b be a(21). Does 105 divide (-1 + -59)*((b - 1) + -12)?
True
Suppose 0 = -h - 4*j + 2843 + 1625, -4*h + 17940 = -j. Is h a multiple of 76?
True
Let i(m) = 22*m - 122. Let o be i(6). Suppose 3*f = 5*s + 22, -2*s - 33 = -5*f + o. Does 2 divide f?
False
Let v = 496 + -775. Let a = v + 470. Is 6 a factor of a?
False
Suppose -10*d + 19076 = -9*d - z, 0 = -z - 7. Is 8 a factor of d?
False
Let k(l) = 2*l - 38. Let b be k(17). Let w