**2 - 8*j - 7. Let a be t(o). Suppose -p = -4*w + 13, 3*w - 2*w - 4*p + 8 = a. Is w a multiple of 3?
False
Suppose 0*u - 2 = -u. Suppose -u*c = -2*w - 110, -w - 120 = -2*c + 3*w. Is c a multiple of 14?
False
Suppose 12 = -l + 5*l. Suppose l*i - 131 = 193. Is 36 a factor of i?
True
Let u = -3 + -1. Let w(j) = j**3 + 5*j**2 - 2*j + 2. Let d be w(u). Suppose -4*y + 38 + d = 0. Is 7 a factor of y?
False
Let t(s) = s**3 - s**2 + s + 10. Let w = 0 - 0. Does 5 divide t(w)?
True
Suppose -i + 5 = -5*z, 3*i + 3 - 18 = -4*z. Suppose -3*q = -z*q. Suppose -5*t - 1 = -21, q = 5*n + t - 39. Does 7 divide n?
True
Suppose -2*t = 4*l + 3*t - 43, 2*l + 4*t - 20 = 0. Does 4 divide l?
True
Suppose -2*k - 66 + 200 = -2*o, -5*o = k - 97. Suppose 3*s - k = s. Is s a multiple of 15?
False
Suppose -55 - 29 = -3*k. Let u be 8/k + (-4)/14. Suppose -2*y = -u*y - 12. Is y a multiple of 6?
True
Let y(w) = -w + 2. Let q be y(-3). Suppose -4*k = q*h - 16, 3*k - 2*h = 2*h - 19. Let i = 11 + k. Is 10 a factor of i?
True
Suppose 3*o = -5*g + 290, 3*g = o - 2*o + 174. Is g a multiple of 13?
False
Let m(g) = -g**3 + g + 220. Is 10 a factor of m(0)?
True
Suppose -3*q = -3*r - 0 - 3, -r = -5*q + 17. Let m be r/(-6) + 3/2. Is 1*(m + (2 - -16)) a multiple of 11?
False
Let o = -40 - -55. Is o even?
False
Let v(b) = -35*b + 1. Let t be v(2). Let c = -37 - t. Is 16 a factor of c?
True
Suppose 3*f - f - 144 = 0. Is f a multiple of 24?
True
Let f be (-2)/(-4) - 78/(-4). Let i = -13 - -24. Let c = f - i. Is 9 a factor of c?
True
Let r(b) = b**2 + 11. Does 4 divide r(5)?
True
Let k be (-1)/2 - 87/(-6). Let o = k + -8. Is 6 a factor of o?
True
Let w be (-2 - -7)*10/5. Suppose -50 = -i + w. Does 15 divide i?
True
Suppose -5*b = -4*v - 30, 8*v - 3*v - 2*b = -29. Let z be (-2)/v + (-1904)/(-40). Suppose -4*s + 173 = 5*w, z - 7 = w + 4*s. Does 11 divide w?
True
Let u be 4*(-6)/(-9)*-12. Let g = 12 - u. Suppose -4*b + n + g = -3*n, 56 = 4*b + 2*n. Is 13 a factor of b?
True
Let j = 5 - 13. Does 9 divide 366/8 + 6/j?
True
Let c = -24 + 46. Is c a multiple of 5?
False
Suppose 49*m - 46*m = 84. Is m a multiple of 14?
True
Let d be 10/(-4)*(-16)/(-20). Does 4 divide 8/(-8) - 20/d?
False
Does 11 divide 167/3 + 2/(-3)?
True
Suppose 2*c + 36 = q, -3*q + 8*q = -c + 147. Let f be (-14)/6 - 20/q. Let k = 8 + f. Is k a multiple of 5?
True
Suppose -3*h = u - 4, 6 = -h - 4*u + 22. Suppose h = -n + 8 + 17. Is n a multiple of 5?
True
Let c(a) = 12*a - 9. Does 21 divide c(6)?
True
Let r(t) = -t**2 + 8*t - 2. Let c be r(7). Let q be (3 + 0)*(-2)/(-2). Suppose -c*b + 154 = -q*m, 4*b = -6*m + m + 138. Is b a multiple of 18?
False
Let x = 43 + -32. Is 10 a factor of x?
False
Let c = -7 - -11. Suppose c*y - 7 = -f + 1, -y + 2 = -2*f. Does 2 divide y/(-4) - 27/(-6)?
True
Does 13 divide 3/(-4)*(-49 + -3)?
True
Let r = 20 - -20. Is 20 a factor of r?
True
Suppose -117 - 19 = 4*b. Suppose l - w + 231 = -4*l, 3*l = 5*w - 121. Let o = b - l. Is o a multiple of 10?
False
Let c be ((-24)/(-84))/((-2)/(-28)). Suppose -k - 183 - 5 = -c*w, -5*w = 4*k - 235. Is 18 a factor of w?
False
Let j(m) = m**2 + 17*m - 32. Is 28 a factor of j(-20)?
True
Let u(c) = -c - 5. Let p = 3 + -3. Let d be u(p). Let s(a) = 2*a**2 + 7*a + 1. Does 8 divide s(d)?
True
Let h = 73 + -43. Suppose -r = 3*w - h + 4, 2*w + 20 = 2*r. Does 14 divide r?
True
Suppose -2*t + 3*i = 1, -2*t = -5*t + 4*i. Suppose -30 = -t*c + u + u, -3*u + 32 = 5*c. Is 3 a factor of c?
False
Let a be (-2)/8 + (-123)/(-12). Suppose -5*f = -p + a, 5*f + 3*p = 6 + 4. Is f/(-4) + 166/8 a multiple of 7?
True
Suppose 5*l - 142 - 463 = 5*k, 0 = -2*l + 5*k + 236. Does 17 divide l?
False
Suppose -o = o. Suppose -i + o*w + 4 = -w, 3*w = i - 8. Suppose i*d - 53 = -7. Does 8 divide d?
False
Let v(b) = -27 + 25 + b**2 - 2*b**3 - b - 3*b**2. Is v(-2) a multiple of 8?
True
Let x be 1/(((-12)/3)/(-264)). Suppose 3*i - 5*y - 82 = 0, -6*i + 3*i - 3*y = -x. Is i a multiple of 12?
True
Suppose 0*x + 25 = 5*x. Suppose -j + 0*s - 21 = -s, x*s - 57 = 3*j. Is 12 a factor of 0 + -1 + 1 - j?
True
Suppose 4*a + 0*u - 248 = -3*u, 5*u = 0. Suppose 0 = 2*d - j - 28, -6*j + j = -4*d + a. Does 5 divide d?
False
Suppose -4*z + 342 = 5*z. Is 19 a factor of z?
True
Let g(c) = -2*c - 19. Is g(-13) a multiple of 7?
True
Let m(c) = c**2 + c + 1. Suppose 0 = -3*h - h. Let f be m(h). Suppose -5*l + 3*d + 30 = 0, 5*l = -5*d + 29 + f. Is 4 a factor of l?
False
Suppose 14*r - 9*r = 0. Suppose 0*b + 3*b - 48 = r. Is 3 a factor of b?
False
Suppose 0*l = 3*l - 144. Suppose 0 = -5*i + l + 42. Is 12 a factor of i?
False
Suppose 2*v + 1294 = 5*p, 2*p = 4*p - 3*v - 511. Is p a multiple of 23?
False
Is 4*38*(-3)/(-24) a multiple of 4?
False
Let m = -7 - -51. Is m a multiple of 11?
True
Let b be 186/14 + (-6)/21. Let u be (b/(-4) - -2)*-4. Let c(j) = -j**3 + 4*j**2 + 6*j + 6. Is c(u) a multiple of 11?
True
Let w(f) = -f**2 + 1. Let s(i) = -i**3 + 6*i**2 + i - 6. Let o(q) = -2*s(q) - 11*w(q). Let g be o(-2). Is 6 a factor of (-2)/(g/(-8) + -2)?
False
Let l(z) = 16*z**2 + 2. Let q be l(2). Let a = 45 - q. Does 11 divide 10/3*a/(-2)?
False
Suppose -j - 2*j + 5 = -2*s, -3*j + 1 = -s. Let g be (-88)/12*(-6)/s. Let d = 23 + g. Is d a multiple of 6?
True
Let a(k) = k + 1. Let x(y) = 2*y**2 + 10*y + 8. Let d(l) = 6*a(l) + x(l). Let u be d(-12). Suppose 3*s - u = -2*s. Is 22 a factor of s?
True
Let q(r) = -r**3 + 2*r - 1. Let i be q(1). Suppose 3*c - 2*c - 6 = i. Does 5 divide c?
False
Suppose 124 = 2*k - 276. Does 23 divide k?
False
Let g = 183 - 73. Does 11 divide g?
True
Let u(m) = -m**3 - 9*m**2 - 10. Suppose -3 = -f - 12. Let b be u(f). Let y(q) = -q**2 - 13*q + 8. Is y(b) a multiple of 10?
False
Is 24 a factor of (108 - -4)/2*3?
True
Suppose 0 = 5*n - t - 15, -5*n + 0*t = -4*t - 15. Suppose 0 = n*s + z - 54, -3*z - 2*z = -4*s + 53. Suppose -f + 12 - 1 = -2*i, -5*i = -f + s. Does 7 divide f?
True
Suppose -f + 81 = 5*k, -4*k + 7 + 58 = f. Does 16 divide k?
True
Is 25 a factor of (3*237/36)/((-2)/(-8))?
False
Let g = 8 + -3. Suppose h - 8 = -4*d, -d + 40 = g*h - 2*d. Does 4 divide h?
True
Suppose 0 = -5*i + 2*z + 12, -i + 0*z - 12 = -4*z. Let l(u) = 2*u**2 - u + 1. Let k be l(2). Suppose g + k - 45 = i*q, -q = 5. Is 9 a factor of g?
True
Let x(q) = q**2 - 12*q + 1. Is x(15) a multiple of 5?
False
Let l(q) = -2*q + 4. Suppose 0 = p - 4*p - 18. Let j be (16 + p)*1/(-2). Is l(j) a multiple of 11?
False
Suppose 2*b - 10 = -x - 0*x, 4*b - 24 = -3*x. Suppose 28 = k - y, -x*k + 58 = 4*y - 38. Is k a multiple of 13?
True
Suppose -5*a + 12 = -2*a. Suppose -5*m = 2*d - 38, 4*m = -2*d + m + 34. Does 6 divide (a - (0 + 1)) + d?
False
Suppose -2*r = -0*r + 200. Let y = -64 - r. Is 12 a factor of y?
True
Let j = 22 - 7. Suppose -4*r + 5 + j = 0. Suppose 3*m - r*m + 8 = 0. Does 4 divide m?
True
Let m = -73 - -39. Does 12 divide m/4*(-2)/1?
False
Is 8 a factor of (-285 - (4 + -5))*(-2)/8?
False
Suppose 5*p + 5*m - 130 = 0, 2*p - 3*p = -3*m - 42. Does 10 divide p?
True
Let x be 3/(-12) - (-87)/12. Suppose 75 = -2*r + x*r. Is r a multiple of 5?
True
Let z(j) = 30*j**2 + 2*j + 6. Does 54 divide z(-3)?
True
Let g(k) = 2*k**3 - 7*k**2 + 9*k. Does 13 divide g(4)?
True
Let y = 14 - 5. Let k = y + -7. Suppose 5*f = -k*r + 2*f + 82, -3*r = 3*f - 126. Is r a multiple of 22?
True
Let o = -14 - -14. Suppose 0 = -f + 3*x + 27, -2*x = 4*f - o*x - 178. Does 12 divide f?
False
Let h(q) = 2*q**2 + 5*q - 3. Is h(-6) a multiple of 10?
False
Let j be 1/(-2)*(8 - 252). Suppose 4*z - o - 128 = -z, 4*o = 5*z - j. Does 6 divide z?
False
Suppose v = 3*v. Suppose 3*n + 4*a - 32 = v, 0 = 4*a - 6 + 22. Suppose -c + 18 = -3*h - 0*h, -n = -c + 2*h. Is c a multiple of 11?
False
Let z be (-4)/(-14) - (-76)/28. Let x = -1 + z. Does 16 divide (-1)/x + (-61)/(-2)?
False
Suppose -x + 3*j - 8 = 0, -2*x - j - 4 = -4*j. Suppose x*w - 35 = a - 0, -2*a + 2 = 0. Is w a multiple of 9?
True
Let g(h) = 2*h. Suppose a = 2*x + 14, 2*a = a + 3*x + 15. Is g(a) a multiple of 8?
True
Let m(y) = 4*y**2 - 2*y + 3. Let w be m(2). Suppose b + w = 6*b. Suppose b*j + 140 = 8*j. Is 14 a factor of j?
True
Let b(p) = -p**2 + 20*p + 30. Is 27 a factor of b(17)?
True
Let t be 1*(1440/(-4))/(-4). Suppose -3*l + 138 = -0*l + 4*x, 2*l + 2*x = t. Is l a multiple of 12?
False
Suppose -2*y + 16 = -3*j, -j + 40 = 5*y - 