 + 17. Is s/52 - 119/(-4) a multiple of 10?
True
Let p be (1 - 2)/(3/33). Let l = p - -20. Suppose -2*u + l = -27. Is u a multiple of 8?
False
Let i = -12 + 13. Let q(m) = -1. Let v(o) = 4*o - 2. Let w(n) = i*q(n) - v(n). Is w(-7) a multiple of 15?
False
Let q = 126 - 95. Is q a multiple of 2?
False
Suppose 3*u - 33 - 93 = 0. Is 4 a factor of u?
False
Let x(k) = -11*k**2 + 2*k - 1. Let g(u) = u**2 - 12*u + 12. Let w be g(11). Let q be x(w). Let n(i) = -5*i - 11. Does 11 divide n(q)?
False
Suppose -3*l + 616 = 5*u, -2*l + 4*l - 419 = -5*u. Is 3 a factor of l?
False
Suppose 5*n + 4*j + 9 = 157, -4*n + 3*j + 137 = 0. Is 7 a factor of n?
False
Let p be (-8 + 3)*9/(-5). Let m = p + -11. Does 8 divide -7*(-3)/(-2)*m?
False
Suppose -156 = -4*l - 12. Does 6 divide l?
True
Let v = -53 - -58. Suppose -14*y = -v*y - 837. Is 31 a factor of y?
True
Let d(a) = a**2 + a + 1. Let y be d(1). Suppose -3 = -4*n + 5. Suppose -q + 31 = -n*r, q + y*q - 131 = r. Is q a multiple of 12?
False
Let w(m) = m**3 - 15*m**2 + 55*m - 24. Is 6 a factor of w(12)?
True
Let l(q) = -q**2 + 45*q - 48. Does 4 divide l(17)?
True
Let j be 0*(-1)/(-2) + -15. Let u be -9*2*5/j. Does 2 divide 45/u*4/5?
True
Let n be 6/(-8) - (-22)/8. Suppose 0 = 3*f + n*f. Let p = f + 12. Is p a multiple of 6?
True
Is (4 - 16/(-3))/((-2)/(-267)) a multiple of 60?
False
Let p be (1000/6 - (-20)/(-30)) + -3. Let q = p + -123. Is 10 a factor of q?
True
Let q(l) = -2*l - 8*l + 3*l**3 + 8 - 5*l**2 + l - 2*l**3. Let z be q(7). Suppose -z = c - 3*c + 5*v, 2*c - 39 = v. Is c a multiple of 16?
False
Does 2 divide -1 + -1*(-2 - 51)?
True
Let f(k) be the second derivative of -k**3 - 69*k**2/2 - 10*k - 2. Does 33 divide f(-17)?
True
Let a = -78 + 74. Does 32 divide -94*(25/10 + a)?
False
Let c(i) = -6*i + 1. Let h be c(1). Let j be 122 + 0/(2 + h). Is 4 a factor of 6/8 - j/(-8)?
True
Suppose 45 = -s + 47. Suppose 0*h + 3*w - 38 = -h, -135 = -3*h - s*w. Is 13 a factor of h?
False
Suppose -180 - 30 = -15*m. Suppose m*t = -867 + 4423. Is 17 a factor of t?
False
Suppose 23*w = 36*w - 4004. Is 22 a factor of w?
True
Does 22 divide 5 + (-2)/(-2) + 770?
False
Let f(o) = 5*o**2 + 6*o - 4. Let h be (-46)/(-10) - (-57)/(-95). Is 23 a factor of f(h)?
False
Suppose -476 = 4705*f - 4706*f. Is f a multiple of 3?
False
Let k = 250 - 214. Is 6 a factor of k?
True
Let x(y) = 7*y**2 - 6*y + 7. Let l(u) = u**3 - u**2 + u + 1. Let s(o) = -l(o) + x(o). Is 2 a factor of s(7)?
True
Let s(n) = 146*n - 23. Is s(5) a multiple of 7?
True
Does 15 divide 6*9/(-189)*(-161 - 0)?
False
Let g(z) = z**2 + 15*z - 1. Let c(r) = r - 1. Let u(k) = -3*c(k) + g(k). Let t be u(-12). Suppose 0*h - f - 402 = -5*h, -6 = -t*f. Is h a multiple of 27?
True
Let a = 25 - 23. Suppose 67 - 187 = -a*r. Is r a multiple of 30?
True
Let f = -2 + 6. Suppose -f*g = -6*g. Suppose t - 20 = -g*t. Is t a multiple of 18?
False
Suppose c = 2*s + 3*c + 200, 0 = 5*s - 2*c + 500. Let v be 120/s*(-130)/3. Does 5 divide 13/v + (-87)/(-4)?
False
Let o = 14 + 51. Suppose -2*p = 3*p. Suppose p = 2*q - o + 1. Does 10 divide q?
False
Let z be (-2 + 6/4)*1*6. Does 2 divide z*7/(105/(-20))?
True
Let p(c) = c**3 + 6*c**2 + 3*c - 4. Let j be p(-5). Suppose 21 = 5*v + j. Does 23 divide (-2)/v - 71/(-3)?
True
Suppose 9 + 11 = 4*j. Let w be j/(-10) - 194/(-4). Does 22 divide -3 + w + 3*-1?
False
Is 91 a factor of 1874/2 + 1 + -3?
False
Is (-1144146)/(-656) - (-2)/(-16) a multiple of 16?
True
Let m = 158 - -1705. Is 27 a factor of m?
True
Suppose 24920 = 33*l - 13*l. Is 7 a factor of l?
True
Let w = 392 - 261. Is w a multiple of 6?
False
Let r(c) = c**3 - 7*c**2 - 14*c + 12. Let f(s) = s**3 - 7*s**2 - 15*s + 13. Let d(t) = 6*f(t) - 7*r(t). Let k be d(7). Let w = k - 14. Is w a multiple of 12?
True
Suppose -3*y + 434 = -592. Suppose 2*n - y = -2*o, 2*o - 3*o - 3*n + 161 = 0. Suppose 5*q - o = q. Does 9 divide q?
False
Suppose 0*x + 5*x - 69 = 2*s, 5*s + 159 = -x. Is 32 a factor of 1336/14 - s/56?
True
Let i = 1896 - -1723. Is i a multiple of 11?
True
Is (-9)/(-864)*12 + (-7167)/(-8) a multiple of 16?
True
Suppose -157*g + 158*g = 616. Does 44 divide g?
True
Suppose -6*m + 16*m - 40 = 0. Is (-1 + m)*(-64)/(-24) even?
True
Let w be ((-10)/(-2))/((130/12)/13). Does 32 divide w/(-14) + 8775/91?
True
Suppose 12 + 108 = -5*i. Let w be i/(-9)*6/4. Suppose 0 = x + x - 3*s - 67, w*x - 114 = 2*s. Does 13 divide x?
True
Let o be (-8)/(-20) + (-729)/(-15). Suppose -2*s + o = -47. Does 16 divide s?
True
Let o(w) = -8*w + 9. Let l be o(-9). Is 9 a factor of 45*((-18)/l + 22/18)?
True
Suppose 0 = -8*d + 6*d + 60. Is 10 a factor of ((-7)/3 - -1)*(-855)/d?
False
Let g = -36 + 46. Is 10 a factor of g?
True
Let d = -1252 + 1309. Is 5 a factor of d?
False
Let p = 1249 + -945. Is 76 a factor of p?
True
Suppose 2*f + 288 = 2074. Is 47 a factor of f?
True
Does 11 divide (4 + -5)/((-3)/2019)?
False
Let z(y) = -3*y - 3*y + 1 + y - y. Let g be z(-5). Suppose 8 = b + 4*k, 0 = -4*b + 5*k + 1 + g. Does 2 divide b?
True
Let a = -16 - -12. Let g = a + 9. Suppose 0*p - g*p = -190. Is p a multiple of 19?
True
Does 7 divide -2*41*(7/2 - 6)?
False
Let x(u) be the first derivative of u**4/2 - 4*u**3/3 - u**2 + 5*u + 1. Is 15 a factor of x(4)?
False
Suppose -3*h = -3*m - 227 - 1, -2*h + 4*m = -148. Suppose 3*c = c + h. Does 13 divide c?
True
Let p be 7 + (-1 + -2)*1. Suppose -p*o + 1146 = -782. Suppose 0*y - 273 = -3*k + 3*y, -o = -5*k - 4*y. Is 17 a factor of k?
False
Suppose z = -z. Let b = 32 + z. Is b a multiple of 7?
False
Suppose 25 = 2*i + 2*i + 5*w, w + 4 = i. Suppose 356 = 4*c - 4*z, 3*c = -i*z + 191 + 68. Is 36 a factor of c?
False
Suppose -5*s + 1 - 8 = i, s = -5*i - 11. Is 6 a factor of 6/((-7)/(21/i))?
False
Let z(o) = 15*o - 17*o**2 + 79*o**3 - 5 + 80*o**3 - 160*o**3. Is z(-18) a multiple of 24?
False
Let c(m) = m**3 + 6*m**2 - m. Let y be c(-6). Suppose t + 8 = 2*z, -y*t + 38 = 3*z - t. Let n(l) = -l**2 + 16*l - 13. Is n(z) a multiple of 12?
False
Let f(c) = 2*c - 7. Let i be f(6). Suppose 5*t + 0 - i = 0. Suppose -r + 5 = 0, 4*h - 3*r - 110 + t = 0. Is h a multiple of 20?
False
Suppose -a - 2 = s - 0, -4 = -2*s. Let w = a - -24. Is 11 a factor of w?
False
Let n = -530 + 2105. Does 15 divide n?
True
Is 253/(3*9/135) a multiple of 69?
False
Let i = 35 + -8. Suppose 0 = -7*l + 5*l + 10. Does 23 divide i - 12/(l + -2)?
True
Let l = 634 + -479. Is l a multiple of 24?
False
Suppose j - 5*j = 5*l - 116, 4*l + 16 = 0. Suppose 7 = c + t + 4*t, -3*c = 2*t - j. Let m(f) = -f**3 + 12*f**2 + 2*f + 2. Does 13 divide m(c)?
True
Let y(s) = 3*s**3 - 5*s**2 + 3*s + 1. Let q(a) = a**3 + 7*a**2 + a + 10. Let c be q(-7). Is 7 a factor of y(c)?
False
Suppose 2*n = 12 - 4. Let b be -1 + ((-16)/n - -10). Let j(r) = 2*r**2 + r - 7. Does 24 divide j(b)?
True
Let s(z) = -z**2 - 8*z - 7. Let r be s(-6). Suppose 4*k - r = -k, -2*k = 2*y + 250. Is ((-10)/(-6))/((-14)/y) a multiple of 5?
True
Let g be 6/((-4)/(6/(-3))). Let o(z) = 1 + g*z**2 + 2 - 2. Is o(-3) a multiple of 6?
False
Suppose 2*l + l - 2*d = 14, -d - 9 = -2*l. Suppose 3*g = 4*g - 3*s - 19, 2*s = l*g - 26. Is 2 a factor of g?
True
Let w be ((-1)/2)/(14/112). Let n = 65 - 28. Is 17 a factor of (-1 + n)*w/(-6)?
False
Suppose 0 = 4*q - 25 - 11. Let a = q + -7. Let g(z) = 8*z**3 + 2*z**2 - z + 2. Does 20 divide g(a)?
False
Let n(x) = 7*x + 30. Let v be n(-4). Let i = 179 + v. Is 15 a factor of i?
False
Let k = -93 + 240. Suppose -k = b - 4*b. Does 7 divide b?
True
Suppose 2*j - 4 = 2*k, 0 = -3*k - 4*j + 10 - 2. Suppose 4*m + k*t - 59 = -t, -48 = -3*m - 2*t. Is m a multiple of 14?
True
Let y be (-12)/27*-3*(-36)/(-8). Suppose -4*w + y*w = 98. Is 7 a factor of w?
True
Let c(j) = -j**2 - 9*j - 17. Let v be c(-9). Let f = 47 + v. Is f a multiple of 15?
True
Let t(a) = 18*a**2 + 17 - 2*a**3 + 15*a - a**3 + 0*a**3 + 4*a**3. Is 8 a factor of t(-17)?
False
Let s(l) = l**3 + 11*l**2 + l + 5. Suppose 5*p = -m - 51, 0 = 3*p - 0*m + m + 29. Let z be s(p). Let q(g) = g**3 + 8*g**2 + g - 7. Does 14 divide q(z)?
False
Suppose 1 = v + 3*d, 2*v - 13 = -0*v + 5*d. Suppose v*t + 1 = 2*o - 69, 0 = -2*t - 6. Is 18 a factor of o?
False
Let k = -367 - -433. Is 11 a factor of k?
True
Let n = 4963 + -2113. Does 50 divide n?
True
Suppose 32 - 7 = 5*x. Suppose 5*s + x*m - 875 = 0, 2*s + 3*m - 356 = 4*m. Does 