16 = 49*f - 57*f. Is 47 a factor of f?
False
Let s = -17 + 22. Suppose s*a - 42 = 3*a. Does 7 divide a?
True
Let m = 126 + -76. Suppose i + 5*v - 148 - m = 0, -i + 4*v = -198. Is i a multiple of 35?
False
Let y = 113 + -23. Suppose 0 = 7*i + 3*i - y. Is 2 a factor of i?
False
Suppose -2*u - 2*z = -5*z - 815, -4*z + 2049 = 5*u. Is u a multiple of 8?
False
Suppose c = 178 + 160. Does 7 divide 0 - (c/(-6) - (-10)/30)?
True
Let j(o) = 34*o**2 + 8*o - 32. Does 18 divide j(5)?
False
Let j = -6 + 9. Suppose 7*b + 592 = j*b. Is 18 a factor of b/(-8) + 1/(-2)?
True
Let i(v) = 3*v**3 + v**2 - 3*v - 3. Let o be i(-2). Let f = o + 25. Does 3 divide (2 - f/20)*5?
False
Let x(c) be the first derivative of -c**6/360 - 19*c**5/120 - c**4/8 - c**3 - 2. Let j(b) be the third derivative of x(b). Is j(-15) a multiple of 14?
False
Let m(g) = -2*g**3 - 2*g**2 - 3*g - 1. Let r be m(-3). Suppose -8*i + r = -4*i. Does 10 divide i?
False
Suppose 11*j = 2*j + 99. Suppose 1050 = -6*m + j*m. Is m a multiple of 14?
True
Let y(u) = 15*u**2 + 12 + 5*u**3 - u**3 - 3*u**3 - 18*u - 9. Is y(-16) a multiple of 2?
False
Suppose 5*i = 3*j + 386, -2*i + 170 = 8*j - 4*j. Let z = i - 37. Does 14 divide z?
True
Let m = 551 - -49. Does 12 divide m?
True
Suppose 3*c + 4 - 1 = 0. Let b(s) = -144*s. Does 36 divide b(c)?
True
Let r be 3*(-2332)/(-12) - 4. Suppose -r + 147 = 2*v. Let d = v - -310. Is 41 a factor of d?
False
Let i be 4 - 5 - (-1 + -1). Let x be 4 + i + -5 + 3. Is 4 a factor of -5*(-5 + 9/x)?
False
Let x = 7 + -9. Let z be -2*x/(-4) + 7. Suppose 0*y - z = -y. Does 6 divide y?
True
Suppose 5*o = -2*m - 21, -2*m + 14 = -2*o - 0*o. Does 11 divide 2 - 5/(o/82)?
False
Let o = 90 - 36. Is o a multiple of 23?
False
Let d be (-2)/(2 + 32/(-18)). Let w be 38/d + 2/9. Let v(o) = -o**3 - 2*o**2 + 3*o + 1. Does 10 divide v(w)?
False
Let t(n) = 202*n - 166. Does 12 divide t(7)?
True
Suppose 2*x = -x + 3*t + 69, 0 = x + 5*t - 41. Let y = 26 - x. Suppose 0 = 4*d - 4, -3*a + y*a + 69 = -3*d. Is 12 a factor of a?
True
Suppose 3*p - 5*k - 1596 - 5859 = 0, -2*p - 5*k = -4995. Is 10 a factor of p?
True
Suppose 8*a + a + 162 = 0. Let o = a + 22. Is o even?
True
Does 72 divide -9*(-6)/48*-4*-32?
True
Let y(h) = 2*h**2 + 9*h + 9. Let t be y(-4). Suppose 29 = -t*v - 61. Let c = -11 - v. Is c a multiple of 3?
False
Let q(p) = 32*p + 15. Is 56 a factor of q(10)?
False
Suppose 4*u + 2*r = 2 + 8, 10 = -5*u + 2*r. Suppose u = 9*p - 5*p - 396. Is 12 a factor of p?
False
Let u = 54 + -40. Suppose 8 = -y + 47. Let k = y - u. Is k a multiple of 5?
True
Let b(r) = 2*r**2 + 5*r - 3. Let z be b(-4). Let a be 102/z + 4/6. Is 405/11 - a/(-66) a multiple of 10?
False
Let y be 1331/22*(-2)/((-1)/1). Let r = y - -35. Does 26 divide r?
True
Let f = -11 + 19. Is 3 a factor of 7 + 9/((-36)/f)?
False
Let g(h) = -h + 1. Let o be g(-3). Let u be o/(-1*(-2)/(-3)). Is (6 - 4) + u - -49 a multiple of 9?
True
Suppose -26*y = -44*y + 2304. Does 15 divide y?
False
Suppose -3*o + 4*u + 376 = 0, -3*u = 3*o - 2*u - 371. Let f = -121 + o. Is f a multiple of 2?
False
Let g(r) = -r + 40. Let b = -104 + 114. Is g(b) a multiple of 10?
True
Suppose -2150 = -8*g - 2*g. Is g a multiple of 82?
False
Suppose -14 = -2*h + 5*w - 1, -h + 2*w + 4 = 0. Does 15 divide -2 + 993/21 + h/21?
True
Let c be 1 + 3/(-6)*-2. Does 2 divide 7/3 - c/(-3)?
False
Let y(u) = u**2 - 12*u - 3. Is 41 a factor of y(-11)?
False
Let p(n) = 24*n + 541. Is 9 a factor of p(16)?
False
Let v(d) be the third derivative of 0 + 1/120*d**6 + 14*d**2 + 1/20*d**5 + 0*d + 1/2*d**3 - 1/12*d**4. Is v(-3) a multiple of 9?
True
Suppose -3*f - 5*x + 59 = 0, -1 - 1 = -2*x. Is 26 a factor of ((-5005)/(-9))/5 - f/81?
False
Let x(n) = 53*n**3 + 2*n - 1. Suppose -2*m - 3*y = -4 - 2, 5*m - 32 = y. Let u be m/3 - (-3 - -4). Is 18 a factor of x(u)?
True
Suppose 16*b + 42840 = 52*b. Is 35 a factor of b?
True
Suppose -1 = -l - 3*s - 8, 5*l = 3*s + 19. Suppose l*n + 3 = 3*n. Suppose -n*i = 2*u - 37, 2*i - 46 = -2*i - 2*u. Is i a multiple of 3?
True
Suppose 3*s = -2*z + 19, 3*z + 2 = 4*z. Suppose s*x + 3*w + 281 = 0, 2*x - 4*w + 9*w + 101 = 0. Let a = x + 105. Is 11 a factor of a?
False
Let i(z) = -146*z + 2. Let u be i(-3). Suppose -5*j - 110 = -5*b - u, 200 = -3*b + j. Let f = b - -154. Does 29 divide f?
True
Let f = 32 - -76. Suppose -f = 11*t - 9*t. Does 12 divide ((-20)/3)/5*t?
True
Suppose 0 = 28*s - 11023 - 106913. Is s a multiple of 74?
False
Suppose r = 2*f + 208, -r - 2*f - 862 = -5*r. Suppose 3*j + 5*x - 380 = 0, r = 4*j + x - 266. Is 24 a factor of j?
True
Is (-153859)/(-265) - 6/10 a multiple of 20?
True
Let w(i) = 108*i**2 - i. Let a be w(1). Let l = a - 93. Does 6 divide l?
False
Suppose 368 = 6*g - 4. Is g a multiple of 2?
True
Let z(s) = s**3 - 20*s**2 + 2*s + 25. Let p(b) = 3*b - 4. Let y be p(8). Is 13 a factor of z(y)?
True
Let h be (1/2)/(-3 + 76/24). Does 10 divide -3 + (-67)/(-3) + (-1)/h?
False
Let h(x) = x**3 - 14*x**2 + 12*x + 15. Suppose a - 6 = 7. Let j be h(a). Suppose 32 = -j*q + 3*q. Is q a multiple of 22?
False
Let b(r) = 5*r**3 - 14*r**2 - 14*r - 6. Does 37 divide b(7)?
True
Let f(p) = -5*p + 14. Suppose 0 = -o + 6*o. Let k be 1/((-3)/(33 + o)). Does 19 divide f(k)?
False
Let w = -537 + 578. Does 2 divide w?
False
Let c = -46 - 18. Let y = 34 + c. Let p = y - -85. Does 15 divide p?
False
Let h = 246 + -89. Let l = -73 + h. Does 21 divide l?
True
Does 29 divide (-1 - 680/(-3)) + (-100)/(-75)?
False
Suppose -10*m + 113 = -307. Is m a multiple of 21?
True
Let y(z) be the first derivative of z**3/3 + z**2 - 1. Let h be y(-2). Suppose u + u - 4*i - 48 = 0, h = 5*i. Is u a multiple of 12?
True
Let r(o) = -o**2 + 11*o - 18. Let g be r(9). Suppose g = -4*p - w + 213, w = p - 2*w - 50. Does 11 divide p?
False
Suppose -f - 2*i + 59 + 1 = 0, 4*i + 42 = f. Is 10 a factor of f?
False
Is -3 - (-2 - (-535)/15)*-21 a multiple of 16?
True
Let j be (0 - 0)/(0 - 2). Suppose -3*o + 60 + 39 = j. Suppose -5*f = -o - 67. Is 11 a factor of f?
False
Let j = -2692 - -3885. Is j a multiple of 15?
False
Suppose -s - 3*s = 0. Does 15 divide s + -2 - -65 - 3?
True
Let y(u) = 64*u - 33. Let q be y(-5). Let a = -248 - q. Is 21 a factor of a?
True
Suppose -3*g - z - z + 10 = 0, -4*z - 4 = 0. Let q = -873 + 1080. Suppose t + 34 = x, 0 = 3*x + g*t - q + 70. Is 14 a factor of x?
False
Let w = 9 + 2. Let b be 58/6*(-5 + w). Let i = -12 + b. Is i a multiple of 23?
True
Let l(o) = -o**2 + 11*o + 14. Let x be l(12). Let z = -2 - -26. Suppose x*m - 4 = z. Does 7 divide m?
True
Is 18 a factor of (0 + (-2)/(-1))*(233 + 1)?
True
Is -8 + 0/(-9) - -572 a multiple of 12?
True
Let z be -21 + 1 + (-60)/12. Let i = 72 + z. Is i a multiple of 10?
False
Let z(t) = t**3 + 10*t**2 + 11*t + 9. Let f be z(-9). Let p = -5 - f. Suppose m - 41 = -q, -p*q - 2*m + 0*m = -170. Is q a multiple of 22?
True
Suppose -587 + 5879 = 7*y. Does 84 divide y?
True
Suppose 1047 - 2677 = -5*f. Does 12 divide f?
False
Let n(r) = r**3 + 18*r**2 + 17*r + 9. Is 66 a factor of n(-14)?
False
Suppose 29 = 3*y - 5*r, 0 = 3*y - 3*r - 25 + 4. Suppose 0 = -k - m + 9, -3*k - y*m + 3 = -6*k. Suppose 2*f - 108 = -k*f. Is f a multiple of 18?
True
Let u(m) = 76*m**2 + 9*m - 37. Does 48 divide u(4)?
False
Let f(r) be the first derivative of r**7/840 - 7*r**6/360 - r**5/24 - r**4/12 + 4*r**3/3 + 7. Let x(i) be the third derivative of f(i). Is 11 a factor of x(8)?
True
Suppose 19*k = 31*k - 1848. Is k a multiple of 50?
False
Let b(n) = 5*n - 28. Let v be b(7). Let y(h) = 4*h - 12. Does 6 divide y(v)?
False
Let f be (4/2*2)/2. Suppose f*s = -3*o + 61, -1 = -3*s - o + 94. Is s a multiple of 6?
False
Let m = 26 + -20. Suppose -j = -m*j - 20. Is (-1080)/(-132) - j/(-22) a multiple of 3?
False
Let v(m) = -m**2 - 12*m + 4. Let j be v(-12). Suppose -2*h = -j*h - 20. Let q = 24 + h. Is 14 a factor of q?
True
Suppose -3*n - 5*w + 72 = -22, -72 = -2*n - w. Is 3 a factor of n?
False
Let p(w) = 2*w**2 - 3*w + 9. Let z be (0 - -1)/(66/36 + -2). Does 33 divide p(z)?
True
Let r(j) = -5*j - 5. Let z be r(4). Let w = z + 105. Suppose 8 - 28 = -b + y, -5*y = -4*b + w. Is b a multiple of 5?
True
Let k(q) = -119*q + 11. Let s be k(-2). Suppose -4*z + 199 + s = 0. Does 14 divide z?
True
Suppose -1980 = a - 5*a. Is a a multiple of 9?
True
Suppose 19*t = 14*t + 4200. Suppos