- 0*q - 4. Suppose -q*i + 0*i + 12 = 0. Does 6 divide i?
True
Let y(n) = -n**3 - 3*n**2 - 3*n - 4. Let u be y(-3). Suppose 0 = 4*l - 11 - u. Is 4 a factor of l?
True
Suppose 31 = 3*c - 179. Let a = c + -30. Does 20 divide a?
True
Is 19 a factor of (-2 - -5) + 0 + 16?
True
Let l(b) be the first derivative of 2*b**3/3 - 3*b**2 + b + 3. Is 11 a factor of l(5)?
False
Let b be 6/(-21) + (-158)/(-14). Let v(y) = y. Let o be v(-8). Is 8 a factor of 174/b - o/44?
True
Let c(t) = t**3 + 3*t**2 + 2. Let m be c(-3). Suppose -4*h = -5*q + 29, m*h - 2 + 4 = 0. Suppose -q*n + 4*f = -30, n + n + 5*f = 12. Is 6 a factor of n?
True
Is 20/(-4) - 286*-1 a multiple of 17?
False
Suppose -2*t + 9 + 7 = 0. Does 6 divide t?
False
Let l = -4 - -8. Let m(x) = 3*x - 6. Is 3 a factor of m(l)?
True
Suppose -4*q + 2*b = -10, q + 0*q + b - 7 = 0. Suppose -5*o = -3*o - 3*l - 10, 4*o = 5*l + 22. Suppose q*i - 5 = -3*j, 0*i = 2*i + o. Is j a multiple of 7?
True
Is 14 a factor of (-252)/16*32/(-12)?
True
Let l be -1 - -2 - (-62)/2. Let s be (3/3)/(1/6). Let w = l - s. Is w a multiple of 13?
True
Suppose 3*p - 297 = -3*z, p + 404 = 5*p + 2*z. Is p a multiple of 12?
False
Suppose -2 = -w + 39. Suppose 55 = 2*f - 4*n - w, -f = n - 51. Does 25 divide f?
True
Let q(c) be the second derivative of 3*c**5/5 - 5*c. Does 4 divide q(1)?
True
Let c(n) = 4*n**2 + 2*n - 6. Let q(x) = 2*x**2 + x - 3. Let w(h) = -6*c(h) + 11*q(h). Let l be w(3). Is l*(1 - (-21)/(-9)) a multiple of 12?
True
Let o(p) = 16*p**3 - 29*p**3 - p**2 + 20*p**3 - 1 + p. Let z be (-6)/(-8) + 2/8. Does 3 divide o(z)?
True
Let l(d) = d**2 - 5*d + 6. Let r be l(4). Suppose r*s + s = 6. Suppose 163 = 4*b + q, -b + s*q = 3*q - 40. Does 17 divide b?
False
Suppose 65 + 101 = 2*c. Suppose 2*t = -5*y + c, 0 = -3*t - 4*y + 115 + 13. Is 28 a factor of t?
False
Suppose 4*m - 164 = -4. Suppose 2*o = -h - o + 4, -m = -5*h + 5*o. Suppose -2*w + 13 + h = 0. Is 5 a factor of w?
True
Let o(c) = c. Let f be o(3). Suppose 2*m + f*a + 0*a - 48 = 0, 0 = 4*m + 5*a - 98. Suppose 5 = 4*w - m. Is w a multiple of 3?
False
Suppose -5*w - 413 = -4*t, -4*w = t - 103 + 5. Does 17 divide t?
True
Let p(k) be the third derivative of k**5/4 - 3*k**2. Is 11 a factor of p(1)?
False
Does 20 divide (1 + 11)*(-14)/(-4)?
False
Suppose -3*p = -s + 38, s - 24 + 0 = -4*p. Suppose -s = -4*q - 5*i, -2*q + 26 - 10 = -5*i. Is 6 a factor of q?
False
Let k be (1*-2)/(1 + 0). Let r be 3*2/(-4)*k. Is 10 a factor of 9 + r*(-2)/(-6)?
True
Does 8 divide -3 + -1 - -21 - 3?
False
Let x = 34 - 17. Let d(c) = -c - 3. Let s be d(-5). Suppose 0 = 3*z + s*i - 19, 0*i - 3*i = -2*z + x. Is 4 a factor of z?
False
Let x(z) = -z**2 - 8*z + 32. Is 13 a factor of x(-7)?
True
Let u = 9 + -1. Does 19 divide 2/u - 267/(-4)?
False
Let b(m) = m**3 - 1. Let h(z) = -3*z**3 - 7*z**2 - 2*z - 8. Let f(g) = 2*b(g) + h(g). Let w(u) = 2*u + 1. Let v be w(-4). Is f(v) even?
True
Suppose 2*t + 6 = 16. Suppose t*w - 24 = w. Is w a multiple of 4?
False
Let s = 146 - -73. Is 12 a factor of s/18 + (-1)/6?
True
Let t(m) = -6*m**2 + 0*m**3 - m**3 - 6 + 3*m**3 + 2*m**2. Is 12 a factor of t(4)?
False
Suppose 40 = 5*h - 5*b, 4*h - 2*b - 9 = 13. Suppose -4 - h = -l. Is 7 a factor of l?
True
Suppose 2*w + 5*t = 191, 5*w - t = -2*t + 489. Suppose 5*o + 2*f = 170, w = 4*o - 3*f - 15. Is o a multiple of 16?
True
Let b be (-20)/6 - 12/18. Let g(n) = 5*n - 2. Let o be g(b). Let x = 38 + o. Does 8 divide x?
True
Suppose 0*i + 15 = -3*i, -4*s + 191 = 5*i. Let c be (-8)/(-36) + 752/18. Suppose s = 4*f - c. Is f a multiple of 12?
True
Suppose 0 = -r - 5*u + 17, -4*r = -r - 4*u + 25. Is 1/((3/(-11))/r) a multiple of 11?
True
Let g(r) = r - 1. Let x be g(-3). Is 150/x*(-10)/15 a multiple of 8?
False
Suppose -2*n = -5*n + 6. Let g(q) = 1 + 0 + n*q + 5*q**2 - 2. Is 10 a factor of g(2)?
False
Let u = -225 + 360. Is 21 a factor of u?
False
Suppose 6*o + 12 = 9*o. Suppose -18 = -2*u + o. Does 9 divide u?
False
Suppose -a - 1 = -3. Let t(n) = -n**2 - 9*n + 9. Let o be t(-9). Suppose 0 = -a*k + o + 1. Is k even?
False
Suppose -s = -u + 69, -4*u - 3*s + s = -270. Does 17 divide u?
True
Suppose 2*w = -0*w + 5*j + 55, 2*j + 64 = 2*w. Suppose -7*x + w = -2*x. Is x a multiple of 2?
False
Let l be (-2)/6 - (-1 + (-39)/9). Let g(p) be the third derivative of p**4/24 + p**3/6 + p**2. Does 3 divide g(l)?
True
Suppose 0*y + 3 = -3*u - 3*y, -1 = -u + y. Suppose -5*a - 15 = -u*h - 3*h, 3*h - 15 = a. Does 10 divide a - (-2)/(6/51)?
False
Suppose 33 = 11*o - 8*o. Is 11 a factor of o?
True
Suppose -15 = 3*a, 4*n - 4*a - a - 133 = 0. Does 6 divide n?
False
Let y be 2*(-3)/(-6) - -2. Suppose 0 = p - 4*b - 11 - 8, -5*p - y*b + 3 = 0. Suppose -p*f + 36 = -2*f. Is f a multiple of 12?
True
Does 33 divide (37/(-3))/((-5)/15)?
False
Let n = 802 + -464. Is n a multiple of 26?
True
Let j(l) = -5*l + 4. Let z be j(-3). Let k = z + 1. Does 10 divide k?
True
Suppose -1 = -4*s + 7. Let l = 21 - s. Is l a multiple of 19?
True
Let g be 4 + -6 - (0 + 1). Let f(z) = 2*z**2 + 2*z + 2. Is f(g) a multiple of 7?
True
Let k(s) = 2*s**2 + 4*s + 3. Let t be k(-2). Let u = t - -1. Suppose -u*o = -4*a - 116, 0*a + 49 = o + 4*a. Is 10 a factor of o?
False
Is 55 a factor of 65/15 + -4 + 988/6?
True
Let m(n) = -25*n + 1. Let x be 2 - -5 - 2/(-1). Let r(k) = -k**2 + 9*k - 1. Let s be r(x). Is m(s) a multiple of 13?
True
Let a = -101 + 175. Is 7 a factor of a?
False
Let n be 5/15 + (-14)/(-3). Let h(j) = j**3 - 4*j**2 + 2*j - 3. Is 8 a factor of h(n)?
True
Let i = -9 + 1. Does 14 divide (i/6)/(14/(-168))?
False
Let p(u) = 2*u**2 + 11*u - 21. Is 14 a factor of p(-9)?
True
Suppose 6*m - 28 = 5*m. Does 14 divide m?
True
Suppose -4*o = 4*n - o - 103, -2*o - 12 = -n. Is n a multiple of 22?
True
Suppose 12 = -4*i + 2*l - 144, 0 = 3*i - 5*l + 131. Is (-1)/(((-1)/i)/(-1)) a multiple of 14?
False
Let l(g) = -7*g**2 + 4*g - 8. Let i(f) = 6*f**2 - 3*f + 7. Let o(p) = 6*i(p) + 5*l(p). Let c be o(-3). Let x = 10 - c. Is 5 a factor of x?
True
Let h(n) = 2*n + 18. Let w be h(-9). Let z(i) be the third derivative of i**5/60 - i**4/24 + 6*i**3 - 2*i**2. Does 17 divide z(w)?
False
Suppose r + 1 = -0*r. Let i = 7 - r. Does 4 divide i?
True
Let f(k) = -14 + 0*k**2 + 6*k**2 + 6 - 6*k - 3*k**2. Is f(6) a multiple of 18?
False
Suppose 18 + 17 = 5*b. Does 7 divide b?
True
Suppose 161 = 3*r + 4*b, -4*r + b + b = -200. Is r a multiple of 8?
False
Suppose -37 - 147 = -4*f. Does 23 divide f?
True
Suppose 0 = 4*t - 5*y + 10, -2*t + 4 = -0*t + 2*y. Suppose p = -f - t + 20, 0 = 4*p - 4*f - 56. Does 13 divide p?
False
Suppose 0*n + 2*n = 4. Suppose -2*f - n*f + 28 = 4*g, 5*g = -2*f + 20. Suppose f*c + 32 = d, d + c = -4*c - 18. Does 7 divide d?
True
Let h(a) be the first derivative of -a**4/4 - 4*a**3/3 + a**2/2 - 6*a - 2. Does 5 divide h(-5)?
False
Suppose -5*h + 3*z - z = -469, 3*h + 4*z - 297 = 0. Is 19 a factor of h?
True
Let v(d) = d**3 - 12*d**2 - 13*d - 8. Let s be v(12). Is s/(-8) - (-1)/(-2) a multiple of 6?
False
Let p = -65 + 233. Is p a multiple of 14?
True
Let o be (-1)/((-1)/84*2). Suppose g + 3*g + 5*m = 93, 0 = -2*g + 2*m + o. Is g a multiple of 11?
True
Let g(c) = 1. Let p(t) = t**2 + t + 2. Let x(s) = 2*g(s) + p(s). Suppose -5*k = -2*q + 23, 11 = -9*k + 4*k - q. Is 10 a factor of x(k)?
True
Let n(v) = 13*v**2 - 1. Suppose 4*x - 4 + 0 = 0. Is n(x) a multiple of 12?
True
Suppose -j = 4*l - 38, -j - 4*l = j - 96. Is 12 a factor of j?
False
Suppose 5*u + 589 = -176. Is 11 a factor of u/(-6)*8/6?
False
Suppose 2*d - 3 = d. Let m be (10/(-6))/(-1)*d. Suppose 29 = a - m*l + 8, 5*a - l = 81. Is 7 a factor of a?
False
Let o(m) = -m**2 + 9*m + 7. Let q(v) = 5*v**3 + v**2 + v - 1. Suppose -8*y + 2*f - 2 = -4*y, 0 = 3*y + 4*f - 15. Let x be q(y). Does 16 divide o(x)?
False
Is 3 a factor of 6/15 + (-88)/(-5)?
True
Suppose 2*h + 33 + 13 = 0. Let z = 32 + h. Is z a multiple of 9?
True
Let z(n) = -n**2 - 3*n + 2. Let w be z(-2). Is (-133 - 5)/((-6)/w) a multiple of 25?
False
Suppose -y + 3*y = -4*h - 6, -13 = -4*y - 3*h. Does 2 divide y?
False
Let f be (-56)/(-16) + (-3)/2. Suppose -3*o - k - 3 = -42, -5*k - 43 = -f*o. Is 14 a factor of o?
True
Let u(r) = -3*r - 2*r**3 + 3*r**3 + r - 3*r**2 + 2 + 0*r**3. Is 21 a factor of u(5)?
True
Let u(w) = w + 28. Is 3 a factor of u(-10)?
True
Let b be (-2)/(-2*1)*