 = -3*v + 87 + z. Is v a multiple of 18?
False
Is 9 a factor of 3/(-2)*820/(-15)?
False
Suppose 3*b - 5 - 4 = 0. Let g = b - 3. Suppose g = -5*w - 12 + 87. Does 11 divide w?
False
Suppose 3*l - r = l + 18, -2 = r. Let d = 6 + l. Is d a multiple of 4?
False
Suppose 3*j - 2*v = 86, 0 = -2*v - 0*v + 4. Is j a multiple of 10?
True
Suppose -20*o = -23*o + 27. Is 9 a factor of o?
True
Let d(r) = -r**2 + 14*r - 9. Let n be d(14). Let y = n + 59. Does 16 divide y?
False
Suppose 3*b - 112 = 44. Let p = b + -28. Is p a multiple of 12?
True
Suppose 0 = -3*v - 2*v + 205. Suppose 2*x + 14 = 2*a + 4, 5*a - 17 = x. Suppose 3*w - v = 4*k - 3*k, -a*k = -3*w + 45. Is 7 a factor of w?
False
Suppose 3*a - 8 - 4 = 0. Suppose 82 = a*v + 2*l, 0*l - 102 = -5*v - 2*l. Is 5 a factor of v?
True
Let l = -33 - -60. Is 6 a factor of l?
False
Let r be (-8)/(-6) + (-55)/(-15). Suppose -j = 4*a - 101, 2*a = 6*a - r*j - 95. Is 9 a factor of a?
False
Suppose -x - 4*x + 288 = 2*y, -3*y = 3*x - 171. Is 29 a factor of x?
True
Does 36 divide (-88)/(-3)*(-9)/(-2)?
False
Suppose 3*g = f - 0*f - 5, 3*f - g = 31. Let o = f - 5. Is 2 a factor of o?
True
Let d be 47/(-2) - (-2)/(-4). Let x = d + 37. Is 4 a factor of x?
False
Let v = 12 - 10. Is 48 - -2*(3 - v) a multiple of 13?
False
Is 47 a factor of (-4)/(-1 + 0) + 282 + -4?
True
Suppose -3*i + 345 = -5*x, x - 200 = -2*i + 17. Does 22 divide i?
True
Let b = 64 + -32. Is b a multiple of 14?
False
Let d(b) = -b**2 - 7*b + 2. Let p = 0 + 5. Suppose -2*y - 8 = 0, u - 3*u + p*y = -8. Does 4 divide d(u)?
True
Let d(v) = -1 - 2 + 4*v**2 + 8*v + 1 - 5*v**2. Is d(7) a multiple of 3?
False
Let p(n) be the second derivative of -n**5/30 - 7*n**4/24 + n**3/2 - 3*n. Let c(o) be the second derivative of p(o). Is 13 a factor of c(-5)?
True
Let l be (-3)/6*(6 + -74). Suppose 0 = -2*j + 4*d + l, -4*d + 5 = -j + 28. Is 5 a factor of j?
False
Let g = 11 + -6. Let f = -1 - g. Is ((-52)/f)/(6/9) a multiple of 6?
False
Suppose 29 - 125 = -2*r. Is r a multiple of 8?
True
Let i(n) = -n**2 - n + 20. Suppose -2*c = -5*v - 9 - 1, -5*v + 4*c = 20. Is 10 a factor of i(v)?
True
Let b = 122 - 89. Does 11 divide b?
True
Suppose 3*s = -5*i + 50 + 86, 4*s = 4*i + 224. Is s a multiple of 13?
True
Suppose 5*j = -i + 5*i, i - 9 = -j. Suppose i*h - 300 = h. Is 20 a factor of h?
False
Let m(c) = c**2 - 1. Let x be m(2). Suppose -5*r - 99 = -x*o, 5*o + r = -2*r + 165. Is 10 a factor of o?
False
Suppose 0*c = -4*c - 512. Let l = 182 + c. Let h = 75 - l. Is h a multiple of 8?
False
Let m(o) = -6*o**3 + 4*o**2 - 3*o + 4. Let t be m(3). Let f = -92 - t. Is f a multiple of 13?
True
Does 23 divide (-7 - 2)/((-6)/92)?
True
Suppose -5*a = -185 - 295. Let j = -56 + a. Does 14 divide j?
False
Let t(q) = -q**2 + 0 + 0 + q - 1 + 5*q. Is 4 a factor of t(5)?
True
Suppose 2*n = -n. Suppose n = 4*j - 16 + 120. Is 6 a factor of j/(-4)*(0 - -2)?
False
Let t(u) = u**2 + 9*u - 2. Suppose -2 = d - 5. Suppose 14 = -d*p - 7*g + 3*g, p + 30 = 5*g. Does 4 divide t(p)?
True
Let t = -7 + 12. Let y = 13 + t. Is y a multiple of 9?
True
Let t = 193 - -44. Does 23 divide t?
False
Let q(x) = x**3 + 6*x**2 - 2*x + 6. Is q(-6) a multiple of 6?
True
Suppose 7*n = 8*n + 57. Is 18/(-21)*(n + 1) a multiple of 29?
False
Let p(s) = -s + 4. Let n be p(2). Let w = n + 9. Is 6 a factor of w?
False
Is 10 a factor of ((-25)/(-4) + 2)*(-40)/(-5)?
False
Let n(q) = -5*q - 34. Is 14 a factor of n(-18)?
True
Let c = 1 - -3. Suppose c*a = t - 40, -5*a + 2*a = 15. Is t a multiple of 4?
True
Let k(o) = -2*o**3 + o**2 + 5*o - 2. Let q be k(2). Let h(a) = 3*a**2 + 2*a + 1. Let w be h(-1). Is 6 a factor of (w + 22/q)*-2?
False
Suppose -u - 3*h = u - 231, 530 = 5*u - 2*h. Is 21 a factor of u?
False
Suppose 6*m + 19 = 2*n + 3*m, 0 = -5*n + 5*m + 40. Is 21 a factor of 386/n - 1/5?
False
Let r(m) = -5*m + 4. Let w be r(-3). Suppose -p + w = -17. Is p a multiple of 12?
True
Let i = 17 - 12. Suppose 0 = 3*g - 2*j + 25 - 141, 0 = -i*j - 5. Is g a multiple of 17?
False
Suppose -4*z = -r + 3*r - 12, 0 = 3*z + r - 7. Is 2 a factor of z/(-2) - 14/(-4)?
False
Let x(i) = -i**2 + 4*i - 6. Suppose -b + 0*b + 4 = 0. Let g be x(b). Is (-2 + (-9)/g)*-20 a multiple of 4?
False
Let d(r) = 2*r**2 + 6*r + 1. Suppose -3*o - 14 = -2*o - 2*w, -4*o = 3*w + 1. Is 4 a factor of d(o)?
False
Let a(c) = 2*c**2 - c - 2. Let b be a(4). Suppose 15 = 2*r + 5. Suppose -u = -b - r. Is 12 a factor of u?
False
Let i(c) = c**2 - c - 1. Let t be 8/(4/(2 + 0)). Suppose 5*g + 0*l - 4 = -t*l, 3*g - 2*l = 20. Does 6 divide i(g)?
False
Let s(m) = m**3 + 3*m**2 - 5*m + 6. Let d be s(4). Suppose -2*u = -0*u + d. Let i = 96 + u. Does 20 divide i?
False
Suppose -5*x + 2*c + 24 = -0*x, 0 = -5*c - 10. Suppose 8*z = x*z + 192. Is 16 a factor of z?
True
Suppose -5*g + 18 = -3*g. Is g a multiple of 2?
False
Let m(o) = 4*o - 1. Let s be m(-1). Does 11 divide 26 + (4 + s - 1)?
False
Let f(o) = -o**2 + 5*o - 3. Let y be f(5). Is 18 a factor of y/((-22)/(-24) - 1)?
True
Let c(z) = -z**3 - 4*z**2 + 3*z - 6. Suppose -2*o = -2*t - 4, 5*t - 3*o + 0*o = -16. Let v be c(t). Suppose f = v*f - 60. Is f a multiple of 10?
True
Let v(r) = r**3 - 6*r**2 - 6*r + 8. Let o be v(8). Suppose 2*c - o = -2*c. Does 22 divide c?
True
Let f = 59 - 31. Is 12 a factor of f?
False
Let a = -100 + 29. Suppose 4*y + 97 + 323 = 0. Let t = a - y. Is 14 a factor of t?
False
Suppose 4*u + 24 = 2*u. Is 15 a factor of (-210)/u - (-2)/(-4)?
False
Let t = 6 - 4. Suppose 5*m - 2*o - 286 = -0*m, -t*o - 118 = -2*m. Is 21 a factor of m?
False
Suppose -4*s = -2*s - 48. Is s/(-2)*6/(-8) a multiple of 9?
True
Let z = -22 + 12. Let d = -8 - z. Suppose -j - 3*x + 67 = 0, d*j + 2*x = 7*j - 250. Is j a multiple of 26?
True
Suppose -196 = -6*q - 52. Is q a multiple of 24?
True
Is 36/(-24) - 42/(-4) a multiple of 3?
True
Let u(m) = -m. Let d be u(-2). Suppose d = -3*s + 2*s. Is 16 a factor of 1 - (-29*1 + s)?
True
Let c = -2 + 2. Suppose 2*u + 3*f = -u + 105, c = u + 2*f - 36. Does 11 divide u?
False
Let p = 7 - 5. Suppose p*d - 29 - 43 = 0. Does 15 divide d?
False
Let k be 2/(-4)*6/(-3). Let s be 0 + (2 - (k + -1)). Is 13/s*(-2 + 4) a multiple of 5?
False
Let n be 15/10 + 14/(-4). Does 23 divide n/10 - (-1038)/15?
True
Let b = 23 + 13. Is b a multiple of 18?
True
Suppose -3*d = -8*d + 20. Does 12 divide d/8 + (-59)/(-2)?
False
Let d = -10 + 1. Is 7 a factor of (-173)/d + 24/(-108)?
False
Let t(r) = -r**3 - 7*r**2 - 5*r + 7. Does 14 divide t(-7)?
True
Suppose -4*n - 58 = -5*n + 2*c, 0 = -c - 3. Does 13 divide n?
True
Let l(w) be the first derivative of w**4/4 + 8*w**3/3 - 3*w**2/2 + 6*w - 1. Let s be l(-8). Suppose 2*y = 7*y - s. Does 4 divide y?
False
Is 3 a factor of (-193)/(-15) + (-47)/(-15) + -3?
False
Suppose -m + 16 = 4*m + r, 2*m - 3*r - 3 = 0. Let f = m - -1. Suppose -2*q + f*q + 3*a - 103 = 0, 208 = 4*q + 4*a. Is q a multiple of 18?
False
Suppose -2*v - 2*v - 2*k = 14, 28 = -3*v - 5*k. Let y = 12 - v. Is 13 a factor of y?
True
Let d(i) be the first derivative of i**2 - 3*i - 3. Let u be d(-3). Let b(l) = -l**2 - 8*l + 12. Is b(u) a multiple of 3?
True
Suppose -2*x - 17 = -3*x - 4*j, 0 = 2*x - 5*j + 5. Suppose x*k + 3*g + 25 = 4*g, 1 = -4*k - 3*g. Does 10 divide (-2)/((k/74)/1)?
False
Suppose -3*d + d + 8 = 0. Suppose -35 - 46 = -3*t. Suppose -d*g + n = -25, -5*g - n + t = 2*n. Is 6 a factor of g?
True
Let y be (5/(-2) - 1)*-44. Let w = -69 + y. Suppose 3*j + w = 8*j. Is 8 a factor of j?
False
Suppose -3*y - 5*k + 37 = -5*y, -k + 65 = -4*y. Let g = y - -29. Is g a multiple of 10?
False
Let g(h) = h + 13. Is g(8) a multiple of 7?
True
Let u = -6 - -2. Let k(g) = 5*g - 3. Let w be k(u). Let r = 9 - w. Does 16 divide r?
True
Let r be (-3 + 2)*(-10)/2. Let d(f) = f**2 - 3. Does 6 divide d(r)?
False
Let n = 4 + -32. Let h(g) = 5*g + 7. Let j be h(-10). Let b = n - j. Is 12 a factor of b?
False
Let z = 9 + -9. Suppose d + d - 10 = z. Does 5 divide d?
True
Suppose -2*p = -4 - 0. Suppose 5*t + 14 - 41 = -3*y, -p*y - 5*t = -13. Does 10 divide y?
False
Let m(b) = -b + 1. Let h be m(3). Let k be 1*-14 + (-4)/h. Let r = 35 + k. Does 14 divide r?
False
Let m(v) = v**2 - 5*v + 1. Let k be m(5). Is 18 a factor of k/(-2) + 2175/30?
True
Suppose -18 = -5*q + 42. Does 3 divide q?
True
Let u be (-30)/(-4)*(-4)/(-3). Let r = -2 + u. Suppose 0