7 a factor of 49/6 + 4/a?
False
Let q = -126 + 226. Is q a multiple of 25?
True
Let k = -11 - -15. Suppose -36 + 12 = -k*y. Is 2 a factor of y?
True
Suppose -373 = -8*c + 691. Is c a multiple of 19?
True
Suppose -g + 0*g = -30. Is g a multiple of 8?
False
Suppose 2413 = 17*q - 1871. Does 20 divide q?
False
Let w(t) = t**3 - 4*t**2 + t - 2. Let o be w(6). Suppose 3*j + 4*x - 57 = o, 0 = 4*x - 4. Does 13 divide j?
False
Let n be 34 - ((-6)/3 + 0). Suppose -2*v + 4*b = -n, -5*v - 4*b - 12 = -4*v. Suppose 0 = -5*a + v + 7. Is a a multiple of 3?
True
Let c be 52/(-6) + (-4)/(-6). Let u = c - -11. Suppose -2*o + 10 = -u*j, -2*j + 10 = o - j. Is o a multiple of 4?
True
Does 5 divide 4/(-8)*-6 - -7?
True
Suppose 0 = 4*r - 3*d - 30, d + 44 - 10 = 4*r. Let s(x) = x**3 - 10*x**2 + 9*x + 9. Does 4 divide s(r)?
False
Suppose 0 = 5*n - 6*n + 126. Is n a multiple of 18?
True
Let o = -21 + 148. Is 8 a factor of o?
False
Suppose 6*r = r + 2*y + 810, -5*y + 486 = 3*r. Does 18 divide r?
True
Let x(q) be the third derivative of -q**6/120 + q**5/10 + q**4/24 + q**3/6 - 3*q**2. Is x(6) a multiple of 7?
True
Let a(n) = -3*n + 7*n - 5*n + 5. Let z be a(0). Is 4 a factor of 39/z - (-2)/10?
True
Let u(x) = -x - 4. Let l be ((-6)/(-7))/(1/(-7)). Let z be u(l). Suppose n - 42 + 14 = -5*k, -2*n = z*k - 8. Is k a multiple of 6?
True
Suppose -6*y - 2*y = -1008. Does 63 divide y?
True
Let l(c) = c**3 - 7*c**2 - 10. Suppose -13 = -u - 2*f + 5, 5*u - 3*f - 25 = 0. Does 27 divide l(u)?
True
Suppose 0 = -3*k + 3*c + 192, 8*c = 3*c - 5. Is 27 a factor of k?
False
Suppose 2*f - 3*b = -b - 66, 4*b = -2*f - 60. Let p = -18 - f. Is p a multiple of 9?
False
Suppose -4*a - a + 30 = 0. Suppose 0 = k - a*k + 210. Is 14 a factor of k?
True
Let f = -30 + 103. Suppose 65 + f = 2*n. Is 23 a factor of n?
True
Let d be (-16460)/(-12) - (-2)/(-3). Let c be d/(-15) + (-8)/(-20). Let o = c - -138. Is 21 a factor of o?
False
Let w(f) = -f**3 - 3*f**2 - 3*f. Let o be w(-3). Let v be 2/(-3) + 447/o. Suppose -q = 4*n - 105, -3*q = -4*n + 2*n + v. Is n a multiple of 17?
False
Let c(t) = t. Let j be c(5). Suppose 3*r - 2 = 4*n + 24, -3*n + 82 = j*r. Does 7 divide r?
True
Suppose j + 7 = 101. Does 30 divide j?
False
Let g(f) be the first derivative of f**2/2 + f + 2. Let x be g(2). Suppose x - 13 = -2*y. Is y a multiple of 5?
True
Let d be (6 - 5)/((-1)/(-27)). Let r = -6 + d. Is 13 a factor of r?
False
Let x(g) be the first derivative of -g**3/3 - 2*g**2 + 4*g + 2. Let k be x(-3). Let a(r) = 3*r + 9. Is a(k) a multiple of 15?
True
Let l be 2/7 - (-345)/(-7). Let i = l - -91. Does 14 divide i?
True
Suppose 2 = -5*w + 17. Suppose w*n = 4*z + 74, 0 = -z - 0*z - 2. Does 11 divide n?
True
Let h = -105 + 148. Let c = 115 - h. Suppose -4*o - 5*w = -61, -4*o + c = -5*w + 21. Is 14 a factor of o?
True
Let r(s) be the third derivative of -1/8*s**4 + 0*s + s**2 + 1/6*s**3 + 1/6*s**5 - 1/120*s**6 + 0. Is r(9) a multiple of 19?
False
Let x(c) = c**2 - c - 2. Let q be x(-2). Let g = q - 5. Is 18 a factor of 1/(3/(-54)*g)?
True
Let s(d) = -d - 5. Let w be s(-5). Suppose w = -4*a - a + 280. Is a a multiple of 19?
False
Let p(t) = -t**3 - 5*t**2 - 4*t + 4. Does 16 divide p(-5)?
False
Suppose 3*v = 2*r + 8*v - 19, 2*r = 5*v - 11. Suppose 2*j = -r*o, 0 = o + o + 4. Does 9 divide (j/4)/((-1)/(-20))?
False
Let a(f) be the first derivative of 3*f**2/2 - 3*f - 2. Is 6 a factor of a(5)?
True
Let m(s) = s + 12. Does 11 divide m(10)?
True
Let u(l) = 2*l + 10. Is u(15) a multiple of 10?
True
Let o(j) = 5*j + 2. Let y be o(3). Suppose -2*p = -5*p. Suppose 3*r - 19 - y = p. Is 6 a factor of r?
True
Let m be (-4 - -2 - -29) + 4. Let c = 57 - m. Is c a multiple of 13?
True
Let s = 2 + 1. Suppose -54 = -3*y + 5*a, -s*y + 4*y - 18 = 4*a. Is y a multiple of 6?
True
Let v(b) = -2*b**2 - 4*b + 9. Let u(q) = 5*q**2 + 7*q - 19. Let j(a) = 3*u(a) + 7*v(a). Let m be 52/5 - (-9)/15. Is j(m) a multiple of 25?
True
Let y be 12/7 + 6/21. Suppose -y*f + 39 + 5 = 0. Is 11 a factor of f?
True
Let r(u) = 8*u + 1. Suppose -2*s + 3*g = -2*g + 4, 0 = 3*s + g - 11. Suppose -6*h + s*h = -3. Does 5 divide r(h)?
False
Suppose a + 2570 = -4*a. Is (-76)/(-57) - a/6 a multiple of 29?
True
Let d = 28 + -14. Let l be (-1 - 2)/(6/(-4)). Suppose f = l*f - d. Does 9 divide f?
False
Suppose -4*k = -4*c, 0 = -2*c + 4. Let o = -2 + k. Suppose 4*w - 27 - 37 = o. Is w a multiple of 8?
True
Suppose 23 = -3*y + 5. Let s be (y/(-4))/(12/400). Is 9 a factor of -15*5/(s/(-6))?
True
Suppose 0 = -0*g - g + 15. Let x(i) = -91*i**3 + 1. Let o be x(-2). Is 13 a factor of 6/15 + o/g?
False
Let g(b) = 2*b**2 + 2 + b**2 - 4*b - b**2 + 2*b. Let p be g(2). Let m = p + 18. Does 8 divide m?
True
Suppose 36 - 172 = -2*u. Suppose -5*b = -b - u. Is 17 a factor of b?
True
Suppose 4*i = -2*b - i + 9, 0 = b + 3*i - 6. Let m be ((-27)/12)/((-1)/(-8)). Let n = b - m. Is 7 a factor of n?
False
Let t(g) be the second derivative of 5*g**3/3 - g**2/2 - 4*g. Is 11 a factor of t(2)?
False
Suppose 16 = -5*i + 61. Is 9 a factor of ((-12)/i)/(1/(-9))?
False
Is (4/3)/(1/18) a multiple of 8?
True
Let t(q) = 7*q**2 + q. Let g be t(-1). Suppose -g*n - 219 = -9*n. Is n a multiple of 20?
False
Suppose 0 = -t + 9 + 13. Is t a multiple of 13?
False
Suppose 2*i - 14 = 182. Is 49 a factor of i?
True
Let a be 0*(2 - -1)/3. Suppose a = -4*x - 32 + 88. Is 14 a factor of x?
True
Suppose -3*q + 2*p - 14 = -2*p, 0 = -4*q + 3*p - 7. Suppose 3*o - 1 = q. Is 5 a factor of o + 1 + -1 + 9?
True
Suppose o - 2*o - 4 = 0, 4*p - 4*o + 28 = 0. Let y = 15 + p. Suppose 143 = y*h - 33. Does 19 divide h?
False
Suppose y + 3*h - 59 = 0, -5*y + 155 = 5*h - 170. Is y a multiple of 11?
False
Let m(p) = -17*p + 3. Does 16 divide m(-7)?
False
Let p(a) be the second derivative of 1/2*a**4 + 0 - 1/6*a**3 + 3*a - 1/2*a**2. Is p(-1) a multiple of 6?
True
Let n(a) = -22*a**2 + 4*a + 1. Let i be n(3). Does 34 divide i/(-3) + 2/(-3)?
False
Suppose -4*v + 0 = 2*x - 4, -10 = -5*v. Let p be (-12)/21*7/x. Suppose 2*y - 2*q - 66 = 0, p*y - 61 + 13 = -4*q. Is 15 a factor of y?
True
Suppose -12 - 4 = -2*z + 2*c, -3*z + 24 = -4*c. Suppose 4*s + 5*n - 20 = 16, -2*n = -z. Does 3 divide s?
False
Let n be (52/(-12))/(2/6). Let i = 8 + n. Let m(v) = v**3 + 7*v**2 + 8*v + 3. Is 13 a factor of m(i)?
True
Let b = 5 - 1. Let q be 21*b*(-2)/(-4). Suppose 0 = -4*j - t + q, 0 = -t + 2 - 0. Is j a multiple of 10?
True
Let o(j) = 4*j - 7. Is o(11) a multiple of 37?
True
Suppose 2*u - 390 = -4*w + 356, -u + 381 = -2*w. Is 29 a factor of u?
True
Let c = -6 - -7. Let h = c - -1. Suppose -h*r = -r - 11. Does 5 divide r?
False
Let h(u) = 5*u - 3. Suppose 3*q + 6 = q, 2*m + q = 33. Is h(m) a multiple of 29?
True
Let k be 4/(-6) + (-8)/(-3). Suppose -k*t + 88 = 2*t. Is 13 a factor of t?
False
Suppose -21*z = -28*z + 1365. Is z a multiple of 13?
True
Suppose 3*p + 6 + 1 = -2*x, -5*x - 2*p - 12 = 0. Is 4 a factor of 0/7 - x*2?
True
Let c = -2 - -8. Let q(l) = -l**3 - 23*l**2 - 39*l + 41. Let h be q(-21). Let w = c - h. Is 12 a factor of w?
False
Suppose -3*u + 5*u - 80 = -4*a, 0 = u - 4*a - 46. Is u a multiple of 9?
False
Suppose -2*r = -p - p, 0 = 5*r - 20. Let f(n) = 0*n**2 - 5*n**2 + n**2 - 2 + 3*n - 2 + n**3. Is f(p) a multiple of 4?
True
Suppose 2*m - 6 = -a, 3*a = 4*a. Suppose 0 = -m*d + 58 - 10. Is d a multiple of 8?
True
Suppose -5*q + 598 = -2. Let w = q + -85. Suppose w = r - 3*o, 38 = 2*r - 0*o + 2*o. Is r a multiple of 9?
False
Let n = -8 + 5. Let f = 22 + -10. Does 18 divide (88/f)/((-1)/n)?
False
Suppose l = 3*l - 66. Let w be (-2)/4 + l/(-6). Let h(k) = -k**3 - 6*k**2 - 4*k - 6. Is 9 a factor of h(w)?
True
Let m(i) = -8*i. Let r be m(6). Does 8 divide r*3/12*-2?
True
Let p = -51 - -83. Let i = -8 + p. Is 9 a factor of i*(-1 - 7/(-4))?
True
Let v(k) = k - 8. Let p be v(10). Suppose p*c - 4*c + 3*o = 7, 0 = 4*c + 3*o - 31. Is c a multiple of 2?
True
Suppose 0 = 3*k + 2*h - 20, 0*h = -k - 3*h + 9. Is 4 a factor of k?
False
Let z(b) = 13*b + 6. Let o(m) = -104*m - 104. Let x(p) = p - 1. Let j(s) = -o(s) + 39*x(s). Let i(n) = -6*j(n) + 65*z(n). Does 11 divide i(-1)?
False
Suppose -3*z = -6*z + 12. Suppose z = 7*c - 3*c. Suppose -2*x = -2*w - 8, -13 = -x - 4*w + c. Is x a multiple of 3?
True
Suppose -5*t - 7 = -6*t. Is 2 a factor of t?
False
Let b be 1/(1 + (-3