ppose 0 = w + 14 - f. Does 15 divide w?
False
Suppose 4*b - 38 = 5*w - 144, -b + 50 = 3*w. Does 18 divide w?
True
Suppose -5*g - l = 4*l - 855, 3*l = 9. Does 8 divide g?
True
Let v(u) = 4*u**3 - 33*u**2 + 7. Let b(n) = n**3 - 8*n**2 + 2. Let q(k) = -9*b(k) + 2*v(k). Does 13 divide q(5)?
False
Let o(z) = z**2 + 6. Does 22 divide o(6)?
False
Let a be 2/(-7) + (-261)/(-7). Suppose 6 = 4*o - 10. Suppose o*n - a = -1. Is n a multiple of 9?
True
Let s(t) = 10*t**2 - t + 4. Does 17 divide s(-3)?
False
Suppose 2*f = -3*f + 25. Let t(v) = 3*v + 1. Is 8 a factor of t(f)?
True
Let a(l) = l - 12. Let z be a(0). Let n = z + 19. Suppose -n*d = -3*d - 20. Does 4 divide d?
False
Let i = 25 - 4. Is 11 a factor of i?
False
Let i = 4 - 1. Does 3 divide i?
True
Let g(n) = -n + 20. Suppose m = 4*m. Does 17 divide g(m)?
False
Let w(f) = f**2 + 7*f + 20. Is w(10) a multiple of 41?
False
Let i = -6 - 4. Let g = 17 + i. Does 4 divide g?
False
Let w = -72 - -137. Is 13 a factor of w?
True
Suppose 0 = 3*h + 34 + 14. Let m = -2 - h. Suppose 3*s - 4*s - t + 12 = 0, t + m = s. Is s a multiple of 4?
False
Let u = 5 - 5. Suppose u = -3*o - 2*o + 245. Let z = o + -23. Is 9 a factor of z?
False
Let m = 8 - 2. Let d be 208/m - 5/(-15). Suppose -d = -2*n + 9. Is n a multiple of 11?
True
Let y = 8 - 1. Let l = y - -39. Does 10 divide l?
False
Let j(i) = 4*i**3 - 4*i**2 + i + 1. Suppose 2*h + 11 = 4*r - 11, -5*h - 31 = -2*r. Is 29 a factor of j(r)?
False
Let f(b) = -3*b**2 + 6*b - 4. Let v be f(-6). Let a = -104 - v. Is 14 a factor of a?
False
Let b(j) = j**2 + 5*j**2 + j + 2*j**2. Let g be b(1). Let i = g + 2. Is i a multiple of 11?
True
Suppose -3*z + 57 = -2*z. Is 15 a factor of z?
False
Suppose 8*n = 4*n - 36. Let g = n - -24. Is 5 a factor of g?
True
Let c be (-2)/6 + 32/6. Suppose -5*i - c = -185. Suppose -3*w - 25 = -5*v + 37, 3*v = 3*w + i. Is v a multiple of 13?
True
Suppose -4*t = -2*z - 28, -4*z - 5 = t - 21. Let g = t + -6. Suppose -g*m = 4, -4*s + 212 = -4*m + 52. Is s a multiple of 18?
False
Let d = -2 + 4. Suppose m - 9 = -d*m. Suppose m*g - g = 22. Does 4 divide g?
False
Let d = -4 - -1. Let b = d + 14. Is 11 a factor of b?
True
Suppose 6 = z + 4. Suppose -z*a + 21 = a. Is a a multiple of 7?
True
Is 3/6 - (-492)/8 a multiple of 31?
True
Suppose -3*x = 3*p - 24, 9*p - 55 = 4*p - 2*x. Suppose 0 = -3*s + 5 - 2. Is 10 a factor of p - (2 - 2/s)?
False
Let z = 8 + -5. Suppose -3*i - 54 = -z*f, -3*f - 7*i + 3*i + 54 = 0. Is f a multiple of 10?
False
Suppose -2*f = f - 501. Let l be (4 - 2) + 4 + -2. Suppose 2*a - 88 = 4*r, -f = -l*a - 2*r + r. Is a a multiple of 21?
True
Let g(f) = -f**3 - 6*f**2 + 7*f + 8. Suppose 4*y - 34 = -98. Let k = 9 + y. Is g(k) a multiple of 3?
False
Let d = 2 + -2. Suppose 5*y - 95 - 123 = -4*j, -3*y + j + 124 = d. Is 23 a factor of y?
False
Suppose 80 = a - 3*d, -5*a - 4*d + 493 - 17 = 0. Suppose -2*r - c + 22 = -22, -3*r + a = -5*c. Is 12 a factor of r?
True
Let s be ((-12)/9)/(4/(-6)). Suppose -2*z + 25 = c, 2*c + 15 = z - 0. Does 6 divide z/2 - s/4?
True
Let m = -9 - -27. Is m a multiple of 6?
True
Suppose 9 = 2*m + m, 3*c + 2*m = 0. Does 3 divide ((-5)/10)/(c/12)?
True
Let k be -2 + 4 - (2 - 0). Suppose -5*y + 4*y + 2 = k. Suppose y*q + 6 = 46. Is 10 a factor of q?
True
Let h(o) = -2*o**2 + 3. Let l be h(4). Let p = l - -60. Let v = 63 - p. Is v a multiple of 16?
True
Let g(r) = -3*r - 1. Let l(x) = x. Let t(s) = -g(s) + 4*l(s). Let f(c) = -3*c - 32. Let p be f(-11). Is t(p) a multiple of 8?
True
Let z = -3128 + 1863. Does 14 divide (-2)/(-5) - z/25?
False
Suppose 0 = 5*v - 10, v - 3 = -3*s + 143. Suppose 0 = -3*i - 9, 2*y + 2*y + 4*i = s. Is y a multiple of 14?
False
Let j(b) = -b**2 + 2*b. Let w be j(4). Let r(p) = -p**3 - 8*p**2 - p + 5. Is r(w) a multiple of 13?
True
Is 72/48 - (-778)/4 a multiple of 49?
True
Let s(y) = -y**3 - 5*y**2 - 5*y - 5. Let j be s(-4). Let o be -35 - 1 - (j - -3). Is 8 a factor of -1*1*o/2?
False
Let p(z) = 8*z**3 - 12*z**2 + 9*z - 9. Let m(y) = 9*y**3 - 13*y**2 + 10*y - 10. Let i(n) = -6*m(n) + 7*p(n). Let w = -9 + 13. Is i(w) a multiple of 12?
False
Let p be ((-6)/8)/((-7)/28). Let k = p - 7. Does 18 divide (-32)/(-6)*(-27)/k?
True
Suppose -3*g = -0*g - 273. Does 29 divide g?
False
Let x(b) = -b + 1. Let o(l) be the first derivative of -l**4/4 + 7*l**3/3 - 3*l**2 - 3*l + 2. Let z be o(6). Does 4 divide x(z)?
True
Let a(p) = -13 - 3*p + 0*p + 4 + 5*p**2 - 3*p**2. Is 26 a factor of a(5)?
True
Let u(w) = w**3 + w**2 - 12*w + 5. Is 35 a factor of u(5)?
False
Suppose 5*f + 5*f = 600. Is 15 a factor of f?
True
Suppose 0*z + 3*z - 105 = 0. Let p = z + -14. Is 7 a factor of p?
True
Suppose -p - 2*p + 28 = -4*y, -2*p + 4*y + 20 = 0. Is 4 a factor of p?
True
Let h = -2 + 4. Let s = h - -1. Suppose 0 = s*y - 42 - 6. Does 11 divide y?
False
Let a(k) = -15*k + 3. Let p be a(2). Let o = p + 41. Is 7 a factor of o?
True
Suppose 4*j = -2*y + 111 + 29, 2*y = 2*j + 170. Does 8 divide y?
True
Let m be (-5)/(-10) - (-11)/2. Suppose -m*v + 2*v = -20. Suppose -v*q = -8*q + 24. Is 8 a factor of q?
True
Suppose p - 2*t - 40 = 0, p = -0*p + 4*t + 50. Is 6 a factor of p?
True
Does 26 divide (3/(-9))/((-3)/1962)?
False
Let g be ((-9)/(-2))/((-6)/8). Let d(j) = 9*j**3 + 2*j + 3 - 5*j**2 - 3 - 10*j**3 - 2. Does 15 divide d(g)?
False
Let o(t) = -2*t**3 - 2*t**2 + 3*t**3 - 1 - t + 4. Is 20 a factor of o(5)?
False
Suppose 0 = -4*k - d - 4*d + 10, -k = 5*d + 5. Suppose -79 = -k*r + f - 2, 3*r - 3*f = 39. Does 13 divide r?
False
Let v = 20 + -11. Let p = 18 - v. Is p a multiple of 3?
True
Let u(l) = -10*l - 3. Let d be u(6). Is 10 a factor of d/(-6) - (-2)/(-4)?
True
Let g = 8 - -2. Is 6 a factor of g?
False
Let b = 73 - 46. Suppose -l = -m + 42, 0 = -m - 3*l + l + b. Is 22 a factor of m?
False
Suppose -16 = -3*v - v. Suppose -3*p + p - 2*u = -4, 0 = v*p - 3*u - 29. Suppose 3*c - 57 = -w, w = -p*c + 4*w + 95. Is 13 a factor of c?
False
Let y(p) = 10*p**2 + p - 2. Let l be y(2). Suppose 3*z = 5*f - 29 - 35, 5*f + 5*z - l = 0. Let x(d) = -d**2 + 14*d - 9. Is 12 a factor of x(f)?
True
Suppose 20 = -8*b + 12*b. Suppose 0 = -3*x + b*x - 48. Is x a multiple of 9?
False
Suppose -156 = -4*j - 4. Suppose -3*w + 164 = j. Is 14 a factor of w?
True
Let h(j) = j**3 + 5*j**2 + 3*j - 5. Suppose 8 = -2*u - 0*u. Let g be h(u). Is 7*(g + 0)/(-1) a multiple of 4?
False
Let c be (-480)/(-27) + (-4)/(-18). Let m = c + 3. Suppose 0 = p - 2*p + m. Is 14 a factor of p?
False
Let c(n) = -n**3 - 3*n**2 + 4*n - 4. Let j be c(-4). Is (j/2 - -18) + 2 a multiple of 7?
False
Let o(s) = s + 4. Let t be o(-4). Suppose -4*i + t*i + 100 = 0. Is 25 a factor of i?
True
Let j(o) = -5*o**3 + 3*o**3 - 10*o + 3*o**3 - 2 + 7*o**2. Suppose 2*z + 9 = -7. Is 5 a factor of j(z)?
False
Let o be 2 + -1 + (-2 - -6). Let v = o + 0. Is v even?
False
Let m = 46 + -3. Suppose 3*c - 71 = m. Does 19 divide c?
True
Suppose -2*c + 14 - 10 = 0. Suppose -k + 17 = c*a, -a - k + 29 = 3*a. Is 2 a factor of a?
True
Suppose 7*v - 6*v - 15 = 0. Is v a multiple of 15?
True
Let r = -2 - -3. Let j = 5 + r. Let f(w) = w + 1. Does 3 divide f(j)?
False
Let f be 8/(-2)*(-2)/4. Suppose 6 + 28 = f*d. Does 15 divide d?
False
Suppose 0 = 5*l - 3*v - 15, -9 = -3*l - 5*v - 0*v. Suppose 5*k = l*q + 58, -k + q + 38 = 2*k. Does 10 divide k?
False
Suppose 42 + 8 = 5*x. Does 8 divide x?
False
Let p(m) = -6*m + 11. Let f be p(-17). Suppose -3*k - 41 = -2*x + 181, 5*x = 2*k + 137. Let n = k + f. Does 11 divide n?
False
Suppose -8*z - 3*k = -3*z - 788, 2*z = -3*k + 308. Is z a multiple of 8?
True
Is 8 a factor of (-4)/(-6) + 166/3?
True
Let a = -12 - -17. Suppose -a*m + s = -162, 0*m - m = -s - 30. Does 10 divide m?
False
Suppose -2*l - 271 = 2*q - 729, 0 = 2*q - 2*l - 438. Is 14 a factor of q?
True
Let i = 169 + -99. Is i a multiple of 27?
False
Let m(v) = -2 + 2 + 1 - 3 + v. Let q be m(4). Suppose -q*o = -29 - 11. Is 10 a factor of o?
True
Let z(t) = -16*t + 8. Is 28 a factor of z(-6)?
False
Let o = -108 + 162. Does 18 divide o?
True
Let r(w) = 7*w + 1. Let c be r(1). Let v be (-3 + 5)*2*c. Let p = v + -22. Is p a multiple of 10?
True
Let g = 234 - 156. Does 14 divide g?
False
Suppose -2*w - 3*b + 4 = -0*b, -b + 24 = -5*w. Let x = w + 14. Is x a multiple of 3?
False
Let d(b) be the first derivative of -5*b**2/2 - b + 1.