
Suppose 0 = -2*g - 13 + 3. Is 3/(-12) - ((-4215)/(-12))/g a multiple of 8?
False
Is 17 a factor of (4/6)/(178744/16248 - 11)?
False
Let k(f) = f**2 + 26*f - 22. Does 49 divide k(-30)?
True
Let r be (-1)/2 + (-21)/(-2). Let p(v) = -v**3 + 11*v**2 - 8*v + 3. Is 9 a factor of p(r)?
False
Let s = -659 + 1361. Suppose -b - 5*b = -s. Is b a multiple of 36?
False
Let v = -893 - -1369. Is v a multiple of 2?
True
Suppose 4*u - 11 = 3*c, 0*c + 2*c + 14 = 4*u. Suppose u*y - y = 220. Is y a multiple of 11?
True
Let p be (-8 - 3/(-1)) + -1 + 5. Is 5 a factor of (p - 7/(-4)) + 4256/128?
False
Let k(i) = 108*i + 5. Let m be (33/(-44))/(2/(-8)). Let d be k(m). Suppose 7*v - 259 - d = 0. Is v a multiple of 21?
True
Let r be 260/60 + (-2)/(-3). Suppose 0 = -h - h + t + 67, 175 = r*h - 4*t. Is 31 a factor of h?
True
Suppose -t = 467 - 1148. Is 19 a factor of t?
False
Let p(i) = -i + 3. Let w be p(4). Let r be 20*w/(-4)*1. Is r/2*(-116)/(-5) a multiple of 31?
False
Suppose 3 = 3*s - 3*f, 0*f - 4*f + 14 = 2*s. Suppose -s*k + 3*u = -282, -k - 5*u + 104 = 10. Is 47 a factor of k?
True
Let c(x) = x**2 - 15*x + 829. Is c(0) a multiple of 15?
False
Let u(p) be the first derivative of -p**2 - 8*p + 13. Does 4 divide u(-11)?
False
Does 2 divide 275 + -4 - 105/(-15)?
True
Let o = -1187 - -2023. Is 22 a factor of o?
True
Let c be -8 + 3 + (2 - -1). Let h(q) = 14*q**2 - 2*q - 1. Let b be h(c). Let f = b - 13. Is 22 a factor of f?
False
Does 32 divide 1586/8 - (-19)/(-76)?
False
Suppose -43*h + 1474 = -32*h. Is 8 a factor of h?
False
Suppose 28 = -5*h + 2*j - 82, 0 = h + 4*j. Let m = h - -38. Does 6 divide m?
True
Let j(i) = 5*i - 1. Let d(r) = -11*r + 3. Let b(w) = 4*d(w) + 7*j(w). Let h be b(5). Does 13 divide (-53)/(-4) + 10/h?
True
Suppose 0 = -4*a - 2*a - 54. Let s(p) = p**3 + 9*p**2 - 9*p - 7. Is 20 a factor of s(a)?
False
Suppose -5*r = 28 + 7. Let l be -4*((-7)/2)/r. Is 3 - (30 + 3)*l a multiple of 20?
False
Let t(y) = 1. Let b(a) = 86*a - 17. Let o(z) = b(z) + 2*t(z). Is o(4) a multiple of 47?
True
Let x(r) = 263*r + 171. Is x(8) a multiple of 13?
True
Is 38 a factor of -24 + 30 + -2 + 208?
False
Suppose 0 = 3*x - 26 - 19. Suppose -3*m - 7 = k, 4*k + 6*m + 7 = m. Suppose -13 - x = -k*n. Is 4 a factor of n?
False
Suppose g = -g. Let q(c) = -c**3 - c**2 + 2*c + 64. Let p be q(g). Let o = p - 32. Is o a multiple of 19?
False
Let o(j) = j + 28. Let s(w) = w**2 - 7*w - 3. Let u be s(6). Is 10 a factor of o(u)?
False
Let v = -3 - -94. Let d = v + -73. Is 18 a factor of d?
True
Let i(s) = 24*s - 25. Is 4 a factor of i(5)?
False
Let n be 521/4 - 3/12. Let u = n + -219. Let f = -37 - u. Is 26 a factor of f?
True
Let w = -3 - 2. Let r = w + 12. Suppose 2*i = 3*i - r. Is i a multiple of 5?
False
Suppose -1341 = -10*t + 239. Let k = t + -95. Is k a multiple of 31?
False
Suppose -2*l - 5*x + 6 = 0, -4*x - 8 - 4 = -4*l. Suppose -j - l*j = -20. Suppose j*n + 80 = 9*n. Is n a multiple of 10?
True
Suppose 3*l + 9 = 5*g, l = -4*l + 10. Suppose -g*i + j + 25 = 0, -5*i = -4*j + 18 - 55. Does 11 divide 17 - 6*6/i?
False
Does 6 divide (-4)/(-6) + 6710/33?
True
Suppose -7*s + 396 = 5*s. Does 11 divide s?
True
Let w(j) = -5*j - 11. Let n(k) = -k**3 + 9*k**2 + 9*k + 5. Suppose -4*f + 20 = 0, 3*x + 4*f = 4*x + 10. Let o be n(x). Is w(o) a multiple of 14?
True
Suppose -9 = 2*m + 5*t + 8, -4*t - 32 = -3*m. Does 22 divide ((-8)/20)/(-2*m/1760)?
True
Let x(t) = 5*t - 38. Let k be x(8). Is 3 - (1/k)/(1/(-218)) a multiple of 16?
True
Suppose 0 = -2*o + 4*n + 1680, -n = -18*o + 17*o + 840. Is o a multiple of 21?
True
Let i = -11 - -16. Let h(z) = 1 + i - 12*z**2 - z**3 - z + 6*z**2. Is 4 a factor of h(-6)?
True
Let m be 5 + (-2 - 1) + 2. Suppose i = -m*i + 265. Suppose 5*k + 3*q = i, q - 55 = -3*k + 5*q. Does 13 divide k?
True
Let p(z) = z**3 + 7*z**2 + z + 8. Let a be p(-7). Let d be a/(-2) - 33/(-6). Suppose 0 = d*x - 2*w - 35, 6 + 1 = 3*x - 4*w. Is x a multiple of 9?
True
Suppose -5*n = -3*u + 470, 20*u - 2*n + 308 = 22*u. Does 23 divide u?
False
Let v be -2*((-45)/3)/3. Suppose -2*w + v*w = 328. Does 11 divide w?
False
Let y = 340 - 187. Does 12 divide y?
False
Let x(p) = -8*p + 22*p + p**2 - 1 - 17*p. Let g be x(4). Suppose 2*h = -g*i + 8 + 21, 25 = -5*i. Is h a multiple of 8?
False
Let f(b) = 5*b. Let s be f(-8). Is (-8)/(-12) - (2 + s/3) a multiple of 11?
False
Let c(g) = g - 85. Let u(s) = -3*s + 84. Let i(k) = -3*c(k) - 2*u(k). Does 5 divide i(-25)?
False
Let z = 395 + -80. Is z a multiple of 15?
True
Suppose -3*h - 3 = 3*z - 30, -9 = -2*z + h. Is (3 - 6)/(z/(-40)) a multiple of 3?
False
Does 43 divide (-661640)/(-728) + ((-6)/(-13))/3?
False
Let w(x) = x**3 - x**2 + 9. Let o be w(0). Let z(c) = -c**3 + 8*c**2 + 11*c + 8. Let b be z(o). Let v = -13 + b. Does 13 divide v?
True
Suppose -2*f + f - 4*g = -26, -4*f = -5*g - 125. Is (-674)/(-10) - 12/f a multiple of 7?
False
Let h(u) = -11*u + 10. Let t = 14 - 25. Is 20 a factor of h(t)?
False
Let u be (-1)/(32/36 - 1). Suppose 4*y + 2*h - u - 1 = 0, -2*y + 4*h + 20 = 0. Let q(g) = g**3 - 2*g**2 - 5*g - 3. Is q(y) a multiple of 2?
False
Let d = -442 - -3610. Does 33 divide d?
True
Is 10 a factor of ((4/6)/(-1))/((-152)/110580)?
False
Let u(t) = t**3 - t**2 - t. Let n be u(2). Is 6 a factor of (16 - n) + (4 - 5)*2?
True
Suppose -37180 = -8*l - 14*l. Is 26 a factor of l?
True
Let f(j) = -3*j**2 - 7*j - 8. Let k(c) = -7*c**2 - 15*c - 17. Let b(z) = 13*f(z) - 6*k(z). Is 46 a factor of b(7)?
True
Let g be 45/(-20)*(-5 - -1). Let h be ((-39)/g + 2)*3. Let a = h - -25. Is 18 a factor of a?
True
Suppose 5*s + 5 = 20. Let i(t) = t. Let z be i(s). Suppose -2*d = 5*r - 209 - z, -236 = -5*r + 4*d. Does 24 divide r?
False
Let q = -17 - -21. Suppose -3*c = -q*u + 426, -4*c - 711 = -5*u - 178. Let m = u + -72. Does 19 divide m?
False
Suppose 1332 + 846 = 3*l. Is 6 a factor of l?
True
Is 23 a factor of 256 - 0 - (-2 + -3)/(-5)?
False
Let n(j) = 547*j**2 + 6*j + 8. Does 52 divide n(-2)?
True
Let j be 13/5 - 10/(-25). Suppose -2*m - j*m = -15. Is 2 + (-3 - -13) + m a multiple of 5?
True
Let h(a) = -3*a**3 - a**2 - 3*a + 3. Let k be h(-2). Suppose -503 = -7*v + k. Does 16 divide v?
False
Suppose -2*n + 34 = -42. Let v = n - -17. Does 5 divide v?
True
Suppose 6*u - 40 = 62. Does 7 divide u?
False
Let k = 149 + -305. Let u be -1 - (-2)/(-3)*3. Does 7 divide (k/18)/(2/u)?
False
Let r = 9 + -4. Suppose 4*p = -12, -5*n + p - r*p + 263 = 0. Is n a multiple of 11?
True
Let s(g) = g**2 - g + 132. Is s(12) a multiple of 7?
False
Suppose x = 3*x. Suppose x = -2*d + 2*b + 8, d - b = 3*b + 4. Does 6 divide (3 - d - -21) + 1?
False
Let i = -11 + 20. Let z(d) = 4*d + 6 - i*d - 3 + 8*d. Is z(5) a multiple of 5?
False
Suppose -t - 2*t - 12 = -d, -4*t = 5*d - 3. Suppose 5*s - 4*k = 83, 2*s + 5*k = d*s - 4. Does 19 divide s?
True
Suppose 4*x = x + 24. Suppose -13*k = -x*k - 120. Is k a multiple of 16?
False
Let b(y) = -y + 23. Let f be b(-11). Let o = f - 5. Is o a multiple of 29?
True
Does 41 divide -14*30/(-84) + (2004 - 0)?
True
Let c(f) = -25*f + 19. Let s be c(-4). Let h = s - 85. Is h a multiple of 34?
True
Suppose -3303 + 663 = -3*q. Is q a multiple of 11?
True
Let y(a) = a**2 + 20*a + 40. Suppose 3*w = 7*w - 4*v + 104, 92 = -4*w + v. Is y(w) a multiple of 16?
False
Let t(g) = 7*g + 6*g - 12*g + 25. Let z be t(-11). Let i = z + 13. Is 27 a factor of i?
True
Let m = -291 + 762. Let f = m + -149. Is f a multiple of 23?
True
Let p(w) = w + 60. Let b be (-16)/(-10) - (-4)/10. Suppose 0 = 3*d + 3*t - 3, -b = 4*t - 6. Does 20 divide p(d)?
True
Let k = 105 - 109. Is 42 a factor of 3*(-1)/k - (-333)/4?
True
Let v(f) = f**3 - 3*f**2 - 5*f + 6. Let q be v(4). Suppose 2*u - 68 = -q*w - 2*u, -5*w = u - 197. Suppose -2*s = -6 - w. Is s a multiple of 23?
True
Suppose -2*u - 4*g - g + 37 = 0, -4*u + g = -63. Let q(d) = d**3 - 4*d**2 - 3*d - 1. Let a be q(5). Let m = u - a. Does 2 divide m?
False
Let a = 116 + -216. Is 15 a factor of (-3)/(0 + -3) - a?
False
Let p(k) = -51*k - 30. Let a be p(-9). Suppose -7*o + 75 = -a. Is 18 a factor of o?
True
Let s = 2293 - -784. Does 17 divide s?
True
Suppose -3*d + 5*a = 3*a - 7, -2*d + 4*a = -2. Suppose -2*z + d*c + 39 = -38, 0 = -z + c + 41. Is z a multiple of 23?
True
Let r = 78 - -32. Is r a multiple of 2?
True
Let g(h) = h - 13. Let t = 17 +