factor of x?
False
Let i(h) = -h**3 - 26*h**2 - 26*h - 19. Let z = 43 + -68. Does 6 divide i(z)?
True
Let r(k) = -3*k**3 - 2*k**2 - 2*k + 1. Let p be r(-2). Let y = p + -18. Suppose -111 = -v + 4*a, -y*v - 5*a + 75 = -2*v. Does 17 divide v?
False
Suppose 0 = -y - y + 24. Is (46 + -2)*3/y a multiple of 11?
True
Suppose 0 = -26*w + 2*w + 9888. Is w a multiple of 70?
False
Suppose 0 = 3*a + 4*v - 9 - 3, -4*v = 0. Let w be 1094/(0 + 6 - a). Suppose -2*x + w = 5*s, -2*s + 220 = -4*x + 6*x. Does 13 divide s?
False
Let v(b) = b**2 + 6*b + 10. Let i be v(-4). Suppose i*s + 115 = 7*s + 3*u, 3*s + u - 65 = 0. Does 9 divide s?
False
Suppose 4*h = -4, 4*b + 31 = 5*b - 3*h. Suppose z - 2*i = -z + b, 4*i = -z - 6. Does 7 divide (-47)/(-2) - z/(-20)?
False
Suppose 3862 = -36*m + 18226. Is 19 a factor of m?
True
Suppose -7*p - 23521 = 1637. Let x be p/(-12) + 1/2. Suppose g = 6*g - x. Does 10 divide g?
True
Let w be 2/7 - ((-78888)/56 + -1). Suppose -3*s + w = 3*s. Is s a multiple of 47?
True
Let o(v) = v**3 - 3*v**2 - 2. Let j be o(3). Does 13 divide 804/21 - j/(-7)?
False
Suppose 5*n = 2*n + 15. Suppose 0 = -3*j - 2*j, -o + 12 = n*j. Is 12 a factor of o?
True
Is 17 a factor of -2 + 1956/16 + (-10)/8?
True
Let h(y) = y**3 - 10*y**2 + 12*y + 3. Let j be h(9). Let r = 15 - j. Let g = -3 - r. Is g a multiple of 12?
True
Suppose 51 = u + 46. Suppose -u*j + 95 = -250. Does 13 divide j?
False
Is 16 a factor of (-2935)/(-15) + (-25)/15?
False
Suppose -850*w + 6800 = -834*w. Does 17 divide w?
True
Suppose 2*n - 168 = 10*n. Does 25 divide 14/n + (-862)/(-6)?
False
Let u = -58 + 102. Let g = 71 - u. Is g a multiple of 27?
True
Let n(i) = 8*i - 4. Suppose -17 = -d - 2*h, 3*d - 2*h = h + 60. Does 41 divide n(d)?
False
Let n(r) = r**2 - 8*r + 4. Let v = -24 - -42. Suppose -l - l = -v. Is n(l) a multiple of 6?
False
Let j(v) = -v**3 + 8*v**2 + 2. Let a be j(8). Let s = a - -2. Suppose s*x - 85 = 31. Is x a multiple of 5?
False
Let t = 322 - 84. Does 17 divide t?
True
Suppose 5*c + 343 = 10593. Is 41 a factor of c?
True
Let o = -36 + 38. Suppose -q = -o*q + 33. Does 11 divide q?
True
Let i be (90/4)/((-12)/(-16)). Let w be 6/(12/6) + 86/(-2). Let b = i - w. Is b a multiple of 28?
False
Suppose 0 = -7*w + 1729 + 707. Is 29 a factor of w?
True
Suppose 382 = -11*s + 13*s. Does 6 divide s?
False
Let p = -63 - -163. Suppose -i = -2*i + p. Suppose 3*l + i = 8*l. Is 10 a factor of l?
True
Let q = 45 - 45. Suppose 0*c + 2*c = -5*u + 419, q = -c + 2. Is 12 a factor of u?
False
Let p(n) = 4*n**2 + 10*n + 105. Does 25 divide p(-13)?
False
Suppose 13*b - 560 = -b. Does 20 divide b?
True
Suppose -84 = -2*g - 3*g + 2*r, -26 = -g + 5*r. Let p be -20*(-4)/g*2. Suppose 2*w - w - p = 0. Is w a multiple of 5?
True
Suppose -3*k + 0*y = -2*y - 7, -5*k - 2*y + 17 = 0. Does 38 divide k + (2 - -142*(-1)/(-2))?
True
Let y(n) = 51*n**2 - 2*n. Is 53 a factor of y(-1)?
True
Let d(f) = f**2 + 5. Let h be d(0). Suppose -h*o - 3*u + 217 = 0, -3*u + 135 = -2*o + 5*o. Is o a multiple of 10?
False
Suppose -12*g - g = -20501. Is g a multiple of 106?
False
Let q(h) = -h**2 + 11*h + 3. Let y be q(10). Suppose 11*g - y*g + 30 = 0. Does 5 divide g?
True
Suppose 4*a = 2*q + 124, 0*a + 4*a - 4*q - 120 = 0. Is 13 a factor of 206/8 - (-8)/a?
True
Let v(k) be the first derivative of k**4/4 + 11*k**3/3 + 5*k**2 + 10*k - 8. Let d be v(-10). Is (3/(-2))/(d/(-100)) a multiple of 5?
True
Suppose 12*x - 23158 = 6458. Is 44 a factor of x?
False
Suppose 9 = 2*l + 3. Suppose 0 = 3*j - 4*o - o - 537, -j + 175 = -l*o. Is 28 a factor of j?
False
Is 15 a factor of ((-18)/12)/((-12)/592)?
False
Let o = 89 + -52. Is 15 a factor of o?
False
Let v(t) = 14*t + 95. Is 49 a factor of v(4)?
False
Let g(n) = 3*n - 7 - 2*n + 9*n - 3*n. Let o be 8 - (2 - (8/4 + -3)). Is g(o) a multiple of 7?
True
Suppose 21 = 4*v - 23. Suppose -4*r = -v + 3. Is 16 a factor of 32 - (-4*r)/4?
False
Suppose -22*p - 765 = -27*p. Is 49 a factor of p?
False
Suppose 4*f = f - 558. Let s = f + 349. Let p = s + -75. Is p a multiple of 23?
False
Let g = 2063 + -1916. Does 3 divide g?
True
Suppose 0 = 114*s - 98*s - 20368. Is s a multiple of 89?
False
Let h(o) = -o**3 + 7*o**2 - 6*o + 4. Let z be h(6). Suppose 0 = 4*b + 4*f - 2*f - 16, 0 = -b - 5*f + z. Let y = 13 - b. Is 2 a factor of y?
False
Suppose 0 = -o + 3*c - 118, -4*o = -c - c + 452. Let s = o + 158. Is s a multiple of 23?
True
Suppose 4*b = -30*b + 2448. Is b a multiple of 55?
False
Suppose -43*g = -14*g - 7627. Is 5 a factor of g?
False
Let u be 4/10 + 54/(-135). Suppose -12*z + 34*z - 7194 = u. Does 46 divide z?
False
Suppose 0 = 5*c + 2*f - 325, 0*f + 330 = 5*c + 3*f. Suppose c = 7*h - 4*h. Let b = h - 10. Is b even?
False
Suppose q + 10 + 2 = -3*r, -4 = 3*q + r. Suppose -2*i + 8 = -q*i. Suppose -3*l + 240 = 5*h - 8*l, i*l + 16 = 0. Is 11 a factor of h?
True
Let h = 853 + 533. Does 11 divide h?
True
Suppose 0 = -2*h + 7*h - 15. Let p(n) = n + 4. Let w be p(h). Suppose w = 4*o - 53. Is o a multiple of 4?
False
Suppose 2*y - 3 + 9 = 0. Let k be y/(-3)*65*-1. Is 22 a factor of (-4 - -7) + (-2 - k)?
True
Suppose -9*j + 571 + 302 = 0. Is 13 a factor of j?
False
Let a(w) = w + 320. Let m be a(0). Suppose m = 7*g - 2*g. Let i = -29 + g. Is 9 a factor of i?
False
Suppose 9*z + 64 = -80. Let o(y) = y**3 + 7*y**2 + 9*y**2 + 0 - 17 - 2*y - 4. Is 9 a factor of o(z)?
False
Suppose 0 = 3*d - j - 1, 0 = 3*d - d - 3*j + 11. Let q be 1/((-1)/2)*-1. Suppose -a + q = -d. Is 3 a factor of a?
False
Suppose -2*z + 15 = -3*z. Is (-426)/(-4) - z/(-30) a multiple of 29?
False
Let i(k) be the third derivative of k**6/120 - 13*k**5/60 + 7*k**4/12 + 4*k**3/3 - 26*k**2. Does 8 divide i(12)?
True
Let s(j) = -10*j**2 + 1. Let i be -2 - (-6)/((-8)/(-4)). Let b be s(i). Let a = 26 + b. Does 17 divide a?
True
Let v(g) = -g**3 + 7*g**2 + 5. Let d be v(7). Suppose -2*p + 56 = d*p. Is p a multiple of 8?
True
Let y = 53 + -37. Let b = 21 - y. Suppose 0*h + 115 = 2*f - 3*h, -b*f + 2*h = -260. Is f a multiple of 21?
False
Let r be (-124)/3*(21/6 - 5). Let d = r + -24. Does 3 divide d?
False
Suppose -4*h - 35 = -l, 2*l - h - 56 = -0*h. Suppose -21*c = -18*c - l. Let v = c - -8. Does 9 divide v?
False
Suppose -23*j = -44169 - 72211. Is j a multiple of 115?
True
Let r = -83 + 98. Is 3 a factor of r?
True
Let i(l) = -52*l**3 + 2*l + 1. Let y be i(-1). Suppose 3*u - 3*h - h - 35 = 0, 0 = 4*u - h - y. Is u a multiple of 5?
False
Let g be 4/22 - (-1664)/44. Let q(v) = -v**3 + 3*v**2 + 4*v - 4. Let w be q(4). Let d = w + g. Does 14 divide d?
False
Let t be (4 - 1)/(3 + 0). Let o be 1 + 2 + 0/t. Is (8 + 2)*(o - 1) a multiple of 7?
False
Let a = -8 + 8. Suppose h + 2*h - 63 = a. Suppose -4*t = -t - h. Does 4 divide t?
False
Let y(z) = -13*z - 48. Is y(-33) a multiple of 53?
False
Suppose 3*i - 9 = 0, -i - 4*i = 2*y - 23. Suppose y*l = l + 54. Is 14 a factor of l?
False
Suppose 0 = -m - 3*d + 523, 3*m - 3*d - 1082 = 511. Does 23 divide m?
True
Suppose -b = -4*k + 17, 5*k - 2*b - b - 16 = 0. Suppose -u = u - 438. Suppose -3*s = -2*w + 48 + 34, -k*w + 4*s = -u. Does 28 divide w?
False
Suppose 4*h - 662 = -2*i, 4*h + 4*i = 79 + 585. Suppose -2*g + 2 = -5*c - 0, 4*c - 3 = -3*g. Suppose 5*u - 4*q - q = h, c = 5*u - 4*q - 160. Does 14 divide u?
True
Let c(v) = v + 5. Let o be c(-6). Let k(r) = 97*r**2 + 2*r + 1. Is 16 a factor of k(o)?
True
Let v = 45 + -40. Suppose 0 = -2*j + n + 131, -2*j = -0*n + v*n - 125. Does 13 divide j?
True
Does 21 divide 26 + -21 - (-1 + -57)?
True
Suppose -l = x - 430, 8*x - 5*x = 3*l + 1302. Does 25 divide x?
False
Suppose -34*m + 30466 = -16828. Is 107 a factor of m?
True
Let n(r) = r**3 + 14*r**2 - 7*r - 25. Let q be n(-15). Let w = 277 + q. Is 11 a factor of w?
True
Let y(d) = d**3 + 20*d**2 + 10*d - 24. Let n be y(-16). Suppose -12*x = -5*x - n. Is 10 a factor of x?
True
Suppose 0 = 2*v - 6*v + 72. Suppose 12 + v = 5*a. Suppose -h = z - a, -4*z - 2*h + 2 = -20. Does 5 divide z?
True
Is 8 a factor of -3 - (2 - (36 + -7))?
True
Is 4 a factor of -1 - (-2775)/30*(-18)/(-5)?
True
Does 3 divide (-4)/(-8) + 2261/14?
True
Let b = -32 + 20. Let z = 9 - b. Is 10 a factor of z?
False
Suppose 0 = -3*l - 149 + 848. Is l a multiple of 9?
False
Let x be 27/5 - (-24)/40. Let u(g) = 5*g**3 + 8*g**2 - 8*g - 1. Let b(o) = 11*o**3 + 17*o**2 -