e of 11?
True
Let v(n) = 152*n - 285. Is 40 a factor of v(5)?
False
Let v be 39/(-9) + (-2)/(-6). Is 45 a factor of 4/6*(-1 - (-396 + v))?
False
Let z be 3*-1 - (-126)/21. Let s(q) = 3*q + 1. Is s(z) a multiple of 5?
True
Suppose 11*a - 8*a = 2304. Suppose 856 = 14*f - a. Does 37 divide f?
False
Let l be 110/66*(-9)/(-5). Let m(n) = n + n**2 - 5 + 2 - 1. Is m(l) a multiple of 2?
True
Let w = 1812 + -1309. Is 9 a factor of w?
False
Let d(f) = -f + 20. Let x be d(16). Is 9 a factor of (-184)/(-10) + x/(-10)?
True
Let n(q) = -1. Let a(y) = -36*y - 63. Let m(t) = a(t) - 54*n(t). Is 20 a factor of m(-4)?
False
Is 1 - (-265 + -4*(-1 - -2)) a multiple of 25?
False
Let q(l) = -11*l - 10. Let p(v) = 21*v + 19. Let w(z) = -6*p(z) - 11*q(z). Let d be w(-2). Suppose d*t - 7*t = -57. Is 19 a factor of t?
True
Suppose n = -d + 33, -3*d - 2*d = -5*n + 215. Let q = 53 - n. Suppose t - 51 = q. Is t a multiple of 11?
True
Suppose -5*w = -3*w - 4. Suppose -w*n - h = -70, -h = -4*h. Does 7 divide n?
True
Suppose -s - 11 = 5. Is 6 a factor of (s/10)/(-4)*90?
True
Suppose 1016 = 2*a - 0*a - 2*b, 2*b = 2. Is 12 a factor of a?
False
Suppose 2*g = 5 + 1. Suppose 8 - 44 = -g*v. Does 2 divide 6/v - (-22)/4?
True
Let l(p) = 0 - 4 + 2*p**2 + 0 + 5*p. Let x(u) = -4*u**3 + 23*u**2 - 2*u + 52. Let f be x(6). Is l(f) a multiple of 12?
True
Let w = 11896 + -8366. Is 96 a factor of w?
False
Let q = -71 - -87. Suppose -q*k = -0*k - 160. Does 4 divide k?
False
Let i(s) be the first derivative of 7/2*s**2 + 7 + s. Is 22 a factor of i(12)?
False
Suppose -3*q = 2*q - 220. Let n = 8 + -6. Suppose 0 = n*b + 2*b - q. Is b a multiple of 11?
True
Suppose -20 = -3*x - 2*x. Suppose 0 = x*a - 0*a - 1048. Suppose 2*n = -4*u + a, -3*n + 261 + 6 = 4*u. Does 17 divide u?
False
Suppose -3*b = -6*b + 2*a - 398, 4*b - 5*a + 540 = 0. Let z = b - -190. Does 8 divide z?
False
Let d(r) be the third derivative of r**6/120 - r**5/6 - r**4/4 + 5*r**3/6 + 10*r**2. Is d(11) a multiple of 20?
True
Suppose -3*d = -4 + 13, -5*l - d = -187. Does 38 divide l?
True
Suppose 5*d - 4*r - 1 = -2, r + 8 = 4*d. Suppose -13*i + d = -14*i. Is 6 a factor of (i + 1)/((-10)/65)?
False
Let g(b) = -7*b + 246. Let y be g(0). Suppose -l + u = -103, 3*l + 4*u = 28 + y. Is 48 a factor of l?
False
Suppose 7 + 5 = 3*g. Suppose p - 4*l = 39, 0*l + g = -l. Suppose -p = -b + 3. Does 12 divide b?
False
Let i = 327 + -130. Is 49 a factor of i?
False
Let d be (104/10)/(-1 - 21/(-15)). Suppose -3*h = -h - d. Is h a multiple of 8?
False
Suppose 5*x = 711 + 9. Is x a multiple of 12?
True
Let d be (-4)/(-6) + 52/12. Let c be (-6)/(-15) + 178/d. Suppose q - 4*q + c = 0. Does 4 divide q?
True
Suppose 70*g - 50*g - 11160 = 0. Is 62 a factor of g?
True
Let s(y) be the first derivative of -y**4/4 - 4*y**3/3 + 3*y - 1. Let k be s(-4). Is (4/(-2) + k)*7 a multiple of 3?
False
Let c(a) = a**3 - a. Let t(z) = -2*z**3 + 8*z**2 + 10*z - 6. Let h(w) = 3*c(w) + t(w). Is h(-6) a multiple of 12?
True
Suppose -4*r + 0*z = -z + 693, -5*r - z - 864 = 0. Let m = 102 + r. Let k = -47 - m. Is k a multiple of 8?
True
Suppose -2*x + 5*p - 8 = -0*p, 4*x = p + 20. Let y(w) = 7*w + 18. Does 15 divide y(x)?
True
Suppose 9 = -0*o + 3*o. Suppose 6*x = o*x + 51. Let w = 41 - x. Does 12 divide w?
True
Let f(m) = -m + 29. Let b be f(21). Let t(a) = a**3 - 6*a**2 - 7. Does 11 divide t(b)?
True
Let z(v) = 33*v - 9. Suppose -4*c + 7*c - 2*f = 14, -2 = -c + 2*f. Is 24 a factor of z(c)?
False
Let t = -214 + 375. Suppose -t = -3*i + 2*i. Suppose 3*v + 3 = 0, 3*q - 3*v - i = -7*v. Is 17 a factor of q?
False
Let f(w) = -w**3 + 5*w**2 + 5*w + 6. Let q(s) = s**2 + 5*s. Let a be q(-6). Let l be f(a). Suppose 0 = -l*t - 5*t + 30. Is 3 a factor of t?
True
Suppose -152 = -3*b - b. Let t = b + -11. Is 27 a factor of t?
True
Let j(r) = 5*r - 2. Let c be j(2). Suppose -1 = -3*m + 5*x, -11 = -10*m + 6*m - 3*x. Suppose 0 = -m*p + 98 - c. Does 13 divide p?
False
Let x(h) be the third derivative of -13*h**6/120 - h**4/24 - 2*h**2. Is 7 a factor of x(-1)?
True
Let p(u) = 27*u**3 - 6*u**2 + 7*u - 1. Let t(k) = -14*k**3 + 3*k**2 - 3*k. Let h(q) = 2*p(q) + 5*t(q). Is h(-2) a multiple of 10?
True
Suppose 56*q - 8067 - 31245 = 0. Does 26 divide q?
True
Let g(y) = 2*y**2 - 4*y - 4. Let l(d) = d**2. Let a(c) = g(c) + l(c). Is 10 a factor of a(6)?
True
Suppose 44*s - 49*s + 3450 = 0. Is s a multiple of 51?
False
Suppose -2*t + 12*b = 7*b - 230, -2*t = -4*b - 228. Is t a multiple of 9?
False
Suppose 14*r - 6388 = 12316. Is r a multiple of 60?
False
Let d = 219 + -99. Is 30 a factor of d?
True
Let b be (1 - (-12)/(-9))*9. Let u be 16/(-24)*b*22. Suppose 4*h + 8 = 0, u = 4*c + h + h. Does 7 divide c?
False
Suppose -5*h + 3945 = 5*b, -16*b + 18*b - 5*h = 1599. Does 36 divide b?
True
Let n(i) = 17*i + 11. Let s be n(11). Let l = -65 + s. Is 18 a factor of l?
False
Let w(j) = -j. Let s be w(-3). Let d(a) = -2*a + 16 + s + 3 + a. Is d(18) even?
True
Let n(m) = 26*m**2 - 16*m + 5. Is 52 a factor of n(6)?
False
Let x(g) = -44*g + 146. Is 38 a factor of x(-39)?
True
Let r be 12*100*1/6. Suppose -3*j = 17 - r. Is 15 a factor of j?
False
Let w be 1 + (-1 - -2 - 0). Suppose -w*i = -i + 3*o - 26, 5 = -5*o. Suppose -f - 37 = -3*g, 2*g - 5*f = -0*f + i. Does 3 divide g?
True
Let f = -10 + -11. Is -3*(f/9 - 0) a multiple of 2?
False
Let d(r) = r**3 + 9*r**2 + 8*r - 1. Let c be d(-8). Let b be (c + 5)/(13 + -11). Is 11 a factor of (b/4)/(5/330)?
True
Let z(r) = -r**3 + 2*r**2 - r. Let k be z(1). Suppose 3*l = -k + 6. Is l even?
True
Suppose 0 = 3*w + 16 + 35. Let n be w - ((-12)/(-4) + 0). Is -5*(76/n - -2) a multiple of 4?
False
Let t(c) = c - 11. Let y(d) = -d + 2. Let l be y(-11). Let n be t(l). Does 9 divide (n/4)/(2/56)?
False
Suppose -2*p + 5*p + 2222 = 4*n, -n + 2*p + 558 = 0. Suppose -3*f + 4*c + 326 = 0, 0 = 3*f + 2*f + 4*c - n. Is 11 a factor of f?
True
Let j = -137 - -271. Is 24 a factor of j?
False
Let t be (-15 + 13)/((-1)/(-4)). Let w be 4/t*-4 + 2. Suppose 2*d + 0*d - 2*x = 26, -4*d = w*x - 76. Does 16 divide d?
True
Let z = 2050 - 4076. Let p = -1354 - z. Suppose 0 = -c - 6*c + p. Is c a multiple of 11?
False
Let z = 12 + -8. Suppose -140 = -z*b - b. Is b a multiple of 5?
False
Suppose 0 = -5*b, 3006 = 22*n - 19*n + 5*b. Does 24 divide n?
False
Let g = -60 - -87. Let f be 108/(-8)*16/(-12). Is 13 a factor of 26/3*g/f?
True
Suppose -105 = -4*y - s, -4*s - 133 = -4*y - 33. Let c = y - -14. Does 7 divide c?
False
Suppose -12*l + 14*l = -3*p + 3088, -2*l + 3080 = p. Is l a multiple of 14?
False
Is 9 a factor of ((-210)/4)/(-7)*348/5?
True
Let o be (-1 - 14*7)/(1 - 0). Is 28 a factor of o/(-6)*112/12?
False
Let g(l) = l**3 + 7*l**2 - 9*l + 19. Let p be g(-8). Suppose -x + 45 = 3*t - p, 0 = 4*x. Does 6 divide t?
True
Let h(l) = l**3 - l**2 + l - 78. Let w be h(0). Let f = 123 + w. Is 5 a factor of f?
True
Suppose 4*k - 135 = -l - 1070, 0 = -k - 3*l - 231. Let j = -139 - k. Is j a multiple of 13?
False
Let k = -611 + 915. Does 8 divide k?
True
Suppose 2*f - 152 = 2*c, -c + 149 = 3*f - f. Let q = f - 49. Is q a multiple of 26?
True
Suppose -6*p - 30 = -3*p. Is 14 a factor of (164/p)/((-3)/15)?
False
Suppose -o = k - 6, -20 = -2*k - 2*k - 3*o. Suppose 5*n + 0 + 4 = -i, 5*n = -3*i - k. Is 21 + (-1)/(i/4) a multiple of 17?
True
Suppose 2*t - 128 - 60 = 0. Let r = t + -44. Let u = r - 14. Is u a multiple of 12?
True
Let q = 293 + -489. Let j = -120 - q. Does 8 divide j?
False
Suppose 0 = -4*k + 2*k. Let s(g) = g**3 + g**2 - g + 75. Let u be s(k). Let z = u + -39. Does 16 divide z?
False
Let s(z) = z**2 + 6*z - 1. Let k = 6 + -12. Let p be s(k). Does 3 divide -3 - (45/3)/p?
True
Let y be 269/((-5)/(-5)*1). Let l = y - 180. Does 14 divide l?
False
Let c = 15 + -11. Suppose c*j = 32 + 40. Let w = j + -8. Is w a multiple of 5?
True
Suppose 2*x + 3 = 15. Suppose -v = 2*n - 50, -5*v - 3*n + x*n = -276. Is v a multiple of 27?
True
Let p(s) = -4 - 3*s**2 + 5*s**2 - 3 - 19*s + 3. Does 3 divide p(10)?
True
Is 1/(322/(-969) + (-25)/(-75)) a multiple of 16?
False
Let r = 82 - 79. Is 15 a factor of ((r - 0) + -2)*0 + 38?
False
Suppose 48 = -12*u + 16*u. Let l = u - 10. Is 1 + l/(-2) + 33 a multiple of 11?
True
Suppose -1384*h - 1909 = -1385*h. Is h a multiple of 23?
True
Suppose -64 = 11*o - 20. Is (-2416)/(-40) + o/10 a m