4*m - 308. Suppose 5*k - m = 53. Does 13 divide k?
True
Let j = -3 - -3. Suppose j = h - 0*h - 2. Suppose 2*o = -10, 2*o + h = q - 49. Is q a multiple of 11?
False
Is (3/(-4))/(22/(-3322))*4 a multiple of 41?
False
Let m = 4260 - 1270. Does 13 divide m?
True
Suppose 13*v + 472 = 16189. Does 21 divide v?
False
Suppose 385 = 8*s - s. Suppose -s = -f - 2*p, -2*f + f + p + 52 = 0. Is 16 a factor of f?
False
Let x(u) = -u**3 - 2 - 9 + 18*u**2 - 15*u - 32*u**2. Is x(-13) a multiple of 15?
True
Let z be 6/(-45) - (-1624)/30. Let g = z - 29. Does 5 divide g?
True
Let b = 119 - 198. Let c = 164 + b. Is 23 a factor of c?
False
Let v(f) = -f**3 - 3*f**2 - f + 2. Let j be v(-2). Suppose j = 4*i - 7*i + 156. Is 13 a factor of i?
True
Is (-4)/(-5)*-1*(-36575)/14 a multiple of 59?
False
Let d(w) = -w**2 - 15*w - 47. Is 3 a factor of d(-10)?
True
Let x = -138 + 211. Suppose -x = -5*k + 252. Let i = k - 39. Is i a multiple of 10?
False
Let t(d) = -d**2 - 2*d + 4. Let i be t(0). Suppose 0*b + 4 = b, -i*a = 2*b - 28. Suppose a*l = -3*h + 129, 0*l + 5*l = 5*h - 175. Does 14 divide h?
False
Suppose 2*y - 3*y = -12. Let v = -177 + 612. Is (-4)/y + v/9 a multiple of 24?
True
Suppose 11*g + 4*m = 7*g + 4020, -5*g + 4*m + 5052 = 0. Does 42 divide g?
True
Suppose -147 = -k - 5*j, 2*k + 2*k + 2*j - 606 = 0. Does 38 divide k?
True
Let u be 4/4*(5 - 1). Suppose 4*j - 172 = -3*n, -9 - 187 = -u*j + 3*n. Does 8 divide j?
False
Let w(a) = 3*a - 3*a**2 + 3 + a**3 + 3 + 8*a**2. Let k be w(-4). Does 12 divide (-96)/28*(3 - k)?
True
Let t(s) = 251*s**3 - 2*s**2 + s. Let c be t(1). Suppose 5*q - 5*i - 215 = 0, 5*q + 4*i = 2*i + c. Is 20 a factor of q/15*90/4?
False
Suppose -4*b = 3*j + 2*j + 323, 0 = 4*j + b + 265. Let m = j + 151. Does 12 divide m?
True
Suppose -2212 = -2*j - 12*j. Is 10 a factor of j?
False
Let h be 3*((-9)/(-3) + -2). Suppose 2*d = 63 - h. Is d a multiple of 15?
True
Suppose z = -6*z + 1323. Is z a multiple of 21?
True
Suppose 0 = 5*m + 20 - 95. Let q(b) = b**3 + 9*b**2 - 8*b + 21. Let n be q(-10). Suppose n = 2*t - m. Is 8 a factor of t?
True
Suppose 0 = 2*p + 3*p. Suppose p = 11*n - 7*n - 272. Is n a multiple of 34?
True
Let n(o) = 69*o + 175. Does 14 divide n(7)?
True
Let f(j) = -55*j - 34. Let h be f(-4). Let k = h + -63. Is k a multiple of 16?
False
Let r(s) = 28 + s - 4 - s + s. Is r(-10) a multiple of 7?
True
Let f = -27 + 25. Let i = 6 + f. Is 21 - (0/2)/i a multiple of 9?
False
Suppose -5*i - 168 + 5 = 2*f, 0 = 4*i - f + 133. Let g = 13 + i. Is ((-6)/(-8))/((-1)/g) a multiple of 15?
True
Suppose 0 = -4*h - 8, -2*h + 121 = 2*t - 79. Does 17 divide t?
True
Suppose 85840 = 9*y + 28*y. Does 10 divide y?
True
Is 74 a factor of 2*5058/12 + 4?
False
Suppose -6*u - 279 = -27. Is (52/(-12) - -4)*u a multiple of 11?
False
Does 14 divide (-72)/(-27)*39/2?
False
Suppose -30 = -4*b + b. Let v = b - 14. Is 10 a factor of 1*-2 + 36 + v?
True
Suppose 6*a + 3*a = 594. Does 8 divide a?
False
Is (-60744)/(-45) - (-6)/45 a multiple of 45?
True
Suppose 483 = z + 3*y, -978 = -3*z - 3*y + 477. Is z a multiple of 27?
True
Suppose 0 = -5*u - u - 48. Let y(o) = -o**3 - 7*o**2 + 9*o + 12. Let n be y(u). Suppose 101 - 261 = -n*h. Does 20 divide h?
True
Suppose -2*y = 8, -3*p - y + 317 = -4482. Does 36 divide p?
False
Let c = 13 - 8. Let u(t) = -t**2 + 14*t - 12. Let l be u(c). Let n = l - -23. Is 14 a factor of n?
True
Let g = -869 + 3719. Is 40 a factor of g?
False
Suppose 5*n - 5*a = 135, -31 = -n + 2*a - 4. Let i = n + -22. Suppose i*c - 2*h - 83 = 0, 4*h = -4*c + 9*c - 91. Is c a multiple of 15?
True
Suppose 0 = -5*i + 22 - 12. Suppose 0 = -i*q - 18 + 104. Does 25 divide q?
False
Let v be (-6)/(-15) - (184/10 - -2). Suppose 0*m + 4*m - 232 = 0. Let o = v + m. Does 8 divide o?
False
Let o(l) be the first derivative of l**4/4 - 2*l**3 + 5*l**2 - 5*l - 13. Does 4 divide o(5)?
True
Let k(v) = 5*v - 20. Let l = 34 - 25. Does 25 divide k(l)?
True
Suppose 3432 = 13*y + 13*y. Does 46 divide y?
False
Suppose 0 = 6*o - 75*o + 276. Suppose -223 = -4*t - 0*t + h, 3*t - 5*h - 163 = 0. Suppose 2*p - t = o*m, p + m = -0*p + 16. Is 20 a factor of p?
True
Suppose 358 = 8*q - 162. Is 5 a factor of q?
True
Suppose -2*d = t + 7 - 3, -t + d + 8 = 0. Suppose -r = 4*c - 3*c - 41, t*c + r - 152 = 0. Suppose 6*v + 15 = 3*v, 3*b - 2*v - c = 0. Is 4 a factor of b?
False
Let l = -38 + 54. Let w = -5 + l. Suppose f - 3*s - 21 = 0, 3*f - 117 - w = -4*s. Does 18 divide f?
True
Let w = 55 - 95. Let j = w - -18. Let r = 46 + j. Is r a multiple of 6?
True
Let t(n) = 13 - n**3 - 17 + 2*n + 0*n**3. Let d be t(-3). Let q = 11 + d. Does 9 divide q?
False
Suppose -2*l + 8 = -2*j, 4*j + 23 = 5*l + 2*j. Suppose -2*f - 6 = -g, -l*g - f + 69 + 16 = 0. Is g a multiple of 4?
True
Suppose 0 = 176*s - 167*s - 15048. Does 8 divide s?
True
Let l be (2 - -15)/((-6)/(-18)). Let a = -20 + l. Does 9 divide a?
False
Let k = -14 - -27. Suppose s = 195 - k. Is 14 a factor of s?
True
Let s = 18 - 28. Let r be s/(3/(3/(-2))). Suppose -r*c = -2*c - 48. Is c a multiple of 8?
True
Suppose 5*h = -5*v + 2365, -5*v = 3*h - 88 - 1341. Is h a multiple of 18?
True
Let u = -17 + 19. Let s(g) be the first derivative of g**3 - 2*g**2 + 2*g + 2. Does 2 divide s(u)?
True
Suppose 3*i = o - 27, -5*o + 165 = -i - 4*i. Is o a multiple of 11?
False
Let u = 153 - 25. Suppose -14*g - 2 + u = 0. Is 2 a factor of g?
False
Does 6 divide 2 - ((-4)/18 - (-98032)/(-144))?
False
Suppose 5*t + 4*r = -36, -5*t + 4*r = -r. Let d = t + 6. Does 2 divide d?
True
Let m(r) = r**3 + 7*r**2 + r + 3. Let i be m(-7). Let h = i + 42. Suppose 2*w = 3*k - h, 3*k + w - 36 + 10 = 0. Is 2 a factor of k?
True
Let k be 5 + (-11016)/(-30) - (-2)/(-10). Let i = k + -190. Is i a multiple of 13?
True
Let a be 12/(-9)*9*-20. Let j = -93 + a. Is j a multiple of 49?
True
Let q(s) = -s**3 + 5*s**2 + 12. Let j be q(5). Let z(l) = -l**2 + 12*l + 3. Let r be z(j). Does 4 divide 2/(2/r) - -9?
True
Let f be 108/(-30) + 3/5. Let s be 6 + f*(-4)/(-4). Let a(g) = 7*g - 4. Is a(s) a multiple of 3?
False
Suppose 9 = t + 2*x + 10, t - x = -10. Let k(r) = -6*r - 9. Is 3 a factor of k(t)?
True
Let k be (1 - 15)/(-2 + 4). Let j(q) = -17*q - 63. Does 9 divide j(k)?
False
Suppose -3*h = 4*k - 2836, 11*h - 6*h + 5*k = 4720. Is h a multiple of 20?
True
Let g(n) = -3*n + 1. Let r be g(-1). Suppose k + k = r*t + 108, -4*t = -5*k + 246. Is 23 a factor of k?
True
Let z be (8/(-4))/(-1) - 0. Suppose 2*u - 21 - 1 = z*p, -u + 4*p = -23. Suppose 3*j - 2*w - 38 = 0, 4*j - 4*w - 49 = u. Does 10 divide j?
True
Let o(s) be the third derivative of -s**4/24 + 4*s**3/3 - s**2 - 60*s. Let h = -17 + 10. Is o(h) a multiple of 5?
True
Let s(v) = 3*v + 8. Let d be (-4)/((0 - 2) + 3). Let n(w) = -w**2 - 3*w - 7. Let h(g) = d*s(g) - 5*n(g). Is h(-3) a multiple of 11?
False
Let d(l) = -l**3 + 18*l**2 + 4*l - 35. Does 35 divide d(10)?
True
Let x be -1*(-4*2 - -1). Suppose -l = f - 2, 3*f + 4*l + 4 = x. Suppose -f*k - 11 = -176. Does 9 divide k?
False
Suppose -13*g + 2*k = -11*g - 10366, -3*g + 4*k = -15552. Is g a multiple of 148?
True
Let k be (2/(-5))/((-1)/10). Suppose 0 = k*p + x + 306, 7*x - 3*x = -5*p - 388. Let w = p - -121. Does 27 divide w?
False
Let r = 599 - -1263. Is r a multiple of 38?
True
Let y(a) = -3*a - 7. Let j be y(0). Let m be -80*(j/5 + 1). Suppose 2*g - u - 46 = 0, 3*u - m = -g - u. Is g a multiple of 8?
True
Let z(u) = 103*u**2 + u + 2. Let r be z(2). Suppose -185*v = -189*v + r. Is 30 a factor of v?
False
Let q(o) = -94*o + 3. Let y be q(-1). Let a = -45 + y. Is 15 a factor of a?
False
Suppose 2*z + 35 + 37 = 0. Let u = -85 + 135. Let h = u + z. Is 14 a factor of h?
True
Let n = 69 - -137. Is n a multiple of 45?
False
Let x(t) = 40*t**3 + t**2 + 5*t - 5. Is 11 a factor of x(1)?
False
Let t = -62 + 62. Let r = 17 + t. Does 11 divide r?
False
Let t(w) = -w**3 - 10*w**2 - 9*w. Let b be t(-9). Let j(z) = -z**2 - z + 19. Let v be j(b). Suppose 0 = 8*n - 3*n - 2*r - 37, 2*r - v = -3*n. Is n even?
False
Let z = 657 + -455. Let f = z - 100. Does 14 divide f?
False
Let b = -1828 - -3480. Does 85 divide b?
False
Let k(v) = v. Let b be k(5). Suppose b*t - t - 12 = 0. Suppose t*g = 2*y + 2*g - 14, 0 = -y - 2*g + 17. Is 6 a factor of y?
False
Suppose c = -r + 5, -2*r + 7 = 5*c - 6*r. Suppose 125 = 4*y + 3*p, -2*