e
Let s = 944 + -460. Suppose -5*f + s = 4*y, 3*y - 492 = -5*f + y. Does 17 divide f?
False
Suppose 0 = 2*f - 1081 - 143. Is f a multiple of 26?
False
Let i(h) = h**3 + h**2 - 4*h. Suppose -v - 4*z - 80 = -5*v, 4*v - 66 = -3*z. Suppose v = 5*f + 3. Does 8 divide i(f)?
True
Let z(a) = -2*a**2 + 18*a - 1. Let h be z(8). Suppose 5*p = x - 15, -2*p + 4*x - 9 = p. Let r = h + p. Is 6 a factor of r?
True
Suppose -2*i = f - 260, -3*f + 2*i + 364 = -384. Is 60 a factor of f?
False
Is 12 a factor of (-2 - -7) + 88 + 3?
True
Let v be 21/28 - 10/(-8). Let y be (-5)/(-5) - -1*v. Is 11 a factor of y/2 + (-186)/(-4)?
False
Let s(v) = 676*v**2 + 3*v - 3. Let w be s(1). Suppose -3*r + w = -26. Does 26 divide r?
True
Let m(y) = 163*y**2 - 10*y - 40. Does 26 divide m(-5)?
False
Suppose 4*o - 4*b - 3882 = -634, 3*b + 15 = 0. Does 44 divide o?
False
Suppose -11*i - 6900 = -31*i. Is 16 a factor of i?
False
Let a = 308 + -132. Suppose 7*p - 27 = a. Does 7 divide p?
False
Let p = 323 + -201. Is p a multiple of 8?
False
Let t be (-2)/(-4) - 5/(20/22). Is 2/t + (2 - (-824)/10) a multiple of 14?
True
Suppose 2*x - 3 - 9 = -4*i, 0 = 2*i + 4*x. Suppose 232 = v + 4*r, v + i*r - r = 231. Is 57 a factor of v?
True
Let f(m) = m**2 - 3*m + 35. Is 63 a factor of f(14)?
True
Let a = 1920 + -1374. Is a a multiple of 26?
True
Let x(k) = 6*k + 0*k - 2 - 3*k + k**2 + 6*k**3 + 4. Is x(3) a multiple of 26?
True
Suppose -3*v + 27 = -0*v. Let l(i) = i**2 + 15*i + 38. Let c be l(-11). Is 16 a factor of 146/v - c/(-27)?
True
Let g = 10 + -13. Let j be (-24)/(12/(-4)) + g. Suppose 14 = j*k - 16. Does 2 divide k?
True
Suppose 3*g - 237 = -d, -g = g + 4*d - 168. Suppose 3*a = -3*o + g, 5*a + 3*o = a + 109. Suppose 2*y - 5*z = -4*z + a, -z = -4*y + 63. Is y a multiple of 9?
False
Let i(p) = p + 22. Let l be i(0). Suppose 12*k - 62 = l. Is k even?
False
Suppose 191 - 251 = 2*c. Suppose 2*i + 3 = -i. Does 7 divide 74/i*15/c?
False
Let h(y) = -6*y**3 - 11*y**2 - 6*y - 12. Let l be h(-8). Suppose 64 - l = -12*s. Does 15 divide s?
True
Let y = -1617 + 1875. Is y a multiple of 6?
True
Does 8 divide (-11234)/(-12) - (-4)/(-240)*10?
True
Suppose 0 = -2*z + 4*m + 2, -4*z + m + 14 = 3*m. Suppose -446 + 35 = -z*s + 3*f, -4*s + 533 = -f. Does 28 divide s?
False
Let t be 32*-1 + 4/12*9. Let u = t + 104. Is 17 a factor of u?
False
Let z(m) = -m**3 - 11*m**2 - 20*m + 8. Does 26 divide z(-9)?
True
Let k(w) be the first derivative of -w**3/3 + 12*w**2 + 34*w + 34. Is 40 a factor of k(17)?
False
Let s = -158 + 458. Does 50 divide s?
True
Does 8 divide ((-192)/(-10))/(44/220)?
True
Let h be ((-368)/24)/(1/(-12)). Suppose -p = -5*p + h. Does 28 divide p?
False
Suppose 9*l + 3680 = 4*i + 13*l, 2*l - 925 = -i. Is i a multiple of 25?
False
Let u be (-3 + 1 + 3)*-5. Does 12 divide (u - -46) + -1 + 2?
False
Suppose 2*z + 0 = 14. Let m = 101 + z. Is m a multiple of 11?
False
Suppose -28 = 2*m - 32. Suppose m*z = 11 + 139. Is 18 a factor of z?
False
Let z be 6/3 + 4*136. Let b = -370 + z. Does 37 divide b?
False
Suppose 2 = -j - 3*j + 2*b, -4*b = -j - 18. Let q be 9*j/3 - 2. Is 6 a factor of (-6)/q*16*-1?
True
Does 71 divide ((-4)/(-6))/(24/(-36)) + 700?
False
Suppose 0 = -87*k + 113*k - 25740. Does 18 divide k?
True
Suppose p = -4*s + 54, 4*s - 2*s - 18 = 4*p. Suppose -36 + s = -x. Is 22 a factor of x?
False
Let j(u) be the third derivative of u**5/60 + u**4/12 - 5*u**3/6 + 6*u**2. Let i be j(4). Let r = i - -9. Does 14 divide r?
True
Let n(x) = 44*x**2 + x. Let l(z) = -z**3 + 12*z**2 - z + 14. Let h be l(12). Is n(h) a multiple of 35?
False
Let d(l) = -l**3 + 5*l**2 + 5*l - 16. Does 3 divide d(5)?
True
Let f be (-468)/(-16) - (-6)/8. Suppose 3*k - 16 = -2*h, 4*h + 5*k = -0*h + f. Is h/(1*2/6) a multiple of 14?
False
Suppose 5*s - 2 = 93. Let r = s + -9. Is 6 a factor of r?
False
Let q = 702 + -364. Is 39 a factor of q?
False
Let a = -68 + 91. Suppose 2*n = 2*g + 26, -4*g + 79 = 2*n + a. Is n a multiple of 6?
True
Suppose -7*k = 2*k - 26766. Suppose -14*z = -k + 762. Does 23 divide z?
False
Let x be (-12)/(-72) - (-46)/12. Let g be (0 + -1)/(x/(-68)). Suppose k - 59 = -g. Does 14 divide k?
True
Suppose 6*i - 23 - 745 = 0. Is 16 a factor of i?
True
Is 7 a factor of 750/12 + (-5)/(-10)?
True
Let v = -556 + 1957. Is 23 a factor of v?
False
Suppose -5*r + 463 = f, 15*r - 3*f = 14*r + 99. Is r a multiple of 3?
True
Suppose 5*k - 255 = 3*w, k + k = 5*w + 83. Let j = -11 + k. Let m = j + -24. Is m a multiple of 8?
False
Let n = -155 - -303. Suppose v + v - n = 4*r, 86 = v + 2*r. Suppose 2*c + v = 2*w + 3*c, -4*w = 4*c - 164. Is 13 a factor of w?
True
Let g be (-38)/(-14) - 28/(-98). Suppose -z + 108 = g*t + 2*z, -t + 3*z = -16. Suppose -4*c = -5 - t. Is 6 a factor of c?
False
Suppose -2*d - 4788 = -16*d. Does 32 divide d?
False
Suppose 5*n - 1314 = -0*s - 4*s, -3*s = -4*n + 1045. Is n a multiple of 14?
False
Let b(d) = 3*d**2 - 9*d - 3. Let i be b(8). Let r be (3/(-6))/(3/(-300)*1). Let a = i - r. Does 30 divide a?
False
Let f = -572 - -1054. Does 4 divide f?
False
Let w(n) = 2*n**3 + 10*n**2 - 5*n - 11. Let d be w(-7). Is d/(-14) + (-6)/21 a multiple of 3?
True
Suppose 27*q - 3752 = 5968. Is 36 a factor of q?
True
Let v(b) = 342*b**2 + 3*b + 2. Is v(-1) a multiple of 31?
True
Let s = -175 - -703. Is s a multiple of 19?
False
Let q(c) = c**2 - 6*c - 1. Let a be q(4). Let z = a + 11. Is 6 a factor of (-2)/z*-3 - -11?
False
Let c(x) = 9*x**2 - 34*x + 25. Let y(p) = 13*p**2 - 51*p + 38. Let u(h) = -7*c(h) + 5*y(h). Does 14 divide u(11)?
True
Let d = 209 + -96. Let q = d + -103. Is 2 a factor of q?
True
Let m be 1 + (-123)/(-9)*3. Does 7 divide m/3 - (1 - -1)?
False
Suppose -152 = -3*o - f, 0 = -4*o + 4*f - 79 + 303. Suppose 4*n - 2*p = 138, -p + 199 = 4*n + o. Is 25 a factor of n?
False
Let s = 183 - 133. Is s a multiple of 10?
True
Suppose -6*w - 12 = -9*w. Let s(o) = 11*o + 4. Is s(w) a multiple of 31?
False
Let i(g) = g**2 + 4*g - 3. Let h be i(-5). Suppose 2*y - 3*y - 2 = h*p, -3*y = -3*p + 6. Suppose 3*b + 37 = f, 176 = 4*f + 2*b - p*b. Does 9 divide f?
False
Let x(v) = -v**3 - 10*v**2 + 9*v - 84. Is 29 a factor of x(-14)?
False
Is 2 a factor of 7/((-210)/12)*-105*3?
True
Let u(i) = i - 17. Let x be u(19). Let h(o) = o**2 + 9*o - 1. Let r(j) = -10*j + 1. Let v(n) = x*h(n) + 3*r(n). Is 11 a factor of v(9)?
True
Suppose -a = -2*g - g + 41, 1 = a. Is 7 a factor of (16/9 - (-2)/9)*g?
True
Let v(g) = 9*g - 48. Is 13 a factor of v(14)?
True
Let f(n) = 2*n**2 - n - 4. Let x be f(-4). Let z = x + 65. Is z a multiple of 32?
False
Let i(p) = 5*p**3 + 17*p**2 - p + 5. Let w(s) = 2*s**3 + 8*s**2 + 3. Let q(l) = -3*i(l) + 7*w(l). Does 20 divide q(5)?
False
Suppose 120 = -5*p + 2*v - 7*v, 71 = -3*p - 4*v. Let j(a) = -20*a**2 - 3*a - 1. Let d be j(-1). Let x = d - p. Is x a multiple of 7?
True
Let l(o) = -o**3 + 2*o**2 - o. Let a be l(1). Suppose -u - 1 = -a. Let b(z) = -16*z**3 + 2*z + 1. Is b(u) a multiple of 15?
True
Let f(z) = 11*z + 16 - 11*z**2 + 19*z**2 - 9*z**2. Is 5 a factor of f(7)?
False
Suppose -5*s - d = -37, 2*d = s - 5*s + 32. Let k(f) = 0*f**2 - s*f + 10*f**2 + 6 - 6*f**2. Is k(4) a multiple of 7?
True
Let m(i) = -i + 4. Let a be m(4). Suppose 0*j - 5*j + 10 = a. Suppose j*h - s = 87, -8*h = -4*h + 3*s - 149. Does 22 divide h?
False
Let d = 359 - 139. Is d a multiple of 20?
True
Let m be -5*(-5)/4*-4. Let a(r) = -3*r - 61. Does 14 divide a(m)?
True
Suppose 103067 = 15*o + 13982. Does 153 divide o?
False
Let h(n) = -n**2 + 15*n + 4. Let z be h(7). Let k(l) = l**3 + 6*l**2 - 3*l - 8. Let i be k(-6). Let x = z - i. Is x a multiple of 25?
True
Let j(l) = 7*l**3 - l**2 - 2*l - 1. Let y be j(-1). Let f = y + 9. Suppose f*w + 0*w - 44 = 0. Is w a multiple of 12?
False
Is 33 a factor of (36/(-5))/((-14)/385)?
True
Is 855*(5 - (-112)/(-24)) a multiple of 19?
True
Suppose -5*s + v - 3*v - 47 = 0, -4*s - 3*v = 39. Let i be (s/(-6))/(6/108). Suppose 28*r = i*r + 32. Does 32 divide r?
True
Is 4 a factor of 1602/8 - 6/24?
True
Suppose -4*a - 1 = -5. Let l = a - -1. Suppose 0 = i + 3*i - l*z - 24, z = 0. Is i a multiple of 3?
True
Does 79 divide 474*3/(-24)*-36?
True
Let b be 9*(-4)/(-6) + -5. Is 20 a factor of 5/((-15)/(-1026)) - b?
False
Let c = -15 + 15. Is (c - -1)/(3 + 1410/(-471)) a multiple of 19?
False
Suppose -91*p + 25 =