de y?
True
Let r = 193 - 134. Suppose -5*c = -3*t - 72, -4*c + 3*t + r = 2*t. Does 5 divide c?
True
Suppose -s - 2 + 4 = 0. Is (-3 - 0) + 50/s a multiple of 20?
False
Suppose 2*a = -2*a. Suppose a = -2*y - 3*v + 3, -4*y + 8 = -3*v + 7*v. Is 3 a factor of y?
True
Let y = 10 - 7. Does 4 divide (-8)/(-12) + 46/y?
True
Let b(j) = 7 - j + 6 + 0*j - 6. Is b(3) a multiple of 3?
False
Is ((-20)/(-15))/((-3)/(-180)) a multiple of 20?
True
Let r = 0 - 3. Suppose -b + 6*b = 70. Let d = b + r. Is 9 a factor of d?
False
Suppose -8 = o - 5*s, 3*s - 3 + 22 = 4*o. Let g = 17 - o. Is g a multiple of 4?
False
Let n(f) be the third derivative of f**5/30 + 7*f**4/24 + 2*f**3/3 - f**2. Is n(-4) a multiple of 4?
True
Let s be (9/(-6))/((-3)/(-4)). Does 8 divide (1/(-3))/(s/78)?
False
Let m = 51 - 31. Is 9 a factor of m?
False
Let j(d) = 20*d + 9. Does 11 divide j(5)?
False
Let w(a) = -a**2 + 10*a + 5. Let m be w(11). Is (m/(-4))/(3/6) even?
False
Suppose -2*m + 43 + 11 = 0. Suppose -4*a - 20 = y + 19, -2*a - 3*y = m. Let l(c) = -c - 4. Does 3 divide l(a)?
False
Let c = 129 - 46. Is 25 a factor of c?
False
Let m be (3/2)/((-3)/(-128)). Suppose 82 = a - 4*f, -4*a - 4*f + 312 - m = 0. Does 22 divide a?
True
Let t be -24*(-2)/3*1. Let d = t + 8. Does 12 divide d?
True
Suppose 2*o = 4*o - 158. Let a = o - 55. Is a a multiple of 5?
False
Let z(o) = 3*o + 1 - 9 + 0 - 2 + o**3 - 8*o**2. Is z(8) a multiple of 5?
False
Suppose -3 - 6 = -3*g. Suppose 2*k + 19 = g*j + 63, -3*j + 52 = 4*k. Is 16 a factor of k?
True
Let t be (12/5)/(8/100). Suppose t = 5*a - 25. Does 11 divide a?
True
Let o(j) = 9*j**2 - 38*j + 16. Does 8 divide o(8)?
True
Let u = 4 + -4. Suppose 2*m + 0 - 2 = 2*b, 2*b + 3*m - 13 = u. Suppose -3*x - 4*w = -2*w - 73, 2*x = b*w + 32. Is 7 a factor of x?
True
Suppose 20 - 5 = 5*m. Suppose -3*a + 20 = 2*i + 2*i, 14 = 5*a - m*i. Is a a multiple of 4?
True
Let w be 8 - (3 + -3)/3. Let h = w + -1. Does 7 divide h?
True
Let y = 42 - 26. Let r(m) = m**3 - 17*m**2 + 17*m + 8. Does 7 divide r(y)?
False
Is 11 a factor of 4/20 + (-168)/(-10)?
False
Suppose 5*a + 4*s - 1281 = 0, -2*a + 510 = 7*s - 3*s. Is a a multiple of 12?
False
Suppose -3*r - 14 = 2*j, j + 1 = -5*r - 13. Let s = 3 - j. Is s a multiple of 3?
False
Suppose 4*w - 85 = 27. Suppose -2*q = -20 - w. Is 12 a factor of q?
True
Suppose 5*a - 218 = -3*r - 64, 3*r = a + 142. Is r a multiple of 12?
True
Suppose 8 = -3*o - 7. Let d = 11 + o. Does 4 divide d?
False
Let q(p) = -p**3 + 3*p + 5*p**2 + 4 + 0*p**3 + 2*p**3. Let o be q(-3). Is (0 - o)*(-2 - -1) a multiple of 13?
True
Let p(o) = o**3 + 4*o**2 + 2*o + 4. Let w be p(-3). Suppose -w*d + 12 = -4*d. Suppose 0*j = -d*j + 28. Does 3 divide j?
False
Does 34 divide 18/(-3)*-39 - (-5 - -1)?
True
Suppose 190 = -0*p + p. Is p a multiple of 38?
True
Is 13 a factor of (-3)/6*3 - 1197/(-18)?
True
Suppose 5*a - 4 - 6 = 0, 2*a = -i + 3. Let s be i/4 + 1/4. Suppose s*o - 4*o + 40 = 0. Is 5 a factor of o?
True
Suppose -5*m + 0 + 20 = 0. Suppose -m*z = -0*z - 116. Is z a multiple of 8?
False
Let i(m) = m**3 - 3*m**2 + 3. Let y be i(3). Is 2 a factor of y + (2 - -4) + -3?
True
Suppose 5*t - 91 = -m, 0*m - m + 100 = -4*t. Is 12 a factor of m?
True
Is 4/3 + (-4)/12 - -1 even?
True
Suppose -5*h = 5*q - 381 - 339, h = 0. Is 18 a factor of q?
True
Let l(w) be the second derivative of -w**5/20 + w**4/4 + w**3/3 - w**2/2 + 3*w. Is 15 a factor of l(-2)?
True
Let t = 125 - 0. Is t a multiple of 23?
False
Let p be 39 + (0 - 0/2). Suppose -211 = -4*w - p. Suppose 3*o - w - 41 = 0. Is 17 a factor of o?
False
Let q(y) = y**3 + 5*y**2 - 8*y - 7. Let o be q(-6). Suppose 4*h = 4*g - 12, 2*h - o*h - 12 = 0. Is 1/g*13/(-1) a multiple of 7?
False
Suppose q - 2*f = 56, 0 = q - 0*f + 4*f - 68. Is 3 a factor of q?
True
Suppose 3 = h + 1. Suppose -o = -h*o. Suppose o = -0*u - 2*u + 10. Is u a multiple of 4?
False
Let s = 4 + -1. Let r be 1*(s/3 + -1). Is 2 - 1 - r - -15 a multiple of 8?
True
Let b(c) be the second derivative of c**7/840 - c**6/60 - c**5/30 + 7*c**4/24 - c**3/3 + 4*c. Let t(a) be the second derivative of b(a). Is 13 a factor of t(7)?
False
Suppose -11 + 2 = -z. Let u(a) = a**2 - 7*a - 12. Let c be u(z). Let i = c - -16. Is i a multiple of 10?
False
Suppose 0 = 3*o - 4*o + 6. Suppose 4*i + 2*y - 48 = 0, i = 5*y + 18 - o. Is i a multiple of 3?
True
Let s(k) be the first derivative of -14*k**3/3 - 3*k**2/2 - 4*k - 1. Let y(j) = -29*j**2 - 5*j - 7. Let t(f) = 7*s(f) - 4*y(f). Does 15 divide t(-1)?
False
Suppose 3*z = 2*d + 4, -z - d + 0*d = -3. Suppose -m + z*f - 5*f + 37 = 0, 2*m - 53 = f. Let p = m - -3. Is 15 a factor of p?
False
Let g = 3 - 0. Suppose m = -g*m + 152. Is m a multiple of 11?
False
Suppose 33 = 2*h + 3*r + 2*r, -r - 27 = -h. Is h a multiple of 6?
True
Let s(i) = 5*i**2 - 3*i - 3. Let k be s(-2). Suppose k + 1 = 2*a. Is 5 a factor of a?
False
Let l(m) = m**3 - 10*m**2 - 12*m + 1. Is 38 a factor of l(13)?
False
Let k(m) be the first derivative of 2*m**3 + m**2/2 + 2*m - 2. Is k(-2) a multiple of 8?
True
Let r(g) = 9*g + 9. Does 9 divide r(4)?
True
Suppose r = -12 + 3. Does 17 divide (-17)/(-2)*(-3 - r)?
True
Let y = 8 + 19. Is 24 a factor of y?
False
Suppose 3*p - p = -b + 98, -p + 60 = -5*b. Does 16 divide p?
False
Suppose -y = 2*w + 9, -18 = -4*y - w - 47. Let z(j) = j**2 + 2*j + 9. Is z(y) a multiple of 11?
True
Suppose -i = -28 - 19. Is i a multiple of 4?
False
Let i be (1 - (0 - -2))/1. Let g = i + 64. Does 23 divide g?
False
Suppose 3*v = -2*o + 58, v = 5*v - 5*o - 108. Does 4 divide v?
False
Suppose -252 - 228 = -4*l. Is l a multiple of 15?
True
Suppose 0 = -3*z - 2*z + 285. Does 19 divide z?
True
Suppose -8*q + 5612 = 2092. Does 33 divide q?
False
Suppose 9 = -q - 0*q. Let v = q - -13. Suppose -2 = v*n - 18. Is n a multiple of 4?
True
Let x be (12/2)/(4 + -2). Suppose 3*k - 36 = -2*p - k, x*k + 25 = 5*p. Is p a multiple of 3?
False
Let j(d) = 12*d + 8. Does 8 divide j(4)?
True
Suppose 4*t = 4, -4*d - 2*t + 324 = 2*t. Does 12 divide d?
False
Let h(s) = s + 2*s - 1 + 6 - s. Let g be h(-4). Let i(p) = -p**3 - p**2. Does 9 divide i(g)?
True
Suppose 4*k + 7 = 4*a - 61, a + 5*k = 47. Is a even?
True
Let r = 22 + -14. Does 7 divide 2/r + 75/4?
False
Does 25 divide (-1046)/(-14) + (-12)/(-42)?
True
Does 6 divide (2 - -7*3) + -3?
False
Let f(b) = 7*b + 10. Does 29 divide f(4)?
False
Let y = -8 - -16. Suppose -3*n + y*n = -510. Is n/(-6) - -1*1 a multiple of 12?
False
Let v(x) = -7*x**3 + 9*x**2 + 6. Let g(q) = -6*q**3 + 8*q**2 + 5. Let b(p) = -6*g(p) + 5*v(p). Is 8 a factor of b(4)?
True
Let v(c) = c**3 - 11*c**2 - 10*c - 17. Let o be v(12). Suppose -17 = -2*u - o. Is u a multiple of 2?
False
Let m(r) = 2*r - 14. Let w(f) = -1. Let x(c) = m(c) - 5*w(c). Let d be x(7). Suppose 0 = l + d*g - 19, 6*g = 5*l + 4*g - 14. Does 4 divide l?
True
Is (-20)/(-5) + (-3)/(-1) even?
False
Let s(p) be the third derivative of p**4/24 + 23*p**3/3 - 3*p**2. Is 14 a factor of s(0)?
False
Let r be 2*(-3)/12*16. Let n(g) = -g**3 - 8*g**2 - 4*g - 11. Does 5 divide n(r)?
False
Is 3 a factor of 3 - (-2 - -5) - 0 - -5?
False
Suppose -2*t - 20 + 84 = 0. Suppose -2*b + t = -6. Does 8 divide b?
False
Suppose 291*u - 580 = 286*u. Is u a multiple of 29?
True
Let b(r) = -2*r - 3. Let x be b(-3). Suppose -50 = -x*v - 2*q, -2*v + v = 4*q - 30. Is 7 a factor of v?
True
Let z be 5*(32/(-20))/(-2). Suppose z*l + 6 = 30. Is l a multiple of 2?
True
Let w = -2 - -2. Suppose w = -b + 4 - 1. Let j = b + 6. Is j a multiple of 9?
True
Let g(p) = 9*p**2 - 2*p - 1. Let j be g(-1). Let c be 1/(-3 + 4) - 7. Let o = c + j. Is o a multiple of 3?
False
Suppose h - 8 = -3*h. Suppose 150 = 3*c + 2*t, 5*c - h*t - 87 = 179. Is c a multiple of 13?
True
Suppose 2*u = -2 + 18. Is 2 a factor of u?
True
Let o(r) = r**3 - 7*r**2 + 2*r - 10. Let y be o(7). Suppose -h - 3*v - 10 = 0, 4*h - 4 - y = 4*v. Let l(k) = -4*k + 1. Does 3 divide l(h)?
False
Let z(r) = r**3 + 9*r**2 + 6*r - 6. Let k be z(-8). Suppose 0 = -2*c - k, -n + 5 - 13 = 4*c. Suppose -3*f = -n, 0 = 4*q - q - 3*f - 30. Does 7 divide q?
True
Let k be -1 + (1 + 0 - 3). Suppose 5*r = -82 + 202. Is (r + -2)*(-3)/k a multiple of 9?
False
Let m(x) = x**3 - 2*x**2 + 2*x + 1. Let u = 11 + -8. Let l be m(u). Suppose 2*f - 6*f = 4*a - 80, 0 = -a - 2*f + l. Does 12 divide a?
True
Le