?
False
Suppose q = -4*j + 705, -2*j = 4*q - 664 - 2184. Is 10 a factor of q?
False
Suppose 698 = 2*k - i, 2*k + 698 = 4*k + i. Is k a multiple of 10?
False
Suppose 0 = -x - o + 465, 2*x = -0*x + 3*o + 945. Does 21 divide x?
False
Let d = 152 + -85. Suppose 5*v - 133 = d. Is 15 a factor of v?
False
Let h(c) = 150*c + 0 - 2 - 250*c. Is h(-1) a multiple of 7?
True
Let n(r) = -r - 8. Let h be n(-8). Let u = h - 7. Is 8 + u - 5/(-1) even?
True
Suppose 5*a - 1 = -26, 2*a = 4*p - 6090. Is p a multiple of 7?
False
Let u(w) = 2*w**2 + 7*w - 3. Suppose 2*x = 5 + 3. Suppose -2*h - r - 3*r - 32 = 0, x*r = -4*h - 48. Is u(h) a multiple of 12?
False
Let q = 14 - -8. Let g(r) = -23*r - 31. Let v be g(-5). Suppose v = j + t + q, 62 = j - t. Does 32 divide j?
False
Let t(f) = f**2 - 4*f + 6. Suppose -w - 9 = -5*v, 0*w = -2*v - 2*w + 6. Let j be (v/(-6))/(3/(-45)). Is t(j) a multiple of 4?
False
Let k(r) = r**3 - 16*r**2 - 13*r - 12. Is k(18) a multiple of 13?
False
Let q = -51 - -54. Suppose -q*r = 191 - 614. Does 9 divide r?
False
Is -1*(9 + -5 - -9)*-121 a multiple of 121?
True
Let c(t) = -t + 14. Let g be c(14). Suppose g = -12*a + 9*a - 6. Is 13 a factor of (-1 - 1) + a + 104?
False
Let q = 119 + -116. Suppose -l = s + 4 - 26, q*s = -3. Is l a multiple of 2?
False
Let u(m) = 2*m - 2. Let o(g) = g**2 - 12*g + 3. Let h be o(12). Let c be u(h). Suppose -8 = -c*b + 160. Is b a multiple of 10?
False
Suppose 4800 = 21*i - 11*i. Does 60 divide i?
True
Suppose -4*b = -h - 4*h + 1254, 5*b - 20 = 0. Does 4 divide h?
False
Let m(o) = 7*o**3 + 3 - 3*o**3 - 2*o**2 + 2*o - 5*o. Suppose -4*t = 5*p + 2, -5*t + 3*p = 8*p. Is 7 a factor of m(t)?
True
Let t(x) = x**3 - 3*x**2 - 11*x - 10. Is t(9) a multiple of 13?
True
Suppose 2*b = -4*u + 3350, 5*b - 37*u = -34*u + 8375. Does 67 divide b?
True
Let a(g) = -68*g**3 - g**2 - 2*g - 2. Let z(d) = 135*d**3 + 2*d**2 + 5*d + 5. Let p(j) = 5*a(j) + 2*z(j). Is p(-1) a multiple of 10?
False
Suppose 183 = -4*d + 5*d - 3*j, -162 = -d - 4*j. Is d a multiple of 76?
False
Let g(q) = -1. Let z(x) = -19*x - 14. Let h(k) = -g(k) - z(k). Is h(4) a multiple of 35?
False
Suppose z + 4*l - 137 = 0, 1061 = 5*z + 3*l + 325. Does 51 divide z?
False
Let k(u) = -5*u + 86. Does 16 divide k(-20)?
False
Suppose -2*l - 2*z + 2 = -l, z + 20 = -4*l. Let p be l/(-3 + 2) + 1. Suppose 0 = -2*k + 19 - p. Does 6 divide k?
True
Let d = 1142 - 727. Is 32 a factor of d?
False
Suppose -18 = -29*r + 214. Is r a multiple of 8?
True
Suppose -7*r + 4 = -5*r. Suppose 2*g - 304 = -k - 18, -r*k + 568 = 5*g. Does 14 divide k?
True
Is 23 a factor of ((-2416)/(-28))/(4/14) - 3?
True
Is 129138/126 + 16/168 a multiple of 15?
False
Suppose 0 = -0*k + 3*k + 6, 3*k - 64 = -5*r. Let w = r - 13. Let t(l) = 13*l - 2. Is t(w) a multiple of 11?
True
Let t = -298 - -496. Is t a multiple of 56?
False
Suppose k = -k - 20. Let x(h) = 5*h + 13. Let u(s) = 2*s. Let i(a) = -5*u(a) + x(a). Is i(k) a multiple of 10?
False
Is 0 - (-729)/12 - (-33)/(-44) a multiple of 16?
False
Let d(y) = -16*y. Let j be d(-1). Let u = j + 61. Does 23 divide u?
False
Suppose 0 = -r + 4*r - 276. Suppose -27 = 5*g + 253. Let f = r + g. Is 9 a factor of f?
True
Let t be (0 - 13)/(5/(-10)). Let z = 52 - t. Is z a multiple of 26?
True
Let y be (12/(-15))/((-4)/10). Suppose 19 = 3*a - 2*g, -5*a + 2*a - y*g - 1 = 0. Does 3 divide a?
True
Suppose -c = n - 265, 2*c - 37*n + 41*n = 524. Is c a multiple of 5?
False
Let c = -3 - -1. Let j(d) be the second derivative of -6*d**3 + 29*d - 2. Is j(c) a multiple of 18?
True
Let u be 6*3/(-63) + (-23)/(-7). Let x(d) = 16*d - 12. Does 9 divide x(u)?
True
Let t be (-3)/(-6) + 295/2. Let d = t - 70. Is 26 a factor of d?
True
Suppose -l = 2*l - 3. Let d(f) = 3*f + 1. Is 4 a factor of d(l)?
True
Is (0 - 3 - -4) + 1*718 a multiple of 75?
False
Let r = 106 + 53. Does 3 divide r?
True
Does 4 divide (-6 - 162/30)/((-1)/15)?
False
Suppose 0 = 5*h - 6*h - c + 1180, 3*c = 4*h - 4706. Is 31 a factor of h?
True
Let a(g) = 248*g**3 - 3*g + 3. Is 8 a factor of a(1)?
True
Let o(b) = -b - 9. Let d be o(-11). Suppose -2*i = 4*k - 8, d*i - 2*k = -i + 20. Suppose 0 = 2*y + i, 3*s + s = -3*y + 95. Is s a multiple of 7?
False
Let l(z) be the second derivative of 11*z - 1/2*z**2 + 0 + 1/2*z**3 + 1/2*z**4. Does 12 divide l(-2)?
False
Let p(m) = 11 + 10 - 8*m - 22. Is p(-13) a multiple of 8?
False
Suppose -2*v + 404 = 114. Suppose -3*g + v = -197. Does 7 divide g/3*4/8?
False
Let j = 2032 - 1296. Is 20 a factor of j?
False
Let t(c) = -5 + 8*c + 13*c - 5*c - c. Suppose 0 = -4*q + 4*h + 20, 0 = -2*q - 3*h - 2*h - 11. Is 5 a factor of t(q)?
True
Let j(g) = -g**2 - 8*g - 19. Let t be j(-8). Let s = 15 + t. Is 348/22 + s/(-22) a multiple of 14?
False
Suppose 29*a - 23646 - 1439 = 0. Is 19 a factor of a?
False
Let d = 68 - 69. Does 5 divide 286/78*(-3)/d?
False
Let p(u) = -4*u**2 + 14*u + 31. Let c(o) = o**2 - 2. Let a(b) = 5*c(b) + p(b). Let d(n) = -3*n. Let v be d(5). Does 14 divide a(v)?
False
Let k(d) = 26*d + 58. Is k(3) a multiple of 27?
False
Let x(s) be the second derivative of s**4/12 - s**3/2 + 13*s**2 + 10*s. Is x(11) a multiple of 38?
True
Suppose -h + 0*h + 1190 = 0. Suppose 0 = 5*u - h - 350. Suppose -46 - u = -6*q. Is 21 a factor of q?
False
Let p(z) = 147*z. Let f be p(2). Let i = f - 146. Is i a multiple of 13?
False
Suppose 33*b - 856 = 992. Is 7 a factor of b?
True
Let c be -6*(4 + (-38)/6). Suppose 4*m - c - 2 = 0. Suppose 0 = -2*h - 5*j + 127, -23 - 48 = -h - m*j. Does 17 divide h?
True
Does 37 divide 1133577/3107 + 4/26?
False
Let y = 3 - 2. Suppose 34 = 2*k - 4*i, 2*k + 3*i + 4 = 3. Let t = k - y. Is t even?
True
Suppose 0*z = -8*z. Suppose 3*q + 4*w - 43 - 18 = z, 3*q + 2*w = 53. Is q a multiple of 3?
True
Suppose 0 = -2*h - 10, -2*h = -5*s + 2973 + 3527. Is s a multiple of 67?
False
Let j(l) = 32*l**2 - 3*l + 1. Is j(3) a multiple of 4?
True
Let p = 132 - 92. Let q = p + -35. Suppose -q*l = i - 3 - 133, l - 4*i = 44. Is 6 a factor of l?
False
Suppose -n + 26 = -0. Suppose x - n = -5. Let h = -9 + x. Is h a multiple of 4?
True
Let v(r) = 253*r - 568. Does 40 divide v(16)?
True
Suppose 2*o - 10 = 5*a, -a = 5*o + 18 + 11. Let j be 3/(-2) + (-2)/a. Does 24 divide j/(-3) - 1150/(-15)?
False
Suppose 1168 = 3*z - 275. Is 26 a factor of z?
False
Let g(k) = k**3 + 4*k**2 - k - 4. Let c be g(-4). Suppose p + 0*p = c. Let q(i) = -2*i + 65. Is q(p) a multiple of 13?
True
Let l = 1076 + -509. Is l a multiple of 27?
True
Let p(g) = g**2 + 3*g + 2. Let a be p(-3). Let v(m) = 38 + 3*m - 4*m + m**2 + a. Is v(0) a multiple of 13?
False
Let s(t) = -11*t**3 - t. Let w be s(-1). Suppose 2*d = -d + w. Suppose 0 = -d*a - a + 110. Is a a multiple of 22?
True
Let n(h) = 7*h - 3. Let b(v) = -v**3 + 4*v**2 + v - 1. Let a be b(4). Is n(a) a multiple of 9?
True
Let v be 13*88 - 4/2. Let z = v + -782. Suppose -n - 3*u = 4*n - 370, 5*n = -u + z. Does 32 divide n?
False
Is 81/(-18)*408/(-9) + -2 a multiple of 16?
False
Is -434*(10/(-8))/((-10)/(-20)) a multiple of 31?
True
Let w(x) = 16*x**3 - 2*x**2 + x - 1. Let y be w(2). Let q = -67 + y. Is q a multiple of 9?
True
Is 14 a factor of 265*(-24)/(-180)*(-102)/(-4)?
False
Suppose 2*r + 3232 = 2*j, -6*j = -2*j + r - 6484. Is 54 a factor of j?
True
Let f(d) = 53*d**3 - 2*d**2 - 2*d - 1. Let v be f(-1). Does 12 divide ((-6)/9)/(3/v)?
True
Suppose 14*w - 110 = -2*s + 16*w, -4*s + 234 = 3*w. Is 10 a factor of s?
False
Let k = 8 + -20. Let h(i) = i**2 + 2*i + 20. Does 20 divide h(k)?
True
Suppose -18 = 4*v - 10*v. Suppose -127 = -2*o + 4*h - 23, 0 = v*o + h - 121. Does 21 divide o?
True
Suppose -62 + 2 = -5*c. Suppose -44*v = -41*v + 21. Does 10 divide v/((-14)/c)*10?
True
Suppose 0 = -9*k + 758 - 92. Is k a multiple of 9?
False
Suppose 2*w = -4*n + 1128 + 1150, 0 = 5*n - 4*w - 2828. Is n a multiple of 71?
True
Let w(a) = -a**2 + 14*a - 12. Let c be w(11). Suppose -87 - c = -4*b. Let z = -8 + b. Is z a multiple of 7?
False
Suppose 0 = -3*n + 16*t - 17*t + 85, -2*n + 38 = -4*t. Suppose 93 + n = 6*k. Does 20 divide k?
True
Suppose 5*m = -3*c + 29, -2*c + m - 1 = -c. Suppose c*d - 7*d = -440. Suppose -d = -5*t + 15. Is t a multiple of 10?
False
Let v(u) be the third derivative of 1/20*u**5 - u**3 + 2*u**2 + 0*u + 0 - 1/24*u**4. Does 23 divide v(-5)?
False
Let f = 41 - 41. L