14/(-78) + 2/13. Is 27 a factor of ((-140)/(-6))/((-3)/w)?
False
Let u = 784 - 534. Suppose -u + 74 = -4*b. Is b a multiple of 22?
True
Let z(c) = c**2 - 5*c - 3. Let a be z(6). Suppose 3*t - 2*x + 14 = 0, -a*t - 5*x = -14 - 0. Is 11 a factor of (t/(-1))/(6/69)?
False
Suppose 5*u - 97 = 4*t, -u + 4*t - 18 = -47. Is 17 a factor of u?
True
Let p = 26 + -12. Suppose -3*j + 4*f = -63, 23 = 2*j - f - p. Is 10 a factor of j?
False
Let a = -130 - -232. Suppose -i = 3*j - 5*i - a, -2*i = -3*j + 108. Is 20 a factor of j?
False
Let b(k) = -k**3 + 4*k**2 - k - 3. Let t(g) = g**2 + g - 3. Let o be t(-3). Let m be b(o). Is (m - 5) + 1 + 19 a multiple of 10?
False
Suppose 8*b - 5*b = 48. Is 8 a factor of b?
True
Suppose 5*s - 261 = -36. Does 9 divide s?
True
Suppose 5*v = -3*f + 5*f - 200, 4*v = 5*f - 500. Is 25 a factor of f?
True
Suppose 4*l + 2 = 5*l. Let k be (-8)/(-4) - (-1 - l). Suppose -4*v - 20 = -2*s, 9 + 85 = k*s + v. Is s a multiple of 6?
True
Suppose -5 = 2*y - y. Let x(d) = 2*d**2 + 7*d. Is x(y) a multiple of 13?
False
Let q = 19 + -27. Let w = q - -14. Does 3 divide w?
True
Let y = 327 - 183. Does 36 divide y?
True
Suppose 4*x - 20 = -0*x. Suppose -x*p = 1 - 16. Is 3 a factor of p?
True
Suppose 0 = -5*q + 4*q + 1. Is q/1 + 30 - 2 a multiple of 11?
False
Let n(v) be the first derivative of v**2 - 5*v + 1. Let w be n(5). Suppose 3*d - 56 = -2*g, -2*d + 3*d = -w*g + 36. Does 16 divide d?
True
Let a(r) = -r**3 + 8*r**2 - 7*r - 10. Let z be a(7). Is (-13 + 3)/(4/z) a multiple of 25?
True
Let g be (-171)/(-6) + 3/(-2). Suppose -a - g = -4*a. Is 9 a factor of a?
True
Let a be (-2)/5 - (-22)/5. Suppose p - q = 12, 3*p - 5*p - a*q = -6. Suppose 4*n - p = n. Is n a multiple of 2?
False
Let q = -24 - -59. Let y = -20 + q. Is y a multiple of 4?
False
Let s be 2*-1*(-7 + 3). Suppose -3*t + s = -a, 0*a = -a - 2. Suppose t*d = -d + 15. Is 3 a factor of d?
False
Suppose -3*p - 2*p = -20. Suppose 0*x = 4*x + v + 336, -p*v = 5*x + 409. Let n = x - -140. Is 21 a factor of n?
False
Suppose -2*p + 11 = -5*b, -3*p - p - 17 = 3*b. Let j = 0 - p. Suppose -q - j*g + 18 = 0, -q - q = -5*g - 36. Is 7 a factor of q?
False
Suppose 11 = -3*w + 5*o, 5*w = o - 0*o + 11. Is 16 a factor of 3 + (w + -2)*41?
False
Is (78/(-12))/(2/(-4)) a multiple of 13?
True
Let s(d) = d**2 + 24*d - 31. Is s(-26) a multiple of 9?
False
Suppose -5*o + 348 = j, 3*j - 360 = -5*o - 2*j. Does 29 divide o?
False
Suppose -4*t + 0*j = -j + 64, -4*t - 5*j = 64. Let w = -3 - t. Does 13 divide w?
True
Let g = 26 - 14. Is 4 a factor of 3*3/(9/g)?
True
Suppose -5*d - p = -468, -d + 3*p + 363 = 3*d. Does 18 divide d?
False
Suppose 0 = -5*n + 4*j + 96, 2*n + j = 30 - 2. Is n a multiple of 4?
True
Suppose g - 5*g = 0. Suppose g*c = 2*c - 50. Does 10 divide c?
False
Let h = -4 - -7. Suppose -h*m = -y - 6, 5*y = -m + y + 15. Is (-1)/1*m*-1 a multiple of 2?
False
Let x be 1 - 3 - (2 + 0). Let g(f) = -4*f + 1. Does 17 divide g(x)?
True
Suppose 2*q = 24 - 4. Does 9 divide q?
False
Let x(c) = 2*c**2 + 2*c - 1. Let f be x(1). Suppose f*d - 8 = 19. Suppose -d = -p - 3. Does 6 divide p?
True
Let r(f) = f**3 - 7*f**2 + 6*f - 6. Let k be r(6). Is 14 a factor of -108*(1 - (-9)/k)?
False
Let i be (3*(-2)/3)/2. Does 4 divide (i - -4)/(15/40)?
True
Let h be 5/(1 - 1 - 1). Let l = h + 9. Does 4 divide l?
True
Let z(q) = q**3 + 8*q**2 - 10*q - 6. Let n be z(-9). Let i(l) = 14*l - 4. Is i(n) a multiple of 16?
False
Suppose -29 = -5*u - 9. Suppose 0 = -u*h - 44. Let a = h - -17. Does 6 divide a?
True
Let i = 44 + -14. Let d = i + -10. Is 13 a factor of d?
False
Let c = -78 - -91. Does 4 divide c?
False
Let x(k) = 21*k - 6. Is 9 a factor of x(1)?
False
Suppose 0 = -4*i + 7 - 3. Suppose i + 11 = 4*f. Suppose -92 = -2*x - f*z, 2*x - x - 39 = 2*z. Does 9 divide x?
False
Suppose 5*j - g - 215 = 0, 6*j - 151 = 3*j + 5*g. Does 21 divide j?
True
Let i = 4 - 2. Suppose -p - i + 18 = 0. Is p a multiple of 16?
True
Let j(f) = -f - 2. Let k be j(-5). Suppose 0 = -k*o - 14 + 2. Is 9 a factor of (-111)/(-12) - (-1)/o?
True
Let x(d) = 2*d**2 - 4*d + 6. Suppose -3*t + 12 = -0*t. Suppose 2*u + 11 = 2*p + u, -t*p = -3*u - 23. Does 15 divide x(p)?
False
Is (-1)/1 + (-272)/(-2) a multiple of 17?
False
Let k(x) = 2*x + 7. Let b(j) = j + 4. Let t(c) = -7*b(c) + 4*k(c). Let s be t(1). Is s + -1*2 + 11 a multiple of 10?
True
Let k(h) = h**2 + 5*h + 4. Let b be k(-4). Let w = 9 - b. Let a = 9 + w. Is a a multiple of 8?
False
Let l(r) = 12*r - 54. Is 28 a factor of l(22)?
False
Is 20 a factor of 1/(2/7 - (-772)/(-2800))?
True
Suppose 0 = 2*i + 2, r - 4*i - 30 = 1. Is r a multiple of 9?
True
Suppose -29 + 89 = 5*l. Is 12 a factor of l?
True
Let f(p) = 2*p**2 + 4*p + 10. Let x be f(-7). Suppose -4*q - 4*z + x = -8*z, q = -5*z - 10. Is q a multiple of 5?
True
Suppose -2*r - r + 81 = 0. Suppose -r + 2 = -5*w. Is 101/w + 4/(-20) a multiple of 8?
False
Suppose -13 = 5*p + 12. Let d(a) = a**3 + 7*a**2 + 7*a. Let j be d(p). Is j*(-5)/(25/(-4)) a multiple of 6?
True
Suppose -s - s = -10. Suppose -s*b + 38 = -32. Does 14 divide b?
True
Let g = 4 + 3. Is g a multiple of 2?
False
Suppose 3*h = 3*y + 38 + 10, -y = -2*h + 21. Let d = 19 + y. Is 8 a factor of d?
True
Let j(s) = -s - 8. Let a be j(-8). Suppose 3*q - 5*p - 56 = a, q + 2*p = -2*q + 49. Does 4 divide q?
False
Suppose 6 + 8 = 3*q - 5*x, 3*q - 7 = -2*x. Suppose 95 + 76 = q*y. Is 3 a factor of y/9 - (-2)/(-6)?
True
Let q be ((-84)/(-70))/((-1)/(-20)). Suppose 3*t + 27 = -2*h + 5*h, 0 = -h - 2*t + q. Does 3 divide h?
False
Suppose 17*f - 4318 - 1666 = 0. Is 16 a factor of f?
True
Let x(j) = -2*j**2 - 5*j**3 + 3*j**2 + 3*j - 2*j + 1. Let h be x(-1). Suppose 2*q - h - 24 = 0. Is q a multiple of 13?
False
Let b be (6/(-2))/(-3) - 3. Is 3 a factor of 4/(-4)*(b - 11)?
False
Suppose 5*i - 4*r = 84, -27 = -3*i + i - 5*r. Suppose -5*b = -i - 44. Does 4 divide b?
True
Let x(c) = 32*c. Suppose -2*g + 8 = 6*m - 2*m, 2*g - 3*m = 1. Suppose 2*b = -0 + g. Does 13 divide x(b)?
False
Let z = 131 + 56. Is z a multiple of 16?
False
Suppose -4*h - 3*y = -277, -2*h + 3*y - 347 = -7*h. Is h a multiple of 14?
True
Let h(m) = -m**2 + 9*m - 6. Let r be h(8). Let p = r - -2. Suppose 41 - 129 = -p*b. Does 21 divide b?
False
Suppose 4*g + 5*m = -13, 0 = 4*g - 3*m + 4*m - 7. Let j = 0 + 0. Suppose l = 3*b + g*l - 41, j = -4*b + 2*l + 36. Does 11 divide b?
True
Let w(o) = -o + 37. Does 2 divide w(6)?
False
Suppose 0 = -3*s + 2*s, -28 = -4*k - s. Let d = 19 - k. Does 4 divide d?
True
Let y(o) = -o**2 + 8*o + 14. Let g be y(10). Suppose 3*f + 0*f = 72. Does 10 divide 224/f - 4/g?
True
Let m(v) be the third derivative of -v**6/120 - v**4/24 + 7*v**3/3 - 3*v**2. Suppose 0 = -3*y - y. Is 5 a factor of m(y)?
False
Suppose -15 = 2*p + p. Is 0 + p/((-15)/162) a multiple of 27?
True
Let v be 1 + 1 + 1/1. Suppose -v*h + 0*h = -9. Let w(i) = i**3 + i**2 - 4*i + 4. Is 15 a factor of w(h)?
False
Suppose 3*b = -2*d + 22, 2*d + 37 = 3*b + 7*d. Does 19 divide -2 - (-73 + -2) - b?
False
Does 15 divide 602/8 + (-18)/72?
True
Suppose 484 = 2*t + 2*t. Let q = 174 - t. Is 13 a factor of q?
False
Suppose 5*k - 100 = -5*m, k - 4*m - 35 = -0*k. Does 3 divide k?
False
Suppose j + 238 = 8*j. Does 17 divide j?
True
Suppose 0*m = 5*r + m - 85, 3*r - 3*m = 33. Is r a multiple of 10?
False
Let g(b) = 1 - b + 6*b - 4*b. Is g(3) even?
True
Let d = 4 + -3. Let r = d - -1. Suppose -r*k + 28 = 2*y, -4*k + 77 = -y + 6. Does 7 divide k?
False
Let l = 468 + -245. Is l a multiple of 21?
False
Suppose -4*r + 2*r = -2*g - 406, 4*g + 12 = 0. Is r a multiple of 50?
True
Let l = -9 + 5. Is (-43)/l + 6/(-8) a multiple of 10?
True
Let a be ((-3)/(-6))/(2/32). Suppose -58 = -3*p - g - a, -5*g = -2*p + 22. Does 3 divide p?
False
Let y = 7 + 62. Suppose 4*z + y = 181. Does 14 divide z?
True
Let a be 2/(-8) + 26/8. Let v be (2/2)/(-1) + a. Suppose n = 17 - v. Does 15 divide n?
True
Does 13 divide 1/((-2)/(-246))*16/16?
False
Let o be -7 + 5 + (-82 - 1). Let h = o - -152. Is 21 a factor of h?
False
Let g(c) = -18*c - 3. Let l be g(-6). Suppose -l = -4*j - 17. Is j a multiple of 11?
True
Suppose 3*j = 6*j - 171. Let d = j - 28. Does 8 divide d?
False
Suppose 3*z = -2*z + 25. Suppose 4 = z*g - 166. Does 14 divide g?
False
Suppose 4*a - i = i + 48, 5*a = -4*i + 73. Suppose -a = 4*y - 89