 7, 5*a - 9 = 3*j. Suppose -j*p = 2*f - 0*f - 10, -10 = -2*p + 4*f. Does 5 divide p?
True
Suppose 2*a - 280 = -4*d + a, 5*a - 365 = -5*d. Is 23 a factor of d?
True
Suppose -w - 1 + 0 = 0. Let b be (-4)/(-2) + w + 1. Suppose b*g + 10 = 0, 4*g + 32 = -0*f + 2*f. Is f a multiple of 5?
False
Let m(b) = -16*b - 4. Let y(s) = -3*s**3 - 20 + 4*s**3 + 13*s**2 + 11*s + 5. Let g be y(-12). Is 19 a factor of m(g)?
False
Suppose 1 = -5*f + 11. Let a be -6*(-12)/27*3. Is 6 a factor of 60/a - 1/f?
False
Suppose -z + 9 = 2*p - 6, 5 = 2*p - z. Suppose 0 = -0*x + p*x - 40. Does 7 divide x?
False
Let q(x) = x**2 - 6*x + 5. Let c be q(7). Suppose 0 = -3*s - 0*s - c. Let n = 7 + s. Is n a multiple of 2?
False
Let d(c) = -c**3 + 4*c**2 + 4*c + 2. Let a be d(5). Let x be 8/a - 2/(-3). Is (-10 - 2)/(-2) + x a multiple of 4?
True
Suppose m - 3*m = -112. Is m a multiple of 14?
True
Suppose 0 = -v - 4*v. Let n(m) = -m + 3. Is n(v) a multiple of 3?
True
Is -6*(-6 + 0 - 1) a multiple of 14?
True
Let o be (-7)/(-5) + 4/(-10). Let f = o + 0. Is ((-3)/2)/(f/(-12)) a multiple of 13?
False
Let g(r) = r**3 - 3*r**2 - 4*r + 4. Suppose 5*a - 8 = 3*a. Let k be g(a). Suppose -k*y + 18 = -14. Is 5 a factor of y?
False
Let r(a) = -8*a - a**2 + a**3 - 5 + 1 - 3 - 4*a**2. Is r(7) a multiple of 10?
False
Suppose -7*a - 48 = -9*a. Is 13 a factor of a?
False
Let o(r) = -5*r - 6. Let w(u) = -29*u - 35. Suppose 4*z = -4*f - z + 24, f + 4*z - 6 = 0. Let c(v) = f*w(v) - 34*o(v). Does 13 divide c(-8)?
True
Is -20*(-1 + (5/4)/(-5)) a multiple of 3?
False
Let h = 61 + -37. Is h a multiple of 6?
True
Let l = 40 + -91. Let s = 33 + l. Is 5 a factor of (10/15)/((-1)/s)?
False
Let u(i) = -2*i**2 + i. Let q be u(-2). Let w be q/(-4)*12/10. Suppose -p = -3*y + 3*p + 24, 0 = 5*y - w*p - 40. Is 3 a factor of y?
False
Let i = -19 + 11. Let h = i - -16. Does 3 divide h?
False
Let m = -75 - -158. Does 22 divide m?
False
Let i = 2 - 2. Let s(o) be the second derivative of o**3/6 + 21*o**2 - o. Does 15 divide s(i)?
False
Let r = -19 - -31. Suppose 4*m - r = -o, -25 = -o + 3*m + 1. Let z = o + -6. Does 5 divide z?
False
Let y = 22 - 20. Suppose -5*t + 3*s + 302 = s, -t - y*s + 58 = 0. Is t a multiple of 20?
True
Suppose -4*b + 224 = g, -6*b + 232 = -2*b + 3*g. Is b a multiple of 24?
False
Let k = 23 + -20. Is 8 a factor of k*(-3)/9*-37?
False
Is 16 a factor of 2 + (184/6)/((-6)/(-9))?
True
Let s(o) be the third derivative of -o**6/120 + o**5/12 + o**4/8 - o**3/6 - 2*o**2. Suppose -3*f + 15 = -0*f. Is s(f) a multiple of 4?
False
Let o(f) be the first derivative of -4*f**3 - f + 1. Let n be o(1). Let x = n - -30. Is x a multiple of 11?
False
Suppose -3*g + 46 = -2. Is g a multiple of 8?
True
Suppose j + 4 = -2*n, -n + 4*j + 8 = -5*n. Let q(g) = -2*g**3 - 4*g**2 - 4*g - 2. Let f be q(n). Suppose 2*i = f*p - p - 48, -5*i = 3*p - 4. Is 8 a factor of p?
True
Does 5 divide 6 + 7/(7/4)?
True
Suppose -6*j + 254 = -10. Is j a multiple of 22?
True
Let v(l) = 5*l**3 + 23*l**2 - 20*l - 27. Let b(q) = -q**3 - 6*q**2 + 5*q + 7. Let n(c) = -9*b(c) - 2*v(c). Suppose 3*i + i - 28 = 0. Is n(i) even?
False
Suppose 0 = 2*u - 134 - 54. Does 42 divide u?
False
Let u = 108 + -23. Is 30 a factor of u?
False
Let m(i) be the first derivative of -i**5/60 - i**4/3 + i**3/6 - i**2 + 2. Let l(j) be the second derivative of m(j). Does 7 divide l(-7)?
False
Let g(w) = -3*w + 1. Is 4 a factor of g(-6)?
False
Let x(h) = 45*h + 1. Let r = 4 - 3. Is 16 a factor of x(r)?
False
Let f(p) = 18*p + 30. Is f(10) a multiple of 15?
True
Let n(o) = -o + 1. Is 4 a factor of n(-3)?
True
Let c be 4/(-10) - 36/(-15). Let y = -4 + 4. Suppose y*d + d - 26 = -c*z, z - 16 = d. Is 7 a factor of z?
True
Let t be -4*(-3)/6 - -63. Suppose 9*g = 6*g + 6. Suppose -23 = g*m - t. Is 12 a factor of m?
False
Let d(s) = s**3 + 4*s**2 + 3*s + 2. Let t(v) = v - 3. Let x be t(0). Let r be d(x). Suppose 0 = 3*f + 2*k + r*k - 45, 0 = 5*k. Does 11 divide f?
False
Let q(o) = 10*o + 4. Let n be q(2). Suppose -u + 220 = 5*b, n - 6 = b - 5*u. Is b a multiple of 23?
False
Suppose 3*s + 168 - 828 = 0. Is 23 a factor of s?
False
Let d = 5 - 55. Does 5 divide d*(14/(-4) + 3)?
True
Is 17 a factor of ((4 - 19) + -2)*-1?
True
Let n = 16 + -22. Let o = 37 - n. Is o a multiple of 11?
False
Let f = -5 + 5. Suppose v - 36 + 14 = f. Is 12 a factor of v?
False
Let k(w) = w - 11. Let m(p) = 5. Let s(r) = 4*k(r) + 9*m(r). Suppose -4*o = -l - 12, -3*o + 18 = -2*l + 4. Does 9 divide s(o)?
True
Let u = -13 + 17. Suppose 6 = 2*c, 0 = -u*i - 2*c + c + 423. Is i a multiple of 28?
False
Suppose 2 + 2 = x. Suppose x*m = 21 + 15. Does 7 divide m?
False
Suppose -3*w - 3 = -2*m - 7, -5*m = 5*w - 15. Is 3 a factor of (-2 - -2) + m + 2?
True
Is (-5 - (-2 - 1)) + 24 a multiple of 14?
False
Let q be -4 + 51 - (4 + -1). Suppose -3*j + q - 5 = 0. Is j a multiple of 8?
False
Is 33 a factor of 1/(-2)*5*-66?
True
Let h be 30/(-5)*2/(-3). Suppose 67 - 19 = 2*z + 2*c, 96 = h*z + c. Does 5 divide z?
False
Suppose -5*d - f - 34 = 0, 0*f = -2*f - 8. Let b = d - -10. Suppose -5*o + 55 = 2*h, b*h + 21 + 4 = 5*o. Is 9 a factor of o?
True
Let p(z) = z + 7. Let q be p(-5). Let f = 29 + -27. Suppose -f*t = -q - 14. Is 8 a factor of t?
True
Let j(y) = -y**2 + 12*y - 17. Does 9 divide j(6)?
False
Suppose -2*k + 2*u + 4 = 7*u, 5*k + 3*u = 48. Does 3 divide k?
True
Let i(a) = a - 14. Let r(p) = -2*p + 28. Let m(k) = -5*i(k) - 3*r(k). Let f be m(6). Let o = 22 + f. Does 9 divide o?
False
Let i = 195 - 110. Suppose -4*w - i = -1. Let s = w + 38. Does 10 divide s?
False
Suppose -2*f - 2*f + 18 = u, 3*f - 12 = 0. Suppose 0 = -u*q + q + 8. Does 8 divide q?
True
Suppose -76 - 59 = -3*z. Does 15 divide z?
True
Suppose h - 37 = 3*d, -4*d = 5*h + d - 205. Suppose 2*g = -2*u - 10 + h, -g - 3*u = -11. Let k = g - 1. Does 10 divide k?
False
Let b = 89 - -71. Let z = b - 108. Is 20 a factor of z?
False
Let d(s) = -s**3 + 4*s**2 + 2. Is 11 a factor of d(3)?
True
Let k be (0 + 0)/(-3 + 0). Suppose 38 = 2*f - 4*g - k, -4*g = 5*f - 67. Does 12 divide f?
False
Suppose 3*y - g = 75, -2*y - 5*g + 15 + 18 = 0. Is 13 a factor of y?
False
Is 13 a factor of 57*(-4)/(-12) + -3?
False
Let d = 2 + 7. Suppose 2*y = -3 - d. Does 13 divide (-1 + -2)*52/y?
True
Let p be -34*(-1)/(-2)*-1. Let w(c) = 2*c**2 - 1. Let m be w(2). Suppose 0 = 2*t - p - m. Is t a multiple of 4?
True
Suppose -2*v - g + 89 = 0, 3*v + g = 74 + 57. Does 13 divide v?
False
Suppose n - 2 + 6 = 2*a, -4 = n. Suppose 4*p - 120 = -a*p. Is 10 a factor of p?
True
Suppose -b = 7 + 2. Let v be -1*(2*b - -1). Let x = -5 + v. Is x a multiple of 6?
True
Let i(j) = j**3 + 8*j**2 - 2*j - 7. Is 14 a factor of i(-7)?
True
Let b(r) = r**2 + r + 1. Suppose 0 = 4*q - 8*q + 12. Suppose a + q = 1. Does 3 divide b(a)?
True
Let a be 1 + 1 - (-2)/(-2). Let j be (1 + 20/(-12))*-3. Let p = a + j. Is 2 a factor of p?
False
Let w(g) = -5*g - 4. Let n(h) be the second derivative of h**3/6 - 3*h**2/2 + h. Let m be n(-3). Is 13 a factor of w(m)?
True
Suppose -5*n - 6 = -3*n. Let a(c) = -5*c. Is 6 a factor of a(n)?
False
Let o(w) = -w**2 - 18*w. Is o(-10) a multiple of 14?
False
Let p be 6 + -10 - (-3)/(-1). Let b(v) = -5*v - 11. Is b(p) a multiple of 12?
True
Let i(v) = v**2 + v - 2. Let g be i(-3). Suppose -2*m - g = 0, -x - 2*m - 1 = -0*x. Suppose 0 = x*q - 0*q - 24. Does 3 divide q?
False
Suppose 14*z = 3*z + 858. Is z a multiple of 13?
True
Let w be -2*3/1 - -1. Does 9 divide 9*2*(-3 - w)?
True
Let o(n) = 3*n**2 + 7*n - 18. Is o(3) a multiple of 2?
True
Suppose 2*p - 6 - 4 = 0. Suppose -p*i = -i - 8. Is i even?
True
Suppose -z + 96 = -4*q, 4*z = 3*z - 3*q + 75. Is 28 a factor of z?
True
Let g = 96 + -42. Is 6 a factor of g?
True
Suppose j + 0*j - 48 = 0. Suppose -j - 36 = -3*z. Is 15 a factor of z?
False
Let t = 31 + -5. Is 13 a factor of t?
True
Let g be (-1*4 + -2)/(-2). Suppose -5*o + 46 = b, 5*o + b - 34 = -g*b. Does 5 divide o?
True
Suppose -2*b - 5 = j, 2 + 2 = -5*j - 3*b. Is 11 a factor of (-1)/((-3)/(81*j))?
False
Let h = 1 - 0. Is 6/(((-3)/h)/(-15)) a multiple of 15?
True
Is 7 a factor of -4*(0 - (-28)/(-8))?
True
Suppose -2*i - 11 = -73. Is i a multiple of 17?
False
Let w = 88 - 51. Is 16 a factor of w?
False
Let l = -27 - -43. Suppose -4 = -0*a + 2*a - 3*w, -l = -4*w. Suppose -5*z = -a*j + 65, 2*j + 