Is (-2 - -4)*n/4 a multiple of 7?
True
Suppose 0 = 3*c - f + 3*f - 20, -5*c + 25 = -5*f. Let u = 8 - c. Suppose u*y - 3*y + 30 = 0. Is 15 a factor of y?
True
Suppose -2*w = w - 117. Suppose 0 = -3*l - 2*l - m - 98, 0 = 5*m + 15. Let i = w + l. Is 8 a factor of i?
False
Let y(v) = -v**3 + 23*v**2 - 21*v + 6. Does 18 divide y(22)?
False
Let u = 357 + 15. Does 49 divide u?
False
Let b(d) = 2*d**3 - 3*d**2 - 5*d + 3. Suppose -3*p = 2*v + 6, -1 = 5*v + 4*p - 0. Is b(v) a multiple of 5?
True
Let l be 1*(-15 + 3)/2. Let a = -32 - l. Let q = a - -65. Is q a multiple of 15?
False
Let o = 16 + 6. Does 15 divide o?
False
Suppose 3*o - 3 = 0, 5*s - 3*s = -3*o + 13. Let l(w) = -2*w - 10. Let r be l(-9). Suppose -4*d = s*a - 26, 2*d - r = -5*a - 0. Does 6 divide d?
False
Let d(f) = 18*f**3 - f + 4. Let s(r) = 19*r**3 - 2*r + 5. Let v(i) = -4*d(i) + 3*s(i). Does 5 divide v(-1)?
False
Suppose 3*a - 22 - 23 = 0. Suppose 0 = 4*j + j - a. Is 3 a factor of j?
True
Suppose 5*h - h + 4 = 0. Let g(r) = -32*r**3 - r. Let l be g(h). Suppose 3*q = 6*q - 5*v - 29, 3*v = 3*q - l. Is q a multiple of 13?
True
Let j be (2/2)/(1/11). Suppose 5*m + 0*i + 2*i = -j, 0 = 3*m + 5*i + 18. Is 4 a factor of m/((-1)/7) + -1?
False
Suppose 5*v + 13 + 25 = 3*a, -30 = -3*a - 3*v. Is a a multiple of 3?
False
Suppose -i + 211 = 3*f, 2*f + 5*i = -0*f + 119. Is f a multiple of 8?
True
Let h be (-23)/(-3) + (-4)/(-12). Suppose h = -4*w, -2*i + w + 17 + 9 = 0. Is i a multiple of 7?
False
Let u(h) = -4*h + 4. Suppose 5*i = 2*o + 6, 9 = -3*o + 2*i - 3*i. Is u(o) a multiple of 5?
False
Suppose 0 = -5*a + 3*h - 2*h + 118, -4*h = -8. Is 12 a factor of a?
True
Suppose 2*d - 3 - 3 = 0. Does 9 divide 166/6 + (-2)/d?
True
Suppose -7 - 1 = 4*w. Let h be (-1)/(-4) - 88/32*-5. Is h - (2 + w) - 2 a multiple of 6?
True
Does 31 divide (1 - 13/(-3))*(-3627)/(-78)?
True
Let i(k) = 3*k + 1. Let y be i(-4). Let t be (-1)/4 + y/4. Is (-12)/t*(-8)/(-2) a multiple of 10?
False
Is (49 + 2 + -2)*4/2 a multiple of 14?
True
Let r(d) be the first derivative of d**2 + d - 9. Is r(8) a multiple of 17?
True
Let m(q) = 3*q**3 - 3*q - 10 - 2*q**3 + 6*q**2 - 4*q. Let l be m(-7). Let d = 16 + l. Does 6 divide d?
True
Suppose 122 = -31*y + 32*y. Suppose 4*t = -k - 72 + 336, -2*t + 5*k + 132 = 0. Let x = y - t. Is x a multiple of 20?
False
Suppose 3*w + 52 = -4*t, 0 = -4*t - 0*t - 4. Is (6/2)/(-3) - w a multiple of 10?
False
Let b(w) = -w - 3. Does 21 divide b(-24)?
True
Let o(c) = 13*c + 2. Let t be o(2). Suppose -n = n - t. Does 14 divide n?
True
Suppose 5*n + 0*n - 3*b - 30 = 0, -n = 5*b - 34. Does 2 divide n?
False
Let i = -54 + 2. Let t(g) = -g - 1. Let z be t(9). Is 13 a factor of (i/z)/(1/5)?
True
Suppose 5*r + 11 = 241. Is r a multiple of 17?
False
Let n = -8 + 18. Is 2 a factor of n?
True
Let v = 0 + 24. Suppose -v - 20 = -c. Suppose 0*w + c = w. Is 18 a factor of w?
False
Let a(s) = s + 5. Let m be a(-6). Let j = -6 + m. Is ((-26)/6)/(j/21) a multiple of 10?
False
Let f = -43 - -57. Is 7 a factor of f?
True
Let m be (-8)/(-32) - (-10)/(-8). Is 15 a factor of ((-64)/(-12))/(m/(-3))?
False
Let y = 4 - 5. Is 6*(4/(-3))/y a multiple of 4?
True
Let b(a) = -a**2 + 3*a + 1. Let m be b(3). Let z = 4 + m. Suppose 2*i - z*i = -15. Is i even?
False
Let l(b) = -b**3 + 3*b**2 + 3*b + 5. Let m be l(-3). Let h = m - 9. Is h a multiple of 8?
False
Suppose -9*r - 25 = -4*r. Suppose -l - 1 - 15 = -3*d, 0 = d + l. Let a = d - r. Does 8 divide a?
False
Let z(q) = q**3 - q**2 + q + 42. Let n = 1 - 1. Is z(n) a multiple of 14?
True
Suppose 4*o + 3*y - y - 8 = 0, 2*y = 0. Is 2 a factor of o?
True
Suppose 0*i - 4*i + 128 = 0. Is i a multiple of 12?
False
Let c be (-2)/7 - 9/(-7). Is 10 a factor of (-1)/((-1)/14) - c?
False
Let b(k) = 2*k**2 - 3*k. Let l be b(7). Let p be (-2)/(-1) + 10/(-5). Suppose -4*d + 39 + l = p. Is d a multiple of 9?
False
Let p(q) be the second derivative of 3*q**5/20 - q**4/12 - q**3/3 + 3*q**2/2 - 7*q. Is p(2) a multiple of 14?
False
Let c be (-970)/14 + 2/7. Let b = c - -99. Is b a multiple of 15?
True
Let h(y) = -27*y + 32. Is 13 a factor of h(-11)?
False
Let f(n) = 2*n**2 + 3*n + 1. Is f(-5) a multiple of 12?
True
Let v be ((-27)/(-3))/3 - 0. Suppose 3*d + 60 = 2*b, -5*b + v*d - 34 = -202. Does 18 divide b?
True
Let d = -10 - -17. Let y(n) = -n**2 + 11*n - 8. Does 20 divide y(d)?
True
Suppose 212 = 4*a - 4*d, -210 = -3*a + d - 61. Is a a multiple of 11?
False
Suppose -5*j = -0*j + g + 104, j - 3*g = -24. Let t = 17 - j. Does 10 divide t?
False
Let o be -1 - (-3 + (1 - 1)). Suppose 20 = 2*c + o*c. Suppose -a + 156 = 4*j, -j + 3 = -c*a - 15. Is j a multiple of 10?
False
Does 11 divide 3 - 57/(-3 + 0)?
True
Let j(v) be the third derivative of v**5/60 + 17*v**3/6 + 3*v**2. Does 8 divide j(0)?
False
Is 182/9 - (-4)/(-18) a multiple of 10?
True
Let o = -2 + 0. Let k(r) = -r**3 + r - 1. Let w be k(o). Let x(q) = q**3 - 2*q**2 - 5*q + 5. Does 21 divide x(w)?
False
Let j(r) = 2*r**3 - 9*r**2 + 4*r + 1. Is 19 a factor of j(6)?
True
Let q = 90 + -32. Is 18 a factor of q?
False
Suppose 0 = 4*l + 5*i + 33 + 12, 3*l - i = -29. Let z = -6 - l. Suppose -j = z*j - 55. Does 4 divide j?
False
Suppose 0 = -4*l + 33 - 1. Suppose 5*p = 87 + l. Is 11 a factor of p?
False
Let t(l) = -l**3 + 8*l**2 + 7*l - 2. Let v be t(7). Suppose -s = -v + 20. Suppose -4*f + 2*u = -2*u - 80, -5*f = u - s. Is 8 a factor of f?
True
Let c(d) = 2*d - 14. Suppose z + 0*z = 5*k - 65, -4*z - 39 = -3*k. Does 6 divide c(k)?
True
Let p(y) = 6*y**3 + 12*y**2 - 3*y + 4. Let l(a) = -a**3 + a. Let b(h) = 5*l(h) + p(h). Is b(-11) a multiple of 26?
False
Let g(r) = r**2 + 4*r. Let b be g(-6). Let m = b - 5. Does 7 divide m?
True
Let g(m) be the third derivative of -1/120*m**6 + 0*m + 1/12*m**5 - 1/12*m**4 + 0 - 2/3*m**3 - m**2. Does 4 divide g(4)?
True
Let a(o) = -o**2 - o - 3. Let q be a(-10). Does 14 divide (q/(-12))/((-2)/(-8))?
False
Let q = 5 - -8. Let c(n) = n + 1. Let x be c(-4). Let b = q - x. Does 6 divide b?
False
Let u be 1/2*30/3. Suppose -4 + 17 = u*b - v, v = 2*b - 4. Suppose b*m - 59 + 5 = 0. Is 9 a factor of m?
True
Let m be -3 - -1*(3 + 2). Suppose -2*p = -4*d + m*d - 30, 60 = 5*p - 2*d. Is p a multiple of 5?
True
Suppose 3*t = 9 + 57. Is 6 a factor of t?
False
Let r be (-4)/2 + 3*7. Suppose 4*f = -5*b + 19, 3*f - 13*b + 10*b - 48 = 0. Let d = r - f. Is 8 a factor of d?
True
Let g(j) = 9*j**2 + 0*j - 9*j - j**2 - j**3 + 8. Let w = -2 + 8. Is 13 a factor of g(w)?
True
Does 10 divide (1 + 0 + (-5 - -3))*-40?
True
Let p = 8 + 147. Suppose p = -0*j + 5*j. Suppose 7 - j = -h. Is 11 a factor of h?
False
Suppose 0 = -13*u + 150 + 2411. Does 31 divide u?
False
Let y(s) = 21*s**2 - 14*s + 5. Let r(k) = 14*k**2 - 9*k + 3. Let j(l) = 8*r(l) - 5*y(l). Suppose 11*u - 14*u - 6 = 0. Is j(u) a multiple of 11?
False
Let a(n) be the first derivative of -n**4/4 + 5*n**3/3 + 5*n**2/2 + 7*n + 1. Is a(5) a multiple of 16?
True
Let b = -39 + 151. Is 28 a factor of b?
True
Let r(z) = z - 1. Let g be r(2). Is 25 - (6/(-3) - g) a multiple of 5?
False
Let t = 7 - -1. Is 4 a factor of t?
True
Let k(g) = 4*g**3 - 24*g**2 - 21*g + 45. Let n(c) = c**3 - 6*c**2 - 5*c + 11. Let d(w) = 2*k(w) - 9*n(w). Is 3 a factor of d(6)?
True
Suppose 0 = 2*l - l - 53. Suppose -5*f + 5*t - 27 = l, f - 4*t + 1 = 0. Let c = 33 + f. Does 6 divide c?
True
Suppose 3*t - t - 20 = 0. Let v = t + -16. Does 14 divide (-4)/v*6*4?
False
Let g(z) = -z**2 + 15*z + 16. Let m(h) = 11*h**2 - 2*h - 1. Let c be m(-1). Is g(c) a multiple of 13?
True
Let v(u) = u**3 - 9*u**2 - 7*u - 3. Is 17 a factor of v(10)?
False
Is 26/(-1)*(0 + 4/(-1)) a multiple of 29?
False
Suppose -p = -0*p - 5*u + 22, 0 = -3*p + 5*u - 26. Does 4 divide (48/(-20))/(p/5)?
False
Suppose 20 = -2*p - 0*p. Let b be (-52)/(-20) - (-6)/p. Suppose -13 = -b*t + 39. Is t a multiple of 16?
False
Suppose m + y = -1, -3*m + 0*m + 3*y = -15. Suppose -m*p + 3 = -3*b + 43, p - 4 = 0. Is b a multiple of 8?
True
Let j = -63 - -85. Is 22 a factor of j?
True
Suppose -2*q + 4 = -6. Suppose -4*z - 4*t + 52 = -z, -q*z - 2*t + 96 = 0. Does 11 divide z?
False
Let g be (18/(-4))/(3/(-4)). Suppose 2*j - g + 0 = 0. Suppose -2*t = -j*t + 22. Is 7 a factor of t?
False
Let b = 134 + 424. Is 14 a factor of 2/5 - b/(-30)?
False
Suppose -70 = 3*t + 35. Let g = 23 + t. Does