-2)/76). Suppose 0 = 21*r - c*r - 392. Is r a multiple of 24?
False
Let b = 51 + -52. Let x(y) be the first derivative of 7*y**3 + y**2/2 - 2. Is x(b) a multiple of 20?
True
Suppose 5*y + 25 = -0*y, -3*q + 5 = 2*y. Suppose 2*j - d = -q*d + 120, -5*j = -2*d - 288. Suppose -56 = -3*l + j. Is 6 a factor of l?
False
Let x be ((-66)/(-9))/(2/12). Suppose -2*t = -26 - x. Is t a multiple of 7?
True
Suppose 11 = -5*l + 1, 2*c + 3*l = -6. Suppose 5*t + 20 = c, -2*f + 2*t = f - 170. Is f a multiple of 9?
True
Let j = 16 - 13. Is 3 a factor of (-1*j)/((-6)/20)?
False
Let y(a) = -a**3 + 4*a**2 + 4*a + 8. Let i = -17 - -13. Is y(i) a multiple of 20?
True
Let t be 119/105 + (-2)/15. Let h(z) = 42*z**2 + 2*z - 1. Is 13 a factor of h(t)?
False
Let a(r) = -29*r - 2. Let t be a(7). Let k = -137 - t. Does 17 divide k?
True
Let h = -44 + -27. Let u = h + 85. Is u a multiple of 2?
True
Let z(o) be the second derivative of -11*o**3/3 - 3*o**2 - 13*o. Does 27 divide z(-3)?
False
Let q = -398 - -860. Does 21 divide q?
True
Let k(g) = -g**3 + 3. Let a be k(0). Suppose 0 = 2*p - 3*p - 5*d + 15, 0 = 3*d - a. Let n = p + -3. Is n a multiple of 5?
False
Suppose -4*h + 14*h = -h. Suppose h = 13*b + 1175 - 3593. Is b a multiple of 47?
False
Let t(w) = 88*w - 210. Does 24 divide t(16)?
False
Suppose -u + 254 = -5*m, 2*u + 217 = -4*m + 697. Suppose 2*i = -3*b + 146, -5*b = 2*i + 2*i - u. Does 4 divide b?
True
Let n = 657 - 239. Is 38 a factor of n?
True
Let t = -134 + 242. Suppose 0 = 3*y + 3*o - o - t, -3*y - 3*o + 111 = 0. Does 17 divide y?
True
Let k = -104 + 186. Suppose 0 = g - k + 7. Does 15 divide g?
True
Let r = -18 + 21. Suppose -r*c + 1 + 17 = 0. Let m(l) = 9*l - 2. Is m(c) a multiple of 13?
True
Does 2 divide -2 + (-5236)/(-21) + (-10)/(-15)?
True
Let o be (9/12)/(1/28). Let k = -11 + o. Does 3 divide (-5 + 7)*k/4?
False
Let z = 100 + -97. Suppose 0 = -2*p + 6*p + 3*g - 279, -81 = -p + z*g. Is 18 a factor of p?
True
Let h = -140 - -280. Does 12 divide h?
False
Suppose m - 1 - 5 = -5*h, 2*m + 8 = 0. Let t = -148 + 262. Suppose -h*f = f - t. Is 13 a factor of f?
False
Suppose -4*w = n - 0*w + 5, -5*w = 2*n + 1. Suppose 261 = 3*q - 3*y, -q - 2*y + 79 = -n*y. Is q a multiple of 19?
False
Suppose 3501 = -820*s + 829*s. Does 47 divide s?
False
Let x(n) = n**3 - 5*n**2 - 2*n + 10. Suppose -29 = -5*d - 3*k, -3*k - 26 = -3*d + 1. Is x(d) a multiple of 20?
False
Let s = 892 - -126. Is s a multiple of 61?
False
Let l be ((-54)/(-21)*-8)/((-2)/35). Suppose 0 = -11*p + 5*p + l. Is 10 a factor of p?
True
Suppose -5*t + 625 = 5*l, -5*l - 675 = -5*t - 0*l. Let n = 215 - t. Is 15 a factor of n?
False
Suppose 5*k = 5*v - 5620, -5*v + 3*k + 1419 + 4211 = 0. Is v a multiple of 7?
False
Let v(m) = -5*m**2 - 2*m - 1 + 5*m**2 - 4*m**3. Let q be v(-1). Suppose -70 = -3*d + 2*o, -4*d + 26 = q*o - 29. Does 10 divide d?
True
Does 2 divide 60 + 25/(-5) + 4?
False
Suppose 0 = 5*v + 45 - 20, -5*x + 5*v = -2540. Is 7 a factor of x?
False
Let l(d) = -12 + 1 - d + 18. Is 9 a factor of l(-2)?
True
Let h(j) = -j**3 + j + 169. Let d be h(0). Let t = d + 108. Suppose -i = -5*k - 0*i + t, -2*k + 2*i + 114 = 0. Is 19 a factor of k?
False
Let z(q) = 2*q**2 + 18*q + 119. Is z(-17) a multiple of 14?
False
Let r(g) = 549*g + 41. Is 10 a factor of r(1)?
True
Suppose 4*y = -1331 + 3899. Is y a multiple of 29?
False
Let b = 2190 + -1295. Is 27 a factor of b?
False
Let k = -20 + 47. Let s = k + -10. Is 17 a factor of s?
True
Suppose 36 = k + 241. Suppose u = 2*s + 283, -2*s - s = u + 412. Let i = s - k. Does 22 divide i?
True
Suppose 5*t + 94*p = 89*p + 3320, 5*p = -2*t + 1337. Is 14 a factor of t?
False
Let b = 16 + 686. Does 45 divide b?
False
Let d = 1039 + -572. Is 37 a factor of d?
False
Let d be 777/7*(3 - 1). Let t = -142 + d. Is 14 a factor of t?
False
Suppose -467 = -2*d - 2*d - q, 119 = d - 2*q. Is 12 a factor of d?
False
Let t(z) = -z + 12. Suppose 0 = -2*m + 2, -5*g - 218 - 2 = -5*m. Let a = 34 + g. Is t(a) a multiple of 7?
True
Let i = 1094 + -852. Is 121 a factor of i?
True
Suppose -8*p + 1068 = -6*p. Suppose -t = -p + 174. Is 24 a factor of t?
True
Let y(l) = 0*l + 16 + 33*l - 9*l - 12*l. Is 25 a factor of y(7)?
True
Suppose -6*q = -2*q - 2*r - 2, -q - 4*r = -14. Suppose q*t - 6 = -p - 14, -4*p - 8 = 0. Does 7 divide t + 3*(-17)/(-3)?
True
Let n(q) = -3*q**2 + 139*q. Is n(42) a multiple of 14?
True
Suppose 5*v - 4*o = 34, v - 3*v + 7 = 5*o. Suppose -v*y = -11*y + 100. Is y a multiple of 20?
True
Suppose 0 = 5*m - 24 - 11. Let h = m + -15. Let f = h + 18. Is 5 a factor of f?
True
Does 36 divide (-2)/(-4) + (10346/4 - -10)?
False
Let n = -3 - 0. Let i(k) be the second derivative of -k**5/10 + k**4/6 + k**3/3 - k**2 + 23*k. Is i(n) a multiple of 15?
False
Let i = 31 - 26. Suppose 4 = u - i. Does 2 divide u?
False
Suppose -2*b + 3*u - 6 = -u, u = 4. Suppose c + 2*c = -4*m + 285, -2*c = b*m - 190. Is c a multiple of 8?
False
Let k = 2875 - 1349. Is 95 a factor of k?
False
Let t(i) = i**3 + 3*i + i**3 - 5*i + 2 + 2. Does 4 divide t(3)?
True
Suppose -4*i - 3*p + 2*p = -4, -5*p + 20 = 0. Suppose i*d - 162 = -9*d. Does 6 divide d?
True
Let p(h) = 4*h**2 - 7*h + 6. Is 6 a factor of p(4)?
True
Let t be (-1)/(-6) + (-4 - (-3430)/12). Let r be 3/(-5) + (-867)/5. Let w = t + r. Is w a multiple of 18?
True
Does 8 divide -7 + (-4)/((-8)/42)?
False
Let m = -15 + 17. Suppose -2*g - m*g = -12. Suppose 133 = g*y - 44. Is y a multiple of 24?
False
Suppose 0 = -0*l - l - 3*t + 12, 0 = -3*l - 2*t + 15. Suppose 0*m = -m - l. Does 16 divide ((-1056)/55)/(m/10)?
True
Let j be -3*(-11)/3 - -4. Let u be 4*j/6*1. Let r = u - -12. Is r a multiple of 11?
True
Does 110 divide 1106/5*(-39 - -44)?
False
Is -1 - 2480/(-8) - -3*1 a multiple of 21?
False
Suppose -3 = -2*r - 7. Let x(v) = -35*v + 3. Let i be x(r). Let n = i + -19. Is n a multiple of 18?
True
Let s = -2 - -4. Let p = s + -7. Let v = p - -33. Does 14 divide v?
True
Let r = 9 + -6. Suppose 4*c - 5*n = 100 + 217, 5*c - 5*n = 400. Suppose 4*g - c = -b - 2*b, -r*b + 2*g + 71 = 0. Is 25 a factor of b?
True
Let w(z) = -z**2 + 23*z + 7. Does 58 divide w(17)?
False
Let r(l) = -l**3 - 9*l**2 - 11*l - 1. Let q be (44/16 + -2)*4. Suppose 33 = -q*z + 9. Is 14 a factor of r(z)?
False
Suppose -q = -92 + 20. Let t = q + -35. Does 12 divide t?
False
Let o = 20 - -76. Let z = o + -22. Does 37 divide z?
True
Suppose -60 = -12*p + 48. Suppose m - 2*m = -p. Does 3 divide m?
True
Does 6 divide (42/(-18))/((-3)/360)?
False
Let c(k) = 6*k + 50 - 13*k - 16*k - 40. Is 51 a factor of c(-4)?
True
Let w be (3 + -2)/((-2)/(-94)). Suppose -175 = w*y - 52*y. Is 5 a factor of y?
True
Let w = -92 - -1800. Does 14 divide w?
True
Let u = -285 - -674. Suppose 4*s - i = 4*i + u, 2*s + 5*i - 187 = 0. Is 12 a factor of s?
True
Let a(y) = -85*y**3 - 2*y**2 - y - 2. Is a(-2) a multiple of 11?
False
Suppose -7*v = -6*v. Let m be 269/(v + -1)*-1. Suppose y - 32 - 17 = 5*x, -5*y + x = -m. Is y a multiple of 16?
False
Suppose -227*i = -221*i - 864. Is i a multiple of 4?
True
Suppose 2*n = -3*q + 5*q - 10, 0 = 3*n + 15. Let l = 4 - -1. Suppose q*s - l*s + 120 = 0. Is s a multiple of 24?
True
Suppose -3*j - 2092 = -2*x - 7*j, -j = -3*x + 3117. Is x a multiple of 65?
True
Let f(v) = -2*v - 2. Let m be f(-7). Let j = m - 12. Suppose 3*c = -j*c + 9, 0 = -3*r + 2*c + 18. Does 5 divide r?
False
Let v = 29 - 26. Suppose 3*y - 160 + 28 = -v*n, 148 = 4*y - 3*n. Suppose -s - 4*a + 19 = -y, -a - 1 = 0. Is 11 a factor of s?
False
Suppose 3*r + 2408 = 7*r. Is 43 a factor of r?
True
Let d(o) = 47*o**2 - o + 2. Let g be d(2). Let z = g + -110. Is z/10 + 3/15 a multiple of 4?
True
Let t = -22 + 26. Suppose 5*b - 680 = -t*n, -4*b + 2*n + 710 = b. Let y = 198 - b. Does 29 divide y?
True
Let d = 29 + -37. Let y be (-70 - 0)*(-9 - d). Suppose -2*n = 2*j - y, -51 = -4*j + 2*n + 59. Is 6 a factor of j?
True
Let k(c) = 49*c - 26. Is k(1) a multiple of 2?
False
Suppose 0 = z + 5*a - 19, 3*z - 3 - 16 = 4*a. Suppose -m - 2*l + 45 = 2*l, -3*l + z = 0. Is 9 a factor of m?
False
Let c = 11 + -8. Let b be c/6 + (-20)/(-8). Suppose -d - b = -4*d, 3*r + 2*d - 44 = 0. Is r a multiple of 6?
False
Let x(h) = h**3 + 7*h**2. Let u be x(-7). Suppose -3*n + u*n = -6. Suppose n*v + 2*v - 44 = 0. Does 11 divide v?
True
Let l = -28 - -33. Suppose -4*