25 a factor of y?
True
Suppose 0 = -3*h - 22*t + 27*t + 47246, -3*h = t - 47294. Is h a multiple of 67?
False
Let p(l) = l**3 + 23*l**2 + 44*l + 52. Let d be p(-21). Suppose -3*c = -d*c + 2254. Is c a multiple of 14?
True
Let b = -1 + -40. Let r = b + 46. Suppose r*c = 3*x + 156, 2*c + 5*x = -2*c + 110. Does 6 divide c?
True
Let k(x) = -x**3 + 10*x**2 - 5*x - 6. Let c(a) = 5*a**2 - 1. Let m be c(1). Suppose 2*u + w - 19 - 2 = 0, -5*u - m*w + 57 = 0. Does 30 divide k(u)?
True
Suppose 6*l = 11*l - 4*g - 4668, -3*g = 3*l - 2817. Is 52 a factor of l?
True
Let i be -2 + -5 + (-58)/2. Is (81/i + 1)*640/(-1) a multiple of 25?
True
Suppose -64*v - 1592814 = -4142791 - 1361511. Is 22 a factor of v?
False
Let z = 64 - 62. Suppose -5*o + 3*x + 1595 = 0, -o + 317 = -z*x + x. Does 14 divide o?
True
Let b(k) = k**3 + 10*k**2 + 18*k - 3. Let g be b(-8). Let w = -22 - g. Is (4/3)/(w/432*-6) a multiple of 10?
False
Let j be 2/1*(-12 + 26). Is (j/6)/((104/2772)/13) a multiple of 49?
True
Let g(w) = 3*w - 22. Let o be 1*-2 + (17 - 6). Let f be g(o). Suppose f*a - 267 - 38 = 0. Is 23 a factor of a?
False
Let x be (-2 - -11)*(-1)/(-3). Let b(v) be the third derivative of v**6/60 - v**5/20 + v**3 - 44*v**2 - 1. Does 5 divide b(x)?
False
Let o = 7 - 5. Let v(m) = -4*m**3 - m**2 - 6*m - 4. Let s be v(-1). Suppose -s*f + 168 = o*f. Does 10 divide f?
False
Let z be 1/(1507/(-594) - 10/(-4)). Let n = z - -265. Is n a multiple of 17?
True
Let a(x) = 4*x**2 + 4*x - 27. Let v(s) = -7*s**2 - 7*s + 54. Let p(u) = -5*a(u) - 3*v(u). Let q be p(5). Suppose 614 - 134 = q*r. Is 32 a factor of r?
True
Let m(h) = 5*h**2 + 22*h + 200. Is 67 a factor of m(-37)?
True
Suppose -4*r + 1316 = -4*k, 8*k - 4*k + 987 = 3*r. Suppose -5 = -3*u + 2*u. Suppose -m = -3*p + 2*m + 489, -u*m = -2*p + r. Is p a multiple of 33?
False
Let d = 92 - 51. Let a be 1/3 - (d/(-3))/1. Let s(q) = 4*q + 37. Is 31 a factor of s(a)?
True
Let n = -1394 - -16111. Is n a multiple of 23?
False
Suppose -8*j - 8*j - 91949 = -29*j. Is 54 a factor of j?
False
Suppose -p - 861 - 1847 = 0. Does 15 divide (-6)/27 - p/36?
True
Let s(i) = 19*i**2 + 25*i + 161. Does 175 divide s(16)?
True
Let a(k) = 5*k + 19. Let n be a(-4). Let v(b) = -10*b**3 - 2*b**2 + b + 2. Let w be v(n). Suppose w*s + 840 = 17*s. Is 47 a factor of s?
False
Suppose 9*g - 4*g - 80 = 0. Suppose 0 = 3*q + m - g - 1, 4*q - m = 25. Suppose q*y = 57 + 471. Is 8 a factor of y?
True
Suppose 0 = 9*j + 127 - 28. Let k(d) = d**3 + 11*d**2 - 21*d - 15. Is 9 a factor of k(j)?
True
Let r = 649 + 244. Does 2 divide r?
False
Is ((-44)/10)/((-5)/13475) a multiple of 11?
True
Let s = -1753 + 991. Let l = 1183 + s. Suppose 3*q + 0*q + 2*r = l, 3*q = -5*r + 409. Is 21 a factor of q?
False
Suppose u + 5*z - 4565 + 130 = 0, 2*u - 2*z - 8942 = 0. Does 19 divide u?
True
Let x(o) = 168*o**2 - 3*o + 19. Let c be x(3). Suppose c = 12*m - 2966. Is 32 a factor of m?
False
Let u(r) = -15*r**2 - 4*r + 65. Let c(g) = -7*g**2 - g + 31. Let z(f) = -9*c(f) + 4*u(f). Does 16 divide z(-4)?
False
Let l(u) = -2*u**3 + 244*u**2 - 208*u + 180. Is 122 a factor of l(121)?
False
Let m be -11 + (-2 + 3 - 3). Let c(h) = 22*h**2 + 7*h**2 + 2*h**2 - 35*h**2 + 6*h**2 - 29. Does 58 divide c(m)?
False
Let m(k) be the first derivative of -2*k**3/3 + 33*k**2/2 - 3*k + 85. Is 9 a factor of m(5)?
False
Let r(n) = -n**2 + 32*n - 83. Let p be r(3). Suppose 0 = 5*w - 2*o - 3*o - 925, 0 = -p*w - 3*o + 740. Is 7 a factor of w?
False
Let c(q) = 1 + 10 + 40 - 4*q - 6. Let g be c(0). Suppose 5*l + 2*w = g, 0*l - 2*l = 2*w - 24. Is 7 a factor of l?
True
Let j be -10 + (-8)/(-32)*36. Does 51 divide (-968)/j - (79 - 78)?
False
Suppose -27*s + 114*s = -604522 + 1923442. Is 115 a factor of s?
False
Suppose -23201 - 2108 = -r - y, -5*r + 3*y + 126497 = 0. Does 9 divide r?
False
Suppose 0 = a - 4*t + 5, 38 = -4*a + 6*a + 4*t. Let v(f) = f**3 - 7*f**2 - 11*f - 18. Is 15 a factor of v(a)?
True
Suppose -654*v - 14910 = -657*v. Does 18 divide v?
False
Suppose 10660*x = 10638*x + 141350. Is 25 a factor of x?
True
Let p = 5957 - -15153. Is p a multiple of 32?
False
Suppose -360 = -2*n + 8*n. Let k = 99 + n. Let c = k - 4. Does 11 divide c?
False
Let z = -17 - -45. Suppose -5*b = 2*l - 88, 3*b = -4*l + z + 36. Suppose 0 = -17*k + 16*k + b. Does 2 divide k?
True
Let j(w) = 17*w - 99. Let i be j(-12). Let t = i - -330. Is 9 a factor of t?
True
Let q(u) be the first derivative of -22*u**2 + 9*u - 7. Let v(c) = -9*c + 2. Let m(t) = 4*q(t) - 22*v(t). Is m(2) a multiple of 18?
True
Suppose 0 = -54*x + 18*x + 144. Let q = 345 - 230. Is 8 a factor of q - ((-4)/x - 1)?
False
Let n = 472 + -455. Suppose 5*h = 12 - n, -o + 103 = 2*h. Is o a multiple of 7?
True
Let m = 108 - -165. Let b = 12 + m. Does 15 divide b?
True
Suppose 41*h = 42*h - 1. Let j be 6/(-4)*(-8)/(-6) + h. Is 13 a factor of j/((-47)/23 - -2)?
False
Let b = -25 - -31. Let x(r) = 3*r**2 - 8*r + 9. Let k be x(-7). Suppose -430 - k = -b*q. Does 11 divide q?
False
Let k = -42 + 39. Is 15 a factor of (-900)/(-16)*-2*4/k?
True
Suppose -116*d + 13*d + 8111992 = 135*d. Does 117 divide d?
False
Suppose g + 14 = 5*j + 514, 4*g - 1983 = 3*j. Is 45 a factor of g?
True
Suppose -22*c = -2*c + 140. Let v(z) = 13*z**2 - 9*z - 63. Does 19 divide v(c)?
False
Let n(g) = -g**3 + 18*g**2 - 12*g + 4. Let m be n(14). Suppose -f + m = 4*f. Let b = f - 61. Is b a multiple of 16?
False
Suppose -w - 2*l - 72 = 0, 3*w - 3*l + l + 216 = 0. Let d be (3 - (3 - 142))/1. Let a = w + d. Does 14 divide a?
True
Let w(i) be the second derivative of i**5/20 - i**4/4 - i**3/2 + i**2/2 + 7*i. Let g be w(4). Is 8 a factor of 0 + g + -2 - -109?
True
Let z = 58646 + -32319. Does 69 divide z?
False
Let n = 31 + 1. Suppose 4*d = -0*d - 3*u + n, -5*u + 40 = 4*d. Suppose 5*x + 99 = 3*b, d*x + 0*x = -2*b + 41. Is b a multiple of 14?
True
Suppose 0 = 4*r + 2*g + g - 9, g - 3 = -r. Suppose -3*c - s + 9 = 0, r = -5*c - 2*s + 6 + 10. Suppose -c*i = -3 - 11. Is 4 a factor of i?
False
Let v(d) = -d + 4. Let i be v(0). Suppose -3*a - 25 = 5*y, -3*a = -y + 1 - 6. Suppose 161 = 2*o + 3*x, -o - x - i*x + 63 = a. Is o a multiple of 28?
False
Let o = 673 - -672. Does 70 divide o?
False
Let s = 43 + -39. Suppose v = -3*x - s, -4*x + x - 4*v = -2. Is 8 a factor of (200/(-15))/(x/6)?
True
Let c(d) = -3*d - 6 + 7*d + 17. Let v be c(17). Suppose -107 = -4*b - h, 5*b + 2*h = v + 51. Does 7 divide b?
True
Let y = 4 + -4. Suppose h + l - 473 = y, 0*h - 4*l = -3*h + 1440. Does 74 divide h?
False
Suppose -4*z = 4*b + 204, 4*b + 5*z - 123 = 6*b. Does 14 divide 88 + 2 + b/9?
True
Let w(o) = -12*o**3 - 2*o**2 + 7*o + 11. Let b be w(-2). Suppose 4*t - 4*d = 956, 806 = 3*t - 5*d + b. Is t a multiple of 46?
False
Let w(v) = -32*v**3 + 4*v**2 - 2*v - 2. Let o(u) = -u**2 - 9*u - 22. Let y be o(-5). Does 42 divide w(y)?
False
Let m(j) = j**3 + 20*j**2 + 34*j - 2. Suppose -k = -o + 1, 3*k - o = 3 - 2. Let c(y) = -15*y - 3. Let w be c(k). Is 17 a factor of m(w)?
True
Is 43 a factor of (-68)/374 + 23/66 - (-5933)/6?
True
Let u(r) = -400*r - 862. Is u(-4) a multiple of 18?
True
Let f(w) = -w**3 + 38*w**2 - 93*w - 68. Is 65 a factor of f(35)?
False
Suppose -4*p + 132*a - 137*a + 31973 = 0, 0 = p + 4*a - 8018. Is 3 a factor of p?
False
Let r = -285 - -285. Suppose 4*b + 3*q - 951 - 774 = r, 2*b - 865 = -q. Is b a multiple of 10?
False
Suppose 3*k - 5 = -2*k. Let c(m) = -106 + 105 + 188*m - 126*m. Is 8 a factor of c(k)?
False
Let o(w) = w**2 + 3*w + 214. Is 2 a factor of o(0)?
True
Let v = -367 - 29. Let i = 217 - v. Is i a multiple of 17?
False
Suppose 4*a - 226 = 758. Let l = a + -18. Is l a multiple of 29?
False
Suppose -2*v - 5*u = -3*v + 90, 5*v = 5*u + 370. Let p = 202 - v. Does 18 divide p?
False
Suppose 13*x - 20*x = -49. Suppose 1232 = x*a + 4*a. Is a a multiple of 14?
True
Let i(r) = 26*r**3 - 6*r**2 + 40*r - 408. Does 10 divide i(7)?
False
Let j = 14433 - 13753. Does 50 divide j?
False
Suppose -78471 + 305607 = 84*q. Is q a multiple of 12?
False
Suppose -30384 = -2*i + o, -5*o = -i + 8234 + 6985. Does 44 divide i?
False
Let t(x) = -82*x + 12. Let r be t(9). Let z = r - -1030. Does 42 divide z?
False
Let b be (5 + -1 - 7) + 7. Is 5 a factor of (-6210)/(-315) - b/(-14)?
True
Suppose -2*j - 7298 = -2*c + 2*j, -4*c - 2*j + 14546 = 0. Suppose -12*v 