
Let m(y) = -y**3 + 3*y**2 + 20*y - 6. Let f be m(-4). Suppose -3*q = 5*c - 292, 3*c - 70 - f = -q. Is q a multiple of 24?
False
Let c be -1 + 7 + 87/(-29). Let q(d) = -40*d - 12. Let o(t) = -39*t - 11. Let l(g) = -3*o(g) + 2*q(g). Does 24 divide l(c)?
True
Let x be ((-12)/9)/((-2)/60). Let w be (x/12)/(1/(-6)). Does 30 divide (2 + w)*50/(-15)?
True
Suppose -3*y + 3*w = -537, -3*y = -3*w + w - 535. Suppose -r - 5*n + y = 0, -2*r = -r - 3*n - 169. Is 28 a factor of r?
False
Let g(y) = -y + 20. Suppose -r = -3*r + 18. Let k be g(r). Let o = k + -5. Is o even?
True
Let b(f) = f**2 + f. Let m(u) = 7*u**2 + 8*u + 7. Let a(j) = -6*b(j) + m(j). Suppose 7 = 6*z - 5*z. Is 16 a factor of a(z)?
False
Let p(q) = -130*q - 153. Is 11 a factor of p(-19)?
False
Suppose 1 = h - 8. Is (64 - 5/((-15)/h)) + -3 a multiple of 8?
True
Let m(k) = k. Let x(d) = 5*d - 3. Let g(h) = -6*m(h) + x(h). Let s be g(-5). Suppose -s*p + 36 = v, v - 5*v + 4*p = -180. Is v a multiple of 21?
True
Let m(q) = q**3 - 6*q**2 + 13*q - 15. Is 7 a factor of m(8)?
True
Suppose -3*w + 0 = -33. Let o(a) = -2*a - 5 - w*a - a**2 + 4*a. Is o(-7) even?
False
Suppose -y + 90 = y. Suppose 0*s = -4*s + 2*f + 42, -f = -4*s + y. Let r = -4 + s. Is 4 a factor of r?
True
Suppose -12 = -9*a + 24. Suppose 116 = 3*r + 4*u, 5*r - 36 = a*r - 2*u. Is 2 a factor of r?
True
Suppose -4*m + 14 + 62 = 0. Suppose 0 = -b + 11 + m. Does 10 divide b?
True
Suppose -3*k = 4*w - 6 + 17, -3*k - 20 = -5*w. Let z(a) = -a + 1 + 4 + 0. Does 4 divide z(k)?
False
Suppose -20115 - 18105 = -35*k. Does 12 divide k?
True
Let z = -168 - -480. Suppose 33 + z = 3*t. Is t a multiple of 6?
False
Let x(z) = z + 333. Does 5 divide x(-19)?
False
Suppose 0 = -14*x + 6*x + 2848. Let f = -242 + x. Is 13 a factor of f?
False
Let f(r) = 7*r**2 + 6*r - 4. Let j(w) = 8*w**2 + 6*w - 3. Let n(m) = 3*f(m) - 2*j(m). Is n(4) a multiple of 21?
False
Let q = 847 + -442. Is q a multiple of 10?
False
Let b(z) = -12*z**3 - z**2 + 1. Let j be b(-1). Suppose 2*s + j = 2*n, -2*s - 4 = 2*n - 0*s. Suppose -10 - 22 = -n*a. Does 8 divide a?
True
Let v(d) = 5*d + 37. Is v(31) a multiple of 12?
True
Suppose -183652 = -74*h - 46456. Does 33 divide h?
False
Suppose 15 - 5 = 2*o - 3*v, 0 = -5*o + 4*v + 18. Let u = 16 + 58. Suppose -u = -4*a - 5*q + 22, 0 = 4*a - o*q - 68. Is 13 a factor of a?
False
Let q be ((-20)/(-7))/(2/7). Let v = -6 + q. Suppose v + 59 = n. Does 16 divide n?
False
Let o(l) = 21*l + 44. Let d be o(6). Suppose a + a - 308 = -2*x, -a + d = 5*x. Is 30 a factor of a?
True
Suppose r + 3*r = 128. Suppose -4*x + 28 + r = 0. Suppose -q + x = -2*s, s + 14 = -6*q + 7*q. Is 3 a factor of q?
False
Let y(r) = -107*r**3 - r**2 + 4*r + 3. Suppose 3*u + 7 = -4*u. Does 15 divide y(u)?
True
Suppose -2*t + 882 = 2*n, -5*n = -3*t + 1294 + 53. Is t a multiple of 12?
True
Let p(l) = -4*l - 10. Let h be 4*6/(-9)*-3. Let n be p(h). Let a = -29 - n. Is a a multiple of 4?
False
Suppose -2*p + 0*p - a + 17 = 0, -3*a = 4*p - 39. Does 7 divide 10/(12/p)*7?
True
Suppose -3*x + 2128 = -2*x. Is x/26 - (-10)/65 a multiple of 14?
False
Suppose -12399 = 4*n + 3*b + 8916, -5*b = -4*n - 21307. Let u be (-3)/(-7) + n/(-63). Suppose 25 = -5*g, 0 = -4*o + 4*g + 19 + u. Does 7 divide o?
True
Let a = -24 + 31. Let u be (-6)/3*(-174)/4. Suppose -4*v = -a*x + 2*x + 132, 5*v + u = 3*x. Does 8 divide x?
True
Let v(b) = 8*b**2 - 122*b + 6. Does 19 divide v(18)?
False
Suppose -39 = -3*v + 3*x, v = 2*x + 3*x + 33. Does 8 divide v?
True
Let d be (-41)/1 - (1 - 2). Let j(n) = -n**3 + 2*n - 1. Let a be j(1). Is (a - 3)*d/12 a multiple of 7?
False
Let h(z) be the first derivative of -z**3/3 + 9*z**2 + 11*z + 12. Does 12 divide h(9)?
False
Suppose 13*b + 62 = 15*b + 3*s, -5*s + 10 = 0. Does 4 divide b?
True
Suppose 0 = -77*j + 75*j + 30. Is j a multiple of 3?
True
Let l(x) = 12*x**2 - 2*x + 3. Let d(w) = -13*w**2 + w - 2. Let t(u) = -6*d(u) - 4*l(u). Does 16 divide t(1)?
True
Suppose 2*x - h = 201, 3*x - 4*h - 273 = 16. Does 24 divide x?
False
Suppose 0 = -2*g - 3*l + 16, -g - 4 = -2*l + 2. Is ((-42)/9 + g)*-36 a multiple of 6?
True
Suppose p + 60 = f, -16 = 4*p - 0*p. Let c = 63 - f. Does 5 divide c?
False
Suppose -2*u - 22 + 62 = 0. Let p(t) = t - 3. Let s be p(u). Let m = 27 - s. Is 2 a factor of m?
True
Let y = 4 + -3. Let t(u) = 109*u + 3. Is 27 a factor of t(y)?
False
Let f(p) = -p**3 + 9*p**2 + 2*p - 17. Let t be f(9). Let u be t - (1 + -3 - 33). Suppose u + 10 = 2*i. Is i a multiple of 8?
False
Let g(y) = y**3 + 5*y**2 - 3*y. Let w(u) = -u**3 - 6*u**2 + 3*u. Let t(n) = 4*g(n) + 3*w(n). Let z = -1 - -3. Does 3 divide t(z)?
False
Suppose -3*n + 331 = 4*z - 137, 4*n - z - 605 = 0. Suppose 3*a - 161 = g + 4*g, -4*g + n = 3*a. Is 13 a factor of a?
True
Is 43 a factor of (7 - 8)/(1/(-286))?
False
Suppose -5*a = -3*a - 146. Suppose -f = f + 3*t - a, 39 = f - t. Is f a multiple of 38?
True
Let x(l) = -l**3 + 7*l**2 - 4*l - 8. Let d be x(6). Suppose -12 = -o - 2*t, -d*o = -9*o + 2*t. Suppose -o*c - 100 = -7*c. Is 8 a factor of c?
False
Let p be (-504)/(-11) - 16/(-88). Suppose -5*d - p - 44 = 0. Let o = 23 + d. Is o a multiple of 3?
False
Suppose 0 = 3*d - 4*t - 1827, 0 = -34*t + 32*t + 6. Does 18 divide d?
False
Let k(n) = -4*n - 2. Let g be k(-1). Suppose -2*d = -2*i - 160, -g*d + 2*i - i = -164. Does 14 divide d?
True
Let o = -537 + 767. Suppose -t + 345 = 4*k, t = -3*k + 6*t + o. Does 5 divide k?
True
Suppose -13*n + 2888 - 795 = 0. Is 21 a factor of n?
False
Let j(m) = 89*m + 1. Suppose -7*h = -5*h - 2. Is 19 a factor of j(h)?
False
Suppose 0 = m - a - 244, 4*m = -3*a + 6*a + 972. Suppose 5 = -4*o - 11, -2*f + 2*o + 14 = 0. Suppose -f*l = -6*l + m. Is 20 a factor of l?
True
Is ((-21)/28)/((-1)/20) a multiple of 3?
True
Let t(y) = -4*y**3 + 2*y**2 - 2*y. Let c be t(2). Let o = -103 - c. Let s = 126 + o. Is s a multiple of 14?
False
Suppose 4*y = 5*l + 324, y + 127 = 2*l - 4*l. Let p be 3/((-21)/1120 + 0). Let m = l - p. Is 18 a factor of m?
False
Let d(b) be the second derivative of b**5/20 + 13*b**4/12 + 4*b**3/3 + b**2 + 10*b. Is 25 a factor of d(-12)?
True
Does 10 divide ((-4905)/60)/(15/(-40))?
False
Suppose -5*s - 80*v + 4982 = -84*v, 2*s - 4*v = 2000. Is s a multiple of 9?
False
Let l(d) be the first derivative of d**4/6 - 3*d**3/2 - 3*d**2 + 4. Let s(n) be the second derivative of l(n). Does 15 divide s(6)?
True
Let r = 68 - -65. Is r a multiple of 19?
True
Let w = -2580 + 5946. Is 18 a factor of w?
True
Suppose -52*l + 43*l + 1044 = 0. Is l a multiple of 29?
True
Let h(y) = 6*y**3 - 6*y**2 + 12*y. Is h(5) a multiple of 6?
True
Let k = -2 - -1. Let z be (k + -1)*2364/8. Does 11 divide z/(-12) + 2/(-8)?
False
Let w = -25 + 18. Does 28 divide (-8)/28 - 345/w?
False
Suppose -3*d - 3*d - 354 = 0. Does 15 divide d/(-4) - (-4)/16?
True
Is -9 + 7/14*1754 a multiple of 14?
True
Suppose -4*z - 22 = -106. Does 10 divide z?
False
Let f(z) = z**2 + 9*z - 6. Is f(-15) a multiple of 12?
True
Let f = -3408 + 4891. Does 11 divide f?
False
Let m(n) be the third derivative of -n**4/24 + 10*n**3/3 - 13*n**2. Let v be m(5). Suppose 1 = -l + 5*k + v, -4 = 4*k. Is l a multiple of 3?
True
Suppose 2*b - b = 0. Suppose 2 = -b*a + a. Suppose -5*z = a*z - 21. Does 3 divide z?
True
Let f(j) = 9*j**2 - 2*j - 8. Let b be f(4). Let k = 296 - b. Does 24 divide k?
True
Let u be 29/(4 + (-11)/3). Let s = u - 52. Is 8 a factor of s?
False
Suppose 0 = 5*n - 13 - 2. Is 7 a factor of n/(-6) + 411/6?
False
Suppose -210*v = -217*v + 203. Is 2 a factor of v?
False
Let a = 109 - 103. Let b = 1 + -1. Suppose -3*f - 3*q + a = b, -3 + 17 = -f - 5*q. Is f a multiple of 5?
False
Suppose 11 = 3*k - 25. Let y = 0 + k. Is y a multiple of 6?
True
Suppose 5 = h + m, 0 = h + 3*h - 2*m - 26. Suppose -h*i + 9*i = 5*o - 258, -o + 48 = 3*i. Does 7 divide o?
False
Let h = 1648 - 1144. Does 36 divide h?
True
Is 54 a factor of ((-15)/6)/(1/(-156))?
False
Let h = 29 - 33. Let v(u) = u**3 + 11*u**2 + 6*u + 4. Is 46 a factor of v(h)?
True
Let f(p) = 6*p**2 + 61*p - 25. Does 16 divide f(-17)?
True
Suppose -2*y + 133 = -243. Suppose 10*c - y = 202. Does 21 divide c?
False
Let g be (3/9)/((-3)/(-18)). Let h(w) = -2*w**3 + w**3 + 9 - g - 3*w**2. Is h(-5) a multiple of 16?
False
Suppose t = -5*c + 5*t + 300, 2*t = 0. Is c a multiple of 10?
True
Let q