alse
Is (-24 - -31) + 3169 + -2 a multiple of 46?
True
Suppose -12 = 3*s - 3*h + 6, -4*s = -3*h + 21. Let o be 1/s*(-10 + 10). Suppose -5*q + 3*d + o*d + 301 = 0, 4*q + 4*d - 260 = 0. Is q a multiple of 11?
False
Suppose -5 - 84 = -i. Let k = 121 - i. Does 7 divide k?
False
Let k(z) = -16*z + 73. Let p(x) = x. Let f(o) = -k(o) - 2*p(o). Is f(13) a multiple of 22?
False
Suppose 4*h + 81 = -363. Let t = -69 - h. Is t a multiple of 21?
True
Suppose -4*d + 2*i = 14, -2*d - 4*i = 2*d + 8. Is 36 a factor of ((-2)/(-3))/(d + 14275/4755)?
False
Let h = -2275 + 4199. Suppose 4*o - h = 5*p - 148, 0 = -3*p + 2*o - 1064. Is 13 a factor of (-8)/12 + p/(-6)?
False
Let d(i) = i**2 + 16*i + 24. Suppose 0 = 2*c + 2*f - 28, -c + 0*c - 4*f = -20. Let m = c + -28. Does 12 divide d(m)?
True
Let m = 29 - 29. Suppose m = 3*t - 150 - 18. Is t a multiple of 14?
True
Let f(y) = -6*y + 3. Is 13 a factor of f(-6)?
True
Is 3/((-6)/(-1352)) + 1 + -6 a multiple of 19?
False
Suppose -2*t + 136 = -526. Suppose -5*w - 76 = -t. Does 17 divide w?
True
Suppose 3*j - 407 = 2*t, -160 - 4 = -j - 5*t. Is 6 a factor of j?
False
Let c(w) = -5*w + 9. Let x be c(6). Let l = x - -9. Let u = l + 21. Is u a multiple of 5?
False
Let a be 698/6 - (4/3 + -1). Is 18 a factor of (-39)/(-26)*(3 + -1) + a?
False
Does 9 divide (-2)/(4*6/(-648))?
True
Let j(s) = 78*s - 422. Is 14 a factor of j(42)?
False
Let j be (-3 + 1 - -3)*5. Let m = j + 1. Suppose -2*t + 21 = -m*w + 7*w, 0 = 5*t. Is w a multiple of 9?
False
Suppose 5*v + 7 - 32 = 3*u, 5*u - 9 = 2*v. Suppose 732 = -6*k + v*k. Is 55 a factor of k?
False
Let q = -41 - -52. Let r = 5 + q. Is r a multiple of 2?
True
Let o = -58 - -15. Let b = o + 79. Does 9 divide b?
True
Suppose -3773 = 5*f - 12*f. Suppose 0 = -2*i - 4*t + 270, t - f = -3*i - 154. Does 23 divide i?
False
Let z(q) = -q**2 - 16*q + 18. Let t be z(-15). Suppose -4*v = 20, 3 = -4*p + 2*v + t. Suppose -74 + 299 = p*a. Is 9 a factor of a?
True
Let c be ((-8)/6)/((-8)/90). Suppose -c*i + 16*i = 69. Does 8 divide i?
False
Suppose f - 3 + 0 = 0. Suppose -3*y + 33*c = 32*c - 195, 2*c = 0. Suppose f*s - 97 - y = 0. Is 10 a factor of s?
False
Let g(r) = 19*r + 27. Is 24 a factor of g(22)?
False
Let i(u) = -7*u + 11. Let w(y) = -3*y + 5. Let p(n) = -2*i(n) + 5*w(n). Let d be (-14)/(-14)*5/(10/(-12)). Is 4 a factor of p(d)?
False
Suppose 4*t = 2*u + 24, t - 2*u - 5 = -2. Suppose -5*c = -5*h - 325, -t*c - h + 307 = -2*c. Is 20 a factor of c?
False
Let p be 0 - (0 - -3) - -13. Let l = p - 2. Is (l/(-3))/((-2)/21) a multiple of 14?
True
Suppose 6*u = -c + 10*u + 4147, 5*c - u - 20830 = 0. Does 44 divide c?
False
Suppose -3*j - 5 = -2*p, -j = -3*p + 2*p + 1. Does 14 divide (-151)/p + (-24)/(-16)?
False
Let u(d) = -d**2 - 5*d - 2. Suppose -3*g - 7 + 1 = 0. Let c be u(g). Suppose 8 + 4 = c*m. Is m even?
False
Suppose -3*b = 3*i - 9, 3*i + 3 = -b + 8. Let d be (b + -4)/((-5)/15). Suppose -5*p = -5, -c = p - d*p - 121. Is 34 a factor of c?
False
Is 15 a factor of 20/((-1)/(-3)*6/12)?
True
Suppose 4*n - a - 2915 = 256, n - 819 = -5*a. Is 9 a factor of n?
False
Suppose -v - 10 = -4*t + v, 2*t - 23 = -5*v. Let c = 34 + t. Is c a multiple of 4?
False
Let f = 30 - 26. Suppose f*r + 3*c = 5*c + 16, 3*c = 2*r - 8. Is r a multiple of 2?
True
Let l = 160 + -144. Does 10 divide l?
False
Suppose 39 = 3*a - 5*s, s - 99 = -5*a - 2*s. Suppose -2*m - 2*c - 18 = 0, -m - 3*c - a = c. Does 4 divide (-4)/6 - 28/m?
True
Let u be (-1 - -21)*33/4. Suppose 4*f + 27 = k, -k - 3*f = 3*k - u. Is k a multiple of 13?
True
Let x be 9/(-6)*220/(-30). Suppose -524 = -x*f - 62. Is f a multiple of 9?
False
Suppose 7*a - a = 12. Suppose -5*n + 3*m + 290 = 0, 0 = 3*n - a*n + 2*m - 45. Is n a multiple of 5?
True
Suppose -4*m + 24 = s, 5*s + 4*m + 3 = 59. Let f(k) = -k**2 + 10*k + 1. Let p be f(s). Suppose -110 = -p*d + 15*d. Is d a multiple of 23?
False
Let p = 639 - 459. Does 4 divide p?
True
Let a = -45 - -2105. Is a a multiple of 10?
True
Let r(x) be the first derivative of x**3/3 + 5*x**2/2 - 14*x - 11. Suppose 3*y + y = -32. Does 5 divide r(y)?
True
Suppose -874 = -20*y - 3*y. Is 29 a factor of y?
False
Let j(w) = 6 - 2*w**2 + 0 + 8*w + 0*w + 6*w**2. Does 33 divide j(-5)?
True
Let f(d) = -12*d**2 + d + 1. Let t be f(-1). Let n be 90/t*(-2)/(-3). Does 7 divide (14/n)/((-2)/10)?
True
Let l(u) = -1 + 3 - 5 - 2 - 30*u. Let d = -43 + 41. Is l(d) a multiple of 14?
False
Let f(u) be the second derivative of -u**5/20 + 2*u**4 - 7*u**3/3 - 5*u**2 + 58*u. Is 15 a factor of f(23)?
False
Suppose -w + 16 = -5*w. Is 14 a factor of (18/w)/(3/(-48))?
False
Let t(d) = d**3 + 8*d**2 - 18*d - 20. Does 18 divide t(-8)?
False
Suppose 44 = -5*u - 46. Let h = 0 + u. Let b = 3 - h. Is b a multiple of 21?
True
Suppose 2*o - 488 = -4*j, 117 = j - 0*j + 3*o. Does 12 divide j?
False
Let m be (-2544)/180 + 2/15. Let y be 1/(m/(-6) - 2). Suppose 3*n = y*u - 48, 3*n + 8 + 18 = u. Is u a multiple of 11?
True
Let h = 61 + -59. Suppose 0*w = 3*y - h*w - 504, 3*w + 331 = 2*y. Does 31 divide y?
False
Suppose -5*r + 7*h = 3*h - 1057, 5*r + 5*h = 1075. Is 22 a factor of r?
False
Let a = 4465 + -2546. Is 101 a factor of a?
True
Let h be (6/(-7))/(18/(-84)). Suppose -229 = -h*z - d, 0*z + 5*d = z - 31. Let y = z + -20. Is 6 a factor of y?
True
Let b(m) = -m + 1. Let l(y) = 23*y + 37. Let r(o) = -b(o) - l(o). Is 19 a factor of r(-5)?
False
Let z(n) be the second derivative of n**4/6 - n**3/6 + 5*n**2/2 + 43*n. Does 3 divide z(2)?
False
Suppose -276 = -y - 11*y. Is 5 a factor of y?
False
Suppose 3*i + 2*b = -3, 3*i - 2*b + 6*b + 9 = 0. Suppose 17 + i = -2*y. Is 6 a factor of -18*((-15)/y - 3)?
True
Let g(a) = a**3 + 12*a**2 - 13*a + 53. Does 8 divide g(-13)?
False
Let t(i) be the second derivative of 3*i**4/4 + i**2 + 9*i. Let p be t(-1). Let b = p + -5. Is 2 a factor of b?
True
Suppose -2*r + 20 = -r. Suppose 1 = 3*k - r. Suppose 32 = -k*o + 8*o. Is o a multiple of 16?
True
Suppose 0 = -y - 0*p + 2*p - 1, 4*y - 10 = p. Suppose 2*j - 185 = -y*k, -3*k - k = -j - 265. Is 13 a factor of k?
True
Let n(f) = -f**3 - 11*f**2 - 10*f. Let z be n(-10). Suppose r - 2*r + 141 = z. Is r a multiple of 21?
False
Let b be 6 + -6*(-2)/6. Let i be 388/b + (-2)/(-4). Let u = i - 20. Is 8 a factor of u?
False
Let o(k) = k**2 + 11*k - 14. Let c be (2 - (0 - -2)) + 6. Does 8 divide o(c)?
True
Let t = 21 + 26. Suppose 131 - t = 2*g. Is 16 a factor of g?
False
Suppose 3*w + 7*y - 714 = 5*y, -3*w + 2*y + 726 = 0. Does 6 divide w?
True
Let g = 836 - 541. Is g a multiple of 23?
False
Suppose -i + 6 = -3*i + 4*l, -4*i = -5*l - 3. Suppose -i = -2*f + 109. Is 16 a factor of f?
False
Suppose -384 = 5*t + 3*x, -5*t + 5*x - 372 = 4*x. Let i = t - -135. Is i a multiple of 41?
False
Let v(i) = 5*i**2 + 4*i - 3. Let o be 88/32 - (-6)/(-8). Does 5 divide v(o)?
True
Suppose 0*b + 54 = 2*b. Suppose -5*x = -5*u - 15, -5*x = -x + u - b. Suppose 0 = x*i - 2*i - 72. Is i a multiple of 9?
True
Let w(j) = 3*j**2 + 3*j + 23. Let g(a) = -16*a**2 - 16*a - 116. Let s(p) = 2*g(p) + 11*w(p). Let k be (-4)/14 - 38/(-133). Does 19 divide s(k)?
False
Suppose 0 = -3*z - 4*j + 226, 4*z - 230 = z - 2*j. Does 5 divide z?
False
Suppose 0 = 3*b - 2*a - 1303, 0 = 2*b - 5*a + 4*a - 869. Is b a multiple of 13?
False
Let w = -1 + 5. Suppose -2*i = -w*i - 62. Let r = i + 44. Is 5 a factor of r?
False
Let b(t) = t**2 + 4*t - 2. Let w be b(-5). Suppose w*h - 5*v - 130 = 0, -2*v - v = 3*h - 114. Does 20 divide h?
True
Let v(g) = -3 + 3*g - 14*g + 2. Is 8 a factor of v(-4)?
False
Suppose 0 = 3*i + 13 + 26. Let q = i + 152. Does 22 divide q?
False
Let s = 92 + -88. Suppose 43 = 2*o + 3*m, -126 = -4*o - 2*m + s*m. Is o a multiple of 7?
False
Let w = 5192 - 2741. Does 29 divide w?
False
Let s(l) = 32*l + 320. Does 7 divide s(7)?
False
Suppose -2*v = k - 428 - 220, 3*k + 4*v - 1948 = 0. Is k a multiple of 37?
False
Suppose 5*w + p = -3*p + 41, 5*w = -p + 29. Suppose 4 = -3*s - 2, -4*u + w*s + 10 = 0. Suppose u*k + 72 = 4*k. Is k a multiple of 9?
True
Let h = 2911 + -823. Is h a multiple of 116?
True
Suppose -l - 14 = -v, 0 = -4*l + 26 - 18. Is v a multiple of 3?
False
Suppose 34*o = 27*o - 5593. Is (-14)/(-63) + o/(-9) a multiple of 16?
False
Let f = -3 + 8. Suppose f*x - 655 = 65. Does 12 divide x?
True
Suppose -11*v + 20 = -35. Let p(n) = 