 factor of j?
True
Let x = 1110 - 656. Suppose -18*u + x = -1796. Does 25 divide u?
True
Suppose -12*x + 3*x = 2871. Let o = x + 623. Is 19 a factor of o?
True
Suppose 0 = -5*q + 719 - 179. Suppose 2*a - 82 = 4*j + 14, 0 = 2*a + 2*j - q. Does 4 divide a?
True
Let b be (-216)/5 + ((-24)/5 - -5). Let s = b - 1. Let a = s + 79. Is 8 a factor of a?
False
Let l(y) = y**2 + 4*y - 1. Let z be l(-5). Let k be -1 + 2 - (-3 + z). Suppose k = -3*i - f + 14, 0*f + 24 = 4*i + 4*f. Is i a multiple of 4?
True
Suppose -9*a + 104 = -3109. Suppose a = 79*f - 76*f. Is 9 a factor of f?
False
Let i(y) = y**3 + 5*y**2 - 4*y - 4. Let n = -48 + 44. Let x be (-2)/(2/(-3)) - (-5 - n). Is 32 a factor of i(x)?
False
Let m = -183 - -449. Let g = 158 - m. Is 18 a factor of (2 - -2)/(-8)*g?
True
Suppose -2*d = 3*d. Suppose d = -3*f + 3, 0*n = 5*n + 4*f + 6. Is 6 a factor of (2/(212/108 + n))/(-2)?
False
Let y = -34 - -37. Suppose -5*n + 3*d + 564 = 0, 4*d - 432 = y*n - 7*n. Is n a multiple of 5?
False
Let j be (0 - -1) + 1 + 2. Suppose 3*b = 2*y - 19, -j*b - b = 25. Suppose -f = -4*s + y - 4, 2*f + 2*s = 44. Is f even?
True
Let k(s) = s**2 + 2*s - 3. Let b be k(0). Let y be 9/21 + b/((-42)/736). Suppose y = l - p, 3*l - 4*p - 110 = l. Is l a multiple of 17?
True
Let h(f) = -f**3 - 17*f**2 - 29*f + 49. Let m be h(-15). Let a(z) = -z**3 + 35*z**2 - 34*z + 21. Is 3 a factor of a(m)?
True
Suppose 0*h + 1643 = 4*h + 5*g, 2*h - g = 825. Is h a multiple of 12?
False
Is 18 a factor of 6048/35*800/48?
True
Let l(z) = 6 + 16*z + 7 - z**2 - 1 + 5*z. Let s be ((-8)/(-6))/(13/156). Is 27 a factor of l(s)?
False
Suppose -395 - 101 = -8*f. Suppose 3*a + f = -403. Let r = -83 - a. Does 24 divide r?
True
Let u(q) = 2*q**2 + 3*q - 5. Let r = 110 + -114. Is 15 a factor of u(r)?
True
Suppose -666 = -19*f + 10*f. Let g = -74 + f. Suppose 3*y = -4*i + 196, 4*y = -5*i - g*i + 260. Is y a multiple of 10?
True
Suppose -4*o - 7 + 27 = 5*m, 0 = m + 4. Suppose 477 + 423 = o*p. Let x = -18 + p. Is 24 a factor of x?
True
Is (8/(-3))/4 - ((-15674)/3 - 12) a multiple of 14?
True
Let o(g) = -61*g + 19. Let f(q) = -30*q + 11. Let p(m) = 13*f(m) - 6*o(m). Does 31 divide p(-13)?
True
Suppose f - 2*n + 8 - 5 = 0, 4*n - 1 = 3*f. Suppose 5*b - 20 = -5*o, 0*o - f*o - b + 4 = 0. Suppose o = 5*p - 991 + 116. Does 34 divide p?
False
Suppose -22*t + 37268 = -11*t. Is 11 a factor of t?
True
Suppose q + 183 = -4*g + 2047, 3*q + g - 5548 = 0. Is q a multiple of 6?
True
Does 127 divide (((-27360)/(-133))/(-15))/(1*(-2)/1379)?
False
Let c(k) = -k**3 - 2*k**2 + 5*k + 2. Let w be c(-7). Suppose -x - w = 5*p + 512, 3*x - 3 = 0. Let d = 268 + p. Is d a multiple of 6?
False
Let v(s) = 5*s**3 - 7*s + 1. Let x be v(4). Let f = 567 - 406. Let d = x - f. Is d a multiple of 22?
True
Let z(h) = -49*h - 6. Let l be z(-10). Let b = 971 - l. Does 16 divide b?
False
Let j(s) = 7*s**2 + 14*s - 10. Let q be j(6). Suppose 2*v + 2*d = 4*v + q, v + 3*d = -147. Let y = v - -229. Is 21 a factor of y?
False
Let c(n) = -4*n**2 + 160*n + 16. Let a(z) = 3*z**2 - 107*z - 12. Let d(j) = -7*a(j) - 5*c(j). Is d(-30) a multiple of 18?
False
Let c(i) be the third derivative of -11*i**4/12 - 6*i**3 + 200*i**2. Is 7 a factor of c(-8)?
True
Let d be ((-19)/76)/((-2)/8). Is ((-3)/(-3))/(d/353) - 4 a multiple of 17?
False
Let c(u) = 5*u**3 + 468*u**2 + 97*u + 19. Is 133 a factor of c(-93)?
False
Suppose -5*h + 4*h + 3*p + 2205 = 0, 0 = 4*h - 2*p - 8810. Suppose -33*q = -h - 5718. Is 16 a factor of q?
True
Let x(j) = 23*j - 3*j**2 - 40 + 27 + 5*j**2. Let c be x(-12). Does 24 divide 0 - -122 - (2 + (-3 - c))?
False
Let c be -2 - -8 - (-1 - -3). Is 2 a factor of ((-154)/c)/(9/(-18))?
False
Suppose d - 3111 = -6*p - 139, 4*d = 2*p - 956. Is p a multiple of 6?
False
Suppose -5*y + 2 = -7*y. Let j(l) = -6*l**2 - 2*l + 13. Let r(b) = b**2 - b - 1. Let k(a) = y*j(a) + 4*r(a). Does 21 divide k(-4)?
False
Let x = -86 - -50. Let s = x - 0. Let n = s - -50. Is 7 a factor of n?
True
Let k = -300 - -565. Suppose 24*j = 29*j - k. Suppose -2*c + j = 5*t, -4*c + 2*t + 0*t = -142. Is c a multiple of 17?
True
Let g = -26 + 1. Let k be 10/g - (-435)/25. Let p = 25 + k. Is 21 a factor of p?
True
Let g = -42 - -30. Let d = -4 - g. Suppose 404 = d*q - 420. Is q a multiple of 20?
False
Suppose -3*q = -48*j + 47*j + 2, 4*j + 5*q + 77 = 0. Let t(g) = g**3 + 16*g**2 + 16*g + 1. Is t(j) a multiple of 20?
True
Let h(f) = 6*f**2 + f - 56. Let w(t) = t**2 - 12*t - 55. Let x be w(16). Is 29 a factor of h(x)?
False
Let y(s) = 2*s**2 + 14*s + 6. Let r be y(-7). Suppose r*t + 2*j - 632 = t, 4*t = j + 503. Is -4 + (4/(-20) - t/(-5)) a multiple of 3?
True
Suppose -2*l + 2*u + 4 = -6, -3*l + 35 = u. Suppose l*o - 291 = 19. Does 6 divide o?
False
Suppose 0 = -d + 3*d - 3350. Suppose 15*b - 10*b = d. Is 18 a factor of b?
False
Suppose 5*w + i = 4*i + 31, -6 = 3*i. Let j(p) = -p**3 + 9*p**2 + 2*p - 16. Let v be j(9). Suppose -173 = -3*d - 5*t, -v*d - 16 + 123 = w*t. Does 13 divide d?
False
Does 18 divide 50012*(42/104 - (-24)/(-156))?
False
Let k = 78 + 9. Suppose -y + k = -645. Suppose 0 = 11*w - 5*w - y. Does 47 divide w?
False
Let v = 92 - -68. Is v/12*(-180)/(-24) a multiple of 50?
True
Let d = -892 - -878. Does 28 divide 1179 + (-12 - d) + 5/(-1)?
True
Suppose 12*b = 288 - 84. Suppose -16*v + b*v + 4*q = 915, v - 921 = -q. Is 54 a factor of v?
False
Let f be (-2)/((-2)/(-14)*2). Let v = -5 - f. Suppose 3*q + 2*j - 2 = 0, 0 = -v*q + 4*q + 4*j + 4. Is 2 a factor of q?
True
Suppose b - 8*b = 28. Is 1*b*(38/(-4) - -6) a multiple of 7?
True
Let a(c) = -15*c + 3 + 891*c**2 - 445*c**2 - 442*c**2 + 18. Is 13 a factor of a(12)?
False
Let x be (9/12)/(11/(-44)). Is 85 a factor of (11/x)/((-26)/10842)?
False
Let f be (9 + -6)/6*-3382. Let y = -155 - f. Is 48 a factor of y?
True
Let k = -3833 - -3905. Does 72 divide k?
True
Suppose -3*l = -4*l + 30*l - 26535. Does 6 divide l?
False
Let a = -245 - -236. Is (3 - (-30)/a)*(-1086 + -9) a multiple of 23?
False
Suppose 23754 = 2*u - 4*k, -5*u + 59337 = k - 3*k. Is u a multiple of 22?
False
Let h(s) = 12*s - 36. Let q(y) = -8*y + 151. Let r be q(16). Does 20 divide h(r)?
True
Let h = -255 - -124. Let l = 58 + h. Let f = l + 139. Is 15 a factor of f?
False
Let i = 307 - -64. Let s = i + -255. Is s a multiple of 29?
True
Let u = -6000 - -12570. Does 9 divide u?
True
Let a = -2575 - -8612. Does 74 divide a?
False
Let z be ((-2)/3)/((-7)/(-63)). Suppose v + 65 = 4*y, 2*v - 1 = y - 26. Let i = z + y. Is i a multiple of 6?
False
Let y be ((28/6)/7)/(4/30). Suppose y*p - 8 = p. Does 41 divide 8/32*(162/1 + p)?
True
Suppose 1280 = 1031*k - 1027*k. Suppose -4*a = 3*r - k, -11 = -2*r + 2*a + 179. Is r a multiple of 11?
False
Let h(x) = -x**3 + 64*x**2 + 14*x - 92. Is 44 a factor of h(64)?
False
Suppose p - 11 = -3*s - 2, -3*s = -4*p - 24. Suppose 0*f - 5*f - 3 = -r, 2*f + s = -r. Is 7 a factor of (-2)/4*4*7/r?
True
Suppose 36*a = 8*a + 56. Suppose -a*b - 200 = -2*c, -5*c - 6*b = -2*b - 473. Is c a multiple of 8?
False
Let p be 100/(-5)*4/(-16). Suppose 5*r = -p*f + 175, 140 = 12*f - 8*f + r. Is f a multiple of 35?
True
Let g(h) = -46*h - 160. Let o be (-31 + -2)/3*(8 - 9). Let j(v) = 9*v + 32. Let i(m) = o*j(m) + 2*g(m). Is i(12) a multiple of 29?
True
Suppose -16593*a - 27243 = -16602*a. Does 43 divide a?
False
Suppose -83600 = 14*q - 12*q - 22*q. Does 76 divide q?
True
Suppose 34 - 274 = 15*a. Let n be ((-9)/4)/(2/a). Suppose -n = j - 123. Is j a multiple of 15?
True
Let x(j) = j**3 - 13*j**2 - 78*j - 290. Is 18 a factor of x(21)?
False
Suppose -1793 - 799 = 12*i. Let h = -111 - i. Suppose -3*k = g - 141, -3*k + 27 = 4*g - h. Does 12 divide k?
True
Suppose -4*l + 56 + 72 = 0. Suppose 27 = q - d, -d + l = 4*q - 51. Suppose 2*h - q = -r, -2*h - 6*r = -2*r - 34. Does 4 divide h?
False
Let v = 1 - 3. Let h be 308/8*(v + -2 + 2). Let m = 129 + h. Is m a multiple of 39?
False
Is ((-8)/(-18))/(440/6058668) + (-2)/(-15) a multiple of 30?
True
Suppose 5747*h - 5755*h + 61165 + 5131 = 0. Is 43 a factor of h?
False
Suppose 5*x = -3*u - 247, 2*x = -2*u + 4*u - 102. Let h = x + 43. Does 4 divide 8/28 - 166/h?
True
Let s(o) = -38*o**3 + o**2 - o. Let f(n) = n**3 + 6*n**2 + 7*n - 6. Let g be f(-4). Is s(g) a multiple of 10?
True
Let k(j) = -j**2 + 3*j + 90. Let l be k(-8). Suppos