Suppose -3*c = y*c - 308. Does 22 divide c?
True
Let t(r) be the first derivative of 13*r**2/2 + 15*r + 12. Is t(5) a multiple of 12?
False
Let v = -4 + 8. Let t be (v + (-10)/2)*-2. Suppose -3*d = -t - 13, -97 = -2*a - d. Does 25 divide a?
False
Is 31/(2480/(-32)) + (-19212)/(-5) a multiple of 21?
False
Let w(f) = -f**3 - 6*f**2 - 12*f + 1. Let z be w(-5). Let g = 76 - z. Is g a multiple of 10?
True
Suppose -z + 4*z - 35 = -4*j, -j + 25 = 4*z. Suppose 2*n + 150 + 273 = j*s, 2*s - 186 = 5*n. Is 12 a factor of s?
False
Suppose -57659 = -49*j + 41811. Is 29 a factor of j?
True
Let h(j) = -3*j - 13. Let r be h(-5). Let g be 8/(-4) - (-81 - -1). Suppose -5*o + o + g = v, 91 = 5*o - r*v. Is 6 a factor of o?
False
Let v(d) = -d**2 + 20*d - 34. Let q be v(18). Suppose -w - 305 = -q*b, -b - 4*b - 5*w + 785 = 0. Is b a multiple of 22?
True
Let a = 275 + 70. Does 15 divide a?
True
Let r(x) = 104*x**3 - 3*x - 2*x**2 - 109*x**3 + 3*x. Is r(-2) a multiple of 12?
False
Suppose -3*b = b - 4, 0 = 4*n + 2*b - 986. Let x(r) = -4*r**3 - r**2. Let z be x(-1). Suppose 2*k - 88 = -p, -5*k + z*p + n = 26. Is k a multiple of 13?
False
Let s = -5 - -5. Let a = 33 + -28. Suppose 0 = -s*x - a*x + 195. Is x a multiple of 16?
False
Let y(t) = 2*t - 4*t + 2*t + 2 + t. Let g be y(0). Suppose -g*q = -3 - 53. Is q a multiple of 9?
False
Let y(g) = -8*g**3 + 3*g**2 + 3*g + 5. Let a be y(-2). Suppose -7*j + a = -2*j. Is j even?
False
Let m(n) = n**2 - 7*n - 11. Let w be m(-9). Let g = -78 + w. Let t = -29 + g. Is 25 a factor of t?
False
Suppose -14*b = -2630 - 1822. Is b/8 - 12/(-48) a multiple of 5?
True
Suppose j = 4*j + 2*d - 801, -4*d = -j + 281. Does 29 divide j?
False
Suppose 0 = 3*v + 49 + 98. Let k be (-3 + 4)/((-1)/v). Let d = 100 - k. Does 17 divide d?
True
Let v = -48 - -34. Let h = v - -17. Suppose -h*r + 17 = -13. Is 5 a factor of r?
True
Let q(c) = 8*c - 1. Let b be q(1). Let z(m) = -6 - 3 - b*m + 2. Does 13 divide z(-5)?
False
Let g = 20 + 106. Is 14 a factor of g?
True
Let s be (5/1)/5 + 1. Does 5 divide (s + -5)/9 + 76/3?
True
Let c(g) = -3*g + 8. Let o(u) = 2*u - 6. Let s(v) = -1. Let a(w) = -o(w) - 2*s(w). Let j(m) = -2*a(m) + 3*c(m). Is j(-4) a multiple of 7?
True
Suppose 1086 = t + 5*l - 285, 2734 = 2*t + 2*l. Is t a multiple of 11?
False
Let b(l) = -82*l. Does 41 divide b(-1)?
True
Let g(z) be the third derivative of -13*z**4/6 + 5*z**3/6 + 12*z**2. Does 36 divide g(-3)?
False
Let r = 204 - 91. Suppose 4*m - r = c, 0 = -4*m + 3*c + 93 + 14. Is 29 a factor of m?
True
Suppose 2*p = 3*c + 5, 0 = 3*p + 2*p - c + 7. Let i be (1/p)/(4/(-200)). Let u = 35 - i. Does 10 divide u?
True
Suppose -2*n + 7*n + 3*j - 6603 = 0, -4*j - 6596 = -5*n. Is n a multiple of 45?
False
Let k(r) = -r**3 + 8*r**2 + 14*r - 10. Let i be k(10). Let y = 7 - i. Is y a multiple of 7?
True
Let f(t) = 3*t**3 + 27*t**2 + 41*t + 26. Let a(d) = 2*d**3 + 18*d**2 + 27*d + 17. Let v(k) = -8*a(k) + 5*f(k). Does 13 divide v(-8)?
False
Let g = 27 - 22. Suppose -5 = -3*p + g*a, -a + 3*a = 2*p - 6. Suppose 2*f + 3*m + 46 = 136, -10 = -p*m. Is 14 a factor of f?
True
Suppose 2*z - 158 = -8. Is z a multiple of 10?
False
Let w = 5908 - 3755. Does 44 divide w?
False
Let k(m) = 31*m + 138. Does 8 divide k(18)?
True
Let u(w) = -5*w**3 - 5*w**2 - 11*w + 3. Let o(y) = y**3 - y**2 + y. Let x(h) = 4*o(h) + u(h). Is x(-9) a multiple of 22?
True
Suppose 3656 + 4664 = 8*r. Is 48 a factor of r?
False
Let y be 4/1 - (-2 + 6). Suppose -q - 2*x + 2 = -21, y = -3*q - 5*x + 68. Does 4 divide 6/q - 234/(-14)?
False
Suppose 5*t + 8151 = -6*t. Is 25 a factor of 1/(-5) - t/5?
False
Suppose 58 = -i + 60. Is 44 a factor of i/(-14) + 18953/77?
False
Suppose 7 + 198 = 5*r. Let n = r - -84. Is 25 a factor of n?
True
Does 5 divide -4*(8*-60)/8?
True
Does 12 divide (-2)/(24/(-10863)) + 52/(-208)?
False
Suppose 1574 = -7*n + 3905. Is 6 a factor of n?
False
Let y(h) = 17*h**3 - 3*h**2 + 6*h. Let m(d) = 11*d**3 - 2*d**2 + 4*d. Let f(i) = -7*m(i) + 5*y(i). Is f(2) a multiple of 16?
True
Does 12 divide (56/(-49))/((-2)/56)?
False
Suppose -36*x = -4*x - 18656. Is x a multiple of 45?
False
Let q(j) = 136*j - 11. Does 32 divide q(7)?
False
Suppose -65*f + 62*f = -3*y - 2520, f - 840 = -y. Is 35 a factor of f?
True
Suppose -1 + 7 = 3*h. Suppose -u - 13 = -h*u. Is 13 a factor of u?
True
Let f(u) = 17*u**3 + 2*u**2 + 3*u - 4. Let z be f(2). Suppose -2*k - k + 3*x = -147, 0 = 3*k - 2*x - z. Is k a multiple of 24?
True
Suppose 20 - 10 = 5*i. Let w(h) = 4*h**3 - 2*h**2 + h - 4. Does 11 divide w(i)?
True
Let c(m) be the third derivative of m**6/72 + m**5/24 + m**4/8 + m**3/2 - 2*m**2. Let s(t) be the first derivative of c(t). Is s(-3) a multiple of 11?
True
Let o = 1360 + -568. Is o a multiple of 22?
True
Suppose -3*o + 972 = -0*o - 2*p, -o = p - 324. Is 4 a factor of o?
True
Let o(d) = 17*d**2 + 9*d - 20. Let z be o(6). Suppose -6*p - 214 = -z. Is p a multiple of 18?
True
Is (0 - 550)/(63/(-315)) a multiple of 50?
True
Let v be 1 - -3 - 1*4. Suppose 0 = -2*o - 2*l + 78, v = 4*o + 5*l - 7 - 154. Is o a multiple of 17?
True
Let t(v) = 3*v**2 + 6*v + 14. Let g be t(-6). Suppose -3*w + 22 = -g. Is 18 a factor of w?
True
Let s(n) = 11*n**2 + 2*n - 3. Let v(c) = -2*c + 3. Let o be v(0). Suppose -3*j - o = 6. Does 30 divide s(j)?
True
Let g(b) = -24*b**3 + 1. Let x be g(-1). Suppose 0 = 5*o - 4*s - 61 - 244, x = -5*s. Suppose -4*y + o = -y. Is y a multiple of 15?
False
Let w(f) = 3*f**3 - 3*f**2 + 2*f + 1. Let u be w(2). Suppose -12*s = -u*s - 15. Is 3 a factor of (-59)/s + (-14)/21?
False
Let b(c) = -c. Let o(z) = -z + 4. Let h be o(7). Let g be b(h). Suppose 5*u - 255 = -6*r + r, -5*r = g*u - 161. Is 12 a factor of u?
False
Let i = 52 - 49. Suppose -3*j = i*j - 84. Does 7 divide j?
True
Let u be (-54)/(-12) + 2/4. Let r(a) = -a**2 + 5*a. Let y be r(u). Suppose 9*x - 6*x - 150 = y. Does 25 divide x?
True
Suppose 6*i - 395 - 469 = 0. Suppose -c = -i + 29. Is 23 a factor of c?
True
Suppose 9*f - 17805 = 21489. Is f a multiple of 59?
True
Suppose -5*s - 66 = -366. Does 55 divide s?
False
Is -3 - (-2197 + 50/(-5)) a multiple of 89?
False
Let b = 137 + -70. Suppose -2*p - 14 = -2*x, x + 0*p + p + 1 = 0. Suppose b = x*f + 1. Is f a multiple of 11?
True
Suppose 13*c + 3*c = 9472. Is c a multiple of 63?
False
Let a(k) = k**3 + 4*k**2 + 4*k - 1. Let y be a(-3). Let i(c) = 4*c**2 - 3*c - 1. Let m be i(y). Suppose 13 = 4*h - m. Does 7 divide h?
False
Let f(a) = 28*a - 3. Let l be 144/63 + 2/(-7). Let o be f(l). Let q = o + -21. Does 9 divide q?
False
Let y = 0 - -3. Suppose 1 + y = 4*k. Is 8 a factor of 3 + 36 + k - 0?
True
Let s = -6 - -8. Let p(r) = -23*r + 1. Let o be p(s). Let g = 9 - o. Is 18 a factor of g?
True
Suppose 0 = 4*x - 3*s - 554, -355 - 187 = -4*x - 3*s. Suppose 5*z = 4*c - 0*z - 520, x = c - 3*z. Is 25 a factor of c?
True
Let f(n) = n**3 - 3*n**2 + 2*n. Let q be f(4). Let s = q - -64. Does 32 divide s?
False
Let x(q) = -70*q + 552. Is 64 a factor of x(-4)?
True
Suppose -2*i + 3404 = 4*w, -3*i - 29*w + 5102 = -27*w. Is 100 a factor of i?
True
Let u(d) = -5*d**3 - d**2 + d + 1. Let j be u(-1). Suppose 3*f = 2*h - 57, -j*h + 2*f + 117 = -3*f. Is 11 a factor of h?
True
Let p(d) = d**3 - 14*d**2 - 11*d - 44. Is 14 a factor of p(15)?
False
Let v(b) = -b**3 + 12*b**2 - 11*b + 4. Let a be v(11). Suppose 222 = a*n - n. Is n a multiple of 37?
True
Is 37 a factor of -9978*(-5)/150 - 2/(-5)?
True
Suppose 8*x - 84 = 1140. Is x a multiple of 9?
True
Let t(m) = -20*m - 79. Does 20 divide t(-16)?
False
Let u(c) = c**3 + 10*c**2 - c + 1. Let i be u(-10). Suppose -13*v + i*v = -900. Is 15 a factor of (v/40)/((-2)/(-8))?
True
Let v = -15 + 47. Is 26 a factor of (-35)/2*(-4 - v/28)?
False
Does 26 divide -3117*1/(-3) - (-3)/(-1)?
False
Suppose -6*j = -10*j + 216. Suppose -j*i + 50*i = -228. Does 19 divide i?
True
Let l be (12/(-6))/(1*(-4)/18). Let p(o) = -2*o**3 - 4*o**2 - 3*o - 2. Let y be p(-3). Let t = y + l. Is 17 a factor of t?
True
Let w(u) = -3*u + 59. Let y be w(18). Suppose -2*b + 3*c - 2*c = -49, -y*b - 5*c + 115 = 0. Does 5 divide b?
False
Suppose -2*f + 7*k = 2*k - 11, 5*f - 110 = -4*k. Suppose c - f + 2 = 0. Does 8 divide c?
True
Suppose -2*j + 4*c - 838 = 0, -2*c = -0*j - 4*j - 1688. Let y = -38 - j. Does 16 divide y?
False
Suppose 7*l = 4*l + 12.