4*x. Is 13 a factor of x?
False
Suppose 0 = 3*i + 12, 0 = 3*u - 4*i - 25 - 0. Suppose v - 2*m + 53 = 4*v, -5*v - u*m + 90 = 0. Does 14 divide v?
False
Let u = -8 + 10. Suppose 4 = -u*o, -6*c + c = o - 58. Does 6 divide c?
True
Is 20 a factor of (-21)/2*40/(-12)?
False
Let h(w) = 4*w - 4. Let s(a) = -9*a + 8. Let j(f) = 5*h(f) + 2*s(f). Does 4 divide j(6)?
True
Let t(p) = -2*p**3 + 2*p**2 + p + 2. Let y be t(-2). Suppose 4*m - 36 = y. Is 15 a factor of m?
True
Does 29 divide (0 - -101) + (2 - 3)?
False
Let m(z) = -z - 3. Let f be m(-8). Suppose 4*r + 30 = 7*r. Suppose f*h - 5 = r. Is h a multiple of 3?
True
Suppose 4*v + s = -4*s + 152, -2*v - 3*s + 74 = 0. Suppose 0 = 6*r - 7*r + v. Is r a multiple of 17?
False
Suppose -5*r + v + 17 = 0, 3*r + v - 10 = -3. Let w be (r/(-2))/(-3)*2. Suppose f = 13 - w. Is f a multiple of 7?
False
Suppose -3*j - 3*s - 59 = -5*j, 0 = 4*j - 4*s - 116. Suppose -3*x + 41 + j = 0. Let c = x + -5. Does 8 divide c?
False
Let w(n) = -48*n - 1. Let z be 2/(2/2*1). Suppose -5*f + z*d - 13 = 0, -8*d + 23 = -3*f - 3*d. Is 16 a factor of w(f)?
False
Let u be 6/(-3) + (-44)/(-2). Let l = 0 + u. Is l a multiple of 10?
True
Suppose 4*t + 8 + 2 = 2*v, -5*v = -5*t - 45. Let p(h) = 24 + v - 13 + h**2. Does 12 divide p(0)?
True
Let m(c) = c**2 - c. Let z be (3 - 0)/((-9)/12). Is 20 a factor of m(z)?
True
Let d(m) = 1 + 27*m**3 + m**2 - 4 - 2 + 4. Does 11 divide d(1)?
False
Let o be 4/10 + (-265)/(-25). Is (o/(-5))/((-6)/30) a multiple of 3?
False
Let i(m) = m**3 - 7*m**2 + m - 13. Let r(w) = -w**3 + 7*w**2 - w + 14. Let q(a) = 6*i(a) + 5*r(a). Let g be q(7). Is (-1)/g + (-115)/(-5) a multiple of 12?
True
Let s(w) = -4*w + 2. Let o be s(-2). Let f(i) = i**3 - 5*i**2 - i + 1. Let b be f(5). Let n = o - b. Is n a multiple of 7?
True
Suppose 3*k = -20 + 2. Let c be (-615)/k + 1/(-2). Suppose 0 = -5*i + c - 22. Is 7 a factor of i?
False
Suppose -5*r + 4*r + 5*g = -59, -216 = -3*r + 2*g. Is 37 a factor of r?
True
Let l = -9 + 17. Suppose -3*d + 13 + l = 0. Is d a multiple of 7?
True
Suppose 0*a + 2*a + 254 = 0. Let z = a - -186. Is 28 a factor of z?
False
Suppose 5*l + 2*u - 174 = 0, -111 = 4*l - 7*l + u. Does 6 divide l?
True
Let v = 10 + 20. Let r = v + -16. Is 7 a factor of r?
True
Suppose -1 = 3*i - q - 12, 4*q - 21 = -i. Let w be (1*-3)/(1/(-2)). Suppose 2*f + u - i*u - w = 0, -5*u = 0. Is f a multiple of 3?
True
Suppose 2*v + 21 + 6 = t, 2*t = 3*v + 55. Is t a multiple of 7?
False
Suppose -7*t + 2*t + 10 = 0. Does 11 divide -19*t/(-2) - -3?
True
Suppose -4*g + 7*g + 133 = 4*f, -3*f + 3*g + 99 = 0. Is f a multiple of 17?
True
Let b(r) be the third derivative of r**5/30 + r**4/8 + r**3/3 - 2*r**2. Let m be b(3). Let a = m - 16. Is 13 a factor of a?
True
Suppose 0 = -g - 3, 0*d - 91 = -d + 5*g. Is d a multiple of 19?
True
Let h(o) = 3*o**2 - 12*o - 4. Let y be h(-12). Let r = y - 326. Is 11 a factor of (-2)/(-8) - r/(-8)?
False
Suppose 2*u = -2*g + 14, -4*u - 5*g + 32 = -0*u. Suppose 4*x = 2*q - 20, -x + u*x - 2 = -5*q. Does 10 divide (4/q + -3)*-20?
True
Is 35 a factor of (-7293)/(-66) + 2/(-4)?
False
Suppose -6*z + 36 = -2*z. Is 7 a factor of z?
False
Suppose 2*s = -2*s - 3*t + 33, -3*s = 4*t - 30. Let m be s*((-4)/(-6))/1. Suppose -u = -m*u + 48. Is 8 a factor of u?
True
Let d = 12 + -6. Let b = d + 5. Is 3 a factor of b?
False
Let f = 15 - -3. Does 9 divide f?
True
Suppose 2*q + 5*f - 423 = 0, -q - 2*f + 25 = -185. Let n = q + -145. Does 15 divide n?
False
Let s be 3 - (0 + 3)/3. Suppose g + s*g - 9 = 0. Let a(c) = -c**3 + 5*c**2 + c - 1. Is a(g) a multiple of 7?
False
Suppose 6*p - 92 = 172. Is 22 a factor of p?
True
Suppose -2*q + w + 22 = 0, 4*q - 3*w - 32 = 14. Is 5 a factor of q?
True
Let m(g) = 3*g**2 + 0*g + g - 2*g**2 + 24. Is m(0) a multiple of 24?
True
Suppose 3*l = l + 6. Let b(w) = 6*w + 51. Let f be b(0). Suppose -f = -2*n - l. Is n a multiple of 14?
False
Let k(m) be the third derivative of -m**7/1260 + m**5/30 - 2*m**2. Let d(l) be the third derivative of k(l). Is 16 a factor of d(-6)?
False
Let n = -1 + 5. Does 10 divide n/6 + (-134)/(-6)?
False
Let z = 92 + -58. Is 7 a factor of z?
False
Suppose -q = -4*q. Suppose q = -y + 2*y - 4*a - 11, 12 = y - 5*a. Does 5 divide y?
False
Suppose 0 = w + 5*j - 39 - 6, -4*w + 5*j + 55 = 0. Does 10 divide w?
True
Let p(k) be the second derivative of k**4/12 + 7*k**2 + 2*k. Is p(0) a multiple of 4?
False
Is 14 a factor of 1/(-4) - (-114)/8?
True
Let d be ((-12)/(-10))/(2/5). Suppose -b - d = 2. Let z = b - -13. Is 6 a factor of z?
False
Let a be 0 - (2/(-1) + -4). Let h = a + 6. Does 6 divide h?
True
Let u(q) = q**2 + 6*q. Let a be u(-6). Suppose p - 1 - 5 = a. Is p a multiple of 2?
True
Suppose -5*i + 17 = 2. Suppose i*p - 29 - 49 = 0. Does 13 divide p?
True
Let p(r) = -r**2 - 11*r - 2. Let a be p(-10). Let l be a/3*75/2. Suppose 4*t = -3*u + l, -3*t - 2*u + 0*u = -74. Is t a multiple of 12?
False
Let d(l) = 8*l + 3. Is 17 a factor of d(6)?
True
Let v(y) = -y**2 - 14*y - 6. Let x be v(-11). Does 13 divide (1 - x)*21/(-14)?
True
Let i(w) = 5*w - 1. Let a be i(-1). Let v = a - -6. Suppose 4*x + 8 - 104 = v. Does 12 divide x?
True
Let n = -286 - -135. Let a = -98 - n. Is a a multiple of 24?
False
Let b(x) = -x + 69. Is b(21) a multiple of 8?
True
Let y = 7 + -6. Let m(r) = 6*r**3 - r. Is 5 a factor of m(y)?
True
Suppose -4*z = -103 - 225. Let p = z + -40. Suppose 3*h - 12 = p. Does 7 divide h?
False
Let i = 269 - 99. Is i a multiple of 15?
False
Let l be (251/5)/(3/15). Suppose 0 = 5*y + 71 - l. Does 12 divide y?
True
Let j = 21 + 5. Is 13 a factor of j?
True
Is 11 a factor of 14/63 + ((-1303)/(-9) - 2)?
True
Let s = 485 - 338. Does 49 divide s?
True
Suppose 4*x + 271 = 3*u, u + 4*x - 101 = -0*u. Suppose 2*v + u = 5*v. Is 16 a factor of v?
False
Suppose -8 = -r - 4*v, 0*r - 4*r + 4*v + 12 = 0. Suppose -r = -4*u, 5*l - 2*u - 73 = -5*u. Is 7 a factor of l?
True
Suppose l - 2*y = 4*l - 971, -y + 1623 = 5*l. Is 25 a factor of l?
True
Let u be 3/((-9)/(-57)) + 2. Suppose -t - u = -4*t. Suppose 0 = -5*i + 57 - t. Does 10 divide i?
True
Let l(h) = -5*h + 5. Let a be l(4). Is 18 a factor of (a + (-6)/2)*-1?
True
Let t = 88 + -43. Is t a multiple of 20?
False
Is (5 + 35)/((-2)/(-3)) a multiple of 13?
False
Let h be ((-60)/(-9))/(12/126). Suppose -i = 4*i - h. Is i a multiple of 9?
False
Suppose -c + 14 + 14 = 0. Is 7 a factor of c?
True
Let m(y) = y**2 - y + 3. Let b be m(6). Let p = b - 15. Is 18 a factor of p?
True
Suppose y + 5 = -2*t, -4*t - y = 1 + 4. Suppose t*h - 8 = 4*h. Is 11 a factor of -45*(h - 12/(-9))?
False
Suppose -f = -4*w - 0*w + 22, 3*w = -2*f + 22. Let x(a) = 2*a**2 - 6*a - 4. Does 15 divide x(w)?
False
Let t(f) = 4*f + 2. Let k(h) = 8*h + 5. Let b(j) = -6*k(j) + 14*t(j). Suppose 0*y = 2*y + 3*c + 7, c + 1 = -y. Is 10 a factor of b(y)?
True
Let r be (-20)/6 + (-5)/(-15). Is (-132)/(-8) + r/(-6) a multiple of 13?
False
Let d = -24 + 47. Is 2 a factor of d?
False
Let c(y) = y + 3. Let r be c(-3). Let j(m) = m**3 - m**2 - m + 33. Is j(r) a multiple of 11?
True
Is 4 a factor of 45/(-10)*-2*3?
False
Let w(s) = -3*s + 4*s + 1 - s + 14*s**2. Let r be w(1). Does 4 divide 18/5*r/6?
False
Let s be (-32)/14 - (-2)/7. Let m(q) = 8*q**2 - q. Is m(s) a multiple of 13?
False
Suppose 0*p - 75 = -p - 4*v, 2*p + 3*v = 130. Let m = p - 34. Does 17 divide m?
False
Suppose 0 = q - 0*q + 6. Does 8 divide ((-2)/q)/((-4)/(-144))?
False
Suppose -21 + 6 = -5*d. Suppose 2*m + 0*y - 3*y = 39, -4*m - d*y + 105 = 0. Is m a multiple of 16?
False
Let a(r) be the second derivative of r**3/3 + 3*r**2/2 - 5*r. Is 8 a factor of a(8)?
False
Suppose n + 8 = -4*z + z, -13 = -2*z + 3*n. Is 8 a factor of 12 + (2 - 4 - z)?
False
Let r(q) = -q - 5. Let j(h) = h + 4. Let w(g) = -7*j(g) - 6*r(g). Does 3 divide w(-7)?
True
Let z(b) = b**3 + 11*b**2 - 12*b + 13. Does 13 divide z(-12)?
True
Suppose 35*t + 8 = 37*t. Suppose -4*c + 5 = c, -t*g = 3*c - 15. Is g a multiple of 3?
True
Let o(c) = -c**2 - 6*c - 5. Let k be o(-5). Suppose k = d - 2*d + 5. Let u = 12 + d. Is u a multiple of 17?
True
Suppose 0 = -5*i - h - 64 - 89, -10 = -5*h. Let l = i + 58. Does 8 divide l?
False
Suppose -5*v - 159 + 429 = 0. Is 6 a factor of v?
True
Let s = 5 + -2. Suppose 5*y - 30 = -2*m, -4*y = m - 10 - 5. Suppose -d = s*j + 2*j - m, -d