 v**3 - 10*v**2 - 4. Let i be b(10). Does 31 divide 2/i + 292/8?
False
Suppose 680 = -2*m + 4*m. Suppose 3*o + m = 25. Let a = -69 - o. Is a a multiple of 12?
True
Suppose 0 = -2*s + s + 5. Suppose -1 = 3*l - 16. Suppose -l*y = s*n - 310, 3*n = -3*y - n + 183. Is y a multiple of 17?
False
Is 15 a factor of 4/(-18) + (-5408)/(-36)?
True
Let u(k) = -14*k**2 + 2*k. Let z(l) = -15*l**2 + 2*l. Let p(j) = -5*u(j) + 4*z(j). Does 24 divide p(-4)?
True
Let i be 0*(-4 - (-28)/8). Suppose 2 = -i*v + 2*v, 2*v + 49 = m. Let o = m - 23. Does 25 divide o?
False
Let v(a) = 5*a + 148. Is v(16) a multiple of 19?
True
Suppose -c - 5 = -10. Suppose j - c*i = -4*j + 260, 2*j + 4*i - 92 = 0. Is 10 a factor of j?
True
Let r(g) = -g - 6. Let j be r(-6). Suppose j = -3*y + 4*p + p + 70, -5*y - 2*p + 127 = 0. Is 17 a factor of y?
False
Let k(p) = p**2 - 20*p + 12. Let o be k(20). Let c(x) = -x + 15. Let z be c(o). Suppose -2*q + z*h = -11, 1 + 3 = q - 2*h. Does 3 divide q?
False
Let y(v) = 5*v**2 + v + 1. Let c be y(-1). Suppose 5*z - c*j = -30 + 185, 0 = 3*z + 4*j - 72. Is z a multiple of 4?
True
Suppose -541 = -4*q - 93. Suppose 2*x = 3*x - q. Is 17 a factor of x?
False
Let b = -4 + 6. Suppose -1 = 3*u - b*u. Let k(s) = -40*s - 1. Is k(u) a multiple of 13?
True
Let p = -1 + -4. Let v be 106/(-5) - 1/p. Let g = v - -65. Is g a multiple of 22?
True
Suppose 52*k - 56*k + 1380 = 0. Does 69 divide k?
True
Let a = -83 + 83. Suppose 5*v - 2*v - 21 = 3*u, 2*v - 5*u - 23 = a. Does 4 divide v?
True
Let u = -87 + 89. Suppose -3*t + 80 = 2*g, -u*g - 25 = 3*g. Is t a multiple of 3?
True
Let q(c) = c**2 + 4*c. Let g be q(-4). Suppose 2*s = -4*l + 588, g*l - 4*l + 584 = s. Does 27 divide l?
False
Suppose -5*o + 10 = -0*o. Let g = -1 + o. Let s = 28 - g. Does 5 divide s?
False
Let n = 226 - 137. Let y(b) = -4*b + n - 89. Is 12 a factor of y(-3)?
True
Suppose -3*p + 11 = 4*v - 6, -5*v + 5*p = -30. Suppose -m + 15 = 3*f, -v*f + 115 = 6*m - m. Does 8 divide m?
False
Suppose 0 = 5*h - 5*g - 220, 0 = -2*h - 3*g + 74 + 39. Let z = -113 + h. Let d = -44 - z. Does 6 divide d?
False
Let x(g) = 2*g**3 - 3*g**2 - 2*g - 3. Let a(t) = -2*t**2 - 11*t + 6. Let v be a(-6). Suppose 2*k + v*z - 4*z + 14 = 0, 4*z = -k + 23. Does 6 divide x(k)?
True
Let t = 26 + 395. Is 30 a factor of t?
False
Suppose 6*g - g = -50. Let i(x) = -x**2 - 11*x - 3. Let z be i(g). Suppose 0 = 5*w - t - 108, -w + 17 + z = -t. Is 16 a factor of w?
False
Suppose -z + 3*c = -6*z + 1425, 1425 = 5*z + 4*c. Is 19 a factor of z?
True
Let t(f) = 6*f + 1. Let c(i) = i**3 - 6*i**2 - 5*i + 1. Let x be c(7). Let q = x + -14. Is t(q) a multiple of 2?
False
Let h = -507 - -731. Suppose 7*t - h = -t. Is 18 a factor of t?
False
Suppose -14 = 5*t + 6, -2*d - 5*t - 8 = 0. Suppose j + 345 = d*j. Let o = 137 - j. Does 15 divide o?
False
Let b = -23 - -27. Suppose 0 = -2*u - l + 13, b*u + 0*u - 2*l - 14 = 0. Suppose -5*a = -h, -u*a = -2*h + 3*h - 50. Is 11 a factor of h?
False
Is 10 a factor of (480/90)/((-2)/(-876))?
False
Suppose 5*g = -26*z + 27*z + 13990, -g + 3*z = -2812. Is g a multiple of 13?
False
Suppose 0*u + 2580 = 4*u. Let z be 3/4 - u/12. Let f = z - -80. Does 13 divide f?
False
Let f = -130 + 120. Is (-1 - 1102/(-18)) + f/45 a multiple of 12?
True
Let h = 1621 - 1013. Does 32 divide h?
True
Let y(q) = 2*q - 43. Let x(f) = -3*f + 42. Let v(l) = 6*x(l) + 7*y(l). Is v(-23) a multiple of 19?
False
Suppose 0 = -30*s + 39*s - 14247. Is 28 a factor of s?
False
Let u(c) = c + 3. Let i be u(2). Suppose -h = 4*h - 4*z + 10, -i*h - 35 = z. Does 11 divide 66/4*(-8)/h?
True
Let w(g) be the second derivative of 38*g**4/3 - g**3/6 + g**2/2 + 5*g. Let x be w(1). Suppose n + x = 5*n. Is 19 a factor of n?
True
Let a = -469 + 1897. Is 17 a factor of a?
True
Does 11 divide (1328/(-6) + -5)/(1/(-3))?
False
Let b(x) = -2*x - 35. Let g be b(-19). Suppose 0*v - g*v - 2*q = -169, 2*q - 287 = -5*v. Is 9 a factor of v?
False
Let g be ((-362)/(-6))/((5/3)/5). Let b = -109 + g. Is 15 a factor of b?
False
Suppose 0 = 4*i - 10*i + 30. Suppose -3*v + 5*b + 166 = 0, -6*v + 4*b = -i*v - 60. Is v a multiple of 26?
True
Let f = 43 + -43. Suppose 3*z + 0 - 3 = f, -5*c + 5*z + 450 = 0. Is c a multiple of 23?
False
Suppose 4*i = 2*n + 12, 3*i - 10 = i + 2*n. Let d be (-693)/(-42) - 6/(-4). Is 7 a factor of ((-2)/(-3))/(i/d)?
False
Let z = 10 - 8. Suppose -4*i - 28 = -d - 7*i, 5*d + z*i - 140 = 0. Does 26 divide d?
False
Let w(f) = f**2 - 7*f - 8. Let j be (-1 - -7) + (-8 - -10). Let l be w(j). Suppose l = -4*q + 8 + 176. Is q a multiple of 8?
False
Let o = -13 - -6. Let t(x) = 2*x - 3. Let n be t(o). Let k = n + 73. Is k a multiple of 25?
False
Is 12 a factor of -2 - 3 - -6 - 1*-383?
True
Suppose 6*w + 160 = -4*j + 2*w, 4*j + 148 = -w. Is 4/(-18) + (-4328)/j a multiple of 17?
False
Suppose 0*t = 4*t - 12. Let w be (-20)/15 + 4/t. Suppose w = p - 29 - 19. Is 24 a factor of p?
True
Suppose 4*h + 165 + 11 = 0. Let a = -132 + 29. Let w = h - a. Does 16 divide w?
False
Let x = -1024 + 1266. Is x a multiple of 3?
False
Suppose 0 = r - 2 - 8. Suppose n + r = 6*n. Suppose 31 = n*x - 21. Is 13 a factor of x?
True
Let j(b) = 3*b**3 + 11*b**2 + 5*b + 7. Does 43 divide j(8)?
False
Let y = 10 + -7. Suppose -2*v - y = -7. Does 13 divide 111/v*10/15?
False
Does 24 divide (2 - 0) + (60 - -1042)?
True
Let o(w) = 14*w**3 - 4*w + 3. Let l be o(2). Let y = l - 76. Let t = y + -15. Is 8 a factor of t?
True
Suppose 34*d - 2*d = 27648. Does 92 divide d?
False
Let r(v) be the first derivative of -v**3/3 + 5*v**2 - 7*v + 4. Let y be r(9). Suppose -y*t + 55 = -p, 5*t = 4*p + p + 130. Does 11 divide t?
False
Suppose -2*z + 2*x + 54 = 0, z - 18 = -x - x. Suppose 2*o - 4*o = -z. Is 12 a factor of o?
True
Let g(o) = -3*o - 3. Let c be g(-5). Suppose -88 + c = -2*l. Is l a multiple of 6?
False
Let a(m) = 0*m + 5*m**2 - 1 - 4*m + m**3 + 8*m. Let r be a(-3). Suppose -2*h = -7*h + r*p + 85, 3*h = -3*p + 51. Does 12 divide h?
False
Let b be (-1 + (1 - 1))*-3. Let z be (42/147)/(4 + 81/(-21)). Suppose 6*s - 153 = 3*s - b*x, 173 = 3*s - z*x. Does 11 divide s?
True
Let t(w) = w**3 + w**2 - 2*w - 178. Let m be t(0). Let z = -122 - m. Is 14 a factor of z?
True
Suppose -3*a - 5*i = -75, -2*i = 4*a - 6*i - 132. Suppose -10*h = -7*h - a. Does 10 divide h?
True
Suppose 0 = -5*l + 1 + 24. Let v(m) = l*m - m + 14*m**2 + 10 - 8*m - m**3 - 7*m. Is v(13) a multiple of 18?
True
Suppose -209*h = -203*h - 3102. Is 47 a factor of h?
True
Suppose -5*k - 5*f = 0, k - 18 = 5*f - 6. Let l(u) = -u - 1. Let j be l(-5). Suppose 9 = j*h - d, -4*d + k*d = 4*h - 18. Is 2 a factor of h?
False
Suppose 78 = 3*k + 3*k. Let v(m) = m**2 - 12*m - 3. Let f be v(12). Let z = f + k. Is 3 a factor of z?
False
Suppose 480 = -9*y + 13*y. Is 15 a factor of y?
True
Let d be 1/(-1*2/(-10)). Suppose -d*q - 2*q = -14. Suppose -6*w = -q*w - 4*f - 280, -f - 140 = -2*w. Is 9 a factor of w?
False
Let w = 716 + -524. Is 24 a factor of w?
True
Let b(i) = 3*i**2 + 12*i + 6. Suppose 29 - 9 = 4*m. Suppose -3*w = m*r + 16 - 0, 9 = 3*w. Is b(r) a multiple of 3?
True
Let g(x) = -x**2 + 4. Suppose 3*l + 4 = -a - 1, 2*a + 10 = -5*l. Let m be g(l). Suppose 2*y - m*i = 10, -4*y + 8 = 2*i + 2*i. Is 3 a factor of y?
True
Let s = -8 + 8. Let i be ((-6)/3)/(2 - s). Is 7 a factor of i/((-3)/123 - 0)?
False
Let r(v) = v**2 + 10*v + 10. Suppose 0*p = 3*c + 2*p + 18, -25 = 2*c - 3*p. Let l be r(c). Let x(t) = t**2 + 2*t + 8. Is 16 a factor of x(l)?
True
Suppose 798 = 4*v + 2*v. Let g = v - 57. Is 10 a factor of g?
False
Let w(a) = -5*a**2 - 2*a + 4. Let c be w(2). Let h = 18 - c. Does 21 divide h?
False
Suppose 0 = -4*m - 3*s - 7 - 61, 5*s = -4*m - 60. Let n = 11 - m. Does 31 divide n?
True
Let a be (3 - 0)*2 - 3. Suppose -2*m = 2*x + 8, -x - 2 - a = 2*m. Is 13 a factor of ((-26)/x)/((-2)/(-12))?
True
Let t = -2 + -5. Let d = t + 12. Suppose 0 = d*k - 287 - 13. Is k a multiple of 15?
True
Suppose -d = d + 3*l - 4, -4*d = -2*l + 8. Let n(v) be the second derivative of -22*v**5/5 + v**4/12 + v**3/6 + v. Does 23 divide n(d)?
False
Let l(s) = 15*s - 106. Does 23 divide l(27)?
True
Let l = 22 - 14. Let x be l/28 - 176/28. Let b = x + 13. Is b a multiple of 7?
True
Let b(d) = 50*d - 20. Let x(h) = 1. Let c(i) = b(i) + 2*x(i). Is 26 a factor of c(4)?
True
Suppose p + 14 = 2*