 Let v be r(k). Suppose -126 - v = -4*z. Is z a multiple of 18?
True
Suppose -36 = -6*m + 2*m - 4*o, 0 = -4*m + 2*o + 18. Is (-1458)/45*(200/m)/(-5) a multiple of 36?
True
Let y be (-15)/(-4) + 3/(-4). Suppose -2*g + y*l + 5 = -0*g, -g + 4*l - 10 = 0. Does 5 divide (-219)/(-15) + 4/g?
True
Let v be (-4 - -3 - -2) + 1. Suppose v = -2*f + 4*f. Is f - -56 - (1 + 2) a multiple of 25?
False
Let b be 447 + -1 + 8/2. Is (b/(-24))/(2/(-8)) a multiple of 25?
True
Suppose 0 = 2*b - h - 20, 5*b - h = -4*h + 61. Let k = b + -7. Suppose 0 = 3*s + 4*n - 117 - 80, 2*s = k*n + 158. Does 10 divide s?
False
Let t = 7 + 189. Is t a multiple of 28?
True
Suppose -4*q = -3*g - 25, 2*q - q - 5*g + 15 = 0. Let k be 10*(16/q - 1). Suppose -395 = -k*b + b. Is b a multiple of 14?
False
Suppose 5*u + 3*d - 270 = 0, 0 = -17*d + 13*d - 20. Is u a multiple of 19?
True
Let i(y) = 131*y - 2. Let v be i(2). Suppose -4*t - v = -2*s, -263 = -2*s - t + 6*t. Suppose 0 = -3*d - 2*k + s, -2*d + 7 + 64 = -k. Does 12 divide d?
False
Is 788 - (-6 + 16 + -4) a multiple of 57?
False
Let v = 161 - 147. Suppose v*u = 9*u + 390. Is u a multiple of 13?
True
Suppose k = -5*f - 13, 0 = 2*k - 6*k - 4*f - 4. Suppose 0 = 5*i + 5*q - 3*q - 46, -1 = -k*i + 5*q. Suppose 2*t - i - 10 = 0. Is 9 a factor of t?
True
Does 19 divide 20/(-80) - (-14139)/12?
True
Let c be 5 - (-2)/3*18. Let p(b) = b**2 - 10*b - 6. Does 44 divide p(c)?
False
Suppose 33*f - 38*f = -390. Does 38 divide f?
False
Let v = -63 - -23. Is 7 a factor of (21/2)/((-15)/v)?
True
Suppose -3*f = -5*j + 1949, -18 = 3*f - 9. Does 29 divide j?
False
Let z = 4 - 0. Let d(s) = -s**2 - 3*s + 3. Let w be d(z). Let k = w + 73. Is k a multiple of 16?
True
Let v be 6/12 - 18/(-4). Suppose -4*j + v = -3. Does 9 divide -4 - 26*(-1)/j?
True
Suppose -l + 1336 = 2*w, -10*l + 3976 = -7*l - 2*w. Does 16 divide l?
True
Let u = -159 - -219. Is u a multiple of 13?
False
Let c = -17 + 28. Suppose -3*a + c = 2. Is 12 a factor of (24/(-14))/(a/(-105))?
True
Let m be (572/(-33))/(4/(-6)). Let o(s) = 0*s - m*s - 13*s. Is 8 a factor of o(-1)?
False
Suppose 7200 = 47*v - 37*v. Does 16 divide v?
True
Suppose 3*i + 0*i - 6 = 0. Suppose -2*q - 6 = 0, -q + i*q = 2*g - 97. Is 10 a factor of g?
False
Let h(w) be the first derivative of 26*w**3 + 2*w - 5 + 1/2*w**2. Is h(-1) a multiple of 16?
False
Let y = -39 + 27. Is 46 a factor of (4/y)/(3/(-1503))?
False
Let m(v) = 245*v**2 + 70*v - 4. Is 9 a factor of m(2)?
True
Let l = 32 + -27. Suppose -o + 80 = -2*n + 16, l*o = 4*n + 290. Is 7 a factor of 4/8 - o/(-4)?
True
Let m = 27 + 46. Let v be m/1 - (5 - 1). Let x = 130 - v. Is 21 a factor of x?
False
Let g = 17 + -14. Suppose g*v = -12, -35 - 81 = -5*f + 4*v. Is 16 a factor of f?
False
Let u(a) = -a**3 + 9*a**2 + 10*a + 2. Let s be u(10). Suppose w = -s*w. Let g(p) = -p + 12. Is g(w) even?
True
Let k = 908 - 771. Is k a multiple of 4?
False
Suppose -472 = -k - 5*r, -3*k + 323 = 3*r - 1033. Is k a multiple of 9?
False
Let f(d) = 57*d - 1173. Is 87 a factor of f(45)?
True
Let d(u) = -u**2 - 26*u + 152. Is d(-28) a multiple of 8?
True
Let m be (-50)/18 - (-1 + 22/18). Let g(u) = u**3 + 5*u**2 + 4*u + 6. Is g(m) a multiple of 12?
True
Suppose 3*c - 3*h = -0*h + 24, -43 = -5*c + 2*h. Suppose 48 = -c*b + 11*b. Is 12 a factor of b?
True
Let v(g) = 7*g**2 - g. Let y be v(-1). Let j(m) = 7*m + 3 - 3 + 3 - m. Does 14 divide j(y)?
False
Let l be 2*11 - 40/(-10). Let d = l + -14. Is 4 a factor of d?
True
Let x be 4/(-6) + 230/(-15). Let f = x - -13. Is -1 + f + -7 + 67 a multiple of 10?
False
Let l be (0/(-3))/(1/2*4). Suppose -2*h + 294 = 2*c, h + l*h + 4*c - 159 = 0. Does 13 divide h?
True
Suppose -l + 0*l = -32. Suppose 0 = 4*f - t - 12, f + 5*t - l = -2*f. Suppose 26 = -f*p + 262. Does 17 divide p?
False
Let i be 6/9*(-54)/(-6). Let m(y) = -y**2 - y + 36. Let r be m(0). Suppose 2*t - i*t = -r. Is t a multiple of 2?
False
Suppose 0 = j - 5, 3*u + 7*j - 814 = 11*j. Does 11 divide u?
False
Let t(n) = -10*n**3 - n**2 - n - 1. Let m be (-24)/60 - (-6)/(-10). Is 3 a factor of t(m)?
True
Let s = 7020 + -4742. Does 15 divide s?
False
Let r = -27 + 25. Is 7 a factor of 0 + 1 + r + 29?
True
Let h = -45 - -64. Suppose 7*o - h = 6*o. Is o a multiple of 3?
False
Let f(y) be the first derivative of -y**3/2 - 8*y**2 + 4*y - 3. Let i(j) be the first derivative of f(j). Is i(-11) a multiple of 7?
False
Let q(h) = 478*h**3 + 2*h**2 - 4*h + 1. Is 12 a factor of q(1)?
False
Let k(f) = 6*f + 10*f - 18 + 2*f. Is 30 a factor of k(6)?
True
Is 11 a factor of 14/((-3 + 9)/210)?
False
Let m(y) = 3*y - 8. Let q be m(3). Let b be (-2)/(-4)*(9 + q). Suppose -2*z + 138 = 5*s - 10, -b*z = s - 25. Does 5 divide s?
True
Suppose -69 = -5*a + 3*r, -39 = a - 3*a + 5*r. Is 28 a factor of (a/15 - (-4)/20) + 55?
True
Let v(y) = -1 - 2 + y + 2*y**2 + 5*y**2 - 2*y**2. Is v(-2) a multiple of 2?
False
Suppose 0*y + 3 = -3*y. Let i be (y/2)/((-3)/144). Does 7 divide 396/i + (-6)/4?
False
Suppose 60 = -7*y + 11*y. Let h be ((-468)/(-10))/(6/y). Suppose 5*o - h = o - m, 5*m = -o + 15. Does 10 divide o?
True
Let q(o) = o**2 + 10*o + 4. Let d be q(-11). Suppose 2*b + 1 = -4*f + d, 25 = -5*f. Suppose b - 38 = -3*m. Is 4 a factor of m?
False
Let a(r) = r**2 - 10*r + 29. Suppose -5*w + 10*w = 45. Is a(w) a multiple of 15?
False
Let p = 1380 - 561. Is p a multiple of 39?
True
Suppose 0 = 4*t + 5*n - 31, 0*t + n + 9 = 3*t. Suppose -t*z + 5 = -15. Suppose p + 3*y - 13 = -1, -4*p + 27 = z*y. Is 2 a factor of p?
False
Let o = 1 + 15. Suppose 0 = 5*v - 2*l + 10, -3*v - l - 26 + 31 = 0. Suppose d + d - o = v. Does 3 divide d?
False
Suppose -5*s + 3*s + 20 = -5*c, 4*c - 5*s + 33 = 0. Is ((-2)/((-12)/921)*c)/(-1) a multiple of 18?
False
Let v be (-3 - -7) + (-50)/5. Is 4/v + (-2301)/(-9) a multiple of 10?
False
Suppose c = -12*c + 1560. Does 30 divide c?
True
Suppose 54*h - 70*h = -7072. Is h a multiple of 17?
True
Suppose 0 = o - 6 + 4. Suppose -3*l = -5*n - 4, -l + 4 - o = -n. Is l a multiple of 3?
True
Let n(d) = -5*d**2 + 5*d + 2. Suppose -4*t - 3 = -4*i + t, -2*i = -2*t. Let m be n(i). Let f = m + 119. Does 11 divide f?
False
Let z = -21 + 21. Suppose 94 = x - z*x. Is 15 a factor of x?
False
Let h(k) = -21*k**2 - 2*k. Let s(q) = -2*q**2 + 1. Let a(m) = -h(m) - 4*s(m). Suppose 0 = -4*g - 1 + 9. Does 29 divide a(g)?
True
Suppose f - 3*h + 17 = -46, 0 = -2*h. Let p = f + 159. Is 16 a factor of p?
True
Suppose 0 = 4*h - 3*h, p - h = 132. Let s = -58 + p. Is 8 a factor of s?
False
Suppose -1790 - 829 = -3*j. Is 47 a factor of j?
False
Suppose 3*q + 4*d = q + 30, -2*d + 2 = 0. Let h = q + -7. Suppose 5*y - 36 = -h. Does 6 divide y?
True
Let z(m) = -m**3 - 23*m**2 + 94*m + 3. Does 7 divide z(-27)?
False
Let b(p) = 7*p**2 - 10*p + 18. Let x(m) = m + 28. Let s be x(-24). Is b(s) a multiple of 10?
True
Let v be (-4)/(-12) - (-62)/3. Let w = v - 7. Does 11 divide w + 3/(-2)*2?
True
Suppose -2*c = 6*c - 5888. Is 29 a factor of c?
False
Let s be -3 + (-1 - (1 - 32)). Suppose -y + s = -8. Is 16 a factor of y + -2 + (2 - 3)?
True
Let r(t) = 122*t + 204. Does 11 divide r(9)?
False
Suppose 883 = 2*b - 0*b - a, -5*b + a + 2209 = 0. Does 26 divide b?
True
Let u = 2396 - 881. Does 10 divide u?
False
Let m(z) = z**3 - 7*z**2 - 8*z + 3. Let g be (24/18)/((-1)/(-6)). Let o be m(g). Suppose 0*y = 2*y - 4*r - 64, 2*r = -o*y + 96. Does 16 divide y?
True
Suppose -m + 3 + 0 = 0. Suppose m*c + 2 = 17. Suppose -5*y - 103 = 4*s - 6*s, -c*s - 5*y = -345. Is 21 a factor of s?
False
Suppose -442*s = -446*s + 8880. Is s a multiple of 21?
False
Let t(w) = 5*w - 3. Let n be 9*1 - (18 + -17). Is t(n) a multiple of 22?
False
Let u = 0 - -5. Suppose -5*v = -u*g + 425, 4*g - 355 = 2*v - v. Suppose g = 3*b - 48. Is b a multiple of 16?
False
Let f = -53 + 149. Is 32 a factor of f?
True
Let q be (-18 - -20)/(1/1). Suppose -76 = -q*o - 0*o. Is o a multiple of 19?
True
Suppose -9 = -5*x + 1. Suppose 4*v - 3*r - 185 = 0, -131 = -2*v - x*r - 49. Is v a multiple of 18?
False
Let y = -23 - -31. Suppose 0 = -3*h - h + y. Let c(k) = 3*k**2 + 3*k - 3. Is 15 a factor of c(h)?
True
Let h = -158 - -223. Does 10 divide h?
False
Let j(w) = -7*w - 124. Let v(u) = 11*u + 188. Let z(q) = -8*j(q) - 5*v(q). Let a = 1 - 1. Does 13 divide z(a)?
True
Let m(z) = -z**3 + 9*z**2 - 5*z + 6. Let i = 2