e -2*z - 5*c = 23, 2*z + 4*c + 17 = -z. Let q = z - s. Is q a multiple of 5?
False
Let m = 52 + 6. Let z be (-3)/(-2)*m/3. Suppose -y + 169 = 5*u, -10 = -u + 5*y + z. Is u a multiple of 13?
False
Suppose -163 = 3*a - 4*j - 54, -a = 2*j + 43. Let w be (-24)/9*a/2. Suppose -3*n = -2*n - 1, -3*r = -5*n - w. Does 16 divide r?
False
Suppose -2*d - 3*m + 62 = -1, -5*d - m = -138. Let z be ((-1)/5)/(10/50). Let k = d - z. Is 15 a factor of k?
False
Let n(b) = b**2 - 12*b - 18. Is n(14) a multiple of 3?
False
Suppose 0 = -4*m + 9*m - 180. Does 4 divide m?
True
Suppose 7*y = 10*y - 120. Is y a multiple of 3?
False
Let x(t) = -t**3 - 4*t**2 - 5*t - 3. Let k be x(-3). Suppose j - k*j = -40. Let d = j - 12. Is 4 a factor of d?
True
Let h(c) = c. Let n(f) = -1. Let q(x) = -h(x) + 2*n(x). Is 2 a factor of q(-6)?
True
Suppose -2*x = -4*l - 120, -x + 5*l = -0*x - 48. Does 17 divide x?
True
Let r(z) = z**2 + z + 14. Let l be r(0). Let m be ((-120)/28)/(2/l). Is (-64)/(-10) - (-12)/m a multiple of 3?
True
Suppose 95 = -5*i + 575. Is i a multiple of 24?
True
Let w be -69*(1 - (-20)/(-12)). Suppose -2*m + 5*b + w = b, 125 = 4*m + 3*b. Is 16 a factor of m?
False
Let w(f) = 3*f**2 + 4*f - 4. Let s be w(-4). Does 17 divide (-8)/s - 552/(-21)?
False
Let a = 1233 + -863. Is 54 a factor of a?
False
Suppose -9*a = -6*a - 18. Is (-40)/a*(-3)/2 a multiple of 4?
False
Does 4 divide (-2)/(-6) - (-276)/36?
True
Suppose -35*c - 58 = -37*c. Is 6 a factor of c?
False
Let i be (3 - 2)*(-2 + 1). Let y = i + 4. Suppose 69 = 3*w + 3*k, -y*w - 4*k - k = -79. Is w a multiple of 9?
True
Suppose 0 = -5*g + 41 + 29. Is 14 a factor of g?
True
Is 5/2*(-348)/(-10) a multiple of 29?
True
Suppose 0 = 2*w - 3*d, -3*d + 0 = -3*w + 3. Suppose 100 = w*j - 14. Is j a multiple of 19?
True
Let q(i) = i + 2. Let z be q(4). Suppose -80 = -z*d + 172. Is 10 a factor of d?
False
Let k(d) be the second derivative of -5*d**3/6 - 15*d**2/2 + 5*d. Is k(-6) even?
False
Suppose 5*i = -b + 315, -3*i + 2*i - 4*b = -44. Does 16 divide i?
True
Let i(j) = 1 + 27*j + 2 - 7*j. Let n be i(-4). Does 11 divide n/(-3) - 6/9?
False
Is 16 a factor of (53 - 5) + -2 - (-9)/(-3)?
False
Suppose 0 = 2*f + 5*k + 7, 0*f + 5 = -f - 4*k. Let x be (-1)/1*(f + 1). Suppose h = 4*g - 166, x*h = -4*g - h + 170. Is g a multiple of 14?
True
Suppose 5*a + 430 = 10*a. Is a a multiple of 12?
False
Let d(f) = -3*f. Let w be d(-1). Suppose z - 130 = l, 5*l = z + w*z - 517. Let i = z - 94. Is i a multiple of 13?
True
Suppose -3*y = -x + 33, -43 - 35 = -2*x + 2*y. Is 14 a factor of x?
True
Let z(m) = -8*m - 14. Let y be z(-13). Suppose -y = -a - 2*a. Is 13 a factor of a?
False
Suppose -z - 345 = -6*z. Is z a multiple of 9?
False
Let u(r) be the third derivative of r**4/12 + r**3/6 - r**2. Let i be u(1). Suppose i = -4*g + 83. Is 20 a factor of g?
True
Let r be (2/(-6))/((-2)/138). Let z = 32 - r. Does 9 divide z?
True
Is 201 - 0 - (0 - (1 + -4)) a multiple of 14?
False
Suppose -3*i = -4*h + 4, -3*i = -2*h - 4*i + 12. Suppose 5*p = -2*u + 49, h*p = p + 4*u + 45. Does 6 divide p?
False
Let l(r) = 15*r + 2. Let j(m) = m**2 + 3*m - 3. Let b be j(-3). Let h(g) = 1. Let d(v) = b*h(v) + l(v). Is 6 a factor of d(1)?
False
Let k be (2 - 2) + (2 - 0). Suppose 0 = -k*r - 2*s + 12, -r - 3*s = -5*r + 10. Does 2 divide r/1 + (-1)/1?
False
Let g(b) = b - 2. Let r be g(7). Let q = r - 3. Suppose -f + 12 = 3*f, 4*h - 58 = q*f. Does 8 divide h?
True
Suppose -r - 4*r + 4*c = -64, 5*r - 63 = 3*c. Is 12 a factor of r?
True
Suppose -p = -5*l - 5*p + 316, p - 319 = -5*l. Does 16 divide l?
True
Let b(h) = h**2 + 5*h + 3. Let p be b(-3). Let q be (-2 - 0) + -1 + p. Is (-31 + -2)*4/q a multiple of 11?
True
Let j be 2/1 - 4/(-1). Suppose -4*h - 26 = -w, -j*w = -2*w - 2*h - 48. Is 5 a factor of w?
True
Is 15 a factor of (5*-2 - 0)*989/(-86)?
False
Suppose 4*i - p = 1282, -2*p - 964 = -3*i - 0*i. Is 20 a factor of i?
True
Is (20/(-16))/((-1)/4) even?
False
Suppose -33 = -4*w + 5*j, 2 - 28 = -3*w + 4*j. Suppose -2*d + 29 = p, 0 = 5*d - w*p - 70 - 7. Let f = d + -5. Is 10 a factor of f?
True
Is 33 a factor of -1 - -4 - (3*304)/(-4)?
True
Is 13 a factor of (2/(-4))/(-1*(-3)/(-390))?
True
Suppose x + 0 = -4. Is 15 a factor of (1 - 46)*4/x?
True
Let w(b) = -b**2 + 2*b + 2. Let o = -6 - -9. Let m be w(o). Let g(d) = -13*d - 1. Is g(m) a multiple of 5?
False
Suppose 3*g - 6*x - 13 = -x, 2 = -4*g - 3*x. Let c be 3 + (-1 - g)/(-2). Suppose -5*q = -15, -k + 148 = 4*k - c*q. Does 13 divide k?
False
Suppose 3*x - 5*b = 15, 5*x - 3*b + 5*b - 25 = 0. Suppose 2*q = 4*q - 8. Suppose x*c + 13 = -q*w, 4*w - 53 = 4*c - 21. Does 2 divide w?
False
Let l(d) = -d**3 + 11*d**2 - 10*d + 9. Does 4 divide l(10)?
False
Let d(v) = -v**3 - 9*v**2 - 10*v + 9. Is 19 a factor of d(-8)?
False
Let x(b) = b**3 - 5*b**2 - 8*b + 7. Let l be x(6). Let d = l - -19. Is 14 a factor of d?
True
Suppose d + 2 = -4. Does 11 divide d/27 - 308/(-9)?
False
Suppose -16*p = -12*p - 60. Is p a multiple of 12?
False
Let n(y) = -5*y - 4. Suppose s + 0*s + 8 = 0. Is n(s) a multiple of 12?
True
Let a = 6 - 3. Suppose p = -a + 36. Is p a multiple of 11?
True
Suppose -3*m + 69 = -6*x + 3*x, 2*m + 4*x = 64. Suppose -o - 3*i + 2*i + m = 0, 5*o = -i + 130. Suppose o = -0*n + 2*n. Is n a multiple of 5?
False
Suppose 142 - 992 = -5*c + r, 0 = r - 5. Is c a multiple of 9?
True
Let b = 0 + 5. Suppose -b*c = -3*c - 88. Is 16 a factor of c?
False
Let i be (-1)/(-3)*(-3 - -3). Suppose 5*q = 5*o - i*o - 235, 3*q = 2*o - 89. Is o a multiple of 13?
True
Let l(t) = -t + 2. Let c be l(-2). Suppose 4*a = -c*f + 276, 4*a = 2*f - 11 + 293. Is a a multiple of 21?
False
Suppose 3*j - 79 - 44 = -4*m, -3*j - 3*m + 126 = 0. Is 16 a factor of j?
False
Let c(g) = g - 1. Let m be c(2). Suppose m = -y, 5*k + 0*y - 4*y - 19 = 0. Suppose 20 = k*z - z. Is 5 a factor of z?
True
Suppose 3*r + 5*p = -0*r + 205, 0 = 2*r + p - 139. Is 29 a factor of r?
False
Let v(f) = -2*f**2 + 3*f - 4. Let m be v(4). Let s = m + 105. Is s a multiple of 27?
True
Let c(u) = u**2 - 7*u + 2. Let p be c(7). Let r = -222 + 322. Suppose 0 = 2*s + p*s - r. Is 12 a factor of s?
False
Suppose 3*p - 226 = 86. Suppose p = -4*q - 5*d - 64, q + 4*d = -53. Let b = q + 65. Does 14 divide b?
True
Let k(r) = r**3 + 6*r**2 + 3*r - 1. Let l(y) = -y + 10. Let a be l(8). Suppose 0 = -a*n - 4*s + 2, 2*s = 4*n - 3*s + 35. Does 3 divide k(n)?
True
Let f = -42 + 69. Is f a multiple of 25?
False
Suppose 4*d + 3*y = 14, 0*d + 2*y - 12 = -4*d. Suppose 43 = -3*c + d*f, 23 = -2*c + c + 5*f. Let h = -2 - c. Is h a multiple of 4?
False
Let y(s) = -106*s - 2. Let x be y(-5). Suppose -z = -4*p - 124, -5*z + p + x = 4*p. Suppose 2*m - 72 = -4*w, 3*m - z = w - 35. Is 13 a factor of m?
True
Let g(b) = b**3 + 5*b**2 + 2*b - 4. Let l be g(-4). Suppose 2*n - 3*c + 20 = -2*c, -l*n = c + 28. Let w = 24 + n. Is w a multiple of 8?
True
Let v(c) = c**3 + 20*c**2 - 2*c - 5. Is v(-20) a multiple of 12?
False
Let f(g) = -10*g - 6. Does 6 divide f(-3)?
True
Let m = 31 - 27. Suppose -2*f + 33 = -9*y + 4*y, 0 = -f + m*y + 12. Is f a multiple of 12?
True
Suppose -7*v + 1804 = -3*v. Let k = v + -37. Does 21 divide k/10 - 3/(-5)?
True
Let t(h) = -4*h**3 - 8*h**2 + 13*h + 5. Let x(m) = 3*m**3 + 9*m**2 - 13*m - 5. Let q(p) = -4*t(p) - 5*x(p). Does 3 divide q(12)?
False
Suppose o + 40 = 6*o. Suppose -z = -o*k + 3*k + 33, k = -z + 3. Does 6 divide k?
True
Let a = 4 - 1. Suppose 2*w - 3*t = 124, -a*w = 4*t - 3*t - 175. Let d = w + -40. Is 19 a factor of d?
True
Let w = -96 - -160. Does 4 divide w?
True
Suppose r + 8 = 5*c - 8, -2*r + 7 = 3*c. Let s(q) = q + 1 + 9 + c. Is 3 a factor of s(-6)?
False
Let k(f) = 9*f - 5. Let g be k(-3). Let v be 2*(1 + -1 - 11). Let x = v - g. Is 4 a factor of x?
False
Suppose -91 = 3*q + 2*n + 56, 5*n + 189 = -4*q. Let f be -2 + 1/((-3)/q). Is 9 a factor of 155/f + (-4)/(-6)?
False
Suppose 0 = -7*r + 4*r + 45. Is r a multiple of 3?
True
Let i be ((-2)/(-6))/(2/18). Suppose 67 = i*q - 11. Is 20 a factor of q?
False
Does 7 divide (-2)/8 + (-8)/(96/(-2115))?
False
Suppose 0 = -2*x + 3*x. Suppose -u = -5*a - 553, x = -5*a + 5*u - 241 - 324. Let v = -63 - a. Does 12 divide v?
False
Suppose -6*r = 4*z - 3*r - 11, -5*z + r = 10. Let b = z + 4. Suppose 0*h + 36 = b*h. Does 9 divide h?
False
Let y(k) = -9*k**2 