 14 divide (m/(-2))/(-5)*-138?
False
Does 63 divide (-11)/((-605)/(-5)) - 11089/(-11)?
True
Suppose 40*g - 475 = 8005. Is 3 a factor of g?
False
Is 13 a factor of 5070/(-12)*20/(-50)?
True
Does 6 divide (5 + -3)/(2/561)?
False
Is 3 a factor of 15/((-6)/16 - 99/(-88))?
False
Suppose -2*r - 355 = -i, 96 = -3*i - r + 1189. Is i a multiple of 5?
False
Does 30 divide 4/38 - (-1233)/57*22?
False
Suppose 57295 - 7063 = 52*r. Does 56 divide r?
False
Let l(h) = -h**3 + 3*h**2 - 124. Does 13 divide l(-9)?
False
Suppose 86*w - 90*w = -7828. Does 103 divide w?
True
Suppose -7 = -4*b - 3*m + 24, -b = -4*m - 3. Suppose 220 = b*c - 3*c. Is 22 a factor of c?
False
Let u(j) = -j**3 - 9*j**2 - 18*j - 7. Let a be u(-7). Let d(v) = -v**2 + 26*v + 31. Is 19 a factor of d(a)?
False
Suppose 4*k + 0*h - 2012 = 4*h, 4*h = -4*k + 2052. Suppose 172 + k = 5*b. Is 34 a factor of b?
True
Let r(d) = 3*d**2 - 3*d - 2. Let t = -56 - -59. Is 16 a factor of r(t)?
True
Is 18 a factor of 3840/4 + -3 + 14?
False
Suppose 932 = 2*r + 4*f, f + 1873 = -6*r + 10*r. Does 8 divide r?
False
Suppose 5*x + 150 = 3*f, -3*f - 150 = 5*x - 4*f. Suppose -5*q = -g + 25, 7*q + 3*g + 5 = 2*q. Does 8 divide 60*5*q/x?
True
Let a(i) = i**3 + 10*i**2 - 5*i - 13. Let p be a(-10). Let k = -15 + p. Is k a multiple of 4?
False
Suppose 7*b - 12 = 2. Is 14 a factor of 4 + -6 + b + 36?
False
Let b(r) = r**3 + 6*r**2 - 5. Let p be b(-4). Let s be (-18)/(-5)*45/p. Is 15/(-10)*(-44)/s a multiple of 7?
False
Let u(c) = 5*c**3 + 25*c**2 + 39*c - 29. Let n(t) = -3*t**3 - 12*t**2 - 19*t + 15. Let k(q) = 7*n(q) + 4*u(q). Is 13 a factor of k(17)?
True
Suppose -5*k + 5*i + 8888 = -1702, i = 3*k - 6358. Does 9 divide k?
False
Let w(o) = -6*o**3 + 12*o**2 - 13*o + 5. Let j(n) = -5*n**3 + 11*n**2 - 12*n + 5. Let t(m) = 5*j(m) - 4*w(m). Is 8 a factor of t(5)?
False
Let b(o) = -o**3 - 7*o**2 - 6*o - 1. Let t be b(-6). Let z be t/((-15)/(-6) - 3). Is (-10)/(7/(-3) + z) a multiple of 15?
True
Suppose -2*u - 2*x + 70 = 0, 148 = 3*u + u + 2*x. Let v = 93 - u. Does 18 divide v?
True
Suppose 5 = s - 3. Suppose 3*w + 2*n = 88, 2*w + 6*n = s*n + 52. Is 7 a factor of w?
True
Suppose -5*s + 2*w = -2198, 0*s - 2*w + 882 = 2*s. Is 22 a factor of s?
True
Is ((-16116)/(-612))/((-1)/(-96)) a multiple of 79?
True
Suppose 0 = q - 5*q + 16, 2*q + 232 = 2*j. Is j a multiple of 20?
True
Suppose 0 = -4*u + 1 + 11. Does 23 divide 1/(u/(-9)) - -41?
False
Let d be (-318)/(-27) - 4/(-18). Suppose 0*m = -m - 5*c - 16, 3*c = -d. Suppose w + 5*u = 41, -m*u + 137 = 2*w - 5*u. Is 33 a factor of w?
True
Let j(i) = -i + 1 - 3*i**2 + 5*i**2 + 3*i + 5. Does 18 divide j(6)?
True
Let p = 34 - 30. Let r(v) = v**3 + 8*v**2 - 9*v + 2. Let t be r(-9). Is (-98)/(-4) - t/p a multiple of 12?
True
Suppose 4*t - 158 = 3*t. Let k = 34 + t. Does 11 divide k?
False
Let a(j) = j**2 - 3*j - 7. Let v be a(5). Suppose -4*m + 14 = 2*c, 0 = -4*c + 2*m + 1 - v. Is c/2 - 63/(-2) a multiple of 16?
True
Suppose 25 = 2*q - 5*v, 3*v = q - 3*q + 1. Suppose 2*x = -q*r + 26, x - 2*r + r + 1 = 0. Suppose -52 = -x*p + 8. Is 10 a factor of p?
True
Does 2 divide 21/(-84)*0/1 - -68?
True
Let r(f) = -f**2 - 9*f. Let m be r(-9). Suppose m = g - 3*g. Suppose -2*p + 14 - 4 = g. Is p a multiple of 5?
True
Let f = 10 + -5. Suppose 0 = -k - f*g + 39 - 3, -325 = -5*k + 4*g. Suppose -5*q + k = -44. Is q a multiple of 21?
True
Let t = 17 - -15. Is 13 a factor of t*(-4 - -5) - 3?
False
Suppose 3977 = 4*m + r - 3220, -4*r = 2*m - 3588. Does 20 divide m?
True
Suppose 0 = -15*u + 3*u + 10680. Is u a multiple of 10?
True
Let m be (-2770)/(-30) + 2/3. Let o = m + 42. Is o a multiple of 22?
False
Suppose 0 = p - 3*p - 5*c + 5, 0 = -5*p - 5*c + 20. Suppose -4*k = -p*k + 140. Is 39 a factor of k?
False
Let d(q) = 29 + 9*q + 5*q - 4*q. Is d(13) a multiple of 31?
False
Let g be 4/28 - (-24)/28. Is 2 a factor of (g - -1) + (3 - -15)?
True
Suppose 11*u - 3087 = 10905. Does 53 divide u?
True
Suppose -4*g + 24 = -4*v, v + 8 = 2*g - 0*v. Suppose -3*s - 846 = 3*p, 5*p - g*p + 844 = -2*s. Is 28 a factor of (1*2)/((-10)/p)?
True
Let d(c) = -86*c**3 + 2*c + 3. Let t be d(-1). Suppose 7*g - 2*g - 204 = 2*m, 2*g + m - t = 0. Is g a multiple of 42?
True
Let z(u) = -u**2 + 55*u - 46. Is z(15) a multiple of 42?
False
Let i(l) = 2*l - 3*l**3 + 1 - 5*l**2 - 10 + 2*l**3 + 5*l. Let u = 10 + -17. Is 22 a factor of i(u)?
False
Let z = 109 + 87. Suppose 0*l - z = -2*l. Does 9 divide l?
False
Let n(t) = t**3 + 3*t**2 - 1. Let s be n(-2). Suppose -s*c + 36 = c. Is c a multiple of 2?
False
Does 5 divide (-4 - (-7 + 2)) + (0 - -204)?
True
Let l(i) = -i**3 - 16*i**2 - 17*i + 21. Let j be 2 + 85/(-5) + 0. Is l(j) a multiple of 12?
False
Suppose -6 = 2*v - 0. Let p(r) = -2*r. Let j(y) = -15*y + 3. Let u(w) = j(w) + p(w). Does 15 divide u(v)?
False
Let q = 7 + -20. Let w = q + -2. Let g = -5 - w. Is 5 a factor of g?
True
Suppose 4*x - 4*y - 20 = 0, -7*x + 20 = -3*x + y. Suppose s - 3*m = 6*s - 705, -x*m + 163 = s. Is 23 a factor of s?
True
Let y(m) = -46*m - 102. Is 4 a factor of y(-3)?
True
Let w be (-52 - (2 + 2))*-6. Does 19 divide ((-24)/32)/((-3)/w)?
False
Let u(b) = -7*b - 5*b - 2 + 3 - 3. Let d be u(-3). Suppose 4*z + 40 = 2*m, -3*m + 66 = 4*z - d. Is 8 a factor of m?
False
Let d(f) = 29*f - 254. Let k(x) = 10*x - 85. Let u(y) = 3*d(y) - 8*k(y). Does 13 divide u(16)?
False
Let r be (-9 + -7)*(-2 - -1). Let h be (-5)/2*r/(-20). Suppose -h*m + 74 = 20. Does 7 divide m?
False
Suppose 11*m = 8*m + 3*k + 5094, 4*k = -m + 1723. Is 13 a factor of m?
True
Let y = 41 - -59. Does 10 divide y?
True
Let d = -6 + 8. Let s(m) = 3 + d*m - 2 - 5*m - m**3 - 3. Does 5 divide s(-2)?
False
Let u(n) = 3*n - 16. Let o be u(0). Let w = o + 31. Is 6 a factor of w?
False
Suppose 0 = -30*r + 18307 - 6907. Is 3 a factor of r?
False
Is (1296/80)/(6/40) a multiple of 6?
True
Suppose -3 = 8*j + 133. Let s = j + 62. Does 9 divide s?
True
Suppose -2*w + 3*p = -12, 4*w + 3*p + 0 = 6. Does 6 divide 4/6 + 19/w?
False
Suppose -g - 32 = -2*o + 3*g, 4*o - 64 = g. Suppose 2*l - 6*l + o = 4*b, b + 11 = 4*l. Suppose 237 = 5*z - 2*q, l*q - 32 = -3*z + 127. Is 20 a factor of z?
False
Suppose 0 = 326*x - 337*x + 29788. Is 50 a factor of x?
False
Suppose 2091 = 5*h + 2*m, 2*m - 489 + 66 = -h. Is 20 a factor of h?
False
Let m(f) = f**3 - 4*f**2 + 7*f - 10. Let t be m(3). Suppose t*a = 6*a - 644. Does 23 divide a?
True
Let s(k) = 8 + 1 + 3 + 4 + 4*k + 5*k**2. Does 20 divide s(-4)?
True
Let g(d) = 1236*d + 44. Is 38 a factor of g(1)?
False
Suppose 8*u - u = 0. Suppose d - 65 = -q, -2*d = -u*q + 5*q - 142. Is 17 a factor of d?
False
Let b(k) = -k + 10. Let a be b(7). Is 206/a*(-6)/(-4) a multiple of 30?
False
Is 10*(18/45 + 4) a multiple of 4?
True
Let y(p) = p**2 - 25*p - 64. Is 5 a factor of y(-16)?
False
Let a = 334 - 224. Is 55 a factor of a?
True
Suppose 6*u - 78 = u + g, -g = 5*u - 82. Let c = 11 - -1. Suppose -c = -2*i + u. Does 7 divide i?
True
Let k(b) = -b**3 + 11*b**2 + 14*b + 10. Let l be k(12). Suppose -l - 6 = -5*m. Is m a multiple of 2?
True
Suppose 2*h - 195 = -h. Let b be (-12753)/h + (-2)/(-10). Let l = -120 - b. Is 27 a factor of l?
False
Suppose -3*x - d = -42, 0 = -2*x + 5*d + 45 - 0. Let i be (-3044)/(-10) + (-6)/x. Suppose 176 + i = 5*h. Is 24 a factor of h?
True
Let h = -107 - -171. Let z be h/(-6) - 6/(-9). Let k(g) = -3*g - 12. Does 18 divide k(z)?
True
Is 38 a factor of (-418)/((-90)/(-60)*2/(-6))?
True
Let q(p) = -p**2 + 18*p + 37. Let y be q(20). Let z(s) = -s - 1. Let f(k) = 9*k. Let a(r) = -f(r) + 4*z(r). Is 11 a factor of a(y)?
False
Let a be (-1)/(412/136 + -3). Does 32 divide 58/((5 - 8) + a/(-10))?
False
Suppose -634 = -22*g + 21*g. Is g a multiple of 10?
False
Let g = -44 + 42. Let l = 69 + -15. Is 5 a factor of (-1 - g)/(3/l)?
False
Let c be 2 - (-1)/2*0. Suppose c*k + 240 = -k. Is 21 a factor of k/(-2) - (1 + -3)?
True
Let p(m) = -2*m**2 - 24*m + 3. Let z be p(-12). Does 4 divide -1*(z/6)/(3/(-348))?
False
Let m be (-1)/(-2) + -1 + 15/6. Does 9 divide 4048/64 - m*(-1)/(-8)?
True
Let m = -562 + 1230. Is m a multiple of 22?
False
Is (2 + (-460)/(-6))*4692/184 a multiple of 17?
True
Suppose 65 = -8*v + 3*v + 5*c, -4*c + 64 = -5*v. Let q be ((-30)/v)/(1/(-2)). Let j = q - -21. Does 5 divide j?
False
Suppose 10*x = -2*x + 4224. Is x a multiple