-44. Suppose -4*c + 6*w = 3*w - 69, -2*w = -2*c + r. Is c a multiple of 7?
False
Let y be 12/7 + (-26)/(-91). Let q(k) = -k**3 - k**2 + k. Let w(u) = 4*u**2 - 4*u - 2. Let z(s) = -3*q(s) - w(s). Is z(y) a multiple of 14?
False
Let b be (9/(-1))/(1 + 4/8). Does 7 divide (-4)/b - 1992/(-36)?
True
Let p be (1 - (0 + 0))*-12. Let i be ((-28)/21)/(2/p). Suppose o - 2*o + i = 0. Does 8 divide o?
True
Let k = -664 - -1142. Suppose 0 = -5*f + k - 163. Does 21 divide f?
True
Suppose q + q - 2*n = -30, 5*q + 57 = -4*n. Let x(g) = g**3 + 14*g**2 + 7*g + 10. Is x(q) a multiple of 11?
True
Let c = -718 - -1580. Is c a multiple of 5?
False
Let u(z) = -105*z**2. Let y be u(1). Is y/(-21)*6/2 a multiple of 15?
True
Does 10 divide -3 + (8/(-36) - (-8245)/45)?
True
Let q(u) be the first derivative of 2*u**2 + 4*u - 12. Let p(x) = 2*x - 12. Let i be p(8). Does 7 divide q(i)?
False
Let y(t) = -136*t + 8. Let r be y(1). Is (-1 - -6 - r)/1 a multiple of 33?
False
Suppose 28 = 3*p + 4*p. Suppose 5*m - 43 = -3*d, -4*m + 27 = -3*m - p*d. Is m a multiple of 11?
True
Let u(y) = -7*y**3 + y - 6. Let k(s) = 15*s**3 - 2*s + 11. Let w(j) = -6*k(j) - 13*u(j). Is w(5) a multiple of 33?
True
Suppose -4*k - 5*c - 72 - 21 = 0, 0 = -k - 2*c - 24. Let b be 12/(-30) + k/(-5). Let i(q) = 3*q - 6. Is i(b) a multiple of 2?
True
Suppose 0 = 9*j - 16*j + 84. Let z(p) = -p**3 - 6*p**2 + 4*p - 9. Let l be z(-7). Does 18 divide (-3)/j + 963/l?
False
Let t(z) be the third derivative of -z**4/8 + 5*z**3/2 + 10*z**2. Let m be t(-5). Is 2 a factor of (1*2)/(10/m)?
True
Let j(k) be the second derivative of k**4/3 - 5*k**3/6 + 4*k**2 - 11*k. Is j(3) a multiple of 4?
False
Let r be 17/34 - 6/(-4). Suppose 5*c - r*c = 336. Does 16 divide c?
True
Does 16 divide 3655/(-86)*(-4)/5?
False
Suppose 0 = 2*c - 4*c + 4*x + 406, 3*c = x + 599. Suppose 5*m + 38 = t, 5*t = -5*m + c + 21. Does 13 divide t?
False
Let j(z) be the third derivative of -19*z**4/24 + z**3/6 + 2*z**2 + 6. Let x(h) = 2*h + 6. Let l be x(-4). Is 39 a factor of j(l)?
True
Suppose -5*b + t + 6 = 0, 6*t = 2*t + 16. Suppose 0 = b*p - 5*p. Suppose 3*l - 6*l - s = -254, 2*l + 2*s - 172 = p. Is 27 a factor of l?
False
Suppose -5*u = -4*z, -2*z + 3*u = 3*z. Suppose z = -7*a - a + 784. Is 12 a factor of a?
False
Let f = 2724 + -1450. Is f a multiple of 17?
False
Suppose 0 = -36*h + 6051 - 291. Does 4 divide h?
True
Let o(h) = -17*h - 55. Is o(-35) a multiple of 9?
True
Suppose -4*x + 11430 = 4366. Does 15 divide x?
False
Let r(z) = 2 - 3 - z**2 + 6*z**2 + 6*z - 7*z. Let w be r(-1). Suppose -w*x + 4 = -3*x. Does 2 divide x?
True
Is -32*((-2)/3 + (-7520)/141) a multiple of 80?
False
Suppose 4110*j - 4112*j + 1924 = 0. Is j a multiple of 13?
True
Suppose 0 = 3*y + 3 - 27. Let z be (2 - 20/y)*-82. Let i = 86 - z. Is 14 a factor of i?
False
Let l = -23 - -24. Let s(r) = r**3 - 1. Let j(d) = 61*d**3 + d**2 + 2*d + 2. Let h(u) = j(u) + 4*s(u). Is 11 a factor of h(l)?
True
Let v = 32 + -30. Suppose 5*w + 45 = 5*a, 0*w - 4 = -v*w. Is a a multiple of 2?
False
Suppose -4*i = -3*i - 4. Let g be 3/i*(-4144)/4. Is 9 a factor of (-7)/42 - g/18?
False
Is (-2426)/(-14) - (-106)/(-371) a multiple of 12?
False
Suppose 2*x - 3*x = 13. Suppose -2 = -2*v + 154. Let w = x + v. Is w a multiple of 26?
False
Is (1282 - 6) + -4 + 16 a multiple of 3?
False
Let p(s) = -s**3 - 5*s**2 - 3*s + 2. Let q be p(-4). Suppose 2*w + 3*w - 60 = 0. Let j = q + w. Is 7 a factor of j?
False
Let k be (48/28)/((-2)/(-7)). Let y(p) = -18*p + 19*p + k + p**2 - 5*p**3 + 4*p**3. Is 3 a factor of y(0)?
True
Suppose -b = -2*q - 2*q - 177, 0 = -5*q. Does 27 divide b?
False
Let m(f) = 2*f - 2. Let o be m(2). Let a(b) = 4 - 3*b**2 + 2*b**2 - 5*b + 23*b**2 - 8*b**2. Is a(o) a multiple of 25?
True
Let z be (-2 + 10)/(-12 + 10). Is 3 a factor of (-110)/(-33) + z/(-6)?
False
Let b(g) be the first derivative of -6 - 5/2*g**2 - g. Does 8 divide b(-3)?
False
Let c = -196 + 305. Let q = 207 - c. Is q a multiple of 17?
False
Suppose -51*f = -27*f - 19536. Is f a multiple of 13?
False
Is ((-40)/(-5))/4*48 a multiple of 7?
False
Let s(w) = w**2 + 10*w - 14. Let x be s(-15). Let z = x + -6. Is 11 a factor of z?
True
Let c(m) = -m**3 + 18*m**2 + 19*m + 24. Suppose -5*t = h - 14, 4*t - 23 = -h - 8. Does 8 divide c(h)?
True
Let w(o) = -5*o**3 - 5*o**3 + 7*o + 11*o**3 - 9*o**2 + 7. Let p be w(8). Let a = 19 - p. Does 16 divide a?
False
Suppose -121893 = -41*z - 28618. Is z a multiple of 40?
False
Let w(o) = 29*o**2 + 67*o - 438. Is 21 a factor of w(6)?
True
Suppose 31*y - 30*y - z = 550, 4*z + 2746 = 5*y. Is 13 a factor of y?
True
Suppose 6*v - 400 = -262. Suppose -b - 3 = 5*g + 1, b - 2*g + 11 = 0. Let h = b + v. Is 12 a factor of h?
False
Let i(t) = 2*t**2 + 8*t - 8. Let z = 20 + -14. Let y be i(z). Suppose -4*a + 0*f = -2*f - y, -3*a + 3*f = -87. Is a a multiple of 9?
True
Suppose f + 12 - 22 = 0. Does 43 divide 1*f/35 + 934/14?
False
Let w = -967 + 991. Is 3 a factor of w?
True
Let m(s) = 2*s**2 - 3*s + 26. Is m(15) a multiple of 41?
False
Let c be 3/2*(-312)/(-18). Let v = 8 - c. Let l = v + 42. Is l a multiple of 8?
True
Let k(b) = -4*b + 6. Let z be (2/(-4))/(1/(-4)). Let p be k(z). Let q = p - -13. Does 11 divide q?
True
Let w(r) = r + 10. Let u be w(-5). Suppose -u*d + 4*d = -20. Does 15 divide d?
False
Suppose -11106 - 1025 = -3*d + 2*s, -4*d - s + 16171 = 0. Is d a multiple of 35?
False
Let w(g) = 2*g**2 + 17*g - 4. Let u be -10*-5*(-6)/25. Does 20 divide w(u)?
True
Suppose 86580 = -21*l + 51*l. Is l a multiple of 37?
True
Let z = 3 - 3. Suppose -5*u + 95 = -z*b + b, 55 = 2*u - 3*b. Does 5 divide u?
True
Suppose 5*w = -1457 - 2013. Is (7 + w/4)*(-2)/3 a multiple of 37?
True
Let m(d) = 3*d**2 + 11*d - 4. Let z(g) = -4*g**2 - 12*g + 5. Let l(t) = -6*m(t) - 5*z(t). Is l(8) a multiple of 12?
False
Suppose 0 = 6*p - 2*p - 5*i - 2, 0 = 3*i - 6. Suppose -x = 5*u - 73, 5*x + 2*u + p*u - 285 = 0. Is 12 a factor of x?
False
Let b = -26 - 34. Let m = b - -132. Does 26 divide m?
False
Let k(p) = 5*p**2 - 5*p + 56. Is k(9) a multiple of 8?
True
Let h = 13 + -12. Let l be (-165)/75 - h/(-5). Is 31 a factor of (0 - l)/2 + 47?
False
Suppose -12 - 90 = -2*i. Is 4 a factor of i?
False
Let b = 346 - -64. Let w = b + -44. Is w a multiple of 61?
True
Let c be 5 - (-11)/((-33)/(-30)). Suppose 0 = 3*n + n, -c = -k + 4*n. Does 5 divide k?
True
Let f(u) = u**2 - 2*u + 2. Let w be f(2). Suppose -2*h + 18 = 3*j + w, 0 = -4*j + 3*h - 7. Suppose -j*q + 55 = 5*l, -4*q + 3*l + 24 = -21. Does 5 divide q?
True
Let w be (2 - ((-2)/(-2) + -2)) + 9. Does 20 divide (-10*6/w)/((-1)/28)?
True
Let d = -848 + 2424. Is 42 a factor of d?
False
Suppose 5*a + 0*i = 2*i + 6944, 4*a + 4*i - 5544 = 0. Is 33 a factor of (-10)/35 + a/7?
True
Let w = 24 - 19. Suppose q = -2*f + w*q + 320, 0 = -4*f + 3*q + 645. Is f a multiple of 29?
False
Let b = 3815 - 1043. Is 132 a factor of b?
True
Suppose -2*j = c - 545, -4*c - 73 = 2*j - 627. Let d = -187 + j. Is 28 a factor of d?
True
Let u(p) = -4*p**3 - 2*p**2 + p - 2. Let l be u(-2). Let z = l - 20. Is (-3 - -1) + z + 22 a multiple of 4?
True
Suppose -2*g - 211 - 287 = -5*u, 99 = u - g. Suppose -10*i + u = -5*i. Is i a multiple of 4?
True
Suppose 2*c + 20 = 3*o + 132, c - 116 = 3*o. Let f be 0 - 1 - (84 - 1). Let d = o - f. Does 7 divide d?
False
Let k(r) = 12*r**2 + 15*r + 91. Does 11 divide k(8)?
True
Suppose 3*o = -3 + 99. Suppose -2*i + i + 4 = 0, -4*i + o = 4*w. Suppose w*q - 160 = q - s, -2*s - 148 = -3*q. Is q a multiple of 13?
True
Suppose 6223 = 8*v + 1167. Is v a multiple of 12?
False
Let k(y) = -y**2 + 22*y - 62. Let x(h) = 1. Let n(p) = -k(p) - x(p). Is 2 a factor of n(19)?
True
Let f(r) = -r**3 - 7*r**2 + 10*r - 11. Let d(h) = 2*h**3 + 13*h**2 - 20*h + 23. Let p(t) = -4*d(t) - 9*f(t). Is p(-11) a multiple of 13?
True
Let u(y) = 8*y + 630. Does 75 divide u(15)?
True
Suppose 3*q - 4 = -10. Let j = 20 - q. Is j a multiple of 2?
True
Suppose 3*o - 6*o = 6. Suppose 0 = 3*j - j + 2. Is 23 a factor of j + o/1 - -26?
True
Let m be 1*4/((-12)/(-957)). Suppose s - 3*s = -3*l + m, -s + 523 = 5*l. Is l a multiple of 7?
True
Does 43 divide (12/(-18)*-43)/((-2)/(-54))?
True
Let o(v) = -v**2 - 14*v + 6. Let j(p) = p - 11. Let k be j(8). Let a be 8/(-2) - (k - -7). Is 15 a factor of o(a)?
False
Let v = -17 