 10*d, y - d = 53. Is y even?
False
Suppose 534 = 3*j - 21. Does 5 divide j?
True
Let y(a) = a**2 + a - 5. Let b be y(-5). Let r(j) = 10*j + b + j**3 - 9 - 5*j**2 + 15*j**2. Does 32 divide r(-6)?
False
Let n be 2*(135/(-18))/(3/(-13)). Let k = n - 22. Is 4 a factor of k?
False
Let q be ((-1)/(-1))/((-1)/1). Let l be q/(2 - (-36)/(-16)). Does 10 divide l/(-10) - 1503/(-45)?
False
Let v(k) = -7*k - 10 - 7*k - k**2 - 4 - 3*k. Let a be v(-11). Suppose 0 = 4*z - 4*b - a, z - b = -6*b + 7. Is 7 a factor of z?
False
Let h = 624 + -576. Is 24 a factor of h?
True
Let f(l) = 143*l. Let g(c) = 1. Let i(n) = f(n) + g(n). Does 24 divide i(1)?
True
Let f(c) = 2*c**2 + 39*c + 24. Is f(-37) a multiple of 17?
False
Let a be 124/14 - 2/(-14). Suppose -a = 6*y + 153. Let b = 9 - y. Is b a multiple of 9?
True
Let b(q) = -q**2 - 12*q - 17. Let u be b(-10). Let h(r) = -4 + 6 + 1 + r + u. Does 11 divide h(5)?
True
Suppose 0 = 2*f - 2*p - 3*p + 333, 5*f = 4*p - 790. Does 11 divide ((-9)/(-6))/((-7)/f)?
True
Suppose 4*r + 2*u - 7696 = 0, 17*u - 7700 = -4*r + 16*u. Does 19 divide r?
False
Suppose -265 = -3*n + 551. Let z = 585 - n. Does 20 divide z?
False
Let d = 123 + -41. Let i = d + 14. Is i a multiple of 24?
True
Suppose -d + 13*w - 11*w + 209 = 0, -5*d = -4*w - 1033. Is 9 a factor of d?
False
Let h(t) = -59*t**3 + 6*t**2 - 10*t - 1. Let n(j) = 30*j**3 - 3*j**2 + 5*j. Let w(k) = -4*h(k) - 7*n(k). Is w(2) a multiple of 21?
True
Let f(s) = -s**3 + 25*s**2 - s + 19. Let b be f(25). Let n(v) = -v**2 - 15*v - 11. Does 21 divide n(b)?
False
Let l be 0 + 0 - 8/(-4). Suppose 5*w = -4*q + 89, -w - l = q - 19. Is w a multiple of 7?
True
Suppose 14*w - 608 = 11*w - 5*s, 2*s = -w + 203. Does 4 divide w?
False
Let d = 15 + -2. Suppose 200 = -d*i + 616. Does 5 divide i?
False
Suppose -57 = -7*i + 888. Does 13 divide i?
False
Suppose -2*m = -3*g - 19, -4*m - g - 3*g = 12. Suppose 131 = m*v + 35. Is 15 a factor of v?
False
Suppose 3*k - 3*w = 27, -2*w = 2*w + 16. Suppose 12*m = -1049 + 4169. Suppose 0*u + k*u = m. Is u a multiple of 13?
True
Let i be -4 + -1 + 4 - -5. Suppose -f + 35 = 4*f. Suppose -3*z + 96 = f*b - 4*b, 0 = 2*b + i*z - 60. Is 15 a factor of b?
False
Suppose -17 = -5*x + 2*h, x - 6*x + 33 = 2*h. Suppose -j = 5*n + 32, x*n + 0*n = 5*j + 130. Does 8 divide (-36)/(j/(-12) + -3)?
True
Let w = 5 - 93. Let k = -80 - w. Is 8 a factor of k?
True
Let w(y) = 32*y**2 + y - 1. Let z be w(1). Let k be z/6 + (-4)/(-6). Is 2 a factor of 0/1 + 30/k?
False
Suppose -28 - 4 = -8*a. Suppose a*z + 1872 = 17*z. Is 24 a factor of z?
True
Suppose -9 = 3*r, -3*r - 8 = -2*m + r. Let f(t) = -25*t + 11*t + 1 - 2. Is 10 a factor of f(m)?
False
Let f(g) = 2*g**2 - 30*g + 46. Is 15 a factor of f(16)?
False
Suppose 4*w - 2*c = 6*w - 6, -5*w = 4*c - 19. Suppose w*t - 4*t - 270 = 0. Is t a multiple of 10?
True
Suppose -457992 = -81*n - 110016. Does 59 divide n?
False
Let b(r) = -2*r**3 - 10*r**2 + 91*r - 17. Does 21 divide b(-14)?
False
Suppose 0 = -4*m - o + 6*o + 3, 5*m + 2*o = 12. Suppose 5*r = -5*g + 185, -m*r - 143 = -5*r + 5*g. Does 10 divide r?
False
Suppose 0 = -4*s - 3*t + 117, 2*s + 0*t = t + 71. Suppose 4*a - 2*a + 672 = 2*v, -v + 318 = 5*a. Suppose -5*p = -v + s. Does 31 divide p?
False
Suppose 4*b - 6 = b. Suppose -6*s + 336 = -b*s. Is s a multiple of 14?
True
Let p(s) be the first derivative of -s**3 + 39*s**2/2 + 30*s - 42. Is p(13) a multiple of 3?
True
Suppose 307*f - 306*f - 38 = 0. Is f a multiple of 19?
True
Suppose 5 = 2*c + 13. Let g be (-4 - c)*3/6. Let d = g + 70. Is d a multiple of 22?
False
Let g = 22 - 20. Suppose 3*i = -g*i. Suppose i = 3*x + o - 159, x - 5*o = 2*x - 53. Is x a multiple of 18?
False
Let q(m) = -2*m + 22. Let w(u) = 2*u + 22. Let x be w(-16). Is q(x) a multiple of 9?
False
Suppose 0 = 7*j - 28 - 0. Suppose j*d = g + 28, 5*g - 52 = -7*d + 3*d. Is d a multiple of 2?
True
Suppose 17*z - 135 = 86. Is z a multiple of 4?
False
Let i = 754 - 431. Is 31 a factor of i?
False
Let t(a) = -12*a - 145. Does 10 divide t(-27)?
False
Suppose 2*b - b = 24. Let g be 244/b - 3/18. Let x = g + 15. Does 8 divide x?
False
Let p = 1 - -11. Let d be (-5)/2*p/(-15). Does 27 divide 199/d + (-7)/14?
False
Let x(n) = -n**2 - 15*n - 12. Let w be x(-14). Suppose -204 - 50 = -w*g - k, 4*g - k - 514 = 0. Does 17 divide g?
False
Let z = 150 + 321. Is z a multiple of 19?
False
Let l(h) = -12*h**3 + 6*h**2 + 9*h + 11. Is 50 a factor of l(-4)?
False
Is -114 - -892 - -4*1/1 a multiple of 5?
False
Suppose 310*v - 304*v = 804. Is v a multiple of 67?
True
Suppose -4*u + 3*u + 80 = 0. Suppose -q + 3*q - u = 0. Does 22 divide q?
False
Suppose -3*a + 32 = -40. Suppose -a = -0*x + 4*x. Let k = x - -9. Is k even?
False
Let g be 17 + (-2)/(-10) + 8/10. Let f = 76 - g. Is f a multiple of 29?
True
Let s(t) be the second derivative of t**4/3 - 17*t**3/6 - t**2 + 4*t. Does 5 divide s(6)?
True
Let w = -59 - -93. Let z be w + (-2)/2 + 1. Let g = z - 5. Does 11 divide g?
False
Suppose 3*s + 0*s - 4*v = -166, 0 = 5*s - v + 288. Let r = 25 - s. Is r a multiple of 13?
False
Suppose -2*a + 4 = 0, 4*t + 6*a - a = 498. Let w = t - 70. Is w a multiple of 12?
False
Let f = -87 - -19. Let h = f + 83. Is h a multiple of 13?
False
Suppose 51*p = 59*p - 3264. Does 17 divide p?
True
Let y(b) = 18*b + 211. Is 5 a factor of y(19)?
False
Suppose 0 = 4*s + 3*c - 23, 4*c - 15 = s + 3. Suppose 0 = 2*x - 7*x. Is (-12 + x)/(0 - s) a multiple of 6?
True
Let a(k) = 4*k - 36. Is a(36) a multiple of 9?
True
Suppose -i - 37 = 32. Is 33 a factor of (-2 + 0 - -1)*(i - -3)?
True
Let h(b) = -9*b**2 - b + 1. Let v be h(-2). Let o be (-1 + 6/(-3))*(-8)/(-6). Does 11 divide (o/(-6) + -2)*v?
True
Let k = 9 + -4. Suppose k*w - 282 = -b, 4*w + w - b = 288. Does 24 divide w?
False
Let d = 46 + -38. Is 10 a factor of (d/(-6))/(4/(-96))?
False
Let k(a) = 3*a**2 + 2 - 3 + 3*a - a + 5. Does 11 divide k(-4)?
True
Let s = 71 + -118. Suppose -q - 108 + 28 = 0. Let u = s - q. Is 11 a factor of u?
True
Let n = -952 - -1601. Suppose 0 = 5*s - k - n, -141 = -s + 2*k + k. Suppose -3*r + s = u, 4*r + 2*u - 57 - 113 = 0. Does 14 divide r?
False
Let p = -10 - -15. Suppose 5*c = -4*n - 2, 0 = c - 6*c - 5*n - p. Suppose -c*g + 0*g = -100. Is 10 a factor of g?
True
Let i = -13 - -78. Is 65 a factor of i?
True
Let j be (5/((-25)/110))/(-2). Suppose j*s - 990 + 319 = 0. Is 7 a factor of s?
False
Suppose 27 = 4*l - 5. Suppose l = -0*w + 4*w. Let q = w + 15. Is q a multiple of 17?
True
Let m(r) = 5*r**2 - 5 + r**3 - 2*r**2 - r - 2*r. Let i be m(-3). Suppose 0 = i*z + 5*c - 81, -c = -4 - 1. Is z a multiple of 7?
True
Suppose -j + 1 = -0*j, 0 = -3*i - 5*j - 223. Let y = i + 137. Is y a multiple of 19?
False
Suppose 0 = 2*h - 2*d - 5838, -d - 2*d - 11676 = -4*h. Let l be h/14 + 1/2. Suppose -5*w + l = -31. Is 12 a factor of w?
True
Let w(r) be the second derivative of r**3/6 + 5*r**2 - 8*r. Is w(-5) even?
False
Let c(n) = n + 33. Let q be c(-20). Let l(b) = b + 19. Is l(q) a multiple of 19?
False
Let m = 290 + 144. Is 43 a factor of m?
False
Let j(f) = -f**2 - 3*f - 1. Let d be j(-2). Suppose 4*x = -4*t - 52, -2*t - x - 33 = t. Does 19 divide (-6 - 1/d)*t?
False
Let a(z) = 3 - 5*z - z**2 - 1 + 3. Let r be a(-6). Does 15 divide 6*r*50/(-20)?
True
Let t(q) = -2*q**2 - 12*q + 13. Let m be t(-9). Let d = -5 - m. Suppose -k = k - d. Is k a multiple of 6?
True
Let g(o) = 57*o**2 - 3*o - 3. Does 12 divide g(-2)?
False
Let l = 85 - 83. Is 31 a factor of (-7 + (-768)/(-30))/(l/20)?
True
Suppose 0 = -44*s + 42*s + b + 537, -s + b = -269. Is 4 a factor of s?
True
Let p = 29 + -23. Let u be (-2 + -67)*2/(-6). Suppose 22*r = u*r - p. Does 6 divide r?
True
Suppose -x = -3*q - 121, -637 = 2*x - 7*x - q. Is 10 a factor of x?
False
Suppose 0*a - 2*a = -6. Suppose c = -d - 2, a*c + d = 6*d + 2. Let v = c + 21. Is 4 a factor of v?
True
Let n = 231 - 256. Suppose -i = 26 - 73. Let u = i + n. Is u a multiple of 10?
False
Let g = -4813 + 7508. Does 49 divide g?
True
Suppose -4*j = 5*c + 20, 25 = -j - 4*j. Suppose -n = -c*n. Suppose -42 = -n*g - g + 2*q, 0 = q. Is g a multiple of 14?
True
Let t be 3*(-3 + 2)*-1. Let w be 557/t - 4/(-12). Suppose 0*r + 102 = 3*r + 2*f, 2*f + w = 5*r. Is 12 a factor of r?
True
Let v = 87 - 61. Let w = -21 + v. Suppose -r + w*i + 25 = 3*r, 32 = 2*r + 4*i