tiple of 13?
False
Suppose 4*g - 115 = t, -t = -2*g - 2*t + 53. Suppose 4*v = g + 20. Is v a multiple of 4?
True
Suppose 14*u - 10*u - 212 = -4*v, -5*u + 3*v + 257 = 0. Is 2 a factor of u?
True
Let p(m) = 3*m - 11. Let o(r) = -r + 5. Let u(k) = -5*o(k) - 2*p(k). Let s be u(6). Let q = -3 - s. Is 3 a factor of q?
True
Let j = -7 + 18. Let f = j + -6. Is 5 a factor of f?
True
Let w = 3 - -16. Does 4 divide w?
False
Suppose 360 = 5*w - 5*r, -4*w + 3*r = r - 280. Does 32 divide w?
False
Let h = -60 - -111. Is 21 a factor of h?
False
Let j be (-1)/3*15*-1. Suppose r + 5 = 3*r + j*m, -4*r + 28 = 4*m. Is r a multiple of 10?
True
Let s = -4 + 7. Suppose s*y = 5*y + 24. Is 9 a factor of ((-81)/6)/(9/y)?
True
Suppose 5*h + 39 = 4. Let k(a) = a + 3. Let l be k(h). Does 16 divide (l/(-2))/((-6)/(-117))?
False
Let v(p) be the first derivative of -p**2/2 + p - 2. Let w be v(-4). Suppose -5*n + 135 = -3*l + 41, w*n - 110 = -5*l. Is n a multiple of 11?
False
Let g(u) = 4*u + 4. Does 16 divide g(3)?
True
Let l = -5 - -9. Suppose l*k = 62 + 118. Does 15 divide k?
True
Let q(v) = -8*v**2 - v. Let a be q(1). Does 13 divide 3 + a + 3 - -54?
False
Let o(c) = -29*c + 3. Let w(r) = -58*r + 7. Let u(q) = -5*o(q) + 2*w(q). Let x be (-110)/(-77) - (-3)/(-7). Is 11 a factor of u(x)?
False
Suppose 0 = j - 6*j - v + 22, 0 = -3*v - 9. Suppose 0*u - 15 = -j*u. Suppose 0 = n + 2*o + o + 1, 0 = u*o + 12. Is n a multiple of 10?
False
Let f be (-4)/1*(-2)/4. Suppose -2*w + 12 = -f. Suppose -z - 1 = -w. Is z a multiple of 3?
True
Let z(a) = -a**2 - 8*a - 8. Let n be z(-7). Let c be n/3 + (-194)/(-6). Suppose -4*r + c - 8 = 0. Is 3 a factor of r?
True
Suppose 0 = -2*h + 4 - 2. Suppose 8 = d + h. Is d a multiple of 4?
False
Suppose 5*o + 16 = -3*n, 4*n + o - 5*o = 0. Let p be n*3*(3 + -8). Suppose -t = -3*s + 43, -2*t - p = -2*s - 0*t. Is s a multiple of 14?
True
Let s be 1 + (-1 - -1) + 2. Let g be (84/(s/1))/1. Let d = g - 20. Is d a multiple of 4?
True
Let w(z) = -z**3 - 9*z**2 - 10*z - 8. Let q = -13 + 5. Is 8 a factor of w(q)?
True
Suppose 3*p - 141 = -q, -188 = -2*p - 2*p - 4*q. Is p a multiple of 16?
False
Suppose -5*s - 6 = -4*d - 1, -5*s + 35 = 4*d. Suppose -n - 53 = -2*n + d*v, 0 = -3*n + v + 145. Is 12 a factor of n?
True
Let o(r) = r**3 - 5*r**2 - r - 1. Let b be o(5). Let v = b - -10. Let c = 11 + v. Does 15 divide c?
True
Suppose -4*r - 2*q - 2*q + 116 = 0, 4*r = -q + 113. Does 14 divide r?
True
Suppose -2*g + 5*j = 15, 3*g - 5*j = -g - 25. Let t(n) = n**2 - 5*n - 6. Is t(g) a multiple of 22?
True
Let o = 28 - 49. Let b = o - -47. Is b a multiple of 12?
False
Let k(d) = 5*d - 6*d + d**2 + 2*d. Is 12 a factor of k(3)?
True
Suppose 4*c - 11 = 5. Suppose -c*j + 110 = -46. Does 11 divide j?
False
Suppose 3*y = 7*y - 5*a - 73, a = -3*y + 31. Let m be 1/(37/y - 3). Let z = m - -3. Is z a multiple of 13?
False
Suppose -5*j - 750 = -5*q, -2*q + 117 + 179 = -j. Let y be q/(-10) + (-6)/15. Let f = 57 + y. Is f a multiple of 14?
True
Let q(g) = -g**3 + 11*g**2 - 9*g - 10. Is 11 a factor of q(8)?
True
Suppose m + 5*f - 79 = 0, 3*m - f = -5*f + 281. Suppose 18 = 3*i - m. Is i a multiple of 23?
False
Suppose -2*f - 1 = -11. Suppose f*b + 11 - 31 = 0. Suppose 2*a + 26 = b*a. Is a a multiple of 5?
False
Let p = -4 - -6. Suppose 5*d - 20 = -5*x, p*d - 3 = 1. Is 5 a factor of 9 + -1*(x - 3)?
True
Let k(a) = 12*a**3 - a**2 + 2*a - 1. Does 4 divide k(1)?
True
Let y(f) = f**2 + 2*f + 4. Suppose 3*q = -3 - 6. Is 4 a factor of y(q)?
False
Let h be (-1044)/(-21) + (-2)/(-7). Suppose h = 2*g - 8. Let w = g + 28. Does 20 divide w?
False
Let r(u) = 2*u + 4. Let p be r(-14). Let j = p - -80. Is j a multiple of 21?
False
Let a(k) = -2*k + 3. Let q be a(-8). Suppose 2*c = q + 53. Is c a multiple of 18?
True
Is 8/(-12)*3 - -16 a multiple of 4?
False
Let u = 126 - 94. Is 24 a factor of u?
False
Let n(w) = -w**2 - 17*w - 9. Let c be n(-10). Suppose 0 = -4*y + c + 91. Does 11 divide y?
False
Let o be (46/6 + -2)*-3. Is 17 a factor of (-3)/(-3)*o*-2?
True
Suppose -5*g - 12 = -22. Suppose g*c = -4*n - 3*c + 118, -5*c = -2*n + 44. Is n a multiple of 9?
True
Is (4/(-2))/((-2)/11) a multiple of 4?
False
Let f be 2*(1 - 0) - 0. Let s be (5 - 1)/f - 0. Suppose w - s*w + 35 = 0. Is 13 a factor of w?
False
Suppose -347 = -2*g - 5*h, 7*g + 2*h = 5*g + 338. Is 12 a factor of g?
False
Let i(z) = z**3 - 8*z**2 + 5*z + 3. Let v be i(7). Let m = v - -19. Is 8 a factor of m?
True
Suppose 2*p = 7*p - 4*c - 23, 5*p = -3*c + 9. Suppose 0 = p*m + 2*m - 45. Let x = -4 + m. Is x a multiple of 5?
True
Suppose -2*t + 28 = -36. Suppose -t - 24 = -4*r. Does 7 divide r?
True
Let g(x) = x**3 + 2*x**2 - 11*x + 4. Does 3 divide g(-4)?
False
Let d(b) = -2*b**3 + 3*b**2 + 2*b + 2. Let o be d(-3). Suppose -4*q + o = -3*k, q = -0*q - 3*k + 23. Is q a multiple of 5?
True
Suppose 4*m = 3*m + 3. Suppose -30 = -3*h + y - 4*y, -2*y - 8 = 0. Suppose m*d = -5 + h. Does 2 divide d?
False
Suppose -2*g = 2*g - 4. Let m = g - 1. Suppose 0 = -z - m + 20. Is z a multiple of 8?
False
Suppose -9 = 2*b - 3. Let k = b - -8. Is k a multiple of 5?
True
Let k(t) = t**2 - 5*t - 2. Let y be k(4). Does 19 divide (-676)/(-12) + (-4)/y?
True
Let t(o) = o**3 - 4*o**2 + 3*o - 15. Is t(8) a multiple of 52?
False
Suppose r = -3*n + 6, -5*n - 3 + 33 = -5*r. Is (0 - -5)*(n - 2) a multiple of 5?
True
Let l = -21 + 33. Suppose x + x = l. Is x even?
True
Suppose 4*q + 85 + 43 = 0. Does 5 divide 51/(-2)*q/48?
False
Suppose -2*z - z = 0. Suppose -6*a + 2*a + 20 = z. Is 2 a factor of a?
False
Suppose 2*r = f - 304, -5*r - 917 = -3*f - 5. Does 11 divide f?
False
Suppose -14*s + 9*s = -770. Suppose 3*b - 5*u = -32 + s, 0 = 3*b - 2*u - 137. Does 10 divide b?
False
Suppose 4*r - 2 = 2*k, -5*r + 40 = 3*k + 2*k. Suppose -4*o + 11 = 2*h - 25, -o - k*h = 0. Is o a multiple of 6?
False
Suppose 2*l = -2*l. Suppose -4*q = -l*q - 20. Suppose 5*d = q*i + 125, -2*i + 118 = 4*d - 0*d. Is 21 a factor of d?
False
Suppose 0 = -3*m + 7*m - 80. Is m a multiple of 8?
False
Let s(w) = -w**3 - 8*w**2 - 7*w + 2. Let r be s(-7). Suppose -x = -r + 12. Is 15 a factor of (-446)/(-10) + x/(-25)?
True
Let c be ((-7)/(-3))/((-2)/(-6)). Let n be (-14)/(c/(-2) + 3). Suppose t = -n + 78. Does 25 divide t?
True
Let i be ((-345)/(-6))/(1/2). Suppose 2*j - 3*w - 59 = 0, -3*j + i = j - 3*w. Let d = j + -5. Is 14 a factor of d?
False
Suppose l = -2*z + 2, 2*l + 3*z = 6 - 1. Let u be 7 - l - (-1 - 46). Suppose -b - 4*b = -u. Does 10 divide b?
True
Let x(n) = -5*n - 1. Let d be x(-1). Suppose -3*c = -d*c + 18. Does 6 divide c?
True
Suppose -2*c - 4*n = -10, 5*n = -c - 2*c + 14. Does 2 divide c?
False
Let l = 24 + 5. Is l a multiple of 8?
False
Let d(z) be the second derivative of -z**6/120 + z**5/60 + z**4/12 + 2*z**2 - z. Let y(f) be the first derivative of d(f). Is y(-2) a multiple of 5?
False
Let z(s) = -s**3 - 7*s**2 - 5*s - 8. Let i be z(-7). Let j = -9 + i. Is 9 a factor of j?
True
Let a be (57/4)/((-9)/(-24)). Suppose 3*m - a = -2. Is 6 a factor of m?
True
Suppose 5*v + 0*v + 95 = 0. Let n be v/(-7) + (-6)/(-21). Suppose -m - 3*m + 101 = n*b, -2*b + 76 = 3*m. Is 11 a factor of m?
False
Does 20 divide ((-20)/3)/(1/(-12))?
True
Let k = 12 + -17. Let p(b) = -b**2 + 0 + 0 - 6*b. Is p(k) even?
False
Let t(k) be the first derivative of 41*k**2 - 2*k - 9. Is t(1) a multiple of 29?
False
Let s(q) = 2*q**2 - 6*q - 6. Let r be s(5). Suppose 2*k = 4*k - r. Does 4 divide k?
False
Let x(u) = u**3 - 2*u**2 - 2*u + 2. Let l be x(2). Let w be 2/4*-61*l. Let j = 87 - w. Does 13 divide j?
True
Let w be 0/(1*(3 + 0)). Suppose -25 = k - 2*k - 4*d, w = k + 2*d - 23. Is 7 a factor of k?
True
Let y be (-5)/((-30)/(-4))*12. Let r = -3 - y. Does 2 divide r?
False
Let v(f) = 38*f - 4. Does 18 divide v(2)?
True
Let y(t) = -4*t - 7. Is 7 a factor of y(-14)?
True
Suppose -31*o = -27*o - 480. Is 24 a factor of o?
True
Is ((-124)/(-15) + 9/(-15))*6 a multiple of 7?
False
Let q(t) = t**3 - 5*t**2 + 6*t - 5. Let u be q(4). Suppose 4*i = x - 35, -u*x = -x - 5*i - 58. Is 4 a factor of x?
False
Suppose 3*m = -19 + 4, -4*s - 3*m = 7. Let h = s + 2. Does 3 divide h?
False
Suppose -h + 67 = -12. Suppose -2*k = -3*k. Suppose -5*d + h - 4 = k. Does 15 divide d?
True
Let p = -24 - -16. Let z be ((-46)/p)/(1/4). Let r = -13 + z. Does 10 divi