t c = v + 14. Is (-1)/3 - (-26)/c even?
True
Let s(v) = -45*v. Suppose 3 = -3*z - 0*z. Does 15 divide s(z)?
True
Suppose -14*b + 3000 = -2*b. Is b a multiple of 25?
True
Is (-9)/21 + (-135)/(-21) a multiple of 2?
True
Let a(n) = -45*n + 13. Let c be a(-9). Let k be c/8 + (-1)/4. Suppose -k = -5*x + 8. Is 6 a factor of x?
True
Let r = 0 - -56. Is r a multiple of 14?
True
Suppose -51 = -g - 0*g - 4*a, 5*g = a + 192. Let o = g + -21. Does 6 divide o?
True
Suppose 4*w = 3*r - 164, 0*w - 3*w + 252 = 4*r. Is r a multiple of 10?
True
Let m = -4 - -8. Suppose -14 = -m*s + 3*s. Suppose 10 = v - s. Is 8 a factor of v?
True
Let f(b) be the first derivative of 5/2*b**2 + 2/3*b**3 + 4*b - 1. Does 7 divide f(-4)?
False
Is 21 a factor of ((-32)/3 + 6)/((-6)/81)?
True
Suppose -5*z - 10 = -3*o, -5*o + 5*z + 8 = z. Suppose -l - 2*l = 5*b - 7, 5*b - 4*l - 14 = o. Suppose 6*n - b*n - 80 = 0. Does 10 divide n?
True
Suppose 4*w = -5*p + 150, 2*w - 83 = -2*p + 5*w. Is p a multiple of 10?
False
Suppose 3*d - 2*q = 3*q + 43, 0 = d + q - 9. Suppose -4*k + d = -1. Suppose -k*x + 51 = 3*a, 3*a - 2*a + 73 = 4*x. Is x a multiple of 7?
False
Let c be ((-8)/(-20))/(2/20). Let q = c - -15. Is 19 a factor of q?
True
Suppose 47 = -y + 112. Does 13 divide y?
True
Suppose 5 + 7 = 3*r. Suppose -3*m = -r*m + 35. Is 14 a factor of m?
False
Let f = 47 + -36. Does 3 divide f?
False
Let u(s) be the third derivative of -11*s**4/6 + s**3/6 - s**2. Is 15 a factor of u(-1)?
True
Suppose f = -2*h + 35, -3*h = -7*h - 5*f + 79. Suppose -2*l = h - 114. Does 17 divide l?
False
Suppose -c = -5*c + 24. Suppose 0*k + c = k. Is k a multiple of 3?
True
Let k(y) = -y**2 - 2*y**2 - 3 + 4*y**2 + y. Is k(-4) a multiple of 9?
True
Does 22 divide (-1 - -104)*(-1 - -2)?
False
Suppose -36 - 134 = -5*u. Suppose -2*q + 54 = -u. Is 11 a factor of q?
True
Suppose 0 = -d - 0 + 4. Does 17 divide (34/3)/(d/18)?
True
Suppose -2*o + 8 = -4. Suppose -2*s = -0*s - 4*l + o, -5*s - 2*l = -33. Suppose 0 = -s*g + 4*y + 23 + 10, 4*g - 26 = 3*y. Is g a multiple of 5?
True
Let g(d) = 2*d - 2*d**2 + d**3 - 8*d + 10*d**2 - 4. Does 22 divide g(-8)?
True
Let k = -12 - -18. Suppose -k*u + u + 138 = 4*y, 5*u = -2*y + 144. Is 12 a factor of u?
False
Suppose 4*y + y + 5 = 0. Let d be (1 + -1)/(-1 + y). Suppose d = 2*n + 2*j - 48, 2*n - 140 = -3*n + 5*j. Does 24 divide n?
False
Let a(x) = -7*x - 13. Is 10 a factor of a(-4)?
False
Let d(h) = -3*h**3 - h**3 + 5*h**3 + 5 - 6*h - 6*h**2. Let i be d(7). Suppose -44 + i = -2*v. Is 8 a factor of v?
True
Let j(d) = d**3 - 7*d**2 - 3*d - 6. Let o be j(8). Let p = o - -7. Is 8 a factor of p?
False
Let x be 10/(-4)*(-70)/25. Suppose t + 90 = 4*b, -4*b + 2*t + 102 = x*t. Is b a multiple of 23?
True
Suppose 0 = -2*a - 3*c - 23 - 9, 2*a - 3*c = -8. Is 19 a factor of (-105)/a*(-16)/(-3)?
False
Suppose -i - 5*c - 25 = 1, 3*i + 30 = c. Does 12 divide (-266)/i - (-4)/(-22)?
True
Let x be 4/(-6) + (-760)/(-6). Let i = x - 77. Let a = i - 23. Is a a multiple of 13?
True
Suppose 4*u = -26 + 122. Is u a multiple of 24?
True
Let f = -13 - -33. Is 20 a factor of f?
True
Let a(d) = -d. Let g(w) = w**2 - 13*w - 3. Let s(c) = 4*a(c) - g(c). Let y be s(9). Suppose -2*t = -y*n - 88, -4*n + 2*n - 132 = -3*t. Is 22 a factor of t?
True
Suppose 7*n - 3*n = 36. Let a = 12 - n. Suppose -7*m + 184 = -a*m. Is 23 a factor of m?
True
Let r = -1 + 4. Let k be (-2 + 8/3)*21. Suppose r*w = w + k. Is w a multiple of 6?
False
Suppose -3*z = 3*p, p - 5*z = 11 + 13. Suppose 0*s - 3*d + 17 = s, p*s = -4*d + 36. Suppose 2*o + 2 + 4 = s*k, -3*k = -o - 4. Is 2 a factor of o?
True
Let w(a) = 16*a - 3. Is 21 a factor of w(6)?
False
Suppose -3*v = -44 - 127. Is v a multiple of 15?
False
Let b(o) = o**2 - 4*o. Let w = 15 + -9. Is b(w) a multiple of 12?
True
Let q = -7 + 11. Is (-3 + q - 3)*-3 a multiple of 6?
True
Let x(m) = m + 0*m + 5*m. Is x(5) a multiple of 15?
True
Let b = 1 + 4. Suppose b*v - 25 = 0, -3*g - 2*v + 50 + 86 = 0. Is g a multiple of 14?
True
Let a(h) = 16*h**2 - h. Let w(k) = k. Let z be w(-1). Is 15 a factor of a(z)?
False
Let b(z) = -z**3 - 5*z**2 - 5*z + 7. Let a be b(-5). Is a/(-12)*48/(-4) a multiple of 14?
False
Let i be 318/3 - 2/2. Suppose i = 6*j - j. Is 21 a factor of j?
True
Let a(f) = -f**3 + 11*f**2 + 5*f - 4. Let u be a(11). Suppose -x - 6*n = -n - 34, 3*x - u = 2*n. Is x a multiple of 19?
True
Let l be ((-2)/(-6))/(1/(-3)). Let i be (-6 + 0)*l/3. Suppose -i - 13 = -3*u. Does 2 divide u?
False
Let h(g) = -1. Let f(l) = l + 5. Let s(n) = f(n) + 6*h(n). Let p be s(5). Suppose p*j = -2*t + 32, -3*j + 2*t - 3 + 27 = 0. Is 8 a factor of j?
True
Let k = -2 + 4. Suppose -k = -2*f + 2. Suppose -2*s + 96 = f*s. Is s a multiple of 14?
False
Let p(a) = -34*a**2 + 2*a - 1. Let y be p(1). Let z = 69 + y. Is z a multiple of 9?
True
Does 31 divide (248/12)/(1/6)?
True
Let s(m) = m + 16. Let i(g) = -2*g + 14. Let z be i(7). Does 5 divide s(z)?
False
Let t = -12 - -27. Is t a multiple of 3?
True
Suppose 0*j + 4*n = -4*j + 92, n = 3*j - 85. Does 9 divide j?
True
Suppose 19 = 5*l + 4. Suppose -2*o + 33 + l = 0. Does 6 divide o?
True
Let u = -86 + 89. Suppose -3*r + 16 - 4 = 0. Suppose 0 = -6*y + u*y - 3, -r*y - 64 = -5*q. Is 12 a factor of q?
True
Let j(o) = 3*o - 9. Is j(17) a multiple of 21?
True
Let x = 5 + -9. Let y(d) = -4*d - 5. Is y(x) a multiple of 11?
True
Suppose 3*f + 47 = u, -5*u = -5*f - 29 - 196. Is 14 a factor of u?
False
Let u(a) = 2*a**2 - 31*a + 3. Is 29 a factor of u(-6)?
True
Suppose -5*p = -3*y + 26, 5*p - 45 = -2*y - 11. Is 4 a factor of y?
True
Suppose -n - 4*l = 2*n + 28, 2*n + 2*l + 16 = 0. Is n/(-14) + (-2448)/(-56) a multiple of 11?
True
Let y(f) = -f**2 - 8*f - 2. Let t be y(-6). Let m be 10/35 + t/14. Let k = 9 + m. Is 10 a factor of k?
True
Is 8 a factor of 34*11/8 + 1/4?
False
Let q(r) = 3 - 2*r + 8*r - 4 + 7. Does 12 divide q(7)?
True
Let u(n) = 17*n + 1. Let c be u(2). Suppose 3*x = -2*a + 15, 4*a - c = -0*a - 5*x. Does 5 divide a?
True
Suppose 0 = -2*q + w, -4*q + 2*w = 3*w. Suppose -3*x + 4 + 50 = q. Does 6 divide x?
True
Suppose -2*v - 3*v = -280. Does 14 divide v?
True
Let o be (-86)/(-10) + 4/10. Suppose 0 = 5*d - 5*c - 250, -2*d + 90 = -5*c + c. Suppose 4*h = o*h - d. Does 11 divide h?
True
Does 7 divide -1 + -1 + (-5 - -35)?
True
Let y(g) = 2 - 5 - 20*g + 3. Is y(-1) a multiple of 10?
True
Suppose 0 = -3*k - 0*k - 3*l + 6, 10 = -5*l. Suppose -5*x = -z, -k*z + z = -2*x - 26. Is 10 a factor of z?
True
Let o = 237 + -164. Suppose -4*c - o = -209. Is 18 a factor of c?
False
Let s(n) = -3*n - 5. Let q(i) = i. Let d(v) = -5*q(v) + s(v). Let l be d(4). Let j = -2 - l. Does 19 divide j?
False
Suppose 5*a = -0*a + 190. Suppose -a = -4*f + 66. Is f a multiple of 13?
True
Let j be (-866)/(-4) - (-6)/(-12). Suppose 0 = c + 2*c - j. Suppose 4*u - 12 = 0, -3*l - 8*u + 3*u + c = 0. Is 8 a factor of l?
False
Suppose -2*q + 5 = -3. Suppose -14 = 2*o + k, -5 = q*k + 11. Let y(i) = -i**3 - 5*i**2 - 6*i - 4. Does 12 divide y(o)?
False
Let y = 107 + -47. Is y a multiple of 15?
True
Suppose 0*j + 25 = 5*j. Suppose -3 = j*b + 7. Is (b - (-20 - 1))/1 a multiple of 9?
False
Let j = -8 + 17. Let b = j + -4. Is 2 a factor of b?
False
Let g = 1 - 3. Let n = 4 - g. Is n a multiple of 3?
True
Let n = -8 + 14. Does 13 divide 26/(-4)*(-12)/n?
True
Suppose -r + 3*j + 3 = 0, 5*r + 0*j + 4 = -4*j. Suppose r = 3*h - 4*h + 1. Let x(z) = 15*z. Is 15 a factor of x(h)?
True
Let d(n) be the second derivative of 3/2*n**2 - n - 1/3*n**3 + 0. Is d(-7) a multiple of 6?
False
Suppose 0 = -3*q + 15, 3*j + 3*q - 27 = j. Suppose 2*k - j*k = -56. Is k a multiple of 7?
True
Let i(g) = 10*g**2 - 2. Let h be i(2). Suppose -4*k = -h - 58. Is 7 a factor of k?
False
Let s(j) = j + 17. Let r be s(-5). Let f = 4 - 11. Let v = r + f. Is v even?
False
Let u(h) = -h**3 + 2*h**2. Let k be u(2). Suppose 2*b - 53 = 5*w, -3*b - w - w + 51 = k. Is b a multiple of 7?
False
Let p be -6 + 3 - -2*2. Suppose v + p = 4, 5*l + 3*v = 149. Is 28 a factor of l?
True
Suppose 5*y + 2*b - 6*b = 30, 3*y = -3*b - 9. Suppose 4*r - 206 = -2*k, 3*r - y*r - 62 = -4*k. Does 17 divide r?
False
Suppose 4*l - l + j = 192, 0 = 2*l - 2*j - 120. Is l a multiple of 9?
True
Suppose 0 = 3*j - 4*k + 22 - 72, -k = j - 26. Suppose -j = -3*q + 41. Is q a multiple of 6?
False
L