 factor of o?
False
Let v = 30 - 22. Suppose -3*f = -f - v. Is f a multiple of 3?
False
Let n = 6 + -4. Suppose -n*c + 9 + 3 = 0. Does 3 divide (-3)/9 - (-50)/c?
False
Let s = 22 - 16. Suppose j = 2*p - 13, j - s*j + 70 = 5*p. Does 6 divide p?
False
Suppose -2*v = 3*x + 2*v - 33, 0 = 3*v + 9. Suppose 2*m - x = -3*m. Suppose -m*s + 190 = 2*s. Is s a multiple of 14?
False
Suppose 15 = 3*o + 2*q + q, 4*o + 2*q - 18 = 0. Does 13 divide (-1236)/(-18) + o/(-6)?
False
Does 28 divide (1308/24)/(2/4)?
False
Let t = -14 + 10. Let i be (-12)/t*(0 - -22). Suppose 4*q = 5*b - i, 0*q = -5*b + 5*q + 65. Is 7 a factor of b?
True
Let s(f) = f**3 + 9*f**2 - 21*f - 10. Does 10 divide s(-10)?
True
Let r(y) = y**3 - 7*y**2 + y + 2. Let d be r(7). Let f be 1/(d/(-12) + 1). Suppose t - f*t = -3*o + 51, 2*t - 68 = -4*o. Is 17 a factor of o?
True
Let t(w) = w**2 - 2*w + 2. Let a be t(2). Let z(l) = 1 + 2*l**2 + l**a - 4*l + 2*l + 3*l**3. Is z(2) a multiple of 19?
False
Let g(f) = -2*f**3 + 15*f**2 - 1. Is g(7) a multiple of 16?
True
Let g(j) be the third derivative of j**7/1680 + j**6/360 + j**5/20 - 3*j**2. Let d(o) be the third derivative of g(o). Is 5 a factor of d(3)?
False
Let a(m) = 18*m**2 - m + 1. Let q(v) be the second derivative of -v**3/6 - 5*v**2/2 + v. Let c be q(-6). Is 9 a factor of a(c)?
True
Is 20 a factor of (3/3*1)/((-7)/(-140))?
True
Suppose -4*y - 3*p + p + 508 = 0, -4*y + 5*p = -480. Does 15 divide y?
False
Suppose -141 = -5*c - 2*k, 5*c - 60 = 5*k + 60. Does 17 divide c?
False
Suppose -c + 11 = -5*t + 44, -t - 3 = 0. Is (12 - c)*(-2)/(-3) a multiple of 20?
True
Suppose -4*m - 2*p + 108 = -24, 5*m + 4*p = 162. Is 28 a factor of m?
False
Let d(v) = v**2 + 2*v + 5. Is d(11) a multiple of 25?
False
Suppose -4*p + 130 = -74. Is p a multiple of 17?
True
Let m = -27 + 90. Does 9 divide m?
True
Let o be (-1 - (-1 - 0))/1. Let y = o - -11. Is 4 a factor of y*-3*1/(-3)?
False
Suppose 3*g + 2 = -g + 2*z, -35 = -5*g - 5*z. Suppose -5*c = -25, 5*c = -p - g*p - 32. Let u = p + 33. Is u a multiple of 6?
False
Suppose -2*z = 5 + 9. Let m = z + 20. Is m a multiple of 7?
False
Let c(o) = -o + 30. Suppose 4*j - 2*j - 8 = 0. Suppose -j*f = -7*f. Is c(f) a multiple of 15?
True
Let z(m) = m**3 + 9*m**2 + 5*m - 1. Is z(-7) a multiple of 31?
True
Suppose -4*v + 0*x = -2*x + 104, -4*v - 4*x = 80. Is 23 a factor of v*24/(-9) + 2?
False
Let t(m) = -m**3 - 2*m**2 + m + 1. Let r be -3 + 6 + -7 - -1. Does 3 divide t(r)?
False
Let s = -21 + 116. Let b = 145 - s. Does 10 divide ((-8)/(-10))/(2/b)?
True
Let k be ((-212)/1)/(8/(-36)). Is k/(-12)*2/(-3) a multiple of 16?
False
Let s be (-4)/8 + (-2)/(-4). Does 6 divide 2*8 + 0 + s?
False
Suppose -7*u + 4*n - 4 = -2*u, u = 4*n + 12. Let w = 8 + u. Let c(i) = i**3 - 3*i**2 + i. Does 10 divide c(w)?
True
Let m(f) = f**2 - 3*f + 3. Let p be m(2). Is 25 a factor of (-177)/(2 - 5) + p?
False
Let k(b) = 18*b + 17. Does 25 divide k(6)?
True
Let o(y) be the first derivative of -y**5/20 + 3*y**4/4 + y**3/3 + 6*y**2 - 2*y - 1. Let g(s) be the first derivative of o(s). Is g(9) a multiple of 15?
True
Let p(v) = -28*v - 28. Let g be p(-5). Let k(d) = d**3 + 2*d**2 - 4*d - 3. Let f be k(-3). Suppose 2*c - g + 20 = f. Is 23 a factor of c?
True
Suppose -3*b - d = -71 + 18, 4*b + 2*d - 74 = 0. Is b a multiple of 8?
True
Suppose 0 = -4*t + 4*s + 21 + 3, 3*t = -3*s. Suppose 5*g - 34 = k, t*g - 34 = -3*k + 7*k. Suppose -2*w = -26 + g. Is 5 a factor of w?
True
Let f(n) = 0 + 0*n + 1 + 4*n. Let t be f(-7). Is 14 a factor of 6/t + (-652)/(-18)?
False
Let u = 47 + -16. Is 6 a factor of u?
False
Suppose -2*i - 7 = -z, -4*z - z - 55 = 5*i. Let r be i/(1 - 3) + 2. Suppose 2*a = 4*n + 62, r*a - 2*n = 3*n + 130. Does 9 divide a?
False
Suppose -24 = -c - 4*n, 2*c + 5*n - 20 = 16. Suppose 4*r - 32 = 5*g, -5*r + 1 - 2 = 4*g. Suppose u - 14 = r*v + 30, -4*v - c = 0. Is 19 a factor of u?
True
Let u(n) = 2*n**3 + 9*n**2 + 39*n + 16. Let o(x) = x**3 + 4*x**2 + 20*x + 8. Let h(p) = 11*o(p) - 6*u(p). Does 17 divide h(-9)?
False
Let o = 2 - 6. Let c = o + 4. Suppose 0 = -c*g - 4*g - 5*l + 181, -5*l = -2*g + 83. Does 22 divide g?
True
Let o = 21 + -1. Is 5 a factor of o?
True
Let m(a) = 3*a + 4. Suppose -b - 2*o - 3*o = -17, 0 = b - 2*o + 4. Is 5 a factor of m(b)?
True
Let m(d) = -d**3 - 11*d**2 - 12*d - 7. Let u be m(-10). Let p be (u/5)/(3/15). Suppose 77 - p = 4*r. Is r a multiple of 8?
True
Suppose 0*d - 32 = -4*d. Does 2 divide d?
True
Let l(d) = -d**3 + 7*d**2 + 10. Let w be l(8). Let g be (-5 - -1)*(-15 + -7). Let u = g + w. Is 18 a factor of u?
False
Suppose w - 4*r - 74 = 0, -20 = -w - 4*r + 62. Is 15 a factor of w?
False
Let l(b) = b**3 - 10*b**2 - 8*b + 6. Is 11 a factor of l(12)?
True
Suppose -6*c - 256 = -4*c. Let t be c/(-20) - 4/10. Is 37 - (t + 0)/2 a multiple of 17?
True
Suppose -4*t - 2 = -10. Suppose 2*m - 5*h - 67 = 0, -t*m + 35 = -4*h - 37. Is 22 a factor of m?
False
Let g = 19 - -25. Is 11 a factor of g?
True
Let d(c) = c**2 + 5*c + 2. Let f be d(-6). Let q be (-156)/(-16) - (-2)/f. Let b = q + 34. Is 18 a factor of b?
False
Suppose 0 = -3*i + 4*a + 16 + 73, 28 = i - 3*a. Let q = -4 - -1. Let h = i - q. Is 14 a factor of h?
False
Let f = -8 - -12. Let t be (-12)/(-6) + f*19. Suppose t = 5*l - 2*l. Does 13 divide l?
True
Let i(n) = -5*n + 6. Let s be i(-9). Suppose -4*p = 4*o + 116, 4*o - 49 = p + o. Let b = s + p. Does 14 divide b?
False
Suppose -4*n = -3*i - 50, -i + 3*n - 6*n - 8 = 0. Is 505/7 + 2/i a multiple of 11?
False
Let s(p) be the third derivative of -p**4/24 + 11*p**3/6 - p**2. Let o be ((-1 - 0) + 1)*1. Is 8 a factor of s(o)?
False
Let a(r) = -1 - r**3 + r**2 + 0*r - 4*r + 3*r. Let d(q) = -2*q**3 + 11. Let h(p) = -a(p) + d(p). Does 12 divide h(0)?
True
Let j(l) = 2*l**2 + 4*l. Let k be j(-2). Let a(p) = p + 16. Is a(k) a multiple of 7?
False
Suppose 3*r + d = 53, r - 3*d - d = 9. Suppose 0 = -4*s - x - x + 66, 3*s - 5*x = r. Is s a multiple of 14?
True
Let y = -10 + 14. Suppose 0 = -y*r + 4*d + 44, -d = 5*r + d - 34. Is r a multiple of 4?
True
Let s(u) = -u**3 + 4*u**2 - 2*u + 1. Let n(h) = -h + 1. Let d be n(-3). Let i be s(d). Let y = i + 11. Does 2 divide y?
True
Suppose -3*g + 6 = 0, -4*g = 5*m - g + 9. Let z be (-2)/3*m - -4. Does 14 divide -2 + z*5*1?
True
Let b(l) be the second derivative of -l**3/6 + 3*l**2 - 3*l. Suppose 3*q = k - 7 - 12, -q + 5*k = 25. Does 11 divide b(q)?
True
Let h = 112 - 20. Is 10 a factor of h?
False
Let o = -101 + 151. Does 7 divide o?
False
Let h(u) = 3*u - u**3 - u**2 - 6 + 3*u**2 + 3. Let n(l) = 2*l + 31. Let x be n(-17). Is h(x) a multiple of 17?
False
Suppose 0*o - 7*o + 280 = 0. Is o a multiple of 10?
True
Does 22 divide 73/(-2)*(-2 + 0)?
False
Suppose 2*l + 4 = 4*n + l, -3*l = -2*n + 2. Is -2 - -5 - (-73 + n) a multiple of 31?
False
Suppose 12 = 5*u + 2. Suppose -8*g = -u*g - 72. Is g a multiple of 12?
True
Let m(u) = u - 9. Let i be m(-7). Does 7 divide (3 + -6)/(6/i)?
False
Let j = -11 - -16. Suppose 9 = j*n - 2*n. Does 3 divide n?
True
Suppose 0 = 2*o + 4*o - 84. Is 6 a factor of o?
False
Suppose 22 = 2*o - 38. Is 18 a factor of o?
False
Suppose 0 = 4*r - 15 - 1. Let w(b) = 2*b - 5. Let x be w(5). Suppose x*o - 6 = q - 39, r*q = -4*o + 12. Is q a multiple of 8?
True
Let b(c) = 3*c + 1. Let n be b(3). Suppose -5*a = n, -a - 4*a - 60 = -5*m. Is m a multiple of 9?
False
Suppose 3*s + 2*q = 13, 2*s + 2*s - q = 21. Suppose -s*t + t = -24. Suppose 135 = t*a - a. Is a a multiple of 10?
False
Does 9 divide (-81)/6*(-4)/6?
True
Let l(d) = -d + 1. Let y(m) = 35*m - 3. Let n(i) = 4*l(i) + y(i). Does 10 divide n(1)?
False
Suppose 0 = 3*i - 44 + 5. Suppose -2*g + 1 = -3*g, 0 = w - 4*g - i. Is 3 a factor of w?
True
Let t = 1 - -1. Suppose 0 = -5*a - 2*p + 56, -t*a = -5*p - 22 - 12. Is a a multiple of 6?
True
Let p(g) = -6*g + 23. Is 17 a factor of p(-8)?
False
Let f(i) = i**3 + 4*i**2 + 4*i + 5. Let m be f(-4). Suppose 4*t + 18 + 7 = 3*q, 3*q - 22 = t. Let x = q - m. Is x a multiple of 18?
True
Suppose 2*q - 7*q = -50. Suppose -3*f + q + 23 = 0. Is 11 a factor of f?
True
Let y be (-5)/((-10)/(-4)) - -7. Let x(o) = 2*o - 2. Let k be x(y). Does 9 divide (-2)/k - (-399)/12?
False
Suppose 9*x - 2*x - 91 = 0. Is x a multiple of 3?
False
Is 25 a factor of (40/12)/((-2)/150*-2)?
True
Let n(c) = 10*c - 3. Let x