se -5*m = -226 + q. Does 9 divide m?
True
Does 5 divide 20/(-2) + 275*1?
True
Let p(t) = -t + 15. Let c be p(11). Suppose -3*j = -5*s - c*j - 79, -2*j = 2*s + 30. Let o = s - -39. Does 23 divide o?
True
Suppose -6*q + q = 130. Let v = q + 56. Is 15 a factor of v?
True
Suppose 357 = 3*a + 60. Suppose -a*s + 98*s + 43 = 0. Is s a multiple of 9?
False
Let z(w) = 1 - w + 0*w + 3*w + w**2 + 5*w**2. Let k be z(-1). Suppose l - 19 = -d + k*l, 4*l + 30 = 2*d. Is 11 a factor of d?
True
Suppose 3*w - 76 + 52 = 0. Suppose -w*d + 6*d = -180. Does 5 divide d?
True
Suppose 0*c - 6 = 3*c + 3*d, c - d + 4 = 0. Let i be 58/((-4 - c) + 2). Suppose -2*q = -q - i. Does 19 divide q?
False
Let i be 6/((-56)/(-32) + 2/(-8)). Suppose 4*b + 3*d = 121 + 13, 3*d + 122 = i*b. Does 3 divide b?
False
Let q be 8/(-28) + 46/14. Suppose z - 2*y = -4*z + 333, q = 3*y. Suppose -f - 5 = 0, -2*v + 64 + z = -5*f. Does 13 divide v?
False
Suppose -i + 115 + 3 = 0. Is i a multiple of 5?
False
Suppose 0 = o - 1, 5*g + o = -3*o - 36. Let w = 41 + g. Let q = w - 9. Is q a multiple of 12?
True
Let u(f) = f**3 - 44*f**2 + 2*f - 73. Does 5 divide u(44)?
True
Let s(a) = -2*a**3 - 8*a**2 + 29*a + 71. Is 9 a factor of s(-8)?
True
Let k(a) = -a**2 + 3*a + 2. Let j be k(3). Suppose -3*x = -4*q + 83, -j*q + 0*x = -x - 43. Let h = q + -9. Is h a multiple of 14?
True
Let t = 211 + -35. Is 11 a factor of t?
True
Suppose -2*m - 3 = -53. Suppose d - m = 5. Suppose -d = -5*b + 2*b. Is 10 a factor of b?
True
Let u(f) = -3*f**2 - 45*f + 15. Is u(-14) a multiple of 33?
False
Let f = -122 + 15. Let g = f + 163. Is 10 a factor of g?
False
Let o be (-88)/3*(-99)/6. Suppose -4*p - 4*t + o = 0, -2*t + 7*t + 403 = 3*p. Is 42 a factor of p?
True
Let w = 71 + -153. Let d = -30 - w. Is d a multiple of 26?
True
Suppose 14 = 3*z - z + 4*a, -z + 3*a - 8 = 0. Let d(g) = -15*g**3 - g**2 + 1. Let l be d(z). Let q = 23 + l. Does 4 divide q?
True
Let w = 9 - 13. Let c be w/14 + 10/(-14). Does 24 divide (-1)/(c/(-2)) - -74?
True
Suppose -264 = -g + 5*y, -g = -6*g - 4*y + 1378. Is g a multiple of 11?
False
Suppose 15*w - 6993 = 2682. Is w a multiple of 28?
False
Let f be (-14)/28 - 63/(-2). Suppose -8 = -h + 4*h - 4*t, 3*t = -4*h + f. Suppose h*j + 0*j = 84. Is 21 a factor of j?
True
Let p be (-3)/(15/10) - 6. Let x be 4/p*-20 - 0. Suppose -x*b + 7*b + 90 = 0. Is 8 a factor of b?
False
Suppose -18*t - 2*t = -5120. Is t a multiple of 26?
False
Let k(l) = -l**3 - 14*l**2 + 69*l + 60. Is k(-23) a multiple of 49?
True
Suppose 15*t = 10*t + 150. Does 10 divide t?
True
Let j(w) = 23*w + 20*w + 23*w - 3. Let k be j(7). Suppose 3*u = 5*h + 2*u - k, 4*h - 4*u = 364. Is 12 a factor of h?
False
Let l(c) = 46*c + 233. Is l(0) a multiple of 7?
False
Suppose -4*v - 29 = -197. Let n = -16 + 37. Let p = v + n. Is 21 a factor of p?
True
Suppose 2*s - 27 - 23 = 0. Suppose 0*g + 5*y = 2*g, 3*y = -4*g + 26. Suppose 2*n - g = s. Is 5 a factor of n?
True
Is 20 a factor of (-1 - (-108)/20)/((-10)/(-6000))?
True
Let o = 782 - -2. Is 7 a factor of o?
True
Is 10 a factor of (-119172)/(-78) + 7*(-6)/(-273)?
False
Let c be (-4)/((-60)/(-25) + -2). Is (-3)/c*32/3*5 a multiple of 5?
False
Suppose 0 = w - 3*w + 10. Suppose 0 = -2*d + 4*t + 152, -3*t - 430 = -w*d - 43. Suppose -3*c + 140 = 5*i, 3*c - d = 2*i - 5*i. Does 12 divide i?
False
Let a(z) = -5*z**3 - 7*z**2 - 6*z - 2. Let d(j) = -j**3. Suppose -2*b + 4*b = 2. Let l(i) = b*a(i) - 3*d(i). Does 22 divide l(-4)?
False
Let m = 728 + -150. Suppose 3*q - 771 = -4*p, p = -2*p - 2*q + m. Is p a multiple of 48?
True
Let y = 6 + 14. Let a = y - -69. Is 10 a factor of a?
False
Suppose 5*v = -4*t - 147 + 477, t - 5*v = 70. Let a = -26 + t. Is 9 a factor of a?
True
Let p(i) = 1. Let d(f) = 3*f - 6. Let z(j) = -d(j) - p(j). Is 7 a factor of z(-2)?
False
Let q = 1830 - 1782. Is 12 a factor of q?
True
Suppose 4*h = 5*h. Suppose h = -c - 4*b + 2, 3*c = 5*c - 3*b - 4. Suppose -155 = -3*n + w, -c*w = -w + 5. Is n a multiple of 25?
True
Suppose 12*l = -3*l + 30. Suppose -4*x + 276 = l*x. Is x a multiple of 19?
False
Suppose -5*o = -j + 68, -o = -0*j + 5*j - 314. Suppose -3*i = 4*y - 60, 0*y + 5*y - j = -3*i. Does 8 divide i?
True
Let c(y) = y + 3. Let a be c(-1). Is 9 a factor of a/4*-34*-2?
False
Let w be (-1)/(-5) - 7/35. Suppose w = 4*r + r - 45. Is r a multiple of 8?
False
Let c be (-3)/(90/(-366)) + (-2)/10. Suppose -15*y = -c*y - 66. Is y even?
True
Let z = -19 + 19. Suppose z*j = -j. Is 26 a factor of (81 - j) + 15/(-5)?
True
Let t be -1 - 17/(-6) - 1/(-6). Suppose t*p - 15*p + 858 = 0. Is 32 a factor of p?
False
Let y = 954 + -395. Does 13 divide y?
True
Let l = -346 - -564. Let h = l + -74. Does 36 divide h?
True
Let b(s) = 12*s**3 + 4*s**2 - 9*s - 4. Is b(4) a multiple of 44?
True
Let f(a) = -3*a**2 - 9*a + 19. Let x be f(-7). Is 13 a factor of x*((-9)/3 + 2)?
True
Suppose -4*b = b + 3*m - 212, -2*m = 5*b - 213. Is b a multiple of 9?
False
Suppose 6*d - c - 64 = d, 4*c + 64 = 4*d. Does 15 divide ((-212)/(-5))/(d/30)?
False
Suppose -15*w + 8323 = -4682. Is w a multiple of 51?
True
Let w(s) = -s**3 + 8*s**2 + 7*s - 3. Suppose 3*a - 26 = -2. Let k be w(a). Suppose -3*l = 3*m - k - 133, 5*m = 3*l + 334. Is m a multiple of 13?
True
Let q(l) = 17*l - 29. Is q(32) a multiple of 15?
False
Let y(s) = -s**2 + 6*s + 7. Let q be y(7). Suppose -5*g = 3*i - 91, q*i = g + 5*i - 5. Is 19 a factor of 86 + -2 + g/4?
False
Let z(k) = 169*k + 4. Let j be z(4). Suppose -5*x - 3*v - 866 = -0*v, 4*v = 4*x + j. Is x/(-6) - (-1)/3 a multiple of 10?
False
Suppose 4*t - 4*b + 115 = 2295, 5*b + 25 = 0. Is t a multiple of 20?
True
Let h(c) = 30*c + 214. Is h(9) a multiple of 11?
True
Is ((-12)/(-2) + 3)*3 a multiple of 3?
True
Is (-39 + -7)/(5/(820/(-8))) a multiple of 23?
True
Let h(u) be the third derivative of -u**7/2520 + u**6/45 - 7*u**5/120 + 5*u**4/24 + 5*u**2. Let s(d) be the second derivative of h(d). Is 16 a factor of s(11)?
True
Let v = -407 + 265. Is v/(-4) - (-6)/(-12) a multiple of 7?
True
Let w = 130 - 33. Is w a multiple of 3?
False
Suppose 2*l - 4*x + 70 = 0, -2*l - x + 0*x = 70. Let y = -26 - l. Is y a multiple of 4?
False
Suppose 9*q - 4*q - 20 = 0, 4*f = q + 8. Suppose 4*h - 42 = -f*h. Is 6 a factor of h?
True
Let v(i) = 4*i - 3. Let r(t) = -t - 7. Let q be r(-12). Let z be v(q). Suppose 0 = -s + 1 + z. Is s a multiple of 5?
False
Let a(g) = 19*g + 164. Is a(24) a multiple of 22?
False
Let h = -1925 + 2122. Does 2 divide h?
False
Let v(n) = 9 + 0*n**2 - 2 + 12*n - 7*n**2 - n**3 - 5*n. Is v(-8) a multiple of 15?
True
Let c(j) = j**3 + 2*j**2 + 4*j + 393. Is c(0) a multiple of 9?
False
Let n be (11/(-22))/(3/(-6)). Suppose -n - 95 = -4*m. Is 8 a factor of m?
True
Let d = 556 - 346. Is 42 a factor of d?
True
Let k(h) be the first derivative of h**4/4 - 2*h**3 - h**2 + 17. Is 6 a factor of k(7)?
False
Let x(k) = 14*k**3 + k + 1. Let a be x(-1). Let p = 260 + -182. Is 8 a factor of a/21 + p/9?
True
Let u(q) = -82*q + 42. Is u(-3) a multiple of 18?
True
Let x be 40/18 - 4/18. Suppose 4*i - 2*h = 8 + 6, -3*h + 19 = x*i. Suppose a + i*a = 126. Is 6 a factor of a?
False
Let h(k) = k**3 - 3*k**2 - 4*k + 3. Let b be h(4). Suppose 0*f = -b*f + 15. Suppose -f*d = -17 - 118. Does 13 divide d?
False
Let c = 370 + -212. Does 11 divide c?
False
Let n(b) = b**2 + b. Let w be n(0). Suppose -y + 12 + 0 = w. Does 3 divide y?
True
Let u(l) = 7*l**2 - 21*l - 10. Let a(s) = 13*s**2 - 41*s - 21. Let y(v) = 6*a(v) - 11*u(v). Let q be y(16). Is 3 a factor of -1 + 12 + (3 - q)?
False
Let j(y) = -y + 33. Let r = -16 + 25. Does 24 divide j(r)?
True
Suppose -2*d + 7 = -1. Let t = 11 - d. Suppose 5*u - 257 = -t. Is u a multiple of 14?
False
Let u = 54 + -13. Let k = -34 + u. Is 4 a factor of k?
False
Let n(m) = 13*m - 21. Suppose -4*b + 17 = -7. Does 17 divide n(b)?
False
Suppose -13*c = c - 1498. Suppose -551 = -5*v + 3*g, -c = -3*v + g + 226. Does 14 divide v?
True
Suppose 0*r + 2*o = -2*r, 0 = -2*r - o + 5. Suppose r*g = -7 - 3, 248 = 2*c + 2*g. Is 14 a factor of c?
True
Let b(x) = 121*x**2 + x. Let q be b(-1). Suppose -4*u - 4*h = -q, 60 = 2*u + 6*h - h. Is 10 a factor of u?
True
Suppose 0*o + 5*b = 5*o, -5*b = -2*o - 6. Suppose 3 = -h, 0 = o*r - 0*r + 2*h - 32. Is r a multiple of 19?
True
Suppose 0 = -6*o - o + 21. Suppose -311 = -5*q -