-126)). Suppose -q = 2*q + 4*l - 144, -2*l - b = -q. Is 24 a factor of q?
True
Suppose 0 = 3*c + 14 - 26. Suppose c*f = 1476 + 1276. Does 43 divide 1/(4/(f/4))?
True
Suppose 4*m - a = -4 + 2, 0 = -2*m + 5*a - 10. Suppose -5*o + 8*o - 2*d - 348 = m, 232 = 2*o + 2*d. Is 16 a factor of o?
False
Suppose 3*x = 5*x + r - 1041, 2*x - r = 1031. Is x a multiple of 37?
True
Suppose 5*g = 5*m - 5225, -m + 4*g + 92 + 959 = 0. Is 12 a factor of m?
False
Let u(h) = h**3 - 4*h**2 + h + 3. Let c be u(4). Let i(m) = m**3 - 7*m**2 + 2*m + 40. Let y be i(6). Suppose -c*n - y + 114 = 0. Is 4 a factor of n?
False
Suppose 11 = c - 0*c. Suppose -c - 139 = -z. Suppose -z = -2*p - p. Is p a multiple of 18?
False
Let m = -86 - 4. Let n = m - -160. Is n a multiple of 14?
True
Suppose 49 = -j + 2*j. Suppose -5*m + j = 3*p, m + 4 = 3*p - 51. Is 6 a factor of p?
True
Suppose 7*u = u. Suppose 4*c - 8 - 4 = u. Is (1/c)/((-12)/(-648)) a multiple of 9?
True
Let q = -167 - -748. Does 25 divide q?
False
Suppose 0 = 3*a - 1176 + 1023. Is a a multiple of 2?
False
Let l = 4 - 3. Let b be 148/l*(-2)/(-4). Does 9 divide 6/(-4)*b/(-3)?
False
Let l(v) be the second derivative of 3*v**5 + v**4/12 - v**3/3 + v**2/2 - 17*v. Does 20 divide l(1)?
True
Let a(v) = v - 43. Let t be a(-14). Let x = 74 + t. Is x a multiple of 6?
False
Let q(o) = 5*o**2 - 9*o - 6. Let r be q(-4). Suppose 0 = 3*s - 337 - r. Is s a multiple of 25?
False
Let y be ((-30)/9)/(4/(-12)). Suppose y*z = -5*z + 1380. Is 23 a factor of z?
True
Let n be (12/10)/((-3)/885). Does 6 divide 3/(-3) + n/(-6)?
False
Suppose g + 3 = 7. Let y = 25 + -19. Suppose -g*a - y*q + 2*q = -56, 2*a - 16 = -5*q. Is 5 a factor of a?
False
Let t be (-1)/2*-166 + 2. Let g = 124 - t. Is g a multiple of 11?
False
Suppose 4 = 8*h - 9*h, 4*c - 788 = 5*h. Does 8 divide c?
True
Let v(p) = 5*p + 44. Let s be v(11). Let z = s + -29. Is 3 a factor of z?
False
Suppose -12 = 4*z - 3*s, 0*s - 12 = z - 3*s. Suppose -d + 2*d + 1360 = z. Does 20 divide (-2)/(-9) - d/36?
False
Let a(i) = 2*i - 2*i**2 + 4*i**2 - 55*i**3 + 0*i**2 - 15*i**3 + 1. Suppose 0 = -n - 0*n - 1. Does 12 divide a(n)?
False
Let r(g) = 5*g - 1. Let z be r(-1). Let h = 33 + -72. Let s = z - h. Is s a multiple of 15?
False
Suppose -1788 = -4*j + j. Suppose -5*u = -o - 2280, -3*u + o + 770 = -j. Suppose 0 = 5*q - u + 117. Does 15 divide q?
False
Suppose -4*b = 3*o - 26 + 6, 2*b = 4. Let x = o + 36. Does 20 divide x?
True
Let o = -1 - -4. Suppose -2*n + 114 = 104. Suppose -4*l = -n*y + o - 4, 2*y + 2*l - 14 = 0. Is y even?
False
Let b = 94 + -34. Suppose -4*i + 5 = -3. Suppose i*v - b = -2*v. Is v a multiple of 5?
True
Let f(j) = j**2 + 7*j + 32. Is f(-5) a multiple of 4?
False
Suppose 323 + 108159 = 22*i. Does 19 divide i?
False
Is 36 a factor of (-36)/(-16)*(5 + (5 - -518))?
True
Let v = 4144 + -2214. Is v a multiple of 82?
False
Let c = -408 - -490. Is 2 a factor of c?
True
Suppose -u = 3*u + 5*h + 17, -h - 7 = -u. Suppose 5*l - 199 = 2*p, -3*l - 20 = u*p - 133. Is 13 a factor of l?
True
Suppose -d - 2*r - 5 = 0, -3*d = 2*r - 4 + 3. Suppose -m = w + d*w - 269, -2*w = 3*m - 147. Is 22 a factor of w?
True
Suppose 2*p = -2*z + 6, 4*p = -2*z + p + 5. Suppose -u + 2*i - 9 = -65, 5*u + 5*i = 310. Suppose -u = 2*f - z*f. Is f a multiple of 29?
False
Let b = 867 + -615. Is b a multiple of 12?
True
Suppose 3*f - 10 + 1 = 0. Suppose 3*c = -0*c + 2*o + 59, 5*c + f*o = 73. Does 5 divide c?
False
Let g(l) be the third derivative of -l**6/120 - l**5/20 + 7*l**4/24 - l**3 - 2*l**2. Let a be g(-6). Is ((-3)/6)/((-2)/a) a multiple of 15?
True
Suppose z = -2*n + 15, -5*n = -5*z - 37 + 7. Suppose -4*h = -n*h + 156. Is 8 a factor of h?
False
Let m be ((-22)/66)/((-2)/276). Suppose -m = -u - 0*u + 4*w, -w = -5. Is u a multiple of 11?
True
Let o = 371 + 1657. Is o a multiple of 78?
True
Suppose -4*d - 95 = 3*m - 11, -33 = 2*m - 5*d. Is 6 a factor of 1/(-6) + 2/m*-362?
True
Suppose 13*w - 7836 = 9909. Does 21 divide w?
True
Let l(o) = o**3 - 20*o**2 - 69*o + 27. Is 11 a factor of l(27)?
True
Let o(a) = -a**2 + 78*a - 333. Is 24 a factor of o(45)?
True
Let g be (-122)/(-5) + (-4)/10. Suppose 4*z = -4*d + 24, -2*z = -2*d - 0*z. Is g + d + (1 - 1) a multiple of 6?
False
Suppose 5*j = -f + 18, -4*f - 5*j = -32 - 25. Let m = 20 - f. Suppose -m*g + 8*g - 56 = 0. Is g a multiple of 14?
True
Let z be 835/20 + 6/(-8). Let m = z + 143. Is m a multiple of 20?
False
Let p be ((-8)/12)/((-3)/9). Suppose 5*b = 4*d + p*b - 89, 5*d - b = 114. Is 10 a factor of (1/1)/(1/d)?
False
Let t(b) = b**2 - 13*b - 45. Let v be t(-3). Let y = 3 - 0. Suppose v*z = 2*q - 71 - 25, -y*q - 4*z = -161. Is 17 a factor of q?
True
Suppose -45*h = -41*h - 2984. Is h a multiple of 11?
False
Let g(d) = -9*d + 34. Let i be g(-12). Suppose -210 = -8*q + i. Is 22 a factor of q?
True
Let s be 12/15 + (-20)/25. Suppose 6*r - r - 675 = s. Is r a multiple of 42?
False
Is (-5 - -503)*(-3 - 7/(-2)) a multiple of 4?
False
Let r(u) = -u**3 - 16*u**2 - 17*u - 3. Does 20 divide r(-15)?
False
Suppose 10 = 6*z - 62. Suppose 0 = -b + 4*g + z, -5*b - 4*g + 93 = -87. Does 2 divide b?
True
Let r(p) = -3*p**3 + 20*p**2 - 7*p - 32. Is 38 a factor of r(-10)?
False
Let m(r) be the second derivative of r**5/20 + 7*r**4/12 + 7*r**2/2 + 5*r. Let v be m(-7). Suppose -12*w + 60 = -v*w. Does 12 divide w?
True
Suppose 122 = -2*o - 0*o. Does 10 divide 2 - 4 - o - -1?
True
Let c(r) = r**2 + 5. Let q = -22 + 27. Suppose -3*k + 29 = -4*n + 2*k, 0 = -5*n - q*k - 25. Is c(n) a multiple of 7?
False
Let n = -904 - -1272. Is n a multiple of 27?
False
Let t(m) = -47*m**3 - 7*m**2 + 4*m + 16. Is t(-2) a multiple of 20?
False
Suppose 0*o = -5*o. Suppose -12*u + 7*u - 400 = o. Is 19 a factor of (-9)/(18/u) + -4?
False
Let z(r) = r**3 - 14*r**2 - 13*r - 1. Let t be (-28)/(-2) - (3 - 4). Is 16 a factor of z(t)?
False
Suppose 6*u = 11*u - 25. Suppose -u*f - 128 = -7*f. Let l = 118 - f. Does 16 divide l?
False
Let s(w) = 814*w + 44. Is s(2) a multiple of 78?
False
Let l = 107 - 55. Let n = l + -7. Is n a multiple of 9?
True
Suppose -14*x + 5 + 289 = 0. Is x a multiple of 2?
False
Let t(b) be the third derivative of b**6/240 - 2*b**5/15 - b**4/12 + 6*b**2. Let i(y) be the second derivative of t(y). Is i(12) a multiple of 12?
False
Let i(r) = -r**3 - 6*r**2 - r - 1. Let k be i(-6). Suppose -k*d + 0*d = 5*g - 50, 3*g + 20 = 2*d. Suppose -5*y = -d*y + 30. Is 6 a factor of y?
True
Suppose q + 0*q + g = 1, -2*g + 10 = 4*q. Let s = q - -26. Does 30 divide s?
True
Suppose -3*f = 12 - 3. Let d be 5556/36 - 2/f. Let l = d + -52. Is l a multiple of 21?
False
Let b be (-4)/8*50 - -4. Is 38 a factor of (-3)/(-7) + (-831)/b?
False
Let j(x) = -x**3 - 5*x**2 - x - 3. Let k be j(-5). Suppose -12 = k*u - 4*u. Suppose 2*i = u + 6. Is i a multiple of 2?
True
Suppose 0 = -12*z + 9226 - 3298. Is 38 a factor of z?
True
Suppose 4*h = -3*u + h + 93, 5*u - 2*h = 176. Is u a multiple of 3?
False
Suppose -4*s + 529 = 69. Is s + -2 + 3 + -2 a multiple of 19?
True
Suppose 3*v = -3*v - 6. Suppose -4*p = -50 + 6. Let z = v + p. Is z a multiple of 7?
False
Suppose 4*g - 56 = 3*s, s + 52 = -2*s + 5*g. Let u = s + 101. Is u a multiple of 13?
False
Let w = 46 - 67. Let m = 30 + w. Is m a multiple of 2?
False
Let x be -1 + 3 - (-1 - 2). Suppose -f - 2 = -3*z + 12, -4*f - x = 5*z. Does 16 divide z*(-4)/30*-95?
False
Suppose -2*p - p = -5*v + 15, -9 = -3*v - 5*p. Suppose 2*r - 141 = -5*q, 201 = v*r - 4*q + q. Is r a multiple of 20?
False
Let r be 94/(-10) + (-15)/25. Let n be r/((-2)/(8/1)). Suppose n = -0*c + 2*c. Does 10 divide c?
True
Suppose 576 = -82*r + 88*r. Is r a multiple of 5?
False
Let o = 556 + 29. Does 9 divide o?
True
Suppose -g + 34 = 2*o, -o - 5 = 5*g - 4. Let j = -14 + o. Is j even?
False
Suppose -w + 1025 = -5*d, 8*w = 3*w + d + 5197. Is w a multiple of 40?
True
Let q be 3 + -3 - (-1 + 1*11). Is 2 a factor of (q/(-2))/(3 + 70/(-25))?
False
Let j(u) = u**3 + 11*u**2 - 4*u + 5. Let n be j(-11). Suppose 2*o - n + 9 = 4*v, 0 = -2*v - 10. Let q = o + -1. Is q a multiple of 9?
True
Suppose 4*h = -18 + 30. Let r = 7 - h. Is r a multiple of 2?
True
Suppose 2*x = 3*l + 2, -2*l + 4*x - 26 = -7*l. Suppose -l*o = 7*o - 1116. Is 27 a factor of o?
False
Let n(z) = -z. Let k be n(1). Let i be (1 + k)*(-6 + 7). Suppose 3*c - 4*c + 2