 11 divide 140 - (3 - (-4)/12*o)?
False
Suppose -2*b - 1 = 5. Is 89 + (3 - 2 - b) a multiple of 9?
False
Let p(k) = -k**2 - 20*k - 19. Let i be p(-19). Let v = -6 + 8. Suppose i = y - v*y + 19. Does 11 divide y?
False
Suppose 53*l - 15675 = 38*l. Does 50 divide l?
False
Suppose -81 = -5*n + 109. Suppose -5*a + 198 = 4*o, -n = 2*a + 2*o - 118. Is 19 a factor of a?
True
Suppose 11 = 2*c - z + 6*z, 4*c + 4*z - 16 = 0. Suppose -c*w + 7*w = -16. Let j(g) = -g**2 - 7*g - 3. Is j(w) a multiple of 6?
False
Let m = 5 - 9. Let q = -2 - m. Suppose -86 = -3*n + q*g + 2*g, -3*g = -3. Does 10 divide n?
True
Let h(y) = -8*y**3 + 15*y**2 + 23*y + 35. Let a(m) = 3*m**3 - 8*m**2 - 12*m - 17. Let x(s) = 5*a(s) + 2*h(s). Is 25 a factor of x(-9)?
False
Suppose 0 = -c + x - 4, 0 = -2*c + 4*x - 18. Let l(o) = 88*o**3 + 2*o**2 - 4*o + 2. Is 19 a factor of l(c)?
False
Let m be -3 + (10 - (-1)/(-1)). Suppose 3*o - 40 = -s, s + 2*o - m*o - 47 = 0. Let p = 81 - s. Does 21 divide p?
False
Suppose 17 = -s - p - 4*p, 2*p = 5*s - 50. Let w(f) = -14*f**3 + f**2 - f - 1. Let l be w(-1). Suppose -14*b - s = -l*b. Does 3 divide b?
False
Suppose -s + 75 = 7*k - 9*k, -s + 47 = 5*k. Is 2 a factor of s?
False
Let i(j) = 43*j + 7. Let s be i(3). Does 17 divide -3*(-5)/30*s?
True
Let j(a) = 2*a - 8. Let z(q) = -q**3 + 3*q**2 + q + 4. Let t be z(3). Let r be j(t). Let x(c) = 2*c**2 - 8*c + 6. Is 10 a factor of x(r)?
True
Suppose z = 4*t - 0*z - 3447, 3456 = 4*t - 4*z. Is 41 a factor of t?
True
Let s = -88 + 89. Does 6 divide s + 1 - -18*2?
False
Suppose -30*j = 14*j - 179564. Is 11 a factor of j?
True
Let f be (5 - -2)/(-2*1/58). Let l = -102 - f. Is l a multiple of 12?
False
Let o(q) = q**3 + 7*q**2 - 6*q - 7. Let g be 334/12 + (-9)/(-54). Suppose -5*w - 7 = g. Does 5 divide o(w)?
True
Is 44*-5*2/(-10) a multiple of 19?
False
Suppose -5*z = -z - 36. Let u(d) = -d**3 + 10*d**2 - d - 4. Does 34 divide u(z)?
True
Let o be (-16)/(-2)*(-2)/(-4). Suppose n - 39 = 5*k, 0 = -k - 0*n + 4*n - o. Is (4/(-6))/(k/264) a multiple of 10?
False
Let h(f) be the third derivative of -f**4/6 - 5*f**3/3 + f**2. Suppose 17*l = 11*l - 42. Does 9 divide h(l)?
True
Let u = -1483 - -2077. Does 11 divide u?
True
Let f(k) = 60*k**2 + 3*k + 1. Let r be f(-2). Suppose -2*q + 105 = -r. Does 46 divide q?
False
Let m = 512 - 305. Suppose 4*n = 21 + m. Is n a multiple of 14?
False
Suppose 3*d - 9 = 0, 7*n - 242 = 5*n - 2*d. Is 8 a factor of n?
False
Suppose 2 = 2*t, -4*t - 420 = -4*d - 0*t. Let z = -75 + d. Is 19 a factor of z?
False
Suppose -7*z = -3*z - 1184. Suppose -4*m = -0*m - z. Suppose 3*n + 2*n - m = -f, -4*f + 71 = 5*n. Is 11 a factor of n?
False
Is (-924)/(-12) + 3 + 0 a multiple of 20?
True
Does 21 divide 4/(4/126*(-156)/(-130))?
True
Let o = 2 + -4. Let y be (8/16)/(o/(-72)). Suppose -2*q + y = 10. Is q even?
True
Let o(y) = 21*y. Let x(b) = -b**3 - 8*b**2 + 8*b - 5. Let n be x(-9). Let j be o(n). Suppose 3*u = -3*f + 63, j = 3*f + 2*f - 2*u. Is f a multiple of 5?
False
Suppose 5*y - 4620 = -5*z, 3*z = y - 784 - 140. Is 33 a factor of y?
True
Suppose -3*n + 6 = 0, 0 = 3*k + 4*n - n - 5562. Is k a multiple of 5?
False
Is 0/(-3) - (-682 - 42) a multiple of 11?
False
Suppose 4*l = -3*l + 11970. Does 57 divide l?
True
Let z = -267 - -994. Is z a multiple of 16?
False
Let p = -12 + 17. Suppose -88 = -p*i - 3. Is 12 a factor of i?
False
Suppose -j - 5 = 0, 3*o - 211 = 5*j - 6*j. Is 8 a factor of o?
True
Suppose 3*k - 3184 = -5*b, -4*k - 5*b - 2081 = -6*k. Does 13 divide k?
True
Let u = 399 + 1081. Is u a multiple of 40?
True
Let d(g) = -764*g + 12. Let k be d(-2). Suppose 10*i - k = -0*i. Is i a multiple of 11?
True
Suppose 3*a = -5*y - a + 25, a - 15 = -3*y. Suppose 1 = -y*p - 9. Is 14 a factor of -1*74*1/p?
False
Suppose -3216 = -7*u - 31. Does 11 divide u?
False
Suppose -2*h - 408 = -8*h. Suppose 0 = o + 9 - h. Is o a multiple of 25?
False
Let w(u) = 52*u - 366. Is w(9) a multiple of 2?
True
Let r be ((-273)/2)/(-1) + 6/(-12). Suppose 0 = -4*l - i + 21, 0*l - 5*i = -l + 21. Suppose l*u + r = 5*x + 2*u, -3*x - u = -68. Is 6 a factor of x?
True
Suppose x = -x - 52. Let m be (-251)/(-5) - 4/20. Let c = x + m. Does 8 divide c?
True
Let k(p) = -p - 5. Let n be k(-5). Suppose n*v + 5*v + 3*z = 114, -5*v + 120 = 5*z. Does 21 divide v?
True
Let t(m) = -m**2 - 10*m + 6. Let i be t(-10). Let u be (i/(-3) + 1)*0. Suppose 0 = 4*w + 3*g - 48 - 148, u = 4*w + 2*g - 200. Does 13 divide w?
True
Let x be 3 - 7 - (2 - 45). Let a = -2 + x. Is 35 a factor of a?
False
Let h = -729 + 2054. Does 32 divide h?
False
Suppose -26*y + 29*y = -6. Is (-22 - -17)/(y/10) a multiple of 19?
False
Suppose -c - 3 = 2*l, 3*l = 5*c - 11 - 13. Let u(k) = k**3 - 2*k**2 + 1. Does 3 divide u(c)?
False
Let i(p) = 3*p**2 + 4*p - 7. Let q be i(4). Suppose -231 = -6*r + q. Is 7 a factor of r?
False
Let s = -150 - -438. Is s a multiple of 18?
True
Suppose 3*i = 2*b + 4418, -4*i = -b - 2033 - 3856. Is i a multiple of 46?
True
Let u = -37 - -159. Let f = u - 65. Is 19 a factor of f?
True
Suppose 0 = 4*g - 25 - 3. Let j = 7 - g. Suppose 0 = 2*r + 2*l, j*l - l - 18 = -5*r. Is r a multiple of 2?
False
Let j be ((-15)/(-6))/(1/(-4)). Is (j + 8)*(-54)/4 a multiple of 27?
True
Let s(b) = -b**3 - 12*b**2 - 3*b + 124. Is 18 a factor of s(-17)?
True
Let w(j) = -j**3 - 5*j**2 + j + 3. Let l be w(-4). Let h = l - -17. Suppose h = -4*m + 3*q + 49, -4*m + 39 = -0*q - 5*q. Is m a multiple of 10?
False
Let b(n) = -42*n - 14. Is b(-7) a multiple of 14?
True
Let d(x) = -x**3 + 9*x**2 + 9*x + 7. Let m be d(10). Let b = m - -23. Is b a multiple of 20?
True
Let m = 4 + -7. Let g(l) = 639 + 2*l**2 - l**2 + 2*l - 633. Does 4 divide g(m)?
False
Is -336*((-30)/(-5) + -7) a multiple of 48?
True
Let q be 8/44 - 40/(-22). Suppose 3*y - 56 = 4*p - q*p, 5*y = 5*p + 135. Let a = p + 79. Is a a multiple of 18?
True
Let w be (27/(-12))/(21/(-56)). Suppose -2 = i - w. Suppose -2*y + 3*c - 252 = -5*y, i*c = -3*y + 252. Is y a multiple of 24?
False
Let s be (27/(-2))/9*-4. Suppose -s = 3*u, 9*j - 3*u = 4*j + 266. Is 11 a factor of j?
False
Let w(r) be the third derivative of r**5/15 - 23*r**4/24 + 5*r**3/6 - 3*r**2. Let f(m) = 2*m**2 - 11*m + 2. Let z(i) = 13*f(i) - 6*w(i). Is 14 a factor of z(8)?
True
Let m = -58 - -230. Does 2 divide m?
True
Let u(a) = -180*a. Let s = -123 + 122. Is u(s) a multiple of 18?
True
Suppose 157 + 53 = 5*w. Is w a multiple of 5?
False
Let a = 12 - 23. Let h = -8 - a. Is 21 a factor of (47 - h)*(-1 + 2)?
False
Let k(u) = -47*u - 6. Let p be k(-3). Suppose -200 = -5*j + p. Is 17 a factor of j?
False
Let i be (-231)/(-44) - 2/8. Suppose 0 = i*d - 7*d + 64. Does 5 divide d?
False
Let k = 465 - 229. Does 73 divide k?
False
Let a = 7 - 13. Let z(f) = -f**3 + f**2 + f - 9. Let m be z(a). Let r = -145 + m. Does 35 divide r?
False
Suppose -26*n + 29229 = 7077. Does 3 divide n?
True
Let t = 13 - 10. Let k be 2 - (-19 + (t - 0)). Suppose -15 = -3*b + k. Does 3 divide b?
False
Suppose -f - 2*f = 15. Does 10 divide (-3 - f) + -5 - -99?
False
Let d = 1015 - 650. Does 6 divide d?
False
Suppose 0 = -481*v + 473*v + 5448. Is 15 a factor of v?
False
Let h(g) = -3*g - 24. Let d be h(-8). Suppose a - t - 3 = d, 5*t - 12 = -4*a + 3*t. Does 2 divide a?
False
Suppose 20*u = 33*u - 3744. Is 3 a factor of u?
True
Is (13 + 1325)*1/6 a multiple of 3?
False
Let q(r) = 15*r**2 - 4*r + 24. Does 84 divide q(-6)?
True
Suppose -5*m = -3*m - 98. Let n be 1/7 + 6314/m. Suppose 5*s - 111 - n = 0. Does 16 divide s?
True
Let u(d) = 3*d + 6. Let b(c) = c**3 - 11*c**2 + 8*c + 23. Let r be b(10). Let m be u(r). Is (-140)/m*(-9)/6 a multiple of 14?
True
Let o = -727 - -1367. Does 8 divide o?
True
Suppose -l + 21 = 5*d, -4*d + l + 13 = -2*l. Suppose 156 - 12 = d*q. Does 18 divide q?
True
Let s(n) = -n**3 + n**2 - n + 2. Let k be s(0). Suppose 0*z + 90 = k*z. Is z a multiple of 5?
True
Suppose -14 + 2 = -3*r. Suppose r*w = 470 + 30. Is w a multiple of 25?
True
Let i(g) = -g + 10. Let w be i(6). Let u(p) = 2*p**3 - 5*p**2 - 4*p + 2. Let r be u(w). Let h = r + -18. Is h a multiple of 16?
True
Suppose -2*t - 3 = -9. Suppose x = 6 - t. Suppose 0 = 3*m + 4*a - 41, -x*m - 3*a - 5 = -4*m. Is m a multiple of 3?
False
Let b be ((-75)/20)/15 + (-17)/(-4). Suppose -b*y + 20 = -1004. Is y a multiple of 16?
True
