 4*a - 0*g. Suppose 0*f - 3*f - 4*b = -75, -a*b - 25 = -f. Let r = f + -9. Is r a multiple of 16?
True
Let u(c) = -c**2 - 17*c - 18. Let l be u(-13). Let v = -21 + l. Does 11 divide v?
False
Let u(v) = 63*v + 2. Does 12 divide u(1)?
False
Let d be (-6)/(-27) - 4/18. Suppose 3*l + 0*j - 5*j + 29 = d, -4*l - j = 31. Let w = 12 - l. Is 10 a factor of w?
True
Suppose 0 = -4*c + 2*r + 12, 0 = 4*c + r - 2*r - 10. Let s be ((-24)/(-18))/(c/6). Suppose -16 = b + 2*b - 5*n, -s*n = -20. Is 3 a factor of b?
True
Suppose 0 = h - 3*h + 14. Let s = 27 - 16. Let i = s - h. Does 4 divide i?
True
Let i(q) = -q - 2. Let u be i(-2). Suppose 4*y - y - 105 = u. Suppose -k + y = 4. Is k a multiple of 13?
False
Let z(u) = -4*u**2 + u - 3. Let n be ((-16)/10)/(6/(-30)). Let q(j) = -11*j**2 + 2*j - 10. Let s(k) = n*z(k) - 3*q(k). Does 7 divide s(-4)?
True
Let k(s) = -s + 2. Let m be k(-3). Suppose l = -0*l + m. Suppose -4*f = 2*c - 60, 46 = -2*f + 4*f + l*c. Is 6 a factor of f?
False
Let g(i) = 21*i + 1. Does 14 divide g(1)?
False
Suppose -2*x - 3*j + 11 = 0, -2*j + 5 = -x - 0*x. Suppose -2*i - 176 = -5*f, f + 5*i - x = 18. Does 8 divide f?
False
Suppose -5*c + 25 = -5*u, u = -4*c + 31 - 6. Let i be 2/(-3)*45/(-6). Suppose 0 = a - i*g - 38, -g - 72 = -c*a + 3*a. Is a a multiple of 10?
False
Let j(f) = -f**2 + 2*f + 1. Let p be j(4). Let w = p - -16. Is w a multiple of 3?
True
Let k(d) = -2*d**3 - 4*d**2 - 4. Let r be ((-6)/(-15))/(2/10). Let o = -1 - r. Is 9 a factor of k(o)?
False
Let i(p) = -p + 1. Let h(s) = -s. Let f(y) = 4*h(y) - 3*i(y). Let o be f(-5). Suppose -o*w + 15 = -17. Is w a multiple of 8?
True
Let y = 275 + -156. Does 29 divide y?
False
Let j = -21 - -49. Is 14 a factor of j?
True
Suppose -w = z - 0*z + 27, 0 = -5*w - 4*z - 132. Let g = 37 + w. Let p = -6 + g. Is p a multiple of 7?
True
Let i be (3 - 2) + 1*-7. Let y = i - -5. Let a = 7 - y. Is 8 a factor of a?
True
Let h = 78 + -30. Is h a multiple of 6?
True
Suppose v + 2*v = a - 27, -2*v + 54 = 2*a. Does 9 divide a?
True
Let d(z) = 2*z**3 - 3*z**2 + 2*z - 4. Let c be d(3). Suppose 4*n + c = 5*n. Is 21 a factor of n?
False
Let v = 89 + -13. Suppose n - v = -3*n. Let m = n - 0. Is 17 a factor of m?
False
Let w = 3 - 1. Does 13 divide ((-3)/w)/((-3)/52)?
True
Let q(s) = s**2 - 10. Does 13 divide q(7)?
True
Let u be (-1)/5 + 12/10. Is 10 a factor of -18*u/(0 - 1)?
False
Let p(f) be the second derivative of 11*f**3/6 - 9*f**2/2 + f. Is 18 a factor of p(6)?
False
Suppose t - o - 4*o = 0, o + 8 = t. Suppose 0 = 3*z - 2*z - t. Is 8 a factor of z?
False
Is 21 a factor of 1*((1 - 2) + 61)?
False
Suppose 6 = -k - 2*k. Let w = k + 2. Suppose -z + 7 + 10 = w. Is z a multiple of 17?
True
Let a(z) = 6*z + 2. Let c be a(-9). Let x = -28 - c. Suppose 60 = 2*w - 2*d, -x = 4*d - 8. Does 12 divide w?
False
Let z be (-4)/(-1)*(-155)/(-5). Let w = 175 - z. Is 17 a factor of w?
True
Let k(l) = -2*l - 6. Let a be k(-5). Suppose -4*t = a*p, 0 + 2 = 5*t + 4*p. Let x = t - -3. Is x a multiple of 4?
False
Let o(c) = 15*c**2 - c + 1. Does 15 divide o(-2)?
False
Suppose -2*h - 10 = 4*b, h + 3*h - 30 = 2*b. Suppose 4*j - 70 = -5*v, -105 = -h*j - 2*v - 26. Is 5 a factor of j?
True
Suppose -p + 209 = 2*s, 3*s - p - 2*p - 309 = 0. Suppose 4*x = -i - 3*i + 12, 5*i = 5*x + 15. Suppose 2*y + 8 = 0, 5*f + 4*y = -x*y + s. Is 11 a factor of f?
False
Let z = 9 + -9. Let u be 0*((-3)/6 - z). Let m(c) = -c**2 - c + 4. Is 4 a factor of m(u)?
True
Let u(m) = -2*m**2 + 2*m. Let b be u(3). Let j be (2 + -4)*(-2)/4. Is 3 a factor of j - (3 + -1) - b?
False
Let i(f) = 4*f**2 + 3*f + 2. Let k be i(-2). Let a be -1 - (4 + 0 + 1). Let s = k + a. Does 3 divide s?
True
Let g = -2 - -39. Is g a multiple of 19?
False
Let l = 0 + 3. Does 3 divide l?
True
Let z = 8 + -12. Let k = z + 12. Is 8 a factor of k?
True
Let t(k) = k**2 + 7*k + 9. Suppose 0 = 3*m - 2*m + 7. Is t(m) a multiple of 3?
True
Suppose -4*b + 0*b = 3*z - 1517, -b + 376 = 4*z. Suppose -d - 4*d = -b. Does 19 divide d?
True
Let j = 0 + -1. Let k(x) = -3*x**2 + 2*x + 1. Let a be k(j). Is (2 + a - -3) + 15 a multiple of 6?
False
Suppose -2*k + 93 = 5*p - 114, 2*p + 2*k = 84. Does 3 divide p?
False
Let s = -112 + 194. Does 26 divide s?
False
Is 10 a factor of (2/(-4))/(10/(-660))?
False
Let s(g) = g**2 - g + 10. Is 5 a factor of s(0)?
True
Let l(s) = 31*s**2 - 1. Does 6 divide l(-1)?
True
Suppose -12 = n + 3*n. Let h be (n - 183)*(-2)/6. Suppose -h = -3*u + 22. Does 10 divide u?
False
Let v(x) be the third derivative of x**5/60 + 3*x**4/8 + 17*x**3/6 - x**2. Let i be v(-12). Let s = i + -27. Does 8 divide s?
False
Is 5 a factor of -1 - 18/(3 + -6)?
True
Let b(u) = -29*u + 1. Does 10 divide b(-1)?
True
Let f(v) = 2*v. Suppose -3*l - 30 = -0*s - 3*s, 5*s = -5*l. Does 10 divide f(s)?
True
Suppose 0 = 3*k - 5*k + 60. Let y = 58 - 34. Suppose 3*m - k = y. Is 5 a factor of m?
False
Suppose 4*z = -n + 2*n + 176, 2*n - 44 = -z. Is 22 a factor of z?
True
Let w = -208 + 300. Does 23 divide w?
True
Let r be (-2)/5 - 78/30. Let c = 13 - r. Is c a multiple of 15?
False
Let q(p) = p - 4. Let c be q(4). Suppose 3*m - 30 - 15 = c. Does 13 divide 10/m*78/2?
True
Suppose 2*h = -0*h. Suppose -51 = -5*s + 4*o, h = -3*s - 5*o - 1 + 2. Suppose -9 = -b + s. Is 8 a factor of b?
True
Let y = 28 + -19. Let o = y - 4. Suppose -o*c = -3*b - 106, -c = -5*c - 2*b + 76. Does 15 divide c?
False
Does 5 divide 2/18*15*3?
True
Let x = -2 + 5. Is 22 a factor of x/6*6 + 62?
False
Let s = 5 + -16. Let y = 3 + 40. Let n = s + y. Is 14 a factor of n?
False
Let n(p) = p**3 + 9*p**2 - 2*p - 13. Let b be n(-9). Let c be 2 - (b - 0) - -6. Suppose 15 = 3*m - 3*z, m - 4*z = c*m + 8. Is m a multiple of 2?
True
Let f = -6 - -39. Is 12 a factor of f?
False
Let j(r) = r**3 - 12*r**2 - r + 11. Let m be j(12). Let w be (3 - (1 - m)) + 21. Let f = w - 14. Is 8 a factor of f?
True
Suppose -3*q = -523 - 236. Does 23 divide q?
True
Suppose -5 = 2*m - 3. Let s be ((-5)/(-1)*-4)/m. Let l = s - 6. Is 7 a factor of l?
True
Let f = -5 - -8. Suppose -h = -y - 5, -f*y - 2*y - 5 = 0. Suppose 12 = 3*p - 6*l + l, 33 = 5*p - h*l. Is p a multiple of 9?
True
Let a = -10 + 13. Suppose -a*u = -20 - 130. Is u a multiple of 10?
True
Let x(t) be the third derivative of t**6/120 + 2*t**5/15 + t**4/4 - t**3/6 + 4*t**2. Is 3 a factor of x(-7)?
True
Let d(n) = -n**3 - n**2 + 3*n - 4. Let r be d(-3). Suppose -v + r*v - 128 = 0. Does 8 divide v?
True
Let z(o) = o - 1. Suppose 5*s = -0*s + 15. Let v be z(s). Is (2/3)/(v/12) a multiple of 3?
False
Let u(y) = 2*y - 5. Let q(p) = -p**3 - 9*p**2 - 9*p - 3. Let k be q(-8). Let b be u(k). Suppose -b*i = -4*d + 137, 0*i - i + 3 = 0. Does 19 divide d?
True
Is (-4)/((-16)/356) - -2 a multiple of 24?
False
Let t = 8 + -3. Is 4 a factor of t?
False
Suppose 0 = -0*y + 2*y - 18. Does 5 divide (y/(-6))/(6/(-20))?
True
Does 3 divide ((-10)/4 + 2)*-6?
True
Let p = -30 + 1. Let i = p + 45. Is 8 a factor of i?
True
Let d = 68 - 95. Let k = d + 53. Is k a multiple of 13?
True
Let r = 11 + -7. Suppose 160 = -0*y + r*y. Is y a multiple of 18?
False
Let j(s) = -16*s - 9. Let p be j(-7). Is 34 a factor of p + -1*(5 + -4)?
True
Is (-2)/(-4) + (-287)/(-2) a multiple of 16?
True
Let l(o) = -4*o - 2. Let t(f) = -2 + 2*f + f**2 - 3*f + 0*f. Let x be t(0). Does 3 divide l(x)?
True
Suppose -5 = -v - 2*q, 2*q = -5*v - 0*v + 57. Suppose 31 = 4*h - 49. Suppose p - h = v. Does 23 divide p?
False
Let o(b) = 2*b**2 + 6*b + 1. Suppose -f - 5 = -0. Does 4 divide o(f)?
False
Let d(l) = l**3 - 6*l + 3*l + 8*l**2 + 0*l + 4*l + 8. Let y be d(-8). Suppose 2*u - 6 = -y*u. Is u a multiple of 2?
False
Let k(u) be the first derivative of -2*u**2 + 6*u + 24. Suppose -4*a - a = 40. Is 19 a factor of k(a)?
True
Let c = 1 - -2. Suppose r = 5*r - c*d - 25, 0 = -4*d + 20. Is r a multiple of 5?
True
Let k(v) = v - 5. Let z be k(7). Let d be (0 + z)*6/3. Does 3 divide (27/6)/(3/d)?
True
Let g(q) = q + 3 - 2 + 2. Does 5 divide g(6)?
False
Suppose 0 = 8*t - 10*t + 106. Suppose -3*i = -2*b + 23, t = 5*b + 4*i - 39. Is 5 a factor of b?
False
Let l(d) = -d + 17. Is 3 a factor of l(-10)?
True
Let l(p) be the first derivative of -4*p**2 + 4*p + 7. Does 10 divide l(-2)?
True
Suppose a - 1 = -2*t, t = -4*t + 2*a + 16. Suppose 0*k + 26 = t*k. Does 8 divide k?
False
Suppose -g = i, -2