oes 10 divide s?
True
Let u(d) = 2*d - d**3 - 7*d**2 - 4*d + 4 - 4*d. Let y be u(-6). Suppose -175 = -y*v + o, -3*v + 145 = 3*o - o. Is v a multiple of 21?
False
Let u(y) = y**2 - 8*y - 3. Let v be u(9). Suppose 3*x - x + v = 0. Is ((-12)/8)/(x/52) a multiple of 9?
False
Suppose i + 20 = -5*c, 3*i - 3*c - 40 = -2*i. Is i a multiple of 3?
False
Let o(l) = l**3 - 12*l**2 - 16*l - 4. Is o(14) a multiple of 21?
False
Let z(k) = -2*k + 2 + 6*k**3 - 3*k**3 - 2*k**3. Is 3 a factor of z(2)?
True
Suppose -2*n + 377 = w, 217 = -2*n + 2*w + 597. Is n a multiple of 21?
True
Let c = -6 - -1. Let f be (3 - (3 - c))/(-1). Suppose z = f*p + 4, p - 63 = z - 3*z. Does 15 divide z?
False
Let z(s) = -s**3 + 6 - 11*s + 2*s**3 + 10*s**2 - 2*s**3. Suppose 4*y - 3*j - 7 = 5*y, 3*y - 19 = -j. Does 17 divide z(y)?
False
Let u = -23 + 89. Suppose 0 = -4*n + 42 + u. Is 9 a factor of n?
True
Is (44 - -9)/(1 + 0) a multiple of 7?
False
Is 0 + 37 + (-30)/10 a multiple of 13?
False
Suppose 2*c + c - 9 = 0. Suppose c*j - 8 = 1. Suppose -4*m + 2*n + 74 = 0, 0*m = j*m + 4*n - 28. Is m a multiple of 8?
True
Let b = 302 + -140. Is 12 a factor of b?
False
Let k = 2 - -25. Does 9 divide k?
True
Suppose -9*b - 27 = -4*b + 3*a, a = 1. Let u(k) = k**3 + 7*k**2 + 5*k - 2. Let f be u(b). Suppose g = -f*s + 62, 2*g - s - s - 104 = 0. Is g a multiple of 22?
False
Let z(j) = 6*j - 7. Let c(t) = 7*t - 7. Let r = 13 + -8. Let o(p) = r*z(p) - 4*c(p). Does 15 divide o(11)?
True
Suppose -5*j = -348 - 232. Is 29 a factor of j?
True
Suppose 27 - 7 = 4*z. Suppose 153 = -z*u + 8*u. Is u a multiple of 13?
False
Does 3 divide (8 - 4)*3 + 0?
True
Let d = 15 + -13. Suppose 2*k + 5*n = 35, d*n = k - n - 12. Does 5 divide k?
True
Suppose 221 + 479 = 5*n. Does 14 divide n?
True
Let x = 0 - -4. Let q(u) = -u**3 + 6*u**2 - 6*u - 3. Does 2 divide q(x)?
False
Let r be 32/6 - (-6)/9. Let s = r + -3. Let d(w) = -w**2 + 8*w - 2. Is d(s) a multiple of 7?
False
Let o(s) = 6*s + 64. Is o(6) a multiple of 5?
True
Let s(p) = -2*p**3 + 11*p + 8. Does 23 divide s(-4)?
True
Suppose 3*x - 37 = p, p - 2*p + 47 = 4*x. Does 4 divide x?
True
Let j = 24 - -24. Let o = j - 7. Suppose -3*r - 2 = -o. Is 5 a factor of r?
False
Suppose n - 50 = -5*z, -4*n - 22 = 4*z - 62. Does 2 divide z?
True
Suppose -3*a - 5 = 16. Let m(k) = -k**2 - 9*k + 2. Does 16 divide m(a)?
True
Let f(s) = 2*s + 85. Does 27 divide f(0)?
False
Suppose -n - 4 = 2*y, 25 = 5*n - 9*y + 4*y. Let m be -2 - (10/2)/1. Is (m - -2)/(n/(-8)) a multiple of 10?
True
Suppose 0 = -2*r + 3*r + 2*q - 1, -2*r + 5*q = 25. Let m(f) = 4 + f + 0 - 7*f. Is m(r) a multiple of 17?
True
Suppose 2*w + 2*w - 275 = -3*v, -2*v = 2*w - 182. Is 9 a factor of v?
False
Let c(v) = 40*v - 14. Let j be c(10). Suppose -2*f - 3*f - 2*n = -j, f = -n + 76. Suppose -108 = -5*t - 4*g, 5*t + g = 39 + f. Is t a multiple of 12?
True
Suppose -13*l + 10 = -8*l. Does 10 divide (-3 + 5 - -8)*l?
True
Suppose -s - 2*u = -4*u - 19, u - 73 = -5*s. Is 6 a factor of s?
False
Let z(f) = f**2 - 2*f + 3. Is 6 a factor of z(-7)?
True
Let q(m) = -m + 42. Does 21 divide q(0)?
True
Let n = 27 - 14. Suppose -3*v = -4*v + n. Suppose v = 2*g - 19. Is 8 a factor of g?
True
Suppose -5*c - 243 = -6*c. Does 40 divide c?
False
Does 18 divide (-1)/(33/6) + 5552/44?
True
Does 9 divide (-2)/(2/(0 + -36))?
True
Let n(j) = -4*j. Does 15 divide n(-8)?
False
Let w = 28 - 20. Suppose -3*b - w = -2. Does 12 divide 4/((8/(-34))/b)?
False
Let m be (-126)/(-4) + (-4)/8. Let j be (-2)/(-9) + 25/9. Suppose 29 + m = j*w. Is w a multiple of 8?
False
Suppose -3*z - o = o - 194, -3*z + 4*o + 206 = 0. Is 16 a factor of z?
False
Let s(h) = 4*h**3 - 2*h + 1. Let q be s(2). Let y = q + -18. Is 6 a factor of y?
False
Suppose 2*k + 4*v = 32, 0 = -4*k + 4*v + 37 + 15. Is k a multiple of 13?
False
Let x(o) = -7*o. Let z(w) = -w. Let h(y) = -x(y) + 21*z(y). Suppose -1 = 4*s - 3*s. Does 7 divide h(s)?
True
Suppose -b + 3 = -8. Is b even?
False
Let q = 60 + -92. Let f = q + 56. Is 12 a factor of f?
True
Let s(p) = -p**3 + 6*p**2 + 3*p + 8. Is 25 a factor of s(4)?
False
Let l = 215 + -157. Does 7 divide l?
False
Suppose 3*f = -3*r - f + 245, -5*f = 2*r - 175. Is r a multiple of 5?
True
Let k(q) = q**3 - 5*q**2 - q + 3. Let r be k(5). Is (1 - 9)/(1/r) a multiple of 16?
True
Let g(x) = -x**3 + 8*x**2 + 6*x + 5. Is g(-5) a multiple of 12?
True
Let a(d) = d + 2. Let c be a(-2). Let k = c + 12. Is k a multiple of 4?
True
Let z(h) = -h**3 + h**2 - 1. Let a be z(-1). Let u(k) = -k + 1. Let p(d) = d**3 + 5*d**2 - 7*d + 3. Let x(y) = a*p(y) - 4*u(y). Is x(-5) a multiple of 14?
True
Let o = -2 - -16. Is 8 a factor of o?
False
Let q be 3 - (3 + -1) - 0. Is (11/(-22))/(q/(-96)) a multiple of 16?
True
Let r(q) = 19*q + 43. Is r(3) a multiple of 11?
False
Let m(l) = 0*l + 54*l**2 - 1 - l - 49*l**2. Is m(2) a multiple of 7?
False
Let y(l) = 4*l**3 - 2*l - 1. Let d be y(-1). Let b = d + 3. Is (2 + b)/(10/35) a multiple of 7?
True
Suppose 6*q - 83 - 127 = 0. Is q a multiple of 7?
True
Suppose y - 38 = -l + 70, 5*l + y - 556 = 0. Is 14 a factor of l?
True
Does 15 divide 514/5 + (-3)/(-15)?
False
Let i(f) be the third derivative of -f**4/4 - f**3/6 - 2*f**2. Is i(-2) a multiple of 4?
False
Let d(k) = 2*k**2 - 3*k - 8. Does 12 divide d(-4)?
True
Let c(h) = 3*h + 7. Suppose l + 16 = 5*l. Suppose 0 = 4*m + 2*v - l*v - 30, -2*m - 4*v - 10 = 0. Does 11 divide c(m)?
True
Let o = -12 + 9. Let a(w) = 2*w**2 - 2*w - 1. Let k be a(4). Does 4 divide k/3 - 1/o?
True
Let z = -9 + 8. Is 13 a factor of 0 - (22/z - -1)?
False
Suppose u - 388 = -2*z, 20 = -u + 6*u. Is z a multiple of 16?
True
Suppose 1 = 4*k + 5, 3*k = 4*u + 17. Let v(a) be the first derivative of a**4/4 + 2*a**3 - a**2/2 - 5*a - 12. Does 7 divide v(u)?
False
Suppose 3*l - 39 = 24. Is l a multiple of 4?
False
Let k(j) = -j**2 + 28*j - 33. Is k(21) a multiple of 52?
False
Let d = 188 + -113. Is 31 a factor of d?
False
Suppose 0 = -4*x - 5*m + 71, -4*x = -2*m - 44 - 62. Does 8 divide x?
True
Suppose -12 = 4*q + 4. Let u = q + 2. Is 14 a factor of 1 - (-13 + 2 + u)?
True
Let l(j) = j**3 + 9*j**2 + 3*j - 6. Is 15 a factor of l(-7)?
False
Suppose 5*c - 9*c = -20. Suppose a + 4*n - 23 = 0, -5*a + c = -n - 5. Is 2 a factor of a?
False
Suppose 0*v - 5*v = -10. Is (v + (25 - -3))/1 a multiple of 15?
True
Suppose 107 = 5*i - 363. Is i a multiple of 27?
False
Let s(d) = -d - 5. Let f be s(-10). Suppose 75 = f*r - 30. Is r a multiple of 14?
False
Suppose 5*c - 8 = -4*i + 96, -2*i = c - 16. Does 12 divide c?
True
Suppose 5*h - h = 12. Suppose 2*b + 8 = 3*o, -4*o = 5*b + h - 29. Is o a multiple of 4?
True
Let v = 43 + -20. Is 8 a factor of v?
False
Does 37 divide 106/1 - (-6 + 1)?
True
Let p(u) = u**2 + 10*u + 2. Let z be p(-10). Suppose 2*t = j - 37, 4*t - 60 - 14 = -z*j. Does 9 divide j?
False
Suppose -109 = -3*d - 3*r + 7*r, d - r = 35. Is d a multiple of 24?
False
Let y = 0 - -47. Is y a multiple of 10?
False
Suppose -2*a - 4*t + 20 = 6, 5*a + 2*t = 19. Let c(j) = -9 + 3*j - j + a*j**2 - 2*j**2. Is c(-7) a multiple of 13?
True
Suppose 3*l + 6 = 5*l. Suppose -l*c + 8 = j - c, -3*c - 51 = -3*j. Suppose 3*p = j + 31. Is 6 a factor of p?
False
Suppose 2*k = 4*h + 2, 3*k = 5*k - h - 5. Suppose 0 = -b - k*b + 1180. Suppose -2*t - b = -7*t. Does 21 divide t?
False
Let f = 353 - 227. Is f a multiple of 12?
False
Let i be 858/15 - (-3)/(-15). Suppose 4*f - i = f. Does 10 divide f?
False
Let d = -2 - 3. Let s = d + 5. Suppose s = -4*k + 2*k + 14. Does 4 divide k?
False
Let f be (-4 + 1)/(1/(-18)). Let m = 37 - f. Let d = 9 - m. Does 12 divide d?
False
Let o(x) = x**2 - 7*x + 10. Suppose 0 = 5*c - 3*c - 16. Is 13 a factor of o(c)?
False
Let t(g) = -g**2 - 23*g. Is t(-7) a multiple of 16?
True
Suppose 5*n = 245 + 85. Does 11 divide n?
True
Suppose -2*n - 8 = -4*n. Let h(z) = z**2 - 3*z + 1. Let i be h(n). Let r = i - -3. Is 6 a factor of r?
False
Suppose -i - 3*m = 13, -2*i = -3*i + 4*m - 27. Suppose 2*x = -x + 81. Let n = i + x. Does 6 divide n?
False
Let d = 26 - 26. Suppose 2*i - 244 = -5*y - 56, d = -4*y + 2*i + 154. Does 23 divide y?
False
Let x be 14 + 1/1 - -1. Let v = 25 - x. Is 4 a factor of v?
False
Let t(g) = 12*g**2 - 3*g + 4. Is t(3) a multiple of 10?
False
Let y = 16 - 31. Suppose 4*v - 2*p = -7 - 1, -3*p + 8 = -5*v. Is (-355)/y