 724. Suppose -16*j + 11*j + h = 0. Is j a multiple of 11?
True
Let c(g) = g - 11. Let t be c(13). Suppose -t*o - o = -366. Suppose -j + 3*j + 2*x - o = 0, j + 4*x - 58 = 0. Does 25 divide j?
False
Let k be (4/10 + 10/(-25))*-1. Suppose -h + 3*h - 425 = -5*x, k = -h + 4*x + 193. Is h a multiple of 23?
False
Let f(q) = 11*q - 27. Let c be f(17). Suppose 3*s - 8*s + c = 0. Is 12 a factor of s?
False
Let b(a) = -2*a + 22. Let v be b(12). Let x = 12 + v. Does 5 divide x?
True
Suppose 2*l - 2*c = 14, 5*l - 3*c = 27 + 6. Let n = l + 9. Does 2 divide (16/10)/(3/n)?
True
Let z be 1 - (-2 - -4 - 104). Let n = z + -17. Suppose -4*t + 122 = -n. Does 26 divide t?
True
Let r = 1361 + -445. Is 11 a factor of r?
False
Let w(j) = -j**3 - 5*j**2 - 10*j - 16. Let n = -7 + 1. Is w(n) a multiple of 16?
True
Let c(t) = t + 32. Let v be c(-18). Let j = 19 - v. Suppose 5*o = -d + 100, -2*d + 3*o = -j*d + 240. Is 25 a factor of d?
True
Let v(j) = 2*j + 17. Let l be v(-6). Is (94/l)/((-8)/(-120)) a multiple of 14?
False
Let b be (1 - -1)*(-429)/(-22). Let a = 223 - b. Is 46 a factor of a?
True
Let s = 17 + -11. Let g = s - -20. Does 26 divide g?
True
Suppose 4*w = 7*w + 6, 0 = -z - w + 397. Is 7 a factor of z?
True
Suppose 109 + 2 = 3*u. Let t = u + 55. Does 24 divide t?
False
Suppose 3*y + q - 1749 = 0, -6*y + y + 2925 = 5*q. Is y a multiple of 13?
False
Let j(y) = -167*y**3 - y**2 + 2*y + 2. Let i be j(-1). Suppose 3*d = t - i, 138 = t + 4*d - 0*d. Is 10 a factor of t?
False
Suppose -9 - 7 = -q. Suppose -4*j = -2*j - q. Suppose 3*r + 4*c - j = r, -c + 22 = 3*r. Is r a multiple of 2?
True
Let k = -23 - -9. Let c = k + 21. Does 6 divide ((-58)/4)/(c/(-14))?
False
Is 8 a factor of (2 - -732)/(-9 + 8 - -3)?
False
Suppose -39*g = 856 - 9670. Is 6 a factor of g?
False
Let p be 2/(10/105) - 6/(-2). Suppose 2*w = p + 12. Is w a multiple of 3?
True
Let d(f) = 38*f - 4. Let l be d(16). Let h be (-10)/(-15) + l/3. Suppose -4*p - 2*k + 0*k = -h, 61 = p - 3*k. Is 13 a factor of p?
True
Is (-495)/(-180) - (-28047)/12 a multiple of 39?
True
Does 21 divide (-2 - 348/15)/((-4)/20)?
True
Suppose y - 16 = -3. Suppose y = 5*n - 32. Suppose n + 1 = b. Is 3 a factor of b?
False
Let v(a) = a**2 - 6*a + 2. Let d be v(5). Is 3 a factor of 2/d + (-65)/(-3)?
True
Let j = 1 + 3. Let q be (0/(-8 - -13))/(-1*1). Suppose -16 = -q*k - j*k. Is k even?
True
Let p(j) = -j**3 - 19*j**2 - 3*j + 33. Let i be -3 - (5/(-10))/((-1)/32). Is p(i) a multiple of 9?
True
Let m(f) be the first derivative of 1/4*f**4 - 1/2*f**2 + 8*f + 5/3*f**3 + 3. Does 8 divide m(-4)?
False
Suppose -4*h = -2*h. Let b(q) be the first derivative of -q**3/3 + 46*q - 93. Does 23 divide b(h)?
True
Suppose 47 - 164 = -13*w. Suppose 0 = 5*c - w*c + 784. Is c a multiple of 49?
True
Let j(z) = z**2 + z - 89. Let k be j(0). Suppose 190 = 4*m + 5*v - 322, 0 = 4*m - v - 536. Let f = m + k. Is 22 a factor of f?
True
Let n = 13 - -347. Is n a multiple of 41?
False
Suppose -12*w - 172 = -14*w. Is w a multiple of 36?
False
Suppose 4*c + 5*x = 2141, -5*x = -4*c - c + 2710. Is c a multiple of 29?
False
Suppose -9*w + 8*w + 720 = 0. Does 72 divide w?
True
Suppose -11*t + 183 = -8*t. Is t a multiple of 11?
False
Suppose -3*f = 5*s - 686, -f = -12*s + 17*s - 692. Is s a multiple of 3?
False
Let y(v) = -2*v + 3. Let m be y(-5). Let h = -21 + m. Does 18 divide (-2 + (-196)/h)*2?
False
Let q(o) = o**3 - 2*o**2 - o + 1. Suppose 0 = -4*g - 9*f + 4*f + 14, -4*g + 12 = 4*f. Let x be q(g). Is 25 a factor of 50 + 0/(3 - x)?
True
Suppose 0*y + 2*y + a - 277 = 0, a = -4*y + 553. Is y a multiple of 69?
True
Let c(s) = 9*s**2 + 3*s - 2. Let x be c(-6). Suppose 2*u - 44 = x. Does 22 divide (1/(-2))/(-1)*u?
False
Let n be (-3 + 41)*(-3)/6. Let v = 16 + n. Is 93/(-4*v/12) a multiple of 17?
False
Let c(q) = -29 + 7*q + 7*q + 11*q. Is c(3) a multiple of 4?
False
Suppose 5*d + 4*u = -101, -5*d - 54 = 5*u + 46. Let j be (-3)/21 - 276/d. Let w = j + -5. Does 8 divide w?
True
Let t be 32/15 + (-2)/15. Suppose 2*f - t = -4*c, -f + 0*f = -c - 1. Suppose 3*a + 4*y - 132 = 0, c = -4*a + 3*y + 102 + 49. Is a a multiple of 20?
True
Let i(t) = t**3 + 6*t**2 + 5*t + 3. Let f be 6/24 - (-34)/(-8). Let b be i(f). Is 9 a factor of (b - 0) + (-6)/(-2)?
True
Suppose -5*k + 503 = -4*s, 0 = 5*s + 21 - 36. Does 5 divide k?
False
Let h be (5 - (-1 - -3)) + 1. Let o = 50 + h. Is 17 a factor of o?
False
Let g = -56 - -60. Let v(i) = 3*i**3 - 3*i**2 + i - 4. Is v(g) a multiple of 36?
True
Let g be 1*5/20 - 1379/(-4). Let p be 4/(-6) + 42/9. Suppose -p*h = -111 - g. Is h a multiple of 32?
False
Suppose -4*r - 3*x + 995 = -798, r = -3*x + 446. Suppose 546 + r = 5*o. Does 22 divide o?
False
Does 2 divide (4 + (-342)/81)*-1719?
True
Let b(v) = v**3 + 17*v**2 - 22*v - 18. Let t(n) = n**3 - 7*n**2 - 11*n + 6. Let g = -5 + 13. Let p be t(g). Is 15 a factor of b(p)?
False
Let k(w) = -w**3 + 3*w**2 + 5*w - 4. Let r(x) = 7*x - 4. Let o(d) = -3*d + 2. Let y(f) = -5*o(f) - 2*r(f). Let t be y(5). Does 6 divide k(t)?
False
Let o(w) = -w - 42. Let b be o(0). Let l = b - -29. Is 4/26 - 544/l a multiple of 14?
True
Suppose 12300 = -185*w + 195*w. Does 5 divide w?
True
Suppose -12*q - 14*q + 11232 = 0. Is q a multiple of 12?
True
Suppose -z = -g - 16, 0*z - z - 3*g + 4 = 0. Let a(t) = t**3 - 12*t**2 - 9*t - 12. Does 10 divide a(z)?
True
Let q(d) = 13*d + 547. Does 125 divide q(6)?
True
Let n(o) = 2*o**3 + 3*o**2 + 2*o + 2. Let g be n(-2). Let c(f) = f**3 + 5*f**2 - 8*f + 4. Is 3 a factor of c(g)?
False
Let n = 16 + 207. Does 18 divide n?
False
Let h(w) = -386*w + 215. Does 22 divide h(-7)?
False
Let n = -257 + 988. Suppose 0 = 12*p - 2831 + n. Is p a multiple of 7?
True
Let t(w) = -9*w**2 - w - 3. Let k be t(-4). Let b = k + 215. Is b a multiple of 11?
False
Let k(s) = 6*s + 10. Let w = -1 + -4. Let g be k(w). Let y = g + 37. Does 9 divide y?
False
Suppose -2*g + 2 = -r, 4*g + 3*r + 6 = 2*g. Suppose 82 + 71 = 3*v - 4*y, g = -v + 3*y + 46. Is v a multiple of 12?
False
Suppose 9*m = 1756 + 26. Does 11 divide m?
True
Is (-6)/(-4) - ((-2388)/8 - 2) a multiple of 21?
False
Suppose -31 = 2*s - 1597. Is 53 a factor of s?
False
Let b = 10 + -4. Let d be (8/(-6))/(1/6). Let g = b - d. Is 3 a factor of g?
False
Let u be 1*-3 - (10 + -8). Let g(x) = -18*x + 15. Is g(u) a multiple of 17?
False
Let o be (44/(-110))/(2/(-10)). Let m(i) = i**3 - i**2 + 2*i + 0*i + 3 - 5. Does 6 divide m(o)?
True
Suppose -6*m + 7*m + 4*t = 120, 2*m - t = 213. Is m a multiple of 9?
True
Suppose 606 - 1831 = 5*k. Let y = k + 361. Is 24 a factor of y?
False
Let s = 8 + -8. Suppose 2*g + 2*h + h - 80 = s, 0 = 5*g + 3*h - 182. Suppose -m + 0*m + g = 0. Is m a multiple of 17?
True
Suppose 3*f = -12, -4*h - 4*f + f = -4. Is 3 a factor of ((-9)/h)/(36/(-96))?
True
Let x(l) = -5*l**3 - 2*l**2 - 2*l - 1. Let g be x(-1). Suppose g*y = -8, -3*n + 0*n = y - 172. Let z = 103 - n. Is z a multiple of 12?
False
Suppose 5*d - f = 2*f + 98, 3*f = 3*d - 60. Let a = d + -84. Let m = -1 - a. Is m a multiple of 14?
False
Let j = 16 + -20. Let x(t) = -t + 1. Let c be x(j). Suppose -3*g = 6, -c*u + 3*g + 104 = -3*u. Is u a multiple of 20?
False
Let n be 0 + (-8)/(-12)*6. Let x be (-1)/n - (-5369)/52. Let w = x - 46. Is 19 a factor of w?
True
Suppose -2*i = 90 - 3864. Is i a multiple of 51?
True
Let i be 508/(-16) - (-2)/(-8). Let k = i - -50. Suppose -3*h + 37 = 5*f, 0*f - k = -2*f - 2*h. Is 5 a factor of f?
True
Let l = 169 + -325. Let n = l + 276. Is n a multiple of 24?
True
Suppose -672 = -2*n + 6*n. Let g be ((-2)/(-3))/(16/n). Let l(q) = q**2 + q - 5. Is 22 a factor of l(g)?
False
Let p be 2 + ((-2592)/(-6))/(-6). Let t = 127 + p. Is 3 a factor of t?
True
Suppose -9*t - 6 = -42. Suppose 462 = 5*o - t*v, -o + 192 = o + 2*v. Is 23 a factor of o?
False
Suppose -14*r + 9613 = 3061. Does 39 divide r?
True
Suppose -8*v + 15 = 7. Suppose 4*d = 2*w + 12, 4*w - d = 2*w. Is ((-21)/(-2))/(v/w) a multiple of 5?
False
Suppose -266 = -4*s - 5*d, -31*s + 28*s + 198 = 3*d. Is 15 a factor of s?
False
Let k = -18 + -1. Let d(o) = o + 23. Is 2 a factor of d(k)?
True
Let a(l) = l**3 - 33*l**2 + 33*l + 43. Is 55 a factor of a(32)?
False
Suppose -156 = -11*y + 240. Is y a multiple of 4?
True
Suppose -3*c = -2*q + 6257, 38*q - 33*q - 5*c - 15645 = 0. Does 105 divide q?
False
L