y(c) = -14*c. Does 6 divide y(x)?
True
Suppose -5*m - 15 = -4*h + h, h = -2*m + 16. Let n be (2 + -5)/((-6)/h). Let q(x) = x**2 + 3*x - 7. Is q(n) a multiple of 22?
False
Let l = -1239 - -2135. Is 27 a factor of l?
False
Let u be 0/(5 + (-4)/1). Suppose c = 3*c + 10, 5*x - 5*c - 560 = u. Does 10 divide x?
False
Let r be ((-2)/(-5))/(1/10). Suppose -8 = 2*d - r*d. Suppose 0 = -5*l + d*y + 93, 3*l - y - 39 = l. Does 5 divide l?
False
Let q(o) be the first derivative of 80*o**3/3 + o**2 - o + 2. Is q(1) a multiple of 16?
False
Let x = 2873 - 626. Is 21 a factor of x?
True
Suppose 2*o + 15 = 3*o - 3*p, -o + 4*p + 19 = 0. Let g = 13 - 13. Suppose 9 = w - a, o*w + w - a - 33 = g. Does 4 divide w?
True
Suppose -2*u - n - 1 = -0, 2*u = 3*n + 3. Suppose 4*a = u, 2*v - a + 12 = 144. Is v a multiple of 22?
True
Suppose -f - 2*g + 284 = -0*g, -4*g = -2*f + 592. Is 29 a factor of f?
True
Suppose -3*t = -5*t + b - 115, 0 = -5*t + b - 292. Let f(v) = 10*v - 2. Let x be f(11). Let w = x + t. Does 19 divide w?
False
Suppose 3*g + 0*g - b - 2432 = 0, 3242 = 4*g - b. Is g a multiple of 15?
True
Let r be -2 - -2 - (4 + -9). Let f = r - -88. Is f a multiple of 7?
False
Let b(u) be the second derivative of -u**4/12 - 10*u**3/3 + 19*u**2/2 - 4*u. Is b(-15) a multiple of 28?
False
Let k = -17 + -52. Let f = 101 - k. Is 19 a factor of f?
False
Let r(j) = -3*j - 15. Let d be r(-6). Suppose d*w + 975 = 8*w. Is w a multiple of 17?
False
Let h(j) = j**2 - 10*j + 12. Let n be h(10). Let i be -2*9/n*-2. Suppose -i*o - 4*a = -27, -45 = -6*o + o - a. Is o a multiple of 9?
True
Let p = -37 - -37. Is ((-136)/(-16))/(p - (-1)/2) a multiple of 17?
True
Suppose 0 = -95*p + 92*p + 186. Is p even?
True
Let x(r) = -r**3 - 11*r**2 + 20*r + 32. Suppose -2*w = -0*j - 5*j + 51, 2*w = 4*j - 46. Is x(w) a multiple of 17?
False
Is 6347/7 + 2/7 a multiple of 25?
False
Let b = 31 - -140. Is 9 a factor of b?
True
Suppose -11 = -o + 1. Let h = o + -7. Suppose -2*g - 243 = -h*g. Is 13 a factor of g?
False
Let x(y) = -y**3 + 5*y**2 - y. Does 14 divide x(-6)?
False
Let w be -3 - -1 - (1 + 1). Let b be (6/w)/(4/24). Does 20 divide 4/(-6)*b*10?
True
Suppose m = -3*d, 2*d + 8 + 9 = 5*m. Suppose m*h + 42 = 4*h. Does 21 divide h?
True
Suppose 0 = 5*s - 2*n + 34 + 20, -4*n - 12 = 0. Let i = -9 - s. Is 31 a factor of (-34)/i*120/(-16)?
False
Let h(k) = -k**2 - 6*k - 3. Suppose 5*w + 7 + 3 = 0. Let m be h(w). Suppose 4*x + 3*c = 343, -3*c = m*x - 559 + 131. Does 18 divide x?
False
Let i be 71 - (0/(-2) + -4). Suppose 73 = 3*b + 2*d, 2*b + 9 - i = 3*d. Does 7 divide b?
False
Let m be 1 + 4 + -4 + 3. Suppose -89 - 63 = -m*v. Does 4 divide v?
False
Suppose -d - 1 = 44. Let v(c) = c**3 - 8*c**2 + 7*c + 7. Let g be v(8). Let u = d + g. Is 9 a factor of u?
True
Suppose -25*l - 854 = -27*l - 3*t, -5*l = t - 2122. Is l a multiple of 8?
True
Let u(m) = 0*m - m + 141 - 125. Is u(-7) a multiple of 8?
False
Let u(x) = -x**3 - 2*x**2 + 61*x - 20. Is u(-10) a multiple of 18?
False
Let d(s) = -3*s**3 - s**2 - 2*s - 1. Let i be d(-2). Suppose -2*b = -4*h + 3 - 71, -2*b - 5*h = -i. Is b a multiple of 8?
True
Let z(c) = 11*c - 20. Let x be z(2). Suppose 2*d + d = x*b + 124, 4*b = -2*d + 104. Is 5 a factor of d?
False
Let x = -13 - -37. Suppose 0 = -0*f + 3*f - x. Does 3 divide (1 - 0)/(f/88)?
False
Let s = -12 + 15. Is 13 a factor of 2/(-6)*s + 131?
True
Let h = -29 + -70. Let b = -59 - h. Is b a multiple of 10?
True
Let q(t) = 100*t + 4. Let a be q(2). Suppose -4*d = -5*w - 183, 5*d = -0*w - 2*w + a. Is d a multiple of 4?
False
Suppose 0 = -7*i + 3*i + 16, i + 160 = 2*q. Is q a multiple of 41?
True
Suppose 0 = -3*i + 3*f + 3012, -3*i = 31*f - 32*f - 3006. Is 14 a factor of i?
False
Let y(s) = -s**3 - 5*s**2 + 21*s + 24. Is y(-12) a multiple of 13?
True
Suppose 23218 = 65*z + 7488. Does 11 divide z?
True
Let t(y) be the third derivative of y**5/15 + y**4/12 - 9*y**2. Let a be t(3). Let h = a + -30. Does 12 divide h?
True
Suppose 2346 = w - 4*h - 1210, -5*h = -5*w + 17810. Is w a multiple of 44?
True
Let h = 4 + 4. Suppose h = 3*v + v. Suppose 0 = -v*d + 122 + 12. Does 18 divide d?
False
Let h(m) = 121*m**2 - 3*m + 3. Is h(2) a multiple of 40?
False
Let k(o) = 4*o - 39. Let d be k(12). Suppose -3*u + 12 = -d. Does 3 divide u?
False
Let p(x) be the second derivative of 11*x**4/6 - x**3/3 - x**2 - 4*x. Is p(-2) a multiple of 16?
False
Suppose 5*f = -2*v - 8, 4*f - f - 3*v - 12 = 0. Suppose f = -p - 2*p. Suppose 79 = 3*n - 5*q, p = -3*n + 3*q - 6*q + 63. Is 12 a factor of n?
False
Let l be 29*9/(-6)*(-6)/(-9). Let v = l - -44. Is v a multiple of 10?
False
Let h = -5 - -7. Suppose -4 - h = -2*a. Suppose -a*q + 27 = -99. Is q a multiple of 14?
True
Let k(g) = -g**2 - 14*g - 1. Let v be k(-13). Let o(f) = -f + 14. Let s be o(v). Does 16 divide (s + 54/(-3))/(-1)?
True
Let o = 80 - -249. Let l = o - 227. Is 34 a factor of l?
True
Suppose -9*k - k + 530 = 0. Suppose -k*n = -51*n - 100. Is n a multiple of 5?
True
Let b = 26 + -23. Suppose -3*h + 47 = 2*c, 8*c - 105 = b*c - 5*h. Is 13 a factor of c/3*195/26?
False
Let c be 2 - (-66)/(1*(-9)/(-30)). Is c/4 + (-18)/12 a multiple of 27?
True
Let c(h) = -6*h - 22. Let n be c(-17). Let t = 93 - n. Does 11 divide t?
False
Let x(a) = a**3 - a**2 - 33*a + 16. Does 44 divide x(10)?
False
Suppose 6552 = -3*y + 15*y. Does 21 divide y?
True
Suppose -31 = 3*f + p - 12, 0 = 4*f - 3*p + 47. Let k = -11 - f. Let a = k + 11. Does 8 divide a?
True
Suppose f + k = -f + 77, -2*k = -4*f + 166. Let i = 85 - f. Does 9 divide i?
True
Let n be (1 - 2) + -1 - -12. Let y be (-2 - (4 + -3)*-4)*2. Suppose 5*k - 105 = -5*c, -y*k - 69 = -n*c + 5*c. Is c a multiple of 5?
False
Does 3 divide (-43)/(12 - 724/60)?
True
Let i(w) = -w**2 + 26*w + 8. Is i(16) a multiple of 26?
False
Let c = -192 - -266. Does 13 divide c?
False
Suppose 4*v - 3*l = 99, 5*l = -3 - 2. Suppose -4 + v = 4*g. Suppose a = -f - 2 + 4, g*f = a + 34. Is f a multiple of 2?
True
Let z = 486 - 316. Let h = z + -44. Does 32 divide h?
False
Let n be (-7)/(-1) + -4 + 0. Suppose -3*x + 4 = 2*l - n*l, 7 = 4*x - l. Does 6 divide (-19)/((12/(-4))/x)?
False
Let j(m) = m**2 - 12*m + 3. Let t be j(12). Suppose -t*s = -y + 36, 2*y + 2*y = s + 89. Is y a multiple of 7?
True
Let x be ((-13)/3)/((-4)/12). Suppose 0 = -d - x + 1. Let m = d + 16. Is m even?
True
Suppose 4*j - 1842 = -4*v + 2*j, -2*v + 5*j = -915. Is v a multiple of 46?
True
Let c = -9 - -11. Suppose c*v = -3 - 21. Is 24 a factor of (8/2)/(-2)*v?
True
Let r(a) = 5*a + 14 + 1 - 4*a. Is r(15) a multiple of 15?
True
Let r = 51 - 18. Let p be 2 + 0/(-6 - (1 - 6)). Suppose 0 = p*n - 5*n + r. Does 10 divide n?
False
Let u(s) = s**2 + 3. Let d be u(0). Suppose 16 = -a + d*a. Let l = 13 - a. Does 5 divide l?
True
Let o(m) = 1040*m**2 - 8*m - 3. Is 11 a factor of o(-1)?
True
Let n(c) = -68*c + 13. Is 31 a factor of n(-3)?
True
Is 1/((-3)/(-584 + 2)) a multiple of 4?
False
Suppose 0 = -3*g + 5*j + 49, 3*j + 84 = 4*g + 26. Is g a multiple of 3?
False
Let a(j) be the third derivative of -j**6/120 + j**5/10 + j**4/24 - j**3/3 + 15*j**2. Is 7 a factor of a(3)?
True
Let j be ((-48)/(-10))/((-2)/(-5)). Suppose j = 4*l - 3*l - 3*k, -4*l + 84 = -3*k. Is 3 a factor of l?
True
Suppose -11 = -g - 60. Let k be ((-252)/g)/(2/28). Suppose 2*x + 3*c - 53 = 0, -3*x + 2*c - 5*c + k = 0. Is 11 a factor of x?
False
Suppose -3*w - 3*n = -3828, -2*n + 6 = -0*n. Is w a multiple of 13?
False
Let j be 80*(2 + 14/(-5)). Let w be 0 + (-5)/3*-3. Is 15 a factor of (j/w)/((-10)/50)?
False
Let w(p) = 29*p - 20 - 45*p + 22*p. Suppose -4*c + 37 = -2*i - 3*i, 0 = c + 3*i - 5. Is 6 a factor of w(c)?
False
Let c = 2401 + -951. Is 25 a factor of c?
True
Let u be 19/7 - (-12)/42. Suppose 0*d = u*d - 24. Suppose r = -l + 40, -3*l + 2*r + 92 = -d. Does 12 divide l?
True
Let l = 5708 + -3675. Does 9 divide l?
False
Let j = 349 - 191. Does 14 divide j?
False
Let h(f) be the third derivative of -f**4/8 - f**3/2 - 4*f**2. Let w be h(-3). Let i = 6 + w. Is 8 a factor of i?
False
Suppose 0 = -i - 2*q + 6*q + 2579, -4*q - 12895 = -5*i. Is 69 a factor of i?
False
Let q(o) = -4*o**3 - 2*o**2 + 2*o + 2. Let z be (-6)/(-12)*(13 - 1). Suppose 0 = -5*h + 5*v - 10, 3*h + 6*v = v - z. Is 17 a factor of q(h)?
False
Let r(p) = 31*p + p**3 - 41*p - 20*p**2 + 45 