46 = 9*l - 5478. Does 71 divide l?
True
Let o(r) = r**2 + 4*r + 6. Let s(x) = -9*x**2. Let p be s(1). Let g = p - -3. Does 8 divide o(g)?
False
Let l = -644 - -1084. Does 8 divide l?
True
Is ((-14)/(-12))/((-47)/(-50478)) a multiple of 10?
False
Suppose 0 = 4*g - 411 - 21. Does 24 divide g?
False
Let i(u) = 3*u - 7. Let a be i(3). Suppose -z = a*z - 72. Is 23 a factor of 1650/z - (-1)/4?
True
Let u = 5 + -2. Let v be u/9*(-14 - 1). Is 15*(-1 + (-14)/v) a multiple of 9?
True
Let r = -908 + 1516. Is r a multiple of 19?
True
Is 20 a factor of 3 + (3828/(-10))/((-4)/10)?
True
Is 5 a factor of (-3)/((-45)/(-10))*-45 - 1?
False
Let y = -1207 - -2117. Is y a multiple of 26?
True
Suppose -n = 3*k - 4, -2*n = -5*k - 0*k + 14. Suppose 3*j + 3*v - 35 = -k*j, 2*v - 22 = -3*j. Is 3 a factor of j?
False
Let b be 20*(-3)/(-6)*4/10. Suppose 4*h = b*c + 108, -3*h - 3*c = h - 136. Is 8 a factor of h?
False
Let g = -64 - -55. Let i = g + 170. Is i a multiple of 24?
False
Suppose -5*o + 0*d + 513 = 4*d, o - 107 = -3*d. Suppose 3*j = -2*r + 83, 5*j = -4*r + 60 + o. Is r a multiple of 9?
False
Let y(i) = -i**3 - 8*i**2 + 8*i. Suppose -4*w = 3*c + 24 + 10, 0 = -5*c + 10. Does 30 divide y(w)?
True
Let g = -10 + 26. Let t be (g/(-20))/(6/(-15)). Is -7 + 18 - (t + 1) a multiple of 8?
True
Let o = 283 - 193. Let w = -12 + o. Suppose -2*f - w = 2*x - 4*x, 3*x + f = 117. Does 13 divide x?
True
Let a = 888 + -310. Suppose 4*w = a - 114. Suppose 4*x = -5*b + 32 + w, 4*b = 16. Is 16 a factor of x?
True
Does 63 divide (18/(-4))/(24/(-2624)*2)?
False
Let n(g) = -g**3 - 19*g**2 + 19*g - 6. Let a be (-2)/(-5)*(18/6 - 53). Is n(a) a multiple of 2?
True
Let s(h) = -3*h**3 + h**2 + h - 4. Let y(k) = 8*k**3 - 4*k**2 - 3*k + 12. Let p(z) = -11*s(z) - 4*y(z). Let t be p(-4). Is 16 a factor of (-8 - -4 - -10)*t?
True
Suppose -7*t = -19*t + 1596. Is 25 a factor of t?
False
Suppose q = -f + 97, 5*q + 97 = -3*f + 4*f. Let o = 139 - f. Does 19 divide o?
False
Let k = 449 - -61. Is 30 a factor of k?
True
Suppose -9*r - 8*r = -23987. Is r a multiple of 17?
True
Let h(p) = 22*p**3 + 9*p**2 + 12*p + 8. Does 13 divide h(5)?
False
Suppose -3*k + k - j + 53 = 0, 3*k + 2*j = 78. Does 26 divide 80/1 + k/14?
False
Suppose 2*o + o + 12 = 0. Let a be 96/(-10) - o/(-10). Does 18 divide (172/a)/((-11)/55)?
False
Suppose z = 5*z + 5*t - 18, -5*t - 31 = -3*z. Let s be 1 + -5 + z + 0. Suppose 22 = -s*n + 5*n. Is 6 a factor of n?
False
Let c = 565 - 209. Is 18 a factor of c?
False
Suppose 3*n = 3*o - 3666, 45*o - n - 4891 = 41*o. Is 9 a factor of o?
False
Let a = -133 - -237. Suppose -56 = 8*t - 64. Does 6 divide t + (a/4 - 3)?
True
Let j(w) = 17*w**2 - 2*w - 2. Let u = 3 + 0. Suppose 5*r + 6 = k, u*k = -3*r + k - 1. Is 8 a factor of j(r)?
False
Let b = -66 + 69. Let t(z) = 33*z + 9. Is 32 a factor of t(b)?
False
Is (-12)/(-27) + 6742/18 a multiple of 7?
False
Suppose -4*r + 8 = 5*y, 5*r - 8*r + 6 = 2*y. Suppose y*c = 6*c - 930. Is 31 a factor of c?
True
Suppose -4*m - 216 = -72. Let x = 50 - m. Is x a multiple of 32?
False
Does 5 divide (-2)/16 - -172*(-187)/(-544)?
False
Let s(x) = x**2 + 7*x + 2. Let c(v) = v. Let i(n) = -4*c(n) - s(n). Suppose 10*l + 56 + 34 = 0. Is i(l) a multiple of 6?
False
Let c = -93 - -95. Is 36/(-24) - (-27)/c a multiple of 6?
True
Suppose 5*g + 11 = -4. Suppose p = -l - 4*p + 12, 4*l - 2*p - 158 = 0. Let b = l - g. Is 6 a factor of b?
False
Let q be (-256)/(4 + -6) - 0. Suppose 0 = -3*b + 5*m + 22 + q, 144 = 3*b - 3*m. Is b a multiple of 14?
False
Let g = 6 + -5. Suppose -4*f - g = -y + 2, 3*f + 3 = 0. Let d(p) = -31*p**3 + 2*p + 1. Does 8 divide d(y)?
False
Let l = -30 - -31. Is 29 a factor of 12/2 + 83 + (-2)/l?
True
Suppose -4*p + p = -105. Suppose -5*l + 5*h + 0*h = -p, 0 = 5*h + 10. Suppose 3*z = -u + 5, l = -3*z - 3*u + 2. Is 2 a factor of z?
False
Let k be (-130)/(-8) - (-2)/(-8). Suppose -45 = 4*f + q, -q - 9 = 9*f - 8*f. Is 7 a factor of (k/f)/(6/(-63))?
True
Suppose 0 = -0*y - 5*y + 25. Suppose -y*f = 2*o - 330, o + 59 = -8*f + 9*f. Does 32 divide f?
True
Suppose -n + 13 + 16 = 0. Suppose p - 6 = -j + n, -p = -1. Is 4 a factor of j?
False
Let z be 9/(-5 + 2)*1. Let u(p) = -20*p + 1. Does 16 divide u(z)?
False
Let p(a) = -2*a**3 + a**2 - a. Let k be p(-2). Let v = 24 - k. Suppose v*c + 4 = 62. Is 6 a factor of c?
False
Let t(m) = 10*m. Let v be t(-4). Let w = -13 - v. Is 27 a factor of w?
True
Suppose -4*n = -h - 400, h = 4*h. Let v = 120 - n. Is v a multiple of 4?
True
Let y = 92 + 81. Is y a multiple of 24?
False
Let w(b) = b**3. Let n(d) = -d**3 - d**2 - d. Let k(m) = -m**2 - m - 1. Let l(h) = -k(h) - 2*n(h). Let x(r) = l(r) - 3*w(r). Is 3 a factor of x(-2)?
True
Suppose 0 = -9*y + 92 + 160. Let k = 92 - y. Is 32 a factor of k?
True
Let o(t) = 2*t**3 - 4*t**2 + t. Suppose r = -0*r + 3. Is o(r) a multiple of 21?
True
Suppose 3*s - 7*s = -2*u + 8, -3*s = -12. Is 4 a factor of 438/9 + (-8)/u?
True
Let n(i) = -304*i - 288. Is n(-7) a multiple of 115?
True
Let z = -101 + 103. Let h(w) = 35*w**2 + 9*w - 14. Is 13 a factor of h(z)?
False
Let j(v) = -v + 7. Let m be j(5). Suppose 150 = -5*t - 75. Is (m/(-6))/(3/t) a multiple of 5?
True
Let w be (20/(-12))/((-2)/(-6)). Let q be 21/2*(-3 + w). Let y = q + 157. Is 15 a factor of y?
False
Let t(j) = -j**2 - 23*j + 31. Let i be t(-23). Suppose -2*h + 4*h + 45 = 5*n, 5*n - 20 = h. Let r = i + h. Is r a multiple of 3?
True
Let b = -2039 + 4183. Does 16 divide b?
True
Let c = 151 - 115. Is 3 a factor of c?
True
Let i = -234 + 79. Let t = 100 - i. Is t a multiple of 60?
False
Let o = 1000 + -378. Does 3 divide o?
False
Let h(b) = 2*b**2 - 8*b + 2. Let v be h(-6). Let a = -84 + v. Let q = a - 25. Is 9 a factor of q?
False
Suppose 166 = -11*c + 9736. Is c a multiple of 87?
True
Let y be (-2)/(-9) - -338*91/18. Suppose 26 = -17*u + y. Does 11 divide u?
True
Suppose 16*k = -6*k + 6380. Is 19 a factor of k?
False
Let i(z) = 23*z**2 - 1. Let c be i(1). Let t = -32 + c. Does 12 divide 12/(-20) + (-576)/t?
False
Is 4*7/(-56)*(-3452)/2 a multiple of 17?
False
Suppose 3*t - t + 4*c = 6, -2*t + 5*c = -6. Suppose 0*w + t*w = -4*a + 604, -5*a = w - 183. Does 12 divide w?
False
Suppose z - 7 + 5 = 0. Suppose 0 = -4*u, -z*u - 25 = -2*j - 3*j. Let i = j - -13. Does 6 divide i?
True
Let a = 595 + -355. Does 3 divide a?
True
Suppose 2*g = -4*v, 0 = -0*v + 2*v - 2*g. Let j(p) = v*p - p**2 + 7*p + 5 + p - 1. Does 5 divide j(4)?
True
Suppose u = 5*i - i - 29, -3*i - u = -20. Let a(z) = z**3 - 7*z**2 - 6*z + 1. Let b(q) = q. Let v(o) = -a(o) - b(o). Is 17 a factor of v(i)?
True
Let h = 64 + -79. Let r = 33 - h. Is 5 a factor of r?
False
Let d = 986 - 302. Is 57 a factor of d?
True
Suppose -2*k = -9*k + 42. Let u be ((-6)/4)/(3/k). Let v(w) = -2*w**3 + w**2 + 3*w + 3. Does 21 divide v(u)?
False
Let t = 456 - 330. Is t a multiple of 6?
True
Let j be 2/(-5) - 37/(-5). Let y be (-1)/((7/15)/j). Is 3 a factor of 5/(y/6) + 6?
False
Suppose -151 = -2*l - 3*v - 0*v, -v = l - 73. Is 53 a factor of l?
False
Suppose -2*f + 468 + 266 = 0. Let x = f - 258. Is x a multiple of 11?
False
Suppose 3*v - 24 = -3*z, -4*v + 2*z + 31 = -7. Suppose 2*l + v - 165 = 0. Is l a multiple of 6?
True
Suppose -h = 3*f - 768, 0 = -4*f + 3*h + 715 + 309. Let n = -176 + f. Does 35 divide n?
False
Let w = -1134 + 2634. Does 20 divide w?
True
Suppose 1 = 2*a - 11. Suppose 2*c + 92 = a*c. Is 3 a factor of c?
False
Let a = -852 + 1427. Is a a multiple of 115?
True
Is 21 a factor of (84/(-9))/7*(-3591)/6?
True
Let f = 43 - 43. Suppose 0 = -4*q - f*q + 104. Does 8 divide q?
False
Let v(w) = -w**3 - 2*w**2 + 2*w + 1. Let r be v(-3). Let t be (552/(-10))/((-2)/10). Suppose 8*o - r*o = t. Is o a multiple of 20?
False
Does 8 divide (-4)/22 + 332766/693?
True
Let l = 6 - -15. Let g = l + -9. Is g even?
True
Let a(f) = f**2 - 14*f - 12. Let r be a(15). Suppose 0 = -o + 50 + r. Does 16 divide o?
False
Let l(u) = -3*u - 5. Let f be l(-4). Is (f - 4 - 0)*(-600)/(-9) a multiple of 40?
True
Let w = 887 + 1. Does 37 divide w?
True
Let h(l) = 2*l**2 + 3*l - 5. Suppose -7 = o + 3*g, -g = -5*o - 0*g - 99. Let b = 15 + o. Is 3 a factor of h(b)?
True
Let s be ((-33)/(-44))/((-1)/8). Let k(c) = -c**2 - 12*c - 20. Is 16 a factor of k(s)?
True
Let y(a) = -116*a + 57. Is y(-9) a multiple of 5?
False
Suppose 0 