ppose 4*x = 1 + 15. Is 26 a factor of (-6)/x*(-624)/18?
True
Suppose 3*c - 98 = 22. Suppose -5*s + c = -3*s. Does 17 divide s?
False
Is (1 - (-3 + 3))*139 a multiple of 36?
False
Let g be (-33)/(-12) - 2/(-8). Suppose 4*i = g*i - 93. Does 2 divide 6/(-8) - i/12?
False
Is 21 a factor of (-11 - 2)*(3 - (6 - 0))?
False
Let l = 211 - 101. Suppose -145 = -5*o - a, 4*o + 2*a - l = -0*a. Is 15 a factor of o?
True
Let j(r) = 5*r + 1. Let a be j(-1). Let h(b) be the third derivative of -11*b**4/24 - b**3 - 3*b**2. Is h(a) a multiple of 19?
True
Let m(f) = f**3 - 6*f**2 + f. Let s be m(6). Is 11 a factor of 209/s + 5/30?
False
Let y(h) = -2*h - 8. Let z be y(-7). Is 6 - z/(-3*1) a multiple of 3?
False
Let g(t) = -2*t + 21. Let k(f) = -f + 11. Let i(s) = 4*g(s) - 7*k(s). Let y be i(6). Let z(b) = 24*b**3 + 2*b - 1. Is 12 a factor of z(y)?
False
Let a(z) = -z**2 + 4*z + 4. Let k be (1/(2/8))/1. Suppose -k*v + 12 = 4*n - 12, 3*n - 26 = -5*v. Is 4 a factor of a(v)?
True
Let s be (-34)/2 + 0 + -1. Let v = -76 + s. Is 1/(2 + 186/v) a multiple of 18?
False
Suppose -a + 4*j = -3*a + 742, 3*j = 0. Does 53 divide a?
True
Let y(l) = l**3 - 4*l**2 + l - 4. Let r be y(4). Let b be -8*(r - (3 + 2)). Suppose 2*x - 3*x = -b. Is 14 a factor of x?
False
Suppose 0 = 4*l - 3*l - 3. Let b(j) = 7*j**2 - 3*j. Is b(l) a multiple of 18?
True
Let m = -7 - -4. Is 17 a factor of 17/((-5)/2 - m)?
True
Let q = 3 + 30. Does 9 divide q?
False
Let u be 30/2 + 1 + 1. Suppose 0 = 3*h + 1 + 17. Let q = h + u. Is 4 a factor of q?
False
Let f(j) = -2*j - 3. Let h be f(-3). Suppose 2*c = -h*c + 115. Is 12 a factor of c?
False
Suppose -54 - 45 = -q - 2*c, 3*c = 2*q - 170. Does 13 divide q?
True
Let d = 12 - 18. Let r(u) = -4*u**3 - 7*u**2 + 1. Let o(a) = 3*a**3 + 7*a**2 + a - 2. Let l(m) = 3*o(m) + 2*r(m). Is 12 a factor of l(d)?
False
Suppose s = 3*s - 4. Suppose 3*g - 121 = -2*p - 49, s*p - 3*g - 48 = 0. Does 16 divide p?
False
Let c = 174 - 113. Let d = c - 27. Is d a multiple of 17?
True
Suppose 64 = 7*i - 3*i. Let m = i - 0. Is 8 a factor of m?
True
Let o be 2/(-7) + 32/14. Let d(f) = -4*f + f - o*f. Is 14 a factor of d(-3)?
False
Let d(c) = -3*c + 4. Let m be d(3). Does 7 divide m/10 + 58/4?
True
Let m(q) = 5*q - 17. Let s be m(8). Let y = 34 - s. Is y a multiple of 4?
False
Let g(z) = -3*z**3 - 4*z**2 + z + 3. Does 20 divide g(-3)?
False
Let v be (-174)/(-4)*(5 - 3). Let w = v - 61. Does 13 divide w?
True
Let b(f) = 3*f**2 + f + 6. Is 15 a factor of b(-3)?
True
Suppose -k + 2*k - 9 = 0. Suppose 0 = 7*y - k*y + 54. Is y a multiple of 9?
True
Let f(u) = -5*u - 15. Let x be f(-11). Suppose -5*m + 3*p = -2*p - 50, 3*m - x = -2*p. Does 12 divide m?
True
Suppose -4*n - 4 = -s + 1, 5*n - 15 = -3*s. Let w(b) = 6*b**3 - 2 + b + 0*b - 3*b + s*b. Is 16 a factor of w(2)?
False
Suppose 0 = 5*m - 14 - 6. Suppose 8 = m*i - 0*i. Let s = i - -9. Is 11 a factor of s?
True
Let x = 0 + 5. Suppose -x*c + 311 = 91. Does 18 divide c?
False
Suppose -5*p = -5*h + 205, -3*h + p + 80 = -33. Is 6 a factor of h?
True
Suppose -3*z + 53 = 2*v, -2*z - 3*z - 4*v = -87. Is 19 a factor of z?
True
Let c(l) = 42*l**2 - 2*l + 5. Is c(2) a multiple of 30?
False
Let r(m) = 383*m**2 - 4*m - 3. Is r(-1) a multiple of 32?
True
Is 17 + 3 - (2 + -1) a multiple of 5?
False
Let z = -65 - -91. Suppose -c + z = -2*c. Let g = c + 37. Is g a multiple of 11?
True
Let v be ((-6)/(-15))/(3/15). Suppose 7*b - v*b - 63 = -2*h, 2*b + 2*h = 24. Does 7 divide b?
False
Suppose -23 - 10 = -2*v - s, -v + 6 = -3*s. Does 3 divide v?
True
Does 9 divide (4 + 1)*(-1 + (-376)/(-10))?
False
Let v(z) = 31*z**2 + 5*z + 4. Is 6 a factor of v(-1)?
True
Let w(d) = d + 16. Let p = -10 + 15. Suppose -v = -m + 5, p*m - 1 + 6 = -v. Is 16 a factor of w(m)?
True
Suppose 2*d + 82 = 3*x, -d = 2 - 3. Is x a multiple of 7?
True
Let n be ((-2)/(-2) - -1) + -3. Let o = n - -1. Suppose v + o*v + 21 = 2*f, -2*v + 48 = 5*f. Is 7 a factor of f?
False
Let a(t) = 11*t - 10. Is 5 a factor of a(5)?
True
Let f(b) = b**2 + b. Let l be f(-2). Let j(n) be the first derivative of 3*n**2 + n - 5. Is j(l) a multiple of 13?
True
Suppose -7*i + 121 + 5 = 0. Is 9 a factor of i?
True
Suppose 0*v - 3*s = 4*v - 336, 0 = -4*v - 5*s + 336. Is 10 a factor of v?
False
Let r(d) = d**3 - d. Let c(g) = 4*g**3 - 2*g**2 - g - 3. Let f(m) = c(m) - 3*r(m). Let x be f(2). Is -2 + (46 - -3) - x a multiple of 13?
False
Let z(w) = 9*w**3 + 7*w**2 - 2*w + 8. Let g be z(-8). Is g/(-77) - (-4)/14 a multiple of 12?
False
Let h = 45 - 15. Is h a multiple of 2?
True
Let k = -2 + 14. Suppose -2*d + 3*d + 4*p + 14 = 0, 0 = 3*p + k. Is (8 - 4)*4/d a multiple of 8?
True
Let w(i) = -21*i - 23. Does 16 divide w(-11)?
True
Does 11 divide (99/36)/((-1)/(-8))?
True
Let m be 2/(-6) + (-80)/(-6). Let k = -11 + m. Does 10 divide 0 + k + 1 + 27?
True
Let c(v) = 8*v**2 - 5*v - 1. Is c(-2) a multiple of 15?
False
Suppose 0 = 5*g - 5, g - 11 = y + 4*g. Is 27 a factor of (4/(-6))/(y/567)?
True
Let t = 19 - 3. Suppose -3*v + 20 = -t. Is 3 a factor of v?
True
Is (-3)/((-12)/8)*8 a multiple of 8?
True
Let t = 2 + 4. Suppose -4*f + t = -22. Suppose o = -0*o + f. Is 5 a factor of o?
False
Let t = 8 + -2. Does 6 divide t?
True
Let f be (-267)/(-9) - 4/6. Let j = f - 14. Does 7 divide j?
False
Let z(o) = -182*o + 5. Does 11 divide z(-1)?
True
Is 17 a factor of (-3)/2*(-6120)/27?
True
Let y = -207 + 297. Is y a multiple of 30?
True
Let a(k) = -3*k - 2. Let j be a(3). Let m = -8 - j. Is m a multiple of 3?
True
Let y = -16 - -16. Suppose -5*m + 2*m + 4*k + 133 = y, 3*m - 5*k - 128 = 0. Does 17 divide m?
True
Let m = 0 - 0. Suppose m = -l + 50. Is 10 a factor of l?
True
Let x = -1 - -5. Suppose 3*w + 10 = -c, -4*c - 3*w + 1 = -x. Suppose 4*h - 48 = t, h + 0*h + 4*t = -c. Does 6 divide h?
False
Let a(z) = z + 11. Let b be a(-8). Suppose o - 10 = -o. Suppose -b*x = o*i - 35, 4*x = -2*i - x - 5. Is 5 a factor of i?
True
Suppose -3*k + 5*i + 28 = 0, -6*k = -k + i. Let n = 4 - k. Let b = n + 8. Is 4 a factor of b?
False
Let r = 75 - -108. Let t = r - 77. Suppose 2*a - t = -3*w, -5*a + 45 + 108 = 4*w. Does 16 divide w?
True
Let d = 318 + -218. Is d a multiple of 25?
True
Does 40 divide 1/9 + 4984/18?
False
Let q = 75 + 126. Does 31 divide q?
False
Let r = -54 + 78. Does 8 divide r?
True
Suppose 3*n = 4 + 5. Suppose 0 = n*g - 0*g - 48. Is 4 a factor of g?
True
Let p = -2 + 3. Let z(x) = x**2 - 4*x + 3. Let c be z(3). Does 7 divide p/((-3)/(-45)) - c?
False
Suppose p = 2*b - b + 10, -5*p + 52 = -3*b. Suppose -2*r = -r - p. Is 5 a factor of r?
False
Is -1 - 0 - (-11)/((-33)/(-456)) a multiple of 18?
False
Let r(k) = -14*k - 6. Does 12 divide r(-3)?
True
Suppose -u = -3 - 1. Suppose -n = 4*n + u*q, -5*q - 13 = 3*n. Is n a multiple of 4?
True
Let b(x) = -5*x - 4. Is b(-3) a multiple of 3?
False
Let w(b) = b**2 - 7*b - 27. Is 17 a factor of w(11)?
True
Suppose -2*g - 5 = 3*a + 3, a + 6 = g. Suppose 0 = g*y - 5*y + 120. Is y a multiple of 13?
False
Let g be ((-14)/6)/(3/(-45)). Suppose -3 - 1 = -i, -5*i + g = 3*w. Is 5 a factor of w?
True
Suppose -m - 5*n = -12 - 15, -2*m + n - 1 = 0. Suppose -c + 22 = -28. Suppose -f = -m*f + c. Does 19 divide f?
False
Does 11 divide 9*5/15 + 129?
True
Suppose 2203 + 902 = 9*v. Does 31 divide v?
False
Let b(d) = -d**3. Let r be b(-1). Let f be (-1)/r - 2 - 1. Is 8 a factor of ((-9)/(-2))/((-1)/f)?
False
Let m = -3 - -3. Let g be (-1 - 14) + (m - -1). Is 15 a factor of (-1062)/(-42) + 4/g?
False
Suppose -88 = -d - 10. Let x = d + -30. Is 7 a factor of x?
False
Suppose k + 644 = 3*t, -4*t + k + 740 = -120. Is 27 a factor of t?
True
Let z(j) be the second derivative of -7/6*j**3 + 4*j + 1/2*j**2 + 0 + 1/20*j**5 + 5/12*j**4. Does 4 divide z(-6)?
False
Suppose -72 = -2*b - b. Is b + (7 - 3)/(-4) a multiple of 13?
False
Suppose -8 = -3*y + 7. Is 4 a factor of y?
False
Does 5 divide 1 + (-12)/16 - (-537)/12?
True
Let k(d) = -d**3 + 4*d**2 - 2*d - 3. Let m be k(3). Suppose -4*o = -3*g + 46, 0 = -m*o + 2*o - g + 22. Let p = o + 25. Is p a multiple of 15?
True
Let b(p) = 3 - 2*p**2 + p**2 - 4*p - 3 + 2. Let a be b(-4). Suppose -3*f + a*v = f - 34, -2*f = 2*v - 26. Does 10 divide f?
True
Suppose -2*z = -4*z. Let n(u) = -4*u**3 - 4*u**2 + 4 + 5*u**3 + 4*u**2 - u**2. Is 4 a factor of n(z)?
True
Suppose 0 = -0*p - 3*p - 18. I