 -d + 5*a + 30 = 0, 5*a = 3*d - 0*a - 70. Is 5 a factor of d?
True
Suppose -4*p - p = -505. Let f = p - 60. Is 20 a factor of f?
False
Let n(y) = y**2 - 2*y - 1. Let f be n(-1). Let l(u) = u**3 + u**2 + u + 2. Let a be l(0). Suppose f = -2*r + 5*x + 10, x = a. Does 9 divide r?
True
Let y = 0 + -1. Let m = y - -1. Does 6 divide m + 1/(3/36)?
True
Let a be 7/((-14)/(-12)) + 1. Suppose 0 = s - f - 6, 2*f = s + a*f - 12. Is s a multiple of 7?
True
Suppose 2*m - 4*m = -10. Suppose 3*r + r = m*s - 232, 135 = 3*s - r. Does 15 divide s?
False
Let q(s) = -4*s - 1 - 2*s**2 + 4*s**2 - 4 + 3*s**2 + s**3. Let b be q(-5). Let u = 27 - b. Does 7 divide u?
False
Let d = -29 - -31. Suppose y - d*q = -5*q + 23, -4*y + 5*q = -177. Is y a multiple of 13?
False
Suppose -3 = q - 5. Let x be (3 - q)/((-1)/(-2)). Does 5 divide x*-1 - (-7 - 8)?
False
Let w(c) = -6*c - 13. Let d be w(15). Let x = d + 155. Is 33 a factor of x?
False
Suppose 3*y - y - 320 = 0. Does 33 divide y?
False
Is 25 a factor of -14*-3*(-4)/(-24)*21?
False
Suppose -2*z - 3*j = -5, 4*z - j - 13 = 4. Suppose 6*p - z*p = 10. Is p a multiple of 5?
True
Let y(f) = 2*f**2 + 2*f - 1. Let a be y(-2). Suppose 7 = u - a. Is u*3/3*1 a multiple of 5?
True
Let q = -4 - -8. Let u(c) = -3*c**2 - 5*c - 1. Let g(v) = 2*v**2 + 3*v. Let i(d) = 5*g(d) + 3*u(d). Is 5 a factor of i(q)?
False
Let o be 3/18 + (-357)/(-18). Is 11 a factor of o/(-30) + 136/6?
True
Suppose -k - 9 = -2*k - 3*a, 5*k - 3*a + 9 = 0. Does 7 divide (18 - 8/4) + k?
False
Let i = 51 + 87. Is i a multiple of 17?
False
Suppose x + 1 = 0, -5*x - 1 = r + 3. Let b = 1 - r. Is (-2)/(-1) - b - -2 a multiple of 2?
True
Suppose 7*o + 135 = 10*o. Is o a multiple of 22?
False
Suppose -2*v = -3 - 5. Suppose -v = -5*l + 6. Is 21 a factor of 43/1 + (l - 3)?
True
Suppose i - 18 - 9 = 0. Suppose a + 8 = i. Is 19 a factor of a?
True
Suppose 3 - 1 = -2*s. Let c(q) = 106*q**2 - q - 1. Let k be c(s). Let j = k + -65. Does 11 divide j?
False
Let v(m) = m**3 - 5*m**2 - 3*m + 4. Suppose 3*s + 5*d = 18, 3*s + 2*s - 30 = -3*d. Is 13 a factor of v(s)?
False
Is (320 + 1)*(8 - 184/24) a multiple of 10?
False
Let l(j) be the third derivative of j**6/120 + j**5/12 + j**4/6 + j**3/3 + j**2. Let g be 1*4*-1 - -1. Is 5 a factor of l(g)?
False
Suppose -s - 5 = 3. Let b = s + 5. Is 19*(-2*1 - b) a multiple of 7?
False
Let h be 1 - (-1 + -1 + -1). Suppose 152 = -0*j + h*j. Suppose 30 = d + 3*w, -3*d + 2*d + w + j = 0. Is d a multiple of 13?
False
Suppose -7 = -2*b - f, -5*b + 4*b - 5*f = -8. Suppose 7*t = 2*t + 20. Suppose -b*c + 4*i + 68 = -0*i, -4*c + t*i = -88. Is c a multiple of 12?
False
Suppose 2*s - 18 = -0*j - 4*j, -4*j = 3*s - 21. Suppose s*b = -b + 60. Does 4 divide b?
False
Let r(j) = 3*j**2 - 6*j**2 + 11 - j + 2*j**2. Is 7 a factor of r(0)?
False
Let w = 20 - 28. Let j = w - -4. Does 3 divide 220/35 + j/14?
True
Let b(v) = 15*v**3 + 2*v**2 - 2*v + 1. Let i(t) = t - 16. Let j be i(9). Let c = -6 - j. Does 7 divide b(c)?
False
Suppose -3*x - i + 16 = 0, -2*x = 2*i - 3*i - 14. Let j(l) = 4*l**2 - 8*l + 17. Let f be j(3). Let t = f - x. Does 7 divide t?
False
Suppose 2*i - 3 = 25. Is -1 + i*(-20)/(-4) a multiple of 22?
False
Suppose 0 = -i + 6 - 9, 2*h = 2*i + 60. Does 4 divide h?
False
Let v be (-2 - -7)*(-1 + 2). Suppose -v*j = -y + 48, -3*y - 2*y = -3*j - 152. Does 14 divide y?
True
Suppose 2*q + 2*t - 12 = 0, 0 = -q - 2*t + 4 + 7. Is 12 a factor of 0 - (49 + q)/(-2)?
False
Let p(k) = -14*k**3 + 35*k**2 - 44*k + 35. Let j(g) = -5*g**3 + 12*g**2 - 15*g + 12. Let t(l) = 11*j(l) - 4*p(l). Is 10 a factor of t(7)?
True
Suppose -3*w - w + 640 = 2*s, -4*s + w = -1307. Suppose 3*x - 77 + s = 5*g, -2*g - 4*x + 110 = 0. Does 21 divide g?
False
Let o = 45 - 28. Is 2 a factor of o?
False
Suppose -5*f = -5*u + 185, 2*u - 125 = -u - 4*f. Let k = -7 + u. Suppose 5*h - 35 = t + 27, 4*t + k = 2*h. Is h a multiple of 5?
False
Let o(k) = -8*k - 10. Let c(u) = -u**2 + 2*u - 4. Let p be c(0). Is 9 a factor of o(p)?
False
Does 6 divide (-7)/((-210)/12) - 1506/(-10)?
False
Let m(p) = p**3 + 5*p**2 + 3*p - 2. Let h be m(-4). Suppose -4*g + 2*b = -24, -1 - 7 = g + 3*b. Suppose 3*c + 23 = g*y, -3*y = -5*c + h*c - 21. Does 2 divide y?
True
Suppose 0 = 2*k - 0 + 2. Let j(o) = -15*o**3 - 2*o**2 - 2*o - 1. Is 5 a factor of j(k)?
False
Let w = -3 - -3. Let o = -2 + w. Let x = 5 + o. Is x a multiple of 3?
True
Let m(g) = 2*g**2 + 6*g - 1. Let c be m(-5). Suppose -5*w + 155 = 4*j, 2*w + 2*j - 81 = -21. Let o = w - c. Is o a multiple of 14?
False
Suppose -10 = 2*m - 110. Let u = -4 + m. Does 15 divide u?
False
Suppose 0*g - 3 = 3*g. Let o be (6*6/(-9))/g. Suppose -k = -o - 2. Is k a multiple of 6?
True
Let i be 2 + -2 + -2 + 2. Suppose -l + o - 27 = -6*l, i = 2*l - 4*o - 2. Let s(d) = d**2 - d + 6. Does 13 divide s(l)?
True
Let h(f) be the second derivative of -f**5/20 - 5*f**4/12 - 5*f**3/6 - 7*f**2/2 - 3*f. Does 8 divide h(-5)?
False
Let x = 31 + -22. Does 2 divide x?
False
Suppose -3*m + w + 533 = 2*w, 0 = -3*w + 6. Suppose -66 = -3*o + m. Suppose -1 + o = 4*k. Is 9 a factor of k?
False
Suppose 4*o = -8 + 28. Suppose o*f = -4*d + 93 + 52, 0 = -2*d - f + 77. Is d a multiple of 17?
False
Let j = -4 + 9. Does 15 divide 740/25 + 2/j?
True
Suppose 8*v = 7*v + 33. Is v a multiple of 14?
False
Suppose 9*w - 7*w - 182 = 0. Is 13 a factor of w?
True
Does 3 divide 4/(((-3)/(-2))/(75/20))?
False
Let k = -19 - -33. Suppose -k = -t - 1. Let m = t + -5. Is m a multiple of 8?
True
Let s(t) be the second derivative of t**4/12 - t**3 + 3*t**2/2 - 3*t. Does 8 divide s(7)?
False
Let s(n) = n**2 - 8*n. Let t = -7 + 15. Let y be s(t). Let z = y + 5. Does 2 divide z?
False
Suppose -3*w - 9 = 9. Let j = w + 10. Suppose -3*h + 58 = 5*n, -8 = -2*h + 2*n + j. Is h a multiple of 4?
False
Let i = 1 - -35. Let j = i + 7. Is j a multiple of 14?
False
Let g be (-42)/(-5) + (-4)/10. Let j(c) = -7*c + 12. Let f(a) = 6*a - 11. Let b(x) = 5*f(x) + 4*j(x). Is b(g) a multiple of 3?
True
Let a(y) = -27*y + 8. Let v be a(-7). Suppose -199 = -4*z + v. Suppose -z = -7*j + 4*j. Does 10 divide j?
False
Suppose -2*f + 11 - 1 = 0. Suppose 3*l - 2*n + 9 = 6*l, -f*n = -l + 3. Does 4 divide 130/15 - 2/l?
True
Let u(p) = p**2 + 6*p + 5. Let k be u(-5). Let h(w) = -3*w**2 + 1 + k*w**3 - 2*w**3 - 2*w**3 + 1. Does 14 divide h(-2)?
False
Suppose 7*i - 2*i = 0. Suppose -2*h + 5*h - 99 = i. Is h a multiple of 14?
False
Is 15 a factor of 6*1/((-1)/(-10))?
True
Let f = 42 - 31. Is 4 a factor of f?
False
Let r(i) be the first derivative of 53*i**4/4 + 2*i**3/3 - i**2 + i + 3. Does 15 divide r(1)?
False
Suppose -3*k = -4*k + 6. Is k even?
True
Let f = 9 + -9. Suppose 72 = 3*s - f*s. Suppose l - 4*l + s = 0. Does 4 divide l?
True
Let j(f) = 18*f**2 + 3*f. Is j(-2) a multiple of 11?
True
Suppose 2*g - k - 7 - 1 = 0, 0 = 5*g - k - 23. Suppose -4*f - 74 + 289 = -g*c, 57 = f + 2*c. Is 14 a factor of f?
False
Let m(i) = 11*i + 5. Let h(s) = 11. Let a(t) = 5. Let d(z) = -13*a(z) + 6*h(z). Let p(o) = -6*d(o) + m(o). Is p(1) a multiple of 10?
True
Let x = -41 + 104. Is 7 a factor of x?
True
Suppose -3*m = 2*r - 6*m, 2*r - 20 = -2*m. Let s(k) = 3*k + 6 - 2 - 3 + 7. Is 13 a factor of s(r)?
True
Let y be ((-3 - -1) + 2)/(-1). Suppose 2*q - 2*w = -y*w - 8, -5*q = -w + 8. Is 10 a factor of (87/(-3))/(-1) - q?
True
Let k = 60 + -91. Let h = 53 + k. Does 7 divide h?
False
Suppose 3*f = -2*k - 3 + 69, 0 = -5*f - 10. Is 9 a factor of k?
True
Let i(g) = -g + 65. Let h be i(0). Suppose -2 = -n - n - 5*x, 5*x - h = 5*n. Let j = -6 - n. Is j a multiple of 2?
False
Let q be 0/3 - -3 - -1. Suppose 5*b = -6*y + 2*y - 10, -18 = b + q*y. Suppose b*i = -2*x + x + 16, 4*x - 46 = -2*i. Does 9 divide x?
False
Suppose 204 = 3*y + 4*j, 3*y - 5*j = 5*y - 143. Is y a multiple of 16?
True
Let m = 52 - -16. Suppose -3*s - h = -3*h - m, s + 4*h = 18. Is 22 a factor of s?
True
Suppose 12 = -3*a - 0*g - 3*g, 0 = a - g + 6. Let q be a*12/(-15)*7. Let v = -15 + q. Does 13 divide v?
True
Suppose -4*g = 5*z + 40, -2*z - g = -5*z - 7. Let m(k) = k**2 - 8*k - 8. Let w be m(7). Let s = z - w. Does 3 divide s?
False
Suppose -3*y = -15 - 9. Suppose -3*u = 4*b - 2*u - y, -5*b + 13 = 2*u. Suppose -l - a = -6, -a = -l + 3*a + b. Is l a multiple of 5?
True
Let g(r) = r**3 - 4*r**2 - 2*r + 7. Let s be (-1 - -3