of 7?
True
Suppose m - 3*y - 9 = -0*m, -12 = -3*m + 4*y. Let r(b) = -b**2 + 4. Let o be r(m). Suppose v - o*l = -5 + 32, -4*l - 55 = -5*v. Is 5 a factor of v?
False
Let r(g) = 8*g - 7. Does 3 divide r(2)?
True
Let c(l) = 4*l - 9 + 8*l - 3*l. Is c(7) a multiple of 21?
False
Let f(q) = -q**3 + 8*q**2 + 5*q + 8. Let i = -19 + 27. Is 12 a factor of f(i)?
True
Suppose 4*w - 60 = -0*w. Does 6 divide w?
False
Let z(p) = -p**2 + 5*p + 4. Let r be z(5). Let f be (-23)/(-7) - r/14. Is 11 a factor of (11*(2 - f))/(-1)?
True
Let y be ((-2)/6)/(1/(-3)). Suppose 0 = 2*j + y + 3, j = -3*h + 46. Does 8 divide h?
True
Let i be (22/5)/(5/(-25)). Let a = 41 + i. Is a a multiple of 13?
False
Let q(f) = -f**2 - 12*f + 9. Let v be 22/3*(-15)/10. Is 13 a factor of q(v)?
False
Let a(v) = v**3 + 6*v**2 + 5*v + 3. Let b be a(-5). Suppose f - 36 = -b*f. Is f a multiple of 4?
False
Suppose -4*s + 8*d = 3*d - 57, -4*s = -3*d - 55. Let c = s - 5. Is c a multiple of 4?
True
Suppose -2*q + 18 = q. Let c be (31 - q/3)/1. Suppose -w + 3*s = s - 11, -4*w = -3*s - c. Is w a multiple of 5?
True
Let y = -14 + 45. Is 4 a factor of y?
False
Let z be ((-4)/(-6))/((-1)/(-3)). Suppose 2*s + 5 = o, 5*o + 5*s + z = 12. Suppose o*g = g + 8. Does 2 divide g?
True
Is 3/2 + 261/6 a multiple of 5?
True
Let i = -21 - -15. Let z(p) = -6*p**2 + 5*p + 2. Let q(k) = 7*k**2 - 6*k - 1. Let a(y) = i*z(y) - 5*q(y). Is 11 a factor of a(6)?
False
Let m = 0 - -2. Suppose 3*h + 2*y = -m*y + 27, -4*y = -5*h + 13. Suppose 0 = 3*z + 5*n - 44, -h*z + 44 = -n + 2*n. Is 4 a factor of z?
True
Let h = 6 + -6. Let a be ((h - 1) + 2)*3. Suppose -k + 40 = 2*n, a*k - 5*k + n = -65. Does 17 divide k?
True
Let j(h) = -16*h + 2. Let n be j(1). Suppose m + 3 = 2*m. Let x = m - n. Is 9 a factor of x?
False
Let d = -33 + 84. Is d a multiple of 3?
True
Let y = -30 + 67. Is y a multiple of 14?
False
Let z be 1*(-3 - -6 - 1). Suppose -c = -4 + z. Suppose 0 = -4*u + 4*q + 56, 0 = -c*u - 3*q - 1 + 49. Does 9 divide u?
True
Suppose 0*l = 4*l + 28. Let n = -5 - l. Suppose 5*k = -u + 83, k - 2*u - 42 = -n*k. Is 7 a factor of k?
False
Suppose q + 8*q - 1008 = 0. Does 20 divide q?
False
Suppose -2*r - z - 2 = 0, -z + 1 = -3. Is 23 + 12/3 + r a multiple of 6?
True
Let l(a) = -10*a. Let u be l(-6). Let m = u + -34. Does 15 divide m?
False
Let n(k) = -3*k - 8. Let f be (2 - 0)*(-4 - 0). Is 16 a factor of n(f)?
True
Let k(u) be the second derivative of -u**7/840 - u**6/60 - u**5/20 + u**4/6 - u**3/3 - u. Let a(v) be the second derivative of k(v). Is 9 a factor of a(-5)?
True
Suppose -4*n = 3*x - 116, 2*x - 87 = -3*n - 2*x. Suppose -f + 4 = -n. Is f a multiple of 11?
True
Let t(u) = 1 + 3*u + 3 + 4*u**2 + 0. Let o be t(-4). Let v = o - 28. Is 14 a factor of v?
True
Let i = 9 - 13. Let p be -4 + 2 - i/(-2). Is 12 a factor of p/10 - 122/(-5)?
True
Does 22 divide 1*(4 - 4) + 66?
True
Let a = -10 - -12. Suppose 16 = -a*z + 3*z. Is z a multiple of 8?
True
Suppose 4*r - 17 = -3*n, 2*r + 1 = 5. Suppose -n*p - 30 = -9. Does 6 divide p*1*(-3)/3?
False
Let c(x) = -x**2 - 4*x - 1. Let y be c(-3). Suppose 50 = 4*f + y*b, -25 = 5*b - 0*b. Does 5 divide f?
True
Let g(t) = 2*t**2 - t. Let r be g(-1). Let d(s) = 24*s - 5. Is 14 a factor of d(r)?
False
Suppose v + 6 - 3 = 0. Does 11 divide (1/v)/(4/(-264))?
True
Let j = -16 + 10. Let o(y) be the second derivative of y**4/12 + y**3/3 - 7*y**2/2 + 5*y. Is 16 a factor of o(j)?
False
Let w(d) = d**2 - 5*d + 3. Let c be w(2). Let r be -5*(39/5 - c). Let q = -7 - r. Is q a multiple of 14?
False
Let z = -16 - -20. Suppose -114 = -z*l + 22. Is l a multiple of 14?
False
Let d(q) = 9*q - 54. Is d(12) a multiple of 27?
True
Suppose -19 = -d - 2*r + r, 58 = 2*d - 2*r. Does 11 divide d?
False
Let y(d) = d**2 - 7*d + 3. Let b be (-4 + 3)/((-2)/14). Let h be y(b). Suppose h*w - 24 = -3*n, -2*n + n + 18 = 2*w. Does 5 divide w?
True
Suppose f = -2*f. Suppose -2*y - 3*h - 163 = f, 3*y = 3*h - 114 - 123. Let z = -44 - y. Does 18 divide z?
True
Let y(m) = 2*m + 6. Let n be y(-3). Let s = n - -7. Is 2 a factor of s?
False
Does 27 divide (-326)/(-12) - 7/42?
True
Let h(u) = 3*u + 4. Let y be h(5). Let v = y + 5. Does 6 divide v?
True
Let s be (-8)/(1 + -3) - 0. Suppose 4*b - 21 = -s*t + 3*b, 3*b - 7 = 2*t. Suppose -1 = -t*y + 31. Is y a multiple of 4?
True
Suppose 0 = -3*z + 5*v + 37 + 27, -48 = -2*z + 2*v. Suppose 4*m - z = -0. Is m a multiple of 7?
True
Suppose j + 10 = -4*j. Let p(b) = b**2 - b - 2. Let o be p(j). Suppose 0*i = -o*i + 68. Is i a multiple of 11?
False
Let h(u) = u**3 + u**2 + 18. Let q be h(0). Let r = q - 0. Is r a multiple of 15?
False
Let c(m) = m**2 + 6*m - 22. Is c(5) a multiple of 9?
False
Is 3 a factor of (-11)/(22/(-48)) + 4?
False
Is 19 a factor of -12 + 9 + 59 + 1?
True
Let a(z) be the second derivative of -31*z**5/20 - z**3/3 - z**2/2 - 4*z. Does 16 divide a(-1)?
True
Suppose -3*g - 2*d - 2 = 2*g, -5*d - 5 = -2*g. Suppose 3*r + g*r - 36 = 0. Suppose b - 2*j = r, 5*b + 0*j - 50 = 5*j. Is b a multiple of 4?
True
Let d(f) be the third derivative of -f**6/120 - 3*f**5/20 - 5*f**4/12 + 7*f**3/6 + f**2. Let h be d(-8). Suppose h = -2*y + 59. Is 18 a factor of y?
True
Is 8 a factor of -4 + 2 - (-50)/1?
True
Suppose 3*j = -4*r - 5, 0 = -j - 4 + 1. Let y = r + 9. Is y a multiple of 4?
False
Let v be (0 - -1)/(4/4). Let h = v + 3. Does 10 divide 32/3 - h/6?
True
Suppose -h = -4*m + h + 52, -5*h = -3*m + 32. Is 7 a factor of m?
True
Is 456/84 + (-4)/(-7) a multiple of 4?
False
Let p(f) = -f + 5. Let t(r) = -18*r. Let j be t(1). Let h = 11 + j. Does 12 divide p(h)?
True
Let s = -1 - -3. Suppose 104 = 4*q - 2*k, -16 = -q + s*k + 10. Does 12 divide q?
False
Does 24 divide (-111)/(-3) + (-6)/2?
False
Suppose 6 = -0*q + 3*q. Suppose 3 + q = -5*n. Does 6 divide ((-1)/(2/20))/n?
False
Let i(s) = -2*s + 5. Let p(c) = -5*c + 10. Let r(d) = -9*i(d) + 4*p(d). Let m(f) = -f**2 + 2*f - 1. Let l be m(3). Does 3 divide r(l)?
True
Suppose 1 = -5*b + 6. Suppose 0 = -g + 7 - b. Is 6 a factor of g?
True
Let d(o) = o**3 - 2*o**2 - o - 3. Let u be d(3). Suppose m + u = 13. Let h = m + 6. Does 8 divide h?
True
Let i(y) = y**2 + 6*y + 1. Suppose 24 = -a + 3*a. Suppose 0 = 5*k - 3*d + 44, -2*k - d + 1 = a. Is 8 a factor of i(k)?
True
Let g be 1 + -1 + (-2 - -14). Does 13 divide 3/g + 414/8?
True
Does 53 divide (-11)/(-33) - 676/(-6)?
False
Let g(u) = -u**2 + 5*u + 7. Let r be g(6). Let q(j) = 21*j + 2 - 14*j + 19*j - 1. Is q(r) a multiple of 10?
False
Suppose 0*u = -2*u + 3*r + 3, -5*u + 2*r + 2 = 0. Suppose u = -3*z + 5 + 85. Is 15 a factor of z?
True
Let a(g) = 3*g - 6. Let k be a(6). Let m be 13/4 - k/(-16). Suppose 4*h = -4*u, 8 = -m*u + 2*u. Does 4 divide h?
True
Let r(j) = -j**2 - 9*j - 6. Suppose 50 = 6*h - 4*h. Suppose 0*b + 3*n + h = -2*b, 0 = 5*b + 3*n + 49. Does 2 divide r(b)?
True
Let a(b) = 9*b**2 - b + 6. Does 32 divide a(2)?
False
Suppose -4*l - 19 = 2*c - 483, -5*l + 562 = -2*c. Suppose 3*n + l = 372. Suppose -3*d + 13 = -n. Is 14 a factor of d?
False
Let d(i) = -9*i - 4. Suppose 0*s = -5*s - 25. Is d(s) a multiple of 15?
False
Suppose -5*u = 4*v - 33, 55 - 4 = 5*u - 2*v. Let w be (-2)/u - 152/(-36). Suppose 0 = -2*c + w*c - 80. Is 11 a factor of c?
False
Suppose 4*w + 9 = -27. Is 23 a factor of ((-222)/w - -2)*3?
False
Suppose 4*m = m. Let b(y) = m - 3*y**3 + 3 + 4*y**3 - 3*y + 2*y**2. Does 3 divide b(-3)?
True
Let d(b) = 4*b - 6. Let s be d(6). Suppose 5 = 5*a - 10. Let f = s - a. Is 9 a factor of f?
False
Let v(p) = 4*p**2 - 2*p - 2. Is v(2) a multiple of 2?
True
Suppose 0 = 3*r - 3 - 3. Suppose -o + 4*v + 28 = 0, -2*v = r*o - 7 + 1. Is o a multiple of 4?
True
Let g(f) be the first derivative of -7*f**4/2 - 3*f**2 + 3*f + 3. Let o(t) = -5*t**3 - 2*t + 1. Let c(s) = 2*g(s) - 7*o(s). Is 5 a factor of c(1)?
False
Does 20 divide 4 + (-3)/6 + 537/6?
False
Let y = 53 + -53. Let u(j) = -j**2 + 8*j - 7. Let l be u(6). Suppose -p + 73 = 4*k - y*p, 4*k = -l*p + 93. Is k a multiple of 6?
False
Suppose -16 = 4*t, h + 3*t + 1017 = 6*h. Does 49 divide h?
False
Does 21 divide 287/7 - (0 - 1)?
True
Let g(d) = 8*d. Let w = -4 - -5. Does 4 divide g(w)?
True
Suppose -330 = -5*x - 130. Let p = -19 + x. Does 21 divide p?
True
Suppose -2 - 26 = 2*y + 3*z, -5*z + 42 = -3*y. Let d = y + 23. Suppose -d = 4*q - 145. Is q a multiple 