uppose 0 = 4*a - 6*a + x. Is 14 a factor of a?
False
Let v(z) = z + 6. Let l be v(-6). Let w(s) = 2*s - 4. Let a be w(4). Let u = a - l. Does 4 divide u?
True
Suppose -375 = l + 291. Is 22 a factor of (1 - (2 - 0))/(9/l)?
False
Suppose 5*p + 3*i - 18 = 0, -5*i - 19 - 19 = -3*p. Let a = 359 + -351. Is 24 a factor of (388/p)/(a/12)?
False
Let i be (-6)/4 + 1834/4. Suppose -j + 0*z + 5*z = -175, 0 = -3*j - 2*z + i. Is j a multiple of 31?
True
Let j(o) be the first derivative of -o**6/360 + o**5/15 + 7*o**4/24 - 2*o**3 - 3. Let s(v) be the third derivative of j(v). Is s(8) a multiple of 7?
True
Let f(m) = m + 9. Let n be f(-6). Suppose -27 = 6*g - n*g. Let j = -3 - g. Is j a multiple of 6?
True
Let i(u) = 4*u**2 - 10*u - 4. Let b be i(6). Suppose 5*k = 3*r + 3*k - b, 4*k + 104 = 4*r. Is 26 a factor of r?
False
Let g(s) = 316*s - 29. Is 14 a factor of g(2)?
False
Suppose -209 = -y - 57. Does 19 divide y?
True
Suppose -3*g = -9, g = -3*p + 3 + 6. Suppose 5*k + 0*c - 115 = 3*c, k - 10 = -p*c. Is k a multiple of 20?
True
Let i(m) = -129*m - 322. Does 25 divide i(-5)?
False
Suppose 4*a + 198 = -4*t + 3*t, -a + 3*t = 43. Let r = a + 99. Is 23 a factor of r?
False
Let z = -159 + 57. Let s be (1/3)/((-2)/z). Let y = s - 14. Is 2 a factor of y?
False
Let n(k) = -k**2 - 11*k - 1. Let z be n(-10). Let s be z - 2 - (7 + -4). Suppose x - 82 = -3*w, 72 = x + s*w + w. Is x a multiple of 26?
False
Let b = -375 - -487. Is b a multiple of 16?
True
Let t(s) = -4*s + 6. Suppose 12 - 3 = 2*l + i, -5*i + 9 = -2*l. Suppose -l*z + 2*o + 5 = -2*o, z = -5*o - 30. Is 13 a factor of t(z)?
True
Suppose -7*q = -4*q. Suppose -j - j + 8 = q. Suppose -2*g - 175 = -j*f - g, -2*g = -f + 35. Does 9 divide f?
True
Does 27 divide 1447/3 + (-34)/(-51) - -3?
True
Let c = -40 + 45. Suppose 0 = -c*g - 5*b + 16 + 89, 3*g = 3*b + 33. Suppose 9*n - g = 7*n. Is n even?
True
Let x = -20 - -26. Let g be (18/(-7))/(x/(-56)). Suppose 4*p - 24 = -4*f, 3*p - 7*p - f = -g. Is 6 a factor of p?
True
Does 12 divide (-3)/21 + (-251586)/(-189)?
False
Let o(g) = g**2 - 6*g - 6. Let s be o(9). Suppose 9*x = 6*x + s. Let h(f) = f**3 - 7*f**2 + 9*f + 15. Is h(x) a multiple of 28?
False
Let m(p) = -9*p + 3. Let g(u) = -u**2 - 3*u**2 + 0 - 1 + 0. Let w be g(-1). Does 10 divide m(w)?
False
Is 246/(-8)*(-208)/78 a multiple of 41?
True
Is 3 a factor of -2 - (1/6 - 248/48)?
True
Let r = -233 + 375. Let d = -54 + r. Is d a multiple of 14?
False
Suppose -433 + 2824 = 3*z. Is z a multiple of 10?
False
Let z(q) = -41*q**2 + 5*q + 7. Let h(x) = -20*x**2 + 3*x + 4. Let c(m) = 11*h(m) - 6*z(m). Is 25 a factor of c(-2)?
True
Let x = 5511 - 3000. Does 44 divide x?
False
Let v = 8 + 0. Is 23 a factor of (-65)/((-2)/(v/2))?
False
Suppose d = -5*f - 2 - 2, 0 = -3*f. Is 6 a factor of (-155)/(-5) + (d - (0 - 0))?
False
Let h(b) = 105*b - 504. Is h(8) a multiple of 21?
True
Suppose 3*i + 15 = -2*n - 0*n, 20 = -4*i. Suppose 3*u - 6*b - 139 = -2*b, u + 5*b - 78 = n. Suppose 0 = 3*y + 4*z - u, -z = -3*y + 37 + 21. Is 10 a factor of y?
False
Let s(l) = 0 + 2*l + l + 0*l - 2 + l**2. Is s(11) a multiple of 38?
True
Suppose 14*k + 105 = 9*k. Let v = -13 - k. Is v a multiple of 3?
False
Let o = -32 - -38. Suppose -212 + 1331 = 4*h + b, 3*h + b - 839 = 0. Suppose -r - h = -o*r. Is r a multiple of 14?
True
Let p = -37 - -38. Suppose -70 = -2*i - 2*k, -4*i - k + 156 - p = 0. Is i a multiple of 8?
True
Suppose -w = -4*w - 30. Let t(d) be the third derivative of -d**6/120 - 11*d**5/60 - 11*d**4/24 - 7*d**3/6 + 4*d**2. Does 2 divide t(w)?
False
Suppose 0 = 4*s + 5*c - 98 - 266, 4*s - 388 = c. Is 16 a factor of s?
True
Suppose -5*h = -h. Suppose p + h*p - 34 = 0. Does 7 divide p - (-1 + 1) - 0?
False
Does 3 divide 8/32*-8*-4?
False
Let q(l) = l**2 - 8*l - 20. Let z be q(10). Suppose z = 3*r - r - 140. Is r a multiple of 24?
False
Let k be (1/3)/((-9)/(-81)). Suppose k*m + 8 = -7, 0 = -2*y - 3*m + 39. Suppose -4*n + 25 = -y. Does 13 divide n?
True
Suppose 4*m - 31 = -5*a, m + m + 4 = 4*a. Let i(y) = 3*y**3 + y**3 - 2 + y + 0*y**3 - 5*y**a - 2*y**2. Is 13 a factor of i(-4)?
True
Let u = 80 - 30. Is 2 a factor of u?
True
Suppose -3*x + 4*k + 3310 = -1620, -4*x - 3*k = -6540. Does 18 divide x?
True
Suppose 25 = 3*q + 4. Suppose 0 = u + q*u - 2744. Is u a multiple of 49?
True
Let n = 60 + -30. Is n a multiple of 3?
True
Let z be 4/16 - (-198)/8. Suppose -n - d + 41 = -3*d, -n + 5*d = -38. Let v = n - z. Does 9 divide v?
True
Suppose -2072 = -1040*l + 1032*l. Does 4 divide l?
False
Let h = 16 + -14. Let z be h/((8/148)/(-1)). Let n = z - -52. Is 15 a factor of n?
True
Let a = 11 - -81. Let m = a + -41. Is m a multiple of 17?
True
Let r = 33 - 8. Let y = 31 - r. Is (24 - -3)/(y/8) a multiple of 6?
True
Suppose 4408 = -13*q + 16*q + 4*z, -4*q - z = -5899. Is 12 a factor of q?
True
Let j be (-24)/30 + 4/5. Suppose j*l - 4*l + 4*n + 408 = 0, 2*l = 5*n + 198. Is l a multiple of 26?
True
Suppose 4*p + 4 = 0, -2*w + 0*w = 5*p - 1427. Is 42 a factor of w?
False
Let q(k) = -k**3 + 6*k**2 + 9*k - 4. Let w be q(7). Suppose 0 = 13*l - w*l - 252. Does 21 divide l?
True
Suppose 2*h - 336 = -356. Let n(g) = -26*g - 30. Let o(y) = -5*y - 6. Let d(b) = -4*n(b) + 22*o(b). Does 12 divide d(h)?
True
Suppose -6*x + 3*x + 6 = 0. Let t(q) = -q**x + 19 - 2 - 6*q - 2*q - 4. Is t(-9) a multiple of 3?
False
Let s be 10*(-3 + (-20)/(-8)). Let i be (-233)/s - 9/15. Suppose -o = 4*z + o - 108, i = 2*z - 3*o. Is z a multiple of 5?
False
Suppose 0 = 6*s - 1730 + 470. Is s a multiple of 6?
True
Let k(l) = -3*l - 5. Let m be (-6 - -7)*(-6)/2. Let d be k(m). Suppose 0 = -0*v - d*v + 508. Does 32 divide v?
False
Let q(c) = 180*c - 2. Let n be q(1). Suppose -k - n = -3*k. Let r = k - 23. Does 11 divide r?
True
Suppose -3*y - 4*a + 15 = 0, y - a - 4 = 1. Suppose -3*v - v = -r + 206, y*v = -15. Does 41 divide r?
False
Suppose 2*q + 3*d + 31 + 10 = 0, 0 = -5*q + d - 128. Suppose -2*y + 100 = 4*v, -7*y = -9*y - 5*v + 99. Let b = y - q. Is 39 a factor of b?
False
Suppose 2*u = 5*n + 302, -9*u + 4*u = -4*n - 772. Does 12 divide u?
True
Suppose -3*u + 41 = -3*f - 91, -4 = -f. Is u a multiple of 36?
False
Suppose -6*i - 3131 = -10067. Is i a multiple of 17?
True
Suppose -24 = -7*g + 25. Suppose -2*j + g*j - 420 = 0. Does 14 divide j?
True
Let k = 197 + 76. Let n = 430 - k. Is n a multiple of 8?
False
Suppose q + 2*c - 882 = -q, q + 2*c - 442 = 0. Is q a multiple of 8?
True
Let l(t) = -14*t + 38. Let p(i) = 14*i - 38. Let r(s) = -5*l(s) - 6*p(s). Is 8 a factor of r(-7)?
True
Suppose 62 = 5*n + r - 435, -5*r + 185 = 2*n. Suppose t = -4*x + n, 2*x = 2*t + 32 + 18. Is 25 a factor of x?
True
Let o(z) = z + 13. Let b be o(7). Suppose -t - 513 = -b*t. Is t a multiple of 27?
True
Suppose u = 2*u + 2. Let k be (8/(-16))/(u/(-16)). Let t(w) = -9*w - 5. Is t(k) a multiple of 21?
False
Let o(d) be the second derivative of d**4/12 - 2*d**3/3 - 5*d**2/2 + 20*d. Is 6 a factor of o(-3)?
False
Suppose 12*l - 657 = 255. Suppose -43*u + 39*u = -l. Is u even?
False
Let g(s) = -s + 18. Let l be g(10). Does 19 divide (-4 - (-210)/5)/(2/l)?
True
Let h be 2/7 - (-362)/7. Let g be (2/4)/(4/32). Suppose 5*i = -3*a + 4 + 27, g*i = 4*a - h. Is a a multiple of 4?
True
Let a = -6 + -2. Let t be 9/12 - (-6)/a. Suppose -f - 2*f + 45 = t. Is f a multiple of 5?
True
Let y(a) = -a**3 - 10*a**2 + 7*a - 17. Does 27 divide y(-11)?
True
Suppose 51*k - 67*k + 6480 = 0. Is k a multiple of 9?
True
Let z(g) = g**2 + g + 25. Suppose 2*i - 5*r + 11 = -0*i, -4*r = i + 12. Does 9 divide z(i)?
True
Suppose 3*j + 4*u + 1100 = -2*j, -4*j + 2*u = 854. Is (28 + 0)*j/(-84) a multiple of 12?
True
Let v = -15 - -17. Suppose -4*a + 2 + v = 0, -a = x - 145. Is x a multiple of 24?
True
Let w(p) = -2*p**2 + 0*p**2 - 6 - p**2 - 6*p + 4*p**2. Let o be w(7). Is 10 a factor of o - 4 - (-13)/1?
True
Let i be 1/((-1)/(11 - -2)). Is 5 a factor of (10 + i)/((-6)/40)?
True
Suppose 5*c - 52 - 8 = 0. Suppose -g = 2*y - 13, -y - 4*g + c = -3*y. Suppose b = i + i + 42, 174 = y*b - 2*i. Does 22 divide b?
True
Suppose 0 = -2*n - 18 - 38. Let p = -19 - n. Is p a multiple of 3?
True
Suppose -120 = -3*g - o, -5*g + 2*o = -3*g - 80. Is g*(6/(-10) - -1) a multiple of 8?
True
Let m = 1600 - -241. Is m a multiple of 53?
False
Let w = 126 - 122. Suppose -7*i + w*i + 63