 c(6) a multiple of 13?
True
Let i = -4 - -54. Let f(x) = x**3 - 4*x**2 - 6*x - 6. Let n be f(6). Let k = i - n. Is k a multiple of 8?
False
Suppose -2*t - 9 = -3*s + 2*s, 2*t - 3*s = -11. Let k = t + 11. Does 4 divide k?
False
Suppose j - 21 = -4*i, -2*i + 5*j - 10 = -3*i. Let d(f) = f - 8. Let x be d(i). Is 9 a factor of x*(-1 + 14/(-6))?
False
Let a(x) = x. Let t be a(-5). Let w(d) = -3*d - 7. Does 8 divide w(t)?
True
Let v(o) = 6*o - 6. Let w be v(4). Let r = 3 + w. Is 16 a factor of r?
False
Let j be 0/(-2) - 1 - -1. Let v(n) = n**3 - 14*n**2 + 15*n - 16. Let x be v(13). Suppose -q + x - 3 = j. Is q a multiple of 7?
True
Suppose -2*y + 7*y = 0. Suppose y*l + 3*l + 33 = 0. Let x = 26 + l. Does 6 divide x?
False
Let l = -7 - -8. Is 4 a factor of (l/(-3))/(2/(-48))?
True
Let o(p) = 39*p + 4. Let g be o(-7). Let d = g - -498. Suppose 0 = -5*n + 136 + d. Is 28 a factor of n?
False
Is 13 a factor of (-13)/1*(-10)/10?
True
Suppose b - 26 = -2*k, -5*b - 2*k + 85 = -k. Let w = -1 + 1. Suppose -x = -w*x - b. Is 16 a factor of x?
True
Suppose -3*p + 3 = -4*w, -3*w + 0*p = -3*p + 6. Suppose -3*l = w*b + 21, 25 = -5*l - 3*b - 0. Does 10 divide (-1)/1*l - -25?
False
Let y = 8 + -6. Let k be y*(-22)/(-8)*2. Suppose -3*a + k = -25. Is a a multiple of 12?
True
Let k(o) = 15*o + 3. Let w be k(-3). Does 5 divide 1/(w/15 + 3)?
True
Suppose -2*m - 2*o = -910, 2*m - 945 = 6*o - o. Is m a multiple of 20?
True
Suppose 5*z = 2*z - 12. Let n be (-5 - z)/((-1)/(-72)). Let a = n + 102. Does 15 divide a?
True
Suppose -3*p - 53 = -0*g - 5*g, p + 1 = 0. Let u = g - -10. Is 10 a factor of u?
True
Let s = -7 - -84. Is s a multiple of 16?
False
Suppose -29 = -5*o + 226. Is 17 a factor of o?
True
Let g be 2/(-4)*(5 - 5). Suppose 2*m - 66 = -g*m. Does 11 divide m?
True
Let y be 87 + (-1 - -4) + -2. Suppose -11 - 5 = -4*o, -5*o + y = 2*n. Suppose -4*t + 4*h + 76 = 0, -t = -5*h + h - n. Is t a multiple of 7?
True
Let h be 2/4 + 25/10. Suppose -2*b + 68 - 9 = h*u, -4*u - 5*b = -81. Is u a multiple of 9?
False
Suppose -32 = -d + 24. Let c = 101 - d. Is c a multiple of 14?
False
Let r(z) = z + 9. Let d be r(-9). Suppose -13 = -l - d. Does 8 divide l?
False
Suppose 2*y + 0*y = -140. Is y*(-5)/((-75)/(-6)) a multiple of 12?
False
Suppose -2*u = -15 - 15. Suppose -10 - u = -5*f. Suppose -r - 9 = 5*g, -2*r + 21 = -r - f*g. Does 6 divide r?
True
Let a = 40 - 17. Is a a multiple of 23?
True
Suppose 5*n = 6 + 4. Suppose 4*w - n = 6. Suppose -4*l + w*l = -46. Is 8 a factor of l?
False
Let s(w) = -w**2 - 21*w + 63. Is 15 a factor of s(-19)?
False
Let g(t) = 7*t**2 - 1. Does 7 divide g(2)?
False
Let s(i) = -i**2 - 16*i - 18. Does 2 divide s(-6)?
True
Suppose -2*q + 5*l = -12, 30 = 3*q - l - 14. Let m = -9 + q. Is (-100)/(-7) - 2/m a multiple of 11?
False
Let j = 55 + -15. Suppose -o = o - j. Does 10 divide o?
True
Suppose -3*a - t + 65 = -2*t, 3*t - 47 = -2*a. Let b(k) = 2*k**2 - k + 9. Let j be b(-4). Let p = j - a. Is p a multiple of 10?
False
Suppose 0 = 5*t + 3*z - 1035, -t - 4*z + 77 + 113 = 0. Is 23 a factor of t?
False
Let z = 15 + 3. Let t = 2 - 6. Let v = z - t. Does 14 divide v?
False
Let n(v) = v**2 - 2*v - 8. Does 10 divide n(-6)?
True
Let t(x) = 5*x**3 + 25*x**2 - 25*x. Let k(r) = -r**2 + r. Let l(m) = -50*k(m) - 2*t(m). Is 9 a factor of l(-1)?
False
Let a be 0 + -13 + -2 + 0. Let z = 95 - 50. Let h = a + z. Is 10 a factor of h?
True
Let y(u) = -u**3 + 2*u + 7. Let h(z) = -z - 2. Let l(v) = -7*h(v) - 2*y(v). Let o be l(-3). Does 9 divide 1*(-2)/(6/o)?
False
Let v(x) = 2*x**2 + 17*x - 30. Does 9 divide v(-13)?
False
Suppose 2*a - 3*a - 4 = 0, -5*a - 12 = 4*m. Is 10 a factor of m/(-4*(-1)/40)?
True
Let o be (-2)/6 + 2/6. Suppose -4*h = 2*i + 106, o = 2*h - 3*i - 0*i + 65. Let v = h + 47. Does 9 divide v?
False
Let z = -3 + -2. Let g(u) = 2*u**2 + 6*u - 4. Does 8 divide g(z)?
True
Let n(z) = -2*z - 5. Does 7 divide n(-14)?
False
Let k be 2 - ((-3 - -6) + -5). Suppose 0 = -2*u + 5*u + k*q - 94, 3*u + 2*q - 92 = 0. Does 8 divide u?
False
Let v be (-2)/2*-1*22. Let j = -46 + v. Let m = 60 + j. Is 18 a factor of m?
True
Let d be 4/10 + 216/10. Suppose -s - s = d. Does 11 divide 2/(-2)*(s - 0)?
True
Let p(w) = w**3 - 3*w**2 - 13*w + 4. Let z(r) = -2*r**3 + 5*r**2 + 27*r - 9. Let t(v) = 13*p(v) + 6*z(v). Is 14 a factor of t(10)?
True
Does 10 divide 0/(1/2*4) + 92?
False
Let u(h) be the third derivative of -1/6*h**4 + 1/20*h**5 + 0*h + 0 + 1/3*h**3 - h**2. Does 3 divide u(2)?
True
Let d = -15 - -21. Suppose -d*g + 4*p + 56 = -2*g, 4*g - 47 = p. Is g/(22/60) + 0 a multiple of 15?
True
Suppose 4*g + 43 - 147 = 0. Does 13 divide g?
True
Suppose 4*g - 257 - 8 = -5*a, 73 = g - a. Is 10 a factor of g?
True
Suppose d + 3*q - 43 = 0, -d + 39 = -q + 3*q. Does 11 divide d?
False
Suppose 3*c - 30 = 54. Let t = -17 + c. Is 11 a factor of t?
True
Let a = 10 + -6. Let s be 1/a - (-45)/12. Suppose s*k - 77 = 3*d, -3*k = -0*d + 5*d - 65. Is k a multiple of 14?
False
Let q(k) = -27*k + 17. Let x(t) = -7*t + 4. Let l(p) = 2*q(p) - 9*x(p). Let r(m) = -2*m. Let d be r(-1). Is l(d) a multiple of 8?
True
Let c = 111 - 45. Does 28 divide c?
False
Is 7 a factor of 2*((-1 - -2) + 150/4)?
True
Suppose -3*w + 22 + 2 = 0. Does 8 divide w?
True
Let h = 0 - -5. Suppose 3*b + w + 52 = -30, -h*w - 72 = 2*b. Let n = b - -58. Is 14 a factor of n?
False
Let q(i) = -i**3 + 13*i**2 + 16*i + 8. Does 4 divide q(14)?
True
Let i be 15/3*60/25. Suppose -2*y = 3*y + 15. Does 11 divide 44*(-2)/i*y?
True
Suppose -3*x + 60 = -12. Is x a multiple of 12?
True
Let f = 147 + -114. Does 5 divide f?
False
Suppose -170 = n + 4*n. Suppose 5*a + 168 = 468. Let b = n + a. Is 6 a factor of b?
False
Let s(i) = -2 + 4*i**2 - 10*i - 5 - 5*i**2. Does 7 divide s(-7)?
True
Let f be (-1 + 2)*2 - -2. Let s(g) be the first derivative of g**2/2 - 1. Is s(f) even?
True
Let x = 293 + -149. Is x a multiple of 9?
True
Suppose 5*n = -0*n + 20, 0 = 4*l - 4*n - 96. Is l a multiple of 14?
True
Suppose 2*f = -2*v + 10, -2*v - f + 5 = -3*v. Suppose 0 = 4*h - v*h - 24. Is h a multiple of 3?
True
Let h(z) = 2*z**2 + 9*z + 6. Is 12 a factor of h(-6)?
True
Let t(o) = 0 + 50*o + 1 - 2. Let w be t(1). Let a = -28 + w. Is 7 a factor of a?
True
Let k(b) = b**2 - 6*b - 1. Let t be (-1 - 1) + (-66)/(-6). Does 13 divide k(t)?
True
Let v(i) = 3*i**3 - 5*i**2 - 3*i + 5. Let t(a) = -4*a**3 + 4*a**2 + 3*a - 5. Let c(j) = -2*t(j) - 3*v(j). Is c(6) a multiple of 22?
False
Suppose -54 = -4*m + 3*m - 4*f, -2*f - 120 = -3*m. Suppose -m = -4*o + 2*o. Does 12 divide o?
False
Let v = 51 + -24. Is 17 a factor of 2/3 + 900/v?
True
Suppose -7*k - 60 = -9*k. Does 15 divide k?
True
Suppose 3*j + 3 = 2*j. Is 10 a factor of 62/2 - j/(-1)?
False
Let p = -5 - -8. Is 2 a factor of p - -6*(-6)/(-9)?
False
Let s = 14 + 24. Is 17 a factor of s?
False
Let l = -30 + 20. Is 5 a factor of (l/4)/(2/(-4))?
True
Suppose 1 = 4*y + 3*z - 3, 2*y + 3*z = -4. Let h = 9 - y. Is 2 a factor of h?
False
Let r be (-3)/9*-3*0. Suppose 0*l - l + 28 = r. Is l a multiple of 9?
False
Let s(i) be the second derivative of -i**5/20 + 5*i**4/12 - i**3/2 + 2*i**2 + 2*i. Is 7 a factor of s(3)?
False
Suppose w + 3*f = -0*w + 221, 2*w + 5*f - 447 = 0. Does 11 divide w?
False
Let h(i) = 0*i - i**2 + 4*i - i**2 + 3*i**3 - 5 - 4*i**3. Let s(l) = -2*l**2 - 2*l. Let m be s(-2). Does 4 divide h(m)?
False
Suppose -x + 26 + 7 = 0. Does 33 divide x?
True
Let g(x) be the first derivative of x**2/2 + 18*x + 2. Suppose 4*n = 8*n. Does 18 divide g(n)?
True
Let n(p) = -p**3 - 4*p**2 - 4*p + 10. Is 10 a factor of n(-6)?
False
Let k(l) = -11*l - 1. Let n be (-2 - (1 - 0))*1. Is 16 a factor of k(n)?
True
Suppose 2*k + 4*x = 192, 3*x = k - 2*x - 75. Is 18 a factor of k?
True
Suppose 5*q = -2*o + 135, -3*q - 3 = -4*q. Does 12 divide o?
True
Is 980/30 + 4/(-6) a multiple of 9?
False
Let s(p) = p + 8. Let g be s(-6). Let v(a) = 2*a**2 - g + 5 + 1 + 7*a. Is v(-4) a multiple of 3?
False
Is 6 a factor of 34*3/2 - 6/2?
True
Suppose -5*d + 62 + 13 = 0. Suppose 3*n - 71 = 6*h - h, -3*h + d = 0. Does 16 divide n?
True
Let i be 1*-1*-1*50. Let x be (i/4)/(2/4). Suppose 44 = 3*q - x. Is 9 a factor of q?
False
Suppose 4*k + 80 = -2*b - 0*k, b = 3*k - 25. Let i = 84 + b. Is 25 a factor of i?
True
Let g(f) = 2*f - 10. Let x(w) = w**3 + 12*w**2 - 15*w - 