+ 5*p + 107 - 4 = 0. Is c a multiple of 11?
True
Suppose -m - 503 = -5*y, 4*m + 6 = -6. Suppose 0 = 4*r - 2*s - y, r - 3*s - 16 = -1. Suppose 3 = -2*w + r. Is w a multiple of 12?
True
Let v(d) = 12*d**2 - 33*d + 12. Is 17 a factor of v(-6)?
False
Let y(d) = -d**2 - 8*d - 6. Let w be y(-8). Let u be -6*(-4)/(8/w). Does 2 divide ((-2)/(-6))/((-3)/u)?
True
Let l(j) = j**2 - 5*j + 13. Let w be l(5). Let x = 4 + w. Does 2 divide x?
False
Let i be 5/(-10) + 14/4. Suppose -3*t - 222 = -i*q, t - 160 = -2*q - 24. Suppose -q = -6*k + k. Is 14 a factor of k?
True
Let i = 1111 + -667. Is i a multiple of 37?
True
Suppose 2*l - 12 = 3*l - 5*y, -5*y = 3*l + 96. Let x = -147 + 94. Let r = l - x. Does 13 divide r?
True
Suppose i + 3*g = 127, -5*i + 784 - 117 = -g. Suppose -75 - i = -8*t. Is 13 a factor of t?
True
Let w(l) = -l**2 + 16*l + 26. Let z be w(19). Let a = z + 37. Is 3/a*24 + 0 a multiple of 6?
True
Let f be 2/4*8 + -33. Let p = 55 - f. Does 14 divide p?
True
Let x(s) = s**3 + 7*s**2 - 10*s + 10. Let h be 2/(-6) + (-56)/(-24). Suppose 5*o - v = -h*v - 41, 2*v = -2. Is 11 a factor of x(o)?
False
Let p be (-1)/(15/(-6))*-5*2. Is 5 - (3 + -11 - p) a multiple of 2?
False
Let b(s) = -s**3 - s**2 + s + 1. Let g(a) = -7*a**3 - 5*a**2 + 7*a + 49. Let f(y) = -6*b(y) + g(y). Does 12 divide f(0)?
False
Suppose -t - 3*t = 0. Let l(m) be the first derivative of -m**2/2 + 9*m + 3. Does 9 divide l(t)?
True
Suppose 4*j + 35 - 43 = 0. Does 15 divide (-2)/(-6)*(985 - 7)/j?
False
Suppose -3*v + s + 14 = -50, -117 = -4*v - 5*s. Let x = v - -6. Suppose -2*a = 2*i - x + 1, 6 = 3*i. Does 12 divide a?
True
Suppose 9*l - 1795 = 1067. Does 18 divide l?
False
Suppose -g - 3*o - 132 = -6*g, -5*o = 2*g - 59. Suppose 2*u - u = -g. Let k = 10 - u. Does 11 divide k?
False
Let l(w) = -w**2 - 16*w - 1. Let n(d) = 6*d - 7. Let q be n(0). Is l(q) a multiple of 9?
False
Let d = 216 + -214. Let t = -1 - -6. Suppose -2*s = 3*l - l - 202, -t*l = d*s - 517. Does 34 divide l?
False
Let f = 563 + -311. Is f a multiple of 42?
True
Let d(h) = h**3 + 14*h**2 - 15*h + 19. Let b be d(-15). Let r(j) = -j**2 + 22*j + 15. Does 6 divide r(b)?
True
Is (-171)/(-2)*(-560)/(-84) a multiple of 19?
True
Let a(t) = t**3 - 7*t**2 + 7*t + 20. Let f be a(5). Let n = -88 + 125. Suppose -f*u + 28 = -n. Is u a multiple of 13?
True
Suppose -2*k + 20 - 14 = 0. Suppose k*f + 490 = 8*f. Is 14 a factor of f?
True
Suppose c - 10 = -p + 2*c, 0 = 4*p + 4*c. Does 3 divide (4/p)/(3/30)?
False
Let t(s) = -21*s + 87. Is 19 a factor of t(-3)?
False
Let c(a) = 3*a + 14. Let i = 40 - 35. Does 15 divide c(i)?
False
Let z = 52 + -107. Let s = z + 118. Is s a multiple of 21?
True
Let x be (4/(-6))/(10/(-150)). Suppose 3*i - 5*i - v + 10 = 0, -2*v - x = -i. Is 9 a factor of (-201)/(-12) + i/(-8)?
False
Let h be ((-15)/20)/((-2)/(-8)). Suppose l + 2*b - 530 = 5*l, -b = 3*l + 410. Is 14 a factor of h - 1/(3/l)?
True
Suppose 8*i - 40 = -256. Let f = i + 61. Does 25 divide f?
False
Suppose -k - 2*r - 2*r + 5 = 0, 3*r = -k. Is 8 a factor of 2/k + 35720/150?
False
Let h = -14 - -47. Suppose 5*s + 113 = h. Is ((-24)/s)/((-6)/(-16)) even?
True
Suppose -2*q - 5*p = -3*q + 34, q = -p + 4. Let w(i) = 6*i - 22. Let x be w(q). Suppose 4*h + 2*k + 0*k - x = 0, -2*k = 8. Is 10 a factor of h?
True
Let s be (-3288)/(-16) + (-6)/(-4). Let h = -71 + s. Suppose -5*k + h = -199. Does 22 divide k?
False
Let i be (-62)/(-8) + (-6)/(-24). Suppose i = 5*u - 17. Suppose 2*p = 4*s - 262, 4*p - 1 = -u. Does 13 divide s?
True
Let a(m) = m**2 - 22*m + 20. Let q be a(21). Is 9 a factor of (-2 - q) + (-5)/(25/(-240))?
False
Let m = -34 + 106. Suppose 18 + m = 5*l. Is 3 a factor of l?
True
Suppose 2*l - 3*l + 2*u = 4, 2*l + 4*u - 8 = 0. Suppose l = a + p - 36 + 12, 4*a - 2*p - 66 = 0. Suppose a*k - 110 = 14*k. Is k a multiple of 11?
True
Suppose -10*r = -341 - 259. Suppose -4*p + 12 = 0, 27 = 3*w + 4*p + 9. Suppose -w*s + r = 18. Does 17 divide s?
False
Suppose 5*n - 748 = 1092. Does 23 divide n?
True
Does 19 divide 11/(22/(-69))*68/(-3)?
False
Suppose -388 + 1548 = 4*d. Is 29 a factor of d?
True
Let k be 2*(1/(-2) + 2). Suppose k = 3*x + 15. Is 3*26/(-4)*x a multiple of 26?
True
Let u = -78 + 76. Is u + (-690)/(-3) + 4 a multiple of 8?
True
Is 24 a factor of ((-100)/(-125))/((-2)/(-390))?
False
Suppose 0 = 15*i + 40 - 850. Is i a multiple of 19?
False
Is (39865/5)/7 + 0 a multiple of 17?
True
Let s(g) = 3*g. Let y be s(2). Suppose 9*w - 6*w = y. Let f(r) = 5*r - 3. Does 2 divide f(w)?
False
Suppose -2*i - 30 = -b + 12, -3*b = -3*i - 66. Is 5/i - (1 + 298/(-8)) a multiple of 12?
True
Let y(d) = 7*d - 11. Let t be y(13). Is 5 + t/(-15) + 1868/6 a multiple of 48?
False
Let o be (-2)/(-4)*(19 + -19). Let y = 36 + o. Is 21 a factor of y?
False
Suppose 3*v = 256 + 1244. Is 50 a factor of v?
True
Let f(l) = l**3 - 6*l**2 + 6*l - 4. Let a be f(5). Let b be (-1 - a)*21/(-14). Suppose 0 = -b*i + 2*i + 4. Does 3 divide i?
False
Let o(f) = -f**2 - 4*f + 2. Let z be o(-4). Let p(a) = 0 + 18*a**z + 1 - 1. Does 6 divide p(-1)?
True
Suppose 8*d - 4*d - 340 = 0. Let p be d/(-15) + 1/(-3). Is p*(-3)/(-6) - -16 a multiple of 4?
False
Let y be -1 + (-4)/(2/(-84)*3). Does 8 divide 2 - 2*y/(-5)?
True
Let t(j) = -j - 10. Suppose -42 = 5*x - 12. Let s be t(x). Is 9 a factor of (-34)/s - (-2)/4?
True
Suppose 15*q - 11469 = -3879. Is 11 a factor of q?
True
Suppose 4*z = -5*o + 2*z + 2271, -2*o - 3*z = -904. Is 65 a factor of o?
True
Let o = -687 - -1381. Does 60 divide o?
False
Let k be 2/(-7) + 6/21. Suppose k = 3*a + 2*h - 23, 3*a - h = -a + 38. Suppose -3*l + a*l = 108. Is l a multiple of 13?
False
Is 37 a factor of (-1 + (-5 - -126))*(-15)/(-12)?
False
Suppose -3*f - 5*g + 1225 = -10*g, 0 = -3*g - 6. Is 15 a factor of f?
True
Let g = 14 - -11. Is g even?
False
Suppose -3*w + 4*w = p - 5, 3*p + 10 = -2*w. Let k be ((-38)/(-19))/(1 - p). Suppose 2*s = -k*v + 10, -s = 2*v - 5*s - 16. Is 4 a factor of v?
False
Let m = 315 - -1805. Is 53 a factor of m?
True
Suppose -11*p - 2*w + 4372 = -8*p, 4*p - 3*w - 5835 = 0. Is 29 a factor of p?
False
Suppose 5*y = -2*p + 1996, 2*y = -2*y + 8. Is 5 a factor of p?
False
Let g(y) = 5*y**3 + y. Let x be g(1). Suppose 3*n = 3*u - 3, 0 = -2*u + 5*n - x - 4. Suppose 2*k - 3*c = 30, -5*k - u*c + 15 = -10. Does 9 divide k?
True
Is (-4299)/(-7) - (-6)/(-42) a multiple of 55?
False
Suppose 192*c - 194*c = -252. Is 7 a factor of c?
True
Suppose -26 = 8*x - 106. Suppose -g - 32 = -4*c, 4*c - g - 24 = c. Suppose c*a - x*a + 14 = 0. Is 3 a factor of a?
False
Let d(u) = -4*u + 0*u**2 + 1 - 4*u**2 - 8 + 0*u**3 - 6*u**3. Is 37 a factor of d(-3)?
False
Let l = 15 + -29. Let v = l + 17. Does 10 divide v/(-5) - (-486)/10?
False
Let o(z) be the first derivative of -1/3*z**3 + z**2 + 11 + 73*z. Is 16 a factor of o(0)?
False
Suppose 0 = -5*v + 3*r + 11468 + 7027, 0 = 2*v + r - 7387. Is v a multiple of 84?
True
Suppose -m = 0, -5*x + 0 - 25 = -m. Let z be 60*(25/(-10))/x. Suppose n = 30 + z. Does 20 divide n?
True
Let g(u) = -133*u + 81. Is 17 a factor of g(-10)?
True
Suppose -9*a + 18 = -3*a. Let o be (-2)/(-7) + (-38)/(-14). Suppose -v - 18 = a*i - 72, -o*v = -i - 172. Is v a multiple of 17?
False
Let j(z) = z**3 + 2*z**2 + z + 2. Let l be j(-2). Suppose f + l*t - 44 = 5*t, 0 = 2*f + 5*t - 43. Is 8 a factor of f?
False
Let q(d) = -d**3 + 11*d**2 - 11*d + 9. Let a be q(10). Let g be (-8)/(-10)*(a - -31). Let m = -6 + g. Does 9 divide m?
True
Let u = 612 - 339. Does 21 divide u?
True
Let o(j) = -6 + 3*j - j - 4*j + j. Let p be o(-8). Suppose -p*c + 3*d = -52, -d - 104 - 52 = -5*c. Is 9 a factor of c?
False
Let m be (3/((-3)/(-10)))/(-1). Suppose 57*z = 13*z + 4224. Does 7 divide z/20*m/(-3)?
False
Suppose -3*b + 222 = -3. Suppose -3*a + b = -585. Suppose 3*n - h - 2 = a, 0 = n - 3*h - 66. Is 25 a factor of n?
True
Let l(w) = 9*w + 1 + 1 - 8*w + 31*w. Does 9 divide l(2)?
False
Suppose 0*b = -2*b + u + 2933, -4*b + 5871 = -u. Is 39 a factor of b?
False
Let k(n) be the third derivative of -n**6/120 + 7*n**5/15 + n**4/4 - 13*n**3/2 - 32*n**2. Is k(28) a multiple of 19?
False
Let q = 11 + -2. Let l(w) be the second derivative of w**5/20 - 5*w**4/6 + 11*w**3/6 - 11*w**2/2 + 2*w. Is 7 a factor of l(q)?
True
Let o(h) = h**2 - 7*h + 10. Does 41 divide o(17)?
False
Does 11 divide 