 41 a factor of 184 - 0/(10/5)?
False
Let n = -5 - -7. Suppose -4*v - 2 = -2*h, h = 3*v + 2*h - 6. Let u = n + v. Is 3 a factor of u?
True
Does 18 divide ((-6)/(-4))/((-1)/((-168)/9))?
False
Is 3 a factor of 10 - 10 - (1 - 22)?
True
Let g be (12/9 - 1)*9. Let c = g - -3. Suppose 4*l = 2*l + c. Is l even?
False
Let y = 7 + -7. Suppose 6*z - 80 - 28 = y. Is z a multiple of 9?
True
Suppose 17*b = 12*b + 210. Does 14 divide b?
True
Does 4 divide ((-2)/(-6))/((-1)/(-36))?
True
Let h(l) be the second derivative of l**5/20 - 7*l**4/12 + l**3 + 3*l**2/2 + 2*l. Does 3 divide h(6)?
True
Suppose 0 = -r + 15 + 20. Suppose 6*f + d - r = f, -f + 5*d = 19. Suppose 3*v - f*v + 129 = 0. Is 16 a factor of v?
False
Suppose -r - 9*r + 2450 = 0. Is 51 a factor of r?
False
Suppose 16*q + 984 = 20*q. Does 15 divide q?
False
Let x = 112 + -59. Is 11 a factor of x?
False
Let z be 21/(-4) - (-2)/8. Let n(p) = -3*p + 2. Is 17 a factor of n(z)?
True
Let k = 16 + 17. Is 7 a factor of k?
False
Suppose -j + 2*j = -4*t + 35, 0 = t - 4*j - 30. Is 3 a factor of t?
False
Let p(y) = y**2 + 2*y + 4. Suppose a + a = -4*c - 2, -2*c + a = -1. Suppose c = 2*g + 2*l + 12, 2*g - l + 9 = -2*g. Does 7 divide p(g)?
True
Suppose -2*g = -26 + 6. Suppose -g*v + 224 = -6*v. Is v a multiple of 14?
True
Suppose -30 = -4*l + l + 3*n, 4*l = -5*n + 22. Let s be l/(0 + -1) - -2. Does 15 divide (-10)/s*(8 + 1)?
True
Suppose 2*r - 7 = 1. Suppose r*w + 0*x - x = 344, 5*x = w - 105. Suppose 5*u = -5*n + w, -2*n - 3*u + 36 = u. Is n a multiple of 8?
True
Let x(m) be the first derivative of m**3/3 + 4*m**2 - 11*m + 1. Is 11 a factor of x(-11)?
True
Suppose -4*x + 1 = 5, c - 4*x = 7. Suppose m - 6*m - 4*f + 19 = 0, -4*m = -c*f - 9. Suppose -3*b - m = 0, -46 = -3*r + b - 3*b. Is 16 a factor of r?
True
Suppose -4*q = -3*c + 344, 3*c + 5*q = -c + 407. Is 18 a factor of c?
True
Let m(a) = 4*a**2 - 3*a + 3. Is 25 a factor of m(-2)?
True
Let o = -3 - -23. Suppose -5*z - d + o = 0, -2*d + 5 = 5*z + 2*d. Is 5 a factor of z?
True
Let n(m) be the second derivative of 0 - 2*m + 1/2*m**2 + 3/2*m**3. Is n(1) a multiple of 10?
True
Suppose 0 = -3*m - m + 2*o + 634, -5*m = 2*o - 797. Suppose -2*y + y + 45 = i, -4*y + 3*i = -m. Is 11 a factor of y?
False
Let p be (-3 - 91)*(-3)/6. Let n = p + -34. Does 13 divide n?
True
Suppose 6*q - 2*q = 136. Suppose -p + q = -w, w - 141 = -3*p - 19. Does 13 divide p?
True
Suppose 3*c = -c. Suppose -13 = x + 4*n, -3*x + 2*n + 39 - 8 = c. Suppose -x = -v + 8. Does 15 divide v?
True
Let y = 170 + -19. Suppose -192 = -3*w + 3*a, -4*w + 99 + y = -a. Is w a multiple of 26?
False
Is 2/(-4) - (3 + 255/(-6)) a multiple of 6?
False
Let w = 51 - 1. Is w a multiple of 13?
False
Is 10 a factor of 56/(-3)*(4 - 155/20)?
True
Let j = -4 - -6. Suppose 44 + 68 = j*d. Suppose d = 5*n - 54. Is n a multiple of 11?
True
Suppose -6*y + 3*y + 420 = 0. Is 35 a factor of y?
True
Suppose r = -4*o + 5, 2 + 1 = 3*r. Let u(p) be the first derivative of 2*p**3 + 2. Is u(o) even?
True
Is 2 a factor of -18*2*(-4)/16?
False
Let t = 510 - 328. Is t a multiple of 13?
True
Suppose -2*c + 4*g + 26 = -38, 0 = -4*c - 3*g + 139. Is c a multiple of 3?
False
Let i(w) = -2*w**3 - 6*w**2 + 4*w - 2. Is 20 a factor of i(-5)?
False
Let b = 44 + 7. Is 10 a factor of b?
False
Is (-370)/(-4) - (-2)/4 a multiple of 10?
False
Suppose 0 = 3*x - 169 - 26. Let i = x - 17. Does 12 divide i?
True
Suppose -5 = w + 4*t, -3*t = 3*w + 2*t - 20. Is 15 a factor of w?
True
Let p = 18 - 24. Let j(r) = -2*r - 1. Is j(p) a multiple of 9?
False
Let z(x) = x**2 - 7*x + 9. Let c be z(7). Suppose -2*n = -11 - c. Is 4/n - (-148)/5 a multiple of 15?
True
Let r = -9 + 2. Is (-56)/6*18/r a multiple of 7?
False
Let u = 8 - 7. Let n(h) = h**3 + 5 - 8*h**2 + 8*h - u + h**2. Is n(6) a multiple of 8?
True
Let i(v) = v**2 - 2*v - 5. Let m be -6*3*(-3)/(-18). Is i(m) a multiple of 10?
True
Let k be (-3)/(9/(-6)) - -6. Suppose -k - 6 = -m. Let q = 0 + m. Does 14 divide q?
True
Suppose -216 = 16*q - 20*q. Suppose -3*l + l = -q. Is 7 a factor of l?
False
Let g be 2/(-8) - 17/(-4). Let w(z) = -z**3 + 5*z**2 - 4. Let l be w(g). Suppose 0 = t - 0*t - l. Is 12 a factor of t?
True
Suppose -1 = -2*q + q. Let i(h) = 1 + 18*h + 12*h - 5*h. Is 13 a factor of i(q)?
True
Let o(c) = -2*c**3 + c**2 + 3*c + 1. Let b be o(-2). Let d be (24/(-10))/(2/b). Is (-158)/(-18) - 4/d a multiple of 9?
True
Let q = 435 - 300. Is q a multiple of 33?
False
Suppose 4*d + m = 549, 3*d = 4*m + 238 + 150. Does 8 divide d?
True
Let u(j) = 4*j**2 + 11*j + 10. Is 44 a factor of u(-6)?
True
Suppose -7 = -5*d - 2, 0 = y + 3*d - 9. Does 4 divide y?
False
Let w(c) = 3*c + 2. Is w(10) a multiple of 6?
False
Let c(z) = z**3 + 5*z**2 - 3*z + 6. Is 3 a factor of c(-5)?
True
Let g = 4 + -3. Let b = 0 + g. Let m(i) = 25*i. Does 12 divide m(b)?
False
Suppose 4*n = 2*n + 4. Suppose -q + 33 = n*q. Does 7 divide q?
False
Let t = 8 - 0. Let u = -35 - -24. Let b = t - u. Is b a multiple of 12?
False
Let w(y) = 4*y**2 + 15*y + 1. Does 15 divide w(-6)?
False
Suppose 76 = -6*c + 8*c. Is c a multiple of 16?
False
Let n(l) = 2*l**2 - l - 2. Suppose 0 = j - 3*v + 2*v + 2, -2*j + 12 = 2*v. Suppose 2*b - j = 2. Is 3 a factor of n(b)?
False
Let m be ((-8)/28)/((-3)/21). Suppose -5*x = -5*w + 2*w - 31, -m*w - 26 = -4*x. Does 4 divide x?
True
Let h(d) = 4*d + 3*d**2 - 4 - d**2 + 2*d. Is 16 a factor of h(-5)?
True
Let a(w) = w - 6*w + 4*w**2 - 2*w**2. Does 17 divide a(7)?
False
Let l be (-3)/(-3) + (-1 - -6). Suppose 35 = p + l. Suppose -5*d + 134 = -2*i + 6, -3*i = d - p. Does 13 divide d?
True
Let i(r) = r**2 - 9*r - 11. Let c be i(11). Let l = 25 - c. Is l a multiple of 4?
False
Suppose -g - 4*q = 4, -4*g + 19 + 1 = -2*q. Suppose g*y - 40 = 12. Is y a multiple of 9?
False
Let q(l) be the third derivative of -11*l**4/24 - l**3/2 - l**2. Is q(-6) a multiple of 21?
True
Suppose -4*s + 408 = -4*b - b, s - 89 = -2*b. Is 11 a factor of s?
False
Let d = 93 - -63. Suppose 2*r - d = -r. Is r a multiple of 12?
False
Is 11 a factor of (5 + 55/(-10))*-176?
True
Let v(n) = 17*n - 9. Is v(4) a multiple of 18?
False
Suppose 0 = m + 3*r + 1 + 9, 0 = 3*m - 3*r - 18. Is -26*(-1)/m + 2 a multiple of 9?
False
Let f be 0/(-2) - 0 - -38. Let u = f - 27. Does 11 divide u?
True
Suppose -4*a + 19 = 5*v - 3*a, 0 = 3*a - 12. Let o(d) = d**3 + d**2 - 3*d + 2. Does 29 divide o(v)?
True
Let j(g) = g**2 - 5*g + 3. Let c be j(5). Suppose -5*s - 4*o = -207 - 86, 0 = -c*s + 4*o + 163. Is 11 a factor of s/2*4/6?
False
Let s(b) = b**3 + 2*b**2 + b + 3. Let x be s(-3). Let n = x + 23. Is 5 a factor of n?
False
Let r(j) be the second derivative of -j**4/12 - 7*j**3/6 - j**2 + 3*j. Is 4 a factor of r(-5)?
True
Suppose -r + 6 = 2*r. Does 5 divide (3/r)/(-3)*-32?
False
Let t(k) be the third derivative of k**6/120 + k**5/60 - k**4/24 - 8*k**3/3 + 3*k**2. Let j be t(0). Let i = j - -26. Is 4 a factor of i?
False
Let z(h) = -6*h + 2. Let d(f) = -f + 1. Let x(j) = -d(j) - z(j). Suppose -5*a = -v - 10, 2 = -v - a + 10. Is x(v) a multiple of 16?
True
Let x(s) = 6*s + 2. Let k be x(5). Let y = k - 8. Is y a multiple of 24?
True
Suppose -4*d - 2*f + 328 = 0, -5*f = -0*d - 2*d + 176. Suppose 0 = l + 4*y - 22, 2*y + d = 3*l - 11. Is l a multiple of 16?
False
Does 2 divide ((-22)/3*6)/(-2)?
True
Let q be (1/(-3))/((-6)/(-1494)). Let n = 152 + q. Is n a multiple of 24?
False
Let w(h) = -h**3 + 14*h**2 - 9*h - 16. Is w(13) a multiple of 6?
True
Suppose -4 + 289 = 3*g. Does 32 divide g?
False
Is 16 a factor of 6/(12/8 - 243/168)?
True
Is 6 a factor of 13/2 + -6 - (-118)/4?
True
Let d = 4 + -10. Let m(s) = s**3 + 6*s**2 - 3*s + 13. Does 27 divide m(d)?
False
Let n be (8 - 4/(-1))/2. Suppose 3*x = -q + n, q + 4*q + 2*x - 82 = 0. Is 10 a factor of q?
False
Let c(t) = -9*t - 1. Let x be 2/(-3)*(8 - 5). Does 17 divide c(x)?
True
Let h be (-2)/1 + (0 - 4). Let f = h + 11. Is f a multiple of 3?
False
Suppose 3*n - 38 = 46. Is 14 a factor of n?
True
Let x = -29 - -71. Does 22 divide x?
False
Suppose -f + 1 = -1. Suppose f*g - 150 = 44. Suppose g + 11 = 3*z. Is z a multiple of 18?
True
Let m be (2/4)/1*38. Let t = 42 - m. Is t a multiple of 9?
False
Suppose -10*d + 1716 = d. Is d a multiple of 12?
True
Suppose 7*i + 4*x - 424 = 3*i, -5*i + 4*x + 548 = 0. Is 12 a factor of i?
True
Let i