 b?
False
Let l be -2*1/2*1. Let d be (-1)/l*-1 + 195. Suppose 5*j - d = -59. Does 10 divide j?
False
Let j be (1*-3)/((-15)/40). Let z = j + -6. Suppose -4*c = -z*c - 20. Is 7 a factor of c?
False
Let a(j) = 4*j - 5 + 0 + 4. Let i be a(3). Suppose -o + g + i = -0*g, -2*o - 3*g = 3. Does 3 divide o?
True
Let k = -22 - -220. Does 40 divide k?
False
Suppose -130 = 4*c - 442. Does 13 divide c?
True
Let h(j) = j**2 - 4*j - 4. Suppose -m + 7 = -3*w, -4*w = 4*m - 6*w - 18. Let z be h(m). Does 7 divide (-14)/3*6/z?
True
Let y(r) = 4*r. Let g be y(2). Suppose 4*p - 30 = 5*o, -3*p - o - 27 = -g*p. Suppose -p*x - 68 = -173. Does 14 divide x?
False
Suppose -x + 4*x = -9. Let f be 3/1 - x/(-3). Let z(g) = 7*g**3 - 2*g**2 - g. Is 17 a factor of z(f)?
False
Is 37 a factor of (0 + 2)*(81 - 5)?
False
Suppose 0 = 10*s - 19*s + 1872. Is s a multiple of 16?
True
Suppose -4*o - 5*a = -859, 2*o - 5*a = -o + 688. Let h = -141 + o. Suppose -2*r = 3*n - 30, 2*r - 7*r + h = 5*n. Is 9 a factor of r?
True
Let c be (3 + -1)*5/(-2). Is 17 a factor of 53 - c/((-5)/2)?
True
Suppose 2*k + 258 = -5*u, -4*u - 534 = 4*k - 3*u. Let z = 72 - k. Suppose 4*w = -o - 2*o + 128, 0 = -5*o - 3*w + z. Is 20 a factor of o?
True
Let z(t) = -40*t + 8. Let p be z(-7). Let o = p + -205. Suppose 5*f - 37 = o. Does 9 divide f?
False
Suppose -2*c - n + 34 = 2*n, c - n - 7 = 0. Let f = c - -2. Is f a multiple of 4?
False
Let j(c) = -8*c**2 + 3*c - 2. Let r(x) = -15*x**2 + 5*x - 4. Let q(m) = 11*j(m) - 6*r(m). Is 11 a factor of q(-3)?
True
Suppose -k + 12 = -2*t + 3*k, 3*k = -t + 14. Suppose 3*z - 4*z = -5*y - 95, -z = t*y - 74. Suppose 4*l = 0, -u - z = -6*u - 4*l. Does 7 divide u?
False
Suppose r + 3*o - 5*o = 9, 5*r - 27 = 4*o. Suppose -r*j + 110 = -j. Is j a multiple of 20?
False
Let w be 464/(-10) + 30/(-50). Let u = w - -106. Is 15 a factor of u?
False
Let l(g) = 2*g**2 - 6*g - 3. Is l(6) a multiple of 10?
False
Let d(l) = 2*l. Let x = 7 - 3. Suppose 12 = x*a - 4. Does 4 divide d(a)?
True
Suppose 4*m - 1479 = -13*m. Does 9 divide m?
False
Let r(s) = -s**3 - 5*s**2 + 3*s + 11. Does 16 divide r(-7)?
False
Suppose 3*l = -11 + 2. Let g(x) = -x**3 - 3*x**2 - 3*x - 1. Let k be g(l). Suppose z - 5 = k. Is z a multiple of 13?
True
Is 17 a factor of (-609)/(-9) - (-4)/12?
True
Let p = -100 + 107. Is p a multiple of 4?
False
Let a(v) = v**2 + 4*v - 6. Does 8 divide a(-9)?
False
Let a(t) = t**3 - 4*t**2 - 3*t - 5. Let z = 3 + 2. Does 3 divide a(z)?
False
Let s = 54 - 27. Is 9 a factor of s?
True
Suppose -2*z + 22 = 16. Is (z + -3 + -1)*-7 a multiple of 4?
False
Let a(t) = t**3 - 16*t**2 + 17*t + 15. Is 12 a factor of a(15)?
False
Let k(r) = 4*r**2 - 2*r - 1. Let u be k(-1). Let y = -11 + u. Is 11 a factor of (-308)/y + (-2)/6?
False
Let h(s) = s**3 + 3*s**2 - 5*s. Suppose -4*k + 3 + 17 = 0. Suppose -k*q + 9 = 29. Is 4 a factor of h(q)?
True
Let h(s) be the third derivative of 19*s**5/60 + s**4/24 - 4*s**2. Let i be h(-1). Suppose i = 3*k - 0. Does 3 divide k?
True
Suppose 370 = 5*g - 200. Is g a multiple of 19?
True
Suppose 125 = -4*v - 31. Let c = v + 67. Is c a multiple of 16?
False
Let s(k) = k**2 - k - 14. Is s(6) a multiple of 8?
True
Let n = -149 + 357. Is n a multiple of 41?
False
Suppose -d = -1 - 3. Suppose d*a + 31 - 155 = 0. Does 15 divide 4 + 1*-2 + a?
False
Suppose 3*g + 40 = j, -j - 187 = -6*j + 2*g. Let m be j - (2/1 + -1). Let c = 62 - m. Does 10 divide c?
False
Let m(w) = w**2 - 4*w - 16. Let s be m(8). Suppose -a = a + 18. Let z = s + a. Is 7 a factor of z?
True
Let l be 2/10 + 79/5. Suppose 5*d = -2*a + 63 - l, 3*d = -2*a + 37. Does 7 divide a?
False
Suppose 5*f = 3*x + 15, -2*f - x - 5 = -0*f. Let j be f + 2*4/2. Suppose -j*v = -20, 173 = 5*i - 2*v - 7. Is i a multiple of 19?
True
Suppose o + 5*h = 100, -2*h = 5*o - 100 - 308. Is 15 a factor of o?
False
Suppose -t + 15 - 1 = 0. Suppose -5 = f - t. Does 9 divide f?
True
Let u(n) = -10*n + 4. Let k be u(-6). Suppose -5*j + k = g, 4*g + 6*j - 220 = 4*j. Suppose w - 36 = -3*w + 5*z, -g = -3*w - 3*z. Is 7 a factor of w?
True
Let a(p) = -p**3 + 7*p**2 + 3*p - 8. Let y be a(7). Suppose -3*r - 4 = -y. Is r even?
False
Suppose 32*y = 34*y - 50. Is y a multiple of 7?
False
Let b = 26 - -17. Does 18 divide b?
False
Let c = 14 - 10. Suppose c*j - j - 21 = 0. Let g(r) = -r**3 + 7*r**2 + r + 7. Does 7 divide g(j)?
True
Let k be (-14)/4*-2 + -1. Suppose q + 157 = 3*v + k*q, 111 = 2*v - 3*q. Is v a multiple of 14?
False
Let r(q) = 3*q**2 + 7*q + 2. Let u be (1/2)/(1/(-10)). Does 21 divide r(u)?
True
Let f(u) = u**3 + 3*u**2 - u + 4. Let y = 11 - 14. Is 3 a factor of f(y)?
False
Does 10 divide -2 + (1 - (-84)/2)?
False
Let y(g) = -g**2 - 2*g + 2. Let k be y(-2). Suppose -k*u + 39 = -1. Is u a multiple of 9?
False
Let y(i) = 3*i**2 - 17*i + 18. Does 12 divide y(8)?
False
Let f be 86/(-6) + 2/6. Does 3 divide (-52)/f + 2/7?
False
Let b be ((-21)/(-12))/(3/12). Suppose b*x = 2*x + 20. Suppose -4*u - 3*m + 118 = -0*m, x*u - 5*m = 102. Does 10 divide u?
False
Let y = -2 - -4. Let x be 6/(((-15)/y)/(-5)). Suppose 0 = x*q - 118 + 6. Does 14 divide q?
True
Let y = 12 + -23. Let w = 32 + y. Is 18 a factor of (-30)/(w/(-6) + 2)?
False
Let w(d) = -d**2 - 9*d + 6. Let a be w(-10). Let v(x) = x**3 + 6*x**2 + 4*x. Is v(a) a multiple of 16?
True
Let y(i) = -i**2 - 9*i - 10. Let c be y(-8). Does 26 divide (2 + 8)*(-7)/c?
False
Let s = 38 - -10. Is s a multiple of 12?
True
Is (16/(-6))/(1/(-18)) a multiple of 12?
True
Let c = 6 - 9. Let l = 32 + c. Does 9 divide l?
False
Let c(v) = -2*v**3 + v**2 - 4*v - 3. Let g be c(-2). Suppose -5*q + g + 65 = 0. Does 4 divide q?
False
Suppose -2*j = -3*j. Suppose 0 = 5*c - j*c - 240. Does 16 divide c?
True
Let a be ((-5)/(-10))/((-2)/(-4)). Is (a/(-1))/(3/(-30)) a multiple of 5?
True
Let i(g) = 28*g. Let t be i(1). Suppose -5*x + 0 = 2*f - 24, 5*x - t = -4*f. Is (2 + 12)/(x + -3) a multiple of 14?
True
Is (-24)/(-14) + -2 + (-2631)/(-21) a multiple of 27?
False
Suppose -3*z = z - 36. Let k(a) = -a**3 + 5*a + 3*a + z*a**2 + 4*a**3 + 10 - 2*a**3. Is 4 a factor of k(-8)?
False
Is ((-15)/10 - (-13)/6)*24 a multiple of 8?
True
Is 8 a factor of 2/((2/(-29))/(-1))?
False
Let u = 10 - 8. Suppose 0 = -u*d - 4*x + 54, -d = 5*x - 3 - 21. Does 9 divide d?
False
Let v(s) = s. Let c be v(2). Suppose 2*n + 2 = 0, c*p - 3*n - 28 - 17 = 0. Is p a multiple of 10?
False
Suppose -2 = -5*b + 3*b. Let n = -298 - -127. Is n/(-12) - b/4 a multiple of 10?
False
Let n(b) = 6*b**2 - 7. Let o(u) = -3*u**2 + 3. Let v(y) = -3*n(y) - 7*o(y). Is v(-3) a multiple of 9?
True
Let x(l) = 22*l - 6. Does 15 divide x(3)?
True
Suppose -h = -0*h - 558. Suppose -h = -5*x + 2. Suppose 0*z = -4*z + x. Does 14 divide z?
True
Suppose 3*k - t - 41 = 0, -4*k + 5*t = -66 - 7. Let l = k + 42. Does 18 divide l?
True
Let m = 36 + -26. Suppose 18 + m = 2*b. Is b a multiple of 14?
True
Let j = -30 + 174. Is 36 a factor of j?
True
Let w(d) = d + 3. Suppose -g + 2*h = 0, g - 2*h - 2*h = -4. Is w(g) even?
False
Suppose 3*l = -7 - 239. Let y = -41 - l. Does 8 divide y?
False
Let n(u) = u**2 - 11*u + 7. Let y be n(7). Let o = -108 - -58. Let j = y - o. Does 11 divide j?
False
Let s = 8 - 13. Let y(k) = -k**3 - 4*k**2 + 3*k - 5. Let f be y(s). Suppose f*b + 3*o - 49 = 0, 2*o + 3*o = b - 21. Does 9 divide b?
False
Let k be (-3)/12 + 13/4. Suppose k*o - o = -126. Let p = o + 106. Does 17 divide p?
False
Let r(v) = 3 - v**2 - 1 + v - v - v**3 - 3*v. Is r(-3) a multiple of 16?
False
Let u(o) = -6*o**2 + 5 + 7*o - 3 - o**3 - 13*o. Suppose -1 - 12 = 3*k + x, 2*k + x + 8 = 0. Is 3 a factor of u(k)?
False
Is 35 + -1 + (-1)/1 a multiple of 13?
False
Let q = -1 + -4. Let b = 23 + q. Is 6 a factor of b?
True
Suppose -4*g - 4*t - 6 = -3*g, 0 = -2*g - 3*t - 2. Suppose -5*h + 45 = -g*q - 87, -q = -5*h + 131. Is 15 a factor of h?
False
Does 3 divide 26 + 21 - 5*1?
True
Let h(o) = o**3 + 8*o**2 - 2*o - 4. Let b(r) = -r - 1. Let g be b(7). Is h(g) a multiple of 6?
True
Suppose -2*w + 28 - 106 = -3*r, -2*w = 6. Does 24 divide r?
True
Suppose -2*l + 147 - 31 = 0. Is l a multiple of 20?
False
Suppose -3*t - 18 = -5*t. Suppose -z + 1 = -t. Does 10 divide z?
True
Let o(i) = -3*i - 6. Let c be o(-5). Suppose v - 4*r - 5 = 0, 4*r - 2*r = 6. Let s = v - c. Is 6 a factor of s?
False
Let q be (-3)/6 + 11/2. S