Is f a multiple of 3?
False
Let u be 1/(-5) + (-378)/(-15). Does 20 divide (40/u)/(4/90)?
False
Let u(y) = -y + 3. Suppose 10 = -5*j - 10. Does 3 divide u(j)?
False
Let j = 181 + -87. Is 5 a factor of j/10 + 36/60?
True
Let k be (20/(-15))/(2/(-111)). Let b = k + -53. Does 7 divide b?
True
Suppose 5*a = 2*a + 156. Is a a multiple of 26?
True
Suppose -5*t + 14 = b, -5*b = 5*t - 11 + 1. Suppose t*x = -2*x. Let q = 26 - x. Is q a multiple of 10?
False
Let h(a) = -a**3 + 5*a - 3. Let z be h(-4). Let c = -24 + z. Is 9 a factor of c?
False
Let n be (3 + 3/(-2))*2. Suppose n*g - 57 = -3. Is 18 a factor of g?
True
Suppose 3*c - 2*c - 2 = 3*s, s + 4*c - 8 = 0. Suppose b - 2*o - 9 = s, -4*o - 25 = -3*b - 0*o. Is b even?
False
Suppose 0 = -2*z - 8 + 14. Is 21 a factor of ((-14)/z)/(6/(-108))?
True
Let l = -4 - -8. Suppose -7*i + l*i = -3. Suppose 2*v - i = 11. Does 3 divide v?
True
Suppose -t = -2*s + 7 + 4, -5*s - 3*t = -22. Suppose -s*d - 3*o = -95, -3*o = o - 20. Is d a multiple of 8?
True
Let q = -24 - -5. Let u = 36 - q. Does 14 divide u?
False
Let z(a) = 1. Let x(o) = o**3 - 3*o**2 - 2*o - 3. Let i(w) = -x(w) - 3*z(w). Does 8 divide i(2)?
True
Let y(r) = r**2 - 6*r - 11. Is y(8) even?
False
Suppose 6 = 2*i - 0*i. Suppose 3*d + 1 = 2*z, i + 4 = 5*z - 3*d. Is 2 + (3 - z/(-1)) a multiple of 3?
False
Let s(r) = -r**3 + 10*r**2 + 7*r - 10. Let x be s(9). Suppose -b - 3*b = 2*l - x, 4*l + 128 = 4*b. Does 16 divide b?
False
Let j = -10 - -17. Let i be (38 + -2)*j/3. Suppose -4 = -4*c + i. Is 11 a factor of c?
True
Suppose -5*t + x + 239 = 0, -3*t = -6*t + 5*x + 161. Let c = t - 25. Is c a multiple of 22?
True
Suppose 5*n + 5*i = 115, -2*i + 7*i = -2*n + 61. Let g = n - 13. Does 3 divide g?
False
Suppose 4*f + 3*y = 14, 2*f - 5*f = y - 13. Suppose f*u = 4*v - 46 + 9, -5*v - 4*u = -36. Does 8 divide v?
True
Let l be (-12)/4 + -1 - -4. Let u(j) = j**2 - j + 3. Let k be u(0). Suppose l = -k*o + o + 48. Is o a multiple of 7?
False
Suppose -4*u - 9 - 15 = -4*p, 2*p = 4*u + 16. Suppose 0 = -5*z - 5*f + 60, -p*z - 5*f + 73 - 30 = 0. Is z a multiple of 12?
False
Suppose 96 = 3*w - 0*w. Let v = w + 24. Does 2 divide v/10 - (-6)/15?
True
Suppose 6*k - 3*k - 33 = 3*i, 5*i - 23 = -k. Is 5 a factor of k?
False
Let g(t) = -t**2 - 4*t - 12. Let o(x) = 1. Let f(q) = -g(q) - 6*o(q). Let r be f(-4). Is r*(-3)/9*-3 a multiple of 6?
True
Suppose -48 = -2*v + 12. Does 9 divide v?
False
Let o be -7 + 4*(-4)/8. Does 18 divide 853/9 - 2/o?
False
Suppose -7 = 5*k + 23. Let a = k + 6. Suppose -72 = -a*b - 2*b. Is b a multiple of 12?
True
Suppose 2*g = 4*t - 18, 25 = t - 5*g + 7. Is 17 a factor of (t - 1)/(8/244)?
False
Does 8 divide (-38)/(-1) - -2 - (1 + 1)?
False
Suppose 0 = -3*n + 9, 3*p + 2*n + 40 = 5*p. Is p a multiple of 10?
False
Suppose -2*z + 0*g - g - 8 = 0, 0 = -g - 2. Let w(n) = -16*n + 3. Does 17 divide w(z)?
True
Suppose 0 = u - 12*u + 858. Does 26 divide u?
True
Suppose 3 = o - 3. Let m be 2/4 + 15/o. Suppose 0 = 5*a + m*l - 103, l - 5 = -4*l. Is a a multiple of 15?
False
Let s = -3 - -2. Let q = s - -2. Is 15*((q - 3) + 3) a multiple of 15?
True
Suppose -3*v + 71 = 2*v - 3*u, u - 11 = -v. Is 2 a factor of v?
False
Let v = -95 - -222. Suppose -3*s = 2*z - 78, 3*z + 2*s = -0*s + v. Is z a multiple of 17?
False
Let h be 1/(-4) - (-5)/4. Let j be 1 + (-1)/(h/(-36)). Suppose 4*y + 6 = f, -3*f + 3 + j = -y. Is 14 a factor of f?
True
Let j = -94 + 175. Is 33 a factor of j?
False
Let x(f) = -50*f**3 - 3*f**2 + 3*f**2 - 1 + 8*f**3 - f**2 - 2*f. Is x(-1) a multiple of 14?
True
Suppose -2*a = -4*a + 5*y - 3, -38 = -3*a - y. Is a a multiple of 6?
False
Let i = 44 + -2. Does 3 divide i?
True
Let c(p) = 6*p - 4. Let i be c(6). Suppose d - i = -3*y, 2*y + y + 4*d = 29. Is 4 a factor of y?
False
Suppose 0 = 4*j - 7*j. Let x = 5 + j. Is x a multiple of 2?
False
Suppose 0*o - 2*o = 12. Let a(j) = -4*j - 9. Let n be a(o). Suppose 0 = -3*p + n + 27. Is p a multiple of 7?
True
Let u(l) = l**3 + 9*l**2 - 7*l - 12. Suppose 9 = -v - 0*v. Is 17 a factor of u(v)?
True
Let s(k) be the first derivative of k**4/4 - 11*k**3/3 + 3*k**2/2 + 5*k + 1. Suppose 0 = -4*t - 20, 5*j - 7*t - 80 = -2*t. Does 12 divide s(j)?
False
Let x(b) = 18*b**2 - 8*b + 37. Is x(5) a multiple of 26?
False
Let s be (-2)/6 + (-96)/(-18). Is 14 a factor of (s - 3) + 39 - 3?
False
Let c = -16 + 72. Let l = c - -5. Does 16 divide l?
False
Let t = 136 - 61. Is t a multiple of 18?
False
Let j(o) = -o**3 - 2*o**2 + 2*o - 1. Let l be j(1). Let x = 7 - l. Suppose 2*h - x = -5*p + 4, -p = -2*h + 31. Is 14 a factor of h?
True
Let q = 86 + -50. Let n be 1/4 - 28/(-16). Suppose -n*b = 2*w - q, 2*b - 65 + 22 = 5*w. Is 11 a factor of b?
False
Is 18 a factor of 69 + 1 - (0 + -2)?
True
Suppose 0*i - 5*i = 2*y + 10, -4*i - 8 = -2*y. Suppose -3*g - 12 + 39 = y. Is 3 a factor of g?
True
Let y = 2 - 14. Is 2 - (0 - -2) - y a multiple of 6?
True
Let o(z) = z**3 - 6*z**2 + 4*z - 5. Let n be o(5). Let f be 22/10 + 2/n. Is 4 a factor of 1/f - 7/(-2)?
True
Suppose 14 = 3*i + 5*v, -v + 16 = 3*i + 3*v. Let q be -2*(0 + 1*-2). Does 3 divide ((-2)/q)/((-1)/i)?
False
Let v be (-3)/(-3)*(-1 + 3). Suppose a = -v + 9. Does 4 divide a?
False
Let r(x) = 34*x**2. Let t be r(1). Let y = 69 - t. Is y a multiple of 11?
False
Suppose 5*a - 240 = -0*a. Is a a multiple of 16?
True
Let b = -18 + 23. Suppose -4*r + 142 = 5*o, -o - 2*o + 80 = b*r. Is 13 a factor of o?
False
Suppose 0 = -x - 3*c + 31, -2*x + 31 = -x - 5*c. Suppose -3*d + x + 47 = 0. Does 11 divide d?
False
Let g = -14 + -15. Let s = 55 + g. Is 7 a factor of s?
False
Let i = 18 - 15. Is 12 a factor of 3 - (i + -46 - 2)?
True
Suppose 4*z = z + 9. Suppose 0 = 3*f + 6, -f + z*f = 3*s - 184. Is 20 a factor of s?
True
Suppose 0 = 2*y + 5*c + 4, -4 = 2*y + 4*c - 2. Suppose 5*s - 253 = 4*r, -3*s - r = y*r - 171. Is s a multiple of 14?
False
Suppose -5*u = -3 - 7. Suppose 0 = u*m - 5*m + 9. Suppose m*n - 4*o - 70 = 0, 0*o = 4*n - 2*o - 90. Does 8 divide n?
False
Let s = 337 - 164. Is 32 a factor of s?
False
Let z = -10 + 12. Suppose 2*l + z*b = 12, 4*l - 21 = b - 4*b. Suppose -2*k = -5*o - 63, -2*k - 4*o + 174 = l*k. Is k a multiple of 13?
False
Let y(m) = m**2 - 5*m - 2. Is 16 a factor of y(-5)?
True
Does 9 divide (((-20)/3)/(-10))/((-2)/(-48))?
False
Let v(m) = -10*m + 6. Is 38 a factor of v(-7)?
True
Let i be 4/18 - (-420)/54. Let w = 10 - i. Suppose -w*s + 24 = -0*s. Does 6 divide s?
True
Suppose 3*u = u + 4*m, 0 = -u + 4*m. Suppose u = 2*b - 12. Does 2 divide b?
True
Let g(b) be the third derivative of 3*b**5/20 + b**4/24 - b**3/6 - b**2. Is g(1) a multiple of 9?
True
Suppose r = 6 - 2. Suppose -4*w + 15 = i, w - i = 1 + r. Is 2 a factor of w?
True
Suppose 20 + 100 = 5*t. Is t a multiple of 24?
True
Is 16 a factor of (-1 - 19)*42/(-45)*12?
True
Let q = 27 - 13. Is 4 a factor of q?
False
Let k(v) = v**3 + 10*v**2 - 2*v + 6. Let m be k(-9). Suppose -3 = -w, -3*r - 2*w + m = -4*w. Is 9 a factor of r?
False
Suppose 2*y + 44 = -140. Let a = -49 - y. Is 13 a factor of a?
False
Let u = 81 + -53. Let y = u + 5. Does 10 divide y?
False
Let s(u) = u**3 - 10*u**2 - 13*u + 16. Let w be s(11). Let p(x) = -2*x - 6. Let y be p(w). Suppose -y*d + 19 = -5*d. Does 11 divide d?
False
Let z(c) = 4*c**3 + 3*c**2 - 2*c + 4. Let j(q) = 7*q**3 + 7*q**2 - 5*q + 8. Let x(u) = -3*j(u) + 5*z(u). Does 3 divide x(-7)?
False
Suppose -5*w - 2*o = -2*w - 11, -3*o = -w. Suppose 2*t = -k + 57, w*t - k - 53 - 30 = 0. Is 10 a factor of t?
False
Let k = 77 + -48. Does 8 divide k?
False
Let f be ((-1)/2)/(3/(-510)). Suppose -4*l + s + 78 = 0, -5*l = 4*s + s - f. Does 9 divide l?
False
Let j(m) = 5*m**2 - 8*m + 6. Is j(4) a multiple of 18?
True
Suppose 5*i - i + 2*f - 12 = 0, i + 3*f = 13. Let u(s) = s + 3 + i - 5. Is u(9) a multiple of 6?
False
Suppose 4*v = 0, 4*v = -2*m - 0*v + 110. Does 7 divide m?
False
Let i be 3 - 0*1/4. Suppose 3*x = i + 12. Is x a multiple of 5?
True
Let g(p) be the second derivative of -p**3/3 - 5*p**2/2 - 3*p. Let b be g(-7). Suppose 0 = -2*t + b - 1. Is 4 a factor of t?
True
Suppose 10*w - 20 = 5*w. Suppose -496 = -w*s - 3*o, -4*o = s - 98 - 39. Is 32 a factor of s?
False
Let k = 62 - 42. Is 20 a factor of k?
True
Let q(w) be the first derivative of -7 + 9 - 3*w**2 + 2*w - 4*w**2 - 1. Is 10 a factor of q(-2)?
