i*s - 166 = -k - 4*k, k - z*s = 42. Is k a multiple of 17?
True
Let s(f) = -2*f - 3. Suppose 2 - 1 = -h. Let d = -4 - h. Does 3 divide s(d)?
True
Let b = -4 - -7. Is (-6 + b + -2)*-1 a multiple of 2?
False
Let w = -205 + 113. Let o = -66 - w. Is o a multiple of 14?
False
Let k(a) = -58*a**3 - 17*a**2 + 14. Let c(m) = -19*m**3 - 6*m**2 + 5. Let b(i) = -11*c(i) + 4*k(i). Let v(h) = -h + 9. Let q be v(10). Is 11 a factor of b(q)?
True
Let g = -2 - -5. Suppose d - v = -72, -4*d - 275 = g*v - 22. Let p = d + 94. Is p a multiple of 9?
True
Let p(s) = -s**3 + 3*s**2 + 2*s - 4. Let g be p(3). Suppose c = g*c. Suppose 0 = -c*q - 3*q + a + 69, -2*q + 46 = -5*a. Is 23 a factor of q?
True
Suppose 4*k = -4, 2*d + 3*k - 1 = -0*d. Let n(l) = -3 + l**2 - l**3 + 2*l**3 - 8*l + 2*l - 5*l**d. Does 11 divide n(6)?
True
Suppose 4*u = -4 + 112. Does 12 divide u?
False
Suppose i + 0 - 4 = 2*q, -3*q - 5*i = -7. Let g = q + 0. Is 12 a factor of (36/g + 2)/(-2)?
False
Let b be -2 - 1 - (-2)/1. Let t = -48 + 6. Is 10 a factor of ((-4)/(-6))/(b/t)?
False
Suppose -4*r = 74 + 94. Let t = 92 + r. Suppose -2*q + 154 - t = 0. Is 15 a factor of q?
False
Suppose -2*u - 34 = -0*u. Let q = 28 + u. Is 3 a factor of q?
False
Let s = 283 - 165. Suppose s = 5*n - 4*k, -4*k - k + 100 = 5*n. Is 7 a factor of n?
False
Suppose -36 = -2*n - 3*u, -u = -4*n + 3*u + 72. Is 7 a factor of n?
False
Let l(h) = -h + 8. Let m(w) = -2*w + 15. Let b(a) = -5*l(a) + 3*m(a). Is b(-5) a multiple of 5?
True
Suppose 4*w + 4*l - 412 = -28, 0 = -4*l - 20. Is w a multiple of 16?
False
Let c(a) = -41*a**3 + 2*a**2 - 1. Suppose 0*q = -q - 1. Is 21 a factor of c(q)?
True
Let t = -44 + 65. Is 7 a factor of t?
True
Let a be (-3 - 27/(-21))*-63. Suppose -a + 26 = -k. Is k a multiple of 25?
False
Suppose 0 = 2*a - 25 + 11. Suppose -1 - a = -4*g. Suppose g*u - 19 = -5*r, 2*u + 0*u = -3*r + 25. Is 8 a factor of u?
False
Let r be (-6)/21 - (-149)/7. Suppose 2*o = o + r. Is 14 a factor of o?
False
Let r(g) = -g**3 - 11*g**2 - 13*g - 13. Let b be r(-10). Suppose -4*t = -55 - b. Does 6 divide t?
True
Let b = 73 + -34. Does 13 divide b?
True
Let p = 162 - -47. Is p a multiple of 17?
False
Let i = 36 - 23. Let r = 0 - 7. Let v = r + i. Is 6 a factor of v?
True
Let w(z) = -7*z**2 - 4*z + 45. Let d(q) = -3*q**2 - 2*q + 23. Let h(k) = 5*d(k) - 2*w(k). Does 8 divide h(0)?
False
Let t be 9/4*(-120)/(-45). Suppose q + 174 = 4*v, 4 - t = -q. Is 22 a factor of v?
True
Suppose -g - 23 = 3. Let j be (-1*2)/(4/g). Suppose 2*d - j = -0*d + 5*v, -3*d = -3*v - 33. Is d a multiple of 9?
False
Suppose -4*r - 2*r = -108. Does 6 divide r?
True
Is 20 + (-8)/(-12)*-3 a multiple of 9?
True
Does 25 divide ((-425)/34)/((-19)/(-10) - 2)?
True
Let z(c) = c**3 - 5*c**2 - c + 8. Let b be (-6)/(-5 + 2) + 4. Is z(b) a multiple of 13?
False
Let q(f) = 5*f + 6. Let y be q(6). Suppose -75 = -3*r + y. Does 12 divide r?
False
Let y(x) = 12*x + 19. Let n be y(8). Suppose 0 = 6*p - p - n. Is p a multiple of 5?
False
Is (-1098)/(-27) - (-2)/(-3) a multiple of 10?
True
Let p(r) be the third derivative of -7*r**6/120 + r**4/24 + r**3/6 - 5*r**2. Is 5 a factor of p(-1)?
False
Let a(x) be the first derivative of 2*x**3/3 - 2*x**2 + 3*x - 1. Is 3 a factor of a(2)?
True
Let b(q) = -q**2 - 12*q - 4. Is 4 a factor of b(-11)?
False
Suppose p = -2 + 4. Suppose p*c = -3*c - 175. Let l = -21 - c. Is l a multiple of 14?
True
Let n(p) = p**2 + 7*p + 7. Let l be n(-7). Let d = l - 13. Is 18/d - (1 - 54) a multiple of 25?
True
Let f be 23/5 + (-2)/(-5). Let q(t) = 3*t. Let a(c) = c. Let w(i) = -2*a(i) + q(i). Does 4 divide w(f)?
False
Let k(b) be the second derivative of -b**3/6 - 2*b**2 + b. Let z be k(-7). Suppose -4*j + 4*r + 80 = 0, -4*r = z*j - 0*r - 60. Is 10 a factor of j?
True
Is (646/(-57))/((-2)/3) a multiple of 17?
True
Suppose 2*x - 2*h = -x + 92, 2*x + 2*h = 68. Is x a multiple of 8?
True
Suppose -19*a = -18*a. Suppose -5*l + 67 - 2 = c, a = c. Does 13 divide l?
True
Let m(o) = -o**3 + 10*o**2 + 3*o + 4. Is 15 a factor of m(10)?
False
Suppose b - 6*b - 2 = -2*o, -2*b = 5*o - 5. Is 19 a factor of (2 - 3)*(o + -39)?
True
Let l(g) = -g - 4. Let r(q) = -3*q + 3. Let j be r(3). Let i be l(j). Suppose -5*x - 2*a = -79, 0*x - 3*a = i*x - 25. Is 17 a factor of x?
True
Let l(p) = -p**3 + 11*p**2 - 19*p + 8. Is l(8) a multiple of 12?
True
Let s(z) = z**3 + 8*z**2 - 9*z - 3. Let n be 4/(-18) - (-79)/(-9). Let q be s(n). Is q*(-2)/6*22 a multiple of 10?
False
Suppose -4*r + b = 28, -3*r = 3*b + b + 40. Let y = -13 - r. Let p(w) = -w + 2. Is 4 a factor of p(y)?
False
Let n(h) = -2*h**2 + 11*h + 27. Let z(i) = i**2 - 5*i - 14. Let c(q) = 3*n(q) + 5*z(q). Let d be c(8). Let t = d + -6. Is t a multiple of 2?
False
Let h(c) = 3*c - 8. Let j be (1 + -4)/((-12)/20). Let l(r) = 2*r - 7. Let f(t) = j*l(t) - 4*h(t). Does 15 divide f(-9)?
True
Is (-6)/(-4)*(-624)/(-9) a multiple of 19?
False
Suppose 3*o + 0*o - 21 = 0. Is o a multiple of 7?
True
Let p = -76 - -89. Is p even?
False
Does 8 divide (-20 + -5)*(-12)/15?
False
Let p = 0 + 1. Let v = p + 1. Does 2 divide v?
True
Let u be (-6)/(-8)*(4 - 0). Suppose u*d - 76 = d. Suppose 3*b - d = 16. Is b a multiple of 9?
True
Let f(a) = 9*a**2 - 2*a - 3. Is f(-5) a multiple of 8?
True
Suppose 3*b + 5 = 5*g, 2*b + 2*b = -20. Let z be (-3 - g)/((-1)/(-3)). Is 11 a factor of (0 + -8)/(z/12)?
False
Let q(a) = 10*a + 19. Is q(6) a multiple of 32?
False
Let p(t) = -t + 7. Let c be p(7). Suppose c*o + 390 = 5*o. Suppose -2*x + 53 = -l, -5*x + o + 27 = 3*l. Does 12 divide x?
True
Let c = 142 + -24. Does 31 divide c?
False
Suppose 18 = -i + 186. Suppose -n - q = 3*n - 135, i = 5*n + q. Suppose -k + 2*c + n = 0, 0 = -c + 6*c. Is 11 a factor of k?
True
Let a be 70/21 - 1/3. Let s = 9 - a. Is 1 + 2 - (s + -8) a multiple of 5?
True
Let w(x) = 2*x - 7. Let h(k) = k**3 - k**2 + 2*k - 3. Let l be h(2). Let f be w(l). Suppose 3*q - 32 = 2*o, 2*o + f*o = 3*q - 17. Does 7 divide q?
True
Suppose z - 19 = u + u, 0 = 4*u + 4*z + 20. Let x = u + 21. Let m = 52 - x. Is 13 a factor of m?
True
Does 2 divide -34*(-1 + (-1)/2 + 1)?
False
Suppose 0 = -z - 3*i + 14, 0*z + 5*z = -2*i + 83. Let l = z - 9. Does 2 divide l?
True
Let i be -6*(-2)/(-3)*-7. Suppose 216 = 4*o + 4*q, -2*o = -3*q - 114 + 16. Let g = o - i. Does 12 divide g?
True
Suppose -2*p = -3*j + 3 + 10, -3*p = 6. Suppose 5*b = 5*u + 24 + 6, -b + 14 = -j*u. Suppose w - b*w = -12. Is 5 a factor of w?
False
Is (-69)/(((-16)/(-4))/(-4)) a multiple of 23?
True
Suppose -4*h + 36 = -0*h. Is 9 a factor of h?
True
Let d = 19 + -16. Is 154/(1 + d - 2) a multiple of 18?
False
Let m(t) = 13*t + 11. Let b be m(-5). Is ((-112)/(-21))/((-4)/b) a multiple of 24?
True
Let q(z) = 8 - 2*z + z - 9. Let p be q(-6). Suppose 0*l + l - 17 = -p*b, 0 = -3*b + 6. Is l a multiple of 7?
True
Let u(t) = t**3 + 3*t**2 - 7*t - 6. Let l be 1 - 1 - (1 + 3). Is u(l) a multiple of 4?
False
Let h(j) = j**2 - 11*j + 3. Let r be h(11). Suppose 5*a - 10 = 0, -r*l + 49 = -0*a - 4*a. Is 12 a factor of l?
False
Suppose -5*f - 11 = -6*f. Let d(m) = -m**2 + 10*m + 16. Is d(f) a multiple of 3?
False
Is -1 + 3*(-1120)/(-15) a multiple of 42?
False
Let v = -23 - -7. Let c = 31 + v. Does 15 divide c?
True
Let d = 271 + -182. Is 17 a factor of d?
False
Let q = -17 + 10. Let d = q + 21. Does 12 divide d?
False
Let y(a) = -5*a + 9. Let h be y(5). Let q = 32 + h. Is 8 a factor of q?
True
Suppose -3*g + 63 = -w - w, -g + 84 = -3*w. Let v = -9 + -6. Let b = v - w. Is 12 a factor of b?
True
Let l = -17 - -17. Suppose 6*j - j - 65 = l. Is j a multiple of 10?
False
Let a = 26 - 23. Suppose 0 = -3*i - 3*t + 54, -a*t + 0*t = 4*i - 73. Is i a multiple of 13?
False
Let q(p) = 9*p - 5. Does 7 divide q(4)?
False
Let q = -10 - -27. Does 7 divide q?
False
Let z be 4 - 3 - (-2 - 0). Suppose 4*k + z*j - 1 = 0, -4*k - 4*j - 4 = -0*j. Does 4 divide k?
True
Let m be 5*(4 + (-66)/15). Is ((-4)/10)/(m/30) a multiple of 6?
True
Let l(b) = -b**2 + 4*b + 6. Let k be l(5). Is (4 - 7)*(k + -2) a multiple of 3?
True
Let m(r) = 3*r**2 + 10. Let h be m(4). Suppose h = j - 0*j. Does 29 divide j?
True
Let f = -5 + 1. Let u be f/(-2) + (-3 - -5). Suppose -4*s + 4 + u = 0. Is s a multiple of 2?
True
Suppose 95 = 4*g + 5*w - 401, g - 2*w - 124 = 0. Let m = -11 - -16. Suppose y = m*y - g. 